1162 search results - page 62 / 233 » An Information-Based Theory of Conditionals |
ISCAS
2002
IEEE
15 years 4 months ago
2002
IEEE
With single-electron tunneling (SET) technology it is possible to build electronic circuits with extreme low power properties. These SET circuits must therefore operate in the sin...
106
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
JSYML
2007
14 years 11 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...
JMLR
2010
14 years 6 months ago
2010
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
112
click to vote
CMSB
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...