Wolfram Luther - Böcker

Dieses Buch gibt Studierenden der Mathematik und Informatik, aber auch interessierten Ingenieurstudenten eine moderne und geschlossene Sichtweise der Computergrafik mit wichtigen Aspekten aus der Bildverarbeitung. Die mathematischen und informatischen Hilfsmittel aus den Teildisziplinen Diskrete Geometrie, Effiziente Algorithmen, Grafikprogrammierung, Analysis und Differentialgeometrie, aber auch die Hardwareaspekte der Plattformen PC und Grafikworkstation werden in nachvollziehbarer Weise integriert, so dass Nichtmathematiker nicht von vornherein ausgegrenzt werden. Das Buch ist praxisorientiert und als Begleittext zu Vorlesungen aus dem Studienabschnitt viertes bis achtes Semester auch fur das Selbststudium geeignet. Es enthalt eine Vielzahl von gelosten Ubungsaufgaben und Abbildungen einschliesslich einiger Farbtafeln. Zur Vermittlung der Computergrafik bedarf es einer integrierten Darstellung, die nicht nur die theoretischen Grundlagen vermittelt, sondern anhand von Programmen einen direkten Einblick in die Auswirkungen und Leistungsfahigkeit der Algorithmen ermoglicht.Auf einer CD-ROM sind dem Buch Programme fur die Rechnerplattform IBM-kompatible DOS- und Windows-Rechner, Apple-Macintosh und Grafik-Workstations in den Programmiersprachen Assembler, PASCAL und C sowohl im Quelltext wie auch in ausfuhrbarer Form beigefugt, die die wichtigsten Algorithmen direkt, in ihrer Wirkungsweise oft verlangsamt oder mit Zoom vorstellen.

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003. The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Ausgehend vom Thema "Schulen auf dem Weg in die Informationsgesellschaft" bietet der vorliegende Band einen Überblick über Stand, Einführung und Konzeption computer- und netzgestützter Technologien für Schulen.

A large amount of the capacity of today’s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti?c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on “Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,” which took place January 8–13, 2006. It was intended to stimulate an exchange of ideas between the di?erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di?erent countries and many di?erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di?erent theoretical models and practical - proaches for reliable real number computations.

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.