Sciweavers

4346 search results - page 281 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 3 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
BMCBI
2008
162views more  BMCBI 2008»
15 years 5 months ago
Background correction using dinucleotide affinities improves the performance of GCRMA
Background: High-density short oligonucleotide microarrays are a primary research tool for assessing global gene expression. Background noise on microarrays comprises a significan...
Raad Z. Gharaibeh, Anthony Fodor, Cynthia Gibas
EUROMICRO
1998
IEEE
15 years 9 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
161
Voted
DLOG
2010
15 years 3 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
BMCBI
2008
87views more  BMCBI 2008»
15 years 5 months ago
Volume-based solvation models out-perform area-based models in combined studies of wild-type and mutated protein-protein interfa
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
Salim Bougouffa, Jim Warwicker