Kategoria BISAC: Computers >> Artificial Intelligence - General

On-Road Intelligent Vehicles: Motion Planning for Intelligent Transportation Systems deals with the technology of autonomous vehicles, with a special focus on the navigation and planning aspects, presenting the information in three parts. Part One deals with the use of different sensors to perceive the environment, thereafter mapping the multi-domain senses to make a map of the operational scenario, including topics such as proximity sensors which give distances to obstacles, vision cameras, and computer vision techniques that may be used to pre-process the image, extract relevant...

This book presents a history of shock compression science, including development of experimental, material modeling, and hydrodynamics code technologies over the past six decades at Sandia National Laboratories. The book is organized into a discussion of major accomplishments by decade with over 900 references, followed by a unique collection of 45 personal recollections detailing the trials, tribulations, and successes of building a world-class organization in the field. It explains some of the challenges researchers faced and the gratification they experienced when a discovery was made....

This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016.

The 21 full papers presented together with 8 short papers were carefully reviewed and selected from 51 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in combinatorial...

Organizations invest incredible amounts of time and money obtaining and then storing big data in data stores called data lakes. But how many of these organizations can actually get the data back out in a useable form? Very few can turn the data lake into an information gold mine. Most wind up with garbage dumps.

Data Lake Architecture will explain how to build a useful data lake, where data scientists and data analysts can solve business challenges and identify new business opportunities. Learn how to structure data lakes as well as analog, application, and text-based data ponds to...

With leading experts from a vast array of domains from user modeling, mobile sensing and information retrieval...

The 47 revised full papers presented together with three invited talks were carefully reviewed and selected from 204 submissions. This program was completed by a demonstration and poster session, in which researchers had the chance to present their latest results and advances in the form of live demos. In addition, the PhD Symposium program included 10 contributions, selected out of 21 submissions.

The core tracks of the research conference were complemented with new tracks focusing on linked data; machine learning; mobile web, sensors and semantic streams; natural language...

This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions. The fundamental principles are macro expansion, tree covering, DAG covering, and graph covering. The machine instruction characteristics introduced are single-output, multi-output, disjoint-output, inter-block, and interdependent machine...

This book explores how dynamic changes in products' sensory features can be used to convey information to the user in an effective and engaging way. The aim is to supply the reader with a clear understanding of an important emerging area of research and practice in product design, referred to as dynamic products, which is opening up new possibilities for the integration of product design with digital and smart technologies and offering an alternative to the use of digital interfaces. Dynamic products are artifacts displaying sensory characteristics - visual, tactile, auditory, or olfactory...

This timely volume provides a review of the state-of-the-art frameworks and methodologies for connecting diverse objects and devices according to the vision for an Internet of Things (IoT). A specific focus is placed on the communication, security, and privacy aspects of device connectivity in distributed environments. Insights and case studies are provided by an authoritative selection of contributors of international repute into the latest research advances and practical approaches with respect to the connectivity of heterogeneous smart and sensory devices.

This book constitutes the revised selected papers of the 10th Italian Workshop on Advances in Artificial Life, Evolutionary Computation and Systems Chemistry, WIVACE 2015, held at Bari, Italy, in September 2015.

The 18 papers presented have been thoroughly reviewed and selected from 45 submissions. They cover the following topics: evolutionary computation, bioinspired algorithms, genetic algorithms, bioinformatics and computational biology, modeling and simulation of artificial and biological systems, complex systems, synthetic and systems biology, systems chemistry.

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.

The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.

This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs. The volume unites multiple subject areas within sustainability, enabling the techniques and philosophy in the chapters to be applied to research areas in environmental science, plant sciences, energy, biodiversity and conservation. The chapters from expert contributors cover topics such as mathematical modelling tools used to monitor diversity of plant species, and the stability of ecosystem services such as...