Computere og hardware

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security.Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.

This volume LNCS 14282 constitutes the refereed proceedings of the 20th European Conference EUMAS 2023, held in Naples, Italy, during September 2023.This volume includes 24 full papers and 5 short papers, carefully selected from 47 submissions. Additionally, the volume features 16 short papers, rigorously reviewed from 20 submissions for the PhD day. The conference focused on the theory and practice of autonomous agents and multi-agent systems, covering a wide range of topics.

This book constitutes the refereed proceedings of the 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, held in Valencia, Spain, in September 2023.The 59 papers presented in this book were carefully reviewed and selected from 119 submissions.They provide a comprehensive overview of the major challenges in sustainability of collaborative ecosystems; risks, security and resilience in networks; collaborative value creation and services; collaborative interactions and human-centered networks; skills and enabling technologies; collaborative healthcare and agile production; and AI, digital twins, and intelligent frameworks.

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.

A step-by-step guide to building cost-effective and complete home automation DIY projects using tools such as Home Assistant, Raspberry Pi, IoT devices, the Tasmota sensor, ESP32, and GrafanaKey Features:- Learn by doing using real-life practical examples to build your own home automation system- Create, hack, and configure IoT devices through hands-on projects to be used with or without Home Assistant- Customize your home automation system using Home Assistant, Node-RED, InfluxDB, and Grafana- Purchase of the print or Kindle book includes a free PDF eBookBook Description:Picture a home where you can adjust the lighting based on the time of day or when movement is detected. In this same home, you can also detect when a door is unexpectedly opened or an alarm is triggered in response to any suspicious activity. Such automated devices form part of a smart home, and the exciting part is that this book teaches you how to create and manage these devices all by yourself.This book helps you create your own ecosystem to automate your home using Home Assistant software. You'll begin by understanding the components of a home automation system and learn how to create, hack, and configure them to operate seamlessly. Then, you'll set up Home Assistant on a Raspberry Pi to work as a home automation server, build your own IoT sensors based on ESP32/ESP8266, and set up real-life automation use cases using hands-on examples and projects. The chapters will also guide you in using software tools such as Node-RED, InfluxDB, and Grafana to manage, present, and use data collected from your Home Automation devices. Finally, you'll gain insights into new technologies and trends in the home automation space to help you continue with your learning journey.By the end of this book, you'll be able to build your own creative, IoT-based home automation system using different hardware and software technologies.What You Will Learn:- Understand the fundamental concepts of home automation systems- Set up a home automation system using Home Assistant and Raspberry Pi- Create and configure ESP8266-based sensors to work with Home Assistant- Hack a commercial actuator to work with Home Assistant using Tasmota- Create automations, customize, and use applications with Home Assistant- Leverage IoT software tools to take your home automation to the next level- Work on hands-on projects, including LED strip lights and an ESP32 five-zone temperature logger- Explore home automation FAQs, emerging technologies, and trendsWho this book is for:The book is for engineers, developers, students, makers, and enthusiasts who're working on or interested in working with electronics and IoT devices, embedded systems, systems integration, computer software, and coding to develop their own smart home automation systems. Technicians, teachers, and other professionals who want to learn home automation-related technologies will also find this book useful. Prior experience of working with Raspberry Pi, creating hardware prototypes, and software programming will be beneficial.Table of Contents- Understanding Home Automation Systems- Getting Started with Home Assistant- Hands-On Project 1 - Creating Your Own Sensor- Hacking a Commercial Actuator to Work with Home Assistant- Creating Automations Using Home Assistant- Doing More Using Integrations and Customizations- Extending Home Automation Capabilities Using Add-ons- Installing and Setting Up Home Assistant Container- Hands-On Project 2 - Creating an LED Strip Controller and Adding It to Home Assistant(N.B. Please use the Read Sample option to see further chapters)

This book constitutes the refereed proceedings of the Doctoral Consortium and Workshops on New Trends in Database and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4¿7, 2023.The 29 full papers, 25 short papers and 7 doctoral consortium included in this book were carefully reviewed and selected from 148. They were organized in topical sections as follows: ADBIS Short Papers: Index Management & Data Reconstruction, ADBIS Short Papers: Query Processing, ADBIS Short Papers: Advanced Querying Techniques, ADBIS Short Papers: Fairness in Data Management, ADBIS Short Papers: Data Science, ADBIS Short Papers: Temporal Graph Management, ADBIS Short Papers: Consistent Data Management, ADBIS Short Papers: Data Integration, ADBIS Short Papers: Data Quality, ADBIS Short Papers: Metadata Management, Contributions from ADBIS 2023 Workshops and Doctoral Consortium, AIDMA: 1st Workshop on Advanced AI Techniques for Data Management, Analytics, DOING: 4th Workshop on Intelligent Data - From Data to Knowledge, K-Gals: 2nd Workshop on Knowledge Graphs Analysis on a Large Scale, MADEISD: 5th Workshop on Modern Approaches in Data Engineering, Information System Design, PeRS: 2nd Workshop on Personalization, Recommender Systems, Doctoral Consortium.

This book constitutes the refereed proceedings of the 15th IFIP TC 9 International Conference on Human Choice and Computers, HCC15 2022, in Tokyo, Japan, in September 2022.The 17 full papers presented were carefully reviewed and selected from 32 submissions. Summaries of 2 keynote presentations are also included. The papers deal with the constantly evolving intimate relationship between humans and technology. 

This book constitutes the refereed proceedings of the 23rd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2022, held in Lisbon, Portugal, in September 2022.The 55 papers presented were carefully reviewed and selected from 119 submissions. They provide a comprehensive overview of major challenges and recent advances in various domains related to the digital transformation and collaborative networks and their applications with a strong focus on the following areas related to the main theme of the conference: sustainable collaborative networks; sustainability via digitalization; analysis and assessment of business ecosystems; human factors in collaboration 4.0; maintenance and life-cycle management; policies and new digital services; safety and collaboration management; simulation and optimization; complex collaborative systems and ontologies; value co-creation in digitally enabled ecosystems; digitalization strategy in collaborative enterprises' networks; pathways and tools for DIHs; socio-technical perspectives on smart product-service systems; knowledge transfer and accelerated innovation in FoF; interoperability of IoT and CPS for industrial CNs; sentient immersive response network; digital tools and applications for collaborative healthcare; collaborative networks and open innovation in education 4.0; collaborative learning networks with industry and academia; and industrial workshop.

T¿his book constitutes the proceedings of the 36th International Conference on Architecture of Computing Systems, ARCS 2023, which took place in Athens, Greece, in June 2023.The 18 full papers in this volume were carefully reviewed and selected from 35 submissions.ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.Back to top

This book constitutes the refereed proceedings of the 17th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2023), consisting of the 17th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 4th International Joint Conference on Theoretical Computer Science (IJTCS), held in Macau, China, during August 14¿18, 2023.FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science. To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field. The 21 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: algorithmic game theory; algorithms and data structures; combinatorial optimization; and computational economics.

This book constitutes the refereed proceedings of the 22nd China National Conference on Chinese Computational Linguistics, CCL 2023, Harbin, China, August 3¿5, 2023. The 82 full papers included in this book were carefully reviewed and selected from 278 submissions. They were organized in topical sections as follows: ¿Fundamental Theory and Methods of Computational Linguistics, Information Retrieval, Dialogue and Question Answering, Text Generation, Dialogue and Summarization, Knowledge Graph and Information Extraction, Machine Translation and Multilingual Information Processing, Language Resource and Evaluation, Pre-trained Language Models, Social Computing and Sentiment Analysis, NLP Applications.

"A practical guide to designing secure embedded computer systems. Covers key embedded security components like random number generators, cryptographic algorithms, and secure data storage. Later chapters explore advanced concepts such as secure boot and firmware updates, access control, and system monitoring. Features case studies and implementation examples throughout"--

The book covers the prime requirements for a secure Internet of Things (IoT) setup. The book discusses security concerns of an IoT setup by uncovering the present challenges in standardization of data routing, data integrity, device supervision, IoT integration, information storage, IoT performance, and security solutions.

"Smart Embedded Systems: Advances and Applications" is a comprehensive guide that demystifies the complex world of embedded technology.

This book gives a complete overview of cloud computing, its importance, its trends, innovations, and its amalgamation with other technologies. It provides content for reference.

This book covers several essential aspects of pervasive ambient backscatter communication, one of the most cutting-edge technologies for Internet-of-Things. It begins with introductory Part I, which presents visions, basic concepts, principles, and paradigms of ambient backscatter. Also, a taxonomy of state-of-the-art ambient backscatter systems is provided from the perspective of the OSI model. Part II and III study how ambient backscatter systems work on the communication and networking levels. Specifically, Part II discusses in detail how to make use of ambient WiFi signals to provide high-throughput backscatter communications with WiFi 1 (chapter 5), WiFi 2-3 (chapter 4), WiFi 4 (chapter 3), WiFi 5-6 (chapter 6) standards. Further, Part III includes several of the most advanced ambient backscatter network solutions, which are made possible by the first multi-hop backscatter (chapter 7), first backscatter mesh (chapter 8), and multiprotocol backscatter (chapter 9). On top of reliable communication and networks, we propose two novel applications that are thought impossible before, lightweight spatial sound recording over the air (chapter 10) and self-powered wireless wearables for healthcare (chapter 11). To conclude the monograph, we point out critical challenges for realizing the vision of pervasive backscatter IoTs and potential directions of ambient backscatter applications. The book provides an in-depth understanding of ambient backscatter technologies. In particular, we mainly take ubiquitous WiF signals as the communication sources and adopt a top-down approach to introduce three crucial subjects: WiFi backscatter communication, ambient backscatter network, and self-powered application systems. For each subject, we carefully divide it into several relatively independent topics, which come with the latest advances in pervasive backscatter and include extensive discussions of closely related state-of-the-art methodologies.

This book constitutes the refereed proceedings of the 18th International Workshop on Security, IWSEC 2023, which took place as a hybrid event in Yokohama, Japan, during August 29¿31, 2023. This event was held in hybrid mode.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: System and Hardware Security; Symmetric Key Cryptography; Public Key Cryptography; Zero Knowledge Proofs; and Card Based Cryptography.

This book proposes secure schemes to address security challenges in secure automatic dependent surveillance-broadcast systems (ADS-B) from five different angles. First, the authors examine encryption schemes applied to the ADS-B environment for protecting messages confidentiality. Second, they propose an ADS-B broadcast authentication scheme with batch verification by employing an identity-based signature. Third, they present ADS-B broadcast authentication scheme based on a digital signature with message recovery, which provides a feature that the message is recoverable from the signature. Fourth, they propose a new cryptographic solution to ADS-B security. Finally, they propose an accurate and efficient cognitive aircraft location verification scheme preserving aircraft location privacy by utilizing a grid-based k-nearest neighbor algorithm. In summary, the authors show how ADS-B data links can greatly enhance flight safety by these proposed schemes without sacrificing data security.Proposes several secure schemes to address security challenges in secure automatic dependent surveillance-broadcast systems (ADS-B);Provides extensive experiments and evaluates the proposed schemes using real-world data;Shows how ADS-B data links can greatly enhance safety without sacrificing data security

This book is designed to serve as a textbook for courses offered to undergraduate students enrolled in the Electrical, Electronics, Communications, and Instrumentation Engineering disciplines. The book presents a clear and comprehensive introduction to digital signal processing. For easier comprehension, the course contents of all the chapters are in sequential order. A variety of examples and solved problems are included in the book to enable application and ease of understanding of theoretical concepts. Every chapter contains several homework problems with answers followed by question-and-answer-type assignments. The detailed coverage and pedagogical tools make this an ideal textbook for students and researchers enrolled in electrical engineering and related programs.

This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.The 49 full papers presented in this volume were carefully reviewed and selected from 164 submissions. They are covering the following topics: programming, compilers and performance; scheduling, resource management, cloud, edge computing, and workflows; architectures and accelerators; data analytics, AI, and computational science; theory and algorithms; multidisciplinary, and domain-specific and applied parallel and distributed computing.

This book explores the technological developments at various levels of abstraction, of the new paradigm of approximate computing. The authors describe in a single-source the state-of-the-art, covering the entire spectrum of research activities in approximate computing, bridging device, circuit, architecture, and system levels.  Content includes tutorials, reviews and surveys of current theoretical/experimental results, design methodologies and applications developed in approximate computing for a wide scope of readership and specialists.Serves as a single-source reference to state-of-the-art of approximate computing;Covers broad range of topics, from circuits to applications;Includes contributions by leading researchers, from academia and industry.

This book constitutes the refereed proceedings of the 29th International Conference on Collaboration Technologies and Social Computing, CollabTech 2023, held in Osaka, Japan, during August 29¿September 1, 2023, in hybrid mode.The 8 full papers presented in this book together with 12 short papers were carefully reviewed and selected from 31 submissions. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

This book constitutes the proceedings of the 22nd IFIP WG 8.5 International Conference on Electronic Government, EGOV 2023, which took place in Budapest, Hungary, during September 5¿7, 2023.The 28 full papers included in this book were carefully reviewed and selected from a total of 106 submissions. They were organized in topical sections as follows: Digital government; artificial intelligence, algorithms, and automation; open government and open data; smart cities, regions, and societies; innovation and transformation in government.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Reproducible Research in Pattern Recognition, RRPR 2022, held in Montreal, Canada, in August 2022. The 5 revised full papers presented together with 4 short papers, were carefully reviewed and selected from 9 submissions. The papers were organized into three main categories