Search Results - Simpson, Alex
- Showing 1 - 6 results of 6
-
1
Equivalence and Conditional Independence in Atomic Sheaf Logic Autoría: Simpson, Alex
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Stochastic Calculus via Stopping Derivatives Autoría: Simpson, Alex
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Euclidean interval objects in categories with finite products Autoría: Escardo, Martin, Simpson, Alex
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Safety, Relative Tightness and the Probabilistic Frame Rule Autoría: Jereb, Janez Ignacij, Simpson, Alex
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
5
An Imperative Language for Verified Exact Real-Number Computation Autoría: Bauer, Andrej, Park, Sewon, Simpson, Alex
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
6
Design and initial results from the "Junior" Levitated Dipole Experiment Autoría: Chisholm, Craig S., Berry, Thomas, Garnier, Darren T., Badcock, Rodney A., Bioletti, Gabriel, Bouloukakis, Konstantinos, Brewerton, Emily-Kei, Buchanan, Mike A., Burt, Pierce J., Chambers, Eleanor V. W., Chappell, Kris B., Coulson, Patrick, Davidson, Ryan J., Ellingham, Josh P. M., Geursen, Piet, Hamilton, Kent, Hu, Raymond, Hunter, Emily, Jones, Joseph P., Kusay, Plaso, Lazić, Zvonko, Leuw, Bradley, Lynch, Matthew, Mataira, Ratu, McCrohon, Mick, Meadows, Les, Morris, Jack R., Nowacki, Ryan, Purvis, Jack V., Rice, James H. P., Rutten, Michael, Schimanski, Samuel, Sharma, Aaryan, Siamaki, Mohammad, Simpson, Alex, Simpson, Thomas, Smith, Benjamin, Stiers, Eric, Swanson-Dobbs, Emerson, Todd, Joe, Treacher, Eddyn O. P., Tyler, Jared D., Venturumilli, Sriharsha, Weijers, Hubertus W., Wordsworth, Theodore, Zhou, Nancy
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso