Sciweavers

1526 search results - page 179 / 306
» Computer algebra in systems biology
Sort
View
DNA
2007
Springer
176views Bioinformatics» more  DNA 2007»
16 years 1 months ago
Asynchronous Spiking Neural P Systems: Decidability and Undecidability
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ib...
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 21 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
CC
2006
Springer
147views System Software» more  CC 2006»
15 years 7 months ago
Complexity of Ring Morphism Problems
Abstract. We study the complexity of the isomorphism and automorphism problems for finite rings. We show that both integer factorization and graph isomorphism reduce to the problem...
Neeraj Kayal, Nitin Saxena
PERCOM
2006
ACM
16 years 6 months ago
Molecular Communication for Health Care Applications
Molecular communication is a new communication paradigm and uses molecules as a communication carrier. In molecular communication, information is encoded onto molecules at senders...
Yuki Moritani, Satoshi Hiyama, Tatsuya Suda
CMSB
2004
Springer
16 years 17 days ago
Projective Brane Calculus
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
Vincent Danos, Sylvain Pradalier