Zilin Chen
- COGENT: Certified Compilation for a Functional Systems Language
2016/01/21 by Liam O'Connor, Liam O’Connor, Christine Rizkallah +20 · 2 voices
Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems #cs.LO #cs.PL
- Strong tough hydrogels via the synergy of freeze-casting and salting out
2021/02/24 by Mutian Hua, Shuwang Wu, Yanfei Ma +7 · 6 citations
Biochemistry, Genetics and Molecular Biology · Engineering · Materials Science · #Calcium Carbonate Crystallization and Inhibition #Freezing and Crystallization Processes #Hydrogels: synthesis, properties, applications
- Coriolis Force Compensation and Laser Beam Delivery for 100-Meter Baseline Atom Interferometry
2023/11/09 by Jonah Glick, Glick, Jonah, Zilin Chen +7 · 2 citations
Decision Sciences · Physics and Astronomy · #Advanced Frequency and Time Standards #Atomic Physics (physics.atom-ph) #Cold Atom Physics and Bose-Einstein Condensates #FOS: Physical sciences #Scientific Measurement and Uncertainty Evaluation