Computers - Computer Science

This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises...

A comprehensive text and reference that covers all aspects of computer music, including digital audio, synthesis techniques, signal processing, musical input devices, performance software, editing systems, algorithmic composition, MIDI, synthesizer architecture, system interconnection, and psychoacoustics. The Computer Music Tutorial is a comprehensive text and...

Since its founding in 1989 by Terrence Sejnowski, Neural Computation has become the leading journal in the field. Foundations of Neural Computation collects, by topic, the most significant papers that have appeared in the journal over the past nine years. This volume of Foundations...

Gary William Flake develops in depth the simple idea that recurrent rules can produce rich and complicated behaviors.In this book Gary William Flake develops in depth the simple idea that recurrent rules can produce rich and complicated behaviors. Distinguishing "agents" (e.g., molecules, cells, animals,...

This supplement to Building Problem Solvers contains the Common Lisp code examples referenced throughout the text. The code is available on disk and can also be downloaded via ftp.Author: Kenneth D. Forbus, Johan De KleerISBN-10: 0262560712ISBN-13: 9780262560719Publisher: MIT PressLanguage: EnglishPublished: 12/03/1993Pages: 412Format: PaperbackWeight: 1.65lbsSize:...

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal of this book is to show the beauty and elegance of relational programming, which captures the...

A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it...

The untold history of women and computing: how pioneering women succeeded in a field shaped by gender biases.Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male "computer geek" seems...

How non-IT managers can turn IT from an expensive liability into a cost-effective competitive tool.Firms spend more on information technology (IT) than on all other capital assets combined. And yet despite this significant cash outlay, businesses often end up with IT that is uneconomical...

An updated, concise reference for the Java programming language, version 8.0, and essential parts of its class languages, offering more detail than a standard textbook. The third edition of Java Precisely provides a concise description of the Java programming language, version 8.0. It offers...

For nearly two decades, Kenneth Forbus and Johan de Kleer have accumulated a substantial body of knowledge about the principles and practice of creating problem solvers. In some cases they are the inventors of the ideas or techniques described, and in others, participants in...

Digital Halftoning addresses the problem of developing algorithms that best match the specific parameters of any target display device. It is the first significant study of the process of producing quality images on practical computer displays.Along with text and graphics, images are fast becoming...

Classic and cutting-edge writings on games, spanning nearly 50 years of game analysis and criticism, by game designers, game journalists, game fans, folklorists, sociologists, and media theorists.The Game Design Reader is a one-of-a-kind collection on game design and criticism, from classic scholarly essays to...

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example,...

The first book to present the common mathematical foundations of big data analysis across a range of applications and technologies.Today, the volume, velocity, and variety of data are increasing rapidly across a range of fields, including Internet search, healthcare, finance, social media, wireless devices,...

The author of Zero explains the scientific revolution that is transforming the way we understand our world Previously the domain of philosophers and linguists, information theory has now moved beyond the province of code breakers to become the crucial science of our time. In...

Artificial Intelligence for the Internet of Everything considers the foundations, metrics and applications of IoE systems. It covers whether devices and IoE systems should speak only to each other, to humans or to both. Further, the book explores how IoE systems affect targeted audiences...

Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.The first comprehensive, yet concise, clinical guide to the full spectrum of anemiasAnemias and Other Red Cell Disorders...

Network and System Security provides focused coverage of network and system security technologies. It explores practical solutions to a wide range of network and systems security issues. Chapters are authored by leading experts in the field and address the immediate and long-term challenges in...

Numerical Linear Algebra with Applications is designed for those who want to gain a practical knowledge of modern computational techniques for the numerical solution of linear algebra problems, using MATLAB as the vehicle for computation. The book contains all the material necessary for a...

Differential forms are a powerful mathematical technique to help students, researchers, and engineers solve problems in geometry and analysis, and their applications. They both unify and simplify results in concrete settings, and allow them to be clearly and effectively generalized to more abstract settings....

User research is global - yet despite its pervasiveness, practitioners are not all well equipped to work globally. What may have worked in Nigeria may not be accepted in Russia, may be done differently in Brazil, may partly work in China, and may completely...

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads...

Moderating Usability Tests provides insight and guidance for usability testing. To a large extent, successful usability testing depends on the skills of the person facilitating the test. However, most usability specialists still learn how to conduct tests through an apprentice system with little formal...

Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.A COMPREHENSIVE GUIDE TO THE DESIGN & ORGANIZATION OF MODERN COMPUTING SYSTEMSDigital Logic Design and Computer Organization with...

Ruby is a superb programming language used for a variety of activities such as developing desktop applications, static websites, computational services, and even automation systems. Mastering Ruby: A Beginner's Guide is a detailed guide for beginners to understand Ruby. This book discusses how to...

An intuitive, fully illustrated guide to Amazon Web Services for the visually oriented In The Illustrated AWS Cloud: A Guide to Help You On Your Cloud Practitioner Journey, a team of veteran tech educators delivers a visual and entertaining guide to Amazon Web Services...

C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C. Advanced...

Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, classifications, genetic...

This one hundred page book focuses exclusively on how you can best use the ASP.NET MVC 4 Framework to build world-class REST services using the Web API. It sets aside much of what the ASP.NET MVC Framework can do, and focuses exclusively on how...

Pro Android 5 shows you how to build real-world and fun mobile apps using the Android 5 SDK. This book updates the best-selling Pro Android and covers everything from the fundamentals of building apps for smartphones, tablets, and embedded devices to advanced concepts such...

So you have a great game idea for iPhone or iPad, but Objective-C just seems a bit daunting. What are your alternatives? The App Store is very picky about languages, but there is hope: Lua is a versatile, lightweight, fast, and easy to learn...

In Pro WF 4.5, you'll find the insight and direction for understanding how to build workflows using WF 4.5 and host them as long-running services using Microsoft's Windows Server, for on-premises work, and Azure AppFabric, for hosting workflows in the cloud. With the concept...

Pro SharePoint 2010 Administration is a practical guide to SharePoint 2010 for intermediate to advanced SharePoint administrators and power users, covering the out-of-the-box feature set and capabilities of Microsoft's collaboration and business productivity platform. SharePoint 2010 is an incredibly complex product, with many moving...

If you thought your phone was smart, you should see the new Android tablets! Based on Android 3 Honeycomb, these tablets provide all the computing power you'll need on a device light enough to carry wherever you go. Get the most out of your...

Pro DNS and BIND 10 guides you through the challenging array of features surrounding DNS with a special focus on the latest release of BIND, the world's most popular DNS implementation. This book unravels the mysteries of DNS, offering insight into origins, evolution, and...

"Platform Based Design at the Electronic System Level" presents a multi-faceted view of the set of problems that the electronic industry currently faces in the development and integration of complex heterogeneous systems (including both hardware and software components). It analyses and proposes solutions related...

This book constitutes the refereed proceedings of the 19th Annual RECOMB Satellite Workshop on Comparative Genomics, RECOMB-CG which took place in La Jolla, USA, during May 20-21, 2022. The 18 full papers included in this book were carefully reviewed and selected from 28 submissions....

Learn how to leverage feature stores to make the most of your machine learning modelsKey Features: Understand the significance of feature stores in the ML life cycle Discover how features can be shared, discovered, and re-used Learn to make features available for online models...

This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and...

This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a collaborative work between specialists in cryptography, distributed systems, formal languages, and economics, and addresses hot...

Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context...

A quorum system is a collection of subsets of nodes, called quorums, with the property that each pair of quorums have a non-empty intersection. Quorum systems are the key mathematical abstraction for ensuring consistency in fault-tolerant and highly available distributed computing. Critical for many...

Sight is the dominant sense of mankind to apprehend the world at the earth scale and beyond the frontiers of the infinite, from the nanometer to the incommensurable. Primarily based on sunlight and natural and artificial light sources, optics has been the major companion...

Intelligent Systems for Sustainable Development of Healthcare Industry.- Fruit Fly Damage Control- A Comprehensive Solution for Sustainable Development of Gherkin Industry.- Uprising of EV's: Charging the Future with Demystified Analytics and Sustainable Development.- Assessing Intelligence Text Classification Techniques.- Automated Traffic Rule Violation Detection with...

A bestseller in its French edition, this book is original in its construction and its success in the French market demonstrates its appeal. It is based on three principles: (1) An organization of the chapters by families of algorithms: exhaustive search, divide and conquer,...

This book explores the relationships between artificial intelligence (AI) and education in China. It examines educational activity in the context of profound technological interventions, far-reaching national policy, and multifaceted cultural settings. By standing at the intersection of three foundational topics - AI and the...

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the...

Computer science is increasingly becoming an essential 21st century skill. As school systems around the world recognize the importance of computer science, demand for teachers who have the knowledge and skills to deliver computer science instruction is rapidly growing. Yet a number of recent...

Software Security: Concepts & Practices is designed as a textbook and explores fundamental security theories that govern common software security technical issues. It focuses on the practical programming materials that will teach readers how to implement security solutions using the most popular software packages....