-
1Dissertation/ Thesis
المؤلفون: Beuzeville, Theo
المساهمون: Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT), Université de Toulouse, Alfredo Buttari, Nicolas Winckler
المصدر: https://theses.hal.science/tel-04622129 ; Computer Science [cs]. Université de Toulouse, 2024. English. ⟨NNT : 2024TLSEP054⟩.
مصطلحات موضوعية: Artificial neural networks, Floating-point, Error analysis, Adversarial attacks, Rounding errors, Backward error, Réseaux de neurones artificiels, Virgule flottante, Analyse d'erreur, Attaques adverses, Erreurs d'arrondi, Erreur inverse, [INFO]Computer Science [cs]
Relation: NNT: 2024TLSEP054; tel-04622129; https://theses.hal.science/tel-04622129; https://theses.hal.science/tel-04622129/document; https://theses.hal.science/tel-04622129/file/BEUZEVILLE_Theo2024.pdf
-
2Dissertation/ Thesis
المؤلفون: El Arar, El-Mehdi
المساهمون: Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués (LI-PaRAD), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université Paris-Saclay, Devan Sohier, Pablo de Oliveira Castro Herrero, Éric Petit
المصدر: https://theses.hal.science/tel-04397409 ; Numerical Analysis [cs.NA]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG104⟩.
مصطلحات موضوعية: Stochastic rounding, Floating-Point arithmetic, Rounding errors, Martingale theory, Arrondi Stochastique, Arithmétique en virgule flottante, Erreurs d'arrondi, Théorie des martingales, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: NNT: 2023UPASG104
-
3Academic Journal
المؤلفون: Colonna, Jean-François
المساهمون: Centre de Mathématiques Appliquées - Ecole Polytechnique (CMAP), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 0994-723X.
مصطلحات موضوعية: Nombres réels, Nombres Flottants, Erreurs d'arrondi, Associativité, Ordinateur, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: hal-00586668; https://hal.science/hal-00586668; https://hal.science/hal-00586668/document; https://hal.science/hal-00586668/file/Un_ordinateur_est-il_une_parfaite_machine_A_calculer_.pdf
-
4Dissertation/ Thesis
المؤلفون: Faissole, Florian
المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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), Université Paris Saclay (COmUE), Sylvie Boldo
المصدر: https://theses.hal.science/tel-02470728 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS594⟩.
مصطلحات موضوعية: Floating-point arithmetic, Rounding errors, Formal proofs, Coq, Runge-Kutta, Arithmétique à virgule flottante, Erreurs d'arrondi, Preuves formelles, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: NNT: 2019SACLS594
-
5Dissertation/ Thesis
المؤلفون: Chevillard, Sylvain
مصطلحات موضوعية: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_SE] Computer Science/Software Engineering, approximation polynomiale, arithmétique en virgule flottante, fonctions numériques, erreurs d'arrondi, norme sup, réseau euclidien, bibliothèque logicielle, précision arbitraire
-
6Dissertation/ Thesis
المؤلفون: Chevillard, Sylvain
المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, Ecole Normale Supérieure de Lyon - ENS LYON, Jean-Michel Muller, Nicolas Brisebarre (co-directeur)
المصدر: https://theses.hal.science/tel-00460776 ; Modélisation et simulation. Université de Lyon; Ecole Normale Supérieure de Lyon - ENS LYON, 2009. Français. ⟨NNT : ⟩.
مصطلحات موضوعية: polynomial approximation, floating-point arithmetic, numerical functions, rounding errors, supremum norm, euclidean lattices, software library, arbitrary precision, approximation polynomiale, arithmétique en virgule flottante, fonctions numériques, erreurs d'arrondi, norme sup, réseau euclidien, bibliothèque logicielle, précision arbitraire, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: tel-00460776; https://theses.hal.science/tel-00460776; https://theses.hal.science/tel-00460776v6/document; https://theses.hal.science/tel-00460776v6/file/TheseSylvainChevillard.pdf
-
7Dissertation/ Thesis
المؤلفون: François, Philippe
مصطلحات موضوعية: [INFO:INFO_MO] Computer Science/Modeling and Simulation, erreurs d'arrondi, stabilité, conditionnement, méthodes de perturbations, regresssion
-
8
المؤلفون: François, Philippe
المساهمون: Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Grenoble - INPG, J.-M. Muller, Imag, Thèses
المصدر: Modélisation et simulation. Institut National Polytechnique de Grenoble-INPG, 1989. Français
مصطلحات موضوعية: erreurs d'arrondi, regresssion, conditionnement, méthodes de perturbations, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, stabilité, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
وصف الملف: application/pdf
-
9Dissertation/ Thesis
المؤلفون: François, Philippe
المساهمون: Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Grenoble - INPG, J.-M. Muller
المصدر: https://theses.hal.science/tel-00334459 ; Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨NNT : ⟩.
مصطلحات موضوعية: erreurs d'arrondi, stabilité, conditionnement, méthodes de perturbations, regresssion, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation