Most Recent Additions

PDF

Straggler-resistant distributed matrix computation via coding theory
Aditya Ramamoorthy, Anindya Bijoy Das, and Li Tang

PDF

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, and Kristin Y. Rozier

PDF

Genetic evaluation of sow survival in Thailand commercial farms using random regression models
Suppasit Plaengkaeo, Monchai Duangjinda, Wuttigrai Boonkum, Kenneth J. Stalder, and John W. Mabry

PDF

Engineering Fundamentals and Problem Solving
Arvid R. Eide, Roland D. Jenison, Steven K. Mickelson, and Larry L. Northrup

PDF

B‐MWW Zeolite: The Case Against Single‐Site Catalysis
Natalie R. Altvater, Rick W. Dorn, Melissa C. Cendejas, William P. McDermott, Brijith Thomas, Aaron J. Rossini, and Ive Hermans

*Updated as of 02/16/20.