Sciweavers

17 search results - page 2 / 4
» An Overview of Hybrid Simulation Phenomena and Their Support...
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 5 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
HYBRID
2010
Springer
14 years 4 days ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
ICWS
2009
IEEE
13 years 3 months ago
Discovery of Optimized Web Service Configurations Using a Hybrid Semantic and Statistical Approach
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
Maciej Zaremba, Jacek Migdal, Manfred Hauswirth
BMCBI
2008
117views more  BMCBI 2008»
13 years 5 months ago
CrossHybDetector: detection of cross-hybridization events in DNA microarray experiments
Background: DNA microarrays contain thousands of different probe sequences represented on their surface. These are designed in such a way that potential cross-hybridization reacti...
Paolo Uva, Emanuele de Rinaldis
CEC
2008
IEEE
13 years 11 months ago
Automatic model type selection with heterogeneous evolution: An application to RF circuit block modeling
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
Dirk Gorissen, Luciano De Tommasi, Jeroen Croon, T...