Yuan Feng

发表

Using Observational Engagement Assessment Method VC-IOE for Evaluating an Interactive Table Designed for Seniors with Dementia

Jun Hu, Matthias Rauterberg, Yuan Feng, 2017, ICSH.

Study for evaluating on-board power plant simulating training performance

Li Xia, Yuan Feng, Hui Xie, 2012, 2012 IEEE Symposium on Robotics and Applications (ISRA).

Design of LED Display Control System Based on AT89C52 Single Chip Microcomputer

Yuan Feng, Yongxian Song, Juanli Ma, 2011, J. Comput..

Modeling and analysis of postoperative intervention process for total joint replacement patients using simulations

Yuan Feng, Hyo-Kyung Lee, Rebecca Jin, 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

Research on Simulation on Target Organ Damage Prediction of Primary Hypertensive

Yuan Feng, 2012 .

Reachability Analysis of Recursive Quantum Markov Chains

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2013, MFCS.

A LTCC miniaturized broadband modified Marchand balun

Yuan Feng, Min Han, Yongsheng Dai, 2012, 2012 International Symposium on Communications and Information Technologies (ISCIT).

Design of Toxic Gas Monitoring System Based on Virtual Technology and WSN

Yuan Feng, Yong Xian Song, Xian Jin Zhang, 2013 .

Stochastic nonlocal damage analysis by a machine learning approach

Yuan Feng, Di Wu, Wei Gao, 2020 .

When Equivalence and Bisimulation Join Forces in Probabilistic Automata

Lijun Zhang, Yuan Feng, 2014, FM.

Fuzzy comprehensive assessment of heavy metals in soil based on MATLAB-FIS

Yuan Feng, 2007 .

On hybrid models of quantum finite automata

Yuan Feng, Lvzhou Li, Lvzhou Li, 2012, J. Comput. Syst. Sci..

A Hybrid BP-VMP-EP Localization Algorithm for Passive MIMO Radar Networks

Dan Wu, Yuan Feng, Nan Wu, 2018, 2018 10th International Conference on Wireless Communications and Signal Processing (WCSP).

Study of Multirate Sampled Acquisition of Lightning Current Waveform Based on Short-Time Fourier Transform

Yuan Feng, Jingjing Zhang, Xing Jin, 2017, J. Adv. Comput. Intell. Intell. Informatics.

Model Checking Applied to Quantum Physics pdf

Yuan Feng, Mingsheng Ying, Andrea Turrini, 2019, ArXiv.

Seismic performance analysis and design suggestion for frame buildings with cast-in-place staircases

Yuan Feng, Wen Yang, Xiaobin Wu, 2013, Earthquake Engineering and Engineering Vibration.

High-speed interpolation techniques by NURBS approaches

Yuan Feng, 2005 .

On Coinduction and Quantum Lambda Calculi

Ugo Dal Lago, Yuan Feng, Yuxin Deng, 2015, CONCUR.

Design and Analysis for Reliability of Wireless Sensor Network

Ting Chen, Yuan Feng, Yongxian Song, 2012, J. Networks.

Model Checking Omega-regular Properties for Quantum Markov Chains

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, 2017, CONCUR.

Closer to Nature: Multi-sensory Engagement in Interactive Nature Experience for Seniors with Dementia

Jun Hu, Matthias Rauterberg, Yuan Feng, 2018, CCHI.

EBMD: Energy-Balanced Multi-path Data Propation Algorithm for Sensor Networks

Peng Zhou, Yuan Feng, Lipeng Zhang, 2008, 2008 IFIP International Conference on Network and Parallel Computing.

Decentralized Bisimulation for Multiagent Systems

Lijun Zhang, Yuan Feng, Lei Song, 2015, AAMAS.

Construction and Design of Building Weak-current System

Yuan Feng, 2012 .

An RGB-D-Based Cross-Field of View Pose Estimation System for a Free Flight Target in a Wind Tunnel

Sheng Liu, Shengyong Chen, Yuan Feng, 2018, Complex..

Selective aberrant functional connectivity of resting state networks in social anxiety disorder

Wei Zhang, Yuan Feng, Dante Mantini, 2010, NeuroImage.

Probabilistic bisimulations for quantum processes

Yuan Feng, Runyao Duan, Mingsheng Ying, 2007, Inf. Comput..

Energy Balanced Strategies for Maximizing the Lifetime of Sparsely Deployed Underwater Acoustic Sensor Networks

Yuan Feng, Kaishun Wu, Feng Hong, 2009, Sensors.

A tighter bound for the self-stabilization time in Herman's algorithm

Lijun Zhang, Yuan Feng, Yuan Feng, 2013, Inf. Process. Lett..

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

Lijun Zhang, Chen Fu, Yuan Feng, 2018, IJCAI.

Optimal Placement of Phasor Measurement Units Based on Information Entropy Property Evaluation

Yuan Feng, Li Xia, Li Ming Wang, 2011 .

Symbolic Bisimulation for Quantum Processes

Yuan Feng, Yuxin Deng, Mingsheng Ying, 2012, TOCL.

Design of Precise Centrifuge Testing System Based on Multi-thread

Yuan Feng, 2006 .

Method of Showing HF Communication Field Based on MapX

Yuan Feng, 2013 .

A Test Platform for Household Appliances Based on Web Services

Yuan Feng, Feng Hong, Zhongwen Guo, 2009, 2009 Fourth ChinaGrid Annual Conference.

Ready, Set, Go: Coalesced offloading from mobile devices to the cloud

Bo Li, Yuan Feng, Baochun Li, 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.

Support Vector Machine for Analyzing Contributions of Brain Regions During Task-State fMRI

Ying Liang, Xia Li, Yuan Feng, 2019, Front. Neuroinform..

Minimum guesswork discrimination between quantum states

Yuan Feng, Hanpin Wang, Yongzhi Cao, 2014, Quantum Inf. Comput..

Short-Term Disturbance Detection Based on Modulation Kalman Filter

Yuan Feng, 2008 .

Planning for Stochastic Games with Co-Safe Objectives

Lijun Zhang, Yuan Feng, Lei Song, 2015, IJCAI.

MotionHacker: Motion sensor based eavesdropping on handwriting via smartwatch

Yuan Feng, Feng Hong, Zhongwen Guo, 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm

Lijun Zhang, Yuan Feng, Yuan Feng, 2014, Distributed Computing.

Efficient and adaptive transmission algorithms for underwater acoustic networks

Yuan Feng, Ying Guo, Zhongwen Guo, 2010, Comput. Syst. Sci. Eng..

Catalyst-assisted probabilistic entanglement transformation

Yuan Feng, Runyao Duan, Mingsheng Ying, 2005, IEEE Transactions on Information Theory.

Bisimulation for quantum processes

Yuan Feng, Runyao Duan, Mingsheng Ying, 2010, POPL '11.

Price Competition in an Oligopoly Market with Multiple IaaS Cloud Providers

Bo Li, Yuan Feng, Baochun Li, 2014, IEEE Transactions on Computers.

MusicScore: mobile music composition for practice and fun

Yuan Feng, Baochun Li, Zimu Liu, 2012, ACM Multimedia.

A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm

Lijun Zhang, Yuan Feng, Yuan Feng, 2014, Distributed Computing.

Precisely deciding CSL formulas through approximate model checking for CTMCs

Lijun Zhang, Yuan Feng, Yuan Feng, 2017, J. Comput. Syst. Sci..

Image Restoration Based on Wavelet-Domain Contextual Hidden Markov Tree Model

Yuan Feng, Li Jing, Lou Shuai, 2008, 2008 International Conference on Computer Science and Software Engineering.

An Adaptive Transmission Control Mechanism for Underwater Acoustic Sensor Network

Xiaodong Liu, Yuan Feng, Zhongwen Guo, 2008, 2008 IFIP International Conference on Network and Parallel Computing.

Quantum Information-Flow Security: Noninterference and Access Control

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.

Implementation and Examination of Multi-Agent Based Modeling Framework of Manufacturing System

Yuan Feng, Xie Li, 2003 .

Parameter Estimation of Quantum Channels

Yuan Feng, Runyao Duan, Guoming Wang, 2008, IEEE Transactions on Information Theory.

GestureFlow: QoE-Aware Streaming of Multi-TouchGestures in Interactive Multimedia Applications

Yuan Feng, Baochun Li, Zimu Liu, 2012, IEEE Journal on Selected Areas in Communications.

Dynamorph: Montessori Inspired Design for Seniors with Dementia Living in Long-Term Care Facilities

Jun Hu, Matthias Rauterberg, Yuan Feng, 2017, INTETAIN.

Construction of Emergency Communication Network with Multi Constraints Based on Geographic Information

Yuan Feng, Ji Zhou, Fusheng Dai, 2017, MLICOM.

Structured Degradation Model for Object Tracking in Non-uniform Degraded Videos

Sheng Liu, Yuan Feng, Shaobo Zhang, 2016, CCPR.

Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting

Yuan Feng, Runyao Duan, Mingsheng Ying, 2009, Quantum Inf. Comput..

$L_0$ Sparse Regularization-Based Image Blind Deblurring Approach for Solid Waste Image Restoration

Sheng Liu, Yuan Feng, Shengyong Chen, 2019, IEEE Transactions on Industrial Electronics.

A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process

Yuan Feng, Wenhui Fan, Yuanhui Qin, 2013, AsiaSim.

Implementing marine XML for observed CTD data in a marine data exchange platform

Yuan Feng, Yongguo Jiang, Tieyi Zhu, 2008 .

Extend Transferable Belief Models with Probabilistic Priors

Yuan Feng, Chunlai Zhou, 2015, UAI.

Mobile VR Game Design for Stroke Rehabilitation

Yuan Feng, Jia Yu, Zhenyu Gu, 2018, HCI.

ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains

David S. Rosenblum, Yuan Feng, Taolue Chen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

The influence of driving form on stability control in in-wheel-motor EV

Zhuoping Yu, Kang Zhang, Yuan Feng, 2013, Proceedings of 2013 IEEE International Conference on Vehicular Electronics and Safety.

The Structure of Decoherence-free Subsystems

Yuan Feng, Mingsheng Ying, Ji Guan, 2018 .

Design of Wireless Sensor Network-Based Greenhouse Environment Monitoring and Automatic Control System

Yuan Feng, Yongxian Song, Juanli Ma, 2012, J. Networks.

Proof rules for purely quantum programs pdf

Yuan Feng, Runyao Duan, Mingsheng Ying, 2005, ArXiv.

User Identification and Authentication Using Keystroke Dynamics with Acoustic Signal

Yuan Feng, Feng Hong, Zhongwen Guo, 2016, 2016 12th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN).

Probabilistic bisimilarity as testing equivalence

Yuan Feng, Yuxin Deng, Yuan Feng, 2017, Inf. Comput..

Design of central transmission system of large-scale energy-saving ball mills

Yuan Feng, 2011 .

Postcard: Minimizing Costs on Inter-Datacenter Traffic with Store-and-Forward

Bo Li, Yuan Feng, Baochun Li, 2012, 2012 32nd International Conference on Distributed Computing Systems Workshops.

An Efficient Resource Management Scheme with Guaranteed QoS of Heterogeneous Services in MIMO-OFDM System

Hui Tian, Ping Zhang, Yuan Feng, 2008, 2008 IEEE Wireless Communications and Networking Conference.

Perturbation Analysis in Verification of Discrete-Time Markov Chains

David S. Rosenblum, Yuan Feng, Taolue Chen, 2014, CONCUR.

CCSA: A Cloud Computing Service Architecture for Sensor Networks

Yuan Feng, Chao Liu, Feng Hong, 2012, 2012 International Conference on Cloud and Service Computing.

Partner Selection for Design Chain Based on Osculating Value Method

Yuan Feng, 2011, 2011 Fourth International Symposium on Computational Intelligence and Design.

Verification of Quantum Programs pdf

Yuan Feng, Runyao Duan, Mingsheng Ying, 2011, Sci. Comput. Program..

Improving Teaching Quality through the Conversion of Research Production

Yuan Feng, Feng Hong, Zhongwen Guo, 2009, 2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing.

Quantum loop programs

Yuan Feng, Mingsheng Ying, 2010, Acta Informatica.

Measuring the constrained reachability in quantum Markov chains

Yuan Feng, Cheng-Chao Huang, Ming Xu, 2020, Acta Informatica.

Organization-structure-oriented Access Control Administration Model

Yuan Feng, Zhao Xiaolong, Zhang Yu-sen, 2009 .

Understanding the efficiency of cooperation in location-aware wireless networks

Hua Wang, Yuan Feng, Jingming Kuang, 2017, 2017 IEEE International Conference on Communications Workshops (ICC Workshops).

An Algebraic Language for Distributed Quantum Computing

Yuan Feng, Mingsheng Ying, 2009, IEEE Transactions on Computers.

Reachability Probabilities of Quantum Markov Chains

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2013, CONCUR.

Two-stage uncertainty evaluation of 3D reconstruction

Yuan Feng, 2008 .

A Novel Clutter Suppression Technique in Pulse Radar Exploiting Adaptive Filter

Yuan Feng, Yuanyuan Cui, Yinkai Liu, 2016, ICSPS 2016.

Research and Design of Water Pump Diagnosis System Based on Wavelet Transform and DSP

Yuan Feng, Yongxian Song, Kangde Zhao, 2013, J. Softw..

Trajectory Prediction for Ocean Vessels Base on K-order Multivariate Markov Chain

Yuan Feng, Chao Liu, Feng Hong, 2018, WASA.

Oceansense: monitoring the sea with wireless sensor networks

Yunhao Liu, Mo Li, Yuan He, 2010, MOCO.

Introduction to the Teaching Reform of the Course "Computer Organization Principles"

Yuan Feng, Zhongwen Guo, Yongguo Jiang, 2009, 2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing.

RGB-D Based Object Segmentation in Severe Color Degraded Environment

Chao Wang, Sheng Liu, Jianhua Zhang, 2017, CCCV.

Reliable Portfolio Selection Problem in Fuzzy Environment: An mλ Measure Based Approach

Li Wang, Yuan Feng, Xinhong Liu, 2017, Algorithms.

Distinguishability of Quantum States by Separable Operations

Yuan Feng, Runyao Duan, Yu Xin, 2007, IEEE Transactions on Information Theory.

A Flattened Maximally Stable Extremal Region Method for Scene Text Detection

Yuan Feng, Fei Yin, Cheng-Lin Liu, 2017, IGTA.

Complex system maintainability verification with limited samples

Liu Liu, Qiang Miao, Yuan Feng, 2011, Microelectron. Reliab..

Peer-to-peer bargaining in container-based datacenters

Bo Li, Yuan Feng, Baochun Li, 2010, IPTPS.

Process algebra approach to reasoning about concurrent actions

Yuan Feng, Mingsheng Ying, M. Ying, 2004, Journal of Computer Science and Technology.

Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties pdf

Yuan Feng, Lvzhou Li, Lvzhou Li, 2015, Inf. Comput..

Robust weekly aircraft maintenance routing problem and the extension to the tail assignment problem

Xiaoning Zhang, Yuan Feng, Tao Wu, 2015 .

ICDAR2017 Robust Reading Challenge on Multi-Lingual Scene Text Detection and Script Identification - RRC-MLT

Wafa Khlif, Umapada Pal, Yuan Feng, 2017, 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR).

PSD: One-to-Many Routing Protocol for Publish/Subscribe Applications in DTN

Yuan Feng, Feng Hong, Zhongwen Guo, 2011, MOBILWARE.

Redundancy Elimination in DTN via ACK Mechanism

Yuan Feng, Feng Hong, Zhongwen Guo, 2015, EAI Endorsed Trans. Security Safety.

Waving Authentication: Your Smartphone Authenticate You on Motion Gesture

Yuan Feng, Feng Hong, Zhongwen Guo, 2015, CHI Extended Abstracts.

Distributed Target Localization with Inaccurate Collaborative Sensors in Multipath Environments

Yuan Feng, Nan Wu, Po-Hsuan Tseng, 2019, KSII Trans. Internet Inf. Syst..

Perpendicular Intersection: Locating Wireless Sensors With Mobile Beacon

Yunhao Liu, Yuan He, Yuan Feng, 2010 .

Model Checking Quantum Systems - A Survey pdf

Yuan Feng, Mingsheng Ying, M. Ying, 2018, ArXiv.

Super-activating quantum memory with entanglement pdf

Yuan Feng, Mingsheng Ying, Ji Guan, 2018, Quantum Inf. Comput..

Quantum Privacy-Preserving Data Mining pdf

Yuan Feng, Mingsheng Ying, Shenggang Ying, 2015, ArXiv.

A Potential Approach to Efficient, Multiplicative and Symmetric Values for TU Games

Yuan Feng, Theo S. H. Driessen, 2012, CTW.

Stereo vision based attitude measurement of aircraft model in wind tunnel

Yuan Feng, 2010 .

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata pdf

Lijun Zhang, Yuan Feng, Lei Song, 2015, ArXiv.

DESIGN AND REALIZATION IN INFORMATION DEMONSTRATION SYSTEM OF JINGJIANG FLOOD DIVERSION AREA

Yuan Feng, Guo Hua, Su Bu-da, 2005 .

Optimization Study of Shaft Tubular Turbine in a Bidirectional Tidal Power Station

Yuan Feng, Ye Zhou, Yuan Zheng, 2013 .

ISDP: Interactive Software Development Platform for Household Appliance Testing Industry

Yuan Feng, Feng Hong, Zhongwen Guo, 2010, IEEE Transactions on Instrumentation and Measurement.

Time synchronization for underwater sensor networks based on multi-source beacon fusion

Ming Xu, Yuan Feng, Feng Hong, 2014, 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).

Model-checking quantum systems

Yuan Feng, Mingsheng Ying, M. Ying, 2018, National science review.

Verify LTL with Fairness Assumptions Efficiently

Lijun Zhang, Yuan Feng, Yong Li, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Characterizing Locally Indistinguishable Orthogonal Product States

Yuan Feng, Yaoyun Shi, Yuan Feng, 2007, IEEE Transactions on Information Theory.

Bisimulation for Quantum Processes

Yuan Feng, Runyao Duan, Mingsheng Ying, 2010, TOPL.

OceanSense: Sensor Network of Realtime Ocean Environmental Data Observation(WSANE 2008 (Workshop for Space, Aeronautical and Navigational Electronics))

Hao Wu, Yuan Feng, Ke Liu, 2008 .

The analysis and implementation of generic MPEG header and transport layer decoders

Yuan Feng, 1999 .

Design of Greenhouse Control System Based on Wireless Sensor Networks and AVR Microcontroller

Yuan Feng, Yongxian Song, Juanli Ma, 2011, J. Networks.

Bisimulations for probabilistic linear lambda calculi

Yuan Feng, Yuxin Deng, Yuan Feng, 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Analysis of closed loop production lines in automotive body shops

Yuan Feng, Wenhui Fan, Jingshan Li, 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).

WaP: Indoor localization and tracking using WiFi-Assisted Particle filter

Zhao Zhang, Yuan Feng, Feng Hong, 2014, 39th Annual IEEE Conference on Local Computer Networks.

A hybrid simulation approach to dynamic multi-skilled workforce planning of production line

Yuan Feng, Wenhui Fan, 2014, Proceedings of the Winter Simulation Conference 2014.

Color Image Segmentation Based on Adaptive Level Set and Region Statistical Information

Yuan Feng, Xi-li Wang, 2010, 2010 Chinese Conference on Pattern Recognition (CCPR).

Structure optimization of the endoscopic robot ciliary leg based on dimensional analysis

Yuan Feng, Lining Sun, Mantian Li, 2007, 2007 IEEE International Conference on Robotics and Biomimetics (ROBIO).

Promenade: Proportionally Fair Multipath Rate Control in Datacenter Networks with Random Network Coding

Bo Li, Yuan Feng, Li Chen, 2019, IEEE Transactions on Parallel and Distributed Systems.

EDA: Event-oriented data aggregation in sensor networks

Yuan Feng, Feng Hong, Zhongwen Guo, 2009, 2009 IEEE 28th International Performance Computing and Communications Conference.

Gaussian Message Passing based Receiver for Multicarrier Faster-Than-Nyquist Signaling

Yuan Feng, Nan Wu, Yunsi Ma, 2018, 2018 10th International Conference on Wireless Communications and Signal Processing (WCSP).

Model checking quantum Markov chains

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2012, J. Comput. Syst. Sci..

STUDY ON APPLICATION OF INDUCTION AIR-CONDITIONING SYSTEM FOR RAILWAY TRAIN

Yuan Feng, 2003 .

A Resource Allocation Mechanism Based on Weighted Efficiency Interference-Aware for D2D Underlaid Communication

Yuan Feng, Kuan-Ching Li, Xiaoming Zhang, 2019, Sensors.

Comparison between Optimization Method and Experience-Based Method in Soil Conservation

Yuan Feng, Ji Xian Wang, 2013 .

Model-Checking Linear-Time Properties of Quantum Systems

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2010, TOCL.

Probabilistic bisimilarities between quantum processes pdf

Yuan Feng, Runyao Duan, Mingsheng Ying, 2006, ArXiv.

LiveNature: Ambient Display and Social Robot-Facilitated Multi-Sensory Engagement for People with Dementia

Jun Hu, Matthias Rauterberg, Yuan Feng, 2019, Conference on Designing Interactive Systems.

Socialize spontaneously with mobile applications

Yuan Feng, Baochun Li, Zimu Liu, 2012, 2012 Proceedings IEEE INFOCOM.

Statistical Degradation Analysis for Real-Time Tracking in Severely Degraded Videos

Chao Wang, Sheng Liu, Shengyong Chen, 2017, CCCV.

VSTP: vessel spatio-temporal contact pattern detection based on MapReduce

Jing Liu, Yuan Feng, Chao Liu, 2017, EURASIP J. Wirel. Commun. Netw..

Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks

Chao Liu, Ming Zhang, Yuan Feng, 2008, ISICA.

Partial recovery of quantum entanglement

Yuan Feng, Runyao Duan, Mingsheng Ying, 2006, IEEE Transactions on Information Theory.

A Flowchart Language for Quantum Programming

Yuan Feng, Mingsheng Ying, M. Ying, 2011, IEEE Transactions on Software Engineering.

Defining Quantum Control Flow pdf

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2012, ArXiv.

Towards performance-centric fairness in datacenter networks

Bo Li, Yuan Feng, Li Chen, 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.

Quantum Privacy-Preserving Perceptron pdf

Yuan Feng, Mingsheng Ying, Shenggang Ying, 2017, ArXiv.

The Research on the Construction of the TCM Differentiation Model Based on BP Neural Network

Yuan Feng, Xu Liang, Chen Shouqiang, 2016 .

A preliminary study on impervious surface area dynamics and water quality response at watershed scale

Ling Huang, Yuan Feng, Jinliang Huang, 2011, Proceedings 2011 IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services.

Loading Priority Evaluation Based on PRISM Classifier

Yuan Feng, Ying Shao, Li Xia, 2011 .

Peer-assisted VoD prefetching in double auction markets

Bo Li, Yuan Feng, Baochun Li, 2010, The 18th IEEE International Conference on Network Protocols.

Jetway: minimizing costs on inter-datacenter video traffic

Bo Li, Yuan Feng, Baochun Li, 2012, ACM Multimedia.

The Research of the Meteorological Distance Education Based on Mobile Education

Xianzhi Zhang, Yuan Feng, Lejiang Guo, 2011 .

Decomposition of quantum Markov chains and its applications

Yuan Feng, Mingsheng Ying, Ji Guan, 2016, J. Comput. Syst. Sci..

GestureFlow: Streaming gestures to an audience

Yuan Feng, Baochun Li, Zimu Liu, 2011, 2011 Proceedings IEEE INFOCOM.

Fast ISAR imaging based on sparse fourier transform algorithm

Yuan Feng, Shengheng Liu, Jiaqi Lin, 2017, 2017 9th International Conference on Advanced Infocomm Technology (ICAIT).

A Novel Two-Dimensional Sparse-Weight NLMS Filtering Scheme for Passive Bistatic Radar

Yuan Feng, Ran Tao, Yimin Zhang, 2016, IEEE Geoscience and Remote Sensing Letters.

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems

David S. Rosenblum, Yuan Feng, P. S. Thiagarajan, 2016, FASE.

Airlift: Video conferencing as a cloud service using inter-datacenter networks

Bo Li, Yuan Feng, Baochun Li, 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).

Constructing Incentive Oriented Overlay on Mobile Peer-to-Peer Networks

Minglu Li, Yuan Feng, Feng Hong, 2007, 2007 International Conference on Parallel Processing Workshops (ICPPW 2007).

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

David S. Rosenblum, Yuan Feng, Taolue Chen, 2016 .

Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon

Yunhao Liu, Yuan He, Yuan Feng, 2008, 2008 Real-Time Systems Symposium.

Bargaining towards maximized resource utilization in video streaming datacenters

Bo Li, Yuan Feng, Baochun Li, 2012, 2012 Proceedings IEEE INFOCOM.

Bellini: Ferrying application traffic flows through geo-distributed datacenters in the cloud

Yuan Feng, Baochun Li, Zimu Liu, 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

When multi-touch meets streaming

Yuan Feng, Baochun Li, Zimu Liu, 2011, MUM.

Modeling and characteristic analysis of underwater acoustic signal of the accelerating propeller

Yuan Feng, Ran Tao, Yue Wang, 2011, Science China Information Sciences.

An algebra of quantum processes

Yuan Feng, Runyao Duan, Mingsheng Ying, 2007, TOCL.

Commutativity of quantum weakest preconditions

Jianxin Chen, Yuan Feng, Runyao Duan, 2007, Inf. Process. Lett..

Open Bisimulation for Quantum Processes pdf

Yuan Feng, Yuxin Deng, Yuan Feng, 2012, IFIP TCS.

Peer-Assisted Media Streaming: A Holistic Review

Yuan Feng, Baochun Li, 2010, Intelligent Multimedia Communication.

Low-Complexity Factor Graph-Based Iterative Detection for RRC-SEFDM Signals

Yuan Feng, Nan Wu, Chaoxing Yan, 2018, 2018 10th International Conference on Wireless Communications and Signal Processing (WCSP).

Moving Object Detection for Video Monitoring Systems

Yuan Feng, Zhou Aijun, Du Yuren, 2007, 2007 8th International Conference on Electronic Measurement and Instruments.

QPMC: A Model Checker for Quantum Programs and Protocols

Lijun Zhang, Yuan Feng, Ernst Moritz Hahn, 2015, FM.

Proof rules for the correctness of quantum programs

Yuan Feng, Runyao Duan, Mingsheng Ying, 2007, Theor. Comput. Sci..

Some Issues in Quantum Information Theory

Yuan Feng, Runyao Duan, Mingsheng Ying, 2006, Journal of Computer Science and Technology.

Multi-channel quasi-adaptive processing based on low and slow targets in complex environment

Yuan Feng, Tao Shan, Tonghui Xue, 2018 .

Quantum Privacy-Preserving Data Analytics pdf

Yuan Feng, Mingsheng Ying, Shenggang Ying, 2017, ArXiv.

The Change of Resting EEG in Depressive Disorders

Gang Wang, Jun Zhou, Chuan Li, 2013, Brain and Health Informatics.

Toward Automatic Verification of Quantum Cryptographic Protocols pdf

Yuan Feng, Mingsheng Ying, M. Ying, 2015, CONCUR.

Machine Learning Algorithm Study on Refrigerator Parameter Analysis

Yuan Feng, Di Zhou, Wenjin Xu, 2019 .

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs pdf

Yuan Feng, Mingsheng Ying, Nengkun Yu, 2014, ArXiv.

Model Checking Quantum Automata