111 search results - page 1 / 23 » Computational Models for the Formation of Protocell Structur... |
ALIFE
1998
13 years 4 months ago
1998
There have been various attempts to simulate the self-assembly process of lipid aggregates by computers. However, due to the computationally complex nature of the problem, previou...
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
Structured Problem Report Formats have been key to improving the assessment of usability methods. Once extended to record analysts' rationales, they not only reveal analyst b...
ERCIMDL
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
SEFM
2003
IEEE
13 years 10 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...