Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Modelling and Simulation for Autonomous Systems
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2021, held as a virtual event due COVID-19, in October 2021. The 30 full papers together with 2 short papers included in the volume were carefully reviewed and selected from 50 submissions. They are organized in the following topical sections: M&S of intelligent systems, R&D and application; and AxS/AI in context of future warfare and security environment and future challenges of Advance M&S Technology.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.
Advances in Service and Industrial Robotics
This book gathers contributions by researchers from several countries on all major areas of robotic research, development and innovation, as well as new applications and current trends. The topics covered include: novel designs and applications of robotic systems, intelligent cooperating and service robots, advanced robot control, human-robot interfaces, robot vision systems, mobile robots, humanoid and walking robots, bio-inspired and swarm robotic systems, aerial, underwater and spatial robots, robots for ambient assisted living, medical robots and bionic prostheses, cognitive robots, cloud robotics, ethical and social issues in robotics, etc. Given its scope, the book offers a source of information and inspiration for researchers seeking to improve their work and gather new ideas for future developments. The contents reflect the outcomes of the activities of RAAD (International Conference on Robotics in Alpe-Adria-Danube Region) in 2020.
Distributed Computing in Sensor Systems
The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008. The 29 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 116 submissions. The papers propose a multitude of novel algorithmic design and analysis techniques, systematic approaches and application development methodologies for distributed sensor networking. The papers cover aspects including energy management, communication, coverage and tracking, time synchronization and scheduling, key establishment and authentication, compression, medium access control, code update, and mobility.
Advances in Service and Industrial Robotics
This book presents the proceedings of the 32nd International Conference on Robotics in Alpe-Adria-Danube Region (RAAD), held in Bled, Slovenia, June 14-16, 2023. It gathers contributions by researchers from several countries on all major areas of robotic research, development and innovation, as well as new applications and current trends. The topics covered include: novel designs and applications of robotic systems, intelligent cooperating and service robots, advanced robot control, human-robot interfaces, robot vision systems, mobile robots, humanoid and walking robots, bio-inspired and swarm robotic systems, aerial, underwater and spatial robots, robots for ambient assisted living, medical robots and bionic prostheses, cognitive robots, cloud robotics, ethical and social issues in robotics, etc. Given its scope, the book offers a source of information and inspiration for researchers seeking to improve their work and gather new ideas for future developments.
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006. The 39 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors.
Software Engineering and Formal Methods
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.
Informatics in Control Automation and Robotics
The present book includes a set of selected papers from the third “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2006), held in Setúbal, Portugal, from 1 to 5 August 2006, sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC). The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure. Although ICINCO 2006 received 309 paper submissions, from more than 50 different countries in all continents, only 31 where accepted as...
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Software Technologies: Applications and Foundations
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
