5510 search results - page 227 / 1102 » Mathematics |
260
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
153
Voted
PODS
2006
ACM
16 years 5 months ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
139
click to vote
IROS
2009
IEEE
16 years 10 days ago
2009
IEEE
The context of this paper is to study the use of capillary microgripper in submerged mediums which requires the use of microbubbles. This paper presents a model and experimentatio...
199
click to vote
ECMDAFA
2009
Springer
16 years 8 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
146
click to vote
ICCS
2009
Springer
16 years 7 days ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...