The process of mullitization of kyanite concentrate was studied at different conditions of heat treatment (1400– 1600 °C and 0.5 – 3.5 hours) and particle size of raw materials (38-300 ?m). Kyanite concentrate was obtained fromore-dressing of kyanite deposits of Mishidowan-Bafgh region at 100 km northeastern part of Yazd. The results ofmicrostructure (shape, distribution and size of the grains)...

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...