yusuke1997/dblp-id-title huggingface dataset:
An automated segmentation model based on CBAM for MR image of glioma tumors
Abalone counting based on improved Faster R-CNN
Application of Data Encryption Technology in Computer Network Security
The Diagnosis of Parkinson's Disease Based on Gait, Speech Analysis and Machine Learning Techniques
Design Development and Application of Mobile Epidemic Prevention and Isolation Treatment System
Optimization of E-commerce Website Structure based on Particle Swarm Optimization and Genetic Algorithm
A method for extracting physiological parameters of anesthetic patients based on video
An atrium segmentation network with location guidance and siamese adjustment
Application Scenario based Design of the Health Code Platform
An Interpretable Deep Learning System for Automatic Intracranial Hemorrhage Diagnosis with CT Image
Automatic pulmonary organ and small nodule segmentation in CT scans: basing on k-means and DU-Net++
Rapid multiplexed detection of cytokines with microfluidic chip
A study of brain mechanisms by which light affects theta bands in working memory
Application of K-means clustering based on artificial intelligence in gene statistics of biological information engineering
Establishment of Edible Fungus Poverty Alleviation Wisdom Platform
The Anti-tumor Effects of Ultrasonic Mechanical Force on human liver cancer cells
Curative Effect of Tongyu Decoction on Neurological Deficit and Rehabilitation Effect of Patients with Cerebral Hemorrhage in Recovery Period
Sparse Reconstruction of Magnetic Resonance Images based on Dictionary Learning: Preparation of Camera-Ready Contributions to SCITEPRESS Proceedings
Research on Medical Artificial Intelligence in the Diagnosis of Periodontitis
Mixed Use of Structural Particles Inhibits Cognitive Processes in Chinese Reading: Evidences from Eye Movements
Forecasting CO2 Emission from Thermal Power Production in Beijing-Tianjin-Hebei by Using GM (1, 1) Model
Building Structured Patient Follow-up Records from Chinese Medical Records via Deep Learning
A Big Data Platform Tourism Price Strategy Method with Map/Reduce
Caching and Prefetching Strategy for Web-Based Medical Image Visualization System
Research on Chinese multi-documents automatic summarizations method based on improved TextRank algorithm and seq2seq
Promotion of Marketing Efficiency of SMEs Based on Big Data
Research on the Design of Medical Big Data Task Scheduling Based on SOS Algorithm: Preparation of Camera-Ready Contributions to SCITEPRESS Proceedings
Study on the calibration method of ultrasonic endoscope
Simulation Analysis of Biomechanical Properties of Knee Joint at Key Moment of Gait Cycle
An improved scattering correction method for model analysis of cone-beam CT
Design and Kinematics Analysis of Cervical Traction Rehabilitation Mechanism Based on 3-SPR
Forest fire modeling and analysis based on K-means clustering algorithm and time series forecasting
SplitMorph: A dynamically enhanced liver image registration network based on feature separation fusion
Nailfold Capillary Segmentation Based on U-Net and Attention Mechanism
Study on individual identification method of cow based on CD-YOLOv7
Empirical Evidence of the Effects of Parkinson's Disease and Rapid Eye Movement Sleep Behavior Disorder on Reading and Speech Ability
A new fusion model for anomaly detection of gas data
HRGF-GapCloser: A gap filling method base on HiFi read and read clustering
Video-based multi-scene cow pose estimation
A Hybrid Intelligent Classification System for Geriatric Frailty Syndrome Prevention and Control
EEG Recognition of Epilepsy Based on Spiking Recurrent Neural Network
Calibration Procedure for Radio Frequency Ablation Instruments
Genomic Relationships and Common Mechanisms across Neurodevelopmental Disorders
Research on the Characteristics of Free-Living Nematode Community in the Dagu Estuary of Qingdao Based on Mathematical and Intelligent Analysis Tools
Application of Convolutional Neural Network in COVID-19 Diagnosis
Predictive Modeling and Feature Analysis for Clinical Prognosis in Hemorrhagic Stroke Patients Using Machine Learning
Exploring the mechanism of acupuncture for ulcerative colitis based on network pharmacology techniques
Recent advances on the application of big data framework based on Hadoop platform
iMSTK-based Microwave Ablation Training System for Liver Tumors
Ecological efficiency in ethnic regions based on super efficiency SBM-Malmquist model
Low-count PET image reconstruction algorithm based on WGAN-GP
Improved ResNet Based on Multidimensional Attention Mechanism for Clinical Assessment of Alzheimer's Disease in the Elderly
Simulation and experimental study of targeting tumor cells with medium frequency and low voltage pulsed electric field
Predicting Synthetic Lethality in Human Cancers via Knowledge Graph Summarization
Donation-Based Crowdfunding Title Classification Based on BERT+CNN
Differential diagnosis of radiation encephalopathy and post-radiation brain tumor recurrence by machine learning models based on contrast-enhanced MRI
Improving Latent Factor Analysis via Self-supervised Signal Extracting
Analysis of preoperative waiting time for day ophthalmic surgery based on data mining
Modeling and Simulation of Temperature Fields in the Process of Pressure-Difference Precooling of Loquats in Multiple Rows of Cartons
MMF-ATAC: A User-friendly Web Server for Multiple Motifs Finding on ATAC-seq Data
An image encryption scheme based on a polynomial complex chaotic system
Study on personalized medical decision support System based on big data
Research on GCN-LSTM Emotion Recognition Algorithm with Attention Mechanism based on EEG
Study on Origin traceability of Chinese Medicine Codonopsis pilosula based on stable isotope Mass Spectrometry and Machine Learning Strategy
Artificial intelligence design of ProteinA-like peptides
Analysis on ozone distribution characteristics and quantative comparison between Chinese satellite navigation ozonesonde and Vaisala ozonesonde
Research on Online Teaching Emotion Detection based on Federated Learning
Application of an improved empirical mode decomposition algorithm in the feature extraction of blood pressure signal in salt-sensitive rats
An Research on Online Counseling Platform Based on the Artificial Intelligence Technology
Prediction of DNA enhancers based on multi-species genomic base model DNABERT-2 and BiGRU network
Tobacco Traceability and Storage Scheme Based on IPFS+ Consortium Chain
Design of virtual interactive platform based on MI-BCI for rehabilitation
Research on the development of a digital conservation system for cultural relics based on image recognition technology
Development of a sign language gesture recognition system based on "RealSense"
Measurement of Accuracy of Distribution of Irradiation of Infant Radiant Warmer Based on a Designed Temperature Test Device
Study on Differential Expression Genes in HCC Based on GEO Database
Deep Learning-based Interpretable Detection Method for Fundus Diseases: Diagnosis and Information Mining of Diseases based on Fundus Photography Images
CO-RCNet: Optimized ResCapsNet for COVID-19 Detection from chest CT scan images
Grading Prediction of Kidney Renal Clear Cell Carcinoma by Deep Learning
Prediction method for college student's mental health state based on association rules
scRFR: imputation of single-cell RNA-seq data based on recurrent feature inference scRFR: scRNA-seq imputation algorithm Image restoration technology applied to scRNA-seq imputation - scRNA-seq imputation algorithm uses recurrent feature inference model
High electric conducting 1D nanomaterial/polymer composite fibers for wearable biomedical sensing system
Convolutional Neural Networks and Raman Spectroscopy for Semi-Supervised Dataset Construction and Transfer Learning Applications in Real-Time Quantitative Detection
Respiration and heartbeat signal separation algorithm using UWB radar platform
A study of time-attention-directed convolutional neural networks in autism
Application of Artificial Intelligence in Medical Imaging Diagnosis
Problem Analysis and Operation Evaluation of Dry Ash Removal System in Coal-fired Power Plant
The Visual Performance of Technology and Philosophy in "Contemporary Art"
Risk Prediction in E-commerce Mobile Payment Based on PSO-SVM
Research on Plant Virus Vector Insects Transmission Model Based on System Dynamics
Comfort evaluation of orthotics based on simulation analysis: Effect of materials on function of orthotics
A Hypertension Risk Prediction Model Based on Improve Random Forest
Visualization analysis of exoskeleton robot applied in rehabilitation field in recent 10 years
Review of the Pathology, Diagnosis and Treatment for Alzheimer's Disease
Research on the Application of BIM in Building Engineering Management Based on 3 D Model
Model Design of Cross-border E-commerce Overseas Warehouse Location Selection Based on Game Theory
Common Methods of Image Panoptic Segmentation Based on Deep Learning
Study on the Causal Relationship of Cardiovascular Disease Influencing Factors Based on Bayesian Causal Network
Regulatory Networks of circRNAs and lncRNAs Related to Salt Stress in Populus euphratica Oliv. heteromorphic leaves
Premature beats detection using a convolution neural network based on the frequency channel attention module
Comparison of Picard Versions for Analyzing functional Magnetic Resonance Imaging Data
Privacy-preserving With Sonification For Training of Convolutional Deep Neural Networks for Melanoma Diagnosis
Computation of brittle phase field fracture by the quadrature element method
Research on Electric Stimulation System from the Angle of Control Mode
The effect of ethanol on B-DNA in salt solution through Molecular Dynamics Simulations
Application of Bayesian network and non-additivity principle in analyzing dam break risk
Research on Recommendation Algorithm Based on Knowledge Graph
Research on IOT in the environment of intelligent support for the aged
Data-driven surrogate model with a novel active learning strategy for failure probability estimation
LSPR spectrometer integrated software system: advanced data processing algorithms for biosensing
An Illustration of the False Memory Process Based on The Artificial Neural Networks Model
An Improved Semantic Segmentation Method for Retinal OCT Images Based on High-Resolution Network and Polarized Self-Attention Mechanism
Convolutional Hybrid Kernel Network for in-vitro Transcription Factor Binding Sites
Estimate Heart Rate from Recovered Facial Signal
Protein identification and expression regulation mechanism of heterotypic leaves formation in Populus euphratica Oliv
Exploration of the effect of CDC20 in the diagnosis and prognosis of gastric cancer patients from a statistical and bioinformatics-based approach
Research on Voiceprint Recognition Technology Based on Deep Neural Network
Research on Dialogue Generation Algorithm Based on Explicit Weighted Context
Construction of Genetic Algorithm Model for Fitness Program Optimization of Middle School Students
Prognostic prediction and analysis of key factors: a study of haemorrhagic stroke based on LGBM regression and structural equation modelling Prognostic Prediction of Haemorrhagic Stroke Factors LGBM Regression and Structural Equation Modelling Analysis
Research of Online Hidden Curriculum Based on Bigdate
A Pedestrian Re-identification Method Based on Joint learning and Feature alignment Neural Network
Research on motor imaging EEG signals based on VMD
Research based on improved AD-Census stereo matching algorithm
Intelligent color matching method that integrates visual aesthetics
Research on perception reconstruction of implantable device based on sensor system
A Breast Ultrasound Tumor Detection Framework Using Convolutional Neural Networks
Identification of Key Genes in the Colorectal Cancer Immune Microenvironment Through Integrated Analysis of Immune Infiltration Algorithms and Single-Cell Transcriptomics
Numerical modeling and Uncertainty analysis of irreversible electroporation in liver tumors
An empirical study on the Relationship between Industrial Structure and Carbon Trading Market in Jiangsu Province
The Application of EMG and Machine Learning in Human Machine Interface
Review on Early Biomarkers for Alzheimer's Disease Based on Electroencephalography (EEG) and Event-Related Potentials (ERP's)
Research on Ultrasonic Image Segmentation of Thyroid Nodules Based on Improved U-net++
Effect of Jiawei Yiqi Congming Decoction Combined with Acupuncture on Cervical Vertigo with Deficiency of Qi and Blood
Using machine learning technology to identify platelet and megakaryocyte types in single-cell transcriptome data
URAMDS: Utterances Relation Aware Model for Dialogue Summarization: A Combined Model for Dialogue Summarization
Speech Assistant System for anesthesia Surgery based on Intelligent Decision Algorithm
Exploring Compatibility Laws in Traditional Chinese Medicine Prescriptions Through Data Mining
SRKnot: Predicting RNA pseudoknot structure based on a stem replacement method Predicting RNA pseudoknot structure
A Cooperative Co-evolution Algorithm for Fuzzy Production Planning and Scheduling in Prefabricated Building Construction
Focal EEG recognition combining LMD and deep reinforcement learning
Lightweight Facial Expression Recognition Network with Dynamic Deep Mutual Learning
Tooth Segmentation from Cone Beam Computed Tomography using Skeleton-guided V-Net
Carbon Emission Forecast of Electric Power Industry Based on Lasso and IPSO-BP Neural Network Model
A Speech-Driven 3-D Tongue Model with Realistic Movement in Mandarin Chinese
Personality recognition based on ECG in response to VR emotional stimuli
Predicting Center of Pressure Velocity Based on Regional Plantar Force in Elderly Men Using Artificial Neural Networks
Initial Results of CT Volume Metal Artifacts Reduction based on 3D U-net
Study on the Effect of Virtual Landscape on Stress Relief of College Students
A Spatio-temporal Feature Fusion Network for Intelligent Analysis of Breast Cancer Contrast-Enhanced Ultrasound Video
Identification of stimulus-response relations for cultured neuronal networks using features of multiple temporal resolution levels
Rescheduling affected operations - a purely predictive approach
Augmenting Petri nets to model health-care protocols
Distributed state estimation for hybrid and discrete event systems using l-complete approximations
Supremal normal sublanguages in hierarchical supervisory control
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010
Model Checking on Fault Diagnosis Graph
Modeling of interval P-time Petri nets using dioid algebra
Reduced-complexity verification for initial-state opacity in modular discrete event systems
Algebraic synthesis of logical controllers despite inconsistencies in specifications
Preserving opacity on Interval Markov Chains under simulation
Rotary-wing UAV mission planning aided by supervisory control
Sensor placement for distinguishability in continuous timed Petri nets
A twin-plant based approach for diagnosability analysis of intermittent failures
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications
A customizable railway benchmark to deal with fault diagnosis issues in DES
An identification technique for timed event systems
Resource planning of intermodal terminals using timed Petri nets
Exploiting symmetry of state tree structures for discrete-event systems with parallel components
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations
Automatic Partitioning of DES Models for Distributed Fault Diagnosis Purposes
Priced discrete Automata for modeling energy efficient manufacturing systems
Analysis of a Serial Production Line with Single Part-Type and Multiple Parallel-Machine Workstations
Decentralized κ-diagnosability of Petri nets
Supervisory control for modal specifications of services
On the geometry of switching manifolds for autonomous hybrid systems
A non-linear set-membership approach for the control of discrete event systems
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
Automated Generation of Models of Activities of Daily Living
Control of cyclically operated high-throughput screening systems
Modeling and control of legged locomotion via switching max-plus systems
Solving a class of discrete event simulation-based optimization problems using "optimality in probability"
Detectability in Stochastic Discrete Event Systems
Decentralized control of product (max+)-automata using coinduction
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components
Supervisory controller synthesis for decomposable deterministic context free specification languages
Communication rate analysis for event-based state estimation
Supervisory control based on multi-face modelling of discrete event systems
Real-time control with parametric timed reachability games
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems
A Timed Petri Nets Model for Intermodal Freight Transport Terminals
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness
Coordination of resources using generalized state-based requirements
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively
On Relative Observability of Timed Discrete-Event Systems
Modelling and analyzing home care plans using high-level Petri nets
What topology tells us about diagnosability in partial order semantics
Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparation
Receding-horizon control for max-plus linear systems with discrete actions using optimistic planning
On algorithms and extensions of coordination control of discrete-event systems
Sample Path Sharing in Policy Improvement for Indoor Air Temperature Control
Faults prognosis using partially observed stochastic Petri nets
Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols
Marking homothetic monotonicity and fluidization of untimed Petri nets
On almost-sure properties of probabilistic discrete event systems
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets
Series Expansion Techniques for Fast Evaluation of Acyclic Finite-Capacity Queueing Networks
Sampled-data supervisory control
Fault-tolerant control of deterministic I/O automata with ambiguous diagnostic result
Techniques for the parametrization of discrete-event system templates
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
Evaluation of Response Time Bounds in Producer/Consumer Networked Control Systems Using (Max, +) Algebra
A Series Expansion Approach to Risk Analysis of an Inventory System with Sourcing
Multi-robot path planning for syntactically co-safe LTL specifications
Model Checking Logical Regulatory Networks
On-line detection and sensor activation for discrete event systems
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
Concolic test generation for PLC programs using coverage metrics
SIC-testability of sequential logic controllers
Structural and generic conditions for controllability of timed continuous Petri nets
Event excitation for event-driven control and optimization of multi-agent systems
Approximate event-based optimization for evacuation
Efficient computation of observer projections using OP-verifiers
Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets
A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems
Estimating distribution sensitivity using generalized likelihood ratio method
On-line scheduling in multiprocessor systems based on continuous control using Timed Continuous Petri Nets
Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets
Diagnosability of repairable faults
Timing-dependent boundedness and liveness in continuous Petri nets
On the solution of max-plus linear equations with application on the control of TEGs
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis
A compositional approach for verifying hierarchical interface-based supervisory control
An optimized algorithm for diagnosability of component-based systems
On intrinsically live structure of a class of generalized Petri nets modeling FMS
An Active Controller Based on Parikh Vectors
Turbo planning
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets
Robustness of synchronous communication protocols with bounded delay for decentralized discrete-event control
Modular specification of forbidden states for supervisory control
LTL planning in dynamic environments
Explicit storage and analysis of billions of states using commodity computers
Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light Controllers
Fail-safe signalization design for a railway yard: A level crossing case
On/off control with observer's state feedback for continuous timed Petri nets
Probabilistic system opacity in discrete event systems
Deadlock Analysis of Generalized Parameterized Discrete Event Systems
Coarsest controllability-preserving plant minimization
IPA in the loop: Control design for throughput regulation in computer processors
Programming a fast explicit conflict checker
Robust diagnosability of discrete event systems subject to intermittent sensor failures
Incremental discrete controller synthesis for communicating systems based on modular decomposition
Control Design of Timed Petri Nets Via Model Predictive Control with ContPNs
A model of distributed key generation for industrial control systems
Model predictive control for stochastic switching max-plus-linear systems
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems
Pattern Mining for Predicting Critical Events from Sequential Event Data Log
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors
Computation of Supervisors for Fault-Recovery and Repair for Discrete Event Systems
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths
An approximation approach for model predictive control of stochastic max-plus linear systems
Identification of labeled Time Petri nets
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems
Max-plus linear observer: Application to manufacturing systems
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study
Linear programming techniques for analysis and control of batches Petri nets
Google's PageRank algorithm for ranking nodes in general networks
Analysis of partially observed recursive tile systems
Use of a metric in supervisory control of probabilistic discrete event systems
Control of an engineering-structured multilevel discrete-event system
Active identification of Petri net models
Supervisor computation and representation: A case study
Runtime Enforcement of Parametric Timed Properties with Practical Applications
Optimization of parametric policies of Markov decision processes under a variance criterion
Bounded sensor failure tolerant supervisory control
Modular supervisory control of networked discrete-event systems
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules
Designing Smart Homes Dedicated to Disabled People Using Modular Discrete Controller Synthesis
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems
A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata