An official website of the United States government
This content will become publicly available on June 20, 2026
Computability of Real Functions with Oracle Pointer Machines Implies Real-Time Simulation of Chemical Reaction Networks
- Award ID(s):
- 1900716
- PAR ID:
- 10642290
- Publisher / Repository:
- Springer Nature Switzerland
- Date Published:
- Page Range / eLocation ID:
- 175 to 190
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract This paper is concerned with the explicit computation of the limiting distribution function of the largest real eigenvalue in the real Ginibre ensemble when each real eigenvalue has been removed independently with constant likelihood. We show that the recently discovered integrable structures in [2] generalize from the real Ginibre ensemble to its thinned equivalent. Concretely, we express the aforementioned limiting distribution function as a convex combination of two simple Fredholm determinants and connect the same function to the inverse scattering theory of the Zakharov–Shabat system. As corollaries, we provide a Zakharov–Shabat evaluation of the ensemble’s real eigenvalue generating function and obtain precise control over the limiting distribution function’s tails. The latter part includes the explicit computation of the usually difficult constant factors.more » « less
-
The vast majority of Multi-Agent Path Finding (MAPF) methods with completeness guarantees require planning full-horizon paths. However, planning full-horizon paths can take too long and be impractical in real-world applications. Instead, real-time planning and execution, which only allows the planner a finite amount of time before executing and replanning, is more practical for real-world multi-agent systems. Several methods utilize real-time planning schemes but none are provably complete, which leads to livelock or deadlock. Our main contribution is Real-Time LaCAM, the first Real-Time MAPF method with provable completeness guarantees. We do this by leveraging LaCAM in an incremental fashion. Our results show how we can iteratively plan for congested environments with a cutoff time of milliseconds while still maintaining the same success rate as full-horizon LaCAM. We also show how it can be used with a single-step learned MAPF policy.more » « less
-
Lindgren, Robb; Asino, Tutaleni; Kyza, Eleni; Looi, CheeKit; Keifert, Teo; Suárez, Enrique (Ed.)Students need learning experiences that build capacities to agentively engage with issues challenging our world today. Teachers are often under-supported in endeavors to facilitate such learning experiences. Grounded in principles of consequential learning and expansive framing, this design-based research study sought to better understand the ways in which STEM teachers support students’ real work in the world as members of a school-based citizen science lab. Qualitative analysis of transcripts from teachers’ post-professional development and post-enactment interviews was used to characterize the ways teachers frame roles, goals, and community relationships intended to support students’ real work with real consequences. Findings illuminate ways teachers foster consequential STEM learning and suggest design principles for supporting teachers’ ongoing learning for and facilitation of real work with real consequences.more » « less
