المؤلفون: Steinbach, Neele, Furch, Laura, Meise, Charlotte, Langesee, Lisa-Marie

Thesis Advisors: Hochschule der Deutschen Gesetzlichen Unfallversicherung (HGU), Technische Universität Dresden, Bildungsportal Sachsen GmbH, CampusM21 GmbH, Gesellschaft der Freunde und Förderer der Technische Universität Dresden e.V., Gesellschaft der Freunde und Förderer der TU Dresden e.V., GWT – TUD Forschung und Innovation GmbH, Hochschule Stralsund (HOST)

مصطلحات موضوعية: Konferenz, GeNeMe 2023, Gemeinschaften in Neuen Medien, Inklusion, Digitale Transformation, Tandemprogramme, Community-Management, conference, GeNeMe 2023, communities in new media, Inclusion, digital transformation, Tandem programs, community management, info:eu-repo/classification/ddc/330, ddc:330

Relation: urn:nbn:de:bsz:14-qucosa2-897957; qucosa:89795

الاتاحة: https://tud.qucosa.de/id/qucosa%3A94142
https://tud.qucosa.de/api/qucosa%3A94142/attachment/ATT-0/

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

المصدر: Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)

مصطلحات موضوعية: transformation of programs, dataflow parallel programming, program analysis, typing, intermediate program representations, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1488; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

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

المؤلفون: Damouche, Nasrine, Martel, Matthieu

المساهمون: Université de Perpignan Via Domitia - UPVD (FRANCE)

مصطلحات موضوعية: Autre, Static analysis, Automatic transformation of programs, Numerical accuracy, Floating-point arithmetic

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

Relation: https://oatao.univ-toulouse.fr/29007/1/Damouche_29007.pdf; Damouche, Nasrine and Martel, Matthieu. Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. (2017) In: Automated Formal Methods (AFM 2017), 19 May 2017 - 20 May 2017 (Moffett Field, United States).

الاتاحة: https://oatao.univ-toulouse.fr/29007/
https://oatao.univ-toulouse.fr/29007/1/Damouche_29007.pdf
https://doi.org/10.29007/j2fd

المؤلفون: Kathryn A. Wolfe, Josh Herron

المصدر: Techtrends

مصطلحات موضوعية: Original Paper, Instructional design, Emerging technologies, business.industry, 05 social sciences, Professional development, Educational technology, Digital transformation, 050301 education, 050801 communication & media studies, Design thinking, Public relations, Computer Science Applications, Education, 0508 media and communications, Digital transformation graduate programs, K12 digital learning, Sociology, State (computer science), Digital learning, business, Learning technology, 0503 education

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2a60476f253d55f547eb242eb2bf76e
https://doi.org/10.1007/s11528-020-00575-4

المؤلفون: Nasrine Damouche, Matthieu Martel

المساهمون: Université de Perpignan Via Domitia - UPVD (FRANCE)

مصطلحات موضوعية: business.industry, Computer science, Floating-point arithmetic, 02 engineering and technology, Machine learning, computer.software_genre, Static analysis, 01 natural sciences, 010305 fluids & plasmas, Automatic transformation of programs, Autre, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Numerical accuracy, Artificial intelligence, business, computer, SALSA, computer.programming_language

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df49545bf02dd996c6593aebf75451b9
https://oatao.univ-toulouse.fr/29007/

المؤلفون: Damouche, Nasrine

Thesis Advisors: Perpignan, Martel, Matthieu, Chapoutot, Alexandre

مصطلحات موضوعية: Arithmétique flottante, Précision numérique, Erreur d'arrondi, Transformation automatique de programmes, Analyse statique, Interprétation abstraite, Floating-point arithmetic, Numerical accuracy, Rounding errors, Automatic transformation of programs, Static analysis, Abstract interpretation, 004

الاتاحة: http://www.theses.fr/2016PERP0032/document

المؤلفون: Damouche, Nasrine

المساهمون: LAboratoire de Modélisation Pluridisciplinaire et Simulations (LAMPS), Université de Perpignan Via Domitia (UPVD), Université de Perpignan, Matthieu Martel, Alexandre Chapoutot

المصدر: https://theses.hal.science/tel-01455727 ; Computer Arithmetic. Université de Perpignan, 2016. English. ⟨NNT : 2016PERP0032⟩.

مصطلحات موضوعية: Floating-point arithmetic, Numerical accuracy, Rounding errors, Automatic transformation of programs, Static analysis, Abstract interpretation, Arithmétique flottante, Précision numérique, Erreur d'arrondi, Transformation automatique de programmes, Analyse statique, Interprétation abstraite, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

Relation: NNT: 2016PERP0032; tel-01455727; https://theses.hal.science/tel-01455727; https://theses.hal.science/tel-01455727/document; https://theses.hal.science/tel-01455727/file/These-Nasrine-DAMOUCHE-2016a.pdf

الاتاحة: https://theses.hal.science/tel-01455727
https://theses.hal.science/tel-01455727/document
https://theses.hal.science/tel-01455727/file/These-Nasrine-DAMOUCHE-2016a.pdf

المصدر: Other Information: UNCL. Orig. Receipt Date: 30-JUN-73

وصف الملف: Medium: X; Size: Pages: 13

URL الوصول: http://www.osti.gov/scitech/biblio/4598312