Source: 25ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF 2024https://hal.science/hal-0450910225ème congrès annuel de la Société

Record details

Read More Add to Saved list

Conference

Combining representation formalisms for reasoning upon mathematical knowledge

Authors : D’aquin, Mathieu; Bunoiu, Renata; Cirstea, Horatiu ...

Subjects: knowledge modeling; knowledge representation; mathematical knowledgePensacola FL USA; United States

Source: K-CAP '23: Proceedings of the 12th Knowledge Capture Conference 2023 ; K-CAP '23: Knowledge Capture Conference 2023 ; https://hal.science/hal-04315073 ; K-CAP '23: Knowledge Capture Conference 2023,

Record details

Read More Add to Saved list

Conference

Innovation pédagogique au croisement de la sociocratie et de la communication nonviolente : apports croisés de la recherche et de la formation

Authors : Carbonnel, Anne;

Subjects: [CHIM]Chemical Sciences; [INFO]Computer Science [cs]; [SPI]Engineering Sciences [physics]Saint Pierre (La Réunion); Réunion

Source: CNRIUT 2023 Saint Pierre - La Réunion ; https://hal.science/hal-04326921 ; CNRIUT 2023 Saint Pierre - La Réunion, IUT de Saint Pierre, Jun 2023, Saint Pierre (La Réunion), La Réunion

Record details

Read More Add to Saved list

Conference

Compétences communicationnelles, formation pour les métiers du commerce

Authors : Specogna, Antonietta; Mateus, Tiago;

Subjects: [CHIM]Chemical Sciences; [INFO]Computer Science [cs]; [SPI]Engineering Sciences [physics]Saint Pierre (La Réunion); Réunion

Source: CNRIUT 2023 Saint Pierre - La Réunion ; https://hal.science/hal-04326668 ; CNRIUT 2023 Saint Pierre - La Réunion, IUT de Saint Pierre, Jun 2023, Saint Pierre (La Réunion), La Réunion

Record details

Read More Add to Saved list

Conference

An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems

Authors : Baril, Ambroise; Couceiro, Miguel; Lagerkvist, Victor ...

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]Dallas; TX; United States

Source: Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022 ; https://inria.hal.science/hal-03739617 ; Proceedings of the 52nd IEEE International Symposium on

Record details

Read More Add to Saved list

Conference

New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages

Authors : Koechlin, Florent;

Subjects: Context-free languages; Bounded languages; Inherent ambiguityChennai; India

Source: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022)Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

Record details

Read More Add to Saved list

Conference

Monotonic computation rules for nonassociative calculus

Authors : Couceiro, Miguel; Grabisch, Michel;

Subjects: Nonassociative calculus; symmetric maximum; computation rulesNancy; France

Source: 1st international conference on ALgebras, Graphs and Ordered Setshttps://hal.science/hal-029128781st international conference on ALgebras, Graphs and Ordered Sets, Aug 2020, Nancy,

Record details

Read More Add to Saved list

Conference

Proceedings of the 1st International Conference on Algebras, Graphs and Ordered Sets (ALGOS 2020)

Authors : Couceiro, Miguel; Monnin, Pierre; Napoli, Amedeo ...

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

Source: 1st International Conference on Algebras, Graphs and Ordered Sets (ALGOS 2020)https://hal.science/hal-02918958Miguel CouceiroPierre MonninAmedeo Napoli. 1st International

Record details

Read More Add to Saved list

Conference

Smallest Universal Covers for Families of Triangles

Authors : Park, Ji-Won; Cheong, Otfried;

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]; [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]Würzburg; Germany

Source: EuroCG 2020 - 36th European Workshop on Computational Geometry ; https://inria.hal.science/hal-02972966 ; EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany ;

Record details

Read More Add to Saved list

Conference

Homotopic Digital Rigid Motion: An Optimization Approach on Cellular Complexes

Authors : Passat, Nicolas; Ngo, Phuc; Kenmochi, Yukiko ...

Subjects: rigid motions; Cartesian grid; homotopy-typeUppsala (virtual); Sweden

Source: International Conference on Discrete Geometry and Mathematical Morphology (DGMM) ; https://hal.science/hal-02994752 ; International Conference on Discrete Geometry and Mathematical Morphology (DGMM),

Record details

Read More Add to Saved list