Etude et réalisation d'un système de programmation logique par contraintes abstraites multidomaines PDF Download

Author: Sylvain Laduguie
Publisher:
ISBN:
Category :
Languages : fr
Pages : 172

View

Book Description
Nous proposons dans cette thèse une nouvelle approche des systèmes de programmation logique avec contraintes. Son principe est de fournir à l'utilisateur des traits de langage de haut niveau d'abstraction, afin de lui permettre d'exprimer ses problèmes de manière simple et naturelle, dans un environnement proche de son univers de discours. A partir d'éléments de base (entiers, booléens, réels, ...), il est possible de définir de nouvelles classes d'objets, de plus en plus complexes, et les relations entre ces objets. Ces classes sont regroupées en librairies dont l'utilisateur peut disposer pour modéliser son problème. Une fois définie, la modélisation abstraite d'un problème est ensuite soumise à des transformations, dont le but est de déterminer un ensemble équivalent de contraintes de base exploitables par les méthodes classiques de résolution. Cette approche a été validée par le développement d'un système travaillant sur les entiers et les booléens.

Author: Sylvain Laduguie
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Julien Tierny
Publisher: Springer
ISBN: 3319715070
Category : Mathematics
Languages : en
Pages : 158

View

Book Description
Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction to topological methods for the analysis and visualization of scientific data. Theoretical concepts are presented in a painstaking but intuitive manner, with numerous high-quality color illustrations. Key algorithms for the computation and simplification of topological data representations are described in detail, and their application is carefully demonstrated in a chapter dedicated to concrete use cases. With its fine balance between theory and practice, "Topological Data Analysis for Scientific Visualization" constitutes an appealing introduction to the increasingly important topic of topological data analysis for lecturers, students and researchers.

Author: Robert Trappl
Publisher: Springer
ISBN: 3319215485
Category : Computers
Languages : en
Pages : 211

View

Book Description
This book will help researchers and engineers in the design of ethical systems for robots, addressing the philosophical questions that arise and exploring modern applications such as assistive robots and self-driving cars. The contributing authors are among the leading academic and industrial researchers on this topic and the book will be of value to researchers, graduate students and practitioners engaged with robot design, artificial intelligence and ethics.

Author: Jan C. Aurich
Publisher: Trans Tech Publications Ltd
ISBN: 3035731861
Category : Technology & Engineering
Languages : en
Pages : 274

View

Book Description
The 1st Conference on Physical Modeling for Virtual Manufacturing Systems and Processes is the result of the International Research Training Group (IRTG) 2057 "Physical Modeling for Virtual Manufacturing Systems and Processes", funded by the German Research Foundation (DFG). The IRTG began on 01 July 2014. Partner University of the University of Kaiserslautern, is the University of California, with its locations in Berkeley and Davis. At the conference the progress and the results of the first cohort of PhD students was presented. The conference was complemented by talks of international guest speakers from computer science and manufacturing engineering. The proceedings contain 22 peer-reviewed papers on Physical Modeling for Virtual Manufacturing Systems and Processes.

Author: Raphael Couturier
Publisher: CRC Press
ISBN: 1466571640
Category : Computers
Languages : en
Pages : 496

View

Book Description
Many of today's complex scientific applications now require a vast amount of computational power. General purpose graphics processing units (GPGPUs) enable researchers in a variety of fields to benefit from the computational power of all the cores available inside graphics cards.Understand the Benefits of Using GPUs for Many Scientific Applications

Author: Dongming Wang
Publisher: Springer Science & Business Media
ISBN: 3764379839
Category : Mathematics
Languages : en
Pages : 391

View

Book Description
The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration and interaction of symbolic and numeric computation.

Author: Carl Hewitt
Publisher:
ISBN: 9781848901599
Category : Computers
Languages : en
Pages : 614

View

Book Description
Inconsistency robustness is information system performance in the face of continually pervasive inconsistencies---a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination attempting to sweep them under the rug. Inconsistency robustness is a both an observed phenomenon and a desired feature: Inconsistency Robustness is an observed phenomenon because large information-systems are required to operate in an environment of pervasive inconsistency. Inconsistency Robustness is a desired feature because we need to improve the performance of large information system. This volume has revised versions of refereed articles and panel summaries from the first two International Symposia on Inconsistency Robustness conducted under the auspices of the International Society for Inconsistency Robustness (iRobust http: //irobust.org). The articles are broadly based on theory and practice, addressing fundamental issues in inconsistency robustness. The field of Inconsistency Robustness aims to provide practical rigorous foundations for computer information systems dealing with pervasively inconsistent information."

Author: Alicia Dickenstein
Publisher: Springer Science & Business Media
ISBN: 3540243267
Category : Computers
Languages : en
Pages : 433

View

Book Description
This book provides a general introduction to modern mathematical aspects in computing with multivariate polynomials and in solving algebraic systems. It presents the state of the art in several symbolic, numeric, and symbolic-numeric techniques, including effective and algorithmic methods in algebraic geometry and computational algebra, complexity issues, and applications ranging from statistics and geometric modelling to robotics and vision. Graduate students, as well as researchers in related areas, will find an excellent introduction to currently interesting topics. These cover Groebner and border bases, multivariate resultants, residues, primary decomposition, multivariate polynomial factorization, homotopy continuation, complexity issues, and their applications.

Author: Hoon Hong
Publisher: Springer
ISBN: 9783662441985
Category : Computers
Languages : en
Pages : 735

View

Book Description
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.