Author : Zainah Md. Zain
Publisher : Springer Nature
Page : 257 pages
File Size : 18,15 MB
Release :
Category :
ISBN : 9819720273
Author : Zainah Md. Zain
Publisher : Springer
Page : 0 pages
File Size : 15,53 MB
Release : 2024-09-01
Category : Technology & Engineering
ISBN : 9789819720064
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.
Author : Zainah Md. Zain
Publisher : Springer Nature
Page : 637 pages
File Size : 32,99 MB
Release :
Category :
ISBN : 9819738512
Author : Muhammad Amirul Abdullah
Publisher : Springer Nature
Page : 343 pages
File Size : 40,6 MB
Release : 2023-03-21
Category : Technology & Engineering
ISBN : 9811987033
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.
Author : Limin Jia
Publisher : Springer Nature
Page : 971 pages
File Size : 26,99 MB
Release :
Category :
ISBN : 981973682X
Author : Ansel Yoan Rodríguez-González
Publisher : Springer Nature
Page : 338 pages
File Size : 28,53 MB
Release : 2023-06-08
Category : Computers
ISBN : 3031337832
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.
Author : Mukesh Saraswat
Publisher : Springer Nature
Page : 946 pages
File Size : 43,42 MB
Release : 2023-02-16
Category : Technology & Engineering
ISBN : 9811966311
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.
Author : Soon-Geul Lee
Publisher : Springer Nature
Page : 461 pages
File Size : 47,12 MB
Release :
Category :
ISBN : 3031449819
Author : Alejandro Salado
Publisher : Springer Nature
Page : 609 pages
File Size : 25,77 MB
Release :
Category :
ISBN : 3031625544
Author : Sayan Mitra
Publisher : MIT Press
Page : 313 pages
File Size : 43,87 MB
Release : 2021-02-16
Category : Computers
ISBN : 0262044803
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.
