BioMaxP: A Formal Approach for Cellular Ion Pumps
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
935 3
Ultima descărcare din IBN:
2018-06-12 17:51
Căutarea după subiecte
similare conform CZU
[539.376+577.2]:004.94 (1)
Elasticitate. Deformare. Mecanica solidelor elastice (29)
Bazele materiale ale vieții. Biochimie. Biologie moleculară. Biofizică (664)
Informatică aplicată. Tehnici bazate pe calculator cu aplicații practice (440)
SM ISO690:2012
AMAN, Bogdan, CIOBANU, Gabriel. BioMaxP: A Formal Approach for Cellular Ion Pumps. In: Computer Science Journal of Moldova, 2015, nr. 2(68), pp. 123-134. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330

BioMaxP: A Formal Approach for Cellular Ion Pumps
CZU: [539.376+577.2]:004.94

Pag. 123-134

Aman Bogdan, Ciobanu Gabriel
 
Institute of Computer Science of the Romanian Academy
 
 
Disponibil în IBN: 20 noiembrie 2015


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 simple and elegant approach that 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.