Tag: Team seminar

Musical juggling: from combinatorial modeling to computer assistance with artistic creation (a thesis in the making)

-- Hoang La (LISN, Galac)

summary: Musical juggling consists of producing music by the very act of juggling. In this context (stemming from a collaboration between computer science researchers at LISN and a juggling artist), we refer more specifically to juggling with balls that each produce a musical note when caught.
The aim of this ...

The χ-binding function of d-directional segment graphs

-- Hoang La (LISN, Galac)

summary: To color a graph properly, one needs at least as many colors as the size of its biggest clique; therefore, the chromatic number χ is lower-bounded by the clique number ω. In general, there are no upper bounds on χ in terms of ω. The graphs for which we ...

Complexité en états : Renverser un langage réduit la complexité de l'opération racine.

-- Alexandre Durand (LITIS, Rouen)

summary: Les automates (DFA) sont des machines à états qui acceptent ou rejettent des mots. L'ensemble des mots reconnus par un automate est son langage. Les langages rationnels coïncident avec les langages reconnaissable par des automates. Ici nous allons nous intéresser à une mesure, à savoir la complexité en ...

Forecasting multivariate time series with attention mechanism and unsupervised learning

-- Philippe Rambaud (LISN, Galac)

summary: In the realm of newborn healthcare, identifying neurological pathologies has traditionally relied on the expertise of medical professionals, who perform visual assessments. However, due to the limited number of such experts available, there is an urgent need to develop a pre-diagnostic tool capable of early detection of abnormal neurological ...

Beyond the fractional Reed bound for triangle-free graphs

-- Tianjiao Dai (LISN, Galac)

summary: The notion of fractional colouring is an important concept in graph theory that is commonly used to extend the notion of graph colouring beyond integer values. It is a relaxation of the traditional chromatic number, allowing for real-valued weights or probabilities associated with each independent set of a graph ...

The Domino problem on rhombus-shaped tiles.

-- Benjamin Hellouin de Menibus (LISN, Galac)

summary: The word tiling is a name for several models: geometrical tilings, where you tile the plane with geometrical shapes like a jigsaw puzzle; and symbolic tilings, where you tile the plane while matching colors on the edges of tiles. You can use both kinds of constraints; a well-known example ...

Quantifiying the robustness of dynamical systems: relating time and space to length and precision

-- Manon Blanc (LISN, Galac)

summary: Reasoning about dynamical systems evolving over the reals is well-known to lead to undecidability. In particular, it is known there cannot be decision procedures for first-order theories over the reals, or decision procedures for state reachability. However, various results in the literature have shown that decision procedures exist when ...

Graph colourings, subcolourings, and beyond

-- Quentin Chuet (LISN, Galac)

summary: The graph colouring problem is central in Graph Theory: it consists in colouring the vertices of a graph such that each colour class induces an independent set, using as few colours as possible. While very difficult to solve exactly, the problem and its worst cases are now understood quite ...

Games on Tilings

-- Rémi Pallen (LISN, Galac)

summary: Given a finite set A of colors and a finite set of target
patterns F, to know if one can tile the infinite grid avoiding
patterns in F is the domino problem. This problem can be seen as a
one-player game, where the goal for the player is to ...

The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture.:00

-- Ugo Gioccanti (G-SCOP (Grenoble))

summary: An infinite graph is quasi-transitive if its automorphism group has finitely many orbits. In this talk, I will present a structure theorem for locally finite quasi-transitive graphs avoiding a minor, which is reminiscent of the Robertson-Seymour Graph Minor Structure Theorem. We prove that every locally finite quasi-transitive graph G ...

« Page 2 / 9 »