Search Results - PLDT~

Refine Results
  1. 12501
  2. 12502
  3. 12503
  4. 12504
  5. 12505

    Theoretical and Practical Advances in Computer-based Educational Measurement

    Published 2019
    Table of Contents: “…Assessing Computer-Based Assessments; Bas Hemker, Cor Sluijter, Piet Sanders -- Theme 2: Psychometrics -- 5. Network Psychometrics in Educational Practice. …”
    Link to Metadata
    Electronic eBook
  6. 12506

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
    Link to Metadata
    Electronic eBook
  7. 12507

    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
  8. 12508

    Writing in Knowledge Societies by Starke-Meyerring, Doreen, Paré, Anthony, Artemeva, Natasha, Horne, Miriam, Yousoubova, Larissa

    Published 2011
    Table of Contents: “…Rogers and Olivia Walling -- Reinventing WAC (again): The First-Year Seminar and Academic Literacy, Doug Brent -- A Code of Ethics as a Collaborative Learning Tool: Comparing a Face-to-Face Engineering Team and Multidisciplinary Online Teams, Anne Parker and Amanda Goldrick-Jones -- "An Engrained Part of My Career": The Formation of a Knowledge Worker in the Dual Space of Engineering Knowledge and Rhetorical Process, Natasha Artemeva -- International Students and Identity: Resisting Dominant Ways of Writing and Knowing in Academe, Heekyeong Lee and Mary H. …”
    Access online version
    Electronic eBook
  9. 12509

    Wellbeing, Freedom and Social Justice The Capability Approach Re-Examined by Robeyns, Ingrid

    Published 2017
    Table of Contents: “…-- 4.7 What about power and political economy? -- 4.8 Is the capability approach a liberal theory? …”
    Access online version
    Electronic eBook
  10. 12510
  11. 12511
  12. 12512
  13. 12513
  14. 12514
  15. 12515
  16. 12516
  17. 12517
  18. 12518
  19. 12519
  20. 12520