Qin Li

According to our database1, Qin Li authored at least 217 papers between 1988 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Security improvements of several basic quantum private query protocols with O(log N) communication complexity.
Theor. Comput. Sci., 2020

Wearable Emotion Recognition Using Heart Rate Data from a Smart Bracelet.
Sensors, 2020

Change Detection of Soil Formation Rate in Space and Time Based on Multi Source Data and Geospatial Analysis Techniques.
Remote. Sens., 2020

Event-based functional decomposition.
Inf. Comput., 2020

Identifying the factors of China's seasonal retail sales of consumer goods using a data grouping approach-based GRA method.
Grey Systems: T&A, 2020

Machine Learning in Heliophysics and Space Weather Forecasting: A White Paper of Findings and Recommendations.
CoRR, 2020

A Survey on Machine Reading Comprehension: Tasks, Evaluation Metrics, and Benchmark Datasets.
CoRR, 2020

Variance reduction for Langevin Monte Carlo in high dimensional sampling problems.
CoRR, 2020

Non-recurrent Traffic Congestion Detection with a Coupled Scalable Bayesian Robust Tensor Factorization Model.
CoRR, 2020

Ensemble Kalman Inversion for nonlinear problems: weights, consistency, and variance bounds.
CoRR, 2020

Semi-classical limit for the varying-mass Schrödinger equation with random inhomogeneities.
CoRR, 2020

Guaranteed Lower Eigenvalue Bound of Steklov Operator with Conforming Finite Element Methods.
CoRR, 2020

MSP-MFCC: Energy-Efficient MFCC Feature Extraction Method With Mixed-Signal Processing Architecture for Wearable Speech Recognition Applications.
IEEE Access, 2020

Traffic Flow Prediction With Missing Data Imputed by Tensor Completion Methods.
IEEE Access, 2020

Reduce False-Positive Rate by Active Learning for Automatic Polyp Detection in Colonoscopy Videos.
Proceedings of the 17th IEEE International Symposium on Biomedical Imaging, 2020

An Analytical Approach to Improve Vehicle Maneuverability via Torque Vectoring Control: Theoretical Study and Experimental Validation.
IEEE Trans. Veh. Technol., 2019

Isolation Modeling and Analysis Based on Mobility.
ACM Trans. Softw. Eng. Methodol., 2019

Differentiating Prostate Cancer from Benign Prostatic Hyperplasia Using PSAD Based on Machine Learning: Single-Center Retrospective Study in China.
IEEE/ACM Trans. Comput. Biology Bioinform., 2019

Inverse Problems for the Stationary Transport Equation in the Diffusion Scaling.
SIAM J. Appl. Math., 2019

Numerical Analysis for Conservation Laws Using l1 Minimization.
J. Sci. Comput., 2019

A mathematical analysis of improved EigenAnt algorithm.
J. Exp. Theor. Artif. Intell., 2019

A numerical method for coupling the BGK model and Euler equations through the linearized Knudsen layer.
J. Comput. Phys., 2019

Diffusion Equation-Assisted Markov Chain Monte Carlo Methods for the Inverse Radiative Transfer Equation.
Entropy, 2019

Ensemble Kalman Sampling: mean-field limit and convergence analysis.
CoRR, 2019

Error Lower Bounds of Constant Step-size Stochastic Gradient Descent.
CoRR, 2019

Schwarz iteration method for elliptic equation with rough media based on random sampling.
CoRR, 2019

Structured random sketching for PDE inverse problems.
CoRR, 2019

Mean-field limit and numerical analysis for Ensemble Kalman Inversion: linear setting.
CoRR, 2019

Error analysis of an asymptotic preserving dynamical low-rank integrator for the multi-scale radiative transfer equation.
CoRR, 2019

A low-rank Schwarz method for radiative transport equation with heterogeneous scattering coefficient.
CoRR, 2019

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving.
IEEE Access, 2019

Single Image-Based Scene Visibility Estimation.
IEEE Access, 2019

Online Power Control Based on Lyapunov Optimization Framework for Decode-and-Forward Relay Systems With Energy Harvesting.
IEEE Access, 2019

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Image-Based Air Quality Estimation.
Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019

Demonstration of 100 Gbps Per Lambda PAM4 Transmission with 1310 nm and 1330 nm Directly Modulated Lasers.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2019

Data transformations for variance stabilization in the statistical assessment of quantitative imaging biomarkers.
Proceedings of the Medical Imaging 2019: Image Perception, 2019

Reproducibility of CT-based texture feature quantification of simulated and 3D-printed trabecular bone: influence of noise and reconstruction kernel.
Proceedings of the Medical Imaging 2019: Computer-Aided Diagnosis, 2019

Energy-efficient Analog Processing Architecture for Direction of Arrival with Microphone Array.
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019

DEEPPOREID: An Effective Pore Representation Descriptor in Direct Pore Matching.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

BigFoot: A Mobile Solution toward Foot Parameters Extraction.
Proceedings of the 16th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2019

Implementing neural machine translation with bi-directional GRU and attention mechanism on FPGAs using HLS.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

Multiple fixed beamformers with a spacial Wiener-form postfilter for far-field speech recognition.
Proceedings of the 2019 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2019

A New Numerical Approach to Inverse Transport Equation with Error Analysis.
SIAM J. Numer. Anal., 2018

Stability of Inverse Transport Equation in Diffusion Scaling and Fokker-Planck Limit.
SIAM J. Appl. Math., 2018

Limited resource semiquantum secret sharing.
Quantum Inf. Process., 2018

High linearity source-follower buffer based analog memory for analog convolutional neural network.
Microelectron. J., 2018

改进UCT算法在爱恩斯坦棋中的应用 (Application of Improved UCT Algorithm in EinStein Würfelt Nicht! Computer Game).
计算机科学, 2018

Galerkin Methods for Stationary Radiative Transfer Equations with Uncertain Coefficients.
J. Sci. Comput., 2018

Accepting runs in a two-way finite automaton.
Inf. Comput., 2018

The NLS-based nonlinear grey Bernoulli model with an application to employee demand prediction of high-tech enterprises in China.
Grey Systems: T&A, 2018

Sparse deformation prediction using Markove Decision Processes (MDP) for Non-rigid registration of MR image.
Comput. Methods Programs Biomed., 2018

Predicting the capital intensity of the new energy industry in China using a new hybrid grey model.
Comput. Ind. Eng., 2018

Demonstration of 53.125 Gb/s, CWDM, PAM-4, Directly Modulated Laser Transmission over 20 km SMF.
Proceedings of the Optical Fiber Communications Conference and Exposition, 2018

Energy-efficient MFCC extraction architecture in mixed-signal domain for automatic speech recognition.
Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, 2018

Quantitative characterization of liver tumor radiodensity in CT images: a phantom study between two scanners.
Proceedings of the Medical Imaging 2018: Computer-Aided Diagnosis, 2018

Triangle Counting and Truss Decomposition using FPGA.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

City-Wide Influenza Forecasting based on Multi-Source Data.
Proceedings of the IEEE International Conference on Big Data, 2018

Characteristics and social impact of the use of social media by Chinese Dama.
Telematics Informatics, 2017

Event-Based Mobility Modeling and Analysis.
TCPS, 2017

Half-space kinetic equations with general boundary conditions.
Math. Comput., 2017

An Asymptotic Preserving Method for Transport Equations with Oscillatory Scattering Coefficients.
Multiscale Model. Simul., 2017

Exploring the Locally Low Dimensional Structure in Solving Random Elliptic PDEs.
Multiscale Model. Simul., 2017

A Sparse Decomposition of Low Rank Symmetric Positive Semidefinite Matrices.
Multiscale Model. Simul., 2017

Uniform Regularity for Linear Kinetic Equations with Random Input Based on Hypocoercivity.
SIAM/ASA J. Uncertain. Quantification, 2017

Private reputation retrieval in public - a privacy-aware announcement scheme for VANETs.
IET Information Security, 2017

A novel complementary push-push frequency doubler with negative resistor conversion gain enhancement.
IEICE Electronic Express, 2017

Export injury early warning of the new energy industries in China: A combined application of GM(1, 1) and PCA methods.
Grey Systems: T&A, 2017

A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

The effects of iterative reconstruction in CT on low-contrast liver lesion volumetry: a phantom study.
Proceedings of the Medical Imaging 2017: Computer-Aided Diagnosis, 2017

From "MISSION: IMPOSSIBLE" to mission possible: Fully flexible intelligent contact lens for image classification with analog-to-information processing.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Validation of a Novel Gait Analysis System.
Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

Visibility Estimation Using a Single Image.
Proceedings of the Computer Vision - Second CCF Chinese Conference, 2017

An on-line process dead-time estimation algorithm.
Proceedings of the 11th Asian Control Conference, 2017

Quantifying communication in synchronized languages.
Theor. Comput. Sci., 2016

An injection locked millimeter-wave power amplifier with adaptive bias in 65 nm CMOS.
Microelectron. J., 2016

Generic Construction of Chameleon Hash to Group Elements.
JCM, 2016

OP-Triplet-ELM: Identification of real and pseudo microRNA precursors using extreme learning machine with optimal features.
J. Bioinform. Comput. Biol., 2016

An accelerating approach for simulating texture sharp transition mechanism of pyrocarbon on Hexagonal-Mesh Surface.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Hyperspectral unmixing algorithm based on Nonnegative Matrix Factorization.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

An Improved Algorithm for Video Abstract.
Proceedings of the Geo-Spatial Knowledge and Intelligence, 2016

Extending the Harris Index performance assessment technique: A plant-wide focus.
Proceedings of the Australian Control Conference, AuCC 2016, Newcastle, 2016

Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
ACM Trans. Embedded Comput. Syst., 2015

Sampling automata and programs.
Theor. Comput. Sci., 2015

A Multiband Semiclassical Model for Surface Hopping Quantum Dynamics.
Multiscale Model. Simul., 2015

A Remote Medical Monitoring System for Heart Failure Prognosis.
Mobile Information Systems, 2015

Single Shot Dual-Frequency Structured Light Based Depth Sensing.
J. Sel. Topics Signal Processing, 2015

可组合的描述符泄露类型检查 (Compositional Type Checking of Descriptor Leaking).
计算机科学, 2015

Asymptotic-Preserving Exponential Methods for the Quantum Boltzmann Equation with High-Order Accuracy.
J. Sci. Comput., 2015

SEIP: System for Efficient Image Processing on Distributed Platform.
J. Comput. Sci. Technol., 2015

Diffusion approximations and domain decomposition method of linear transport equations: Asymptotics and numerics.
J. Comput. Phys., 2015

Sparse + low-energy decomposition for viscous conservation laws.
J. Comput. Phys., 2015

Efficient ID-based Non-Malleable Trapdoor Commitments Based on RSA and Factoring.
JCM, 2015

Clonal Selection-Based Surveillance Algorithm for Transmission Control Protocol Anomaly Network Behavior.
Proceedings of the 11th International Conference on Semantics, Knowledge and Grids, 2015

Factors affecting uncertainty in lung nodule volume estimation with CT: comparisons of findings from two estimation methods in a phantom study.
Proceedings of the Medical Imaging 2015: Computer-Aided Diagnosis, 2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Effective lossless compression of fixed-length data.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Analysis of the equipment maintainability qualitative evaluation index based on interpretive structure modeling.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Immunity-Based Detection for Large-Scale Behavior of Denial of Service.
Proceedings of the 11th International Conference on Computational Intelligence and Security, 2015

A protein detection POCT device based on microfluidic immunoassay chips.
Proceedings of the 8th International Conference on Biomedical Engineering and Informatics, 2015

On the industrial plant performance & operating point drifting phenomenon.
Proceedings of the 10th Asian Control Conference, 2015

A certificateless anonymous authenticated announcement scheme in vehicular ad hoc networks.
Security and Communication Networks, 2014

A 31-45.5 GHz injection-locked frequency divider in 90-nm CMOS technology.
J. Zhejiang Univ. Sci. C, 2014

A 37 GHz wide-band programmable divide-by-N frequency divider for millimeter-wave silicon-based phase-locked loop frequency synthesizers.
J. Zhejiang Univ. Sci. C, 2014

New Identity-based Key-exposure Free Chameleon Hash from Bilinear Pairings.
J. Networks, 2014

Exponential Runge-Kutta for the inhomogeneous Boltzmann equations with high order of accuracy.
J. Comput. Phys., 2014

The preconditioned Jacobian-free Newton-Krylov methods for nonequilibrium radiation diffusion equations.
J. Comput. Appl. Math., 2014

A formal framework for service mashups with dynamic service selection.
ISSE, 2014

An exploration research of the independent college operation efficiency indicators based on DEA.
Grey Systems: T&A, 2014

Multiple positive solutions for a quasilinear elliptic system with critical exponent and sign-changing weight.
Comput. Math. Appl., 2014

Survey of Integrity Detection Methods in Internet of Things.
Proceedings of the 13th IEEE International Conference on Trust, 2014

Configuration of Services Based on Virtualization.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A 20.5GHz wide-band programmable divide-by-N frequency divider.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Prevalence and risk factors associated with chronic disease in New Rural Cooperative Medical System: County in central China.
Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

Generalized additive models of hospital admissions with respiratory disease and meteorology.
Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

Improvements on "multiparty quantum key agreement with single particles".
Quantum Inf. Process., 2013

Efficient arbitrated quantum signature and its proof of security.
Quantum Inf. Process., 2013

Ka-band ultra low voltage miniature sub-harmonic resistive mixer with a new broadside coupled Marchand balun in 0.18-μm CMOS technology.
J. Zhejiang Univ. Sci. C, 2013

On linearization and preconditioning for radiation diffusion coupled to material thermal conduction equations.
J. Comput. Phys., 2013

A privacy-aware reputation-based announcement scheme for VANETs.
Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Dense depth acquisition via one-shot stripe structured light.
Proceedings of the 2013 Visual Communications and Image Processing, 2013

Trustworthy incident information sharing in social cyber defense alliances.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Relating Fisher Information to Detectability of Changes in Nodule Characteristics with CT.
Proceedings of the Information Processing in Medical Imaging, 2013

Privacy issues of smart e-mobility.
Proceedings of the IECON 2013, 2013

A real-time algorithm for fixed-length short data compression.
Proceedings of the 10th International Conference on Fuzzy Systems and Knowledge Discovery, 2013

A Reputation-Based Announcement Scheme for VANETs.
IEEE Trans. Veh. Technol., 2012

A New Reweighted Algorithm With Support Detection for Compressed Sensing.
IEEE Signal Process. Lett., 2012

Split Bregman iterative algorithm for sparse reconstruction of electrical impedance tomography.
Signal Process., 2012

Pattern preserving path following of unicycle teams with communication delays.
Robotics Auton. Syst., 2012

On the impossibility of non-static quantum bit commitment between two parties.
Quantum Inf. Process., 2012

Efficient ID-based non-malleable trapdoor commitment.
Comput. Electr. Eng., 2012

Eigenvalue approximations from below using Morley elements.
Adv. Comput. Math., 2012

Feedback as "Shadow of the Present": An Alternative to Reputation Systems for E-marketplaces.
Proceedings of the 11th IEEE International Conference on Trust, 2012

An Incentive Mechanism to Promote Honesty in E-marketplaces with Limited Inventory.
Proceedings of the Trust Management VI - 6th IFIP WG 11.11 International Conference, 2012

Real-Time Visualization for Large Scale Terrain Based on Linear Quadtree.
Proceedings of the AsiaSim 2012, 2012

A New Method of Sample Reduction for Support Vector Classification.
Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

An Architecture for Cloud Computing and Human Immunity Based Network Intrusion Detection.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2012

Design of an incentive mechanism to promote honesty in e-marketplaces with limited inventory.
Proceedings of the Fourteenth International Conference on Electronic Commerce, 2012

Hybrid No-Reference Natural Image Quality Assessment of Noisy, Blurry, JPEG2000, and JPEG Images.
IEEE Trans. Image Process., 2011

Sharing a quantum secret without a trusted party.
Quantum Inf. Process., 2011

Comparison of two retrieval methods with combined passive and active microwave remote sensing observations for soil moisture.
Math. Comput. Model., 2011

Discussion on: "Saturated Control of Chained Nonholonomic Systems".
Eur. J. Control, 2011

High-resolution bioclimatic dataset derived from future climate projections for plant species distribution modeling.
Ecol. Informatics, 2011

Breaking a chaotic image encryption algorithm based on perceptron model
CoRR, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Approaches to Wireless Sensor Networks.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Large-Scale Microwave Remote Sensing of Retrieving Surface Multi-parameters Using Active and Passive Satellite Data: In the Tibetan Plateau Region of Maqu.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

An Attitude Determination System Based on Adaptive Kalman Filter for Human Machine Interface.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Two improved sailing algorithms for the accurate track calculating.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

A 90 nm 16 Mb embedded phase-change memory macro with write current smoothing and enhanced write bandwidth.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

Research of Bayesian Networks Application to Transformer Fault Diagnosis.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

Promoting Models.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Network state consistency of virtual machine in live migration.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Surface Deformations Measurement Based on Computer Vision Technique.
Proceedings of the 2010 International Conference on Machine Vision and Human-machine Interface, 2010

A Viable Grid Marketplace.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Joint image fusion algorithm with OMP and wavelet.
Proceedings of the Sixth International Conference on Natural Computation, 2010

Passive Analysis and Control for Descriptor Systems.
Proceedings of the Information Computing and Applications - International Conference, 2010

Formal Approaches to Location Management in Mobile Communications.
Proceedings of the Distributed Computing and Internet Technology, 2010

Digital-analog and analog-digital converters based on single-electron and MOS transistors.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Automatic mapping aquaculture in coastal zone from TM imagery with OBIA approach.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

A detection algorithm of hydrophobic levels based on triangle module operator.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

Formalizing MapReduce with CSP.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Generating Closed Frequent Itemsets with the Frequent Pattern List.
Proceedings of the Second International Workshop on Database Technology and Applications, 2010

An Improved Method of Location of the Circular Target.
Proceedings of the International Conference on Computational Aspects of Social Networks, 2010

Robust Passive Control for Uncertain Time-Delay Singular Systems.
IEEE Trans. Circuits Syst. I Regul. Pap., 2009

Global Analysis of Multi-Agent Systems Based on Vicsek's Model.
IEEE Trans. Autom. Control., 2009

Analysis and control of an SEIR epidemic system with nonlinear transmission rate.
Math. Comput. Model., 2009

Flocking Control of Multi-agent Systems with Application to Nonholonomic Multi-robots.
Kybernetika, 2009

Research on the Trust Model Based on the Groups' Internal Recommendation in E-Commerce Environment.
J. Softw. Eng. Appl., 2009

Modeling MapReduce with CSP.
Proceedings of the TASE 2009, 2009

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.
Proceedings of the TASE 2009, 2009

Towards Specification and Refinement of Contracts with Environment Changes.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Curvelet based no-reference objective image Quality Assessment.
Proceedings of the 2009 Picture Coding Symposium, 2009

A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.
Proceedings of the Third International Conference on Network and System Security, 2009

Estimation of Evaporative Fraction from Remotely Sensed in Arid/Semi-arid Regions.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Experiments of Soil Moisture Retrieval based on Extended Kalman Filter.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Enhancing Reliability for Virtual Machines via Continual Migration.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Food Supply Chain Quality Management Model and Simulation Based on Game.
Proceedings of the International Conference on Computer Modeling and Simulation, 2009

Design of oversampled DFT modulated filter banks optimized for acoustic echo cancellation.
Proceedings of the IEEE International Conference on Acoustics, 2009

Formal Approaches to SMS Service Based on Pi Calculus.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Formal Modeling and Analyzing Kerberos Protocol.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Robust synchronization of weighted complex dynamical networks.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

EnaCloud: An Energy-Saving Application Live Placement Approach for Cloud Computing Environments.
Proceedings of the IEEE International Conference on Cloud Computing, 2009

Relaxed Conditions for Consensus in Multi-Agent Coordination.
J. Syst. Sci. Complex., 2008

Soil Moisture Content Retrieval in an Arid to Semi-Arid Region in the Xinjiang Province.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Secure Relativistic Bit Commitment with Fixed Channel Capacity.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Coherent modulation filtering for speech.
Proceedings of the IEEE International Conference on Acoustics, 2008

HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Upgrading the User Experience of Digital Library.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Formation tracking control of unicycle teams with collision avoidance.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Design and implementation of an enhanced grid service container in the CROWN grid.
IJWGS, 2007

A Fair and Transferable Off-line Electronic Cash System with Multiple Banks.
Proceedings of ICEBE 2007, 2007

CIVIC: A Hypervisor Based Virtual Computing Environment.
Proceedings of the High Performance Computing and Communications, 2007

CROWN-ST: A Security and Trustworthiness Architecture for CROWN.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Understanding the performance of enterprise applications.
Proceedings of the IEEE International Conference on Systems, 2005

Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.
Proceedings of the Mobile Ad-hoc and Sensor Networks, First International Conference, 2005

Properties for modulation spectral filtering.
Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

Emissivity simulations in passive microwave remote sensing with 3-D numerical solutions of Maxwell equations.
IEEE Trans. Geosci. Remote. Sens., 2004

Application of UV multi-level partitioning method in solving problems of surface and volume scattering.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Modeling passive and active microwave remote sensing of snow using DMRT theory with rough surface boundary conditions.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Homomorphic modulation spectra.
Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

An Enhanced Normalisation Technique for Wavelet Shape Descriptors.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

Emission of rough surfaces calculated by the integral equation method with comparison to three-dimensional moment method simulations.
IEEE Trans. Geosci. Remote. Sens., 2003

Time-variant least squares harmonic modeling.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

A parameterized surface reflectivity model and estimation of bare-surface soil moisture with L-band radiometer.
IEEE Trans. Geosci. Remote. Sens., 2002

A generalized power law spectrum and its applications to the backscattering of soil surfaces based on the integral equation model.
IEEE Trans. Geosci. Remote. Sens., 2002

Numerical study of frequency and polarimetric dependence of the emissivities and backscattering coefficients of soil based on three dimensional Monte-Carlo simulation of Maxwell equations.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002

Application of physics-based two-grid method and sparse matrix canonical grid method for numerical simulations of emissivities of soils with rough surfaces at microwave frequencies.
IEEE Trans. Geosci. Remote. Sens., 2000

Parallel implementation of the sparse-matrix/canonical grid method for the analysis of two-dimensional random rough surfaces (three-dimensional scattering problem) on a Beowulf system.
IEEE Trans. Geosci. Remote. Sens., 2000

The UBC Protocol Testing Environment.
Proceedings of the Protocol Test Systems, 1993

On Inconclusive Verdict in Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992

On Static and Dynamic Test Case Selections in Protocol Confomance Testing.
Proceedings of the Protocol Test Systems, IV, 1991

New Advances in Ferry Testing Approaches.
Comput. Networks, 1988