2024
Complete convergence and complete moment convergence for maximal weighted sums of arrays of rowwise extended negatively dependent random variables with statistical applications.
J. Comput. Appl. Math., February, 2024
TodyNet: Temporal dynamic graph neural network for multivariate time series classification.
Inf. Sci., 2024
Sequence-Dependency-Concerned Process Migration Design of Multilevel Data Centers Under District Power Supply Failure.
IEEE Internet Things J., 2024
Deep Reinforcement Learning Based on Greed for the Critical Cross-Section Identification Problem.
Proceedings of the Data Science, 2024
Knowledge-Driven Calculating Method for Transmission Section Limit of Large Power Grid.
Proceedings of the Data Science, 2024
2023
Dynamic response prediction of underwater explosive vessel based on LOO-XGBoost model.
Neural Comput. Appl., December, 2023
Backdoor attacks against deep reinforcement learning based traffic signal control systems.
Peer Peer Netw. Appl., January, 2023
swMPAS-A: Scaling MPAS-A to 39 Million Heterogeneous Cores on the New Generation Sunway Supercomputer.
IEEE Trans. Parallel Distributed Syst., 2023
TodyNet: Temporal Dynamic Graph Neural Network for Multivariate Time Series Classification.
CoRR, 2023
Action Behavior Learning Based on a New Multi-Scale Interactive Perception Network.
IEEE Access, 2023
Establishing a Modeling System in 3-km Horizontal Resolution for Global Atmospheric Circulation triggered by Submarine Volcanic Eruptions with 400 Billion Smoothed Particle Hydrodynamics.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the International Conference for High Performance Computing, 2023
2022
An Explainable Laser Welding Defect Recognition Method Based on Multi-Scale Class Activation Mapping.
IEEE Trans. Instrum. Meas., 2022
Machine learning-based prediction of in-hospital mortality for post cardiovascular surgery patients admitting to intensive care unit: a retrospective observational cohort study based on a large multi-center critical care database.
Comput. Methods Programs Biomed., 2022
External validation study on the value of deep learning algorithm for the prediction of hematoma expansion from noncontrast CT scans.
BMC Medical Imaging, 2022
OmniWheg: An Omnidirectional Wheel-Leg Transformable Robot.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Human and Machines - Philosophical Thinking of Artificial Intelligence
Springer, ISBN: 978-981-19-6304-9, 2022
2021
An improved complementary ensemble empirical mode decomposition method and its application in rolling bearing fault diagnosis.
Digit. Signal Process., 2021
Hiding Iris Biological Features with Encryption.
Proceedings of the 2021 International Conference on Security, 2021
Milvus: A Purpose-Built Vector Data Management System.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
Influences of pitch angle for a quadruped robot in bounding gait.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2021
Iris Protection with Verisimilar Feature Structure.
Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021
Generator Available Inertia Estimation Based on Various Disturbance Measurements of PMU.
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
2020
The Online Soft Computing Models of key variables based on the Boundary Forest method.
Soft Comput., 2020
On the lightweight authenticated semi-quantum key distribution protocol without Trojan horse attack.
CoRR, 2020
Collusion attack and counterattack on the quantum key agreement via non-maximally entangled cluster states.
CoRR, 2020
Two attacks and counterattacks on the mutual semi-quantum key agreement protocol using Bell states.
CoRR, 2020
Target Detection Based on Simulated Image Domain Migration.
IEEE Access, 2020
A New Method to Assess Fiber Laser Welding Quality of Stainless Steel 304 Based on Machine Vision and Hidden Markov Models.
IEEE Access, 2020
FPGA Realization of Hardware-Flexible Parallel Structure FIR Filters Using Combined Systolic Arrays.
Proceedings of the 2020 IEEE International Instrumentation and Measurement Technology Conference, 2020
2019
Deep Residual Squeeze and Excitation Network for Remote Sensing Image Super-Resolution.
Remote. Sens., 2019
Emergency relief routing models for injured victims considering equity and priority.
Ann. Oper. Res., 2019
RC-CNN: Representation-Consistent Convolutional Neural Networks for Achieving Transformation Invariance.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Aerial Image and Map Synthesis Using Generative Adversarial Networks.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019
2018
Double C-NOT attack and counterattack on 'Three-step semi-quantum secure direct communication protocol'.
Quantum Inf. Process., 2018
Statistics attack on 'quantum private comparison with a malicious third party' and its improvement.
Quantum Inf. Process., 2018
Transfer Learning for Wearable Long-Term Social Speech Evaluations.
IEEE Access, 2018
Understanding Customer Behavior in Shopping Mall from Indoor Tracking Data.
Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018
2017
Localization with Graph Diffusion Property.
Sensors, 2017
Multi-party semi-quantum key distribution-convertible multi-party semi-quantum secret sharing.
Quantum Inf. Process., 2017
Efficient group-based discovery for wireless sensor networks.
Int. J. Distributed Sens. Networks, 2017
Comment on 'improving the security of protocols of quantum key agreement solely using bell states and bell measurement'.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017
Wearable Social Sensing and Its Application in Anxiety Assesment.
Proceedings of the 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2017
2016
Cost optimization based network deployment strategies for future dense networks.
Proceedings of the 19th International Symposium on Wireless Personal Multimedia Communications, 2016
Coordinated multi-point transmissions based on interference alignment and neutralization.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016
Future network deployment strategy based on user behavior analysis and stochastic geometry.
Proceedings of the IEEE International Conference on Network Infrastructure and Digital Content, 2016
2015
Application of support vector machine and genetic algorithm optimization for quality prediction within complex industrial process.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
2014
Cost-Based Join Algorithm Selection in Hadoop.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
A new feature selection method in fishery information processing.
Proceedings of the 10th International Conference on Natural Computation, 2014
Poster: Cluster analysis based traffic prediction method from real traffic traces in LTE networks.
Proceedings of the 9th International Conference on Communications and Networking in China, 2014
Cost-Based Optimization of Logical Partitions for a Query Workload in a Hadoop Data Warehouse.
Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014
2013
Efficient Semisupervised MEDLINE Document Clustering With MeSH-Semantic and Global-Content Constraints.
IEEE Trans. Cybern., 2013
Data driven process modeling and simulation: an applied case study.
Proceedings of the 2013 Summer Simulation Multiconference, 2013
Using Data Mining Method to Predict Yarn Quality within Spinning Process.
Proceedings of the Advances in Data Mining, 13th Industrial Conference, 2013
Dynamic spectrum sharing and user scheduling for CR-MIMO system based on interference alignment.
Proceedings of the 20st International Conference on Telecommunications, 2013
2010
A Cascaded Wireless System of SCCP and FMT with Cyclic Delay Diversity.
J. Convergence Inf. Technol., 2010
Integrating flexibility and interactivity in bioinformatics visual programming tools with Focus+Context algorithm.
Int. J. Data Min. Bioinform., 2010
Research on the growth model of aquaculture organisms based on neural network expert system.
Proceedings of the Sixth International Conference on Natural Computation, 2010
Synthesizing: Art of Anonymization.
Proceedings of the Database and Expert Systems Applications, 21st International Conference, 2010
2009
Towards Compliance and Accountability: a Framework for Privacy Online.
J. Comput., 2009
A Soft-Sensing Approach to On-Line Predicting Ammonia-Nitrogen Based on RBF Neural Networks.
Proceedings of the International Conference on Embedded Software and Systems, 2009
Modeling Autonomic QoS Control for Grid Service Using Petri Nets.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009
QoS and Preference Based Web Service Evaluation Approach.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009
Reliability Analysis Approach of Grid Monitoring Architecture.
Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009
2008
An Algebraic Framework for Schema Matching.
Informatica, 2008
Dynamic Purpose-Based Access Control.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008
A Novel Visual Programming Method Designed for Error Rate Reduction.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008
2007
An efficient quadratic placement based on search space traversing technology.
Integr., 2007
2006
General Floorplans with L/T-Shaped Blocks Using Corner Block List.
J. Comput. Sci. Technol., 2006
A coupling and crosstalk-considered timing-driven global routing algorithm for high-performance circuit design.
Integr., 2006
Formulation Schema Matching Problem for Combinatorial Optimization Problem.
Int. J. Interoperability Bus. Inf. Syst., 2006
2005
Buffer planning as an Integral part of floorplanning with consideration of routing congestion.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
An Algebraic Framework for Schema Matching.
Proceedings of the Advances in Web-Age Information Management, 2005
Schema Homomorphism - An Algebraic Framework for Schema Matching.
Proceedings of the Advances in Computer Science, 2005
Multi-labeled Graph Matching - An algorithm Model for Schema Matching.
Proceedings of the Advances in Computer Science, 2005
IWWS: A Reliability-Based WWW Collaborative Recommender System.
Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005
2004
Companding transform for reduction in peak-to-average power ratio of OFDM signals.
IEEE Trans. Wirel. Commun., 2004
Stairway compaction using corner block list and its applications with rectilinear blocks.
ACM Trans. Design Autom. Electr. Syst., 2004
Routing algorithm for multicast under multi-tree model in optical networks.
Theor. Comput. Sci., 2004
Corner block list representation and its application to floorplan optimization.
IEEE Trans. Circuits Syst. II Express Briefs, 2004
Area minimization of power distribution network using efficient nonlinear programming techniques.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004
UTACO: a unified timing and congestion optimization algorithm for standard cell global routing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004
New Meta-Heuristic for Combinatorial Optimization Problems: Intersection Based Scaling.
J. Comput. Sci. Technol., 2004
Fast Evaluation of Bounded Slice-Line Grid.
J. Comput. Sci. Technol., 2004
Corner block list representation and its application with boundary constraints.
Sci. China Ser. F Inf. Sci., 2004
A buffer planning algorithm for chip-level floorplanning.
Sci. China Ser. F Inf. Sci., 2004
An Efficient Learning Algorithm for Feedforward Neural Network.
Proceedings of the Advances in Artificial Intelligence, 2004
An Efficient Rules Induction Algorithm for Rough Set Classification.
Proceedings of the Discovery Science, 7th International Conference, 2004
Buffer allocation algorithm with consideration of routing congestion.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
A buffer planning algorithm with congestion optimization.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
2003
Robust Digital Terrestrial TV Broadcasting System with Error-Resilient Schemes.
J. VLSI Signal Process., 2003
Minimizing ADMs on WDM Directed Fiber Trees.
J. Comput. Sci. Technol., 2003
SSTT: Efficient Local Search for GSI Global Routing.
J. Comput. Sci. Technol., 2003
CNB: A Critical-Network-Based Timing Optimization Method for Standard Cell Global Routing.
J. Comput. Sci. Technol., 2003
Deterministic VLSI Block Placement Algorithm Using Less Flexibility First Principle.
J. Comput. Sci. Technol., 2003
An efficient hierarchical timing-driven Steiner tree algorithm for global routing.
Integr., 2003
A Novel Timing-Driven Global Routing Algorithm Considering Coupling Effects for High Performance Circuit Design.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
VLSI Module Placement with Pre-Placed Modules and with Consideration of Congestion Using Solution Space Smoothing.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
An integrated floorplanning with an efficient buffer planning algorithm.
Proceedings of the 2003 International Symposium on Physical Design, 2003
Arbitrary convex and concave rectilinear block packing based on corner block list.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
Algorithms for analog VLSI 2D stack generation and block merging.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
Evaluating a bounded slice-line grid assignment in O(nlogn) time.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
A new pilot assisted frequency synchronization for wireless OFDM systems.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003
Dynamic global buffer planning optimization based on detail block locating and congestion analysis.
Proceedings of the 40th Design Automation Conference, 2003
UTACO: a unified timing and congestion optimizing algorithm for standard cell global routing.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
VLSI module placement with pre-placed modules and considering congestion using solution space smoothing.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
A buffer planning algorithm based on dead space redistribution.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
2002
An Optimum Placement Search Algorithm Based on Extended Corner Block List.
J. Comput. Sci. Technol., 2002
Performance Analysis and Improvement for Some Linear On-Line Bin-Packing Algorithms.
J. Comb. Optim., 2002
Algorithms for multicast connection under multi-path routing model.
Inf. Process. Lett., 2002
Adaptively scheduled stream-shuffling and error concealment for wireless video.
Proceedings of the Visual Communications and Image Processing 2002, 2002
A novel and efficient timing-driven global router for standard cell layout design based on critical network concept.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002
Piecewise-scales transform for the reduction of PAPR of OFDM signals.
Proceedings of the Global Telecommunications Conference, 2002
2001
Efficient Local Search for DAG Scheduling.
IEEE Trans. Parallel Distributed Syst., 2001
Wire segmenting for buffer insertion based on RSTP-MSP.
Theor. Comput. Sci., 2001
Optimization of wavelength assignment for QoS multicast in WDM networks.
IEEE Trans. Commun., 2001
Floorplanning with abutment constraints based on corner block list.
Integr., 2001
An improved error resilience scheme for transmission of MPEG-4 audio over EGPRS.
Proceedings of the 54th IEEE Vehicular Technology Conference, 2001
ECBL: an extended corner block list with solution space including optimum placement.
Proceedings of the 2001 International Symposium on Physical Design, 2001
Area Minimization of Power Distribution Network Using Efficient Nonlinear Programming Techniques.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001
Floorplanning with Abutment Constraints and L-Shaped/T-Shaped Blocks based on Corner Block List.
Proceedings of the 38th Design Automation Conference, 2001
VLSI floorplanning with boundary constraints based on corner block list.
Proceedings of ASP-DAC 2001, 2001
A new congestion-driven placement algorithm based on cell inflation.
Proceedings of ASP-DAC 2001, 2001
VLSI block placement using less flexibility first principles.
Proceedings of ASP-DAC 2001, 2001
2000
An End-to-End QoS Control Model for Enhanced Internet.
J. Comput. Sci. Technol., 2000
Corner Block List: An Effective and Efficient Topological Representation of Non-Slicing Floorplan.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000
1999
On optimizing the satisfiability (SAT) problem.
J. Comput. Sci. Technol., 1999
Discret. Appl. Math., 1999
Algorithms for the Satisfiability (SAT) Problem.
Proceedings of the Handbook of Combinatorial Optimization, 1999
1997
Local Search for DAG Scheduling and Task Assignment.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997
Multispace Search for Minimizing the Maximum Nodal Degree.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997
Multispace search for quorumcast routing.
Proceedings of the Advances in Switching Networks, 1997
Randomized and deterministic local search for SAT and scheduling problems.
Proceedings of the Randomization Methods in Algorithm Design, 1997
1996
The Unison algorithm: fast evaluation of Boolean expressions.
ACM Trans. Design Autom. Electr. Syst., 1996
Convergence Properties of Optimization Algorithms for the SAT Problem.
IEEE Trans. Computers, 1996
A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study.
Ann. Math. Artif. Intell., 1996
FAST: A Low-Complexity Algorithm for Efficient Scheduling of DAGs on Parallel Processors.
Proceedings of the 1996 International Conference on Parallel Processing, 1996
Algorithms for the satisfiability (SAT) problem: A survey.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
Multispace search for satisfiability and NP-hard problems.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
1995
Two Packet Routing Algorithms on a Mesh-Connected Computer.
IEEE Trans. Parallel Distributed Syst., 1995
Asynchronous circuit synthesis with Boolean satisfiability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995
Concurrent automatic test pattern generation algorithm for combinational circuits.
Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995
A multispace search algorithm for molecular energy minimization.
Proceedings of the Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, 1995
1994
Efficient Local Search With Search Space Smoothing: A Case Study of the Traveling Salesman Problem (TSP).
IEEE Trans. Syst. Man Cybern. Syst., 1994
Algorithms and Average Time Bounds of Sorting on a Mesh-Connected Computer.
IEEE Trans. Parallel Distributed Syst., 1994
Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem.
IEEE Trans. Knowl. Data Eng., 1994
Global Optimization for Satisfiability (SAT) Problem.
IEEE Trans. Knowl. Data Eng., 1994
A divide-and-conquer approach for asynchronous interface synthesis.
Proceedings of the 7th International Symposium on High Level Synthesis, 1994
Average Time Complexity of the SAT 1.2 Algorithm.
Proceedings of the Algorithms and Computation, 5th International Symposium, 1994
Multispace Search: A New Optimization Approach.
Proceedings of the Algorithms and Computation, 5th International Symposium, 1994
Area Efficient Synthesis of Asynchronous Interface Circuits.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994
Parallel Algorithms for Satisfiability (SAT) Problem.
Proceedings of the Workshop on Parallel Processing of Discrete Optimization Problems, 1994
A Modular Partitioning Approach for Asynchronous Circuit Synthesis.
Proceedings of the 31st Conference on Design Automation, 1994
1993
Automated pin grid array package routing on multilayer ceramic substrates.
IEEE Trans. Very Large Scale Integr. Syst., 1993
Local search for satisfiability (SAT) problem.
IEEE Trans. Syst. Man Cybern., 1993
Microword length minimization in microprogrammed controller synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993
An efficient algorithm to search for minimal closed covers in sequential machines.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993
A Constrained Approach to Multifont Chinese Character Recognition.
IEEE Trans. Pattern Anal. Mach. Intell., 1993
An Efficient Global Search Algorithm for Test Generation.
Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993
Signal Transition Graph Constraints for Speed-independent Ciruit Synthesis.
Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993
1992
A Novel Discrete Relaxation Architecture.
IEEE Trans. Pattern Anal. Mach. Intell., 1992
Design Efficient Local Search Algorithms.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992
An Efficient algorithm for Microword Length Minimization.
Proceedings of the 29th Design Automation Conference, 1992
1991
Fast search algorithms for the n-queens problem.
IEEE Trans. Syst. Man Cybern., 1991
3000000 Queens in Less Than One Minute.
SIGART Bull., 1991
Searching for a minimal finite state automaton (FSA).
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
1990
A Polynomial Time Algorithm for the N-Queens Problem.
SIGART Bull., 1990
A Parallel Optimal Arc Consistency Algorithm.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
1989
A Structured Approach for VLSI Circuit Design.
Computer, 1989
1987
A Parallel Architecture for Discrete Relaxation Algorithm.
IEEE Trans. Pattern Anal. Mach. Intell., 1987