29082 search results - page 118 / 5817 » The Time-Triggered Model of Computation |
119
Voted
UC
2005
Springer
15 years 9 months ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
125
Voted
NAR
2006
15 years 3 months ago
2006
An assessment of the equilibrium dynamics of biomolecular systems, and in particular their most cooperativefluctuationsaccessibleundernativestate conditions, is a first step towar...
106
Voted
IJIS
2007
15 years 3 months ago
2007
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, exam...
125
Voted
COORDINATION
2007
Springer
15 years 9 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
132
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...