yusuke1997/dblp-id-title huggingface dataset:
The Role UX Design Attributes Play in the Perceived Persuasiveness of Contact Tracing Apps
Harnessing AI and NLP Tools for Innovating Brand Name Generation and Evaluation: A Comprehensive Review
When Augmented Reality Met Art: Lessons Learned from Researcher-Artist Interdisciplinary Work
Exploring Emergent Features of Student Interaction within an Embodied Science Learning Simulation
Towards a Taxonomy for In-Vehicle Interactions Using Wearable Smart Textiles: Insights from a User-Elicitation Study
Multimodal Interaction for Cobot Using MQTT
The Optimization of Numerical Algorithm Parameters with a Genetic Algorithm to Animate Letters of the Sign Alphabet
Using a Game to Educate About Sustainable Development
ViviPaint: Creating Dynamic Painting with a Thermochromic Toolkit
Higher Education Students' Perceived Readiness for Computer-Supported Collaborative Learning
Transforming Science Education in Elementary Schools: The Power of PhET Simulations in Enhancing Student Learning
"Warning!" Benefits and Pitfalls of Anthropomorphising Autonomous Vehicle Informational Assistants in the Case of an Accident
Design for Breathtaking Experiences: An Exploration of Design Strategies to Evoke Awe in Human-Product Interactions
"Attention! A Door Could Open." - Introducing Awareness Messages for Cyclists to Safely Evade Potential Hazards
Influence of Personality Traits and Demographics on Rapport Recognition Using Adversarial Learning
An Experience-Centered Framework for Designing Non-Task-Oriented Embodied Interaction Environments
The Response to Impactful Interactivity on Spectators' Engagement in a Digital Game
Behaviour of True Artificial Peers
Positive Design for Children with Atopic Dermatitis - Enhanced Problem-Solving and Possibility-Driven Approach in the Context of Chronic Disease
Contact Resistance Sensing for Touch and Squeeze Interactions
Human-Robot Interaction in Groups: Methodological and Research Practices
Smart City Products and Their Materials Assessment Using the Pentagon Framework
The Impact of Different Overlay Materials on the Tactile Detection of Virtual Straight Lines
Autoethnography of Living with a Sleep Robot
How Architecture Builds Intelligence: Lessons from AI
A Framework on Division of Work Tasks between Humans and Robots in the Home
Employing a Dance-Somatic Methodological Approach to VR to Investigate the Sensorial Body across Physical-Virtual Terrains
A Review of Heritage Building Information Modeling (H-BIM)
Computer Vision-Based Obstacle Detection Mobile System for Visually Impaired Individuals
Effect of Body Representation Level of an Avatar on Quality of AR-Based Remote Instruction
Virtual Urban Field Studies: Evaluating Urban Interaction Design Using Context-Based Interface Prototypes
Cohousing IoT: Technology Design for Life in Community
Augminded: Ambient Mirror Display Notifications
Emotion-Aware In-Car Feedback: A Comparative Study
A Digital Coach to Promote Emotion Regulation Skills
How Technology Applied to Music-Therapy and Sound-Based Activities Addresses Motor and Social Skills in Autistic Children
Tele-Guidance System to Support Anticipation during Communication
Engaging English Language Learners as Cultural Informants in the Design of a Social Robot for Education
Can AI-Oriented Requirements Enhance Human-Centered Design of Intelligent Interactive Systems? Results from a Workshop with Young HCI Designers
Roadmap for the Development of EnLang4All: A Video Game for Learning English
A Machine Learning Approach to Identify the Preferred Representational System of a Person
Semantic Fusion for Natural Multimodal Interfaces using Concurrent Augmented Transition Networks
VICTORIOUS: A Visual Analytics System for Scoping Review of Document Sets
Evaluating Interactive Visualization of Multidimensional Data Projection with Feature Transformation
'I Just Want It to Be Done, Done, Done!' Food Tracking Apps, Affects, and Agential Capacities
Perspectives on Socially Intelligent Conversational Agents
gEYEded: Subtle and Challenging Gaze-Based Player Guidance in Exploration Games
A Diamond Approach to Develop Virtual Object Interaction: Fusing Augmented Reality and Kinesthetic Haptics
Experiencing Authenticity of the House Museums in Hybrid Environments
Innovative Teacher Education with the Augmented Reality Device Microsoft HoloLens - Results of an Exploratory Study and Pedagogical Considerations
Exploring the Educational Value and Impact of Vision-Impairment Simulations on Sympathy and Empathy with XREye
Architecting 3D Interactive Educational Applications for the Web: The Case Study of CrystalWalk
Detecting Emotions from Illustrator Gestures - The Italian Case
A Record Linkage-Based Data Deduplication Framework with DataCleaner Extension
The Role of Steps and Game Elements in Gamified Fitness Tracker Apps: A Systematic Review
On the Effectiveness of Using Virtual Reality to View BIM Metadata in Architectural Design Reviews for Healthcare
Virtual and Augmented Reality Direct Ophthalmoscopy Tool: A Comparison between Interactions Methods
Enhancing Localization Performance with Extended Funneling Vibrotactile Feedback
The Impacts of Incorporating Virtual Reality and Data Gloves in Exergames on Intrinsic Motivation in Upper-Extremity Assessments: A Study in a Young and Healthy Group
Detecting Groups and Estimating F-Formations for Social Human-Robot Interactions
NextGen Training for Medical First Responders: Advancing Mass-Casualty Incident Preparedness through Mixed Reality Technology
Evolution and Trends in Sign Language Avatar Systems: Unveiling a 40-Year Journey via Systematic Review
Enhancing the Appreciation of Traditional Chinese Painting Using Interactive Technology
The Art Nouveau Path: Promoting Sustainability Competences Through a Mobile Augmented Reality Game
User Experience in Immersive Virtual Reality-Induced Hypoalgesia in Adults and Children Suffering from Pain Conditions
Towards Explainable and Sustainable Wow Experiences with Technology
Improving Human-Computer Interface Design through Application of Basic Research on Audiovisual Integration and Amplitude Envelope
How Can Autonomous Vehicles Convey Emotions to Pedestrians? A Review of Emotionally Expressive Non-Humanoid Robots
Interactive Hesitation Synthesis: Modelling and Evaluation
Evaluating Spatial Decision-Making and Player Experience in a Remote Multiplayer Augmented Reality Hide-and-Seek Game
Robotic Arts: Current Practices, Potentials, and Implications
Reducing Redundant Alarms in the Pediatric ICU
CheckMates, Helping Nurses Plan Ahead in the Neonatal Intensive Care Unit
Videogame-Based Training: The Impact and Interaction of Videogame Characteristics on Learning Outcomes
Methods for Detoxification of Texts for the Russian Language
Augmented Reality: Advances in Diagnostic Imaging
Higher Education in the Pacific Alliance: Descriptive and Exploratory Analysis of the Didactic Potential of Virtual Reality
Virtual Reality in Cartography: Immersive 3D Visualization of the Arctic Clyde Inlet (Canada) Using Digital Elevation Models and Bathymetric Data
Exploring Data-Driven Components of Socially Intelligent AI through Cooperative Game Paradigms
Scare-Away Risks: The Effects of a Serious Game on Adolescents' Awareness of Health and Security Risks in an Italian Sample
Assessing Heuristic Evaluation in Immersive Virtual Reality - A Case Study on Future Guidance Systems
Real-World and Virtual-World Practices for Virtual Reality Games: Effects on Spatial Perception and Game Performance
Effects of Flight Experience or Simulator Exposure on Simulator Sickness in Virtual Reality Flight Simulation
Comparing Map Learning between Touchscreen-Based Visual and Haptic Displays: A Behavioral Evaluation with Blind and Sighted Users
Extended Reality Educational System with Virtual Teacher Interaction for Enhanced Learning
Creative Probes, Proxy Feelers, and Speculations on Interactive Skin
The Influence of Realism on the Sense of Presence in Virtual Reality: Neurophysiological Insights Using EEG
Analyzing Player Behavior in a VR Game for Children Using Gameplay Telemetry
Reducing the Gap between Mental Models of Truck Drivers and Adaptive User Interfaces in Commercial Vehicles
Interactive Tools for the Preservation, Dissemination and Study of Silk Heritage - An Introduction to the SILKNOW Project
Development and Evaluation of a Low-Jitter Hand Tracking System for Improving Typing Efficiency in a Virtual Reality Workspace
Immersive Virtual Colonography Viewer for Colon Growths Diagnosis: Design and Think-Aloud Study
Impact of Industrial Noise on Speech Interaction Performance and User Acceptance when Using the MS HoloLens 2
Eye Gaze Controlled Projected Display in Automotive and Military Aviation Environments
A Systematic Literature Review on the User Experience Design for Game-Based Interventions via 3D Virtual Worlds in K-12 Education
Designing Tangible as an Orchestration Tool for Collaborative Activities
Rear-Seat Productivity in Virtual Reality: Investigating VR Interaction in the Confined Space of a Car
Rhythmic Synchrony with Artificial Agents and Its Effects on Frequency of Visual Illusions Seen in White Noise
Students as Designers of Augmented Reality: Impact on Learning and Motivation in Computer Science
Substitute Buttons: Exploring Tactile Perception of Physical Buttons for Use as Haptic Proxies
When Digital Doesn't Work: Experiences of Co-Designing an Indigenous Community Museum
Choice Vectors: Streamlining Personal AI Alignment Through Binary Selection
Data-Driven Activities Involving Electronic Health Records: An Activity and Task Analysis Framework for Interactive Visualization Tools
Personalized and Timely Feedback in Online Education: Enhancing Learning with Deep Learning and Large Language Models
Exploring User Perception Challenges in Vibrotactile Haptic Display Using Resonant Microbeams under Contact with Skin
TinajAR: An Edutainment Augmented Reality Mirror for the Dissemination and Reinterpretation of Cultural Heritage
Towards Structured Gaze Data Classification: The Gaze Data Clustering Taxonomy (GCT)
What the Mind Can Comprehend from a Single Touch
Designing to Leverage Presence in VR Rhythm Games
Acknowledgement to Reviewers of Multimodal Technologies and Interaction in 2017
Optimizing HUD-EVS Readability: Effects of Hue, Saturation and Lightness on Information Recognition
Learning Prosody in a Video Game-Based Learning Approach
Two Decades of Touchable and Walkable Virtual Reality for Blind and Visually Impaired People: A High-Level Taxonomy
The FlexiBoard: Tangible and Tactile Graphics for People with Vision Impairments
Immersive Environments and Virtual Reality: Systematic Review and Advances in Communication, Interaction and Simulation
Keep the Human in the Loop: Arguments for Human Assistance in the Synthesis of Simulation Data for Robot Training
Into the Rhythm: Evaluating Breathing Instruction Sound Experiences on the Run with Novice Female Runners
Techno-Concepts for the Cultural Field: n-Dimensional Space and Its Conceptual Constellation
Correction: Frid, E. Accessible Digital Musical Instruments - A Review of Musical Interfaces in Inclusive Music Practice. Multimodal Technologies and Interaction 2019, Vol. 3, Page 57
Managing ADHD Symptoms in Children Through the Use of Various Technology-Driven Serious Games: A Systematic Review
Are the Instructions Clear? Evaluating the Visual Characteristics of Augmented Reality Content for Remote Guidance
User Behavior Adaptive AR Guidance for Wayfinding and Tasks Completion
The Impact of Multimodal Communication on a Shared Mental Model, Trust, and Commitment in Human-Intelligent Virtual Agent Teams
Multimodal Dictionaries for Traditional Craft Education
A Comparison of Parenting Strategies in a Digital Environment: A Systematic Literature Review
Exploration of the 3D World on the Internet Using Commodity Virtual Reality Devices
Performance and Comfort of Precise Distal Pointing Interaction in Intelligent Cockpits: The Role of Control Display Gain and Wrist Posture
A Phenomenological Framework of Architectural Paradigms for the User-Centered Design of Virtual Environments
The Value of Open Data in HCI: A Case Report from Mobile Text Entry Research
Tell Them How They Did: Feedback on Operator Performance Helps Calibrate Perceived Ease of Use in Automated Driving
Identifying Which Relational Cues Users Find Helpful to Allow Tailoring of e-Coach Dialogues
The Attendant Card Set: A Research and Design Tool to Consider Perspectives of Attendants versus Users When Co-Experiencing Technology
Asymmetric VR Game Subgenres: Implications for Analysis and Design
Linking Personality and Trust in Intelligent Virtual Assistants
Design for Motivation: Evaluation of a Design Tool
TrainAR: A Scalable Interaction Concept and Didactic Framework for Procedural Trainings Using Handheld Augmented Reality
Cut-Elimination for Simple Type Theory with An Axiom of Choice
The Formal Language of Recursion
On revision operators
Elementary Equivalence in positive Logic via Prime Products
The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing)
The settling-time reducibility ordering
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1
Borel complexity of isomorphism between quotient Boolean algebras
Finitary Sketches
On Weakened Quantification
Some Consequences of and
The Relativized Lascar Groups, Type-Amalgamation, and algebraicity
Linear Sampling and the forall exists forall Case of the Decision Problem
Every 2-random real is Kolmogorov random
Forcing on Bounded Arithmetic II
On the Relationship Between the Partition Property and the Weak Partition Property for Normal Ultrafilters on P kappa lambda
On Finite Rigid Structures
Integration and cell Decomposition in P-Minimal Structures
Ideal Projections and forcing Projections
Strong Termination for the Epsilong Substitution Method
On Sets of Relations Definable by Addition
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane
Extensions of Hilbert's Tenth Problem
Invariant Keisler Measures for $\omega $ -Categorical Structures
Classes of Barren Extensions
Expressive Power in First Order Topology
A Simplification of the Bachmann Method for Generating Large Countable Ordinals
On Models with Power-Like Ordering
End Extensions and Numbers of Countable Models
Arithmetical Representation of Recursively Enumerable Sets
On aleph 1 Many Minimal Models
Definable Minimal collapse Functions at Arbitrary Projective Levels
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
F σ Equivalence Relations and Laver forcing
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic
Profiniteness in Finitely Generated Varieties is Undecidable
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
The two-cardinal problem for languages of arbitrary cardinality
The Topological Pigeonhole Principle for Ordinals
On Meyer and Lambert's Quantificational Calculus FQ
What Is an Inference Rule?
Some Elementary Results in Intuitionistic Model Theory
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties
On the Structure of Ext(A, Z) in ZFC +
p-adically closed fields with nonstandard analytic structure
Sur La Theorie Elementaire Des Corps De Fonctions
On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals
Some Dichotomy Theorems for Isomorphism Relations of Countable Models
Thorn Forking, Weak normality, and Theories with Selectors
Upward Directedness of the Rudin-Keisler Ordering of P-Points
Decomposition and infima in the computably enumerable degrees
Generality of proofs and its Brauerian representation
How Strong are single fixed Points of Normal Functions?
Stable Theories with A New Predicate
Some Trivial Considerations
Computability in uncountable Binary Trees
A Reduction Class Containing Formulas with one Monadic Predicate and one Binary Function Symbol
Completely separable MAD families and the Modal Logic of βω
Universal Diophantine Equation
First Steps in Intuitionistic Model Theory
Algebraic Semantics for Modal Logics II
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis
Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe
Definable well-orders of H(ω 2 ) and GCH
Prime Model Extensions for Differential Fields of Characteristic p ? 0
Quantum Logic and the Classical Propositional Calculus
Ordinal Spectra of First-Order Theories
Strongly unfoldable cardinals made indestructible
A Note on the Theory of Quantification
Weak Simplest Normal Truth Functions
Some Remarks on Openly Generated Boolean Algebras
Recursive Unsolvability of a Problem of Thue
Coinductive Formulas and a Many-Sorted Interpolation Theorem
Systems of Transfinite Types Involving lambda-Conversion
Games Characterizing Limsup Functions and Baire Class 1 Functions
Disjoint Amalgamation in Locally Finite AEC
Meeting of the Association for Symbolic Logic, Leeds 1962
An Expansion of ~ F p
Hyperimaginaries and Automorphism Groups
Similar But Not The Same: Various Versions of Clubs Do Not Coincide
On the Decidability of the Σ 2 Theories of the Arithmetic and Hyperarithmetic Degrees as Uppersemilattices
Lowness for The Class of Random Sets
Countable Vector Spaces with Recursive Operations. Part I
Laver Sequences for Extendible and Super-Almost-Huge Cardinals
Hierarchies Over Recursive Well-Orderings
Producing Measurable Cardinals Beyond kappa
Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinal
A Boolean Derivation of the Moore-Osgood Theorem
Higher Souslin Trees and the Generalized Continuum Hypothesis
Ordinal Diagrams for PI 3 -Reflection
Extensions and applications of the S-measure construction
On the Number of Generators of Cylindric Algebras
Comparing DNR and WWKL
Copyable structures
Postulates for Implicational Calculi
Truth in V for ∃ * ∀∀-sentences is decidable
Weihrauch degrees, omniscience principles and weak computability
The Finite Model Property in Tense Logic
Stability and posets
On the Transversal Hypothesis and the Weak Kurepa Hypothesis
Decidable Regularly Closed Fields of Algebraic Numbers
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets
Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975
Partially Ordered Interpretations
Inconsistent Models for Relevant Arithmetics
The σ1-Definable Universal finite sequence
A Splitting Theorem for Simple pi 1 1 Sets
Degrees of unsolvability of continuous functions
Complete Problems for Fixed-Point Logics
Forking and dividing in NTP₂ theories
Meeting of the Association for Symbolic Logic: Orleans, France, 1972
Reflecting in Epistemic Arithmetic
Normal triangulations in o-minimal structures
Decomposing Functions of Baire class $2$ on Polish Spaces
Automatic and Polynomial-Time Algebraic Structures
Bounded Variation Implies Regulated: A Constructive Proof
Decision Problems for Multiple Successor Arithmetics
Classifying Spaces and the Lascar Group
Surreal Ordered exponential Fields
Sous-Groupes Periodiques d'un Groupe Stable
European Meeting of the Association for Symbolic Logic: Bristol, England, 1973
On the Role of Ramsey Quantifiers in First Order Arithmetic
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics
A Supplement to Herbrand
Some natural decision problems in automatic graphs
An Interpretation of "Finite" Modal First-Order Languages in Classical Second-Order Languages
On The No-Counterexample Interpretation
Groups definable in ordered vector spaces over ordered division rings
Incompatible Omega-complete theories
The characteristic sequence of a first-order formula
Increasing δ 1 2 and Namba-style forcing
Generalizing Special Aronszajn Trees
A Note on CM-Triviality and The Geometry of Forking
Copying One of a Pair of Structures
Meeting of the Association for Symbolic Logic
The Hanf number for Amalgamation of Coloring Classes
Alfred Tarski's Work on General Metamathematics
Unification in Intuitionistic Logic
Partitioning the Real Line into Borel Sets
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus
Contiguity and Distributivity in the Enumerable Turing Degrees
First-order and counting theories of omega-automatic structures
Hauptsatz for Higher-Order Modal Logic
Parallel interpolation, splitting, and relevance in belief change
Boolean Operations, Borel Sets, and Hausdorff's Question
Alfred Tarski's Elimination Theory for Real Closed Fields
Presburger Arithmetic, Rational Generating Functions, and quasi-polynomials
The Sacks Density Theorem and Sigma 2 -Bounding
Borel Functors and Infinitary Interpretations
Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces
The Finite Controllability of the Maslov Case
A model for a very good scale and a bad scale
Simplicity of Recursively Enumerable Sets
A Syntactical Definition of Probability and of Degree of Confirmation
Transfinite Dependent Choice and omega-Model Reflection
An Egocentric Logic of Knowing How to Tell them Apart
Models with Second Order Properties in Successors of Singulars
On McKinsey's Syntatical Characterizations of Systems of Modal Logic
Foundation Versus Induction in Kripke-Platek Set Theory
Un Principe D'Ax-Kochen-Ershov Pour Des Structures Intermédiaires Entre Groupes Et Corps Valués
A Minimal Set Low for Speed
A proof-theoretic study of the correspondence of classical logic and modal logic
Stability and stable groups in continuous logic
Some results in polychromatic Ramsey theory
Nonfinitizability of Classes of Representable Cylindric Algebras
More on regular reduced products
Diagonalization in Degree Constructions
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977
The complements of Lower cones of Degrees and the degree spectra of Structures
A General Treatment of Equivalent Modalities
Semi-Equational Theories
An Algorithm to Determine, For any Prime p, A Polynomial-Sized Horn Sentence which Expresses "The Cardinality is not p"
Forbidden induced subgraphs and the łOś-Tarski Theorem
Strong isomorphism reductions in complexity theory
A Normal Form Theorem for First Order Formulas and Its Application to Gaifman's Splitting Theorem
Cardinal Preserving Ideals
A Partial Model of NP with E
Preservation of Saturation and Stability in a Variety of Nilpotent Groups
The Decidability of Hindley's Axioms for Strong Reduction
Characteristically Simple 0 -Categorical Groups
An omega 1 -Categorical Ring which is not Almost Strongly Minimal
Theories with a Finite Number of Countable Models
On the Axiom of Extensionality, Part II
Modified Extender based forcing
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum
Meeting of the Association for Symbolic Logic, Dallas 1973
An Incomplete Nonnormal Extension of S3
A Note on Elementary Equivalence of C(K) Space
An Induction Principle and Pigeonhole Principles for K-Finite Sets
$\Delta ^1_1$ EFFECTIVIZATION IN BOREL COMBINATORICS
The strength of Ramsey's Theorem for Pairs and arbitrarily Many Colors
A Simple Treatment of Truth Functions
Modular Types in Some Supersimple Theories
A Counterexample to a Conjecture of Scott and Suppes
Corrections to Two Papers on Modal Logic
Automorphism groups of arithmetically saturated models
On the Number of Models of Uncountable Theories
Minimal alpha-Recursion Theoretic Degrees
Elementary Equivalence for Abelian-By-Finite and Nilpotent Groups
An Intensional Type Theory: Motivation and Cut-Elimination
A Characterization of the Strongly 𝜼-Representable Many-One Degrees
The Herbrand Symposium: (Marseilles July 16-July 24 1981)
Implication with Possible Exceptions
On the Quasi-Ordering of Borel Linear Orders under Embeddability
On Boolean Subalgebras of P(omega 1 )/ctble
Measurable Perfect Matchings for Acyclic Locally Countable Borel graphs
Ultraproducts of Finite Sets
A note on initial Segments of the Enumeration Degrees
on the singular cardinals
Syllogism and Quantification
A New Symbolism for the Propositional Calculus
Duality for Coalgebras for Vietoris and Monadicity
A Note on Exponentiation