Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
BioMaxP: A Formal Approach for Cellular Ion Pumps
Authors: Bogdan Aman, Gabriel Ciobanu
– 0.13 Mb
Abstract
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.Romanian Academy, Institute of Computer Science
Blvd. Carol I no.11, 700506 Iasi, Romania
E-mail: ,
Blvd. Carol I no.11, 700506 Iasi, Romania
E-mail: ,
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.13 Mb
Contents
- About FOI-2015
- Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
- BioMaxP: A Formal Approach for Cellular Ion Pumps
- Structuring of Specification Modules (extended)
- Fundamental theorems of extensional untyped lambda-calculus revisited
- Finite automata over algebraic structures: models and some methods of analysis
- Communicative automata based programming. Society Framework
- The Law of Gravitation for Ontologies and Domains of Discourse
- Solving Problem of Graph Isomorphism by Hybrid Model
