Yuan Yu

According to our database, Yuan Yu authored at least 71 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

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

Long Wu, Aimin Wang, Kang Wang, Wenhao Xing, Baode Xu, Jiayu Zhang, Yuan Yu

Sensors, January, 2024

Deep learning-based RGB-thermal image denoising: review and applications.

Yuan Yu, Boon-Giin Lee, Matthew Pike, Qian Zhang, Wan-Young Chung

Multim. Tools Appl., January, 2024

Spectrum-image dual-modality fusion empowered accurate and efficient classification system for traditional Chinese medicine.

Aojun Gong, Lianbo Guo, Yuan Yu, Yunzhi Xia, Xianjun Deng, Zhenlin Hu

Inf. Fusion, January, 2024

2023

Edge and Skeleton Guidance Network for Salient Object Detection in Optical Remote Sensing Images.

Aojun Gong, Junfei Nie, Chen Niu, Yuan Yu, Jun Li, Lianbo Guo

IEEE Trans. Circuits Syst. Video Technol., December, 2023

Experimental analysis of similarity measurements for multivariate time series and its application to the stock market.

Zhong-Liang Xiang, Rui Wang, Xiang-Ru Yu, Bo Li, Yuan Yu

Appl. Intell., November, 2023

TVSR-OR: Tile-based 360-degree video streaming over real time streaming protocol with optimized read.

Qimiao Zeng, Zhifan Yin, Qing Pan, Yunxiao Ma, Yuan Yu, Yirong Zhuang, Jie Liang, Shujie Yang, Han Xiao

Trans. Emerg. Telecommun. Technol., May, 2023

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

Yuan Yu, Zuojian Qin, Haizhuan Yuan, Shi Shu

CoRR, 2023

A Task Management and Navigation Framework for Autonomous Subterranean Exploration and Sampling^*.

Qiang Li, Yuehua Li, Yuan Yu, Zhicheng Yu

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023

Optoelectronic oscillator based on SBS-assisted parity-time symmetry.

Lin Wang, Yifan Liu, Yuan Yu, Xinliang Zhang

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2023

Spatio-Temporal Information Fusion Network for Compressed Video Quality Enhancement.

Weiwei Huang, Kebin Jia, Pengyu Liu, Yuan Yu

Proceedings of the Data Compression Conference, 2023

2022

A novel risk-control model for the online portfolio selection of high-frequency transactions.

Bo Li, Qi Wang, Yuan Yu, Meng-Ze Sun, Liang-Xia Chen, Zhongliang Xiang, Feng Zhao, Qingcong Lv, Zhiyong An

Knowl. Based Syst., 2022

Fast 3D-HEVC inter coding using data mining and machine learning.

Ruyi Zhang, Kebin Jia, Yuan Yu, Pengyu Liu, Zhonghua Sun

IET Image Process., 2022

A New Architecture of 8K VR FOV Video End-to-End Technology.

Qimiao Zeng, Zhifan Yin, Yuan Yu, Yirong Zhuang

Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

2021

Research Commentary on IS/IT Role in Emergency and Pandemic Management: Current and Future Research.

Wen-Lung Shiau, Keng Siau, Yuan Yu, Jia Guo

J. Database Manag., 2021

Research on Modelling, Finite Element Analysis and Experiment of Gravity Valve.

Yuan Yu, Huaisong Wu, Youzhi Liu, Weimin Yang, Zhiwei Jiao

Proceedings of the ICIT 2021: IoT and Smart City, Guangzhou, China, December 22 - 25, 2021, 2021

2020

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

Yuan Yu, Jinsheng Ren, Qi Zhang, Weimin Yang, Zhiwei Jiao

Sensors, 2020

miRTarBase 2020: updates to the experimentally validated microRNA?target interaction database.

Hsi-Yuan Huang, Yang-Chi-Dung Lin, Jing Li, Kai-Yao Huang, Sirjana Shrestha, Hsiao-Chin Hong, Yun Tang, Yi-Gang Chen, Chen-Nan Jin, Yuan Yu, Jia-Tong Xu, Yue-Ming Li, Xiao-Xuan Cai, Zhen-Yu Zhou, Xiao-Hang Chen, Yuan-Yuan Pei, Liang Hu, Jin-Jiang Su, Shi-Dong Cui, Fei Wang, Yue-Yang Xie, Si-Yuan Ding, Meng-Fan Luo, Chih-Hung Chou, Nai-Wen Chang, Kai-Wen Chen, Yu-Hsiang Cheng, Xin-Hong Wan, Wen-Lian Hsu, Tzong-Yi Lee, Feng-Xiang Wei, Hsien-Da Huang

Nucleic Acids Res., 2020

Optimization Strategy of Multiarea Interconnected Integrated Energy System Based on Consistency Theory.

Yuan Yu, Tieyan Zhang, Yan Zhao

Mob. Inf. Syst., 2020

Prototype Design of a Ship Intelligent Integrated Platform.

Fuxin Wang, Hao Luo, Yuan Yu, Liyong Ma

Proceedings of the Machine Learning and Artificial Intelligence, 2020

A Flexible Mechanical Arm Based on Miura-Ori.

Xiu Zhang, Meng Yu, Weimin Yang, Yuan Yu, Yumei Ding, Zhiwei Jiao

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.

Yuan Yu

Proceedings of the International Conference on Computer, 2020

Extending Relational Query Processing with ML Inference.

Konstantinos Karanasos, Matteo Interlandi, Fotis Psallidas, Rathijit Sen, Kwanghyun Park, Ivan Popivanov, Doris Xin, Supun Nakandala, Subru Krishnan, Markus Weimer, Yuan Yu, Raghu Ramakrishnan, Carlo Curino

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

2019

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

Yunhao Li, Juncheng Jiang, Yuan Yu, Qingwu Zhang

Simul., 2019

A Visual SLAM System Based on the Panoramic Camera.

Xiao X. Zhu, Yuan Yu, Peng F. Wang, Ming J. Lin, Hao R. Zhang, Qi X. Cao

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.

Yuan Yu

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.

Yuan Yu

Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019, 2019

2018

Application of semi-automated ultrasonography on nutritional support for severe acute pancreatitis.

Ying Li, Yu Ye, Mei Yang, Haiying Ruan, Yuan Yu

Comput. Medical Imaging Graph., 2018

Dynamic control flow in large-scale machine learning.

Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng

Proceedings of the Thirteenth EuroSys Conference, 2018

Study on the Channel Characteristics of Auxiliary Medical Devices Based on MDAPSK Technology.

Xueping Li, Yuan Yu, Ningmei Yu

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

2017

ORB-SLAM based semi-dense mapping with monocular camera.

Boshi Wang, Haiying Wang, Yuan Yu, Limin Zong

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

2016

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

Xuefeng Li, Yujiao Shao, Yuan Yu, Yin Zhang, Shaowen Wei

Sensors, 2016

TensorFlow: A system for large-scale machine learning.

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zhang

CoRR, 2016

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

Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Gregory S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian J. Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Józefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Gordon Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul A. Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda B. Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, Xiaoqiang Zheng

CoRR, 2016

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

Tieyan Zhang, Yuan Yu, Yan Zhao

Complex., 2016

TensorFlow: A System for Large-Scale Machine Learning.

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014

Graph-based SLAM based magnet map generation for magnetic guidance.

Yuan Yu, Lindong Guo, Ming Yang, Gang Zhu, Bing Wang, Chunxiang Wang, Xin-Hua Weng

Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications.

Naila Farooqui, Christopher J. Rossbach, Yuan Yu, Karsten Schwan

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

2013

Dandelion: a compiler and runtime for heterogeneous systems.

Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

TimeStream: reliable stream computation in the cloud.

Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, Hongyu Zhu, Taizhi Zhang, Lidong Zhou, Yuan Yu, Zheng Zhang

Proceedings of the Eighth Eurosys Conference 2013, 2013

Optimus: a dynamic rewriting framework for data-parallel execution plans.

Qifa Ke, Michael Isard, Yuan Yu

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

Assessing the authority of free online scholarly information.

Chuanfu Chen, Yuan Yu, Qiong Tang, Kuei Chiu, Yan Rao, Xuan Huang, Kai Sun

Scientometrics, 2012

MadLINQ: large-scale distributed matrix computation for the cloud.

Zhengping Qian, Xiuwei Chen, Nanxi Kang, Mingcheng Chen, Yuan Yu, Thomas Moscibroda, Zheng Zhang

Proceedings of the European Conference on Computer Systems, 2012

2011

Steno: automatic optimization of declarative queries.

Derek Gordon Murray, Michael Isard, Yuan Yu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Optimizing Data Partitioning for Data-Parallel Computing.

Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Power allocation for a MIMO relay system with multiple-antenna users.

Yuan Yu, Yingbo Hua

IEEE Trans. Signal Process., 2010

Nectar: Automatic Management of Data and Computation in Datacenters.

Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Scalable and systematic detection of buggy inconsistencies in source code.

Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Power Scheduling for Multi-Hop Wireless Networks.

Yuan Yu

PhD thesis, 2009

Further Development of Synchronous Array Method for Ad Hoc Wireless Networks.

Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua

EURASIP J. Adv. Signal Process., 2009

Distributed aggregation for data-parallel computing: interfaces and implementations.

Yuan Yu, Pradeep Kumar Gunda, Michael Isard

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Distributed data-parallel computing using a high-level programming language.

Michael Isard, Yuan Yu

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

BotGraph: Large Scale Spamming Botnet Detection.

Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Early Performance Evaluation of Dawning 5000A and DeepComp 7000.

Yuan Yu, Yunquan Zhang, Ting Wang, Jiachang Sun, Xianyi Zhang, Yuxin Tang, Li Rao

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

DryadInc: Reusing Work in Large-scale Computations.

Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard

Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

2008

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.

Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Throughput analysis of wireless mesh networks.

Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua

Proceedings of the IEEE International Conference on Acoustics, 2008

2007

An Assessment of the Currency of Free Science Information on the Web.

Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Congjing Ran, Mojun Li

Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

Dryad: distributed data-parallel programs from sequential building blocks.

Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

Software Configuration Management Using Vesta

Allan Heydon, Timothy P. Mann, Roy Levin, Yuan Yu

Monographs in Computer Science, Springer, ISBN: 978-0-387-30852-4, 2006

Minimal Positive Realizations of Third-Order Systems with Complex Poles.

Yuwei Sun, Yuan Yu, Wensheng Yu, Long Wang

Proceedings of the Positive Systems, 2006

2005

RaceTrack: efficient detection of data race conditions via adaptive tracking.

Yuan Yu, Tom Rodeheffer, Wei Chen

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2004

Linking Simulation with Formal Verification at a Higher Level.

Serdar Tasiran, Yuan Yu, Brannon Batson

IEEE Des. Test Comput., 2004

2003

Checking Cache-Coherence Protocols with TLA⁺.

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu

Formal Methods Syst. Des., 2003

Using a formal specification and a model checker to monitor and direct simulation.

Serdar Tasiran, Yuan Yu, Brannon Batson

Proceedings of the 40th Design Automation Conference, 2003

2002

Specifying and verifying systems with TLA+.

Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2000

Caching function calls using precise dependencies.

Allan Heydon, Roy Levin, Yuan Yu

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Cache Coherence Verification with TLA+.

Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu

Proceedings of the FM'99 - Formal Methods, 1999

Model Checking TLA⁺ Specifications.

Yuan Yu, Panagiotis Manolios, Leslie Lamport

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1996

Automated Proofs of Object Code for a Widely Used Microprocessor.

Robert S. Boyer, Yuan Yu

J. ACM, 1996

1992

Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.

Robert S. Boyer, Yuan Yu

Proceedings of the Automated Deduction, 1992

1990

Computer Proofs in Group Theory.

Yuan Yu

J. Autom. Reason., 1990