Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics PDF

Author: Jan van Leeuwen

Publisher: Springer

Published: 2000-01-01

Total Pages: 633

ISBN-13: 3540449299

DOWNLOAD EBOOK →

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene ted from the e orts of many people; in particular, the TC1 members and the members of the Steering Committee, the Program Committee, and the Organizing Committee of the conference. Our special thanks go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen (U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus).

Exploring Mathematics with Your Computer

Exploring Mathematics with Your Computer PDF

Author: Arthur Engel

Publisher: American Mathematical Society

Published: 2023-02-14

Total Pages: 313

ISBN-13: 1470457032

DOWNLOAD EBOOK →

This is a mathematics book, not a programming book, although it explains Pascal to beginners. It is aimed at high school students and undergraduates with a strong interest in mathematics, and teachers looking for fresh ideas. It is full of diverse mathematical ideas requiring little background. It includes a large number of challenging problems, many of which illustrate how numerical computation leads to conjectures which can then be proved by mathematical reasoning. It is assumed that readers have a PC at their disposal.

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration PDF

Author: Torsten Möller

Publisher: Springer Science & Business Media

Published: 2009-06-12

Total Pages: 348

ISBN-13: 3540499261

DOWNLOAD EBOOK →

The goal of visualization is the accurate, interactive, and intuitive presentation of data. Complex numerical simulations, high-resolution imaging devices and incre- ingly common environment-embedded sensors are the primary generators of m- sive data sets. Being able to derive scienti?c insight from data increasingly depends on having mathematical and perceptual models to provide the necessary foundation for effective data analysis and comprehension. The peer-reviewed state-of-the-art research papers included in this book focus on continuous data models, such as is common in medical imaging or computational modeling. From the viewpoint of a visualization scientist, we typically collaborate with an application scientist or engineer who needs to visually explore or study an object which is given by a set of sample points, which originally may or may not have been connected by a mesh. At some point, one generally employs low-order piecewise polynomial approximationsof an object, using one or several dependent functions. In order to have an understanding of a higher-dimensional geometrical “object” or function, ef?cient algorithms supporting real-time analysis and manipulation (- tation, zooming) are needed. Often, the data represents 3D or even time-varying 3D phenomena (such as medical data), and the access to different layers (slices) and structures (the underlying topology) comprising such data is needed.

Turtle Geometry

Turtle Geometry PDF

Author: Harold Abelson

Publisher: MIT Press

Published: 1986-07-09

Total Pages: 502

ISBN-13: 9780262510370

DOWNLOAD EBOOK →

Turtle Geometry presents an innovative program of mathematical discovery that demonstrates how the effective use of personal computers can profoundly change the nature of a student's contact with mathematics. Using this book and a few simple computer programs, students can explore the properties of space by following an imaginary turtle across the screen. The concept of turtle geometry grew out of the Logo Group at MIT. Directed by Seymour Papert, author of Mindstorms, this group has done extensive work with preschool children, high school students and university undergraduates.