Sciweavers

3575 search results - page 206 / 715
» Modeling Concurrency with Geometry
Sort
View
BMCBI
2010
259views more  BMCBI 2010»
15 years 1 months ago
Rule-based spatial modeling with diffusing, geometrically constrained molecules
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
Gerd Gruenert, Bashar Ibrahim, Thorsten Lenser, Ma...
AES
2007
Springer
75views Cryptology» more  AES 2007»
15 years 6 months ago
Improved FVM for two-layer shallow-water models: Application to the Strait of Gibraltar
This paper deals with the numerical simulation of flows of stratified fluids through channels with irregular geometry. Channel crosssections are supposed to be symmetric but no...
Manuel Jose Castro Díaz, José A. Gar...
EWSPT
1994
Springer
15 years 10 months ago
Enactment Control in Interact/Intermediate
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
Dewayne E. Perry
COLING
1996
15 years 7 months ago
Restricted Parallelism in Object-Oriented Lexical Parsing
We present an approach to parallel natural language parsing which is based on a concurrent, object-oriented model of computation. A depth-first, yet incomplete parsing algorithm f...
Peter Neuhaus, Udo Hahn
LICS
2010
IEEE
15 years 4 months ago
On the Expressivity of Symmetry in Event Structures
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
Sam Staton, Glynn Winskel