Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Database Annotation in Molecular Biology: Principles and Practice
Database Annotation in Molecular Biology: Principles and Practice
Two factors dominate current molecular biology: the amount of raw data is increasing very rapidly and successful applications in biomedical research require carefully curated and annotated databases.  The quality of the data - especially nucleic acid sequences - is satisfactory; however, annotations depend on features inferred from the data...
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
Keras Reinforcement Learning Projects: 9 projects exploring popular reinforcement learning techniques to build self-learning agents
Keras Reinforcement Learning Projects: 9 projects exploring popular reinforcement learning techniques to build self-learning agents

A practical guide to mastering reinforcement learning algorithms using Keras

Key Features

  • Build projects across robotics, gaming, and finance fields, putting reinforcement learning (RL) into action
  • Get to grips with Keras and practice on real-world unstructured...
Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence)
Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence)
"In recent years, comprehensive texts have been written for several of the other major areas of Artificial Intelligence, including machine learning, natural-language processing, and constraint-satisfaction processing, but until now, the field of planning has been devoid of such a resource, despite the considerable number of advances in and the...
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Submarine Mass Movements and their Consequences: 7th International Symposium
Submarine Mass Movements and their Consequences: 7th International Symposium

This book is a comprehensive collection of state-of-the-art studies of seafloor slope instability and their societal implications. The volume captures the most recent and exciting scientific progress made in this research field.

As the world’s climate and energy needs change, the conditions under which slope instability...

Information Retrieval for Music and Motion
Information Retrieval for Music and Motion
A general scenario that has attracted a lot of attention for multimedia information retrieval is based on the query-by-example paradigm: retrieve all documents from a database containing parts or aspects similar to a given data fragment. However, multimedia objects, even though they are similar from a structural or semantic viewpoint, often reveal...
Compressed Video Communications
Compressed Video Communications
Compressed Video Communications addresses the compression and transmission of coded video streams over mobile IP networks. By analysing a broad spectrum of compression techniques and error resilience algorithms this book provides realistic solutions to the problems of quality degradation and transmission error.

Features include:

...
Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11)
Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11)
This self-contained monograph covers the foundations of what is currently known about automata networks, giving the reader sufficient theoretical background to be at the forefront of research in many related areas. Alexandra Kireeva, Mathematical Reviews

Algebraic Theory of Automata Networks investigates automata networks as
...
Semantic Models for Multimedia Database Searching and Browsing (Advances in Database Systems)
Semantic Models for Multimedia Database Searching and Browsing (Advances in Database Systems)
Semantic Models for Multimedia Database Searching and Browsing begins with the introduction of multimedia information applications, the need for the development of the multimedia database management systems (MDBMSs), and the important issues and challenges of multimedia systems. The temporal relations, the spatial relations, the spatio-temporal...
Dynamic and Mobile GIS: Investigating Changes in Space and Time (Innovations in Gis)
Dynamic and Mobile GIS: Investigating Changes in Space and Time (Innovations in Gis)
Like Stan Openshaw (1998) in the foreword to the ‘Innovations in GIS 5’, I have never been asked to write a foreword before, and also like him I am concerned that after you read this one (and who reads forewords anyway?) I may never be invited again. But, as readers of this foreword will be probably be sparse and perhaps limited to the...
Spatial Databases: Technologies, Techniques and Trends
Spatial Databases: Technologies, Techniques and Trends
Spatial database systems has been an active area of research over the past 20 years. A large number of research efforts have appeared in literature aimed at effective modelling of spatial data and efficient processing of spatial queries. This book investigates several aspects of a spatial database system, and includes recent research efforts in...
unlimited object storage image
Result Page: 16 15 14 13 12 11 10 9 8 7 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy