「03」カテゴリーアーカイブ

Glucagon and insulin production in pancreatic cells modeled using Petri nets and Boolean networks

投稿日: 2025年5月1日 作成者: jarxiv

要約 糖尿病は、血液中のグルコースの一定の濃度の上昇を特徴とする文明慢性疾患です … 続きを読む →

カテゴリー: 03, cs.CL, F.2, q-bio.CB | コメントする

Formal Translation from Reversing Petri Nets to Coloured Petri Nets

投稿日: 2023年11月2日 作成者: jarxiv

要約 可逆計算は、計算中の任意の時点で一連の操作を逆の順序で実行できるようにする … 続きを読む →

カテゴリー: 03, cs.CL, F.2; G.0 | Formal Translation from Reversing Petri Nets to Coloured Petri Nets はコメントを受け付けていません