يعرض 1 - 20 نتائج من 73 نتيجة بحث عن '"Allouche, Cyril"', وقت الاستعلام: 0.54s تنقيح النتائج
  1. 1
    Report
  2. 2
    Report

    المصدر: IEEE Transactions on Quantum Engineering, vol. 2, pp. 1-22, 2021, Art no. 3102422

  3. 3
    Report
  4. 4
    Report
  5. 5
    Report
  6. 6
    Report
  7. 7
  8. 8
    Conference

    المساهمون: Systèmes parallèles (LRI) (ParSys - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Bull SAS (Bull), Bull SAS, Maison de la Simulation (MDLS), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Systèmes Parallèles - LISN (ParSys), Algorithmes, Apprentissage et Calcul (AAC), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-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)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec, 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), Design, study and implementation of languages for proofs and programs (PI.R2), Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris Cité (UPCité)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017)

    المصدر: Lecture Notes in Computer Science ; Reversible Computation ; https://hal.science/hal-04349410 ; Reversible Computation, Jul 2020, Oslo, Norway. ⟨10.1007/978-3-030-52482-1_11⟩

    جغرافية الموضوع: Oslo, Norway

  9. 9
    Academic Journal

    المساهمون: Agence Nationale de la Recherche, Directorate General of Enterprises of the French Ministry of Industry

    المصدر: IEEE Transactions on Quantum Engineering ; volume 2, page 1-22 ; ISSN 2689-1808

  10. 10
  11. 11
    Conference

    المساهمون: Bull SAS (Bull), Bull SAS, Systèmes parallèles (LRI) (ParSys - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Modélisation hétérogène (LRI) (MODHEL - LRI)

    المصدر: Proceedings of AMMCS 2017 ; International Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017) ; https://hal.science/hal-01711378 ; International Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017), Aug 2017, Waterloo, Canada

    جغرافية الموضوع: Waterloo

    Time: Waterloo, Canada

  12. 12
  13. 13
    Patent
  14. 14
    Patent
  15. 15
    Patent
  16. 16
    Patent
  17. 17
    Patent
  18. 18
    Patent
  19. 19
    Patent
  20. 20
    Book

    المصدر: Functional Imaging and Modeling of the Heart ; Lecture Notes in Computer Science ; page 61-68 ; ISSN 0302-9743 ; ISBN 9783540428619 9783540455721