Sciweavers

2275 search results - page 225 / 455
» Object Evolution by Model Evolution
Sort
View
CCE
2008
13 years 10 months ago
Population balance modeling in Simulink: PCSS
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
Jeffrey D. Ward, Cheng-Ching Yu
ISCI
2008
137views more  ISCI 2008»
13 years 10 months ago
Inference of differential equation models by genetic programming
This paper describes an evolutionary method for identifying a causal model from the observed time series data. We use a system of ordinary differential equations (ODEs) as the cau...
Hitoshi Iba
JALC
2006
95views more  JALC 2006»
13 years 10 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
EWSA
2004
Springer
14 years 4 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
STOC
2000
ACM
112views Algorithms» more  STOC 2000»
14 years 3 months ago
A random graph model for massive graphs
We propose a random graph model which is a special case of sparse random graphs with given degree sequences. This model involves only a small number of parameters, called logsize ...
William Aiello, Fan R. K. Chung, Linyuan Lu