machines  (15 879 Angebote unter 17 222 968 Artikeln)

The unconventional computing is a niche for interdisciplinary science, cross-bred of computer science, physics, mathematics, chemistry, electronic engineering, biology, material science and nanotec...

Selected Contributions from the Conference "Modern Engineering: Science and Education", Saint Petersburg, Russia, June 2022

Invited Talks.- Regular and Algebraic Words and Ordinals.- Logical Semantics of Types for Concurrency.- Deriving Bisimulation Congruences with Borrowed Contexts.- Symmetry and Concurrency.- Contrib...

AETA 2013: Recent Advances in Electrical Engineering and Related Sciences

This book gathers the proceedings of the 16th IFToMM World Congress, which was held in Tokyo, Japan, on November 5-10, 2023. Having been organized every four years since 1965, the Congress represen...

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this cent...

The proceeding book will also be a resource and material for practitioners who want to apply discussed problems to solve real-life problems in their challenging applications. It is also devoted to ...

This book presents the latest research advances relating to machines and mechanisms. Featuring papers from the XIII International Conference on the Theory of Machines and Mechanisms (TMM 2020), hel...

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this cent...

AETA 2017 - Recent Advances in Electrical Engineering and Related Sciences: Theory and Application

The information fusion technique can integrate a large amount of data and knowledge representing the same real-world object and obtain a consistent, accurate and useful representation of that objec...

Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design.- Glass Box and Black Box Views of State-Based System Specifications.- Abstraction for Safety, Induc...

Theory and Application

Advances in Nature-Inspired Computing and Applications

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting t...