Sciweavers

1968 search results - page 213 / 394
» The Complexity of Valued Constraint Models
Sort
View
JFP
2006
103views more  JFP 2006»
15 years 1 months ago
Phantom types and subtyping
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
Matthew Fluet, Riccardo Pucella
AMC
2005
112views more  AMC 2005»
15 years 1 months ago
Stieltjes moment problem via fractional moments
Stieltjes moment problem is considered to recover a probability density function from the knowledge of its infinite sequence of ordinary moments. The approximate density is obtain...
Pierluigi Novi Inverardi, Alberto Petri, Giorgio P...
ICRA
2009
IEEE
136views Robotics» more  ICRA 2009»
14 years 11 months ago
PDAC-based underactuated 3D bipedal walking - Stabilization of PDAC constants and walking direction control -
This paper proposes a three-dimensional biped dynamic walking algorithm based on Passive Dynamic Autonomous Control (PDAC) which is previously proposed. The robot dynamics is model...
Tadayoshi Aoyama, Kosuke Sekiyama, Yasuhisa Hasega...
JCB
2006
114views more  JCB 2006»
15 years 1 months ago
A General Modeling Strategy for Gene Regulatory Networks with Stochastic Dynamics
A stochastic genetic toggle switch model that consists of two identical, mutually repressive genes is built using the Gillespie algorithm with time delays as an example of a simpl...
Andre Ribeiro, Rui Zhu, Stuart A. Kauffman
AEI
2010
148views more  AEI 2010»
15 years 1 months ago
Modeling and monitoring of construction supply chains
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
Jack C. P. Cheng, Kincho H. Law, Hans Bjornsson, A...