183 citations
- Drexel UniversityUS2 papers
- ArcadiaUS1 paper
- Argonne National LaboratoryUS1 paper
- Barcelona Graduate School of MathematicsES1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Centro Brasileiro de Pesquisas FísicasBR1 paper
- Centro de Investigaciones Energéticas, Medioambientales y TecnológicasES1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
- Cornell UniversityUS1 paper
- Fairfield UniversityUS1 paper
- FernUniversität in HagenDE1 paper
- Google (United States)US1 paper
9 papers
Advancing Building Energy Modeling with Large Language Models: Exploration and Case Studies
Liang Zhang, Zhelun Chen, Vitaly Ford
The rapid progression in artificial intelligence has facilitated the emergence of large language models like ChatGPT, offering potential applications extending into specialized eng…
First Double Chooz Measurement via Total Neutron Capture Detection
The Double Chooz Collaboration
The establishment of the neutrino oscillations phenomenon as a solution to both solar and atmospheric neutrino anomalies had two consequences: a new oscillation mode, labelled $\ma…
Excluding a large theta graph
Guoli Ding, Emily Marshall
A theta graph, denoted , is a graph of order consisting of a pair of vertices and three independent paths between them of lengths , , and . We provide…
Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
Argimiro Arratia, Carlos E. Ortiz
Separations among the first order logic of finite residue class rings, its extensions with generalized quantifiers, and in the presence of a built-in order are…
Efficient Computation of the Kauffman Bracket
Lauren Ellenberg, Gabriella Newman, Stephen Sawin +1
This paper bounds the computational cost of computing the Kauffman bracket of a link in terms of the crossing number of that link. Specifically, it is shown that the image of a tan…
Point-Separable Classes of Simple Computable Planar Curves
Xizhong Zheng, Robert Rettinger
In mathematics curves are typically defined as the images of continuous real functions (parametrizations) defined on a closed interval. They can also be defined as connected one-di…