yusuke1997/dblp-id-title huggingface dataset:
Typology of Service Innovation from Service-Dominant Logic Perspective
ActiveTM - The Factory for Domain-customised Portal Engines
The post-Nonaka Knowledge Management
An OCR Free Method for Word Spotting in Printed Documents: the Evaluation of Different Feature Sets
Markup upon Video - towards Dynamic and Interactive Video Annotations
Multi-Authority Attribute-Based Encryption Scheme from Lattices
Terrorism in the 2015 Election Period in Turkey: Content Analysis of Political Leaders' Social Media Activity
PDE-PEDA: A New Pareto-Based Multi-objective Optimization Algorithm
Organizational Simulation of Complex Process Engineering Projects in the Chemical Industry
Computational Models of Language Evolution: Challenges and Future Perspectives
Mapping the Impact of Social Media and Mobile Internet on Chinese Academia's Performance: A Case on Telemedicine Research 2005-2013
An Object Model for Interoperable Systems
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
Posture Monitoring of Patients in Radiotherapy Scenarios Based on Stacked Grayscale 3-Channel Images
A Web-Decision Support System based on Collaborative Filtering for Academic Orientation. Case Study of the Spanish Secondary School
Connecting Segments for Visual Data Exploration and Interactive Mining of Decision Rules
GADYM - A Novel Genetic Algorithm in Mechanical Design Problems
Semantic-based Approach to Task Assignment of Individual Profiles
Computational Complementarity and Shift Spaces
A Geometrically Enhanced Conceptual Model and Query Language
Evaluation of Agent-based Interactive Systems: Proposal of an Electronic Informer Using Petri Nets
Exploring the Impacts of Social Networking on Brand Image and Purchase Intention in Cyberspace
Multi-Objective Evolutionary Algorithm Based on Decomposition for Energy-aware Scheduling in Heterogeneous Computing Systems
Applications of Neighborhood Sequence in Image Processing and Database Retrieval
Ensuring Termination in ESFP
Designing Secure Data Warehouses by Using MDA and QVT
Scalable Distributed Metadata Server Based on Nonblocking Transactions
Preparing Teachers To Use and Apply Technology: New Models For A New Era
Archive-based Covert Channel in Sensor Streaming Data
On Identification in ZZ 2 Using Translates of Given Patterns
Cloud Services, Interoperability and Analytics within a ROLE-enabled Personal Learning Environment
New Trends in Opinion Mining Technologies in the Industry
Modelling Agents as Observable Sources
New Results of Related-key Attacks on All Py-Family of Stream Ciphers
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach
Detection of Size Modulation Covert Channels Using Countermeasure Variation
UML Support for Designing Software Product Lines: The Package Merge Mechanism
Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices
Integrating Dialog Modeling and Domain Modeling - the Case of Diamodl and the Eclipse Modeling Framework
Pompilos, a Model for Augmenting Health Assistant Applications with Social Media Content
Formalizing Database Recovery
Bilateral Unknown Key-Share Attacks in Key Agreement Protocols
Gyrolayout: A Hyperbolic Level-of-Detail Tree Layout
Insecurity of an Efficient Privacy-preserving Public Auditing Scheme for Cloud Data Storage
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
Graded Sparse Graphs and Matroids
A SWEBOK-based Viewpoint of the Web Engineering Discipline
Approximation to a Behavioral Model for Estimating Traffic Aggregation Scenarios
Learning Decision Trees from Dynamic Data Streams
Understanding Microblog Users for Social Recommendation Based on Social Networks Analysis
A Java Simulator for Membrane Computing
Active Documents: Concept, Implementation and Applications
Genetic-based square jigsaw puzzle solver using the combined color+texture compatibility criterion
From Algebras to Objects: Generation and Composition
Advanced Analysis of Data Streams for Critical Infrastructures Protection and Cybersecurity
An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design
Representing Measurement Results
Drives and Barriers for Development of Broadband Access - CE Perspective
30 years of the Journal of Universal Computer Science: A bibliometric retrospective
A Decoupled Architecture for Scalability in Text Mining Applications
Pose Estimation of Rotating Sensors in the Context of Accurate 3D Scene Modeling
Ideal Homogeneous Access Structures Constructed from Graphs
Ten Years of Gurevich's Abstract State Machines
Persistency of Confluence
A New Alternative for Feature Selection in Coronary Artery Disease Detection
A Proposal to Create Learning Environments in Virtual Worlds Integrating Advanced Educative Resources
Ubiquitous Computing and Ambient Intelligence: New Challenges for Computing
On the Security of a User Equipment Registration Procedure in Femtocell-Enabled Networks
Monotone, Horn and Quadratic Pseudo-Boolean Functions
Extension of CQL over Dynamic Databases
Self-learning Mobile Robot Navigation in Unknown Environment Using Evolutionary Learning
Prospects and Challenges for the Computational Social Sciences
Word Operation Closure and Primitivity of Languages
Informatics in Higher Education
Data Distribution Specification for High Performance Computing
Calculating Exact Diameter Metric of Large Static Graphs
Integrating Tps and Omega
Introducing an Architectural Conformance Process in Continuous Integration
Knowledge on Demand: Knowledge and Expert Discovery
Algorithmic Information Theory: Open Problems
Development of a Software that Supports Multimodal Learning Analytics: A Case Study on Oral Presentations
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform
On the Power of Membrane Computing
On the Simplification of HD0L Power Series
Using Genetic Algorithms to Solve the Motion Planning Problem
Establishing Knowledge Networks via Analysis of Research Abstracts
Refinement and Extension of SMDM, a Method for Defining Valid Measures
Interactive Verification Environments for Object-Oriented Programs
On Formally Correct Implementation of IEEE Computer Arithmetic
Protecting Mobile TV Multimedia Content in DVB/GPRS Heterogeneous Wireless Networks
Bridging Two Hierarchies of Infinite Words
Distributed Load Balancing Algorithms for Heterogeneous Players in Asynchronous Networks
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm
Design and Implementation of the AMCC Self-Timed Microprocessor in FPGAs
Directed Path Based Authentication Scheme for the Internet of Things
SKYWare: The Unavoidable Convergence of Software towards Runnable Knowledge
Application of Intelligent Strategies for Cooperative Manufacturing Planning
Axiomatic Classes of Intuitionistic Models
A Web3.0-based Intelligent Learning System Supporting Education in the 21st Century
Verification of Parameterized Protocols
A Comprehensive Dependability Approach for Building Automation Networks
Selection among Renewable Energy Alternatives Using Fuzzy Axiomatic Design: The Case of Turkey
Integration and Selection of Linear SVM Classifiers in Geometric Space
Adapting an Awareness Tool for Massive Courses: the Case of ClassON
Bite-Sized Virtual Reality Learning Applications: A Pattern-Based Immersive Authoring Environment
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Cultural Factors in a Mobile Phone Adoption and Usage Model
Immersive Learning Research
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces
Aligned, Embedded and Scalable Assessment Technologies
A Neural Network Based Vehicle Classification System for Pervasive Smart Road Security
Performance of RDBMS-WWW Interfaces under Heavy Workload
Detection of the Spiral of Silence Effect in Social Media
Descriptional Complexity of Machines with Limited Resources
New Trends in Human Computer Interaction
On Completeness of Pseudodimple Sets
The Analysis of the Users' Response to the Linear Internet Video Advertising by Using QoE Methods
A Context-aware Approach for Personalized Mobile Self-Assessment
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types
Ontology based Approach in Knowledge Sharing Measurement
How Could MOOCs Become Accessible? The Case of edX and the Future of Inclusive Online Learning
Advances of Scientific Research on Technology Enhanced Learning in Social Networks and Mobile Contexts: Towards High Effective Educational Platforms for Next Generation Education
An O(vn) Distributed Mutual Exclusion Algorithm Using Queue Migration
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification
Accepting Networks of Evolutionary Processors with Filtered Connections
Atomicity as a First-Class System Provision
What's in it for me? Recommendation of Peers in Networked Innovation
Applying the SCR Requirements Method to the Light Control Case Study
Open Domain Targeted Sentiment Classification Using Semi-Supervised Dynamic Generation of Feature Attributes
Automatic Generation of Interactive Cooking Video with Semantic Annotation
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
ODEDialect: a Set of Declarative Languages for Implementing Ontology Translation Systems
Fault Tolerant Neural Predictors for Compression of Sensor Telemetry Data
Towards Two-Level Formal Modeling of Computer-Based Systems
Guided Reading: A Case Study in Evaluating Scientific Reports on Quantitative Research
Exploring Interrelationships among High School Students' Engagement Factors in Introductory Programming Courses via a 3D Multi-user Serious Game Created in Open Sim
On a New Powerful Model for Knowledge Management and its Applications
Transparency and Transfer of Individual Competencies - A Concept of Integrative Competence Management
Exploring content-based group recommendation for suggesting restaurants in Havana City
PSO-Based Feature Selection for Arabic Text Summarization
On Atomicity and Software Development
MyLearningMentor: A Mobile App to Support Learners Participating in MOOCs
Finding Top-K Preferable Products for Customer-Oriented Marketing Based on the Outranking Approach: A Case Study on Mexican Restaurants
Beyond the state-of-the-art of Knowledge Management
Middleware for the Internet of Things: a systematic literature review
Fast Self-Reconfigurable Embedded System on Spartan-3
Automatic Sarcasm Detection on Cross-Platform Social Media Datasets: A GLoVe and Bi-LSTM Based Approach
Pinhão: An Auto-tunning System for Compiler Optimizations Guided by Hot Functions
Too Many Minor Order Obstructions
Virtual Learning Scenarios for Qualitative Assessment in Higher Education 3D Arts
Shortages and Challenges in Augmentative Communication through Tangible Interaction Using a User-centered Design and Assessment Process
Assessing the Impact of Game Modalities in Second Language Acquisition: ELLE the EndLess LEarner
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations
An Efficient Family of P Systems for Packing Items into Bins
Situational Method Engineering: State-of-the-Art Review
New Trends in Semantic Web-Based Applications
Grammar Systems with Negated Conditions in their Cooperation Protocols
Modeling the Value of End-to-End Multipath Protocols
Modelling Weblog Success: Case of Korea
SELaKT - Social Network Analysis as a Method for Expert Localisation and Sustainable Knowledge Transfer
Functional Dependencies with Counting on Trees
Evaluations of Integrated Programming Environment for First-Year Students in Computer Engineering
Examining the Educational User Interface, Technology and Pedagogy for Arabic Speaking Children in Kuwait
Analyzing Political Discourse in On-line Social Networks
Computational Challenges of Massive Data Sets and Randomness in Computation (J.UCS Special Issue on the First and Second Japanese-German Frontiers of Science Symposia)
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift
When FastText Pays Attention: Efficient Estimation of Word Representations using Constrained Positional Weighting
Applying Metrics to the Evaluation of Educational Hypermedia Applications
What is the Value of Taxicab(6)?
Robust Authentication Analysis of Copyright Images through Deep Hashing Models with Self-supervision
High-Performance Simulation of Drug Release Model Using Finite Element Method with CPU/GPU Platform
Designing Collaborative Learning Environments Using Digital Games
Development of the Learning Analytics Dashboard to Support Students' Learning Performance
Practical Applications of Data Analysis, Classification and Anomaly Detection
Obligation to Defend the Critical Infrastructure? Offensive Cybersecurity Measures
Application Framework with Demand-Driven Mashup for Selective Browsing
An Effective Risk Factor Detection and Disease Prediction (RFD-DP) Model Applied to Hypertension
Framework for Affective News Analysis of Arabic News: 2014 Gaza Attacks Case Study
Information Support Services for Intermediation Tasks of Collaborative Networks
Co-operative and Interactive Distance Learning: Application of Team-Oriented and Selective Learning Strategies in a European Bank
A Dynamic Model of Reposting Information Propagation Based on Empirical Analysis and Markov Process
Finding Median Partitions Using Information-Theoretical-Based Genetic Algorithms
Constructive Urysohn Universal Metric Space
Bad Management and its Consequences in a Problematic European Union Member (Portugal)
Table-form Extraction with Artefact Removal
The Use of Runtime Reconfiguration on FPGA Circuits to Increase the Performance of the AES Algorithm Implementation
Trees that Grow
Can Knowledge Management Help in Poverty-stricken Countries and Crisis Situations
Formal Methods for Specifying, Validating, and Verifying Requirements
IMD-MP: Imputation of Missing Data in IoT Based on Matrix Profile and Spatio-temporal Correlations
Knowledge Extraction from RDF Data with Activation Patterns
A Competence-based View on the Global Software Development Process
Does a Change in Weekend Days Have an Impact on Social Networking Activity?
Process Oriented Knowledge Management: A Service Based Approach
CC-LO: Embedding Interactivity, Challenge and Empowerment into Collaborative Learning Sessions
Clustering for Software Remodularization by Using Structural, Conceptual and Evolutionary
Distribution Pattern-driven Development of Service Architectures
Balanced PRAM Simulations via Moving Threads and Hashing
A Word from the Guest Editor: Classroom of the Future
Difference Splittings of Recursively Enumerable Sets
A Treasure Hunt Model for Inquiry-Based Learning in the Development of a Web-based Learning Support System
Point Density Evaluation of Airborne LiDAR Datasets
Integration of satellite imagery and meteorological data to estimate solar radiation using machine learning models
New Tools for Cellular Automata in the Hyperbolic Plane
TQ-Bot: An AIML-based Tutor and Evaluator Bot
Mapping and Scheduling in Heterogeneous NoC through Population-Based Incremental Learning
An Intelligent Recommender System Based on Association Rule Analysis for Requirement Engineering
Security Analysis of the Full-Round CHESS-64 Cipher Suitable for Pervasive Computing Environments
A SIPyOC-RC-based Computing Framework for Complex IPPS Problem Modelling and Solving
From AR to Expertise: A User Study of an Augmented Reality Training to Support Expertise Development
Comparative Aspects between the Cluster and Grid Implementations of BigBatch
Guidelines for Structuring Object-Oriented Product Configuration Models in Standard Configuration Software
VCA: An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks
Natural sd-RCCA Secure Public-key Encryptions from Hybrid Paradigms
CAUCE: Model-driven Development of Context-aware Applications for Ubiquitous Computing Environments
Spatial-reasoning for Agents in Multiple Dimensions
NIKVision: Developing a Tangible Application for and with Children
Randomness and Secrecy - A Brief Introduction
Solver Requirements for Interactive Configuration
The Use of Recommender Systems in Formal Learning. A Systematic Literature Mapping
Entropy Optimization of Social Networks Using an Evolutionary Algorithm
Automatic Discovery and Aggregation of Compound Names for the Use in Knowledge Representations
An Example of Task Oriented Empirical Evaluations of 3D-Display Modes
Using Embodied Conversational Assistants to Interface Users with Multi-Agent Based CSCW Applications: The WebAnima Agent
On Defining the Behavior of OR-joins in Business Process Models
Evaluation of Bluetooth Low Energy Capabilities for Tele-mobile Monitoring in Home-care
Profiling with the INFOrmer Text Filtering Agent
A Cultural Information System Providing e-commerce Web Services, Digital Rights Management and Copyright Protection
Immersive Education: What does the Future Hold?
Reactive Traffic Congestion Control by Using a Hierarchical Graph
Self-Aware Trader: A New Approach to Safer Trading
Trust Based Cluster Head Election of Secure Message Transmission in MANET Using Multi Secure Protocol with TDES
Model Driven Software Engineering Meta-Workbenches: An XTools Approach
SimCon: A Tool to Support Rapid Evaluation of Smart Building Application Design using Context Simulation and Virtual Reality
Automatic Detection of Systemic Diseases to Recognize Mpox Virus using GPLNet Based on Skin Lesions
Modeling Motion by the Integration of Topology and Time
Sequential Data Assimilation: Information Fusion of a Numerical Simulation and Large Scale Observation Data
HOME: An Environment for Hypermedia Objects
Design of Computational Intelligence-based Language Interface for Human-Machine Secure Interaction
The 9 th Brazilian Symposium on Programming Languages J.UCS Special Issue
Ontology Visualization: Tools and Techniques for Visual Representation of Semi-Structured Meta-Data
Hybrid-Augmented Intelligent Systems: New Trends and Applications
Rewriting Tissue P Systems
Feature Selection for Black Hole Attacks
An SVR-based and Location-aware Method for Mobile QoS Prediction
Multimodal Machine Translation Approaches for Indian Languages: A Comprehensive Survey
Restricted Identification Secure in the Extended Canetti-Krawczyk Model
Using Video Activity Reports to Support Remote Project-Based Learning
Global Database Design based on Storage Space and Update Time Minimization
The Effects of Using a Fully Integrated Mobile Application to Access Learning Management Systems in Higher Education
Extracting and Visualizing Knowledge from Film and Video Archives
Enhancing ZRTP by using Computational Puzzles
Time-varying H Systems Revisited
Software Process Improvement by Managing Situational Method Engineering Knowledge
Pattern Language as Support to Software Measurement Planning for Statistical Process Control
About WWW
Optimal Serverless Networks Attacks, Complexity and some Approximate Algorithms
Genetic Trajectory Planner for a Manipulator with Acceleration Parametrization
Game-Based Learning in Universities and Lifelong Learning: "UniGame: Social Skills and Knowledge Training" Game Concept
Snippets: Support for Drag-and-Drop Programming in the Redwood Environment
Development of Ambient Intelligence Systems Based on Collaborative Task Models
Unsupervised Structured Data Extraction from Template-generated Web Pages
A Tool-based Semantic Framework for Security Requirements Specification
Higher Inductive Types in Programming
A Framework for Extraction of Relations from Text using Relational Learning and Similarity Measures
Development of Reliable Access Control Mechanisms Using Artificial Intelligence for Corporate Data Protection
Learning Analytics at "Small" Scale: Exploring a Complexity-Grounded Model for Assessment Automation
Fostering Knowledge Flow and Community Engagement in the Development of Interactive Entertainment
Organic Perspectives of Knowledge Management: Knowledge Evolution through a Cycle of Knowledge Liquidization and Crystallization
Learning Concept Embeddings from Temporal Data
Aggregating Users' Online Opinions Attributes and News Influence for Cryptocurrencies Reputation Generation
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation
A Deep Learning based Air Quality Prediction Technique Using Influencing Pollutants of Neighboring Locations in Smart City
Ordered Fuzzy Numbers Applied in Bee Swarm Optimization Systems
Context-Aware Composition and Adaptation based on Model Transformation
On the Scalability of Molecular Computational Solutions to NP Problems
Sequential Continuity of Linear Mappings in Constructive Mathematics
An MDA Approach for Goal-oriented Requirement Analysis in Web Engineering
A Probabilistic Multi-Objective Artificial Bee Colony Algorithm for Gene Selection
An Approach for Mapping Domain-Specific AOM Applications to a General Model
A General Method for Defining Objects by Recursion over Syntax
Dynamic Background Libraries - New Developments In Distance Education Using HIKS
Discovering Semantic Aspects of Socially Constructed Knowledge Hierarchy to Boost the Relevance of Web Searching
PLA Based Strategy for Solving RCPSP by a Team of Agents
UP-Home: A Self-Adaptive Solution for Smart Home Security
Coffein: Construction and Presentation of Design Knowledge
Entropy and Higher Moments of Information
Design and Implementation of an Extended Corporate CRMDatabase System with Big Data Analytical Functionalities
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
Special Issue on Tools for System Design and Verification
HC+: Towards a Framework for Improving Processes in Health Organizations by Means of Security and Data Quality Management
An Empirical Evaluation of Large Language Models in Static Code Analysis for PHP Vulnerability Detection
Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu
Smart Fall Detection by Enhanced SVM with Fuzzy Logic Membership Function
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
Direct Granularity Conversions among Temporal Constraints
A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems
A Mechanism for Solving Conflicts in Ambient Intelligent Environments
An Efficient Distributed Algorithm For st-numbering The Verices Of A Biconnected Graph
Longitudinal Healthcare Data Management Platform of Healthcare IoT Devices for Personalized Services
A Selection Process Based on Additive Consistency to Deal with Incomplete Fuzzy Linguistic Information
Towards an Open Ontology for Renewable Resource Management in Smart Self-Sustainable Human Settlements
Towards Obtaining UML Class Diagrams from Secure Business Processes Using Security Patterns
Adaptive Methodologies and Designs for Network-on-Chip based Systems
Sharing Knowledge on Knowledge - The eXact Peripheral Expertise Awareness System
The Use of Social Networking Sites in Education: A Case Study of Facebook
A Model-Based Graphical Editor to Design Accessible Media Players
Non-repudiation Mechanism of Agent-based Mobile Payment Systems: Perspectives on Wireless PKI
Security Analysis of Three Password Authentication Schemes
(Virtual) Communities of Practice within Modern Organizations - J.UCS Special Issue
Balance in Systems of Finite Sets with Applications
Evaluating Case Study and Action Research Reports: Real-world Research in Cybersecurity
Meeting Warming-up: Detecting Common Interests and Conflicts among Participants before a Meeting
Combination Model of Heterogeneous Data for Security Measurement
A Multimodal Ambient Intelligence Environment for Playful Learning
Survey on Integration of Consensus Mechanisms in IoT-based Blockchains
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study