Proceedings of the 13th National Technical Seminar on Unmanned System Technology 2023 - Volume 1
Proceedings of the 13th National Technical Seminar on Unmanned System Technology 2023 - Volume 1

Author: Zainah Md. Zain

Publisher: Springer

Published: 2024-09-01

Total Pages: 0

ISBN-13: 9789819720064

DOWNLOAD EBOOK

This book comprises the proceedings of the 13th National Technical Symposium on Unmanned System Technology 2023 (NUSYS’23) held on October 2–3, 2023. It covers a number of topics, including intelligent robotics, novel sensor technology, control algorithms, acoustics signal processing, imaging techniques, biomimetic robots, green energy sources, and underwater communication backbones and protocols, and it appeals to researchers developing marine technology solutions and policy-makers interested in technologies to facilitate the exploration of coastal and oceanic regions. This book is part of a 2-volume series of these conference proceedings, it represents Volume 1 in the series.

Advances in Intelligent Manufacturing and Mechatronics
Advances in Intelligent Manufacturing and Mechatronics

Author: Muhammad Amirul Abdullah

Publisher: Springer Nature

Published: 2023-03-21

Total Pages: 343

ISBN-13: 9811987033

DOWNLOAD EBOOK

This book presents parts of the iM3F 2022 proceedings from the mechatronics as well as the intelligent manufacturing tracks. It highlights recent trends and key challenges in mechatronics as well as the advent of intelligent manufacturing engineering and technology that are non-trivial in embracing Industry 4.0 as well as addressing the UN Sustainable Development Goals. The book deliberates on conventional as well as advanced solutions that are utilized in the variety of mechatronics and intelligent manufacturing-based applications. The readers are envisaged to gain an insightful view on the current trends, issues, mitigating factors as well as solutions from this book.

Pattern Recognition
Pattern Recognition

Author: Ansel Yoan Rodríguez-González

Publisher: Springer Nature

Published: 2023-06-08

Total Pages: 338

ISBN-13: 3031337832

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th Mexican Conference on Pattern Recognition, MCPR 2023, held in Tepic, Mexico, during June 21–24, 2023. The 30 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers are divided into the following topical sections: pattern recognition and machine learning techniques; deep learning and neural networks; medical applications of pattern recognition; language processing and recognition; and industrial applications of pattern recognition.

Proceedings of International Conference on Data Science and Applications
Proceedings of International Conference on Data Science and Applications

Author: Mukesh Saraswat

Publisher: Springer Nature

Published: 2023-02-16

Total Pages: 946

ISBN-13: 9811966311

DOWNLOAD EBOOK

This book gathers outstanding papers presented at the International Conference on Data Science and Applications (ICDSA 2022), organized by Soft Computing Research Society (SCRS) and Jadavpur University, Kolkata, India, from 26 to 27 March 2022. It covers theoretical and empirical developments in various areas of big data analytics, big data technologies, decision tree learning, wireless communication, wireless sensor networking, bioinformatics and systems, artificial neural networks, deep learning, genetic algorithms, data mining, fuzzy logic, optimization algorithms, image processing, computational intelligence in civil engineering, and creative computing.

Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems

Author: Sayan Mitra

Publisher: MIT Press

Published: 2021-02-16

Total Pages: 313

ISBN-13: 0262044803

DOWNLOAD EBOOK

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.