Journées Nationales du GDR Informatique Mathématique
Cnam, Paris (France)

Exposés

Exposés invités (4 documents )

Méthodes numériques rigoureuses et formellement vérifiées
Assia Mahboubi
abstract : Exposé invité
Exposé invité
sciencesconf.org:jnim2020:313722
Problèmes de partitionnement
Claire Mathieu
abstract : Exposé invité
Exposé invité
sciencesconf.org:jnim2020:313719
Towards a theory of non-commutative optimization: geodesic first and second order methods for moment maps and polytopes
Peter Buergisser
abstract : Exposé invité
Exposé invité
sciencesconf.org:jnim2020:313729
Triangulations des variétés : de l'existence à la construction
Jean-Daniel Boissonnat
abstract : Exposé invité
Exposé invité
sciencesconf.org:jnim2020:313736

Exposés GT (8 documents )

Automatic Differentiation in PCF
Michele Pagani
abstract : Exposés GT
Exposé GT
sciencesconf.org:jnim2020:313811
Empilements d'oranges et variations
Thomas Fernique
abstract : Exposés GT
Exposés GT
sciencesconf.org:jnim2020:313808
Factoring RSA of 240 decimal digits and computing discrete logarithms in a 240-decimal-digit prime field with the same software and hardware.
Aurore Guillevic
abstract : Exposés GT
Exposé GT
sciencesconf.org:jnim2020:313807
Identités de partitions et cristaux dans $A_{n-1}^{(1)}$
Jehanne Dousse
abstract : Exposés GT
Exposé GT
sciencesconf.org:jnim2020:313782
Mathematical modeling and control of resource allocation in microorganisms
Hidde de Jong
abstract : Exposés GT
Exposés GT
sciencesconf.org:jnim2020:313802
Mutual information and secret key agreement
Andrei Romashchenko
abstract : Exposés GT
Exposés GT
sciencesconf.org:jnim2020:313778
Titre à venir
Marie Albenque
abstract : Exposés GT
Exposés GT
sciencesconf.org:jnim2020:313820
Titre à venir
Damien Pous
abstract : Exposés GT
Exposés GT
sciencesconf.org:jnim2020:313816

Session thématique Informatique Quantique (4 documents )

Activité R&D d'Atos Quantum
Simon Martiel
abstract : Session thématique Informatique Quantique
Session thématique Informatique Quantique
sciencesconf.org:jnim2020:313888
Calcul et programmation quantique
Benoît Valiron
abstract : Session thématique Informatique Quantique
Session thématique Informatique Quantique
sciencesconf.org:jnim2020:320740
Calcul quantique tolérant aux fautes et codes expanseurs
Anthony Leverrier
abstract : Session thématique Informatique Quantique
Session thématique Informatique Quantique
sciencesconf.org:jnim2020:313891
Titre à venir
Elham Kashefi
abstract : Session thématique Informatique Quantique
Session thématique Informatique Quantique
sciencesconf.org:jnim2020:318167

Posters (12 documents )

Concurrent biological pathways from rule-based models
Sébastien Légaré
abstract : Posters

sciencesconf.org:jnim2020:320275
Convexity preserving contraction of digital sets
Lama Tarsissi, David Coeurjolly, Yukiko Kenmochi, Pascal Romon
abstract : poster

sciencesconf.org:jnim2020:320116
Detecting Structural Patterns In Road Traffic Using Dynamic Subgraph Isomorphism
Kamaldeep Singh Oberoi, Géraldine DEL MONDO, Benoît Gaüzère, Yohan Dupuis, Pascal Vasseur
abstract : Posters

sciencesconf.org:jnim2020:320280
Duplicable and inductive data types in a programming language for quantum channels
Dong-Ho Lee
abstract : Posters

sciencesconf.org:jnim2020:322368
Faithful handling of concentration- and time-scale separation in logical models of chemical reaction networks
Albin Salazar, Jérôme Feret
abstract : Posters

sciencesconf.org:jnim2020:322500
Hybrid quantum-classical circuit optimization with the ZX-calculus
Agustín Borgna
abstract : Posters

sciencesconf.org:jnim2020:321937
La Catégorie SOP pour l'Informatique Quantique, Extension aux CPM, et Complétudes pour Clifford
Renaud Vilmart
abstract : Posters
Posters
sciencesconf.org:jnim2020:322390
Learning Algebraic Models of Quantum Entanglement
Hamza Jaffali, Luke Oeding
abstract : Posters
Posters
sciencesconf.org:jnim2020:318821
Retrieving short generators of principal ideals in real Kummer extensions
Andrea Lesavourey, Thomas PLANTARD, Willy Susilo
abstract : Posters

sciencesconf.org:jnim2020:322346
Sommets persistants et absents pour les dominants minimums dans les graphes
Valentin Bouquet
abstract : Posters

sciencesconf.org:jnim2020:312797
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Zinovyev
abstract : Posters

sciencesconf.org:jnim2020:321429
Watersheding hierarchies
Deise Santana Maia, Jean Cousty, Laurent Najman, Benjamin Perret
abstract : Posters

sciencesconf.org:jnim2020:320115

Assemblée Générale (1 document )

Intervention comme DAS à l'INS2I (CNRS)
Adeline Nazarenko
abstract : Assemblée Générale
Assemblée Générale
sciencesconf.org:jnim2020:313843
Personnes connectées : 9 Vie privée
Chargement...