Search Results - "machines"

The Science of Citizen Science

Table of Contents: “…The Challenges of Definition -- Chapter 2: Citizen Science in Europe -- Part I: Citizen Science as Science -- Chapter 3: Science as a Commons: Improving the Governance of Knowledge through Citizen Science -- Chapter 4: Citizen Science in the Natural Sciences -- Chapter 5: Citizen Humanities -- Chapter 6: Citizen Social Science: New and Established Approaches to Participation in Social Research -- Chapter 7: Data Quality in Citizen Science -- Chapter 8: A Conceptual Model for Participants and Activities in Citizen Science Projects -- Chapter 9: Machine Learning in Citizen Science: Promises and Implications -- Chapter 10: Participation and Co-creation in Citizen Science -- Chapter 11: Citizen Science, Health, and Environmental Justice -- Part II: Citizen Science in Society -- Chapter 12: Participants in Citizen Science -- Chapter 13: Inclusiveness and Diversity in Citizen Science -- Chapter 14: Learning in Citizen Science Chapter -- Chapter 15: Citizen Science Case Studies and Their Impacts on Social Innovation -- Chapter 16: Science as a Lever: The Roles and Power of Civil Society Organisations in Citizen Science -- Chapter 17: Citizen Science and Policy -- Chapter 18: Creating Positive Environmental Impact through Citizen Science -- Chapter 19: Ethical Challenges and Dynamic Informed Consent -- Part III: Citizen Science in Practice -- Chapter 20: Finding What You Need: A Guide to Citizen Science Guidelines -- Chapter 21: Citizen Science Platforms -- Chapter 22: Citizen Science in the Digital World of Apps -- Chapter 23: Communication and Dissemination in Citizen Science -- Chapter 24: Evaluation in Citizen Science: The Art of Tracing a Moving Target Part IV: Conclusions / Lessons Learnt -- Chapter 25: The Recent Past and Possible Futures of Citizen Science: Final Remarks. .…”
Link to Metadata

Big Data in Bioeconomy Results from the European DataBio Project /

Table of Contents: “…Part I - Technological Foundation: Big Data Technologies for BioIndustries: Big Data Technologies in DataBio -- Standards and EO data platforms -- Data Types: Sensor Data -- Remote sensing -- Crowdsourced Data -- Genomics Data -- Data Integration and Modelling: Linked Data and Metadata -- Linked Data usages in Databio -- Data Pipelines: Modeling and Evaluation of models -- Analytics and visualization: Data Analytics and Machine Learning -- Real-time Data Processing -- Privacy Preserving Analytics, Processing and Data Management -- Data Visualisation -- Part II - Applications in Agriculture: Introduction Smart Agriculture -- Smart farming for sustainable agricultural production -- Genomics Biomass pilots -- Yield Prediction in Sorghum (Sorghum bicolor (L.) …”
Link to Metadata

Youth Suicide Prevention and Intervention Best Practices and Policy Implications /

Table of Contents: “…Neurobiology of Suicide in Children and Adolescents: Implications for Assessment and Treatment -- Chapter 4. Machine Learning for Suicide Prediction and Prevention: Advances, Challenges, and Future Directions -- Chapter 5. …”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…-- The future of software engineering: where will machine learning, agile and virtualization take us next?.…”
Link to Metadata

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…Data Ecosystems: A New Dimension of Value Creation Using AI and Machine Learning -- 14. IDS as a Foundation for Open Data Ecosystems -- 15. …”
Link to Metadata

AI in Learning: Designing the Future

Table of Contents: “…AI in Games and Simulations -- 8.Perspectives and Metaphors of Learning: A Commentary on James Lester's Narrative-centered AI-based Environments -- 9.Learning Career Knowledge: Can AI Simulation and Machine Learning Improve Career Plans and Educational Expectations? …”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /

Table of Contents: “…Keynote Paper -- Augmented Reality in Assembly Systems: State of the Art and Future Perspectives -- Assembly Design and Planning -- Application of a Standardized Design Procedure in the Development of Automated Micro-Assembly Processes -- Towards the Automated Coverlay Assembly in FPCB Manufacturing: Concept and Preliminary Tests -- Resource Interface Matchmaking as a Part of Automatic Capacity Matchmaking -- Investigation on the Convergence of the Genetic Algorithm of an Aerodynamic Feeding System due to the Enlargement of the Solution Space -- Assembly Operations -- Indirect System Condition Monitoring using Online Bayesian Changepoint Direction -- Strategies for Dealing with Problems in Robotised Unscrewing Operations -- Improving Automated Insertion Task in Robotics by Reducing Registration Error -- Assembly Cells and Systems -- Development of a Sensitive Winding Application Based on a Serial Robot and Integrated Torque Sensors -- High-Load Titanium Drilling using anAccurate Robotic Machining System -- Application of Advanced Simulation Methods for the Tolerance Analysis of Mechanical Assemblies -- Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture -- Context-Aware Plug and Produce for Robotic Aerospace Assembly -- Data Capture and Visualisation on a Shoestring: Demonstrating the Digital Manufacturing on a Shoestring Project -- Digital Innovation Hubs for Enhancing the Technology Transfer and Digital Transformation of the European Manufacturing Industry -- Plenoptic Inspection System for Automatic Quality Control of MEMS and Microsystems -- Human Centred Assembly -- Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment -- Towards Human and Robot Collaborative Ergonomic Handling of Long Parts with a Loose Grip -- Human and Workcell Event Recognition and its Application Areas in Industrial Assembly -- Cognitive Acceptance to Support Maintenance and Assembly Tasks: Results on Technology Acceptance of a Head-Mounted Device -- Usability Study of Learning-Based Pose Estimation of Industrial Objects from Synthetic Depth Data -- Assistance Methods in Assembly -- Assistance Needs in Production Environments: A Contextual Exploration of Workers' Experiences and Work Practices -- Attention Analysis for Assistance in Assembly Processes -- Live Video Assistance Systems for Assembly Processes -- Orchestration and Situation Awareness in an Assistance System for Assembly Task -- Safety as Bad Cop of Physical Assistance Systems? …”
Link to Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Social Innovations in the Urban Context

Table of Contents: “…-- Chapter 7: Milan, a City Lost in the Transition from the Growth Machine Paradigm Towards a Social Innovation Approach -- Chapter 8: Poor but Sexy? …”
Link to Metadata

Web Literacy for Student Fact-Checkers by Caulfield, Mike

Table of Contents: “…Activity: Verify a Twitter Account -- 32. Using the Wayback Machine to Check for Page Changes -- 33. Finding Out When a Page Was Published Using Google -- 34. …”
Access online version

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Table of Contents: “…The Implementation of a Laboratory Case Study for Intuitive Collaboration between Man and Machine in SME Assembly; Luca Gualtieri, Rafael A. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…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.…”
Link to Metadata

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

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

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

Prevention at work needed to curb the worldwide strong increase in knee replacement surgery for working-age osteoarthritis patients by P Paul FM Kuijer, Alex Burdorf

Connect to this object online.

Sago Palm Multiple Contributions to Food Security and Sustainable Livelihoods /

Table of Contents: “…Starch Production and Utilization -- Chapter 16: Study on the Transformation in Extraction and Consumption Processes of Sago Starch in a Traditional Society of Indonesia (Yoshihiko Nishimura) -- Chapter 17: Improvement of Sago Processing Machine (Darma) -- Chapter 18: The Structure and Characteristics of Sago Starch (Masanori Okazaki) -- Chapter 19: Recovery of Starch from Sago Pith Waste and Waste Water Treatment (Budi Santoso) -- Chapter 20: Acid modification of sago starch and its fiber for industrial application (Titi Candra Sunarti) -- Part 6. …”
Link to Metadata

Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /

Table of Contents: “…Part I: Reference Systems and Frames -- Towards an International Height Reference Frame Using Clock Networks -- Towards the realization of the International Height Reference Frame (IHRF) in Argentina -- Comparing Vienna CRF solutions to Gaia-CRF2 -- Co-Location of Space Geodetic Techniques: Studies on Intra-Technique Short Baselines -- Status of IGS Reprocessing Activities at GFZ -- A Wavelet-based Outlier Detection and Noise Component Analysis for GNSS Position Time Series -- Part II: Gravity field modelling -- International Combination Service for Time-variable Gravity Fields (COST-G) - Start of operational phase and future perspectives -- LUH-GRACE2018: a new time series of monthly gravity field solutions from GRACE -- A Precise Geoid Model for Africa: AFRgeo2019 -- Part III: Earth rotation and geodynamics -- A first assessment of the corrections for the consistency of the IAU2000 and IAU2006 precession-nutation models -- Report of the IAU/IAG Joint Working Group on Theory of Earth rotation andvalidation -- Achievements of the first 4 years of the International Geodynamics and Earth Tide Service (IGETS) 2015 - 2019 -- Inter-comparison of ground gravity and vertical height measurements at collocated IGETS stations -- Part IV: Multi-Signal Positioning, Remote Sensing and Applications -- A Benchmarking Measurement Campaign to Support Ubiquitous Localization in GNSS Denied and Indoor Environments -- A method to correct the raw Doppler observations for GNSS velocity determination -- Assessment of a GNSS/INS/Wi-Fi Tight-Integration Method Using Support Vector Machine and Extended Kalman Filter -- Enhancing navigation in difficult environments with low-cost, dual-frequency GNSS PPP and MEMS IMU -- Part V: Monitoring and Understanding the Dynamic Earth with Geodetic Observations -- Water Depletion and Land Subsidence in Iran using Gravity, GNSS, InSAR and Precise Levelling Data -- Past and future sea level changes and land uplift in the Baltic Sea seen by geodetic observations -- Estimation ofLesser Antilles vertical velocity fields using a GNSS-PPP software comparison -- Time variations of the vertical component in Japanese GEONET GNSS sites -- An approximate method to simulate post-seismic deformations in a realistic Earth model -- Geodetic monitoring of the variable surface 1 deformation in Latin America -- Progress in GTEWS ground displacement measurements and tsunami warning -- Part VI: Geodesy for Atmospheric and Hydrospheric Climate Research (IAG, IAMAS, IACS, IAPSO) -- Characterization of the Upper Atmosphere from Neutral and Electron Density Observations -- Tropospheric products from high-level GNSS processing in Latin America -- Can vertical GPS displacements serve as proxies for climate variability in North America? …”
Link to Metadata