algebra, algorithm design, computational biology and research in general. I would also like to express my gratitude to Dr. Friedrich Srienc and Dr. Carlos P. Sosa. Dr. Srienc as a principal investigator and motivator has introduced and approached us to the unanswered problems in the computational cellular

This paper presents an overview of Transaction Logic---a new formalism recently introduced in [11, 12] and designed to deal with the phenomenon of state changes in logic programming, databases, and AI. Transaction Logic has a natural model theory and a sound and complete proof theory. Unlike many

. Modeling is also necessary to estimate flow regimes under future climate conditions. To date there are few databases of modeled stream flows that are broad in coverage, fine in resolution, and available for both historical and future climate conditions. Here we present such a database. The University

; social theory; social morphology INTRODUCTION The network society is a speci c form of social structure tentatively identied by empirical research as being characteristic of the Information Age. By social structure I understand the organizational arrangements of humans in relationships of production

of Children, Families, and Learning) and designed by a team of researchers at the University of Minnesota in collaboration with educators across Minnesota. The project was funded to develop an approach to character education at the middle school level. We dis-

Ultracold atoms in optical lattices provide a highly control-lable environment for the clean experimental realization of various model Hamiltonians from condensed matter and statistical physics. For example, the two-component Bose-Hubbard model, which re-duces to an anisotropic spin-1/2 Heisenberg

an informal group which also included John Goihl (Agri-Nutrition Services), Steve Markham (Commodity Specialists, Inc.) and Dr. Jerry Shurson (University of Minnesota) to develop a research plan. Through funding provided primarily by the ethanol plants, and support from the Minnesota Corn Growers Association

in the commercial and research domains for a standardized benchmark suite for evaluating the performance and scalability of MOM. With all major vendors adopting JMS (Java Message Service) as a standard interface to MOM servers, there is at last a means for creating a standardized workload for evaluating products

We present the design of an object-orientedatabase system for reverse genetics applications. Such a database will encapsulate not only the data in the genetic and physical maps, but also the methods used to create the maps as well as methods to link them to other databases, such as GenBank, PIP

at the University of Kent at Canterbury by Professor P J Brown. It concludes by looking to the future in research and development of a useful system. 1. The need for an electronic system for law Law has long been a prime candidate for electronic information retrieval systems. There are many reasons for this: 1