yusuke1997/dblp-id-title huggingface dataset:
A Perspective on the Development of Digital Libraries in Taiwan
An Architecture for XML Schema Integration
Associative Information Access Using DualNAVI
Functions of a Web Warehouse
The Parallel Evolution of Search Engines and Digital Libraries: Their Convergence to the Mega-Portal
Digital Library as an Application of "Copymart"
The Road Map to Digital Information Access - A Case Study of an Indian Research Library
Event Archival - Digitalizing and Reproducing a Three-Dimensional Dynamic Event
US Digital Library Research - Broadening our Reach
Building a Digital Library Research Program at Columbia University
The Pacific Rim Library of the University of California, San Diego
Document Models for Navigating Digital Libraries
Accessing in Multi-Terabyte Seismological Archive Using a Metadata Portal
Spatial Media Fusion Project
Effects of a preliminary programming course on students' performance
Diversity and Teamwork in Student Software Teams
From Difficulties to Functional Requirements - Deriving Requirements from Literature about Tool-supported Teaching of UML Diagrams in Software Engineering Education
BugVis: A Debugger Supporting Time-Travel and Data Structure Visualization
Generative AI in Student Software Development Projects: A User Study on Experiences and Self-Assessment
Digital Storytelling in Serious Games: Empirical Research on the Impact of Narrative in 3D Learning Worlds
Teaching cooperative problem solving
Interdisciplinary Harmonies: A Story-Driven Course on AI and Music to Increase Interest in Computer Science
Experiences with Remote Examination Formats in Light of GPT-4
MIRTO: an Open-Source Robotic Platform for Education
Nestor: A Personalized Learning Path Recommendation Algorithm for Adaptive Learning Environments
Technical Report: Define a customized course and import it into Moodle without changes to the configuration of the Moodle system
Towards a Semantic Representation of Framework Recommendations for Curricular Specifications in Higher Education
Towards a feature-based didactic framework for generating individualized programming tasks for an e-learning environment
Evaluating Didactic Approaches used by Teaching Assistants for Software Analysis and Design using UML
Experiences in Introducing Blended Learning in an Introductory Programming Course
Introducing a Deployment Pipeline for Continuous Delivery in a Software Architecture Course
Using Architectural Kata in Software Architecture Course: An Experience Report
Automated Tracking of User Interactions in Web-Based Adaptive Learning for Software Engineering
Student Experiences in a Distributed, Hybrid Global Software Engineering Course
Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style
Enhancing Learning Analytics: H5P Results for Personalized Software Engineering Education
Reflections on Training Next-Gen Industry Workforce on Secure Software Development
Development of an Authoring Tool for the Creation of Individual 3D Game-Based Learning Environments
The Toolbox of Functions: Teaching Code Reuse in Schools
Learning Tasks for Software Engineering Education: An exemplary development of learning tasks for software engineering based on didactic function and knowledge type
Towards Eye Tracking based Learning Style Identification
The Power of Context: An LLM-based Programming Tutor with Focused and Proactive Feedback
Combining Abstract Tasks and Haptic Material to Foster Computational Thinking in Computer Science Students
Totally Different and yet so Alike: Three Concepts to Use Scrum in Higher Education
Prototypical Implementation of a Domain Model for an Adaptive Learning System
Motivating Adult Learners by Introducing Programming Concepts with Scratch
Proceedings of the 6th European Conference on Software Engineering Education, ECSEE 2025, Seeon, Germany, June 2-4, 2025
Involving Customers in Requirements Engineering Education: Mind the Goals!
Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023, Seeon/Bavaria, Germany, June 19-21, 2023
The Expert's View: Eye Movement Modeling Examples in Software Engineering Education
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching
This Doesn't Work! - An Explorative Study on Student Modeling Skills in the Context of Developing Hybrid Methods
Tool-Based Software Engineering Education for Software Design Patterns and Software Architecture Patterns - a Systematic Literature Review
Adaptive Learning Path Sequencing Based on Learning Styles within N-dimensional Spaces
Evaluating Graph-based Modeling Languages
Using Competency-Oriented Instructional Tasks for Internal Differentiation in Informatics
Development of a Short Form of the Index of Learning Styles for the Use in Adaptive Learning Systems
Using Learning Analytics to Identify Student Learning Profiles for Software Development Courses
Flipped Teaching in Software Engineering Education.: Results of a Long-Term Study
ECSEE '20: European Conference on Software Engineering Education, online [Seeon Monastery, Bavaria, Germany], June 18, 2020
A Tool Landscape for Adaptive Learning
Proceedings of the 3rd European Conference of Software Engineering Education, ECSEE 2018, Seeon Monastery, Bavaria, Germany, June 14-15, 2018
Software Engineering Education of Classical Computing vs. Quantum Computing: A Competency-Centric Approach
Eye Tracking Metrics in Software Engineering
A Multi-Paradigm Programming Language for Education
Towards Robust Plagiarism Detection in Programming Education: Introducing Tolerant Token Matching Techniques to Counter Novel Obfuscation Methods
A hands-on approach on software engineering education using fischertechnik hardware
Systematic Literature Review for the Use of AI Based Techniques in Adaptive Learning Management Systems
Teaching Distributed Programming - Revisiting the Broker Pattern
The Gap between Higher Education and the Software Industry - A Case Study on Technology Differences
Teaching Global Software Engineering: Experience Report Comparing Distributed, Virtual Collaborative Courses at the Bachelor's and Master's Degree Levels
An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning
Using Automatic Program Assessment in a Software Development Project Course
Qualitative Requirements Elicitation of Student Requirements for Tool-supported Teaching of UML Diagrams
Towards Automated Interactive Tutoring - Focussing on Misconceptions and Adaptive Level-Specific Feedback
You don't just Use Software Processes, You have to Engineer Them: A Teachers' Experience Report
Improving Embedded Software Development Courses: A Student Attentive Data-Driven Approach
A Cookbook for Eye Tracking in Software Engineering
A Unified Holistic Model of Visual Perception for Code Reviews
Eye Movement Modelling Examples on Usability Heuristics
MuLE: a Multiparadigm Language for Education. The Object-Oriented Part of the Language
A Legacy Game for Project Management in Software Engineering Courses
Towards the Automation of Grading Textual Student Submissions to Open-ended Questions
Gamification in software engineering education through Visual Novels
The Usability of eyenalyzer
An Eye Tracking Study on MISRA C Coding Guidelines
ML based Evaluation Methodology for Learning Path Recommender Systems
Teaching students critical appraisal of scientific literature using checklists
CodeTripping: Towards Mastering App Development Using a Web-based Learning Tool. A Case Study
Acquisition of practical skills in the protected learning space of a scientific community
Towards Learning Style Prediction based on Personality
A Comparison of Eye Movement Classifiers
Robot Tutoring: On the Feasibility of Using Cognitive Systems as Tutors in Introductory Programming Education: A Teaching Experiment
Something Short Gets Even Shorter: Adapting the LIST-K for the Use in an Online Learning Management System
WebGazeTrack: A Web-based Eye Tracking Tool
Soft Skills as Predictors of Success in Software Engineering Through Analysis of Confidence, Adaptability and Time Management
Ubiquitous Learning Applied to Coding: A set of tools and services to deliver code-intensive learning contexts to student devices
Deliberate Practice in Programming: How is it carried out by programmers?
Identifying Competence Gaps and Student Struggle by Monitoring Testing Performance
The Influence of Incentives and Continuous Feedback in Combined Modeling and Programming Education
Scrum as a Method of Teaching Software Architecture
A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions
Learning Analytics Dashboard for Educators: Proposed Project to Design with Pedagogical Background
Evaluation of a Node-based Automatic Short Answer Tool "NodeGrade"
Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Efficient Universal Pushdown Cellular Automata and Their Application to Complexity
International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I
On the Universality of Post and Splicing Systems
Three Small Universal Turing Machines
Computational Completeness of P Systems with Active Membranes and Two Polarizations
Nonterminal Complexity of Programmed Grammars
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
The Turing Closure of an Archimedean Field
Copying quantum computer makes NP-complete problems tractable
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
Machines, Computations, and Universality - 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Control Mechanisms for Array Grammars on Cayley Grids
Machines, Computations, and Universality - 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings
Sequential Grammars with Activation and Blocking of Rules
An Intrinsically Universal Family of Causal Graph Dynamics
Using Approximation to Relate Computational Classes over the Reals
On the Complexity of Universal Programs
Universality, Reducibility, and Completeness
More on Morphisms and Almost-Periodicity
A Smallest Five-State Solution to the Firing Squad Synchronization Problem
Several New Generalized Linear- and Optimum-Time Synchronization Algorithms for Two-Dimensional Rectangular Arrays
Ordering and Convex Polyominoes
Sequential P Systems with Unit Rules and Energy Assigned to Membranes
JC-Nets
Four Small Universal Turing Machines
Complexity of Local, Global and Universality Properties in Finite Dynamical Systems
A Characterization of NP Within Interval-Valued Computing
Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries
The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems
On Computational Universality in Language Equations
Insertion-Deletion Systems with One-Sided Contexts
A Universal Reversible Turing Machine
A Simple Universal Logic Element and Cellular Automata for Reversible Computing
Tight Bounds for Cut-Operations on Deterministic Finite Automata
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations
A Direct Construction of a Universal Extended H System
Reversible Limited Automata
A Theory of Complexity for Continuous Time Dynamics
Encapsulating Reaction-Diffusion Computers
Decidability Problems for Self-induced Systems Generated by a Substitution
Two Normal Forms for Rewriting P Systems
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts
Evolution and Observation: A Non-standard Way to Accept Formal Languages
Universal Polynomials
The Generative Power of d -Dimensional #-Context-Free Array Grammars
About the Universality of the Billiard ball model
Complete Formal Systems for Equivalence Problems
More on the Size of Higman-Haines Sets: Effective Constructions
A Simple P-Complete Problem and Its Representations by Language Equations
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)
A Framework for (De)composing with Boolean Automata Networks
From Networks of Reaction Systems to Communicating Reaction Systems and Back
Using DNA to solve the Bounded Post Correspondence Problem
A deisgn of cellular algorithms for 1-bit inter-call communications and related cellular algorithms
DNA Computing Based on Splicing: Universality Results
From Petri Nets to Virus Machines
Leaf Language Classes
Real Recursive Functions and Real Extensions of Recursive Functions
Towards a Theory of Recursive Structures
Closure Properties of Subregular Languages Under Operations
Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata
On the Powers of the Collatz Function
Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case
Nine Test Tubes Generate any RE Language
Changing the Neighborhood of Cellular Automata
Prescribed Teams of Rules Working on Several Objects
From Finite Automata to Fractal Automata - The Power of Recursion
Foldede and Immersed Cellular Automata
On the Minimal Automaton of the Shuffle of Words and Araucarias
Frontier between decidability and undecidability: a survey
A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality
Intractability of Decision Problems for Finite-Memory Automata
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields
Completing a Code in a Regular Submonoid of the Free Monoid
Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings
Computational Universality and Efficiency in Morphogenetic Systems
On the Computational Power of a Continuous-Space Optical Model of Computation
Complexity of Infinite Words
On the Entanglement and Mixedness of Quantum Boolean Function Circuits
P Systems with Membrane Creation: Universality and Efficiency
Register Complexity of LOOP-, WHILE-, and GOTO-Programs
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States
Planar Trivalent Network Computation
The Tiling Problem Revisited (Extended Abstract)
Universal Families of Reversible P Systems
P Systems with Evolutional Communication and Separation Rules
Computation in Gene Networks
Accepting Networks of Splicing Processors with Filtered Connections
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints
Universality in Infinite Petri Nets
An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines
Physical Computation and First-Order Logic
A Survey on Computationally Complete Accepting and Generating Networks of Evolutionary Processors
Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings
Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings
Real-time generation of primes by a one-dimensional cellular automaton with 9-states
Adaptive Experiments for State Identification in Finite State Machines with Timeouts
On the Computational Capabilities of Several Models
Power, Puzzles and Properties of Entanglement
On Switching Finite State Automata
The Language (and Series) of Hammersley-Type Processes
Universality and Cellular Automata
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors
P Systems and Picture Languages
Small Semi-weakly Universal Turing Machines
Computing with a Distributed Reaction-Diffusion Model
PSPACE-Completeness of Reversible Deterministic Systems
Uniform Solution of
Speeding-Up Cellular Automata by Alternations
Slightly Beyond Turing's Computability for Studying Genetic Programming
The Computational Power of Continuous Dynamic Systems
A Survey of Infinite Time Turing Machines
Tinput-Driven Pushdown Automata
Decision Versus Evaluation in Algebraic Complexity
Is Bosco's Rule Universal?
Satisfiability Parsimoniously Reduces to the Tantrix TM Rotation Puzzle Problem
Some Applications of the Decidability of DPDA's Equivalence
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics
Solving 3CNF-SAT and HPP in Linear Time Using WWW
Succinct Star-Controlled Insertion-Deletion Systems Using Space Separating Normal Forms
On the Power of Networks of Evolutionary Processors
International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedingsi, Volume II
Computational Universality in Symbolic Dynamical Systems
A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems
Universality of Turing Tumble of Finite Size
On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets
The Separation Theorem for the Relation Classes Associated to the Extended Grzegorczyk Classes
Dynamical universal computation in excitable lattices
Languages of Distributed Reaction Systems
Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Attacking the Common Algorithmic Problem by Recognizer P Systems
Combinatorial and Computational Problems on Finite Sets of Words
Minimal Useful Size of Counters for (Real-Time) Multicounter Automata
On the notion of algorithmic decidability
Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4 n -Steps Solution
Finite Sets of Words and Computing
Recursive and Recursively Enumerable Closed Subsets of Euclidean Space
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages
D0L System + Watson-Crick Complementarity = Universal Computation
Classification and Universality of Reversible Logic Elements with One-Bit Memory
Algorithmic Randomness, Quantum Physics, and Incompleteness
On the Power of Small Watson-Crick Automata and Variants of String Assembling Systems
Computing with Membranes (P Systems): Universality Results
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks
Study of Limits of Solvability in Tag Systems
Hierarchies of DLOGTIME-Uniform Circuits
Abstract Geometrical Computation for Black Hole Computation
On the Transition Graphs of Turing Machines
Query Completeness of Skolem Machine Computations
The Effect of Threat and Proximity on Cyber-Rumor Sharing
Attribute-Based Access Control Policy Review in Permissioned Blockchain
Toward Relationship Based Access Control for Secure Sharing of Structured Cyber Threat Intelligence
Indian New Currency Denomination Identification System with Audio Feedback Using Convolution Neural Networks for Visually Challenged and Elderly People
Secure Knowledge Management In The Artificial Intelligence Era - 9th International Conference, SKM 2021, San Antonio, TX, USA, October 8-9, 2021, Proceedings
Secure and Energy-Efficient Key-Agreement Protocol for Multi-server Architecture
A Survey on Ransomware Detection Techniques
Deep Reinforcement Learning for Cybersecurity Threat Detection and Protection: A Review
Dealing with Complexity for Immune-Inspired Anomaly Detection in Cyber Physical Systems
A Formal Specification of Access Control in Android
Learning Password Modification Patterns with Recurrent Neural Networks
Metacognitive Skills in Phishing Email Detection: A Study of Calibration and Resolution
Securing Trust in Online Social Networks
DyPolDroid: Protecting Users and Organizations from Permission-Abuse Attacks in Android
An Investigation of Misinformation Harms Related to Social Media During Humanitarian Crises
Secure Knowledge Management In Artificial Intelligence Era - 8th International Conference, SKM 2019, Goa, India, December 21-22, 2019, Proceedings
UnderTracker: Binary Hardening Through Execution Flow Verification
Analyzing CNN Models' Sensitivity to the Ordering of Non-natural Data
Adversarial Robustness of Image Based Android Malware Detection Models
On the Feasibility of RBAC to ABAC Policy Mining: A Formal Analysis
Security Analysis of Unified Access Control Policies
A Framework for Syntactic and Semantic Quality Evaluation of Ontologies
RQ Labs: A Cybersecurity Workforce Talent Program Design
Do Fake News Between Different Languages Talk Alike? A Case Study of COVID-19 Related Fake News
Decepticon: A Hidden Markov Model Approach to Counter Advanced Persistent Threats
Automating Moral Reasoning (Invited Paper)
Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces (Invited Paper)
International Research School in Artificial Intelligence in Bergen, AIB 2022, University of Bergen, Norway, June 7-11, 2022
Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches (Invited Paper)
Knowledge Graphs: A Guided Tour (Invited Paper)
Combining Embeddings and Rules for Fact Prediction (Invited Paper)
Reasoning in Knowledge Graphs (Invited Paper)
The Effect of Unwanted Internet Traffic on Cellular Phone Energy Consumption
A Hybrid Stateless QoS Approach for Wireless Mobile Ad hoc Networks
Framework for Embedding Tacit Knowledge in Pedagogical Model to Enhance E-Learning
On the Reliability of Wireless Virtual Reality at Terahertz (THz) Frequencies
Agent-Based Approach to Plan Sensors Relocation in a Virtual Geographic Environment
Wireless Vital Signal Tracking for Drivers Using Micro-Doppler Seatback Radar
Wireless sensor device hardware architecture - Design and analysis for high availability
Implementation of the fully homomorphic encryption scheme over integers with shorter keys
Cooperative Mobility Management in Multihomed End-to-End Communications
Biometric Private Embeddings
Energy Cost of Mitigating Physical Attacks in Wireless Sensor Networks
Policy-Controlled Signature from NTRU Lattice
Security Aspects of Policy Controlled Cognitive Radio
A Taxonomy of Wireless Sensor Networks with QoS
Advancing Intrusion Detection: A Deep Analysis of Anomalies and Network Protocol Vulnerabilities
State of Host-Centric Multihoming in IP Networks
A Factorial Space for a System-Based Detection of Botcloud Activity
Mobility Impact on DSR-Based Power-Aware Ad hoc Routing Protocol
Demand Side Management in Smart Grids: A Stackelberg Multi Period Multi Provider Game
Dethroning Transport Layer Security in the Embedded World
Self-Timed Physically Unclonable Functions
Performance Study of Node Placement for Congestion Control in Wireless Sensor Networks
Serverless lightweight mutual authentication protocol for small mobile computing devices
Towards Scalability for Federated Identity Systems for Cloud-Based Environments
IRTIV: Intelligent Routing Protocol Using Real Time Traffic Information in Urban Vehicular Environment
Hybrid Indoor Positioning Approaches Based on WSN and RFID
An hybrid platform for remote health monitoring: From concept to deployment
Mobility Simulation for the Evaluation of UMTS Power Control Algorithms
Performance Evaluation of Storage-Independent Model for SPARQL-to-SQL Translation Algorithms
A comparison analysis of trust-adaptive approaches to deliver signed public keys in P2P systems
3DPBARP: A three dimensions position based adaptive real-time routing protocol for wireless sensor networks
Enhanced Fractional Frequency Reuse to Increase Capacity of OFDMA Systems
Mobility Support and Improving GPSR Routing Approach in Vehicular Ad Hoc Networks
Measurement Based Call Admission Control (CAC) to Improve QoS for IEEE 802.11E WLAN
Optimal Power Allocation in Two-Tier MIMO Cognitive Femtocell Radio Networks
A Markov Process for Dynamic Spectrum Access
Revisiting Atomic Patterns for Elliptic Curve Scalar Multiplication Revealing Inherent Vulnerability to Simple SCA
Introducing Innovative Bare Metal Crypto Terminal for Blockchains and BigBang Paradigm
Demystifying Link Congestion in 4G-LTE Backhaul Using OpenFlow
Interactions Between Agents As Shared Resources in Multi-Agents Systems
Impact of Duty Cycle Variation on WSNs