Computer hardware Books
Cambridge University Press A Modular and Extensible Network Storage Architecture 11 Distinguished Dissertations in Computer Science Series Number 11
Book SynopsisThis book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage devices needed to be able to accommodate emerging information media such as digital audio and video, with data radically different in characteristics to traditional text and binary that file systems were optimised for. By combining emerging and traditional media, information could be recorded and presented in the most suitable way, and the value of a piece of information could be further enhanced by linking together related pieces. However composite data and cross-reference between data items raised a number of system issues that had not been addressed properly before. In this book Dr Lo defined a multi-service storage architecture that could meet the needs of existing and emerging applications and support multiple file abstractions. He also explored a number of related design issues.Trade Review"The dissertation puts together many good ideas, describes the building of a prototype MSSA, and can be a useful source of ideas for further thinking in this area. It could be suitable reading in a doctoral program." William patterson, Computing ReviewsTable of ContentsPreface; Glossary; 1. Introduction; 2. Background; 3. Architectural framework; 4. Access control; 5. Naming and related issues; 6. The design of a byte segment custode; 7. The performance of the BSC; 8. Rate-based sessions: concepts and interface; 9. Rate-based sessions: prototype implementation and evaluation; 10. Conclusion; Bibliography; Index.
£39.61
Cambridge University Press A Modular and Extensible Network Storage Architecture 11 Distinguished Dissertations in Computer Science Series Number 11
Book SynopsisThis book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage devices needed to be able to accommodate emerging information media such as digital audio and video, with data radically different in characteristics to traditional text and binary that file systems were optimised for. By combining emerging and traditional media, information could be recorded and presented in the most suitable way, and the value of a piece of information could be further enhanced by linking together related pieces. However composite data and cross-reference between data items raised a number of system issues that had not been addressed properly before. In this book Dr Lo defined a multi-service storage architecture that could meet the needs of existing and emerging applications and support multiple file abstractions. He also explored a number of related design issues.Trade Review"The dissertation puts together many good ideas, describes the building of a prototype MSSA, and can be a useful source of ideas for further thinking in this area. It could be suitable reading in a doctoral program." William patterson, Computing ReviewsTable of ContentsPreface; Glossary; 1. Introduction; 2. Background; 3. Architectural framework; 4. Access control; 5. Naming and related issues; 6. The design of a byte segment custode; 7. The performance of the BSC; 8. Rate-based sessions: concepts and interface; 9. Rate-based sessions: prototype implementation and evaluation; 10. Conclusion; Bibliography; Index.
£116.89
Cambridge University Press Microprocessor Architecture From Simple Pipelines to Chip Multiprocessors
Book SynopsisThis book gives a comprehensive description of the architecture of microprocessors from simple in-order short pipeline designs to out-of-order superscalars. It discusses topics such as: â The policies and mechanisms needed for out-of-order processing such as register renaming, reservation stations, and reorder buffers â Optimizations for high performance such as branch predictors, instruction scheduling, and load-store speculations â Design choices and enhancements to tolerate latency in the cache hierarchy of single and multiple processors â State-of-the-art multithreading and multiprocessing emphasizing single chip implementations Topics are presented as conceptual ideas, with metrics to assess the performance impact, if appropriate, and examples of realization. The emphasis is on how things work at a black box and algorithmic level. The author also provides sufficient detail at the register transfer level so that readers can appreciate how design features enhance performance as welTrade Review'The book gives a comprehensive and profound description of the architecture of microprocessors from simple in-order short pipeline designs to out-of-order superscalers … The book is very well structured with good presentation of the material. Each chapter finishes with many exercises, examples and additional literature. All the references are very up-to-date. As a conclusion I warmly recommend this book as a textbook for a course or just as a reference book.' Zentralblatt MATHTable of Contents1. Introduction; 2. The basics; 3. Superscalar processors; 4. Front-end: branch prediction, instruction fetching, and register renaming; 5. Back-end: instruction scheduling, memory access instructions, and clusters; 6. The cache hierarchy; 7. Multiprocessors; 8. Multithreading and (chip) multiprocessors; 9. Current limitations and future challenges.
£71.99
Cambridge University Press Designing Digital Computer Systems with Verilog
Book SynopsisThis is both an introduction to computer architecture and a guide to using a hardware description language (HDL) to design a simple processor. The authors demonstrate how behavioural and structural models can be developed using the popular Verilog HDL. For senior and graduate students, and practising engineers.Table of ContentsPreface; 1. Controlling complexity; 2. A verilogical place to start; 3. Defining the instruction set architecture; 4. Algorithmic behavioral modeling; 5. Building an assembler for VeSPA; 6. Pipelining; 7. Implementation of the pipelined processor; 8. Verification; Appendix A: the VeSPA instruction set architecture (ISA); Appendix B: the VASM assembler; Index.
£49.00
Wiley TI89 Graphing Calculator For Dummies For Dummies S
Book SynopsisHelps you with: equations and systems of equations; factor polynomials; derivatives and integrals; graph functions, parametric equations, polar equations, and sequences; differential equations and systems of differential equations. This book also helps transfer files between two or more calculators; and save calculator files on your computer.Table of ContentsIntroduction. Part I: Making Friends with the Calculator. Chapter 1: Coping with the Basics. Chapter 2: Doing Basic Arithmetic. Part II: Doing Algebra and Trigonometry. Chapter 3: Solving Equations, Factoring, and Other Great Stuff. Chapter 4: Dealing with Complex Numbers. Part III: Graphing and Analyzing Functions. Chapter 5: Graphing Functions of One Variable. Chapter 6: Exploring Functions. Chapter 7: Analyzing Functions. Part IV: Working with Sequences, Parametric Equations, and Polar Equations. Chapter 8: Graphing Sequences. Chapter 9: Exploring Sequences. Chapter 10: Parametric Equations. Chapter 11: Polar Equations. Part V: Doing Calculus. Chapter 12: Dealing with Differential and Integral Calculus. Chapter 13: Dealing with Vector Calculus. Chapter 14: Graphing Surfaces and Contour Maps. Chapter 15: Dealing with Differential Equations. Part VI: Dealing with Matrices. Chapter 16: Creating and Editing Matrices. Chapter 17: Using Matrices. Part VII: Dealing with Probability and Statistics. Chapter 18: Probability. Chapter 19: Dealing with Statistical Data. Chapter 20: Analyzing Statistical Data. Part VIII: Communicating with PCs and Other Calculators. Chapter 21: Communicating with a PC Using TI Connect. Chapter 22: Communicating between Calculators. Part IX: The Part of Tens. Chapter 23: Ten Great Applications. Chapter 24: Ten Common Errors and Messages. Appendix: Creating Custom Menus. Index.
£13.29
Springer Microprocessors in Robotic and Manufacturing Systems
Book SynopsisThe automatic program decomposition and scheduling techniques developed are embedded in a tool used to generate multiprocessor schedules from a high-level language program.Table of ContentsI Robotic Computations.- 1 Computation of Robot Dynamics by a Multiprocessor Scheme.- 1. Introduction.- 2. Tree-Height Reduction by Newton-Euler State Space Equations.- 3. The Multiprocessor System and the Task Allocation.- 4. Performance Evaluation.- 5. Parallel Processing for a Two Link Robot System.- 6. Conclusion.- References.- 2 Automatic Scheduling of the Newton-Euler Inverse Dynamics.- 1. Introduction.- 2. Task Granularity and Communication Overhead.- 3. The Newton-Euler Inverse Dynamics.- 4. Automatic Data-Flow Analysis: the LEM Analyzer.- 5. Parallel Execution.- 6. Conclusion.- References.- 3 Numerical Applications of DSPs in Robotic Computations.- 1. Introduction.- 2. A Survey of the Main Characteristics of DSPs.- 3. Numerical Applications in Robotic Computations.- 4. Conclusions.- References.- 4 Parallel Processing of Robot Control and Simulation.- 1. Introduction.- 2. Parallel Processing of Robot-Arm Control Computation.- 3. Parallel Processing of Robot Dynamics Simulation.- 4. Summary and Future Directions.- References.- 2 Robotic Control and Vision.- 5 Microprocessor-Based Controllers for Robotic Manipulators.- 1. Introduction.- 2. Survey of Microprocessor-Based Controllers.- 3. Techniques to Improve Microprocessor-Based Controller Implementation.- 4. Conclusions.- Acknowledgements.- References.- 6 Design Aspects of a Robot Coordinated by a Desktop Computer.- 1. Introduction.- 2. The Supervisory System.- 3. Kinematics and Their Inverse.- 4. Polynomial Fitting.- 5. Implementing the Difference Equations.- 6. Axis Command and Coordination.- 7. Implementing the Position Control Loop.- 8. Priority of Operations in the Axis Controller.- 9. Conclusions.- Acknowledgements.- References.- 7 A PC Simulation Program for Comparing Performances of Robot Control Algorithms.- 1. Introduction.- 2. Trajectory Generation.- 3. Robot Control.- 4. Robot Dynamics.- 5. Some Control Algorithms.- 6. Conclusions.- References.- 8 Collision Strategies for Robot Retreat and Resistance.- 1. Introduction.- 2. Pre-Collision Visual Sensing.- 3. Post-Collision Tactile Sensing.- 4. Control Requirements.- 5. Four Link Biped.- 6. Discussion and Conclusions.- References.- 9 A Distributed Control Network for Sensory Robotics.- 1. Introduction.- 2. Distributed system architecture.- 3. Modelling the environment.- 4. Vision system.- 5. Manipulator gripper and associated sensors.- 6. Sensor data integration.- 7. Software considerations.- 8. Conclusions.- References.- 10 Neural Networks and Robot Vision.- 1. Neural networks : what’s in a name?.- 2. Neural networks operation.- 3. The linear pattern associator.- 4. The nonlinear multilayered pattern associator.- 5. The auto associator.- 6. Constraint satisfaction network.- 7. Competitive learning model.- 8. Neural networks as parallel distributed processing systems ..- 9. Conclusion.- References.- 3 Manufacturing Systems.- 11 Microprocessors in Data Acquisition Systems for Process Control.- 1. Microprocessor based data acquisition systems.- 2. Process control.- 3. Integration/automation with microprocessor based systems.- References.- 12 Design and Analysis of a Modular CNC System.- 1. Introduction.- 2. Physical components of the CNC milling machine.- 3. Transfer functions of the feed drive control system.- 4. State space modelling of the feed drive control system.- 5. Experimental verification of the feed drive servo model.- 6. Time domain simulation of contouring errors.- 7. Conclusion.- References.- 13 Computer / Programmable Control of a Flexible Manufacturing Cell.- 1. Introduction.- 2. Cell functional requirements.- 3. Structural requirements.- 4. Study and realization.- 5. Conclusion.- Acknowledgements.- References.- 14 Robot and PLC Support System Based on Fiber Optic Map Network.- 1. Introduction.- 2. Local area network selection criteria.- 3. Network design.- 4. Support application softwares.- 5. Conclusions and recommendations.- 15 Experimental Results of Parameter Identification And Nonlinear Control on a PM Stepper Motor.- 1. Introduction.- 2. Feedback linearization controller.- 3. Model validation and parameter identification.- 4. Experimental set up and results.- 5. Future research.- Acknowledgements.- References.- 16 Digital Signal Processor Implementation of a Kalman Filter for Disk Drive Head Positioning Mechanism.- 1. Introduction.- 2. The head-positioning actuator.- 3. Kalman filter design.- 4. Kalman filter implementation.- 5. Conclusion.- Acknowledgements.- References.- 17 Simulation Analysis of Flexible Manufacturing Systems Using Rensam.- 1. Introduction.- 2. RENSAM System Description.- 3. Case Study: Company C.- 4. RENSAM Results.- 5. Summary.- References.- Author Index.
£999.99
Springer Advanced Electronic Technologies and Systems Based on Lowdimensional Quantum Devices Proceedings of the NATO Advanced Study Institute Sozopol Sozopol Bulgaria 1828 September 1996 42
Book SynopsisProceedings of the NATO Advanced Study Institute, Sozopol, Bulgaria, 18-28 September 1996Table of Contents1: Fundamentals on Quantum Structures for Electro-Optical Devices and Systems. 1.1. Electron State Symmetries and Optical Selection Rules in the (GaAs)m(AlAs)n Superlattices Grown Along the [001], [110], and [111] Directions; Yu.E. Kitaev, et al. 1.2. Modeling Quantum Well Laser Diode Structures; P. Blood, et al. 1.3. Microcavity Semiconductor Lasers; J.G. McInerney, et al. 2: MQW Optoelectronic Devices and Systems. 2.1. Exciton Absorption Saturation and Carrier Transport in Quantum Well Semiconductors; A. Miller, et al. 2.2. Integrated Optoelectronics - the Next Technological Revolution; A.S. Popov. 2.3. Opportunities of Vertical - Cavity - Surface - Emitting Lasers (VCSEL) in Display and Optical Communication Systems; A.S. Popov. 2.4. New Integrated Photoreceiver Systems - Charge Coupled Devices (CCD); A.S. Popov. 2.5. Optical Switches and Modulators for Integrated Optoelectronic Systems; A.S. Popov. 3: Soliton-Based Switching, Gating and Transmission Systems. 3.1. Soliton-Based Logic Gates and Soliton Transmission Systems; A.D. Boardman, et al. Index.
£999.99
Springer Communication Protocol Specification and
Book Synopsis Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.Table of ContentsList of Figures. List of Tables. Preface. Acknowledgments. Part I: Protocol Specification. 1. Communication Protocol. 2. Formal Description Techniques. 3. Estelle. 4. LOTOS. 5. SDL. Part II: Protocol Verification. 6. Protocol Verification. 7. A Review on Estelle Verification. 8. NPNS Modelling Estelle. 9. EVEN - A Software Environment for Estelle Verification. 10. A Method to Address the State Space Explosion Problem. 11. Applications of EVEN. Index.
£999.99
Springer Fast Simulation of Computer Architectures
Book Synopsis1 Introduction.- 2 Shade: A Fast Instruction-Set Simulator for Execution Profiling.- 1 Introduction.- 2 Related Work.- 3 Analyzer Interface.- 4 Implementation.- 5 Cross Shades.- 6 Performance.- 7 Conclusions.- 8 Acknowledgements.- 3 Instrumentation Tools.- 1 Introduction.- 2 When To Instrument Code.- 3 How Late Code Modification Tools are Built.- 4 Current Instrumentation Tools.- 4 Stack-Based Single-Pass Cache Simulation.- 1 Introduction.- 2 Single-Pass Cache Simulation.- 3 Extensions to Single-Pass Techniques.- 4 Concluding remarks.- 5 Non-Stack Single-Pass Simulation.- 1 Introduction.- 2 Fully-associative Cache Simulation.- 3 Binomial Forest Simulation.- 4 Write-buffer Simulation.- 5 Directions for future work.- 6 Execution Driven Simulation of Shared Memory Multiprocessors.- 1 Introduction.- 2 Implementation Decisions.- 3 Example Simulators.- 4 Code Augmentations.- 5 The Simulator Half.- 6 Performance Characteristics.- 7 Summary.- 7 Sampling for Cache and Processor Simulation.- 1 ITable of Contents1. Introduction; T. M. Conte, C. E. Gimarc. 2. SHADE: A Fast Instruction-Set Simulator for Execution Profiling; B. Cmelik, D. Keppel. 3. Instrumentation Tools; J. Pierce et al. 4. Stack-Based Single-Pass Cache Simulation; T. M. Conte. 5. Non-Stack Single-Pass Simulation; R. A. Sugumar, S. G. Abraham. 6. Execution Driven Simulation of Shared Memory Multiprocessors; B. Boothe. 7. Sampling for Cache and Processor Simulation; K. N. Menezes. 8. Performance Bounds for Rapid Computer System Evaluation; B. Mangione-Smith. Index.
£999.99
Birkhauser Boston The Mathematics of Internet Congestion Control Systems Control Foundations Applications
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
£42.74
E-Man Press LLC Embedded Systems with ARM CortexM
Book Synopsis
£54.74
Amazon Digital Services LLC - Kdp Non Gaming PC Build Guide
a huge range and FREE tracked UK delivery on ALL orders.
£15.47
LEGARE STREET PR Diodesteered Linear Magneticcore Memory
a huge range and FREE tracked UK delivery on ALL orders.
£21.80
Cambridge University Press Digital Design Using VHDL
Book SynopsisProvides students with a system-level perspective and the tools they need to understand, analyze and design complete digital systems using VHDL. It goes beyond the design of simple combinational and sequential modules to show how such modules are used to build complete systems, reflecting digital design in the real world.Table of ContentsPart I. Introduction: 1. The digital abstraction; 2. The practice of digital system design; Part II. Combinational Logic: 3. Boolean algebra; 4. CMOS logic circuits; 5. Delay and power of CMOS circuits; 6. Combinational logic design; 7. VHDL descriptions of combinational logic; 8. Combinational building blocks; 9. Combinational examples; Part III. Arithmetic Circuits: 10. Arithmetic circuits; 11. Fixed- and floating-point numbers; 12. Fast arithmetic circuits; 13. Arithmetic examples; Part IV. Synchronous Sequential Logic: 14. Sequential logic; 15. Timing constraints; 16. Datapath sequential logic; 17. Factoring finite-state machines; 18. Microcode; 19. Sequential examples; Part V. Practical Design: 20. Verification and test; Part VI. System Design: 21. System-level design; 22. Interface and system-level timing; 23. Pipelines; 24. Interconnect; 25. Memory systems; Part VII. Asynchronous Logic: 26. Asynchronous sequential circuits; 27. Flip-flops; 28. Metastability and synchronization failure; 29. Synchronizer design; Appendix A. VHDL coding style; Appendix B. VHDL syntax guide; References; Index.
£62.99
Apress Learn Electronics with Arduino Technology in Action
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
£28.49
Apress Practical LEGO Technics Bring Your LEGO Creations to Life Technology in Action
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
£43.99
Apress Intel Xeon Phi Coprocessor Architecture and Tools The Guide for Application Developers Experts Voice in Microprocessors
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
£28.49
Springer Us SystemVerilog for Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling
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.
£125.99
Springer Us Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
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.
£103.99
Springer Us The Verilog PLI Handbook A Users Guide and Comprehensive Reference on the Verilog Programming Language Interface
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.
£49.49
Springer-Verlag New York Inc. SystemVerilog for Verification
Book SynopsisBased on the highly successful second edition, this extended edition of SystemVerilog for Verification: A Guide to Learning the Testbench Language Features teaches all verification features of the SystemVerilog language, providing hundreds of examples to clearly explain the concepts and basic fundamentals. It contains materials for both the full-time verification engineer and the student learning this valuable skill.In the third edition, authors Chris Spear and Greg Tumbush start with how to verify a design, and then use that context to demonstrate the language features, including the advantages and disadvantages of different styles, allowing readers to choose between alternatives. This textbook contains end-of-chapter exercises designed to enhance students'' understanding of the material. Other features of this revision include: New sections on static variables, print specifiers, and DPI from the 2009 IEEE language standard Descriptions of UVM featTable of ContentsVerification Guidelines.- Data Types.- Procedural Statements and Routines.- Connecting the Testbench and Design.- Basic OOP.- Randomization.- Threads and Interprocess Communication.- Advanced OOP and Testbench Guidelines.- Functional Coverage.- Advanced Interfaces.- A Complete SystemVerilog Testbench.- Interfacing with C/C++.
£89.99
Apress Beginning C for Arduino Second Edition
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
£46.74
APress Beginning x64 Assembly Programming
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 beTable of Contents
£31.99
Microsoft Press,U.S. Windows 10 Plain & Simple
Book Synopsis Learn the simplest ways to get things done with Windows 10 Here’s WHAT you’ll learn • Navigate Windows 10 Fall Creators Update quickly, easily, and efficiently • Get online with the sleek Microsoft Edge web browser • Make the most of the Cortana personal assistant • Efficiently manage your email, calendar, photos, and more • Access your files from anywhere with Microsoft OneDrive • Help secure your computer and protect your data Here’s HOW you’ll learn • Jump in wherever you need answers • Follow easy steps and screenshots to see exactly what to do • Get handy tips for new techniques and shortcuts • Use Try This! exercises to apply what you learn right awayTable of Contents Chapter 1 About this book Chapter 2 First look at Windows 10 Chapter 3 Navigating Windows 10 Chapter 4 Customizing the appearance of Windows 10 Chapter 5 Working with productivity applications Chapter 6 Finding content with File Explorer and Cortana Chapter 7 Making Windows accessible Chapter 8 Accessing and managing networks Chapter 9 Going online with Microsoft Edge Chapter 10 Connecting with others Chapter 11 Using Mail Chapter 12 Shopping for apps in the Microsoft Store Chapter 13 Enjoying music Chapter 14 Recording and watching videos Chapter 15 Working with the Camera and Photos apps Chapter 16 Keeping on schedule with Calendar Chapter 17 Tracking your news, sports, and stocks Chapter 18 Checking the weather Chapter 19 Using Maps Chapter 20 Playing with Xbox games Chapter 21 Adding and working with other devices Chapter 22 Working with OneDrive Chapter 23 Maintaining and protecting your computer Chapter 24 Troubleshooting Appendix: Taking advantage of Windows 10 keyboard shortcuts
£18.99
APress Pro Oracle Application Express
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.
£36.97
Independently Published 3D Printing Failures: 2020 Edition: How to Diagnose and Repair ALL Desktop 3D Printing Issues
£17.22
Packt Publishing Building Networks and Servers Using BeagleBone
£19.99
Packt Publishing Limited Practical Hardware Pentesting: A guide to attacking embedded systems and protecting them against the most common hardware attacks
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
£47.23
Andrews UK Limited A Hobbyist's Guide to THEC64 Mini
£13.26
Independently Published The iPad Pro for Seniors: A Ridiculously Simple Guide to the Next Generation of iPad and IOS 12
£13.40
Packt Publishing Limited Architecting and Building High-Speed SoCs: Design, develop, and debug complex FPGA-based systems-on-chip
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)
£33.99
Amazon Digital Services LLC - Kdp 15 Methods to Generate 7500 to 11000 in 6 to 12 Months Using AI Tools While Working Remotely
£20.99
Elluminet Press Essential Computer Hardware Second Edition: The Illustrated Guide to Understanding Computer Hardware
£13.99
£17.99
Springer Nature Switzerland AG Building Automation: Communication systems with
Book SynopsisThis book offers all important industrial communication systems for buildings in one single book! It stimulates a basic understanding of network and bus systems for the automation of buildings. After an introduction to EIB/KNX, LON und BACnet technologies, the authors illustrate how these systems can be utilized for specific applications, like air conditioning or illumination. This book assumes only a basic knowledge of mathematics and thanks to its simple explanations and many examples is ideal for students and professional engineers who require practical solutions.Numerous practical examples explain basic concepts of industrial communication technology as well as the procedure for the transmission of digital data. All chapters have been thoroughly revised for the 2nd edition and the book includes the latest technical developments and standards.Table of Contentsto Building Automation.- The Basics of Industrial Communication Technology.- Konnex.- Building Automation with LonWorks®.- BACnet.
£999.99
Springer Nature Switzerland AG Single-DC-Source Multilevel Inverters
Book SynopsisThe purpose of this book is to distinguish the single-de-source multilevel inverter topologies and to teach their control, switching and voltage balancing. It includes new information on voltage balancing and control of multilevel inverters. The book answers some important questions about the revolution of power electronics converters: 1- Why multilevel inverter are better than 2-level ones? 2- Why single-de-source multilevel inverters are a matter of interest? 3- What are the redundant switching states and what do they do? 4- How to use redundant switching states in control and voltage balancing? 5- What are the applications of single-de-source multilevel inverters?Table of ContentsChapter 1 Multilevel vs Two-level inverters 3.- Chapter 2 Multi DC Sources inverters, Pros and Cons 9.- Chapter 3 Single-DC-Source Multilevel inverters 13.- Chapter 4 Packed U-Cell Topology 21.
£999.99
Springer Nature Switzerland AG Distributed Computing for Emerging Smart Networks: First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers
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.
£999.99
Springer Nature Switzerland AG Applied Cryptography and Network Security: 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part I
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.
£999.99
Springer Nature Switzerland AG Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings
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.
£999.99
Springer Nature Switzerland AG High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers
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.
£999.99
Springer Nature Switzerland AG Algorithm Portfolios: Advances, Applications, and
Book SynopsisThis book covers algorithm portfolios, multi-method schemes that harness optimization algorithms into a joint framework to solve optimization problems. It is expected to be a primary reference point for researchers and doctoral students in relevant domains that seek a quick exposure to the field. The presentation focuses primarily on the applicability of the methods and the non-expert reader will find this book useful for starting designing and implementing algorithm portfolios. The book familiarizes the reader with algorithm portfolios through current advances, applications, and open problems. Fundamental issues in building effective and efficient algorithm portfolios such as selection of constituent algorithms, allocation of computational resources, interaction between algorithms and parallelism vs. sequential implementations are discussed. Several new applications are analyzed and insights on the underlying algorithmic designs are provided. Future directions, new challenges, and open problems in the design of algorithm portfolios and applications are explored to further motivate research in this field.Table of Contents1. Metaheuristic optimization algorithms.- 2. Algorithm portfolios.- 3. Selection of constituent algorithms.- 4. Allocation of computation resources.- 5. Sequential and parallel models.- 6. Recent applications.- 7. Epilogue.- References.
£999.99
Springer Nature Switzerland AG Culture and Computing. Design Thinking and Cultural Computing: 9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II
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.
£999.99
Springer Nature Switzerland AG Applied Cryptography and Network Security: 19th
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.
£999.99
Springer Nature Switzerland AG Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
Book SynopsisThis 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.Table of Contents1. Mathematics in Civilization.- 2. Sets, Relations and Functions.- 3. Number Theory.- 4. Mathematical Induction and Recursion.- 5. Sequences, Series and Permutations and Combinations.- Algebra.- 6. Automata Theory.- 7. Matrix Theory.- 8. Graph Theory.- 9. Cryptography.- 10. Coding Theory.- 11. Language Theory and Semantics.- 12. Computability and Decidability.- 13. A Short History of Logic.- 14. Propositional and Predicate Logic.- 15. Advanced Topics in Logic.- 16. Software Engineering Mathematics.- 17. Formal Methods.- 18. Z Formal Specification Language.- 19. Probability, Statistics and Applications.
£999.99
Springer Nature Switzerland AG Emerging Technologies and the Digital Transformation of Museums and Heritage Sites: First International Conference, RISE IMET 2021, Nicosia, Cyprus, June 2–4, 2021, Proceedings
Book SynopsisThis book constitutes the post-conference proceedings of the First International Conference on Emerging Technologies and the Digital Transformation of Museums and Heritage Sites, RISE IMET 2020, held in Nicosia, Cyprus, in June 2021*.The 23 revised full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the following topical sections: digital curation and visitor engagement in museums and heritage sites; VR, AR, MR, mobile applications and gamification in museums and heritage sites; digital storytelling and embodied characters for the interpretation of cultural heritage; emerging technologies, difficult heritage and affective practices; participatory approaches, crowdsourcing and new technologies; digitization, documentation and digital representation of cultural heritage.* The conference was held virtually due to the COVID-19 pandemic.Table of ContentsDigital curation and visitor engagement in museums and heritage sites.- VR, AR, MR, mobile applications and gamification in museums and heritage sites.- Digital storytelling and embodied characters for the interpretation of cultural heritage.- Emerging technologies, difficult heritage and affective practices.- Participatory approaches, crowdsourcing and new technologies.- Digitization, documentation and digital representation of cultural heritage.
£999.99
Springer Nature Switzerland AG IoT and WSN based Smart Cities: A Machine
Book SynopsisThis book provides an investigative approach to how machine learning is helping to maintain and secure smart cities, including principal uses such as smart monitoring, privacy, reliability, and public protection. The authors cover important areas and issues around implementation roadblocks, ideas, and opportunities in smart city development. The authors also include new algorithms, architectures and platforms that can accelerate the growth of smart city concepts and applications. Moreover, this book provides details on specific applications and case studies related to smart city infrastructures, big data management, and prediction techniques using machine learning.Table of ContentsChapter 1. Protocol Design for Earthquake Alert and Evacuation in Smart Buildings.- Chapter 2. Impact of Internet of Things and Clinical Decision Support System in Healthcare.- Chapter 3. Smart Healthcare Support Using Data Mining and Machine Learning.- Chapter 4. Window Functions for Phasor Signal Processing of Wide Area Measurement in Smart Grid Communications.- Chapter 5. Facens Smart Campus Integrated Dashboard: A Use case applied for Energy Efficiency.- Chapter 6. Cloud Internet of Things in Medical and Smart Healthcare Applications.- Chapter 7. Tornado Forecast Visualization for Effective Rescue Planning.- Chapter 8. Situational Awareness for Law Enforcement and Public Safety Agencies Operating in Smart Cities-Part I.- Chapter 9. Situational Awareness for Law Enforcement and Public Safety Agencies Operating in Smart Cities: Part II.- Chapter 10. A Wireless Sensor Architecture for Efficient Water Quality Measurement and Monitoring Using IO.- Chapter 11. Design of a WSN Platform for Internet of Things Applications.- Chapter 12. Performance Analysis of Modulation Techniques over an Smart City Optical Communication Channel under Weak Atmospheric Turbulence.- Chapter 13. Towards Secure Cyber Infrastructure for SmartCities: Learning based Intelligent Solutions.- Chapter 14. Utilizing ICN caching for IoT big data management in WSN based vehicular networks.- Chapter 15. Integration of WSN and IoT: Its Applications and Technologies?.- Chapter 16. Choice Based Recreation Facility for Smart Cities.
£107.99
Springer Nature Switzerland AG National Cyber Summit (NCS) Research Track 2021
Book SynopsisThis book presents findings from the papers accepted at the Cyber Security Education Stream and Cyber Security Technology Stream of The National Cyber Summit’s Research Track, reporting on latest advances on topics ranging from software security to cyber-attack detection and modelling to the use of machine learning in cyber security to legislation and policy to surveying of small businesses to cyber competition, and so on. Understanding the latest capabilities in cyber security ensures users and organizations are best prepared for potential negative events. This book is of interest to cyber security researchers, educators and practitioners, as well as students seeking to learn about cyber security.Table of ContentsPart I – Cyber Security EducationAn Integrated System for Connecting Cybersecurity Competency, Student Activities and Career Building Li-Chiou Chen, Andreea Cotoranu, Praviin Mandhare and Darren Hayes Simulating Industrial Control Systems using Node-RED and Unreal Engine 4 Steven Day, William Smallwood and Joshua Kuhn Student Educational Learning Experience Through Cooperative Research Melissa Hannis, Idongesit Mkpong-Ruffin and Drew Hamilton Digital Forensics Education: Challenges and Future Opportunities Megan Stigall and Kim-Kwang Raymond Choo Designing a Cybersecurity Curriculum Library: Best Practices from Digital Library Research Blair Taylor, Sidd Kaza and Melissa Dark Design of a Virtual Cybersecurity Escape Room Tania Williams and Omar El-Gayar Part II – Cyber Security Technology A Novel Method for the Automated Generation for JOP Chain Exploits Bramwell Brizendine, Austin Babcock and Josh Stroschien Increasing Log Availability in Unmanned Vehicle Systems Nicholas Carter, Peter Pommer, Duane Davis and Cynthia Irvine Testing Detection of K-Ary Code Obfuscated by Metamorphic and Polymorphic Techniques George Harter and Neil Rowe Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic Wenhui Liang, Cui Zhang and Jun Dai Social Engineering Attacks in Healthcare Systems: A Survey Christopher Nguyen, Walt Williams, Brandon Didlake, Donte Mitchell, James McGinnis and Dipankar Dasgupta Identifying Anomalous Industrial-Control-System Network Flow Activity Using Cloud Honeypots Neil Rowe, Thuy Nguyen, Jeffrey Dougherty, Matthew Bieker and Darry Pilkington Risks of Electric Vehicle Supply Equipment Integration within Building Energy Management System Environments: A Look at Remote Attack Surface and Implications Roland Varriale, Michael Jaynes and Ryan Crawford
£999.99
Springer Nature Switzerland AG Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings
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.
£999.99
