This book constitutes the proceedings of the 16th International Symposium on Applied Reconfigurable Computing, ARC 2020, held in Toledo, Spain, in April 2020. The 18 full papers and 11 poster presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: design methods & tools; design space exploration & estimation techniques; high-level synthesis; architectures; applications.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Learn Zoom in a flash with step-by-step instructions and clear, full-size screenshots For anyone looking for a fast and easy way to learn the most popular videoconferencing software on the market today, Teach Yourself VISUALLY Zoom is your secret weapon. This hands-on guide skips the long-winded explanations and actually shows you how to do what you need to do in Zoom with full-size, color pictures and screenshots. Whether you're a total newbie to Zoom or you just need to brush up on some of the finer points of this practical software, you'll be up and running in no time at all. From joining and hosting Zoom meetings to protecting your privacy and security while you're online, Teach Yourself VISUALLY Zoom hits all the key features that make online meetings a breeze. You'll also learn to: Integrate Zoom with other apps and share screens and PowerPoints with other meeting attendees Schedule, record, and replay your meetings so you never miss out on the important stuff Update your Zoom installation to ensure you're using the latest security patches and upgrades Perfect for anyone expected to use Zoom at school or at work, Teach Yourself VISUALLY Zoom is the most useful and simplest Zoom handbook currently available.

Algorithmen und Methoden der Peer-to-Peer-Netzwerke mit einem Einblick in die aktuelle Forschung: urspr nglich nur f r File-Sharing konzipiert, aber mittlerweile Paradigma f r Rechnernetzwerke. Dieses Buch vermittelt Lesern ein grundlegendes Verst ndnis und stellt Algorithmen vor, die vielleicht erst in einigen Jahren umgesetzt werden. Das Buch richtet sich in erster Linie an Informatiker (Studenten ab dem 5. Semester). Aber auch interessierte Nichtinfomatiker profitieren von diesem Buch, wobei es grundlegende Kenntnisse der Mathematik und Informatik voraussetzt. Ziele, Kernaussagen und Ergebnisse sollten jedoch allen Lesern klar werden.

This book constitutes the refereed proceedings of the 5th International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT 2020, held in Chicago, USA, in December 2020. Due to COVID-19 pandemic, the conference was held virtually.The 13 full papers were selected from 28 submissions and focus on the development of digital technology and smart grid which enables the smooth integration of centralised or distributed power generation, energy storage, and distribution. The papers are grouped thematically into: Communications, Networks and Services; Security and Stable Control; Internet of Power Things and Big Data.

Implement real-time data processing applications on the Raspberry Pi. This book uniquely helps you work with data science concepts as part of real-time applications using the Raspberry Pi as a localized cloud. You'll start with a brief introduction to data science followed by a dedicated look at the fundamental concepts of Python programming. Here you'll install the software needed for Python programming on the Pi, and then review the various data types and modules available. The next steps are to set up your Pis for gathering real-time data and incorporate the basic operations of data science related to real-time applications. You'll then combine all these new skills to work with machine learning concepts that will enable your Raspberry Pi to learn from the data it gathers. Case studies round out the book to give you an idea of the range of domains where these concepts can be applied. By the end of Data Science with the Raspberry Pi, you'll understand that many applications are now dependent upon cloud computing. As Raspberry Pis are cheap, it is easy to use a number of them closer to the sensors gathering the data and restrict the analytics closer to the edge. You'll find that not only is the Pi an easy entry point to data science, it also provides an elegant solution to cloud computing limitations through localized deployment. What You Will Learn Interface the Raspberry Pi with sensors Set up the Raspberry Pi as a localized cloud Tackle data science concepts with Python on the Pi Who This Book Is For Data scientists who are looking to implement real-time applications using the Raspberry Pi as an edge device and localized cloud. Readers should have a basic knowledge in mathematics, computers, and statistics. A working knowledge of Python and the Raspberry Pi is an added advantage.

This book is about the Arduino microcontroller and the Arduino concept. The visionary Arduino team of Massimo Banzi, David Cuartielles, Tom Igoe, Gianluca Martino, and David Mellis launched a new innovation in microcontroller hardware in 2005, the concept of open-source hardware. Their approach was to openly share details of microcontroller-based hardware design platforms to stimulate the sharing of ideas and promote innovation. This concept has been popular in the software world for many years. In June 2019, Joel Claypool and I met to plan the fourth edition of Arduino Microcontroller Processing for Everyone! Our goal has been to provide an accessible book on the rapidly evolving world of Arduino for a wide variety of audiences including students of the fine arts, middle and senior high school students, engineering design students, and practicing scientists and engineers. To make the book even more accessible to better serve our readers, we decided to change our approach and provide a series of smaller volumes. Each volume is written to a specific audience. This book, Arduino III: Internet of Things, explores Arduino applications in the fascinating and rapidly evolving world of the Internet of Things. Arduino I: Getting Started provides an introduction to the Arduino concept. Arduino II: Systems, is a detailed treatment of the ATmega328 processor and an introduction to C programming and microcontroller-based systems design.

Explore the full capabilities of your Arduino. Whether you need to measure light, heat, mass, force, or conductivity, this book can be used as a complete reference guide for making virtually any scientific measurement with your PC or Linux based system and the Arduino microcontroller. You'll apply the Arduino and sensors to take measurements at the macro-, milli-, micro-, nano- and pico-sensitivity ranges. By working through the projects in this book, you'll learn how to apply these techniques in the lab or field in areas such as weighing samples at the gram or milligram levels, measuring water temperature to a tenth of a degree, or its conductivity in milli or micro Siemens. With these projects, you can reliably measure, store, and experiment with a wide range of scientific data. Arduino Measurements in Science features a novel approach and several little known techniques to measure data that requires only basic and accessible hardware - perfect for the home or school workshop! What You'll Learn Make basic scientific measurements with PCs, and Linux based computing systems Review techniques for weighing measurements down into the double and even single digit milligram Use inexpensive sensors and displays to quantify and validate sensor data Incorporate weighing scales, electrometers, magnetic and static field detectors, motion and vibration detectors, and more Understand the possible noise and accuracy problems that can occur and best practices to refine your projects See the benefits of data validation for graphical data display Who Is This Book For Readers looking to acquire the basic science and engineering skills required to assemble fundamental measurement systems to implement with the simple hand tools found in most home or school workshops.

Changsheng Hua proposes two approaches, an input/output recovery approach and a performance index-based approach for robustness and performance optimization of feedback control systems. For their data-driven implementation in deterministic and stochastic systems, the author develops Q-learning and natural actor-critic (NAC) methods, respectively. Their effectiveness has been demonstrated by an experimental study on a brushless direct current motor test rig. The author: Changsheng Hua received the Ph.D. degree at the Institute of Automatic Control and Complex Systems (AKS), University of Duisburg-Essen, Germany, in 2020. His research interests include model-based and data-driven fault diagnosis and fault-tolerant techniques.

This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. The 12 full papers presented were carefully reviewed and selected from 24 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic engineering. This is a very challenging field, requiring the expertise from diverse domains, ranging from mathematics to solid-state circuit design.

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and adaptive optimization of parallel programs, parallel programming models and languages, formal analysis and verification of parallel programs, parallel runtime systems and libraries, performance analysis and debugging tools for concurrency and parallelism, parallel algorithms and concurrent data structures, parallel applications, synchronization and concurrency control, software engineering for parallel programs, fault tolerance for parallel systems, and parallel programming and compiling for heterogeneous systems.

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 34th International ISC High Performance 2019 Conference, in Frankfurt, Germany, in June 2019: HPC I/O in the Data Center (HPC-IODC), Workshop on Performance & Scalability of Storage Systems (WOPSSS), Workshop on Performance & Scalability of Storage Systems (WOPSSS), 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18), 3rd International Workshop on In Situ Visualization: Introduction and Applications, ExaComm: Fourth International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, International Workshop on OpenPOWER for HPC (IWOPH18), IXPUG Workshop: Many-core Computing on Intel, Processors: Applications, Performance and Best-Practice Solutions, Workshop on Sustainable Ultrascale Computing Systems, Approximate and Transprecision Computing on Emerging Technologies (ATCET), First Workshop on the Convergence of Large Scale Simulation and Artificial Intelligence, 3rd Workshop for Open Source Supercomputing (OpenSuCo), First Workshop on Interactive High-Performance Computing, Workshop on Performance Portable Programming Models for Accelerators (P^3MA). The 48 full papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.

For the first time microcontrollers are powerful enough to be programmed in Python. The landscape of embedded systems development is changing, microcontrollers are becoming more powerful, and the rise of the internet of things is leading more developers to get into hardware. This book provides the solid foundation to start your journey of embedded systems development and microcontroller programming with Python. You'll quickly realize the value of using Python. The theme of the book is simplicity and the cleanness and elegance of Python makes that possible. Featuring a step-by-step approach, this single source guide balances complexity and clarity with insightful explanations that you'll easily grasp. Python is quickly becoming the language of choice for applications such as machine learning and computer vision on embedded devices. What would previously be daunting and exceedingly difficult to do in C or C++ is now possible with Python because of its level of abstraction. Programming Microcontrollers with Python is your path to bringing your existing skills to the embedded space. What You'll Learn Review microcontroller basics and the hardware and software requirements Understand an embedded system's general architecture Follow the steps needed to carry a product to market Take a crash course in Python programming Program a microcontroller Interface with a microcontroller using LCD and Circuit Python Use and control sensors Who This Book Is For Those getting started with microcontrollers, those new to C, C++, and Arduino programming, web developers looking to get into IoT, or Python programmers who wish to control hardware devices.

Component technologies like Enterprise JavaBeans (EJB), COM+ and CORBA Components (CCM) have become mainstream in many application domains. Developers and architects who use this technology in their everyday work need to know more about component infrastructures than the API's of the respective technology. And this is the book they need.

The first part of the book introduces a pattern language that describes how server-side component infrastructures work internally. It does not only adress the basic building blocks and their interactions. It also provides details about the reasons and rationales for this kind of system architecture. For each pattern, the book provides short examples of how it is implemented in EJB, CCM and COM+. These examples thus also serve as a good comparison of those three mainstream component infrastructures.

The second part of the book uses EJB technology to provide even more detailed examples for the patterns, including UML diagrams and extensive source code. Also serving as a comprehensive overview of EJB, it introduces it from the architectural viewpoint and for the developer highlights the consequences of working with that architecture.

Part three offers another approach to the material: a conversation between two people that describes how a concrete application has been built using component technology, focusing on the benefits of this approach.

After reading this book you will:

• understand the principles and patterns of server-side component infrastructures
• be able to design your own proprietary component infrastructures for specific projects
• have learnt about the commonalities and differences between EJB, CCM and COM+
• gain a comprehensive overview of EJB technology
• see how server-side component infrastructures can be used to great benefit in a real application

Learn how to use a Raspberry Pi in conjunction with an Arduino to build a basic robot with advanced capabilities. Getting started in robotics does not have to be difficult. This book is an insightful and rewarding introduction to robotics and a catalyst for further directed study. Fully updated to cover the Raspberry Pi 4 with its better processor and memory, discover new ways to work with Computer Vision. You'll be led step by step through the process of building a robot that uses the power of a Linux based computer paired with the simplicity of Arduino. You'll learn why the Raspberry Pi is a great choice for a robotics platform; its strengths as well as its shortcomings; how to overcome these limitations by implementing an Arduino; and the basics of the Python programming language as well as some of the more powerful features. With the Raspberry Pi you can give your project the power of a Linux computer, while Arduino makes interacting with sensors and motors very easy. These two boards are complimentary in their functions; where one falters the other performs admirably. The book also includes references to other great works to help further your growth in the exciting, and now accessible, field of smart robotics. As a bonus, the final chapter of the book demonstrates the real power of the Raspberry Pi by implementing a basic vision system. Using OpenCV and a standard USB web cam, you will build a robot that can chase a ball. What You'll Learn Install Raspbian, the operating system that drives the Raspberry Pi Drive motors through an I2C motor controller Read data through sensors attached to an Arduino Who This Book Is For Hobbyists and students looking for a rapid start in robotics. It assumes no technical background. Readers are guided to pursue the areas that interest them in more detail as they learn.

This book constitutes the refereed proceedings of the 14th China Conference on Wireless Sensor Networks, CWSN 2020 held in Dunhuang, China, in September 2020.The 20 full papers were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on wireless sensor network theory and technology, basic theory and application of internet of things, internet of things security and privacy protection, and perception and positioning.

Electronic textiles (e-textiles) involves the combination of electronics and textiles to form "smart" textile products. It is an emerging technology with immense opportunities in the field of wearables fashion technology. And while there are many e-textile development platforms available on the market, this book uses the Wearic smart textile kit, a modular prototyping platform, to get you building projects and experiments easily and quickly. This book presents the essential skills required to get started developing e-textiles. The code presented is built using MakeCode blocks, an easy-to-use visual programming language. You'll use the BBC micro:bit microcontroller for all the projects, and with few exceptions, they require no soldering and wiring. In the end, you'll be able to apply and sew electronics to wearables, garments, and fabrics in this emerging technology. Beginning e-Textile Development presents the essential components to get you started with developing e-textiles. What You'll Learn Program with the BBC micro:bit Add lights to your wearables using LED textiles Use different textile sensors to measure heat, detect water, actuate attachments, and enable sense touch and pressure Actuate attachments on wearables with muscle activity and heartbeat Make chemistry-based color-changing fabrics using thermochromic pigments Utilize Bluetooth Low Energy to send sensor data to mobile apps and WiFi to send sensor data to the ThingSpeak IoT analytics platform service Who This Book Is For Beginners to the e-textile industry seeking a comprehensive toolkit. Fashion designers, Makers, engineers, scientists, and students can all benefit from this book.

This book introduces readers to a reconfigurable chip architecture for future wireless communication systems, such as 5G and beyond. The proposed architecture perfectly meets the demands for future mobile communication solutions to support different standards, algorithms, and antenna sizes, and to accommodate the evolution of standards and algorithms. It employs massive MIMO detection algorithms, which combine the advantages of low complexity and high parallelism, and can fully meet the requirements for detection accuracy. Further, the architecture is implemented using ASIC, which offers high energy efficiency, high area efficiency and low detection error. After introducing massive MIMO detection algorithms and circuit architectures, the book describes the ASIC implementation for verifying the massive MIMO detection. In turn, it provides detailed information on the proposed reconfigurable architecture: the data path and configuration path for massive MIMO detection algorithms, including the processing unit, interconnections, storage mechanism, configuration information format, and configuration method.

Harness the untapped potential of combining a decentralized Internet of Things (IoT) with the ability to make predictions on real-world fuzzy data. This book covers the theory behind machine learning models and shows you how to program and assemble a voice-controlled security. You'll learn the differences between supervised and unsupervised learning and how the nuts-and-bolts of a neural network actually work. You'll also learn to identify and measure the metrics that tell how well your classifier is doing. An overview of other types of machine learning techniques, such as genetic algorithms, reinforcement learning, support vector machines, and anomaly detectors will get you up and running with a familiarity of basic machine learning concepts. Chapters focus on the best practices to build models that can actually scale and are flexible enough to be embedded in multiple applications and easily reusable. With those concepts covered, you'll dive into the tools for setting up a network to collect and process the data points to be fed to our models by using some of the ubiquitous and cheap pieces of hardware that make up today's home automation and IoT industry, such as the RaspberryPi, Arduino, ESP8266, etc. Finally, you'll put things together and work through a couple of practical examples. You'll deploy models for detecting the presence of people in your house, and anomaly detectors that inform you if some sensors have measured something unusual. And you'll add a voice assistant that uses your own model to recognize your voice. What You'll Learn Develop a voice assistant to control your IoT devices Implement Computer Vision to detect changes in an environment Go beyond simple projects to also gain a grounding machine learning in general See how IoT can become "smarter" with the inception of machine learning techniques Build machine learning models using TensorFlow and OpenCV Who This Book Is For Makers and amateur programmers interested in taking simple IoT projects to the next level using TensorFlow and machine learning. Also more advanced programmers wanting an easy on ramp to machine learning concepts.

This volume contains 8 lecture notes of the 16th Reasoning Web Summer School (RW 2020), held in Oslo, Norway, in June 2020. The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year's summer school was "Declarative Artificial Intelligence" and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures have been presented during the school: Introduction to Probabilistic Ontologies, On the Complexity of Learning Description Logic Ontologies, Explanation via Machine Arguing, Stream Reasoning: From Theory to Practice, First-Order Rewritability of Temporal Ontology-Mediated Queries, An Introduction to Answer Set Programming and Some of Its Extensions, Declarative Data Analysis using Limit Datalog Programs, and Knowledge Graphs: Research Directions.

This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.*The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications. * The conference was held virtually due to the COVID-19 pandemic.

This book covers new developments and advances in the field of Computational Strategies for next-generation computing. The contributing authors share diverse perspectives on and extensive discussions of issues concerning the theory, applications, and future prospects. Addressing computing methodologies, hardware information systems and networks, this interdisciplinary book will appeal to all scholars with an interest in computing methodologies, hardware information systems and networks.

Plasma-based techniques are widely and successfully used across the field of materials processing, advanced nanosynthesis, and nanofabrication. The diversity of currently available processing architectures based on or enhanced by the use of plasmas is vast, and one can easily get lost in the opportunities presented by each of these configurations. This mini-book provides a concise outline of the most important concepts and architectures in plasma-assisted processing of materials, helping the reader navigate through the fundamentals of plasma system selection and optimization. Architectures discussed in this book range from the relatively simple, user-friendly types of plasmas produced using direct current, radio-frequency, microwave, and arc systems, to more sophisticated advanced systems based on incorporating and external substrate architectures, and complex control mechanisms of configured magnetic fields and distributed plasma sources.

Increase your iPad IQ with this genius-level guide to the Apple iPad If you want to squeeze every last bit of incredible from your Apple iPad we've got you covered with this newly revised iPad Portable Genius. Want to learn how to connect to a network? How to configure your tablet? How to surf the web more comfortably? All while keeping your identity and accounts private and secure? With the iPad Portable Genius as your guide, you'll unlock the full potential of your iPad in no time at all. You'll learn how to: Get the most out of sending and receiving your email Have fun with your images and take crystal-clear photos every time Shoot and edit video right on your iPad Manage your busy schedule with calendars Perfect for anyone looking to save time and reveal the true power and flexibility of their iPad, the iPad Portable Genius, Fourth Edition contains all the new, engaging, and extensively illustrated info you need to master your tablet.

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.