The requirements on a neutral current additive tc the heavy water in the SNO project are as follows: water solubility, low inherent radioactivity or the availability of an easy path of purification from thorium and radium, the possibility for easy separation from the water phase and safety. The solution of such an additive is expected to be transparent in the visible range, stable for extended ...

A pedestrian description of possible connection between quantum information theory and relativity theory is given. I picked up topics of synchronization by entanglement and causality of completely positive maps in special relativity, while the problems of information loss in the black hole evaporation and the possible quantum state at the space-like singularities are briefly touched upon in gen...

2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Vocabularies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Definition of Static Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

At the beginning of our careers, each of us has the dream of someday making a discovery that will change the way our respective disciplines regard something we now regard as fact. Denis Parsons Burkitt was able to change the course of our thinking twice in his career. More remarkably, the two discov eries were, to the casual observer, in widely different fields of study, i.e., the elucidation o...

Copyright © 1994, AAAI. 0738-4602-1994 / $2.00 of theorem provers for nonstandard logics in AI systems. The logics considered included modal logics, many-valued logics, autoepistemic logics, conditional logics, argument-based defeasible reasoning, probabilistic logics, default logic, transaction logic, defeasible Prolog, and temporal logics. Some of the applications were reasoning about actions...

The problem deals with learning {−1, +1}-valued functions from random labeled examples in the presence of random noise in the labels. In the random classification noise model of of Angluin and Laird [1] the label of each example given to the learning algorithm is flipped randomly and independently with some fixed probability η called the noise rate. The model is the extension of Valiant’s PAC m...