yusuke1997/dblp-id-title huggingface dataset:
Inventory Management in Humanitarian Operations: Impact of Amount, Schedule, and Uncertainty in Funding
Fast or Slow? Competing on Publication Frequency
Vertical Integration and Market Power in Supply Networks
Structural Estimation of Attrition in a Last-Mile Delivery Platform: The Role of Driver Heterogeneity, Compensation, and Experience
Beyond Related Experience: Upstream vs. Downstream Experience in Innovation Contest Platforms with Interdependent Problem Domains
Customer-Driven vs. Retailer-Driven Search: Channel Performance and Implications
An Empirical Analysis of Forecast Sharing in the Semiconductor Equipment Supply Chain
The Value of Information Sharing in a Two-Stage Supply Chain with Production Capacity Constraints: The Infinite Horizon Case
A Unified Framework to Impose Market Share Constraints for Selected Product Classes: Randomized and Deterministic Assortments Under the Multinomial Logit Model
Market Thickness in Online Food Delivery Platforms: The Impact of Food Processing Times
Performance Guarantees for Network Revenue Management with Flexible Products
Demand Estimation from Censored Observations with Inventory Record Inaccuracy
Selling a Product Line Through a Retailer When Demand Is Stochastic: Analysis of Price-Only Contracts
Distribution-Free Pricing
OM Forum - The Service and Information Economy: Research Opportunities
Strategic Inventories Under Supply Chain Competition
Sustainability in the Fast Fashion Industry
Budget Disclosure in Crowdfunding: Information Asymmetry and Cost Transparency
Time-Based Competition with Benchmark Effects
Detecting Human Trafficking: Automated Classification of Online Customer Reviews of Massage Businesses
New-Product Diffusion in Closed-Loop Supply Chains
Information Dependency in Mitigating Disruption Cascades
Assign-to-Seat: Dynamic Capacity Control for Selling High-Speed Train Tickets
Improving Farmers' Income on Online Agri-Platforms: Evidence from the Field
Priority Allocation in a Rental Model with Decreasing Demand
The Role of Problem Specification in Crowdsourcing Contests for Design Problems: A Theoretical and Empirical Analysis
The Winner's Curse in Dynamic Forecasting of Auction Data: Empirical Evidence from eBay
Inventory Productivity and Stock Returns in Manufacturing Networks
Go Wide or Go Deep? Assortment Strategy and Order Fulfillment in Online Retail
Note - Further Improvements on Base-Stock Approximations for Independent Stochastic Lead Times with Order Crossover
Manage Inventories with Learning on Demands and Buy-up Substitution Probability
Optimal Decentralization of Early Infant Diagnosis of HIV in Resource-Limited Settings
Demand-Supply Mismatches and Stock Market Reaction: Evidence from Excess Inventory Announcements
Retailer-Supplier Flexible Commitments Contracts: A Robust Optimization Approach
Dynamic Procurement of New Products with Covariate Information: The Residual Tree Method
Divide and Conquer: A Hygienic, Efficient, and Reliable Assembly Line for Housekeeping
The Price of Nonabandonment: HIV in Resource-Limited Settings
An Optimal Production and Shutdown Strategy when a Supplier Offers an Incentive Program
Market Segmentation Trees
The Promise of mHealth for Chronic Disease Management Under Different Payment Systems
Democratizing Data Analytics Products to Drive SME Growth: A Natural Experiment
Revenue Management of a Make-to-Stock Queue
Product Line Selection and Pricing with Modularity in Design
Optimal Prototyping with Noisy Measurements
Helping the Captive Audience: Advance Notice of Diagnostic Service for Hospital Inpatients
Facility Location with Stochastic Demand and Constraints on Waiting Time
Optimal Capacity and Price Designs Under Ex Ante and Ex Post Theft
The Role of Modular Upgradability as a Green Design Strategy
A Novel GA-based Approach to Automatically Generate ConvLSTM Architectures for Human Activity Recognition
Precise Modelling of Compensating Business Transactions and its Application to BPEL
The Impact of Behavioral Monitoring Technology on the Provision of Health Care in the Home
Recent Progress in Automated Code Generation from GUI Images Using Machine Learning Techniques
Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models
Computational Game Unit Balancing based on Game Theory
Internet Payment System: A New Payment System for Internet Transactions
What is Correctness of Security Protocols?
Managing Editor's Column
Type-safe Versioned Object Query Language
A Hybrid Social Spider Optimization Algorithm with Differential Evolution for Global Optimization
Parallel Key Exchange
A Reference Model for Security Level Evaluation: Policy and Fuzzy Techniques
Support Platform for Learning about Multimodal Biometrics
Integrated Applications of Electronic Structure Computations in the Undergraduate Chemistry Curriculum
Extraction of Contextualized User Interest Profiles in Social Sharing Platforms
Data Compression and Serial Cummunication with Generalized T-Codes
Improving Accuracy of Decision Trees Using Clustering Techniques
Membrane Computing and Graphical Operating Systems
XML and MPEG-7 for Interactive Annotation and Retrieval using Semantic Meta-data
Galois Lattice Theory for Probabilistic Visual Landmarks
Compensation Models for Interactive Advertising
The Role of the iPad in the Hands of the Learner
Semi-Automatic Visual Subgroup Mining using VIKAMINE
Binary Methods Programming: the Clos Perspective
Collaborative e-Learning through Drag & Share in Synchronous Shared Workspaces
Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach
Splicing on Trees: the Iterated Case
E - Capacity - Equivocation Region of Wiretap Channel
The Korrigan Environment
Automated Classification of Cell Level of HEp-2 Microscopic Images Using Deep Convolutional Neural Networks-Based Diameter Distance Features
Communicating Stream X-Machines Systems are no more than X-Machines
Abstract State Machine Semantics of SDL
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps
Structural Coverage Criteria for Testing SQL Queries
X-Ray Image Authentication Scheme Using SLT and Contourlet Transform for Modern Healthcare System
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
AI Empowered Big Data Analytics for Industrial Applications
The SNAP Project: Building Validated Floating Point
Deontic Logic-based Framework for Ontology Aligment in Agent Communities
Instructional Design of Skill-Balanced LMOOC: a Case of the Russian Language MOOC for Beginners
An Outline of PVS Semantics for UML Statecharts
A Comparison of Various Methods for Computing Bounds for Positive Roots of Polynomials
Examining the Relationship between Socialization and Improved Software Development Skills in the Scratch Code Learning Environment
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
A Comparison of Different Retrieval Strategies Working on Medical Free Texts
Generalizing BIAS Specifications
EmotionsOnto: an Ontology for Developing Affective Applications
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
Dynamic Estimation of Temporary Failure in SoC FPGAs for Heterogeneous Applications
A Decision Method for the Unambiguity of Sets Defined by Number Systems
A Clustering Approach for Collaborative Filtering Recommendation Using Social Network Analysis
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
Modeling of an Intelligent e-Consent System in a Healthcare Domain
Service Composition Management: A Risk-Driven Approach
Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time
Higher-Order Lazy Functional Slicing
Students' Perception of a Blended Learning Approach in an African Higher Institution
Compile-time Computation of Polytime Functions
POCA : A User Distributions Algorithm in Enterprise Systems with Clustering
Language Learning in Educational Virtual Worlds - a TAM Based Assessment
Studying the Effects of Information Exchange Channels in Different Communication Modes on Trust Building in Computer-mediated Remote Collaborative Design
An OWL Ontology of Set of Experience Knowledge Structure
Multimedia Modules and Virtual Organization Website for Collaborative Research Experience for Teachers in STEM
The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language
Steganography in VLC Systems
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
Communicative Intelligence
Semantics of Query-Driven Communication of Exact Values
A Progressive Learning Method for Symbol Recognition
"Fine Tuning" Image Accessibility for Museum Web Sites
Have Variability Tools Fulfilled the Needs of the Software Industry?
Outcomes of International Research Projects on Technology Applied to Education
A Fuzzy Logic Supported Multi-Agent System For Urban Traffic And Priority Link Control
Using the Scientific Method as a Metaphor to Understand Modeling
A Fast T-decomposition Algorithm
Proving Anonymity for BILMIX
RankFeed - Recommendation as Searching without Queries: New Hybrid Method of Recommendation
Combating Mobile Spam through Botnet Detection using Artificial Immune Systems
Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
Caring for Clarity in Knowledge Communication
Health Monitoring and Assistance to Support Aging in Place
Constraint Based Methods for Biological Sequence Analysis
Automatic Tag Attachment Scheme based on Text Clustering for Efficient File Search in Unstructured Peer-to-Peer File Sharing Systems
Ontology-based Competency Management: the Case Study of the Mihajlo Pupin Institute
Thesaurus-Based Tag Clouds for Test-Driven Code Search
A Formal Semantics for Finalizers
A Formal Framework of Aggregation for the OLAP-OLTP Model
Computability and Complexity in Analysis
Face Plastic Surgery Recognition Model Based on Neural Network and Meta-Learning Model
Discovering Knowledge Through Visual Analysis
Web Services Discovery in a Pay-As-You-Go Fashion
Dynamic Data Warehouse Design with Abstract State Machines
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
BDI Agent Architecture for Multi-Strategy Selection in Automated Negotiation
An Information Flow Method to Detect Denial of Service Vulnerabilities
AspectLua - A Dynamic AOP Approach
Adopting Trust in Learning Analytics Infrastructure: A Structured Literature Review
Componentwise Distance to Singularity
Rearranging Series Constructively
A Revised Framework for the Governance and Management of Green IT
Oracles and Relativizations of the P =? NP Question for Several Structures
Fusing Monotonic and One-Class Classification: Elevating SVM with the MC-SVDD Strategy
An Evaluation Technique for Binarization Algorithms
Conditional Reasoning: A Key to Assessing Computer-based Knowledge-building Communication Processes
A Guided Tour through the Siemens Business Services Knowledge Management Framework
Data-driven Feature Selection Methods for Text Classification: an Empirical Evaluation
Cloud Warehousing
Mobile Agent Routing with Time Constraints: A Resource Constrained Longest-Path Approach
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
A Secure Multi-Layer e-Document Method for Improving e-Government Processes
Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL
Modelling Lexical Databases with Formal Concept Analysis
An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices
Pervasive Health Management and Health Management Utilizing Pervasive Technologies : Synergy and Issues
Mental Models to Represent Dynamics - Using the Example "factorial"
Combining Psycho-linguistic, Content-based and Chat-based Features to Detect Predation in Chatrooms
Distance Learning and Student Satisfaction in Java Programming Courses
Cost-Effective Scheduling in Fog Computing: An Environment Based on Modified PROMETHEE Technique
On the Intractability of Computing the Duquenne?Guigues Bas
Advances in Web-Based Learning
Perfect Matchings in Polyhexes, or Recent Graph-theoretical Contributions to Benzenoids
Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey
Web 2.0: Applications and Mechanisms
GAC - the Criterion for Global Avalance Characteristics of Cryptographic Functions
Dedication to Jim Gray
An Integration of Health Monitoring System in Public Transport Using the Semantic Web of Things
TRAILER Project (Tagging, Recognition, Acknowledgment of Informal Learning Experiences) A Methodology to Make Learners' Informal Learning Activities Visible to the Institutions
A Relational Model for Component Interconnection
On Machine Learning Approaches for Automated Log Management
The Enumeration Spectrum Hierarchy of α-families and Low α Degrees
Track-To-Track Measurement Fusion Architectures and Correlation Analysis
Contextualization and Recommendation of Annotations to Enhance Information Exchange in Assembly Assistance
Parallel Formulations of Scalar Multiplication on Koblitz Curves
Constructive Set Theory and Brouwerian Principles
Small Groups Learning Synchronously Online at the Workplace: The Interaction of Factors Determining Outcome and Acceptance
Knowledge Intensive Software Engineering Applications
New Bounds for Positive Roots of Polynomials
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
User Context Aware Delivery of E-Learning Material: Approach and Architecture
Systematic Management of Variability in UML-based Software Product Lines
A New Approach for Information System Audit Teaching
MuBeFE: Multimodal Behavioural Features Extraction Method
Requirements Engineering - The Light Control Case Study
Intelligent Computing for Society
SEAL-II - The Soft Spot between Richly Structured and Unstructured Knowledge
Real-time Human Proxy: An Avatar-based Communication System
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
Fuzziness and Overlapping Communities in Large-Scale Networks
Resource-aware Mining of Data Streams
ADDS: A Document-Oriented Approach for Application Development
Reachability in Restricted Walk on Integers
J.UCS Special Issue on BCTCS
PEWS: A New Language for Building Web Service Interfaces
Low-sample classification in NIDS using the EC-GAN method
Defining Distribution Constraints in Distributed User Interfaces
Deterministic Frequency Pushdown Automata
Multimedia Services and Applications
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums
Managing Interdisciplinary Project Teams Through the Web
Relating Mobile Device Use and Adherence to Information Security Policy with Data Breach Consequences in Hospitals
Knowledge Work: Knowledge Worker Productivity, Collaboration and User Support
J.UCS special issue on Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence. Smart Human-Centered Computing (volume 2)
Anti Money Laundering in Bitcoin Network Using Chaotic Time Series and Graph Convolution Network
Laser Injection of Soft Faults for the Validation of Dependability Design
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models
Toward the Next Wave of Services: Linked Services for the Web of Data
PhyMEL-WS: Physically Experiencing the Virtual World. Insights into Mixed Reality and Flow State on Board a Wheelchair Simulator
Multi-Objective Evolutionary Algorithms and Pattern Search Methods for Circuit Design Problems
An Intelligent Distributed Channel Selection Framework with Hybrid Mode Selection for Interference Mitigation in D2D based 5G Networks
Real-time Analysis of Time-based Usability and Accessibility for Human Mobile-Web Interactions in the Ubiquitous Internet
Astmapp: A Platform for Asthma Self-Management
Mining Dynamic Databases using Probability-Based Incremental Association Rule Discovery Algorithm
Information Assurance and Security
A Survey of Formal Methods Applied to Leader Election in IEEE 1394
On the Number of Keys of a Relational Database Schema
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Supporting the Authoring and Operationalization of Educational Modelling Languages
A Comparative Evaluation of Print and Electronic Reviews of Multimedia Information Products
Design of a DFS to Manage Big Data in Distance Education Environments
What Is a Random String?
Reasoning about Propagation of Properties over Regions
A Cross-Device Architecture for Modelling Authentication Features in IoT Applications
Knowledge Management and Collaborative Virtual Environments
Gravi++: Interactive Information Visualization to Explore Highly Structured Temporal Data
Pattern-Oriented Workflow Generation and Optimization
Conceptual Evaluation of Massive Open Online Courses through Pathfinder Associative Networks
An Agent-Based Solution for Dynamic Supply Chain Management
Politically-oriented information inference from text
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems
Let me Listen to Poetry, Let me See Emotions
Ambient Assisted Living: Home Care
A Novel Scheme for Secured Data Transfer Over Computer Networks
Programming through Spreadsheets and Tabular Abstractions
A Neuro Symbolic Approach for Contradiction Detection in Persian Text
Using the Optical Flow to Implement a Relative Virtual Mouse Controlled by Head Movements
Information Retrieval and Recommender Systems
A Novel Data-Driven Attack Method on Machine Learning Models
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
Methodological Approach and Technological Framework to Break the Current Limitations of MOOC Model
A New Approach to Communicating X-Machine Systems
Usability Evaluation Methods for a Scientific Internet Information Portal
Using Program Checking to Ensure the Correctness of Compiler Implementations
A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem
Towards Sustainable Computing through Ambient Intelligence
A Packing Problem, Solved by Genetic Algorithms
A Pervasive Multimodal Tele-Home Healthcare System
Gabor Filter Aided 3D Ultra-Sonography Diagnosis System with WLAN Transmission Consideration
An Experimental Evaluation of JAVA JIT Technology
Exact Statistics and Continued Fractions
ODD description methods for automated driving vehicle and verifiability for safety
Montages Specifications of Realistic Programming Languages
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
A Framework to Evaluate Interface Suitability for a Given Scenario of Textual Information Retrieval
Configuration Process of a Software Product Line for AmI Middleware
On the Difficulty of Constructing Cryptographically Strong Substitution Boxes
The Mobile Language Learner - Use of Technology in Language Learning
About an Algorithmic Approach to Tilings {p, q} of the Hyperbolic Plane
A Semantic Wiki Based on Spatial Hypertext
Security and Usability Aspects of Man-in-the-Middle Attacks on ZRTP
Constructive Equivalents of the Uniform Continuity Theorem
Analyzing Wiki-based Networks to Improve Knowledge Processes in Organizations
Toward Project-based Learning and Team Formation in Open Learning Environments
Towards the Semantic Grid: Putting Knowledge to Work in Design Optimisation
Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p
A Framework for the Successful Introduction of KM Using CBR and Semantic Web Technologies
Global Error Visualization
Real Time Path Finding for Assisted Living Using Deep Learning
An Aspect-Based Sentiment Analysis Approach to Evaluating Arabic News Affect on Readers
Service Conflict Management Framework for Multi-user Inhabited Smart Home
Survey on Ranking Functions in Keyword Search over Graph-Structured Data
Tabu Search on GPU
Modeling and Comparing Farm Maps using Graphs and Case-based Reasoning
Collaborative Web Browsing Based on Semantic Extraction of User Interests with Bookmarks
On the Meaning of Positivity Relations for Regular Formal Spaces
An Efficient Planning Algorithm for Multi-head Surface Mounting Machines Using a Genetic Algorithm
Improving Inter-Organizational Processes with Integrated Organization and Technology Development
Some Notes on Fine Computability
Distributed Development of Information System
Position-based Routing Protocol for Low Power Wireless Sensor Networks
Creating Links into the Future
From Classical to Fuzzy Databases in a Production Enterprise
Co-Creation of e-Learning Content: The Case Study of a MOOC on Health and Cyber-Bullying
Recognition of genuine and phishing emails may not be associated with response to phishing attacks
Probabilistic Models for Reo Connector Circuits
Building Immersive Conversation Environment Using Locomotive Interactive Character
The Effect of Visual Design Self-Efficacy of Language Teachers on Mobile Learning Attitudes During the Pandemic Period
Integrating Multiple Experts for Correction Process in InteractiveRecommendation Systems
The evaluation of a semi-automatic authoring tool for knowledge extraction in the AC&NL Tutor
A Ranking Tool Exploiting Semantic Descriptions for the Comparison of EQF-based Qualifications
Design of Cognitive Fog Computing for Autonomic Security System in Critical Infrastructure
Ontology Combined Structural and Operational Semantics for Resource-Oriented Service Composition
Validation of e-Government Information Delivery Attributes: The Adoption of the Focus Group Method
Special Issue: I-Know 03 - Hot Spots in Knowledge Management
Using the Affect Grid to Measure Emotions in Software Requirements Engineering
A Personalized Approach for Re-ranking Search Results Using User Preferences
Near Eyes-Free Chauffeur Computer Interaction with Chording and Visual Text Mnemonics
Integrating Service-Oriented Mobile Units to Support Collaboration in Ad-hoc Scenarios
Software Cost Modelling and Estimation Using Artificial Neural Networks Enhanced by Input Sensitivity Analysis
Finding the Maximum Element Using P Systems
Orchestration of E-Learning Services for Automatic Evaluation of Programming Exercises
Mobile Context-Aware Applications for Ubiquitous Computing
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse
Computable Separation in Topology, from T 0 to T 2
Mobile Ambients and P-Systems
Context Classification Framework for Handset-based End User Studies
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
Accessibility Barriers for Blind Students in Teaching-learning Systems
Advances in Document Engineering
Teaching Innova Project: the Incorporation of Adaptable Outcomes in Order to Grade Training Adaptability
Skill and Competence Management as a Base of an Integrated Personnel Development (IPD) - A Pilot Project in the Putzmeister, Inc./Germany
Visualizing and Analyzing the Quality of XML Documents
Success Factors in a Weblog Community
The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing
Sorting Permutations by λ-Operations
Badges for Peer Assessment of Teamwork in Organized Education
Evaluating the Relative Performance of Collaborative Filtering Recommender Systems
Assessing Repetitive Trials in Serious Games
ORPMS: An Ontology-based Real-time Project Monitoring System in the Cloud
A Methodology for the Separation of Foreground/Background in Arabic Historical Manuscripts using Hybrid Methods
DS/CDMA Multiuser Detection with Evolutionary Algorithms
A Review of Mobile Location-based Games for Learning across Physical and Virtual Spaces
RESTful Services and Web-OS Middleware: a Formal Specification Approach
A Variant of Team Cooperation in Grammar Systems
Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study