Sciweavers

936 search results - page 24 / 188
» Mathematical Models of Endocrine Systems
Sort
View
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
14 years 2 months ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...
ISIPTA
1999
IEEE
108views Mathematics» more  ISIPTA 1999»
14 years 2 months ago
Coherent Models for Discrete Possibilistic Systems
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
Hugo J. Janssen, Gert De Cooman, Etienne E. Kerre
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
14 years 4 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
ICALT
2006
IEEE
14 years 3 months ago
Evaluation of a Queuing Theory and Systems Modeling Course Based on UML
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
14 years 1 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...