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.

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 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.

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.

Build your own Internet of Things (IoT) projects for prototyping and proof-of-concept purposes.Updated for the Raspberry Pi 4 and other recent boards, this book contains the tools needed to build a prototype of your design, sense the environment, communicate with the Internet (over the Internet and Machine to Machine communications) and display the results. Raspberry Pi IoT Projects, 2nd Edition provides several IoT projects and designs shown from the start to the finish including an IoT Heartbeat Monitor, an IoT Swarm, IoT Solar Powered Weather Station, an IoT iBeacon Application and a RFID (Radio Frequency Identification) IoT Inventory Tracking System. The software is presented as reusable libraries, primarily in Python and C with full source code available, making this version a valuable learning resource for classrooms and learning labs. What You'll Learn Create IOT projects with the Raspberry Pi Talk to sensors with the Raspberry Pi Use iBeacons with the IOT Raspberry Pi Communicate your IOT data to the Internet Build security into your IOT device Who This Book Is ForPrimary audience are those with some technical background, but not necessarily engineers. It will also appeal to technical people wanting to learn about the Raspberry Pi in a project-oriented method.

In this DIY guide, you will learn how to use Arduino - the open-source hardware board for makers, hobbyists, and inventors. You will learn how to develop your own projects, create prototypes, and produce professional-quality embedded systems. A simple step-by-step demonstration system accompanies you from vision to reality - and just like riding a bike, you'll get better at it, the more you do it. Featuring a wealth of detailed diagrams and more than 50 fully functional examples, this book will help you get the most out of this versatile tool and bring your electronic inventions to life.

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.

Learn the five key skills needed to become a quadcopter developer: design, modeling, control, simulation, and implementation. This book provides a crash course on drone development for beginners and can also serve as a comprehensive reference for those who want a detailed guide for future projects. You'll review key features often missed in other books: a deeper review of controls, step by step modeling, and methods for simulating and designing drones. Although the quadcopter is used as the main example throughout the book, you'll also see how to apply the development knowledge to other aircrafts or aerial systems. Highly visual and easy to understand, this book features Simulink and Matlab tools, but the skills covered can be used in other environments such as Scilab or other programming languages. Drones To Go merges maker knowledge and technical information with scientific knowledge and design essentials. What You'll Learn Review the main families of control: geometric, linear, and common dynamic feedback control Understand the mathematics of a quadcopter Follow step-by-step instructions on modeling and control equations Focus on pedagogical development to answer any doubts in the design process Who This Book Is For Makers to scientists

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.

Quickly start programming with Linux while learning the Raspberry Pi OS-the Linux distribution designed specifically for low-cost Raspberry Pis. This short guide reviews Linux commands, GUI, and shell scripting in a holistic manner by diving into both advanced and day-to-day tasks using the Raspberry Pi OS. You'll comfortably work with the Linux command prompt, and explore the RPi OS GUI and all its base applications. Then move into writing your own programs with shell-programming and using high-level languages such as C, C++, and Python 3. You'll also study hardware and GPIO programming. Use Python 3 for GPIO programming to drive LEDs and pushbuttons. Examples are written in Shell, C, C++, and Python 3. Graphical output is displayed in helpful screenshots that capture just what you'll see when working in this environment. All code examples are well tested on actual Raspberry Pi boards. After reading this book and following the examples, you'll be able to write programs for demonstration in your academic/industrial research work, business environment, or just your circle of friends for fun! What You'll Learn Navigate the core aspects of Linux and programming on a Linux platform Install Raspberry Pi OS on a Raspberry Pi Program in Shell, C, C++, and Python Redirect Io and work with the crontab Who This Book Is For Linux enthusiasts, software engineers, researchers, business analysts, and managers working with the low-cost Raspberry Pi.

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.

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A'quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions. They are organized in topical sections as follows: microservices; uncertainty, self-adaptive, and open systems; model-based approaches; performance and security engineering; architectural smells and source code analysis; education and training; experiences and learnings from industrial case studies; and architecting contemporary distributed systems. In the Industrial Track, 11 submissions were received and 6 were accepted to form part of these proceedings. In addition the book contains 3 keynote talks. Due to the Corona pandemic ECSA 2020 was held as an virtual event.

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.

Explore the capabilities of the NVIDIA Jetson Nano, an IoT device designed to perform computations like a computer desktop. This book will show you how to build your first project and optimize your devices, programs, and daily activities with the AI computation abilities of the Jetson Nano. This board consists of CPU Quad-core ARM A57 @ 1.43 GHz and GPU 128-core Maxwell. With this hardware specification, the board can run multiple neural networks in parallel for complex AI applications. With the integrated sensor and actuators, this board enables stronger IoT solutions and provides more advanced capabilities. Discover how develop complex IoT projects with the Jetson Nano today. What You'll Learn Set up NVIDIA Jetson Nano device Build applications like image classification, object detection, segmentation, and speech processing Use the Jetson Nano to process daily computer activities such as browsing the internet, checking emails, or playing music and videos Implement machine learning computations into your projects Who This Book Is For Makers, developers, students, and professional of all levels who are new to the NVIDIA Jetson Nano technology.

This book constitutes refereed proceedings of the 14th International Conference on Parallel Computational Technologies, PCT 2020, held in May 2020. Due to the COVID-19 pandemic the conference was held online.The 22 revised full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Develop Internet of Things projects with Sketch to build your Arduino programs. This book is a quick reference guide to getting started with Nano 33 IoT, Arduino's popular IoT board. You'll learn how to access the Arduino I/O, understand the WiFi and BLE networks, and optimize your board by connecting it to the Arduino IoT Cloud. Arduino Nano 33 IoT is designed to build IoT solutions with supported WiFi and BLE networks. This board can be easily extend through I/O pins, sensors and actuators. Beginning Arduino Nano 33 IoT is the perfect solution for those interested in learning how to use the latest technology and project samples through a practical and content-driven approach. What You'll Learn Prepare and set up Arduino Nano 33 IoT board Operate Arduino Nano 33 IoT board hardware and software Develop programs to access Arduino Nano 33 IoT board I/O Build IoT programs with Arduino Nano 33 IoT board Who This Book Is For Makers, developers, students, and professional of all levels.

This book constitutes the refereed proceedings of the Second International Symposium on Benchmarking, Measuring, and Optimization, Bench 2019, held in Denver, CO, USA, in November 2019. The 20 full papers and 11 short papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections named: Best Paper Session; AI Challenges on Cambircon using AIBenc; AI Challenges on RISC-V using AIBench; AI Challenges on X86 using AIBench; AI Challenges on 3D Face Recognition using AIBench; Benchmark; AI and Edge; Big Data; Datacenter; Performance Analysis; Scientific Computing.

This book constitutes the refereed proceedings of the 35th International Conference on High Performance Computing, ISC High Performance 2020, held in Frankfurt/Main, Germany, in June 2020.*The 27 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers cover a broad range of topics such as architectures, networks & infrastructure; artificial intelligence and machine learning; data, storage & visualization; emerging technologies; HPC algorithms; HPC applications; performance modeling & measurement; programming models & systems software. *The conference was held virtually due to the COVID-19 pandemic. Chapters "Scalable Hierarchical Aggregation and Reduction Protocol (SHARP) Streaming-Aggregation Hardware Design and Evaluation", "Solving Acoustic Boundary Integral Equations Using High Performance Tile Low-Rank LU Factorization", "Scaling Genomics Data Processing with Memory-Driven Computing to Accelerate Computational Biology", "Footprint-Aware Power Capping for Hybrid Memory Based Systems", and "Pattern-Aware Staging for Hybrid Memory Systems" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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.