Yuan Lu
- Counterexample-guided abstraction refinement for symbolic model checking
2003/09/01 by Edmund M. Clarke, Edmund Clarke, Orna Grumberg +4 · 34 citations
Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Radiation Effects in Electronics
- Uni-ControlNet: All-in-One Control to Text-to-Image Diffusion Models
2023/05/25 by Shihao Zhao, Zhao, Shihao, Dongdong Chen +10 · 47 citations
Medicine · Computer Science · #Mycobacterium research and diagnosis #Advanced Neuroimaging Techniques and Applications #Generative Adversarial Networks and Image Synthesis
- Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency
2022/09/01 by Yingzi Gao, Gao, Yingzi, Yuan Lu +9 · 4 citations
Computer Science · Psychology · #Age of Information Optimization #Cognitive Functions and Memory #Cryptography and Security (cs.CR) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Capabilities as a mediator linking resources and the international performance of entrepreneurial firms in an emerging economy
2009/11/19 by Yuan Lu, Yuan Lü, Lianxi Zhou +3 · 1 citation
Business, Management and Accounting · #International Business and FDI #Innovation and Knowledge Management #Corporate Finance and Governance
- Characterization of Postural Orthostatic Tachycardia Syndrome in Long COVID
2025/08/01 by Mohammad AL Mouslmani, Mitsuaki Sawano, Adith S. Arun +13 · 1 voice · 4 citations
Medicine · #Cardiovascular Syncope and Autonomic Disorders #Long-Term Effects of COVID-19 #Pathogenesis and Treatment of Hiccups
- Investigation on scratching force and material removal mechanism of 3D SiCf/C–SiC composites during single grain scratching
2022/06/01 by Zhuoliang Zan, Kai Guo, Jie Sun +6 · 1 citation
Engineering · Materials Science · #Advanced Surface Polishing Techniques #Advanced ceramic materials synthesis #Advanced materials and composites
- Trends and Predictors of Use of Digital Health Technology in the United States
2020/07/24 by Shiwani Mahajan, Yuan Lu, Erica S. Spatz +2 · 25 citations
Health Professions · Medicine · Psychology · #Mobile Health and mHealth Applications #Telemedicine and Telehealth Implementation #Digital Mental Health Interventions
- Recurrent evolution of small body size and loss of the sword ornament in Northern swordtail fish
2024/09/10 by Gabriel A Preising, Theresa Gunn, John J. Baczenas +17 · 1 voice · 1 citation
Environmental Science · Biochemistry, Genetics and Molecular Biology · #Fish Ecology and Management Studies #Genetic diversity and population structure #Fish biology, ecology, and behavior
- The influence of a sulfonated acrylic terpolymer scale inhibitor on CO2 corrosion behavior of N80 steel in simulated produced water
2026/07/29 by Hongwei Peng, Penghui Bai, Yuan Lu +5
Engineering · Materials Science · #Calcium Carbonate Crystallization and Inhibition #Corrosion Behavior and Inhibition #Drilling and Well Engineering
- VAD: Attributing Visual Evidence for Target Reconstruction in Multimodal On-Policy Distillation
2026/07/30 by Kangning Zhang, Yixing Li, Shuai Shao +9
Computer Science · #cs.CL #cs.CV
- Rubrics on Trial: Evolving Rubrics from a Single Query via Synthetic Pairwise Evidence
2026/07/16 by Haocheng Yang, Licheng Pan, Xiaoxi Li +5
#cs.CL