Search Results - Simpson, Alex

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    Equivalence and Conditional Independence in Atomic Sheaf Logic Autoría: Simpson, Alex

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Stochastic Calculus via Stopping Derivatives Autoría: Simpson, Alex

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Euclidean interval objects in categories with finite products Autoría: Escardo, Martin, Simpson, Alex

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Safety, Relative Tightness and the Probabilistic Frame Rule Autoría: Jereb, Janez Ignacij, Simpson, Alex

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    An Imperative Language for Verified Exact Real-Number Computation Autoría: Bauer, Andrej, Park, Sewon, Simpson, Alex

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    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 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: