2025
An algorithm for indoor positioning based on LightGBM + ExtraTrees chaotic weighted ensemble: evaluation and comparison.
J. Supercomput., May, 2025
Distributed Deep Reinforcement Learning-Based Gradient Quantization for Federated Learning Enabled Vehicle Edge Computing.
IEEE Internet Things J., March, 2025
2024
Hierarchical classification of early microscopic lung nodule based on cascade network.
Health Inf. Sci. Syst., December, 2024
HCGNet: A Hybrid Change Detection Network Based on CNN and GNN.
IEEE Trans. Geosci. Remote. Sens., 2024
CBSASNet: A Siamese Network Based on Channel Bias Split Attention for Remote Sensing Change Detection.
IEEE Trans. Geosci. Remote. Sens., 2024
Progressive Complementation Network With Semantics and Details for Salient Object Detection in Optical Remote Sensing Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024
Optimizing Age of Information in Internet of Vehicles Over Error-Prone Channels.
CoRR, 2024
Blockchain-Enabled Variational Information Bottleneck for Data Extraction Based on Mutual Information in Internet of Vehicles.
CoRR, 2024
Anti-Byzantine Attacks Enabled Vehicle Selection for Asynchronous Federated Learning in Vehicular Edge Computing.
CoRR, 2024
2023
Jamming Policy Generation via Heuristic Programming Reinforcement Learning.
IEEE Trans. Aerosp. Electron. Syst., December, 2023
Machine learning for predicting the risk stratification of 1-5 cm gastric gastrointestinal stromal tumors based on CT.
BMC Medical Imaging, December, 2023
Cross-Chain Trusted Service Quality Computing Scheme for Multichain-Model-Based 5G Network Slicing SLA.
IEEE Internet Things J., July, 2023
A Sparse Protocol Parsing Method for IIoT Based on BPSO-vote-HMM Hybrid Model.
IEEE/ACM Trans. Netw., April, 2023
Mobility-Aware Cooperative Caching in Vehicular Edge Computing Based on Asynchronous Federated and Deep Reinforcement Learning.
IEEE J. Sel. Top. Signal Process., January, 2023
Slow-Time Ambiguity Function Shaping With Spectral Coexistence for Cognitive Radar.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023
Radar Operation Mode Recognition via Multifeature Residual-and-Shrinkage ConvNet.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023
Transmit Beampattern Design with Similarity and Variable Modulus Constraints for MIMO Radar.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023
MIMO Radar Transmit Beampattern Design Based on Neural Network Under Similarity and Constant Modulus Constraints.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023
An Entity Relation Extraction Algorithm Incorporating Multi-Attention Mechanisms and Remote Supervision.
Proceedings of the 2023 8th International Conference on Intelligent Information Processing, 2023
An Efficient and Verifiable Polynomial Cross-chain Outsourcing Calculation Scheme for IoT.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
2022
SwinSUNet: Pure Transformer Network for Remote Sensing Image Change Detection.
IEEE Trans. Geosci. Remote. Sens., 2022
MIMO Radar Waveform Design for Simultaneous Space-Time-Doppler Domain Optimization: Framework and Implementation.
IEEE Trans. Geosci. Remote. Sens., 2022
Opto-Mechatronics System for Train-Track Micro Deformation Sensing.
Sensors, 2022
A Cross-Chain Trusted Reputation Scheme for a Shared Charging Platform Based on Blockchain.
IEEE Internet Things J., 2022
Asynchronous Federated Learning for Edge-assisted Vehicular Networks.
CoRR, 2022
High stable and accurate vehicle selection scheme based on federated edge learning in vehicular networks.
CoRR, 2022
Towards V2I Age-aware Fairness Access: A DQN Based Intelligent Vehicular Node Training and Test Method.
CoRR, 2022
SUMLP: A Siamese U-shaped MLP-based network for change detection.
Appl. Soft Comput., 2022
Asynchronous Federated Learning Based Mobility-aware Caching in Vehicular Edge Computing.
Proceedings of the 14th International Conference on Wireless Communications and Signal Processing, 2022
Mimo Radar Beampattern Design with Ripple Control and Similarity Constraints.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022
Cognitive Radar Waveform Design with Ambiguity Function Shaping under Spectrum Coexistence.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022
Operation Mode Recognition of Airborne Radar Based on Multi-Feature Fusion RS-ConvNet.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022
Anti-Clutter Waveform Design of Airborne Radar Short-Time Pulse Train Signal.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022
2021
Advances in the Application of the Dual Fluoroscopic Imaging System in Sports Medicine: A Literature Review.
J. Medical Imaging Health Informatics, 2021
Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic.
Proceedings of the National Cyber Summit (NCS) Research Track 2021, 2021
Designing Waveform with Desired Autocorrelation Properties for Cognitive Radar Target Detection.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
2019
Effects of Annealing on Microstructure and Mechanical Properties of Metastable Powder Metallurgy CoCrFeNiMo<sub>0.2</sub> High Entropy Alloy.
Entropy, 2019
A learning approach to link adaptation based on multi-entities Bayesian network.
Clust. Comput., 2019
Enforcing Secure Coding Rules for the C Programming Language Using the Eclipse Development Environment.
Proceedings of the National Cyber Summit, 2019
Eye Focus Detection Based on OpenCV.
Proceedings of the 6th International Conference on Systems and Informatics, 2019
Aspect Level Sentiment Classification Based on Double Attention Mechanism.
Proceedings of the EBIMCS 2019: 2nd International Conference on E-Business, 2019
2018
A Novel Mach-Zehnder Interferometer Using Eccentric-Core Fiber Design for Optical Coherence Tomography.
Sensors, 2018
An early detection tool in Eclipse to support secure coding practices.
Int. J. Inf. Priv. Secur. Integr., 2018
Performance evaluation of the V2I fair access with a finite retry limit.
EURASIP J. Wirel. Commun. Netw., 2018
A Swarming Approach to Optimize the One-hop Delay in Smart Driving Inter-platoon Communications.
CoRR, 2018
Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.
Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018
2017
China's international research collaboration: evidence from a panel gravity model.
Scientometrics, 2017
Method for Detecting the Inside of Coke Drum Using Acoustic Signals.
J. Sensors, 2017
Distributed Kalman consensus filter with event-triggered communication: Formulation and stability analysis.
J. Frankl. Inst., 2017
Target tracking over distributed sensor networks by polar measurements with time-varying bias.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
An efficient CGA algorithm against DoS attack on duplicate address detection process.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2016
Person re-identification based on deep spatio-temporal features and transfer learning.
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016
Fast pedestrian detection based on object proposals and HOG.
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016
A Voronoi-Based Dummy Generation Algorithm for Privacy-Aware Location-Based Services.
Proceedings of the IEEE First International Conference on Data Science in Cyberspace, 2016
2014
An intelligent algorithm based on neural network for combinatorial optimization problems.
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014
2013
2-SQUARE: A Web-Based Enhancement of SQUARE Privacy and Security Requirements Engineering.
Int. J. Softw. Innov., 2013
2012
On cubic non-Cayley vertex-transitive graphs.
J. Graph Theory, 2012
Linearizability Problem of Resonant Degenerate Singular Point for Polynomial Differential Systems.
J. Appl. Math., 2012
Hamilton paths in vertex-transitive graphs of order 10p.
Eur. J. Comb., 2012
Bifurcation of limit cycles and pseudo-isochronous center at degenerate singular point in a septic system.
Appl. Math. Comput., 2012
Bit-plane image coding algorithms based on compressed sensing.
Proceedings of the Fourth International Conference on Digital Image Processing, 2012
2011
The generalized center problem of resonant infinity for a polynomial differential system.
Comput. Math. Appl., 2011
FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011
An Effective Ant Colony Algorithm for Graph Planarization Problem.
Proceedings of the Bio-Inspired Computing and Applications, 2011
A Saturation Binary Neural Network for Bipartite Subgraph Problem.
Proceedings of the Bio-Inspired Computing and Applications, 2011
Design of the control system for hydraulic experimental bench based on LabVIEW.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
Analysis of the regenerative brake system parameters for concrete mixing truck basded on AMESim.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
3G Technology in the engineering disciplines of higher vocational education.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
A Saturation Binary Neural Network for Crossbar Switching Problem.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011
Modified Deterministic Packet Marking for DDoS Attack Traceback in IPv6 Network.
Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011
2010
A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages.
J. Object Technol., 2010
A note on the automorphism groups of cubic Cayley graphs of finite simple groups.
Discret. Math., 2010
Formal Specification of Software Architecture Security Tactics.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Efficient Transaction Nesting in Hardware Transactional Memory.
Proceedings of the Architecture of Computing Systems, 2010
2009
Automorphisms of cubic Cayley graphs of order 2pq.
Discret. Math., 2009
2008
Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis.
J. Object Technol., 2008
Improving performance of intrusion detection system by applying a new machine learning strategy.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
2006
Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach.
J. Object Technol., 2006
Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z.
Proceedings of the 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, 2006
2005
Support for Design by ContractTM in the C<sup>TM</sup> Programming Language.
J. Object Technol., 2005
2004
Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004
Formal Reasoning About Intrusion Detection Systems.
Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004
2003
Formal Semantic Specification for a Set of UML Diagrams.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
2002
The Design of a Dataflow Computer, it's Language and It's Implementation.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
1999
Formal Verification of a Programming Logic for a Distributed Programming Language.
Theor. Comput. Sci., 1999
LVT: A Layered Verification Technique for Distributed Computing Systems.
Softw. Test. Verification Reliab., 1999
Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1997
Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997
Verification of a Distributed Computing.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
1996
Towards Applying the Composition Principle to Verify a Microkernel Operating System.
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
1995
A Hierarchical Method for Reasoning about Distributed Programming Languages.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995
1993
An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing.
Int. J. Softw. Eng. Knowl. Eng., 1993
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
A Knowledge Processing Language and Its Parallel Inference System.
Proceedings of the SEKE'93, 1993