Sciweavers

938 search results - page 31 / 188
» Mathematical Modelling the Ethnic System
Sort
View
PODS
2009
ACM
130views Database» more  PODS 2009»
16 years 6 months ago
The finite model theory toolbox of a database theoretician
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
Leonid Libkin
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
15 years 11 months ago
Optimizing Topology and Parameters of Gene Regulatory Network Models from Time-Series Experiments
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
Christian Spieth, Felix Streichert, Nora Speer, An...
POPL
2007
ACM
16 years 5 months ago
A very modal model of a modern, major, general type system
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
Andrew W. Appel, Christopher D. Richards, Jé...
HASE
1999
IEEE
15 years 9 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
SASO
2009
IEEE
16 years 6 days ago
Self-Organization of Creole Community in a Scale-Free Network
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo