49 citations
- National Institute of Standards and TechnologyUS2 papers
- Carnegie Mellon UniversityUS1 paper
- Centre for Quantum TechnologiesSG1 paper
- George Mason UniversityUS1 paper
- National University of SingaporeSG1 paper
- Nationwide Mutual Insurance Company (United States)US1 paper
- Physical Measurement LaboratoryUS1 paper
- Rutgers, The State University of New JerseyUS1 paper
- Stony Brook UniversityUS1 paper
- The Ohio State UniversityUS1 paper
- TU WienAT1 paper
- United States Food and Drug AdministrationUS1 paper
8 papers
A Dimension-Reduced Multivariate Spatial Model for Extreme Events: Balancing Flexibility and Scalability
Remy MacDonald, Benjamin Seiyon Lee, John Foley +1
Modeling extreme precipitation and temperature is vital for understanding the impacts of climate change, as hazards like intense rainfall and record-breaking temperatures can resul…
Generalized partitioned local depth
Kenneth S. Berenhaut, John D. Foley, Liangdongsheng Lyu
In this paper we provide a generalization of the concept of cohesion as introduced recently by Berenhaut, Moore and Melvin [Proceedings of the National Academy of Sciences, 119 (4)…
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…
Network Models from Petri Nets with Catalysts
John C. Baez, John Foley, Joe Moeller
Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catal…
Broadband Circular Polarization Time-Domain Terahertz Spectroscopy
Evan V. Jasper, T. T. Mai, M. T. Warren +6
Light-matter interactions are key in providing fundamental information about materials. Even in the linear-response regime, the spectroscopic response of a material encodes in it m…
Lagrangian Reachabililty
Jacek Cyranka, Md. Ariful Islam, Greg Byrne +3
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use…