کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
2070064 | 1078461 | 2013 | 38 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A two-sorted logic for structurally modeling systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
علوم زیستی و بیوفناوری
بیوشیمی، ژنتیک و زیست شناسی مولکولی
بیوفیزیک
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A two-sorted logic for structurally modeling systems A two-sorted logic for structurally modeling systems](/preview/png/2070064.png)
چکیده انگلیسی
Structural modeling of complex biological systems relies on formalisms inherited from physics. These formalisms scale poorly when dealing with interactions with many variables and agents working in systems that cohere at multiple layers. We propose a two sorted logic that supplements existing formalisms to mitigate these problems. The purpose of this second logic is to track how multiple contexts relate to each other, as well as to the dependent structures they inform: a situating of situations. In this way, we aim to capture the multi-layered and multi-system dynamics that have been elusive in modeling emergent systems. An apoptosis example is explored in the context of mental concepts.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Progress in Biophysics and Molecular Biology - Volume 113, Issue 1, September 2013, Pages 141–178
Journal: Progress in Biophysics and Molecular Biology - Volume 113, Issue 1, September 2013, Pages 141–178
نویسندگان
H.T. Goranson, Beth Cardier,