Mostrando 1,801 - 1,820 Resultados de 2,511 Para Buscar '"In the Loop"', tiempo de consulta: 0.13s Limitar resultados
  1. 1801
    Publicado 2018
    Tabla de Contenidos: “…-- Fraud detection approach -- Project overview - problem formulation -- Getting started -- Setting up Hortonworks Sandbox in the cloud -- Creating your Azure free account, and signing in -- The Azure Marketplace -- The HDP Sandbox home page -- Implementation objectives -- Implementation steps -- Create the FraudDetection trait -- Broadcasting mean and standard deviation vectors -- Calculating PDFs -- F1 score -- Calculating the best error term and best F1 score -- Maximum and minimum values of a probability density -- Step size for best error term calculation -- A loop to generate the best F1 and the best error term -- Generating predictions - outliers that represent fraud -- Generating the best error term and best F1 measure -- Preparing to compute precision and recall -- A recap of how we looped through a ranger of Epsilons, the best error term, and the best F1 measure -- Function to calculate false positives -- Summary -- Questions -- Further reading -- Chapter 6: Build Flights Performance Prediction Model -- Overview of flight delay prediction -- The flight dataset at a glance -- Problem formulation of flight delay prediction -- Getting started -- Setting up prerequisite software -- Increasing Java memory -- Reviewing the JDK version -- MongoDB installation -- Implementation and deployment -- Implementation objectives -- Creating a new Scala project -- Building the AirlineWrapper Scala trait -- Summary -- Questions -- Further reading -- Chapter 7: Building a Recommendation Engine…”
    Libro electrónico
  2. 1802
    Publicado 2017
    Tabla de Contenidos: “…. -- Using range-based for loops to iterate on a range -- Getting ready -- How to do it... -- How it works... -- See also -- Enabling range-based for loops for custom types -- Getting ready -- How to do it... -- How it works... -- See also -- Using explicit constructors and conversion operators to avoid implicit conversion -- Getting ready -- How to do it... -- How it works... -- See also -- Using unnamed namespaces instead of static globals -- Getting ready -- How to do it... -- How it works... -- See also -- Using inline namespaces for symbol versioning -- Getting ready -- How to do it... -- How it works... -- See also -- Using structured bindings to handle multi-return values -- Getting ready -- How to do it... -- How it works... -- Chapter 2: Working with Numbers and Strings -- Introduction -- Converting between numeric and string types -- Getting ready -- How to do it... -- How it works... -- See also -- Limits and other properties of numeric types -- Getting ready…”
    Libro electrónico
  3. 1803
    Publicado 2018
    Tabla de Contenidos: “…10.2 REQUIREMENTS-DRIVEN AGENT AGGREGATION -- 10.2.1 CAPABILITY PROJECTION REPHRASING -- 10.2.2 CAPABILITY REALIZATION PATTERN -- 10.2.3 CAPABILITY AGGREGATION: NOTATIONS -- 10.2.4 CAPABILITY AGGREGATION: MECHANISM DESIGN -- 10.2.5 CAPABILITY AGGREGATION: BENEVOLENT OBJECTIVE FUNCTION -- 10.3 CAPABILITY ASSIGNMENT PROBLEM (TANG AND JIN, 2010) -- 10.3.1 PROBLEM DEFINITION -- 10.3.2 NORMATIVE SYSTEMS -- 10.3.3 NEGOTIATION-BASED TASK ASSIGNMENT -- 10.4 SUMMARY -- Part Three References -- 4 - Environment-Related Nonfunctionalities -- 11 - The System Dependability Problem -- 11.1 BACKGROUND AND PRINCIPLES -- 11.1.1 BACKGROUND -- 11.1.2 STATE OF ART -- 11.1.2.1 Unified Model of Dependability -- 11.1.3 PRINCIPLES OF IDENTIFYING DEPENDABILITY REQUIREMENTS -- 11.2 CYBERNETICS AND MODEL OF DEPENDABLE SYSTEMS -- 11.2.1 CYBERNETICS AND CONTROL LOOPS -- 11.2.2 MODEL OF DEPENDABLE SYSTEMS -- 11.3 FUNCTION AND CONTROL CAPABILITY PROFILE CLUSTER REQUIREMENTS ELICITATION AND MODELING -- 11.3.1 FUNCTION AND CONTROL CAPABILITY PROFILE CLUSTER METAMODEL -- 11.3.2 ELICITATION OF DEPENDABILITY REQUIREMENTS -- 11.3.2.1 Hazard and Operability Study-Based Threat and System Behavior Deviation Identification -- 11.3.2.2 Risk Assessment -- 11.3.2.3 Control Capability Determination -- 11.3.2.4 Control Capability Specification -- 11.3.3 CASE STUDY: ONLINE STOCK TRADING SYSTEM -- 11.3.3.1 Eliciting Dependability Requirements by Identifying Needs for Controllers -- 11.4 SUMMARY -- 12 - The System Dynamic Adaptability Concern -- 12.1 DYNAMIC ADAPTATION MECHANISMS -- 12.1.1 RULE-BASED DYNAMIC ADAPTATION -- 12.1.2 GOAL-ORIENTED ADAPTATION MECHANISM -- 12.1.3 CONTROL LOOP-BASED SYSTEM MODEL -- 12.2 MODELING DYNAMIC ADAPTATION CAPABILITY -- 12.2.1 CONFORMANCE AMONG REQ, ENV, AND SPEC AS DYNAMIC ADAPTATION LOGIC -- 12.2.2 STRUCTURING THE ENVIRONMENT…”
    Libro electrónico
  4. 1804
    Publicado 2018
    Tabla de Contenidos: “…(Adding Sound and Video) -- Getting Ready to Add Sound to a Slide -- Investigating sound files -- Inserting an audio sound object -- Setting Audio Options -- Controlling when a sound is played -- Looping a sound -- Hiding the sound icon -- Fading the sound in and out -- Trimming an audio clip -- Adding Video to Your Slides -- Setting Video Options -- Controlling when a video is played -- Looping a video -- Trimming a video clip -- Playing the video full screen -- Fading the video's sound in and out -- Adding a bookmark -- Compressing Media -- Chapter 16 More Things to Insert on Your Slides -- Inserting Tables -- Creating a table in a Content placeholder…”
    Libro electrónico
  5. 1805
    Publicado 2016
    Tabla de Contenidos: “…(Adding Sound and Video) -- Getting Ready to Add Sound to a Slide -- Investigating sound files -- Inserting an audio sound object -- Setting Audio Options -- Controlling when a sound is played -- Looping a sound -- Hiding the sound icon -- Fading the sound in and out -- Trimming an audio clip -- Adding Video to Your Slides -- Setting Video Options -- Controlling when a video is played -- Looping a video -- Trimming a video clip -- Playing the video full screen -- Fading the video's sound in and out -- Adding a bookmark -- Chapter 16 More Things to Insert on Your Slides -- Inserting Tables -- Creating a table in a Content placeholder -- Inserting a table on a slide -- Drawing a table -- Applying style to a table -- Working with the Layout tab -- Inserting WordArt -- Using Hyperlinks -- Creating a hyperlink to another slide…”
    Libro electrónico
  6. 1806
    Publicado 2017
    Tabla de Contenidos: “…Reading arguments and working with arrays -- Passing arguments with Visual Studio 2017 -- Passing arguments with Visual Studio Code -- Viewing the output -- Enumerating arguments -- Running on Windows -- Running on macOS -- Handling platforms that do not support an API -- Operating on variables -- Experimenting with unary operators -- Experimenting with arithmetic operators -- Comparison and Boolean operators -- Practicing and exploring -- Exercise 2.1 - Test your knowledge -- Exercise 2.2 - Practice number sizes and ranges -- Exercise 2.3 - Explore topics -- Summary -- Chapter 3: Controlling the Flow and Converting Types -- Selection statements -- Using Visual Studio 2017 -- Using Visual Studio Code on macOS, Linux, or Windows -- The if statement -- The code -- Pattern matching with the if statement -- The switch statement -- The code -- Pattern matching with the switch statement -- Iteration statements -- The while statement -- The do statement -- The for statement -- The foreach statement -- Casting and converting between types -- Casting from numbers to numbers -- Casting numbers implicitly -- Casting numbers explicitly -- Using the convert type -- Rounding numbers -- Converting from any type to a string -- Converting from a binary object to a string -- Parsing from strings to numbers or dates and times -- Handling exceptions when converting types -- The try statement -- Catching all exceptions -- Catching specific exceptions -- Checking for overflow -- The checked statement -- The unchecked statement -- Looking for help -- Microsoft Docs and MSDN -- Go to definition -- Stack Overflow -- Google -- Subscribing to blogs -- Design patterns -- Singleton pattern -- Practicing and exploring -- Exercise 3.1 - Test your knowledge -- Exercise 3.2 - Explore loops and overflow -- Exercise 3.3 - Practice loops and operators…”
    Libro electrónico
  7. 1807
    Publicado 2024
    Tabla de Contenidos: “…uniq -- Counting -- wc -- head -- tail -- tee -- awk -- sed -- Practical pipe patterns -- "Top X", with count -- curl | bash -- Security considerations for curl | sudo | bash -- Filtering and searching with grep -- grep and tail for log monitoring -- find and xargs for bulk file operations -- sort, uniq, and reverse numerical sort for data analysis -- awk and sort for reformatting data and field-based processing -- sed and tee for editing and backup -- ps, grep, awk, xargs, and kill for process management -- tar and gzip for backup and compression -- Advanced: inspecting file descriptors -- Conclusion -- Chapter 12: Automating Tasks with Shell Scripts -- Why you need Bash scripting basics -- Basics -- Variables -- Setting -- Getting -- Bash versus other shells -- Shebangs and executable text files, aka scripts -- Common Bash settings (options/arguments) -- /usr/bin/env -- Special characters and escaping -- Command substitution -- Testing -- Testing operators -- [[ file and string testing ]] -- Useful operators for string testing -- Useful operators for file testing -- (( arithmetic testing )) -- Conditionals: if/then/else -- ifelse -- Loops -- C-style loops -- for...in -- While -- Variable exporting -- Functions -- Prefer local variables -- Input and output redirection -- &lt -- : input redirection -- &gt -- and &gt -- &gt -- : output redirection -- Use 2&gt -- &amp -- 1 to redirect STDERR and STDOUT -- Variable interpolation syntax - {} -- Limitations of shell scripts -- Conclusion -- Citations -- Chapter 13: Secure Remote Access with SSH -- Public key cryptography primer -- Message encryption -- Message signing -- SSH keys -- Exceptions to these rules -- Logging in and authenticating -- Practical project: Set up a key-based login to a remote server -- Step 1: Open your terminal on the SSH client (not the server) -- Step 2: Generate the key pair…”
    Libro electrónico
  8. 1808
    Publicado 2018
    Tabla de Contenidos: “…PREFACE xi ACKNOWLEDGMENTS xiii FOREWORD xv CHAPTER 1 INTRODUCTION 1 1.1 Introduction 1 Bibliography 4 CHAPTER 2 ELECTRIC NETWORK ANALYSIS IN ENERGY PROCESSING AND SMART GRID 5 2.1 Introduction 5 2.2 Complex Power Concepts 5 2.3 Review of AC-Circuit Analysis Using Phasor Diagrams 8 2.4 Polyphase Systems 9 2.5 Three-Phase Loads with Impedence Loads 13 2.6 Transformation of Y to Delta and Delta to Y 17 2.7 Summary of Phase and Line Voltages/Currents for Balanced Three-Phase Systems 19 2.8 Per-Unit Systems 22 2.9 Chapter Summary 27 Exercises 27 Bibliography 29 CHAPTER 3 MAGNETIC SYSTEMS FOR ENERGY PROCESSING 31 3.1 Introduction 31 3.2 Magnetic Fields 31 3.3 Equivalent Magnetic and Electric Circuits 34 3.4 Overview of Magnetic Materials 35 3.5 Hysteresis Loops and Hysteresis Losses in Ferromagnetic Materials 35 3.6 Definitions 38 3.7 Magnetic Circuit Losses 38 3.8 Producing Magnetic Flux in Air Gap 40 3.9 Rectangular-Shaped Magnetic Circuits 41 3.10 Chapter Summary 45 Exercises 45 Bibliography 47 CHAPTER 4 TRANSFORMERS 49 4.1 Introduction 49 4.2 First Two Maxwell's Laws 50 4.3 Transformers 51 4.4 Ideal Single-Phase Transformer Models 56 4.5 Modeling a Transformer into Equivalent Circuits 59 4.6 Transformer Testing 65 4.7 Transformer Specifications 71 4.8 Three-Phase Power Transformers 72 4.9 New Advances in Transformer Technology: Solid-State Transformers 72 4.10 Chapter Summary 78 Exercises 78 Bibliography 82 CHAPTER 5 INDUCTION MACHINES 83 5.1 Introduction 83 5.2 Construction and Types of Induction Motors 83 5.3 Operating Principle 85 5.4 Basic Induction-Motor Concepts 86 5.5 Induction-Motor Slip 88 5.6 Rotor Current and Leakage Reactance 88 5.7 Rotor Copper Loss 91 5.8 Developing the Equivalent Circuit of Polyphase, Wound-Rotor Induction Motors 92 5.9 Computing Corresponding Torque of Induction Motors 96 5.10 Approximation Model for Induction Machines 97 5.11 Speed Control of Induction Motors 100 5.12 Application of Induction Motors 101 5.13 induction-Generator Principles 101 5.14 Chapter Summary 103 Exercises 104 Bibliography 106 CHAPTER 6 SYNCHRONOUS MACHINES 107 6.1 Introduction 107 6.2 Synchronous-Generator Construction 107 6.3 Exciters 108 6.4 Governors 110 6.5 Synchronous Generator Operating Principle 110 6.6 Equivalent Circuit of Synchronous Machines 112 6.7 Synchronous Generator Equivalent Circuits 113 6.8 Over Excitation and Under Excitation 114 6.9 Open-Circuit and Short-Circuit Characteristics 115 6.10 Performance Characteristics of Synchronous Machines 118 6.11 Generator Compounding Curve 122 6.12 Synchronous Generator Operating Alone: Concept of Infinite Bus 122 6.13 Initial Elementary Facts about Synchronous Machines 123 6.14 Cylindrical-Rotor Machines for Turbo Generators 125 6.15 Synchronous Machines with Effects of Saliency: Two-Reactance Theory 125 6.16 The Salient-Pole Machine 126 6.17 Synchronous Motors 128 6.18 Synchronous Machines and System Stability 131 6.19 Chapter Summary 135 Exercises 136 Bibliography 137 CHAPTER 7 DC MACHINES 139 7.1 Introduction 139 7.2 Conductor Moving in a Uniform Magnetic Field 139 7.3 Current-Carrying Conductor in a Uniform Magnetic Field 139 7.4 DC-Machine Construction and Nameplate Parameters 141 7.5 DC Machine Pertinent Nameplate Parameters 142 7.6 Development and Configuration of Equivalent Circuits of DC Machines 142 7.7 Classification of DC Machines 147 7.8 Voltage Regulation 151 7.9 Power Computation for DC Machines 151 7.10 Power Flow and Efficiency 152 7.11 DC Motors 155 7.12 Computation of Speed of DC Motors 155 7.13 DC-Machine Speed-Control Methods 163 7.14 Ward Leonard System 164 7.15 Chapter Summary 166 Exercises 167 Bibliography 168 CHAPTER 8 PERMANENT-MAGNET MOTORS 169 8.1 Introduction 169 8.2 Permanent-Magnet DC Motors 169 8.3 Permanent-Magnet Synchronous Motors 177 8.4 Variants of Permanent-Magnet Synchronous Motors 186 8.5 Chapter Summary 190 Bibliography 190 CHAPTER 9 RENEWABLE ENERGY RESOURCES 193 9.1 Introduction 193 9.2 Distributed Generation Concepts 193 9.3 DG Benefits 194 9.4 Working Definitions and Classifications of Renewable Energy 195 9.5 Renewable-Energy Penetration 218 9.6 Maximum Penetration Limits of Renewable-Energy Resources 218 9.7 Constraints to Implementation of Renewable Energy 219 Exercises 221 Bibliography 222 CHAPTER 10 STORAGE SYSTEMS IN THE SMART GRID 223 10.1 Introduction 223 10.2 Forms of Energy 223 10.3 Energy Storage Systems 223 10.4 Cost Benefits of Storage 239 10.5 Chapter Summary 244 Bibliography 244 CHAPTER 11 POWER ELECTRONICS 247 11.1 Introduction 247 11.2 Power Systems with Power Electronics Architecture 248 11.3 Elements of Power Electronics 249 11.4 Power Semiconductor Devices 249 11.5 Applications of Power Electronics Devices to Machine Control 276 11.6 Applications of Power Electronics Devices to Power System Devices 280 11.7 Applications of Power Electronics to Utility, Aerospace, and Shipping 281 11.8 Facts 282 11.9 Chapter Summary 286 Bibliography 287 CHAPTER 12 CONVERTERS AND INVERTERS 289 12.1 Introduction 289 12.2 Definitions 289 12.3 DC-DC Converters 290 12.4 Inverters 296 12.5 Rectifiers 301 12.6 Applications 312 12.7 Chapter Summary 320 Exercises 320 Bibliography 322 CHAPTER 13 MICROGRID APPLICATION DESIGN AND TECHNOLOGY 323 13.1 Introduction to Microgrids 323 13.2 Types of Microgrids 324 13.3 Microgrid Architecture 325 13.4 Modeling of a Microgrid 330 13.5 Chapter Summary 332 Bibliography 333 CHAPTER 14 MICROGRID OPERATIONAL MANAGEMENT 335 14.1 Perfomance Tools of a Microgrid 335 14.2 Microgrid Functions 337 14.3 IEEE Standards for Microgrids 344 14.4 Microgrid Benefits 346 14.5 Chapter Summary 349 Bibliography 349 CHAPTER 15 THE SMART GRID: AN INTRODUCTION 351 15.1 Evolution, Drivers, and the Need for Smart Grid 351 15.2 Comparison of Smart Grid with the Current Grid System 352 15.3 Architecture of a Smart Grid 353 15.4 Design for Smart-Grid Function for Bulk Power Systems 353 15.5 Smart-Grid Challenges 362 15.6 Design Structure and Procedure for Smart-Grid Best Practices 363 15.7 Chapter Summary 365 Bibliography 365 CHAPTER 16 SMART-GRID LAYERS AND CONTROL 367 16.1 Introduction 367 16.2 Controls for the Smart Grid 367 16.3 Layers of Smart Grid Within the Grid 373 16.4 Command, Control, and Communication Applications in Real Time 390 16.5 Hardware-in-the-Loop for Energy Processing and the Smart Grid 394 16.6 Evolution of Cyber-Physical Systems 394 16.7 Chapter Summary 396 Bibliography 397 CHAPTER 17 ENERGY PROCESSING AND SMART-GRID TEST BEDS 401 17.1 Introduction 401 17.2 Study of Available Test Beds for the Smart Grid 401 17.3 Smart Microgrid Test-Bed Design 403 17.4 Smart-Grid Test Beds 404 17.5 Smart-Grid Case Studies 405 17.6 Simulation Tools, Hardware, and Embedded Systems 408 17.7 Limitations of Existing Smart-Grid Test Beds 411 17.8 Chapter Summary 412 Bibliography 412 INDEX 415.…”
    Libro electrónico
  9. 1809
    Publicado 2017
    Tabla de Contenidos: “…Cover -- Copyright -- Credits -- About the Author -- About the Reviewers -- www.PacktPub.com -- Customer Feedback -- Table of Contents -- Preface -- Chapter 1: Python Basics -- Python installation -- Installation of Python via Anaconda -- Launching Python via Spyder -- Direct installation of Python -- Variable assignment, empty space, and writing our own programs -- Writing a Python function -- Python loops -- Python loops, if...else conditions -- Data input -- Data manipulation -- Data output -- Exercises -- Summary -- Chapter 2: Introduction to Python Modules -- What is a Python module? …”
    Libro electrónico
  10. 1810
    Publicado 2022
    Tabla de Contenidos: “…Create an Instant Flow by Navigating to Power Automate -- Configure a Scheduled Cloud Flow -- Step 1: Create a Scheduled Flow by Navigating to Power Automate -- Step 2: Connect to the Dataverse to Get Students -- Configure a Business Process Flow -- Step 1: Use the Solution to Create a BPF -- Step 2: Edit the Stages -- Configure a Desktop Flow -- Dynamic Values and Expressions in Flows -- Create an Instant Flow in Power Automate -- Using Variables, Loops, and Conditions -- Working with Variables and Conditions -- Working with Loops -- Working with Approvals in Power Automate -- Step 1: Add an Automated Cloud Flow -- Approval Types -- Step 2: Check the Approval Status -- Business Scenarios, Use Cases, and Implementations -- Summary -- Chapter 5: Working with Power Virtual Agent -- The Power Virtual Agent -- Build Bots Quickly and Easily -- Deploy Across Channels and Languages -- Scale Securely with Centralized Management -- Improve Your Bots Over Time -- Building Blocks of Power Virtual Agents -- Configure a Sample Power Virtual Agent -- Step 1: Create a Chatbot from Power Apps -- Step 2: Edit Actions in the Greetings Topic -- Step 3: Configure the Ask a Question Action in the Chatbot -- Step 4: Add a Conditional Check to the Chatbot -- Step 5: Call the Power Automate Flow from the Chatbot -- Deploying Power Virtual Agent in Public Websites/Portals -- Business Scenarios, Use Cases, and Implementations -- Summary -- Chapter 6: Working with Power BI and Dynamics 365 Apps -- Building Blocks of Power BI, Datasources, Reports, and Dashboards -- Connect Online Datasources to Use in Power BI -- Step 1: Create a Workspace -- Step 2: Connect a Datasource -- Step 3: Create a Report from the Dataset -- Step 4: Pin Reports to a Dashboard -- Step 5: Connect to Dataverse Tables in Power BI -- Connect an On-Premise Datasource to Use in Power BI…”
    Libro electrónico
  11. 1811
    por Hales, Jason
    Publicado 2022
    Tabla de Contenidos: “…. -- Formatting Dates -- Logical Operators and Boolean Expressions -- Using if-else Statements -- Exercise 1.06: Branching with if-else -- The Ternary Operator -- Reference and Value Types -- Exercise 1.07: Grasping Value and Reference Equality -- Default Value Types -- Enhancing Decision Making with the switch Statement -- Exercise 1.08: Using switch to Order Food -- Iteration Statements -- while -- Exercise 1.09: Checking Whether a Number is Prime with a while Loop -- Jump Statements -- do-while -- Arrays -- for Loops -- Exercise 1.10: Ordering an Array Using Bubble Sort -- foreach Statements -- File Handling -- FileAccess -- FileMode -- Exercise 1.11: Reading Content from Text Files -- Disposable Objects -- Exercise 1.12: Writing to a Text File -- Exceptions -- Exercise 1.13: Handling Invalid User Inputs with try/catch -- Activity 1.01: Creating a Guessing Game -- Summary -- Chapter 2: Building Quality Object-Oriented Code -- Introduction -- Classes and Objects -- Constructors -- Fields and Class Members -- Exercise 2.01: Creating Classes and Objects -- Reference Types -- Properties -- Object Initialization…”
    Libro electrónico
  12. 1812
    Publicado 2004
    Tabla de Contenidos: “…Migrating WebSphere Application Server Enterprise processes -- 10.1 FDML migration wizard -- 10.2 FDML constructs in BPEL4WS -- 10.2.1 Synchronous process -- 10.2.2 Asynchronous process -- 10.2.3 Java, EJB, and service activities -- 10.2.4 Fault handling -- 10.2.5 Receive event -- 10.2.6 Staff -- 10.2.7 Block -- 10.2.8 Loop -- 10.3 Migrating the scenario -- 10.3.1 Validate reference model -- 10.3.2 Reserve hotel reference model -- 10.3.3 Reserve flight reference model -- Part 4 Appendixes -- Appendix A. …”
    Libro electrónico
  13. 1813
    Publicado 2023
    Tabla de Contenidos: “…8 Discussion, Related and Future Work -- References -- Unblocking Dynamic Partial Order Reduction -- 1 Introduction -- 2 DPOR and Blocked Executions -- 2.1 Dynamic Partial Order Reduction -- 2.2 Assume Statements and DPOR -- 3 Key Ideas -- 3.1 Avoiding Blocking Due to Stale Reads -- 3.2 Handling Await Loops with In-Place Revisits -- 3.3 Handling Confirmation CASes with Speculative Revisits -- 4 Await-Aware Model Checking Algorithm -- 4.1 Execution Graphs -- 4.2 Awamoche -- 5 Correctness and Optimality -- 5.1 Approaches to Correctness -- 5.2 Awamoche: Completeness, Optimality, and Strong Optimality -- 6 Evaluation -- 6.1 Results -- 7 Related Work -- 8 Conclusion -- References -- Cyber-Physical and Hybrid Systems -- 3D Environment Modeling for Falsification and Beyond with Scenic 3.0 -- 1 Introduction -- 2 New Features -- 2.1 3D Geometry -- 2.2 Mesh Shapes and Regions -- 2.3 Precise Visibility Model -- 2.4 Temporal Requirements -- 2.5 Rewritten Parser -- 3 Case Studies -- 3.1 Falsification of a Robot Vacuum -- 3.2 Constrained Data Generation for an Autonomous Vehicle -- 4 Conclusion -- References -- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation -- 1 Introduction -- 2 Generalized timed automata -- 3 Expressivity of GTA and Examples -- 4 The Reachability Problem for GTA -- 5 Symbolic Enumeration -- 6 Computing with GTA Zones Using Distance Graphs -- 7 Finiteness of the Simulation Relation -- 8 Experimental Evaluation -- 9 Conclusion -- References -- Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study -- 1 Introduction -- 2 Autonomous Center-Line Tracking with TaxiNet -- 3 Probabilistic Analysis -- 3.1 Probabilistic Abstractions for Perception -- 3.2 DNN Checks as Run-Time Guards -- 3.3 Confidence Analysis -- 4 Experiments -- 5 Conclusion -- References…”
    Libro electrónico
  14. 1814
    por Leonard, Anghel
    Publicado 2024
    Tabla de Contenidos: “…Multiply two integers without using loops, multiplication, bitwise, division, and operators -- 32. …”
    Libro electrónico
  15. 1815
    Publicado 2019
    Tabla de Contenidos: “…Core Principles in Anatomy and Physiology -- Overall Theme: Physiological Processes Operate to Maintain the Body's Homeostasis -- Core Principle One: Feedback Loops Are a Key Mechanism Used to Maintain Homeostasis -- Core Principle Two: Structure and Function Are Related at All Levels of Organization -- Core Principle Three: Gradients Drive Many Physiological Processes -- Core Principle Four: Cell-Cell Communication Is Required to Coordinate Body Functions -- Concept Boost: Putting Anatomical Terms Together -- Concept Boost: Debunking Some Common Misconceptions about Homeostasis -- A&amp -- P in the Real World: Medical Errors -- A&amp -- P in the Real World: Abdominal Pain -- A&amp -- P in the Real World: Medical Imaging -- A&amp -- P in the Real World: Childbirth, Pitocin, and Positive Feedback Loops -- 2. …”
    Libro electrónico
  16. 1816
    Publicado 2024
    Tabla de Contenidos: “…Building a transformer-based text generator with PyTorch -- Training the transformer-based language model -- Saving and loading the language model -- Using the language model to generate text -- Using GPT models as text generators -- Out-of-the-box text generation with GPT-2 -- Text generation strategies using PyTorch -- Greedy search -- Beam search -- Top-k and top-p sampling -- Text generation with GPT-3 -- Generating MIDI music with LSTMs using PyTorch -- Loading the MIDI music data -- Defining the LSTM model and training routine -- Training and testing the music generation model -- Summary -- References -- Chapter 8: Neural Style Transfer -- Understanding how to transfer style between images -- Implementing neural style transfer using PyTorch -- Loading the content and style images -- Loading and trimming the pretrained VGG19 model -- Building the neural style transfer model -- Training the style transfer model -- Experimenting with the style transfer system -- Summary -- References -- Chapter 9: Deep Convolutional GANs -- Defining the generator and discriminator networks -- Understanding the DCGAN generator and discriminator -- Training a DCGAN using PyTorch -- Defining the generator -- Defining the discriminator -- Loading the image dataset -- Training loops for DCGANs -- Using GANs for style transfer -- Understanding the pix2pix architecture -- Exploring the pix2pix generator -- Exploring the pix2pix discriminator -- Summary -- References -- Chapter 10: Image Generation Using Diffusion -- Understanding image generation using diffusion -- Understanding how diffusion works -- Training a forward diffusion model -- Performing reverse diffusion or denoising -- Training a diffusion model for image generation -- Loading the dataset using Hugging Face datasets -- Processing the dataset using torchvision transforms…”
    Libro electrónico
  17. 1817
    Tabla de Contenidos: “….; Tabla 1; Tabla 2; Capítulo 2: Estructuras; 2.1 Sequence; 2.2 Case; 2.3 While; 2.4 For; 2.5 Event; 2.6 Time loop y timed sequence; 2.7 Disable structure; 2.8 Formula node; 2.9 Scripts; 2.10 Ejemplos; 2.10.1 Ejemplo I: Filtro promediador; 2.10.1.1 Explicación teórica; 2.10.1.2 Código; 2.10.1.3 Resultado; 2.10.2 Ejemplo II: Generación de números primos; 2.10.2.1 Explicación teórica; 2.10.2.2 Código; 2.10.2.3 Resultado; 2.10.3 Ejemplo III: Bingo; 2.10.3.1 Explicación teórica; 2.10.3.2 Código; 2.10.3.3 Resultado; 2.11 Ejercicios; 2.12 Bibliografía; Figura 2-1…”
    Libro electrónico
  18. 1818
    Publicado 2015
    Tabla de Contenidos: “…Penny George: It's Never Too Late to Become a Leader -- Steve Rothschild: Finding His Calling -- Aligning Your Organization and Shared Purpose -- Keeping Your True North and Purpose in Sync -- Exercise: The Purpose of My Leadership -- Chapter 11: Empowerment -- Anne Mulcahy: Empowering People in Crisis -- The Engaged Leader -- Mutual Respect: The Basis for Empowerment -- Treat Others as Equals -- Listen Actively -- Learn from People -- Share Life Stories -- Align around the Mission -- Creating an Empowered Culture -- Marilyn Carlson Nelson: From Sweatshop to Empowerment -- Kent Thiry: The Mayor of DaVita -- Tony Hsieh's Radical Transparency -- Empowerment Is Accountability -- Alan Mulally: Empowerment with Closed-Loop Accountability -- Your Leadership Style -- Selecting Your Altitude -- Exercise: Empowering Other Leaders -- Chapter 12: Global Leadership -- Paul Polman: Transforming Unilever's Global Leadership -- Challenges of the Global Context -- Understanding Geopolitical Context -- Reinventing Business Models -- Flipping the Headquarters Paradigm -- Building Diverse Leadership Teams -- Developing Global Intelligence (GQ) -- Adaptability -- Awareness -- Curiosity -- Empathy -- Alignment -- Collaboration -- Integration -- Increasing Your GQ -- Emerging Global Leaders -- David Thai, the Serial Entrepreneur -- Tamara Rogers, the Traveler -- Peilung Li, the Rebel -- Rodrigo Mascarenhas, the Multiplier -- Abby Falik, Developing Global Leaders -- The Future for Global Leaders -- Exercise: Developing GQ -- Afterword: Stakeholders in Society -- Jack Ma: China's First Global Leader -- The Purpose of Business -- Becoming Stakeholders in Society -- New Leaders Featured in Discover Your True North -- Participants from the Original Research for True North -- Where Are They Now? …”
    Libro electrónico
  19. 1819
    Publicado 2018
    Tabla de Contenidos: “…The EventEmitter Class -- The EventEmitter theory -- HTTP server applications -- ES2015 multiline and template strings -- HTTP Sniffer - listening to the HTTP conversation -- Web application frameworks -- Getting started with Express -- Setting environment variables in Windows cmd.exe command line -- Walking through the default Express application -- The Express middleware -- Middleware and request paths -- Error handling -- Calculating the Fibonacci sequence with an Express application -- Computationally intensive code and the Node.js event loop -- Algorithmic refactoring -- Making HTTP Client requests -- Calling a REST backend service from an Express application -- Implementing a simple REST server with Express -- Refactoring the Fibonacci application for REST -- Some RESTful modules and frameworks -- Summary -- Chapter 5: Your First Express Application -- Promises, async functions, and Express router functions -- Promises and error handling -- Flattening our asynchronous code -- Promises and generators birthed async functions -- Express and the MVC paradigm -- Creating the Notes application -- Your first Notes model -- Understanding ES-2015 class definitions -- Filling out the in-memory Notes model -- The Notes home page -- Adding a new note - create -- Viewing notes - read -- Editing an existing note - update -- Deleting notes - destroy -- Theming your Express application -- Scaling up - running multiple Notes instances -- Summary -- Chapter 6: Implementing the Mobile-First Paradigm -- Problem - the Notes app isn't mobile friendly -- Mobile-first paradigm -- Using Twitter Bootstrap on the Notes application -- Setting it up -- Adding Bootstrap to application templates -- Alternative layout frameworks -- Flexbox and CSS Grids -- Mobile-first design for the Notes application -- Laying the Bootstrap grid foundation…”
    Libro electrónico
  20. 1820
    Publicado 2008
    Tabla de Contenidos: “…Displaying Grocery Products Based on Category Selection -- Using a Repeater to Loop Over a Dataset -- Retrieving Data from Repeated Components -- Addressing Components Built by a Repeater -- Understanding Performance Differences Between TileList and Repeater -- Displaying Grocery Items Based on Category -- Coding States to Display Detailed Product Information -- Placing Products in the Shopping Cart -- LESSON 9 Using Custom Events -- Understanding the Benefits of Loosely Coupled Architecture -- Dispatching Events -- Declaring Events for a Component -- Identifying the Need for Custom Event Classes -- Building and Using the CategoryEvent -- Creating and Using the ProductEvent Class -- Using ProductEvent to Remove a Product from the Cart -- Using ProductEvent to Add a Product to the Cart -- Understanding Event Flow and Event Bubbling -- LESSON 10 Creating Custom Components with ActionScript 3.0 -- Introducing Building a Component with ActionScript 3.0 -- Creating the Structure of the Class -- Overriding the createChildren() Method -- Creating a Button in ActionScript -- Using the addChild() Method to Add the Button to Your Component -- Understanding chrome and rawChildren -- Using addChild() on rawChildren to Add Elements to the Chrome -- Sizing and Positioning in Flex -- Understanding the measure() Method -- Overriding the updateDisplayList() Method -- LESSON 11 Using DataGrids and Item Renderers -- Introducing DataGrids and Item Renderers -- Adding a Generic DataGrid to ChartPod -- Adding HTTPService Calls to Dashboard -- Displaying the Shopping Cart with a DataGrid -- Add Inline Editing Control for DataGridColumn -- Create an MXML Item Renderer for Displaying the Product -- Create an Inline MXML Item Renderer for Displaying the Remove Button -- Update ShoppingCartItem with Set and Get Functions -- Using the AdvancedDataGrid…”
    Libro electrónico