Kavli Affiliate: Johannes Lehmann | First 5 Authors: Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen, , | Summary: State-of-the-art probabilistic model checkers perform verification on explicit-state Markov models defined in a high-level programming formalism like the PRISM modeling language. Typically, the low-level models resulting from such program-like specifications exhibit lots of structure such as repeating subpatterns. […]

Kavli Affiliate: Frank Wise | First 5 Authors: Yi-Hao Chen, Pavel Sidorenko, Frank Wise, , | Summary: We start an environmentally-stable linear Mamyshev oscillator with electronically-controlled modulated pump and a moving filter. It delivers a 21-nJ pulse that becomes 65 fs in duration after a compressor. Reliable starting into stable mode-locking is found achievable with […]

Kavli Affiliate: Farhan Rana | First 5 Authors: Farhan Rana, Okan Koksal, Minwoo Jung, Gennady Shvets, A. Nick Vamivakas | Summary: We present a many-body theory for exciton-trion-polaritons in doped two-dimensional materials. Exciton-trion-polaritons are robust coherent hybrid excitations involving excitons, trions, and photons. Signatures of these polaritons have been recently seen in experiments. In these […]

Kavli Affiliate: Farhan Rana | First 5 Authors: Farhan Rana, Okan Koksal, Minwoo Jung, Gennady Shvets, Christina Manolatou | Summary: Optical absorption and emission spectra of doped two-dimensional (2D) materials exhibit sharp peaks that are often identified with pure excitons and pure trions (or charged excitons), but both peaks have been recently attributed to superpositions […]

Kavli Affiliate: Nicole A. Benedek | First 5 Authors: Ethan T. Ritz, Nicole A. Benedek, , , | Summary: The sensitivity of materials properties, particularly those of perovskite oxides, to epitaxial strain has been exploited to great advantage to create materials with new or enhanced properties. Although it has certainly been recognized that mismatch in […]

Kavli Affiliate: Itai Cohen | First 5 Authors: Yuchao Chen, Yunus A. Kinkhabwala, Boris Barron, Matthew Hall, Tomas A. Arias | Summary: Decisions regarding housing, transportation, and resource allocation would all benefit from accurate small-area population forecasts. While various tried-and-tested forecast methods exist at regional scales, developing an accurate neighborhood-scale forecast remains a challenge partly […]

Kavli Affiliate: Itai Cohen | First 5 Authors: Yuchao Chen, Yunus A. Kinkhabwala, Boris Barron, Matthew Hall, Tomas A. Arias | Summary: Decisions regarding housing, transportation, and resource allocation would all benefit from accurate small-area population forecasts. While various tried-and-tested forecast methods exist at regional scales, developing an accurate neighborhood-scale forecast remains a challenge partly […]

Kavli Affiliate: Darrell Schlom | First 5 Authors: Sourav Dutta, Abhishek Khanna, Adou S. Assoa, Hanjong Paik, Darrell Schlom | Summary: Computationally hard problems, including combinatorial optimization, can be mapped into the problem of finding the ground-state of an Ising Hamiltonian. Building physical systems with collective computational ability and distributed parallel processing capability can accelerate […]

Kavli Affiliate: Gregory D. Fuchs | First 5 Authors: Albert M. Park, Zhen Chen, Xiyue S. Zhang, Lijun Zhu, David A. Muller | Summary: Magnetic skyrmions hold promise for spintronic devices. To explore the dynamical properties of skyrmions in devices, a nanoscale method to image spin textures in response to a stimulus is essential. Here, […]

Kavli Affiliate: Paul L. McEuen | First 5 Authors: Baris Bircan, Marc Z. Miskin, Robert J. Lang, Michael C. Cao, Kyle J. Dorsey | Summary: Origami design principles are scale invariant and enable direct miniaturization of origami structures provided the sheets used for folding have equal thickness to length ratios. Recently, seminal steps have been […]