Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Lirmm Language : abkhazian Language : aragonese Language : dutch Language : english Language : hindi Language : marshallese Language : sign languages Language : swedish

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Computing the fully optimal spanning tree of an ordered bipolar directed graph

Authors : Gioan, Emeric; Las Vergnas, Michel;

Subjects: Bipolar directed graph; Spanning tree; Computational complexity

Source: ISSN: 0012-365X ; Discrete Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04387449 ; Discrete Mathematics, 2024, 347 (5),

Read More Add to Saved list

Academic Journal

Computing the fully optimal spanning tree of an ordered bipolar directed graph

Authors : Gioan, Emeric; Las Vergnas, Michel;

Subjects: Bipolar directed graph; Spanning tree; Computational complexity

Source: ISSN: 0012-365X ; Discrete Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04387449 ; Discrete Mathematics, In press.

Read More Add to Saved list

Academic Journal

FPT algorithms for packing k-safe spanning rooted sub(di)graphs

Authors : Bessy, Stéphane; Hörsch, Florian; Maia, Ana Karolinna ...

Subjects: Digraphs; Packing problems; Arborescences

Source: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990 ; Discrete Applied Mathematics, 2024,

Read More Add to Saved list

Conference

Kernelization for Graph Packing Problems via Rainbow Matching

Authors : Bessy, Stéphane; Bougeret, Marin; Thilikos, Dimitrios M. ...

Subjects: Kernelization; Parameterized algorithms; Rainbow matchingFlorence; ItalyFlorence, Italy

Source: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) ; SODA 2023 - ACM-SIAM Symposium on Discrete Algorithms ; https://hal.science/hal-04042995 ; SODA 2023 - ACM-SIAM

Read More Add to Saved list

Academic Journal

Global solution of Quadratic Problems by Interval Methods and Convex Relaxations

Authors : Elloumi, Sourour; Lambert, Amélie; Neveu, Bertrand ...

Subjects: MINLP Quadratic Programming Interval methods Semi-definite programming Reliable solver Experiments; MINLP; Quadratic Programming

Source: ISSN: 0925-5001.

Read More Add to Saved list

Report

Inkrementelle Algorithmen zur Berechnung der Menge der Periodenmengen ; Incremental algorithms for computing the set of period sets ; Algorithmes incrémentaux pour le calcul de l'ensemble des ensembles de périodes

Authors : Rivals, Eric;

Subjects: Algorithm; Discrete mathematics; Autocorrelation

Source: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04531880 ; 2024.

Read More Add to Saved list

Conference

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes

Authors : Golovach, Petr; Stamoulis, Giannos; Thilikos, Dimitrios M. ...

Subjects: Algorithmic meta-theorems; Model-checking; First-order logicFlorence; ItalyFlorence, Italy

Source: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) ; SODA 2023 - ACM-SIAM Symposium on Discrete Algorithms ; https://hal.science/hal-04043007 ; SODA 2023 - ACM-SIAM

Read More Add to Saved list

Report

Link between the birth-death and the Kingman coalescent - Applications to phylogenetic epidemiology

Authors : Cornuault, Josselin; Pardi, Fabio; Scornavacca, Celine ...

Subjects: Birth-death model; Kingman coalescent; Scaling limits

Source: https://hal.science/hal-04447144 ; 2024.

Read More Add to Saved list

Report

Distances Between Formal Concept Analysis Structures

Authors : Bazin, Alexandre; Kahn, Giacomo;

Subjects: Pattern Mining; Formal Concept Analysis; Concept Lattices

Source: https://hal.science/hal-04475242 ; 2024.

Read More Add to Saved list

Conference

Inequalities for entropies and dimensions

Authors : Shen, Alexander;

Subjects: [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]; [MATH.MATH-MG]Mathematics [math]/Metric Geometry [math.MG]; [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]Batumi; Georgia

Source: Unity of Logic and Computation. CiE 2023. Lecture Notes in Computer Science, vol 13967. ; Unity of Logic and Computation. CiE 2023 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03843708 ; Unity of Logic and

Read More Add to Saved list