Source: Actes des 35es Journées Francophones des Langages Applicatifs (JFLA 2024) ; 35es Journées Francophones des Langages Applicatifs (JFLA 2024) ; https://hal.science/hal-04407159 ; 35es Journées

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Computer science and mathematics: far from parity ; Informatique et mathématiques : pourquoi mettre les femmes à l'honneur ?

Authors : Revol, Nathalie;

Subjects: mathématiques; informatique; parité

Source: MathémaTICE ; https://inria.hal.science/hal-04160309 ; MathémaTICE, 2023, 86

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Traduire l'univers des mathématiques en Dedukti, sans univers

Authors : Ledein, Amélie; Butte, Elliot;

Subjects: [INFO]Computer Science [cs]Praz-sur-Arly; France

Source: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03936696 ; JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Book

Manuel GALEJADE : S’initier aux mathématiques et à l'informatique en jouant avec les graphes.

Authors : Desvents, Rose;

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]

Source: https://hal.science/hal-03787593 ; 2022.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

A Formal Approach to the Description and Manipulation of Structured Mathematical Objects ; Une approche formelle de description et de manipulation des objets structurés mathématiques

Authors : Fotsing Talla, Bernard; Kouamou, Georges-Edouard;

Subjects: XML; DTD; MathML

Source: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; https://hal.inria.fr/hal-01261710 ; Revue Africaine de la Recherche

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Proceedings of CARI 2018 (African Conference on Research in Computer Science and Applied Mathematics) ; Actes du CARI 2018 (Colloque africain sur la recherche en informatique et mathématiques appliquées)

Authors : Badouel, Eric; Gmati, Nabil; Watson, Bruce ...

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]Stellenbosch; South Africa

Source: CARI 2018 - Colloque africain sur la recherche en informatique et mathématiques appliquées ; https://inria.hal.science/hal-01881376 ; Nabil Gmati; Eric Badouel; Bruce

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Synthèse des questions mathématiques soulevées par la mise en oeuvre de jumeaux numériques pour le suivi et le pilotage de systèmes dynamiques en entreprises.

Authors : Ailliot, Pierre; Cuzol, Anne; Durrieu, Gilles ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Source: https://hal.science/hal-03167416 ; 2021.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Interactive layout and handling of mathematical formulas in structured documents ; Affichage et manipulation interactive de formules mathématiques dans les documents structurés

Authors : Naciri, Hanane; Rideau, Laurence;

Subjects: Mathematical formulas; formatting tools; MathML

Source: EISSN: 1638-5713 ; Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; https://inria.hal.science/hal-01261698 ; Revue Africaine de Recherche en

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Modèles mathématiques à base de flots pour le RCPSP multi-site

Authors : Laurent, Arnaud; Deroussi, Laurent; Grangeon, Nathalie ...

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]Lorient; France

Source: ROADEF 2018 ; https://hal.science/hal-01954119 ; ROADEF 2018, Feb 2018, Lorient, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Video Recording

La machine et l’animal. ; La machine et l’animal.: Génération ou interprétation ? – L’IA en débat

Authors : Longo, Giuseppe; Vigny, Pierre-Jean; Tice-Dsirn, Unité ...

Subjects: Intelligence artificielle; Histoire des sciences; Mathematiques

Source: https://hal.campus-aar.fr/hal-04685270 ; 2024.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Utilisation de Coq pour l'enseignement des mathématiques en L1 et en seconde

Computer science and mathematics: far from parity ; Informatique et mathématiques : pourquoi mettre les femmes à l'honneur ?

Traduire l'univers des mathématiques en Dedukti, sans univers

Manuel GALEJADE : S’initier aux mathématiques et à l'informatique en jouant avec les graphes.

A Formal Approach to the Description and Manipulation of Structured Mathematical Objects ; Une approche formelle de description et de manipulation des objets structurés mathématiques

Proceedings of CARI 2018 (African Conference on Research in Computer Science and Applied Mathematics) ; Actes du CARI 2018 (Colloque africain sur la recherche en informatique et mathématiques appliquées)

Synthèse des questions mathématiques soulevées par la mise en oeuvre de jumeaux numériques pour le suivi et le pilotage de systèmes dynamiques en entreprises.

Interactive layout and handling of mathematical formulas in structured documents ; Affichage et manipulation interactive de formules mathématiques dans les documents structurés

Modèles mathématiques à base de flots pour le RCPSP multi-site

La machine et l’animal. ; La machine et l’animal.: Génération ou interprétation ? – L’IA en débat

اتصل بنا

اتبع