Εμφανίζονται 1 - 20 Αποτελέσματα από 95 για την αναζήτηση '"ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics"', χρόνος αναζήτησης: 0,66δλ Περιορισμός αποτελεσμάτων
  1. 1
    Academic Journal

    Συνεισφορές: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut Montpelliérain Alexander Grothendieck (IMAG), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Mathematical Institute of the Serbian Academy of Sciences and Arts (MISANU), Serbian Academy of Sciences and Arts (SASA), Jovana Obradovic was supported by the Science Fund of the Republic of Serbia, Grant No. 7749891, Graphical Languages - GWORDS, ANR-20-CE40-0016,HighAGT,Algèbre, Géométrie, et Topologie Supérieures(2020), ANR-20-CE40-0007,CARPLO,Combinatoire Algébrique, Renormalisation, Probabilités libres et Opérades(2020), ANR-20-CE48-0010,SSS,eSpèces, Syntaxe et Sémantique(2020), ANR-19-CE40-0006,ALCOHOL,Combinatoire algébrique des randonnées sur les réseaux réguliers(2019)

    Πηγή: EISSN: 2589-5486 ; Algebraic Combinatorics ; https://hal.science/hal-03525971 ; Algebraic Combinatorics, 2025, Volume 8 (no. 1), pp. 201-234. ⟨10.5802/alco.401⟩ ; https://alco.centre-mersenne.org/articles/10.5802/alco.401/

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2201.05365; ARXIV: 2201.05365

  2. 2
    Conference

    Συνεισφορές: Méthodes et Algorithmes pour la Bioinformatique (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), Institut de Biologie Computationnelle (IBC), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Université de Montpellier (UM), Centrum voor Wiskunde en Informatica (CWI), Centrum Wiskunde & Informatica (CWI)-Netherlands Organisation for Scientific Research, Netherlands Organisation for Scientific Research (NWO) through Gravitation-grant NETWORKS-024.002.003- European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 956229, ALPACA, European Project: 956229,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions,ALPACA(2021)

    Πηγή: ICALP 2023 - 50th International Colloquium on Automata, Languages, and Programming ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03780386 ; ICALP 2023 - 50th International Colloquium on Automata, Languages, and Programming, Jul 2023, Paderborn, Germany. pp.100:1-100:14, ⟨10.4230/LIPICS.ICALP.2023.100⟩

    Θέμα γεωγραφικό: Germany

    Time: Paderborn, Germany

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2209.08926; info:eu-repo/grantAgreement//956229/EU/ALgorithms for PAngenome Computational Analysis/ALPACA; ARXIV: 2209.08926

  3. 3
    Report

    Συγγραφείς: Rivals, Eric, Wang, Pengfei

    Συνεισφορές: Méthodes et Algorithmes pour la Bioinformatique (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), European Project: 956229,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions,ALPACA(2021)

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2405.09393; info:eu-repo/grantAgreement//956229/EU/ALgorithms for PAngenome Computational Analysis/ALPACA; ARXIV: 2405.09393

  4. 4
    Report

    Συγγραφείς: Alonso, Laurent

    Συνεισφορές: Structurer des formes géométriques (PIXEL), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2303.09338; ARXIV: 2303.09338

  5. 5
    Report

    Συγγραφείς: Alonso, Laurent

    Συνεισφορές: Structurer des formes géométriques (PIXEL), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

  6. 6
    Academic Journal

    Συγγραφείς: Jeandel, Emmanuel, Rao, Michael

    Συνεισφορές: Designing the Future of Computational Models (MOCQUA), Centre Inria de l'Université de Lorraine, 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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modèles de calcul, Complexité, Combinatoire (MC2), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

    Πηγή: ISSN: 2517-5599.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.06492; ARXIV: 1506.06492

  7. 7

    Συγγραφείς: Rivals, Eric, Wang, Pengfei

    Συνεισφορές: Méthodes et Algorithmes pour la Bioinformatique (LIRMM | MAB), 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), European Project: 956229,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions,ALPACA(2021)

  8. 8
    Report

    Συνεισφορές: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbian Academy of Sciences and Arts (SASA)

  9. 9
    Report

    Συνεισφορές: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbian Academy of Sciences and Arts (SASA)

  10. 10
  11. 11
    Conference

    Συνεισφορές: 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), Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Université Paris 13 (UP13)-Institut Galilée-Centre National de la Recherche Scientifique (CNRS), 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), Luca Ferrari and Malvina Vamvakari

    Πηγή: GASCOM 2018 ; https://hal.science/hal-01795882 ; GASCOM 2018, Jun 2018, Athens, Greece. pp.60-68 ; http://gascom2018.hua.gr/

    Θέμα γεωγραφικό: Athens, Greece

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.09017; ARXIV: 1805.09017

  12. 12
    Conference

    Συνεισφορές: Equipe Image - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Faculty of Computer Science, Free University of Bozen-Bolzano (unibz)

    Πηγή: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018 ; https://normandie-univ.hal.science/hal-01865194 ; Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Aug 2018, Pékin, China

    Θέμα γεωγραφικό: Pékin, China

  13. 13
    Academic Journal

    Συγγραφείς: Richomme, Gwenaël

    Συνεισφορές: 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), Université Paul-Valéry - Montpellier 3 (UPVM)

    Πηγή: ISSN: 0129-0541 ; International Journal of Foundations of Computer Science ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01855460 ; International Journal of Foundations of Computer Science, 2019, 30 (1), pp.171-196. ⟨10.1142/S0129054119400082⟩.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1808.02680; ARXIV: 1808.02680

  14. 14
    Report

    Συγγραφείς: Jeandel, Emmanuel, Rao, Michael

    Συνεισφορές: 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Modèles de calcul, Complexité, Combinatoire (MC2), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.06492; hal-01166053; https://hal.inria.fr/hal-01166053; https://hal.inria.fr/hal-01166053v3/document; https://hal.inria.fr/hal-01166053v3/file/1506.06492.pdf; ARXIV: 1506.06492

  15. 15
  16. 16
    Conference

    Συνεισφορές: 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), Laboratoire d'Informatique Gaspard-Monge (LIGM), Université Paris-Est Marne-la-Vallée (UPEM)-École nationale des ponts et chaussées (ENPC)-ESIEE Paris-Fédération de Recherche Bézout (BEZOUT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)

    Πηγή: 28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017)
    https://hal.science/hal-01565941
    28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017), Jul 2017, Varsovie, Poland. pp.21:1-21:12, ⟨10.4230/LIPIcs.CPM.2017.21⟩

    Θέμα γεωγραφικό: Varsovie, Poland

  17. 17
    Conference

    Συνεισφορές: Computer and Automation Research Institute Budapest (MTA SZTAKI )

    Πηγή: LIPICS ; 12th International Symposium on Parameterized and Exact Computation (IPEC 2017) ; https://hal.archives-ouvertes.fr/hal-01994406 ; 12th International Symposium on Parameterized and Exact Computation (IPEC 2017), Sep 2017, Vienne, Austria. pp.7 ; https://algo2017.ac.tuwien.ac.at/ipec/

    Θέμα γεωγραφικό: Vienne, Austria

  18. 18
    Academic Journal

    Συνεισφορές: Cyril Banderier and Philippe Marchal and Michael Wallner, 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), Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Université Paris 13 (UP13)-Institut Galilée-Centre National de la Recherche Scientifique (CNRS), 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)

    Πηγή: arXiv: Discrete Mathematics.

    Θεματικοί όροι: D-finite function, FOS: Computer and information sciences, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics, Discrete Mathematics (cs.DM), [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], generalized Gamma distribution, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.2: Generating functions, hypergeometric function, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], pumping moment, Pólya urn, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], generating functions, analytic combinatorics, FOS: Mathematics, Mathematics - Combinatorics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.1: Counting problems, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Probability (math.PR), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.4: Recurrences and difference equations, [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV], 16. Peace & justice, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], Young tableau, Mittag-Leffler distribution, Combinatorics (math.CO), ddc:004, Mathematics - Probability, Computer Science - Discrete Mathematics

    Περιγραφή αρχείου: application/pdf

  19. 19
    Academic Journal

    Συνεισφορές: Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW), Uniwersytet Warszawski Polska = University of Warsaw Poland = Université de Varsovie Pologne (UW), Algorithmes, Graphes et Combinatoire (ALGCO), 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), Modèles de calcul, Complexité, Combinatoire (MC2), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), This work was partially supported by the Warsaw Center of Mathematics and Computer Science.

    Πηγή: ISSN: 0364-9024.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1409.2733; ARXIV: 1409.2733

  20. 20
    Academic Journal

    Συγγραφείς: Néraud, Jean

    Συνεισφορές: Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)

    Πηγή: ISSN: 0252-9742 ; Bulletin of Association for Theoretical Computer Science (BEATCS) ; https://hal.science/hal-02355621 ; Bulletin of Association for Theoretical Computer Science (BEATCS), 2018.