yusuke1997/dblp-id-title huggingface dataset:
Monadic Maps and Folds for Multirelations in an Allegory
A Stepwise Approach to Linking Theories
Programmable Verifiers in Imperative Programming
Towards Algebraic Semantics of Circus Time
Lazy UTP
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
The Inner and Outer Algebras of Unified Concurrency
Isabelle/UTP: A Mechanised Theory Engineering Framework
Unifying Theories of Undefinedness in UTP
Higher-Order UTP for a Theory of Methods
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language
Probabilistic Choice, Reversibility, Loops, and Miracles
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic
Pointers and Records in the Unifying Theories of Programming
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
UTPCalc - A Calculator for UTP Predicates
The Logic of U ·( TP ) 2
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs
Retrospective and Prospective for Unifying Theories of Programming
Unifying Theories of Locations
A Formal Model for a Hybrid Programming Language
Denotational Approach to an Event-Driven System-Level Language
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)
The Miracle of Reactive Programming
Refinement Calculus as a Theory of Contracts (Invited Paper)
An Axiomatic Value Model for Isabelle/UTP
Three Approaches to Timed External Choice in UTP
Unifying Theories of Interrupts
UTP Semantics for rTiMo
Towards a UTP Semantics for Modelica
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Unifying Probability
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Mechanising a Unifying Theory
CSP Is a Retract of CCS
Unifying Theories of Programming with Monads
Constructing the Views Framework
A Discrete Geometric Model of Concurrent Program Execution
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Angelicism in the Theory of Reactive Processes
Unifying Theories in ProofPower-Z
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
A Two-Way Path Between Formal and Informal Design of Embedded Systems
Specification Coverage for Testing in Circus
Hierarchical Organisation of Predicate-Semantic Models
A Relational Investigation of UTP Designs and Prescriptions
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude
Halting Still Standing - Programs versus Specifications
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Connecting Fixpoints of Computations with Strict Progress
Frames and terminology: representing predicative terms in the field of the environment
CogALex-V Shared Task: LOPE
CogALex-V Shared Task: CGSRC - Classifying Semantic Relations using Convolutional Neural Networks
Regular polysemy: from sense vectors to sense patterns
When Frequency Data Meet Dispersion Data in the Extraction of Multi-word Units from a Corpus: A Study of Trigrams in Chinese
NaDiR: Naive Distributional Response Generation
Dimensions of Metaphorical Meaning
Wordfinding Problems and How to Overcome them Ultimately With the Help of a Computer
The CogALex-IV Shared Task on the Lexical Access Problem
Putting WordNet's Dictionary Examples in the Context of Definition Modelling: An Empirical Analysis
Proceedings of the Workshop on Cognitive Aspects of the Lexicon, CogALex@AACL/IJCNLP, Taipei, Taiwan, November 20, 2022
Finetuning Latin BERT for Word Sense Disambiguation on the Thesaurus Linguae Latinae
Antonymy and Canonicity: Experimental and Distributional Evidence
Categorization of Semantic Roles for Dictionary Definitions
(Digital) Goodies from the ERC Wishing Well: BabelNet, Babelfy, Video Games with a Purpose and the Wikipedia Bitaxonomy
A Two-Stage Approach for Computing Associative Responses to a Set of Stimulus Words
Discovering Conceptual Metaphors using Source Domain Spaces
Measuring Similarity from Word Pair Matrices with Syntagmatic and Paradigmatic Associations
"Beware the Jabberwock, dear reader!" Testing the distributional reality of construction semantics
Do Age of Acquisition and Orthographic Transparency Have the Same Effects in Different Modalities?
Discovering Potential Terminological Relationships from Twitter's Timed Content
A Proposal for combining "general" and specialized frames
Lexical Access Preference and Constraint Strategies for Improving Multiword Expression Association within Semantic MT Evaluation
Default Physical Measurements in SUMO
Lexfom: a lexical functions ontology model
Predicting sense convergence with distributional semantics: an application to the CogaLex 2014 shared task
(In)Alienable Possession in Mandarin Relative Clauses
The Power of Language Music: Arabic Lemmatization through Patterns
Exploring Nominal Coercion in Semantic Spaces with Static and Contextualized Word Embeddings
Corpus and dictionary development for classifiers/quantifiers towards a French-Japanese machine translation
Constructing an Ontology of Japanese Lexical Properties: Specifying its Property Structures and Lexical Entries
Patterns of Text Readability in Human and Predicted Eye Movements
Proceedings of the 5th Workshop on Cognitive Aspects of the Lexicon, CogALex@COLING 2016, Osaka, Japan, December 12, 2016
Exploring Mental Lexicon in an Efficient and Economic Way: Crowdsourcing Method for Linguistic Experiments
VISCOSE - a Kanji Dictionary Enriched with VISual, COmpositional, and SEmantic Information
A Study of the Bump Alternation in Japanese from the Perspective of Extended/Onset Causation
Exploring the use of word embeddings and random walks on Wikipedia for the CogAlex shared task
CAT ManyNames: A New Dataset for Object Naming in Catalan
Jibiki-LINKS: a tool between traditional dictionaries and lexical networks for modelling lexical resources
Modelling the Semantics of Adjectives in the Ontology-Lexicon Interface
Proceedings of the 4th Workshop on Cognitive Aspects of the Lexicon, CogALex@COLING 2014, Dublin, Ireland, August 23, 2014
Compositionality as an Analogical Process: Introducing ANNE
Semantic Relation Classification: Task Formalisation and Refinement
Path-based vs. Distributional Information in Recognizing Lexical Semantic Relations
Vectors or Graphs? On Differences of Representations for Distributional Semantic Models
Towards a resource based on users' knowledge to overcome the Tip of the Tongue problem
A Frame-Based Model of Inherent Polysemy, Copredication and Argument Coercion
CogALex-V Shared Task: HsH-Supervised - Supervised similarity learning using entry wise product of context vectors
CogALex-V Shared Task: LexNET - Integrated Path-based and Distributional Method for the Identification of Semantic Relations
Deep Learning from Web-Scale Corpora for Better Dictionary Interfaces
Using Significant Word Co-occurences for the Lexical Access Problem
A Computational Approach to Generate a Sensorial Lexicon
Database Design of an Online E-Learning Tool of Chinese Classifiers
Word Sense Disambiguation using a Bidirectional LSTM
CogALex-V Shared Task: ROOT18
CogALex-V Shared Task: Mach5 - A traditional DSM approach to semantic relatedness
ETS Lexical Associations System for the COGALEX-4 Shared Task
The CogALex-V Shared Task on the Corpus-Based Identification of Semantic Relations
Retrieving Word Associations with a Simple Neighborhood Algorithm in a Graph-based Resource
A Lexical Network with a Morphological Model in It
GhoSt-PV: A Representative Gold Standard of German Particle Verbs
CogALex-V Shared Task: GHHH - Detecting Semantic Relations via Word Embeddings
Detecting and Finding the True Meaning of Jargons
TEXT2FSL: A Filipino Sign Language Phrase Translator Tool for Deaf and Mute
A Maker Space During the Covid-19 Pandemic to Promote STEM in High School Students
Case Study of Mobilized Chinese Undergraduates' Academic Acculturation in Transnational Programs within E-Learning Classroom
Video Quality Indicators for Video-Based Learning System in Higher Education
Second Language Learning, Literacy and Mobile Learning
An Acoustic Study on the Acquisition of English Back Vowels by Lhasa Tibetan Students
Where Did the Academic Master's Graduates from the Top Universities Go?: Analysis on the Employment Trend of Graduates of X University from 2011 to 2015
An integrated student complaints handling framework: A learning management system for an Open University in Botswana
Serenity: A Stress-Relieving Virtual Reality Application based on Philippine Environmental Variables
Reversible Data Hiding in Encrypted Image Based on Flipping MSB Encryption Process
Experience Report: A Distributed, Hybrid Course to Teach Global Software Engineering Course During a Global Pandemic
Blockchain as a Platform for Collaborative Ontology Evolution
Family Capital and Social Class Solidification: The Involvement of Shadow Education
Assessment of Risk Factors Causing Delays in Building Construction Project in Cambodia
Social disconnectedness, satisfaction and wellbeing in virtual classroom: Role of perceived usefulness and achievement emotion
A Case Study of Project-based Learning on Internet of Things Course
Proceedings of the 2024 10th International Conference on Frontiers of Educational Technologies, ICFET 2024, Malacca, Malaysia, June 14-16, 2024
New Educational Objectives and Methodologies for the Information Age
ICFET 2022: The 8th International Conference on Frontiers of Educational Technologies, Yokohama, Japan, June 10 - 12, 2022
ICFET 2021: The 7th International Conference on Frontiers of Educational Technologies, Bangkok, Thailand, June 4 - 7, 2021
Study on Health Level Evaluation of Higher Education Based on AHP-NBM Fuzzy Comprehensive Evaluation Model
Using Zalo Application as a Learning Management System
Application of artificial intelligence video feedback system in College Teaching
Potential Use of Personal Tracking Device for Sleep Quality Assessment of Flight Attendant
An Assistive Technology Using FSL, Speech Recognition, Gamification and Online Handwritten Character Recognition in Learning Statistics for Students with Hearing and Speech Impairment
Methods for Cultural Rapport in Teaching English as a Foreign Language(TEFL)
Research on the Effects of Ageing on Residence Demand
Study on the Construction of Case Base at Home and Abroad in the Metauniverse era
Forecasting the Number of Hat Yai International Airport Passengers
Service-Based Container Deployment on Kubernetes Using Stable Marriage Problem
AI-Enabled Education: Innovative Design and Practice of Online Training for Rural Teachers
Using Microsoft Teams as a Learning Management System in English Courses: A story from a Vocational School
Influence of Technical Pressure on Digital Teaching Innovation of Physical Education Teachers Based on Growth-oriented Thinking and TPACK
The Research Status and Development Trend of Educational Games Abroad in the Past Four Years
Analysis on the Influence of Educational Attainment on Criminal Behavior
The lights and darks of unlimited access to information, social media and word of mouth in higher education marketing: Why better-informed students may be less satisfied
Virtual Reality for Impromptu Speech Training: Exploring the Effect of VR on Speech Factors among DLSU SHS Manila Students
Profiling Operations of Cyber Army in Manipulating Public Opinions
The Essence of Interactivity and Its Impact on Online Learning Community
Development of a Product Reverse Design Teaching and Learning Model in Engineering Design Education
Unsupervised Defect Detection based on Boundary Equilibrium Generative Adversarial Network
Developing a Search Engine for Social Networks
Barriers to International Construction Joint Ventures (ICJVs) in Myanmar
Corporate Sustainability Reporting Framework and Implications for University Governance Transformation
Integrating Diversity, Equity and Inclusion Concepts into an Introductory Engineering Course
Factors influencing perceived learning of students during online classes: A case study from Taiwan
Applying Learning Analytics to Predict the Student's Learning Outcome Based on Online Learning Activities
From Tradition to Innovation: How Intelligent Technology Empowers Educational Evaluation
The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest
TARGET-tool: Participatory Design of an Interactive Professional Development Tool for Secondary School Physical Education Teachers
"I am disappointed with your results!": The effects of a pedagogical agent's negative affective feedback on mental effort and learning performance
Proceedings of the 2023 9th International Conference on Frontiers of Educational Technologies, ICFET 2023, Bali, Indonesia, June 9-11, 2023
Using the digital platform in personalized student learning
Research on Current Situation and Development Strategy of University Students' Mobile Learning in Western China
Cooperative Domain Ontology Reduction Based on Power Sets
How to Forecast the Students' Learning Outcomes Based on Factors of Interactive Activities in a Blended Learning Course
Criteria for Subcontractor Selection on Building Construction Project in Cambodia: Prequalification and Bid Evaluation
Empowering Indigenous Pupils: Enhancing Cyber Security Awareness Through Interactive Gaming Experiences
Digital Competencies and Soft Skills for Final Qualification Assessment: Case Study of Students of Foreign Languages Programs in India
Prioritizing Indicator of Knowledge Management Capability for Small Medium Industries (SMIs) Using an Analytical Hierarchy Process (AHP)
Tap-to-Talk: Filipino Mobile Based Learning Augmentative and Alternative Through Picture Exchange Communication Intervention for Children with Autism
Construction and Practice of Virtual Simulation Experimental Teaching Platform for Metal and Nonmetal Mines Underground Mining
Organizational Learning on Technological Innovation of Universities: Mechanism of Action, Evolutionary Process and Dynamic Mechanism∗
A Web-based Dental Caries Detection System Using Image Recognition and Deep Learning with SUS and UTAUT Analysis
Evaluation Criteria of Effectiveness Evaluation System of Ideological Education for International Students in China
Talkie: An Assistive Web-based Educational Application Using Audio Files and Speech Technology for the Visually Impaired
Research on the Impact of Emergent Implementation of Distance Learning on Designing Courses in Higher Education
Achieve Thumbnail Preserving Encryption by Sum Preserving Approaches for Images
Research on Music Education and Teaching in Colleges and Universities under the Dimension of Aesthetic Intersubjectivity
VCLABS as Supporting Technology in Teaching and Learning in Higher Learning Institutions
A Meta-analysis of The Effects of University-Industry Cooperative Education on Talent Cultivation Performance
Research on Hybrid Practice Teaching Based on Practice Base and Virtual Simulation
Factors affecting Engineering Student??s Behavioral Intention to Use Machine : An Extended TAM Approach
Research on the application of finite element technology in teaching
e-ALEAP: Online Reviewer System for Alternative Learning Equivalency and Accreditation Program
e-Psych: A Psychiatry Support System
A model to detect student's learning styles in the blended learning course
Countermeasures for Cultivating Innovative and Entrepreneurial Talents of Cross-border E-commerce on the Background of Regional Economy
E-Business and Interoperability as facilitators of transactions of pieces of art. The case of the International Gallery Weekend
Students' Profile and Prevalence of Cyberbullying in Higher Education: Implications to the New Normal Learning
Chinese Children's Chinese-English Bilingual Acquisition Mode: A Comparative Experiment of AI Educational Robot and Scan Reading Pen
ICFET 2020, The 6th International Conference on Frontiers of Educational Technologies, Tokyo, Japan, June 5-8, 2020
Multi-objective Risk Assessment Management via Zero-One Desirability Programming Model: Thailand - Cambodia Beverage Logistics Solutions
Teachers' Perceptions of Synchronous Hybrid Teaching during the Covid-19 Pandemic
Mech Desk: An ontology based system to help drivers diagnosis vehicle problems
Students' Uptake of Recasts in Classroom Interaction: a Study in a Lower-Education Context at the Same Level of Students' Proficiency
Research on the Design of College English Learning Vocabulary APP Based on Corpus
Trends of Blockchain Research in Management and Business
Master of Engineering Employment Trends and Characteristics: Analysis based on the employment data of master of engineering of X university from 2011 to 2015
The Implementation of Mobile Apps in Developing English Speaking Skills among Students at a Vocational School
High School Physics Teaching Design to Implement IEP Individual Education Plan-take"Curve motion" as An Example
Teaching Elements for Database Courses: An Analysis and Design
An Image Authentication Method Based on Deep Convolutional Generative Adversarial Network
VirtualTechLab (VTL): Innovative Pedagogy for Integrating Virtual Labs into E-Learning for Computer Hardware Fundamentals
Exploring Factors Influencing Lecturers'Use of Online Gamification in Higher Education
Planning and Practice of Children's Learning Environment: A Case Study of Preschool Expert Teacher
Improving Retrieval Efficiency of Person Re-Identification Based on Resnet50
Kidzaster: A Web-based Learning Management System on Disaster Preparedness for Kids
Examining Students' Learning Styles Impacted on Learning Outcome in the MOOC Course: A Case Study
Unveiling the Dynamics of Blended Learning A Comprehensive Exploration into Adaptability Levels and Influential Factors among Students in Small Rural Schools
A Comparison of Teachers' Perceptions towards Teaching Physical Education Online during the Covid-19 Pandemic among Several Educational Institutions in Vietnam
Research on professional doctoral education in China based on co-word network analysis
The Development of the Wireframes Design for Usability under the ISO 9241-151 Standard
Action Research as A Path to Professional Development: E-Learning Approach
Research on Financial Risk Management of E-commerce Enterprises in the Era of Big Data
Efficacy Analysis of Mobile Language Learning Apps
Deep Learning in Smart Video Surveillance for Crowd Management: A Systematic Literature Review
Factors Affecting Lecturer' Intention to Adopt Online Gamification in Higher Education Teaching Learning
Barriers to Implementation of Sustainable Construction in Cambodia Construction Industry
The Effect of Integrating Mobile Application in Workplace English Vocabulary Acquisition
Factors Affecting Blended Learning Effectiveness: A Study in Vietnamese Universities
Towards the Development of a Mobile Self-Eyeglass Assessment Application - iGlass: A Systematic Literature Review
Automation Financial Processing in Account Receivable for Integrated Hospital System using ERP and Quickstart Approach
Analysis on Fintech Talents Aggregation: based on the perspective of GBA
Difficulties in Applying Information and Communication Technologies in Teaching at Public Universities of Vietnam
Research on Teaching Mode of Blended Learning Under The Condition of Information
Exploring Innovative Pathways of Artificial Intelligence Empowering Art and Design Education
Influence of Child Temperament on Teacher-child Relationship: Moderating Effect of Teacher Class Management Efficacy
Impact of Gamification Elements for Student Acceptance on Gamification-enhanced Learning
Research on the conditions of blended learning from the perspective of industry-university-research cooperation
Towards the Development of an Adaptive E-learning System with Chatbot Using Personalized E-learning Model
Exploring Factors Affecting Student Learning Satisfaction during COVID-19 in South Korea
How the organizational communication and administrative management is perceived by the workers of a public university
Computer Data Based on Domino Application System Design and Implementation of Interface Analysis Experiment
Dentist Kids: A Serious Game Mobile for Dental Health Education
A Method for Discovering Local Travel Information from Travel-blogs
How Are the Students' Steps in Solving Mathematical Problems?
Development of an e-learning teaching and learning platform using game theory - Applications of Sports Games and Real-life Scenarios
Research on the Path of Talent Development and Upgrading of Mining Engineering under the Background of the Intelligent Mine
Sight-Man: A Smart Infrared Technology that Guides the Visually Impaired
Examining Procrastination in Online Learning Environments: Implications for Student Performance
Students' Attitudes and Behaviors Influence Learning Management System Adoption
Play, Learn, Code: Assessing the Efficacy of Gamification in Computer Programming 1 Instruction
Problems, Causes and Countermeasures of MOOC in the Development of Higher Education in China
Digital journalism and the rise of prosumers in the public university
Experience in using BYOD approaches in teacher education
Think+: Using Virtual Reality Therapy Game Mobile Application for Treating Phobia
A Satellite Ground System with an "Edge-Cloud-Terminal" Structure
The Impact of Artificial Intelligence (AI) Systems on the Personalized Learning Outcomes for Senior High School Students: A Systematic Review
UX-Based Design of A Mobile Application for Thai Seniors
A Study of Student Learning Sentiment Analysis in Primary English Delivery Classroom
An Improved Lossless Information Hiding in SMVQ Compressed Images
Research on the Application of Virtual Reality and Augmented Reality Technologies in Higher Education
Development web spatial database system of the Royal Projects under the Inspiration of King Rama 9th
Design and Implementation of Classroom Environment Monitoring System towards Smart Campus
Educational Technology in Language Assessment: Enhancing Writing Assessment Literacy Through the Pigai AES System
Benefits of Blended Learning Application in Universities in Vietnam
Leveraging DIY Projects in the Freshman Engineering Design Course During Pandemic
Research and Practice on the Connection System of "Multi-level Interchange and Mutual Integration" for International Trade Majors in Higher Vocational Colleges under the Background of Cross-border E-commerce
What generation Z needs in education: A survey
Blockchain Technology Benefit in Tackling Online Shopping Transaction Revocation Issue
System Dynamics Modeling for Online Encyclopedias Based on Activity Theory
Simulation of material mechanics tensile experiment based on finite element technology
Self-Determination and Online Learning: A Study of Chinese Undergraduate Students in Higher Education
Line Operator as Preprocessing Method for CNN-based Osteoporosis Detection in Dental Panoramic Radiograph
A Recommender System for Communication Apps by Analyzing Reviews
Cultural Art Teachers' perceptions toward Flipped Classroom Approach
Design and Implementation of Music Distance Education Learning System
Computational Intelligence in Science Education
Technology for Extensive Listening Practice: EFL Teachers' Preferences and Views
The Association Between Positive Parenting Style and College Students'Online Learning Engagement: A Moderated Mediation Model
Distance Collaboration in Virtual Reality Learning Environments: A Comprehensive Study of Educational Innovation and Social Interaction
Pedagogical Data Federation toward Education 4.0
Application of Problem-Based Learning and E-Learning in Pre-service Teacher Education Programs
Scaled Scrum Framework for Cooperative Domain Ontology Evolution
Learning Assessment for Open Education Learners in the Era of Generative Artificial Intelligence