This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
Design and Analysis of Green and Sustainable IoT Technologies for Future Wireless Communications explores innovative approaches to developing eco-friendly Internet of Things solutions, focusing on energy efficiency and minimizing environmental impact.
This volume constitutes the proceedings of Third Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2024, held in Addis Ababa, Ethiopia, during October 8–9, 2024.
This volume constitutes the proceedings of Third Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2024, held in Addis Ababa, Ethiopia, during October 8–9, 2024.
The three-volume set CCIS 2603, 2604 and 2605 constitutes the refereed proceedings of the 16th International Conference on Intelligent Systems, INTELS 2024, held in Moscow, Russia, during December 2–4, 2024.
The three-volume set CCIS 2603, 2604 and 2605 constitutes the refereed proceedings of the 16th International Conference on Intelligent Systems, INTELS 2024, held in Moscow, Russia, during December 2–4, 2024.
The three-volume set CCIS 2603, 2604 and 2605 constitutes the refereed proceedings of the 16th International Conference on Intelligent Systems, INTELS 2024, held in Moscow, Russia, during December 2–4, 2024.
The three-volume set CCIS 2603, 2604 and 2605 constitutes the refereed proceedings of the 16th International Conference on Intelligent Systems, INTELS 2024, held in Moscow, Russia, during December 2–4, 2024.
In dem vorliegenden Buch werden ingenieurwissenschaftliche, regelungstechnische Grundlagen vermittelt, die auf typische Industriebeispiele angewandt werden, wie z.
In dem vorliegenden Buch werden ingenieurwissenschaftliche, regelungstechnische Grundlagen vermittelt, die auf typische Industriebeispiele angewandt werden, wie z.
A novel and authoritative approach to quantum machine learning in integrated circuits design optimization In Advanced Techniques for Optimal Sizing of Analog Integrated Circuits, a team of distinguished researchers deliver a comprehensive discussion of the theory, models, methodologies, practical implementation, and utilization of integrated circuit (IC) design.
This book, now in an expanded second edition, provides a self-contained undergraduate course on quantum computing based on classroom-tested lecture notes.
This book, now in an expanded second edition, provides a self-contained undergraduate course on quantum computing based on classroom-tested lecture notes.
The Human Upgrade: Surviving AI with Universal SkillIn an age where artificial intelligence writes, designs, diagnoses, and even decides, what remains for the human mind to do?
Robotics and Artificial Intelligence hold the potential of significantly augmenting human cognitive and physical performance, giving light-speed and extreme accuracy to human systems and processes, contributing to overcome some of the most complex challenges that humankind faces nowadays.
Robotics and Artificial Intelligence hold the potential of significantly augmenting human cognitive and physical performance, giving light-speed and extreme accuracy to human systems and processes, contributing to overcome some of the most complex challenges that humankind faces nowadays.
This book covers the optimization of the energy flow management of a grid-tied photovoltaic-wind-battery energy storage system and the development of demand response algorithms for a single customer at the lowest level and extended it to a large community of participants at the highest level.
This book is a collection of high-quality research papers presented at 8th Euro-China Conference on Intelligent Data Analysis and Applications, hosted by Minnan Science and Technology College, China and technically co-sponsored by Nanjing University of Information Science and Technology, China.
This book is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
This book is a compilation of high-quality scientific papers presented at the 6th International Conference on Computer & Communication Technologies (IC3T 2024).
This book is a collection of high-quality research papers presented at 8th Euro-China Conference on Intelligent Data Analysis and Applications, hosted by Minnan Science and Technology College, China and technically co-sponsored by Nanjing University of Information Science and Technology, China.
Master the cutting-edge field of computer vision and artificial intelligence with this accessible guide to the applications of machine learning and deep learning for real-world solutions in robotics, healthcare, and autonomous systems.
Non-Terrestrial Networks: Paving the Way Towards Global Connectivity presents technologies that are important for NTNs - from LEO satellite communication, unmanned aerial vehicles (UAVs)/flying platforms assisted wireless networking, the use of machine learning, edge computing, reconfigurable intelligent surfaces, multiple access, wireless backhaul/fronthaul, integrated access and backhaul, integrated sensing and communications, and high frequency channel modeling such as terahertz, sub-terahertz, and millimeter wave.
This proceedings presents papers from the Third International Adaptive and Sustainable Science, Engineering and Technology Conference (ASSET 2024), which took place in Manchester, UK on July 16-18, 2024.
This proceedings presents papers from the Third International Adaptive and Sustainable Science, Engineering and Technology Conference (ASSET 2024), which took place in Manchester, UK on July 16-18, 2024.
Marcus Hellwig zeigt, dass die kurzlich entwickelte Schiefe Verteilung, im Weiteren Equibalancedistribution (Eqb) genannt, fur die Uberprufung des Prozessverhaltens von Funkubertragungen verwendet werden kann.
This book contains papers presented at the International Conference on E-mobility (ICEM 2024) under the banner of World Engineering, Science & Technology Congress (ESTCON 2024) held from September 10 to 11, at Sabah International Convention Centre, Kota Kinabalu, Malaysia.
This book contains papers presented at the International Conference on E-mobility (ICEM 2024) under the banner of World Engineering, Science & Technology Congress (ESTCON 2024) held from September 10 to 11, at Sabah International Convention Centre, Kota Kinabalu, Malaysia.
This book investigates detailed hyperspectral image clustering using graph neural network (graph learning) methods, focusing on the overall construction of the model, design of self-supervised methods, image pre-processing, and feature extraction of graph information.
This book brings together recent research in the areas of mechatronics and reliable systems engineering, with contributions from authors based in various parts of the world.
This volume contains the proceedings of the 2nd International Conference "e;MECHANICAL ENGINEERING SOLUTIONS: Design, Simulation, Testing, Manufacturing"e; (MES-2025), held on September 17–19, 2025 in Yerevan, Armenia, under the patronage of IFToMM.
The book consists of peer reviewed and presented papers of the 3rd International Conference on Cloud Computing and Computer Network (CCCN 2025), which took place in Singapore during May 16-18, 2025.
The 11th Intelligent Systems Conference (IntelliSys) 2025, held in Amsterdam, The Netherlands, from 28–29 August 2025, brought together researchers, practitioners, and experts from around the world to share advancements in intelligent technologies.
