Ying Xu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Measurements of Total Sea Surface Mean Square Slope Field Based on SWIM Data.
IEEE Trans. Geosci. Remote. Sens., 2022

Continuous-Domain Real-Time Distributed ADMM Algorithm for Aggregator Scheduling and Voltage Stability in Distribution Network.
IEEE Trans Autom. Sci. Eng., 2022

Estimation of Vehicle State Based on IMM-AUKF.
Symmetry, 2022

Smartphone-Based Unconstrained Step Detection Fusing a Variable Sliding Window and an Adaptive Threshold.
Remote. Sens., 2022

Arctic Sea Ice Classification Based on CFOSAT SWIM Data at Multiple Small Incidence Angles.
Remote. Sens., 2022

Accuracy Evaluation and Analysis of GNSS Tropospheric Delay Inversion from Meteorological Reanalysis Data.
Remote. Sens., 2022

An Integrated Change Detection Method Based on Spectral Unmixing and the CNN for Hyperspectral Imagery.
Remote. Sens., 2022

Efficient and accurate identification of missing tags for large-scale dynamic RFID systems.
J. Syst. Archit., 2022

Multistage Pulse Jamming Suppression Algorithm for Satellite Navigation Receiver.
J. Inf. Process. Syst., 2022

The Quality Evaluation Method of Sci-Tech English Translation for Intercultural Communication.
J. Inf. Knowl. Manag., 2022

Exploring the relationship between information and communication technology collective behaviors and sense of community: an urban refugee analysis.
Inf. Technol. People, 2022

A Comprehensive Analysis of AI Biases in DeepFake Detection With Massively Annotated Databases.
CoRR, 2022

Chat-to-Design: AI Assisted Personalized Fashion Design.
CoRR, 2022

GEMv2: Multilingual NLG Benchmarking in a Single Line of Code.
CoRR, 2022

Big Tech Companies Impact on Research at the Faculty of Information Technology and Electrical Engineering.
CoRR, 2022

Fantastic Questions and Where to Find Them: FairytaleQA - An Authentic Dataset for Narrative Comprehension.
CoRR, 2022

Pattern formation in a thermosensitive neural network.
Commun. Nonlinear Sci. Numer. Simul., 2022

Research on image sentiment analysis technology based on sparse representation.
CAAI Trans. Intell. Technol., 2022

Quantitative estimation of intracellular oxidative stress in human tissues.
Briefings Bioinform., 2022

Soft measurement of effluent index in sewage treatment process based on overcomplete broad learning system.
Appl. Soft Comput., 2022

Improved African Vulture Optimization Algorithm Based on Quasi-Oppositional Differential Evolution Operator.
IEEE Access, 2022

An Optimized Deep Spiking Neural Network Architecture Without Gradients.
IEEE Access, 2022

Supervised Contrastive Learning for Generalizable and Explainable DeepFakes Detection.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision Workshops, 2022

A Water Cut Measurement Method Based on TM010 Mode Microwave Cavity Sensor.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022

Using Three-axis Acceleration Sensor to Measure the Frequency of the Precession Vortex Signal.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022

A Comparative Study of Two Kinds of Modified Venturi Over-reading Models.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022

Gas Holdup Measurement of Gas-water Flow Using Microwave Transmission Line Method.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022

StoryBuddy: A Human-AI Collaborative Chatbot for Parent-Child Interactive Storytelling with Flexible Parental Involvement.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

"Elinor's Talking to Me!": Integrating Conversational AI into Children's Narrative Science Programming.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

It is AI's Turn to Ask Humans a Question: Question-Answer Pair Generation for Children's Story Books.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Fantastic Questions and Where to Find Them: FairytaleQA - An Authentic Dataset for Narrative Comprehension.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Adversarial Attacks on Face Recognition Systems.
Proceedings of the Handbook of Digital Face Manipulation and Detection, 2022

2021
Application of Wireless Communication Technology in Construction Project Information Management.
Wirel. Commun. Mob. Comput., 2021

AntennaNet: Antenna Parameters Measuring Network for Mobile Communication Base Station Using UAV.
IEEE Trans. Instrum. Meas., 2021

Permanent Magnet Parameter Design and Performance Analysis of Bearingless Flux Switching Permanent Magnet Motor.
IEEE Trans. Ind. Electron., 2021

Pedestrian Detection under Parallel Feature Fusion Based on Choquet Integral.
Symmetry, 2021

A Model Predictive Control with Preview-Follower Theory Algorithm for Trajectory Tracking Control in Autonomous Vehicles.
Symmetry, 2021

Green Technology Collaboration Network Analysis of China's Transportation Sector: A Patent-Based Analysis.
Sci. Program., 2021

A Novel Change Detection Approach Based on Spectral Unmixing from Stacked Multitemporal Remote Sensing Images with a Variability of Endmembers.
Remote. Sens., 2021

KVGCN: A KNN Searching and VLAD Combined Graph Convolutional Network for Point Cloud Segmentation.
Remote. Sens., 2021

Lithology Classification Using TASI Thermal Infrared Hyperspectral Data with Convolutional Neural Networks.
Remote. Sens., 2021

A New Method for Determining an Optimal Diurnal Threshold of GNSS Precipitable Water Vapor for Precipitation Forecasting.
Remote. Sens., 2021

Retrieving point cloud models of target objects in a scene from photographed images.
Multim. Tools Appl., 2021

Bubble storytelling with automated animation: a Brexit hashtag activism case study.
J. Vis., 2021

A topic analysis method based on a three-dimensional strategic diagram.
J. Inf. Sci., 2021

Accuracy improvement of 6-UPS Stewart forward kinematics solution based on self-aggregating MFO algorithm.
J. Intell. Fuzzy Syst., 2021

Multi-scale personnel deep feature detection algorithm based on Extended-YOLOv3.
J. Intell. Fuzzy Syst., 2021

Medical rolling bearing fault prognostics based on improved extreme learning machine.
J. Comb. Optim., 2021

Press, swipe and read: Do interactive features facilitate engagement and learning with e-Books?
J. Comput. Assist. Learn., 2021

Performance evaluation of secured network traffic classification using a machine learning approach.
Comput. Stand. Interfaces, 2021

An optimised deep spiking neural network architecture without gradients.
CoRR, 2021

It is AI's Turn to Ask Human a Question: Question and Answer Pair Generation for Children Storybooks in FairytaleQA Dataset.
CoRR, 2021

Voltage Inference for and Coordination of Distributed Voltage Controls in Extremely-High DER-Penetration Distribution Networks.
CoRR, 2021

Understanding in Artificial Intelligence.
CoRR, 2021

Hyperspectral imaging classification based on LBP feature extraction and multimodel ensemble learning.
Comput. Electr. Eng., 2021

Same benefits, different communication patterns: Comparing Children's reading with a conversational agent vs. a human partner.
Comput. Educ., 2021

Understanding the unimodal distributions of cancer occurrence rates: it takes two factors for a cancer to occur.
Briefings Bioinform., 2021

Integrated PDR/GNSS at Different Times for Pedestrian Localization in Urban Canyon.
IEEE Access, 2021

Grey-box Adversarial Attack And Defence For Sentiment Classification.
Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

Multimodal Icon Annotation For Mobile Applications.
Proceedings of the MobileHCI '21: 23rd International Conference on Mobile Human-Computer Interaction, Toulouse & Virtual Event, France, 27 September 2021, 2021

A Novel State-Constrained Primary Control for Grid-Forming Inverters.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2021

Live Demonstration: An FPGA-Based Emulation of an Event-Based Vision Sensor Using Commercially Available Camera.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

UIBert: Learning Generic Multimodal Representations for UI Understanding.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Fall Detection and Protection System Based on Characteristic Areas Algorithm.
Proceedings of the Intelligent Robotics and Applications - 14th International Conference, 2021

A new multiple instance algorithm using structural information.
Proceedings of the IEEE International Conference on Data Mining, 2021

Simulation Method for Ultrasonic Attenuation in Droplet Flow.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

Research on numerical simulation of stratified gas-liquid flow through crescent orifice plate.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

The Influence of Pseudo-Slug Flow on the Measurement Characteristics of Venturi.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

Water Content Measurement by an Orthogonal Two-dimensional Electromagnetic Field based Microwave Sensor.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

Are Current Voice Interfaces Designed to Support Children's Language Development?
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

The Ecological Context of Preschool-Aged Children's Selection of Media Content.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

ParaPindel: a scalable coordinated parallel detection framework for human genome-wide structural variation.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

ActionBert: Leveraging User Actions for Semantic Understanding of User Interfaces.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Robust Joint Hybrid Analog-Digital Transceiver Design for Full-Duplex mmWave Multicell Systems.
IEEE Trans. Commun., 2020

Weakly supervised facial expression recognition via transferred DAL-CNN and active incremental learning.
Soft Comput., 2020

A Modified Residual-Based RAIM Algorithm for Multiple Outliers Based on a Robust MM Estimation.
Sensors, 2020

A Regional NWP Tropospheric Delay Inversion Method Based on a General Regression Neural Network Model.
Sensors, 2020

A Radio Environment Maps Estimation Algorithm based on the Pixel Regression Framework for Underlay Cognitive Radio Networks Using Incomplete Training Data.
Sensors, 2020

A Power Spectrum Maps Estimation Algorithm Based on Generative Adversarial Networks for Underlay Cognitive Radio Networks.
Sensors, 2020

Event-Based Feature Extraction Using Adaptive Selection Thresholds.
Sensors, 2020

Periodic motion generation for the impactless biped walking up slopes via genetic algorithm.
Nat. Comput., 2020

Time-consistent equilibrium reinsurance-investment strategy for n competitive insurers under a new interaction mechanism and a general investment framework.
J. Comput. Appl. Math., 2020

Enhanced Secure Transmission for Indoor Visible Light Communications.
IEICE Trans. Inf. Syst., 2020

GraphFederator: Federated Visual Analysis for Multi-party Graphs.
CoRR, 2020

Elephant in the Room: An Evaluation Framework for Assessing Adversarial Examples in NLP.
CoRR, 2020

Synchronization and spatial patterns in a light-dependent neural network.
Commun. Nonlinear Sci. Numer. Simul., 2020

dbInDel: a database of enhancer-associated insertion and deletion variants by analysis of H3K27ac ChIP-Seq.
Bioinform., 2020

A hybrid two-stage financial stock forecasting algorithm based on clustering and ensemble learning.
Appl. Intell., 2020

Dynamics and stochastic resonance in a thermosensitive neuron.
Appl. Math. Comput., 2020

Asian Female Facial Beauty Prediction Using Deep Neural Networks via Transfer Learning and Multi-Channel Feature Fusion.
IEEE Access, 2020

A Classification Algorithm Based on Complex Number Feature.
IEEE Access, 2020

An Optimal Torque Distribution Strategy for Four-Motorized-Wheel Electric Vehicle Considering Energy Conversation.
IEEE Access, 2020

Face Recognition Algorithm Based on Correlation Coefficient and Ensemble-Augmented Sparsity.
IEEE Access, 2020

Multiple-Access Interference and Multipath Influence Mitigation for Multicarrier Code-Division Multiple-Access Signals.
IEEE Access, 2020

Study on Optimal Laminographic Tilt Angle: A Method for Analyzing Quantity Information Gained in Projections.
IEEE Access, 2020

A Two-Phase Transfer Learning-Based Power Spectrum Maps Reconstruction Algorithm for Underlay Cognitive Radio Networks.
IEEE Access, 2020

A New GNSS Spoofing Detection Method Using Two Antennas.
IEEE Access, 2020

Moderating Effects of Agricultural Product Category Characteristics on Consumers' Online Shopping Intention.
Proceedings of the Simulation Tools and Techniques - 12th EAI International Conference, 2020

Re-ranking Answer Selection with Similarity Aggregation.
Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, 2020

Design of a Flexible End-Effector for Logistics Sorting Robot.
Proceedings of the 2020 IEEE International Conference on Real-time Computing and Robotics, 2020

PhosTransfer: A Deep Transfer Learning Framework for Kinase-Specific Phosphorylation Site Prediction in Hierarchy.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2020

Automatic and Interpretable Model for Periodontitis Diagnosis in Panoramic Radiographs.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Forget Me Not: Reducing Catastrophic Forgetting for Domain Adaptation in Reading Comprehension.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

An Estimate of the Decay rate of Swells using Altimeter Data.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Spatial Attentive Image Aesthetic Assessment.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2020

Augmentation Data Synthesis Via Gans: Boosting Latent Fingerprint Reconstruction.
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

A drug information embedding method based on graph convolution neural network.
Proceedings of the 22nd IEEE International Conference on E-health Networking, 2020

State-Constrained Grid-Forming Inverter Control for Robust Operation of AC Microgrids.
Proceedings of the 18th European Control Conference, 2020

Resilient Cooperative Voltage Control for Distribution Network with High Penetration Distributed Energy Resources.
Proceedings of the 18th European Control Conference, 2020

"Elinor Is Talking to Me on the Screen!" Integrating Conversational Agents into Children's Television Programming.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

What Are You Talking To?: Understanding Children's Perceptions of Conversational Agents.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Prediction of secondary structure population and intrinsic disorder of proteins using multitask deep learning.
Proceedings of the AMIA 2020, 2020

Wonder with elinor: designing a socially contingent video viewing experience.
Proceedings of the Extended Abstracts Proceedings of the 19th ACM International Conference on Interaction Design and Children, 2020

A content analysis of voice-based apps on the market for early literacy development.
Proceedings of the 19th ACM International Conference on Interaction Design and Children, 2020

Exploring young children's engagement in joint reading with a conversational agent.
Proceedings of the 19th ACM International Conference on Interaction Design and Children, 2020

Using conversational agents to foster young children's science learning from screen media.
Proceedings of the Extended Abstracts Proceedings of the 19th ACM International Conference on Interaction Design and Children, 2020

2019
Robust Joint Hybrid Transceiver Design for Millimeter Wave Full-Duplex MIMO Relay Systems.
IEEE Trans. Wirel. Commun., 2019

FBVA: A Flow-Based Visual Analytics Approach for Citywide Crowd Mobility.
IEEE Trans. Comput. Soc. Syst., 2019

CAR-Lite: A Multi-Rate Cochlear Model on FPGA for Spike-Based Sound Encoding.
IEEE Trans. Circuits Syst. I Regul. Pap., 2019

Bi-Directional Loop Antenna Array Using Magic Cube Origami.
Sensors, 2019

A Lane Detection Method Based on a Ridge Detector and Regional G-RANSAC.
Sensors, 2019

Combating Child Labor: Incentives and Information Disclosure in Global Supply Chains.
Manuf. Serv. Oper. Manag., 2019

Equivalent circuit models for a biomembrane impedance sensor and analysis of electrochemical impedance spectra based on support vector regression.
Medical Biol. Eng. Comput., 2019

CNN-based text multi-classifier using filters initialised by N-gram vector.
Int. J. Inf. Commun. Technol., 2019

Incorporating Graph Attention and Recurrent Architectures for City-Wide Taxi Demand Prediction.
ISPRS Int. J. Geo Inf., 2019

Electrical Mode Transition of Hybrid Neuronal Model Induced by External Stimulus and Electromagnetic Induction.
Int. J. Bifurc. Chaos, 2019

Precise time and frequency transfer combined BeiDou's RDSS and RNSS signals.
EURASIP J. Wirel. Commun. Netw., 2019

Similarity Kernel and Clustering via Random Projection Forests.
CoRR, 2019

Learning over inherently distributed data.
CoRR, 2019

Data-Driven Wide-Area Control Design of Power System Using the Passivity Shortage Framework.
CoRR, 2019

Event-based Feature Extraction Using Adaptive Selection Thresholds.
CoRR, 2019

Comparative study of PLS path algorithm in water utilization rate of sponge city.
Concurr. Comput. Pract. Exp., 2019

Robust SAR Automatic Target Recognition Based on Transferred MS-CNN with L<sup>2</sup>-Regularization.
Comput. Intell. Neurosci., 2019

DTA-SiST: de novo transcriptome assembly by using simplified suffix trees.
BMC Bioinform., 2019

HKPocket: human kinase pocket database for drug design.
BMC Bioinform., 2019

Scaffolding learning of language structures with visual-syntactic text formatting.
Br. J. Educ. Technol., 2019

Wave propagation and synchronization induced by chemical autapse in chain Hindmarsh-Rose neural network.
Appl. Math. Comput., 2019

Mobile Communication Base Station Antenna Measurement Using Unmanned Aerial Vehicle.
IEEE Access, 2019

Analysis of the Code Phase Migration and Doppler Frequency Migration Effects in the Coherent Integration of Direct-Sequence Spread-Spectrum Signals.
IEEE Access, 2019

More Competitive Feature Extraction Network for Instance Segmentation.
Proceedings of the 2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 2019

A Binaural Sound Localization System using Deep Convolutional Neural Networks.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Validation of HY-2A Satellite Sea Level Measurements Offshore Hong Kong Using Jason-2 Satellite and Tide Gauge Data.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Participatory data collection and management in low-resource contexts: a field trial with urban refugees.
Proceedings of the Tenth International Conference on Information and Communication Technologies and Development, 2019

Residual Frame for Noisy Video Classification According to Perceptual Quality in Convolutional Neural Networks.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2019

A Web Based Security Monitoring and Information Management System for Nursing Homes.
Proceedings of the Intelligent Robotics and Applications - 12th International Conference, 2019

Research on Low Water Volume Fraction Measurement of Two-Phase Flow Based on TM010 Mode Microwave Cavity Sensor.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019

Research on over-reading correlation for Venturi nozzle in wet gas two-phase flow.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019

Water volume fraction measurement with hydrocyclone-capacitor sensor in horizontal gas-liquid swirling flow.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019

Liquid film thickness measurement for gas-liquid two phase flow using ultrasound.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019

Research on the Pressure drop Characteristics of Spiral flow in Horizontal Straight Pipe.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019

SAR ATR by Decision Fusion of Multiple Random Convolution Features.
Proceedings of the 22th International Conference on Information Fusion, 2019

Young Children's Reading and Learning with Conversational Agents.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Al Osool: Understanding information behavior for community development at Za'atari Syrian refugee camp.
Proceedings of the 9th International Conference on Communities & Technologies, 2019

Maintaining Intracellular Acid-Base Homeostasis is Probably at the Core of Cancer Formation, Progression and Metastasis.
Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

LysoPhD: predicting functional prophages in bacterial genomes from high-throughput sequencing.
Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

Multi-Classification of Cancer Samples Based on Co-Expression Analyses.
Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

The Added Challenge of Digital Reading: Exploring Young Children's Page Turning Behaviors.
Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

2018
Study on an Automatic Parking Method Based on the Sliding Mode Variable Structure and Fuzzy Logical Control.
Symmetry, 2018

A Distributed Dynamic Programming-Based Solution for Load Management in Smart Grids.
IEEE Syst. J., 2018

Performance Analysis of GPS/BDS Dual/Triple-Frequency Network RTK in Urban Areas: A Case Study in Hong Kong.
Sensors, 2018

GPS/BDS Medium/Long-Range RTK Constrained with Tropospheric Delay Parameters from NWP Model.
Remote. Sens., 2018

QR codes blind deconvolution algorithm based on binary characteristic and <i>L</i><sub>0</sub> norm minimization.
Pattern Recognit. Lett., 2018

dbCAN2: a meta server for automated carbohydrate-active enzyme annotation.
Nucleic Acids Res., 2018

dbCoRC: a database of core transcriptional regulatory circuitries modeled by H3K27ac ChIP-seq signals.
Nucleic Acids Res., 2018

基于稀疏特性的盲二值图像去模糊 (Blind Binary Image Deconvolution Based on Sparse Property).
计算机科学, 2018

Development of a human head and neck muscle activation control model based on BPNN.
J. Intell. Fuzzy Syst., 2018

Effects of ion channel blocks on electrical activity of stochastic Hodgkin-Huxley neural network under electromagnetic induction.
Neurocomputing, 2018

Propagation of firing rate by synchronization in a feed-forward multilayer Hindmarsh-Rose neural network.
Neurocomputing, 2018

Construction of a Multiple English Teaching Mode Based on Cloud Technology.
Int. J. Emerg. Technol. Learn., 2018

Dynamic Behaviors in Coupled Neuron System with the Excitatory and Inhibitory Autapse under Electromagnetic Induction.
Complex., 2018

Hybrid multi-objective evolutionary algorithms based on decomposition for wireless sensor network coverage optimization.
Appl. Soft Comput., 2018

Coordination of SMES, SFCL and Distributed Generation Units for Micro-Grid Stability Enhancement via Wireless Communications.
IEEE Access, 2018

Generation of Walking Motions for the Biped Ascending Slopes Based on Genetic Algorithm.
Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

Fishbone-inspired soft robotic glove for hand rehabilitation with multi-degrees-of-freedom.
Proceedings of the IEEE International Conference on Soft Robotics, 2018

3D Pose Estimation for Robotic Grasping Using Deep Convolution Neural Network.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2018

A Multi-objective Optimization Model for Determining the Optimal Standard Feasible Neighborhood of Intelligent Vehicles.
Proceedings of the PRICAI 2018: Trends in Artificial Intelligence, 2018

Improving the Resolution of Retinal OCT with Deep Learning.
Proceedings of the Medical Image Understanding and Analysis - 22nd Conference, 2018

A Machine Hearing System for Binaural Sound Localization based on Instantaneous Correlation.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

CAR-Lite: A Multi-Rate Cochlea Model on FPGA.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Analysis of target RCS measurement based on a low RCS carrier.
Proceedings of the 2018 International Conference on Identification, 2018

Investigating the Validity of Using Automated Writing Evaluation in EFL Writing Assessment.
Proceedings of the Emerging Technologies for Education - Third International Symposium, 2018

DTAST: A Novel Radical Framework for de Novo Transcriptome Assembly Based on Suffix Trees.
Proceedings of the Intelligent Computing Theories and Application, 2018

Continuous Proximity Detection via Predictive Safe Region Construction.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

An algorithm to calculate phase and amplitude of tag on RFID protocol conformance test system.
Proceedings of the 20th International Conference on Advanced Communication Technology, 2018

A multi-factor influencing POI recommendation model based on matrix factorization.
Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018

Study on measurement technology of thermal gas flow based on effective velocity.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2018

A steady-state NSGA-II based multi-objective multicast routing algorithm for optical networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Fusing Visual Saliency for Material Recognition.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2018

2017
An energy efficient hole repair node scheduling algorithm for WSN.
Wirel. Networks, 2017

A New GNSS Single-Epoch Ambiguity Resolution Method Based on Triple-Frequency Signals.
ISPRS Int. J. Geo Inf., 2017

The Electrical Activity of Neurons Subject to Electromagnetic Induction and Gaussian White Noise.
Int. J. Bifurc. Chaos, 2017

Non-linear behavior of supply chains under chaos environment with disruptions: Based on coupled map lattices.
Intell. Decis. Technol., 2017

Collaborating CPU and GPU for the electromagnetic simulations with the FDTD algorithm.
Concurr. Comput. Pract. Exp., 2017

Parallel computations of local PageRank problem based on Graphics Processing Unit.
Concurr. Comput. Pract. Exp., 2017

Formation of Autapse Connected to Neuron and Its Biological Function.
Complex., 2017

CPredictor3.0: detecting protein complexes from PPI networks with expression data and functional annotations.
BMC Syst. Biol., 2017

Phase synchronization between two neurons induced by coupling of electromagnetic field.
Appl. Math. Comput., 2017

Location-Based Top-k Term Querying over Sliding Window.
Proceedings of the Web Information Systems Engineering - WISE 2017, 2017

An evaluation of convolutional neural networks on material recognition.
Proceedings of the 2017 IEEE SmartWorld, 2017

Research and implementation of parallel Lane detection algorithm based on GPU.
Proceedings of the International Conference on Security, Pattern Analysis, and Cybernetics, 2017

Soft robotic glove for hand rehabilitation based on a novel fabrication method.
Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

A Load Balancing Strategy for Monte Carlo Method in PageRank Problem.
Proceedings of the Parallel Architecture, Algorithm and Programming, 2017

IsoTree: De Novo Transcriptome Assembly from RNA-Seq Reads - (Extended Abstract).
Proceedings of the Bioinformatics Research and Applications - 13th International Symposium, 2017

Vehicle localization based on odometry assisted magnetic matching.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Abnormal Identification of Swine Flu Clinical Characteristics Based on Body Temperature and Behavior.
Proceedings of the Computer and Computing Technologies in Agriculture XI, 2017

An improved attitude determination algorithm of the single cone scanning infrared earth-sensor.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Mobilizing Assets: Data-Driven Community Development with Refugees.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

Community Building with Co-located Social Media: A Field Experiment with Syrian Refugees.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

Towards a Principled Approach to Humanitarian Information and Communication Technology.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

National instrument-based experimental validation of a nonlinear real-time induction motor model in an EV simulation system.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

Deep Convolutional Neural Network for Facial Expression Recognition.
Proceedings of the Image and Graphics - 9th International Conference, 2017

SAR Automatic Target Recognition Based on Deep Convolutional Neural Network.
Proceedings of the Image and Graphics - 9th International Conference, 2017

Robust Transceiver Design for Full-Duplex MIMO Relay Systems.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

Dissipativity-based design of local and wide-area DER controls for large-scale power systems with high penetration of renewables.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Analysis on the validity of eye movement data during video viewing.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

Decoupling Encoder and Decoder Networks for Abstractive Document Summarization.
Proceedings of the Workshop on Summarization and Summary Evaluation Across Source Types and Genres, 2017

2016
Performance Evaluation of the New Compound-Carrier-Modulated Signal for Future Navigation Signals.
Sensors, 2016

Local pacing, noise induced ordered wave in a 2D lattice of neurons.
Neurocomputing, 2016

Fault detection of multimode non-Gaussian dynamic process using dynamic Bayesian independent component analysis.
Neurocomputing, 2016

Finite model order asymptotic analysis in Wiener system identification.
Int. J. Model. Identif. Control., 2016

Pure-strategy Nash equilibria in large games: characterization and existence.
Int. J. Game Theory, 2016

Inter-cell interference mitigation based on joint beamforming.
Int. J. Commun. Syst., 2016

T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients.
Genom. Proteom. Bioinform., 2016

A New Graph Theoretic Approach for Protein Threading.
Fundam. Informaticae, 2016

POS: A High-Level System to Simplify Real-Time Stream Application Development on Storm.
Data Sci. Eng., 2016

Defects formation and wave emitting from defects in excitable media.
Commun. Nonlinear Sci. Numer. Simul., 2016

Quantification winter wheat LAI with HJ-1CCD image features over multiple growing seasons.
Int. J. Appl. Earth Obs. Geoinformation, 2016

How People Talk About Armed Conflicts.
Proceedings of the Social, Cultural, and Behavioral Modeling, 9th International Conference, 2016

Load frequency control participation of wind farms in power systems.
Proceedings of the 2016 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2016

Establishment of Traceable Management Information Platform for Quality Safety of Panax Ginseng.
Proceedings of the 9th International Symposium on Computational Intelligence and Design, 2016

An ALM matrix completion algorithm for recovering weather monitoring data.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Shuffle-efficient distributed Locality Sensitive Hashing on spark.
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Communication Behaviors When Displaced: A Case Study of Za'atari Syrian Refugee Camp.
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

Community-Level Access Divides: A Refugee Camp Case Study.
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

Einstein-Podolsky-Rosen steering for non-Gaussian states based on moment matrices.
Proceedings of the 3rd International Conference on Systems and Informatics, 2016

A travel route recommendation algorithm with personal preference.
Proceedings of the 12th International Conference on Natural Computation, 2016

SAR automatic target recognition based on K-means and data augmentation.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Benchmark of a large scale database for facial beauty prediction.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

A PBIL for Load Balancing in Network Coding Based Multicasting.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Electronic cochlea: CAR-FAC model on FPGA.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2016

2015
A New Indoor Positioning System Architecture Using GPS Signals.
Sensors, 2015

TBox learning from incomplete data by inference in BelNet<sup>+</sup>.
Knowl. Based Syst., 2015

An optimal stochastic approximation for estimating the effective window of a control factor.
J. Syst. Sci. Complex., 2015

The Benefit of Introducing Variability in Single-Server Queues with Application to Quality-Based Service Domains.
Oper. Res., 2015

Detection of noise effect on coupled neuronal circuits.
Commun. Nonlinear Sci. Numer. Simul., 2015

Resource management in device-to-device underlaying cellular network.
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015

TencentRec: Real-time Stream Recommendation in Practice.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

An improved dynamic framed slotted ALOHA Anti-collision algorithm based on estimation method for RFID systems.
Proceedings of the 2015 IEEE International Conference on RFID, 2015

A Crowdfunding Model for Green Energy Investment.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Promoting participatory community building in refugee camps with mapping technology.
Proceedings of the Seventh International Conference on Information and Communication Technologies and Development, 2015

Interactive simulation of virtual trees spray.
Proceedings of the 2nd IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services, 2015

A Novel Method for Predicting Facial Beauty Under Unconstrained Condition.
Proceedings of the Image and Graphics - 8th International Conference, 2015

Demand Management with Energy Generation and Storage in Collectives.
Proceedings of the Outlooks and Insights on Group Decision and Negotiation, 2015

Towards Practical Face Recognition: A Local Binary Pattern Non Frontal Faces Filtering Approach.
Proceedings of the Biometric Recognition - 10th Chinese Conference, 2015

A reconfigurable mixed-signal implementation of a neuromorphic ADC.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2015

Crowdfunding Investment for Renewable Energy.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives.
J. Artif. Intell. Res., 2014

Analyzing Binary Outcome Data with Small Clusters: A Simulation Study.
Commun. Stat. Simul. Comput., 2014

Energy aware network planning for wireless cellular system with renewable energy.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2014

Implementation and Optimization of Three-Dimensional UPML-FDTD Algorithm on GPU Clusters.
Proceedings of the Supercomputing - 29th International Conference, 2014

A Multi-objective Jumping Particle Swarm Optimization Algorithm for the Multicast Routing.
Proceedings of the Advances in Swarm Intelligence - 5th International Conference, 2014

Finger-knuckle-print recognition based on image sets and convex optimization.
Proceedings of the 2014 International Conference on Machine Learning and Cybernetics, 2014

An Implementation of an Intelligent PCE-Agent-Based Multi-domain Optical Network Architecture.
Proceedings of the Intelligent Computing Methodologies - 10th International Conference, 2014

A Low Redundancy and High Coverage Node Scheduling Algorithm for Wireless Sensor Networks.
Proceedings of the Advances in Wireless Sensor Networks - The 8th China Conference, 2014

Disguised Face Recognition Based on Local Feature Fusion and Biomimetic Pattern Recognition.
Proceedings of the Biometric Recognition - 9th Chinese Conference, 2014

Multiagent coordination for demand management with energy generation and storage.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Cancer Bioinformatics
Springer, ISBN: 978-1-4939-1381-7, 2014

2013
Real-Time Face Detection and Recognition via Local Binary Pattern Plus Sample Selective Biomimetic Pattern Recognition.
IEICE Trans. Inf. Syst., 2013

Particle swarm optimization for the Steiner tree in graph and delay-constrained multicast routing problems.
J. Heuristics, 2013

A simulated annealing based genetic local search algorithm for multi-objective multicast routing problems.
Ann. Oper. Res., 2013

Integrable decompositions of a symmetric matrix Kaup-Newell equation and a symmetric matrix derivative nonlinear Schrödinger equation.
Appl. Math. Comput., 2013

Entity Correspondence with Second-Order Markov Logic.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Transmission strategies selection for cellular networks.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Cross-layer design based sustainability and energy-efficiency optimization in femtocell networks with sustainable energy.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Energy Analysis of Device Discovery for Bluetooth Low Energy.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Adaptive Device Discovery in Bluetooth Low Energy Networks.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Ontology Learning from Incomplete Semantic Web Data by BelNet.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Energy sustainability modeling and liquid cell management in green cellular networks.
Proceedings of IEEE International Conference on Communications, 2013

Disguised face recognition via local phase quantization plus geometry coverage.
Proceedings of the IEEE International Conference on Acoustics, 2013

Distributed interference coordination based on energy-efficient game in HSPA HetNet.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Multiagent Coordination for Energy Consumption Scheduling in Consumer Cooperatives.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
An iterative local search approach based on fitness landscapes analysis for the delay-constrained multicast routing problem.
Comput. Commun., 2012

A hybrid scatter search meta-heuristic for delay-constrained multicast routing problems.
Appl. Intell., 2012

Purchasing Motivations Toward Counterfeit Luxury Goods on E-marketplaces.
Proceedings of the 11th Wuhan International Conference on E-Business, 2012

An Architecture for Cognitive Radio Networks with Cognition, Self-Organization and Reconfiguration Capabilities.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

A Novel Artificial Fish Swarm Algorithm Based on Multi-objective Optimization.
Proceedings of the Intelligent Computing Theories and Applications, 2012

Physical-layer network coding in OFDM system: Analysis and performance.
Proceedings of the 7th International Conference on Communications and Networking in China, 2012

A mechanism design model in robot-service-queue control with strategic operators and asymmetric information.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Prediction of renal transplant rejection and acute tubular necrosis in renal transplant based on SVM.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

2011
Wireless Sensing of Human Respiratory Parameters by Low-Power Ultrawideband Impulse Radio Radar.
IEEE Trans. Instrum. Meas., 2011

A Multi-layer Model for Face Aging Simulation.
Trans. Edutainment, 2011

Solving multi-objective multicast routing problems by evolutionary multi-objective simulated annealing algorithms with variable neighbourhoods.
J. Oper. Res. Soc., 2011

Gaussian integral circulant digraphs.
Discret. Math., 2011

On the Super Codes of the First Order Reed-Muller Code Based on m-Sequence Pairs.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Multi-task GLOH feature selection for human age estimation.
Proceedings of the 18th IEEE International Conference on Image Processing, 2011

Research on Cognitive Wireless Networks: Theory, Key Technologies and testbed.
Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2011

National standardization activities within China.
Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2011

2010
Intergenic and Repeat Transcription in Human, Chimpanzee and Macaque Brains Measured by RNA-Seq.
PLoS Comput. Biol., 2010

A study of health effects of long-distance ocean voyages on seamen using a data classification approach.
BMC Medical Informatics Decis. Mak., 2010

Using Kernel Discriminant Analysis and 2DGabor Local Features Fusion for Face Recognition.
J. Digit. Content Technol. its Appl., 2010

Physical Design Methodology for Godson-2G Microprocessor.
J. Comput. Sci. Technol., 2010

Physical Implementation of the 1GHz Godson-3 Quad-Core Microprocessor.
J. Comput. Sci. Technol., 2010

Novel DGS-CSRR-based microstrip low pass filter with ultra wide suppression.
Int. J. Ultra Wideband Commun. Syst., 2010

GolgiP: prediction of Golgi-resident proteins in plants.
Bioinform., 2010

On the Performance Evaluation of Quasi-Cyclic LDPC Codes with Arbitrary Puncturing.
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Retransmission != repeat: simple retransmission permutation can resolve overlapping channel collisions.
Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010

The description of iFlyTek Speech Lab system for NIST2009 Language Recognition Evaluation.
Proceedings of the 7th International Symposium on Chinese Spoken Language Processing, 2010

Service level differentiation in multi-robots control.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

An improved Particle Swarm Optimization algorithm.
Proceedings of the Sixth International Conference on Natural Computation, 2010

2009
Some Algebraic Properties of Bi-Circulant Digraphs.
Ars Comb., 2009

On the Folded hypercube and Bi-folded Hypercube.
Ars Comb., 2009

Prediction in Dynamic SDRAM Controller Policies.
Proceedings of the Embedded Computer Systems: Architectures, 2009

The Importance of Run-Time Error Detection.
Proceedings of the Tools for High Performance Computing 2009, 2009

Block Precoding Based ICI Mitigation Technique for OFDM System.
Proceedings of the 2009 Pacific-Asia Conference on Circuits, Communications and Systems, 2009

A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing.
Proceedings of the Learning and Intelligent Optimization, Third International Conference, 2009

Research on Operating Parameters and Energy Consumption of Cold Store Based on Rough Set Theory.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

Scientific Application Based Performance on Magic Cube.
Proceedings of the High Performance Computing and Applications, 2009

2008
Block spin density matrix of the inhomogeneous AKLT model.
Quantum Inf. Process., 2008

Protein Structure-structure Alignment with Discrete FrÉchet Distance.
J. Bioinform. Comput. Biol., 2008

Reconstruction of the Infection Curve for SARS Epidemic in Beijing, China Using a Back-Projection Method.
Commun. Stat. Simul. Comput., 2008

Design of Online Automatic Assessment.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

An Assessment Tool for Assembly Language Programming.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
A Novel Integrated Cell-Based Biosensor for Extracellular Electrophysiological Monitoring.
Int. J. Inf. Acquis., 2007

On the Construction of Quasi-Systematic Block-Circulant LDPC Codes.
IEEE Commun. Lett., 2007

Operon Prediction in Microbial Genomes Using Decision Tree Approach.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

Protein Structure-Structure Alignment with Discrete Fr'echet Distance.
Proceedings of 5th Asia-Pacific Bioinformatics Conference, 2007

2006
Efficient Parameterized Algorithms for Biopolymer Structure-Sequence Alignment.
IEEE ACM Trans. Comput. Biol. Bioinform., 2006

A Numerical procedure for solving 2D phase-field model problems.
J. Comput. Phys., 2006

Structure Prediction of Helical Transmembrane Proteins at Two Length Scales.
J. Bioinform. Comput. Biol., 2006

Vehicle routing and scheduling with dynamic travel times.
Comput. Oper. Res., 2006

libSRES: a C library for stochastic ranking evolution strategy for parameter estimation.
Bioinform., 2006

A Double Horizon Defense Design for Robust Regulation of Malicious Traffic.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Design and Performance Evaluation of a Proxy-based Java Rewriting Security System.
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

A System for Project Distribution Based on the Semantic Matching Method.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Researching on The Method and Technology of Creating Temporal Categories for an Ontology of Time.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Research on Context Modeling Based on Ontology.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

A Complex Applications Framework Supporting Tolerant Dynamic Vehicle Dispatching.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Individual QoS versus aggregate QoS: a loss performance study.
IEEE/ACM Trans. Netw., 2005

Preface.
J. Comput. Sci. Technol., 2005

Clustering Gene Expression Data with Kernel Principal Components.
J. Bioinform. Comput. Biol., 2005

Logistic support vector machines and their application to gene expression data.
Int. J. Bioinform. Res. Appl., 2005

Bright red-to-yellow organic light-emitting devices based on polarization-induced spectral shifts and broadening.
Displays, 2005

An efficient and bright organic white-light-emitting device.
Displays, 2005

On the robustness of router-based denial-of-service (DoS) defense systems.
Comput. Commun. Rev., 2005

MPSS: an integrated database system for surveying a set of proteins.
Bioinform., 2005

Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment.
Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005

Multilevel weighted fuzzy reasoning with interaction.
Proceedings of the IEEE International Conference on Systems, 2005

Intrusion Detection Combining Multiple Decision Trees by Fuzzy logic.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Multi-Scale Hierarchical Structure Prediction of Helical Transmembrane Proteins.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, 2005

2004
NFS-cc: tuning NFS for concurrent read sharing.
Int. J. High Perform. Comput. Netw., 2004

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).
Comput. J., 2004

Exploring the performance benefits of end-to-end path switching.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

2003
MOLVIE: an interactive visualization environment for molecular structures.
Comput. Methods Programs Biomed., 2003

On Evaluating Loss Performance Deviation: A Simple Tool and Its Practical Implications.
Proceedings of the Quality of Service in Multiservice IP Networks, 2003

1999
Foreword.
J. Comb. Optim., 1999

Optimizing terrestrial transport architecture in satellite telephony networks.
Proceedings of the 1999 IEEE Wireless Communications and Networking Conference, 1999

Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996
MDG Tools for the Verification of RTL Designs.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...