This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
Computer scientists explain a cryptographic technology in which the parties provide their inputs to a cryptographic protocol that is used to compute a pre-agreed function in such a manner that during
This accessible textbook presents an introduction to computer vision algorithms for industrially-relevant applications of X-ray testing. Features: introduces the mathematical background for monocular
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in theWorld Congress on Engineering and Computer Science 2014, held in San Franc
This monograph presents the challenges, vision and context to design smart learning objects (SLOs) through Computer Science (CS) education modelling and feature model transformations. It presents the
This compact history traces the computer industry from its origins in 1950s mainframes, through the establishment of standards beginning in 1965 and the introduction of personal computing in the 1980s
This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on Computer Science and Its Applications, CIIA 2015, held in Saida, Algeria, in May 2015. The 56 revised pa
The 2014 Asia-Pacific Conference on Computer Science and Applications was held in Shanghai, December 27-28, 2014. These CSAC-2014 proceedings include 105 selected papers, which focus not only on the r
The advancement of new technologies has greatly increased the impact of information systems on daily human life. As technology continues to rapidly progress, human-computer interaction is quickly beco
The seminal guide to performance analysis, with new information and essential adviceThe Art of Computer Systems Performance Analysis is the essential guide to practical performance analysis tools and
In the 1960s, a team of Stanford musicians, engineers, computer scientists, and psychologists used computing in an entirely novel way: to produce and manipulate sound and create the sonic basis of new
Although life continues to become increasingly embedded with interactive computing services that make our lives easier, human-computer interaction (HCI) has not been given the attention it deserves in
This book describes patterns of language and culture in human-computer interaction (HCI). Through numerous examples, it shows why these patterns matter and how to exploit them to design a better user
Taking as its point of departure the fundamental observation that games are both technical and symbolic, this collection investigates the multiple intersections between the study of computer games and
This book presents a world-class collection of Brain-Computer Music Interfacing (BCMI) tools. The text focuses on how these tools enable the extraction of meaningful control information from brain sig
"Although they are less widely known than other models, combinatorial maps are very powerful data structures and can be useful in many applications, including computer graphics and image processing. T
This book presents an interdisciplinary selection of cutting-edge research on RGB-D based computer vision. Features: discusses the calibration of color and depth cameras, the reduction of noise on dep
Many strong claims are made for the educational value of computer games, but there isa need for systematic examination of the research evidence that might support such claims. This bookfills that need
This book addresses the use of comparable corpora for computer-assisted translation. The first part of the book contains a state-of-the art of the techniques used for the extraction of bilingual lexic
As well as covering state-of-the-art approaches to computer hand gesture recognition, this work is a valuable primer for researchers aiming to move into the world of HCI. Written by experts, it shows
Computer-aided design (CAD) technology is essential for modern design and manufacture in the workshop. Whether you are new to using CAD or ready to try more advanced software, this title gives a thoro
This book reports on the latest research and developments in the field of brain-computer interfaces (BCIs). It introduces ten outstanding and innovative BCI projects, nominated as finalists for the BC
"In Probability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers, readers are able to grasp the concepts of probability and stochastic processes, and apply these
Economists can use computer algebra systems to manipulate symbolic models, derive numerical computations, and analyze empirical relationships among variables. Maxima is an open-source multi-platform c
The book investigates the rhetorical nature of scientific computer simulations, and it discusses the implications of those rhetorical strategies for how we understand, use and evaluate simulated evide
The goal of this volume is to summarize the state-of-the-art in the utilization of computer vision techniques in the diagnosis of skin cancer. Malignant melanoma is one of the most rapidly increasing
Few industries fit the description of high turbulence and high velocity better than the computer games industry. Relatively young, rapidly evolving, and frequently experiencing disruptive innovation,
Rather than showcase the success stories of computer design, Delete: A History of Vapourware creates a completely new narrative by investigating the machines that didn't make it. This fascinating book
This book provides readers with a comprehensive treatment of computer methods so that they can use them for teaching, research, and solution of a wide range of practical problems in geotechnical engin
This book provides the necessary tools for the evaluation of the interaction between the user who is disabled and the computer system that was designed to assist that person. It creates an evaluation
"This book brings together various research methodologies and trends in emerging areas of application of computer vision and image processing for those interested in the research developments of this
This book presents four mathematical essays that explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. It details the state of the
The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for
"This book examines the implications of computer-generated learning for curriculum design, epistemology, and pedagogy, exploring the ways these technologies transform the relationship between knowledg
"1 Book framework Purpose -- The purpose of this book is to introduce computer scientists to the field of forensic documents (FD), also known as questioned documents, and assist them with the design o
Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network progra
Computer Networks & Communications (NetCom) is the proceedings from the Fourth International Conference on Networks & Communications. This book covers theory, methodology and applications of c
Computer-Aided Control Systems Design: Practical Applications Using MATLABR and SimulinkR supplies a solid foundation in applied control to help you bridge the gap between control theory and its real-
A comprehensive guide to why major companies with a heritage in electronics failed to establish themselves as leaders in the computer industry. Uses case studies to analyze the efforts of GE, RCA, Eng
Steinhauser (high-speed dynamics, Ernst-Mach-Institute, EMI, Freiburg, Germany) presents a textbook for senior undergraduate majors in physics, engineering, or computer science, or for graduate studen
