الصفحة 1
الصفحة 1
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
High performance computing on vector systems 2007 ; Conference proceedings
The following book presents contributions from the 6th TERAFLOP Workshop which was hosted by Tohoku University in Sendai, Japan in Autumn 2006 and the 7th Workshop in Stuttgart which was held in spring 2007 in Stuttgart. Focus is layed on current applications and future requirements, as well as developments of next generation hardware architectures and installations. The papers presented in this book lay out the wide range of fields in which sustained performance can be achieved if engineering knowledge, numerical mathematics and computer science skills are brought together. With the advent of hybrid systems, the Teraflop workbench project will continue the support of leading edge computations for future applications.
Graph theory
Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its explosive growth in recent years is mainly due to its role as an essential structure underpinning modern applied mathematics – computer science, combinatorial optimization, and operations research in particular – but also to its increasing application in the more applied sciences. The versatility of graphs makes them indispensable tools in the design and analysis of communication networks, for instance. The primary aim of this book is to present a coherent introduction to the subject, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated, and a wealth of exercises - of varying levels of difficulty - are provided to help the reader master the techniques and reinforce their grasp of the material.
Finite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming. Contrary to similar texts on numerical methods and programming, this text has a much stronger focus on implementation and teaches testing and software engineering in particular.
Entropy, Search, Complexity
The present volume is a collection of survey papers in the fields of entropy, search and complexity. They summarize the latest developments in their respective areas.More than half of the papers belong to search theory which lies on the borderline of mathematics and computer science, information theory and combinatorics, respectively. Search theory has variegated applications, among others in bioinformatics. Some of these papers also have links to linear statistics and communicational complexity.
Advances in Medical Engineering
In this book, research and development trends of physics, engineering, mathematics and computer sciences in biomedical engineering are presented. Contributions from industry, clinics, universities and research labs with foci on medical imaging (CT, MRT, US, PET, SPECT etc.), medical image processing (segmentation, registration, visualization etc.), computer-assisted surgery (medical robotics, navigation), biomechanics (motion analysis, accident research, computer in sports, ergonomics etc.), biomedical optics (OCT, soft-tissue optics, optical monitoring etc.) and laser medicine (tissue ablation, gas analytics, topometry etc.) give insight to recent engineering, clinical and mathematical studies.
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability.
