yusuke1997/dblp-id-title huggingface dataset:
On the Development and Usability of a Diagram-based Collaborative Brainstorming Component
A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions
Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography
Learner Course Recommendation in e-Learning Based on Swarm Intelligence
Perturbation Simulations of Rounding Errors in the Evaluation of Chebyshev Series
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring
First-Class Functions in an Imperative World
Comparing Learning in Virtual Reality with Learning on a 2D Screen Using Electrostatics Activities
A Semantic based Platform for Research and Development Projects Management in the ICT Domain
Testing Website Usability in Spanish-Speaking Academia through Heuristic Evaluation and Cognitive Walkthroughs
Automatic Synchronization between Local and Remote Video Persons in Dining Improves Conversation
A Systematic Review of Research about Game-based Learning in Virtual Worlds
Breakthroughs and Challenges in Software Engineering
A New Information-Theoretical Distance Measure for Evaluating Community Detection Algorithms
On the Use of a Reflective Architecture to Augment Database Management Systems
Glimpses into the Future of Computer Science Education
Understanding the Growth by KILT Model and TYPUS Metrics
The Verification Grand Challenge
Platform Modeling and Model Transformations for Analysis
A Knowledge Infrastructure Hierarchy Model for Call-Centre Processes
Wait-Freedom vs. Bounded-Freedom in Public Data Structures
A Workflow Language for Web Automation
Sentiment Analysis of Code-Mixed Text: A Comprehensive Review
A New Identification Scheme based on Syndrome Decoding Problem with Provable Security against Quantum Adversaries
Hybrid and Ensemble Methods in Machine Learning
Compression of Silhouette-like Images based on WFA
Quo Vadis Abstract State Machines?
A Note on Complexity Measures for Probabilistic P Systems
diffReplication - An Energy-Aware Fault Tolerance Model for Silent Error Detection and Mitigation in Heterogeneous Extreme-scale Computing Environment
Extending the Methods for Computing the Importance of Entity Types in Large Conceptual Schemas
A Modular System for Rapid Development of Telemedical Devices
Constructor-based Logics
Managing User Focused Access to Distributed Knowledge
Applying RFD to Construct Optimal Quality-Investment Trees
Precise Performance Characterization of Antivirus on the File System Operations
An Approach for Feature Modeling of Context-Aware Software Product Line
The Synthesis of LSE Classifiers: From Representation to Evaluation
A Security Real-time Privacy Amplification Scheme in QKD System
On Second Generation Hypermedia Systems
DSGD++: Reducing Uncertainty and Training Time in the DSGD Classifier through a Mass Assignment Function Initialization Technique
Design-Oriented Pedagogy for Technology-Enhanced Learning to Cross Over the Borders between Formal and Informal Environments
An Evaluation of Targeting Accuracy in Immersive First-Person Shooters Comparing Different Tracking Approaches and Mapping Models
The use of WCAG and automatic tools by computer science students: a case study evaluating MOOC accessibility
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions
Trading Links and Paths on a Communication Bandwidth Market
Statistical Usage Testing at Different Levels of Testing
Information Theoretically Secure Encryption with Almost Free Authentication
Human-Computer Interaction Research and Development Challenges
JUCS Special ASM Issue, Part II - Introduction
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems
Interaction in Massive Courses
CAMMD: Context-Aware Mobile Medical Devices
Capturing and Relating Multilingual Clinical Cases
Interaction and Fusion of Rich Textual Information Network for Document-level Relation Extraction
Integrating Ontologies into the Collaborative Authoring of Learning Objects
The Topology Change Attack: Threat and Impact
An Empirical Investigation of Security Vulnerabilities within Web Applications
Levels of Anonymity
On the Thread Scheduling Problem
Dynamical Control of Computations Using the Trapezoidal and Simpson's Rules
A Java Compiler Plugin for Type-Safe Inferences in Generics
Redundant Relations in Relational Databases: A Model Theoretic Perspective
The Role of Adaptation and Personalisation in Classroom-Based Learning and in e-Learning
Evaluation on Students' and Teachers' Acceptance of Widget- and Cloud-based Personal Learning Environments
Collaborative Computing and Applications
Cost-Sensitive Spam Detection Using Parameters Optimization and Feature Selection
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
A Hammerstein-Wiener Recurrent Neural Network with Frequency-Domain Eigensystem Realization Algorithm for Unknown System Identification
Interactive Learning of Independent Experts' Criteria for Rescue Simulations
Knowledge Management Analysis of the Research & Development & Transference Process at HEROs: a Public University Case
An Intelligent Data Analytics based Model Driven Recommendation System
An Item based Geo-Recommender System Inspired by Artificial Immune Algorithms
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
An Improved FPTAS for Mobile Agent Routing with Time Constraints
From Blended to Inclusive Learning: Accessibility, Profiles, Openness, and Higher Education
Meeting New Challenges in Document Engineering
Model Checking for Abstract State Machines
Introduction To Algorithmic Information Theory
Spline-Fourier Approximations of Discontinuous Waves
Incremental Prototyping Model for the Development of Educational Platforms: a Process of Design and Quality Standards
OntoKaire: an ontology-based reasoning for work-related stressors in industrial settings
FPGA Implementation of Fast Binary Multiplication Based on Customized Basic Cells
A User Controlled Approach for Securing Sensitive Information in Directory Services
Customized Curriculum and Learning Approach Recommendation Techniques in Application of Virtual Reality in Medical Education
Extending an Application-Level Checkpointing Tool to Provide Fault Tolerance Support to OpenMP Applications
A Heuristic Approach for the Automatic Insertion of Checkpoints in Message-Passing Codes
Tools and Stochastic Metrics for Debugging Temporal Behaviour of Real-Time Systems
Effective Integration of Knowledge Management into the Business Starts with a Top-down Knowledge Strategy
Residual Energy-Aware Fuzzy-Based Clustering Algorithm for Underwater Wireless Sensor Networks
The Additional Examination of the Kudo-Mathuria Time-Release Protocol
Social Choice-based Explanations: An Approach to Enhancing Fairness and Consensus Aspects
MONSTR I - Fundamental Issues and the Design of MONSTR
On Predicting Election Results using Twitter and Linked Open Data: The Case of the UK 2010 Election
Towards a Semantic Definition of a Framework to Implement Accessible e-Learning Projects
Hamiltonicity of Topological Grid Graphs
Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics
The Riemann Integral in Weak Systems of Analysis
How to Extract Interesting Information for Identity Verification Process from Spectrograms?
An Open Software Architecture for the Verification of Industrial Controllers
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method
Improving Malaria Detection Using L1 Regularization Neural Network
A Novel LSB Steganography Technique Using Image Segmentation
Adaptive Courseware: A Literature Review
A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems
A Hybrid Subdivision Strategy for Adaptive Integration
An Exploratory Study of Game-based M-learning for Software Project Management
Stacked Dependency Networks for Layout Document Structuring
Restricting the View and Connecting the Dots - Dangers of a Web Search Engine Monopoly
Structural Tendencies in Complex Systems Development and their Implication for Software Systems
Text Line Detection and Segmentation: Uneven Skew Angles and Hill-and-Dale Writing
Automatic Authentication to Cloud-Based Services
Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor
Integration of Decision Trees Using Distance to Centroid and to Decision Boundary
Detecting Bad Smells in AspectJ
Non-verbal Aspects of Collaboration in Virtual Worlds: a CSCW Taxonomy-development Proposal Integrating the Presence Dimension
A Study of Word Bigrams for Pseudo-relevance Feedback in Information Retrieval
A Note on the P-completeness of Deterministic One-way Stack Language
Target Selection in Head-Mounted Display Virtual Reality Environments
Query Order and the Polynomial Hierarchy
An Architecture for a Three-Tier Path-Finder
Knowledge-based Configuration
Flexible Feature Binding with AspectJ-based Idioms
Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games
Ten Years of Historical Development "Bootstrapping" VDMTools®
Computers in Education: New Developments in e-Learning Technology
UNITE: Enhancing Students' Self-efficacy through the Use of a 3D Virtual World
Eduquito: Virtual Environment for Digital Inclusion of People with Special Educational Needs
Software Patents and the Internet
Experiences with Adaptive User and Learning Models in eLearning Systems for Higher Education
Formal Methods Guest Editorial
The Role of Absorptive Capacity in the Usage of a Complex Information System: The Case of the Enterprise Information System
On the Potential of Distance Education in the Age of Information Technology
What we Expect from Digital Libraries
Composition Contracts for Service Interaction
Web 2.0 and Social Networking Services in Municipal Emergency Management: A Study of U.S. Cities
Secure Method for Combining Cryptography with Iris Biometrics
Bayesian Gene Regulatory Network Inference Optimization by means of Genetic Algorithms
Efficient Measure Learning
Structured Parallel Parallel Computation in Structured Documents
Metadata for Recommending Primary and Secondary Level Learning Resources
Tragic Loss or Good Riddance? The Impending Demise of Traditional Scholary Journals
Constant Propagation on Predicated Code
A Comparative Study of Objective Video Quality Assessment Metrics
Transclusions in the 21st Century
Design Considerations for Application Selection and Control in Multi-user Public Displays
A New Detection Method for Distributed Denial-of-Service Attack Traffic based on Statistical Test
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures
Evolutionary Fuzzy System Ensemble Approach to Model Real Estate Market based on Data Stream Exploration
Testing the Human Backdoor: Organizational Response to a Phishing Campaign
Towards a set of metrics for hybrid (quantum/classical) systems maintainability
A Multi-Criteria Food and Restaurant Recommendation System
An Integrated MFFP-tree Algorithm for Mining Global Fuzzy Rules from Distributed Databases
OnionSIP: Preserving Privacy in SIP with Onion Routing
Self-Evolving Petri Nets
Developing a BYOD Scale to Measure the Readiness Level: Validity and Reliability Analyses
Utilizing Debugging Information of Applications in Memory Forensics
Smart healthcare: developing a pattern to predict the stress and anxiety among university students using machine learning technology
Analyzing and Mining Social Networks for Decision Support
Model-Driven Approach to Design User Interfaces for Workflow Information Systems
Automatically Generated CSP Specifications
Plant Leaf Recognition using OSSGabor filter and Vision Transformer
Recommending Open Linked Data in Creativity Sessions using Web Portals with Collaborative Real Time Environment
Looking towards the Future of Language Assessment: Usability of Tablet PCs in Language Testing
Proof Assistant Based on Didactic Considerations
Parameter Estimation of the Cauchy Distribution in Information Theory Approach
Color Image Restoration Using Neural Network Model
ICTs, Mobile Learning and Social Media to Enhance Learning for Attention Difficulties
On Pipelining Sequences of Data-Dependent Loops
Learning to Choose the Best System Configuration in Information Retrieval: the Case of Repeated Queries
Constructive Analysis of Iterated Rational Functions
Cyclical Structure Converter (CSC): a System for Handling the Interaction of Structured and Semi-structured Data Sources
A Domain Ontology in Social Networks for Identifying User Interest for Personalized Recommendations
Pruning-based Identification of Domain Ontologies
Cross Layer Optimization for Data Gathering in Wireless Multimedia Sensor Networks within Expected Network Lifetime
Assessment of Open-Ended Questions using a Multidimensional Approach for the Interaction and Collaboration of Learners in E-Learning Environments
Symbol Ranking Text Compression with Shannon Recodings
Recent Advances in Social Network Analysis, Management and Security
On the Personalization of Personal Networks - Service Provision Based on User Profiles
Delivering Hypertext-based Courseware on the World-Wide-Web
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
From Analog to Digital Television; Strategies to Promote Rapid Adaptation and Awareness
Towards Efficient Locality Aware Parallel Data Stream Processing
Mirroring of Knowledge Practices based on User-defined Patterns
An Adaptable Framework for Ontology-based Content Creation on the Semantic Web
Integration of Similar Evolving Data Sources for Supporting Decision Making Tasks
Use of E-LOTOS in Adding Formality to UML
An Evaluation of the Use of Problem-Based Learning Software By Middle School Students
ASIC Design at Home
Ontology-based Approach to Competence Profile Management
Transfer Learning with EfficientNetV2S for Automatic Face Shape Classification
Meta-Cognitive Tool Development for History Teaching: Investigating how Software Usability Affects Student Achievements
On the Complexity of Some Variations of Sorting by Transpositions
Rough Classification - New Approach and Applications
Semantic Information in Medical Information Systems: Utilization of Text Mining Techniques to Analyze Medical Diagnoses
Co-evolution for Communication: An EHW Approach
An Asynchronous Calculus Based on the Absence of Actions
Selected Papers from the 1st ACIS International Workshop on Self-Assembling Wireless Networks
Gaze-based Interaction for Virtual Environments
An Identity-Based Signcryption on Lattice without Trapdoor
Defining Culture-Bound User Characteristics as a Starting-Point for the Design of Adaptive Learning Systems
Advances in Authoring of Adaptive Web-based Systems
On Second Generation Distributed Component Systems
Visualizing Recommendation Flow on Social Network
Modelling of Automotive Engine Dynamics using Diagonal Recurrent Neural Network
Machine Learning Optimization of Parameters for Noise Estimation
A Compression Algorithm for Managing Digital Elevation Models in Mobile Devices
A Novel Image Super-Resolution Reconstruction Framework Using the AI Technique of Dual Generator Generative Adversarial Network (GAN)
User Context and Personalized Learning: a Federation of Contextualized Attention Metadata
WAIS and Information Retrieval on the Internet
P Systems with Shuffle Operation and Catalytic-Like Rules
Profiling a MALL App for English Oral Practice A Case Study
Spatial Queries in Road Networks Based on PINE
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
Measuring Primary Schools Teachers' Perception of ICT through Self-Efficacy: A Case Study
J.UCS Special Issue on Tools for System Design and Verification - Part 1
The Roles of Video in the Design, Use, and Construction of Interactive Electronic Conference Proceedings
Media Publishing in Distance Teaching
Digital Investigation of IoT Devices in the Criminal Scene
Fast Binarization of Unevenly Illuminated Document Images Based on Background Estimation for Optical Character Recognition Purposes
Compositional Construction and Reasoning Techniques for Software
Implementing Flipped Classroom that Used a Context Aware Mobile Learning System into Learning Process
Countermeasures to Prevent Misbehaviour in VANETs
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services
From Chasqui to Chasqui II: an Evolution in the Conceptualization of Virtual Objects
A Cost-Effective Approach for Procedural Training in Virtual Worlds
Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections
Laboratories as a Service (LaaS): Using Cloud Technologies in the Field of Education
Chaitin Omega Numbers and Strong Reducibilities
On Speculation Control in Simultaneous Multithreaded Processors
Two Experiences in Software Dynamics
MTAC - A Multithreaded VLIW Architecture for PRAM Simulation
Disentangling Denotational Semantics Definitions
Electronic Publishing
The Transformation of the Web: How Emerging Communities Shape the Information we Consume
HOL-Z 2.0: A Proof Environment for Z-Specifications
PlantKViT: A Combination Model of Vision Transformer and KNN for Forest Plants Classification
Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems
Webs, Grids and Knowledge Spaces: Programmes, Projects and Prospects
Twenty-five Years of Journal of Universal Computer Science: A Bibliometric Overview
The Unification and Assessment of Multi-Objective Clustering Results of Categorical Datasets with H-Confidence Metric
Eliminating Redundant Join-Set Computations in Static Single Assignment
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen - J.UCS Special Issue
Using Serious Games for Learning British Sign Language Combining Video, Enhanced Interactivity, and VR Technology
Petri Net Controlled Grammars: the Case of Special Petri Nets
CSCWD Technologies, Applications and Challenges
A Privacy Preserving Message Delivery Protocol Using Identity-Hidden Index in VDTNs
Editorial introduction to J.UCS special issue Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I
Toward an Understanding of the Mediating Role of "Trust" in Mobile Banking Service: An Empirical Test of Indonesia Case
Software Is More Than Code
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
Effectiveness of Cloud Systems and Social Networks in Improving Self-directed Learning Abilities and Developing Positive Seamless Learning Perceptions
Using Generative Artificial Intelligence to Improve User Engagement in Content Marketing
Enterprise Microblogging for Advanced Knowledge Sharing: The References@BT Case Study
Gesturing in the Air: Supporting Full Mobility in Remote Collaboration on Physical Tasks
Using Cloud Services to Develop Learning Scenarios from a Software Engineering Perspective
Link-based Shaping of Hypermedia Webs Assisted by a Neural Agent
Pick & Drag & Drop: Augmented Reality for Multiple File Sharing
Gamification Support for Learning in Spatial Computing Environments
Qos-Security Metrics Based on ITIL and COBIT Standard for Measurement Web Services
Metaprogramming in Cyan
Knowledge Integration as a Source of Competitive Advantage in Large Croatian Enterprises
Generic Process Algebra: A Programming Challenge
Discovering the Semantics of User Keywords
Creation and Evaluation of Fuzzy Knowledge-base
Topological Complexity of Blowup Problems
Efficient Peer-to-Peer Content Sharing for Learning in Virtual Worlds
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
A Proposal for Recommendation of Feature Selection Algorithm based on Data Set Characteristics
Designing Telecollaborative Projects for Professional Communication and User Experience
AI-Based Adaptive Learning: A Systematic Mapping of the Literature
Agile Retrospective Games for Different Team Development Phases
An Agent for Web-based Structured Hypermedia Algorithm Explanation System
Systematic Unit Testing in a Read-eval-print Loop
Integrating Personal Web Data through Semantically Enhanced Web Portal
Web Resource Sense Disambiguation in Web of Data
Chaitin's Toylisp on a Connex Memory Machine
An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem
Obtaining Requirements for Designing a Tool to Support Distributed Development
Instruction Scheduling Based on Subgraph Isomorphism for a High Performance Computer Processor
Text Analysis for Monitoring Personal Information Leakage on Twitter
The Educational Affordances of Widgets and Application Stores
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
On the Interaction of Advices and Raw Types in AspectJ
Security and Privacy Preservation for Mobile E-Learning via Digital Identity Attributes
Why it is Difficult to Introduce e-Learning into Schools And Some New Solutions
Population P Systems
ITS Domain Modelling with Ontology
Authorization Algorithms for Permission-Role Assignments
Exploring Discourse Markers for Automated Argument Mining in Student Essays
Entrainment in the Rate of Utterances in Speech Dialogs between Users and an Auto Response System
Flexible Provisioning Adult Learners
Accessible Lifelong Learning at Higher Education: Outcomes and Lessons Learned at two Different Pilot Sites in the EU4ALL Project
Selecting a Software Elicitation Technique According to Layers of Knowledge and Preciseness: A Case Study
Enhancing Knowledge Graph Construction with Automated Source Evaluation Using Large Language Models
Fostering Knowledge Communication: Concept And Implementation
Stack Filter Design Using a Distributed Parallel Implementation of Genetic Algorithms
Linear and Quadratic Complexity Bounds on the Values of the Positive Roots of Polynomials
Discovering Student Models in e-Learning Systems
Design and Assessment of Adaptive Hypermedia Games for English Acquisition in Preschool
Improving AEH Courses through Log Analysis
Editorial: Fighting Cybersecurity Risks from a Multidisciplinary Perspective
Utilizing Multilingual Language Data in (Nearly) Real Time: The Case of the Nordic Tweet Stream
Control of a Spherical Robot Rolling Over Irregular Surfaces
Discovering Learner Styles in Adaptive e-Learning Hypermedia Systems
Energy Efficient Smartphone-Based Activity Recognition using Fixed-Point Arithmetic
Special Issue on Professional Knowledge Management - Experiences and Visions
Technologies for Enhancing Accessibility and Fighting Info-exclusion
A Product Derivation Tool Based on Model-Driven Techniques and Annotations
Identifying Fuzzy Controllers Parameter by Fuzzy Clustering Technique
Knowledge and Intellectual Capital Management Processes: Grounding Knowledge and Understanding of Organisational Learning
Low Complexity H.264/AVC Intraframe Coding for Wireless Multimedia Sensor Network
Computer-Supported Human Cooperation in Electronic Classrooms
Enhancements of Meeting Information Management and Application for Knowledge Access and Learning Activities
On P Systems with Promoters/Inhibitors
Absolute reconstruction for sums of powers of linear forms: degree 3 and beyond
Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs
On the hardness of approximating the permanent of structured matrices
On Blocky Ranks Of Matrices
Cartesian Graph Factorization at Logarithmic Cost per Edge
Improving 3N Circuit Complexity Lower Bounds
Lifting lower bounds for tree-like proofs
Errata for: "On randomized one-round communication complexity"
Non-Deterministic Exponential Time has Two-Prover Interactive Protocols
Lower Bounds and PIT for Non-commutative Arithmetic Circuits with Restricted Parse Trees
Pseudorandom Generators, Typically-Correct Derandomization, and Circuit Lower Bounds
An Algorithm to Learn Read-Once Threshold Formulas, and Transformations Between Learning Models
Free binary decision diagrams for the computation of EAR n
Extractors for varieties