Mostrando 941 - 960 Resultados de 3,243 Para Buscar '"streaming"', tiempo de consulta: 0.09s Limitar resultados
  1. 941
    Publicado 2020
    “…La cadena de videoclubs llegó a tener hasta 9.000 locales repartidos por todo el mundo, algunos con un catálogo físico de VHS de decenas de miles de películas, mucho mayor que la mayoría de las plataformas actuales de streaming. Pero varios errores empresariales y la irrupción del consumo del cine por formaro digital acabó finalmente con su negocio…”
    Recurso relacionado
    DVD
  2. 942
    Publicado 2019
    Tabla de Contenidos: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations…”
    Libro electrónico
  3. 943
    Publicado 2017
    Tabla de Contenidos: “…. -- See also -- Chapter 8: Akka Streams -- Introduction -- Creating simple Akka Streams -- Getting ready -- How to do it... -- How it works... -- How to transform streams and consume them -- Getting ready -- How to do it... -- How it works... -- Creating stream sources, flows, and sinks -- Getting ready -- How to do it... -- How it works…”
    Libro electrónico
  4. 944
    Publicado 2004
    Tabla de Contenidos: “…Implementing UCM -- UCM background -- UCM objects -- UCM lifecycle -- UCM policies -- UCM ClearQuest integration -- UCM schemas -- Enabling ClearQuest integration -- UCM change request workflow -- UCM process policies -- UCM design overview -- UCM configuration component design -- Defining component scope -- Managing component sets and hierarchies -- Managing component reuse -- Implementing components -- Component design constraints -- UCM project design -- Project organization -- Project design constraints -- UCM stream design -- Private development streams -- Single-stream projects -- Shared-stream projects -- Stream hierarchies…”
    Libro electrónico
  5. 945
    por Perkins, Benjamin
    Publicado 2023
    Tabla de Contenidos: “…Data Modeling with Machine Learning -- Usage -- Summary -- Exam Essentials -- Review Questions -- Chapter 6 Create and Manage Batch Processing and Pipelines -- Design and Develop a Batch Processing Solution -- Design a Batch Processing Solution -- Develop Batch Processing Solutions -- Create Data Pipelines -- Handle Duplicate Data -- Handle Missing Data -- Handle Late-Arriving Data -- Upsert Data -- Configure the Batch Size -- Configure Batch Retention -- Design and Develop Slowly Changing Dimensions -- Design and Implement Incremental Data Loads -- Integrate Jupyter/IPython Notebooks into a Data Pipeline -- Revert Data to a Previous State -- Handle Security and Compliance Requirements -- Design and Create Tests for Data Pipelines -- Scale Resources -- Design and Configure Exception Handling -- Debug Spark Jobs Using the Spark UI -- Implement Azure Synapse Link and Query the Replicated Data -- Use PolyBase to Load Data to a SQL Pool -- Read from and Write to a Delta Table -- Manage Batches and Pipelines -- Trigger Batches -- Schedule Data Pipelines -- Validate Batch Loads -- Implement Version Control for Pipeline Artifacts -- Manage Data Pipelines -- Manage Spark Jobs in a Pipeline -- Handle Failed Batch Loads -- Summary -- Exam Essentials -- Review Questions -- Chapter 7 Design and Implement a Data Stream Processing Solution -- Develop a Stream Processing Solution -- Design a Stream Processing Solution -- Create a Stream Processing Solution -- Process Time Series Data -- Design and Create Windowed Aggregates -- Process Data Within One Partition -- Process Data Across Partitions -- Upsert Data -- Handle Schema Drift -- Configure Checkpoints/Watermarking During Processing -- Replay Archived Stream Data -- Design and Create Tests for Data Pipelines -- Monitor for Performance and Functional Regressions…”
    Libro electrónico
  6. 946
    Publicado 2016
    Tabla de Contenidos: “…Implementing the HTTP server applicationAdding SSL/TLS support to client applications; Adding SSL/TLS support to server applications; Introduction; Using composite buffers for scatter/gather operations; Using timers; Getting and setting socket options; Performing a stream-based I/O…”
    Libro electrónico
  7. 947
    Publicado 2023
    Tabla de Contenidos: “…Controversing Datafication through Media Architectures -- 4. Streaming against the Environment: Digital Infrastructures, Video Compression, and the Environmental Footprint of Video Streaming -- 5. …”
    Libro electrónico
  8. 948
    por Oxen, Nicolas
    Publicado 2021
    Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Einleitung - Das digitale Bild gibt es nicht 7 1.1 Zwischen Renovierungsarbeit und Gelegenheitsphilosophie 19 1.2 Positionen und Themen der Medienphilosophie 27 1.3 Die ästhetische Dimension technischer Instabilität 39 Einleitung 47 2.1 Ein neues Zeit-Bild 48 2.2 Dauer als temporale Differenz 53 2.3 Abweichende Bewegungen 60 3.1 Die Liquidation des Intervalls 65 3.2 Analyse: Exilerfahrung auf VHS - »Flotel Europa« 69 3.3 Analyse: Flucht mit dem Smartphone - »Meine Flucht« 93 Einleitung 113 4.1 Der Stream of Thought als Denkfigur 114 4.2 Eine Theorie zeitlicher Relationen 118 4.3 Streaming und die Relationalität digitaler Bildkulturen 125 5.1 Die zeitliche Dynamik digitaler Bildkulturen 133 5.2 Analyse: Bill Morrison: »Decasia: The State of Decay« 137 5.3 Analyse: Nicolas Provost - Datamoshing und Glitch 157 Einleitung 187 6.1 Whiteheads Prozessphilosophie 188 6.2 Der Begriff der prehension bei Whitehead 198 6.3 Prehension und digitale Medienökologie 206 Schluss - Eine unberechenbare Zukunft 215 Danksagung 227 Abbildungsverzeichnis 229 Literatur 231…”
    Tesis
  9. 949
    Publicado 2017
    Tabla de Contenidos: “…5.3.3 Mathematical Modeling of the Rheology and Related Numerical Analysis -- 5.3.4 Medical Outcomes -- 5.4 Concluding Remarks -- Acknowledgements -- References -- 6 Intracellular Micro uid Transportation in Fast Growing Pollen Tubes -- 6.1 Introduction -- 6.2 Modeling Fluid Flow of Fountain Streaming in Pollen Tubes -- 6.2.1 Pollen Collection and Germination -- 6.2.2 Living Image and Observation -- 6.2.3 Hydrodynamics of Fountain Streaming -- 6.3 Modeling Intracellular Micro uid Transportation in Pollen Tubes -- 6.3.1 Analysis for the Properties of Micro uid Transportation in Pollen Tubes -- 6.3.2 Simulation for the Coupling Advection-Diffusion of Fountain Streaming -- 6.4 Results and Discussion -- 6.4.1 Hydrodynamics of Fountain Streaming in Pollen Tubes -- 6.4.2 Intracellular Transportation of Fountain Streaming in Pollen Tubes -- 6.5 Conclusions -- References -- 7 Microorganisms and Their Response to Stimuli -- 7.1 Introduction -- 7.2 Swimming Dynamics -- 7.3 Response to Stimuli -- 7.3.1 Gyrotactic Phototrophs -- 7.3.2 Photosensitive Phototrophs -- 7.3.3 Chemotactic Microorganisms -- 7.4 Non-Flowing Suspensions -- 7.4.1 Gyrotactic Phototrophs -- 7.4.2 Photosensitive Phototrophs -- 7.4.3 Chemotaxis -- 7.5 Flowing Suspensions -- 7.5.1 Gyrotactic Focusing -- 7.5.2 Gyrotactic Plumes -- 7.5.3 Bioconvection -- 7.5.4 Bacterial Chemotaxis -- 7.5.5 Porous Media -- 7.6 Conclusions -- References -- 8 Nano-Swimmers in Lipid-Bilayer Membranes -- 8.1 Introduction -- 8.2 Methods -- 8.2.1 Hybrid MD-MPCD Simulations for Fluid Lipid Bilayers in a Solvent -- 8.2.2 Simple Model for Membrane Swimmers -- 8.3 Results -- 8.4 Conclusions -- References -- 9 Phase Field Modeling of Inhomogeneous Biomembranes in Flow -- 9.1 Motivation -- 9.2 Energy of the System -- 9.3 Hydrodynamic Models -- 9.4 Inhomogeneous Membranes -- 9.4.1 Separated Membrane Components…”
    Libro electrónico
  10. 950
    Publicado 2016
    Tabla de Contenidos: “…Preliminary Material / Introduction / Making Sense of a Minor Migrant Stream / From Adventurers to Settlers: Norwegians in Southern Brazil / Migrants on Skis: Norwegian-Latin American Return Migration in the 1890s / The Good, the Bad and the Rational: Desirable and Undesirable Migration to Cuba and Mexico (1907–1909) / Opportunities for the Few and Select: Norwegians in Guatemala (1900–1940) / Male Narratives from the Margins of the Country of Immigrants: Two Norwegians in Argentina in the 1920s / Three Norwegian Experiences in Post-Revolutionary Mexico: Per Imerslund, Halfdan Jebe and Ola Apenes / The Blikstad Family: Saga of Emigrants in Norway, Spain, and Brazil / List of Works Cited / Index…”
    Libro electrónico
  11. 951
    Tabla de Contenidos: “…Executive summary -- Foreword -- Building a smarter health and wellness future: Privacy and security challenges -- Converging technologies for a smarter health and wellness future -- Objectives and issues in integrating social care and health care delivery -- Actions to build a smarter health and wellness future -- From personalised to ubiquitous care -- Smart participatory care models -- Health and wellness needs -- Integrating personalised medicine into health care: Opportunities and challenges -- Managing our own health and well-being: Australia's personally controlled electronic health record -- Strengthening our capability to analyse big data streams in health systems: The challenges…”
    Libro electrónico
  12. 952
    Publicado 2014
    Tabla de Contenidos: “…Getting started : compiling, running, and debugging -- Interacting with the environment -- Strings and things -- Pattern matching with regular expressions -- Numbers -- Dates and times, New API -- Structuring data with Java -- Object-oriented techniques -- Functional programming techniques : functional interfaces, streams, parallel collections -- Input and output -- Directory and filesystem operations -- Media : graphics, audio, video -- Network clients -- Graphical user interfaces -- Internationalization and localization -- Server-side Java -- Java and electronic mail -- Database access -- Processing JSON data -- Processing XML -- Packages and packaging -- Threaded Java -- Reflection, or "a class named class" -- Using Java and other languages…”
    Libro electrónico
  13. 953
    Publicado 2015
    Tabla de Contenidos: “…Chapter 10: Recent Trends in the Purification of H2 Streams by Water- Gas Shift and PROXBack Cover…”
    Libro electrónico
  14. 954
    por MacDonald, Matthew
    Publicado 2007
    Tabla de Contenidos: “…Introducing .NET -- The .NET Framework -- The C# Language -- Types, Objects, and Namespaces -- Developing ASP.NET Applications -- Visual Studio -- Web Form Fundamentals -- Web Controls -- State Management -- Error Handling, Logging, and Tracing -- Deploying ASP.NET Applications -- Building Better Web Forms -- Validation -- Rich Controls -- User Controls and Graphics -- Styles, Themes, and Master Pages -- Website Navigation -- Working with Data -- ADO.NET Fundamentals -- Data Binding -- The Data Controls -- Files and Streams -- XML -- Website Security -- Security Fundamentals -- Membership -- Profiles -- Advanced ASP.NET -- Component-Based Programming -- Caching -- ASP.NET AJAX…”
    Libro electrónico
  15. 955
    por Zehoo, Edmund
    Publicado 2010
    Tabla de Contenidos: “…to Oracle .NET Connectivity -- ODP.NET: A Functional Overview -- Connecting to Oracle with ODP.NET -- Retrieving and Manipulating Data with ODP.NET -- Using PL/SQL and .NET CLR Stored Procedures with ODP.NET -- ODP.NET Globalization -- Transactions with ODP.NET -- Oracle Database Change Notifications with ODP.NET -- Using Oracle Database Streams Advanced Queuing with ODP.NET -- Oracle XML Support -- ODP.NET Security Features -- ODP.NET Performance -- Design Patterns and Considerations in Using ODP.NET -- ODT.NET Tool Basics -- Building Data-Driven Applications with ODT.NET…”
    Libro electrónico
  16. 956
    Publicado 2012
    Tabla de Contenidos: “…Storage Allocation for Streaming-Based Register File; 6. Optimization of the Dynamic Energy Consumption and Signal Mapping in Hierarchical Memory Organizations; 7. …”
    Libro electrónico
  17. 957
    Publicado 2020
    Tabla de Contenidos: “…Chapter 1: Industry 4.0 Movement -- Chapter 2: Basic IoT Concepts -- Chapter 3: Microsoft Azure IoT Platform -- Chapter 4: Streaming IoT data to Microsoft Azure -- Chapter 5: IoT Applications in Manufacturing -- Chapter 6: IoT Applications in Agriculture -- Chapter 7: IoT Applications in Energy -- Chapter 8: IoT Applications in Smart Homes -- Chapter 9: IoT Applications in the Supply Chain -- Chapter 10: IoT Applications in Financial Services -- Chapter 11: IoT Applications in Healthcare -- Chapter 12: IoT Applications in Retail -- Chapter 13: IoT Applications in Transportation – Chapter 14: Risk…”
    Libro electrónico
  18. 958
    por Haller, Beth A.
    Publicado 2023
    Tabla de Contenidos: “…Cover -- Endorsement page -- Half Title -- Series Page -- Title Page -- Copyright Page -- Dedication -- Table of Contents -- Acknowledgments -- Introduction -- 1 Collaborating on set to disrupt narrative prosthesis -- 2 Talking the talk of real disabled people’s lives -- 3 Disability content through podcasting and vlogging as public pedagogy -- 4 Performers illustrate the Affirmative Model by taking control on scripted series for web and streaming -- 5 Disability as superpower: comics, graphic novels, and music -- 6 “Giving everything they have”: documentaries illuminate disability experiences -- 7 Becoming visible people with nonvisible disabilities crafting media content -- Index…”
    Libro electrónico
  19. 959
    Publicado 2015
    Tabla de Contenidos: “…Chapter 2: Server Management with PiRemote console to the Pi from Android; Exchanging files between the Pi and Android; A simple database and web server implementation; Connecting the sensor; Installing the database; Installing the web server; Simple management of servers; Summary; Chapter 3: Live Streaming of a Surveillance Camera from the Pi; Hardware and software configurations; Streaming video to an Android device; Manual VLC configurations; The surveillance mode; Accessing surveillance images on the Web; Summary; Chapter 4: Turn Your Pi into a Media Center…”
    Libro electrónico
  20. 960
    por Ray, Erik T.
    Publicado 2002
    Tabla de Contenidos:
    Libro electrónico