Resultados de búsqueda - Simpson, Alex

  • Mostrando 1 - 6 Resultados de 6
Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: