9405 search results - page 164 / 1881 » Computing a Model of Set Theory |
145
Voted
AUTONOMICS
2009
ACM
15 years 9 months ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
111
click to vote
RELMICS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
134
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Detection of common evolutionary origin (homology) is a primary means of inferring protein structure and function. At present, comparison of protein families represent...
152
click to vote
CSSC
2008
15 years 3 months ago
2008
The interest in inference in the wavelet domain remains vibrant area of statistical research because of needs of scientific community to process and explore massive data sets. Prim...
128
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...