2024
Efficient Reinforcement Learning With Impaired Observability: Learning to Act With Delayed and Missing State Observations.
IEEE Trans. Inf. Theory, October, 2024
Algorithms for Square Root of Semi-Infinite Quasi-Toeplitz M-Matrices.
J. Sci. Comput., June, 2024
A Robust Sequential Recommendation Model Based on Multiple Feedback Behavior Denoising and Trusted Neighbors.
Neural Process. Lett., February, 2024
Leukocyte segmentation based on DenseREU-Net.
J. King Saud Univ. Comput. Inf. Sci., 2024
ParaU-Net: An improved UNet parallel coding network for lung nodule segmentation.
J. King Saud Univ. Comput. Inf. Sci., 2024
Formal verification of robustness and resilience of learning-enabled state estimation systems.
Neurocomputing, 2024
Safeguarding Large Language Models: A Survey.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Building Guardrails for Large Language Models.
CoRR, 2024
NetEdit: An Orchestration Platform for eBPF Network Functions at Scale.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ACM SIGCOMM 2024 Conference, 2024
A large-scale deployment of DCTCP.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024
Robot-Grabber Cooperative Localization under Highly Dynamic Clearing Operation of Bulk Carriers.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Position: Building Guardrails for Large Language Models Requires Systematic Design.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Enhancing Older Adults' Motivation for Social Interaction: Exploring Design Principles of Social Media Mobile Applications Through a Self-Determination Theory (SDT) Approach.
Proceedings of the Human Aspects of IT for the Aged Population, 2024
2023
A data mining-based analysis of cognitive intervention for college students' sports health using Apriori algorithm.
Soft Comput., November, 2023
Accurate and Efficient Self-Localization of AGV Relying on Trusted Area Information in Dynamic Industrial Scene.
IEEE Trans. Veh. Technol., June, 2023
The diversity of canonical and ubiquitous progress in computer vision: A dynamic topic modeling approach.
Inf. Process. Manag., May, 2023
Multi-level feature fusion network for nuclei segmentation in digital histopathological images.
Vis. Comput., April, 2023
Adaptive-and-Resolvable Fractional Repetition Codes Based on Hypergraph.
KSII Trans. Internet Inf. Syst., April, 2023
Adaptive Model Predictive Control for Mobile Robots with Localization Fluctuation Estimation.
Sensors, March, 2023
Reference training system for intelligent manufacturing talent education: platform construction and curriculum development.
J. Intell. Manuf., March, 2023
Computing eigenvalues of semi-infinite quasi-Toeplitz matrices.
Numer. Algorithms, January, 2023
Assessing and predicting the quality of peer reviews: a text mining approach.
Electron. Libr., 2023
NeurReview: A Neural Architecture Based Conformity Prediction of Peer Reviews.
IEEE Access, 2023
Poster: Connectivity topology generation with degree limitation for UOWN.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023
Cross-modal meta-learning for WiFi-based human activity recognition.
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023
Characteristic Analysis and Optimal Design of Building Photovoltaic Array Based on Model Analysis.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Virtual Kitakyushu Revitalization Design Based on the Case Study of Immersive Legacies Exhibition in Wellington Museum.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
A Transformer Based Multimodal Fine-Fusion Model for False Information Detection.
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2023
A causal graph-based framework for satellite health monitoring.
Proceedings of the IEEE International Conference on Prognostics and Health Management, 2023
Channel Allocation Scheme Based on NSGA-II for Frequency-Division-Multiplexing UHF RFID System.
IAIC (3), 2023
How Does AI Assist Scientific Research Domains? Evidence Based on 26 Millions Research Articles.
Proceedings of Joint Workshop of the 4th Extraction and Evaluation of Knowledge Entities from Scientific Documents (EEKE2023) and the 3rd AI + Informetrics (AII2023) co-located with the JCDL 2023, 2023
Classifying Packages for Building Linux Distributions.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
A Case Study of an Automatic Package Layering Algorithm for Linux Distributions.
Proceedings of the 2023 4th International Conference on Computing, 2023
SePanner: Analyzing Semantics of Controller Variables in Industrial Control Systems based on Network Traffic.
Proceedings of the Annual Computer Security Applications Conference, 2023
2022
Coverage-Guided Testing for Recurrent Neural Networks.
IEEE Trans. Reliab., 2022
Decoupled Fractional Supertwisting Stabilization of Interconnected Mobile Robot Under Harsh Terrain Conditions.
IEEE Trans. Ind. Electron., 2022
The more we know, the more likely we may agree?
Telematics Informatics, 2022
Privacy-Preserving Blockchain-Based Federated Learning for Marine Internet of Things.
IEEE Trans. Comput. Soc. Syst., 2022
Breast density measurement methods on mammograms: a review.
Multim. Syst., 2022
How Far Can the Message Go Through Online Communication: Simulation Outcomes of Information Stickiness.
J. Glob. Inf. Manag., 2022
MCRNet: Multi-level context refinement network for semantic segmentation in breast ultrasound imaging.
Neurocomputing, 2022
Information Acquisition, Persuasion, and Group Conformity of Online Tribalism: Does User Activeness Matter?
Int. J. E Bus. Res., 2022
PostCom2DR: Utilizing information from post and comments to detect rumors.
Expert Syst. Appl., 2022
Aggregate interactive learning for RGB-D salient object detection.
Expert Syst. Appl., 2022
Massively scalable stencil algorithm.
CoRR, 2022
Accelerating high-order stencils on GPUs.
Concurr. Comput. Pract. Exp., 2022
Bi-TWD: A Unified Attack Detection Framework in Recommender Systems Based on BiLSTM and Three-way Decision.
Proceedings of the IEEE Smartworld, 2022
Scalable Distributed High-Order Stencil Computations.
Proceedings of the SC22: International Conference for High Performance Computing, 2022
Towards Efficient Remote OpenMP Offloading.
Proceedings of the OpenMP in a Modern World: From Multi-device Support to Meta Programming, 2022
Accurate Pose Tracking of Mobile Robot Using Entropy-based TrimICP in Dynamic Environment.
Proceedings of the IECON 2022, 2022
Quantifying Individual Research's Distance from the Trends based on Dynamic Topic Modeling.
Proceedings of the Crisis, Transition, Resilience: Re-imagining an information resilient society, 2022
2021
Efficient and Reliable LiDAR-Based Global Localization of Mobile Robots Using Multiscale/Resolution Maps.
IEEE Trans. Instrum. Meas., 2021
Iterative-learning error compensation for autonomous parking of mobile manipulator in harsh industrial environment.
Robotics Comput. Integr. Manuf., 2021
Connectome-based evidence for creative thinking as an emergent property of ordinary cognitive operations.
,
,
,
,
,
,
,
,
,
,
,
,
NeuroImage, 2021
MGBN: Convolutional neural networks for automated benign and malignant breast masses classification.
Multim. Tools Appl., 2021
Geometric means of quasi-Toeplitz matrices.
CoRR, 2021
An Emotional Intervention System for Children with ASD Based on the First Order Motion Model.
Proceedings of the 2021 IEEE International Conference on Engineering, 2021
An Avatar-Based Personal Pronouns Intervention System for Children with Autism Spectrum Disorder.
Proceedings of the 2021 IEEE International Conference on Engineering, 2021
Porting and Evaluation of a Distributed Task-driven Stencil-based Application.
Proceedings of the PMAM@PPoPP 2021: Proceedings of the Twelfth International Workshop on Programming Models and Applications for Multicores and Manycores, 2021
Using the Semi-Stencil Algorithm to Accelerate High-Order Stencils on GPUs.
Proceedings of the 2021 International Workshop on Performance Modeling, 2021
Algorithms for Approximating Means of Semi-infinite Quasi-Toeplitz Matrices.
Proceedings of the Geometric Science of Information - 5th International Conference, 2021
Evaluation of Distributed Tasks in Stencil-based Application on GPUs.
Proceedings of the 6th IEEE/ACM International Workshop on Extreme Scale Programming Models and Middleware, 2021
An Automated Modeling Method and Visualization Implementation of Smart Contracts.
Proceedings of the Blockchain and Trustworthy Systems - Third International Conference, 2021
2020
Sliding-Mode Disturbance Observer-Based Control for Fractional-Order System with Unknown Disturbances.
Unmanned Syst., 2020
Solving Quadratic Matrix Equations Arising in Random Walks in the Quarter Plane.
SIAM J. Matrix Anal. Appl., 2020
Robust Lateral Stabilization Control of In-Wheel-Motor-Driven Mobile Robots via Active Disturbance Suppression Approach.
Sensors, 2020
On the nonlinear matrix equation Xp=A+MT(X#B)M.
J. Comput. Appl. Math., 2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
CoRR, 2020
CasGCN: Predicting future cascade growth based on information diffusion graph.
CoRR, 2020
Minimod: A Finite Difference solver for Seismic Modeling.
CoRR, 2020
Compensation Module Design for Overlapping Band in Band-Interleaved Data Acquisition Systems Based on Hybrid Particle Swarm Optimization Algorithm.
IEEE Access, 2020
Hybrid Maps Enhanced Localization System for Mobile Manipulator in Harsh Manufacturing Workshop.
IEEE Access, 2020
Anti-Disturbance Direct Yaw Moment Control of a Four-Wheeled Autonomous Mobile Robot.
IEEE Access, 2020
Quadratic Difference Set-Based Quorum Generation Algorithm in Distributed System.
Proceedings of the WSSE 2020: The 2nd World Symposium on Software Engineering, 2020
Asymmetric Barrier Function-based Adaptive Control of a Four-Wheel-Steering Mobile Robot<sup>*</sup>.
Proceedings of the 2020 IEEE Region 10 Conference, 2020
An Efficient and Robust Approach to Solve the Kidnapped Robot Problem Considering Time Variation.
Proceedings of the 2020 IEEE Region 10 Conference, 2020
Fast and Reliable Global Localization Using Reflector Landmarks.
Proceedings of the 2020 IEEE Region 10 Conference, 2020
Path Planning of Composite Trackless AGV Considering Map Preprocessing<sup>*</sup>.
Proceedings of the 2020 IEEE Region 10 Conference, 2020
Improved Double-tree RRT* Algorithm for Efficient Path Planning of Mobile Robots.
Proceedings of the 2020 IEEE Region 10 Conference, 2020
Accelerating High-Order Stencils on GPUs.
Proceedings of the 2020 IEEE/ACM Performance Modeling, 2020
Evaluating Performance of OpenMP Tasks in a Seismic Stencil Application.
Proceedings of the OpenMP: Portable Multi-Level Parallelism on Modern Systems, 2020
Coupled Sliding Mode Control of an Omnidirectional Mobile Robot with Variable Modes<sup>*</sup>.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020
Accurate LiDAR-based Localization in Glass-walled Environment.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020
Inverse Decoupling-based Direct Yaw Moment Control of a Four-wheel Independent Steering Mobile Robot.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020
2019
Reliable and Fast Localization in Ambiguous Environments Using Ambiguity Grid Map.
Sensors, 2019
Weighted Spatial Pyramid Matching Collaborative Representation for Remote-Sensing-Image Scene Classification.
Remote. Sens., 2019
Backward error analysis for linearizations in heavily damped quadratic eigenvalue problem.
Numer. Linear Algebra Appl., 2019
Reproducibility of functional brain alterations in major depressive disorder: Evidence from a multisite resting-state functional MRI study with 1, 434 individuals.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
NeuroImage, 2019
Fault-Tolerant Dynamic Control of a Four-Wheel Redundantly-Actuated Mobile Robot.
IEEE Access, 2019
Theory of Quantization-Interleaving ADC and Its Application in High-Resolution Oscilloscope.
IEEE Access, 2019
Reconstruction Strategy for Bandwidth-Interleaved Acquisition System with Overlapping Band.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019
An Experiment of Using Portable Lab in Improving Learning Effectiveness in an MCU Course.
Proceedings of the 14th International Conference on Computer Science & Education, 2019
Explicit analysis of subADCs mismatch errors in band-interleaved ADC systems.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019
Carrier Frequency Offset Estimation Based on Twice FFT Matrix Algorithm.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019
Trajectory Tracking of a 4wis4wid Robot Using Adaptive Receding Horizon Control Based on Neurodynamics Optimization.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019
A Convenient Pose Measurement Method of Mobile Robot Using Scan Matching and Eye-in-Hand Vision System.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019
An Improved Observation Model for Monte-Carlo Localization Integrated with Reliable Reflector Prediction<sup>*</sup>.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019
A Fast Path Planning Method for Mobile Robot Based on Voronoi Diagram and Improved D* Algorithm.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019
2018
Hybrid Collaborative Representation for Remote-Sensing Image Scene Classification.
Remote. Sens., 2018
Condition Numbers and Backward Error of a Matrix Polynomial Equation Arising in Stochastic Models.
J. Sci. Comput., 2018
Data Offloading for Deadline-Varying Tasks in Mobile Edge Computing.
Proceedings of the 2018 IEEE SmartWorld, 2018
Utilizing Narrative Text from Electronic Health Records for Early Warning Model of Chronic Disease.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Service Migration for Deadline-Varying User-Generated Data in Mobile Edge-Clouds.
Proceedings of the 2018 IEEE World Congress on Services, 2018
2D Otsu Segmentation Algorithm Improvement Based on FOCPSO.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018
2017
Microbubble generation and trapping induced by femtosecond laser and acoustic signal analysis.
Traitement du Signal, 2017
The positive definite solution of the nonlinear matrix equation X<sup>p</sup>=A+M(B+X<sup>-1</sup>)<sup>-1</sup>M<sup>∗</sup>.
J. Comput. Appl. Math., 2017
An encoding method for the posts in the online health communities with SNOMED CT.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017
The design of the mixed load simulation test bench.
Proceedings of the 6th International Conference on Software and Computer Applications, 2017
Probabilistic Collaborative Representation with Kernels for Visual Classification.
Proceedings of the Internet Multimedia Computing and Service, 2017
2016
Assessment of trait anxiety and prediction of changes in state anxiety using functional brain imaging: A test-retest study.
NeuroImage, 2016
Posterior convergence for Bayesian functional linear regression.
J. Multivar. Anal., 2016
Communication and cooling aware job allocation in data centers for communication-intensive workloads.
J. Parallel Distributed Comput., 2016
Reconfigurability in Reactive Multiagent Systems.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2015
Simulation and optimization of HPC job allocation for jointly reducing communication and cooling costs.
Sustain. Comput. Informatics Syst., 2015
Spline estimator for simultaneous variable selection and constant coefficient identification in high-dimensional generalized varying-coefficient models.
J. Multivar. Anal., 2015
Simultaneous estimation of linear conditional quantiles with penalized splines.
J. Multivar. Anal., 2015
Dynamic Cache Pooling in 3D Multicore Processors.
ACM J. Emerg. Technol. Comput. Syst., 2015
Research on WiFi User Dwell Time Distribution.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015
2014
Research on Optimal Control for the Vehicle Suspension Based on the Simulated Annealing Algorithm.
J. Appl. Math., 2014
2013
Parameterized top-<i>K</i> algorithms.
Theor. Comput. Sci., 2013
GreenCool: An Energy-Efficient Liquid Cooling Design Technique for 3-D MPSoCs Via Channel Width Modulation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
Dynamic cache pooling for improving energy efficiency in 3D stacked multicore processors.
Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013
Optimizing communication and cooling costs in HPC data centers via intelligent job allocation.
Proceedings of the International Green Computing Conference, 2013
2012
A 2k kernel for the cluster editing problem.
J. Comput. Syst. Sci., 2012
Topology-aware reliability optimization for multiprocessor systems.
Proceedings of the 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, 2012
SST + gem5 = a scalable simulation infrastructure for high performance computing.
Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012
Analysis and runtime management of 3D systems with stacked DRAM for boosting energy efficiency.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Attaining Single-Chip, High-Performance Computing through 3D Systems with Active Cooling.
IEEE Micro, 2011
Express Virtual Channels with Taps (EVC-T): A Flow Control Technique for Network-on-Chip (NoC) in Manycore Systems.
Proceedings of the IEEE 19th Annual Symposium on High Performance Interconnects, 2011
Exploring performance, power, and temperature characteristics of 3D systems with on-chip DRAM.
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011
Run-time energy management of manycore systems through reconfigurable interconnects.
Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, 2011
2010
Modeling and Simulation of Double-tube Hydraulic Damper External Characteristic.
Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010
Support vector machine based on a new reduced samples method.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010
Fisher discriminant analysis of compositional data.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010
A 2<i>k</i> Kernel for the Cluster Editing Problem.
Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010
2009
On the pseudo-achromatic number problem.
Theor. Comput. Sci., 2009
Simulation of telescopic shock absorber outer characteristic with piecewise maths function.
Int. J. Model. Identif. Control., 2009
CAE software of twin-tubes shock absorber outer-characteristic.
Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009
2008
On Parameterized Intractability: Hardness and Completeness.
Comput. J., 2008
2007
BCI-implicative ideals of BCI-algebras.
Inf. Sci., 2007
Bounds on the Network Coding Capacity for Wireless Random Networks
CoRR, 2007
A Modular Petri Net Used in Synchronous Communication of Sequential Processes.
Proceedings of the 2007 International Conference on Modeling, 2007
A Semantic Preorder Combining ST Notion and Fair Testing Semantic.
Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007
2006
DynaFlow: a dynamic inter-organisational workflow management system.
Int. J. Bus. Process. Integr. Manag., 2006
On the Effective Enumerability of NP Problems.
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006
2005
On fuzzy ideals in BCK/BCI-algebras.
Fuzzy Sets Syst., 2005
Computer aided diagnosis and treatment planning for developmental dysplasia of the hip.
Proceedings of the Medical Imaging 2005: Visualization, 2005
2004
Approximation for Dominating Set Problem with Measure Functions.
Comput. Artif. Intell., 2004
Mixture-based bone segmentation and its application in computer aided diagnosis and treatment planning.
Proceedings of the Third International Conference on Image and Graphics, 2004
2003
Dynamic Inter-Enterprise Workflow Management in a Constraint-Based E-Service Infrastructure.
Electron. Commer. Res., 2003
2002
Flexible Inter-Enterprise Workflow Management using E-Services.
Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02), 2002
Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), 28 January, 2002
Achieving Dynamic Inter-Organizational Workflow Management by Integrating Business Processes, Events and Rules.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002
2001
Fuzzy ideals in BCI-algebras.
Fuzzy Sets Syst., 2001
A Novel Probabilistic Model for Link Unification Grammar.
Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 2001
2000
Distributed and Concurrent Processing of Business Object Documents in Support of e-Enterprise Integration.
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000
1997
Fuzzy implicative ideals of BCK-algebras.
Fuzzy Sets Syst., 1997