المؤلفون: Linwang Ding, Chenglin Wen

المصدر: Symmetry, Vol 16, Iss 5, p 617 (2024)

مصطلحات موضوعية: extended Kalman filter, nonlinear systems, round-off error, state estimation, Mathematics, QA1-939

Relation: https://www.mdpi.com/2073-8994/16/5/617; https://doaj.org/toc/2073-8994; https://doaj.org/article/2e37aaed842541bb9f891ee08cdf59cb

الاتاحة: https://doi.org/10.3390/sym16050617
https://doaj.org/article/2e37aaed842541bb9f891ee08cdf59cb

المؤلفون: Jang, Yongseok, Grigori, Laura

المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Ecole Polytechnique Fédérale de Lausanne (EPFL)

المصدر: https://hal.science/hal-04683490 ; 2024.

مصطلحات موضوعية: Randomized Gram-Schmidt process, Reorthogonalization algorithm, Random sketching, Round-off error analysis, Randomized GMRES, [MATH]Mathematics [math]

Relation: hal-04683490; https://hal.science/hal-04683490; https://hal.science/hal-04683490/document; https://hal.science/hal-04683490/file/preprint_RGS2.pdf

الاتاحة: https://hal.science/hal-04683490
https://hal.science/hal-04683490/document
https://hal.science/hal-04683490/file/preprint_RGS2.pdf

المؤلفون: CHEN Lei, TANG Tao, QI Hai-jun, JIANG Hao, HE Kang

المصدر: Jisuanji kexue, Vol 49, Iss 10, Pp 27-35 (2022)

مصطلحات موضوعية: reproducibility, round-off error, error-free transformation, dgemv, Computer software, QA76.75-76.765, Technology (General), T1-995

وصف الملف: electronic resource

Relation: https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2022-49-10-27.pdf; https://doaj.org/toc/1002-137X

URL الوصول: https://doaj.org/article/1c7197b429894b7da7d1c60c33279d01

المؤلفون: Ben Salem-Knapp, Louise, Boldo, Sylvie, Weens, William

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire de Détection et de Géophysique (CEA) (LDG), DAM Île-de-France (DAM/DIF), Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire en Informatique Haute Performance pour le Calcul et la simulation (LIHPC), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), European Project: 810367,EMC2(2019)

المصدر: ISSN: 2168-6750 ; IEEE Transactions on Emerging Topics in Computing ; https://inria.hal.science/hal-03329933 ; IEEE Transactions on Emerging Topics in Computing, 2022, 10 (3), ⟨10.1109/TETC.2022.3191472⟩.

مصطلحات موضوعية: Round-off error, Floating-Point, Numerical Scheme, Advection, Hydrodynamics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

Relation: info:eu-repo/grantAgreement//810367/EU/Extreme-Scale Mathematically-based Computational Chemistry/EMC2

الاتاحة: https://inria.hal.science/hal-03329933
https://inria.hal.science/hal-03329933v1/document
https://inria.hal.science/hal-03329933v1/file/article.pdf
https://doi.org/10.1109/TETC.2022.3191472

المؤلفون: Kılıç, Ä°lker, Bulut F., Yildirim M.E., Ince O.F., Ince I.F.

مصطلحات موضوعية: Loss of information, Lossless image compression, Low dynamic range, Quantization factors, Round-off error, Wavelet transform, Benchmarking, Color, Discrete cosine transforms, Errors, Image coding, Image compression, Image enhancement, Image quality, Inverse problems, Inverse transforms, Signal to noise ratio, Discrete cosine transform coefficients, Inverse transformations, Peak signal to noise ratio, Quantization factor, Round-off errors, Transform methods, Wavelets transform, Wavelet transforms

Relation: Visual Computer; Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı; https://hdl.handle.net/11499/47355; 38; 1845; 1870; WOS:000766099400002

الاتاحة: https://hdl.handle.net/11499/47355
https://doi.org/10.1007/s00371-022-02418-0

المؤلفون: Dmitry Lukyanenko, Valentin Shinkarev, Anatoly Yagola

المصدر: Algorithms; Volume 15; Issue 9; Pages: 324

مصطلحات موضوعية: gradient method, conjugate gradient method, round-off error, rounding error, stopping criteria

وصف الملف: application/pdf

Relation: Combinatorial Optimization, Graph, and Network Algorithms; https://dx.doi.org/10.3390/a15090324

الاتاحة: https://doi.org/10.3390/a15090324

المؤلفون: Chuanying Li, Peibing Du, Kuan Li, Yu Liu, Hao Jiang, Zhe Quan

المصدر: Mathematics; Volume 10; Issue 11; Pages: 1788

مصطلحات موضوعية: polynomial evaluation, goertzel algorithm, round-off error, error-free transformation, compensated algorithm, numerical stability

وصف الملف: application/pdf

Relation: Computational and Applied Mathematics; https://dx.doi.org/10.3390/math10111788

الاتاحة: https://doi.org/10.3390/math10111788

المؤلفون: Boldo, Sylvie, Melquiond, Guillaume

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Mioara Joldes, Fabrizio Lamberti, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), European Project: 810367,EMC2(2019)

المصدر: ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-03233227 ; ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy

مصطلحات موضوعية: Floating-point arithmetic, Round-off error, Formal methods, Coq, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

جغرافية الموضوع: Online, Italy

Relation: info:eu-repo/grantAgreement//810367/EU/Extreme-Scale Mathematically-based Computational Chemistry/EMC2

الاتاحة: https://inria.hal.science/hal-03233227
https://inria.hal.science/hal-03233227v1/document
https://inria.hal.science/hal-03233227v1/file/article.pdf

المؤلفون: Weens, William, Vazquez-Gonzalez, Thibaud, Salem-Knapp, Louise, Ben

المساهمون: DAM Île-de-France (DAM/DIF), Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire en Informatique Haute Performance pour le Calcul et la simulation (LIHPC), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

المصدر: NSV 2021 - 14th International Workshop on Numerical Software Verification ; https://inria.hal.science/hal-03351754 ; NSV 2021 - 14th International Workshop on Numerical Software Verification, Jul 2021, Los Angeles, United States ; https://nsv2021.github.io/

مصطلحات موضوعية: Exascale, Floating-point, Round-off error, Hydrodynamics, HPC, [INFO]Computer Science [cs], [PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

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

الاتاحة: https://inria.hal.science/hal-03351754
https://inria.hal.science/hal-03351754v1/document
https://inria.hal.science/hal-03351754v1/file/NSV.pdf

المؤلفون: Constantin Papaodysseus, Dimitris Arabadjis, Fotios Giannopoulos, Athanasios Rafail Mamatsis, Constantinos Chalatsis

المصدر: Mathematics; Volume 9; Issue 11; Pages: 1199

مصطلحات موضوعية: finite precision error in a single multiplication, finite precision error in successive multiplications, exact tracking of round-off error, finite precision error, multiplication with finite word length, statistical properties of finite precision error, loss of significance during multiplication

وصف الملف: application/pdf

Relation: Computational and Applied Mathematics; https://dx.doi.org/10.3390/math9111199

الاتاحة: https://doi.org/10.3390/math9111199

المؤلفون: Matoussi, Oumaima, Durand, Yves, Sentieys, Olivier, Molnos, Anca

المساهمون: Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information (CEA-LETI), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: ASAP 2019 - 30th IEEE International Conference on Application-specific Systems, Architectures and Processors ; https://inria.hal.science/hal-02183945 ; ASAP 2019 - 30th IEEE International Conference on Application-specific Systems, Architectures and Processors, Jul 2019, New York, United States. pp.1-8

مصطلحات موضوعية: square root, precision tuning, Newton Raphson method, clustering, floating point, error analysis, k-means, approximate computing, algorithmic deviation, round- off error, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing

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

الاتاحة: https://inria.hal.science/hal-02183945
https://inria.hal.science/hal-02183945v1/document
https://inria.hal.science/hal-02183945v1/file/ASAP_kmeans_final.pdf

المؤلفون: Hepeng Ni, Jipeng Yuan, Shuai Ji, Chengrui Zhang, Tianliang Hu

المصدر: IEEE Access, Vol 6, Pp 66403-66417 (2018)

مصطلحات موضوعية: NURBS interpolation, feedrate scheduling, jerk-continuous ACC/DEC algorithm, round-off error compensation, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8318566/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/ebd6e8a7f9dd40398ce90f9730e27f4d

المؤلفون: Hepeng Ni, Chengrui Zhang, Shuai Ji, Tianliang Hu, Qizhi Chen, Yanan Liu, Gongcheng Wang

المصدر: IEEE Access, Vol 6, Pp 63794-63812 (2018)

مصطلحات موضوعية: NURBS interpolation, bidirectional adaptive feedrate scheduling, S-shaped ACC/DEC algorithm, meeting processing method, round-off error compensation, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8492429/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/0e9b895f137c4b8aa9c04d2ab2f4e24e

المؤلفون: Ben Salem-Knapp, Louise, Boldo, Sylvie, Weens, William

المساهمون: CEA,DAM,DIF, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire en Informatique Haute Performance pour le Calcul et la simulation (LIHPC), DAM Île-de-France (DAM/DIF), Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction des Applications Militaires (DAM), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay

المصدر: https://hal.inria.fr/hal-03329933 ; 2021.

مصطلحات موضوعية: Advection, Hydrodynamics, Floating-Point, Numerical Scheme, Round-off error, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

Relation: hal-03329933; https://hal.inria.fr/hal-03329933; https://hal.inria.fr/hal-03329933/document; https://hal.inria.fr/hal-03329933/file/article.pdf

الاتاحة: https://hal.inria.fr/hal-03329933
https://hal.inria.fr/hal-03329933/document
https://hal.inria.fr/hal-03329933/file/article.pdf

المؤلفون: Boldo, Sylvie, Faissole, Florian, Chapoutot, Alexandre

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)

المصدر: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://hal.science/hal-01883843 ; IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩.

مصطلحات موضوعية: Overflow, Linear stability, Runge-Kutta method, Numerical integration, Round-off error, Underflow, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

الاتاحة: https://hal.science/hal-01883843
https://hal.science/hal-01883843v3/document
https://hal.science/hal-01883843v3/file/hal_article.pdf
https://doi.org/10.1109/TC.2019.2917902

المؤلفون: Thomas A. Knox

المصدر: Journal of Econometrics. 226:171-191

مصطلحات موضوعية: Discrete mathematics, Economics and Econometrics, Singular function, Approximation error, Applied Mathematics, Parameterized complexity, Rank (differential topology), Round-off error, Minimax approximation algorithm, Upper and lower bounds, Probability measure, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5ebd2afe5a78514686070b6a845fd14d
https://doi.org/10.1016/j.jeconom.2021.07.009

المؤلفون: William W. Schultz, Subramaniam Balakrishna

المصدر: Mathematics and Computers in Simulation. 190:714-722

مصطلحات موضوعية: Numerical Analysis, General Computer Science, Truncation, Applied Mathematics, Emphasis (telecommunications), Finite difference, Radius, Grid, Computer Science::Numerical Analysis, Theoretical Computer Science, Modeling and Simulation, Free surface, Applied mathematics, Shaping, Round-off error, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c8e1ac92c336085879f6baaa210269d7
https://doi.org/10.1016/j.matcom.2021.06.011

المؤلفون: Boldo, Sylvie, Faissole, Florian, Chapoutot, Alexandre

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), 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)-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), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Labex Digicosme, ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)

المصدر: 24th IEEE Symposium on Computer Arithmetic
https://hal.science/hal-01581794
24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩
http://arith24.arithsymposium.org/

مصطلحات موضوعية: Round-Off Error, Floating-Point, Numerical Integration, Ordinary Differential Equation, Stability, Runge-Kutta Methods, [INFO]Computer Science [cs], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

جغرافية الموضوع: London, United Kingdom

الاتاحة: https://hal.science/hal-01581794
https://hal.science/hal-01581794v1/document
https://hal.science/hal-01581794v1/file/arith_hal.pdf
https://doi.org/10.1109/ARITH.2017.22

المؤلفون: Takeshi Ogita, Katsuhisa Ozaki

المصدر: Numerical Algorithms. 90:241-262

مصطلحات موضوعية: Pure mathematics, Numerical linear algebra, Matrix (mathematics), Floating point, Applied Mathematics, Product (mathematics), Jordan normal form, Block matrix, Round-off error, computer.software_genre, computer, Eigenvalues and eigenvectors, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa054ed7f35318861153a9cbfa79bcd0
https://doi.org/10.1007/s11075-021-01186-7

المؤلفون: Anzhelika Motailo, Galina Tuluchenko

المصدر: Eastern-European Journal of Enterprise Technologies, Vol 4, Iss 4(112), Pp 40-46 (2021)

مصطلحات موضوعية: Coordinate system, Energy Engineering and Power Technology, Industrial and Manufacturing Engineering, Polyhedron, Management of Technology and Innovation, T1-995, Industry, Electrical and Electronic Engineering, Invariant (mathematics), Physics::Chemical Physics, Technology (General), Mathematics, Stiffness matrix, cubature formula, Applied Mathematics, Mechanical Engineering, Mathematical analysis, bipyramid, HD2321-4730.9, Finite element method, interpolation nodes, Computer Science Applications, Bipyramid, octahedron, Control and Systems Engineering, weight coefficients, Round-off error, stiffness matrix, Interpolation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61b9823e4e79306589f0afa9e1ec5dbc
http://journals.uran.ua/eejet/article/view/238024