Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Eye Movements
Eye-movement recording has become the method of choice in a wide variety of disciplines investigating how the mind and brain work. This volume brings together recent, high-quality eye-movement research from many different disciplines and, in doing so, presents a comprehensive overview of the state-of-the-art in eye-movement research. Sections include the history of eye-movement research, physiological and clinical studies of eye movements, transsaccadic integration, computational modelling of eye movements, reading, spoken language processing, attention and scene perception, and eye-movements in natural environments. - Includes recent research from a variety of disciplines - Divided into sections based on topic areas, with an overview chapter beginning each section - Through the study of eye movements we can learn about the human mind, and eye movement recording has become the method of choice in many disciplines
Satisfiability Problem: Theory and Applications
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the sat problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algorithmic study. Major topics covered in the book include practical and industial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.
Automatic Sequences
Uniting dozens of seemingly disparate results from different fields, this book combines concepts from mathematics and computer science to present the first integrated treatment of sequences generated by 'finite automata'. The authors apply the theory to the study of automatic sequences and their generalizations, such as Sturmian words and k-regular sequences. And further, they provide applications to number theory (particularly to formal power series and transcendence in finite characteristic), physics, computer graphics, and music. Starting from first principles wherever feasible, basic results from combinatorics on words, numeration systems, and models of computation are discussed. Thus this book is suitable for graduate students or advanced undergraduates, as well as for mature researchers wishing to know more about this fascinating subject. Results are presented from first principles wherever feasible, and the book is supplemented by a collection of 460 exercises, 85 open problems, and over 1600 citations to the literature.
An Introduction to Data Structures and Algorithms
Data structures and algorithms are presented at the college level in a highly accessible format that presents material with one-page displays in a way that will appeal to both teachers and students. The thirteen chapters cover: Models of Computation, Lists, Induction and Recursion, Trees, Algorithm Design, Hashing, Heaps, Balanced Trees, Sets Over a Small Universe, Graphs, Strings, Discrete Fourier Transform, Parallel Computation. Key features: Complicated concepts are expressed clearly in a single page with minimal notation and without the "clutter" of the syntax of a particular programming language; algorithms are presented with self-explanatory "pseudo-code." * Chapters 1-4 focus on eleme...
Combinatorial Optimization
From the reviews: "About 30 years ago, when I was a student, the first book on combinatorial optimization came out referred to as "the Lawler" simply. I think that now, with this volume Springer has landed a coup: "The Schrijver". The box is offered for less than 90.- EURO, which to my opinion is one of the best deals after the introduction of this currency." OR-Spectrum
Situated Communication
This volume presents important results of the Collaborative Research Center (Sonderforschungsbereich) "Situated Artificial Communicators," which was funded by grants from the German Research Foundation (Deutsche Forschungsgemeinschaft) for more than twelve years. The contributions focus on different aspects of human-human and human-machine interaction in situations which closely model everyday workplace demands. The authors are linguists, psycho- und neurolinguists, psychologists and computer scientists at Bielefeld University. They jointly tackle questions of information processing in task-oriented communication. The role of key notions such as context, integration (of multimodal information), reference, coherence, and robustness is explored in great depth. Some remarkable findings and recurrent phenomena reveal that communication is, to a large extent, a matter of joint activity. The interdisciplinary approach integrates theory, description and experimentation with simulation and evaluation.
Eye Guidance in Reading and Scene Perception
The distinguished contributors to this volume have been set the problem of describing how we know where to move our eyes. There is a great deal of current interest in the use of eye movement recordings to investigate various mental processes. The common theme is that variations in eye movements indicate variations in the processing of what is being perceived, whether in reading, driving or scene perception. However, a number of problems of interpretation are now emerging, and this edited volume sets out to address these problems. The book investigates controversies concerning the variations in eye movements associated with reading ability, concerning the extent to which text is used by the g...
Active Vision
More than one third of the human brain is devoted to the processes of seeing - vision is after all the main way in which we gather information about the world. But human vision is a dynamic process during which the eyes continually sample the environment. Where most books on vision consider it as a passive activity, this book is unique in focusing on vision as an 'active' process. It goes beyond most accounts of vision where the focus is on seeing, to provide an integrated account of seeing AND looking. The book starts by pointing out the weaknesses in our traditional approaches to vision and the reason we need this new approach. It then gives a thorough description of basic details of the v...
Graph Drawing
The combination of fast, low-latency networks and high-performance, distributed tools for mathematical software has resulted in widespread, affordable scientific computing facilities. Practitioners working in the fields of computer communication networks, distributed computing, computational algebra and numerical analysis have been brought together to contribute to this volume and explore the emerging distributed and parallel technology in a scientific environment. This collection includes surveys and original research on both software infrastructure for parallel applications and hardware and architecture infrastructure. Among the topics covered are switch-based high-speed networks, ATM over local and wide area networks, network performance, application support, finite element methods, eigenvalue problems, invariant subspace decomposition, QR factorization and Todd-Coxseter coset enumeration.
Computing and Combinatorics
This book constitutes the refereed proceedings of the 17th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011. The 54 revised full papers presented were carefully reviewed and selected from 136 submissions. Topics covered are algorithms and data structures; algorithmic game theory and online algorithms; automata, languages, logic, and computability; combinatorics related to algorithms and complexity; complexity theory; computational learning theory and knowledge discovery; cryptography, reliability and security, and database theory; computational biology and bioinformatics; computational algebra, geometry, and number theory; graph drawing and information visualization; graph theory, communication networks, and optimization; parallel and distributed computing.
