Kavli Affiliate: Long Zhang | First 5 Authors: Jianyu Zhang, Long Zhang, Yixuan Wu, Feng Yang, | Summary: Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex and challenging to learn, requiring familiarity with various intricate formal specification […]
Kavli Affiliate: Marcelo Mattar | Authors: Kristopher T. Jensen, Guillaume Hennequin and Marcelo G. Mattar | Summary: When interacting with complex environments, humans can rapidly adapt their behavior to changes in task or context. To facilitate this adaptation, we often spend substantial periods of time contemplating possible futures before acting. For such planning to be […]
Kavli Affiliate: Aaron Roodman | First 5 Authors: Umut Demirbozan, Seshadri Nadathur, Ismael Ferrero, Pablo Fosalba, Andras Kovacs | Summary: $ $Low density cosmic voids gravitationally lens the cosmic microwave background (CMB), leaving a negative imprint on the CMB convergence $kappa$. This effect provides insight into the distribution of matter within voids, and can also […]
Kavli Affiliate: Keri Martinowich | Authors: Erik D. Nelson, Madhavi Tippani, Anthony D. Ramnauth, Heena R. Divecha, Ryan A. Miller, Nicholas J. Eagles, Elizabeth A. Pattie, Sang Ho Kwon, Svitlana V. Bach, Uma M. Kaipa, Jianing Yao, Joel E. Kleinman, Leonardo Collado-Torres, Shizhong Han, Kristen R. Maynard, Thomas M. Hyde, Keri Martinowich, Stephanie C. Page […]
Kavli Affiliate: George Efstathiou | First 5 Authors: Calvin Preston, Alexandra Amon, George Efstathiou, , | Summary: Analyses of cosmic shear typically condense weak lensing information over a range of scales to a single cosmological parameter, $S_8$. This paper presents a method to extract more information from Stage-IV cosmic shear measurements by directly reconstructing the […]
Kavli Affiliate: Sara Seager | First 5 Authors: Bertrand Mennesson, Ruslan Belikov, Emiel Por, Eugene Serabyn, Garreth Ruane | Summary: We summarize the current best polychromatic (10 to 20 % bandwidth) contrast performance demonstrated in the laboratory by different starlight suppression approaches and systems designed to directly characterize exoplanets around nearby stars. We present results […]
Kavli Affiliate: Robert Edwards | Authors: Linzi Hosohama, Delia F. Tifrea, Kevin Nee, Sung Yun Park, Jie Wu, Amber N. Habowski, Cassandra Van, Marcus M. Seldin, Robert A. Edwards and Marian L. Waterman | Summary: Several classification systems have been developed to define tumor subtypes in colorectal cancer (CRC). One system proposes that tumor heterogeneity […]
Kavli Affiliate: Naomi S. Ginsberg | First 5 Authors: Christian P. N. Tanner, Vivian R. K. Wall, Mumtaz Gababa, Joshua Portner, Ahhyun Jeong | Summary: The ability to understand and ultimately control the transformations and properties of various nanoscale systems, from proteins to synthetic nanomaterial assemblies, hinges on the ability to directly elucidate their dynamics […]
Kavli Affiliate: C. M. Ignarra | First 5 Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe | Summary: The first science run of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time project chamber operating in the Sanford Underground Research Facility in South Dakota, USA, has reported leading limits […]
Kavli Affiliate: Yishi Jin | Authors: Dana T Byrd, Ziyuan Christina Han, Christopher A Piggott and Yishi Jin | Summary: PACS (Phosphofurin Acidic Cluster Sorting Protein) proteins are known for their roles in sorting cargo proteins to organelles and can physically interact with WD40 repeat-containing protein WDR37. PACS1, PACS2, and WDR37 variants are associated with […]