This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
This book reveals how advances in computer science and human-computer interaction impact Computer-Supported Collaborative Learning (CSCL) environments. The underlying theme of the contributions is the
Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scientific disciplines. Both fields deeply cross fertilize
The present book contains extended versions of papers presented in the international Conference VIPIMAGE 2007 - ECCOMAS Thematic Conference on Computational Vision and Medical Image, held in Faculdad
Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer shoul
Intended for plant biologists with vast amounts of field data to sort and understand, and also for computer scientists interested in the tools and systems available for plant research, this text prese
In this book, a social dilemma with partner selection is introduced and studied with the methods of formal game theory, experimental economics and computer simulations. It allows exploration of simult
The vision of ubiquitous computing and ambient intelligence describes a world of technology which is present anywhere, anytime in the form of smart, sensible devices that communicate with each other a
This book constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007. Coverage includes: basic models in visual sciences, cortic
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Computers and Games, CG 2006, co-located with the 14th World Computer-Chess Championship and the 1
This book is for readers with backgrounds in science engineering who have experience in computer programming but who lack training in software engineering. It teaches object-oriented design patterns i
This book is a complete introduction to vector analysis, especially within the context of computer graphics. The author shows why vectors are useful and how it is possible to develop analytical skills
This book presents the amateur with fine examples of astronomical sketches and step-by-step tutorials in each medium, including pencil, pen and ink, chalks and pastels, painting and computer graphics
Practical Optimization: Algorithms and Engineering Applications is a hands-on treatment of the subject of optimization. A comprehensive set of problems and exercises makes the book suitable for use in
This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Advances in Computer Games, ACG 2005, held in Taipei, Taiwan, in September 2005 in conjunction wi
This book presents foundations and practical application of multi-objective optimization methods to Vehicle Design Problems, bolstered with an extensive collection of examples. Opening with a broad th
This book aims to de-mystify the jargon of webcams and computer processing and provides detailed hints and tips for imaging the Sun, Moon and planets with a webcam. It demonstrates how inexpensive te
This is the proceedings of the First European Conference on Computer Network Defence which took place in December 2005 at the University of Glamorgan in the UK. Contributions are drawn from participan
Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications focuses on discrete mathematics and combinatorial algorithms interacting with real world problems in computer science, operat
Practical Pathology Informatics introduces and demystifies a variety of topics in the broad discipline of pathology informatics with a focus on issues of particular relevance to the practicing anatomi
During the last few centuries, natural philosophers, and more recently vision scientists, have recognized that a fundamental problem in biological vision is that the sources underlying visual stimuli
What are the barriers in computer-mediated communication for cooperative learning and work? Based on empirical research, the chapters of this book offer different perspectives on the nature and causes
What are the barriers in computer-mediated communication for cooperative learning and work? Based on empirical research, the chapters of this book offer different perspectives on the nature and causes
This book reflects the move in Human Computer Interaction studies from standard usability concerns towards a wider set of problems to do with fun, enjoyment, aesthetics and the experience of use. Trad
Proceedings of the International Symposium on High Performance Computational Science and Engineering 2004 (IFIP World Computer Congress) is an essential reference for both academic and professional re
Broadband Satellite Communication Systems and the Challenges of Mobility is an essential reference for both academic and professional researchers in the field of telecommunications, computer networkin
Advanced Visual Quantum Mechanics is a systematic effort to investigate and to teach quantum mechanics with the aid of computer-generated animations. Although it is self-contained, this book is part
Over two hundred novel and innovative computer algebra worksheets or "recipes" will enable readers in engineering, physics, and mathematics to easily and rapidly solve and explore most problems they e
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures
This book introduces the geometry of 3-D vision, that is, the reconstruction of 3-D models of objects from a collection of 2-D images. It details the classic theory of two view geometry and shows that
This book introduces the geometry of 3-D vision, that is, the reconstruction of 3-D models of objects from a collection of 2-D images. It details the classic theory of two view geometry and shows that
This book really began in 1980 with our first microcomputer, an Apple II +. The great value of the Apple II + was that we could take the computer programs we had been building on mainframe and mini-co
This book constitutes the refereed proceedings of the 18th International Symposium on Computer and Information Sciences, ISCIS 2003, held in Antalya, Turkey in November 2003.The 135 revised papers pre
This book describes methods for designing and analyzing experiments conducted using computer code in lieu of a physical experiment. It discusses how to select the values of the factors at which to run
A textbook for a graduate course in computer simulation for students with a basic background in differential equations, numerical analysis, and FORTRAN programming. It explains how to model environmen
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
In this introduction to vision models and their use in image and video processing applications, prominent authors take on an engineering and signal processing approach. It is intended for an engineeri
"Visual Quantum Mechanics" uses the computer-generated animations found on the accompanying?material on?Springer Extras?to introduce, motivate, and illustrate the concepts explained in the book. While
This proceedings volume consists of papers presented at the Seventh International Workshop on Computer-Aided Scheduling of Pllblic Transport, which was held at th th the Massachusetts Institute of Tec
Asymptotic methods are of great importance for practical applications, especially in dealing with boundary value problems for small stochastic perturbations. This book deals with nonlinear dynamical s
