yusuke1997/dblp-id-title huggingface dataset:
Expressing Workflow Patterns for Web Services: The Case of PEWS
Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension
The ShanghAI Lectures: A Global Education Project on Artificial Intelligence
Foundations and Practices of Unified Modeling Language
Building an integrated requirements engineering process based on Intelligent Systems and Semantic Reasoning on the basis of a systematic analysis of existing proposals
NASDAQ Velocity and Forces: An Interactive Visualization of Activity and Change
Efficient Approximate Reliability Evaluation Using the Markovian Minimal Cut Approach
One Computer per Student City - Total UCA An All Inclusive Totality under Discussion
GerIE - An Open Information Extraction System for the German Language
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
Integrating Biomedical Sensor Data into a Simulation Learning Environment for Children Newly Diagnosed with Diabetes
Managing Security and its Maturity in Small and Medium-sized Enterprises
Analysis of Mobile Service Usage Behaviour with Bayesian Belief Networks
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
Lessons Learned Using a Virtual World to Support Collaborative Learning in the Classroom
A Method for Privacy-preserving Collaborative Filtering Recommendations
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
Case Study of Spatial Pattern Description, Identification and Application Methodology
Free Space Modeling for Placing Rectangles without Overlapping
Using Recommendation to Improve Negotiations in Agent-based Systems
A Novel Hybrid Ensemble Clustering Technique for Student Performance Prediction
An Improved SVM Based on Similarity Metric
A First Step Mapping IMS Learning Design and Moodle
Leveraging Structural and Semantic Measures for JSON Document Clustering
An Adaptation Logic Framework for Java-based Component Systems
LemmaGen: Multilingual Lemmatisation with Induced Ripple-Down Rules
Determination of Secondary School Students' Attitudes towards Tablet PC Supported Education
On Combining the Knowledge of Heterogeneous Information Repositories
A Representation Theorem for Monadic Pavelka Algebras
IoT Implementation in Remote Measuring Laboratory VMLab Analyses
A Study of the Impact of Global Software Development in Packaged Software Release Planning
Using SWET-QUM to Compare the Quality in Use of Semantic Web Exploration Tools
The kth-Order Nonhomomorphicity of S-Boxes
Introducing a Collaborative Tool Supporting a Learning Activity Involving Creativity with Rotation of Group Members
A Transparent and Ecologically Sustainable DLT-based Approach for Tendering Processes
The Implementation, Deployment and Evaluation of a Mobile Personal Learning Environment
An Overview of Current Information Systems Security Challenges and Innovations
Time Costs in Actor Computations
Integrating Lite-Weight but Ubiquitous Data Mining into GUI Operating Systems
LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning
Action Vectors: Modeling Spatial Relations between Objects and Routes
An Algorithm for Peer Review Matching in Massive Courses for Minimising Students' Frustration
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
J.UCS Special Issue on Formal Languages and Automata
Constraint Agents for the Information Age
ASM Refinement Preserving Invariants
Leveraging Non-explicit Social Communities for Learning Analytics in Mobile Remote Laboratories
Evaluating Trigger Conditions on Streaming Time Series with User-given Quality Requirements
Modelling and Linking Accessibility Data in the Public Bus Network
Modeling and Performance Evaluation of a Contract-based Electronic Signature Process
Mapping and Integrating Security and Risk Standards: a Systematic Literature Review
Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty
A Lightweight and Extensible AspectJ Implementation
Extending Mobile Cloud Platforms Using Opportunistic Networks: Survey, Classification and Open Issues
Abstract Representation of Object and Structural Symmetries Detection
A Semantically Enhanced Service Discovery for MANET
Asynchronous Remote Method Invocation in Java
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
Nondeterministic Admissible Interference
SOMSteg - Framework for Covert Channel, and its Detection, within HTTP
A Relational Approach to Model Transformation with QVT Relations Supporting Model Synchronization
A New Short-term Power Load Forecasting Model Based on Chaotic Time Series and SVM
Kraft-Chaitin Inequality Revisited
Authoring Social-aware Tasks on Active Spaces
Focus of Attention in Reinforcement Learning
Performance Modeling of Proxy Cache Servers
Color Ultrasound Image Watermarking Scheme Using FRT and Hessenberg Decomposition for Telemedicine Applications
Simply Normal Numbers to Different Bases
Feature Selection for the Classification of Large Document Collections
Solving a Large Real-world Bus Driver Scheduling Problem with a Multi-assignment based Heuristic Algorithm
On Direct Interval Arithmetic and its Applications
Advanced Research on Software Security Design and Applications
Understanding Online Social Networking Services
Usage-Centered Interface Design for Knowledge Management Software
Feature Based Sentiment Analysis for Service Reviews
Seamless Transition between Connected and Disconnected Collaborative Interaction
An Empirical Study on Human and Information Technology Aspects in Collaborative Enterprise Networks
CIMLA: A Modular and Modifiable Data Preparation, Organization, and Fusion Infrastructure to Partially Support the Development of Context-aware MMLA Solutions
Multi-Search Strategy-based Improved Water Flow Optimizer Algorithm for Cluster Analysis
Cancer Classification by Gene Subset Selection from Microarray Dataset
Supporting Mobile Users in Selecting Target Devices
Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions
Towards more trustworthy predictions: A hybrid evidential movie recommender system
Quality of Experience in Communications Ecosystem
An Integrated Approach of Software Development and Test Processes to Distributed Teams
Signals and Comonads
J.UCS Special Issue on Formal Specifications of Computer-Based Systems
Pascal Subroutines for Solving Some problems in Interval LP
The Bit-Complexity of Finding Nearly Optimal Quadrature Rules for Weighted Integration
On the Semantics and Verification of Normative Multi-Agent Systems
Uncertainty Handling in Genetic Risk Assessment and Counseling
Helping Teachers Align Learning Objectives and Evidence: Integration of ePortfolios in Distributed Learning Environments
Two complementary tools for the cooperation in a ministerial environment
Hierarchical Graph-Grammar Model for Secure and Efficient Handwritten Signatures Classification
Cooperative Swarm Intelligence Algorithms for Adaptive Multilevel Thresholding Segmentation of COVID-19 CT-Scan Images
Etiquette, Empathy and Trust in Communities of Practice: Stepping-Stones to Social Capital
Online Detecting and Predicting Special Patterns over Financial Data Streams
A Novel Type of Skeleton for Polygons
Undersampling Instance Selection for Hybrid and Incomplete Imbalanced Data
(De-)Constructing Attacker Categorisations: A Typology Iteration for the Case of Digital Banking
Disassemble Byte Sequence Using Graph Attention Network
A Framework for the Comparison of Best Practice Recommendations and Legal Requirements for South African Banks
Strong Mobility in Mobile Haskell
An Enhanced Testing Approach for Mobile Applications
Developing Scenario-based Serious Games for Complex Cognitive Skills Acquisition: Design, Development and Evaluation of the EMERGO Platform
Reasoning about Nonblocking Concurrency
Adaptive Group Key Management Protocol for Wireless Communications
Afaneen: The Design and Evaluation of an Interactive Mobile Game to Enhance Arabic Spelling
A preference-based daily meal recommendation framework for patients with diabetes
Ontoolcole: Supporting Educators in the Semantic Search of CSCL Tools
mHaskell: Mobile Computation in a Purely Functional Language
Security Reference Architecture for Cyber-Physical Systems (CPS)
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric
Air-Pollution Prediction in Smart Cities through Machine Learning Methods: A Case of Study in Murcia, Spain
Sensor-based room inhabitance monitoring using robust ML models compatible with large datasets / real-time datastreams
Product Presentation Strategy for Online Customers
Verification of CRWL Programs with Rewriting Logic
Using PDAs in Meetings: Patterns, Architecture and Components
XGBoost Classifier-Based Model to Predict the Nature of Gender-Based Violence. Case Study: Santander, Colombia
Application of the FOREST Approach to the Light Control Case Study
Exploiting TTPs to Design an Extensible and Explainable Malware Detection System
Towards a Semantic Graph-based Recommender System. A Case Study of Cultural Heritage
Web Search Results Exploration via Cluster-Based Viewes and Zoom-Based Navigation
PsiLight: a Lightweight Programming Language to Explore Multiple Program Execution and Data-binding in a Web-Client DSL Evaluation Engine
Evaluating Linear XPath Expressions by Pattern-Matching Automata
Constructing Programs or Processes
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
Using Content to Identify Overlapping Communities in Question Answer Forums
Modeling Sequences within the RelView System
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
MulseOnto: a Reference Ontology to Support the Design of Mulsemedia Systems
Isometries and Computability Structures
Virtual Environments for Collaborative Innovation and Learning
Some Reflections about Service Oriented Architectures, Cloud Computing Applications, Services and Interoperability
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Breadth First Search Graph Partitions and Concept Lattices
An LALR Parser Generator Supporting Conflict Resolution
Parameterized and Dynamic Generation of an Infinite Virtual Terrain with Various Biomes using Extended Voronoi Diagram
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata
High-level Structured Interactive Programs with Registers and Voices
Enabling User Access Control in Energy-constrained Wireless Smart Environments
Quality of Privacy (QoP) for the Design of Ubiquitous Healthcare Applications
Applications of MIRACLE: Working With Dynamic Visual Information
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
Systems Engineering: A New Approach to Complex IT-based Technological Systems in Engineering Education
Research on Computational Intelligence in Medical Resource Allocation Based on Mass Customization
Coordinating Behavioral Descriptions of Components
Matrices and alpha-Stable Bipartite Graphs
Applying Professional Solutions within the Educational Environments by Means of Cloud Computing: Coaching for Teachers
Decision Strategies for a P2P Computing System
Data Security and Privacy Protection in Pervasive Computing Environments
Communicating and Learning in "Virtual Seminars": The Uses of Spatial Metaphors in Interface Design
Using an Evolving Thematic Clustering in a Text Segmentation Process
A Semi-Supervised Ensemble Learning Method for Finding Discriminative Motifs and its Application
Aspect Weaving Strategies
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Constructive Suprema
Aligning Security and Privacy to Support the Development of Secure Information Systems
Fine-computable Functions on the Unit Square and their Integral
Spectral Densest Subgraph and Independence Number of a Graph
The Constrained Shortest Path Problem: A Case Study in Using ASMs
On Two Aspects of Improving Web-Based Training
Developing a Secure Mobile Grid System through a UML Extension
Evaluating and Improving WWW-Aided Instruction
Negotiating the Construction and Reconstruction of Organisational Memories
Visualization and Manipulation of Incomplete and Uncertain Dependencies by Decision Diagrams
A Signal Correlation Guided Circuit-SAT Solver
Adaptive Services for the Future Internet
Investigating Collaborative Innovation in a Virtual World Task
LCP-Nets: A Linguistic Approach for Non-functional Preferences in a Semantic SOA Environment
The Effects of Platforms and Languages on the Memory Footprint of the Executable Program: A Memory Forensic Approach
Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
Information Integration on Web-based Applications and Services
Enhancing EEG-based emotion recognition using PSD-Grouped Deep Echo State Network
A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals
A QoS Perspective on Exception Diagnosis in Service-Oriented Computing
Data-driven Storytelling to Support Decision Making in Crisis Settings: A Case Study
The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation
A new approach to identify dropout learners based on their performance-based behavior
A Tool for Managing Domain Knowledge and Helping Tutors in Intelligent Tutoring Systems
Design Choices Underlying the Software as a Service (SaaS) Business Model from the User Perspective: Exploring the Fourth Wave of Outsourcing
Advances and Challenges for Model and Data Engineering
The Application of Pattern Repositories for Sharing PLE Practices in Networked Communities
On the Role of the Librarian Agent in Ontology-based Knowledge Management Systems
A Linear Time Approximation Algorithm for Ruler Folding Problem
Invariance Properties of Random Sequences
Further Advances in Document Engineering
Type Specification by Regular Expressions
The Message-Minimizing Load Redistribution Problem
Scrum Watch: a tool for monitoring the performance of Scrum-based work teams
The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs
Achieving Atomicity for Web Services Using Commutativity of Actions
A Resolving Set based Algorithm for Fault Identification in Wireless Mesh Networks
Reversible Karatsuba's Algorithm
Collaboration and Learning Styles in Pure Online Courses: an Action Research
Theory and Application of Bio-inspired Intelligence and Methods
SCBS Social Capital Benchmarking System - Profiting from Social Capital when Building Network Organisations
Reversibility in Parallel Rewriting Systems
From Contents to Activities: Modelling Units of Learning
Government, Cryptography, and the Right to Privacy
Advances in Spatial and Temporal Reasoning
An Enhanced Process of Concept Alignment for Dealing with Overweight and Obesity
Development and Evaluation of a Software Product Line for M-Learning Applications
A Study on Developing a Scale for Determining the Educational Usage of Mobile Communication Apps
Software for a Multimedia Encyclopedia
Professional Electronic Publishing in Hyper-G: The Next Generation Publishing Solution on the Web
LuaTS - A Reactive Event-Driven Tuple Space
CrossMDA: a Model-driven Approach for Aspect Management
Human Mobility Prediction with Region-based Flows and Road Traffic Data
A Late Acceptance Hyper-Heuristic Approach for the Optimization Problem of Distributing Pilgrims over Mina Tents
An Agent-based Architecture for Developing Activity-Aware Systems for Assisting Elderly
What Should I Code Now?
Learning Behavior Analysis to Identify Learner's Learning Style based on Machine Learning Techniques
Simulating H Systems by P Systems
Usage-based Object Similarity
Usability Evaluation of a Visual Modelling Tool for OWL Ontologies
MetaJ: An Extensible Environment for Metaprogramming in Java
Skill Assessment in Problem Solving and Simulated Learning Environments
Codifiable Languages and the Parikh Matrix Mapping
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence
Wonders of the Invisible Workplace: IT and Process Reinvention
Metamodeling the Structure and Interaction Behavior of Cooperative Component-based User Interfaces
Rule of Law on the Go: New Developments of Mobile Governance
OBLEA: A New Methodology to Optimise Bluetooth Low Energy Anchors in Multi-occupancy Location Systems
The Role of a Mobile App for Listening Comprehension Training in Distance Learning to Sustain Student Motivation
Remarks on Propagating Partition-Limited ETOL Systems
A Modular Rewriting Semantics for CML
Imagesemantics: User-Generated Metadata, Content Based Retrieval & Beyond
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
Certificateless Aggregate Signatures: A Comprehensive Survey and Comparative Analysis
Massive Open Online Courses: Combining Methodologies and Architecture for a Success Learning
Estimation of Round-Off Errors on Several Computer Architectures
PICTAC: A Model for Perceiving Touch Interaction through Tagging Context
The Tourist in the Shopping Arcade
Passive Estimation of Quality of Experience
Success and Failure Factors for KM: The Utilization of Knowledge in the Swedish Armed Forces
A User-Aware Approach to Provide Adaptive Web Services
A Mobile Intelligent Interruption Management System
Hybrid Classification Model for Emotion Prediction from EEG Signals: A Comparative Study
Mining Feature-Opinion in Online Customer Reviews for Opinion Summarization
On algebraicness of D0L power series
Software Engineering Education and Games: A Systematic Literature Review
A New Performance Metric to Evaluate Filter Feature Selection Methods in Text Classification
Applying Competence Prerequisite Structures for eLearning and Skill Management
Some Algorithms Providing Rigorous Bounds for the Eigenvalue of a Matrix
X-Global: a System for the "Almost Automatic" and Semantic Integration of XML Sources at Various Flexibility Levels
Computational Intelligence Tools for Processing Collective Data
NirMACNet: A Novel Multi-Scale Adaptive Convolutional Network for NIR Spectroscopy
WebA: A Tool for the Assistance in Design and Evaluation of Websites
Knowledge Management Initiatives in Offshore Software Development: Vendors' Perspectives
EMI 2 lets: A Reflective Framework for Enabling AmI
Water stress classification using Convolutional Deep Neural Networks
Synthesis of Optimal Workflow Structure
Applications of Mash-ups for a Digital Journal
Cybersecurity Threat Analysis, Risk Assessment and Design Patterns for Automotive Networked Embedded Systems: A Case Study
Online Mining Changes of Items over Continuous Append-only and Dynamic Data Streams
Adaptive Binarization of Unconstrained Hand-Held Camera-Captured Document Images
Weather Station IoT Educational Model Using Cloud Services
Shuffle Decomposition of Regular Languages
Processing Camera-Based Documents
Agent Platform for Wireless Sensor Network with Support for Cryptographic Protocols
Efficient k-out-of-n Oblivious Transfer Schemes
Videogame development training approach: A Virtual Reality and open-source perspective
Web-based Environment for Learning Discrete Event Simulation
J.UCS Special Issue on Spatial and Temporal Reasoning
ARLearn: Augmented Reality Meets Augmented Virtuality
How is e-Government Progressing? A Data Driven Approach to E-government Monitoring
Computability of the Spectrum of Self-Adjoint Operators
Japlo: Rule-based Programming on Java
Causality Join Query Processing for Data Streams via a Spatiotemporal Sliding Window
DIE: A Domain Specific Aspect Language for IDE Events
A Debugging System Based on Natural Semantics
Harmonizing IoT-Architectures with Advanced Security Features - A Survey and Case Study
Tiling the Hyperbolic Plane with a Single Pentagonal Tile
An Efficient Workload-balancing Algorithm for a Parallel Environment Using Hybrid Spatio-temporal Indexes
An Introduction To Polypodic Structures
Finding a Consistent Scenario to an Interval Algebra Network Containing Possibly Infinite Intervals
A Personalized URL Re-ranking Method using Psychological User Browsing Characteristics
Efficient Privacy-Preserving Remote Data Possession Checking Protocol for Critical Information Infrastructure
The Price of Routing in FPGAs
Developing a Web-Based Question-Driven Audience Response System Supporting BYOD
Designing Collaborative User Interfaces for Ubiquitous Applications Using CIAM: The AULA Case Study
Sliding Window Protocol for Secure Group Communication in Ad-Hoc Networks
Cloud Interoperability Service Architecture for Education Environments
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization
Beating Social Pulse: Understanding Information Propagation via Online Social Tagging Systems
Collaborative Technologies and Data Science in Smart City Applications
Realising the Potential of Web 2.0 for Collaborative Learning Using Affordances
Opening Learning Management Systems to Personal Learning Environments
On the Construction of Efficiently Navigable Tag Clouds Using Knowledge from Structured Web Content
The Effect of Infographics in Mobile Learning: Case Study in Primary School
Perceptual Learning Modules (PLM) in CS1: a Negative Result and a Methodological Warning
A Constructive Approach to Sylvester's Conjecture
The effect of mobile and information technologies on the language development design of preschool children: a meta-analysis and meta-synthesis study
Authoring of Adaptive and Adaptable Hypermedia
A Message-Optimal Distributed Graph Algorithm: Partial Precedence Constrained Scheduling
MediaPipe with GNN for Human Activity Recognition
Recent Advances in Cybersecurity and Safety Architectures in Automotive, IT, and Connected Services
LCF: A Lexicagraphic Binary representation of the Rationals
Combining Classifiers in the ROC-space for Off-line Signature Verification
A Maturity Model for Digital Business Ecosystems from an IT Perspective
Developing Adaptive J2ME Applications Using AspectJ
Automated Formal Methods Enter the Mainstream
Convolutional Neural Networks and Transfer Learning Based Classification of Natural Landscape Images
Simulating and Predicting Students' Academic Performance Using a New Approach based on STEAM Education
Linking User Online Behavior across Domains with Internet Traffic
Ontology and Weighted D-S Evidence Theory-Based Vulnerability Data Fusion Method
Behavioral Institutions and Refinements in Generalized Hidden Logics
A Bot Spooler Architecture to Integrate Virtual Worlds with E-learning Management Systems for Corporate Training
Identifying Employee Competencies in Dynamic Work Domains: Methodological Considerations and a Case Study
Communities of Practice: An Integrated Technology Perspective
Community Detection Applied on Big Linked Data
Analysis, Design, and Performance Evaluation of MS-RTCP: More Scalable Scheme for the Real-Time Control Protocol
A Generic NP-hardness Proof for a Variant of Graph Coloring
DWCMM: The Data Warehouse Capability Maturity Model
From a Solution Model to a B Model for Verification of Safety Properties
An Inquiry into the Utilization of Behavior of Users in Personalized Web
A Descriptive and Predictive Model for Data-Driven Decision Making in Higher Education: A Case Study
Performance Evaluation of Snort under Windows 7 and Windows Server 2008
IoT Heating Solution for Smart Home with Fuzzy Control
Application Scenarios for the Learning Objects Pool
Human Language Technologies: Key Issues for Representing Knowledge from Textual Information
Integrating Educational Tools for Collaborative Computer Programming Learning
An Improved Cloud Data Sharing Scheme with Hierarchical Attribute Structure
Issues Related to Distributed Processing of Picture Languages
A Framework towards Educational Scalability of Open Online Courses
Synthetic Fracterm Calculus
The Edge-flipping Distance of Triangulations