Articolul precedent |
Articolul urmator |
730 1 |
Ultima descărcare din IBN: 2017-10-15 18:21 |
SM ISO690:2012 AMAN, Bogdan, CIOBANU, Gabriel. BioMaxP: A Formal Approach for Cellular Ion Pumps. In: Workshop on Foundations of Informatics, 24-29 august 2015, Chisinau. Chișinău, Republica Moldova: "VALINEX" SRL, 2015, I, pp. 38-49. ISBN 978-9975-4237-3-1. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Workshop on Foundations of Informatics I, 2015 |
||||||
Conferința "Workshop on Foundations of Informatics" Chisinau, Moldova, 24-29 august 2015 | ||||||
|
||||||
Pag. 38-49 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
We look at the living cells as complex systems of ion pumps working in parallel to ensure proper physiologic functionalities. To model such a system of pumps, we define a formalism called BioMaxPthat allows working with multisets of ions, explicit interpretation of the transportation (from inside to outside, and from outside to inside) based on the number of existing ions, and a maximal parallel execution of the involved pumps. |
||||||
|