Sciweavers

194 search results - page 17 / 39
» Algebraic Laws for Feature Models
Sort
View
IANDC
2010
125views more  IANDC 2010»
14 years 6 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
71
Voted
ICRA
2009
IEEE
157views Robotics» more  ICRA 2009»
15 years 4 months ago
Modeling and 3D local estimation for in-plane and out-of-plane motion guidance by 2D ultrasound-based visual servoing
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...
Rafik Mebarki, Alexandre Krupa, François Ch...
ICRA
2009
IEEE
115views Robotics» more  ICRA 2009»
15 years 4 months ago
Modeling and control of the monopedal robot Thumper
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
Ioannis Poulakakis, Jessy W. Grizzle
ICRA
2003
IEEE
130views Robotics» more  ICRA 2003»
15 years 2 months ago
Design and modeling of classes of spatial reactionless manipulators
Abstract – For conventional designs of robots, manipulator motions result in forces and moments on the base. These forces and moments may cause undesirable translation and rotati...
Abbas Fattah, Sunil Kumar Agrawal
JCB
2006
144views more  JCB 2006»
14 years 9 months ago
Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
Meera Sitharam, Mavis Agbandje-Mckenna