Using the Pi Camera and a Raspberry Pi board, expand and replicate interesting machine learning (ML) experiments. This book provides a solid overview of ML and a myriad of underlying topics to further explore. Non-technical discussions temper complex technical explanations to make the hottest and most complex topic in the hobbyist world of computing understandable and approachable. Machine learning, also commonly referred to as deep learning (DL), is currently being integrated into a multitude of commercial products as well as widely being used in industrial, medical, and military applications. It is hard to find any modern human activity, which has not been "touched" by artificial intelligence (AI) applications. Building on the concepts first presented in Beginning Artificial Intelligence with the Raspberry Pi, you'll go beyond simply understanding the concepts of AI into working with real machine learning experiments and applying practical deep learning concepts to experiments with the Pi board and computer vision. What you learn with Machine Learning with the Raspberry Pi can then be moved on to other platforms to go even further in the world of AI and ML to better your hobbyist or commercial projects. What You'll Learn Acquire a working knowledge of current ML Use the Raspberry Pi to implement ML techniques and algorithms Apply AI and ML tools and techniques to your own work projects and studies Who This Book Is For Engineers and scientists but also experienced makers and hobbyists. Motivated high school students who desire to learn about ML can benefit from this material with determination.

Die Quantenwelt ist langst im Alltag angekommen, ohne dass es vielen bewusst ist. Dazu gehoeren Transistoren, Dioden und Laser, die aus Alltagsgeraten nicht mehr fortzudenken sind. Nach dieser ersten Generation der Quantentechnologien leben wir derzeit in der zweiten Generation, in der Grundprinzipien der Quantenmechanik gezielt in quantenmechanischen Geraten umgesetzt werden. Dazu gehoeren erste Prototypen von Quantencomputern, klassische Supercomputer mit Quantensimulation, Quantenkryptographie und Quantenkommunikation, Quantensensorik und Quantenmesstechnik. Was Einstein 1935 als spukhafter Effekt vorkam, ist langst Grundlage umwalzender Quantenkommunikation in Glasfasernetzen und Satellitentechnik, die ein zukunftiges Quanteninternet ankundigt. Quantencomputer als Mehrzweckrechner sind nur die Spitze des Eisbergs mit einer Technologie, die sich schrittweise als Netzwerk unserer Zivilisation ausbreitet. Umso dringender ist es, die Grundlagen der Quantenwelt als Hintergrund dieser Technologie zu verstehen. Grundlagen und Zusammenhange begreifen, von den mathematischen und physikalischen Grundlagen bis zu den technischen Anwendungen, ist ein zentrales Ziel des Buchs. Ein weiteres Anliegen dieses Buchs ist das Zusammenwachsen mit der Kunstlichen Intelligenz. In meinem Buch "Kunstliche Intelligenz. Wann ubernehmen die Maschinen?" (Springer 2. Aufl. 2019) wird Machine learning herausgestellt, das Automatisierung in Robotik, Industrie- und Arbeitswelt verwirklicht. Mit Quantentechnologie, Quantencomputer und kunstlicher Intelligenz zeichnet sich aber nicht nur eine Potenzierung neuer Moeglichkeiten ab, sondern auch von Gefahrdungen. Daher erhebt sich die Forderung nach fruhzeitiger Technikgestaltung, damit Quantentechnologie und Kunstliche Intelligenz sich als Dienstleistung in der Gesellschaft bewahren.

Maintaining and Troubleshooting Your 3D Printer by Charles Bell is your guide to keeping your 3D printer running through preventive maintenance, repair, and diagnosing and solving problems in 3D printing. If you've bought or built a 3D printer such as a MakerBot only to be confounded by jagged edges, corner lift, top layers that aren't solid, or any of a myriad of other problems that plague 3D printer enthusiasts, then here is the book to help you get past all that and recapture the joy of creative fabrication. The book also includes valuable tips for builders and those who want to modify their printers to get the most out of their investment. Good fabrication begins with calibration. Aligning the print bed to support deposition of medium in three dimensions is critical. Even off-the-shelf machines that are pre-built must be aligned and periodically realigned throughout their life cycle. Maintaining and Troubleshooting Your 3D Printer helps you achieve and hold proper alignment. Maintaining and Troubleshooting Your 3D Printer also helps with software and hardware troubleshooting. You'll learn to diagnose and solve firmware calibration problems, filament and feed problems, chassis issues, and more. Finally there are regular maintenance and enhancements. You've invested significantly in your 3D printer. Protect that investment using the guidance in this book. Learn to clean and lubricate your printer, to maintain the chassis, and know when realignment of the print bed is needed. Learn ways to master your craft and improve the quality of your prints through such things as post-print finishing and filament management. Don't let the challenges of 3D printing stand in the way of creativity. Maintaining and Troubleshooting Your 3D Printer by Charles Bell helps you conquer the challenges and get the most benefit from your expensive investment in personal fabrication.

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

Learn how to program your nifty new $35 computer to make a web spider, a weather station, a media server, and more. This book explores how to make a variety of fun and even useful projects, from a web bot to search and download files to a toy to drive your pets insane. Even if you're completely new to programming in general, you'll see how easy it is to create a home security system, an underwater photography system, an RC plane with a camera, and even a near-space weather balloon with a camera. You'll learn how to use Pi with Arduino as well as Pi with Gertboard, an expansion board with an onboard ATmega microcontroller.Learn Raspberry Pi Programming with Python has been fully updated in this new edition to cover the features of the new boards. You'll learn how to program in Python on your Raspberry Pi with hands-on examples and fun projects. What You'll Learn Set up your new Raspberry Pi Build unique projects across a range of interests Program basic functions and processes using Python Who This Book Is For Readers who want to learn Python on a fun platform like the Pi and pick up some electronics skills along the way. No programming or Linux skill required, but a little experience with Linux will be helpful. Readers familiar with the 1st edition will enjoy the updated information in this new edition.

I am honored and delighted to write the foreword to this very first book about SystemC. It is now an excellent time to summarize what SystemC really is and what it can be used for. The main message in the area of design in the 2001 International Te- nologyRoadmapfor Semiconductors (ITRS) isthat"cost ofdesign is the greatest threat to the continuation ofthe semiconductor roadmap. " This recent revision of the ITRS describes the major productivity improvements of the last few years as "small block reuse," "large block reuse ," and "IC implementation tools. " In order to continue to reduce design cost, the - quired future solutions will be "intelligent test benches" and "embedded system-level methodology. " As the new system-level specification and design language, SystemC - rectly contributes to these two solutions. These will have the biggest - pact on future design technology and will reduce system implementation cost. Ittook SystemC less than two years to emerge as the leader among the many new and well-discussed system-level designlanguages. Inmy op- ion, this is due to the fact that SystemC adopted object-oriented syst- level design-the most promising method already applied by the majority of firms during the last couple of years. Even before the introduction of SystemC, many system designers have attempted to develop executable specifications in C++. These executable functional specifications are then refined to the well-known transaction level, to model the communication of system-level processes.

Your all-inclusive guide to Windows 10 Anniversary Edition Windows 10 Bible, Anniversary Update presents the ultimate reference for enterprise and professional Windows 10 Anniversary Update users. From setup and settings to networking and the daily workflow, this book provides expert guidance on all aspects of the OS. Read from beginning to end for a comprehensive tour of all of the nooks and crannies, or dip in as needed to find quick answers to your most pressing issues formatted as a reference divided into mini-tutorials, this guide delves deep into the Windows 10 Anniversary Update to walk you through every inch of functionality. Personalize your settings, desktop, and security to augment the way you work; configure Windows 10 for enterprise with remote access, groups, and Hyper-V; set up a private network for two or 20 computers, and manage security to keep your content safe everything you need to know is explained here. This book provides clear, authoritative guidance toward every aspect of the old and new to help you take advantage of everything Windows 10 Anniversary Update has to offer. * Customize your Windows 10 Anniversary Update experience * Install and remove hardware and software * Set up your network and configure security * Manage content, connect to printers, and troubleshoot issues Clear your to-do list faster than ever with Cortana voice commands, Windows Ink, Windows Hello, and a cross-platform capability that allows you to integrate a range of platforms including tablets, phones, Raspberry Pi, and even Xbox. Even if you're an experienced user, you're probably missing out on some very cool features let the Windows 10 Bible, Anniversary Update fill the gaps and take your Windows 10 experience to the next level.

This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022. The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud computing; deep learning; emerging applications; and storage and IO.

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: * All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed * Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period * Connections are drawn from the physical analog world to the digital abstraction * The language of graphs is used to describe formulas and circuits * Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.

Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product. Master Microsoft SharePoint 2010In How to Do Everything: Microsoft SharePoint 2010, Stephen Cawood--a former member of the SharePoint development team--explains how to get the most out of this powerful business collaboration platform. Learn how to use document management functions, wikis, taxonomy, blogs, My Sites, web parts, and more. Take full advantage of the content management, enterprise search, collaboration, and information-sharing capabilities of SharePoint 2010 with help from this practical guide. Set up a SharePoint site Add documents, use the SharePoint content approval workflow, and work with document versioning features Collaborate with others during discussion boards, blogs, wikis, events, surveys, calendars, and workspaces Use social tagging to create a folksonomy of keywords Create a taxonomy hierarchy using Enterprise Managed Metadata Build publishing sites, My Sites, and public-facing websites Show data on pages using web parts Customize lists, forms, site themes, and navigation Use SharePoint with client applications, including Microsoft Office Backstage, Outlook, InfoPath, SharePoint Designer, and third-party applications

Based on a convergence of network technologies, the Next Generation Network (NGN) is being deployed to carry high quality video and voice data. In fact, the convergence of network technologies has been driven by the converging needs of end-users. The perceived end-to-end quality is one of the main goals required by users that must be guaranteed by the network operators and the Internet Service Providers, through manufacturer equipment. This is referred to as the notion of Quality of Experience (QoE) and is becoming commonly used to represent user perception. The QoE is not a technical metric, but rather a concept consisting of all elements of a user's perception of the network services. The authors of this book focus on the idea of how to integrate the QoE into a control-command chain in order to construct an adaptive network system. More precisely, in the context of Content-Oriented Networks used to redesign the current Internet architecture to accommodate content-oriented applications and services, they aim to describe an end-to-end QoE model applied to a Content Distribution Network architecture. About the Authors Abdelhamid Mellouk is Full Professor at University of Paris-Est C-VdM (UPEC), Networks & Telecommunications (N&T) Department and LiSSi Laboratory, France. Head of several executive national and international positions, he was the founder of the Network Control Research activity at UPEC with extensive international academic and industrial collaborations. His general area of research is in adaptive real-time control for high-speed new generation dynamic wired/wireless networks in order to maintain acceptable Quality of Service/Experience for added-value services. He is an active member of the IEEE Communications Society and has held several offices including leadership positions in IEEE Communications Society Technical Committees. Said Hoceini is Associate Professor at University of Paris-Est C-VdM (UPEC), Networks & Telecommunications (N&T) Department and LiSSi Laboratory, France. His research focuses on routing algorithms, quality of service, quality of experience, and wireless sensor networks, as well as bio-inspired artificial intelligence approaches. His work has been published in several international conferences and journals and he serves on several TPCs. Hai Anh Tran is Associate Professor at the Hanoi University of Science and Technology (HUST), Vietnam. His research focuses on QoE aspects, QoS adaptive control/command mechanisms, wired routing, as well as bio-inspired artificial intelligence approaches.

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

This book presents how federated learning helps to understand and learn from user activity in Internet of Things (IoT) applications while protecting user privacy. The authors first show how federated learning provides a unique way to build personalized models using data without intruding on users' privacy. The authors then provide a comprehensive survey of state-of-the-art research on federated learning, giving the reader a general overview of the field. The book also investigates how a personalized federated learning framework is needed in cloud-edge architecture as well as in wireless-edge architecture for intelligent IoT applications. To cope with the heterogeneity issues in IoT environments, the book investigates emerging personalized federated learning methods that are able to mitigate the negative effects caused by heterogeneities in different aspects. The book provides case studies of IoT based human activity recognition to demonstrate the effectiveness of personalized federated learning for intelligent IoT applications, as well as multiple controller design and system analysis tools including model predictive control, linear matrix inequalities, optimal control, etc. This unique and complete co-design framework will benefit researchers, graduate students and engineers in the fields of control theory and engineering.

Sean McManus und Mike Cook fA1/4hren Sie Schritt fA1/4r Schritt in die Nutzung des Raspberry Pi ein und verschaffen Ihnen einen A berblick A1/4ber all die MAglichkeiten, die er Ihnen bietet. Sie zeigen Ihnen, wie Sie den Raspberry Pi zum Laufen bringen, sich unter Linux zurechtfinden, den Raspberry Pi als ganz normalen Computer mit Office- und Bildverarbeitungsprogrammen oder als Mediencenter zum Abspielen von Musik und Videos nutzen. AuA erdem lernen Sie, wie Sie die Platine mit Scratch und Python programmieren, und erfahren alles A1/4ber die Verwendung des Raspberry Pi als Steuereinheit fA1/4r elektronisches Spielzeug.

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: * All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed * Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period * Connections are drawn from the physical analog world to the digital abstraction * The language of graphs is used to describe formulas and circuits * Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.

This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanations The material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.

Rapidly prototype and program new IoT and Edge solutions using low-cost Maker tech, such as those from Arduino, Raspberry Pi and Nvidia. With a focus on the electronics, this book allows experienced computer science students as well as researchers, practitioners, and even hobbyists to dive right into actual engineering of prototypes and not just theoretical programming and algorithms. You'll learn to interface sensors, work with various communication mediums, incorporate wired and wireless communication protocols, and more with these single board computers. All while working in the popular Python programming language. Additionally, you'll discover both scripting-based and drag and drop solutions for different problems. As well as a variety of useful, data gathering approaches. Then you can apply what you've learned to IoT projects and troubleshooting Industry 4.0 problems. The rapid growth of technology and new development initiatives has made the Internet of Things and Edge analytics an inevitable platform in all engineering domains. The need for sophisticated and ambient environments controlled by tech has resulted in an exponential growth of automation and artificial intelligence. Internet of Things Using Single Board Computers reflects these recent developments while providing a low-cost, easy ramp into the fields of IoT using single board computers and Python programming. What You'll Learn Program Arduino, Raspberry Pi, and Nvidia boards for rapid prototyping in IoT and Edge environments Interface sensors, communication mediums, and wired and wireless communications into your programs and projects. Study practical applications of these low-cost solutions in fields such as home automation, smart cities, electrical vehicle charging, and more. Who This Book is For Engineers and hobbyists working on Internet of Things prototypes and applications. Basic skills in electronics and a working knowledge of Python are recommended. Engineers and scientists working on smart environment projects and smart city applications will also benefit.

This book constitutes the proceedings of the 26th International Symposium on VLSI Design and Test, VDAT 2022, which took place in Jammu, India, in July 2022. The 32 regular papers and 16 short papers presented in this volume were carefully reviewed and selected from 220 submissions. They were organized in topical sections as follows: Devices and Technology; Sensors; Analog/Mixed Signal; Digital Design; Emerging Technologies and Memory; System Design.

Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erlautert. Ausgewahlte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausfuhrlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalitat ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches."

This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions. This workshop focuses on IoT attacks and defenses and discusses either practical or theoretical solutions to identify IoT vulnerabilities and IoT security mechanisms.

Desktop Grid Computing presents common techniques used in numerous models, algorithms, and tools developed during the last decade to implement desktop grid computing. These techniques enable the solution of many important sub-problems for middleware design, including scheduling, data management, security, load balancing, result certification, and fault tolerance. The book's first part covers the initial ideas and basic concepts of desktop grid computing. The second part explores challenging current and future problems. Each chapter presents the sub-problems, discusses theoretical and practical issues, offers details about implementation and experiments, and includes references to further reading and notes. One of the first books to give a thorough and up-to-date presentation of this topic, this resource describes various approaches and models as well as recent trends that underline the evolution of desktop grids. It balances the theory of designing desktop grid middleware and architecture with applications and real-world deployment on large-scale platforms.

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering in formal methods.

Improve the video multimedia services you work on or develop using tools from video service technologies such as Netflix, Disney+, YouTube, and Skype. This book introduces you to the core technologies that enable Metaverse XR (eXtended Reality) services and advanced video multimedia streaming services. First, you'll find out about the current and future trends in Metaverse and video streaming services. XR is a combination of technologies that include MR, AR, VR, voice recognition systems, haptic and 3D-motion UIs, as well as head mounted displays) like Microsoft Hololens 2 and Oculus Quest 2. You'll review metaverse services XR applications and learn more about the core XR feature extraction technologies. With XR capabilities mastered, you can move into the main technologies for video streaming services like Netflix, Disney+, and YouTube. You'll also about video formats, such as H.264, MPEG-4 AVC, H.265, MPEG-5, and MPEG-DASH. As well as online hosting services like content delivery network (CDN), mobile CDN, and Amazon Web Services (AWS). Additional details on content aging and updating operations along with CDN popularity predictions and contents update techniques, such as, Least Recently Used (LRU) and east Frequently Used (LFU) strategies are introduced. All these technologies enable fast, efficient, reliable, and adaptable video streaming services. They also allow for video conferencing services like Zoom, Skype and WebEx. By the time you've finished reading, you'll understand how these technologies converge into the Metaverse and and offer a wide variety of development opportunities for video streaming. What You'll Learn Incorporate core AI techniques and extraction XR algorithms Enable fast, efficient, and reliable video streaming in your product, service, or app Update content with CDN popularity predictions Explore the Netflix Open Connect CDN model and characteristics Understand the operations of modern video and multimedia systems Become a leader in metaverse and video multimedia services and products. Who This Book Is For Developers, product managers, hobbyists, and students interested in learning how Metaverse XR and video streaming work and can be developed.

This book is an invaluable reference for those operating within the fields of Cyber Security, Digital Forensics, Digital Policing, Computer Science and Artificial Intelligence. The Internet of Things (IoT) ecosystem presents a wide range of consumer, infrastructure, organisational, industrial and military applications. The IoT technologies such as intelligent health-connected devices; unmanned aerial vehicles (UAVs); smart grids; cyber-physical and cyber-biological systems; and the Internet of Military/Battlefield Things offer a myriad of benefits both individually and collectively. For example, implantable devices could be utilised to save or enhance patients' lives or offer preventative treatments. However, notwithstanding its many practical and useful applications, the IoT paradigm presents numerous challenges spanning from technical, legal and investigative issues to those associated with security, privacy and ethics. Written by internationally-renowned experts in the field, this book aims to contribute to addressing some of these challenges. Lawyers, psychologists and criminologists could also find this book a very valuable resource at their disposal, and technology enthusiasts might find the book interesting. Furthermore, the book is an excellent advanced text for research and master's degree students as well as undergraduates at their final years of studies in the stated fields.

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates.The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: zero-knowledge and MPC; public-key infrastructure; attacks and countermeasures; cryptanalysis and provable security; cryptographic protocols; blockchain and payment systems; and codes and post-quantum cryptography.