-
1دورية أكاديمية
المساهمون: Algorithms and Models for Integrative BIOlogy (AMIBIO), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Universität Wien = University of Vienna, École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, École polytechnique (X)
المصدر: ISSN: 1748-7188 ; Algorithms for Molecular Biology ; https://inria.hal.science/hal-04211173Test ; Algorithms for Molecular Biology, 2024, ⟨10.1186/s13015-024-00258-2⟩.
مصطلحات موضوعية: Bioinformatics Fixed-parameter tractable algorithms Tree decomposition Boltzmann sampling Network phylogeny RNA sequence design RNA alignment Pseudoknots, Bioinformatics, Fixed-parameter tractable algorithms, Tree decomposition, Boltzmann sampling, Network phylogeny, RNA sequence design, RNA alignment, Pseudoknots, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SCCO.COMP]Cognitive science/Computer science
العلاقة: hal-04211173; https://inria.hal.science/hal-04211173Test; https://inria.hal.science/hal-04211173v2/documentTest; https://inria.hal.science/hal-04211173v2/file/s13015-024-00258-2-2.pdfTest
الإتاحة: https://doi.org/10.1186/s13015-024-00258-2Test
https://inria.hal.science/hal-04211173Test
https://inria.hal.science/hal-04211173v2/documentTest
https://inria.hal.science/hal-04211173v2/file/s13015-024-00258-2-2.pdfTest -
2دورية أكاديمية
المساهمون: 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), Optimisation Combinatoire (G-SCOP_OC), Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP), 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), Parallelism, Graphs and Optimization Research Group (ParGO), Universidade Federal do Ceará = Federal University of Ceará (UFC), Universität Ulm - Ulm University Ulm, Allemagne, ANR-20-CE48-0008,ELIT,Un Parcours par les Limites de l'Efficacité(2020)
المصدر: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990Test ; Discrete Applied Mathematics, 2024, 346, pp.80-94. ⟨10.1016/j.dam.2023.11.026⟩.
مصطلحات موضوعية: Digraphs, Packing problems, Arborescences, Branching flows, Safe spanning trees, Parameterized complexity, Fixed-parameter tractability, [INFO]Computer Science [cs], [MATH]Mathematics [math]
العلاقة: lirmm-04352990; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990Test; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990/documentTest; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990/file/Re-re-submission_DAM.pdfTest
الإتاحة: https://doi.org/10.1016/j.dam.2023.11.026Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990/documentTest
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990/file/Re-re-submission_DAM.pdfTest -
3تقرير
المؤلفون: Cohen, Johanne, Manoussakis, Yannis, Sénizergues, Jonas
المساهمون: Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-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)
المصدر: https://hal.science/hal-02157745Test ; 2024.
مصطلحات موضوعية: Graph theory, Fixed Parameter Tractability, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
العلاقة: hal-02157745; https://hal.science/hal-02157745Test; https://hal.science/hal-02157745v2/documentTest; https://hal.science/hal-02157745v2/file/MCMM%20%281%29.pdfTest
-
4تقرير
المؤلفون: Baril, Ambroise, Couceiro, Miguel, Lagerkvist, Victor
المساهمون: Knowledge representation, reasonning (ORPAILLEUR), Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Linköpings universitet
المصدر: https://hal.science/hal-04434071Test ; 2024.
مصطلحات موضوعية: Semiring, Dynamic Programming, Fixed Parameter Tractability, Constraint Satisfaction Problems, Connected Dominating Set, [INFO]Computer Science [cs], [MATH]Mathematics [math]
العلاقة: hal-04434071; https://hal.science/hal-04434071Test; https://hal.science/hal-04434071/documentTest; https://hal.science/hal-04434071/file/Article_Semiring.pdfTest
-
5مؤتمر
المؤلفون: Huszár, Kristóf, Spreer, Jonathan
المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de 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), Centre National de la Recherche Scientifique (CNRS), The University of Sydney, Chambers, Erin W., Gudmundsson, Joachim, ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019), ANR-20-CE48-0007,AlgoKnot,Aspects algorithmiques et combinatoires de la théorie des nœuds(2020), ANR-18-CE40-0032,GrR,Reconfiguration de Graphes(2018), ANR-21-CE48-0014,TWIN-WIDTH,Twin-width: théorie et applications(2021), ANR-10-LABX-0059,CARMIN,Centers of Hosting and International Mathematical Encounters(2010)
المصدر: Leibniz International Proceedings in Informatics (LIPIcs) ; 39th International Symposium on Computational Geometry (SoCG 2023) ; https://hal.science/hal-04055617Test ; 39th International Symposium on Computational Geometry (SoCG 2023), Jun 2023, Dallas, United States. pp.42:1--42:18, ⟨10.4230/LIPIcs.SoCG.2023.42⟩
مصطلحات موضوعية: fixed-parameter tractability, generalized Heegaard splittings, JSJ decompositions, pathwidth, treewidth, triangulations, computational 3-manifold topology, MSC: 57Q15, 57N10, 05C75, 57M15, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
جغرافية الموضوع: Dallas, United States
العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2303.06789; hal-04055617; https://hal.science/hal-04055617Test; https://hal.science/hal-04055617/documentTest; https://hal.science/hal-04055617/file/2303.06789.pdfTest; ARXIV: 2303.06789
الإتاحة: https://doi.org/10.4230/LIPIcs.SoCG.2023.42Test
https://hal.science/hal-04055617Test
https://hal.science/hal-04055617/documentTest
https://hal.science/hal-04055617/file/2303.06789.pdfTest -
6مؤتمر
المساهمون: Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel
المصدر: WALCOM ; https://hal.science/hal-03922884Test ; WALCOM, Mar 2023, Hsinchu, Taiwan
مصطلحات موضوعية: Permutation Pattern Matching, Fixed Parameter Tractability, Parameterized hardness, NP-hardness, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
العلاقة: hal-03922884; https://hal.science/hal-03922884Test; https://hal.science/hal-03922884/documentTest; https://hal.science/hal-03922884/file/Parity_Permutation_Pattern_Matching__cameraready.pdfTest
-
7تقرير
المساهمون: Algorithms and Models for Integrative BIOlogy (AMIBIO), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, École polytechnique (X)
المصدر: https://inria.hal.science/hal-04211173Test ; 2023.
مصطلحات موضوعية: Bioinformatics Fixed-parameter tractable algorithms Tree decomposition Boltzmann sampling Network phylogeny RNA sequence design RNA alignment Pseudoknots, Bioinformatics, Fixed-parameter tractable algorithms, Tree decomposition, Boltzmann sampling, Network phylogeny, RNA sequence design, RNA alignment, Pseudoknots, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SCCO.COMP]Cognitive science/Computer science
العلاقة: hal-04211173; https://inria.hal.science/hal-04211173Test; https://inria.hal.science/hal-04211173/documentTest; https://inria.hal.science/hal-04211173/file/Infrared-2020.pdfTest
-
8دورية أكاديمية
المؤلفون: Keiler, Lucas, Lima, Carlos Vinicius Gomes Costa, Maia, Ana Karolinna, Sampaio, Rudini, Sau, Ignasi
المساهمون: Parallelism, Graphs and Optimization Research Group (ParGO), Universidade Federal do Ceará = Federal University of Ceará (UFC), 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-CE48-0008,ELIT,Un Parcours par les Limites de l'Efficacité(2020)
المصدر: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763Test ; Discrete Applied Mathematics, 2023, 338, pp.199-217. ⟨10.1016/j.dam.2023.06.004⟩.
مصطلحات موضوعية: Target set selection, activation time, complexity dichotomy, fixed-parameter tractability, bounded local treewidth, planar graph, tree, bipartite graph, [INFO]Computer Science [cs], [MATH]Mathematics [math]
العلاقة: lirmm-04140763; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763Test; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763/documentTest; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763/file/DA12658-R1.pdfTest
الإتاحة: https://doi.org/10.1016/j.dam.2023.06.004Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763/documentTest
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04140763/file/DA12658-R1.pdfTest -
9دورية أكاديمية
المؤلفون: van Iersel, Leo, Jones, Mark, Weller, Mathias
المساهمون: Delft Institute of Applied Mathematics (DIAM), Delft University of Technology (TU Delft), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, Institut des sciences informatiques et de leurs interactions - CNRS Sciences informatiques (INS2I-CNRS)
المصدر: ISSN: 1462-7264.
مصطلحات موضوعية: fixed-parameter tractability, treewidth, phylogenetic tree, phylogenetic network, display graph, tree containment, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
العلاقة: hal-04329186; https://hal.science/hal-04329186Test; https://hal.science/hal-04329186/documentTest; https://hal.science/hal-04329186/file/Treewidth_Hybridization_Project.pdfTest
الإتاحة: https://doi.org/10.46298/dmtcs.10116Test
https://hal.science/hal-04329186Test
https://hal.science/hal-04329186/documentTest
https://hal.science/hal-04329186/file/Treewidth_Hybridization_Project.pdfTest -
10مؤتمر
المساهمون: Agents, Apprentissage, Contraintes (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), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388Test ; CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩ ; https://researchr.org/publication/cp-2022Test
مصطلحات موضوعية: Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint propagation, Complexity, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
العلاقة: lirmm-03833388; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388Test; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/documentTest; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/file/LIPIcs-CP-2022-9.pdfTest
الإتاحة: https://doi.org/10.4230/LIPIcs.CP.2022.9Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388Test
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/documentTest
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388/file/LIPIcs-CP-2022-9.pdfTest