Showing 1 - 20 results of 174 for search 'Discrete mathematics' Narrow Search
1
Conference

Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Quantum Computation Structures (QuaCS), 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), Quandela SAS, CentraleSupélec, 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), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022), ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017), ANR-17-CE24-0035,VanQuTe,Validation des technologies quantiques émergentes(2017)

Superior Title: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
https://hal.science/hal-03926757
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩

Subject Geographic: Boston, United States

Time: Boston, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2206.10577; hal-03926757; https://hal.science/hal-03926757; https://hal.science/hal-03926757/document; https://hal.science/hal-03926757/file/2206.10577.pdf; ARXIV: 2206.10577

2
Conference

Contributors: Algorithmes, Graphes et Combinatoire (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016), ANR-17-CE23-0010,ESIGMA,Efficacité et structure pour les applications de la fouille de graphes(2017), ANR-20-CE92-0027,UTMA,Théories Unifiantes dans les Algorithmes Multivarieés(2020)

Superior Title: FOCS 2022 - IEEE 63rd Annual Symposium on Foundations of Computer Science ; https://hal.science/hal-04043027 ; FOCS 2022 - IEEE 63rd Annual Symposium on Foundations of Computer Science, Oct 2022, Denver, United States. pp.1069-1080, ⟨10.1109/FOCS54457.2022.00104⟩

Subject Geographic: Denver, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2207.04923; hal-04043027; https://hal.science/hal-04043027; https://hal.science/hal-04043027/document; https://hal.science/hal-04043027/file/2207.04923.pdf; ARXIV: 2207.04923

3
Conference

Contributors: Entrepôts, Représentation et Ingénierie des Connaissances (ERIC), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon

Superior Title: IEEE International Conference on Data Mining (ICDM 2022) ; https://hal.science/hal-03778896 ; IEEE International Conference on Data Mining (ICDM 2022), 2022, Orlando, United States. pp.1143-1148, ⟨10.1109/ICDM54844.2022.00145⟩

Subject Geographic: Orlando, United States

4
Conference

Contributors: Architecture et Logiciels pour Systèmes Embarqués sur Puce (ALSOC), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), European Organization for Nuclear Research (CERN)

Superior Title: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) ; International Conference on Acoustics, Speech and Signal Processing (ICASSP) ; https://hal.science/hal-03330414 ; International Conference on Acoustics, Speech and Signal Processing (ICASSP), Jun 2021, Toronto, Canada. pp.7903-7907, ⟨10.1109/ICASSP39728.2021.9413653⟩

Subject Geographic: Toronto

Time: Toronto, Canada

5
Conference

Contributors: Circuits Intégrés Numériques et Analogiques (CIAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Architecture et Logiciels pour Systèmes Embarqués sur Puce (ALSOC)

Superior Title: 2021 IEEE International Symposium on Circuits and Systems (ISCAS)
International Symposium on Circuits and Systems (ISCAS)
https://hal.science/hal-03330803
International Symposium on Circuits and Systems (ISCAS), May 2021, Daegu, South Korea. ⟨10.1109/ISCAS51556.2021.9401068⟩

Subject Geographic: Daegu, South Korea

6
Conference

Contributors: EPCC Edinburgh, University of Edinburgh, Fondazione Bruno Kessler Trento, Italy (FBK), Deutsches Zentrum für Luft- und Raumfahrt Braunschweig (DLR), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Kitware SAS, KTH Royal Institute of Technology Stockholm (KTH )

Superior Title: IEEE/ACM HPC for Urgent Decision Making (UrgentHPC) 2021 ; https://hal.science/hal-03720459 ; IEEE/ACM HPC for Urgent Decision Making (UrgentHPC) 2021, Nov 2021, St. Louis, United States. pp.36-44, ⟨10.1109/UrgentHPC54802.2021.00010⟩ ; https://www.urgenthpc.com/2021

Subject Geographic: St. Louis, United States

7
Conference

Contributors: Algorithmes, Graphes et Combinatoire (ALGCO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Department of Informatics Bergen (UiB), University of Bergen (UiB)

Superior Title: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
https://hal.archives-ouvertes.fr/hal-03389854
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470540⟩

Subject Geographic: Rome, Italy

8
Conference

Contributors: GIPSA Pôle Géométrie, Apprentissage, Information et Algorithmes (GIPSA-GAIA), Grenoble Images Parole Signal Automatique (GIPSA-lab), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), IEEE, ANR-16-CE23-0008,GenGP,Inférence rapide pour les Processus Gaussiens dans des Espaces Structurés(2016), ANR-18-CE40-0005,GraVa,Méthodes variationnelles pour les signaux sur graphe(2018), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-15-IDEX-0002,UGA,IDEX UGA(2015), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)

Superior Title: ICASSP 2020 - IEEE International Conference on Acoustics, Speech and Signal Processing ; https://hal.science/hal-02319175 ; ICASSP 2020 - IEEE International Conference on Acoustics, Speech and Signal Processing, IEEE, May 2020, Barcelone (virtual), Spain. ⟨10.1109/ICASSP40776.2020.9054497⟩ ; https://2020.ieeeicassp.org/

Subject Geographic: Spain

Time: Barcelone (virtual), Spain

9
Academic Journal

Contributors: GIPSA Pôle Géométrie, Apprentissage, Information et Algorithmes (GIPSA-GAIA), Grenoble Images Parole Signal Automatique (GIPSA-lab), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), ANR-15-IDEX-0002,UGA,IDEX UGA(2015), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-18-CE40-0005,GraVa,Méthodes variationnelles pour les signaux sur graphe(2018), ANR-16-CE23-0008,GenGP,Inférence rapide pour les Processus Gaussiens dans des Espaces Structurés(2016), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)

Superior Title: ISSN: 2373-776X ; IEEE Transactions on Signal and Information Processing over Networks ; https://hal.science/hal-03012192 ; IEEE Transactions on Signal and Information Processing over Networks, 2021, 7, pp.359-374. ⟨10.1109/TSIPN.2021.3084879⟩ ; https://ieeexplore.ieee.org/abstract/document/9444136.

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2011.10450; hal-03012192; https://hal.science/hal-03012192; https://hal.science/hal-03012192v2/document; https://hal.science/hal-03012192v2/file/paper.pdf; ARXIV: 2011.10450

10
Conference

Contributors: Institut National de L'Energie Solaire (INES), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Mathématiques (LAMA), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Mathématiques et de leurs Interactions - CNRS Mathématiques (INSMI-CNRS), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )

Superior Title: IEEE VIS 2019 ; https://hal.science/hal-02290875 ; IEEE VIS 2019, Oct 2019, Vancouver, Canada. ⟨10.1109/VISUAL.2019.8933568⟩ ; https://ieeexplore.ieee.org/document/8933568

Subject Geographic: Vancouver

Time: Vancouver, Canada

12
Conference

Contributors: Département Communications & Electronique (COMELEC), Télécom ParisTech, Secure and Safe Hardware (SSH), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Secure-IC S.A.S, Institut Mines-Télécom Paris (IMT), Communications Numériques (COMNUM), Laboratoire des signaux et systèmes (L2S), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Superior Title: 2019 IEEE International Symposium on Information Theory (ISIT 2019)
https://telecom-paris.hal.science/hal-02300788
2019 IEEE International Symposium on Information Theory (ISIT 2019), Jul 2019, Paris, France. ⟨10.1109/ISIT.2019.8849763⟩
https://2019.ieee-isit.org/

Subject Geographic: Paris, France

13
Conference

Contributors: École normale supérieure de Lyon (ENS de Lyon), Systèmes complexes, automates et pavages (ESCAPE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: 2019 IEEE International Symposium on Information Theory (ISIT)
ISIT 2019 - IEEE 1st International Symposium on Information Theory
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01990325
ISIT 2019 - IEEE 1st International Symposium on Information Theory, Jul 2019, Paris, France. pp.1377-1381, ⟨10.1109/ISIT.2019.8849309⟩
https://2019.ieee-isit.org/

Subject Geographic: Paris, France

14
Conference

Contributors: Méthodes d'Analyses pour le Traitement d'Images et la Stéréorestitution (MATIS), Laboratoire des Sciences et Technologies de l'Information Géographique (LaSTIG), École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Institut National de l'Information Géographique et Forestière IGN (IGN)-École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Institut National de l'Information Géographique et Forestière IGN (IGN), Geometric Modeling of 3D Environments (TITANE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Superior Title: IGARSS 2019 - IEEE International Geoscience and Remote Sensing Symposium ; https://inria.hal.science/hal-02165557 ; IGARSS 2019 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2019, Yokohama, Japan. ⟨10.1109/IGARSS.2019.8899337⟩

Subject Geographic: Yokohama, Japan

15
Conference

Contributors: Communications Numériques (COMNUM), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Communications & Electronique (COMELEC), Télécom ParisTech, Tel Aviv University (TAU)

Superior Title: 2019 IEEE International Symposium on Information Theory (ISIT 2019)
https://telecom-paris.hal.science/hal-02300787
2019 IEEE International Symposium on Information Theory (ISIT 2019), Jul 2019, Paris, France. ⟨10.1109/ISIT.2019.8849303⟩

Subject Geographic: Paris, France

16
Conference

Contributors: Universitatea "Aurel Vlaicu" din Arad, Threat Analysis and Mitigation for Information Security (TAMIS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), 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)

Superior Title: ICCCC 2018 - 7th International Conference on Computers Communications and Control ; https://hal.inria.fr/hal-02011334 ; ICCCC 2018 - 7th International Conference on Computers Communications and Control, May 2018, Oradea, Romania. pp.215-223, ⟨10.1109/ICCCC.2018.8390461⟩

Subject Geographic: Romania

Time: Oradea, Romania

17
Conference

Contributors: Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC), Université de Reims Champagne-Ardenne (URCA)

Superior Title: 2018 IEEE Fourth VR International Workshop on Collaborative Virtual Environments (3DCVE)
IEEE VR International Workshop on Collaborative Virtual Environments (3DCVE)
https://hal.univ-reims.fr/hal-02977423
IEEE VR International Workshop on Collaborative Virtual Environments (3DCVE), 2018, Reutlingen, Germany. pp.1-4, ⟨10.1109/3DCVE.2018.8637114⟩

Subject Geographic: Reutlingen, Germany

18
Conference
19
Academic Journal
20
Conference

Contributors: Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), School of Mathematics - University of Edinburgh, University of Edinburgh, Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord

Superior Title: 2022 International Joint Conference on Neural Networks (IJCNN)
https://hal.science/hal-03907975
2022 International Joint Conference on Neural Networks (IJCNN), Jul 2022, Padua, Italy. pp.1-8, ⟨10.1109/IJCNN55064.2022.9891912⟩

Subject Geographic: Italy

Time: Padua, Italy

Relation: hal-03907975; https://hal.science/hal-03907975