Tabla de Contenidos: “…Protect Your Hardware -- Protect Your Body -- Chapter 8 Groove Tools and Techniques -- The Basics -- Pitch-Shift Algorithms -- Warping -- Beat Slicing -- Audio to MIDI -- Groove Hardware -- Groove Software -- Looping Your DAW -- Loop-based Audio Software -- ReWire -- Groove and Loop-Based Plug-Ins -- Drum and Drum Loop Plug-Ins -- Pulling Loops into a DAW Session -- iOS Groove Apps -- Groove Controllers -- DJ Software -- Obtaining Loop Files from the Great Digital Wellspring -- Chapter 9 MIDI and Electronic Music Technology -- The Power of MIDI -- MIDI Production Environments -- What Is MIDI? …”

Tabla de Contenidos: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. …”

Tabla de Contenidos: “…SummaryChapter 2: Using and Manipulating HTML5 Video and Audio Elements; The element; Fallback Content; @src ; @autoplay ; @muted ; @loop ; @poster ; @width,@ height ; @controls ; @preload ; The Audio Element; ; @src ; @autoplay ; @loop ; @controls ; @preload ; The Source Element; ; @src ; @type ; @media ; The Default Player Interfaces; Visible Controls ; Context Menus ; Publishing ; CSS and Video; CSS Basic Properties; Playing Background Video ; CSS 2D Transforms ; CSS Animations ; Summary; Chapter 3: The JavaScript API; Reflected Content Attributes…”

Tabla de Contenidos: “…Cover; Copyright; Credits; About the Authors; About the Reviewer; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Playing with LLVM; Modular design and collection of libraries; Getting familiar with LLVM IR; LLVM tools and using them in the command line; Summary; Chapter 2: Building LLVM IR; Creating an LLVM module; Emitting a function in a module; Adding a block to a function; Emitting a global variable; Emitting a return statement; Emitting function arguments; Emitting a simple arithmetic statement in a basic block; Emitting if-else condition IR; Emitting LLVM IR for loop; Summary…”

Tabla de Contenidos: “…Teil I Echtzeitsimulation für die Virtuelle Inbetriebnahme: Die simulierte Werkzeugmaschine, ein Rückblick -- Anforderungen und Methoden für die Hardware-in-the-Loop-Simulation zur Virtuellen Inbetriebnahme von Produktionssystemen -- Echtzeit-Co-Simulation von Produktionsanlagen -- ISG-virtuos - der Digitale Zwilling für die Praxis -- Echtzeitsimulation der Prozess-Maschinen-Interaktion zur Prognose der Prozessstabilität mit realer CNC am Beispiel eines Fräsprozesses -- Herausforderungen bei der Abbildung der Prozess-Maschine Interaktion am Beispiel der Umformsimulation -- Materialflusssimulation für die Virtuelle Inbetriebnahme in Steuerungsechtzeit -- Nutzen von Digitalen Zwillingen und Virtueller Inbetriebnahme für den Maschinen- und Anlagenbau -- Teil II Echtzeitsimulation und Modellgenerierung im Entwicklungsprozess: Automatische Modellgenerierung aus Engineering-Daten -- Automatische Modellgenerierung für die Virtuelle Inbetriebnahme bei HOMAG -- TwinStore - Online-Plattform für Simulationsmodelle -- Testautomatisierung am Digitalen Zwilling -- Simulationsmodelle der Virtuellen Inbetriebnahme als Lernumgebung für Reinforcement Learning -- Konzept für die automatisierte Planung von Montagesystemen -- Teil III Echtzeitsimulation als Service in der Betriebsphase: Digital Twin as a Service -- Mixed-Reality-in-the-Loop Simulation -- Anwendungsberichte über den industriellen Einsatz der Mixed Reality im Maschinen- und Anlagenbau -- Anwendungsberichte über den Einsatz der Mixed Reality in der Aus- und Weiterbildung technischer Fachkräfte -- Lernpotenziale und -herausforderungen Digitaler Zwillinge in der Betriebsphase -- Teil IV Echtzeitsimulation für Steuerungsfunktionen: Online-Berechnung des Digitalen Zwillings für CNC am Beispiel der additiven Fertigung -- Strukturmodellbasierte Korrektur thermisch bedingter Fehler -- Räumliche Kraftmessung und -regelung mit strukturintegrierter Sensorik in Hexapoden…”

Tabla de Contenidos: “…Front Cover; Contents; Preface; Contributors; Chapter 1: Introduction; Chapter 2: Nonlinear Systems and Mathematical Representations; Chapter 3: Soliton Fiber Lasers; Chapter 4: Multibound Solitons; Chapter 5: Transmission of Multibound Solitons; Chapter 6: Deterministic Dynamics of Solitons in Passive Mode-Locked Fiber Lasers; Chapter 7: Bistability, Bifurcation, and Chaos in Nonlinear Loop Fiber Lasers; Chapter 8: Nonlinear Fiber Ring Lasers; Chapter 9: Nonlinear Photonic Signal Processing Using Third-Order Nonlinearity…”

Tabla de Contenidos: “…PART 1 - BASICS -- Chapter 1: Getting Started -- Chapter 2: Simple patterns -- Chapter 3: Arrays and loops -- Chapter 4: Binary choices -- Chapter 5: Integers -- Chapter 6: Values and variables -- Chapter 7: Strings -- Chapter 8: Data structures -- Chapter 9: The file system -- PART II - TEXT -- Chapter 10: Project Austen -- Chapter 11: Anagrams -- Chapter 12: Palindromes -- Chapter 13: Word switch -- PART III - IMAGES -- Chapter 14: Color pictures -- Chapter 15: Pixel transformations -- Chapter 16: Cropping and resizing images -- Chapter 17: Project Dino -- PART IV - VISION -- Chapter 18: Overview -- Chapter 19: Finding digits -- Chapter 20: Parsing the images -- Chapter 21: Reading speed signs…”

Tabla de Contenidos: “…Game engines -- Audio middleware -- Game audio vs TV & film sound -- Getting started with FMOD -- Looping -- 2D vs 3D sound -- Getting started in Unity -- Level building in Unity -- Exploring the game environment -- Integrating FMOD and Unity -- Interactive game objects -- Crate sounds -- Putting the "S" into FPS -- Changing footsteps -- The enemies shoot back -- Parameters -- Bonus chapter : Parameters 2 -- Signal routing in FMOD -- FMOD effect plugins -- Ambience and transceivers -- Real-time mixing -- Mix snapshots -- The health system -- Game over man! …”

Tabla de Contenidos: “…Table of Contents NLP in the Business Context and Introduction to AWS AI Services Introducing Amazon Textract Introducing Amazon Comprehend Automating Document Processing Workflows Creating NLP Search Using NLP to Improve Customer Service Efficiency Understanding the Voice of Your Customer Analytics Leveraging NLP to Monetize Your Media Content Extracting Metadata from Financial Documents Reducing Localization Costs with Machine Translation Using Chatbots for Querying Documents AI and NLP in Healthcare Improving the Accuracy of Document Processing Workflows Auditing Named Entity Recognition Workflows Classifying Documents and Setting up Human in the Loop for Active Learning Improving the Accuracy of PDF Batch Processing Visualizing Insights from Handwritten Content Building Secure, Reliable, and Efficient NLP Solutions…”

Tabla de Contenidos: “…Chapter 1: Variables -- Chapter 2: Conditionals -- Chapter 3: Drawing Shapes -- Chapter 4: More Drawing -- Chapter 5: Input & Movement -- Chapter 6: Objects & Events -- Chapter 7: Sprites -- Chapter 8: Health, Lives and score -- Chapter 9: Mouse -- Chapter 10: Alarms -- Chapter 11: Collisions -- Chapter 12: Rooms -- Chapter 13: Backgrounds -- Chapter 14: Sounds -- Chapter 15: Splash Screens & Menus -- Chapter 16: Randomi -- Chapter 17: AI -- Chapter 18: INI files -- Chapter 19: Effects -- Chapter 20: Loops -- Chapter 21: Arrays -- Chapter 22: DS Lists -- Chapter 23: Paths -- Chapter 24: Functions -- 25. …”

Tabla de Contenidos: “…Chapter 1: Real-time Network Monitoring from the Console -- Chapter 2: Destroying Sensitive Data -- Chapter 3: The Process Table -- Chapter 4: The Init Replacement: systemd -- Chapter 5: Improve Your Tradecraft with SELinux -- Chapter 6: Zero Downtime Linux -- Chapter 7: Receive more with wget -- Chapter 8: Dance The SSH Two-Step -- Chapter 9: Your Filesystems, Your Way -- Chapter 10: Encrypt Your Files Without SSH -- Chapter 11: Work On The Console Without Timeouts -- Chapter 12: Hack, Break, and Fix Your Servers -- Chapter 13: Local Networking and Routing Simplified -- Chapter 14: Do More on the QT with GPG -- Chapter 15: Delegate User Control to Sudo -- Chapter 16: Making Greater Use of Loop Disks…”

Tabla de Contenidos: “…-- chapter 6 Walla/Group/Loop Group/Group ADR/Rhubarb -- Why Can't I Hear Them? …”

Tabla de Contenidos: “…Front Cover; Dedication; Contents; Preface; About the Author; List of Figures; List of Tables; Part I - Basic Principles; Chapter 1 - Computer Hardware and Software; Chapter 2 - Data Types and Conditional Statements; Chapter 3 - Loops; Chapter 4 - Methods and Formatted Output; Chapter 5 - Introduction to Arrays; Chapter 6 - Introduction to Classes; Chapter 7 - The ArrayList Class and the enum Keyword; Part II - Advanced Programming Techniques; Chapter 8 - Classes Revisited; Chapter 9 - Fun with Swing; Chapter 10 - Nested Classes and Event Handling…”

Tabla de Contenidos: “…DYNAMICS OF AUTISM. 9. Labels and Looping Effects / Kristien Hens ; 10. Dynamic Approaches / Kristien Hens ; 11. …”

Tabla de Contenidos: “…Basic concepts -- Referencing files and setting options -- Editing and debugging SAS programs -- Creating list reports -- Creating SAS data sets from raw data -- Understanding DATA step processing -- Creating and applying user-defined formats -- Creating enhanced list and summary reports -- Producing descriptive statistics -- Producing HTML output -- Creating and managing variables -- Reading SAS data sets -- Combining SAS data sets -- Transforming data with SAS functions -- Generating data with DO loops -- Processing variables with arrays -- Reading raw data in fixed fields -- Reading free-format data -- Reading date and time values -- Creating a single observation from multiple records -- Creating multiple observations from a single record -- Reading hierarchical files -- Quiz answer keys…”

Tabla de Contenidos: “…Basic concepts -- Referencing files and setting options -- Editing and debugging SAS programs -- Creating list reports -- Creating SAS data sets from external files -- Understanding DATA step processing -- Creating and applying user-defined formats -- Producing descriptive statistics -- Producing HTML output -- Creating and managing variables -- Reading SAS data sets -- Combining SAS data sets -- Transforming data with SAS functions -- Generating data with DO loops -- Processing variables with arrays -- Reading raw data in fixed fields -- Reading free-format data -- Reading date and time values -- Creating a single observation from multiple records -- Creating multiple observations from a single record -- Reading hierarchical files -- Quiz answer keys…”

Tabla de Contenidos: “…Latest Research on Energy Recovery -- Contents -- Preface -- Section 1 Heat Recovery -- Chapter1 Magnetocaloric Properties in Gd Ni and Gd CoNi Systems -- Chapter2 Micro-Thermoelectric Generators: Material Synthesis, Device Fabrication, and Application Demonstration -- Chapter3 Perspective Chapter: Ultra-LowTemperature Chillers for Semiconductor Manufacturing Process -- Section 2 Nonconventional Energy Recovery -- Chapter4 Assessment of Solar Energy Potential Limits within Solids on Heating-Melting Interval -- Chapter5 TheTechnical Challenges of the GasificationTechnologies Currently in Use and Ways of Optimizing Them: A Review -- Chapter6 Green and Sustainable Chemical Looping Plasma Process for Ammonia and Hydrogen Production -- Chapter7 Energy Efficiency Improvement in Surface Mining…”

Tabla de Contenidos: “…. -- removing an anthill -- "authenticity" -- "Bored Ape" -- "Bach Faucet" -- artistic quality -- "increasingly obsolete" -- to know who made it -- get away with it -- businessplans -- scraped -- energy consumption -- executing a style -- her name is still part of the creative process -- feedback loops -- "curator" -- Freedom from choice -- inspired by something -- running water -- human friction -- no brooding -- a game between humans -- narrative aspects -- Turing Test -- theater -- enabling new ways of thinking -- "mechanical sympathy" -- "Changer la vie" -- the conditions for satire -- identity -- community -- to touch people -- remote collaboration -- intuitive knowledge -- The art world needs text -- cocooned by culture -- the accused angel quality -- embracing human friction -- that can't be copied…”

Tabla de Contenidos: “…Conté: The habit cure -- The Habits of Individuals. The habit loop : how habits work -- The craving brain : how to create new habits -- The golden rule of habit change : why transformation occurs. …”

Tabla de Contenidos: “…III Case Studies -- 12.Exploring Control Systems Through Simulation -- The Case Studies -- Modeling Time -- Control Time -- Simulation Time -- The Simulation Framework -- Components -- Plants and Systems -- Controllers -- Actuators and Filters -- Convenience Functions for Standard Loops -- Generating Graphical Output -- 13.Case Study: Cache Hit Rate -- Defining Components -- Cache Misses as Manufacturing Defects -- Measuring System Characteristics -- Controller Tuning -- Simulation Code -- 14.Case Study: Ad Delivery -- The Situation -- Measuring System Characteristics -- Establishing Control -- Improving Performance -- Variations -- Cumulative Goal -- Gain Scheduling -- Integrator Preloading -- Weekend Effects -- Simulation Code -- 15.Case Study: Scaling Server Instances -- The Situation -- Measuring and Tuning -- Reaching 100 Percent With a Nonstandard Controller -- Dealing with Latency -- Simulation Code -- 16.Case Study: Waiting-Queue Control -- On the Nature of Queues and Buffers -- The Architecture -- Setup and Tuning -- Derivative Control to the Rescue -- Controller Alternatives -- Simulation Code -- 17.Case Study: Cooling Fan Speed -- The Situation -- The Model -- Tuning and Commissioning -- Closed-Loop Performance -- Simulation Code -- 18.Case Study: Controlling Memory Consumption in a Game Engine -- The Situation -- Problem Analysis -- Architecture Alternatives -- A Nontraditional Loop Arrangement -- A Traditional Loop with Logarithms -- Results -- Simulation Code -- 19.Case Study Wrap-Up -- Simple Controllers, Simple Loops -- Measuring and Tuning -- Staying in Control -- Dealing with Noise -- pt. …”