2227 search results - page 16 / 446 » Reversibility and Models for Concurrency |
ECMDAFA
2007
Springer
14 years 4 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
MBEC
2010
2010
Reverse engineering the kidney: modelling calcium oxalate monohydrate crystallization in the nephron
13 years 4 months ago
Crystallization of calcium oxalate monohydrate in a section of a single kidney nephron (distal convoluted tubule) is simulated using a model adapted from industrial crystallization...
NAACL
2007
13 years 11 months ago
2007
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...
BMCBI
2010
13 years 10 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
IDEAL
2007
Springer
14 years 4 months ago
2007
Springer
