يعرض 1 - 20 نتائج من 315 نتيجة بحث عن '"Függer, Matthias"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    Report
  2. 2
    Report
  3. 3
    Report
  4. 4
    Report
  5. 5
    Report
  6. 6
    Report
  7. 7
    Report
  8. 8
    Report

    المساهمون: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ANR-21-CE48-0003,DREAMY,Algorithmes distribués pour les systèmes microbiologiques(2021), ANR-23-CE45-0013,COSTXPRESS,Modèles quantitatifs des coûts d'expression des circuits génétiques synthétiques(2023), ANR-23-PEIA-0006,SAIF,Safe AI through Formal Methods(2023)

    المصدر: https://hal.science/hal-04866045 ; 2025.

  9. 9
    Report
  10. 10
    Report
  11. 11
    Report
  12. 12
    Conference

    المساهمون: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ANR-23-PEIA-0006,SAIF,Safe AI through Formal Methods(2023), ANR-21-CE48-0003,DREAMY,Algorithmes distribués pour les systèmes microbiologiques(2021)

    المصدر: 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
    https://hal.science/hal-04787072
    36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States

    جغرافية الموضوع: Herndon, United States

  13. 13
    Report

    المصدر: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I (REGULAR PAPERS), VOLUME 67, NUMBER 10, OCTOBER 2020

    مصطلحات موضوعية: Computer Science - Hardware Architecture

  14. 14
    Report
  15. 15
    Report
  16. 16
    Report
  17. 17
    Academic Journal

    المساهمون: MICrobiologie de l'ALImentation au Service de la Santé (MICALIS), AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ANR-21-CE48-0003,DREAMY,Algorithmes distribués pour les systèmes microbiologiques(2021), ANR-22-PEBB-0012,Tbox4BioProd,A toolbox for optimized resource allocation in unicellular and multicellular bioproduction systems(2022)

    المصدر: ISSN: 0305-1048.

    مصطلحات موضوعية: [SDV]Life Sciences [q-bio]

    Relation: BIORXIV: 2024.09.02.610857

  18. 18
    Academic Journal
  19. 19
    Report
  20. 20
    Report