# Li Tan

According to our database

Collaborative distances:

^{1}, Li Tan authored at least 112 papers between 2001 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Sparse Modeling of Nonlinear Secondary Path for Nonlinear Active Noise Control.

IEEE Trans. Instrumentation and Measurement, 2018

Optimal Reliable Point-in-Polygon Test and Differential Coding Boolean Operations on Polygons.

Symmetry, 2018

Using virtualization to quantify power conservation via near-threshold voltage reduction for inherently resilient applications.

Parallel Computing, 2018

Almost sure convergence rate of θ-EM scheme for neutral SDDEs.

J. Computational Applied Mathematics, 2018

Strong convergence of a tamed theta scheme for NSDDEs with one-sided Lipschitz drift.

Applied Mathematics and Computation, 2018

Large-scale hierarchical

*k-means*for heterogeneous many-core supercomputers.
Proceedings of the International Conference for High Performance Computing, 2018

Inter-cell Interference Coordination in LTE Self Organizing Network.

Proceedings of the Intelligent Systems and Applications, 2018

A Multiple Object Tracking Algorithm Based on YOLO Detection.

Proceedings of the 11th International Congress on Image and Signal Processing, 2018

2017

Connecting priority algorithm for node deployment in directional sensor networks.

IJGUC, 2017

Using

*k*-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs.
Entropy, 2017

Channel sparsity-aware recursive least squares algorithms for nonlinear system modeling and active noise control.

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a radiation detecting rover system.

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a motion controlled robotic arm.

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

A novel dynamic clustering strategy on energy efficiency for dense network deployment.

Proceedings of the 13th International Conference on Natural Computation, 2017

Comparative study of simple feature extraction for single-channel EEG based classification.

Proceedings of the IEEE International Conference on Electro Information Technology, 2017

RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability.

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

Path Self-Deployment Algorithm of Three-Dimensional Space in Directional Sensor Networks.

Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

A Target Tracking Algorithm Based on Path Virtual Force.

Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

Reference-free compression of next-generation sequencing data in FASTQ format.

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

2016

Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements.

Proceedings of the Theoretical Information Reuse and Integration, 2016

Scalable Energy Efficiency with Resilience for High Performance Computing Systems: A Quantitative Methodology.

TACO, 2016

Partly random multiple weighting matrices selection for orthogonal random beamforming.

Journal of Communications and Networks, 2016

Cloud-based harvest management information system for hand-harvested specialty crops.

Computers and Electronics in Agriculture, 2016

Finite two-distance-transitive graphs of valency 6.

Ars Math. Contemp., 2016

Two-Distance-Transitve Graphs Of Valency 7.

Ars Comb., 2016

Design, Use and Evaluation of P-FSEFI: A Parallel Soft Error Fault Injection Framework for Emulating Soft Errors in Parallel Applications.

Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 2016

GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing.

Proceedings of the International Conference for High Performance Computing, 2016

An Extensible Software Platform for Cloud-Based Decision Support and Automation in Precision Agriculture.

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Efficient adaptive bilinear filters for nonlinear active noise control.

Proceedings of the 10th International Conference on Signal Processing and Communication Systems, 2016

2015

Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

The Interplay Between Energy Efficiency and Resilience for Scalable High Performance Computing Systems.

PhD thesis, 2015

A hybrid particle swarm optimization based memetic algorithm for DNA sequence compression.

Soft Comput., 2015

Slow Down or Halt: Saving the Optimal Energy for Scalable HPC Systems.

Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Cloud-Based Harvest Management System for Specialty Crops.

Proceedings of the Fourth IEEE Symposium on Network Cloud Computing and Applications, 2015

Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation.

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Investigating the Interplay between Energy Efficiency and Resilience in High Performance Computing.

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

A complex adaptive Harmonic IIR notch filter.

Proceedings of the IEEE International Conference on Electro/Information Technology, 2015

2014

Multirate Processing Technique for Obtaining Integer and Fractional-Order Derivatives of Low-Frequency Signals.

IEEE Trans. Instrumentation and Measurement, 2014

A survey of power and energy efficient techniques for high performance numerical linear algebra operations.

Parallel Computing, 2014

A unified framework for evaluating test criteria in model-checking-assisted test case generation.

Information Systems Frontiers, 2014

TX: algorithmic energy saving for distributed dense matrix factorizations.

Proceedings of the 5th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, 2014

Specification-based testing with buchi automata: Transition coverage criteria and property refinement.

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Cloud-based monitoring and analysis of yield efficiency in precision farming.

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

HP-DAEMON: High Performance Distributed Adaptive Energy-efficient Matrix-multiplicatiON.

Proceedings of the International Conference on Computational Science, 2014

2013

Exact Solutions of a Generalized Weighted Scale Free Network.

J. Applied Mathematics, 2013

An efficient scheduling scheme based on MET for MIMO systems.

IJWMC, 2013

A spring oscillator model used for particle swarm optimizer.

Proceedings of the 2013 IEEE Symposium on Swarm Intelligence, 2013

An integrated cloud-based platform for labor monitoring and data analysis in precision agriculture.

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A2E: Adaptively aggressive energy efficient DVFS scheduling for data intensive applications.

Proceedings of the IEEE 32nd International Performance Computing and Communications Conference, 2013

Improving performance and energy efficiency of matrix multiplication via pipeline broadcast.

Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

Lightweight fault detection in parallelized programs.

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Analyzing the impact of social media on social movements: a computational study on Twitter and the occupy wall street movement.

Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Simulation Job Scheduling on Clusters with Heterogeneous Scheduling Systems.

Proceedings of the AsiaSim 2013, 2013

A Novel Stopping Criterion for LTE-A High Speed Turbo Decoder.

Proceedings of the 2013 The Second International Conference on Innovative Computing and Cloud Computing, 2013

2012

Novel Research on Cognitive Pilot Channel in Cognitive Wireless Network.

Wireless Personal Communications, 2012

Pole-Radius-Varying IIR Notch Filter With Transient Suppression.

IEEE Trans. Instrumentation and Measurement, 2012

Analysis of adaptive proportional fair scheduling method on BD-GMD scheme for MIMO systems.

IJWMC, 2012

An extensible object-oriented and agent-based framework for modelling and simulating supply chains.

IJIDS, 2012

Intelligent Recognition of Lung Nodule Combining Rule-based and C-SVM Classifiers.

Int. J. Comput. Intell. Syst., 2012

ImageHive: Interactive Content-Aware Image Summarization.

IEEE Computer Graphics and Applications, 2012

*In silico*identification software (ISIS): a machine learning approach to tandem mass spectral identification of lipids.

Bioinformatics, 2012

Test criteria for model-checking-assisted test case generation: A computational study.

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

An extensible and integrated software architecture for data analysis and visualization in precision agriculture.

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

A study on application of semi-supervised collaborative classification algorithm.

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011

TextFlow: Towards Better Understanding of Evolving Topics in Text.

IEEE Trans. Vis. Comput. Graph., 2011

Oversampling Technique for Obtaining Higher Order Derivative of Low-Frequency Signals.

IEEE Trans. Instrumentation and Measurement, 2011

A Novel Dynamic Proportional Fair Scheduling Based on Block Diagonal Geometric Mean Decomposition.

JNW, 2011

A practical heterogeneous network optimisation algorithm based on reinforcement learning.

IJCNDS, 2011

Graph coloring based spectrum allocation for femtocell downlink interference mitigation.

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Complete interference solution with MWSC consideration for OFDMA macro/femtocell hierarchical networks.

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Joint Power Control and Scheduling Strategies for OFDMA Femtocells in Hierarchical Networks.

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

State Coverage Metrics for Specification-Based Testing with Büchi Automata.

Proceedings of the Tests and Proofs - 5th International Conference, 2011

An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis.

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

A bridge structural health data analysis model based on semi-supervised learning.

Proceedings of the IEEE International Conference on Automation and Logistics, 2011

Design and Implimentation of Rural New Energy Source Gis System Based on Kml.

Proceedings of the Applied Informatics and Communication - International Conference, 2011

2010

Bit-Error Aware Lossless Compression of Waveform Data.

IEEE Signal Process. Lett., 2010

Distributed Self-Healing for Reconfigurable WLANs.

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

An Information Accuracy Based Mesh Division Mechanism for Cognitive Pilot Channel.

Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Cognitive Optimization Scheme of Coverage for Femtocell Using Multi-Element Antenna.

Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

Entropy and software systems: towards an information-theoretic foundation of software testing.

Proceedings of the Workshop on Future of Software Engineering Research, 2010

TIARA: a visual exploratory text analytic system.

Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2010

Understanding text corpora with multiple facets.

Proceedings of the IEEE Conference on Visual Analytics Science and Technology, 2010

VisWorks text and network visual analytics: VAST 2010 Mini Challenge 1 award: "Effective interactive visualization of document contents".

Proceedings of the IEEE Conference on Visual Analytics Science and Technology, 2010

Relationship of eigenvalue between MPSD iterative matrix and Jacobi iterative matrix.

Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems.

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2009

A Novel Fusion Method for Semantic Concept Classification in Video.

JSW, 2009

A model-checking-based approach to risk analysis in supply chain consolidations.

Integrated Computer-Aided Engineering, 2009

Q-learning based heterogenous network self-optimization for reconfigurable network with CPC assistance.

Science in China Series F: Information Sciences, 2009

A Multiple Weighting Matrices Selection Scheme Based on Orthogonal Random Beamforming for MIMO Downlink System.

Proceedings of the Advances in Neural Networks, 2009

Proportional Fair Scheduling Based on Genetic Algorithms for Multi-user MIMO Systems.

Proceedings of the Advances in Neural Networks, 2009

An Improved Margin Adaptive Subcarrier Allocation with Fairness for Multiuser OFDMA System.

Proceedings of the Advances in Neural Networks, 2009

An Agent-based Formal Framework for Modeling and Simulating Supply Chains.

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Resilient multi-core systems: a hierarchical formal model for N-variant executions.

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

HiMap: Adaptive visualization of large-scale online social networks.

Proceedings of the IEEE Pacific Visualization Symposium PacificVis 2009, 2009

2008

Model check stochastic supply chains.

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Modeling Objects with Local Descriptors of Biologically Motivated Selective Attention.

Proceedings of the Fourth International Conference on Natural Computation, 2008

Research and Application on Virtualization Service Oriented Infrastructure for Networkitized M&S.

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007

TRECVID 2007 High-Level Feature Extraction By MCG-ICT-CAS.

Proceedings of the TRECVID 2007 workshop participants notebook papers, 2007

Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market.

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

A New Multi-quality Image Fusion Method in Visual Sensor Network.

Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2007), 2007

2006

Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2005

Research on Security Architecture and Privacy Policy of Grid Computing System.

Proceedings of the 2005 International Conference on Semantics, 2005

Model-based self-monitoring embedded programs with temporal logic specifications.

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Specification-based Testing with Linear Temporal Logic.

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

PlayGame: A Platform for Diagnostic Games.

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Testing and Monitoring Model-based Generated Program.

Electr. Notes Theor. Comput. Sci., 2003

Simplified navigation and traverse planning for a long-range planetary rover.

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002

An Abstract Schema for Equivalence-Checking Games.

Proceedings of the Verification, 2002

Evidence-Based Model Checking.

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Adaptive Volterra filters for active control of nonlinear noise processes.

IEEE Trans. Signal Processing, 2001

Simulation Revisited.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001