Copertina

Interactive Formal Specification for Mathematical Problems of Engineers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Neuper, Walther
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Human-Computer Interaction Logic in Computer Science H.5.2; I.5.5; F.4.m
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Human-Robot Creative Interactions (HRCI): Exploring Creativity in Artificial Agents Using a Story-Telling Game
di: Sandoval, Eduardo Benitez, et al.
Pubblicazione: (2022)

Sensing Your Vocals: Exploring the Activity of Vocal Cord Muscles for Pitch Assessment Using Electromyography and Ultrasonography
di: Chen, Kanyu, et al.
Pubblicazione: (2026)

Visual Bias in Simulated Users: The Impact of Luminance and Contrast on Reinforcement Learning-based Interaction
di: Selder, Hannah, et al.
Pubblicazione: (2026)

Walking with Robots: Video Analysis of Human-Robot Interactions in Transit Spaces
di: Brown, Barry, et al.
Pubblicazione: (2026)

Demystifying Reward Design in Reinforcement Learning for Upper Extremity Interaction: Practical Guidelines for Biomechanical Simulations in HCI
di: Selder, Hannah, et al.
Pubblicazione: (2025)

Tactile Melodies: A Desk-Mounted Haptics for Perceiving Musical Experiences
di: Moora, Raj Varshith, et al.
Pubblicazione: (2024)

OOPrompt: Reifying Intents into Structured Artifacts for Modular and Iterative Prompting
di: Xu, Tengyou, et al.
Pubblicazione: (2026)

Silent Impact: Tracking Tennis Shots from the Passive Arm
di: Park, Junyong, et al.
Pubblicazione: (2025)

What Makes a Model Breathe? Understanding Reinforcement Learning Reward Function Design in Biomechanical User Simulation
di: Selder, Hannah, et al.
Pubblicazione: (2025)

Mind & Motion: Opportunities and Applications of Integrating Biomechanics and Cognitive Models in HCI
di: Fleig, Arthur, et al.
Pubblicazione: (2025)

A Retrospective on Ultrasound Mid-Air Haptics in HCI
di: Fleig, Arthur
Pubblicazione: (2025)

Interactive Shape Sonification for Tumor Localization in Breast Cancer Surgery
di: Schütz, Laura, et al.
Pubblicazione: (2023)

SonoHaptics: An Audio-Haptic Cursor for Gaze-Based Object Selection in XR
di: Cho, Hyunsung, et al.
Pubblicazione: (2024)

GestoBrush: Facilitating Graffiti Artists' Digital Creation Experiences through Embodied AR Interactions
di: Chen, Ruiqi, et al.
Pubblicazione: (2025)

Dark Haptics: Exploring Manipulative Haptic Design in Mobile User Interfaces
di: Tang, Chenge, et al.
Pubblicazione: (2025)

Is it Me? Toward Self-Extension to AI Avatars in Virtual Reality
di: Zhang, Jieying, et al.
Pubblicazione: (2026)

OrganicHAR: Towards Activity Discovery in Organic Settings for Privacy Preserving Sensors Using Efficient Video Analysis
di: Patidar, Prasoon, et al.
Pubblicazione: (2026)

MoXaRt: Audio-Visual Object-Guided Sound Interaction for XR
di: Xu, Tianyu, et al.
Pubblicazione: (2026)

Vision-Based Hand Gesture Customization from a Single Demonstration
di: Shahi, Soroush, et al.
Pubblicazione: (2024)

NasoVoce: A Nose-Mounted Low-Audibility Speech Interface for Always-Available Speech Interaction
di: Rekimoto, Jun, et al.
Pubblicazione: (2026)

If You Hold Me Without Hurting Me: Pathways to Designing Game Audio for Healthy Escapism and Player Well-being
di: Nunes, Caio, et al.
Pubblicazione: (2025)

Enhanced DareFightingICE Competitions: Sound Design and AI Competitions
di: Khan, Ibrahim, et al.
Pubblicazione: (2024)

Sonify Anything: Towards Context-Aware Sonic Interactions in AR
di: Schütz, Laura, et al.
Pubblicazione: (2025)

Distorted Perspectives of LLM-Simulated Preferences: Can AI Mislead Design?
di: Kuric, Eduard, et al.
Pubblicazione: (2026)

MaskClip: Detachable Clip-on Piezoelectric Sensing of Mask Surface Vibrations for Real-time Noise-Robust Speech Input
di: Hiraki, Hirotaka, et al.
Pubblicazione: (2025)

Understanding Accessibility Needs of Blind Authors on CMS-Based Websites
di: Vera-Amaro, Guillermo, et al.
Pubblicazione: (2025)

Textarium: Entangling Annotation, Abstraction and Argument
di: Proff, Philipp, et al.
Pubblicazione: (2025)

LACE: Exploring Turn-Taking and Parallel Interaction Modes in Human-AI Co-Creation for Iterative Image Generation
di: Huang, YenKai, et al.
Pubblicazione: (2025)

Exploration of Embodied Space Experience through Umbilical Interaction: A Grounded Theory Approach
di: Guo, Shuai, et al.
Pubblicazione: (2025)

Gamification as a Data Acquisition Strategy for Neurogames
di: Saldivar, Diego
Pubblicazione: (2025)

Beyond Reality: Designing Personal Experiences and Interactive Narratives in AR Theater
di: Kim, You-Jin
Pubblicazione: (2025)

CompanionCast: Toward Social Collaboration with Multi-Agent Systems in Shared Experiences
di: Wang, Yiyang, et al.
Pubblicazione: (2025)

Autonomous Mapping and Navigation using Fiducial Markers and Pan-Tilt Camera for Assisting Indoor Mobility of Blind and Visually Impaired People
di: Adapa, Dharmateja, et al.
Pubblicazione: (2023)

Auptimize: Optimal Placement of Spatial Audio Cues for Extended Reality
di: Cho, Hyunsung, et al.
Pubblicazione: (2024)

AudioMiXR: Spatial Audio Object Manipulation with 6DoF for Sound Design in Augmented Reality
di: Woodard, Brandon, et al.
Pubblicazione: (2025)

LACE: Controlled Image Prompting and Iterative Refinement with GenAI for Professional Visual Art Creators
di: Huang, Yenkai, et al.
Pubblicazione: (2025)

StudyAlign: A Software System for Conducting Web-Based User Studies with Functional Interactive Prototypes
di: Lehmann, Florian, et al.
Pubblicazione: (2025)

Conversational Swarms of Humans and AI Agents enable Hybrid Collaborative Decision-making
di: Rosenberg, Louis, et al.
Pubblicazione: (2024)

Investigating Interaction Modes and User Agency in Human-LLM Collaboration for Domain-Specific Data Analysis
di: Guo, Jiajing, et al.
Pubblicazione: (2024)

Conversational Forecasting Across Large Human Groups Using A Swarm of Surrogate AI Agents
di: Rosenberg, Louis, et al.
Pubblicazione: (2026)