9 citations
3 papers
astro-ph.EP2026
JWST Exoplanetary Worlds and Elemental Survey (JEWELS) II: Condensation Temperature Trends and Galactic Chemical Evolution in JWST Planet-Hosting Stars
Qinghui Sun, Xianyu Tan, Gordon +5
We present high-precision chemical abundances for 25 FGK-type stars hosting exoplanets observed in JWST Cycle 3 programs and all GTO and DDT programs from Cycles 1-3, based on high…
cs.AI2017★ 1 cited
Representing Hybrid Automata by Action Language Modulo Theories
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…
cond-mat.str-el2015★ 9 cited
Topological Superconductors and Category Theory
Andrei Bernevig, Titus Neupert
We give a pedagogical introduction to topologically ordered states of matter, with the aim of familiarizing the reader with their axiomatic topological quantum field theory descrip…