Sciweavers

1119 search results - page 121 / 224
» On the Invariance of Ant System
Sort
View
IROS
2007
IEEE
136views Robotics» more  IROS 2007»
15 years 4 months ago
Task-induced symmetry and reduction in kinematic systems with application to needle steering
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
Vinutha Kallem, Dong Eui Chang, Noah J. Cowan
FCT
2007
Springer
15 years 4 months ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
IEEEAMS
2003
IEEE
15 years 3 months ago
On Conditions for Self-Healing in Distributed Software Systems
This paper attempts to identify one of the necessary conditions for self-healing, or self-repair, in complex systems, and to propose means for satisfying this condition in heterog...
Naftaly H. Minsky
MBEC
2010
122views Communications» more  MBEC 2010»
14 years 4 months ago
Real-time estimation of cerebrospinal fluid system parameters via oscillating pressure infusion
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
Kennet Andersson, Ian R. Manchester, Jan Malm, And...
ESOP
2010
Springer
15 years 7 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella