Yuan Yu

Orcid: 0009-0005-1733-2364

According to our database1, Yuan Yu authored at least 75 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.



In proceedings 
PhD thesis 


On csauthors.net:


Convergence of Relative Entropy for Euler-Maruyama Scheme to Stochastic Differential Equations with Additive Noise.
Entropy, March, 2024

Adaptive Optimization Method for Prediction and Compensation of Thin-Walled Parts Machining Deformation Based on On-Machine Measurement.
Sensors, January, 2024

Deep learning-based RGB-thermal image denoising: review and applications.
Multim. Tools Appl., January, 2024

Spectrum-image dual-modality fusion empowered accurate and efficient classification system for traditional Chinese medicine.
Inf. Fusion, January, 2024

Theoretical Analysis of Selectivity Differences in Ketoreductases toward Aldehyde and Ketone Carbonyl Groups.
J. Chem. Inf. Model., 2024

Dual-band polarization beam splitter based on cascaded multimode anti-symmetric apodized Bragg gratings.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2024

Edge and Skeleton Guidance Network for Salient Object Detection in Optical Remote Sensing Images.
IEEE Trans. Circuits Syst. Video Technol., December, 2023

Experimental analysis of similarity measurements for multivariate time series and its application to the stock market.
Appl. Intell., November, 2023

TVSR-OR: Tile-based 360-degree video streaming over real time streaming protocol with optimized read.
Trans. Emerg. Telecommun. Technol., May, 2023

Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients.
CoRR, 2023

A novel initialization method for monocular visual inertial navigation.
Proceedings of the 5th International Conference on Video, Signal and Image Processing, 2023

A Task Management and Navigation Framework for Autonomous Subterranean Exploration and Sampling<sup>*</sup>.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023

Optoelectronic oscillator based on SBS-assisted parity-time symmetry.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2023

Spatio-Temporal Information Fusion Network for Compressed Video Quality Enhancement.
Proceedings of the Data Compression Conference, 2023

A novel risk-control model for the online portfolio selection of high-frequency transactions.
Knowl. Based Syst., 2022

Fast 3D-HEVC inter coding using data mining and machine learning.
IET Image Process., 2022

A New Architecture of 8K VR FOV Video End-to-End Technology.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

Research Commentary on IS/IT Role in Emergency and Pandemic Management: Current and Future Research.
J. Database Manag., 2021

Research on Modelling, Finite Element Analysis and Experiment of Gravity Valve.
Proceedings of the ICIT 2021: IoT and Smart City, Guangzhou, China, December 22 - 25, 2021, 2021

Research on Tire Marking Point Completeness Evaluation Based on K-Means Clustering Image Segmentation.
Sensors, 2020

miRTarBase 2020: updates to the experimentally validated microRNA?target interaction database.
Nucleic Acids Res., 2020

Optimization Strategy of Multiarea Interconnected Integrated Energy System Based on Consistency Theory.
Mob. Inf. Syst., 2020

Prototype Design of a Ship Intelligent Integrated Platform.
Proceedings of the Machine Learning and Artificial Intelligence, 2020

A Flexible Mechanical Arm Based on Miura-Ori.
Proceedings of the Intelligent Robotics and Applications - 13th International Conference, 2020

Research on coordinating optimization strategy of integrated energy system based on multi-agent consistency theory.
Proceedings of the International Conference on Computer, 2020

Extending Relational Query Processing with ML Inference.
Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

Numerical simulation of dispersion and distribution behaviors of hydrogen leakage in the garage with a crossbeam.
Simul., 2019

A Visual SLAM System Based on the Panoramic Camera.
Proceedings of the 2019 IEEE International Conference on Real-time Computing and Robotics, 2019

State of Charge Estimation Method of Lead-Acid Battery Based on Multi-parameter Fusion.
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019, 2019

Estimation of Lead-Acid Battery State of Charge Based on Unscented Kalman Filtering.
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019, 2019

Application of semi-automated ultrasonography on nutritional support for severe acute pancreatitis.
Comput. Medical Imaging Graph., 2018

Dynamic control flow in large-scale machine learning.
Proceedings of the Thirteenth EuroSys Conference, 2018

Study on the Channel Characteristics of Auxiliary Medical Devices Based on MDAPSK Technology.
Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

ORB-SLAM based semi-dense mapping with monocular camera.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

A Highly Sensitive Fiber-Optic Fabry-Perot Interferometer Based on Internal Reflection Mirrors for Refractive Index Measurement.
Sensors, 2016

TensorFlow: A system for large-scale machine learning.
CoRR, 2016

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.
CoRR, 2016

Relaxed stability conditions for continuous-time Takagi-Sugeno fuzzy systems based on a new upper bound inequality.
Complex., 2016

Graph-based SLAM based magnet map generation for magnetic guidance.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications.
Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Dandelion: a compiler and runtime for heterogeneous systems.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

TimeStream: reliable stream computation in the cloud.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Optimus: a dynamic rewriting framework for data-parallel execution plans.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Assessing the authority of free online scholarly information.
Scientometrics, 2012

MadLINQ: large-scale distributed matrix computation for the cloud.
Proceedings of the European Conference on Computer Systems, 2012

Steno: automatic optimization of declarative queries.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Optimizing Data Partitioning for Data-Parallel Computing.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Power allocation for a MIMO relay system with multiple-antenna users.
IEEE Trans. Signal Process., 2010

Nectar: Automatic Management of Data and Computation in Datacenters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Scalable and systematic detection of buggy inconsistencies in source code.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Power Scheduling for Multi-Hop Wireless Networks.
PhD thesis, 2009

Further Development of Synchronous Array Method for Ad Hoc Wireless Networks.
EURASIP J. Adv. Signal Process., 2009

Distributed aggregation for data-parallel computing: interfaces and implementations.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Distributed data-parallel computing using a high-level programming language.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

BotGraph: Large Scale Spamming Botnet Detection.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Early Performance Evaluation of Dawning 5000A and DeepComp 7000.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

DryadInc: Reusing Work in Large-scale Computations.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Throughput analysis of wireless mesh networks.
Proceedings of the IEEE International Conference on Acoustics, 2008

An Assessment of the Currency of Free Science Information on the Web.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Software Configuration Management Using Vesta
Monographs in Computer Science, Springer, ISBN: 978-0-387-30852-4, 2006

Minimal Positive Realizations of Third-Order Systems with Complex Poles.
Proceedings of the Positive Systems, 2006

RaceTrack: efficient detection of data race conditions via adaptive tracking.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Linking Simulation with Formal Verification at a Higher Level.
IEEE Des. Test Comput., 2004

Checking Cache-Coherence Protocols with TLA<sup>+</sup>.
Formal Methods Syst. Des., 2003

Using a formal specification and a model checker to monitor and direct simulation.
Proceedings of the 40th Design Automation Conference, 2003

Specifying and verifying systems with TLA+.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Caching function calls using precise dependencies.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Cache Coherence Verification with TLA+.
Proceedings of the FM'99 - Formal Methods, 1999

Model Checking TLA<sup>+</sup> Specifications.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Automated Proofs of Object Code for a Widely Used Microprocessor.
J. ACM, 1996

Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
Proceedings of the Automated Deduction, 1992

Computer Proofs in Group Theory.
J. Autom. Reason., 1990