3844 search results - page 541 / 769 » Modular interpreted systems |
146
click to vote
AML
2008
15 years 6 months ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
146
click to vote
AMC
2007
15 years 6 months ago
2007
In this paper, we consider an integrated pest management model which is impulsively controlled by means of biological and chemical controls. These controls are assumed to act in a...
164
click to vote
BIB
2007
15 years 6 months ago
2007
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...
181
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
The analysis and interpretation of relationships between biological molecules, networks and concepts is becoming a major bottleneck in systems biology. Very often the pure amount ...
172
click to vote
DCG
2008
15 years 6 months ago
2008
The crossing number of a graph is the minimum number of edge intersections in a plane drawing of a graph, where each intersection is counted separately. If instead we count the nu...