Filter
(found 5351 products)
Book cover image
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of ...
Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: main technical track; applications track; CP and data science; CP and music; CP and operations research; CP, optimization and power system management; multiagent and parallel CP; and testing and verification.
https://magrudy-assets.storage.googleapis.com/9783319983332.jpg
125.990000 USD

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018. The 23 full, 6 short papers and 2 tutorials presented in this volume were carefully reviewed and selected from 37 submissions. The conference is ...
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018. The 23 full, 6 short papers and 2 tutorials presented in this volume were carefully reviewed and selected from 37 submissions. The conference is dedicated to the management of large amounts of complex, uncertain, incomplete, or inconsistent information. New approaches have been developed on imprecise probabilities, fuzzy set theory, rough set theory, ordinal uncertainty representations, or even purely qualitative models.
https://magrudy-assets.storage.googleapis.com/9783030004606.jpg
83.990000 USD

Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and ...
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and Rule Systems).The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.
https://magrudy-assets.storage.googleapis.com/9783319999050.jpg
83.990000 USD

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is ...
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
https://magrudy-assets.storage.googleapis.com/9783319999326.jpg
62.990000 USD

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected ...
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
https://magrudy-assets.storage.googleapis.com/9783030003586.jpg
73.490000 USD

Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered ...
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation.
https://magrudy-assets.storage.googleapis.com/9783030008550.jpg
94.490000 USD

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of ...
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications.
https://magrudy-assets.storage.googleapis.com/9783319998398.jpg
73.490000 USD

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, held in Porto, Portugal, in September 2018. The 51 full papers, 17 short papers, and 13 poster and tutorial papers presented in this volume were carefully reviewed and selected from 81 ...
Digital Libraries for Open Knowledge: 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, held in Porto, Portugal, in September 2018. The 51 full papers, 17 short papers, and 13 poster and tutorial papers presented in this volume were carefully reviewed and selected from 81 submissions. The general theme of TPDL 2018 was Digital Libraries for Open Knowledge. The papers present a wide range of the following topics: Metadata, Entity Disambiguation, Data Management, Scholarly Communication, Digital Humanities, User Interaction, Resources, Information Extraction, Information Retrieval, Recommendation.
https://magrudy-assets.storage.googleapis.com/9783030000653.jpg
83.990000 USD

Digital Libraries for Open Knowledge: 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings

Paperback / softback
Book cover image
This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the ages thought about mathematics. This includes both thinkers who recognized the ...
The Philosophers and Mathematics: Festschrift for Roshdi Rashed
This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the ages thought about mathematics. This includes both thinkers who recognized the relevance of mathematics to their own work as well as those who chose to completely ignore its many achievements. The essays offer insight into the role that mathematics played in the formation of each included philosopher's doctrine as well as the impact its remarkable expansion had on the philosophical systems each erected. Conversely, the authors also highlight the ways that philosophy contributed to the growth and transformation of mathematics. Throughout, significant historical examples help to illustrate these points in a vivid way. Mathematics has often been a favored interlocutor of philosophers and a major source of inspiration. This book is the outcome of an international conference held in honor of Roshdi Rashed, a renowned historian of mathematics. It provides researchers, students, and interested readers with remarkable insights into the history of an important relationship throughout the ages.
https://magrudy-assets.storage.googleapis.com/9783319937328.jpg
125.990000 USD

The Philosophers and Mathematics: Festschrift for Roshdi Rashed

Hardback
Book cover image
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. ...
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.
https://magrudy-assets.storage.googleapis.com/9783319911489.jpg
94.490000 USD

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level

by Nicolas Clerbout, Ansten Klev, Zoe McConaughey, Shahid Rahman
Hardback
Book cover image
This volume contains lecture notes of the 14th Reasoning Web Summer School (RW 2018), held in Esch-sur-Alzette, Luxembourg, in September 2018. The research areas of Semantic Web, Linked Data, and Knowledge Graphs have recently received a lot of attention in academia and industry. Since its inception in 2001, the Semantic ...
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability: 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures
This volume contains lecture notes of the 14th Reasoning Web Summer School (RW 2018), held in Esch-sur-Alzette, Luxembourg, in September 2018. The research areas of Semantic Web, Linked Data, and Knowledge Graphs have recently received a lot of attention in academia and industry. Since its inception in 2001, the Semantic Web has aimed at enriching the existing Web with meta-data and processing methods, so as to provide Web-based systems with intelligent capabilities such as context awareness and decision support. The Semantic Web vision has been driving many community efforts which have invested a lot of resources in developing vocabularies and ontologies for annotating their resources semantically. Besides ontologies, rules have long been a central part of the Semantic Web framework and are available as one of its fundamental representation tools, with logic serving as a unifying foundation. Linked Data is a related research area which studies how one can make RDF data available on the Web and interconnect it with other data with the aim of increasing its value for everybody. Knowledge Graphs have been shown useful not only for Web search (as demonstrated by Google, Bing, etc.) but also in many application domains.
https://magrudy-assets.storage.googleapis.com/9783030003371.jpg
73.490000 USD

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability: 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 13th International Conference on Computational Processing of the Portuguese Language, PROPOR 2018, held in Canela, RS, Brazil, in September 2018. The 42 full papers, 3 short papers and 4 other papers presented in this volume were carefully reviewed and selected from 92 ...
Computational Processing of the Portuguese Language: 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Computational Processing of the Portuguese Language, PROPOR 2018, held in Canela, RS, Brazil, in September 2018. The 42 full papers, 3 short papers and 4 other papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections named: Corpus Linguistics, Information Extraction, LanguageApplications, Language Resources, Sentiment Analysis and Opinion Mining, Speech Processing, and Syntax and Parsing.
https://magrudy-assets.storage.googleapis.com/9783319997216.jpg
94.490000 USD

Computational Processing of the Portuguese Language: 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference ...
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
https://magrudy-assets.storage.googleapis.com/9783319999562.jpg
73.490000 USD

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following ...
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.
https://magrudy-assets.storage.googleapis.com/9783030001506.jpg
73.490000 USD

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback / softback
Book cover image
This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2018, held in Quy Nhon, Vietnam, in August 2018.The 40 full papers presented together with 5 short papers were carefully reviewed and selected from 61 submissions. The IJCRS conferences aim at bringing together experts from ...
Rough Sets: International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2018, held in Quy Nhon, Vietnam, in August 2018.The 40 full papers presented together with 5 short papers were carefully reviewed and selected from 61 submissions. The IJCRS conferences aim at bringing together experts from universities and research centers as well as the industry representing fields of research in which theoretical and applicational aspects of rough set theory already find or may potentially find usage.
https://magrudy-assets.storage.googleapis.com/9783319993676.jpg
115.490000 USD

Rough Sets: International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer ...
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
https://magrudy-assets.storage.googleapis.com/9783319991535.jpg
94.490000 USD

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, held in Leeds, UK, in September 2018. The 42 full and short papers, 7 demo papers, and 23 poster papers presented in this volume were carefully reviewed and selected from 142 submissions. This year, ...
Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings
This book constitutes the proceedings of the 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, held in Leeds, UK, in September 2018. The 42 full and short papers, 7 demo papers, and 23 poster papers presented in this volume were carefully reviewed and selected from 142 submissions. This year, the European Conference on Technology-Enhanced Learning (EC-TEL) will engage researchers, practitioners, educational developers, entrepreneurs and policy makers in a joint discussion on how to put science, technology and practice at the service of learning to embrace these challenges on the topic: Lifelong technology enhanced learning: Dealing with the complexity of 21st century challenges. Chapter is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
https://magrudy-assets.storage.googleapis.com/9783319985718.jpg
115.490000 USD

Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

Paperback / softback
Book cover image
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging ...
Logical Foundations of Cyber-Physical Systems
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects. The book is supported with homework exercises, lecture videos, and slides.
https://magrudy-assets.storage.googleapis.com/9783319635873.jpg
52.490000 USD

Logical Foundations of Cyber-Physical Systems

by Andre Platzer
Hardback
Book cover image
This two volume set of LNCS 11029 and LNCS 11030 constitutes the refereed proceedings of the 29th International Conference on Database and Expert Systems Applications, DEXA 2018, held in Regensburg, Germany, in September 2018. The 35 revised full papers presented together with 40 short papers were carefully reviewed and selected ...
Database and Expert Systems Applications: 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II
This two volume set of LNCS 11029 and LNCS 11030 constitutes the refereed proceedings of the 29th International Conference on Database and Expert Systems Applications, DEXA 2018, held in Regensburg, Germany, in September 2018. The 35 revised full papers presented together with 40 short papers were carefully reviewed and selected from 160 submissions. The papers of the first volume discuss a range of topics including: Big data analytics; data integrity and privacy; decision support systems; data semantics; cloud data processing; time series data; social networks; temporal and spatial databases; and graph data and road networks. The papers of the second volume discuss a range of the following topics: Information retrieval; uncertain information; data warehouses and recommender systems; data streams; information networks and algorithms; database system architecture and performance; novel database solutions; graph querying and databases; learning; emerging applications; data mining; privacy; and text processing.
https://magrudy-assets.storage.googleapis.com/9783319988115.jpg
104.990000 USD

Database and Expert Systems Applications: 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a ...
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
https://magrudy-assets.storage.googleapis.com/9783319989372.jpg
94.490000 USD

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018. The 39 full papers presented in this volume were carefully reviewed and selected from 84 submissions. The papers cover the following topics and areas: combinatorial and ...
Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018. The 39 full papers presented in this volume were carefully reviewed and selected from 84 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspired computing; quantum computing.
https://magrudy-assets.storage.googleapis.com/9783319986531.jpg
104.990000 USD

Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.The volume contains 41 poster and demonstration papers, 11 invited workshop papers, and 9 full papers, selected out of a total of ...
The Semantic Web: ESWC 2018 Satellite Events: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.The volume contains 41 poster and demonstration papers, 11 invited workshop papers, and 9 full papers, selected out of a total of 70 submissions. They deal with all areas of semantic web research, semantic technologies on the Web and Linked Data.
https://magrudy-assets.storage.googleapis.com/9783319981918.jpg
94.490000 USD

The Semantic Web: ESWC 2018 Satellite Events: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general ...
Logic for Physicists
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical math fundamental oriented approach that is commonly found in mathematical logic textbooks).
https://magrudy-assets.storage.googleapis.com/9781643270173.jpg
57.750000 USD

Logic for Physicists

by Nicolas a Pereyra
Hardback
Book cover image
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and ...
The Incomputable: Journeys Beyond the Turing Barrier
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.
https://magrudy-assets.storage.googleapis.com/9783319828817.jpg
157.490000 USD

The Incomputable: Journeys Beyond the Turing Barrier

Paperback / softback
Book cover image
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed ...
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
https://magrudy-assets.storage.googleapis.com/9783319961446.jpg
62.990000 USD

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and ...
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
https://magrudy-assets.storage.googleapis.com/9783319968117.jpg
73.490000 USD

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Paperback / softback
Book cover image
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018. The 7 full papers were carefully reviewed and ...
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018. The 7 full papers were carefully reviewed and selected from 11 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics, and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological, and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis
https://magrudy-assets.storage.googleapis.com/9783662577837.jpg
62.990000 USD

Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume ...
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Rosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
https://magrudy-assets.storage.googleapis.com/9783319944593.jpg
83.990000 USD

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Paperback / softback
Book cover image
Emotions are powerful. In newspaper headlines and on social media, they have become the primary way of understanding the world. But strong feelings make it more difficult to see the reality behind the rhetoric. In The Art of Logic, Eugenia Cheng shows how mathematical logic can help us see things ...
The Art of Logic: How to Make Sense in a World that Doesn't
Emotions are powerful. In newspaper headlines and on social media, they have become the primary way of understanding the world. But strong feelings make it more difficult to see the reality behind the rhetoric. In The Art of Logic, Eugenia Cheng shows how mathematical logic can help us see things more clearly - and know when politicians and companies are trying to mislead us. First Cheng explains how to use black-and-white logic to illuminate the world around us, giving us new insight into thorny political questions like public healthcare, Black Lives Matter and Brexit. Then she explains how logic and emotions, used side-by-side, can help us not only to be more rational individuals, but also to live more thoughtfully. Clear-sighted, revelatory and filled with useful real-life examples of logic and illogic at work, The Art of Logic is an essential guide to decoding modern life.
https://magrudy-assets.storage.googleapis.com/9781788160384.jpg
25.58 USD

The Art of Logic: How to Make Sense in a World that Doesn't

by Eugenia Cheng
Hardback
Book cover image
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question ...
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic's status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
https://magrudy-assets.storage.googleapis.com/9783319820569.jpg
125.990000 USD

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Paperback / softback
Page 1 of 40