Theory and Applications of Models of Computation
Theory and Applications of Models of Computation

Author: Manindra Agrawal

Publisher: Springer

Published: 2012-05-04

Total Pages: 636

ISBN-13: 3642299520

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.

Advanced Decision-Making Methods and Applications in System Safety and Reliability Problems
Advanced Decision-Making Methods and Applications in System Safety and Reliability Problems

Author: He Li

Publisher: Springer Nature

Published: 2022-07-09

Total Pages: 196

ISBN-13: 3031074300

DOWNLOAD EBOOK

This book reviews and presents several approaches to advanced decision-making models for safety and risk assessment. Each introduced model provides case studies indicating a high level of efficiency, robustness, and applicability, which allow readers to utilize them in their understudy risk-based assessment applications. The book begins by introducing a novel dynamic DEMATEL for improving safety management systems. It then progresses logically, dedicating a chapter to each approach, including advanced FMEA with probabilistic linguistic preference relations, Bayesian Network approach and interval type-2 fuzzy set, advanced TOPSIS with spherical fuzzy set, and advanced BWM with neutrosophic fuzzy set and evidence theory. This book will be of interest to professionals and researchers working in the field of system safety and reliability and postgraduate and undergraduate students studying applications of decision-making tools and expert systems.

Theory and Applications of Models of Computation
Theory and Applications of Models of Computation

Author: Jin-Yi Cai

Publisher: Springer

Published: 2006-05-05

Total Pages: 809

ISBN-13: 354034022X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed.

Artificial and Mathematical Theory of Computation
Artificial and Mathematical Theory of Computation

Author: Vladimir Lifschitz

Publisher: Academic Press

Published: 2012-12-02

Total Pages: 488

ISBN-13: 032314831X

DOWNLOAD EBOOK

Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intelligence and the mathematical theory of computation. Papers cover the logical approach to artificial intelligence; knowledge representation and common sense reasoning; automated deduction; logic programming; nonmonotonic reasoning and circumscription. One paper suggests that the design of parallel programming languages will invariably become more sophisticated as human skill in programming and software developments improves to attain faster running programs. An example of metaprogramming to systems concerns the design and control of operations of factory devices, such as robots and numerically controlled machine tools. Metaprogramming involves two design aspects: that of the activity of a single device and that of the interaction with other devices. One paper cites the application of artificial intelligence pertaining to the project "proof checker for first-order logic" at the Stanford Artificial Intelligence Laboratory. Another paper explains why the bisection algorithm widely used in computer science does not work. This book can prove valuable to engineers and researchers of electrical, computer, and mechanical engineering, as well as, for computer programmers and designers of industrial processes.

Non-smooth Problems in Vehicle Systems Dynamics
Non-smooth Problems in Vehicle Systems Dynamics

Author: Per Grove Thomsen

Publisher: Springer Science & Business Media

Published: 2009-11-09

Total Pages: 262

ISBN-13: 3642013562

DOWNLOAD EBOOK

The book combines vehicle systems dynamics with the latest theoretical developments in dynamics of non-smooth systems and numerical analysis of differential-algebraic dynamical systems with discontinuities. These two fields are fundamental for the modelling and analysis of vehicle dynamical sytems. The results are also applicable to other non-smooth dynamical systems.