Search results: Found 81

Listing 11 - 20 of 81 << page
of 9
>>
Sort by
Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961453 Year: Pages: 703 DOI: 10.1007/978-3-319-96145-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

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.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961422 Year: Pages: 545 DOI: 10.1007/978-3-319-96142-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

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.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030175023 Year: Pages: 258 DOI: 10.1007/978-3-030-17502-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030174620 Year: Pages: 433 DOI: 10.1007/978-3-030-17462-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Logik. Wiener Logikkolleg 1894/95

Author:
Book Series: Phenomenology & Mind ISSN: 2198-204X ISBN: 9783110345933 Year: Volume: 17 Pages: 268 DOI: 10.1515/9783110345933 Language: German
Publisher: De Gruyter
Subject: Philosophy
Added to DOAB on : 2018-04-18 17:28:13
License:

Loading...
Export citation

Choose an application

Abstract

This book presents the long-awaited critical edition of an unpublished manuscript of 277 pages containing Twardowski’s lecture notes on logic given in German at the University of Vienna. As to length, language and topic, this text is unique among the works of the author, who is renowned for his Zur Lehre vom Inhalt und Gegenstand der Vorstellungen (1894), an influential but short book that has been out of stock for a long time already. In Logik Twardowski’s ideas are exposed in a much more extensive and interestingly revised form. The rest of Twardowski’s production is in Polish, a language inaccessible to many readers.This edition will be of special interest to philosophers interested in the scientific philosophy in Vienna before the Wiener Kreis, to phenomenologists and anyone interested in early phenomenology and Husserl’s thought, to historians of early analytic philosophy, and particularly to specialists of Austrian philosophy and the continental analytic tradition from Bolzano to Tarski, for whom the book will be a truly indispensable source.

Verification-based software-fault detection

Author:
ISBN: 9783866446762 Year: Pages: XVII, 264 p. DOI: 10.5445/KSP/1000023002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

Fuzzy Logic - Controls, Concepts, Theories and Applications

Author:
ISBN: 9789535103967 Year: Pages: 430 DOI: 10.5772/2662 Language: English
Publisher: IntechOpen
Subject: Mathematics
Added to DOAB on : 2019-10-03 07:51:49

Loading...
Export citation

Choose an application

Abstract

This book introduces new concepts and theories of Fuzzy Logic Control for the application and development of robotics and intelligent machines. The book consists of nineteen chapters categorized into 1) Robotics and Electrical Machines 2) Intelligent Control Systems with various applications, and 3) New Fuzzy Logic Concepts and Theories. The intended readers of this book are engineers, researchers, and graduate students interested in fuzzy logic control systems.

Modern Fuzzy Control Systems and Its Applications

Author:
ISBN: 9789535133896 9789535133902 Year: Pages: 466 DOI: 10.5772/65834 Language: English
Publisher: IntechOpen
Subject: Mathematics --- Mechanical Engineering
Added to DOAB on : 2019-10-03 07:51:50

Loading...
Export citation

Choose an application

Abstract

Control systems play an important role in engineering. Fuzzy logic is the natural choice for designing control applications and is the most popular and appropriate for the control of home and industrial appliances. Academic and industrial experts are constantly researching and proposing innovative and effective fuzzy control systems. This book is an edited volume and has 21 innovative chapters arranged into five sections covering applications of fuzzy control systems in energy and power systems, navigation systems, imaging, and industrial engineering. Overall, this book provides a rich set of modern fuzzy control systems and their applications and will be a useful resource for the graduate students, researchers, and practicing engineers in the field of electrical engineering.

Variant Construction from Theoretical Foundation to Applications

Author:
ISBN: 9789811322822 Year: Pages: 409 DOI: 10.1007/978-981-13-2282-2 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Agriculture (General) --- Computer Science
Added to DOAB on : 2020-02-04 11:21:24
License:

Loading...
Export citation

Choose an application

Abstract

This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-valued pulse sequences. Addressing topics ranging from logic and measuring foundation to typical applications and including various illustrated maps, it is a valuable guide for theoretical researchers in discrete mathematics; computing-, quantum- and communication scientists; big data engineers; as well as graduate and upper undergraduate students.

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Listing 11 - 20 of 81 << page
of 9
>>
Sort by