Yang Ren
YOU?
Author Swipe
View article: Plate Wall Offset Measurement for U-Shaped Groove Workpieces Based on Multi-Line-Structured Light Vision Sensors
Plate Wall Offset Measurement for U-Shaped Groove Workpieces Based on Multi-Line-Structured Light Vision Sensors Open
To address the challenge of measuring the plate wall offset at the U-shaped groove positions after assembling large cylindrical shell arc segments, this paper proposes a measurement method based on multi-line-structured light vision sensor…
View article: Hierarchical Heterostructure Titanium Matrix Composites With Synergy of Ultrahigh Strength-Ductility and Heat-Resistant
Hierarchical Heterostructure Titanium Matrix Composites With Synergy of Ultrahigh Strength-Ductility and Heat-Resistant Open
View article: Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness Open
Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transformations. Recently, machine learning (ML) has gained traction…
View article: Towards Transaction as a Service
Towards Transaction as a Service Open
This paper argues for decoupling transaction processing from existing two-layer cloud-native databases and making transaction processing as an independent service. By building a transaction as a service (TaaS) layer, the transaction proces…
View article: A weighted weak-type inequality for the one-sided maximal operators
A weighted weak-type inequality for the one-sided maximal operators Open
UDC 517.5 We obtain some necessary and sufficient conditions for a weighted weak-type inequality of the form to be true, which generaliz…