7681 search results - page 37 / 1537 » Typed Membrane Systems |
SPRINGSIM
2008
2008
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
14 years 11 months ago
We have used the synthetic modeling method to construct a multilevel, agent oriented, in silico analogue of an in vitro experimental system for studying leukocyte rolling, activat...
BILDMED
2006
14 years 11 months ago
2006
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen i...
IJON
2006
14 years 9 months ago
2006
The traditional dilemma for performing network simulations with analog circuits is the great difficulty of handling the connectivity in hardware. The main problem is that hardware...
NPL
2000
14 years 9 months ago
2000
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...