yusuke1997/dblp-id-title huggingface dataset:
MetaTutor: Analyzing Self-Regulated Learning in a Tutoring System for Biology
EdNet: A Large-Scale Hierarchical Dataset in Education
What Does Shared Understanding in Students' Face-to-Face Collaborative Learning Gaze Behaviours "Look Like"?
Dilemmas in AI Ethics: A Digital Game for Moral Reasoning and Collective Decision-Making
Different Modality, Different Design, Different Results: Exploring Self-regulated Learner Clusters' Engagement Behaviours at Individual, Group and Cohort Activities
Data Augmentation for Enlarging Student Feature Space and Improving Random Forest Success Prediction
Towards A Virtual Teaching Assistant to Answer Questions Asked by Students in Introductory Computer Science
Supporting L2 Learners' English Oral Proficiency Development with a GenAI Voice Chatbot: The Case of KELLY
Exploring the Relationships between Design, Students' Affective States, and Disengaged Behaviors within an ITS
Automated Detection and Analysis of Gaming the System in Novice Programmers
Teaching about Dynamic Processes A Teachable Agents Approach
Identifying Effective Praise in Tutoring: Large Language Models with Transparent Explanations
Learning Tutorial Rules Using Classification Based On Associations
Proficiency and Preference Using Local Language with a Teachable Agent
Towards Identifying Students' Causal Reasoning Using Machine Learning
Artificial Intelligence in Education - 19th International Conference, AIED 2018, London, UK, June 27-30, 2018, Proceedings, Part II
ITS Unplugged: Leapfrogging the Digital Divide for Teaching Numeracy Skills in Underserved Populations
A Computational Model for the ICAP Framework: Exploring Agent-Based Modeling as an AIED Methodology
Interoperability Issues in Authoring Interactive Activities
The Technical Art of Learning Science
Towards Formative Feedback on Student Arguments
ChatGPT for Education Research: Exploring the Potential of Large Language Models for Qualitative Codebook Development
Searching for Predictors of Learning Outcomes in Non Abstract Eye Movement Logs
Impact of Predictive Learning Analytics on Course Awarding Gap of Disadvantaged Students in STEM
Paragraph Development Schemata to Support English Composition
Effective and Scalable Math Support: Experimental Evidence on the Impact of an AI-Math Tutor in Ghana
Turn-Taking Behavior in a Human Tutoring Corpus
Multimodal Trajectory Analysis of Visitor Engagement with Interactive Science Museum Exhibits
Adaptive TEL Based on Interaction Traces
Management of Recommendations for Accessible eLearning Platforms: Is it a Need for Learning Management System Users?
Inferring learning and attitudes from a Bayesian Network of log file data
Is the Brazilian HCI Community Researching Cultural Issues? An Analysis of 15 years of the Brazilian HCI Conference
Automatic Generation of Programming Feedback; A Data-Driven Approach
An Ensemble Approach for Question-Level Knowledge Tracing
Accommodating Indigenous People When Using Technology to Learn Their Ancestral Language
ReaderBench Learns Dutch: Building a Comprehensive Automated Essay Scoring System for Dutch Language
Enhancing the Learning Experience: Using Vision-Language Models to Generate Questions for Educational Videos
Employing Artificial Intelligence to Increase Occupational Tacit-Knowledge Through Competency-Based Experiential Learning
Generative Large Language Models for Dialog-Based Tutoring: An Early Consideration of Opportunities and Concerns
Automated Scoring for Reading Comprehension via In-context BERT Tuning
An Educational Math Game with a Teachable Agent and a Social Chat
Making Learning Design Standards Work with an Ontology of Educational Theories
How Do Learners Read the Content in a Multi-source Reading-to-Write Task? - A Multimodal Study
Automatic Identification of Non-native English Speaker's Phoneme Mispronunciation Tendencies
An experiment to measure learning in a collaborative assessment environment
Pedagogical Agent Support and Its Relationship to Learners' Self-regulated Learning Strategy Use with an Intelligent Tutoring System
Intelligent Authoring of 'Graph of Microworlds' for Adaptive Learning with Microworlds based on Compositional Modeling
Using Intelligent Tutoring on the First Steps of Learning to Program: Affective and Learning Outcomes
Evaluating Large Language Model Quality in Resource-Constrained Environments: An Educational Stakeholders' Survey on Accuracy, Completeness, and Readability in Brazil
The MetaHistoReasoning Tool: Fostering Domain-Specific Metacognitive Processes While Learning through Historical Inquiry
Human-Agent Assessment: Interaction and Sub-skills Scoring for Collaborative Problem Solving
Games, Motivation, and Integrating Intuitive and Formal Understanding
Evaluating a Collaborative Constraint-based Tutor for UML Class Diagrams
Examining the Relationship Between Performance Feedback and Emotions in Diagnostic Reasoning: Toward a Predictive Framework for Emotional Support
A Good Start is Half the Battle Won: Unsupervised Pre-training for Low Resource Children's Speech Recognition for an Interactive Reading Companion
A Reflective Tutoring Framework Using Question Prompts for Scaffolding of Reflection
Validating and Representing Case Based Knowledge
Providing implicit formative feedback to learners by combining self-generated and instructional explanations
Multimodal Affect Detection from Physiological and Facial Features during ITS Interaction
Combining Difficulty Ranking with Multi-Armed Bandits to Sequence Educational Content
Setting the Stage for Collaborative Interactions: Exploration of Separate Control of Shared Space
Interactive and Personalized Activity eBooks for Learning to Read: The iRead Case
Multi-armed Bandit Algorithms for Adaptive Learning: A Survey
Automatic Slide Generation Using Discourse Relations
Qualitative and Quantitative Student Models
Exploring the Meaning of Effective Exploratory Learner Behavior in Hands-on, Collaborative Projects Using Physical Computing Kits
AIED Applications in Ill-Defined Domains
AI Education for K-12: A Survey
ExploreIT! An Adaptive Tutor in an Informal Learning Environment
Objects as Observable Processes
The Odissea Project: An Environment for the Development of Information Systems from DCM
On the Compilation of Consistency Constraints
Deduction-Based Data Understanding using Graphic Logic
On Specifying Database Updates (Invited Lecture)
Optimizing Deductive Databases Using Integrity Constraints
Query Optimization in a Deductive Object-Oriented DBMS
Constructing a Hierarchy of Generalization/Specialization from the O.A.S Hierarchy of Formal Classes
Deriving an Internal Events Model from a Deductive Conceptual Model
Object Oriented and Relational Specification of Information Systems
An Approach to Monitoring Changes in Deductive Databases
Verification and Validation of Temporal Business Rules
Object-Level Abduction for View Updates
A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution
Automatic Deduction of Temporal Information
Extending the Scope of Information Modelling
The Operational Semantics of User-Defined Relationships in Object-Oriented Systems
A new Plan Generation Method for Deductive Conceptual Models Validation
A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems
IFO2: a Uniform Approach for Information System Modelling
Validating Constraints with Partial Information: Research Overview
Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases
Fith International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1994, September 19-21, 1994, Aiguablava, Costa Brava, Catalonia, Proceedings
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories
Information Systems and Enterprise Integration
Change Management in Objectbases
Integrity Constraints Revisited (Preliminary version)
Knowledge Assimilation in Deductive Databases - An Overview
ODISSEA: A Language for Deductive Information Systems
Fourth International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1993, September 20-22, 1993, Lloret de Mar, Catalonia, Proceedings
Third International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1992, September 28-30, 1992, Roses, Costa Brava, Catalonia, Proceedings
Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling
An Approach to Validation of Deductive Conceptual Models
DISLOG - A System for in Disjunctive Deductive Databases
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases
Database Support for a Rule-based Approach to Information Systems
Aspects of Consistency Driven Planning
Combining Deductive and Active Capabilities: A Systems Perspective
ROCK & ROLL: A Deductive Object-Oriented Database System
Design, Implementation and Evaluation of an Application following the Deductive Approach
Belief Revision for Deductive Databases
Towards a Unified View of Query- and Update-driven Inference in Deductive Databases
Integrity Constraints Checking in Historical Deductive Databases
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition
Object Certification (Invited Lecture)
A Derivation Path Recording Method for Integrity Checking in Deductive Databases
Explaining the Behaviour of a Deductive Conceptual Model
Design and Execution of Event/Action DB Applications
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases
Strategies for the Computation of Conditional Answers
Update Propagation in Chimera, an Active DOOD Language
Exploiting Consistency Maintenance for Planning
Derived Objects and Classes in DOOD Systems
Real-Time Object Specification Logic
The Internal Events Method for View Updating in Deductive Databases
Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation
An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories
Towards a Strategy for Achieving Security and Multi-User Integrity in Knowledge Base Systems
Is There a "Right" Semantics for Negation as Failure?
Integrating Persistence and Deductive Databases
Semantic Query Optimization: from DBMS to KBS
An Execution Model for change Computation in Deductive Databases
Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases
Consistency Verification of Deductive Database Schemes
Incorporating Modification Requests in Updating Consistent Knowledge Bases
On the Use of Algebras as Semantic Domain of Object Societies
A Deductive Approach to Semantic Heterogeneity in Multidatabase Systems
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models
Deductive Object Bases: Concept, Implementation, Applications
Reasoning Aspects in Information Systems and Databases
International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1990, October 15-17, 1990, S'Agaró, Catalonia, Proceedings
Integrity Maintenance Systems: An Architecture
Second International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1991, September 9-11, 1991, Aiguablava, Costa Brava, Catalonia, Proceedings
History, Survey and Comparison of selected object-oriented and deductive Database Query Languages
The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases
Vision Based Facial Action Recognition System for People with Disabilities
Time Regarded Method of 3D Ultrasound Reconstruction
Control System of Bioprosthetic Hand Based on Advanced Analysis of Biosignals and Feedback from the Prosthesis Sensors
Electrical Activity of Uterus as Reliable Information on Contractions During Pregnancy and Labour
Adhesion of Poly(lactide-glycolide) Coating (PLGA) on the Ti6Al7Nb Alloy Substrate
Segmentation of the Left Ventricle Using Active Contour Method with Gradient Vector Flow Forces in Short-Axis MRI
Enhancing the Quality of Layer Detection in Tomographic Images of the Eye
Three-Dimensional Children Gait Pattern - Reference Data for Healthy Children Aged Between 7 and 17
Attribute-Based Assessment of Lung Nodules in CT Using Support Vector Machine and Random Forest
Similarity Search for the Content of Medical Records
Descriptive Seons: Measure of Brain Tissue Impairment
Simulator for Modelling Confocal Microscope Distortions
Incorporating Patient Photographs in the Radiology Image Acquisition and Interpretation Process
Skin Lesion Matching Algorithm for Application in Full Body Imaging Systems
Tele-BRAIN Diagnostics Support System for Cognitive Disorders in Parkinson's Patients
The Methodology of Designing Serious Games for Children and Adolescents Focused on Psychological Goals
Planimetric Pramaters of the Tree Test in a Quantitative Evaluation of the Susceptibility to Examination Stress and Acoustic Stress
Electromyography Based Translator of the Polish Sign Language
Fluid Flow Analysis Using Finite Element Method, Determining the Effects of the Implantable Mechanical Heart Valves on Aortic Blood Flow
Semantic Segmentation of Abnormal Lung Areas on Chest X-rays to Detect COVID-19
Rhythmic Auditory Stimulation. Biocybernetics Dimension of Music Entrainment
New Challenges for Information Technologies in Medicine: Big Data Analysis?
Fast and Robust Method for Wheezes Recognition in Remote Asthma Monitoring
A Survey for Breast Histopathology Image Analysis Using Classical and Deep Neural Networks
Kinematic Differences in Gait Obtained for People with Right and Left Paresis
Automatic Detection of Melanomas: An Application Based on the ABCD Criteria
Computer Aided Analysis of Clock Drawing Test Samples via PACS Plugin
Human Fibroblast Growth Factor 2 Hot Spot Analysis by Means of Time-Frequency Transforms
Statistical Analysis of Radiographic Textures Illustrating Healing Process After the Guided Bone Regeneration Surgery
Information Technology in Biomedicine - 9th International Conference, ITIB 2022 Kamień Śląski, Poland, June 20-22, 2022 Proceedings
Determination of the Cognitive Model: Compressively Sensed Ground Truth of Cerebral Ischemia to Care
Detection of Abnormalities in ECG
Cervical Histopathology Image Classification Using Ensembled Transfer Learning
The Higher-Order Spectra (HOSA) as a Tool for the Rehabilitation Progress Estimation Referred to the Patients Diagnosed with Various Cardiac Diseases
RAS in the Aspect of Symmetrization of Lower Limb Loads
Application of Reverse Engineering in Supporting the Treatment of Pectus Carinatum
Heart Rate Measurement Based on Embedded Accelerometer in a Smartphone
Preliminary Study of Computer Aided Diagnosis Methodology for Modeling and Visualization the Respiratory Deformations of the Breast Surface
Two-Dimensional vs. Scalar Control of Blood Glucose Level in Diabetic Patients
Wavelet Imaging Features for Classification of First-Episode Schizophrenia
Towards Pulse Wave Velocity Estimation Using Specific ECG and PPG Algorithms
The Evaluation of Gait Strategy on a Treadmill Using a New IGS Index Based on Frequency Analysis of COP Course
The Influence of Textural Features on the Differentiation of Coronary Vessel Wall Lesions Visualized on IVUS Images
Quantitative Validation of Gait and Swing Angles Determination from Inertial Signals
Emotion Recognition Based on Physiological Sensor Data Using Codebook Approach
Non-destructive Evaluation of Biomaterial's Magnetic Field After Plastic Deformation
Cloud-Based System for Vital Data Recording at Patients' Home
First Measurements with Objective Bipolar Electrogustometer
Do Contractions of Abdominal Muscles Bias Parameters Describing Contractile Activities of a Uterus? A Preliminary Study
Application of Reverse Engineering in the Therapy of Lower Limb Defects
The Influence of Low-Intensity Pulsed Ultrasound (LIPUS) on the Properties of PLGA Biodegradable Polymer Coatings on Ti6Al7Nb Substrate
Evidence of S. Cerevisiae Proliferation Rate Control via Exogenous Low Frequency Electromagnetic Fields
Simple Atlas Selection Strategies for Liver Segmentation in CT Images
Threshold-Crossing Model of Human Motoneuron
Classifying Changes in Motion Behaviour Due to a Hospital Stay Using Floor Sensor Data - A Single Case Study
Activities Classification Based on IMU Signals
Longitudinal Voice Study (LoVoiS) Methodology and Preliminary Research Results
Application of Eye Tracking to Support Children's Vision Enhancing Exercises
Automatic Early Stroke Recognition Algorithm in CT Images
DVT: Application of Deep Visual Transformer in Cervical Cell Image Classification
Arterial Blood Gases Forecast Optimization by Artificial Neural Network Method
Application of Adjoint Sensitivity Analysis to Parameter Estimation of Age-Structured Model of Cell Cycle
Swarm Intelligence Approach to 3D Medical Image Segmentation
Application of Gait Index Assessment to Monitor the Treatment Progress in Patients with Cerebral Palsy
Building Management System - Artificial Intelligence Elements in Ambient Living Driving and Ant Programming for Energy Saving - Alternative Approach
Computer Aided Feature Extraction in the Paper Version of Luria's Alternating Series Test in Progressive Supranuclear Palsy
Semantics Discovering in Relational Databases by Pattern-Based Mapping to Association-Oriented Metamodel - A Biomedical Case Study
Bioinformatic Tools for Genotyping of Klebsiella pneumoniae Isolates
3D Fuzzy Liver Tumor Segmentation
Application of Fuzzy Image Concept to Medical Images Matching
Boys' Age Modeling Using Voice Features
The Use of Doppler Effect for Tomographic Tissue Imaging with Omnidirectional Acoustic Data Acquisition
Eye-Tracking as a Component of Multimodal Emotion Recognition Systems
Convolutional Neural Networks for Computer Aided Diagnosis of Interdental and Rustling Sigmatism
Design and Testing of Radiofrequency Instrument RONLINE
Sensor Headband for Emotion Recognition in a Virtual Reality Environment
Barley Defects Identification by Convolutional Neural Networks
Coughing Record Analysis Using Matlab Signal Processing Toolbox
Wavelet Convolution Neural Network for Classification of Spiculated Findings in Mammograms
Research into the Possibility to Use Impedance Rheocardiography in a Non-invasive Assessment of Haemodynamic Condition of Patients with Heart Diseases
Impact of Music on the Effectiveness of Performing Mathematical-Logical Tasks
Blood Vessel Segmentation in HRT Images for Glaucoma Early Detection
CAD of Sigmatism Using Neural Networks
An Image Processing Approach to Determination of Steel Fibers Orientation in Reinforced Concrete
Evaluation of Selected Parameters Related to Maintaining the Body Balance in the Aspect of Physical Activity in Young Adults
The Use of Mobile Devices in the Care and Home Monitoring of the Elderly and the Sick
Electromyograph as a Tool for Patient Feedback in the Field of Rehabilitation and Targeted Muscle Training
An Application of a Haptic Device in a Computer Aided Surgery
EEG-Based Mental Task Classification with Convolutional Neural Networks - Parallel vs 2D Data Representation
Directional Characteristics of Mammographic Spicules in the Complex Wavelet Domain
Biopsy Needle and Tissue Deformations Detection in Elastography Supported Ultrasound
Localization of Epileptic Foci Using EEG Brain Mapping
Texture Analysis to Trophoblast and Villi Detection in Placenta Histological Images
Effect of Surface Pretreatment on Corrosion Resistance of Anodically Oxidized Ti6Al7Nb Alloy
ToF-Data-Based Modelling of Skin Surface Deformation
Kernelized Fuzzy C-Means Method and Gaussian Mixture Model in Unsupervised Cascade Clustering
Analysis of the Possibility of Doppler Tomography Imaging in Circular Geometry
Sleep Quality in Population Studies - Relationship of BMI and Sleep Quality in Men
Assessment of Muscle Fatigue, Strength and Muscle Activation During Exercises with the Usage of Robot Luna EMG, Among Patients with Multiple Sclerosis
Application of Text Analytics to Analyze Emotions in the Speeches
Indexing and Retrieval of Medical Resources for a Telemedical Platform
Evaluation of Specific Absorption Rate in SAM Head Phantom with Cochlear Implant with and Without Hand Model Near PIFA Antenna
Discrimination of Wheat Grain Varieties Using X-Ray Images
Heart Rate Variability Analysis on Reference Heart Beats and Detected Heart Beats of Smartphone Seismocardiograms
Discrimination Between Stroke and Brain Tumour in CT Images Based on the Texture Analysis
A Preliminary Evaluation of a Basic Fluorescence Image Processing in MentorEye System Using Artificially Prepared Phantoms
Phase Angles of Sound as a Biometric Feature
A Preliminary Evaluation of Transferring the Approach Avoidance Task into Virtual Reality
Novel Geometric Technique of Ultrasound Probe Calibration
Spatio-Temporal Extension of Independent Component Analysis for Fetal ECG Extraction
Forming an Occlusal Splint to Support the Therapy of Bruxism
Subtle Directional Mammographic Findings in Multiscale Domain
Weakly Supervised Cervical Histopathological Image Classification Using Multilayer Hidden Conditional Random Fields
Development of New Testing Method of Mechanical Properties of Porcine Coronary Arteries
Non-destructive Investigation of the Artificial Heart Valves Using Eddy Current Testing - An Innovative Approach
Sensitivity Analysis of Biomedical Models Using Green's Function
The Panoramic Visualization of Metallic Materials in Macro- and Microstructure of Surface Analysis Using Microsoft Image Composite Editor (ICE)
Improving Children Diagnostics by Efficient Multi-label Classification Method
Rigid and Non-rigid Registration Algorithm Evaluation in MRI for Breast Cancer Therapy Monitoring
Evaluation of Dental Implant Stability Using Radiovisiographic Characterization and Texture Analysis
Infrared and Visible Image Fusion Objective Evaluation Method
Non-invasive Measurement of Human Pulse Based on Photographic Images of the Face
Dynamic Occlusion Surface Estimation from 4D Multimodal Data
Face Localization Algorithms as Element of Silhouette Localization Process
Touchless Pulse Diagnostics Methods and Devices: A Review
Video-Based Automatic Evaluation of the 360 Degree Turn Test
The Impact of Physical Activity on the Change of Pulse Wave Parameters
Analytical Statistical Approach for Fan-Beam Scanners
The Fast Matching Algorithm for Rectified Stereo Images
Development of a Multimodal Image Registration and Fusion Technique for Visualising and Monitoring Chronic Skin Wounds
Acoustic Mask for Air Flow Distribution Analysis in Speech Therapy
Impedance Spectroscopy Study of the Electrochemical Corrosion of Steel Wire Used in Cardiologic Leaders
Machine Learning Can Reliably Distinguish Histological Patterns of Micropapillary and Solid Lung Adenocarcinomas
Comparative Analysis of Selected Methods of Identifying the Newborn's Skeletal Model
Application of Preprocessing Methods to Imbalanced Clinical Data: An Experimental Study
Gene Expression Analysis of the Bladder Cancer Patients Managed by Radical Cystectomy
Targeted X-Ray Computed Tomography: Compressed Sensing of Stroke Symptoms
Algorithm for the Fusion of Ultrasound Tomography Breast Images Allowing Automatic Discrimination Between Benign and Malignant Tumors in Screening Tests
Breast Deformation Modeling Based on MRI Images, Preliminary Results
The Analysis of the Influence of Virtual Reality on Parameters of Gait on a Treadmill According to Adjusted and Non-adjusted Pace of the Visual Scenery
Semantic Segmentation of Colon Glands in Inflammatory Bowel Disease Biopsies
Electrooculography Application in Vision Therapy Using Smart Glasses
The Validation Concept for Automatic Electroencephalogram Preprocessing
Functional Kidney Analysis Based on Textured DCE-MRI Images
From Ambient Assisted Living to Active and Assisted Living: A Practical Perspective on Experiences and Approaches
The Feature Detection on the Homogeneous Surfaces with Projected Pattern
Hybrid Method of Human Limb Joints Positioning - Hand Movement Case Study
EEG Signal and Deep Learning Approach in Evaluation of Cognitive Declines in Parkinson's Disease
The Novel Approach to the Estimation of the Blood Volume in the POLVAD Prosthesis