Goal Change in the Situation Calculus

Although there has been much discussion of belief change (e.g.[4, 21]), goal change has not received much attention. In thispaper, we propose a method for goal change in the frameworkof Reiter's; [12] theory of action in the situation calculus[8, 10], and investigate its properties. We extend the frameworkdeveloped by Shapiro et al. [17] and Shapiro and Lespérance[16], where goals and goal expansion were modelled, but goalcontraction was not.     

The prediction of the wild-type telomerase RNA pseudoknot structure and the pivotal role of the bulge in its formation

In this study, the three-dimensional structure of the wild-type human telomerase RNA pseudoknot was predicted via molecular modeling. The wild-type pseudoknot structure is then compared to the recent NMR solution structure of the telomerase pseudoknot, which does not contain the U177 bulge. The removal of the bulge from the pseudoknot structure results in higher stability and significant reduction of activity of telomerase. We show that the effect of the bulge on the structure results in a significant transformation of the pseudoknot junction region where the starting base pairs are disrupted and unique triple base pairs are formed. We found that the formation of the junction region is greatly influenced by interactions of the U177 bulge with loop residues and rotation of residue A174. Moreover, this is the first study to our knowledge where a structure as complex as the pseudoknot has been solved by purely theoretical methods.     

Spinal neurilemmomas and neurofibromas: central dot sign in postgadolinium MRI

The MR studies of three histologically proven spinal neurilemmomas and neurofibromas were reviewed retrospectively. There were two benign neurilemmomas (schwannomas) and one neurofibroma. The common characteristic of these cases was a central low intensity focus ("dot") seen on postcontrast T1-weighted imaging. The low intensity foci corresponded histologically to a congeries of changes including edema, microcysts, foam cells, hyalinization of blood vessels, old hemorrhage, and dystrophic calcification.     

Transition layer thickness in microlaminar deposits

A theoretical analysis was carried out on the change of composition of a deposit obtained by the dual pulse method of forming laminar metal foils, with transition from a low current to a high current pulse, both in the galvanostatic and the potentiostatic mode of deposition. It was shown that the existence of a transition layer of varying composition between a layer of pure metal 1 and a layer consisting predominantly of the metal 2 is an inherent consequence of the electrochemical process, primarily because of an induction period in the concentration polarization with respect to ions of metal 1. The importance of this transition layer increases as the thickness of the layers of the two metals decreases. Eventually this limits the possibility of obtaining a sharp boundary between the layers, when the nanometre region of layer thickness is reached. Equations are given for calculating the deposition current density and rate of stirring of the electrolyte which provide a deposit of a required level of metal 1 in the layer of metal 2, as well as a required sharpness of the boundary between two layers. Experimental proof of the correctness of the analysis was sought. It was found that significant changes in the properties of the deposit occur in the same range of layer thickness in which the transition of the composition takes places.Nomenclature _c,1, a_c,2 transfer coefficient of the cathodic processes - C interfacial capacitance - C₁, C₂ concentration of the ions of metals 1 and 2 at the interface r - C ₀ ¹ , C ₀ ² concentration of ions of the metals 1 and 2 in solution - D ₁ diffusion coefficient for the diffusion of ions of the metal 1 - E _r,1,E _r,2 reversible potentials of metals 1 and 2, respectively - F the Faraday constant - J ₀ ¹ ,J ₀ ² exchange current density of the metals 1 and 2, respectively - M ₁,M ₂ atomic weights of the metals 1 and 2, respectively - kinematic viscosity of solution - ₁, ₂ densities of the metals 1 and 2 respectively - rotation speed (r.p.s.) - z number of electrons exchanged in the deposition process This paper is dedicated to Professor Brian E. Conway on the occasion of his 65th birthday, and in recognition of his outstanding contribution to electrochemistry.     

Fair,biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog

The problem of allowing a dynamically changing set of processes fair access to a shared resource is considered, in the context of communication-stream based systems. It is argued that fair binary merge operators alone cannot solve this problem satisfactorily. Two solutions are proposed. One employs binary merge operators with a programmable bias; the other binary and ternary fair merge operators capable of self-balancing, using the concept of 2–3 trees. A Concurrent Prolog implementation of these operators is described. The implementation of the self-balancing merge operators illustrates the expressive power of incomplete messages, a programming technique that supports messages that contain communication channels as arguments. In the course of implementing the self-balancing merge operator, it was necessary to develop a distributed variant of the 2–3 tree deletion algorithm.     

Object oriented programming in Concurrent Prolog

It is shown that the basic operations of object-oriented programming languages — creating an, object, sending and receiving messages, modifying an object’s state, and forming class-superclass hierarchies — can be implemented naturally in Concurrent Prolog. In addition, a new object-oriented programming paradigm, called incomplete messages, is presented. This paradigm subsumes stream communication, and greatly simplifies the complexity of programs defining communication networks and protocols for managing shared resources. Several interesting programs are presented, including a multiple-window manager. All programs have been developed and tested using the Concurrent Prolog interpreter described in.¹⁾     

Organization of relational models for scene analysis

Relational models are commonly used in scene analysis systems. Most such systems are experimental and deal with only a small number of models. Unknown objects to be analyzed are usually sequentially compared to each model. In this paper, we present some ideas for organizing a large database of relational models. We define a simple relational distance measure, prove it is a metric, and using this measure, describe two organizational/access methods: clustering and binary search trees. We illustrate these methods with a set of randomly generated graphs.