We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Behavioral research suggests that human learning in some multi-agent systems can be predicted with surprisingly simple “foresight-free” models. The current note discusses the ...
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effe...
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...