default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuan Yu
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j29]Yuan Yu
, Zuojian Qin, Haizhuan Yuan, Shi Shu:
Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with spatially dependent coefficients. Appl. Math. Comput. 488: 129135 (2025)- 2024
- [j28]Bo Li, Haoyu Chen, Zhiyong An, Yuan Yu, Ying Jia, Long Chen, Mingyan Sun:
The continuous memory: A neural network with ordinary differential equations for continuous-time series analysis. Appl. Soft Comput. 167: 112275 (2024) - [j27]Yuan Yu:
Convergence of Relative Entropy for Euler-Maruyama Scheme to Stochastic Differential Equations with Additive Noise. Entropy 26(3): 232 (2024) - [j26]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: 101981 (2024) - [j25]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): 3400-3410 (2024) - [j24]Aojun Gong, Weihua Huang, Yongkai Xiao, Yuan Yu, Lianbo Guo:
CFNet: Cross-modal data augmentation empowered fuzzy neural network for spectral fluctuation. Knowl. Based Syst. 304: 112450 (2024) - [j23]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): 11613-11641 (2024) - [j22]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): 613 (2024) - [j21]Guorong Chen, Yuan Yu, Yuan Qiao, Junliang Yang, Chongling Du, Zhang Qian, Xiao Huang:
A Study of Improved Two-Stage Dual-Conv Coordinate Attention Model for Sound Event Detection and Localization. Sensors 24(16): 5336 (2024) - [c45]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: 1-3 - 2023
- [j20]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): 25450-25466 (2023) - [j19]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) - [j18]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): 7109-7120 (2023) - [c44]Weiwei Huang, Kebin Jia, Pengyu Liu, Yuan Yu:
Spatio-Temporal Information Fusion Network for Compressed Video Quality Enhancement. DCC 2023: 343 - [c43]Lin Wang, Yifan Liu, Yuan Yu, Xinliang Zhang:
Optoelectronic oscillator based on SBS-assisted parity-time symmetry. OFC 2023: 1-3 - [c42]Qiang Li, Yuehua Li, Yuan Yu, Zhicheng Yu:
A Task Management and Navigation Framework for Autonomous Subterranean Exploration and Sampling*. ROBIO 2023: 1-6 - [c41]Chuanqi Cheng, Haiyan Wang, Yuan Yu, Jie Huang, Dexiang Yang:
A novel initialization method for monocular visual inertial navigation. VSIP 2023: 170-177 - [i5]Yuan Yu, Zuojian Qin, Haizhuan Yuan, Shi Shu:
Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients. CoRR abs/2312.10316 (2023) - 2022
- [j17]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): 3067-3084 (2022) - [j16]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: 108176 (2022) - [c40]Qimiao Zeng, Zhifan Yin, Yuan Yu, Yirong Zhuang:
A New Architecture of 8K VR FOV Video End-to-End Technology. IWCMC 2022: 148-154 - 2021
- [j15]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): 67-75 (2021) - [c39]Yuan Yu, Huaisong Wu, Youzhi Liu, Weimin Yang, Zhiwei Jiao:
Research on Modelling, Finite Element Analysis and Experiment of Gravity Valve. ICIT 2021: 141-147 - 2020
- [j14]Yuan Yu, Tieyan Zhang, Yan Zhao:
Optimization Strategy of Multiarea Interconnected Integrated Energy System Based on Consistency Theory. Mob. Inf. Syst. 2020: 8884525:1-8884525:10 (2020) - [j13]Hsi-Yuan Huang, Yang-Chi-Dung Lin, Jing Li, Kai-Yao Huang, Sirjana Shrestha, Hsiao-Chin Hong, Yun Tang, Yigang 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): D148-D154 (2020) - [j12]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): 4687 (2020) - [c38]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 - [c37]Yuan Yu:
Research on coordinating optimization strategy of integrated energy system based on multi-agent consistency theory. CITS 2020: 1-5 - [c36]Xiu Zhang, Meng Yu, Weimin Yang, Yuan Yu, Yumei Ding, Zhiwei Jiao:
A Flexible Mechanical Arm Based on Miura-Ori. ICIRA 2020: 538-544 - [c35]Fuxin Wang, Hao Luo, Yuan Yu, Liyong Ma:
Prototype Design of a Ship Intelligent Integrated Platform. MLIS 2020: 435-441
2010 – 2019
- 2019
- [j11]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) - [c34]Yuan Yu:
Estimation of Lead-Acid Battery State of Charge Based on Unscented Kalman Filtering. AISI 2019: 579-587 - [c33]Yuan Yu:
State of Charge Estimation Method of Lead-Acid Battery Based on Multi-parameter Fusion. AISI 2019: 1080-1086 - [c32]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: 53-58 - [i4]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 abs/1911.00231 (2019) - 2018
- [j10]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: 40-44 (2018) - [c31]Xueping Li, Yuan Yu, Ningmei Yu:
Study on the Channel Characteristics of Auxiliary Medical Devices Based on MDAPSK Technology. BIBE 2018: 94-97 - [c30]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: 18:1-18:15 - [i3]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 abs/1805.01772 (2018) - 2017
- [c29]Boshi Wang, Haiying Wang, Yuan Yu, Limin Zong:
ORB-SLAM based semi-dense mapping with monocular camera. ITSC 2017: 1-5 - 2016
- [j9]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): 289-295 (2016) - [j8]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): 794 (2016) - [c28]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: 265-283 - [i2]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 abs/1603.04467 (2016) - [i1]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 abs/1605.08695 (2016) - 2014
- [c27]Naila Farooqui, Christopher J. Rossbach, Yuan Yu, Karsten Schwan:
Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications. TRIOS 2014 - [c26]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: 2661-2666 - 2013
- [c25]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: 1-14 - [c24]Qifa Ke, Michael Isard, Yuan Yu:
Optimus: a dynamic rewriting framework for data-parallel execution plans. EuroSys 2013: 15-28 - [c23]Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly:
Dandelion: a compiler and runtime for heterogeneous systems. SOSP 2013: 49-68 - 2012
- [j7]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): 543-560 (2012) - [c22]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: 197-210 - 2011
- [c21]Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang:
Optimizing Data Partitioning for Data-Parallel Computing. HotOS 2011 - [c20]Derek Gordon Murray, Michael Isard, Yuan Yu:
Steno: automatic optimization of declarative queries. PLDI 2011: 121-131 - 2010
- [j6]Yuan Yu, Yingbo Hua:
Power allocation for a MIMO relay system with multiple-antenna users. IEEE Trans. Signal Process. 58(5): 2823-2835 (2010) - [c19]Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su:
Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA 2010: 175-190 - [c18]Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang:
Nectar: Automatic Management of Data and Computation in Datacenters. OSDI 2010: 75-88
2000 – 2009
- 2009
- [b2]Yuan Yu:
Power Scheduling for Multi-Hop Wireless Networks. University of California, Riverside, USA, 2009 - [j5]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) - [c17]Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard:
DryadInc: Reusing Work in Large-scale Computations. HotCloud 2009 - [c16]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: 578-585 - [c15]Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum:
BotGraph: Large Scale Spamming Botnet Detection. NSDI 2009: 321-334 - [c14]Michael Isard, Yuan Yu:
Distributed data-parallel computing using a high-level programming language. SIGMOD Conference 2009: 987-994 - [c13]Yuan Yu, Pradeep Kumar Gunda, Michael Isard:
Distributed aggregation for data-parallel computing: interfaces and implementations. SOSP 2009: 247-260 - 2008
- [c12]Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua:
Throughput analysis of wireless mesh networks. ICASSP 2008: 3009-3012 - [c11]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: 1-14 - 2007
- [c10]Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly:
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72 - [c9]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: 493-504 - 2006
- [b1]Allan Heydon, Timothy P. Mann, Roy Levin, Yuan Yu:
Software Configuration Management Using Vesta. Monographs in Computer Science, Springer 2006, ISBN 978-0-387-00229-3, pp. 1-262 - [c8]Yuwei Sun, Yuan Yu, Wensheng Yu, Long Wang:
Minimal Positive Realizations of Third-Order Systems with Complex Poles. POSTA 2006: 327-334 - 2005
- [c7]Yuan Yu, Tom Rodeheffer, Wei Chen:
RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP 2005: 221-234 - 2004
- [j4]Serdar Tasiran, Yuan Yu, Brannon Batson:
Linking Simulation with Formal Verification at a Higher Level. IEEE Des. Test Comput. 21(6): 472-482 (2004) - 2003
- [j3]Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA+. Formal Methods Syst. Des. 22(2): 125-131 (2003) - [c6]Serdar Tasiran, Yuan Yu, Brannon Batson:
Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361 - 2002
- [c5]Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu:
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48 - 2000
- [c4]Allan Heydon, Roy Levin, Yuan Yu:
Caching function calls using precise dependencies. PLDI 2000: 311-320
1990 – 1999
- 1999
- [c3]Yuan Yu, Panagiotis Manolios, Leslie Lamport:
Model Checking TLA+ Specifications. CHARME 1999: 54-66 - [c2]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: 1871-1872 - 1996
- [j2]Robert S. Boyer, Yuan Yu:
Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43(1): 166-192 (1996) - 1992
- [c1]Robert S. Boyer, Yuan Yu:
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE 1992: 416-430 - 1990
- [j1]Yuan Yu:
Computer Proofs in Group Theory. J. Autom. Reason. 6(3): 251-286 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-29 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
