Sciweavers

130 search results - page 6 / 26
» Meaning Representation: From Continuity to Discreteness
Sort
View
APN
2006
Springer
13 years 11 months ago
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
David Gilbert, Monika Heiner
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CSDA
2006
71views more  CSDA 2006»
13 years 10 months ago
Practical representations of incomplete probabilistic knowledge
This article deals with the compact representation of incomplete probabilistic knowledge which can be encountered in risk evaluation problems, for instance in environmental studie...
Cédric Baudrit, Didier Dubois
PKDD
2004
Springer
113views Data Mining» more  PKDD 2004»
14 years 3 months ago
Discovery of Regulatory Connections in Microarray Data
Abstract. In this paper, we introduce a new approach for mining regulatory interactions between genes in microarray time series studies. A number of preprocessing steps transform t...
Michael Egmont-Petersen, Wim de Jonge, Arno Siebes
FORMATS
2010
Springer
13 years 7 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...