Foundations of probabilistic programming, Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Автор: Riguzzi Fabrizio
Название: Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning
ISBN: 8770220182 ISBN-13(EAN): 9788770220187
Издательство: Taylor&Francis
Рейтинг:
Цена: 93910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The integration of logic and probability combines the capability of the first to represent complex relations among entities with the capability of the latter to model uncertainty over attributes and relations. Logic programming provides a Turing complete language based on logic and thus represent an excellent candidate for the integration.Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. One of most successful approaches to Probabilistic Logic Programming is the Distribution Semantics, where a probabilistic logic program defines a probability distribution over normal logic programs and the probability of a ground query is then obtained from the joint distribution of the query and the programs. Foundations of Probabilistic Logic Programming aims at providing an overview of the field of Probabilistic Logic Programming, with a special emphasis on languages under the Distribution Semantics. The book presents the main ideas for semantics, inference and learning and highlights connections between the methods.Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.

Автор: Billimoria Kaiwan
Название: Hands-On System Programming with Linux
ISBN: 1788998472 ISBN-13(EAN): 9781788998475
Издательство: Неизвестно
Цена: 67430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Twenty five years ago, as often happens in our industry, pundits laughed at and called Linux a joke. To say that view has changed is a massive understatement. This book will cement for you both the conceptual `why` and the practical `how` of systems programming on Linux, and covers Linux systems programming on the latest 4.x kernels.

Автор: Winkle Lewis Van
Название: Hands-On Network Programming with C
ISBN: 1789349869 ISBN-13(EAN): 9781789349863
Издательство: Неизвестно
Рейтинг:
Цена: 57610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Network programming, a challenging topic in C, is made understandable through careful exposition of socket programming APIs. Keeping up with the current trends, you will gain an insight into web programming for IoT. Finally, you will learn how to monitor the network, troubleshoot problems, implement security, and understand best practices.

Автор: Rina Dechter
Название: Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms
ISBN: 1681734923 ISBN-13(EAN): 9781681734927
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 93330.00 T
Наличие на складе: Нет в наличии.
Описание: Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and learning, diagnosis and prediction, design, hardware and software verification, and bioinformatics. These problems can be stated as the formal tasks of constraint satisfaction and satisfiability, combinatorial optimization, and probabilistic inference. It is well known that the tasks are computationally hard, but research during the past three decades has yielded a variety of principles and techniques that significantly advanced the state of the art. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph. We present inference-based, message-passing schemes (e.g., variable-elimination) and search-based, conditioning schemes (e.g., cycle-cutset conditioning and AND/OR search). Each class possesses distinguished characteristics and in particular has different time vs. space behavior. We emphasize the dependence of both schemes on few graph parameters such as the treewidth, cycle-cutset, and (the pseudo-tree) height. The new edition includes the notion of influence diagrams, which focus on sequential decision making under uncertainty. We believe the principles outlined in the book would serve well in moving forward to approximation and anytime-based schemes. The target audience of this book is researchers and students in the artificial intelligence and machine learning area, and beyond.

Автор: Rina Dechter
Название: Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms
ISBN: 1681734907 ISBN-13(EAN): 9781681734903
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 72070.00 T
Наличие на складе: Нет в наличии.
Описание: Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and learning, diagnosis and prediction, design, hardware and software verification, and bioinformatics. These problems can be stated as the formal tasks of constraint satisfaction and satisfiability, combinatorial optimization, and probabilistic inference. It is well known that the tasks are computationally hard, but research during the past three decades has yielded a variety of principles and techniques that significantly advanced the state of the art. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph. We present inference-based, message-passing schemes (e.g., variable-elimination) and search-based, conditioning schemes (e.g., cycle-cutset conditioning and AND/OR search). Each class possesses distinguished characteristics and in particular has different time vs. space behavior. We emphasize the dependence of both schemes on few graph parameters such as the treewidth, cycle-cutset, and (the pseudo-tree) height. The new edition includes the notion of influence diagrams, which focus on sequential decision making under uncertainty. We believe the principles outlined in the book would serve well in moving forward to approximation and anytime-based schemes. The target audience of this book is researchers and students in the artificial intelligence and machine learning area, and beyond.

Автор: Harper
Название: Practical Foundations for Programming Languages
ISBN: 1107150302 ISBN-13(EAN): 9781107150300
Издательство: Cambridge Academ
Рейтинг:
Цена: 66520.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.

Автор: Ahmed
Название: Foundations of Software Engineering
ISBN: 1498737595 ISBN-13(EAN): 9781498737593
Издательство: Taylor&Francis
Рейтинг:
Цена: 81650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.

Автор: Kent D. Lee
Название: Foundations of Programming Languages
ISBN: 3319707892 ISBN-13(EAN): 9783319707891
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog;

Автор: Jan Newmarch
Название: Foundations of Jini 2 Programming
ISBN: 1430211830 ISBN-13(EAN): 9781430211839
Издательство: Springer
Рейтинг:
Цена: 43700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.

Автор: Michael G. Main; Austin C. Melton; Michael W. Misl
Название: Mathematical Foundations of Programming Semantics
ISBN: 0387973753 ISBN-13(EAN): 9780387973753
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jan Newmarch
Название: Foundations of Jini 2 Programming
ISBN: 1590597168 ISBN-13(EAN): 9781590597163
Издательство: Springer
Рейтинг:
Цена: 43700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.

Автор: Steffen H?lldobler
Название: Foundations of Equational Logic Programming
ISBN: 354051533X ISBN-13(EAN): 9783540515333
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.