Sciweavers

122 search results - page 17 / 25
» SAMPL2 and continuum modeling
Sort
View
JSCIC
2008
124views more  JSCIC 2008»
13 years 11 months ago
Growth, Structure and Pattern Formation for Thin Films
Abstract An epitaxial thin film consists of layers of atoms whose lattice properties are determined by those of the underlying substrate. This paper reviews mathematical modeling, ...
Russel E. Caflisch
MICCAI
2003
Springer
14 years 11 months ago
Determination of the Mechanical Properties of Soft Human Tissues through Aspiration Experiments
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
Alessandro Nava, Edoardo Mazza, Frederic Kleinerma...
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
14 years 5 months ago
Mechanics of bending, torsion, and variable precurvature in multi-tube active cannulas
— Active cannulas are a relatively new continuum robot subclass characterized by their use of preshaped tubes that transmit bending moments as they slide within one another and a...
D. Caleb Rucker, Robert J. Webster
IWNAS
2008
IEEE
14 years 5 months ago
Adaptive Consistency Guarantees for Large-Scale Replicated Services
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
Yijun Lu, Ying Lu, Hong Jiang
LICS
2006
IEEE
14 years 4 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra