Kavli Affiliate: Jeffrey M. Friedman | Authors: Santiago R Unda, Roberta Marongiu, Lisa E Pomeranz, Jonathan P Dyke, Edward K Fung, Logan Grosenick, Rick Zirkel, Aldana M Antoniazzi, Sofya Norman, Conor M Liston, Chris B Schaffer, Nozomi Nishimura, Sarah A Stanley, Jeffrey M Friedman and Michael G Kaplitt | Summary: Regulating the activity of discrete […]
Kavli Affiliate: Michael Beer | Authors: Michael Beer, Ana Sofia F. Oliveira, Catherine L. Tooke, Philip Hinchliffe, Angie Tsz Yan Li, Balazs Balega, James Spencer and Adrian J Mulholland | Summary: β-Lactamases, which hydrolyse β-lactam antibiotics, are key determinants of antibiotic resistance. Predicting the sites and effects of distal mutations in enzymes is challenging. For […]
Kavli Affiliate: Naomi Ginsberg | Summary:Electrostatically stabilized nanocrystals (NCs) and, in particular, quantum dots (QDs) hold promise for forming strongly coupled superlattices due to their compact and electronically conductive surface ligands. However, studies on the colloidal dispersion and interparticle interactions of electrostatically stabilized sub-10 nm NCs have been limited, hindering the optimization of colloidal stability […]
Kavli Affiliate: Naomi S. Ginsberg | First 5 Authors: Ahhyun Jeong, Josh Portner, Christian P. N. Tanner, Justin C. Ondry, Chenkun Zhou | Summary: Electrostatically stabilized nanocrystals (NCs) and, in particular, quantum dots (QDs) hold promise for forming strongly coupled superlattices due to their compact and electronically conductive surface ligands. However, studies on the colloidal […]
Kavli Affiliate: Viatcheslav Dobrovitski | Summary:Progress in fabrication of semiconductor and superconductor qubits has greatly diminished the number of decohering defects, thus decreasing the devastating low-frequency $1/f$ noise and extending the qubits’ coherence times (dephasing time $T_2^*$ and the echo decay time $T_2$). However, large qubit-to-qubit variation of the coherence properties remains a problem, making […]
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 […]