Yuan Yu

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 41

Top Venues

University of California, Riverside, USA (PHD)

Education History

University of California, Riverside, USA

PHD

Publications

Aojun Gong, Lianbo Guo, Yuan Yu, Yunzhi Xia, Xianjun Deng, Zhenlin Hu
Spectrum-image dual-modality fusion empowered accurate and efficient classification system for traditional Chinese medicine. Inf. Fusion 101 (2024)
Yuan Yu, Boon-Giin Lee, Matthew Pike, Qian Zhang, Wan-Young Chung
Deep learning-based RGB-thermal image denoising: review and applications. Multim. Tools Appl. 83 (4) (2024)
Ru-De Lin, Xiu Xing, Yuan Yu, Wen-Dian Li, Dan-Dan Chang, Fei-Yan Tao, Na Wang
Theoretical Analysis of Selectivity Differences in Ketoreductases toward Aldehyde and Ketone Carbonyl Groups. J. Chem. Inf. Model. 64 (8) (2024)
Guanglian Cheng, Qiyuan Yi, Zengfan Shen, Zhiwei Yan, Qiyuan Li, Xinzhe Xiong, Fanglu Xu, Shuang Zheng, Shuai Cui, Yuan Yu, Yi Zou, Chaotan Sima, Li Shen
Dual-band polarization beam splitter based on cascaded multimode anti-symmetric apodized Bragg gratings. OFC (2024)
Long Wu, Aimin Wang, Kang Wang, Wenhao Xing, Baode Xu, Jiayu Zhang, Yuan Yu
Adaptive Optimization Method for Prediction and Compensation of Thin-Walled Parts Machining Deformation Based on On-Machine Measurement. Sensors 24 (2) (2024)
Yuan Yu
Convergence of Relative Entropy for Euler-Maruyama Scheme to Stochastic Differential Equations with Additive Noise. Entropy 26 (3) (2024)
Weiwei Huang, Kebin Jia, Pengyu Liu, Yuan Yu
Spatio-Temporal Information Fusion Network for Compressed Video Quality Enhancement. DCC (2023)
Lin Wang, Yifan Liu, Yuan Yu, Xinliang Zhang
Optoelectronic oscillator based on SBS-assisted parity-time symmetry. OFC (2023)
Yuan Yu, Zuojian Qin, Haizhuan Yuan, Shi Shu
Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients. CoRR (2023)
Zhong-Liang Xiang, Rui Wang, Xiang-Ru Yu, Bo Li, Yuan Yu
Experimental analysis of similarity measurements for multivariate time series and its application to the stock market. Appl. Intell. 53 (21) (2023)
Qimiao Zeng, Zhifan Yin, Qing Pan, Yunxiao Ma, Yuan Yu, Yirong Zhuang, Jie Liang, Shujie Yang, Han Xiao
TVSR-OR: Tile-based 360-degree video streaming over real time streaming protocol with optimized read. Trans. Emerg. Telecommun. Technol. 34 (5) (2023)
Qiang Li, Yuehua Li, Yuan Yu, Zhicheng Yu
. ROBIO (2023)
Chuanqi Cheng, Haiyan Wang, Yuan Yu, Jie Huang, Dexiang Yang
A novel initialization method for monocular visual inertial navigation. VSIP (2023)
Aojun Gong, Junfei Nie, Chen Niu, Yuan Yu, Jun Li, Lianbo Guo
Edge and Skeleton Guidance Network for Salient Object Detection in Optical Remote Sensing Images. IEEE Trans. Circuits Syst. Video Technol. 33 (12) (2023)
Qimiao Zeng, Zhifan Yin, Yuan Yu, Yirong Zhuang
A New Architecture of 8K VR FOV Video End-to-End Technology. IWCMC (2022)
Bo Li, Qi Wang, Yuan Yu, Meng-Ze Sun, Liang-Xia Chen, Zhongliang Xiang, Feng Zhao, Qingcong Lv, Zhiyong An
A novel risk-control model for the online portfolio selection of high-frequency transactions. Knowl. Based Syst. 240 (2022)
Ruyi Zhang, Kebin Jia, Yuan Yu, Pengyu Liu, Zhonghua Sun
Fast 3D-HEVC inter coding using data mining and machine learning. IET Image Process. 16 (11) (2022)
Yuan Yu, Huaisong Wu, Youzhi Liu, Weimin Yang, Zhiwei Jiao
Research on Modelling, Finite Element Analysis and Experiment of Gravity Valve. ICIT (2021)
Wen-Lung Shiau, Keng Siau, Yuan Yu, Jia Guo
Research Commentary on IS/IT Role in Emergency and Pandemic Management: Current and Future Research. J. Database Manag. 32 (2) (2021)
Yuan Yu, Jinsheng Ren, Qi Zhang, Weimin Yang, Zhiwei Jiao
Research on Tire Marking Point Completeness Evaluation Based on K-Means Clustering Image Segmentation. Sensors 20 (17) (2020)
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
Extending Relational Query Processing with ML Inference. CIDR (2020)
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
miRTarBase 2020: updates to the experimentally validated microRNA?target interaction database. Nucleic Acids Res. 48 (Database-Issue) (2020)
Xiu Zhang, Meng Yu, Weimin Yang, Yuan Yu, Yumei Ding, Zhiwei Jiao
A Flexible Mechanical Arm Based on Miura-Ori. ICIRA (2020)
Yuan Yu, Tieyan Zhang, Yan Zhao
Optimization Strategy of Multiarea Interconnected Integrated Energy System Based on Consistency Theory. Mob. Inf. Syst. 2020 (2020)
Yuan Yu
Research on coordinating optimization strategy of integrated energy system based on multi-agent consistency theory. CITS (2020)
Fuxin Wang, Hao Luo, Yuan Yu, Liyong Ma
Prototype Design of a Ship Intelligent Integrated Platform. MLIS (2020)
Yuan Yu
State of Charge Estimation Method of Lead-Acid Battery Based on Multi-parameter Fusion. AISI (2019)
Yunhao Li, Juncheng Jiang, Yuan Yu, Qingwu Zhang
Numerical simulation of dispersion and distribution behaviors of hydrogen leakage in the garage with a crossbeam. Simul. 95 (12) (2019)
Xiao X. Zhu, Yuan Yu, Peng F. Wang, Ming J. Lin, Hao R. Zhang, Qi X. Cao
A Visual SLAM System Based on the Panoramic Camera. RCAR (2019)
Konstantinos Karanasos, Matteo Interlandi, Doris Xin, Fotis Psallidas, Rathijit Sen, Kwanghyun Park, Ivan Popivanov, Supun Nakandala, Subru Krishnan, Markus Weimer, Yuan Yu, Raghu Ramakrishnan, Carlo Curino
Extending Relational Query Processing with ML Inference. CoRR (2019)
Yuan Yu
Estimation of Lead-Acid Battery State of Charge Based on Unscented Kalman Filtering. AISI (2019)
Ying Li, Yu Ye, Mei Yang, Haiying Ruan, Yuan Yu
Application of semi-automated ultrasonography on nutritional support for severe acute pancreatitis. Comput. Medical Imaging Graph. 67 (2018)
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
Dynamic Control Flow in Large-Scale Machine Learning. CoRR (2018)
Xueping Li, Yuan Yu, Ningmei Yu
Study on the Channel Characteristics of Auxiliary Medical Devices Based on MDAPSK Technology. BIBE (2018)
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
Dynamic control flow in large-scale machine learning. EuroSys (2018)
Boshi Wang, Haiying Wang, Yuan Yu, Limin Zong
ORB-SLAM based semi-dense mapping with monocular camera. ITSC (2017)
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
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. CoRR (2016)
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
TensorFlow: A System for Large-Scale Machine Learning. OSDI (2016)
Tieyan Zhang, Yuan Yu, Yan Zhao
Relaxed stability conditions for continuous-time Takagi-Sugeno fuzzy systems based on a new upper bound inequality. Complex. 21 (S2) (2016)
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
TensorFlow: A system for large-scale machine learning. CoRR (2016)
Xuefeng Li, Yujiao Shao, Yuan Yu, Yin Zhang, Shaowen Wei
A Highly Sensitive Fiber-Optic Fabry-Perot Interferometer Based on Internal Reflection Mirrors for Refractive Index Measurement. Sensors 16 (6) (2016)
Yuan Yu, Lindong Guo, Ming Yang, Gang Zhu, Bing Wang, Chunxiang Wang, Xin-Hua Weng
Graph-based SLAM based magnet map generation for magnetic guidance. ROBIO (2014)
Naila Farooqui, Christopher J. Rossbach, Yuan Yu, Karsten Schwan
Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications. TRIOS (2014)
Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly
Dandelion: a compiler and runtime for heterogeneous systems. SOSP (2013)
Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, Hongyu Zhu, Taizhi Zhang, Lidong Zhou, Yuan Yu, Zheng Zhang
TimeStream: reliable stream computation in the cloud. EuroSys (2013)
Qifa Ke, Michael Isard, Yuan Yu
Optimus: a dynamic rewriting framework for data-parallel execution plans. EuroSys (2013)
Zhengping Qian, Xiuwei Chen, Nanxi Kang, Mingcheng Chen, Yuan Yu, Thomas Moscibroda, Zheng Zhang
MadLINQ: large-scale distributed matrix computation for the cloud. EuroSys (2012)
Chuanfu Chen, Yuan Yu, Qiong Tang, Kuei Chiu, Yan Rao, Xuan Huang, Kai Sun
Assessing the authority of free online scholarly information. Scientometrics 90 (2) (2012)
Derek Gordon Murray, Michael Isard, Yuan Yu
Steno: automatic optimization of declarative queries. PLDI (2011)
Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang
Optimizing Data Partitioning for Data-Parallel Computing. HotOS (2011)
Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang
Nectar: Automatic Management of Data and Computation in Datacenters. OSDI (2010)
Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su
Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA (2010)
Yuan Yu, Yingbo Hua
Power allocation for a MIMO relay system with multiple-antenna users. IEEE Trans. Signal Process. 58 (5) (2010)
Yuan Yu, Yunquan Zhang, Ting Wang, Jiachang Sun, Xianyi Zhang, Yuxin Tang, Li Rao
Early Performance Evaluation of Dawning 5000A and DeepComp 7000. ICPADS (2009)
Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua
Further Development of Synchronous Array Method for Ad Hoc Wireless Networks. EURASIP J. Adv. Signal Process. 2009 (2009)
Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum
BotGraph: Large Scale Spamming Botnet Detection. NSDI (2009)
Yuan Yu, Pradeep Kumar Gunda, Michael Isard
Distributed aggregation for data-parallel computing: interfaces and implementations. SOSP (2009)
Michael Isard, Yuan Yu
Distributed data-parallel computing using a high-level programming language. SIGMOD Conference (2009)
Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard
DryadInc: Reusing Work in Large-scale Computations. HotCloud (2009)
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. OSDI (2008)
Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua
Throughput analysis of wireless mesh networks. ICASSP (2008)
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys (2007)
Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Congjing Ran, Mojun Li
An Assessment of the Currency of Free Science Information on the Web. WISE Workshops (2007)
Yuwei Sun, Yuan Yu, Wensheng Yu, Long Wang
Minimal Positive Realizations of Third-Order Systems with Complex Poles. POSTA (2006)
Yuan Yu, Tom Rodeheffer, Wei Chen
RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP (2005)
Serdar Tasiran, Yuan Yu, Brannon Batson
Linking Simulation with Formal Verification at a Higher Level. IEEE Des. Test Comput. 21 (6) (2004)
Serdar Tasiran, Yuan Yu, Brannon Batson
Using a formal specification and a model checker to monitor and direct simulation. DAC (2003)
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
. Formal Methods Syst. Des. 22 (2) (2003)
Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop (2002)
Allan Heydon, Roy Levin, Yuan Yu
Caching function calls using precise dependencies. PLDI (2000)
Yuan Yu, Panagiotis Manolios, Leslie Lamport
Specifications. CHARME (1999)
Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. World Congress on Formal Methods (1999)
Robert S. Boyer, Yuan Yu
Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43 (1) (1996)
Robert S. Boyer, Yuan Yu
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE (1992)
Yuan Yu
Computer Proofs in Group Theory. J. Autom. Reason. 6 (3) (1990)

Yuan Yu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuan Yu