Showing 541 - 560 results of 10,336 for search '"containment"', query time: 0.10s Refine Results
  1. 541
  2. 542
  3. 543
  4. 544
  5. 545
  6. 546
  7. 547
  8. 548
  9. 549

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

    Published 2022
    Table of Contents: “…Vapor condensation under electric field: A study using molecular dynamics simulation -- High performance parallel LOBPCG method for large Hamiltonian derived from Hubbard model on multi-GPU systems -- The effect of wing mass and wing elevation motion during insect forward flight -- On the Difference between Shared Memory and Shared Address Space in HPC Communication -- Evaluating GPU Programming Models for the LUMI Supercomputer -- Memory hierarchy -- HPC cloud platform, container image configuration workflow -- scheduling -- .Evaluating methods of transferring large datasets -- Service Function Chaining Design & Implementation Using Network Service Mesh in Kubernetes.…”
    Link to Metadata
    Electronic eBook
  10. 550

    Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /

    Published 2020
    Table of Contents: “…Session I - File Systems, Storage and Communication -- A BeeGFS-based Caching File System for Data-intensive Parallel Computing -- Multiple HPC Environments-Aware Container Image Configuration Workflow for Large-Scale All-to-All Protein-Protein Docking Calculations -- DAOS: A Scale-out High Performance Storage Stack for Storage Class Memory -- Cloud Platform Optimization for HPC -- Session II - Applications and Scheduling -- swGBDT: Efficient Gradient Boosted Decision Tree on Sunway Many-core Processor -- Numerical Simulations of Serrated Propellers to Reduce Noise -- High-performance Computing in Maritime and Offshore Applications -- Correcting Job Walltime in a Resource-Constrained Environment.…”
    Link to Metadata
    Electronic eBook
  11. 551
  12. 552
  13. 553
  14. 554
  15. 555

    Low-Dose Radiation Effects on Animals and Ecosystems Long-Term Study on the Fukushima Nuclear Accident /

    Published 2020
    Table of Contents: “…Effects of Radioactive Cesium-containing Water on Mice -- Prt 6. Overview of the FNPP accident -- 18. …”
    Link to Metadata
    Electronic eBook
  16. 556

    Soft Power and Great-Power Competition Shifting Sands in the Balance of Power Between the United States and China / by Nye, Joseph S.

    Published 2023
    Table of Contents: “…-- The Financial Crisis and US-China Misperceptions -- Work With China, Don't Contain It -- The Future of U.S -- China Relations -- The Kindleberger Trap.…”
    Link to Metadata
    Electronic eBook
  17. 557

    Volunteered Geographic Information Interpretation, Visualization and Social Context /

    Published 2024
    Table of Contents: “…Toward Visually Analyzing Dynamic Social Messages and News Articles Containing Geo-Referenced Information -- 7. Visually Reporting Geographic Data Insights as Integrated Visual and Textual Representations -- 8. …”
    Link to Metadata
    Electronic eBook
  18. 558

    Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2018
    Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
    Link to Metadata
    Electronic eBook
  19. 559

    European Language Grid A Language Technology Platform for Multilingual Europe /

    Published 2023
    Table of Contents: “…Lingsoft Solutions as Distributable Containers -- 21. Motion Captures 3D Sign Language Resources -- 22. …”
    Link to Metadata
    Electronic eBook
  20. 560

    Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

    Published 2022
    Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
    Link to Metadata
    Electronic eBook