Showing 1 - 11 results of 11 for search 'Discrete mathematics' Narrow Search
1
Academic Journal

Contributors: Laboratoire de Mathématiques d'Orsay (LM-Orsay), Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Mécanique des Structures et des Systèmes Couplés (LMSSC), Conservatoire National des Arts et Métiers CNAM (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)

Superior Title: ISSN: 0921-7134.

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1903.12417; hal-02081116; https://hal.science/hal-02081116; https://hal.science/hal-02081116v2/document; https://hal.science/hal-02081116v2/file/Dubois-HAL-14janvier2021.pdf; ARXIV: 1903.12417

2
Academic Journal

Authors: Karhumäki, J. juhani.karhumaki@cs.utu.fi, Mazalov, V. vmazalov@krc.karelia.ru, Matiyasevich, Yu. yumat@pdmi.ras.ru

Superior Title: Fundamenta Informaticae. 2016, Vol. 145 Issue 3, pi-ii. 2p.

Subject Terms: *DISCRETE mathematics

Company/Entity: RUSSIAN Academy of Sciences

PDF Full Text
3
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), Département Imagerie et Simulation pour le Contrôle (DISC), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, ParCo Conferences

Superior Title: International Conference on Parallel Computing ; https://hal.science/hal-01761605 ; International Conference on Parallel Computing, ParCo Conferences, Sep 2017, Bologna, Italy. pp.339 - 348, ⟨10.3233/978-1-61499-843-3-339⟩ ; www.parco.org

Subject Geographic: Bologna, Italy

5
Academic Journal

Contributors: Ecole nationale supérieure Mines-Télécom Lille Douai (IMT Lille Douai), Institut Mines-Télécom Paris (IMT), lincoln institute for agri-food technology, university of lincoln, Integrated Optimization with Complex Structure (INOCS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université libre de Bruxelles (ULB)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), ANR-20-CE10-0001,AGRIFLEETS,Système distribué de guidage d'itinéraire pour la coordination autonome des flottes de robots agricoles(2020)

Superior Title: ISSN: 0921-7126.

Relation: hal-03114309; https://inria.hal.science/hal-03114309

6
Conference

Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), SICS, Swedish Institute of Computer Science Stockholm (SICS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas

Superior Title: 20th European Conference on Artificial Intelligence (ECAI'12)
https://hal.science/hal-00754079
20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. pp.145-150, ⟨10.3233/978-1-61499-098-7-145⟩

Subject Geographic: Montpellier, France

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

7
Conference

Contributors: Laboratoire d'informatique Fondamentale de Marseille (LIF), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Institut für Informationssysteme Wien, Vienna University of Technology (TU Wien)

Superior Title: Computational Models of Argument, COMMA 2012 ; https://hal.science/hal-01194389 ; Computational Models of Argument, COMMA 2012, 2012, Vienne, Austria. pp.237--248

Subject Geographic: Vienne, Austria

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

9
Book

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Graph Visualization and Interactive Exploration (GRAVITE), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Fouille de données environnementales (TATOO), 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), Clive Best, Françoise Fogelman Soulié

Superior Title: Mining Massive Data Sets for Security ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00272781 ; Clive Best, Françoise Fogelman Soulié. Mining Massive Data Sets for Security, IOS Press, pp.204-211, 2008, NATO Advanced Study Institute, 978-1-58603-898-4

10
Book

Contributors: Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), J.P. Gazeau, J. Nesestril and B. Rovan

Superior Title: Physics and Theoretical Computer Science ; https://hal.science/hal-00159717 ; J.P. Gazeau, J. Nesestril and B. Rovan. Physics and Theoretical Computer Science, IOS Press, pp.155-169, 2007

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

11
Electronic Resource

Superior Title: 20th European Conference on Artificial Intelligence (ECAI'12); Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas. 20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, France. IOS Press, 242, pp.145-150, Frontiers in Artificial Intelligence and Applications. <10.3233/978-1-61499-098-7-145>