yusuke1997/dblp-id-title huggingface dataset:
CindyJS - Mathematical Visualization on Modern Devices
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
FlexRiLoG - A SageMath Package for Motions of Graphs
Communicating Functional Expressions from Mathematica to C-XSC
Software Packages for Holonomic Gradient Method
On Multivariate Birkhoff Rational Interpolation
On Solving Systems of Bivariate Polynomials
Generic and Parallel Groebner Bases in JAS - (Extended Abstract)
Software Products, Software Versions, Archiving of Software, and swMATH
A Formal Proof of Pick's Theorem - (Extended Abstract)
Soft Math Math Soft
MuPAD's Graphics System
Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets
Elements of Design for Containers and Solutions in the LinBox Library - Extended Abstract
The Dynamic Dictionary of Mathematical Functions (DDMF)
Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method
Automated Deduction in Ring Theory
Skolemization Modulo Theories
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
FastECPP over MPI
GCLC - A Tool for Constructive Euclidean Geometry and More Than That
Representing, Archiving, and Searching the Space of Mathematical Knowledge
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces
Approximation of an Inverse of the Incomplete Beta Function
Real Tropical Hyperfaces by Patchworking in polymake
Constructive Membership Testing in Black-Box Classical Groups
Primal-Dual Enumeration for Multiparametric Linear Programming
Hierarchical Comprehensive Triangular Decomposition
Software for Cut-Generating Functions in the Gomory-Johnson Model and Beyond
Removing Redundant Quadratic Constraints
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity
Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology
Generating Smooth Lattice Polytopes
SIROCCO: A Library for Certified Polynomial Root Continuation
Implementation of a Near-Optimal Complex Root Clustering Algorithm
Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover
Border Basis for Polynomial System Solving and Optimization
Algebraic Polytopes in Normaliz
isl : An Integer Set Library for the Polyhedral Model
PolySCIP
Introducing HOL Zero - (Extended Abstract)
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses
Making Research on Symmetric Functions with MuPAD-Combinat
On the Interference Problem for Ellipsoids: Experiments and Applications
An Online Computing and Knowledge Platform for Differential Equations
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
swMATH - An Information Service for Mathematical Software
Approximating Generators for Integral Arithmetic Groups
Certifying Reality of Projections
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
Cooperation of KeTCindy and Computer Algebra System
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic
A Flow-Based Programming Environment for Geometrical Construction
Math-Net.Ru Video Library: Creating a Collection of Scientific Talks
Stability of Parametric Decomposition
Integration of Libnormaliz in CoCoALib and CoCoA 5
Groebner Bases in Theorema
The Subdivision of Large Simplicial Cones in Normaliz
IntegerSequences: A Package for Computing with k-Regular Sequences
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB
Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis
Algebraic Computation of Some Intersection D-Modules
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set
Extending Singular with New Types and Algorithms
Generating Optimized Sparse Matrix Vector Product over Finite Fields
Making Change and Finding Repfigits: Balancing a Knapsack
Computing Moore-Penrose Inverses of Ore Polynomial Matrices
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32
MathLibre: Modifiable Desktop Environment for Mathematics
User Experience Analysis of the FutureMe Website using the User Experience Questionnaire (UEQ)
Identification of Usability Impact of Mobile Learning STEM in a Local University Context
Can Sentiment Mining of Novice and Expert User Survey Feedback Enhance the Digital User Experience?
Applying Design Thinking in User Interface Design: A Case Study of Primakara University International Office
Application of IoT and Cloud Storage in Android-Based Smart Home Technology
Enhancing Children's Health Awareness through Narrative Game-Based Learning using Digital Technology: A Framework and Methodology
A Research through Design (Rtd) Approach in the Design of a 360-Video Platform Interface
Effects Social Media Analytics at Thousand Island (A Case Study Approach)
User Experience Evaluation on Siakadcloud's Computer Based Test Front (CBTFRONT) Application Using Evaluation of Heuristic Method
A Foresight Course Framework for Undergraduates Designing Human-Centric Solutions
Assessment of the Monitor System Interface: A Setup System Tool for Industrial Exoskeletons
Mobile Marketplace Evaluation Using UTAUT Method: A Case of Market Place Company
10th International HCI and UX Conference in Indonesia, CHIuXiD 2024, Jakarta, Indonesia, November 15-16, 2024
8th International HCI and UX Conference in Indonesia, CHIuXiD 2022, Bali, Indonesia, November 19, 2022
A Modified Usefulness, Satisfaction, and Ease-of-Use Questionnaire for Pre-Elderly Users)
7th International HCI and UX Conference in Indonesia, CHIuXiD 2021, Jakarta Barat, Indonesia, November 3, 2021
Welcoming Remarks IEEE Indonesia Section
Examination of Your Skin Hydration System by Observing Your Self-Virtual Avatar's Skin Hydration
The study about using VR with smart phones for road safety awareness and timing
Development of a Mobile Monitoring Application for a Message Queuing Telemetry Transport (MQTT)-Based Struvite Fertilizer Production System
Improving Programmer Work Quality with ChatGPT Assistance
How to Implement Human Information Behavior Concept for Your Design?
Identifying User-Desirable Centralized Scholarship Information System Features: A Survey Among Indonesian Scholarship Seekers
Interacting with Automated Vehicles: Effects of Trait Driving Anger and Time Gaps
Prototype UX Design: Mobile Augmented Reality Application based on Gamification for Cultural Heritage Tourism
Identifying User Personas of Indonesian Professional Workers Who Activate Dark Mode UI: A Machine Learning Approach
Age Differences in Menu Item Selection for Smartphone: The Effects of Icon Background Colors and Icon Symbols
Mobile Application Implementation as Agriculture 4.0 Strategy for Sugarcane Yield Prediction
Interactive Musical Songs Recommendation Using 3D Coordinates Model
The Development of A Collection of Art-Themed Mobile Application (Videre) using Challenged Based Learning
Development of Marketplace User Interface Design with Virtual Booth Based on Mobile for Ornamental Fish SMEs
9th International HCI and UX Conference in Indonesia, CHIuXiD 2023, Bali, Indonesia, November 18, 2023
User Experience Evaluation of Kindteractive Application to Improve User Experience of Kindergarten Interior Introduction
Analysing the Impact of Rhythm Game in Enhancing Typing Performance
Efficacy Comparison of Augmented Reality and Virtual Reality-based Games for Post-Stroke Rehabilitation: A Systematic Literature Review
A Preliminary Study to Evaluate Graphical Passwords for Older Adults
A React Style Guide Library for MUI Web Apps
Virtual Reality and Older Hands: Dexterity and accessibility in hand-held VR Control
Levelling, Nudging, and Easing: Inspirational Design Patterns For Supporting New Encounters
Exploring Visual Programming Concepts for Smart Textiles: The MYOW Experience
Multitouch Keyboard Revisited: Enhancing Moded Interaction Through Redesigning Structure and Switching Techniques
Indonesian Language Learning Application as the Key to Equalizing Educational Development in Indonesia, Especially in Remote, Outermost, and Underdeveloped Areas (3T)
User Experience Evaluation of The D'Fastint Application using The User Experience Questionnaire
Usability Impact of Occlusion-free Techniques on Commonly-used Multitouch Actions
The Continuous Use of a Highway Traffic Management System (HTMS) Services on Mobile Application
Mobile Application for Augmented Shopping: Virtual Shoe Try-on and Virtual Equipment Placement
An Idea of Japanese Language Learning for Indonesians via Mobile Application Development
Designing User Interface with UML and CRUD Concept for IoT-Based Water Quality Analysis Tool
Investigating Skill Requirements and Gender Bias in Job Openings for Human Computer Interaction Professionals Across the USA, Australia, Germany, India, and South Africa
Implementation of Agile Scrum Methodology in P4AI Application Development
Applying User-Centered Techniques in the Design of a Usable Mobile Musical Composition Tool
User Interface and User Experience Optimization in E-commerce: Exploring Factors to Increase Purchase Intention
Design and Development of an Internet of Things (IoT)-Based Application and System to Detect Stunting in Infants and Toddlers
User Usability Evaluation of E-Tourism Website in Indonesia
Harnessing Digital Tools in Collaborative Inquiry for Contemporary Interpretation of the Pancasila
A Study of Smart Home User Personas Based on Context Theory
Empowering Digital Transformation
Empowering Digital Transformation, CHIuXiD 2019, Proceedings, 5th International ACM In-Cooperation HCI and UX Conference, Bali/Jakarta/Surabaye, Indonesia, 1-9 April 2019
Digital Interactive Game Interfaces for Elderly: Digital Drumming Games as Case Study
Exploratory Study on User Experience (UX) of Public E-Procurement System in Malaysia: A Qualitative Approach
Designing for intelligence: User-centred design in the age of algorithms
Exploring Design Guidelines of Mobile Exergame for Older Adults
Designing Touchless Hand Gestures Interactions on Desktop Virtual Reality (dVR) in classroom: Understanding Issues Through Thematic Analysis
Combining Mobile and Traditional Learning to Learn Mandarin Language
An Observational Study for Developing Digital Technology in the Museum
Water Flow Measurement for Swimmers using Artificial Food-grade Roe as Tracer Particles
Building Serious Game Design to Prepare University Students for The World of Work
Metaverse as A Future of Education: A Systematic Review
Empowering MSMEs in Indonesia: A Mobile Application for Digital Transformation and Sustainable Economic Growth Post-COVID-19
On Building Design Guidelines for An Interactive Machine Learning Sandbox Application
Assisting viewpoint to understand own posture as an avatar in-situation
Mood Tracking Apps from the Perspectives of Indonesian Students: A Qualitative Analysis
Towards humane digitization: a wellbeing-driven process of personas creation
3D Character Posing from 2D Sketches for Storyboarding
The Mobile Exergames Design Model to Encourage Physical Activity for Sedentary Generation Z
The Learning Outcomes Achievement and User Experience Analysis of a Cryptography Education Web Game
Materialising Memories: Transforming personal remembering practices
Evaluating a User Interface for M-Commerce Shoe Sales
New Narrative of Role Human-Computer Interaction in System Development
Gendered Tour-guide Robots and Their Influence on User Attitude and Behavior
"Ah-aloud": Method for Evaluating Cognitive Processes Occurring During Tasks from Vocal Information
Integrating Good UX Development Practices in Solo Agile
Chatbots as Peer Counselors in Helping Students Manage Stress: Socio-Technical Requirements
Turn it, Pour it, Twist it: A Model for Designing Mobile Device-Based Interactions
Evaluating Children's User Experience (UX) Towards Mobile Application: the Fantasy Land Prototype
A Design of Childhood Stunting Assessment Feature with Agile UX Approach
Usability Evaluation on Life Insurance Application Using System Usability Scale and ISO 9241-11
The Adaptive Model Driven Approach for Enhancing Usability of User Interface Design: A Review Process
Sasirangan Cloth Recognition and Shopping Experience Simulation Based on Virtual Reality Game with Non-Player Character Integration
UX Analysis of Augmented Reality in E-Commerce Marketing Using the System Usability Scale and Usability Testing Method
Humans + AI: Exploring the Collaboration Between AI and Human Labor in the Workplace
Indonesian Elders in Assisted Living: A Design Journey
Workshop on Wearables and Machine Learning: Applications of Artificial Intelligence, Approaches on Textile Technology
User Experience (UX): A Comparative Study Between Public and Private Institution Library Website In Indonesia and Malaysia
Optimizing Patient Care Pathways: Impact Analysis of an AI-Assisted Smart Referral System for Musculoskeletal Services
PyDPLib: Python Differential Privacy Library for Private Medical Data Analytics
Towards Privacy-Preserving Depression Detection: Experiments on Passive Sensor Signal Data
Focus on Key Features: A Computer-Aided System for Airborne Allergenic Pollen Recognition Based on Localization-before-Classification
Harnessing Remote Speech Tasks for Early ALS Biomarker Identification
Interpreting County-Level COVID-19 Infections using Transformer and Deep Learning Time Series Models
Identifying at-risk university students: A system for longitudinal monitoring of sleep health
Remote Assessment of Emotion Dynamics in Schizophrenia using a Multimodal Dialog System
Perspectives, Dilemmas, and Guidelines in Patient-Centered Cervical Screening Communication
A Forward-Looking Exploration: Developing a Computer-aided Tool for Ocular Symptom Assessment in Myasthenia Gravis Based on Facial Images
Triage-Bot: An Assistive Triage Framework
Remote Photoplethysmography Heart Rate Variability Detection Using Signal to Noise Ratio Bandpass Filtering
Interpretable Clinical Trial Search using Pubmed Citation Network
Towards Strengthening the Security of Healthcare Devices using Secure Configuration Provenance
IEEE International Conference on Digital Health, ICDH 2024, Shenzhen, China, July 7-13, 2024
IEEE International Conference on Digital Health, ICDH 2022, Barcelona, Spain, July 10-16, 2022
Data-driven Interpretable Policy Construction for Personalized Mobile Health
IEEE International Conference on Digital Health, ICDH 2021, Chicago, IL, USA, September 5-10, 2021
A Novel Telemedicine System to Traditional Tongue Examination for Chinese Medical Applications
A Recommender for the Management of Chronic Pain in Patients Undergoing Spinal Cord Stimulation
Secure Cloud EHR with Semantic Access Control, Searchable Encryption and Attribute Revocation
Large Language Models as a Tool for Cognitive Stimulation: Chatbot Book Clubs for Seniors
Minimizing Epidemic Viral Total Exposure under the Droplet and Aerosol Models
Predicting Adverse Neonatal Outcomes for Preterm Neonates with Multi-Task Learning
Beyond the Clinic: Leveraging Speech Acoustics and Phonetics for Cognitive Monitoring in PKU
A Versatile Data Fabric for Advanced IoT-Based Remote Health Monitoring
Toward a Foundation Model for Healthcare Applications on Single-Camera Gait Analysis
Towards Developing a Mobile-Based Care (KidneyCare) for Patients with Kidney Diseases Using Ten-second Fingertip Video and PPG with Machine Learning
Computer Vision Based Cognition Assessment for Developmental-Behavioral Screening
A Comprehensive Study for Predicting Chronic Kidney Disease, Diabetes, Hypertension, and Anemia by Machine Learning and Feature Engineering Techniques
A Decision Support System in the Context of an Applied Game for Telerehabilitation
Do You Brush Your Teeth Properly? An Off-body Sensor-based Approach for Toothbrushing Monitoring
CurvMRI: A Curvelet Transform-Based MRI Approach for Alzheimer's Disease Detection
The Impact of COVID-19 on Chronic Pain: Multidimensional Clustering Reveals Deep Insights into Spinal Cord Stimulation Patients
Engineering Continuous Monitoring of Intrinsic Capacity for Elderly People
An mHealth Lifestyle Intervention Service for Improving Blood Pressure using Machine Learning and IoMTs
Wearable Technology to Quantify Patient Reported Outcome Measures to Guide Rehabilitation Following Anterior Cruciate Ligament Reconstruction
A Remotely Accessible Ecological Momentary Assessment and Actigraphy System for ALS Research
Framework for Collecting Data from specialized IoT devices - An application to enhance Healthcare Systems
Smartphone TBI Sensing using Deep Embedded Clustering and Extreme Boosted Outlier Detection
PHASE: Security Analyzer for Next-Generation Smart Personalized Smart Healthcare System
Analysis of Mobile Typing Characteristics in the Light of Cognition
Definition and clinical validation of Pain Patient States from high-dimensional mobile data: application to a chronic pain cohort
Personal Health Trajectory Traceability using Blockchain Technology
A Statistical Summary Analysis of Window-Based Extracted Features for EEG Signal Classification
Enabling Tiered and Coordinated Services in a Health Community of Primary Care Facilities and County Hospitals Based on HL7 FHIR
An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG
Interoperability Challenges and Critical Success Factors in the Deployment of Cross-border Digital Medical Prescriptions in Finland and Estonia
A Framework for Secure Logging in Precision Healthcare Cloud-based Services
Distributional Drift Detection in Medical Imaging with Sketching and Fine-Tuned Transformer
Which Usability Assessment for Digital Therapeutics and Patient Support Programs?
A Novel Pre-processing Method for Classification Problems in Medical Intelligent Tasks
Combining deep learning and fuzzy logic to predict rare ICD-10 codes from clinical notes
KITE+: A Knowledge Integration Platform to Support the Development of Multimodal, Large-Scale Data Analytics Applications with Alignment to Modern Data Protection Laws
BIOCAD: Bio-Inspired Optimization for Classification and Anomaly Detection in Digital Healthcare Systems
What Drives Front-End Innovation in Fem-Tech Startups? Insights from a Quantitative Study
Remote Medication Status Prediction for Individuals with Parkinson's Disease using Time-series Data from Smartphones
DeepCAD: A Stand-alone Deep Neural Network-based Framework for Classification and Anomaly Detection in Smart Healthcare Systems
An Adaptable LSTM Network Predicting COVID-19 Occurrence Using Time Series Data
Transforming the screening of neurodevelopmental disorders in young children
On the Pose Estimation Software for Measuring Movement Features in the Finger-to-Nose Test
Assessing AI adoption for enhancing healthcare supply chain resilience: A novel hybrid interval-valued q-rung orthopair fuzzy MCDM
Capturing Preferences of Non-verbal Autistic Children While Watching Cartoons on YouTube
Use of Musculoskeletal Modeling to Examine Lower Limb Muscle Contribution to Gait Balance Control: Effects of Overweight
Implementing AI-based Computer-Aided Diagnosis for Radiological Detection of Tuberculosis: A Multi-Stage Health Technology Assessment
IEEE International Conference on Digital Health, ICDH 2025, Helsinki, Finland, July 7-12, 2025
HealthEdge: A Proactive DRL-Driven Service Reconfiguration Mechanism for Pre-Hospital Emergency Response in Edge Networks
Intelligent Health Information Services Requirements Revisited from an Actor's Perspective
Enhancing Large Language Models with Human Expertise for Disease Detection in Electronic Health Records
GMH-D: Combining Google MediaPipe and RGB-Depth Cameras for Hand Motor Skills Remote Assessment
Towards an ABAC Break-Glass to access EMRs in case of emergency based on Blockchain
Towards Blockchain-Based Secure Data Management for Remote Patient Monitoring
Deep Learning-Based Discrete Calibrated Survival Prediction
IEEE International Conference on Digital Health, ICDH 2023, Chicago, IL, USA, July 2-8, 2023
Modelling Metabolism Pathways using Graph Representation Learning for Fraud Detection in Sports
Can Motor Outcomes Extracted from Wearables Inform on Non-Motor Clinical Outcomes? The Case of Sensor-Derived Turning Information
Fatty Liver Diagnosis Using Deep Learning in Ultrasound Image
Digital Health Promotion For Fitness Enthusiasts In Africa
CardiaPPG - A Portable, Low-Cost Photopletismograph for the Evaluation of the Cardiovascular Age
Adopting Generative AI with Precaution in Dentistry: A Review and Reflection
SMaRT-PD CDSS: A Service Improvement Initiative for Self-Management and Clinical Decision Support in Parkinson's Disease - Development and Initial Validation
Prediction of stroke using single lead ECG signal: A deep learning approach
Contactless Authentication for Wearable Devices Using RFID
A Digital Health System for Disease Analytics
Applying Machine Learning to Predict Esophageal Cancer Recurrence after Esophagectomy
Early Dementia Risk Screening Using a Time-Domain NIRS-Based Synthetic Brain Atrophy Indicator
The Need for an Adaptive Sociotechnical Model for Managing Mental Health in a Pandemic
Surveillance of SARS-CoV-2 in Urban Wastewater in Italy
Joint Temporal Patterns By Integrating Diet and Physical Activity
Feasibility Study of Seizure Detection Using Commercial Smartwatches in Patients with Epilepsy
Voice-based AI Agents: Filling the Economic Gaps in Digital Health Delivery
Brain Tumor Segmentation in MRI Images Using A Modified U-Net Model
Blockchain as a Service for Electronic Health Records
Predictive Analytics and Digital Health Technologies for High-Risk Infants
API Management in Digital Health: Exploring IBM API Connect and IBM API Hub in Enabling Healthcare Innovation
Enhancing Medical Training with AI-Driven Scenario Generation
Privacy Preserving Loneliness Detection: A Federated Learning Approach
An Investigation of Containment Measure Implementation and Public Responses to the COVID-19 Pandemic in Mainland China
Smartphone Addiction and Self-Esteem among Indonesian Teenage Students
CAtCh: Cognitive Assessment through Cookie Thief
A Software Simulator for Optimizing Ambulance Location and Response Time: A Preliminary Report
Predicting Action Plan Adherence: A Machine Learning Approach Using Dialogue Data in Health Guidance Interviews
Remote Inference of Cognitive Scores in ALS Patients Using a Picture Description
Remotely-captured, free-text responses track with patient health states in chronic pain
A Self-supervised Framework for Improved Data-Driven Monitoring of Stress via Multi-Modal Passive Sensing
Self-Sovereign Identity in Semi-Permissioned Blockchain Networks Leveraging Ethereum and Hyperledger Fabric
Enhancing Digital Health Analysis with Gravitational Models: Creative Computing for Semantic 3D Visualisation
Enhancing Freezing of Gait Detection in Parkinson's Through Fine-Tuned Deep Learning Models
Transfer Learning Improves Unsupervised Assignment of ICD codes with Clinical Notes
Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework
Risk Assessment in Smart Aging Care Systems: An Elderly-Centered Perspective
Situational Awareness and Health Monitoring System for the First Responders and CBRN Units
Grading Diabetic Retinopathy Severity Using Modern Convolution Neural Networks (CNN)
Clinical de-identification using sub-document analysis and ELECTRA
Architecture of an Intelligent Personal Health Library for Improved Health Outcomes
NeuroFetalNet: Advancing Remote Electronic Fetal Monitoring with a New Dataset and Comparative Analysis of FHR and UCP Impact
Health Guardian: Using Multi-modal Data to Understand Individual Health
A Portable Microfluidic Immuno-biochip Platform for Oral Cancer Biomarker Detection
Information Flow in Graph Neural Networks: A Clinical Triage Use Case
Knowledge Graph Building from Real-world Multisource "Dirty" Clinical Electronic Medical Records for Intelligent Consultation Applications
Towards a Privacy-Preserving Distributed Cloud Service for Preprocessing Very Large Medical Images