Resultados de búsqueda - Neumann, Jacob

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

    A Judgmental Construction of Directed Type Theory Autoría: Neumann, Jacob

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

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

    Synthetic 1-Categories in Directed Type Theory Autoría: Altenkirch, Thorsten, Neumann, Jacob

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

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

    Using PyBioNetFit to Leverage Qualitative and Quantitative Data in Biological Model Parameterization and Uncertainty Quantification Autoría: Miller, Ely F., Mallela, Abhishek, Neumann, Jacob, Lin, Yen Ting, Hlavacek, William S., Posner, Richard G.

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: