Sciweavers

29172 search results - page 91 / 5835
» Modeling Systems in CLP
Sort
View
FOCI
2007
IEEE
14 years 3 months ago
The Immune System in Pieces: Computational Lessons from Degeneracy in the Immune System
— The concept of degeneracy in biology, including the immune system, is well accepted and has been demonstrated to be present at many different levels. We explore this concept fr...
Miguel Mendao, Jonathan Timmis, Paul S. Andrews, M...
BIRTHDAY
2006
Springer
14 years 19 days ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
MBEC
2010
122views Communications» more  MBEC 2010»
13 years 3 months ago
Real-time estimation of cerebrospinal fluid system parameters via oscillating pressure infusion
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
Kennet Andersson, Ian R. Manchester, Jan Malm, And...
MMAS
2010
Springer
13 years 3 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
13 years 3 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov