Suchergebnisse - Simpson, Alex

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: