Filter by
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
Global Perspectives on Educational Innovations for Emergency Situations
This open access book focuses on making the transition from in-person, classroom education to other feasible alternative modes and methodologies to deliver education at all levels. The book presents and analyzes research questions to explore in this arena, including pedagogical issues relating to technological and infrastructure challenges, teacher professional development, issues of disparity,…
- Edition
- -
- ISBN/ISSN
- 9783030996345
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST …
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14720-8
- Collation
- -
- Series Title
- -
- Call Number
- -
A Combinatorial Theory of Possibility
David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach champion…
- Edition
- -
- ISBN/ISSN
- 9781139172226
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards an Arithmetical Logic The Arithmetical Foundations of Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40418-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Toward Predicate Approaches to Modality
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicate…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22557-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Touring Consumption
This book attempts to confront spatial, performative and cultural interrelations between tourism and social economic behavior by providing a critical platform for the articulation of touring consumption in our contemporary world. Tourism has become a significant area of scholarship especially given the industry’s product development opportunities on a global scale. However, the emphasis place…
- Edition
- -
- ISBN/ISSN
- 978-3-658-10019-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Topologie algébrique Chapitres 1 à 4
Ce livre des Éléments de mathématique est consacré à la Topologie algébrique. Les quatre premiers chapitres présentent la théorie des revêtements d'un espace topologique et du groupe de Poincaré. On construit le revêtement universel d'un espace connexe pointé délaçable et on établit l'équivalence de catégories entre revêtements de cet espace et actions du groupe de Poincaré. …
- Edition
- -
- ISBN/ISSN
- 978-3-662-49361-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography