Computer hardware Books

Book Synopsis* Recommended by T.Basar, SC series ed.* This text addresses a new, active area of research and fills a gap in the literature. * Bridges mathematics, engineering, and computer science; * Useful as a supplementary text & reference for grad students with some background in control theory;Trade Review"This first book on the mathematics of congestion control [is] very useful for both students and researchers, but also for system engineers developing new Internet protocols. This is an elementary book for graduate students that uses a rich pallet of mathematical tools: convex optimization and control theory (Lyapunov stability and Nyquist criteria and stochastic processes). The tools are summarized well in appendices which makes the book self-contained and easy to read. The book is very well written and will undoubtedly remain a major reference on the topic for years to come." —Mathematical Reviews "This well-written book presents an overview of the mathematics behind internet congestion control. Focusing on the well-established TCP protocol, it starts with a gentle introduction on TCP and the packet/acknowledgement structure of the internet, before proceeding to congestion and the principles of congestion control…. Overall, this book presents in an easy-to-understand way the principles of internet congestion control with a focus on the mathematical concepts behind them. The book concludes with a useful index and a rich source of bibliographical references." —Zentralblatt Math "The investigation of fairness, efficiency, and dynamics of TCP led to the development of a new fast-growing research domain of mathematical models for congestion control. The Mathematics of Internet Congestion Control by R. Srikant provides a valuable comprehensive introduction to this new exciting research area. …Using mathematical models, Srikant successfully explains the principal ideas behind Internet congestion control. The publication of the book is very timely. Currently, there are no other books on mathematical models for congestion control. …All material in the book is accessible to graduate or even undergraduate students of mathematical and electrical engineering disciplines. Many chapters are supplied with appendices which review the necessary background material and make the book self-contained. In conclusion, this book can be equally recommended for beginners as well as for expert researchers working in the domain of congestion control. For beginners, the book will be a good starting point from which to explore a vast and rapidly growing body of literature on the subject of Internet congestion control. For expert researchers, the book will definitely help to place congestion control in perspective and will point to new avenues in this exciting research domain." —SIAM Book Reviews Table of ContentsPreface Introduction Resource Allocation Congestion Control: A Decentralized Solution Relationship to Current Internet Protocols Linear Analysis with Delay: The Single Link Case Linear Analysis with Delay: The Network Case Global Stability for a Single Link and Single Flow Stochastic Models and Their Deterministic Limits Connection-level Models Real-Time Sources and Distributed Admission Control Conclusions References Index

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

Book SynopsisYou'll discover that there is no mystery behind how to design and build your own circuits, practical devices, cool gadgets, and electronic toys.Table of Contents An Electronic “Singing” Bird A Mini Digital Roulette Game An Interactive Light Sequencer Device Physical Computing and DC Motor Control Motion Control with an Arduino: Servo and Stepper Motor Controls The Music Box Fun with Haptics Creating Smart Power with an Arduino A Logic Checker Man It's Hot: Temperature Measurement and Control

Read more less

Book SynopsisYou already know you can create amazing things with LEGO, but did you know you can also make vehicles that roll and model plans that include landing gear and flaps that actually extend and retract?Table of ContentsChapter 1: Getting Started With LEGO Technic Chapter 2: Creating a Motorized LEGO Technic Vehicle Chapter 3: Steering and Controlling Your LEGO Technic Creation Chapter 4: Light it Up With LEGO Lights! Chapter 5: Creating a LEGO Technic Vehicle for all Terrains Chapter 6: Technic Contruction Vehicles and Equipment Chapter 7: LEGO Technic Aviation: Airplanes and Helicopters Chapter 8: Appendix: Parts List

Read more less

Table of Contents1. Introduction to Xeon Phi Architecture 2. Programming Xeon Phi 3. Xeon Phi Vector Architecture and Instruction Set 4. Xeon Phi Core Microarchitecture 5. Xeon Phi Cache and Memory Subsystem 6. Xeon Phi PCIe Bus Data Transfer and Power Management 7. Xeon Phi System Software 8. Xeon Phi Application Development Tools 9. Xeon Phi Application Design and Implementation Considerations 10. Application Performance Tuning on Xeon Phi 11. Algorithms and Data Structures for Xeon Phi 12. Xeon Phi Application Development on Windows OS 13. OpenCL on Intel 14. Shared Memory Programming on Intel Xeon Phi

Read more less

Book SynopsisIn its updated second edition, this book has been extensively revised on a chapter by chapter basis.Table of Contentsto SystemVerilog.- SystemVerilog Declaration Spaces.- SystemVerilog Literal Values and Built-in Data Types.- SystemVerilog User-Defined and Enumerated Types.- SystemVerilog Arrays, Structures and Unions.- SystemVerilog Procedural Blocks, Tasks and Functions.- SystemVerilog Procedural Statements.- Modeling Finite State Machines with SystemVerilog.- SystemVerilog Design Hierarchy.- SystemVerilog Interfaces.- A Complete Design Modeled with SystemVerilog.- Behavioral and Transaction Level Modeling.

Read more less

Book SynopsisIntroduction, What Is A Gotcha?.- Declaration and Literal Number Gotchas.- RTL Modeling Gotchas.- Operator Gotchas.- General Programming Gotchas.- Object Oriented and Multi-Threaded Programming Gotchas.- Randomization, Coverage and Assertion Gotchas.- Tool Compatibility Gotchas.Table of ContentsIntroduction, What Is A Gotcha?.- Declaration and Literal Number Gotchas.- RTL Modeling Gotchas.- Operator Gotchas.- General Programming Gotchas.- Object Oriented and Multi-Threaded Programming Gotchas.- Randomization, Coverage and Assertion Gotchas.- Tool Compatibility Gotchas.

Read more less

Book SynopsisThe Verilog Programming Language Interface, commonly called the Verilog PU, is one of the more powerful features of Verilog.Table of ContentsList of Examples. Foreword. Acknowledgments. Introduction. Part One: The VPI Portion of the Verilog PLO Standard. 1. Creating PLI Applications Using VPI Routines. 2. Interfacing VPI based PLI Applications to Verilog Simulators. 3. How to Use the VPI Routines. 4. Details about the VPI Routine Library. 5. Reading and Modifying Values Using VPI Routines. 6. Synchronizing to Verilog Simulations Using VPI Callbacks. 7. Interfacing to C Models Using VPI Routines. Part Two: The TF/ACC Portion of the Verilog PLI Standard. 8. Creating PLI Applications Using TF and ACC Routines. 9. Interfacing TF/ACC PLI Applications to Verilog Simulators. 10. How to Use the TF Routines. 11. Reading and Writing Values Using TF Routines. 12. Synchronizing to Verilog Simulations Using Misctf Routines. 13. Interfacing to C Models Using TF Routines. 14. How to Use the ACC Routines. 15. Details on the ACC Routine Library. 16. Reading and Modifying Values Using ACC Routines. 17. Synchronizing to Simulations Using the Value Change Link. 18. Interfacing to C Models Using ACC Routines. Appendices: A. Linking PLI Applications to Verilog Simulators. B. The IEEE 1364-1995 VPI Routine Library. C. The IEEE 1364-1995 TF Routine Library. D. The IEEE 1364-1995 ACC Routine Library. Index.

Read more less

Trade Review“The book is highly readable and starts from basics, like how to install the Arduino integrated development environment (IDE). The appendix of the book has a lot of good information on how and where to order the parts and boards. … I would strongly advise reading the book in a hands-on fashion and not just reading it alone. … High school and beginning college students will have a blast reading it and implementing the programs. I highly recommend it.” (Naga Narayanaswamy, Computing Reviews, April, 2016)Table of Contents Introduction to Arduino Microcontrollers Arduino C Data Types Decision Making in C Program Loops Functions in C Storage Classes and Scope Introduction to Pointers Using Pointers Effectively I/O Operations The C Preprocessor A Gentle Introduction to Object-Oriented Programming Arduino Libraries Arduino I/O Appendix A - Suppliers Appendix B - Hardware Components

Read more less

Book SynopsisProgram in assembly starting with simple and basic programs, all the way up to AVX programming. By the end of this book, you will be able to write and read assembly code, mix assembly with higher level languages, know what AVX is, and a lot more than that. The code used in Beginning x64 Assembly Programming is kept as simple as possible, which means: no graphical user interfaces or whistles and bells or error checking. Adding all these nice features would distract your attention from the purpose: learning assembly language. The theory is limited to a strict minimum: a little bit on binary numbers, a short presentation of logical operators, and some limited linear algebra. And we stay far away from doing floating point conversions. The assembly code is presented in complete programs, so that you can test them on your computer, play with them, change them, break them. This book will also show you what tools can be Table of Contents

Read more less

Book SynopsisPro Oracle Application Express opens the "hood" of APEX and reveals the full power behind its easy-to-use GUI interface. This book shows you what you need to know to produce powerful, professionally polished applications: such as user-authentication models, approaches to layout and navigation, how to integrate Ajax, how to deal with localization issues like time zones and translations, how to customize the look and feel of an APEX web site, and more. The authors are well-qualified to write on APEX. John Scott is a hard-core APEX developer and his coauthor, Scott Spendolini, is one of the original creators of APEX.Table of ContentsA table of contents is not available for this title.

Read more less

Book SynopsisLearn how to pentest your hardware with the most common attract techniques and patternsKey Features Explore various pentesting tools and techniques to secure your hardware infrastructure Protect your hardware by finding potential entry points like glitches Find the best practices for securely designing your products Book DescriptionIf you’re looking for hands-on introduction to pentesting that delivers, then Practical Hardware Pentesting is for you. This book will help you plan attacks, hack your embedded devices, and secure the hardware infrastructure.Throughout the book, you will see how a specific device works, explore the functional and security aspects, and learn how a system senses and communicates with the outside world. You’ll set up a lab from scratch and then gradually work towards an advanced hardware lab—but you’ll still be able to follow along with a basic setup. As you progress, you’ll get to grips with the global architecture of an embedded system and sniff on-board traffic, learn how to identify and formalize threats to the embedded system, and understand its relationship with its ecosystem. You’ll discover how to analyze your hardware and locate its possible system vulnerabilities before going on to explore firmware dumping, analysis, and exploitation. The reverse engineering chapter will get you thinking from an attacker point of view; you’ll understand how devices are attacked, how they are compromised, and how you can harden a device against the most common hardware attack vectors. By the end of this book, you will be well-versed with security best practices and understand how they can be implemented to secure your hardware.What you will learn Perform an embedded system test and identify security critical functionalities Locate critical security components and buses and learn how to attack them Discover how to dump and modify stored information Understand and exploit the relationship between the firmware and hardware Identify and attack the security functions supported by the functional blocks of the device Develop an attack lab to support advanced device analysis and attacks Who this book is forIf you’re a researcher or a security professional who wants a comprehensive introduction into hardware security assessment, then this book is for you. Electrical engineers who want to understand the vulnerabilities of their devices and design them with security in mind will also find this book useful. You won’t need any prior knowledge with hardware pentensting before you get started; everything you need is in the chapters.Table of ContentsTable of Contents Setting Up Your Pentesting Lab and Ensuring Lab Safety Understanding Your Target Identifying the Components of Your Target Approaching and Planning the Test Our Main Attack Platform Sniffing and Attacking the Most Common Protocols Extracting and Manipulating Onboard Storage Attacking Wi-Fi, Bluetooth, and BLE Software-Defined Radio Attacks Accessing the Debug Interfaces Static Reverse Engineering and Analysis Dynamic Reverse Engineering Scoring and Reporting Your Vulnerabilities Wrapping It Up – Mitigations and Good Practices

Read more less

Book SynopsisDesign a high-speed SoC while gaining a holistic view of the FPGA design flow and overcoming its challenges.Purchase of the print or kindle book includes a free eBook in the PDF format.Key Features Use development tools to implement and verify an SoC, including ARM CPUs and the FPGA logic Overcome the challenge of time to market by using FPGA SoCs and avoid the prohibitive ASIC NRE cost Understand the integration of custom logic accelerators and the SoC software and build them Book DescriptionModern and complex SoCs can adapt to many demanding system requirements by combining the processing power of ARM processors and the feature-rich Xilinx FPGAs. You'll need to understand many protocols, use a variety of internal and external interfaces, pinpoint the bottlenecks, and define the architecture of an SoC in an FPGA to produce a superior solution in a timely and cost-efficient manner. This book adopts a practical approach to helping you master both the hardware and software design flows, understand key interconnects and interfaces, analyze the system performance and enhance it using the acceleration techniques, and finally build an RTOS-based software application for an advanced SoC design. You'll start with an introduction to the FPGA SoCs technology fundamentals and their associated development design tools. Gradually, the book will guide you through building the SoC hardware and software, starting from the architecture definition to testing on a demo board or a virtual platform. The level of complexity evolves as the book progresses and covers advanced applications such as communications, security, and coherent hardware acceleration. By the end of this book, you'll have learned the concepts underlying FPGA SoCs' advanced features and you'll have constructed a high-speed SoC targeting a high-end FPGA from the ground up.What you will learn Understand SoC FPGAs' main features, advanced buses and interface protocols Develop and verify an SoC hardware platform targeting an FPGA-based SoC Explore and use the main tools for building the SoC hardware and software Build advanced SoCs using hardware acceleration with custom IPs Implement an OS-based software application targeting an FPGA-based SoC Understand the hardware and software integration techniques for SoC FPGAs Use tools to co-debug the SoC software and hardware Gain insights into communication and DSP principles in FPGA-based SoCs Who this book is forThis book is for FPGA and ASIC hardware and firmware developers, IoT engineers, SoC architects, and anyone interested in understanding the process of developing a complex SoC, including all aspects of the hardware design and the associated firmware design. Prior knowledge of digital electronics, and some experience of coding in VHDL or Verilog and C or a similar language suitable for embedded systems will be required for using this book. A general understanding of FPGA and CPU architecture will also be helpful but not mandatory.Table of ContentsTable of Contents Introducing FPGA Devices and SoCs FPGA Devices and SoCs Design Tools Basic and Advanced On-chip Busses and Interconnects Connecting High Speed Devices Using Busses and Interconnects Basic and Advanced SoC Interfaces What Goes Where in a High Speed SoC Design FPGA SoC Hardware Design and Verification Flow FPGA SoC Software Design Flow SoC Design Hardware and Software Integration Building a Complex SoC Hardware Targeting an FPGA Addressing the Security Aspects of an FPGA based SoC (N.B. Please use the Look Inside option to see further chapters)

Read more less

Book Synopsis

Read more less

Book SynopsisThis book contains extended versions of the best papers presented at the First International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2019, held in Hammamet, Tunisia, in October 2019.The 9 revised full papers included in this volume were carefully reviewed and selected from 24 initial submissions. The papers are organized in the following topical sections: ​intelligent transportation systems; distributed computing for networking and communication; articial intelligence applied to cyber physical systems.Table of ContentsIntelligent Transportation Systems.- Distributed Computing for Networking and Communication.- Articial Intelligence Applied to Cyber Physical Systems.

Read more less

Book SynopsisThis two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 46 revised full papers presented were carefully reviewed and selected from 214 submissions. The papers were organized in topical sections named: cryptographic protocols cryptographic primitives, attacks on cryptographic primitives, encryption and signature, blockchain and cryptocurrency, secure multi-party computation, post-quantum cryptography.

Read more less

Book SynopsisThis open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The conference was held virtually due to the COVID-19 pandemic.Table of ContentsThe New DBpedia Release Cycle: Increasing Agility and Efficiency in Knowledge Extraction Workflows.- DBpedia Archivo - A Web-Scale Interface for Ontology Archiving under Consumer-oriented Aspects,. A Knowledge Retrieval Framework for Household Objects and Actions with External Knowledge.- Semantic Annotation, Representation and Linking of Survey Data.- QueDI: from Knowledge Graph Querying to Data Visualization.- EcoDaLo: Federating advertisement targeting with Linked Data.- MINDS: a translator to embed mathematical expressions inside SPARQL queries.- Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of 10 workshops held at the 35th International ISC High Performance 2020 Conference, in Frankfurt, Germany, in June 2020: First Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO); First International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics Simulations and Analysis (CFDML); HPC I/O in the Data Center Workshop (HPC-IODC); First Workshop \Machine Learning on HPC Systems" (MLHPCS); First International Workshop on Monitoring and Data Analytics (MODA); 15th Workshop on Virtualization in High-Performance Cloud Computing (VHPC). The 25 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 high-performance computing (HPC), computer architecture and hardware, programming models, system software, performance analysis and modeling, compiler analysis and optimization techniques, software sustainability, scientific applications, deep learning.Table of ContentsChecking and Performance Optimization for HPC (C3PO'20).- Compiler-assisted type-safe checkpointing.- Static analysis to enhance programmability and performance in OmpSs-2 21 Automatic detection of MPI assertions.- Automatic Code Motion to Extend MPI Nonblocking Overlap Window.- First International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics Simulations and Analysis (CFDML) .-Complete Deep Computer-Vision Methodology for Investigating Hydrodynamic Instabilities.- Prediction of Acoustic Fields using a Lattice-Boltzmann Method and Deep Learning.- Unsupervised Learning of Particle Image Velocimetry.- Reduced order modeling of dynamical systems using arti cial neural networks applied to water circulation.- Parameter Identification of RANS turbulence model using Physics-embedded neural network.- Investigating the Overhead of the REST Protocol when Using Cloud Services for HPC Storage.- Characterizing I/O Optimization E ect Through Holistic Log Data Analysis of Parallel File Systems and Interconnects.- The Importance of Temporal Behavior when Classifying Job IO Patterns Using Machine Learning Techniques.- GOPHER, an HPC framework for large scale graph exploration and inference.- Ensembles of Networks Produced from Neural Architecture Search.- SmartPred: Unsupervised Hard Disk Failure Detection.- Application IO analysis with Lustre Monitoring using LASSi for ARCHER.- Characterizing HPC Performance Variation with Monitoring and Unsupervised Learning.- Service Function Chaining Based on Segment Routing Using P4 and SR-IOV (P4-SFC) .- Seamlessly managing HPC workloads through Kubernetes.- Interference-aware Orchestration in Kubernetes.- RustyHermit: A Scalable, Rust-based Virtual Execution Environment.- Rootless Containers with Podman for HPC.- Bioinformatics application with Kube ow for batch processing in clouds.- Converging HPC, Big Data and Cloud technologies for precision agriculture data analytics on supercomputers.

Read more less

Book SynopsisThe two-volume set LNCS 12794-12795 constitutes the refereed proceedings of the 9th International Conference on Culture and Computing, C&C 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The papers included in the HCII-C&C volume set were organized in topical sections as follows: Part I: ICT for cultural heritage; technology and art; visitors’ experiences in digital culture; Part II: Design thinking in cultural contexts; digital humanities, new media and culture; perspectives on cultural computing.Table of ContentsDesign Thinking in Cultural Contexts.- Digital Literacy-based User Experience Design for Medication-allergy Patients Care.- Advancing Inclusive Service Design: Defining, Evaluating & Creating Universally Designed Services.- Civic Community Archiving with the Platform for Experimental Collaborative Ethnography: Double Binds and Design Challenges.- What Could Safety Research Contribute to Technology Design.- User Interface Design of Virtual Conferencing Tools – Towards a Method for Considering Cultural Impact – Exemplified by Zoom.- Infrastructuring for Collective Heritage Knowledge Production.- Core concepts Linking Exhibit Design and the Visitor Experience in Science Centers: an Early Framework.- Socio-Emotional Experience in Human Technology Interaction Design – a Fashion Framework Proposal.- Human Research in Technology Design.- Research on the Public Design Innovation Method based on the Sharing Concept of Cultural Computing.- Digital Humanities, New Media and Culture.- The Ontology of Mixed Reality Agents Memorializing the Dead and Dying.- The Human Mind and Engineering Models.- Social Media Data for the Conservation of Historic Urban Landscapes: Prospects and Challenges.- Questions in Cognitive Mimetics.- Memory Modalities - Opening-up Digital Heritage Infrastructures.- Youth and Algorithmic Memory: Co-Producing Personal Memory on Instagram.- Culture in the Post Pandemic Era.- How to Access and Transform the Unconscious for Cultural Development.- Ethical Stance and Evolving Technosexual Culture – A Case for Human-Computer Interaction.- AI Ethics - Critical Reflections on Embedding Ethical Frameworks in AI Technology.- Using Information Divergence to Differentiate Deep from Superficial Resemblances among Discourses.- On Complexity of GLAMs’ Digital Ecosystem: APIs as Change Makers for Opening Up Knowledge.- Perspectives on Cultural Computing.- Appropriation for Interdisciplinary Practice: The Case of Participatory Design in Brazilian Computer Science.- Towards a Generic Framework for Intercultural User Interface Design to Evoke Positive Cross-Cultural UX.- Transformation of Landscape into Artistic and Cultural Video Using AI for Future Car.- The Collection Method of Heterogeneous Smart Farm Data based on Model Transformation Technique for Human Computer Friendly Learning.- Quick Buttons on Map-based Human Machine Interface in Vehicles is Better or Not: A Cross-Cultural Comparative Study between Chinese and Germans.- Culturally Aware Intelligent Learning Environments for Resource-poor Countries.- A Stranger in the Classroom: Pre-Service Teachers’ Anxiety and Negative Attitudes toward Humanoid Social Robots.- Bie-Modernism and Cultural Computing.

Read more less

Book SynopsisThe two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Table of ContentsCryptographic Protocols.- Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles.- Analysis of Client-side Security for Long-term Time-stamping Services.- Towards Efficient and Strong Backward Private Searchable Encryption with Secure Enclaves.- Secure and Fair Protocols.- CECMLP: New Cipher-Based Evaluating Collaborative Multi-Layer Perceptron Scheme in Federated Learning.- Blind Polynomial Evaluation and Data Trading.- Coin-Based Multi-Party Fair Exchange.- Cryptocurrency and Smart Contracts.- P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange.- WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.- Terrorist Attacks for Fake Exposure Notifications in Contact Tracing Systems.- Digital Signatures.- Unlinkable and Invisible -Sanitizable Signatures.- Partially Structure-Preserving Signatures: Lower Bounds, Constructions and More.- An Efficient Certificate-Based Signature Scheme in the Standard Model.- Embedded System Security.- SnakeGX: a sneaky attack against SGX Enclaves.- Telepathic Headache: Mitigating Cache Side-Channel Attacks on Convolutional Neural Networks.- Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems.- Lattice Cryptography.- Access Control Encryption from Group Encryption.- Password Protected Secret Sharing from Lattices.- Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts.

Read more less

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Features: This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.

Read more less

Book SynopsisThis book constitutes the proceedings of the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, held in Salamanca, Spain, in October 2021. The 27 regular and 13 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

Read more less

Book SynopsisThis book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargèse, Corsica, France, in September 2021*.The 12 full papers and 16 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in the following topical sections: ​game theory and iterative algorithms applied to wireless communication; stochastic models for network performance analysis; game theory in mobile and wireless networks; scheduling and resource allocation problems in networks; advance in game theory; social network; electrical network.* The conference was postponed to 2021 due to the COVID-19 pandemic.Table of ContentsGame theory and iterative algorithms applied to wireless communication.- Stochastic models for network performance analysis.- Game theory in Mobile and Wireless Networks.- Scheduling and resource allocation problems in networks.- Advance in game theory.- Social network.- Electrical network.

Read more less

Book SynopsisThis 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.Table of ContentsInvited Paper.- Linear Temporal Logic ­ – From Infinite to Finite Horizon.- Automata Theory.- Determinization and Limit-determinization of Emerson-Lei automata.- Automatic discovery of fair paths in infinite-state transition systems.- Certifying DFA Bounds for Recognition and Separation.- Machine Learning for Formal Methods.- AALpy: An Active Automata Learning Library.- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach.- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.- Theorem Proving and Tools.- A Formal Semantics of the GraalVM Intermediate Representation.- A Verified Decision Procedure for Orders in Isabelle/HOL.- PJBDD: A BDD Library for Java and Multi-Threading.- Model Checking.- Live Synthesis.- Faster Pushdown Reachability Analysis with Applications in Network Verification.- Verifying Verified Code.- Probabilistic Analysis.- Probabilistic causes in Markov Chains.- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.- AQUA: Automated Quantized Inference for Probabilistic Programs.- Software and Hardware Verification.- Proving SIFA Protection of Masked Redundant Circuits.- Verification by Gambling on Program Slices.- Runtime Enforcement of Hyperproperties.- System Synthesis and Approximation.- Compositional Synthesis of Modular Systems.- Event-B Refinement for Continuous Behaviours Approximation.- Incorporating Monitors in Reactive Synthesis without Paying the Price.- Verification of Machine Learning.- pyNever: a Framework for Learning and Verification of Neural Networks.- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.Table of ContentsCoordination.- Protocol Scheduling.- Automated Replication of Tuple Spaces via Static Analysis.- Incremental Refinement of Goal Models with Contracts.- Logic.- Proof Calculi for Epistemic Logics with Structured Knowledge.- Introducing Intervalar differential dynamic logic.- A Program Logic for Fresh Name Generation.- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.- Extending OCL with map and function types.- Networks.- Deadlock in packet switching networks.- Runtime Monitoring Processes Across Blockchains.- Solving Systems of Bilinear Equations for Transition Rate Reconstruction.- Parallel Computation.- Term Rewriting on GPUs.- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays.- Testing.- Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications.- Compressing Automatically Generated Unit Test Suites through Test Parameterization.- Systematic Extraction of Test Cases from Object-oriented Programs.

Read more less

Book SynopsisThis book constitutes the revised selected papers from the 22nd International Conference on Information Security Applications, WISA 2021, which took place on Jeju Island, South Korea, during August 2021. The 23 papers included in this book were carefully reviewed and selected from 66 submissions. They were organized in topical sections as follows: machine learning security; cryptography; hardware security; and application security.Table of ContentsMachine Learning Security.- LOM: Lightweight classifier for obfuscation methods.- A Method for Collecting Vehicular Network Data for Enhanced Anomaly Detection.- Unsupervised Driver Behavior Profiling leveraging Recurrent Neural Networks.- On the robustness of intrusion detection systems for vehicles against adversarial attacks.- A Framework for Generating Evasion Attacks for Machine Learning based Network Intrusion Detection Systems.- Echo-Guard : Acoustic-based Anomaly Detection System for Smart Manufacturing Environments.- Research on improvement of anomaly detection performance in industrial control systems.- Cryptography.- Quantum Cryptanalysis Landscape of Shor's Algorithm for Elliptic Curve Discrete Logarithm Problem.- Anonymous IBE from PEKS : A Generic Construction.- Secure Computation of Shared Secrets and Its Applications.- Pattern Matching over Encrypted Data with a Short Ciphertext.- Efficient adaptation of TFHE for high end-to-end throughput.- AnyTRNG: Generic, High-throughput, Low-area True Random Number Generator based on Synchronous Edge Sampling.- Hardware Security.- Masked Implementation of PIPO Block Cipher on 8-bit AVR Microcontrollers.- Parallel Implementation of PIPO Block Cipher on 32-bit RISC-V Processor.- No Silver Bullet: Optimized Montgomery Multiplication on Various 64-bit ARM Platforms.- ARMed Frodo: FrodoKEM on 64-bit ARMv8 Processors.- Quantitative Analysis on Attack Capacity in Meltdown-type Attacks.- Application Security.- Adaptive Network Security Service Orchestraction based on SDN/NFV.- A General Framework for Matching Pattern Hiding in Deep Packet Inspection.- A Privacy-Preserving Payment Model for EV Charging.- Measuring Healthcare Data Breaches.- BadASLR: Exceptional cases of ASLR aiding Exploitation.

Read more less

Book SynopsisThis book constitutes the proceedings of the 41st SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2021, which was supposed to be held in Cambridge, UK, in December 2021. The conference was held virtually due to the COVID-19 pandemic.The 22 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 37 submissions. The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The papers are organized in the following topical sections: technical paper; machine learning; AI techniques; short technical stream papers; application papers; applications of machine learning; AI for medicine; advances in applied AI; and short application stream papers. Table of ContentsTechnical Papers.- On the Generalization Abilities of Fine-Tuned Commonsense Language Representation Models (Best Technical Paper).- Machine Learning.- Generation of Human-aware Navigation Maps using Graph Neural Networks.- Extended Category Learning with Spiking Nets and Spike Timing Dependent Plasticity.- ORACLE: End-to-end Model Based Reinforcement Learning.- Towards Explaining Metaheuristic Solution Quality by Data Mining Surrogate Fitness Models for Importance of Variables.- AI Techniques.- Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks.- Towards Explainable Metaheuristics: PCA for Trajectory Mining in Evolutionary Algorithms.- AI Methods of Autonomous Geological Target Selection in the Hunt for Signs of Extraterrestrial Life.- Probabilistic Rule Induction for Transparent CBR under Uncertainty.- Short Technical Stream Papers.- Detection of Brain Tumour using Deep Learning.- GaussianProductAttributes: Density-based Distributed Representations for Products.- Modelling Emotion Dynamics in Chatbots with Neural Hawkes Processes.- Knowledge-Based Composable Inductive Programming.- Named Entity Recognition and Relation Extraction for COVID-19: Explainable Active Learning with word2vec Embeddings and Transformer-based BERT Models.- Application Papers.- Patients Forecasting in Emergency Services by using Machine Learning and Exogenous variables (Best Application Paper).- Applications of Machine Learning.- Automatic Information Extraction from Electronic Documents using Machine Learning.- Modelling Satellite Data for Automobile Insurance Risk.- Ranking Pathology Data in the Absence of a Ground Truth.- Evolving Large Scale Prediction Models for Vehicle Volume Forecasting in Service Stations.- AI for Medicine.- Sequential Association Rule Mining Revisited: A Study Directed at Relational Pattern Mining for Multi-morbidity.- Addressing the Challenge of Data Heterogeneity using a Homogeneous Feature Vector Representation.- Context-aware Support for Cardiac Health Monitoring using Federated Machine Learning.- Using Automated Feature Selection for Building Case-Based Reasoning Systems: An Example from Patient-Reported Outcome Measurements.- Advances in Applied AI.- A Live-User Evaluation of a Visual Module Recommender & Advisory System for Undergraduate Students.- AdverseGen: A Practical Tool for Generating Adversarial Examples to Deep Neural Networks Using Black-box Approaches.- Adaptive Maneuver Planning for Autonomous Vehicles using Behavior Tree on Apollo Platform.- Behavioural User Identification from Clickstream Data for Business Improvement.- Short Application Stream Papers.- AI enabled Bio Waste Contamination-Scanner.- Parkinson's Disease Tremor Severity Classification - A Comparison Between ON and OFF Medication State.- Towards Publishing Ontology-based Data Quality Metadata of Open Data.- Towards a Brain Controller Interface for Generating Simple Berlin School Style Music with Interactive Genetic Algorithms.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 5th International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2021, held virtually in November 2021.The volume presents 9 revised full papers, which were carefully reviewed and selected from 16 submissions. The papers are organized in two topical sections on models and applications.Table of ContentsModels.- In search of the redline: perspectives on mental workload and the ‘underload problem’. - A novel parabolic model of instructional efficiency grounded on ideal mental workload and performance.- Radical Connectionism – Implications for Mental Workload Research.- Fundamental Frequency as an Alternative Method for Assessing Mental Fatigue of Distance Learning Teachers.- A systematic review of older drivers in a level 3 autonomous vehicle: A cognitive load perspective.- Applications.- On EEG Preprocessing Role in Deep Learning Effectiveness for Mental Workload Classification.- Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors.- Exploring the Influence of Information Overload, Internet Addiction, and Social Network Addiction, on Students' Well-being and Academic Outcomes.- Examining Cognitive Workload during Covid-19: A Qualitative Study.- The Relationship between Workload, Fatigue and Sleep Quality of Psychiatric Staff.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19 pandemic the conference was held as a hybrid event. The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions. The papers cover a broad range of topics related to professional software development and process improvement driven by product and service quality needs. They are organized in the following topical sections: agile and migration, requirements, human factors, and software quality.Table of ContentsAgile and Migration.- Migration from Ionic to Android: Implications.- The migration journey towards microservices.- Migrating from a Centralized Data Warehouse to a Decentralized Data Platform Architecture.- How Do Agile Teams Manage Impediments?.- Keeping the momentum: Driving continuous improvement after the large-scale agile transformation.- Requirements.- How Do Practitioners Interpret Conditionals in Requirements?.- Situation- and Domain-specific Composition and Enactment of Business Model Development Methods.- Using a data-driven context model to support the elicitation of context-aware functionalities – a controlled experiment.- A Transformation Model for Excelling in Product Roadmapping in Dynamic and Uncertain Market Environments.- Introducing Traceability in GitHub for Medical Software Development.- Human Factors.- An Empirical Study on Personality Traits and Team Climate in a Smart-Working Development Context.- Searching for bellwether developers for cross-personalized defect prediction.- Using Machine Learning to Recognise Novice and Expert Developers.- Is knowledge the key? An experiment on debiasing architectural decision-making - a pilot study.-Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study.- Software quality.- Analyzing SAFe Practices with respect to Quality Requirements: Findings from a Qualitative Study.- Capitalizing on Developer-Tester Communication – A Case Study.- Toward a Technical Debt Relationship with the Pivoting of Growth Phase Startups.- Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.- Towards RegOps: A DevOps Pipeline for Medical Device Software.-

Read more less