A Formal Model of Visualization in Computer Graphics Systems
A Formal Model of Visualization in Computer Graphics Systems

Author: Tamiya Onodera

Publisher: Springer Science & Business Media

Published: 1990-04-04

Total Pages: 114

ISBN-13: 9783540523956

DOWNLOAD EBOOK

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.

CSL '89
CSL '89

Author: Egon Börger

Publisher: Springer Science & Business Media

Published: 1990-07-10

Total Pages: 452

ISBN-13: 9783540527534

DOWNLOAD EBOOK

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

CONPAR 90 - VAPP IV
CONPAR 90 - VAPP IV

Author: Helmar Burkhart

Publisher: Springer Science & Business Media

Published: 1990-08-30

Total Pages: 936

ISBN-13: 9783540530657

DOWNLOAD EBOOK

Parallel architectures are no longer pure research vehicles, as they were some years ago. There are now many commercial systems competing for market segments in scientific computing. The 1990s are likely to become the decade of parallel processing. CONPAR 90 - VAPP IV is the joint successor meeting of two highly successful international conference series in the field of vector and parallel processing. This volume contains the 79 papers presented at the conference. The various topics of the papers include hardware, software and application issues. Some of the session titles best reflect the contents: new models of computation, logic programming, large-grain data flow, interconnection networks, communication issues, reconfigurable and scalable systems, novel architectures and languages, high performance systems and accelerators, performance prediction / analysis / measurement, performance monitoring and debugging, compile-time analysis and restructurers, load balancing, process partitioning and concurrency control, visualization and runtime analysis, parallel linear algebra, architectures for image processing, efficient use of vector computers, transputer tools and applications, array processors, algorithmic studies for hypercube-type systems, systolic arrays and algorithms. The volume gives a comprehensive view of the state of the art in a field of current interest.

Automata, Languages and Programming
Automata, Languages and Programming

Author: Michael S. Paterson

Publisher: Springer Science & Business Media

Published: 1990

Total Pages: 804

ISBN-13: 9783540528265

DOWNLOAD EBOOK

In subvolume 27C1 magnetic and related properties of binary lanthanide oxides have been compiled. This subvolume covers data obtained since 1980 and can therefore be regarded as supplement to volume III/12c. While in the previous volume the majority of magnetic data was obtained either from magnetometric measurements or from neutron diffraction, for the present data the main emphasis is devoted to 'related' properties without which, however, the understanding of classical magnetic properties is impossible. A second part 27C2 will deal with binary oxides of the actinide elements.

A Systematic Catalogue of Reusable Abstract Data Types
A Systematic Catalogue of Reusable Abstract Data Types

Author: Jürgen Uhl

Publisher: Springer Science & Business Media

Published: 1990-10-24

Total Pages: 400

ISBN-13: 9783540532293

DOWNLOAD EBOOK

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for all data types, - many implementation variants per data type, all ac cessible through a single interface, - a hierarchical system of the data types as a basis for data type selection and implementation. Meeting these goals is the main achievement of the book. The combination of efficient applicability and ease of learning and maintenance is achieved by the carefully elaborated interfaces of the catalogue's data types. These interfaces combine abstraction, which is necessary for easy learning and for leaving implementation freedom, and functional completeness, which is an essential prerequisite for high performance in different application contexts. The selection of the right data type implementation for a given context is supported by the data type hierarchy which imposes different abstraction levels, and an orthogonal scheme of implementation variants which can be freely combined. Together with the uniformity of interfaces, the hierarchical composition of the catalogue leads to a small code base, from which different implementation variants are generated using a macro processor.

Algebraic and Logic Programming
Algebraic and Logic Programming

Author: Helene Kirchner

Publisher: Springer Science & Business Media

Published: 1990-09-20

Total Pages: 402

ISBN-13: 9783540531623

DOWNLOAD EBOOK

This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.

Building Bridges: HCI, Visualization, and Non-formal Modeling
Building Bridges: HCI, Visualization, and Non-formal Modeling

Author: Achim Ebert

Publisher: Springer

Published: 2014-04-09

Total Pages: 235

ISBN-13: 3642548946

DOWNLOAD EBOOK

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.