Computere og hardware

This book constitutes the refereed proceedings of the 8th International Conference on Internet on Things, ICIOT 2023, held as part of SCF 2023, in Shenzhen, China, during December 17¿18, 2023.The 8 full papers presented in this volume were carefully reviewed and selected from 28 submissions. The papers cover topics in the field of sensors and other types of sensing devices, wired and wireless networks, platforms and tools, data processing/visualization/analysis and integration engines.

This book provides a systematic study on the security of deep learning. With its powerful learning ability, deep learning is widely used in CV, FL, GNN, RL, and other scenarios. However, during the process of application, researchers have revealed that deep learning is vulnerable to malicious attacks, which will lead to unpredictable consequences. Take autonomous driving as an example, there were more than 12 serious autonomous driving accidents in the world in 2018, including Uber, Tesla and other high technological enterprises. Drawing on the reviewed literature, we need to discover vulnerabilities in deep learning through attacks, reinforce its defense, and test model performance to ensure its robustness. Attacks can be divided into adversarial attacks and poisoning attacks. Adversarial attacks occur during the model testing phase, where the attacker obtains adversarial examples by adding small perturbations. Poisoning attacks occur during the model training phase, wherethe attacker injects poisoned examples into the training dataset, embedding a backdoor trigger in the trained deep learning model. An effective defense method is an important guarantee for the application of deep learning. The existing defense methods are divided into three types, including the data modification defense method, model modification defense method, and network add-on method. The data modification defense method performs adversarial defense by fine-tuning the input data. The model modification defense method adjusts the model framework to achieve the effect of defending against attacks. The network add-on method prevents the adversarial examples by training the adversarial example detector.Testing deep neural networks is an effective method to measure the security and robustness of deep learning models. Through test evaluation, security vulnerabilities and weaknesses in deep neural networks can be identified. By identifying and fixing these vulnerabilities, the security and robustness of the model can be improved. Our audience includes researchers in the field of deep learning security, as well as software development engineers specializing in deep learning.

This book presents various concepts and applications related to risk-conscious operations management. It also provides an overview of the risk-based engineering ¿ fundamental to the concept of risk-conscious operations management. It presents the reliability concept to support Dependency Modelling, which includes hardware systems structures and components for reliability improvement and risk reduction. The book further develops and builds attributes and model for risk-conscious culture ¿ critical to characterize operational approach to risk and presents human factor modelling, where it works on developing an approach for human error precursor analysis. This book will be useful for students, researchers, academicians and professionals working on identifying risk and reliability issues in complex safety and mission critical systems. It will also be beneficial for industry risk-and-reliability experts and operational safety staff working in the complex engineering systems.

Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schulmathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 5. Auflage erweitert den Inhalt um die Grundlagen der linearen Algebra. Die Übungsaufgaben zu den einzelnen Kapitel helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.Der InhaltMengentheoretische Grundlagen ¿ Logische Grundlagen ¿ Allgemeine direkte Produkte und Datenstrukturen ¿ Mathematische Beweise ¿ Spezifikation und Programmverifikation ¿ Spezielle Funktionen ¿ Spezielle Relationen und gerichtete Graphen ¿ Elementare Kombinatorik und ungerichtete Graphen ¿ Diskrete Wahrscheinlichkeitstheorie ¿ Generische Programmierung ¿ Grundbegriffe algebraischer Strukturen ¿ Formale Einführung der natürlichen Zahlen - Grundbegriffe der linearen AlgebraMit diesem Buch gelingt der Einstieg ins Informatik-StudiumMit diesem Buch schaffen Sie eine solide Basis für die Mathematikausbildung im Rahmen desInformatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstständig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs über Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche:InformatikMathematikIngenieurwissenschaften

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17¿18, 2023. The 8 full papers in this book were carefully reviewed and selected from 14 submissions. They were organized in topical sections as follows: Practice of Edge Computing, identify emerging research topics, and define the future of Edge Computing.

In the realm of technological advancement, Artificial Intelligence stands as an unparalleled frontier, revolutionizing the way we perceive, interact with, and shape the world. "Artificial Intelligence: Building Intelligent Systems" represents a comprehensive journey through the multifaceted landscape of AI, offering a holistic understanding and practical insights into constructing systems that simulate human intelligence. This book is an amalgamation of cutting-edge theories, methodologies, and real-world applications carefully crafted to serve as a guiding beacon for students, researchers, and professionals navigating the intricate domain of AI.In the pages that follow, readers will embark on a captivating exploration of AI's evolution, from its foundational principles to its intricate complexities. Through a meticulously curated blend of theoretical foundations and hands-on practices, this book aims not only to elucidate the inner workings of AI but also to empower enthusiasts to harness its potential. With a focus on fostering a deep comprehension of AI algorithms, ethical considerations, and innovative implementations, this book aspires to equip its readers with the tools and wisdom necessary to contribute meaningfully to the burgeoning field of Artificial Intelligence.

"Digital Logic and Design: Mastering the Fundamentals" provides a comprehensive overview of essential concepts in digital logic and design. Through clear explanations and practical examples, this book equips readers with the knowledge and skills needed to understand and apply fundamental principles in digital circuit design. Ideal for students and enthusiasts seeking to master the basics of digital logic and design.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15¿16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the refereed proceedings of the 7th International Conference on Cloud Computing, CLOUD 2023, held in Shenzhen, China, during December 17¿18, 2023.The 5 full papers and 3 short papers in this book were carefully reviewed and selected from 13 submissions. The conference facilitates the exploration of emerging research areas and the shaping of the future landscape of cloud computing.

This book provides a comprehensive and systematic exploration of next-generation Edge Intelligence (EI) Networks. It delves deep into the critical design considerations within this context, emphasizing the necessity for functional and dependable interactions between networking strategies and the diverse application scenarios. This should help assist to encompass a wide range of environments.This book also discusses topics such as resource optimization, incentive mechanisms, channel prediction and cutting-edge technologies, which includes digital twins and advanced machine learning techniques. It underscores the importance of functional integration to facilitate meaningful collaborations between networks and systems, while operating across heterogeneous environments aiming support novel and disruptive human-oriented services and applications. Valuable insights into the stringent requirements for intelligence capabilities, communication latency and real-time response are discussed. This characterizes the new EI era, driving the creation of comprehensive cross-domain architectural ecosystems that infuse human-like intelligence into every aspect of emerging EI systems.This book primarily targets advanced-level students as well as postdoctoral researchers, who are new to this field and are searching for a comprehensive understanding of emerging EI systems. Practitioners seeking guidance in the development and implementation of EI systems in practical contexts will also benefit from this book.

This book constitutes the revised and selected papers of the International Conference on Global Economic Revolutions (ICGER 2023) held in Sharjah City, United Arab Emirates, during February 27-28, 2023.The 18 papers included in this book were thoroughly reviewed and selected from the 105 submissions. The papers focus on topics related to data science and data centers, machine learning, sustainable technologies for a green economy, metaverse in the healthcare education, Predictive Model Analytics using Data mining and Machine learning, blockchain adoption and acceptance, Narrow Band Internet of Things, and enhanced Bubble Sorting Visualizer.

This book constitutes the refereed proceedings of the 29th International Conference on Information and Software Technologies, ICIST 2023, held in Kaunas, Lithuania, in October 2023.The 27 full papers included in this volume were carefully reviewed and selected from 75 submissions. These proceedings contain a diverse array of research and insights in the field of Information Technology and related areas, such as: intelligent systems and software engineering advances, intelligent methods for data analysis and computer aided software engineering, language technologies and smart e-learning applications, AI-based it solutions.

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17¿19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

This textbook for courses in Embedded Systems introduces students to necessary concepts, through a hands-on approach.LEARN BY EXAMPLE ¿ This book is designed to teach the material the way it is learned, through example. Every concept is supported by numerous programming examples that provide the reader with a step-by-step explanation for how and why the computer is doing what it is doing.LEARN BY DOING ¿ This book targets the Texas Instruments MSP430 microcontroller. This platform is a widely popular, low-cost embedded system that is used to illustrate each concept in the book. The book is designed for a reader that is at their computer with an MSP430FR2355 LaunchPadTM Development Kit plugged in so that each example can be coded and run as they learn.LEARN BOTH ASSEMBLY AND C ¿ The book teaches the basic operation of an embedded computer using assembly language so that the computer operation can be explored at a low-level. Once more complicated systems are introduced (i.e., timers, analog-to-digital converters, and serial interfaces), the book moves into the C programming language. Moving to C allows the learner to abstract the operation of the lower-level hardware and focus on understanding how to ¿make things work¿.BASED ON SOUND PEDAGOGY - This book is designed with learning outcomes and assessment at its core. Each section addresses a specific learning outcome that the student should be able to ¿dö after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure student performance on each outcome.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6¿9, 2023.The 10 revised full papers and 2 short papers presented in this book were carefully reviewed and selected from 23 submissions. They stem from the following workshops:Third International Workshop on Big Data Driven Edge Cloud Services (BECS 2023) Second International Workshop on the Semantic Web of Everything (SWEET 2023) Second International Workshop on Web Applications for Life Sciences (WALS2023)

This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse, Tunisia.The 27 full papers were carefully peer reviewed and selected from 99 submissions. The Annual International Conference on Model and Data Engineering focuses on bring together researchers and practitioners and enabling them to showcase the latest advances in modelling and data management.

This book constitutes the Revised Selected Papers of the Second International Conference, ICAETA 2023, held in Istanbul, Turkey, during March 10¿11, 2023.The 37 full papers included in this volume were carefully reviewed and selected from 139 submissions. The topics cover a range of areas related to engineering, technology, and applications. Main themes of the conference include, but are not limited to: Data Analysis, Visualization and Applications; Artificial Intelligence, Machine Learning and Computer Vision; Computer Communication and Networks; Signal Processing and Applications; Electronic Circuits, Devices, and Photonics; Power Electronics and Energy Systems.

This book describes machine learning-based new principles, methods of design and optimization of high-speed integrated circuits, included in one electronic system, which can exchange information between each other up to 128/256/512 Gbps speed. The efficiency of methods has been proven and is described on the examples of practical designs. This will enable readers to use them in similar electronic system designs. The author demonstrates newly developed principles and methods to accelerate communication between ICs, working in non-standard operating conditions, considering signal deviation compensation with linearity self-calibration. The observed circuit types also include but are not limited to mixed-signal, high performance heterogeneous integrated circuits as well as digital cores.

This book constitutes the refereed proceedings of the 52nd Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2023, held in Gauteng, South Africa, during July 19¿21, 2023. The 12 full papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: student centered teaching and learning; AI and future movements; programming; and beyond the classroom.