Sciweavers

481 search results - page 21 / 97
» Parameter estimation for Boolean models of biological networ...
Sort
View
ETFA
2006
IEEE
15 years 3 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
JCB
2002
131views more  JCB 2002»
14 years 9 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 3 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
99
Voted
IWANN
2001
Springer
15 years 2 months ago
Learning Adaptive Parameters with Restricted Genetic Optimization Method
Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...
Santiago Garrido, Luis Moreno
CLUSTER
2007
IEEE
15 years 4 months ago
Building the communication performance model of heterogeneous clusters based on a switched network
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
Alexey L. Lastovetsky, Vladimir Rychkov