Sciweavers

5615 search results - page 61 / 1123
» On the Computational Capabilities of Several Models
Sort
View
APN
1994
Springer
15 years 1 months ago
On the Model of Computation of Place/Transition Petri Nets
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
José Meseguer, Ugo Montanari, Vladimiro Sas...
BIRTHDAY
2008
Springer
14 years 12 months ago
Models of Computation: A Tribute to Ugo Montanari's Vision
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
Roberto Bruni, Vladimiro Sassone
BIOCOMP
2006
14 years 11 months ago
Computational Inference of Compound-induced Anti-inflammatory Effects Across Time in an Adjuvant-induced Arthritis Rat Model
A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...
Jing Yu, Gabriel Helmlinger, Muriel Saulnier, Anna...
CVGIP
2006
171views more  CVGIP 2006»
14 years 10 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...
MFCS
1998
Springer
15 years 1 months ago
One Guess One-Way Cellular Arrays
One-way cellular automata with restricted nondeterminism are investigated. The number of allowed nondeterministic state transitions is limited to a constant. It is shown that a lim...
Thomas Buchholz, Andreas Klein, Martin Kutrib