Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Methods for Safety and Security
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022. The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Internet of Drones
This book covers different aspects of Internet of Drones (IoD) including fundamentals in drone design, deployment challenges, and development of applications. It starts with a detailed description of concepts and processes in designing an efficient system, and architecture. It details different applications of IoD and its implementations in smart cities, agriculture, health care, defense, security, logistics, GIS mapping, and so forth. Recent developments in IoD design, application of AI techniques, case studies, and future directions are covered. Features: Focuses on important perspectives of the Internet of Drones (IoD) Emphasizes drone deployment in smart cities, smart agriculture, smart ...
Advances in Machine Learning and Image Analysis for GeoAI
Advances in Machine Learning and Image Analysis for GeoAI provides state-of-the-art machine learning and signal processing techniques for a comprehensive collection of geospatial sensors and sensing platforms. The book covers supervised, semi-supervised and unsupervised geospatial image analysis, sensor fusion across modalities, image super-resolution, transfer learning across sensors and time-points, and spectral unmixing among other topics. The chapters in these thematic areas cover a variety of algorithmic frameworks such as variants of convolutional neural networks, graph convolutional networks, multi-stream networks, Bayesian networks, generative adversarial networks, transformers and m...
Reliable Software Technologies - Ada-Europe 2004
The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and ...
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.
Nonlinear Dynamics and Applications
This book covers recent trends and applications of nonlinear dynamics in various branches of society, science, and engineering. The selected peer-reviewed contributions were presented at the International Conference on Nonlinear Dynamics and Applications (ICNDA 2022) at Sikkim Manipal Institute of Technology (SMIT) and cover a broad swath of topics ranging from chaos theory and fractals to quantum systems and the dynamics of the COVID-19 pandemic. Organized by the SMIT Department of Mathematics, this international conference offers an interdisciplinary stage for scientists, researchers, and inventors to present and discuss the latest innovations and trends in all possible areas of nonlinear dynamics.
Formal Methods Teaching
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
ECAI 2023
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrat...
Smart Sensors Measurements and Instrumentation
This book presents the select proceedings of Control Instrumentation and System Conference, (CISCON 2020) held at Manipal Institute of Technology, MAHE, Manipal. It examines a wide spectrum covering the latest trends in the fields of instrumentation, sensors and systems, and industrial automation and control. The topics covered include image and signal processing, robotics, renewable energy, power systems and power drives, performance attributes of MEMS, multi-sensor data fusion, machine learning, optimization techniques, process control, safety monitoring, safety critical control, supervisory control, system modeling and virtual instrumentation. The book is a valuable reference for researchers and professionals interested in sensors, adaptive control, automation and control and allied fields.
