yusuke1997/dblp-id-title huggingface dataset:
Formalising and Prototyping a Concurrent Object-Based Language
Proving Properties of Logic Programs by Abstract Diagnosis
Abstract Interpretation of the pi-Calculus
Testing Semantics of Asynchronous Distributed Programs
An Overview of Mobile Agent Programming
Polymorphic Subtyping for Effect Analysis: The Static Semantics
Logical and Operational Methods in the Analysis of Programs and Systems
A Non-Standard Semantics for Generating Reduced Transition Systems
Polymorphic Subtyping for Effect Analysis: The Algorithm
Abstract Interpretation of Small-Step Semantics
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives
Polyvariance, Polymorphism and Flow Analysis
Mobile Processes with Local Clocks
A Process Language for Statecharts
Evaluation tools through user participation techniques: Features, limitations, and new perspectives
Evaluating a city's level of adaptability to urban freight transport good practices implementation, applying the Adaptability index
A hybrid approach combining fuzzy consensus-based possibility measure and TOPSIS: Application to the plant selection problem
A proposition of a decision support system for Reverse Logistics
Challenges in the management of food products' supply chains
Personal air vehicle (PAVE) application in Malaysia
Comparing the effectiveness of different metaheuristics for optimization of flows of containers in a containers terminal
On demand transport system's approach as a multi-agent planning problem
The cross docking under uncertainty: State of the art
Financial derivatives for risk management in shipping operations: A simulation model applied to the oil and gas sector
Decentralized traffic management: A synchronization-based intersection control
Risk mitigation strategies according to the supply actors' objectives through MACTOR method
Intelligent parking management system by multi-agent approach: The case of urban area of Tunis
Logistics integration in product design using a systems engineering approach
The use of discrete event simulation in hospital supply chain management
SADAUDIT for auditing procurement logistics information systems
An information-theoretic-based evolutionary approach for the dynamic search path planning problem
Impact of means and resources pooling on supply-chain management: Case of large distribution
A literature survey of bullwhip effect (2010-2013) according to its causes and evaluation methods
Using customer feedback in public transportation systems
Drawing of layout documentation as the basis of logistics management system of a company literature review, new methodics, case study
Measurement of intermodal accessibility container transport example
The approaches of supply chain risks management
An investigation of government and private hospitals' supply chain management
Traveler information in ITS: A Model-Driven Engineering approach to its personalization
Dynamic road lane management: A smart city application
LCA approach to management of defective products in reverse logistics channels
Development an approach to fusion of an anti-collision system
Particle swarm optimization approach for resolving the cutting stock problem
A hybrid ant colony and genetic algorithm to solve the container stacking problem at seaport terminal
Optimization of movement of the aircraft on taxiway area
Designing a new infectious healthcare-waste management system in Sfax governorate, Tunisia
Risk assessment of hazard material transportation using FMECA approach: Case study in a Tunisian company
Outsourcing and off-shoring healthcare services: A way to cut the costs and improve quality
The ecological footprint as an assesment tool of the supply chain environmental performance case of a retail trade Tunisian company
International Conference on Advanced Logistics and Transport, ICALT 2014, Hammamet, Tunisia, May 1-3, 2014
A configuration model for recovery product flows orientation in open loop network
A lower bound for minimizing the total energy consumption in a statically routed Personal Rapid Transit system
The Multi-vehicle Mutli-product Inventory-Routing Problem: A case study
Optimization of supply portfolio in context of supply chain risk management: Literature review
Associating risk management with a performance measurement system: Case of academic libraries
Real-timefastest path algorithm using bidirectional point-to-point search on a Fuzzy Time-Dependent transportation network
Improving in-transit and in-theatre asset visibility of the Canadian Armed Forces supply chain network
Real-timeservice profiling for the efficient simulation of logistics networks
Network coordination with minimum risk of information sharing
An elitist multi-objective genetic algorithm for minimizing vehicle numbers and energy consumption in the context of Personal Rapid Transit
Maintenance optimisation for delivery means in the supply chain
Three Dimensional Integration of design: State of the art
A novel secure Ad hoc routing protocol using one time password
An exact method for the multi-vehicle static demand responsive transport problem based on service quality: The case of one-to-one
Heuristic approch for solving the makespan problem in a hospital sterilization service
Review of transport emission modeling and monitoring in urban areas - Challenge for developing countries
Scheduling under uncertainty: Survey and research directions
Assembly line balancing in an automotive cables manufacturer using a genetic algorithm approach
Analysis of sustainable urban transport in Libya
A new personalization approach by case-based reasoning and fuzzy logic
The "Authorized Economic Operator" certification and firm performance
Artificial Bee Colony to solve seafaring staff scheduling problem: A real case
Ontological model for knowledge capitalization in multimodal transport domain
Location of a seaport by MOORA optimization
Optimization of logistics management as a source of virtual enterprises competitive advantage
Supplier selection under disruption risks using Stochastic Mixed Linear Programming techniques
A linguistic approach to the organization of drug flows: The case of CHU Habib Bourguiba
A survey of simulation platforms for the assessment of public transport control systems
The management of the inventories of facturing equipment spare parts in Polish industrial enterprises
Logistics' clusters as a part of regional policy in Poland
Power Lines Optimization Algorithm for Membrane Computing Based on Google Earth and ACIS
Design and Development of Parametric System for Planetary Reducer
Research on the Computer Aided Platform of the Passenger Dedicated Line's Engineering Affairs
Detection of Advertising Users Based on K-SMOTE and Ensemble Learning
A Framework for Browser-Based Multiplayer Online Interaction by Kinect and HTML5 - with "Flying Kite" as A Case Example
Measurement of Composite Error of Pitch Curve of Non-circular Gear Based on C++ and MATLAB
HCOpt: An Automatic Optimizer for Configuration Parameters of Hadoop
Ancient Chinese Lexicon Construction Based on Unsupervised Algorithm of Minimum Entropy and CBDB Optimization
Salient Attention Model and Classes Imbalance Remission for Video Anomaly Analysis with Weak Label
A New Classification Method Based on Semi-supervised Support Vector Machine
Research on Multi-agent Distributed Supply Chain Information Collaboration Based on Cloud Environment
The Research on Knowledge Push Based on the Feature Extraction of Microblog
5G Message Log Credit Management and Verification System Based on Blockchain
A K-Means Clustering Algorithm: Using the Chi-Square as a Distance
A Systematic Framework for Malicious Traffic Detection Based on Feature Repository
Kinematics and Simulation Analysis of a 3-DOF Mobile Handling Robot Based ADAMS and MATLAB
Risk Assessment of Flood Disasters in Hechi City Based on GIS
The Latent Semantic Power of Labels: Improving Image Classification via Natural Language Semantic
A Pedestrian Detection Method Based on Improved ResNet for Container Terminal
Model Calculation of Crosstalk on Autostereoscopic Display with Parallax Barrier
The Study and Application on Multi-dimension and Multi-layer Credit Scoring
Course Recommendation System Based on SSM Framework
Suicidal Ideation Detection via Social Media Analytics
Early Prediction of Student Success Based on Data Mining and Artificial Neural Network
A New Communication P System Model Based on Hypergraph
A Method for Correcting the Leaning of AR Two-Dimensional Codes Based on LSM
Probability Matrix Factorization Algorithm for Course Recommendation System Fusing the Influence of Nearest Neighbor Users Based on Cloud Model
Virtual Network Embedding Model Minimizing Energy Consumption
Linear Magnetostrictive IDM Actuator Based on Composite Cantilever Beam
Parallel Implementation of Chi2 Algorithm in MapReduce Framework
Flow Field Analysis of Cutter Head for Cutter Suction Dredgers
Detecting Postpartum Depression in Depressed People by Speech Features
Multi-scale Attentive Residual Network for Single Image Deraining
An Inclusion Rule for Vantage Point Tree Range Query Processing
Novel Hotspot Information Analysis System Using Automatic Information Extraction
An Efficient Multi-service Resource Scheduling Algorithm in Cognitive Relay System
Research on Embedded and Monitoring Test Technology of C4ISR System
Optimization of Kalman Filter Indoor Positioning Method Fusing WiFi and PDR
An Improved Method and Implementation of Indoor Position Fingerprint Matching Localization Based on WLAN
Research on Bionic Robot Micro Adsorption Mechanism SMA Driven System
No-Reference Quality Assessment for UAV Patrol Images of Transmission Line
Data Encryption for Remote Monitoring System Based on Internet of Things in Mobile Mode
Research on Meteorological Data Simulation
Weight-Improved K-Means-Based Consensus Clustering
Diagnosis of Depression Based on Short Text
Research on the Shortest Path Problem Based on Improved Genetic Algorithm
Task Scheduling for MapReduce Based on Heterogeneous Networks
The Design of the Tracing of Aquatic Products Production Based on PDA
NCFR: Network Coding Fair Routing for Multi-success-rate Wireless Sensor Networks
Research and Implementation of Cache Node Backup Strategy in Distributed Caching System
Research on Visual Feedback Based on Natural Gesture
Visualization Analysis of Hot Event Propagation Topic Map
The Architecture and Energy Saving Technologies of Green Relay Enhanced Wireless Network
A Linkage Model of Non-circular Gear Shaping and Computer Simulation Processing
Dynamic Adjustment of the Learning Rate Using Gradient
A Novel Particle Swarm Optimization Algorithm for Permutation Flow-Shop Scheduling Problem
Research on Downscaling and Correction of TRMM Data in Central China
An Improved Registration Mechanism for Network Mobility
Scholar Recommendation Model in Large Scale Academic Social Networking Platform
A Deep Hybrid Neural Network Forecasting for Multivariate Non-stationary Time Series
Human Centered Computing - 7th International Conference, HCC 2021, Virtual Event, December 9-11, 2021, Revised Selected Papers
Research on Cluster Personnel Monitoring and Early Warning Method Based on Information Source Detection
Voxelization Algorithm Based on STL Model
Environmental Incidents Detection from Chinese Microblog Based on Sentiment Analysis
Micro-video Learning Resource Portrait and Its Application
Two Steps Method Using Polarization to Resist Phase Noise for Self-interference Cancelation in Full-Duplex
ICT for Sustainable Development of the Tourism Industry in Cambodia
Advanced Human Centric 5G-IoT in a Smart City: Requirements and Challenges
Blind Image Quality Assessment via Analysis of GLCM
Parameters Optimization for KFKM Clustering Algorithm Based on WiFi Indoor Positioning
A Hybrid Collaborative Filtering Recommendation Algorithm Using Double Neighbor Selection
Depression Identification from Gait Spectrum Features Based on Hilbert-Huang Transform
Single Link Routing Protocol for Wireless Sensor Network
The Behavior Analysis of Product Negative Word-of-Mouth Spread on Sina Weibo
Big Data Analysis of Reviews on E-commerce Based on Hadoop
Discretization of Laplace-Beltrami Operator Based on Cotangent Scheme and Its Applications
Traffic Paralysis Alarm System Based on Strong Associated Subnet
Model Checking for Turn-Based Probability Epistemic Game Structure
A Low-Frequency Broadband Triboelectric Energy Harvester Based on Cantilever Beam with a Groove
Scale-Aware Network with Attentional Selection for Human Pose Estimation
Predicting Mass Incidents from Weibo
Vibration Response and Research of Energy Harvesting of the Piezoelectric Cantilever
Application of Speech Recognition Technology in Logistics Selection System
An Improved Spectral Clustering Algorithm Based on Cell-Like P System
Architecture of Demand Forecast for Online Retailers in China Based on Big Data
CluSoAF: A Cluster-Based Semantic Oriented Analyzing Framework for User Behaviors in Mobile Learning Environment
A K-means Clustering Optimization Algorithm for Spatiotemporal Trajectory Data
A Flexible Doubly Clamped Beam Energy Harvester with a Standard Rectifier Electric Circuit
Customer Classification-Based Pre-sale Multi-value-chain Collaborative Mechanism Verification
The Design and Development of Central China Power Grid Intelligent Ticket Forming System
An Improved CNN-Based Pneumoconiosis Diagnosis Method on X-ray Chest Film
Multi-objective Collaborative Optimization of Multi-level Inventory: A Model Driven by After-Sales Service
Reaching Consensus for SDN Multi-controller Networks
An Adaptive Trust Prediction Framework for Diverse Data Model
Library Mobile Service Innovation Under Html5 Environment
Optimization of Energy Transaction Strategy Between Microgrids Based on MADDPG
Mobile Internet Mobile Agent System Dynamic Trust Model for Cloud Computing
Cultural Symbol Recognition Algorithm Based on CTPN + CRNN
Green Energy Forecast Based on Improved Grey Model for Green Base Stations
A Data Fusion Model Based on Multi-source Non-real-Time Intelligence
Capacity and Spectrum Utilization of Spatial, Temporal, and Joint Time-Space Spectrum Sharing
Biodiesel Remote Monitoring System Design Based on IOT
Survey on Android Applications Security
Brain Computer Interface Application for People with Movement Disabilities
Research on Weibo Emotion Classification Based on Context
An Improved K-medoids Clustering Algorithm Based on a Grid Cell Graph Realized by the P System
Research and Application of RFID System Security Authentication Protocol Based on ECC Algorithm
Base Station Location Optimization Based on Genetic Algorithm in CAD System
Combining Link and Content Correlation Learning for Cross-Modal Retrieval in Social Multimedia
A Fuzzy Attribute-Based Authentication Scheme on the Basis of Lagrange Polynomial Interpolation
Flow Field Simulation Analysis and Optimization of the Magnetostrictive Precision Pump
A High Efficient Recommendation Algorithm Based on LDA
A Graph-Based Service Composition Method for Science and Technology Resources
Clustering Method for Low Voltage Substation-Area Users Based on Edge Computing Architecture
A Capacitive Flexible Tactile Sensor
Spatial Reciprocity Aided CSI Acquirement for HST Massive MIMO
A Grid Based Simulation Environment for Parallel Exploring Agent-Based Models with Vast Parameter Space
Research on Teaching Methods Based on Students' Autonomous Knowledge Aggregation
Reinforcement Learning Based Signal Quality Aware Handover Scheme for LEO Satellite Communication Networks
Structural Design of Precise Flow Valve Driven by Giant Magnetostrictive Material
A Design Method of the General Aviation Flight Plan Management Scheme Based on Quantitative Verification
Multi-task Allocation Under Multiple Constraints in Mobile Crowdsensing
Energy-Saving Power Allocation Scheme for Relay Networks Based on Graphical Method of Classification
Random Convolutional Neural Network Based on Distributed Computing with Decentralized Architecture
D-SVM Fusion Clustering Algorithm Based on Indoor Location
ISS: An Iterative Scrubbing Strategy for Improving Memory Reliability Against MBU
Fault Recovery Algorithm Based on SDN Network
Construction of Online Teaching Application Platform Based on Cloud Computing
Modelling Mental States via Computational Psychophysiology: Benefits and Challenges
Examination Data Analysis and Evaluation Platform Based on Cloud Computing
Ontology Combined Based on the Social Network Information
Resource Allocation in HetNets with Green Energy Supply Based on Deep Reinforcement Learning
Dynamic Pick and Place Trajectory of Delta Parallel Manipulator
A Conference Publishing System Based on Academic Social Network
Experimental Research of Galfenol Composite Cantilever
Research on Dynamic Generation of Digital Emergency Plan Based on Variable Structure Petri Net
Research and Implementation of Interactive Analysis and Mining Technology for Big Data
Personality Prediction for Microblog Users with Active Learning Method
A Game-Theoretic Approach for Joint Optimization of Sensing and Access in Cognitive Cellular Heterogeneous Networks
An Early Warning System of Tram Safety Protection Based on Multi-information Detection
A Combining Forecasting Method Based on Seasonal Unit Root Test and Support Vector Regression
Dynamic Simulation Research on Hydraulic System of Backhoe Dredger Excavator
Investigation on Mobility Model in Opportunistic Network
StrongUpdate: An Immediate Dynamic Software Update System for Multi-threaded Applications
Computer-Aided Diagnosis of Ophthalmic Diseases Using OCT Based on Deep Learning: A Review
A Novel Trace Clustering Technique Based on Constrained Trace Alignment
The Simulation and Optimization for Re-entrant Manufacturing System
Social Network Analysis of China Computer Federation Co-author Network
An Improved MST Clustering Algorithm Based on Membrane Computing
High Efficiency Permanent Magnet Synchronous Motor Used in Electric Vehicle
Energy Harvesting Relay Node Deployment for Network Capacity Expansion
With Negative Emotion to Enrich Public Product Experiences Design for Children Hospital
The Method of Urban Intelligent Address Coding Based on Spatiotemporal Semantics
A K-medoids Clustering Algorithm with Initial Centers Optimized by a P System
Identification of Critical Variables for Soft Error Detection
A Novel Load Balancing Algorithm Based on Improved Particle Swarm Optimization in Cloud Computing Environment
Assessing the Visual Discomfort of Compressed Stereoscopic Images Using ERP
Character-Level Attention Convolutional Neural Networks for Short-Text Classification
Three-Dimensional Terrain Modeling and Path Optimization on it Based on Google Earth and ACIS
Fuzzy C-Means Clustering Problem Based on Improved DNA Genetic Algorithm and Point Density Weighting
Utility-Oriented Resource Allocation Scheme in LTE-WLAN Heterogeneous Networks
The Development of Miniature Piezoelectric Vibration Energy Harvesting System
A Deep Reinforcement Learning Approach Towards Computation Offloading for Mobile Edge Computing
Exploring Psycholinguistic Differences Between Song and Ming Emperors Bases on Literary Edicts
Online Social Network User Behavior Analysis - With RenRen Case
Anti-data Mining on Group Privacy Information
Single Image Super-Resolution by Parallel CNN with Skip Connections and ResNet
A Study on Depression Detection Using Eye Tracking
Knowledge Graph Embedding by Translation Model on Subgraph
A Study of Optimal Multi-server System Configuration with Variate Deadlines and Rental Prices in Cloud Computing
A Personalized Sensitive Label-Preserving Model and Algorithm Based on Utility in Social Network Data Publishing
A Dictionary Learning Method Based on Self-adaptive Locality-Sensitive Sparse Representation
Cultural Psychology Analysis on Ancient Chinese Archive
Image Classification Algorithm for Transmission Line Defects Based on Dual-Channel Feature Fusion
A Composite Anomaly Detection Method for Identifying Network Element Hitches
Energy-Efficient Independent Task Scheduling in Cloud Computing
Matching User Accounts Across Social Networks Based on LDA Model
Application of 4D-VR Technology in the Management of Large-Scaled Scientific Project
Evaluation of Cognitive Awareness Based on Dual Task Situation
Development of Virtual Reality-Based Rock Climbing System
Machine Learning in Short Video APP User Activity Prediction
Mu-En: Multi-path of Entity Recommendation Based on Path Similarity
Research and Optimization of the Cluster Server Load Balancing Technology Based on Centos 7
An Improved Collaborative Filtering Algorithm Based on Filling Missing Data
Global Anomaly Detection Based on a Deep Prediction Neural Network
The Study of Cross Networks Alarm Correlation Based on Big Data Technology
An Assistant Decision-Supporting Method for Urban Transportation Planning over Big Traffic Data
Hybrid Resource Provisioning for Workflow Scheduling in Cloud Computing
Using Entropy for Trust Measure in Collaborative Filtering
Optimization of Node Deployment in Wireless Sensor Networks Based on Learning Automata
Invulnerability Analysis for SDN Based on Complex Network Theory
A Distributed Self-adaption Cube Building Model Based on Query Log
Quantitative Relationship Between Achievement Motivation and Game Behavior Based on Structural Equation Model
Cubic Spline Smoothing Algorithm for General Aviation Track
The Psychological Characteristics Changes Analysis of Su Shi Before and After the Wutai Poetry Case - - Based on the CC-LIWC
Research on the Tracing of Aquatic Products Production Based on PDA
Visualization Analysis for Big Data in Computational CyberPsychology
Research on the Design Method of the Command Simulation Training System
Campus Building Energy Usage Analysis and Prediction: A SVR Approach Based on Multi-scale RBF Kernels
The Associated Algorithm of Target Batch Number Based on Gaussian Mixture Clustering
The Influence of the Reform of Entrance Examination on University Development
A Robust Optimization Model for Closed-Loop Supply Chain Network Under Uncertain Returns
Research and Implementation of Neighbor Management Mechanism in Communication Level of General Routing Architecture Based on Quagga
Efficient Multiple-Reference Temporal Error Concealment Algorithm Based on H.264/AVC
Network Traffic Prediction Based on Wavelet Transform and Genetic Algorithm
What Is Semantically Important to "Donald Trump"?
Numerical Algorithm of Non-circular Gear's Tooth Profile Based on Jarvis March
The Energy Efficiency Research of Traffic Offloading Mechanism for Green Heterogeneous Networks
Software Component Library Management Mechanism for Equipment Parts Service Value-Net
A Fast Local Image Descriptor Based on Patch Quantization
Face Recognition Based on Deep Learning
Research on the Elements of Future Holographic Scene Design Based on Card Sorting-Fuzzy Comprehensive Evaluation Method
A General Rating Recommended Weight-Aware Model for Recommendation System
Study on Double Piezoelectric Layers Driven Pump Based on MEMS and 3D Printing
Local Homogeneous Weighted Spiking Neural P Systems
Crowdsourcing and Stigmergic Approaches for (Swarm) Intelligent Transportation Systems
Multi-objective Optimization of E-commerce Logistics Warehouse Layout Based on Genetic Algorithm
Adaptive Modeling and Research of Indoor and Outdoor Wireless Signal
Magnetic Circuit Design of Galfenol Composite Cantilever
Keywords Popularity Analysis Based on Hidden Markov Model
Emotion Detection from Natural Walking
Design and Implementation of Energy Saving Monitoring and Management System on Campus Based on Internet of Things Technology
Energy Efficiency MapReduce Job Scheduling of Shuffle and Reduce Phases in Data Center
Psychological Semantic Differences of Zhang Juzheng Before and After DuoQing Event
A Flexible Film Thermocouple Temperature Sensor
An Automatic Segmentation Method of Popular Music Based on SVM and Self-similarity
Searching Parameter Values in Support Vector Machines Using DNA Genetic Algorithms
Fault Diagnosis Method of Automatic Sorter Equipment Based on Association Rules
Analysis and Estimate the Effect of Knowledge on Software Reliability Distribution
A Study on Attention Allocation of Psychological Distress Students Based on Eye Movement Data Analysis
SSSP on GPU Without Atomic Operation
Research on the Construction of Sharing Service Model in Fresh E-commerce Cold Storage