The 18 research articles of this volume discuss the major themes that have emerged from mathematical and statistical research in the epidemiology of HIV. The opening paper reviews important recent contributions. Five sections follow: Statistical Methodology and Forecasting, Infectivity and the HIV, Heterogeneity and HIV Transmission Dynamics, Social Dynamics and AIDS, and The Immune System and The HIV. In each, leading experts in AIDS epidemiology present the recent results. Some address the role of variable infectivity, heterogeneous mixing, and long periods of infectiousness in the dynamics of HIV; others concentrate on parameter estimation and short-term forecasting. The last section looks at the interaction between the HIV and the immune system.

Currently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientation, data deduction and extended knowledge representation schemes), there is improved systems integration, and there are new tools. All these extensions aim to provide semantically richer and better engineered information systems that allow for more adequate and complete representations and thus extend the effective use of database technology to a wider class of applications. Database researchers and developers, whether they are committed to application or to system construction, are convinced that next-generation information system technology will be heavily determined by a handful of new concepts that they have to understand and work out in detail now. This volume concentrates on the following topics: - Extended data types and data models, database programming languages; - Rule-based data deduction, expert systems, knowledge bases; - Object orientation and semantic data modelling; - DB application development, methodologies and tools; - Interface technology, parallelism, interoperability, ...; - New database applications.

This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The invited contributions by internationally recognized experts give a thorough survey of several aspects of parallel database systems. The second part of the volume gives an in-depth overview of the PRISMA system. This system is based on a parallel machine, where the individual processors each have their own local memory and communicate with each other over a packet-switched network. On this machine a parallel object-oriented programming language, POOL-X, has been implemented, which provides dedicated support for database systems as well as general facilities for parallel programming. The POOL-X system then serves as a platform for a complete relational main-memory database management system, which uses the parallelism of the machine to speed up significantly the execution of database queries. The presentation of the PRISMA system, together with the invited papers, gives a broad overview of the state of the art in parallel database systems.

This volume presents the written versions of talks delivered at the symposium "The advent of AI in Higher Education" held in Prague, Czechoslovakia, October 23-25, 1989. Contributions review the current impact of AI on the educational process, stressing the problems and needs of universities. Particular systems, projects and methodologies are de scribed with the aim of gathering and generalizing the experience obtained. The latest developments prove that AI offers interesting methods which could be used with success across a wider range in the domain of education. The nature and spirit of AI forms a new phenomenon which necessitates reconsidering the whole educational process. Papers in this volume describe sophisticated tutoring systems as well as suggestions for new curricula.

Written for researchers and developers of three-dimensional modeling programs, this book examines the variety of existing systems while investigating the practical limitations of available software. From the table of contents: - Polyhedra - Boundary Models - A Small Language Modeler - The Algebraic Model - Computation of Algebraic Manifolds - Topol

The AAECC conferences focus on the algebraic aspects of modern computer science, which include the most up-to-date and advanced topics. The topic of error-correcting codes is one where theory and implementation are unified into a subject both of mathematical beauty and of practical importance. Algebraic algorithms are not only interesting theoretically but also important in computer and communication engineering and many other fields. This volume contains the proceedings of the 8th AAECC conference, held in Tokyo in August 1990. Researchers from Europe, America, Japan and other regions of the world presented papers at the conference. The papers present new results of recent theoretical and application-oriented research on applied algebra, algebraic algorithms and error-correcting codes.

This volume constitutes the refereed post-workshop proceedings of two IFIP WG 13.7 workshops on Human-Computer Interaction and Visualization: the 7th HCIV Workshop on Non-formal Modelling for Interaction Design, held at the 29th European Conference on Cognitive Ergonomics, ECCE 2011, in Rostock, Germany, in August 2011 and the 8th HCIV Workshop on HCI and Visualization, held at the 13th IFIP TC 13 Conference on Human-Computer Interaction, INTERACT 2011, in Lisbon, Portugal, in September 2011. The 15 revised papers presented were carefully reviewed and selected for inclusion in this volume. They cover a wide range of topics in the fields of non-formal modeling, visualization and HCI and provide visions from researchers working at or across the borders between these domains that may help develop a holistic cross-discipline.

In this monograph the author presents a thorough computational geometry approach to handling theoretical and practical problems arising from numerically controlled pocket machining. The approach unifies two scientific disciplines: computational geometry and mechanical engineering. Topics of practical importance that are dealt with include the selection of tool sizes, the determination of tool paths, and the optimization of tool paths. Full details of the algorithms are given from a practical point of view, including information on implementation issues. This practice-minded approach is embedded in a rigorous theoretical framework enabling concise statement of definitions and proof of the correctness and efficiency of the algorithms. In particular, the construction of Voronoi diagrams and their use for offset calculations are investigated in great detail. Based on Voronoi diagrams, a graph-like structure is introduced that serves as a high-level abstraction of the pocket geometry and provides the basis for algorithmically performing shape interrogation and path planning tasks. Finally, the efficiency and robustness of the approach is illustrated with figures showing pocketing examples that have been processed by the author's own implementation.

This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.