Mathematical theory of computation

Die Mensch-Maschine-Schnittstelle erlangt immer größere Bedeutung im Hinblick auf schnelle und ergonomische Kommunikation zwischen Mensch und Rechner.

Information als wettbewerbsbestimmende, strategische Unternehmensressource erfordert zunehmend den Einsatz hochwertiger Informationstechnologien.

The preparation of a volume on this topic was undertaken with some hesitancy on my part because the ramifications of the mineralogy of apatite involve both bio- logical and physical sciences in very elaborate ways.

Experts from university and industry are presenting new technologies for solving industrial problems and giving many important and practicable impulses for new research.

In twelve selected papers common problems in scientific visualization are discussed: adaptive and multi-resolution methods, feature extraction, flow visualization, and visualization quality.

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications.

In this volume experts from university and industry are presenting new technologies for solving industrial problems as well as important and practicable impulses for new research.

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification.

As the integration of statistical data collected in various subject matter domains becomes more and more important in several socio-economic etc.

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi- cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni- versity of Minho, Braga, Portugal from June 2 to June 4, 1999.

In the past decade visualization established its importance both in scientific research and in real-world applications.

It is becoming increasingly clear that the use of human visual perception for data understanding is essential in many fields of science.

Simulation ist neben Theorie und Experiment die dritte Säule wissenschaftlicher Forschung und technischer Entwicklung.

Multimedia '99 covers technological and scientific areas of media production, processing and delivery.

Simulation ist neben Theorie und Experiment die dritte Säule wissenschaftlicher Forschung und technischer Entwicklung.

There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey.

This book is a collection of selected papers written by researchers qf our "e;RISC"e; institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason- ing).

For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares.

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation.

The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal.

The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path.

This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA.

The correct development of large / com plex pieces of software demands a thorough structuring of the design process.

During the last couple of years we learned that infonnation and communication technologies have to be seen as key factors for the success in various industries.

19 papers presented by international experts give a state-of-the-art survey of the relevant problems and issues in modeling, CAD/CAM, scientific visualization, and computational geometry.

There is hardly a science that is without the notion of "e;system"e;.

The well attended March 1994 HIse workshop in Amsterdam was a very lively con- ference which stimulated much discussion and human-human interaction.

This volume includes a selection of papers presented at the second workshop on Robot Kinematics held in Linz, September 10-12, 1990.

J.

Das bewährte Lehrbuch bietet eine Einführung in die Wahrscheinlichkeitsrechnung und schließende Statistik.

The journal Computing has established a series of supplement volumes the fourth of which appears this year.

Das Buch bietet eine Einführung in Wahrscheinlichkeitsmodelle und die Schätzung solcher Modelle auf der Grundlage von Beobachtungen.

Does modelling, formal or otherwise, play a role in designing interactive systems?

Diese Aufgabensammlung stellt eine sinnvolle Ergänzung zum Lehrbuch "Informatik" von Blieberger et al.

Advanced information technology is pervasive in any kind of human activity - science, business, finance, management and others - and this is particularly true for database systems.

The contents of these proceedings reflect the intention of the organizers of the workshop to bring together scientists and engineers having a strong interest in interdisciplinary work in the fields of computer science, mathematics and applied statistics.

The book is characterized by the illustration of cases of fractal, self-similar and multi-scale structures taken from the mechanics of solid and porous materials, which have a technical interest.

The book aims to merge Computational Intelligence with Data Mining, which are both hot topics of current research and industrial development, Computational Intelligence, incorporates techniques like data fusion, uncertain reasoning, heuristic search, learning, and soft computing.

This work is a collection of front-end research papers on data fusion and perceptions.

The current work provides CIOs, software architects, project managers, developers, and cloud strategy initiatives with a set of architectural patterns that offer nuggets of advice on how to achieve common cloud computing-related goals.

Planning of actions based on decision theory is a hot topic for many disciplines.

The book provides systematic in-depth analysis of nonparametric learning.

The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory.

The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equations - to linear partial differential equations.