3995 search results - page 645 / 799 » Linearization of hybrid processes |
166
click to vote
TVLSI
2008
15 years 4 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
138
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: The identification of species or species groups with specific oligo-nucleotides as molecular signatures is becoming increasingly popular for bacterial samples. However...
168
click to vote
CGF
1998
15 years 4 months ago
1998
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...
140
Voted
AIS
1999
Springer
15 years 4 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
119
Voted
JCB
1998
15 years 4 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...