16 Ergebnisse.

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey ...

Bernard ROY Professor, University of Paris-Dauphine Director of LAMSADE 11 is not unusual for a dozen or so loosely related working papers to be published in book form as the natural outgrowth of a scientific gathering. Although many a volu­ me of collected papers has come into point in this way, the homogeneity of the arti­ cles included will often be more apparent than real. As the reader will quickly ob­ serve, such is not the case with the...

Realistische Computergraphik beschäftigt sich mit der Synthese fotoähnlicher, realistischer Bilder aus dreidimensionalen Bildbeschreibungen. In diesem Buch wird zunächst eine kompakte Übersicht über den Stand der Technik dieses aktuellen Teilgebietes der Graphischen Datenverarbeitung gegeben. Der Schwerpunkt liegt auf der Entwicklung effizienter Algorithmen, Datenstrukturen und Maschinen für das aus der Strahlenoptik der Physik abgeleitete Str...

In der Integration von Informatikapplikationen wird in Zukunft ein großes Potential für Unternehmen liegen. Dabei steht die Datenintegration, d.h. die gemeinsame Nutzung derselben Daten durch verschiedene Programme, im Vordergrund. Ein Hindernis bei der Realisierung dieses Zieles stellt ungeplante Redundanz in Form synonymer und homonymer Datenelemente dar. Traditionelle Datenbankentwurfsmethoden bieten zur Lösung dieses Problems nur in gering...

Dieses Buch ist eine leicht gekürzte, überarbeitete Fassung der Karlsruher Dissertation des Verfassers. Das Buch befaßt sich mit dem Problem der Überlast in auftragsverarbeitenden Systemen. Eine Steigerung der Auftragslast in solchen Systemen bewirkt oft zunächst auch eine Steigerung des Durchsatzes, dann wird jedoch ein Sättigungspunkt erreicht, bei dessen Überschreiten der Durchsatz jäh abfällt. Dieser vor allem vom virtuellen Speicher her a...

Structural exchange rate modeling has proven extremely difficult during the recent post-1973 float. The disappointment climaxed with the papers of Meese and Rogoff (1983a, 1983b), who showed that a "naive" random walk model distinctly dominated received theoretical models in terms of predictive performance for the major dollar spot rates. One purpose of this monograph is to seek the reasons for this failure by exploring the temporal behavior o...

Transformations . . . . . . . . . . . . . . . . . . . . . . . . . .

stable isotope ratios act as naturally-occurring tracers for organic matter, making possible, under certain conditions, the quantification of coastal-offshore exchanges. In general, organic matter has isotope ratios characteristic of its origin (e. g. plants with different modes of photosynthesis and different growth conditions, anthropogenic compounds). These ratios are maintained as the organic matter moves through the biosphere and geospher...

Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführunge...

Theory and Practice is one of Habermas's major works and is widely recognized as a classic in contemporary and social and political theory. Through a series of highly original historical studies, Habermas reexamines the relations between philosophy, science and politics. Beginning with the classical doctrine of politics as developed by Aristotle, he traces the changing constellation of theory and practice through the work of Machiavelli, More,...

Pattern recognition is traditionally considered to cover all aspects of sensory data perception ranging from data acquisition, through preprocessing and low level analysis, to high level interpretation. Owing to its breadth and important application potential, the field of pattern recognition has been attracting considerable attention of researchers in academia and industry and consequently it has been witnessing a rapid growth and perpetual d...

The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one...

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practi...

0. The results are consequences of a strengthened form of the following assertion: Given 0

This book deals with central simple Lie algebras over arbitrary fields of characteristic zero. It aims to give constructions of the algebras and their finite-dimensional modules in terms that are rational with respect to the given ground field. All isotropic algebras with non-reduced relative root systems are treated, along with classical anisotropic algebras. The latter are treated by what seems to be a novel device, namely by studying certai...

Unlike most other texts on the subject, this clear, concise introduction to the theory of microscopic bodies treats the modern theory of critical phenomena. Provides up-to-date coverage of recent major advances, including a self-contained description of thermodynamics and the classical kinetic theory of gases, interesting applications such as superfluids and the quantum Hall effect, several current research applications, The last three chapter...