Search results

The book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion of possible definitions of the concept of curve, proving in particular the classification of 1-dimensional manifolds. We then present the classical local theory of parametrized plane and space curves (curves in n-dimensional space are discussed in the complementary material): curvature, torsion, Frenet’s formulas and the fundamental theorem of the local theory of cur...

Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to t...

DLT 2001 was the ?fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc.;ef?cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency. DLT 2001 was held at Technische Universitat .. Wien from July 16 to July 21, 2001. The Organizin...

Thoroughly revised and updated, the new Second Edition of Neville Robbins' Beginning Number Theory includes all of the major topics covered in a classic Number Theory course and blends in numerous applications and specialized treatments of number theory, including Cryptology, Fibonacci numbers, and Computational Number Theory. The text strikes a balance between traditional and algorithmic approaches to elementary number theory and is supported with numerous exercises, applications, and case stud...

Emerging Standards for Enhanced Publications and Repository Technology serves as a technology watch on the rapidly evolving world of digital publication. It provides an up-to-date overview of technical issues, underlying the development of universally accessible publications, their elemental components and linked information. More specifically it deals with questions as how to bring together the communities of the Current Research Information Systems (CRIS) and the Common European Research Infor...

Computational science is a quickly emerging field at the intersection of the sciences, computer science, and mathematics because much scientific investigation now involves computing as well as theory and experiment. However, limited educational materials exist in this field. "Introduction to Computational Science" fills this void with a flexible, readable textbook that assumes only a background in high school algebra and enables instructors to follow tailored pathways through the material. It is...

The ability to learn concepts lies at the very core of human cognition, enabling us to efficiently classify, organize, identify, and store complex information. In view of the basic role that concepts play in our everyday physical and mental lives, the fields of cognitive science and psychology face three long standing challenges: discovering the laws that govern concept learning and categorization behavior in organisms, showing how they inform other areas of cognitive research, and describing th...

This study focuses equally on microcomputers and mainframes. Assuming that database management systems are likely to be a priority with managers, the authors of this text include consistent and focused coverage of DBMSs throughout the text as well as in selected chapters. The text has been designed as a reference work, with chapter outlines, self-tests and review questions.

System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has become the bottleneck in the design of electronic systems, including both hardware and software, in several major industrial fields, including telecommunications, automotive and aerospace engineering. The major difficulty with the subject is that it demands contributions from several research fields, including system specification, system architecture, ha...

This book provides a broad coverage of many advanced concepts in the field of information technology. It is divided into sections covering computing, systems, robotics, cognitive science and human-computer interaction. The material is presented in a way such that little background is necessary for its understanding, yet current and future trends are indicated. Much of the work is presented by researchers at the forefront of the individual areas covered, and includes many practical examples taken...

This volume addresses challenges and solutions in transport and mobility of people and goods with respect to environment, safety, security and socio-economics issues, exploring advanced computational research work and the latest innovations in transport. This book brings together lectures presented at the ECCOMAS Thematic CM3 Conference on Transport held in Jyvaskyla, Finland, 25-27 May 2015. It is divided into three parts, I: Reviews and Perspective, II: Computational Methods and Models and II...

Created as a top-secret outpost on a desolate mesa in the New Mexico desert-exclusively for the purpose of assembling the world's first atomic weapon-Los Alamos was transformed during the Cold War into a high-powered science complex and full-blown "company town," with a population of 20,000, covering 43 square miles, including schools, stores, churches, even a private ski slope. Los Alamos is a world unto itself, rife with contradictions, haunted by its history, yet bustling with an astonishing...