2025
Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets.
IEEE CAA J. Autom. Sinica, January, 2025
LLM-AutoDiff: Auto-Differentiate Any LLM Workflow.
CoRR, January, 2025
Opacity enforcement in discrete event systems using differential privacy.
Inf. Sci., 2025
2024
Joint Task Allocation and Computation Offloading in Mobile Edge Computing With Energy Harvesting.
IEEE Internet Things J., December, 2024
Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses.
IEEE Trans Autom. Sci. Eng., October, 2024
Fuzzy Prediction Model in Privacy Protection: Takagi-Sugeno Rules Model via Differential Privacy.
IEEE Trans. Fuzzy Syst., June, 2024
How information propagation in hybrid spaces affects decision-making: using ABM to simulate Covid-19 vaccine uptake.
Int. J. Geogr. Inf. Sci., June, 2024
Cyber-physical internet based intelligent operation platform for off-site construction supply chain management.
Enterp. Inf. Syst., June, 2024
Brain tumour segmentation framework with deep nuanced reasoning and Swin-T.
IET Image Process., May, 2024
Estimating and testing sequential causal effects based on alternative G-formula: an observational study of the influence of early diagnosis on survival of cardia cancer.
Commun. Stat. Simul. Comput., April, 2024
A Real-Time Monitoring Method for Droplet Transfer Frequency in Wire-Filled GTAW Based on Arc Sensing.
Sensors, March, 2024
Adjacent initial states-based differential privacy for probabilistic labeled Petri nets.
Expert Syst. Appl., March, 2024
Big Data Analysis and Digital Sharing Research on Innovation and Entrepreneurship Education in the Digital Economy Era.
Scalable Comput. Pract. Exp., 2024
Fuzzy information recognition and translation processing in English interpretation based on a generalized maximum likelihood ratio algorithm.
PeerJ Comput. Sci., 2024
Application of computer information management system in universities in the information age.
J. Comput. Methods Sci. Eng., 2024
Identification of labeled Petri nets from finite automata.
Inf. Sci., 2024
Quantifying opacity of discrete event systems modeled with probabilistic Petri nets.
Inf. Sci., 2024
Enhanced Multi-Object Tracking Using Pose-based Virtual Markers in 3x3 Basketball.
CoRR, 2024
Hierarchical spatial attention-based cross-scale detection network for Digital Works Supervision System (DWSS).
Comput. Ind. Eng., 2024
Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata.
IEEE Access, 2024
HyperMix: Out-of-Distribution Detection and Classification in Few-Shot Settings.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Deep Reinforcement Learning Enabled Model for Green Last-mile Delivery in MiC Construction.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
2023
A hybrid electricity load prediction system based on weighted fuzzy time series and multi-objective differential evolution.
Appl. Soft Comput., December, 2023
Liveness enforcement for production systems modeled by time Petri nets.
Inf. Sci., November, 2023
Short-term PV power forecasting based on time series expansion and high-order fuzzy cognitive maps.
Appl. Soft Comput., March, 2023
X-Net: a dual encoding-decoding method in medical image segmentation.
Vis. Comput., 2023
Making Transportation Systems in U.S. Cities Smarter and More Inclusive: A Synthesis of Challenges and Evaluation of Strategies.
ISPRS Int. J. Geo Inf., 2023
Ontology based package design in fresh E-Commerce logistics.
Expert Syst. Appl., 2023
An Intrusion Detection Model Based on Random Tree Algorithm with Dimensionality Reduction and Oversampling.
J. Comput. Inf. Technol., 2023
Robust Diagnosability Analysis Using Basis Reachability Graph.
IEEE Access, 2023
An Energy-Efficient Gain-Cell Embedded DRAM Design with Weight Encoding for CNN Applications.
Proceedings of the IEEE International Conference on Integrated Circuits, 2023
Design and Simulation of Dipole Antenna Array for Microwave-induced Thermoacoustic Imaging.
Proceedings of the 3rd International Conference on Electronic Information Technology and Smart Agriculture, 2023
2022
Information propagation on cyber, relational and physical spaces about covid-19 vaccine: Using social media and splatial framework.
Comput. Environ. Urban Syst., 2022
Dynamic Impedance Analysis of Intestinal Anastomosis during High-Frequency Electric Field Welding Process.
Sensors, 2022
Game current-state opacity formulation in probabilistic resource automata.
Inf. Sci., 2022
Extending One-Stage Detection with Open-World Proposals.
CoRR, 2022
Incorporating Biterm Correlation Knowledge into Topic Modeling for Short Texts.
Comput. J., 2022
Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity.
Appl. Soft Comput., 2022
PPBAM: A Preprocessing-based Power-Efficient Approximate Multiplier Design for CNN.
Proceedings of the 2022 IEEE International Conference on Integrated Circuits, 2022
Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022
Sylph: A Hypernetwork Framework for Incremental Few-shot Object Detection.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets.
Proceedings of the 8th International Conference on Control, 2022
Liveness Enforcement for Time Petri Nets.
Proceedings of the 8th International Conference on Control, 2022
Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications<sup>*</sup>.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
Multi-objective Automatic Clustering with Gene Rearrangement and Cluster Merging.
Proceedings of the Advances in Intelligent Systems Research and Innovation, 2022
2021
3D DCT Based Image Compression Method for the Medical Endoscopic Application.
Sensors, 2021
Visual Localization of the Tianwen-1 Lander Using Orbital, Descent and Rover Images.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Remote. Sens., 2021
Laryngoscope8: Laryngeal image dataset and classification of laryngeal disease based on attention mechanism.
Pattern Recognit. Lett., 2021
Secrecy Offloading Rate Maximization for Multi-Access Mobile Edge Computing Networks.
IEEE Commun. Lett., 2021
Efficacy of ultrasonography and Tc-99m MIBI SPECT/CT in preoperative localization of parathyroid adenomas causing primary hyperthyroidism.
BMC Medical Imaging, 2021
An automatic clustering method using multi-objective genetic algorithm with gene rearrangement and cluster merging.
Appl. Soft Comput., 2021
Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets.
IEEE Access, 2021
A Novel Method for Calculating the Three-phase Unbalanced Shunt Compensation Current in the Low Voltage Distribution Network.
Proceedings of the IECON 2021, 2021
BJTU's Submission to CCMT 2021 Translation Evaluation Task.
Proceedings of the Machine Translation - 17th China Conference, 2021
2020
A framework for extracting urban functional regions based on multiprototype word embeddings using points-of-interest data.
Comput. Environ. Urban Syst., 2020
A novel topic model for documents by incorporating semantic relations between words.
Soft Comput., 2020
Sparse random compressive sensing based data aggregation in wireless sensor networks.
Concurr. Comput. Pract. Exp., 2020
Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting.
IEEE Access, 2020
7.2 A 12nm Programmable Convolution-Efficient Neural-Processing-Unit Chip Achieving 825TOPS.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2020 IEEE International Solid- State Circuits Conference, 2020
An Automatic Clustering Algorithm Using NSGA-II with Gene Rearrangement.
Proceedings of the 10th IEEE International Conference on Intelligent Systems, 2020
Energy Minimization for Mobile Edge Computing Networks with Time-Sensitive Constraints.
Proceedings of the IEEE Global Communications Conference, 2020
Test Suite Generation for Software Reliability Testing Based on Hybrid Musa and Markov Method.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
Parametric Software Defect Patterns Based on Test Perspective.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
2019
An explicit a posteriori error estimations for the cell functional minimization scheme of elliptic problems.
J. Comput. Appl. Math., 2019
Optimal Petri net supervisor synthesis for forbidden state problems using marking mask.
Inf. Sci., 2019
Synthesizing Data to Explore the Dynamic Spatial Patterns of Hotel Development.
ISPRS Int. J. Geo Inf., 2019
A Novel Image Fusion Framework Based on Sparse Representation and Pulse Coupled Neural Network.
IEEE Access, 2019
Diagnosability of Vector Discrete-Event Systems Using Predicates.
IEEE Access, 2019
2018
Natural Frame Control of Single-Phase Cascaded H-Bridge Multilevel Converter Based on Fictive-Phases Construction.
IEEE Trans. Ind. Electron., 2018
Fault Diagnosis in Partially Observed Petri Nets Using Redundancies.
IEEE Access, 2018
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints.
IEEE Access, 2018
2017
Street level urban design qualities for walkability: Combining 2D and 3D GIS measures.
Comput. Environ. Urban Syst., 2017
Optimizing Cruising Routes for Taxi Drivers Using a Spatio-Temporal Trajectory Model.
ISPRS Int. J. Geo Inf., 2017
Maximum-likelihood estimation and presentation for the interaction between treatments in observational studies with a dichotomous outcome.
Commun. Stat. Simul. Comput., 2017
Estimating confidence regions of common measures of the baseline and treatment effect on dichotomous outcome of a population.
Commun. Stat. Simul. Comput., 2017
Simulation model of three-phase PWM rectifier charging station and harmonic analysis on grid.
Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017
2016
Mapping Urban Impervious Surface by Fusing Optical and SAR Data at the Decision Level.
Remote. Sens., 2016
Fault diagnosis in DESs modeled by partially observed Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
Contained: Using Multiplayer Online Games to Quantify Success of Collaborative Group Behavior.
Proceedings of the Twelfth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2016
2015
Study on the relationship between prefix caching and path stretch ratio.
Int. J. Mach. Learn. Cybern., 2015
Housing Abandonment and Demolition: Exploring the Use of Micro-Level and Multi-Year Models.
ISPRS Int. J. Geo Inf., 2015
Data-Aware Partitioning Schema in MapReduce.
Proceedings of the Intelligent Computation in Big Data Era, 2015
2014
A cell functional minimization scheme for domain decomposition method on non-orthogonal and non-matching meshes.
Numerische Mathematik, 2014
2013
Texture feature of remote sensing image for the recognition of hydrothermal uranium ore-field in south China.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013
2012
A GPRS-based wearable electronic thermometric alarm system.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012
Automatic human spermatozoa detection in microscopic video streams based on OpenCV.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012
2011
A Conservative Domain Decomposition Procedure for Nonlinear Diffusion Problems on Arbitrary Quadrilateral Grids.
SIAM J. Sci. Comput., 2011
2010
A cell functional minimization scheme for parabolic problem.
J. Comput. Phys., 2010
TVD finite point method for two-dimensional conservation equation.
Int. J. Comput. Math., 2010
Correlation between delta<sup>13</sup>C and delta<sup>15</sup>N in C<sub>4</sub> and C<sub>3</sub> plants of natural and artificial sand-binding microhabitats in the Tengger Desert of China.
Ecol. Informatics, 2010
High efficiency coupling with stacked MEMS coils.
Proceedings of the 5th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2010
Electro-thermally actuated RF MEMS switch for wireless communication.
Proceedings of the 5th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2010
A New Boussinesq-Based Constructive Method and Application to (2+1) Dimensional KP Equation.
Proceedings of the Information Computing and Applications - International Conference, 2010
2008
Time periodic solutions for a Cahn-Hilliard type equation.
Math. Comput. Model., 2008
Energy-efficient data gathering algorithm in sensor networks with partial aggregation.
Int. J. Sens. Networks, 2008
License Plate Recognition Based on Genetic Algorithm.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Finite element methods for semilinear elliptic stochastic partial differential equations.
Numerische Mathematik, 2007
Generalized method and new exact wave solutions for (2+1)-dimensional Broer-Kaup-Kupershmidt system.
Appl. Math. Comput., 2007
Transmission Scheduling in Sensor Networks via Directed Edge Coloring.
Proceedings of IEEE International Conference on Communications, 2007
BRAHMA: Planning Tool for Providing Storage Management as a Service.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007
2006
SMART: An Integrated Multi-Action Advisor for Storage Systems.
Proceedings of the 2006 USENIX Annual Technical Conference, 2006
An Empirical Exploration of Black-Box Performance Models for Storage Systems.
Proceedings of the 14th International Symposium on Modeling, 2006
2005
CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems.
Proceedings of the 2005 USENIX Annual Technical Conference, 2005
AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005
2004
A Performance Comparison of NFS and iSCSI for IP-Networked Storage.
Proceedings of the FAST '04 Conference on File and Storage Technologies, March 31, 2004
2003
Data-Centric Storage in Sensornets with GHT, a Geographic Hash Table.
Mob. Networks Appl., 2003
Building a Chinese Shallow Parsed TreeBank for Collocation Extraction.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2003
2002
On handoff performance for an integrated voice/data cellular system.
Proceedings of the 13th IEEE International Symposium on Personal, 2002
GHT: a geographic hash table for data-centric storage.
Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, 2002
2001
An Efficient and Adaptive Bandwidth Allocation Scheme for Mobile Wireless Networks Using an On-Line Local Estimation Technique.
Wirel. Networks, 2001
2000
Performance analysis of a dual-threshold reservation (DTR) scheme for voice/data integrated mobile wireless networks.
Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000
A dynamic measurement-based bandwidth allocation scheme with QoS guarantee for mobile wireless networks.
Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000
A new tone conversion method for Mandarin by an adaptive linear prediction analysis.
Proceedings of the Sixth International Conference on Spoken Language Processing, 2000
Server replication and its placement for reliable multicast.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000