Aller au menu Aller au contenu Aller à la recherche
  • Français
  • English

Séminaires

jeudi 17/10 à 15h45

Iván Rasskin
(MCF à Aix-/Marseille/ Université, laboratoire LIS, équipe GMOD)

HS04

Polytopal Sphere Packings for Volumetric Subdivisions, Tubular Surfaces, and Lacunary Structures

Abstract:

Polytopal sphere packings are a family of sphere packings that carry a combinatorial structure defined by an edge-scribable polytope. This feature allows us to define a dual structure, analogous to the duality of planar graphs, for the volumetric meshes produced by the skeletons of these packings. In this talk, we will explore how these objects can be used to extend classic subdivision methods for polygon meshes to volumetric meshes, and to model tubular surfaces and lacunary structures in 2D and 3D.

Short bio

 Iván est mathématicien et travaille dans les domaines de la géométrie discrète. Ses intérêts de recherche incluent les empilements de sphères, la théorie des nœuds géométriques, les polytopes, les graphiques, les matroïdes, la théorie algébrique des nombres, la visualisation 3D et l’infographie.
https://sites.google.com/view/ivanrasskin

lundi 1/07 2024 à 11h

Daniel Pinson
(stagiaire dans l’équipe Combinatoire-Réseaux)

G122

Distribution des motifs collex dans les ARN

Résumé:

L’étude des structures secondaires de l’ARN est essentiel pour comprendre le fonctionnement de celle-ci. Nous proposons donc d’étudier les motifs collex (collés aux extrémités) dans les ARN et plus particulièrement leur fréquence d’apparition. Pour cela, nous verrons l’outil de visualisation que a été développé ainsi que ce que celui-ci a permit de mettre en évidence.

Bio:

Étudiant en M2 SIA et actuellement en stage au LIB travaillant sur l’étude des patterns dans l’ARN. Après 5 ans d’étude en informatique, je suis particulièrement intéressé par la recherche alliant l’informatique à la biologie.

jeudi 28/03 2024 à 14h

Eric RIVALS
(Directeur de recherche, LIRMM – CNRS Univ Montpellier)
https://www.lirmm.fr/~rivals/

C201

Incremental algorithms for computing the set of period sets. The dynamics of period set

Overlaps between strings are crucial in many areas of computer science, such as bioinformatics, code design, and stringology. A self overlapping string is characterized by its periods and borders. A period of a string u is the starting position of a suffix of u that is also a prefix u, and such a suffix is called a border. Each word of length, say n>0, has a set of periods, but not all combinations of integers are sets of periods. The question we address is how to compute the set, denoted Gamma(n), of all period sets of strings of length n. Computing the period set for all possible words of length n is clearly prohibitive. The cardinality of Gamma(n) is exponential in n. One dynamic programming algorithm exists for enumerating Gamma(n), but it suffers from an expensive space complexity. After stating some combinatorial properties of period sets, we will present a novel algorithm that computes Gamma(n) from Gamma(n-1), for any length n>1. The period set of a string u is a key information for computing the absence probability of u in random texts. Moreover, computing Gamma(n) is useful for assessing the significance of word statistics, like the number of k-mers shared between two texts, or the number of missing k-mers in one text. Besides applications, investigating Gamma(n) is interesting per se as it unveils combinatorial properties of string overlaps.

lundi 25/03 2024 à 16h

Nicolas Lutz
(post-doctorant à l’université de Sherbrooke (Québec))

salle de réunion du LIB au 2ème étage ESIREM

Champs stochastiques pour la génération de texture et de géométrie

Résumé : La synthèse de textures en temps réel et par l’exemple
est utilisée dans le rendu pour générer de la variété visuelle sur de
larges surfaces texturées. Nous présentons nos travaux les plus récents
en synthèse de textures, qui s’appuient sur le modèle théorique de
l’exploitation de champs stochastiques spécifiques. Nous montrons que ce
modèle théorique permet également de synthétiser les valeurs d’autres
fonctions continues, avec comme premiers résultats nos travaux pour la
synthèse de la géométrie et de l’apparence d’un océan animé en temps réel.

Bio: Je suis post-doctorant à l’université de Sherbrooke (Québec)
avec Guillaume Gilet, en partenariat avec Ubisoft, après avoir été
doctorant et ATER à l’université de Strasbourg avec Basile Sauvage et
Jean-Michel Dischler. Nous avons publié plusieurs travaux à Eurographics
dans la synthèse de textures temps réel et le filtrage, en utilisant des
outils statistiques propres aux champs stochastiques comme par exemple
la cyclostationnarité ou la fonction d’autocovariance.

mercredi 21/02 2024 à 10h15h

Mohamad Janbein
(doctorant au LIB – équipe MG

GA125

Pseudo-Curvature of Fractal Curves for Geometric Control of Roughness

Résumé : Fractal geometry is a valuable formalism for synthesizing and analyzing irregular curves to simulate non-smooth geometry or roughness. Understanding and controlling these geometries remains challenging because of the complexity of their shapes. This study focuses on the curvature of fractal curves defined from an Iterated Function System (a set of contractive operators). We introduce the Differential Characteristic Function (DCF), a new tool for characterizing and analyzing their differential behavior. We associate a family of DCF to the fixed point of each operator. For each dyadic point of the curve, there exist left and right families of DCF inducing left and right ranges of curvatures: the pseudo-curvatures. A set of illustrations shows the influence of these pseudo-curvatures on the geometry of fractal curves. We propose a first approach for applying our results to roughness generation and control.

Bio : Mohamad Janbein est en 4ème année de thèse dans l’équipe modélisation géométrique du LIB. Il est sous la direction de Christian Gentil et la codirection de Céline Roudet.

 mardi 13/02 2024 à 14h

Nathanaël Hassler
(doctorant au LIB – équipe CombiNet)

Salle G122

Grand zigzag knight's paths

Abstract :
In the game of chess, the knight’s moves have a shape of L. We will present enumeration of certain knight’s paths in the plane, called zigzag knight’s paths, under some constraints (ending at ordinate 0, bounded by a horizontal line…). We present our results in form
of generating functions or direct closed-form expressions. We derive asymptotic results, finding approximations for quantities such as the probability that a knight’s path stays in some area of the plane, or for the average ordinate of such a path. Additionally, certain counting sequences that we will encounter already count known objects, we will provide bijections between knight’s paths and those objects.

Bio :
Nathanaël est en 1ère année de thèse au LIB dans l’équipe CombiNet sous la direction de Jean-Luc Baril, Vincent Vajnovszki et Sergey Kirgizov. Nathanaël travaille sur des sujets variés de combinatoire.

 jeudi 08/02 2024 à 13h30

Guillaume Coiffier
(docteur au LORIA à Nancy)

HS01

Algorithmes de Paramétrisation Globale pour Maillages Quadrangulés


Résumé :

Les maillages quadrangulés (quads) sont une structure de données
centrale au domaine du traitement automatique de la géométrie, trouvant
des applications en infographie comme en simulation numérique. Une
approche prometteuse pour générer automatiquement des maillages quads de
grande qualité s’appuie sur le fait qu’ils constituent une déformation
de la grille régulière presque partout, excepté en un petit nombre de
points singuliers. Grâce au calcul d’une paramétrisation, à savoir une
représentation planaire, de la surface à mailler, il est possible d’y
tracer une grille qui, reprojetée sur la surface, formera le maillage
désiré. Pour que des quadrilatères puissent être extraits, cette
paramétrisation se doit d’être « sans couture », c’est-à-dire de respecter
un ensemble de contraintes d’alignement sur son bord et ses découpes.
Ces contraintes sont généralement imposées petit à petit dans un
pipeline d’opérations désormais bien étudié, consistant en un calcul de
champ de repères lisse, définissant les futurs points singuliers du
maillage, une phase d’intégration pour obtenir une paramétrisation aux
coutures sans rotation, suivie d’une phase de quantification déterminant
les degrés de liberté en translation.

Nous nous intéressons à l’amélioration des différentes étapes du
pipeline de génération de maillages quadrangulés. En nous appuyant sur
des notions de géométrie différentielle, nous proposons des formulations
du problème évitant les écueils de l’approche actuelle. Premièrement,
nous abandonnons la résolution de problèmes en nombre entier pour
certaines étapes (connue pour être difficiles à résoudre) pour la
remplacer par la minimisation de fonctions objectif continues (bien que
non convexe). Deuxièmement, nous fusionnons certaines étapes du pipeline
en une seule optimisation déterminant en un seul coup les degrés de
liberté correspondants. Cela permet plus de versatilité et de contrôle
utilisateur sur le maillage quad final, et évite les cas d’échecs
classiques causés par l’approche gloutonne du pipeline actuel. Ces
formulations théoriques du problème de paramétrisation sans couture
s’accompagnent d’implémentations pratiques dans lesquelles nous
démontrons la viabilité de nos approches sur une grande variété de
modèles CAO. Finalement, notre travail est en théorie généralisable au
problème plus difficile du maillage hexaédrique, là où les algorithmes
de paramétrisation actuels sont soit uniquement valables pour les
surfaces, soit échouent à produire des résultats de façon robuste.

Bio :
Guillaume Coiffier est actuellement en post-doctorat à l’Université
Catholique de Louvain, dans le projet ERC X-Mesh mené par Jean-François
Remacle et Nicolas Moës, où il travaille sur le maillage d’interfaces
physiques dans les simulations par éléments finis. Il a effectué sa
thèse de 2020 à 2023 au Loria (Nancy) auprès de Dmitry Sokolov et
Etienne Corman. Elle portait sur le remaillage de triangulations en
quadrangulations basé sur des méthodes de paramétrisation de surfaces.

 jeudi 01/02 2024 à 14h

Riccardo Tommasini
(MCF au LIRIS)

HS01

Seraph: Continuous Queries on Property Graph Streams

Abstract:
In the dynamic landscape of data management, graph models and query
languages have emerged as powerful tools for modeling complex,
real-world processes. Among these, the property graph model and its
corresponding query languages, notably Cypher, have gained significant
traction in both industrial and research spheres. However, the
ever-growing demand for real-time data analysis presents a challenging
gap in these languages: their limited capability to handle streaming
graph data and continuous query evaluation.
Addressing this critical need, our latest work introduces SERAPH, an
innovative language built upon the foundations of Cypher, specifically
designed to support streaming features in property graph query
languages. SERAPH is not just an extension of existing paradigms; it
represents a paradigm shift. We have meticulously developed its
semantics by synergizing stream processing with the robust framework of
property graphs and time-varying relations. A key aspect of SERAPH is
its treatment of time as an integral component of its underlying
semantics, establishing a solid formal basis that is essential for
future practical implementations.
Furthermore, we delve into the syntax of SERAPH, carefully crafting it
to meet the needs of today’s industries. The talk will feature a
comprehensive demonstration of how SERAPH can be effectively utilized in
real-world scenarios, particularly focusing on graph-based continuous
queries that are rapidly becoming vital in various industrial applications.

Bio:

Riccardo Tommasini is a Maître de conférence (Associate Professor) at
INSA Lyon, LIRIS Lab and a Visiting Professor at the University of
Tartu, Estonia. Riccardo holds a Ph.D. from the Department of
Electronics and Information of the Politecnico di Milano. His thesis,
titled *Velocity on the Web*, investigates the velocity aspects that
concern the Web environment. His research interests span Stream
Processing, Knowledge Graphs, Database System Internals, Logics and
Reasoning, and Programming Languages. His Research has been recently
founded by the French National Research Agency ANR. Since 2015, Riccardo
has been attending and speaking at international events both in academia
(ISWC, ESWC, WWW, DEBS, EDBT) and industry (DockerCon, InfluxDays,
LinuxLab, Digit). He also spoke a numerous meetups like the Time Series
Meetup Tallin (200+ attendants), Kafka Meetup Milan (60+ attendants),
and Data Science Seminars Tartu (200+ online attendants).

 jeudi 25/01 2024 à 14h

Nelly Barret
(Doctorante à l’École Polytechnique et Inria Saclay)

GS13

Exploration orientée-utilisateur de données semi-structurées

Résumé:

À travers le monde, la création, l’utilisation et le partage sans
précédent des données contribue à de nouvelles applications et
opportunités économiques. Ces données sont souvent larges, hétérogènes
en schéma comme en modèle, et plus ou moins structurées. Pour y mettre
de l’ordre, le consortium du World Wide Web recommande de partager des
graphes RDF, ce qui a été majoritairement adopté dans l’Open Data
(données ouvertes), mais beaucoup d’autres formats sont utilisés en
pratique. C’est le cas des journalistes qui récoltent des jeux de
données de différents acteurs, qui ne se sont pas coordonnés. Plus
généralement, les utilisateurs et producteurs de données (novices ou
non) qui doivent trouver, utiliser ou partager des jeux de données se
trouvent face à un exercice difficile. Dans cette présentation, nous
proposons de nouvelles méthodes pour (i) produire le schéma d’un jeu de
données semi-structuré, (ii) énumérer un ensemble de chemins
intéressants dans ces données, et (iii) aider au requêtage de ces données.

Bio :

Nelly Barret est doctorante à Inria et l’Institut Polytechnique de Paris
(France). Elle travaille sous la supervision de Ioana Manolescu dans
l’équipe CEDAR. Son travail de thèse a pour but de faciliter
l’exploration et l’utilisation de jeux de donnés semi-structurés pour ds
utilisateurs novices, tels que les journalistes. Plus généralement, ses
centres d’intérêt se situent entre l’intégration de donnés, les données
hétérogènes, le management de données, mais aussi les données
géographiques et cartographiques. Elle a obtenu son Master à
l’Université de Lyon (France) en 2020.

 jeudi 18/01 2024 à 14h

Sylvain Gerbaud
(docteur au XLIM à Poitiers)

GA127

Reconstructions 3D tissulaires basées sur le métabolisme sous-jacent exploré en spectroscopie par résonance magnétique multi-noyaux

Résumé : Dans le domaine médical, une représentation 3D du cortex cérébral est utilisée pour évaluer des volumes tumoraux et détecter des maladies neurodégénératives comme Alzheimer ou la sclérose en plaques. Le besoin de la 3D vise à créer des modèles précis et complexes pour une meilleure visualisation anatomique et pour de la simulation. Les modèles 3D sont généralement basés sur des grilles de voxels en fonction des données provenant de diverses techniques d’imagerie. Cependant, cette représentation présente des limitations pour les calculs géométriques, en raison de la taille des voxels, et ne reflète pas fidèlement l’anatomie réelle du cerveau. Pour obtenir une représentation plus détaillée, des approches de modélisation 3D continue ont été proposées. Les méthodes standards dans ce domaine sont limitées. Elles ne peuvent pas représenter les lésions ni les relations entre les tissus cérébraux. Ces relations sont essentielles pour garantir et valider la cohérence des structures tissulaires dans le modèle 3D. Nous proposons un modèle 3D continu dédié à l’étude du cerveau, qui centralise les données anatomiques et toutes les informations issues du contexte d’application. Nous décrivons une nouvelle méthode de reconstruction pour modéliser les tissus cérébraux, enrichi par des informations de sémantique et topologiques. Ces dernières sont décrites dans notre modèle par les cartes généralisées. Notre méthode utilise un ensemble de contraintes de cohérence définies en 3D, et exploite les connaissances et informations médicales pour guider la reconstruction. Ensuite, nous utilisons notre modèle pour une application de visualisation et de représentation de données acquises par spectroscopie par résonance magnétique. Cela permet notamment d’étudier, au plus proche des données réelles, l’impact des différents tissus reconstruits sur le métabolisme. Enfin, nous expliquons comment ce modèle peut être utilisé pour des applications basées sur des données acquises par tomographie.

Bio : Bonjour à tous et à toutes, je m’appelle Sylvain, j’ai 25 ans et je suis diplômé depuis le 22 novembre 2023 au titre de docteur en informatique graphique. J’ai réalisé mes études à l’Université de Poitiers, où j’ai eu l’opportunité de réaliser des stages en laboratoire qui m’ont donné envie de réaliser une thèse. Pendant ces 3 années de thèse, j’ai travaillé en collaboration avec des médecins (du CHU de Poitiers), et j’ai donc servi d’intermédiaire scientifique entre les spécialistes médicaux et informatiques. Le contact humain et le partage de mes connaissances sont deux choses que j’adore dans la vie de tout les jours, et c’est pour ça que j’ai enseigné pendant ma 2ème et 3ème année (et je continue avec mon ATER !). Sinon, en dehors du travail, je suis adepte du Crossfit et d’Haltérophilie depuis 3 ans.

 jeudi 18/01 2024 à 10h30

Loïc Paulevé
(DR, CNRS, LaBRI)

GA127

Une introduction aux réseaux booléens

Résumé : Les réseaux (d’automates) booléens sont des modèles fondamentaux des systèmes dynamiques, apparentés aux automates cellulaires et aux réseaux de Petri. Leur étude a notamment permis de mettre en avant le lien entre l’architecture d’un réseau et ses propriétés dynamiques, ainsi que l’importance de l’orchestration des mises à jour des états des automates
au cours du temps. Dans cet exposé, je donnerai un aperçu de résultats liés à l’analyse de la dynamique des réseaux booléens depuis différentes perspectives : combinatoire, complexité algorithmique, et modélisation des systèmes biologiques.

Bio : Directeur de recherche CNRS au LaBRI, ces travaux portent sur la modélisation formelle des systèmes biologiques, et en particulier sur le contrôle et la synthèse logique de réseaux booléens à partir de connaissances et données biologiques.

 jeudi 21/12 2023 à 16h

Lynda Sellami (ATER à l’ESIREM)

HS01

A Novel Agent-Based Intrusion Detection System for Wireless Body Area Network

Abstract:
The objective of e-health is to assist patients in improving health care through integrating a wireless body network, communication infrastructure, and hospital network. The patient monitoring system assists. The mobility and dynamism offered by e-health services expose the health system to the risk of attacks and intrusions. However, securing patient information and confidentiality is essential to ensure quality care.Current research on security in e-health focuses on implementing authentication, encryption, and trust-based solutions for implanted and wearable medical devices. These solutions are often computationally expensive and challenging to implement on medical devices with limited resources.This paper proposes a novelintrusion detection system based on agent technology to protect patients’ medical data.The proposed method detects network-level intrusions as well as anomalies in sensor data. Our model was experimented with by simulating a hospital network topology. Our simulation results demonstrate that we can achieve high detection accuracy

Résume :
L’objectif de la cybersanté est d’aider les patients à améliorer leurs soins de santé en intégrant un réseau corporel sans fil, une infrastructure de communication et un réseau hospitalier. Le système de surveillance des patients est utile. La mobilité et le dynamisme offerts par les services de e-santé exposent le système de santé à des risques d’attaques et d’intrusions. Cependant, la sécurisation des informations et de la confidentialité des patients est essentielle pour garantir des soins de qualité. Les recherches actuelles sur la sécurité en matière de santé en ligne se concentrent sur la mise en œuvre de solutions d’authentification, de cryptage et de confiance pour les dispositifs médicaux implantés et portables. Ces solutions sont souvent coûteuses en termes de calcul et difficiles à mettre en œuvre sur des dispositifs médicaux avec des ressources limitées. Ce travail propose un nouveau système de détection d’intrusion basé sur la technologie d’agent pour protéger les données médicales des patients. La méthode proposée détecte les intrusions au niveau du réseau ainsi que les anomalies dans les données des capteurs. Le modèle a été expérimenté en simulant une topologie de réseau hospitalier. Les résultats de simulation démontrent que nous pouvons atteindre une précision de détection élevée.

Bio:
Situation Actuel : Attaché Temporaire d’Enseignement et de Recherche (ATER section 27) à l’Ecole Supérieure d’Ingénieurs en Numérique et Matériaux (ESIREM) de l’Université de Bourgogne; et rattaché au Laboratoire d’Informatique de Bourgogne (LIB). Avec une expérience de plus de quinze ans comme enseignant chercher à l’université de Bejaia sise en Algérie. Rattaché au Laboratoire de Mathématique Appliquées (LMA).
Mes travaux de recherche se portent sur la sécurité de l’informatique omniprésente, de l’informatique objet, du cloud computing et dans le E-health afin de protéger les données médicales des patients contre les abus, ainsi que leurs vies privées.

 jeudi 14/12 2023 à 14h

Elio Hbeich (doctorant au LIB, équipe
SD)

GS13

 jeudi 7/12 2023 à 15h45

Florian Beguet (post-doc au LIB, équipe MG)

HS01

Atelier graphes de Reeb animé par Florian Beguet

Les graphes de Reeb représentent des outils mathématiques puissants qui trouvent leur utilité dans l’exploration de la topologie des espaces, en mettant particulièrement l’accent sur les transformations de structure. Plus spécifiquement, ils offrent une visualisation graphique de l’évolution des composantes connexes d’un espace topologique. Leur champ d’application s’étend à divers domaines tels que la vision par ordinateur, la biologie moléculaire, la reconnaissance de formes, et même la cartographie des données. Ces graphes fournissent une méthode élégante pour extraire des informations cruciales à partir de données multidimensionnelles, facilitant ainsi la détection de motifs, la segmentation d’images, et la compréhension des relations structurelles au sein de systèmes complexes.

Dans le cadre de cet atelier, l’accent sera principalement mis sur l’étude des graphes de Reeb appliqués à des surfaces 3D, bien que leur applicabilité soit plus étendue. Nous vous invitons à vous joindre à nous pour découvrir comment cette approche peut transformer notre manière d’analyser et de comprendre la topologie d’espaces complexes, et si elle peut être appliquée à vos domaines de recherche spécifiques.

 jeudi 7/12 2023 à 14h

Lucie Druoton (post-doc au LIB, équipe MG)

HS01

Ondelettes sur graphe pour la caractérisation de rugosité

Le projet FRACLETTES s’attache à proposer un corpus de base de géométries rugueuses générées par courbes et surfaces fractales autosimilaires et presque partout non dérivables. Pour ce faire, il faut d’abord caractériser la rugosité afin d’extraire des paramètres pertinents en dehors des paramètres de rugosités existants dans l’industrie ne tenant compte que de valeurs statistiques globales (par exemple moyenne , écart-type etc).

L’analyse en ondelettes peut être vue comme une analyse de Fourier plus localisée à la fois en échelle et en espace (ou temps). La décroissance des coefficients en ondelettes permet déjà la détection de singularités sur des signaux 1D ou 2D échantillonnés régulièrement. Lorsque les singularités sont nombreuses comme dans le cas de surfaces rugueuses ou de surfaces fractales, l’analyse spectrale et notamment le spectre de singularités donnent une caractérisation des types de singularités et de leur répartition sur le signal.

Plusieurs algorithmes permettent cette analyse et le calcul de ce spectre, à partir de l’analyse en ondelettes continue ou discrète, dyadique ou non, mais toujours sur des signaux échantillonnés régulièrement. Or les courbes et surfaces du corpus ne sont pas forcément échantillonnées régulièrement notamment lorsqu’elles sont générées par des processus itératifs à partir de points de contrôle quelconques. La généralisation de l’analyse en ondelettes est donc nécessaire pour des signaux non échantillonnées régulièrement. Plusieurs personnes se sont penchées ces dernières années sur l’analyse en ondelettes de graphes. Afin de nous affranchir des problèmes d’échantillonnages réguliers, nous avons proposé d’analyser des courbes et surface rugueuses en tant que graphes à partir de cette méthode. Il faut alors redéfinir les méthodes de détection de singularités et de calcul du spectre de singularités.

 jeudi 30/11 2023 à 14h00

Cheikh-Brahim El Vaigh
(MCF au CIAD)

Amphithéâtre Steinbrunn

Knowledge graphs based data analysis

Résumé :

Knowledge graphs provide a structured and semantically meaningful way to represent and organize information using ontologies. In our research, we employ knowledge graphs to capture the relationships between entities within a specific application domain.

This presentation will introduce a preliminary project that demonstrates how knowledge graphs can enhance data journalism by incorporating basic reasoning into information extraction tasks such as entity linking.

Furthermore, we will explore how knowledge graph embedding can be utilized for automatic graph alignment without requiring prior knowledge.

We will delve into Ontology-based data management (OBDM) and demonstrate how it can be optimized for data querying, enabling efficient knowledge graph querying.

Finally, we will showcase a use case for shape representation and retrieval using ontologies.

Bio :

Cheikh Brahim EL VAIGH is an associate professor at the University of burgundy(France), CIAD Lab. He is also a visiting researcher at the Osaka University Institute for Datability Science since 2019. He received his MASc degree in computer science from the univ-rennes1 University (France) in 2017 and his Ph.D. in January 2021 from the same university. During his Ph.D., he worked on the joint use of knowledge graph and NLP for data-journalism at the INRIA/IRISA lab (Rennes, France). His research is focused on data analysis with join approaches leveraging knowledge graphs such as text and graph, or image and graph learning. He is also working on ontology mediated query answering querying with both RDF and description logics.

 jeudi 16/11 2023 à 14h

Pooran Memari

LIX, Palaiseau – équipe Geomerix

Amphi STEINBRUNN

Point Pattern Synthesis and Applications

Abstract: Using points or small dots to represent any image or 2D shape is the most basic discrete representation that derives from our geometric intuition. Point pattern synthesis refers to the generation of such arrangements of points from exemplars and is motivated by a variety of applications in computer graphics, from discrete texture generation to creative pattern design, through objects placement, scene creation, as well as distribution simplification. Building on recent developments in statistical analysis and synthesis, we present computational tools to learn distributions from exemplars and seamlessly recreate them over larger regions, for instance to populate virtual worlds with varied elements, from rocks to vegetation, either automatically or by painting with interactive brushes. Motivated by the interactive design of discrete textures, we are also targeting quasi real-time methods to efficiently extract statistical properties from an input pattern, and efficiently extend  them while providing the possibility to edit the pattern in a user-friendly manner through intuitive and accessible tools such as image editors. Among the long list of challenging criteria for point pattern synthesis techniques, this talk covers multi-class and multi-attribute distributions handling, anisotropic and structured patterns replication, while presenting a research avenue toward a computational framework for point pattern design for applications such as data visualization and accessibility.

Bio: Pooran Memari est chercheuse CNRS au sein du LIX (Laboratoire d’Informatique de l’Ecole polytechnique) depuis décembre 2016. De 2011 à 2016, elle était affiliée à l’équipe de recherche en Informatique Graphique de Télécom ParisTech. Avant son affectation au CNRS, elle a effectué un postdoc à Caltech, après sa thèse chez Inria Sophia Antipolis en géométrie algorithmique. Elle s’intéresse à la modélisation géométrique et ses applications.

 jeudi 14/09 2023 à 14h

Lucie Druoton
(post-doc au LIB, équipe MG)

R22

Atelier "Ondelettes sur graphe"

Titre : Ondelettes sur graphe

Proposé par : Lucie Druoton + membres du projet ANR FRACLETTES

Contexte : Projet FRACLETTES

Description / problématique :

Pour analyser les géométries des maillages (calculs de courbures, décomposition fréquentielle, simplification de maillage, compression, analyse de rugosité),on peut utiliser des outils d’analyse en ondelettes (analyse de Fourier locale).
Ces outils ont été introduits pour des analyses 1D (signal) puis étendus aux signaux 2D (et nD = comme le produit cartésien de n espace 1D). Les maillages (=notre signal= coordonnées des sommets du maillage), sont des représentations discrètes (échantillonnage) des formes géométriques. Ils ne sont généralement pas des produits cartésiens. Il existe des analyses en ondelettes sur maillage, mais les algos font l’hypothèse d’échantillonnages réguliers ce qui est très rarement le cas. Ainsi la localisation des données n’est pas prise en compte et le voisinage est déterminé par la structure du maillage (1 voisinage) sans tenir compte du fait que le point voisin (de l’autre côté de l’arête) est proche ou loin (géométriquement : facette étirée par exemple) ce qui biaise la notion de fréquence associée à l’analyse.

Pour la discussion :

Avez-vous une expérience sur les ondelettes, ou Fourier, ou autre analyse fréquentielle sur graphes ?

Est-ce qu’il n’y a pas des pb similaires pour la recherche de motifs dans les graphes

(suivant ce que représente le graphe, la topologie du graphe représente-t-elle correctement l’information,

s’il est nécessaire d’ajouter des poids sur les arêtes => comment tenir compte de ces poids) ?

Vous êtes curieux, venez !

 jeudi 07/09 2023 à 14h

Maxime DUPONT et Richard LEESTMANS

G124

Le serveur de rugosités

Résumé : Cette présentation détaille le travail réalisé durant les stages de Maxime DUPONT et Richard LEESTMANS (étudiants de M1 info), dans le cadre du projet de recherche coordonné par Céline Roudet, intitulé FRACLETTES (Modèles FRACtals et analyse en ondeLETTES pour la caractérisation des états de surfaces). Dans ce projet, l’équipe Modélisation Géométrique du LIB part du constat qu’il est souvent difficile, pour un domaine applicatif ou un besoin donné, de savoir précisément quel(s) paramètre(s) de rugosité
relie(nt) la topographie d’une surface aux phénomènes physique qu’elle subit ou qu’on lui applique.

La finalité du stage était de générer des géométries rugueuses de différents types (courbes, surfaces, volumes rugueux) à partir de modèles géométriques de rugosité et de mettre en place un serveur de rugosités pour proposer, sous forme d’interface web, un corpus de surfaces rugueuses. Les géométries rugueuses stockées sur le serveur seront ainsi mises à disposition des chercheurs ou ingénieurs intéressés, pour qu’ils puissent tester les fonctionnalités qui les intéressent sur ces surfaces.

Les deux principaux besoins étaient : la création d’une base de données permettant de stocker et indexer les géométries rugueuses, ainsi que la conception d’une interface Web permettant d’interroger la base. Nous avions donc besoin d’un serveur web pour répondre aux requêtes des utilisateurs et fournir des ressources (dont pages web). Ce serveur permet également d’interroger la base et de retourner les résultats d’une requête.

 jeudi 22/06 2023 à 14h

Ha Nguyen Huang

G101
slides

Ha Nguyen Huang vient visiter le LIB

Résumé : Ha Nguyen Huang vient visiter le LIB du 19 au 23 juin. Il est enseignant-chercheur en Informatique à l’USTH, Université franco-vietnamienne de Hanoï (VN, https://www.consortium-usth.org/usth/). Il viendra présenter son université et les collaborations possibles, ainsi que ses propres projets de recherche. Il co-encadre depuis le début de l’année une thèse avec Romain Raffin sur l’appariement automatique d’objets archéologiques, via du machine learning sur des maillages et des textures. Il a auparavant travaillé sur la reconstruction automatique de scène 3D (routes, ouvrages d’art), fidèles aux règles du génie civil à Marseille (thèse soutenue en 2016).  La présentation et la discussion se feront en Anglais.

 jeudi 15/06 2023 à 13h30

Maëlle Beuret

(doctorante équipe MG du LIB)

HS01

COBAI : un modèle générique à base d'agents centré sur les contextes et les interactions pour la simulation de comportements

Résumé : COBAI (Context-Based Agent Interactions) est un modèle générique de simulation de comportements humains à base d’agents, basé sur un modèle précédemment développé dans l’équipe. Nous en avons conservé les caractéristiques principales : des contextes donnent des comportements aux agents ; les agents peuvent être influencés par plusieurs contextes et choisissent les comportements à adopter en fonction de leurs attributs de personnage. Ce mécanisme permet de contrôler le réalisme à la fois aux niveaux individuel et collectif. COBAI est un modèle plus complet avec une nouvelle architecture permettant l’exécution de plusieurs comportements simultanés issus d’une combinaison de contextes. Nous introduisons dans cette nouvelle version du modèle des notions telles que les ressources, outils, modalités et comportements incomplets et nous définissons des groupes d’agents avec distribution de tâches.

Bio :

 jeudi 8/06 2023 à 14h

François Pitois

(doctorant équipe CombNet du LIB)

HS01

Détection de motif dans les graphes ordonnés

Résumé : Un graphe ordonné est un graphe dans lequel les sommets sont ordonnés de
1 à n. Un motif est un graphe ordonné qui contient deux types d’arêtes :
les arêtes obligatoires et les arêtes interdites. Étant donné un motif,
la question que l’on s’est posée avec Michel Habib, Laurent Feuilloley
et Guillaume Ducoffe est celle de trouver un algorithme rapide qui
détecte si un motif apparait ou non dans un graphe ordonné donné en
entré. Naïvement, si le motif contient k sommets, cela se fait en temps
O(n^k). Cependant, on a pu montrer qu’il existait des classes de motifs
pour lesquels l’exposant ne dépend pas de la taille du motif. De plus,
nous avons introduit un nouveau paramètre p qui permet de décomposer les
motifs, et tel que tout motif de paramètre p puisse être détecté en
temps O(n^(cp)), où c est une constante entre 1 et 2.

Bio : François Pitois est un doctorant en 3ème année de thèse dans l’équipe
CombNet du LIB et dans l’équipe Graphes, Algorithmes et Applications du
LIRIS, sous la direction d’Olivier Togni et la codirection de Hamida
Seba et Mohammed Haddad. Il travaille sur la recherche de motifs et de
régularité dans les graphes.


 jeudi 25/05 2023 à 14h

Boris Bordeaux

(doctorant équipe MG du LIB)

HS04

Automatisation de conception de structures fractales à l'aide du modèle BC-IFS

Résumé : Les structures fractales lacunaires réduisent la quantité de matière, le
poids et améliorent certaines propriétés physiques telles que le
transfert thermique ou l’isolation phonique. La fabrication additive
permet aujourd’hui de construire de telles structures. Le modèle BC-IFS permet de coder la
topologie fractales de ces structures avec un automate représentant la
décomposition cellulaire ainsi que des contraintes définissant les
relations entre les cellules. Cependant, la conception de ces topologies
n’est pas automatique, il faut spécifier les contraintes manuellement.
Dans un premier temps, nous verrons comment automatiser leur conception
en 2D. Dans un second temps, nous nous pencherons sur les empilements
polytopaux de sphères (e.g. empilements d’Apollonius). Ils produisent
des structures fractales automatiquement à partir d’un polytope en
dimension supérieure. Nous montrons qu’il est possible de coder la
topologie des empilements polytopaux de sphères en 2D à l’aide du modèle
BC-IFS. L’automate et les contraintes sont déduits du polytope utilisé
pour l’empilement. Cela permet de bénéficier de la manipulation des
structures qu’offre ce modèle (codage topologique séparé du plongement
géométrique, points de contrôles pour changer la géométrie) ainsi que du
procédé automatique des empilements de sphères.

Bio : Boris Bordeaux est un doctorant en 2ème année de thèse dans l’équipe
Modélisation Géométrique du LIB, dans le cadre du projet ITERATE
(optimisation de conception par structures lacunaires multi-échelles).
Il est sous la direction de Christian Gentil et la codirection de Lionel
Garnier.


 jeudi 11/05 2023 à 14h

Mohamad Janbein (doctorant équipe MG du LIB)

HS01

Second Derivative and Curvature of Fractal Curves

Résumé : The theoretical objective of our work is to propose a geometric characterization of surface roughness from fractal models for 3D objects. This characterization will generate groups of geometric models (made up of curves and surfaces) of different kinds of roughness. These models are dedicated to researchers and engineers in their search for the rough surface performing optimally in numerical simulations or to evaluate the impact of roughness on the physical properties of an object. We produce roughness by fractals so that it will have self-similar geometric properties and we generate fractals using BC-IFS in order to control roughness. So our hypothesis is to study the different levels of differentiability C0, C1, C2, … in order to give this characterization. We showed in the past that the behavior of a fractal curve can be controlled by its differential components (right and left derivatives for controlling C1 differentiability). In this work, we study the behavior of the second derivative in order to see if we can also use it as a way to control a fractal curve. Using a « differential characteristic function » we show that for some particular cases, a fractal curve has a range of curvature.

Bio : Mohamad Janbein est en 3ème année de thèse dans l’équipe modélisation géométrique du LIB. Il est sous la direction de Christian Gentil et la codirection de Céline Roudet.


 jeudi 9/03 2023 à 15h30

Célia Biane

HS02

Réseaux biologiques : des réseaux Booléens en oncologie de précision calculatoire aux neurosciences expérimentales.

Résumé : Les modèles dynamiques Booléens de réseaux de signalisation et de transcription ont été utilisés ces dernières années pour modéliser les cellules tumorales et prédire des cibles thérapeutiques dans le Cancer. Des limitations majeures de l’application plus généralisée de ce type d’approche incluent d’une part, l’étape de construction des modèles qui est actuellement faite par des experts de la biologie moléculaire du cancer à partir de curation manuelle de la littérature, ce qui en fait un processus long, dépendant du modélisateur et difficilement reproductible et d’autre part, le développement de méthodes algorithmiques performantes permettant de réaliser des prédictions à partir des modèles. Au cours de ce séminaire, j’aborderai successivement la reconstruction de modèles biologiques Booléens à partir de données biologiques de type omiques (données moléculaires), de méthodes de reprogrammation du comportement dynamique des systèmes Booléens et de l’application de ces méthodes à la découverte de cibles thérapeutiques dans le cancer.
Dans une seconde partie, j’introduirai des concepts issus des neurosciences et présenterai des résultats publiés récemment portant sur les propriétés intégratives des neurones cérébelleux.

Bio : Célia a été chercheuse chez OPM (Oncodesign Precision Medicine – Dijon), lab. science des données et  Intelligence Artificielle entre cot. 2020 et oct. 2022. Avant cela elle était en post-doc. à l’Inria Rennes Bretagne Atlantique pendant 16 mois, et a travaillé sur le raisonnement sur des réseaux booléens pour identifier des signatures complexes de pathologies.
Sa thèse portait sur la reprogrammation comportementale : modèles, algorithmes et application aux maladies complexes, réalisée à l’Univ. Évry Val d’Essonne, Univ. Paris-Saclay – Laboratoire d’Informatique, Biologie Intégrative et Systèmes Complexes (IBISC).


 jeudi 2/03 2023 à 14h

Alexandros Singh (ATER à l’université de Sorbonne Paris Nord)

C302

La combinatoire du lambda-calcul et des cartes : bijections et propriétés limites

Cet exposé concerne la combinatoire des cartes et leur interaction avec
le lambda calcul linéaire. En utilisant une combinaison de nouvelles
techniques bijectives et analytiques, nous explorerons la structure de
grandes cartes cubiques aléatoires et de lambda-termes linéaires, en
nous concentrant sur l'étude de diverses statistiques sur de tels
objets, en particulier celles liées à la présence de divers motifs et
leur connexion avec la dynamique de la bêta-réduction sur les termes
linéaires.

Bio : Je suis attaché temporaire d’enseignement et de recherche (ATER) à
l’université de Sorbonne Paris Nord, depuis septembre 2022. J’ai
effectué une thèse en informatique, sur la combinatoire des cartes
(plongements cellulaires des graphe sur des surfaces) et ses
interactions avec le lambda-calcul linéaire (objet étudié en logique et
en théorie de la preuve). Je me suis concentré sur le cas planaire et le
cas de genre arbitraire, dérivant des résultats à la fois bijectifs et
analytiques/probabilistes, y compris des lois limites pour divers
paramètres combinatoires définis sur les cartes cubiques enracinées, les
lambda-termes linéaires, et d’autres familles d’objets connexes.


 jeudi 23/02 2023 à 15h30

Khaydar NURLIGAREEV (ATER au LIPN, Université Sorbonne Paris Nord)

C201

Irreducibility of combinatorial objects: asymptotic probability and interpretation

Résumé : Various combinatorial structures admit, in a broad sense,
   a notion of irreducibility: graphs can be connected, permutations
   can be indecomposable, polynomials can be irreducible, etc. We are
   interested in the probability that any such labeled object picked
   randomly is irreducible, as its size tends to infinity. In this
   talk, for certain classes, we obtain the asymptotics for this
   probability in a common manner. We show that the coefficients
   appearing in those asymptotics are integers and can be interpreted
   as the counting sequences of other “derivative”
   structures. Moreover, we obtain asymptotic probabilities that a
   random combinatorial object has a given number of irreducible
   components. Applications include connected graphs, indecomposable
   permutations, irreducible tournaments, connected square-tiled
   surfaces, indecomposable perfect matchings, combinatorial maps,
   etc. Also, using species theory, we treat the Erd ̋os–R ́enyi G(n, p)
   model.  This is a joint work with Thierry Monteil.

Bio : Khaydar Nurligareev is a research and teaching assistant (ATER) at
   the LIPN, University Sorbonne Paris Nord, where he received a PhD
   degree on October 2022. The main research of Khaydar is focused on
   enumerative and analytic combinatorics, but his research interests
   include other domains like probability theory, lattice models and
   tilings as well.
   
   Webpage:  https://lipn.univ-paris13.fr/∼nurligareev/


 jeudi 9/02 2023 à 15h30

Slim KAMMOUN (postdoc à l’Institut de mathématiques de Toulouse)

HS01

Motifs consécutifs, moments, et processus ponctuels.

Résumé : Il est bien connu que le nombre de permutations de taille
   N avec des positions de descentes fixées peut s'écrire sous la
   forme d'un joli déterminant.  Dans une collaboration en cours
   avec Natasha Blitvić, Einar Steingrímsson, on veut faire la même
   combinatoire, mais en remplaçant les descentes par un motif
   consécutif.  On rappelle qu'un motif consécutif est juste l'ordre
   relatif de l'image de k entiers consécutifs.  Pour des positions
   d'apparitions periodiques, on conjecture qu'on obtient toujours les
   moments d'une loi de probabilité et on montre que certains de ces
   motifs font apparaitre les moments des lois classiques venant des
   probabilités libres (la loi semi-circulaire, les lois de Bessel
   libres etc.).

Bio : Slim est un chercheur-postdoctorant au sein de l'IMT à
   Toulouse.  Il a obtenu son doctorat en mathématiques en 2020 à
   l’Université de Lille.  Il a ensuite effectué un postdoc à
   l'université de Lancaster.  Slim travaille sur des questions liées
   aux motifs de permutations. Il s'intéresse également aux phénomènes
   d'universalité pour les permutations et les partitions aléatoires.
   
   Site-web de Slim : https://www.math.univ-toulouse.fr/~mkammoun/Accueil.html


 jeudi 9/02 2023 à 10h30

Maidoun Mortada (enseignante à l’Université Libanaise de Beyrouth et chercheuse au laboratoire Kalma)

GS06

Paths in digraphs and Maximal forest

Résumé : In 2015, El Sahili conjectured that for n ≥ 8, every oriented path of order n is contained in any n-chromatic digraph. After the cases of oriented paths with one and two blocks were solved, the case of three blocks is still open. We treat El Sahili conjecture for paths with three blocks and four blocks by studying the chromatic number that guarantees its existence in the digraph and sometimes by imposing conditions on the structure of the digraph to contain such a path. In our treatment, the tool of maximal forest proved that it is effective and made the problem more flexible. For this reason, light will be shed on this tool showing how it solves the problem by introducing a clear example.

Bio : Maidoun Mortada est enseignante à l’Université Libanaise de Beyrouth et chercheuse au laboratoire Kalma. Elle est en visite au LIB du 5/2 au 19/2.


 jeudi 26/01 2023 à 15h15

Florian Beguet (post-doc au LIB, équipe MG)

G124

Intérêt des graphes de Reeb d'indice de forme pour l'extraction de caractéristiques géométrique sur des surfaces topologiquement complexes

Résumé : Ce séminaire porte sur la construction et l’utilisation d’un outil de description topologique appelé graphe de Reeb pour des maillages surfaciques. Dans un premier temps, j’aborderai les différentes notions basiques à propos des graphes de Reeb et de leur construction. Puis, je présenterai différents travaux qui exploitent les propriétés de graphes de Reeb, construits à partir d’une fonction de courbure appelée (shape index). Cette construction permet d’obtenir une description de la topologie des surfaces tout en conservant les informations géométriques. Enfin, je terminerai la présentation par une proposition d’utilisation du graphe de Reeb pour la caractérisation de modèles archéologiques dans le cadre de mon projet post-doctoral au sein du LIB.

Bio : Florian Beguet est chercheur dans le domaine de l’infographie et de l’imagerie médicale. Il a obtenu un doctorat franco-canadien en 2022, qu’il a réalisé dans le cadre d’un programme conjoint entre l’Université d’Aix-Marseille et l’École de Technologie Supérieure de Montréal. Ses recherches ont porté sur la modélisation des structures de l’oreille moyenne et interne, ainsi que sur l’étude des malformations des canaux semi-circulaires dans le cadre de recherches sur la scoliose idiopathique de l’adolescent. Après avoir terminé son doctorat, il a passé deux ans en tant qu’ ATER (professeur assistant) à l’Université d’Aix-Marseille, où il a poursuivi ses recherches sur la description de formes en 3D, y compris le développement d’une application pour l’extraction de cratères à partir de modèles 3D d’astéroïdes. Il est actuellement dans sa première année de recherche postdoctorale à l’Université de Bourgogne, où il travaille sur la caractérisation de modèles archéologiques en collaboration avec le Professeur Romain Raffin.


 jeudi 15/12 2022 à 15h45

Guillaume Gilet (professor at the University of sherbrooke, CA)

G124

Contribution à la génération stochastique d'apparences procédurales

Résumé : Alors qu’existe une demande croissante pour des mondes virtuels visuellement riches et d’une taille tendant vers l’infini, la majeure partie du secteur industriel (notamment vidéo-ludique) repose essentiellement sur la création manuelle, par des infographistes, d’objets tridimensionnels à l’apparence complexe et détaillée. Cela impose de fait une limite sur la taille, la complexité et la richesse visuelle des mondes virtuels qu’il est possible d’observer, car chaque élément d’une scène a été conçu et placé « manuellement », ce qui engendre de nombreux problèmes, tels que le coût (financier et en main d’œuvre), le stockage et transfert de ces informations de grande taille, l’augmentation de la puissance de calcul requise pour manipuler ces scènes…Une alternative naturelle consiste alors à générer des objets virtuels et leurs apparences de manière procédurale, c’est-à-dire de manière automatique à l’aide de définitions et règles reposant sur des outils mathématiques et physiques. Nous nous focaliserons dans cet exposé sur la génération procédurale de l’apparence des objets virtuels, dont la difficulté majeure reste le choix des modèles et paramètres à utiliser : Quels modèles possèdent les « bonnes » propriétés ? Quels sont les paramètres et modèles suffisamment intuitifs pour offrir à la fois un contrôle facile sur le résultat final et une grande qualité visuelle ?

Les surfaces visuellement riches exhibent une apparence complexe et variée, résultant, dans le monde réel, d’un ensemble de phénomènes physiques, chimiques, biologiques et d’interactions humaines. Alors que la modélisation et la simulation directe de ces phénomènes ne sont pas envisageables (dans le cadre temps-réel), l’utilisation de l’aléatoire dans les définitions procédurales permet d’accroître la variété des apparences générées. Toutefois, le contrôle de cet aléatoire est un problème difficile : où introduire l’aléatoire ? Qu’est ce qui doit être aléatoire ? Comment s’assurer de la qualité du résultat ? Nous présenterons dans cet exposé un ensemble de travaux et réflexions sur la pertinence de ce modèle aléatoire et tenterons d’apporter des éléments de réponses à la génération procédurale d’apparences complexes en temps réel.

Bio : Guillaume Gilet is a professor at the University of sherbrooke, CA. He received a PhD degree from the university of Strasbourg, France in 2009 and worked at the University of Limoges as assistant professor before joining the University of Sherbrooke in 2021 as professor. His research interest includes procedural texturing, real-time rendering, weathering and natural phenomenon.

PDF


 jeudi 8/12 2022 à 14h

Hiba Abou Jamra (doctorante au LIB, équipe SD)

HS01 (aile H)

Détection et interprétation des signaux faibles dans les réseaux sociaux numériques

Résumé : Les réseaux sociaux numériques sont devenus des outils importants en raison de leur capacité à transmettre l’information plus rapidement que les médias traditionnels, dans différents domaines tels que la politique, le marketing, l’alimentation et la santé, etc. Les organisations actuelles gérant des environnements complexes utilisent les réseaux sociaux comme un canal de communication afin de pouvoir interagir avec leurs clients et répondre aux besoins du marché. Dans ces environnements, la détection des signaux faibles permet d’anticiper les discontinuités, de répondre aux menaces ou de saisir des opportunités.

Dans cette thèse, nous proposons une nouvelle approche qui s’appuie sur la topologie d’un réseau social, pour la détection des signaux faibles. Nous avons choisi les graphlets (Prvzulj et al. 2004) pour mesurer des propriétés quantifiables caractéristiques du signal faible. En effet, les graphlets répondent à ces caractéristiques : ce sont de petits patterns (fragments d’un graphe), qui pris seuls sont peu visibles et de faible utilité apparente. Afin d’aider les experts métier dans leur prise de décision, nous proposons aussi des éléments contextuels d’interprétation des signaux faibles détectés.

Bio : Hiba Abou Jamra est en 4ème année de thèse dans l’équipe Sciences des données du LIB, dans le cadre du projet Isite-Cocktail. Elle est sous la direction de Marinette Savonnet et la codirection d’Eric Leclercq.

PDF


 jeudi 1/12 2022 à 13h30

Manon Ansart (MCF au LEAD)

HS01 (aile H)

« Data driven decision support systems for the early detection of subjects at risk to develop Alzheimer's disease »

Abstract: Alzheimer’s disease is a progressive disease, with subtle signs appearing several years before the first clinical symptoms. Identifying subjects who show these signs, and who are likely to develop the disease in the coming years, is a crucial point that could allow researchers to better study the disease mechanism, select patients for clinical trials and tailor patient care. In this talk I will present several data driven methods aiming at identifying at risk patients, operating in various settings and targeting different use cases.

Bio : Manon Ansart est actuellement Maître de conférences au LEAD. Elle a effectué son doctorat à Aramis (UMR Inria, CNRS, Inserm et Sorbonnes Université), sous la direction de Stanley Durrleman. Elle a ensuite effectué un post-doctorat au LIO (ETS Montréal). Elle se spécialise en machine learning, et aime particulièrement travailler sur des applications médicales.
Site web : https://www.manon-ansart.fr/

PDF


 jeudi 24 novembre 2022 à 14h30

Laurence Dujourdy (ingénieure de recherche – AGROSUP Dijon)

HS01

Réflexions autour du profilage physico-chimique des stupéfiants. Ouverture aux domaines de l’agronomie et de l’agroalimentaire.

Résumé : Il s’agit de la présentation en vue de l’obtention de l’Habilitation à Diriger des Recherches.
Elle a pour objectif de fournir un panorama de ma recherche, d’abord dans le contexte particulier d’un laboratoire de police scientifique, puis dans une école d’ingénieur. Au-delà de la mise en œuvre de méthodes analytiques et statistiques, il est proposé toute une méthodologie pour exploiter au mieux et fiabiliser des données d’analyses.
Bio : Après un doctorat de physique des matériaux polymères, je me suis consacrée à l’analyse des réseaux de distribution des drogues, d’un point de vue physico-chimique pendant plus de 15 ans, d’abord à l’Université de Lausanne puis au sein de la police scientifique française. Je suis actuellement en détachement au sein de l’Institut Agro Dijon en tant qu’ingénieur de recherche en science de données et statistiques.


 jeudi 24 novembre 2022 à 13h30

Rémi
Maréchal
(thèse
au LIB, équipe Com
bNet)

HS01

Introduction to Dyck paths with air pockets and connections with other combinatorial objects

Abstract: We shall take a look at a new type of lattice paths, called « Dyck paths with air pockets ». After getting acquainted with them, we shall see how they are related to all sorts of combinatorial objects, such as other, classical lattice paths or certain integer compositions.

Bio : Rémi Maréchal est en thèse au LIB, équipe CombNet sous la direction de Jean-Luc Baril, Vincent Vajnovszki, et la codirection de Sergey Kirgizov. Son travail porte sur des questions combinatoires concernant certains chemins sur réseau (énumération, bijections avec des classes de chemins connues, évitement/distribution/popularité de motifs, …).

PDF


 jeudi 17 novembre 2022 à 15h45

Clément Poull (thèse
au LIB, équipe MG
)

G124

La rugosité des surfaces et ses applications (répétition avant présentation aux jFIG le 24 nov. à Bordeaux)

Résumé : cet état de l’art couvre les applications liées à la notion de rugosité des surfaces, qui est essentielle pour le projet ANR Fraclettes dans lequel une partie des membres de l’équipe MG du LIB est impliquée, dont Clément Poull.
Ce travail ne prétend pas être exhaustif. Nous nous sommes attachés à référencer les travaux dans les domaines qui nous ont paru les plus pertinents. Le monde industriel s’intéresse depuis longtemps à caractériser et à contrôler la rugosité pour la conception, la fabrication et le contrôle qualité. En informatique graphique, la rugosité est modélisée pour produire des géométries de surfaces ou pour simuler son impact sur la lumière lors du processus de rendu.

Bio : Clément Poull est en 2ème année de thèse dans l’équipe MG du LIB, dans le cadre du projet ANR Fraclettes. Il a obtenu le master de Sciences, Technologies, Santé – Mention Informatique Parcours type COMPUTER SCIENCE FOR AEROSPACE, de l’Université Toulouse III – Paul Sabatier, en 2021.

PDF


jeudi 13 octobre 2022 à 14h

Mehdi Naima (post-doc au LIP6 – Sorbonne Université)

HS01 (aile H Mirande)

Extending Brandes algorithm to improve betweenness centrality computation in temporal graphs

Abstract: Betweenness centrality has been a long subject of study in network science since it was introduced by Freeman in 1977. This centrality measure asses the importance of nodes in a graph, it has been used for example in social, biological and research collaboration networks. Moreover, betweenness centralit has been used in graph partitioning and community detection in the well-known Girvan-Newan algorithm.
A simple approach to compute betweenness centrality for all the nodes of a static graph is to use Floyd-Warshall algorithm that runs in O(n^3). Brandes in 2001 published an algorithm that runs in O(nm + n^2 log n ) on weighted graphs,  it is still considered one of the best theoretical results on the question.
Betweenness centrality has also been extended to temporal graphs. Temporal graphs have edges that bear labels according to the time of the interactions between the nodes. Betweenness centrality has been extended to the temporal graph settings, and the notion of paths has been extended to temporal paths. Recent results by Buss et al. and Rymar et al. extended Brandes algorithm to the temporal setting with a general algorithm running in O(n^2mT^2), where T is the number of time units. Their results rise 2 questions, one is about the nature of temporal paths and the other considering the extension of Brandes algorithm to the temporal setting. In the seminar we will discuss these issues and address them. We will see that we are able to deploy Brandes algorithm to its full extent and improve the running time of these recent results to O(nmT + n^2Tlog(nT)). We will also discuss how Brandes algorithm can also be generalized to stream graphs which are dynamic graphs with possible continuous time.

Bio: Since September 2021 I started a postdoc position at Sorbonne Université in the ComplexNetworks team. I am mostly working on graph metrics and graph random generation. My main subjects of interest are graph theory, dynamic graphs, combinatorics, random generation, analysis of algorithms and evolution processes than can model data structures and phylogenetic trees.
During my PhD I mostly worked around the enumeration, asymptotics and properties of increasing trees with label repetitions and finding connections with classical combinatorial objects. I also worked on the average tree compaction of some classes of increasing trees.

PDF


jeudi 6 octobre 2022 à 13h30

Mohammed Lalou (MCF au LIB, équipe SD)

HS01 (aile H Mirande)

Key player identification in network (based on connectivity) and its applications

Abstract : Many systems, consisting of a set of entities interacting with each other, are well modeled using graphs. Indeed, graph-based modeling is a powerful tool to represent and study relationships among the system entities. It becomes more and more exploited to analyze and understand the system behavior, as well as to design suitable approaches for dealing with related issues, such as diffusion control in complexes networks, community structure in social networks, etc.

In such a network, not all entities have the same importance, and some are more important than others, known in the literature as the most influential, most vital, most k-mediator elements or also the key and critical players. The issue of finding these key players has been extensively addressed in the literature because most phenomena are usually based on these entities in the way they occur and operate. Several measures have been introduced to distinguish the key players, and the most important are those based on structural properties of the network (more specifically on the network connectivity). This is the case, for example, of the players whose removal disrupts the network, which are considered as critical since almost all network applications are usually designed to be run in a connected environment.

In this talk, I will review some important variants of the problem of identifying key players considered in the recent literature, and discuss their possible contributions to deal with different issues and problems studied in networks.

Bio : Mohammed a eu son magister en 2009 à l’université de Béjaïa (en Algérie). Il a ensuite préparé une thèse de doctorat en collaboration entre l’université de Béjaïa et l’université Lyon1, sous la direction du professeur Kheddouci Hamamache. Il a ensuite rejoint le laboratoire LIRIS en 2013 pour 2 ans dans le cadre de sa thèse (la moitié de la période de thèse, et l’autre moitié était à l’université de Béjaïa selon la convention). Il a soutenu son doctorat en 2017 puis a obtenur un poste de maître de conférences au centre universitaire de Mila (en Algérie). Il a rejoint le LIRIS à nouveau en 2021 pour travailler cette fois-ci sur un projet de recherche en qualité de post-doctorant (CDD). Depuis septembre 2022, il est maître de conférences à l’université de Bourgogne.


mardi 5 juillet 2022 à 14h

Hermine Chatoux (MCF à ImVia)

HS01 (aile H Mirande)

Création de fractales pour la mesure de la perception humaine

Hermine Chatoux est MCF à ImVia depuis 2020, équipe CORES. Elle a soutenu sa thèse en 2019 au XLIM à Poitiers. Ses domaines de recherche sont l’imagerie multivaluée pour l’analyse de l’apparence. Plus particulièrement, l’étude métrologique de la couleur et la texture dans le contexte de l’imagerie. 

Abstract : To study the human perception of texture, the fractional Brownian movement can be used to generate color texture images (a controlled variation in the spatio-chromatic space). Indeed, fractal textures are not directly related to a semantic subject and therefore will allow to measure “eye
sensation” and not “brain analysis”. Our focus of interest is the physical and perceptual constraints to generate such a mathematical object. The fBm strong hypothesis is the continuity of the space. When applying the concept to color images, a quantification is realized both in the spatial and the chromatic space.

PDF


mardi 21 juin 2022 à 14h

Elio Hbeich, doctorant au LIB (équipe SDD)

HS01 (aile H Mirande)

Vérificateur réglementaire sémantique et multi-échelle

Elio Hbeich est doctorant au LIB (équipe SDD) sous la direction d’Ana Roxin.

Résumé :

« Le contrôle des maquettes bâtiments (BIM) a commencé par le vérificateur MvdXML (Fahad et al., 2018; Moult & Krijnen, 2020; Weise et al., 2015). Cependant, ce dernier avait plusieurs limitations comme l’absence d’analyses géométriques et de mécanisme de raisonnement. Afin de les surmonter, les travaux du CSTB publiés par (Bus, Fahad, et al., 2018) proposent une approche basée sur les technologies du Web sémantique pour la vérification les modèles BIM vis-à-vis des règles d’incendies. Cette approche prend en compte que des données mono-sources (celles du bâtiment) et ne traite que les règles de construction interne du bâtiment. 
 
De plus, les travaux réalisés par le CSTB (Bouzidi et al., 2012; Emani, 2016) se focalisent sur les règles qui vérifient une condition (propriété). Une propriété peut être une relation entre deux éléments, ou une caractéristique d’un élément. Par exemple, le regard doit être placé à la limite du domaine privé, la hauteur du bâtiment ne doit pas dépasser 55m. Une règle complexe est une règle qui vérifie plusieurs propriétés en même temps. L’analyse des règles urbaines montre que les règles sont textuelles, ambigues, complexes, multi-échelles et ont besoin d’un grand nombre de données hétérogènes isolées.
 
Mes travaux se focalisent sur l’extension de cette vérification de l’échelle bâtiment à l’échelle urbaine, dans un champ d’application concernant le système d’alimentation. Dans ce contexte ma thèse vise à spécifier une ontologie intégrant les connaissances des experts métiers (traduction des règles en langage logique) et les données hétérogènes (BIM et SIG). Cette ontologie sera utilisée pour vérifier les règles sur plusieurs niveaux de vérification (département, ville, quartier et bâtiment). »


jeudi 9 juin 2022 à 14h

Eric Guérin (MCF HDR au LIRIS – INSA Lyon)

HS01 (aile H Mirande)

Création, synthèse et édition de terrains numériques (mondes virtuels)

Résumé : Les méthodes pour créer, synthétiser, éditer des terrains numériques existent depuis plusieurs décennies. Pour autant, on ne peut pas dire que le problème soit réglé tant il est complexe. Les terrains naturels sont le résultat des processus multiples qui opèrent à des échelles différentes. Dans cet exposé, je présenterai trois méthodes originales qui tentent d’apporter une pierre à l’édifice : une qui utilise de l’apprentissage profond, une autre qui utilise la modélisation parcimonieuse, et une dernière qui propose une modélisation par gradient.

Bio : Eric Guérin est maître de conférence au département informatique de l’INSA Lyon et au laboratoire LIRIS. Il a obtenu son doctorat à l’Université Claude Bernard Lyon 1 en 2002, et son HDR en 2017. Ses thématiques de recherche sont liées aux mondes virtuels au sens large : terrains numériques, végétation, atmosphère, rivières, etc. Les méthodes utilisées sont très variées, allant de la simulation d’érosion à la modélisation procédurale, en passant par du machine learning.

PDF


jeudi 12 mai 2022 à 14h

Julien RITON (administratif au sein du rectorat de Dijon – titulaire d’un doctorat)


HS01 (aile H Mirande)

Méthode de décomposition de domaine pour les problèmes de contact

Résumé : Les méthodes de décomposition de domaines est la formalisation d’un concept naturel: répartir les tâches de calcul sur autant de sous-parties d’un domaine sur lequel est défini un problème.
Ici, le problème sera celui de la déformation de corps en contact, celui-ci s’exprimant sous la forme d’un problème d’optimisation. On verra comment
découpler ce problème en sous-problèmes permettant la parallélisation du calcul. Autrement dit, au lieu de faire la résolution d’un problème d’optimisation sur la globalité d’un domaine, on peut utiliser plusieurs machines en parallèle sur un problème d’optimisation réduit. Sans oublier la phase de communication des données à l’interface de découpage.

Bio et PDF : ici


mardi 22 mars 2022 à 14h

Xavier Ouvrard

G122

Hyper-bag-graphes et leurs applications pour la modélisation, l'analyse et la visualisation de réseaux complexes de co-occurrences.

Résumé : L’énorme quantité et la variété des données à l’ère du Big Data nécessitent de développer des outils spécifiques qui pour donner un aperçu signifiant ne peuvent se réduire à de simples graphiques ou à des tableaux de synthèses classiques, particulièrement lorsqu’il s’agit de jeu de données textuels ou catégoriels; une navigation complète du jeu de données s’avère alors indispensable pour en apprécier la complexité. Dans ce séminaire, je présenterai comment en construisant des cooccurrences d’instances de données en se référant à un (ou des) types commun(s) servant de référence, permet de construire une navigation visuelle de l’espace d’information multi-facettes. Une représentation simplifiée consiste à développer ces relations de cooccurrences en cliques et de faire de la navigation par graphe. L’introduction des hypergraphes permet déjà de simplifier notablement la visualisation obtenue par 2-section de l’hypergraphe.

Afin de révéler les éléments importants des hypergraphes lorsque leur taille augmente, un tri de l’information est nécessaire de sorte à révéler au mieux les sommets et hyper-arêtes importantes du réseau. Une des méthodes consiste à recourir à un processus de diffusion. Se cantonner à l’utilisation de la matrice d’incidence, revient le plus souvent à utiliser de manière cachée la 2-section de l’hypergraphe. Une grande partie des recherches s’est donc concentré sur la construction d’un tenseur d’adjacence adapté pour les hypergraphes généraux, par des processus d’uniformisation de l’hypergraphe. Cela nous a amené à introduire les hyper-bag-graphes, comme extension des hypergraphes aux familles de multisets pour autoriser la duplication d’éléments dans les processus d’uniformisation et enfin de proposer un nouveau Laplacien tensoriel.

Bio : Xavier Ouvrard, actuellement Senior Fellow en charge du cluster de calcul du service de Radio-protection du CERN, a récemment obtenu son Doctorat à l’Université de Genève, sous la co-direction du Pr. Stéphane Marchand-Maillet (Université de Genève) et du Dr Jean-Marie Le Goff (CERN), après avoir passé trois ans d’études en licence et master d’informatique au CTU de l’UBFC. Antérieurement, ingénieur diplômé INPG, après deux ans dans les industries papetières il a rapidement bifurqué vers l’enseignement des mathématiques pendant une vingtaine d’années au Lycée International à Ferney-Voltaire (Ain), où il a également enseigné l’Informatique et les Sciences du Numérique et a été administrateur du réseau pendant de nombreuses années.


jeudi 17 mars 2022 à 14h

Célestin Coquidé (post-doctorant – Institut UTINAM, équipe Physique Théorique et Astrophysique) – Besançon

 G122

Le rayonnement culturel à travers le prisme de Wikipédia

Résumé : Dans l’ère numérique d’aujourd’hui, l’encyclopédie en ligne Wikipédia prend une place importante. Créée en 2001 par Jimmy Wales et Larry Sanger, elle contient maintenant plus de 50 millions d’articles pour environ 300 éditions linguistiques. L’édition anglaise compte à elle seule 6 millions d’articles. La variété de sujets traités montre à quel point cette encyclopédie est riche en connaissance. Que ce soit sur l’art, le cinéma, la science ou même la politique, les articles sont faits par des milliers de collaborateurs. Cette encyclopédie peut-être représentée par un réseau de citations d’articles. Je vais présenter au cours de ce séminaire, des outils d’analyse permettant d’extraire des informations à partir de ce réseau, avec pour but l’étude du rayonnement culturel vu depuis Wikipédia. Je vous présenterai une étude sur les universités, leurs interactions directes mais aussi indirectes, ainsi que leur influence culturelle. Enfin, je décrirai comment, avec l’utilisation de données utilisateurs telles que le flux de clics, il est possible d’extraire des tendances culturelles se rapportant à une période donnée.

Bio


mardi 15 mars 2022 à 13h30

Guilherme MEDEIROS MACHADO (Chercheur postdoctoral – Équipe BIRD – LORIA)

visio (Teams, équipe « Seminaires LIB »)

Systèmes de recommandation : un regard au-delà de la précision, et comment générer des explications à l'aide de graphes

Résumé : Les systèmes de recommandation ont été proposés dans les années 1990 et, depuis cela, la plupart des travaux dans ce domaine se concentrent sur la recherche visant à augmenter la précision des prédictions des préférences des utilisateurs. Cependant, certains problèmes surviennent lorsqu’un système est trop précis dans ses recommandations, notamment la génération de bulles de filtres et le biais de popularité. Un autre problème est lié à la nature de boîte noire des algorithmes, qui fournissent des recommandations très précises mais qui ne sont pas explicables, ce qui suscite la méfiance des utilisateurs. Comment proposer des systèmes plus responsables qui généreront des recommandations plus diverses et plus explicables ? C’est la question à laquelle mon projet de recherche vise à répondre. Plus précisément, j’explorerai l’utilisation de graphes de connaissances et de réseaux neuronaux de graphes pour générer des recommandations explicables.

Mots clés : systèmes de recommandation, IA explicable, IA fiable, réseaux de neurones à graphes.

Short-bio : Guilherme a obtenu son doctorat en informatique en 2018 à l’Université fédérale de Rio Grande do Sul (l’une des cinq meilleures universités du Brésil). Depuis 2019, il travaille comme chercheur postdoctoral au sein de l’équipe BIRD (anciennement KIWI) au LORIA à Nancy. Guilherme a de l’expérience dans les systèmes de recommandation, l’analyse des données, l’analyse de l’apprentissage, et dans la diversité de la recommandation de nouvelles. Son expérience est prouvée par ses publications dans des revues et conférences internationales sur le sujet.

Lien vers la page web : https://sites.google.com/view/guilherme-medeiros-machado/home 


jeudi 10 mars 2022 à 13h30

Annabelle Gilet (ATER à l’UFR ST – uB)

G122

Apport des tenseurs et de leurs décompositions à l analyse de données massives

Résumé : L’exploitation des données massives, que ce soit pour leur collecte, leur stockage ou leur analyse, nécessite de bâtir des systèmes flexibles capables de gérer l’hétérogénéité des modèles de données, en prenant en compte les caractéristiques des données (volume, vélocité, etc.), et tout en garantissant des propriétés fortes afin d’assurer que le résultat obtenu correspond aux objectifs des traitements définis.
Mes recherches visent à intégrer ces aspects à trois niveaux : au niveau des architectures logicielles, au niveau des modèles de données et au niveau des outils d’analyse. Concernant les deux derniers niveaux, je propose une approche sûre et orientée données s’appuyant sur les tenseurs.
Les tenseurs sont des objets mathématiques multi-dimensionnels permettant de modéliser une grande variété de données. Ils sont également dotés d’opérateurs puissants : les décompositions tensorielles. D’un point de vue analytique, ces dernières permettent d’extraire des relations interprétables entre les éléments des différentes dimensions. Dans cette présentation, je parlerai de deux décompositions : CAMDECOMP/PARAFAC et Tucker. Je montrerai leur utilité dans un contexte d’analyse, sur des jeux de données comportant une vérité de terrain mais aussi sur des données massives issues de Twitter.


jeudi 3 mars 2022 à 13h

Lamine DIOP (ATER at University of Tours)

visio (Teams, équipe « Seminaires LIB »)

Structured Pattern Sampling in Complex data

Résumé: Au cours des dernières années, les premières méthodes d’extraction de motifs ont rencontré d’énormes difficultés à cause du volume exponentiel de données. Ces méthodes sont incompatibles avec la nécessité de prendre en compte les retours des utilisateurs pour un processus interactif. En particulier, les méthodes d’extraction exhaustive de motifs intéressants ont rencontré deux problèmes majeurs : le temps de calcul qui dépend de la quantité de données à traiter et la nécessité de fixer le seuil de fréquence qui juge de la pertinence d’un motif. Ces obstacles sont de plus en plus visibles avec des données de nature complexe telles que des séquences, des données distribuées comme des triplestores du Web et des bases de données transactionnelles pondérées pour l’extraction d’itemsets à forte utilité. Une vue d’ensemble du domaine de la fouille de données montre que peu de méthodes d’extraction de motifs ont été proposées pour les bases de données distribuées. Cependant, de nombreuses applications du monde réel sur ces types de données nécessitent un temps de réponse très court et des motifs ayant une très bonne diversité. Pour surmonter ces obstacles, une nouvelle approche probabiliste, appelée échantillonnage en sortie, a été proposée. L’échantillonnage en sortie est une approche non exhaustive pour la découverte instantanée de motifs intéressants qui assure une bonne interactivité tout en offrant de solides garanties statistiques grâce à sa nature aléatoire. Dans ce séminaire, nous présenterons nos contributions dans ce domaine tout en montrant leur intérêt pour la construction de classifieurs de données séquentielles, la détection d’anomalies dans les triplestores du Web et la découverte d’itemsets à forte utilité moyenne. Nous terminerons par présenter un algorithme générique pour paralléliser efficacement toutes nos méthodes proposées avant de donner quelques perspectives dans l’échantillonnage d’itemsets à forte utilité moyenne dans les flux de données.
 
Biographie: Lamine Diop is currently ATER at University of Tours, France, since 2021. He received a double Master’s degree in computer science from University Gaston Berger of Saint-Louis, Senegal, and University of Tours, France, in 2017 and his Ph.D in Computer Science from University Gaston Berger of Saint-Louis in 2020. His main research interests include pattern mining, semantic web and distributed databases, with a particular interest for local and stream pattern sampling. More recently, he studies how data mining methods can be used in the field of semantic web. For more details, please visit his website at https://sites.google.com/ugb.edu.sn/laminediop .


jeudi 10 février 2022 à 13h30

Esteban Bautista (post-doctoral researcher at LIP6 – Sorbonne Université)

 G112

A frequency-structure decomposition for link streams

Abstract: A link stream is a set of triplets (t, u, v) modeling interactions over time, such as person u calling v at time t, or bank account u transferring to v at time t. Effectively analyzing link streams is thus key for numerous applications. In practice, it is common to study link streams as a collection of time series or as a sequence of graphs, allowing to use time filters and graph filters to process the time and structural dimensions, respectively. However, time and structure are nested in link streams, meaning that time-domain operations can affect structure, and vice-versa. This calls for a frequency-structure representation that allows to characterize processing operations in both frequency and structure. Yet, it is hard to combine existing signal and graph decompositions as they do not interact well.

To address this limitation, this work proposes a novel frequency-structure decomposition for link streams. Our decomposition allows us to analyze time via existing signal decompositions (Fourier, Wavelets, etc) and to analyze structure via a novel decomposition for graphs that is tailor-made to interact well with signal decompositions. This novel graph decomposition operates by partitioning the edge-space of graphs into regions and measuring the activity of regions, resulting in a set of coefficients that have several interesting properties to characterize the structural properties of graphs and that can be used to compare them. We show that the combination of our graph decomposition with signal decompositions leads to a set of coefficients that effectively encode the dynamical and structural properties of link streams in a simple matrix format. Then, we show that the properties of our decomposition make it easy to define time and graph filters in the frequency-structure domain and finish by showing how we can use filters to recover the backbone of a link stream.

Biography: Esteban Bautista is currently a postdoctoral researcher at the Complex Network’s team from Sorbonne Université working on the generalization of graph theory and signal processing to study temporal networks. Previously, he obtained the PhD degree in Computer Science at ENS de Lyon where he extensively worked on graph-based machine learning.

PDF


jeudi 3 février 2022 à 14h

Zakariya GHALMANE, Ph.D in Computer Science –
Laboratoire d’informatique de Grenoble (LIGLAB)

 visio (Teams, équipe « Seminaires LIB »)


jeudi 27 janvier 2022 à 14h

Yérali Gandica, assistante à Cergy (Laboratoire de Physique Théorique et Modélisation : LPTM)

 visio (Teams, équipe « Seminaires LIB »)


jeudi 13 janvier 2022 à 14h

Nicolas Magaud, MCF HDR – ICube Strasbourg (équipe IGG)

visio (Renater)

Un prouveur automatique pour la géométrie projective et son intégration à Coq

Résumé : Afin de pouvoir démontrer formellement la correction d'algorithmes géométriques en Coq, il est nécessaire de disposer d'outils pour automatiser au moins partiellement les démonstrations en géométrie. Nous étudions cette question dans le cadre simple de la géométrie projective en utilisant une approche combinatoire et la notion de rang d'un ensemble de points. L'outil proposé, implanté en C, procède par saturation du contexte et permet de démontrer automatiquement de nombreux théorèmes emblématiques de la géométrie projective. Afin de s'assurer de la correction de ces démonstrations, l'outil produit une trace sous la forme d'un script de preuve, qui est ensuite vérifié par Coq.

Bio : Nicolas Magaud a effectué sa thèse dans le domaine des preuves formelles avec l’assistant de preuves Coq (INRIA Sophia-Antipolis, 2003). Il a ensuite été chercheur post-doctorant à Sydney (2003-2005), où il a travaillé sur la certification de code fonctionnel en théorie des types avec LF. Depuis son recrutement comme maître de conférences à l’Université de Strasbourg en 2005, il s’attache à adapter les outils de preuves formelles comme Coq à la modélisation des résultats géométriques. Son habilitation, soutenue en 2020, synthétise ses contributions, notamment en géométrie algorithmique (preuves formelles d’algorithmes géométriques), en démonstration automatique (preuves automatiques de propriétés en géométrie projective 3D et plus), et en calcul réel exact.


jeudi 6 janvier 2022 à 14h

Sebti Foufou, PR au LIB (équipe MG)

 G122 (ESIREM)

Problématiques de recherche en PLM et liens avec la modélisation géométrique

Résumé : Je commencerai ce séminaire par une introduction brève et générale de la thématique de recherche gestion de données le long du cycle de vie du produit (connue sous l’acronyme PLM pour Product Lifecycle Management), je discuterai les liens historiques entre le PLM et la modélisation géométrique, et donnerai quelques exemples de problèmes de recherche de PLM que nous avons étudiés et les contributions apportées notamment l’ontologie OntoStep pour une représentation sémantique des données de produits dans la norme STEP dans un contexte de Smart manufacturing, ainsi que l’utilisation des outils d’apprentissage automatique pour une classification des tableaux et objets anciens dans un contexte de digitalisation et préservation de l’héritage culturel. Je terminerai ma présentation par une discussion de quelques idées et problèmes de recherche à considérer pour de nouveaux projets autour du PLM.

Biographie :

Sebti Foufou est professeur à l’UFR Sciences et Techniques de l’Université de Bourgogne à Dijon. Il est membre du laboratoire LIB et du département IEM. Ses activités de recherche concernent la modélisation géométrique et la gestion du cycle de vie de produit (PLM). En modélisation géométrique Sebti a travaillé sur les contraintes géométriques et la représentation 3D par surfaces paramétriques, par surfaces algébriques et par maillages. En PLM il a travaillé sur la définition de modèles de données pour capturer et mieux représenter les informations produit dans le domaine de l’industrie manufacturière. Pour développer ses activités et projets de recherche Sebti mène une longue collaboration internationale avec notamment avec le NIST et l’Université du Tennessee aux États-Unis, avec Université du Qatar, et le RMIT de Melbourne, Australie. Sebti a encadré et co-encadré 19 thèses de doctorats et plusieurs stages de Master 2.


jeudi 16 décembre à 13h30

Alexis Baudin doctorant au Lip6 (Paris)

G119 (ESIREM)

Calcul de communautés dans un graphe par percolation de cliques : algorithme quasi-exact, efficace en mémoire

Résumé : La détection automatique de groupes de nœuds pertinents dans de grands graphes du monde réel, c’est-à-dire la détection de communautés, a des applications dans de nombreux domaines et a fait l’objet d’une grande attention au cours des vingt dernières années. L’une des méthodes les plus populaires conçues pour trouver des communautés qui se chevauchent (où un nœud peut appartenir à plusieurs communautés) est la méthode de percolation des cliques (CPM). Cette méthode formalise la notion de communauté comme une union maximale de 𝑘-cliques qui peuvent être atteintes les unes des autres par une série de 𝑘-cliques adjacentes, où deux cliques sont adjacentes si et seulement si elles se chevauchent sur 𝑘-1 nœuds. Malgré de nombreux efforts, CPM n’a pas pu être adapté à de grands graphes pour des valeurs moyennes de 𝑘. Des travaux récents ont montré qu’il est possible de lister efficacement toutes les 𝑘-cliques dans de très grands graphes du monde réel pour des valeurs moyennes de 𝑘. Nous nous appuyons sur ces travaux pour améliorer un algorithme de CPM. Dans les cas où ce premier algorithme fait face à des limitations de mémoire, nous proposons un autre algorithme, CPMZ, qui fournit une solution proche de la solution exacte, en utilisant plus de temps mais moins de mémoire.

Alexis Baudin est doctorant dans l’équipe ComplexNetworks – Sorbonne Université – LIP6 (Paris). Titre de sa thèse : « Problèmes d’énumération dans les graphes massifs et applications ».

PDF


jeudi 9 décembre à 13h30

Julie Digne, CR CNRS au LIRIS (Lyon)

G119 (ESIREM)

New tools for surface analysis

Abstract: In this talk we explore new tools for shape analysis. We consider surfaces and how local analysis of the angular oscillations and polynomial radial behavior around surface points leads to accurate normal estimation and new integral invariants. A direct application of these integral invariants is geometric detail exaggeration. In a second part we tackle the problem of finding relevant principal directions related to high order differential properties, we link those with the eigendecomposition of symmetric tensors and show that they can be efficiently computed using the previous angular/radial polynomial decomposition with interesting emerging applications.

Julie Digne est chargée de recherche CNRS (HDR) au LIRIS (équipe Origami). Ses domaines de recherche tournent autour du traitement et de l’analyse de surfaces, en particulier lorsque celles-ci sont représentées sous forme de nuages de points. Cela comprend : le débruitage, la reconstruction, la segmentation de surfaces et la fusion de scans. Elle s’intéresse particulièrement au développement d’approches d’apprentissage automatique pour les données géométriques. Elle a commencé à travailler sur ces sujets lors de sa thèse (2007-2010) avec Jean-Michel Morel au CMLA (ENS Cachan). Elle a poursuivi ces sujets à l’INRIA Sophia Antipolis (équipe Geometrica) avec Pierre Alliez, David Cohen-Steiner et des collègues de Caltech (Mathieu Desbrun et Fernando de Goes). En octobre 2012, elle a rejoint le laboratoire LIRIS (équipe GeoMod désormais fusionnée avec l’équipe Origami) de l’Université Lyon 1, en tant que chercheur CNRS. Elle a soutenu l’Habilitation à Diriger des Recherches en septembre 2018 à l’Université Lyon 1. Elle fait régulièrement partie de comités de programme des meilleurs conférences d’Informatique Graphique et Géometrie (Siggraph, Siggraph Asia, Eurographics, Symposium on Geometry Processing, Shape Modeling International). En 2021 elle a été Program Chair du Symposium on Geometry Processing.

PDF


jeudi 25 novembre à 14h

Matteo Cervetti, post-doctorant au LIB (équipe CombNet)

G122 (ESIREM)

Permutations avoiding the vincular pattern 1-32-4

Abstract : The study of patterns in permutations is currently one of the most active trends of research in combinatorics. A permutationπ is a pattern of another permutation σ (written in one-line notation) when σ  contains a (non-necessarily consecutive) substring whose items are in the same relative order as the items of π. The notion of pattern in a permutation historically emerged from the problem of sorting permutations with certain devices, however the richness of this notion became especially evident from its plentiful appearances in several very different disciplines, such as mathematics, computer science and biology.  
In this talk we will present an  enumerative result about permutations avoiding a particular vincular pattern. In more detail, we will construct a single label generating tree for these permutations, showing that they grow according to powered Catalan succession rule and thus providing an explanation for a recursive formula which counts them. Finally, we will describe some combinatorial objects counted by the same sequence and provide some interesting conjectures. 
Matteo Cervetti est post-doctorant au LIB, équipe Combinatoire-Réseaux, sous la direction de Vincent Vajnovszki
 
 


jeudi 18 novembre à 14h

François Blateyron, directeur de la recherche chez Digital Surf, Besançon

Amphi STEINBRUNN (ESIREM)

Introduction de DigitalSurf et de son activité, puis présentation sur les états de surface et les applications principales.

  • Présentation de Digital Surf et de son activité
  • Introduction aux états de surface
  • Présentation du logiciel Mountains et de ses particularités
  • Exemples d’analyse de surfaces, notamment pour surfaces complexes
  • Tendances et évolution du domaine et des normes
  • Temps pour échanger et répondre aux questions.

François Blateyron est spécialiste de l’analyse des états de surface permettant l’optimisation des performances fonctionnelles des matériaux et des produits par le biais de l’analyse de la rugosité, des écarts de forme, de l’aspect, de la tribologie, etc.

* Impliqué pendant plus de vingt ans dans des projets internationaux avec des fabricants mondiaux d’instruments de mesure.
* Expert en métrologie, algorithmes mathématiques et normes de métrologie.
* Responsable pendant plus de dix ans de l’équipe de développement du logiciel Mountains


jeudi 21 octobre 2021 à 14h

Ludovic Journaux

G119 (bâtiment ESIREM)

Analyse de textures et réduction de dimensions : application à l’analyse de surfaces foliaires.

Résumé du séminaire : Dans le contexte de l’agriculture de précision visant à réduire et optimiser la pulvérisation de produits phytosanitaires, nos travaux s’intéressent à l’étude et la caractérisation de surfaces foliaires (hydrophiles ou hydrophobes) par analyse de textures. L’objectif de cette recherche est alors de caractériser et discriminer l’état de la surface foliaire à travers l’analyse d’images microscopiques de texture. Pour cela, nombreux sont les paramètres de texture existants. Parmi ces derniers nous avons retenu pour l’expérience l’un de ceux qui caractérise le mieux l’aspect fréquentiel. Malheureusement ce dernier, bien que robuste, représente des caractéristiques de haute dimension qui entraîne un phénomène identifié lors d’une phase de classification sous le nom de « malédiction de la dimension ». Pour résoudre ce problème nous proposons de réduire cette dimensionnalité à travers le prisme de différentes évolutions de méthodes de réduction de dimension allant des approches linéaires vers les approches non linéaires.

Ludovic journaux a obtenu un DEA en analyse et modélisation des systèmes biologiques à l’Université de Lyon1 suivi d’un doctorat en instrumentation et informatique de l’image au le2i en 2006. Après une année de post doctorat en 2007 à l’Université des sciences agronomiques de Gembloux (Belgique), il a été recruté en 2008 à AgroSup Dijon en tant que Maître de Conférences tout en restant affilié au Laboratoire d’informatique de l’Université de Bourgogne dans l’équipe Data Sciences. Ses travaux sont pluridisciplinaires et s’intéressent aux domaines de l’intelligence artificielle, aux méthodes de projections multidimensionnelles non linéaires, à l’analyse de données, au traitement du signal et des images. Il applique ses travaux à l’agronomie et l’agroalimentaire.

PDF


jeudi 14 octobre 2021 à 13h30

Ann Alkazzaz et Ghassan Aladool (enseignants-chercheurs de l’université de Mossoul, Irak)

G122 (bâtiment ESIREM)

"Improving and Adopting 2D QR code for Documenting Cuneiform Tablets" - “Deaf-Blind People Communication System”

Résumés et PDF des présentations.
 
Ghassan Aladool et Ann Alkazzaz sont enseignants-chercheurs à l’université de Mossoul, Irak. Nous les accueillons au sein du LIB du 1er au 25 octobre, dans le
cadre d’une bourse de perfectionnement formation-recherche de l’AUF. Ils travaillent sur la reconnaissance de l’iris et la documentation de tablettes cunéiformes.


mardi 22 juin 2021 à 14h

Maëlle Beuret, doctorante au LIB (équipe MG)

visio

Tour d'horizon des simulations informatiques pour l'aide à la gestion de crise

Maëlle Beuret, actuellement en 1ère année de thèse dans l’équipe Modélisation Géométrique du LIB, présentera un état de l’art sous forme de positionnement par rapport au projet d’extension du modèle d’animation  comportementale pour l’aide à la gestion de crise pour le CESU (Centre d’Enseignements des Soins d’Urgence).


vendredi 18 juin 2021 à 15h15

Alexis Guyot, M2 BDIA – stage au LIB (équipe SdD)

visio

Détection d'antagonisme et de polarisation sur les réseaux sociaux par l'étude des frontières des communautés

Résumé : La théorie des graphes et la science des réseaux ont donné naissance à de nombreux outils pour étudier le comportement des utilisateurs dans les réseaux sociaux. Parmi eux, les algorithmes de détection de communautés permettent de rassembler dans des groupes les utilisateurs qui interagissent plus entre eux qu’avec les autres. Dans le cadre de mes recherches, j’ai décidé de m’intéresser à la façon dont les communautés d’utilisateurs interagissent entre elles sur Twitter, afin de détecter de possibles traces de polarisation. La polarisation est le nom du phénomène qui intervient lorsqu’un groupe d’individus se scinde en deux pôles avec des avis conflictuels par rapport à un sujet donné, et pour la détecter j’ai mis au point puis implémenté une méthode complètement automatique, générique et non-supervisée qui mesure la dynamique des interactions des utilisateurs dits frontières au sein des différentes communautés pour détecter les relations potentiellement antagonistes. Le but de la présentation sera alors de parler un peu plus en détails du concept de polarisation avec un bref état de l’art, d’ensuite intuitivement expliquer ma méthode et les indicateurs qu’elle calcule à l’aide d’un exemple simple, et enfin de discuter de quelques résultats et des interprétations associées obtenus en pratique sur des jeux de données collectés dans le cadre du projet Cocktail.
Alexis Guyot, étudiant en M2 BDIA, a travaillé pendant son projet tuteuré orienté recherche et travaille toujours dans le cadre de son stage sur les communautés d’utilisateurs sur les réseaux sociaux, et plus particulièrement sur Twitter.


mardi 25/05/21 à 15h

Sana Nadouri, ATER à l’ESIREM (uB)

visio

Système réparti d’aide à la prise de décision distribuée et collective

Résumé : Skyline paradigm provides an adequate tool to help users making decisions in the presence of multidimensional data and conflicting criteria. It is based on Pareto dominance relationship which returns the objects that are not dominated by any other object. The traditional skyline definition was recently expanded to group decision making to meet complex real-life needs encountered in many modern domain applications that require to analyze not only individual points but also groups of points. The group skyline aims at retrieving groups that are not dominated by any other group of the same size in the sense of a particular group-dominance relationship. It may often happen that this extended dominance leads to only a small number of non-dominated groups which could be insufficient for the decision maker. During the seminar, we expose our porposition to extend group skyline dominance by making it more demanding so that several groups leave incomparable. The original group skyline will be enlarged by some interesting groups that are not much dominated by any other group. The key element of this relaxation is a particular fuzzy preference relation, named « much preferred ». We also present some algorithms and some experimental results tested on real, synthetic and generated data to insure reliability and the decision quality of the proposition.

Sana Nadouri est ATER, Université de Bourgogne – ESIREM, Dijon, France.


mardi 30/03/21 à 14h

Claire Prudhomme, Research assistant – i3mainz (Allemagne)

visio

Knowledge-driven multi-agent simulation engineering

Claire est une de nos anciennes étudiantes qui a obtenu son Master 2 IIA en 2015 et a enchaîné sur une thèse en Allemagne, à Hochschule Mainz – University of Applied Sciences, sous la direction de Christophe Cruz, Frank Boochs et Ana Roxin, dont le titre est : « Ingénierie de simulation multi-agents conduite par la connaissance pour évaluer l’efficacité des plans de gestion de catastrophes »

p { margin-bottom: 0.25cm; line-height: 115%; background: transparent }a:visited { color: #800000; so-language: zxx; text-decoration: underline }a:link { color: #000080; so-language: zxx; text-decoration: underline }


lundi 15/03/21 à 10h 

Carine Khali, doctorante au LIB, équipe CombNet

visio

Étude de statistiques combinatoires et de leur impact en optimisation évolutionnaire

Résumé : Les travaux de recherche de cette thèse se décomposent en deux parties complémentaires : une étude théorique dans le domaine de la combinatoire des permutations et des mots, et une application dans le domaine de l’optimisation et plus particulièrement pour les problèmes d’optimisation des transports. De nombreux résultats d’énumérations théoriques sont présentés
concernant les statistiques associées à des motifs dans les permutations et d’autres classes d’objets combinatoires. Plus
précisément, en utilisant la théorie des fonctions génératrice, on énumère les mots de catalans évitant deux motifs de longueurs 3
ayant un nombre donné de descentes. De plus, on étudie le tri des permutations en utilisant deux piles en séries avec des motifs
interdits. On prouve que ces permutations sont comptées par les nombres de catalan et Schröder.
L’étude des permutations a de nombreuses applications. En nous concentrant sur l’optimisation des transports, où le trajet d’un véhicule est représenté par une permutation, nous étudions la transmission des caractéristiques génétiques à travers les générations dans des processus d’optimisation évolutive. Nous nous concentrons donc sur l’impact du codage et de la représentation des solutions sur les performances des algorithmes d’optimisation, en particulier la représentation par code de Lehmer et table d’inversion.

PDF


vendredi 12/03/21 à 14h

Amir-Abdelkader Aouiz, ATER à l’UFR ST (uB)

visio

La qualité de service dans les protocoles multi-chemins

Résumé : Les réseaux MANET sont des réseaux mobiles capables de fonctionner sans fil ni infrastructure préexistante. Les réseaux MANET sont caractérisés par leurs environnements dynamiques, cette particularité rend le routage problématique en cas d’instabilité des éléments qui composent les communications non directes. Pour surmonter ces difficultés, de nouveaux types de protocoles de routage sont apparus, dont les protocoles de routage multi chemins.
Le routage multi chemin semble être une solution efficace dans les réseaux sans fil en permettant de se prémunir contre le problème de rupture de liens et de distribuer le trafic sur plusieurs chemins, ceci permet d’améliorer les performances des communications. L’objectif principal de notre travail est d’étudier les techniques de routage multi-chemins dans un contexte sans fil en vue d’obtenir de meilleures performances.
Nous avons proposé deux schémas pour l’optimisation d’énergie et la réduction de congestion du réseau. Nous avons dans un premier temps commencé par l’état de l’art qui nous a permis de bien comprendre la problématique et d’avoir une idée bien détaillée sur les solutions proposées par différents chercheurs. Cependant, la revue de cet état de l’art nous a permis de conclure qu’il reste encore des problématiques ouvertes. Nous avons montré dans la première partie de notre étude que la durée de vie des réseaux MANET est liée à la durée de vie nodale. Une solution pour la maximisation de durée de vie des nœuds mobiles en utilisant les valeurs historiques de l’énergie nodale est présentée. Ces valeurs sont utilisées pour calculer le taux de variation de l’énergie et par la suite pour révéler les nœuds avec une consommation excessive d’énergie. Les nœuds avec une forte consommation d’énergie sont exclus de découverts des liens de communication pour éviter le risque d’épuisement rapide, cela peut aider par la suite à maintenir de la connectivité entre les nœuds communicants et maximiser la durée de vie du réseau.
Dans la deuxième partie de notre étude, un nouveau paramètre pour repérer les nœuds congestionnés au centre du réseau en fonction du taux d’activité du canal est présenté. Le choix de paramètre est motivé par le fait que le taux d’activité du canal peut être la métrique appropriée pour détecter les zones encombrées centrales, où le délai de libération du support de communication et le temps de transmission des paquets à envoyer sont élevés. Ceci motive l’approche proposée par repousser le trafic du centre du réseau en se basant sur le nouveau paramètre proposé, entraînant une diminution de la fréquence de collision des paquets et une réduction du délai de bout en bout.
Nous avons validé les deux contributions en utilisant l’outil de simulation NS-2 sous différents scénarios de trafic et de mobilité, en variant le nombre des nœuds, le nombre de communication etc. Nous avons montré à travers les simulations l’intérêt de nos contributions dans l’amélioration des performances du réseau en termes de maximisation de durée de vie des nœuds, réduction des délais de bout en bout, réduction de surcharge du réseau, et l’amélioration de taux de paquets délivré avec succès.

Thèse réalisée en cotutelle entre l’université de Mulhouse et l’université de SBA en Algérie, sous la direction de Pr Pascal LORENZ et Pr BOUKLI HACENE.

PDF


lundi 01/03/21 à 15h45

Mohamed Hamidi, ATER à l’UFR ST (uB)

visio

Tatouage numérique d'images 2D et de maillages 3D : Application à la protection des droits d'auteur

Résumé : De nos jours, les contenus multimédia, notamment les images, les sons, les vidéos et les objets 3D connaissent une utilisation accrue suite à la croissance considérable de la puissance des
ordinateurs et à l’augmentation de la vitesse de transmission des réseaux.
En conséquence, ces contenus peuvent être copiés, modifiés ou redistribués facilement. Pour remédier à ce problème, il est nécessaire de mettre en œuvre une technique de sécurité permettant la sécurisation de ces contenus. Pour ce faire, le tatouage numérique est considéré
comme une solution efficace. Il consiste à insérer une information, appelée tatouage ou marque, dans le contenu multimédia afin de le protéger contre les utilisateurs malintentionnés. Dans ce contexte, nous proposons dans cette thèse trois contributions dans le
domaine de tatouage numérique d’images 2D et de maillages 3D pour la protection des droits d’auteur dans les chapitres 2, 3 et 4, respectivement.

Mohamed Hamidi est docteur en sciences de l’ingénieur, spécialité : informatique et télécommunications de l’université Mohammed V de Rabat, Maroc.

PDF


vendredi 12/02/21 à 9h

Kamal E. Melkemi, Professeur à l’Université de Batna 2 en Algérie

visio

Apprentissage profond par les réseaux de neurones convolutionnels

Resumé : Cette présentation est consacrée à l’apprentissage profond et aux réseaux de neurones convolutionnels (CNNs). Particulièrement, l’accent sera mis sur l’apprentissage profond par les CNNs. 
L’exposé va traiter les points suivants :
– Un historique de l’intelligence artificielle, l’apprentissage automatique et des réseaux de neurones classiques en arrivant aux CNNs.
– Le principe et le fonctionnement des CNNs.
– Une comparaison entre ces réseaux de neurones artificiels classiques et les CNNs.       
– D’où vient l’idée des CNNs ?
– Essayer de comprendre le succès extraordinaire des réseaux CNNs.
Kamal E. Melkemi est chef du département informatique de l’Université de Batna 2 en Algérie. Il a obtenu son doctorat (Ph.D.) en informatique de l’Université de Constantine en 2006. Son mémoire de recherche porte sur les algorithmes évolutifs basés sur la MRF (Markov Random Fields) pour la segmentation d’images. Ses intérêts de recherche actuels incluent la reconnaissance de formes, l’intelligence artificielle, l’apprentissage automatique et profond, la robotique. Kamal collabore avec l’équipe Modélisation Géométrique du LIB depuis de nombreuses années …
 


vendredi 8/01/21 à 9h

Dmitry Sokolov,  Maître de conférences HDR – responsable de l’équipe PIXEL / INRIA Nancy

visio

Towards full automatic, full hexahedral meshing

Resumé : L’état de l’art du maillage tétraédrique a maintenant atteint une maturité qui rend raisonnablement facile le maillage de formes arbitraires en utilisant les logiciels existants. Pour le maillage hexaédrique, la situation est différente, et malgré des progrès importants, l’état de l’art est encore loin d’une solution générale et robuste entièrement automatique.Le nombre de cas d’échec reste important, même pour des objets simples qui peuvent présenter des les aspects combinatoires du problème. Malgré une quantité importante des efforts de recherche pour résoudre ces problèmes, la conception d’un algorithme de remaillage hexaédrique complet nécessite de résoudre de nombreux problèmes ouverts. Pour cette raison, le maillage à dominance hexaédrique peut être une option qui mérite d’être étudiée : en relâchant le problème, il génère encore un résultat valide dans les cas où les méthodes de l’hexaèdre plein échouent généralement, au détriment l’introduction d’éléments non hexaédriques tels que les tétraèdres, les pyramides et des prismes.

Dmitry Sokolov est Maître de conférences HDR et responsable de l’équipe INRIA PIXEL au laboratoire LORIA de Nancy (Université de Lorraine, Inria Nancy – Grand Est).

PDF


jeudi 19/11/20 à 10h15

Bruno Lévy (Nancy INRIA – Laboratoire LORIA)

visio

Toujours tout droit ! Des liens étroits entre physique, mathématiques et informatique permettent de résoudre des problèmes de calcul en cosmologie

Resumé : Sa présentation intitulée «  Toujours tout droit !  » se propose de montrer comment des liens étroits entre physique, mathématiques et informatique permettent de résoudre des problèmes de calcul en cosmologie. Elle se déroulera à distance depuis Nancy
le jeudi 19/11 à 10h15. Un format de 45 min suivi des
questions sera proposé. L’orateur a les qualités nécessaires pour vulgariser et pour susciter la curiosité, le questionnement, … De plus, il est reconnu internationalement au sein de la communauté informatique graphique et c’est donc une belle opportunité.

Bruno Lévy est Directeur de Recherche Inria. Il dirige actuellement le Centre Inria Nancy Grand-Est. Ses travaux de recherche, sont à la frontière entre informatique et mathématiques appliquées, et ont pour objectif de construire des représentations géométriques optimales pour la simulation numérique.


23/10/20 à 14h

Joël Savelli, MCF au LIB, équipe MG

ESIREM

Simulation de situations d urgence pour la formation des cadres de santé

Simulation de situations d’urgence pour la formation des cadres de santé – Un serious game pour la formation à la gestion de crises sanitaires

PDF


jeudi 8/10/20 à 15h45

Céline Roudet, MCF au LIB, équipe MG

ESIREM

présentation du projet ANR JCJC intitulé « FRACLETTES » (Modèles FRACtals et analyse en ondeLETTES pour la caractérisation des états de surfaces)

Résumé : Nous présentons un projet de recherche dans lequel, nous proposons d’aborder la problématique de la représentation numérique, de l’analyse et de la caractérisation de surfaces rugueuses. La rugosité est un concept complexe, par nature multi-échelle et reposant sur l’étude du comportement local d’une surface dans un voisinage donné. Son évaluation sur les surfaces est essentielle pour de nombreux problèmes expérimentaux. Cela explique les nombreuses études réalisées dans les domaines applicatifs liés à la physique et la mécanique, là où le contrôle et la maîtrise de l’état des surfaces constituent un besoin majeur pour les industriels. Un grand nombre de paramètres conventionnels normalisés sont actuellement à disposition pour tenter d’apprécier cette notion dans les différents domaines applicatifs qui en font usage. Mais il est souvent difficile, pour un domaine applicatif ou un besoin donné, de savoir précisément quel(s) paramètre(s) de rugosité relie(nt) la topographie d’une surface aux phénomènes physiques qu’elle subit ou qu’on lui applique. Cela s’explique car, à une valeur de paramètre donnée peuvent correspondre des rugosités associées à des géométries et des propriétés physiques très variées. Ceci est principalement dû au fait que les mesures de rugosité classiques reposent, pour la plupart, sur des quantifications statistiques globales. Pour pallier cet inconvénient majeur, nous pensons qu’il est essentiel d’avoir une caractérisation géométrique de la rugosité. Il sera alors plus facile d’établir des relations avec les propriétés physiques des surfaces.
 

kc_data:
a:8:{i:0;s:0:"";s:4:"mode";s:2:"kc";s:3:"css";s:0:"";s:9:"max_width";s:0:"";s:7:"classes";s:0:"";s:9:"thumbnail";s:0:"";s:9:"collapsed";s:0:"";s:9:"optimized";s:0:"";}
kc_raw_content:
[kc_row use_container="yes" _id="880309"][kc_column width="100%" _id="711569"][kc_column_text _id="9842"]

Cliquez ici pour voir les slides !

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="159150"][kc_column width="25%" _id="115913"][kc_column_text _id="754622" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 17/10 à 15h45

[/kc_column_text][/kc_column][kc_column width="25%" _id="587188"][kc_column_text _id="776529" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Iván Rasskin
(MCF à Aix-/Marseille/ Université, laboratoire LIS, équipe GMOD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="114969"][kc_single_image _id="673228" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://lh4.googleusercontent.com/AsE-22oLKO1qHAXT_lNm5kOr-gpyEstkUlbwszeuNfw4y0Cl63CNXC_fQWfsgrwScYLjwc8Ny7E-L_JsQ33zR876Kqg2e9ylFT1vboapbJNaMP8Doa5VzN1sofw6QuUaOg=w1280" image_size_el="thumbail"][/kc_column][kc_column width="25%" _id="451578"][kc_column_text _id="794818" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS04

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="898424"][kc_column width="12/12" video_mute="no" _id="929743"][kc_accordion _id="417142" close_all="yes"][kc_accordion_tab title="Polytopal Sphere Packings for Volumetric Subdivisions, Tubular Surfaces, and Lacunary Structures" _id="373652"][kc_column_text _id="687678"]

Abstract:

Polytopal sphere packings are a family of sphere packings that carry a combinatorial structure defined by an edge-scribable polytope. This feature allows us to define a dual structure, analogous to the duality of planar graphs, for the volumetric meshes produced by the skeletons of these packings. In this talk, we will explore how these objects can be used to extend classic subdivision methods for polygon meshes to volumetric meshes, and to model tubular surfaces and lacunary structures in 2D and 3D.

Short bio

 Iván est mathématicien et travaille dans les domaines de la géométrie discrète. Ses intérêts de recherche incluent les empilements de sphères, la théorie des nœuds géométriques, les polytopes, les graphiques, les matroïdes, la théorie algébrique des nombres, la visualisation 3D et l'infographie.
https://sites.google.com/view/ivanrasskin

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="677300"][kc_column width="25%" _id="313983"][kc_column_text _id="2281" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

lundi 1/07 2024 à 11h

[/kc_column_text][/kc_column][kc_column width="25%" _id="744432"][kc_column_text _id="594460" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Daniel Pinson
(stagiaire dans l’équipe Combinatoire-Réseaux)

[/kc_column_text][/kc_column][kc_column width="25%" _id="489689"][kc_single_image _id="311955" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://www.lirmm.fr/~rivals/img/ER-cape-point-portrait.jpg" image_size_el="thumbail" image="4185"][/kc_column][kc_column width="25%" _id="235627"][kc_column_text _id="109136" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G122

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="258637"][kc_column width="12/12" video_mute="no" _id="431972"][kc_accordion _id="693524" close_all="yes"][kc_accordion_tab title="Distribution des motifs collex dans les ARN" _id="999002"][kc_column_text _id="33090"]

Résumé:

L'étude des structures secondaires de l’ARN est essentiel pour comprendre le fonctionnement de celle-ci. Nous proposons donc d’étudier les motifs collex (collés aux extrémités) dans les ARN et plus particulièrement leur fréquence d’apparition. Pour cela, nous verrons l'outil de visualisation que a été développé ainsi que ce que celui-ci a permit de mettre en évidence.

Bio:

Étudiant en M2 SIA et actuellement en stage au LIB travaillant sur l'étude des patterns dans l’ARN. Après 5 ans d'étude en informatique, je suis particulièrement intéressé par la recherche alliant l'informatique à la biologie.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="851996"][kc_column width="25%" _id="990954"][kc_column_text _id="91631" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 28/03 2024 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="280670"][kc_column_text _id="720703" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Eric RIVALS
(Directeur de recherche, LIRMM - CNRS Univ Montpellier)
https://www.lirmm.fr/~rivals/

[/kc_column_text][/kc_column][kc_column width="25%" _id="782974"][kc_single_image _id="728570" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://www.lirmm.fr/~rivals/img/ER-cape-point-portrait.jpg" image_size_el="thumbail"][/kc_column][kc_column width="25%" _id="995740"][kc_column_text _id="635923" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

C201

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="57982"][kc_column width="12/12" video_mute="no" _id="313758"][kc_accordion _id="71416" close_all="yes"][kc_accordion_tab title="Incremental algorithms for computing the set of period sets. The dynamics of period set" _id="576093"][kc_column_text _id="35257"]

Overlaps between strings are crucial in many areas of computer science, such as bioinformatics, code design, and stringology. A self overlapping string is characterized by its periods and borders. A period of a string u is the starting position of a suffix of u that is also a prefix u, and such a suffix is called a border. Each word of length, say n>0, has a set of periods, but not all combinations of integers are sets of periods. The question we address is how to compute the set, denoted Gamma(n), of all period sets of strings of length n. Computing the period set for all possible words of length n is clearly prohibitive. The cardinality of Gamma(n) is exponential in n. One dynamic programming algorithm exists for enumerating Gamma(n), but it suffers from an expensive space complexity. After stating some combinatorial properties of period sets, we will present a novel algorithm that computes Gamma(n) from Gamma(n-1), for any length n>1. The period set of a string u is a key information for computing the absence probability of u in random texts. Moreover, computing Gamma(n) is useful for assessing the significance of word statistics, like the number of k-mers shared between two texts, or the number of missing k-mers in one text. Besides applications, investigating Gamma(n) is interesting per se as it unveils combinatorial properties of string overlaps.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="775331"][kc_column width="25%" _id="523117"][kc_column_text _id="530079" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

lundi 25/03 2024 à 16h

[/kc_column_text][/kc_column][kc_column width="25%" _id="571786"][kc_column_text _id="814204" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Nicolas Lutz
(post-doctorant à l'université de Sherbrooke (Québec))

[/kc_column_text][/kc_column][kc_column width="25%" _id="863327"][kc_single_image _id="379114" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://lh3.googleusercontent.com/Y1RwHfCCOYGrNcd95WGLsjnw-4TWuWJctVwc8O1hrk3TAUaopJXrKWh0RgQrNprJJ0sQiASTwwJeNxnuhRWxRwuzkxOni8ysuU7pAtoxsuGlUdAUstR7PSvXH0pI68twgA=w1280" image_size_el="thumbnail"][/kc_column][kc_column width="25%" _id="964977"][kc_column_text _id="919290" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

salle de réunion du LIB au 2ème étage ESIREM

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="306957"][kc_column width="12/12" video_mute="no" _id="531607"][kc_accordion _id="221080" close_all="yes"][kc_accordion_tab title="Champs stochastiques pour la génération de texture et de géométrie" _id="991823"][kc_column_text _id="251534"]

Résumé : La synthèse de textures en temps réel et par l'exemple
est utilisée dans le rendu pour générer de la variété visuelle sur de
larges surfaces texturées. Nous présentons nos travaux les plus récents
en synthèse de textures, qui s'appuient sur le modèle théorique de
l'exploitation de champs stochastiques spécifiques. Nous montrons que ce
modèle théorique permet également de synthétiser les valeurs d'autres
fonctions continues, avec comme premiers résultats nos travaux pour la
synthèse de la géométrie et de l'apparence d'un océan animé en temps réel.

Bio: Je suis post-doctorant à l'université de Sherbrooke (Québec)
avec Guillaume Gilet, en partenariat avec Ubisoft, après avoir été
doctorant et ATER à l'université de Strasbourg avec Basile Sauvage et
Jean-Michel Dischler. Nous avons publié plusieurs travaux à Eurographics
dans la synthèse de textures temps réel et le filtrage, en utilisant des
outils statistiques propres aux champs stochastiques comme par exemple
la cyclostationnarité ou la fonction d'autocovariance.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="180405"][kc_column width="25%" _id="468969"][kc_column_text _id="629825" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mercredi 21/02 2024 à 10h15h

[/kc_column_text][/kc_column][kc_column width="25%" _id="950139"][kc_column_text _id="999211" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Mohamad Janbein
(doctorant au LIB - équipe MG

[/kc_column_text][/kc_column][kc_column width="25%" _id="976083"][kc_single_image _id="445899" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3448" image_size="full"][/kc_column][kc_column width="25%" _id="639768"][kc_column_text _id="420984" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GA125

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="144533"][kc_column width="12/12" video_mute="no" _id="118736"][kc_accordion _id="107720" close_all="yes"][kc_accordion_tab title="Pseudo-Curvature of Fractal Curves for Geometric Control of Roughness " _id="943059"][kc_column_text _id="535275"]

Résumé : Fractal geometry is a valuable formalism for synthesizing and analyzing irregular curves to simulate non-smooth geometry or roughness. Understanding and controlling these geometries remains challenging because of the complexity of their shapes. This study focuses on the curvature of fractal curves defined from an Iterated Function System (a set of contractive operators). We introduce the Differential Characteristic Function (DCF), a new tool for characterizing and analyzing their differential behavior. We associate a family of DCF to the fixed point of each operator. For each dyadic point of the curve, there exist left and right families of DCF inducing left and right ranges of curvatures: the pseudo-curvatures. A set of illustrations shows the influence of these pseudo-curvatures on the geometry of fractal curves. We propose a first approach for applying our results to roughness generation and control.

Bio : Mohamad Janbein est en 4ème année de thèse dans l’équipe modélisation géométrique du LIB. Il est sous la direction de Christian Gentil et la codirection de Céline Roudet.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="850202"][kc_column width="25%" _id="735785"][kc_column_text _id="76280" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 mardi 13/02 2024 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="671737"][kc_column_text _id="972570" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Nathanaël Hassler
(doctorant au LIB - équipe CombiNet)

[/kc_column_text][/kc_column][kc_column width="25%" _id="610118"][kc_single_image _id="596607" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3980" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="465437"][kc_column_text _id="901151" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Salle G122

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="100004"][kc_column width="12/12" video_mute="no" _id="99860"][kc_accordion _id="634895" close_all="yes"][kc_accordion_tab title="Grand zigzag knight:apos:s paths" _id="23065"][kc_column_text _id="492055"]

Abstract :
In the game of chess, the knight's moves have a shape of L. We will present enumeration of certain knight's paths in the plane, called zigzag knight's paths, under some constraints (ending at ordinate 0, bounded by a horizontal line...). We present our results in form
of generating functions or direct closed-form expressions. We derive asymptotic results, finding approximations for quantities such as the probability that a knight's path stays in some area of the plane, or for the average ordinate of such a path. Additionally, certain counting sequences that we will encounter already count known objects, we will provide bijections between knight's paths and those objects.

Bio :
Nathanaël est en 1ère année de thèse au LIB dans l'équipe CombiNet sous la direction de Jean-Luc Baril, Vincent Vajnovszki et Sergey Kirgizov. Nathanaël travaille sur des sujets variés de combinatoire.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="585887"][kc_column width="25%" _id="771247"][kc_column_text _id="530863" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 08/02 2024 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="668707"][kc_column_text _id="37105" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Guillaume Coiffier
(docteur au LORIA à Nancy)

[/kc_column_text][/kc_column][kc_column width="25%" _id="291933"][kc_single_image _id="771935" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://www.loria.fr/wp-content/uploads/insta_guillaume_coiffier_cst-150x150.jpg"][/kc_column][kc_column width="25%" _id="247009"][kc_column_text _id="265844" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="139802"][kc_column width="12/12" video_mute="no" _id="232963"][kc_accordion _id="121402" close_all="yes"][kc_accordion_tab title="Algorithmes de Paramétrisation Globale pour Maillages Quadrangulés" _id="284192"][kc_column_text _id="148124"]


Résumé :

Les maillages quadrangulés (quads) sont une structure de données
centrale au domaine du traitement automatique de la géométrie, trouvant
des applications en infographie comme en simulation numérique. Une
approche prometteuse pour générer automatiquement des maillages quads de
grande qualité s'appuie sur le fait qu'ils constituent une déformation
de la grille régulière presque partout, excepté en un petit nombre de
points singuliers. Grâce au calcul d'une paramétrisation, à savoir une
représentation planaire, de la surface à mailler, il est possible d'y
tracer une grille qui, reprojetée sur la surface, formera le maillage
désiré. Pour que des quadrilatères puissent être extraits, cette
paramétrisation se doit d'être "sans couture", c'est-à-dire de respecter
un ensemble de contraintes d'alignement sur son bord et ses découpes.
Ces contraintes sont généralement imposées petit à petit dans un
pipeline d'opérations désormais bien étudié, consistant en un calcul de
champ de repères lisse, définissant les futurs points singuliers du
maillage, une phase d'intégration pour obtenir une paramétrisation aux
coutures sans rotation, suivie d'une phase de quantification déterminant
les degrés de liberté en translation.

Nous nous intéressons à l'amélioration des différentes étapes du
pipeline de génération de maillages quadrangulés. En nous appuyant sur
des notions de géométrie différentielle, nous proposons des formulations
du problème évitant les écueils de l'approche actuelle. Premièrement,
nous abandonnons la résolution de problèmes en nombre entier pour
certaines étapes (connue pour être difficiles à résoudre) pour la
remplacer par la minimisation de fonctions objectif continues (bien que
non convexe). Deuxièmement, nous fusionnons certaines étapes du pipeline
en une seule optimisation déterminant en un seul coup les degrés de
liberté correspondants. Cela permet plus de versatilité et de contrôle
utilisateur sur le maillage quad final, et évite les cas d'échecs
classiques causés par l'approche gloutonne du pipeline actuel. Ces
formulations théoriques du problème de paramétrisation sans couture
s'accompagnent d'implémentations pratiques dans lesquelles nous
démontrons la viabilité de nos approches sur une grande variété de
modèles CAO. Finalement, notre travail est en théorie généralisable au
problème plus difficile du maillage hexaédrique, là où les algorithmes
de paramétrisation actuels sont soit uniquement valables pour les
surfaces, soit échouent à produire des résultats de façon robuste.

Bio :
Guillaume Coiffier est actuellement en post-doctorat à l'Université
Catholique de Louvain, dans le projet ERC X-Mesh mené par Jean-François
Remacle et Nicolas Moës, où il travaille sur le maillage d'interfaces
physiques dans les simulations par éléments finis. Il a effectué sa
thèse de 2020 à 2023 au Loria (Nancy) auprès de Dmitry Sokolov et
Etienne Corman. Elle portait sur le remaillage de triangulations en
quadrangulations basé sur des méthodes de paramétrisation de surfaces.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="220835"][kc_column width="25%" _id="532384"][kc_column_text _id="573078" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 01/02 2024 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="208474"][kc_column_text _id="708022" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Riccardo Tommasini
(MCF au LIRIS)

[/kc_column_text][/kc_column][kc_column width="25%" _id="101821"][kc_single_image _id="527913" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://www.riccardotommasini.com/assets/img/prof_pic.png"][/kc_column][kc_column width="25%" _id="622372"][kc_column_text _id="405837" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="705845"][kc_column width="12/12" video_mute="no" _id="534948"][kc_accordion _id="594544" close_all="yes"][kc_accordion_tab title="Seraph: Continuous Queries on Property Graph Streams" _id="468198"][kc_column_text _id="215582"]

Abstract:
In the dynamic landscape of data management, graph models and query
languages have emerged as powerful tools for modeling complex,
real-world processes. Among these, the property graph model and its
corresponding query languages, notably Cypher, have gained significant
traction in both industrial and research spheres. However, the
ever-growing demand for real-time data analysis presents a challenging
gap in these languages: their limited capability to handle streaming
graph data and continuous query evaluation.
Addressing this critical need, our latest work introduces SERAPH, an
innovative language built upon the foundations of Cypher, specifically
designed to support streaming features in property graph query
languages. SERAPH is not just an extension of existing paradigms; it
represents a paradigm shift. We have meticulously developed its
semantics by synergizing stream processing with the robust framework of
property graphs and time-varying relations. A key aspect of SERAPH is
its treatment of time as an integral component of its underlying
semantics, establishing a solid formal basis that is essential for
future practical implementations.
Furthermore, we delve into the syntax of SERAPH, carefully crafting it
to meet the needs of today's industries. The talk will feature a
comprehensive demonstration of how SERAPH can be effectively utilized in
real-world scenarios, particularly focusing on graph-based continuous
queries that are rapidly becoming vital in various industrial applications.

Bio:

Riccardo Tommasini is a Maître de conférence (Associate Professor) at
INSA Lyon, LIRIS Lab and a Visiting Professor at the University of
Tartu, Estonia. Riccardo holds a Ph.D. from the Department of
Electronics and Information of the Politecnico di Milano. His thesis,
titled *Velocity on the Web*, investigates the velocity aspects that
concern the Web environment. His research interests span Stream
Processing, Knowledge Graphs, Database System Internals, Logics and
Reasoning, and Programming Languages. His Research has been recently
founded by the French National Research Agency ANR. Since 2015, Riccardo
has been attending and speaking at international events both in academia
(ISWC, ESWC, WWW, DEBS, EDBT) and industry (DockerCon, InfluxDays,
LinuxLab, Digit). He also spoke a numerous meetups like the Time Series
Meetup Tallin (200+ attendants), Kafka Meetup Milan (60+ attendants),
and Data Science Seminars Tartu (200+ online attendants).

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="739994"][kc_column width="25%" _id="405364"][kc_column_text _id="930794" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 25/01 2024 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="650487"][kc_column_text _id="705129" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Nelly Barret
(Doctorante à l'École Polytechnique et Inria Saclay)

[/kc_column_text][/kc_column][kc_column width="25%" _id="492501"][kc_single_image _id="336434" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://pages.saclay.inria.fr/nelly.barret/docs/photo.jpg"][/kc_column][kc_column width="25%" _id="288061"][kc_column_text _id="989860" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GS13

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="380052"][kc_column width="12/12" video_mute="no" _id="239655"][kc_accordion _id="46885" close_all="yes"][kc_accordion_tab title="Exploration orientée-utilisateur de données semi-structurées" _id="272533"][kc_column_text _id="390365"]

Résumé:

À travers le monde, la création, l'utilisation et le partage sans
précédent des données contribue à de nouvelles applications et
opportunités économiques. Ces données sont souvent larges, hétérogènes
en schéma comme en modèle, et plus ou moins structurées. Pour y mettre
de l’ordre, le consortium du World Wide Web recommande de partager des
graphes RDF, ce qui a été majoritairement adopté dans l'Open Data
(données ouvertes), mais beaucoup d’autres formats sont utilisés en
pratique. C’est le cas des journalistes qui récoltent des jeux de
données de différents acteurs, qui ne se sont pas coordonnés. Plus
généralement, les utilisateurs et producteurs de données (novices ou
non) qui doivent trouver, utiliser ou partager des jeux de données se
trouvent face à un exercice difficile. Dans cette présentation, nous
proposons de nouvelles méthodes pour (i) produire le schéma d’un jeu de
données semi-structuré, (ii) énumérer un ensemble de chemins
intéressants dans ces données, et (iii) aider au requêtage de ces données.

Bio :

Nelly Barret est doctorante à Inria et l’Institut Polytechnique de Paris
(France). Elle travaille sous la supervision de Ioana Manolescu dans
l’équipe CEDAR. Son travail de thèse a pour but de faciliter
l’exploration et l’utilisation de jeux de donnés semi-structurés pour ds
utilisateurs novices, tels que les journalistes. Plus généralement, ses
centres d’intérêt se situent entre l’intégration de donnés, les données
hétérogènes, le management de données, mais aussi les données
géographiques et cartographiques. Elle a obtenu son Master à
l’Université de Lyon (France) en 2020.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="662503"][kc_column width="25%" _id="348978"][kc_column_text _id="77731" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 18/01 2024 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="23961"][kc_column_text _id="584943" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Sylvain Gerbaud
(docteur au XLIM à Poitiers)

[/kc_column_text][/kc_column][kc_column width="25%" _id="720412"][kc_single_image _id="473344" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3921" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="128129"][kc_column_text _id="650397" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GA127

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="355489"][kc_column width="12/12" video_mute="no" _id="519337"][kc_accordion _id="698276" close_all="yes"][kc_accordion_tab title="Reconstructions 3D tissulaires basées sur le métabolisme sous-jacent exploré en spectroscopie par résonance magnétique multi-noyaux" _id="116761"][kc_column_text _id="546868"]

Résumé : Dans le domaine médical, une représentation 3D du cortex cérébral est utilisée pour évaluer des volumes tumoraux et détecter des maladies neurodégénératives comme Alzheimer ou la sclérose en plaques. Le besoin de la 3D vise à créer des modèles précis et complexes pour une meilleure visualisation anatomique et pour de la simulation. Les modèles 3D sont généralement basés sur des grilles de voxels en fonction des données provenant de diverses techniques d’imagerie. Cependant, cette représentation présente des limitations pour les calculs géométriques, en raison de la taille des voxels, et ne reflète pas fidèlement l’anatomie réelle du cerveau. Pour obtenir une représentation plus détaillée, des approches de modélisation 3D continue ont été proposées. Les méthodes standards dans ce domaine sont limitées. Elles ne peuvent pas représenter les lésions ni les relations entre les tissus cérébraux. Ces relations sont essentielles pour garantir et valider la cohérence des structures tissulaires dans le modèle 3D. Nous proposons un modèle 3D continu dédié à l’étude du cerveau, qui centralise les données anatomiques et toutes les informations issues du contexte d’application. Nous décrivons une nouvelle méthode de reconstruction pour modéliser les tissus cérébraux, enrichi par des informations de sémantique et topologiques. Ces dernières sont décrites dans notre modèle par les cartes généralisées. Notre méthode utilise un ensemble de contraintes de cohérence définies en 3D, et exploite les connaissances et informations médicales pour guider la reconstruction. Ensuite, nous utilisons notre modèle pour une application de visualisation et de représentation de données acquises par spectroscopie par résonance magnétique. Cela permet notamment d’étudier, au plus proche des données réelles, l’impact des différents tissus reconstruits sur le métabolisme. Enfin, nous expliquons comment ce modèle peut être utilisé pour des applications basées sur des données acquises par tomographie.

Bio : Bonjour à tous et à toutes, je m'appelle Sylvain, j'ai 25 ans et je suis diplômé depuis le 22 novembre 2023 au titre de docteur en informatique graphique. J'ai réalisé mes études à l'Université de Poitiers, où j'ai eu l'opportunité de réaliser des stages en laboratoire qui m'ont donné envie de réaliser une thèse. Pendant ces 3 années de thèse, j'ai travaillé en collaboration avec des médecins (du CHU de Poitiers), et j'ai donc servi d'intermédiaire scientifique entre les spécialistes médicaux et informatiques. Le contact humain et le partage de mes connaissances sont deux choses que j'adore dans la vie de tout les jours, et c'est pour ça que j'ai enseigné pendant ma 2ème et 3ème année (et je continue avec mon ATER !). Sinon, en dehors du travail, je suis adepte du Crossfit et d'Haltérophilie depuis 3 ans.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="276495"][kc_column width="25%" _id="497061"][kc_column_text _id="68329" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 18/01 2024 à 10h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="203929"][kc_column_text _id="6056" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Loïc Paulevé
(DR, CNRS, LaBRI)

[/kc_column_text][/kc_column][kc_column width="25%" _id="686219"][kc_single_image _id="941761" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://loicpauleve.name/pic4.jpg"][/kc_column][kc_column width="25%" _id="394393"][kc_column_text _id="426887" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GA127

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="432563"][kc_column width="12/12" video_mute="no" _id="487209"][kc_accordion _id="163687" close_all="yes"][kc_accordion_tab title="Une introduction aux réseaux booléens" _id="916581"][kc_column_text _id="305261"]

Résumé : Les réseaux (d'automates) booléens sont des modèles fondamentaux des systèmes dynamiques, apparentés aux automates cellulaires et aux réseaux de Petri. Leur étude a notamment permis de mettre en avant le lien entre l'architecture d'un réseau et ses propriétés dynamiques, ainsi que l'importance de l’orchestration des mises à jour des états des automates
au cours du temps. Dans cet exposé, je donnerai un aperçu de résultats liés à l'analyse de la dynamique des réseaux booléens depuis différentes perspectives : combinatoire, complexité algorithmique, et modélisation des systèmes biologiques.

Bio : Directeur de recherche CNRS au LaBRI, ces travaux portent sur la modélisation formelle des systèmes biologiques, et en particulier sur le contrôle et la synthèse logique de réseaux booléens à partir de connaissances et données biologiques.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="370542"][kc_column width="25%" _id="523915"][kc_column_text _id="656908" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 21/12 2023 à 16h

[/kc_column_text][/kc_column][kc_column width="25%" _id="645187"][kc_column_text _id="936035" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Lynda Sellami (ATER à l’ESIREM)

[/kc_column_text][/kc_column][kc_column width="25%" _id="965938"][kc_single_image _id="333140" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_size="thumbail" image="3847"][/kc_column][kc_column width="25%" _id="823313"][kc_column_text _id="664718" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="467188"][kc_column width="12/12" video_mute="no" _id="11214"][kc_accordion _id="296232" close_all="yes"][kc_accordion_tab title="A Novel Agent-Based Intrusion Detection System for Wireless Body Area Network" _id="329487"][kc_column_text _id="384681"]

Abstract:
The objective of e-health is to assist patients in improving health care through integrating a wireless body network, communication infrastructure, and hospital network. The patient monitoring system assists. The mobility and dynamism offered by e-health services expose the health system to the risk of attacks and intrusions. However, securing patient information and confidentiality is essential to ensure quality care.Current research on security in e-health focuses on implementing authentication, encryption, and trust-based solutions for implanted and wearable medical devices. These solutions are often computationally expensive and challenging to implement on medical devices with limited resources.This paper proposes a novelintrusion detection system based on agent technology to protect patients' medical data.The proposed method detects network-level intrusions as well as anomalies in sensor data. Our model was experimented with by simulating a hospital network topology. Our simulation results demonstrate that we can achieve high detection accuracy

Résume :
L'objectif de la cybersanté est d'aider les patients à améliorer leurs soins de santé en intégrant un réseau corporel sans fil, une infrastructure de communication et un réseau hospitalier. Le système de surveillance des patients est utile. La mobilité et le dynamisme offerts par les services de e-santé exposent le système de santé à des risques d'attaques et d'intrusions. Cependant, la sécurisation des informations et de la confidentialité des patients est essentielle pour garantir des soins de qualité. Les recherches actuelles sur la sécurité en matière de santé en ligne se concentrent sur la mise en œuvre de solutions d'authentification, de cryptage et de confiance pour les dispositifs médicaux implantés et portables. Ces solutions sont souvent coûteuses en termes de calcul et difficiles à mettre en œuvre sur des dispositifs médicaux avec des ressources limitées. Ce travail propose un nouveau système de détection d'intrusion basé sur la technologie d'agent pour protéger les données médicales des patients. La méthode proposée détecte les intrusions au niveau du réseau ainsi que les anomalies dans les données des capteurs. Le modèle a été expérimenté en simulant une topologie de réseau hospitalier. Les résultats de simulation démontrent que nous pouvons atteindre une précision de détection élevée.

Bio:
Situation Actuel : Attaché Temporaire d’Enseignement et de Recherche (ATER section 27) à l’Ecole Supérieure d'Ingénieurs en Numérique et Matériaux (ESIREM) de l’Université de Bourgogne; et rattaché au Laboratoire d’Informatique de Bourgogne (LIB). Avec une expérience de plus de quinze ans comme enseignant chercher à l’université de Bejaia sise en Algérie. Rattaché au Laboratoire de Mathématique Appliquées (LMA).
Mes travaux de recherche se portent sur la sécurité de l’informatique omniprésente, de l’informatique objet, du cloud computing et dans le E-health afin de protéger les données médicales des patients contre les abus, ainsi que leurs vies privées.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="823925"][kc_column width="25%" _id="146037"][kc_column_text _id="106393" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 14/12 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="605879"][kc_column_text _id="628714" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Elio Hbeich (doctorant au LIB, équipe
SD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="379730"][kc_single_image _id="985739" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://0.academia-photos.com/114640045/27630191/25950072/s200_elio.hbeich.jpg"][/kc_column][kc_column width="25%" _id="799414"][kc_column_text _id="564591" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GS13

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="937756"][kc_column width="12/12" video_mute="no" _id="244572"][kc_accordion _id="241693" close_all="yes"][kc_accordion_tab title="Soutenance blanche « Vérificateur Règlementaire Sémantique et Multi-échelle »" _id="466302"][kc_column_text _id="67251"]

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="619426"][kc_column width="25%" _id="247264"][kc_column_text _id="311133" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 7/12 2023 à 15h45

[/kc_column_text][/kc_column][kc_column width="25%" _id="228669"][kc_column_text _id="486194" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Florian Beguet (post-doc au LIB, équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="682218"][kc_single_image _id="840110" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3268" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="705370"][kc_column_text _id="630958" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="509478"][kc_column width="12/12" video_mute="no" _id="578253"][kc_accordion _id="509152" close_all="yes"][kc_accordion_tab title="Atelier graphes de Reeb animé par Florian Beguet " _id="876551"][kc_column_text _id="921292"]

Les graphes de Reeb représentent des outils mathématiques puissants qui trouvent leur utilité dans l'exploration de la topologie des espaces, en mettant particulièrement l'accent sur les transformations de structure. Plus spécifiquement, ils offrent une visualisation graphique de l'évolution des composantes connexes d'un espace topologique. Leur champ d'application s'étend à divers domaines tels que la vision par ordinateur, la biologie moléculaire, la reconnaissance de formes, et même la cartographie des données. Ces graphes fournissent une méthode élégante pour extraire des informations cruciales à partir de données multidimensionnelles, facilitant ainsi la détection de motifs, la segmentation d'images, et la compréhension des relations structurelles au sein de systèmes complexes.

Dans le cadre de cet atelier, l'accent sera principalement mis sur l'étude des graphes de Reeb appliqués à des surfaces 3D, bien que leur applicabilité soit plus étendue. Nous vous invitons à vous joindre à nous pour découvrir comment cette approche peut transformer notre manière d'analyser et de comprendre la topologie d'espaces complexes, et si elle peut être appliquée à vos domaines de recherche spécifiques.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="725702"][kc_column width="25%" _id="574056"][kc_column_text _id="308019" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 7/12 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="456492"][kc_column_text _id="429836" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Lucie Druoton (post-doc au LIB, équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="469033"][kc_single_image _id="496536" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="2366" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="433607"][kc_column_text _id="381494" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="893441"][kc_column width="12/12" video_mute="no" _id="171634"][kc_accordion _id="168417" close_all="yes"][kc_accordion_tab title="Ondelettes sur graphe pour la caractérisation de rugosité" _id="851303"][kc_column_text _id="811181"]

Le projet FRACLETTES s'attache à proposer un corpus de base de géométries rugueuses générées par courbes et surfaces fractales autosimilaires et presque partout non dérivables. Pour ce faire, il faut d'abord caractériser la rugosité afin d'extraire des paramètres pertinents en dehors des paramètres de rugosités existants dans l’industrie ne tenant compte que de valeurs statistiques globales (par exemple moyenne , écart-type etc).

L'analyse en ondelettes peut être vue comme une analyse de Fourier plus localisée à la fois en échelle et en espace (ou temps). La décroissance des coefficients en ondelettes permet déjà la détection de singularités sur des signaux 1D ou 2D échantillonnés régulièrement. Lorsque les singularités sont nombreuses comme dans le cas de surfaces rugueuses ou de surfaces fractales, l'analyse spectrale et notamment le spectre de singularités donnent une caractérisation des types de singularités et de leur répartition sur le signal.

Plusieurs algorithmes permettent cette analyse et le calcul de ce spectre, à partir de l'analyse en ondelettes continue ou discrète, dyadique ou non, mais toujours sur des signaux échantillonnés régulièrement. Or les courbes et surfaces du corpus ne sont pas forcément échantillonnées régulièrement notamment lorsqu’elles sont générées par des processus itératifs à partir de points de contrôle quelconques. La généralisation de l'analyse en ondelettes est donc nécessaire pour des signaux non échantillonnées régulièrement. Plusieurs personnes se sont penchées ces dernières années sur l'analyse en ondelettes de graphes. Afin de nous affranchir des problèmes d’échantillonnages réguliers, nous avons proposé d'analyser des courbes et surface rugueuses en tant que graphes à partir de cette méthode. Il faut alors redéfinir les méthodes de détection de singularités et de calcul du spectre de singularités.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="886870"][kc_column width="25%" _id="658873"][kc_column_text _id="617663" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 30/11 2023 à 14h00

[/kc_column_text][/kc_column][kc_column width="25%" _id="800041"][kc_column_text _id="889807" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Cheikh-Brahim El Vaigh
(MCF au CIAD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="93071"][kc_single_image _id="959207" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3814" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="877763"][kc_column_text _id="269695" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Amphithéâtre Steinbrunn

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="54798"][kc_column width="12/12" video_mute="no" _id="691174"][kc_accordion _id="714143" close_all="yes"][kc_accordion_tab title="Knowledge graphs based data analysis" _id="135989"][kc_column_text _id="557309"]

Résumé :

Knowledge graphs provide a structured and semantically meaningful way to represent and organize information using ontologies. In our research, we employ knowledge graphs to capture the relationships between entities within a specific application domain.

This presentation will introduce a preliminary project that demonstrates how knowledge graphs can enhance data journalism by incorporating basic reasoning into information extraction tasks such as entity linking.

Furthermore, we will explore how knowledge graph embedding can be utilized for automatic graph alignment without requiring prior knowledge.

We will delve into Ontology-based data management (OBDM) and demonstrate how it can be optimized for data querying, enabling efficient knowledge graph querying.

Finally, we will showcase a use case for shape representation and retrieval using ontologies.

Bio :

Cheikh Brahim EL VAIGH is an associate professor at the University of burgundy(France), CIAD Lab. He is also a visiting researcher at the Osaka University Institute for Datability Science since 2019. He received his MASc degree in computer science from the univ-rennes1 University (France) in 2017 and his Ph.D. in January 2021 from the same university. During his Ph.D., he worked on the joint use of knowledge graph and NLP for data-journalism at the INRIA/IRISA lab (Rennes, France). His research is focused on data analysis with join approaches leveraging knowledge graphs such as text and graph, or image and graph learning. He is also working on ontology mediated query answering querying with both RDF and description logics.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="400871" _collapse="1"][kc_column width="25%" _id="836039"][kc_column_text _id="541391" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 16/11 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="424677"][kc_column_text _id="111751" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Pooran Memari

LIX, Palaiseau – équipe Geomerix

[/kc_column_text][/kc_column][kc_column width="25%" _id="146734"][kc_single_image _id="989354" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="http://www.lix.polytechnique.fr/~memari/Pooran-18.png"][/kc_column][kc_column width="25%" _id="895670"][kc_column_text _id="224422" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Amphi STEINBRUNN

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="28107" _collapse="1"][kc_column width="12/12" video_mute="no" _id="39605"][kc_accordion _id="978008" close_all="yes"][kc_accordion_tab title="Point Pattern Synthesis and Applications" _id="524078"][kc_column_text _id="350269"]

Abstract: Using points or small dots to represent any image or 2D shape is the most basic discrete representation that derives from our geometric intuition. Point pattern synthesis refers to the generation of such arrangements of points from exemplars and is motivated by a variety of applications in computer graphics, from discrete texture generation to creative pattern design, through objects placement, scene creation, as well as distribution simplification. Building on recent developments in statistical analysis and synthesis, we present computational tools to learn distributions from exemplars and seamlessly recreate them over larger regions, for instance to populate virtual worlds with varied elements, from rocks to vegetation, either automatically or by painting with interactive brushes. Motivated by the interactive design of discrete textures, we are also targeting quasi real-time methods to efficiently extract statistical properties from an input pattern, and efficiently extend  them while providing the possibility to edit the pattern in a user-friendly manner through intuitive and accessible tools such as image editors. Among the long list of challenging criteria for point pattern synthesis techniques, this talk covers multi-class and multi-attribute distributions handling, anisotropic and structured patterns replication, while presenting a research avenue toward a computational framework for point pattern design for applications such as data visualization and accessibility.

Bio: Pooran Memari est chercheuse CNRS au sein du LIX (Laboratoire d’Informatique de l’Ecole polytechnique) depuis décembre 2016. De 2011 à 2016, elle était affiliée à l’équipe de recherche en Informatique Graphique de Télécom ParisTech. Avant son affectation au CNRS, elle a effectué un postdoc à Caltech, après sa thèse chez Inria Sophia Antipolis en géométrie algorithmique. Elle s’intéresse à la modélisation géométrique et ses applications.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="977464"][kc_column width="25%" _id="283546"][kc_column_text _id="528414" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 14/09 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="693065"][kc_column_text _id="909749" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Lucie Druoton
(post-doc au LIB, équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="37509"][kc_single_image _id="365921" image_source="external_link" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_external_link="https://lib.u-bourgogne.fr/wp-content/uploads/2021/12/LD-Photo.jpg"][/kc_column][kc_column width="25%" _id="793718"][kc_column_text _id="173683" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

R22

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="306212"][kc_column width="12/12" video_mute="no" _id="794975"][kc_accordion _id="471491" close_all="yes"][kc_accordion_tab title=" Atelier :quot:Ondelettes sur graphe:quot:" _id="323830"][kc_column_text _id="465577"]

Titre : Ondelettes sur graphe

Proposé par : Lucie Druoton + membres du projet ANR FRACLETTES

Contexte : Projet FRACLETTES

Description / problématique :

Pour analyser les géométries des maillages (calculs de courbures, décomposition fréquentielle, simplification de maillage, compression, analyse de rugosité),on peut utiliser des outils d'analyse en ondelettes (analyse de Fourier locale).
Ces outils ont été introduits pour des analyses 1D (signal) puis étendus aux signaux 2D (et nD = comme le produit cartésien de n espace 1D). Les maillages (=notre signal= coordonnées des sommets du maillage), sont des représentations discrètes (échantillonnage) des formes géométriques. Ils ne sont généralement pas des produits cartésiens. Il existe des analyses en ondelettes sur maillage, mais les algos font l'hypothèse d'échantillonnages réguliers ce qui est très rarement le cas. Ainsi la localisation des données n'est pas prise en compte et le voisinage est déterminé par la structure du maillage (1 voisinage) sans tenir compte du fait que le point voisin (de l'autre côté de l'arête) est proche ou loin (géométriquement : facette étirée par exemple) ce qui biaise la notion de fréquence associée à l'analyse.

Pour la discussion :

Avez-vous une expérience sur les ondelettes, ou Fourier, ou autre analyse fréquentielle sur graphes ?

Est-ce qu'il n'y a pas des pb similaires pour la recherche de motifs dans les graphes

(suivant ce que représente le graphe, la topologie du graphe représente-t-elle correctement l'information,

s'il est nécessaire d'ajouter des poids sur les arêtes => comment tenir compte de ces poids) ?

Vous êtes curieux, venez !

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="591972"][kc_column width="25%" _id="754510"][kc_column_text _id="896959" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 07/09 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="258899"][kc_column_text _id="40859" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Maxime DUPONT et Richard LEESTMANS

[/kc_column_text][/kc_column][kc_column width="25%" _id="715348"][kc_single_image _id="988618" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3661" image_size="thumbnail"][kc_single_image _id="565127" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3662" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="669238"][kc_column_text _id="585437" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G124

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="54172"][kc_column width="12/12" video_mute="no" _id="87704"][kc_accordion _id="220454" close_all="yes"][kc_accordion_tab title="Le serveur de rugosités" _id="332637"][kc_column_text _id="417042"]

Résumé : Cette présentation détaille le travail réalisé durant les stages de Maxime DUPONT et Richard LEESTMANS (étudiants de M1 info), dans le cadre du projet de recherche coordonné par Céline Roudet, intitulé FRACLETTES (Modèles FRACtals et analyse en ondeLETTES pour la caractérisation des états de surfaces). Dans ce projet, l’équipe Modélisation Géométrique du LIB part du constat qu’il est souvent difficile, pour un domaine applicatif ou un besoin donné, de savoir précisément quel(s) paramètre(s) de rugosité
relie(nt) la topographie d’une surface aux phénomènes physique qu’elle subit ou qu’on lui applique.

La finalité du stage était de générer des géométries rugueuses de différents types (courbes, surfaces, volumes rugueux) à partir de modèles géométriques de rugosité et de mettre en place un serveur de rugosités pour proposer, sous forme d’interface web, un corpus de surfaces rugueuses. Les géométries rugueuses stockées sur le serveur seront ainsi mises à disposition des chercheurs ou ingénieurs intéressés, pour qu’ils puissent tester les fonctionnalités qui les intéressent sur ces surfaces.

Les deux principaux besoins étaient : la création d’une base de données permettant de stocker et indexer les géométries rugueuses, ainsi que la conception d’une interface Web permettant d’interroger la base. Nous avions donc besoin d’un serveur web pour répondre aux requêtes des utilisateurs et fournir des ressources (dont pages web). Ce serveur permet également d’interroger la base et de retourner les résultats d’une requête.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="956334"][kc_column width="25%" _id="28747"][kc_column_text _id="176523" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 22/06 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="439289"][kc_column_text _id="499175" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Ha Nguyen Huang

[/kc_column_text][/kc_column][kc_column width="25%" _id="48551"][kc_single_image _id="351920" image_source="media_library" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image="3569" image_size="thumbnail"][/kc_column][kc_column width="25%" _id="140681"][kc_column_text _id="618568" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G101
slides

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="508838"][kc_column width="12/12" video_mute="no" _id="802532"][kc_accordion _id="582172" close_all="yes"][kc_accordion_tab title="Ha Nguyen Huang vient visiter le LIB" _id="776904"][kc_column_text _id="897947"]

Résumé : Ha Nguyen Huang vient visiter le LIB du 19 au 23 juin. Il est enseignant-chercheur en Informatique à l'USTH, Université franco-vietnamienne de Hanoï (VN, https://www.consortium-usth.org/usth/). Il viendra présenter son université et les collaborations possibles, ainsi que ses propres projets de recherche. Il co-encadre depuis le début de l'année une thèse avec Romain Raffin sur l'appariement automatique d'objets archéologiques, via du machine learning sur des maillages et des textures. Il a auparavant travaillé sur la reconstruction automatique de scène 3D (routes, ouvrages d'art), fidèles aux règles du génie civil à Marseille (thèse soutenue en 2016).  La présentation et la discussion se feront en Anglais.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="27942"][kc_column width="25%" _id="831557"][kc_column_text _id="958208" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 15/06 2023 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="535858"][kc_column_text _id="550971" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Maëlle Beuret

(doctorante équipe MG du LIB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="648756"][kc_single_image _id="290473" image_source="external_link" image_external_link="https://lib.u-bourgogne.fr/wp-content/uploads/2021/09/Maelle-Beuret-Photo.jpg" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_size_el="thumbnail"][/kc_column][kc_column width="25%" _id="282107"][kc_column_text _id="923118" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="122361"][kc_column width="12/12" video_mute="no" _id="793658"][kc_accordion _id="828029" close_all="yes"][kc_accordion_tab title="COBAI : un modèle générique à base d:apos:agents centré sur les contextes et les interactions pour la simulation de comportements" _id="488030"][kc_column_text _id="461257"]

Résumé : COBAI (Context-Based Agent Interactions) est un modèle générique de simulation de comportements humains à base d'agents, basé sur un modèle précédemment développé dans l'équipe. Nous en avons conservé les caractéristiques principales : des contextes donnent des comportements aux agents ; les agents peuvent être influencés par plusieurs contextes et choisissent les comportements à adopter en fonction de leurs attributs de personnage. Ce mécanisme permet de contrôler le réalisme à la fois aux niveaux individuel et collectif. COBAI est un modèle plus complet avec une nouvelle architecture permettant l’exécution de plusieurs comportements simultanés issus d’une combinaison de contextes. Nous introduisons dans cette nouvelle version du modèle des notions telles que les ressources, outils, modalités et comportements incomplets et nous définissons des groupes d’agents avec distribution de tâches.

Bio :

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="541613"][kc_column width="25%" _id="434524"][kc_column_text _id="833146" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 8/06 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="432360"][kc_column_text _id="216120" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

François Pitois

(doctorant équipe CombNet du LIB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="361086"][kc_single_image _id="112866" image_source="external_link" image_external_link="https://lib.u-bourgogne.fr/wp-content/uploads/2021/12/FP-photo-mini.png" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_size_el="thumbnail"][/kc_column][kc_column width="25%" _id="877118"][kc_column_text _id="401176" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="99949"][kc_column width="12/12" video_mute="no" _id="393919"][kc_accordion _id="686091" close_all="yes"][kc_accordion_tab title="Détection de motif dans les graphes ordonnés" _id="681923"][kc_column_text _id="329437"]

Résumé : Un graphe ordonné est un graphe dans lequel les sommets sont ordonnés de
1 à n. Un motif est un graphe ordonné qui contient deux types d'arêtes :
les arêtes obligatoires et les arêtes interdites. Étant donné un motif,
la question que l'on s'est posée avec Michel Habib, Laurent Feuilloley
et Guillaume Ducoffe est celle de trouver un algorithme rapide qui
détecte si un motif apparait ou non dans un graphe ordonné donné en
entré. Naïvement, si le motif contient k sommets, cela se fait en temps
O(n^k). Cependant, on a pu montrer qu'il existait des classes de motifs
pour lesquels l'exposant ne dépend pas de la taille du motif. De plus,
nous avons introduit un nouveau paramètre p qui permet de décomposer les
motifs, et tel que tout motif de paramètre p puisse être détecté en
temps O(n^(cp)), où c est une constante entre 1 et 2.

Bio : François Pitois est un doctorant en 3ème année de thèse dans l'équipe
CombNet du LIB et dans l'équipe Graphes, Algorithmes et Applications du
LIRIS, sous la direction d'Olivier Togni et la codirection de Hamida
Seba et Mohammed Haddad. Il travaille sur la recherche de motifs et de
régularité dans les graphes.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="466172"][kc_column width="12/12" video_mute="no" _id="913666"][kc_column_text _id="689537"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="571286"][kc_column width="25%" _id="260916"][kc_column_text _id="375145" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 25/05 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="817880"][kc_column_text _id="448501" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Boris Bordeaux

(doctorant équipe MG du LIB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="362822"][kc_single_image _id="983979" image_source="external_link" image_external_link="https://lib.u-bourgogne.fr/wp-content/uploads/2021/12/BB-Photo.jpg" css_custom="{`kc-css`:{`any`:{`image-style`:{`width|img`:`150px`}}}}" image_size_el="thumbnail"][/kc_column][kc_column width="25%" _id="225220"][kc_column_text _id="644962" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS04

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="628804"][kc_column width="12/12" video_mute="no" _id="196806"][kc_accordion _id="15011" close_all="yes"][kc_accordion_tab title="Automatisation de conception de structures fractales à l:apos:aide du modèle BC-IFS" _id="657030"][kc_column_text _id="858562"]

Résumé : Les structures fractales lacunaires réduisent la quantité de matière, le
poids et améliorent certaines propriétés physiques telles que le
transfert thermique ou l’isolation phonique. La fabrication additive
permet aujourd’hui de construire de telles structures. Le modèle BC-IFS permet de coder la
topologie fractales de ces structures avec un automate représentant la
décomposition cellulaire ainsi que des contraintes définissant les
relations entre les cellules. Cependant, la conception de ces topologies
n’est pas automatique, il faut spécifier les contraintes manuellement.
Dans un premier temps, nous verrons comment automatiser leur conception
en 2D. Dans un second temps, nous nous pencherons sur les empilements
polytopaux de sphères (e.g. empilements d'Apollonius). Ils produisent
des structures fractales automatiquement à partir d’un polytope en
dimension supérieure. Nous montrons qu’il est possible de coder la
topologie des empilements polytopaux de sphères en 2D à l’aide du modèle
BC-IFS. L’automate et les contraintes sont déduits du polytope utilisé
pour l’empilement. Cela permet de bénéficier de la manipulation des
structures qu’offre ce modèle (codage topologique séparé du plongement
géométrique, points de contrôles pour changer la géométrie) ainsi que du
procédé automatique des empilements de sphères.

Bio : Boris Bordeaux est un doctorant en 2ème année de thèse dans l’équipe
Modélisation Géométrique du LIB, dans le cadre du projet ITERATE
(optimisation de conception par structures lacunaires multi-échelles).
Il est sous la direction de Christian Gentil et la codirection de Lionel
Garnier.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="997"][kc_column width="12/12" video_mute="no" _id="368452"][kc_column_text _id="774769"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="792979"][kc_column width="25%" _id="259667"][kc_column_text _id="729646" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 11/05 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="76470"][kc_column_text _id="824138" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Mohamad Janbein (doctorant équipe MG du LIB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="679608"][kc_single_image image_size="thumbnail" _id="121614" image_source="media_library" image="3448"][/kc_column][kc_column width="25%" _id="108021"][kc_column_text _id="684626" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="323048"][kc_column width="12/12" video_mute="no" _id="187449"][kc_accordion _id="167821" close_all="yes"][kc_accordion_tab title="Second Derivative and Curvature of Fractal Curves" _id="834662"][kc_column_text _id="673870"]

Résumé : The theoretical objective of our work is to propose a geometric characterization of surface roughness from fractal models for 3D objects. This characterization will generate groups of geometric models (made up of curves and surfaces) of different kinds of roughness. These models are dedicated to researchers and engineers in their search for the rough surface performing optimally in numerical simulations or to evaluate the impact of roughness on the physical properties of an object. We produce roughness by fractals so that it will have self-similar geometric properties and we generate fractals using BC-IFS in order to control roughness. So our hypothesis is to study the different levels of differentiability C0, C1, C2, ... in order to give this characterization. We showed in the past that the behavior of a fractal curve can be controlled by its differential components (right and left derivatives for controlling C1 differentiability). In this work, we study the behavior of the second derivative in order to see if we can also use it as a way to control a fractal curve. Using a "differential characteristic function" we show that for some particular cases, a fractal curve has a range of curvature.

Bio : Mohamad Janbein est en 3ème année de thèse dans l'équipe modélisation géométrique du LIB. Il est sous la direction de Christian Gentil et la codirection de Céline Roudet.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="719601"][kc_column width="12/12" video_mute="no" _id="3966"][kc_column_text _id="995892"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="897948"][kc_column width="25%" _id="754733"][kc_column_text _id="769147" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 9/03 2023 à 15h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="829181"][kc_column_text _id="822901" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Célia Biane

[/kc_column_text][/kc_column][kc_column width="25%" _id="82757"][kc_single_image image_size="thumbnail" _id="228207" image_source="media_library" image="3361"][/kc_column][kc_column width="25%" _id="35112"][kc_column_text _id="352834" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS02

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="289566"][kc_column width="12/12" video_mute="no" _id="204917"][kc_accordion _id="69563" close_all="yes"][kc_accordion_tab title="Réseaux biologiques : des réseaux Booléens en oncologie de précision calculatoire aux neurosciences expérimentales." _id="155214"][kc_column_text _id="37642"]

Résumé : Les modèles dynamiques Booléens de réseaux de signalisation et de transcription ont été utilisés ces dernières années pour modéliser les cellules tumorales et prédire des cibles thérapeutiques dans le Cancer. Des limitations majeures de l'application plus généralisée de ce type d’approche incluent d'une part, l'étape de construction des modèles qui est actuellement faite par des experts de la biologie moléculaire du cancer à partir de curation manuelle de la littérature, ce qui en fait un processus long, dépendant du modélisateur et difficilement reproductible et d'autre part, le développement de méthodes algorithmiques performantes permettant de réaliser des prédictions à partir des modèles. Au cours de ce séminaire, j'aborderai successivement la reconstruction de modèles biologiques Booléens à partir de données biologiques de type omiques (données moléculaires), de méthodes de reprogrammation du comportement dynamique des systèmes Booléens et de l'application de ces méthodes à la découverte de cibles thérapeutiques dans le cancer.
Dans une seconde partie, j'introduirai des concepts issus des neurosciences et présenterai des résultats publiés récemment portant sur les propriétés intégratives des neurones cérébelleux.

Bio : Célia a été chercheuse chez OPM (Oncodesign Precision Medicine - Dijon), lab. science des données et  Intelligence Artificielle entre cot. 2020 et oct. 2022. Avant cela elle était en post-doc. à l'Inria Rennes Bretagne Atlantique pendant 16 mois, et a travaillé sur le raisonnement sur des réseaux booléens pour identifier des signatures complexes de pathologies.
Sa thèse portait sur la reprogrammation comportementale : modèles, algorithmes et application aux maladies complexes, réalisée à l'Univ. Évry Val d'Essonne, Univ. Paris-Saclay - Laboratoire d'Informatique, Biologie Intégrative et Systèmes Complexes (IBISC).

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="708199"][kc_column width="12/12" video_mute="no" _id="141950"][kc_column_text _id="327047"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="921720"][kc_column width="25%" _id="600813"][kc_column_text _id="176286" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 2/03 2023 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="797992"][kc_column_text _id="724428" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Alexandros Singh (ATER à l’université de Sorbonne Paris Nord)

[/kc_column_text][/kc_column][kc_column width="25%" _id="497923"][kc_single_image image_size="thumbnail" _id="396932" image_source="media_library" image="3296"][/kc_column][kc_column width="25%" _id="311897"][kc_column_text _id="193386" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

C302

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="970839"][kc_column width="12/12" video_mute="no" _id="39528"][kc_accordion _id="16622" close_all="yes"][kc_accordion_tab title="La combinatoire du lambda-calcul et des cartes : bijections et propriétés limites" _id="124818"][kc_column_text _id="497039"]

Cet exposé concerne la combinatoire des cartes et leur interaction avec
le lambda calcul linéaire. En utilisant une combinaison de nouvelles
techniques bijectives et analytiques, nous explorerons la structure de
grandes cartes cubiques aléatoires et de lambda-termes linéaires, en
nous concentrant sur l'étude de diverses statistiques sur de tels
objets, en particulier celles liées à la présence de divers motifs et
leur connexion avec la dynamique de la bêta-réduction sur les termes
linéaires.

Bio : Je suis attaché temporaire d’enseignement et de recherche (ATER) à
l’université de Sorbonne Paris Nord, depuis septembre 2022. J’ai
effectué une thèse en informatique, sur la combinatoire des cartes
(plongements cellulaires des graphe sur des surfaces) et ses
interactions avec le lambda-calcul linéaire (objet étudié en logique et
en théorie de la preuve). Je me suis concentré sur le cas planaire et le
cas de genre arbitraire, dérivant des résultats à la fois bijectifs et
analytiques/probabilistes, y compris des lois limites pour divers
paramètres combinatoires définis sur les cartes cubiques enracinées, les
lambda-termes linéaires, et d’autres familles d’objets connexes.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="664991"][kc_column width="12/12" video_mute="no" _id="330081"][kc_column_text _id="606265"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="188559"][kc_column width="25%" _id="239932"][kc_column_text _id="916168" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 23/02 2023 à 15h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="276220"][kc_column_text _id="206823" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Khaydar NURLIGAREEV (ATER au LIPN, Université Sorbonne Paris Nord)

[/kc_column_text][/kc_column][kc_column width="25%" _id="388920"][kc_single_image image_size="thumbnail" _id="73782" image_source="media_library" image="3297"][/kc_column][kc_column width="25%" _id="519038"][kc_column_text _id="347185" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

C201

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="534151"][kc_column width="12/12" video_mute="no" _id="432308"][kc_accordion _id="196140" close_all="yes"][kc_accordion_tab title="Irreducibility of combinatorial objects: asymptotic probability and interpretation" _id="404028"][kc_column_text _id="541673"]

Résumé : Various combinatorial structures admit, in a broad sense,
   a notion of irreducibility: graphs can be connected, permutations
   can be indecomposable, polynomials can be irreducible, etc. We are
   interested in the probability that any such labeled object picked
   randomly is irreducible, as its size tends to infinity. In this
   talk, for certain classes, we obtain the asymptotics for this
   probability in a common manner. We show that the coefficients
   appearing in those asymptotics are integers and can be interpreted
   as the counting sequences of other “derivative”
   structures. Moreover, we obtain asymptotic probabilities that a
   random combinatorial object has a given number of irreducible
   components. Applications include connected graphs, indecomposable
   permutations, irreducible tournaments, connected square-tiled
   surfaces, indecomposable perfect matchings, combinatorial maps,
   etc. Also, using species theory, we treat the Erd ̋os–R ́enyi G(n, p)
   model.  This is a joint work with Thierry Monteil.

Bio : Khaydar Nurligareev is a research and teaching assistant (ATER) at
   the LIPN, University Sorbonne Paris Nord, where he received a PhD
   degree on October 2022. The main research of Khaydar is focused on
   enumerative and analytic combinatorics, but his research interests
   include other domains like probability theory, lattice models and
   tilings as well.
   
   Webpage:  https://lipn.univ-paris13.fr/∼nurligareev/

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="984552"][kc_column width="12/12" video_mute="no" _id="677546"][kc_column_text _id="547039"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="755225"][kc_column width="25%" _id="750030"][kc_column_text _id="863567" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 9/02 2023 à 15h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="156452"][kc_column_text _id="990214" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Slim KAMMOUN (postdoc à l'Institut de mathématiques de Toulouse)

[/kc_column_text][/kc_column][kc_column width="25%" _id="913873"][kc_single_image image_size="thumbnail" _id="127819" image_source="media_library" image="3295"][/kc_column][kc_column width="25%" _id="606515"][kc_column_text _id="450976" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="15713"][kc_column width="12/12" video_mute="no" _id="367978"][kc_accordion _id="808217" close_all="yes"][kc_accordion_tab title="Motifs consécutifs, moments, et processus ponctuels." _id="641023"][kc_column_text _id="350214"]

Résumé : Il est bien connu que le nombre de permutations de taille
   N avec des positions de descentes fixées peut s'écrire sous la
   forme d'un joli déterminant.  Dans une collaboration en cours
   avec Natasha Blitvić, Einar Steingrímsson, on veut faire la même
   combinatoire, mais en remplaçant les descentes par un motif
   consécutif.  On rappelle qu'un motif consécutif est juste l'ordre
   relatif de l'image de k entiers consécutifs.  Pour des positions
   d'apparitions periodiques, on conjecture qu'on obtient toujours les
   moments d'une loi de probabilité et on montre que certains de ces
   motifs font apparaitre les moments des lois classiques venant des
   probabilités libres (la loi semi-circulaire, les lois de Bessel
   libres etc.).

Bio : Slim est un chercheur-postdoctorant au sein de l'IMT à
   Toulouse.  Il a obtenu son doctorat en mathématiques en 2020 à
   l’Université de Lille.  Il a ensuite effectué un postdoc à
   l'université de Lancaster.  Slim travaille sur des questions liées
   aux motifs de permutations. Il s'intéresse également aux phénomènes
   d'universalité pour les permutations et les partitions aléatoires.
   
   Site-web de Slim : https://www.math.univ-toulouse.fr/~mkammoun/Accueil.html

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="833447"][kc_column width="12/12" video_mute="no" _id="953727"][kc_column_text _id="673369"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="928383"][kc_column width="25%" _id="834875"][kc_column_text _id="190596" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 9/02 2023 à 10h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="559122"][kc_column_text _id="833562" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Maidoun Mortada (enseignante à l'Université Libanaise de Beyrouth et chercheuse au laboratoire Kalma)

[/kc_column_text][/kc_column][kc_column width="25%" _id="74017"][kc_single_image image_size="thumbnail" _id="124311" image_source="media_library" image="3325"][/kc_column][kc_column width="25%" _id="535830"][kc_column_text _id="496012" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

GS06

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="722710"][kc_column width="12/12" video_mute="no" _id="535478"][kc_accordion _id="510938" close_all="yes"][kc_accordion_tab title="Paths in digraphs and Maximal forest" _id="225840"][kc_column_text _id="905693"]

Résumé : In 2015, El Sahili conjectured that for n ≥ 8, every oriented path of order n is contained in any n-chromatic digraph. After the cases of oriented paths with one and two blocks were solved, the case of three blocks is still open. We treat El Sahili conjecture for paths with three blocks and four blocks by studying the chromatic number that guarantees its existence in the digraph and sometimes by imposing conditions on the structure of the digraph to contain such a path. In our treatment, the tool of maximal forest proved that it is effective and made the problem more flexible. For this reason, light will be shed on this tool showing how it solves the problem by introducing a clear example.

Bio : Maidoun Mortada est enseignante à l'Université Libanaise de Beyrouth et chercheuse au laboratoire Kalma. Elle est en visite au LIB du 5/2 au 19/2.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="322551"][kc_column width="12/12" video_mute="no" _id="929581"][kc_column_text _id="804325"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="557074"][kc_column width="25%" _id="307773"][kc_column_text _id="243866" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 26/01 2023 à 15h15

[/kc_column_text][/kc_column][kc_column width="25%" _id="516448"][kc_column_text _id="517189" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Florian Beguet (post-doc au LIB, équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="952592"][kc_single_image image_size="thumbnail" _id="308905" image_source="media_library" image="3268"][/kc_column][kc_column width="25%" _id="777013"][kc_column_text _id="372799" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G124

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="709061"][kc_column width="12/12" video_mute="no" _id="155458"][kc_accordion _id="187181" close_all="yes"][kc_accordion_tab title="Intérêt des graphes de Reeb d:apos:indice de forme pour l:apos:extraction de caractéristiques géométrique sur des surfaces topologiquement complexes" _id="142258"][kc_column_text _id="962277"]

Résumé : Ce séminaire porte sur la construction et l’utilisation d’un outil de description topologique appelé graphe de Reeb pour des maillages surfaciques. Dans un premier temps, j’aborderai les différentes notions basiques à propos des graphes de Reeb et de leur construction. Puis, je présenterai différents travaux qui exploitent les propriétés de graphes de Reeb, construits à partir d’une fonction de courbure appelée (shape index). Cette construction permet d’obtenir une description de la topologie des surfaces tout en conservant les informations géométriques. Enfin, je terminerai la présentation par une proposition d’utilisation du graphe de Reeb pour la caractérisation de modèles archéologiques dans le cadre de mon projet post-doctoral au sein du LIB.

Bio : Florian Beguet est chercheur dans le domaine de l'infographie et de l'imagerie médicale. Il a obtenu un doctorat franco-canadien en 2022, qu'il a réalisé dans le cadre d'un programme conjoint entre l'Université d'Aix-Marseille et l’École de Technologie Supérieure de Montréal. Ses recherches ont porté sur la modélisation des structures de l'oreille moyenne et interne, ainsi que sur l'étude des malformations des canaux semi-circulaires dans le cadre de recherches sur la scoliose idiopathique de l'adolescent. Après avoir terminé son doctorat, il a passé deux ans en tant qu' ATER (professeur assistant) à l'Université d'Aix-Marseille, où il a poursuivi ses recherches sur la description de formes en 3D, y compris le développement d'une application pour l'extraction de cratères à partir de modèles 3D d'astéroïdes. Il est actuellement dans sa première année de recherche postdoctorale à l'Université de Bourgogne, où il travaille sur la caractérisation de modèles archéologiques en collaboration avec le Professeur Romain Raffin.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="907284"][kc_column width="12/12" video_mute="no" _id="894697"][kc_column_text _id="879112"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="734959"][kc_column width="25%" _id="660698"][kc_column_text _id="415558" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 15/12 2022 à 15h45

[/kc_column_text][/kc_column][kc_column width="25%" _id="236769"][kc_column_text _id="205451" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Guillaume Gilet (professor at the University of sherbrooke, CA)

[/kc_column_text][/kc_column][kc_column width="25%" _id="994346"][kc_single_image image_size="thumbnail" _id="504225" image_source="media_library" image="3139"][/kc_column][kc_column width="25%" _id="820186"][kc_column_text _id="396441" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G124

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="683547"][kc_column width="12/12" video_mute="no" _id="233525"][kc_accordion _id="858484" close_all="yes"][kc_accordion_tab title="Contribution à la génération stochastique d:apos:apparences procédurales" _id="408085"][kc_column_text _id="806788"]

Résumé : Alors qu’existe une demande croissante pour des mondes virtuels visuellement riches et d’une taille tendant vers l’infini, la majeure partie du secteur industriel (notamment vidéo-ludique) repose essentiellement sur la création manuelle, par des infographistes, d’objets tridimensionnels à l’apparence complexe et détaillée. Cela impose de fait une limite sur la taille, la complexité et la richesse visuelle des mondes virtuels qu’il est possible d’observer, car chaque élément d’une scène a été conçu et placé « manuellement », ce qui engendre de nombreux problèmes, tels que le coût (financier et en main d’œuvre), le stockage et transfert de ces informations de grande taille, l’augmentation de la puissance de calcul requise pour manipuler ces scènes…Une alternative naturelle consiste alors à générer des objets virtuels et leurs apparences de manière procédurale, c’est-à-dire de manière automatique à l'aide de définitions et règles reposant sur des outils mathématiques et physiques. Nous nous focaliserons dans cet exposé sur la génération procédurale de l’apparence des objets virtuels, dont la difficulté majeure reste le choix des modèles et paramètres à utiliser : Quels modèles possèdent les « bonnes » propriétés ? Quels sont les paramètres et modèles suffisamment intuitifs pour offrir à la fois un contrôle facile sur le résultat final et une grande qualité visuelle ?

Les surfaces visuellement riches exhibent une apparence complexe et variée, résultant, dans le monde réel, d’un ensemble de phénomènes physiques, chimiques, biologiques et d’interactions humaines. Alors que la modélisation et la simulation directe de ces phénomènes ne sont pas envisageables (dans le cadre temps-réel), l'utilisation de l'aléatoire dans les définitions procédurales permet d'accroître la variété des apparences générées. Toutefois, le contrôle de cet aléatoire est un problème difficile : où introduire l’aléatoire ? Qu’est ce qui doit être aléatoire ? Comment s’assurer de la qualité du résultat ? Nous présenterons dans cet exposé un ensemble de travaux et réflexions sur la pertinence de ce modèle aléatoire et tenterons d'apporter des éléments de réponses à la génération procédurale d'apparences complexes en temps réel.

Bio : Guillaume Gilet is a professor at the University of sherbrooke, CA. He received a PhD degree from the university of Strasbourg, France in 2009 and worked at the University of Limoges as assistant professor before joining the University of Sherbrooke in 2021 as professor. His research interest includes procedural texturing, real-time rendering, weathering and natural phenomenon.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="430428"][kc_column width="12/12" video_mute="no" _id="300073"][kc_column_text _id="743769"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="711249"][kc_column width="25%" _id="162951"][kc_column_text _id="400142" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 8/12 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="538542"][kc_column_text _id="599873" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Hiba Abou Jamra (doctorante au LIB, équipe SD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="793607"][kc_single_image image_size="thumbnail" _id="153254" image_source="media_library" image="3122"][/kc_column][kc_column width="25%" _id="890890"][kc_column_text _id="606312" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="933530"][kc_column width="12/12" video_mute="no" _id="252550"][kc_accordion _id="633008" close_all="yes"][kc_accordion_tab title="Détection et interprétation des signaux faibles dans les réseaux sociaux numériques" _id="412651"][kc_column_text _id="299440"]

Résumé : Les réseaux sociaux numériques sont devenus des outils importants en raison de leur capacité à transmettre l'information plus rapidement que les médias traditionnels, dans différents domaines tels que la politique, le marketing, l'alimentation et la santé, etc. Les organisations actuelles gérant des environnements complexes utilisent les réseaux sociaux comme un canal de communication afin de pouvoir interagir avec leurs clients et répondre aux besoins du marché. Dans ces environnements, la détection des signaux faibles permet d'anticiper les discontinuités, de répondre aux menaces ou de saisir des opportunités.

Dans cette thèse, nous proposons une nouvelle approche qui s'appuie sur la topologie d'un réseau social, pour la détection des signaux faibles. Nous avons choisi les graphlets (Prvzulj et al. 2004) pour mesurer des propriétés quantifiables caractéristiques du signal faible. En effet, les graphlets répondent à ces caractéristiques : ce sont de petits patterns (fragments d'un graphe), qui pris seuls sont peu visibles et de faible utilité apparente. Afin d'aider les experts métier dans leur prise de décision, nous proposons aussi des éléments contextuels d'interprétation des signaux faibles détectés.

Bio : Hiba Abou Jamra est en 4ème année de thèse dans l’équipe Sciences des données du LIB, dans le cadre du projet Isite-Cocktail. Elle est sous la direction de Marinette Savonnet et la codirection d’Eric Leclercq.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="910951"][kc_column width="12/12" video_mute="no" _id="3784"][kc_column_text _id="105239"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="668153"][kc_column width="25%" _id="585945"][kc_column_text _id="891129" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 1/12 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="554597"][kc_column_text _id="126190" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Manon Ansart (MCF au LEAD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="701117"][kc_single_image image_size="thumbnail" _id="392118" image_source="media_library" image="3111"][/kc_column][kc_column width="25%" _id="415314"][kc_column_text _id="807969" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="575870"][kc_column width="12/12" video_mute="no" _id="785831"][kc_accordion _id="585487" close_all="yes"][kc_accordion_tab title="« Data driven decision support systems for the early detection of subjects at risk to develop Alzheimer:apos:s disease »" _id="575142"][kc_column_text _id="225895"]

Abstract: Alzheimer's disease is a progressive disease, with subtle signs appearing several years before the first clinical symptoms. Identifying subjects who show these signs, and who are likely to develop the disease in the coming years, is a crucial point that could allow researchers to better study the disease mechanism, select patients for clinical trials and tailor patient care. In this talk I will present several data driven methods aiming at identifying at risk patients, operating in various settings and targeting different use cases.

Bio : Manon Ansart est actuellement Maître de conférences au LEAD. Elle a effectué son doctorat à Aramis (UMR Inria, CNRS, Inserm et Sorbonnes Université), sous la direction de Stanley Durrleman. Elle a ensuite effectué un post-doctorat au LIO (ETS Montréal). Elle se spécialise en machine learning, et aime particulièrement travailler sur des applications médicales.
Site web : https://www.manon-ansart.fr/

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="258244"][kc_column width="12/12" video_mute="no" _id="599675"][kc_column_text _id="607430"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="61946"][kc_column width="25%" _id="298592"][kc_column_text _id="144817" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 24 novembre 2022 à 14h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="889663"][kc_column_text _id="566611" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Laurence Dujourdy (ingénieure de recherche - AGROSUP Dijon)

[/kc_column_text][/kc_column][kc_column width="25%" _id="733408"][kc_single_image image_size="thumbnail" _id="953679" image_source="media_library" image="3095"][/kc_column][kc_column width="25%" _id="981630"][kc_column_text _id="520324" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="3592"][kc_column width="12/12" video_mute="no" _id="393951"][kc_accordion _id="490051" close_all="yes"][kc_accordion_tab title="Réflexions autour du profilage physico-chimique des stupéfiants. Ouverture aux domaines de l’agronomie et de l’agroalimentaire." _id="743407"][kc_column_text _id="870176"]

Résumé : Il s'agit de la présentation en vue de l’obtention de l’Habilitation à Diriger des Recherches.
Elle a pour objectif de fournir un panorama de ma recherche, d’abord dans le contexte particulier d’un laboratoire de police scientifique, puis dans une école d’ingénieur. Au-delà de la mise en œuvre de méthodes analytiques et statistiques, il est proposé toute une méthodologie pour exploiter au mieux et fiabiliser des données d’analyses.
Bio : Après un doctorat de physique des matériaux polymères, je me suis consacrée à l'analyse des réseaux de distribution des drogues, d'un point de vue physico-chimique pendant plus de 15 ans, d'abord à l'Université de Lausanne puis au sein de la police scientifique française. Je suis actuellement en détachement au sein de l'Institut Agro Dijon en tant qu'ingénieur de recherche en science de données et statistiques.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="481706"][kc_column width="12/12" video_mute="no" _id="159604"][kc_column_text _id="492851"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="176650"][kc_column width="25%" _id="428825"][kc_column_text _id="532027" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 24 novembre 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="867857"][kc_column_text _id="101510" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Rémi
Maréchal
(thèse
au LIB, équipe Com
bNet)

[/kc_column_text][/kc_column][kc_column width="25%" _id="900487"][kc_single_image image_size="thumbnail" _id="794161" image_source="media_library" image="2363"][/kc_column][kc_column width="25%" _id="188908"][kc_column_text _id="473192" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="313460"][kc_column width="12/12" video_mute="no" _id="789923"][kc_accordion _id="675724" close_all="yes"][kc_accordion_tab title="Introduction to Dyck paths with air pockets and connections with other combinatorial objects" _id="219942"][kc_column_text _id="307116"]

Abstract: We shall take a look at a new type of lattice paths, called "Dyck paths with air pockets". After getting acquainted with them, we shall see how they are related to all sorts of combinatorial objects, such as other, classical lattice paths or certain integer compositions.

Bio : Rémi Maréchal est en thèse au LIB, équipe CombNet sous la direction de Jean-Luc Baril, Vincent Vajnovszki, et la codirection de Sergey Kirgizov. Son travail porte sur des questions combinatoires concernant certains chemins sur réseau (énumération, bijections avec des classes de chemins connues, évitement/distribution/popularité de motifs, …).

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="138485"][kc_column width="12/12" video_mute="no" _id="866971"][kc_column_text _id="104175"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="793735"][kc_column width="25%" _id="100659"][kc_column_text _id="308756" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 jeudi 17 novembre 2022 à 15h45

[/kc_column_text][/kc_column][kc_column width="25%" _id="235981"][kc_column_text _id="321546" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Clément Poull (thèse
au LIB, équipe MG
)

[/kc_column_text][/kc_column][kc_column width="25%" _id="191348"][kc_single_image image_size="thumbnail" _id="860659" image_source="media_library" image="3079"][/kc_column][kc_column width="25%" _id="585934"][kc_column_text _id="355006" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G124

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="812191"][kc_column width="12/12" video_mute="no" _id="401198"][kc_accordion _id="411586" close_all="yes"][kc_accordion_tab title="La rugosité des surfaces et ses applications (répétition avant présentation aux jFIG le 24 nov. à Bordeaux)" _id="528811"][kc_column_text _id="350112"]

Résumé : cet état de l'art couvre les applications liées à la notion de rugosité des surfaces, qui est essentielle pour le projet ANR Fraclettes dans lequel une partie des membres de l'équipe MG du LIB est impliquée, dont Clément Poull.
Ce travail ne prétend pas être exhaustif. Nous nous sommes attachés à référencer les travaux dans les domaines qui nous ont paru les plus pertinents. Le monde industriel s'intéresse depuis longtemps à caractériser et à contrôler la rugosité pour la conception, la fabrication et le contrôle qualité. En informatique graphique, la rugosité est modélisée pour produire des géométries de surfaces ou pour simuler son impact sur la lumière lors du processus de rendu.

Bio : Clément Poull est en 2ème année de thèse dans l'équipe MG du LIB, dans le cadre du projet ANR Fraclettes. Il a obtenu le master de Sciences, Technologies, Santé - Mention Informatique Parcours type COMPUTER SCIENCE FOR AEROSPACE, de l'Université Toulouse III - Paul Sabatier, en 2021.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="140846"][kc_column width="12/12" video_mute="no" _id="534625"][kc_column_text _id="826211"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="23829"][kc_column width="25%" _id="899445"][kc_column_text _id="664224" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 13 octobre 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="41886"][kc_column_text _id="948113" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Mehdi Naima (post-doc au LIP6 - Sorbonne Université)

[/kc_column_text][/kc_column][kc_column width="25%" _id="212673"][kc_single_image image_size="thumbnail" _id="672785" image_source="media_library" image="3010"][/kc_column][kc_column width="25%" _id="2542"][kc_column_text _id="637298" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="719034"][kc_column width="12/12" video_mute="no" _id="401989"][kc_accordion _id="839787" close_all="yes"][kc_accordion_tab title="Extending Brandes algorithm to improve betweenness centrality computation in temporal graphs" _id="413031"][kc_column_text _id="609440"]

Abstract: Betweenness centrality has been a long subject of study in network science since it was introduced by Freeman in 1977. This centrality measure asses the importance of nodes in a graph, it has been used for example in social, biological and research collaboration networks. Moreover, betweenness centralit has been used in graph partitioning and community detection in the well-known Girvan-Newan algorithm.
A simple approach to compute betweenness centrality for all the nodes of a static graph is to use Floyd-Warshall algorithm that runs in O(n^3). Brandes in 2001 published an algorithm that runs in O(nm + n^2 log n ) on weighted graphs,  it is still considered one of the best theoretical results on the question.
Betweenness centrality has also been extended to temporal graphs. Temporal graphs have edges that bear labels according to the time of the interactions between the nodes. Betweenness centrality has been extended to the temporal graph settings, and the notion of paths has been extended to temporal paths. Recent results by Buss et al. and Rymar et al. extended Brandes algorithm to the temporal setting with a general algorithm running in O(n^2mT^2), where T is the number of time units. Their results rise 2 questions, one is about the nature of temporal paths and the other considering the extension of Brandes algorithm to the temporal setting. In the seminar we will discuss these issues and address them. We will see that we are able to deploy Brandes algorithm to its full extent and improve the running time of these recent results to O(nmT + n^2Tlog(nT)). We will also discuss how Brandes algorithm can also be generalized to stream graphs which are dynamic graphs with possible continuous time.

Bio: Since September 2021 I started a postdoc position at Sorbonne Université in the ComplexNetworks team. I am mostly working on graph metrics and graph random generation. My main subjects of interest are graph theory, dynamic graphs, combinatorics, random generation, analysis of algorithms and evolution processes than can model data structures and phylogenetic trees.
During my PhD I mostly worked around the enumeration, asymptotics and properties of increasing trees with label repetitions and finding connections with classical combinatorial objects. I also worked on the average tree compaction of some classes of increasing trees.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="109206"][kc_column width="12/12" video_mute="no" _id="930865"][kc_column_text _id="104509"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="508736"][kc_column width="25%" _id="562558"][kc_column_text _id="820387" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 6 octobre 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="432006"][kc_column_text _id="567400" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Mohammed Lalou (MCF au LIB, équipe SD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="314217"][kc_single_image image_size="thumbnail" _id="51607" image_source="media_library" image="3027"][/kc_column][kc_column width="25%" _id="437301"][kc_column_text _id="660298" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="632845"][kc_column width="12/12" video_mute="no" _id="23929"][kc_accordion _id="883480" close_all="yes"][kc_accordion_tab title="Key player identification in network (based on connectivity) and its applications" _id="391828"][kc_column_text _id="342193"]

Abstract : Many systems, consisting of a set of entities interacting with each other, are well modeled using graphs. Indeed, graph-based modeling is a powerful tool to represent and study relationships among the system entities. It becomes more and more exploited to analyze and understand the system behavior, as well as to design suitable approaches for dealing with related issues, such as diffusion control in complexes networks, community structure in social networks, etc.

In such a network, not all entities have the same importance, and some are more important than others, known in the literature as the most influential, most vital, most k-mediator elements or also the key and critical players. The issue of finding these key players has been extensively addressed in the literature because most phenomena are usually based on these entities in the way they occur and operate. Several measures have been introduced to distinguish the key players, and the most important are those based on structural properties of the network (more specifically on the network connectivity). This is the case, for example, of the players whose removal disrupts the network, which are considered as critical since almost all network applications are usually designed to be run in a connected environment.

In this talk, I will review some important variants of the problem of identifying key players considered in the recent literature, and discuss their possible contributions to deal with different issues and problems studied in networks.

Bio : Mohammed a eu son magister en 2009 à l'université de Béjaïa (en Algérie). Il a ensuite préparé une thèse de doctorat en collaboration entre l'université de Béjaïa et l'université Lyon1, sous la direction du professeur Kheddouci Hamamache. Il a ensuite rejoint le laboratoire LIRIS en 2013 pour 2 ans dans le cadre de sa thèse (la moitié de la période de thèse, et l'autre moitié était à l'université de Béjaïa selon la convention). Il a soutenu son doctorat en 2017 puis a obtenur un poste de maître de conférences au centre universitaire de Mila (en Algérie). Il a rejoint le LIRIS à nouveau en 2021 pour travailler cette fois-ci sur un projet de recherche en qualité de post-doctorant (CDD). Depuis septembre 2022, il est maître de conférences à l'université de Bourgogne.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="237702"][kc_column width="12/12" video_mute="no" _id="908104"][kc_column_text _id="599529"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="397997"][kc_column width="25%" _id="359919"][kc_column_text _id="410058" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 5 juillet 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="138133"][kc_column_text _id="11106" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Hermine Chatoux (MCF à ImVia)

[/kc_column_text][/kc_column][kc_column width="25%" _id="340340"][kc_single_image image_size="thumbnail" _id="218645" image_source="media_library" image="3124"][/kc_column][kc_column width="25%" _id="481839"][kc_column_text _id="371549" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="56816"][kc_column width="12/12" video_mute="no" _id="126471"][kc_accordion _id="762707" close_all="yes"][kc_accordion_tab title="Création de fractales pour la mesure de la perception humaine" _id="289833"][kc_column_text _id="59557"]

Hermine Chatoux est MCF à ImVia depuis 2020, équipe CORES. Elle a soutenu sa thèse en 2019 au XLIM à Poitiers. Ses domaines de recherche sont l'imagerie multivaluée pour l'analyse de l'apparence. Plus particulièrement, l'étude métrologique de la couleur et la texture dans le contexte de l'imagerie. 

Abstract : To study the human perception of texture, the fractional Brownian movement can be used to generate color texture images (a controlled variation in the spatio-chromatic space). Indeed, fractal textures are not directly related to a semantic subject and therefore will allow to measure “eye
sensation” and not “brain analysis”. Our focus of interest is the physical and perceptual constraints to generate such a mathematical object. The fBm strong hypothesis is the continuity of the space. When applying the concept to color images, a quantification is realized both in the spatial and the chromatic space.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="684422"][kc_column width="12/12" video_mute="no" _id="644095"][kc_column_text _id="369903"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="527034"][kc_column width="25%" _id="149280"][kc_column_text _id="625296" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 21 juin 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="464891"][kc_column_text _id="254785" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Elio Hbeich, doctorant au LIB (équipe SDD)

[/kc_column_text][/kc_column][kc_column width="25%" _id="573811"][kc_single_image image_size="thumbnail" _id="820046" image_source="media_library" image="2482"][/kc_column][kc_column width="25%" _id="477181"][kc_column_text _id="855229" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="275191"][kc_column width="12/12" video_mute="no" _id="39328"][kc_accordion _id="461936" close_all="yes"][kc_accordion_tab title="Vérificateur réglementaire sémantique et multi-échelle" _id="378630"][kc_column_text _id="530330"]

Elio Hbeich est doctorant au LIB (équipe SDD) sous la direction d'Ana Roxin.

Résumé :

"Le contrôle des maquettes bâtiments (BIM) a commencé par le vérificateur MvdXML (Fahad et al., 2018; Moult & Krijnen, 2020; Weise et al., 2015). Cependant, ce dernier avait plusieurs limitations comme l’absence d’analyses géométriques et de mécanisme de raisonnement. Afin de les surmonter, les travaux du CSTB publiés par (Bus, Fahad, et al., 2018) proposent une approche basée sur les technologies du Web sémantique pour la vérification les modèles BIM vis-à-vis des règles d’incendies. Cette approche prend en compte que des données mono-sources (celles du bâtiment) et ne traite que les règles de construction interne du bâtiment. 
 
De plus, les travaux réalisés par le CSTB (Bouzidi et al., 2012; Emani, 2016) se focalisent sur les règles qui vérifient une condition (propriété). Une propriété peut être une relation entre deux éléments, ou une caractéristique d’un élément. Par exemple, le regard doit être placé à la limite du domaine privé, la hauteur du bâtiment ne doit pas dépasser 55m. Une règle complexe est une règle qui vérifie plusieurs propriétés en même temps. L’analyse des règles urbaines montre que les règles sont textuelles, ambigues, complexes, multi-échelles et ont besoin d’un grand nombre de données hétérogènes isolées.
 
Mes travaux se focalisent sur l’extension de cette vérification de l'échelle bâtiment à l'échelle urbaine, dans un champ d’application concernant le système d’alimentation. Dans ce contexte ma thèse vise à spécifier une ontologie intégrant les connaissances des experts métiers (traduction des règles en langage logique) et les données hétérogènes (BIM et SIG). Cette ontologie sera utilisée pour vérifier les règles sur plusieurs niveaux de vérification (département, ville, quartier et bâtiment)."

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="918947"][kc_column width="12/12" video_mute="no" _id="827504"][kc_column_text _id="177939"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="10962"][kc_column width="25%" _id="145300"][kc_column_text _id="911607" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 9 juin 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="482654"][kc_column_text _id="369711" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Eric Guérin (MCF HDR au LIRIS - INSA Lyon)

[/kc_column_text][/kc_column][kc_column width="25%" _id="575030"][kc_single_image image_size="thumbnail" _id="255009" image_source="media_library" image="2810"][/kc_column][kc_column width="25%" _id="287755"][kc_column_text _id="292147" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="424405"][kc_column width="12/12" video_mute="no" _id="412698"][kc_accordion _id="6949" close_all="yes"][kc_accordion_tab title="Création, synthèse et édition de terrains numériques (mondes virtuels)" _id="627141"][kc_column_text _id="31432"]

Résumé : Les méthodes pour créer, synthétiser, éditer des terrains numériques existent depuis plusieurs décennies. Pour autant, on ne peut pas dire que le problème soit réglé tant il est complexe. Les terrains naturels sont le résultat des processus multiples qui opèrent à des échelles différentes. Dans cet exposé, je présenterai trois méthodes originales qui tentent d'apporter une pierre à l'édifice : une qui utilise de l'apprentissage profond, une autre qui utilise la modélisation parcimonieuse, et une dernière qui propose une modélisation par gradient.

Bio : Eric Guérin est maître de conférence au département informatique de l'INSA Lyon et au laboratoire LIRIS. Il a obtenu son doctorat à l'Université Claude Bernard Lyon 1 en 2002, et son HDR en 2017. Ses thématiques de recherche sont liées aux mondes virtuels au sens large : terrains numériques, végétation, atmosphère, rivières, etc. Les méthodes utilisées sont très variées, allant de la simulation d'érosion à la modélisation procédurale, en passant par du machine learning.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="244428"][kc_column width="12/12" video_mute="no" _id="49145"][kc_column_text _id="300595"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="34469"][kc_column width="25%" _id="849538"][kc_column_text _id="282895" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 12 mai 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="261477"][kc_column_text _id="438339" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Julien RITON (administratif au sein du rectorat de Dijon - titulaire d'un doctorat)


[/kc_column_text][/kc_column][kc_column width="25%" _id="205426"][kc_single_image image_size="thumbnail" _id="300017" image_source="media_library" image="2809"][/kc_column][kc_column width="25%" _id="359358"][kc_column_text _id="15180" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

HS01 (aile H Mirande)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="514031"][kc_column width="12/12" video_mute="no" _id="391801"][kc_accordion _id="999170" close_all="yes"][kc_accordion_tab title="Méthode de décomposition de domaine pour les problèmes de contact" _id="166454"][kc_column_text _id="260266"]

Résumé : Les méthodes de décomposition de domaines est la formalisation d'un concept naturel: répartir les tâches de calcul sur autant de sous-parties d'un domaine sur lequel est défini un problème.
Ici, le problème sera celui de la déformation de corps en contact, celui-ci s'exprimant sous la forme d'un problème d'optimisation. On verra comment
découpler ce problème en sous-problèmes permettant la parallélisation du calcul. Autrement dit, au lieu de faire la résolution d'un problème d'optimisation sur la globalité d'un domaine, on peut utiliser plusieurs machines en parallèle sur un problème d'optimisation réduit. Sans oublier la phase de communication des données à l'interface de découpage.

Bio et PDF : ici

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="968569"][kc_column width="12/12" video_mute="no" _id="984729"][kc_column_text _id="49425"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="543522"][kc_column width="25%" _id="95527"][kc_column_text _id="817103" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 22 mars 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="862017"][kc_column_text _id="133017" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Xavier Ouvrard

[/kc_column_text][/kc_column][kc_column width="25%" _id="43122"][/kc_column][kc_column width="25%" _id="595615"][kc_column_text _id="552666" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G122

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="260719"][kc_column width="12/12" video_mute="no" _id="99915"][kc_accordion _id="727695" close_all="yes"][kc_accordion_tab title="Hyper-bag-graphes et leurs applications pour la modélisation, l:apos:analyse et la visualisation de réseaux complexes de co-occurrences." _id="179946"][kc_column_text _id="401870"]

Résumé : L'énorme quantité et la variété des données à l'ère du Big Data nécessitent de développer des outils spécifiques qui pour donner un aperçu signifiant ne peuvent se réduire à de simples graphiques ou à des tableaux de synthèses classiques, particulièrement lorsqu'il s'agit de jeu de données textuels ou catégoriels; une navigation complète du jeu de données s'avère alors indispensable pour en apprécier la complexité. Dans ce séminaire, je présenterai comment en construisant des cooccurrences d'instances de données en se référant à un (ou des) types commun(s) servant de référence, permet de construire une navigation visuelle de l'espace d'information multi-facettes. Une représentation simplifiée consiste à développer ces relations de cooccurrences en cliques et de faire de la navigation par graphe. L'introduction des hypergraphes permet déjà de simplifier notablement la visualisation obtenue par 2-section de l'hypergraphe.

Afin de révéler les éléments importants des hypergraphes lorsque leur taille augmente, un tri de l'information est nécessaire de sorte à révéler au mieux les sommets et hyper-arêtes importantes du réseau. Une des méthodes consiste à recourir à un processus de diffusion. Se cantonner à l'utilisation de la matrice d'incidence, revient le plus souvent à utiliser de manière cachée la 2-section de l'hypergraphe. Une grande partie des recherches s'est donc concentré sur la construction d'un tenseur d'adjacence adapté pour les hypergraphes généraux, par des processus d'uniformisation de l'hypergraphe. Cela nous a amené à introduire les hyper-bag-graphes, comme extension des hypergraphes aux familles de multisets pour autoriser la duplication d'éléments dans les processus d'uniformisation et enfin de proposer un nouveau Laplacien tensoriel.

Bio : Xavier Ouvrard, actuellement Senior Fellow en charge du cluster de calcul du service de Radio-protection du CERN, a récemment obtenu son Doctorat à l'Université de Genève, sous la co-direction du Pr. Stéphane Marchand-Maillet (Université de Genève) et du Dr Jean-Marie Le Goff (CERN), après avoir passé trois ans d'études en licence et master d'informatique au CTU de l'UBFC. Antérieurement, ingénieur diplômé INPG, après deux ans dans les industries papetières il a rapidement bifurqué vers l'enseignement des mathématiques pendant une vingtaine d'années au Lycée International à Ferney-Voltaire (Ain), où il a également enseigné l'Informatique et les Sciences du Numérique et a été administrateur du réseau pendant de nombreuses années.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="304661"][kc_column width="12/12" video_mute="no" _id="921979"][kc_column_text _id="869170"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="180733"][kc_column width="25%" _id="694389"][kc_column_text _id="518929" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 17 mars 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="254972"][kc_column_text _id="68703" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Célestin Coquidé (post-doctorant - Institut UTINAM, équipe Physique Théorique et Astrophysique) - Besançon

[/kc_column_text][/kc_column][kc_column width="25%" _id="230080"][kc_single_image image_size="thumbnail" _id="351997" image_source="media_library" image="2621"][/kc_column][kc_column width="25%" _id="813744"][kc_column_text _id="88619" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 G122

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="40569"][kc_column width="12/12" video_mute="no" _id="710681"][kc_accordion _id="763512" close_all="yes"][kc_accordion_tab title="Le rayonnement culturel à travers le prisme de Wikipédia" _id="345425"][kc_column_text _id="558289"]

Résumé : Dans l'ère numérique d'aujourd'hui, l'encyclopédie en ligne Wikipédia prend une place importante. Créée en 2001 par Jimmy Wales et Larry Sanger, elle contient maintenant plus de 50 millions d'articles pour environ 300 éditions linguistiques. L'édition anglaise compte à elle seule 6 millions d'articles. La variété de sujets traités montre à quel point cette encyclopédie est riche en connaissance. Que ce soit sur l'art, le cinéma, la science ou même la politique, les articles sont faits par des milliers de collaborateurs. Cette encyclopédie peut-être représentée par un réseau de citations d'articles. Je vais présenter au cours de ce séminaire, des outils d'analyse permettant d'extraire des informations à partir de ce réseau, avec pour but l'étude du rayonnement culturel vu depuis Wikipédia. Je vous présenterai une étude sur les universités, leurs interactions directes mais aussi indirectes, ainsi que leur influence culturelle. Enfin, je décrirai comment, avec l'utilisation de données utilisateurs telles que le flux de clics, il est possible d'extraire des tendances culturelles se rapportant à une période donnée.

Bio

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="504145"][kc_column width="12/12" video_mute="no" _id="880323"][kc_column_text _id="111716"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="602311"][kc_column width="25%" _id="632236"][kc_column_text _id="315571" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 15 mars 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="748432"][kc_column_text _id="557843" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Guilherme MEDEIROS MACHADO (Chercheur postdoctoral - Équipe BIRD - LORIA)

[/kc_column_text][/kc_column][kc_column width="25%" _id="254525"][kc_single_image image_size="thumbnail" _id="598137" image_source="media_library" image="2611"][/kc_column][kc_column width="25%" _id="569739"][kc_column_text _id="85361" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio (Teams, équipe "Seminaires LIB")

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="837442"][kc_column width="12/12" video_mute="no" _id="566611"][kc_accordion _id="190105" close_all="yes"][kc_accordion_tab title="Systèmes de recommandation : un regard au-delà de la précision, et comment générer des explications à l:apos:aide de graphes" _id="877706"][kc_column_text _id="341976"]

Résumé : Les systèmes de recommandation ont été proposés dans les années 1990 et, depuis cela, la plupart des travaux dans ce domaine se concentrent sur la recherche visant à augmenter la précision des prédictions des préférences des utilisateurs. Cependant, certains problèmes surviennent lorsqu'un système est trop précis dans ses recommandations, notamment la génération de bulles de filtres et le biais de popularité. Un autre problème est lié à la nature de boîte noire des algorithmes, qui fournissent des recommandations très précises mais qui ne sont pas explicables, ce qui suscite la méfiance des utilisateurs. Comment proposer des systèmes plus responsables qui généreront des recommandations plus diverses et plus explicables ? C'est la question à laquelle mon projet de recherche vise à répondre. Plus précisément, j'explorerai l'utilisation de graphes de connaissances et de réseaux neuronaux de graphes pour générer des recommandations explicables.

Mots clés : systèmes de recommandation, IA explicable, IA fiable, réseaux de neurones à graphes.

Short-bio : Guilherme a obtenu son doctorat en informatique en 2018 à l'Université fédérale de Rio Grande do Sul (l'une des cinq meilleures universités du Brésil). Depuis 2019, il travaille comme chercheur postdoctoral au sein de l'équipe BIRD (anciennement KIWI) au LORIA à Nancy. Guilherme a de l'expérience dans les systèmes de recommandation, l'analyse des données, l'analyse de l'apprentissage, et dans la diversité de la recommandation de nouvelles. Son expérience est prouvée par ses publications dans des revues et conférences internationales sur le sujet.

Lien vers la page web : https://sites.google.com/view/guilherme-medeiros-machado/home 

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="445777"][kc_column width="12/12" video_mute="no" _id="193811"][kc_column_text _id="87445"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="900288"][kc_column width="25%" _id="719768"][kc_column_text _id="781504" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 10 mars 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="618360"][kc_column_text _id="331888" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Annabelle Gilet (ATER à l'UFR ST - uB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="745883"][kc_single_image image_size="thumbnail" _id="17944" image_source="media_library" image="2295"][/kc_column][kc_column width="25%" _id="402068"][kc_column_text _id="294542" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G122

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="560521"][kc_column width="12/12" video_mute="no" _id="784234"][kc_accordion _id="771746" close_all="yes"][kc_accordion_tab title="Apport des tenseurs et de leurs décompositions à l analyse de données massives" _id="606557"][kc_column_text _id="692395"]

Résumé : L'exploitation des données massives, que ce soit pour leur collecte, leur stockage ou leur analyse, nécessite de bâtir des systèmes flexibles capables de gérer l'hétérogénéité des modèles de données, en prenant en compte les caractéristiques des données (volume, vélocité, etc.), et tout en garantissant des propriétés fortes afin d'assurer que le résultat obtenu correspond aux objectifs des traitements définis.
Mes recherches visent à intégrer ces aspects à trois niveaux : au niveau des architectures logicielles, au niveau des modèles de données et au niveau des outils d'analyse. Concernant les deux derniers niveaux, je propose une approche sûre et orientée données s'appuyant sur les tenseurs.
Les tenseurs sont des objets mathématiques multi-dimensionnels permettant de modéliser une grande variété de données. Ils sont également dotés d'opérateurs puissants : les décompositions tensorielles. D'un point de vue analytique, ces dernières permettent d'extraire des relations interprétables entre les éléments des différentes dimensions. Dans cette présentation, je parlerai de deux décompositions : CAMDECOMP/PARAFAC et Tucker. Je montrerai leur utilité dans un contexte d'analyse, sur des jeux de données comportant une vérité de terrain mais aussi sur des données massives issues de Twitter.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="542945"][kc_column width="12/12" video_mute="no" _id="222054"][kc_column_text _id="876786"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="308902"][kc_column width="25%" _id="499819"][kc_column_text _id="175508" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 3 mars 2022 à 13h

[/kc_column_text][/kc_column][kc_column width="25%" _id="11130"][kc_column_text _id="411995" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Lamine DIOP (ATER at University of Tours)

[/kc_column_text][/kc_column][kc_column width="25%" _id="32046"][kc_single_image image_size="thumbnail" _id="197943" image_source="media_library" image="2580"][/kc_column][kc_column width="25%" _id="261924"][kc_column_text _id="267438" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio (Teams, équipe "Seminaires LIB")

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="803324"][kc_column width="12/12" video_mute="no" _id="412418"][kc_accordion _id="189567" close_all="yes"][kc_accordion_tab title="Structured Pattern Sampling in Complex data" _id="528810"][kc_column_text _id="776283"]

Résumé: Au cours des dernières années, les premières méthodes d'extraction de motifs ont rencontré d'énormes difficultés à cause du volume exponentiel de données. Ces méthodes sont incompatibles avec la nécessité de prendre en compte les retours des utilisateurs pour un processus interactif. En particulier, les méthodes d'extraction exhaustive de motifs intéressants ont rencontré deux problèmes majeurs : le temps de calcul qui dépend de la quantité de données à traiter et la nécessité de fixer le seuil de fréquence qui juge de la pertinence d'un motif. Ces obstacles sont de plus en plus visibles avec des données de nature complexe telles que des séquences, des données distribuées comme des triplestores du Web et des bases de données transactionnelles pondérées pour l'extraction d'itemsets à forte utilité. Une vue d'ensemble du domaine de la fouille de données montre que peu de méthodes d'extraction de motifs ont été proposées pour les bases de données distribuées. Cependant, de nombreuses applications du monde réel sur ces types de données nécessitent un temps de réponse très court et des motifs ayant une très bonne diversité. Pour surmonter ces obstacles, une nouvelle approche probabiliste, appelée échantillonnage en sortie, a été proposée. L'échantillonnage en sortie est une approche non exhaustive pour la découverte instantanée de motifs intéressants qui assure une bonne interactivité tout en offrant de solides garanties statistiques grâce à sa nature aléatoire. Dans ce séminaire, nous présenterons nos contributions dans ce domaine tout en montrant leur intérêt pour la construction de classifieurs de données séquentielles, la détection d'anomalies dans les triplestores du Web et la découverte d'itemsets à forte utilité moyenne. Nous terminerons par présenter un algorithme générique pour paralléliser efficacement toutes nos méthodes proposées avant de donner quelques perspectives dans l'échantillonnage d'itemsets à forte utilité moyenne dans les flux de données.
 
Biographie: Lamine Diop is currently ATER at University of Tours, France, since 2021. He received a double Master's degree in computer science from University Gaston Berger of Saint-Louis, Senegal, and University of Tours, France, in 2017 and his Ph.D in Computer Science from University Gaston Berger of Saint-Louis in 2020. His main research interests include pattern mining, semantic web and distributed databases, with a particular interest for local and stream pattern sampling. More recently, he studies how data mining methods can be used in the field of semantic web. For more details, please visit his website at https://sites.google.com/ugb.edu.sn/laminediop .

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="351712"][kc_column width="12/12" video_mute="no" _id="913899"][kc_column_text _id="155075"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="901709"][kc_column width="25%" _id="877438"][kc_column_text _id="360941" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 10 février 2022 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="424252"][kc_column_text _id="858393" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Esteban Bautista (post-doctoral researcher at LIP6 - Sorbonne Université)

[/kc_column_text][/kc_column][kc_column width="25%" _id="314826"][kc_single_image image_size="thumbnail" _id="632305" image_source="media_library" image="3126"][/kc_column][kc_column width="25%" _id="865635"][kc_column_text _id="686787" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 G112

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="314545"][kc_column width="12/12" video_mute="no" _id="102842"][kc_accordion _id="410259" close_all="yes"][kc_accordion_tab title="A frequency-structure decomposition for link streams" _id="573986"][kc_column_text _id="764851"]

Abstract: A link stream is a set of triplets (t, u, v) modeling interactions over time, such as person u calling v at time t, or bank account u transferring to v at time t. Effectively analyzing link streams is thus key for numerous applications. In practice, it is common to study link streams as a collection of time series or as a sequence of graphs, allowing to use time filters and graph filters to process the time and structural dimensions, respectively. However, time and structure are nested in link streams, meaning that time-domain operations can affect structure, and vice-versa. This calls for a frequency-structure representation that allows to characterize processing operations in both frequency and structure. Yet, it is hard to combine existing signal and graph decompositions as they do not interact well.

To address this limitation, this work proposes a novel frequency-structure decomposition for link streams. Our decomposition allows us to analyze time via existing signal decompositions (Fourier, Wavelets, etc) and to analyze structure via a novel decomposition for graphs that is tailor-made to interact well with signal decompositions. This novel graph decomposition operates by partitioning the edge-space of graphs into regions and measuring the activity of regions, resulting in a set of coefficients that have several interesting properties to characterize the structural properties of graphs and that can be used to compare them. We show that the combination of our graph decomposition with signal decompositions leads to a set of coefficients that effectively encode the dynamical and structural properties of link streams in a simple matrix format. Then, we show that the properties of our decomposition make it easy to define time and graph filters in the frequency-structure domain and finish by showing how we can use filters to recover the backbone of a link stream.

Biography: Esteban Bautista is currently a postdoctoral researcher at the Complex Network’s team from Sorbonne Université working on the generalization of graph theory and signal processing to study temporal networks. Previously, he obtained the PhD degree in Computer Science at ENS de Lyon where he extensively worked on graph-based machine learning.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="974089"][kc_column width="12/12" video_mute="no" _id="796048"][kc_column_text _id="360917"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="465059"][kc_column width="25%" _id="584098"][kc_column_text _id="892656" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 3 février 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="486244"][kc_column_text _id="957925" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Zakariya GHALMANE, Ph.D in Computer Science -
Laboratoire d'informatique de Grenoble (LIGLAB)

[/kc_column_text][/kc_column][kc_column width="25%" _id="993869"][kc_single_image image_size="thumbnail" _id="786529" image_source="media_library" image="3125"][/kc_column][kc_column width="25%" _id="433920"][kc_column_text _id="80702" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 visio (Teams, équipe "Seminaires LIB")

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="826621"][kc_column width="12/12" video_mute="no" _id="66066"][kc_accordion _id="245520" close_all="yes"][kc_accordion_tab title="Quelques applications utilisant l outil d analyse des réseaux complexes." _id="251607"][kc_column_text _id="755012"]

Bio and Abstract : here

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="511549"][kc_column width="12/12" video_mute="no" _id="75485"][kc_column_text _id="306801"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="761882"][kc_column width="25%" _id="213178"][kc_column_text _id="196253" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 27 janvier 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="51914"][kc_column_text _id="610905" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Yérali Gandica, assistante à Cergy (Laboratoire de Physique Théorique et Modélisation : LPTM)

[/kc_column_text][/kc_column][kc_column width="25%" _id="967599"][kc_single_image image_size="thumbnail" _id="518359" image_source="media_library" image="2416"][/kc_column][kc_column width="25%" _id="338054"][kc_column_text _id="206775" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 visio (Teams, équipe "Seminaires LIB")

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="713766"][kc_column width="12/12" video_mute="no" _id="492317"][kc_accordion _id="77367" close_all="yes"][kc_accordion_tab title="A Complex Systems approach to the emergence of socio-economic phenomena" _id="393940"][kc_column_text _id="858727"]

Abstract and Bio here

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="367567"][kc_column width="12/12" video_mute="no" _id="87231"][kc_column_text _id="278971"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="344159"][kc_column width="25%" _id="228909"][kc_column_text _id="372157" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 13 janvier 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="438033"][kc_column_text _id="117447" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Nicolas Magaud, MCF HDR - ICube Strasbourg (équipe IGG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="187493"][kc_single_image image_size="thumbnail" _id="669936" image_source="media_library" image="2338"][/kc_column][kc_column width="25%" _id="431657"][kc_column_text _id="435676" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio (Renater)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="901827"][kc_column width="12/12" video_mute="no" _id="295699"][kc_accordion _id="197223" close_all="yes"][kc_accordion_tab title="Un prouveur automatique pour la géométrie projective et son intégration à Coq" _id="355640"][kc_column_text _id="941172"]

Résumé : Afin de pouvoir démontrer formellement la correction d'algorithmes géométriques en Coq, il est nécessaire de disposer d'outils pour automatiser au moins partiellement les démonstrations en géométrie. Nous étudions cette question dans le cadre simple de la géométrie projective en utilisant une approche combinatoire et la notion de rang d'un ensemble de points. L'outil proposé, implanté en C, procède par saturation du contexte et permet de démontrer automatiquement de nombreux théorèmes emblématiques de la géométrie projective. Afin de s'assurer de la correction de ces démonstrations, l'outil produit une trace sous la forme d'un script de preuve, qui est ensuite vérifié par Coq.

Bio : Nicolas Magaud a effectué sa thèse dans le domaine des preuves formelles avec l’assistant de preuves Coq (INRIA Sophia-Antipolis, 2003). Il a ensuite été chercheur post-doctorant à Sydney (2003-2005), où il a travaillé sur la certification de code fonctionnel en théorie des types avec LF. Depuis son recrutement comme maître de conférences à l’Université de Strasbourg en 2005, il s’attache à adapter les outils de preuves formelles comme Coq à la modélisation des résultats géométriques. Son habilitation, soutenue en 2020, synthétise ses contributions, notamment en géométrie algorithmique (preuves formelles d’algorithmes géométriques), en démonstration automatique (preuves automatiques de propriétés en géométrie projective 3D et plus), et en calcul réel exact.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="739093"][kc_column width="12/12" video_mute="no" _id="618399"][kc_column_text _id="74031"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="441549"][kc_column width="25%" _id="845855"][kc_column_text _id="767145" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 6 janvier 2022 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="936352"][kc_column_text _id="475586" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Sebti Foufou, PR au LIB (équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="466941"][kc_single_image image_size="thumbnail" _id="925782" image_source="media_library" image="2278"][/kc_column][kc_column width="25%" _id="512157"][kc_column_text _id="827596" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

 G122 (ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="449070"][kc_column width="12/12" video_mute="no" _id="186365"][kc_accordion _id="586577" close_all="yes"][kc_accordion_tab title="Problématiques de recherche en PLM et liens avec la modélisation géométrique " _id="175028"][kc_column_text _id="654824"]

Résumé : Je commencerai ce séminaire par une introduction brève et générale de la thématique de recherche gestion de données le long du cycle de vie du produit (connue sous l’acronyme PLM pour Product Lifecycle Management), je discuterai les liens historiques entre le PLM et la modélisation géométrique, et donnerai quelques exemples de problèmes de recherche de PLM que nous avons étudiés et les contributions apportées notamment l’ontologie OntoStep pour une représentation sémantique des données de produits dans la norme STEP dans un contexte de Smart manufacturing, ainsi que l’utilisation des outils d’apprentissage automatique pour une classification des tableaux et objets anciens dans un contexte de digitalisation et préservation de l’héritage culturel. Je terminerai ma présentation par une discussion de quelques idées et problèmes de recherche à considérer pour de nouveaux projets autour du PLM.

Biographie :

Sebti Foufou est professeur à l’UFR Sciences et Techniques de l’Université de Bourgogne à Dijon. Il est membre du laboratoire LIB et du département IEM. Ses activités de recherche concernent la modélisation géométrique et la gestion du cycle de vie de produit (PLM). En modélisation géométrique Sebti a travaillé sur les contraintes géométriques et la représentation 3D par surfaces paramétriques, par surfaces algébriques et par maillages. En PLM il a travaillé sur la définition de modèles de données pour capturer et mieux représenter les informations produit dans le domaine de l’industrie manufacturière. Pour développer ses activités et projets de recherche Sebti mène une longue collaboration internationale avec notamment avec le NIST et l’Université du Tennessee aux États-Unis, avec Université du Qatar, et le RMIT de Melbourne, Australie. Sebti a encadré et co-encadré 19 thèses de doctorats et plusieurs stages de Master 2.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="29066"][kc_column width="12/12" video_mute="no" _id="30512"][kc_column_text _id="322582"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="351606"][kc_column width="25%" _id="679094"][kc_column_text _id="802165" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 16 décembre à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="551263"][kc_column_text _id="570356" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Alexis Baudin doctorant au Lip6 (Paris)

[/kc_column_text][/kc_column][kc_column width="25%" _id="431977"][kc_single_image image_size="thumbnail" _id="687038" image_source="media_library" image="2314"][/kc_column][kc_column width="25%" _id="215242"][kc_column_text _id="504727" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G119 (ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="132882"][kc_column width="12/12" video_mute="no" _id="952337"][kc_accordion _id="538646" close_all="yes"][kc_accordion_tab title="Calcul de communautés dans un graphe par percolation de cliques : algorithme quasi-exact, efficace en mémoire " _id="354568"][kc_column_text _id="375571"]

Résumé : La détection automatique de groupes de nœuds pertinents dans de grands graphes du monde réel, c'est-à-dire la détection de communautés, a des applications dans de nombreux domaines et a fait l'objet d'une grande attention au cours des vingt dernières années. L'une des méthodes les plus populaires conçues pour trouver des communautés qui se chevauchent (où un nœud peut appartenir à plusieurs communautés) est la méthode de percolation des cliques (CPM). Cette méthode formalise la notion de communauté comme une union maximale de 𝑘-cliques qui peuvent être atteintes les unes des autres par une série de 𝑘-cliques adjacentes, où deux cliques sont adjacentes si et seulement si elles se chevauchent sur 𝑘-1 nœuds. Malgré de nombreux efforts, CPM n'a pas pu être adapté à de grands graphes pour des valeurs moyennes de 𝑘. Des travaux récents ont montré qu'il est possible de lister efficacement toutes les 𝑘-cliques dans de très grands graphes du monde réel pour des valeurs moyennes de 𝑘. Nous nous appuyons sur ces travaux pour améliorer un algorithme de CPM. Dans les cas où ce premier algorithme fait face à des limitations de mémoire, nous proposons un autre algorithme, CPMZ, qui fournit une solution proche de la solution exacte, en utilisant plus de temps mais moins de mémoire.

Alexis Baudin est doctorant dans l'équipe ComplexNetworks - Sorbonne Université - LIP6 (Paris). Titre de sa thèse : "Problèmes d'énumération dans les graphes massifs et applications".

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="921793"][kc_column width="12/12" video_mute="no" _id="12191"][kc_column_text _id="380217"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="333030"][kc_column width="25%" _id="128175"][kc_column_text _id="852950" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 9 décembre à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="182289"][kc_column_text _id="577866" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Julie Digne, CR CNRS au LIRIS (Lyon)

[/kc_column_text][/kc_column][kc_column width="25%" _id="390815"][kc_single_image image_size="thumbnail" _id="216876" image_source="media_library" image="2383"][/kc_column][kc_column width="25%" _id="331929"][kc_column_text _id="363180" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G119 (ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="189950"][kc_column width="12/12" video_mute="no" _id="968973"][kc_accordion _id="669515" close_all="yes"][kc_accordion_tab title="New tools for surface analysis" _id="845682"][kc_column_text _id="727373"]

Abstract: In this talk we explore new tools for shape analysis. We consider surfaces and how local analysis of the angular oscillations and polynomial radial behavior around surface points leads to accurate normal estimation and new integral invariants. A direct application of these integral invariants is geometric detail exaggeration. In a second part we tackle the problem of finding relevant principal directions related to high order differential properties, we link those with the eigendecomposition of symmetric tensors and show that they can be efficiently computed using the previous angular/radial polynomial decomposition with interesting emerging applications.

Julie Digne est chargée de recherche CNRS (HDR) au LIRIS (équipe Origami). Ses domaines de recherche tournent autour du traitement et de l'analyse de surfaces, en particulier lorsque celles-ci sont représentées sous forme de nuages de points. Cela comprend : le débruitage, la reconstruction, la segmentation de surfaces et la fusion de scans. Elle s'intéresse particulièrement au développement d'approches d'apprentissage automatique pour les données géométriques. Elle a commencé à travailler sur ces sujets lors de sa thèse (2007-2010) avec Jean-Michel Morel au CMLA (ENS Cachan). Elle a poursuivi ces sujets à l'INRIA Sophia Antipolis (équipe Geometrica) avec Pierre Alliez, David Cohen-Steiner et des collègues de Caltech (Mathieu Desbrun et Fernando de Goes). En octobre 2012, elle a rejoint le laboratoire LIRIS (équipe GeoMod désormais fusionnée avec l'équipe Origami) de l'Université Lyon 1, en tant que chercheur CNRS. Elle a soutenu l'Habilitation à Diriger des Recherches en septembre 2018 à l'Université Lyon 1. Elle fait régulièrement partie de comités de programme des meilleurs conférences d'Informatique Graphique et Géometrie (Siggraph, Siggraph Asia, Eurographics, Symposium on Geometry Processing, Shape Modeling International). En 2021 elle a été Program Chair du Symposium on Geometry Processing.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="768411"][kc_column width="12/12" video_mute="no" _id="882490"][kc_column_text _id="720658"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="707084"][kc_column width="25%" _id="766223"][kc_column_text _id="900681" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 25 novembre à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="396911"][kc_column_text _id="330921" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Matteo Cervetti, post-doctorant au LIB (équipe CombNet)

[/kc_column_text][/kc_column][kc_column width="25%" _id="517198"][kc_single_image image_size="thumbnail" _id="253776" image_source="media_library" image="2268"][/kc_column][kc_column width="25%" _id="840039"][kc_column_text _id="932356" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G122 (ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="800231"][kc_column width="12/12" video_mute="no" _id="918640"][kc_accordion _id="164970" close_all="yes"][kc_accordion_tab title="Permutations avoiding the vincular pattern 1-32-4" _id="279411"][kc_column_text _id="91500"]

Abstract : The study of patterns in permutations is currently one of the most active trends of research in combinatorics. A permutationπ is a pattern of another permutation σ (written in one-line notation) when σ  contains a (non-necessarily consecutive) substring whose items are in the same relative order as the items of π. The notion of pattern in a permutation historically emerged from the problem of sorting permutations with certain devices, however the richness of this notion became especially evident from its plentiful appearances in several very different disciplines, such as mathematics, computer science and biology.  
In this talk we will present an  enumerative result about permutations avoiding a particular vincular pattern. In more detail, we will construct a single label generating tree for these permutations, showing that they grow according to powered Catalan succession rule and thus providing an explanation for a recursive formula which counts them. Finally, we will describe some combinatorial objects counted by the same sequence and provide some interesting conjectures. 
Matteo Cervetti est post-doctorant au LIB, équipe Combinatoire-Réseaux, sous la direction de Vincent Vajnovszki
 
 

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="705980"][kc_column width="12/12" video_mute="no" _id="908863"][kc_column_text _id="429921"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="46863"][kc_column width="25%" _id="478824"][kc_column_text _id="188444" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 18 novembre à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="701017"][kc_column_text _id="24789" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

François Blateyron, directeur de la recherche chez Digital Surf, Besançon

[/kc_column_text][/kc_column][kc_column width="25%" _id="389155"][kc_single_image image_size="thumbnail" _id="996223" image_source="media_library" image="2187"][/kc_column][kc_column width="25%" _id="654895"][kc_column_text _id="562431" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Amphi STEINBRUNN (ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="295853"][kc_column width="12/12" video_mute="no" _id="62433"][kc_accordion _id="288476" close_all="yes"][kc_accordion_tab title="Introduction de DigitalSurf et de son activité, puis présentation sur les états de surface et les applications principales." _id="67110"][kc_column_text _id="430235"]

  • Présentation de Digital Surf et de son activité
  • Introduction aux états de surface
  • Présentation du logiciel Mountains et de ses particularités
  • Exemples d'analyse de surfaces, notamment pour surfaces complexes
  • Tendances et évolution du domaine et des normes
  • Temps pour échanger et répondre aux questions.

François Blateyron est spécialiste de l'analyse des états de surface permettant l'optimisation des performances fonctionnelles des matériaux et des produits par le biais de l'analyse de la rugosité, des écarts de forme, de l'aspect, de la tribologie, etc.

* Impliqué pendant plus de vingt ans dans des projets internationaux avec des fabricants mondiaux d'instruments de mesure.
* Expert en métrologie, algorithmes mathématiques et normes de métrologie.
* Responsable pendant plus de dix ans de l'équipe de développement du logiciel Mountains

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="14809"][kc_column width="12/12" video_mute="no" _id="884800"][kc_column_text _id="818059"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="836354"][kc_column width="25%" _id="20371"][kc_column_text _id="243040" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 21 octobre 2021 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="938547"][kc_column_text _id="478632" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Ludovic Journaux

[/kc_column_text][/kc_column][kc_column width="25%" _id="374444"][kc_single_image image_size="thumbnail" _id="692001" image_source="media_library" image="2177"][/kc_column][kc_column width="25%" _id="539286"][kc_column_text _id="474616" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G119 (bâtiment ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="977833"][kc_column width="12/12" video_mute="no" _id="956289"][kc_accordion _id="735396" close_all="yes"][kc_accordion_tab title="Analyse de textures et réduction de dimensions : application à l’analyse de surfaces foliaires." _id="474896"][kc_column_text _id="14297"]

Résumé du séminaire : Dans le contexte de l’agriculture de précision visant à réduire et optimiser la pulvérisation de produits phytosanitaires, nos travaux s’intéressent à l’étude et la caractérisation de surfaces foliaires (hydrophiles ou hydrophobes) par analyse de textures. L’objectif de cette recherche est alors de caractériser et discriminer l’état de la surface foliaire à travers l’analyse d’images microscopiques de texture. Pour cela, nombreux sont les paramètres de texture existants. Parmi ces derniers nous avons retenu pour l’expérience l’un de ceux qui caractérise le mieux l’aspect fréquentiel. Malheureusement ce dernier, bien que robuste, représente des caractéristiques de haute dimension qui entraîne un phénomène identifié lors d’une phase de classification sous le nom de « malédiction de la dimension ». Pour résoudre ce problème nous proposons de réduire cette dimensionnalité à travers le prisme de différentes évolutions de méthodes de réduction de dimension allant des approches linéaires vers les approches non linéaires.

Ludovic journaux a obtenu un DEA en analyse et modélisation des systèmes biologiques à l’Université de Lyon1 suivi d’un doctorat en instrumentation et informatique de l’image au le2i en 2006. Après une année de post doctorat en 2007 à l’Université des sciences agronomiques de Gembloux (Belgique), il a été recruté en 2008 à AgroSup Dijon en tant que Maître de Conférences tout en restant affilié au Laboratoire d’informatique de l’Université de Bourgogne dans l’équipe Data Sciences. Ses travaux sont pluridisciplinaires et s’intéressent aux domaines de l’intelligence artificielle, aux méthodes de projections multidimensionnelles non linéaires, à l’analyse de données, au traitement du signal et des images. Il applique ses travaux à l’agronomie et l’agroalimentaire.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="621401"][kc_column width="12/12" video_mute="no" _id="869003"][kc_column_text _id="876572"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="493082"][kc_column width="25%" _id="54067"][kc_column_text _id="757075" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 14 octobre 2021 à 13h30

[/kc_column_text][/kc_column][kc_column width="25%" _id="539749"][kc_column_text _id="312511" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Ann Alkazzaz et Ghassan Aladool (enseignants-chercheurs de l'université de Mossoul, Irak)

[/kc_column_text][/kc_column][kc_column width="25%" _id="805879"][kc_single_image image_size="medium" _id="329056" image_source="media_library" image="2192"][/kc_column][kc_column width="25%" _id="847028"][kc_column_text _id="782894" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

G122 (bâtiment ESIREM)

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="150126"][kc_column width="12/12" video_mute="no" _id="700028"][kc_accordion _id="972698" close_all="yes"][kc_accordion_tab title=":quot:Improving and Adopting 2D QR code for Documenting Cuneiform Tablets:quot: - “Deaf-Blind People Communication System”" _id="155004"][kc_column_text _id="224821"]

Résumés et PDF des présentations.
 
Ghassan Aladool et Ann Alkazzaz sont enseignants-chercheurs à l'université de Mossoul, Irak. Nous les accueillons au sein du LIB du 1er au 25 octobre, dans le
cadre d'une bourse de perfectionnement formation-recherche de l'AUF. Ils travaillent sur la reconnaissance de l'iris et la documentation de tablettes cunéiformes.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="579348"][kc_column width="12/12" video_mute="no" _id="732627"][kc_column_text _id="23112"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="671568"][kc_column width="25%" _id="112766"][kc_column_text _id="732445" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 22 juin 2021 à 14h

[/kc_column_text][/kc_column][kc_column width="25%" _id="916398"][kc_column_text _id="279043" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Maëlle Beuret, doctorante au LIB (équipe MG)

[/kc_column_text][/kc_column][kc_column width="25%" _id="242168"][kc_single_image image_size="thumbnail" _id="827044" image_source="media_library" image="2148"][/kc_column][kc_column width="25%" _id="223979"][kc_column_text _id="690039" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="17730"][kc_column width="12/12" video_mute="no" _id="708288"][kc_accordion _id="642660" close_all="yes"][kc_accordion_tab title="Tour d:apos:horizon des simulations informatiques pour l:apos:aide à la gestion de crise" _id="728108"][kc_column_text _id="566285"]

Maëlle Beuret, actuellement en 1ère année de thèse dans l'équipe Modélisation Géométrique du LIB, présentera un état de l'art sous forme de positionnement par rapport au projet d'extension du modèle d'animation  comportementale pour l'aide à la gestion de crise pour le CESU (Centre d'Enseignements des Soins d'Urgence).

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="39752"][kc_column width="12/12" video_mute="no" _id="766516"][kc_column_text _id="395292"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="257521"][kc_column width="19.61%" _id="134385"][kc_column_text _id="15209" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

vendredi 18 juin 2021 à 15h15

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="628457"][kc_column_text _id="768049" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Alexis Guyot, M2 BDIA - stage au LIB (équipe SdD)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="52502"][kc_single_image image_size="thumbnail" _id="761980" image_source="media_library" image="1980" css_custom="{`kc-css`:{`any`:{`image-style`:{`text-align|`:`center`,`width|img`:`100px`,`height|img`:`100px`,`vertical-align|img`:`middle`}}}}"][/kc_column][kc_column width="39.18%" _id="649082"][kc_column_text _id="795418" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="715596"][kc_column width="12/12" video_mute="no" _id="966590"][kc_accordion _id="136313" close_all="yes"][kc_accordion_tab title="Détection d:apos:antagonisme et de polarisation sur les réseaux sociaux par l:apos:étude des frontières des communautés" _id="694746"][kc_column_text _id="493878"]

Résumé : La théorie des graphes et la science des réseaux ont donné naissance à de nombreux outils pour étudier le comportement des utilisateurs dans les réseaux sociaux. Parmi eux, les algorithmes de détection de communautés permettent de rassembler dans des groupes les utilisateurs qui interagissent plus entre eux qu'avec les autres. Dans le cadre de mes recherches, j'ai décidé de m'intéresser à la façon dont les communautés d'utilisateurs interagissent entre elles sur Twitter, afin de détecter de possibles traces de polarisation. La polarisation est le nom du phénomène qui intervient lorsqu'un groupe d'individus se scinde en deux pôles avec des avis conflictuels par rapport à un sujet donné, et pour la détecter j'ai mis au point puis implémenté une méthode complètement automatique, générique et non-supervisée qui mesure la dynamique des interactions des utilisateurs dits frontières au sein des différentes communautés pour détecter les relations potentiellement antagonistes. Le but de la présentation sera alors de parler un peu plus en détails du concept de polarisation avec un bref état de l'art, d'ensuite intuitivement expliquer ma méthode et les indicateurs qu'elle calcule à l'aide d'un exemple simple, et enfin de discuter de quelques résultats et des interprétations associées obtenus en pratique sur des jeux de données collectés dans le cadre du projet Cocktail.
Alexis Guyot, étudiant en M2 BDIA, a travaillé pendant son projet tuteuré orienté recherche et travaille toujours dans le cadre de son stage sur les communautés d'utilisateurs sur les réseaux sociaux, et plus particulièrement sur Twitter.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="752159"][kc_column width="12/12" video_mute="no" _id="816983"][kc_column_text _id="695356"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="483864"][kc_column width="19.61%" _id="829239"][kc_column_text _id="839795" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 25/05/21 à 15h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="967640"][kc_column_text _id="151333" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Sana Nadouri, ATER à l'ESIREM (uB)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="55159"][/kc_column][kc_column width="39.18%" _id="863939"][kc_column_text _id="370004" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="287706"][kc_column width="12/12" video_mute="no" _id="245248"][kc_accordion _id="527128" close_all="yes"][kc_accordion_tab title="Système réparti d’aide à la prise de décision distribuée et collective" _id="394202"][kc_column_text _id="331017"]

Résumé : Skyline paradigm provides an adequate tool to help users making decisions in the presence of multidimensional data and conflicting criteria. It is based on Pareto dominance relationship which returns the objects that are not dominated by any other object. The traditional skyline definition was recently expanded to group decision making to meet complex real-life needs encountered in many modern domain applications that require to analyze not only individual points but also groups of points. The group skyline aims at retrieving groups that are not dominated by any other group of the same size in the sense of a particular group-dominance relationship. It may often happen that this extended dominance leads to only a small number of non-dominated groups which could be insufficient for the decision maker. During the seminar, we expose our porposition to extend group skyline dominance by making it more demanding so that several groups leave incomparable. The original group skyline will be enlarged by some interesting groups that are not much dominated by any other group. The key element of this relaxation is a particular fuzzy preference relation, named "much preferred". We also present some algorithms and some experimental results tested on real, synthetic and generated data to insure reliability and the decision quality of the proposition.

Sana Nadouri est ATER, Université de Bourgogne - ESIREM, Dijon, France.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="580159"][kc_column width="12/12" video_mute="no" _id="343530"][kc_column_text _id="723815"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="142658"][kc_column width="19.61%" _id="85012"][kc_column_text _id="447292" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

mardi 30/03/21 à 14h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="958566"][kc_column_text _id="98246" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Claire Prudhomme, Research assistant - i3mainz (Allemagne)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="572409"][kc_single_image image_size="thumbnail" _id="423892" image_source="media_library" image="2782"][/kc_column][kc_column width="39.18%" _id="373893"][kc_column_text _id="732951" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="413377"][kc_column width="12/12" video_mute="no" _id="109091"][kc_accordion _id="247317" close_all="yes"][kc_accordion_tab title="Knowledge-driven multi-agent simulation engineering" _id="240771"][kc_column_text _id="640948"]

Claire est une de nos anciennes étudiantes qui a obtenu son Master 2 IIA en 2015 et a enchaîné sur une thèse en Allemagne, à Hochschule Mainz - University of Applied Sciences, sous la direction de Christophe Cruz, Frank Boochs et Ana Roxin, dont le titre est : "Ingénierie de simulation multi-agents conduite par la connaissance pour évaluer l'efficacité des plans de gestion de catastrophes"

p { margin-bottom: 0.25cm; line-height: 115%; background: transparent }a:visited { color: #800000; so-language: zxx; text-decoration: underline }a:link { color: #000080; so-language: zxx; text-decoration: underline }

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="975634"][kc_column width="12/12" video_mute="no" _id="80317"][kc_column_text _id="545100"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="513584"][kc_column width="19.61%" _id="580143"][kc_column_text _id="848859" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

lundi 15/03/21 à 10h 

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="717130"][kc_column_text _id="945772" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Carine Khali, doctorante au LIB, équipe CombNet

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="69843"][kc_single_image image_size="thumbnail" _id="959162" image_source="media_library" image="1153"][/kc_column][kc_column width="39.18%" _id="897980"][kc_column_text _id="637973" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="439599"][kc_column width="12/12" video_mute="no" _id="231604"][kc_accordion _id="988065" close_all="yes"][kc_accordion_tab title="Étude de statistiques combinatoires et de leur impact en optimisation évolutionnaire" _id="470145"][kc_column_text _id="505658"]

Résumé : Les travaux de recherche de cette thèse se décomposent en deux parties complémentaires : une étude théorique dans le domaine de la combinatoire des permutations et des mots, et une application dans le domaine de l'optimisation et plus particulièrement pour les problèmes d'optimisation des transports. De nombreux résultats d'énumérations théoriques sont présentés
concernant les statistiques associées à des motifs dans les permutations et d'autres classes d'objets combinatoires. Plus
précisément, en utilisant la théorie des fonctions génératrice, on énumère les mots de catalans évitant deux motifs de longueurs 3
ayant un nombre donné de descentes. De plus, on étudie le tri des permutations en utilisant deux piles en séries avec des motifs
interdits. On prouve que ces permutations sont comptées par les nombres de catalan et Schröder.
L'étude des permutations a de nombreuses applications. En nous concentrant sur l'optimisation des transports, où le trajet d'un véhicule est représenté par une permutation, nous étudions la transmission des caractéristiques génétiques à travers les générations dans des processus d'optimisation évolutive. Nous nous concentrons donc sur l'impact du codage et de la représentation des solutions sur les performances des algorithmes d'optimisation, en particulier la représentation par code de Lehmer et table d'inversion.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="814380"][kc_column width="12/12" video_mute="no" _id="288337"][kc_column_text _id="600584"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="78562"][kc_column width="19.61%" _id="362251"][kc_column_text _id="144289" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

vendredi 12/03/21 à 14h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="159534"][kc_column_text _id="104109" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Amir-Abdelkader Aouiz, ATER à l'UFR ST (uB)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="883480"][/kc_column][kc_column width="39.18%" _id="43406"][kc_column_text _id="277101" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="373510"][kc_column width="12/12" video_mute="no" _id="640344"][kc_accordion _id="195403" close_all="yes"][kc_accordion_tab title="La qualité de service dans les protocoles multi-chemins" _id="448923"][kc_column_text _id="937082"]

Résumé : Les réseaux MANET sont des réseaux mobiles capables de fonctionner sans fil ni infrastructure préexistante. Les réseaux MANET sont caractérisés par leurs environnements dynamiques, cette particularité rend le routage problématique en cas d’instabilité des éléments qui composent les communications non directes. Pour surmonter ces difficultés, de nouveaux types de protocoles de routage sont apparus, dont les protocoles de routage multi chemins.
Le routage multi chemin semble être une solution efficace dans les réseaux sans fil en permettant de se prémunir contre le problème de rupture de liens et de distribuer le trafic sur plusieurs chemins, ceci permet d’améliorer les performances des communications. L’objectif principal de notre travail est d’étudier les techniques de routage multi-chemins dans un contexte sans fil en vue d’obtenir de meilleures performances.
Nous avons proposé deux schémas pour l’optimisation d’énergie et la réduction de congestion du réseau. Nous avons dans un premier temps commencé par l’état de l’art qui nous a permis de bien comprendre la problématique et d’avoir une idée bien détaillée sur les solutions proposées par différents chercheurs. Cependant, la revue de cet état de l’art nous a permis de conclure qu’il reste encore des problématiques ouvertes. Nous avons montré dans la première partie de notre étude que la durée de vie des réseaux MANET est liée à la durée de vie nodale. Une solution pour la maximisation de durée de vie des nœuds mobiles en utilisant les valeurs historiques de l’énergie nodale est présentée. Ces valeurs sont utilisées pour calculer le taux de variation de l’énergie et par la suite pour révéler les nœuds avec une consommation excessive d’énergie. Les nœuds avec une forte consommation d’énergie sont exclus de découverts des liens de communication pour éviter le risque d’épuisement rapide, cela peut aider par la suite à maintenir de la connectivité entre les nœuds communicants et maximiser la durée de vie du réseau.
Dans la deuxième partie de notre étude, un nouveau paramètre pour repérer les nœuds congestionnés au centre du réseau en fonction du taux d’activité du canal est présenté. Le choix de paramètre est motivé par le fait que le taux d’activité du canal peut être la métrique appropriée pour détecter les zones encombrées centrales, où le délai de libération du support de communication et le temps de transmission des paquets à envoyer sont élevés. Ceci motive l’approche proposée par repousser le trafic du centre du réseau en se basant sur le nouveau paramètre proposé, entraînant une diminution de la fréquence de collision des paquets et une réduction du délai de bout en bout.
Nous avons validé les deux contributions en utilisant l’outil de simulation NS-2 sous différents scénarios de trafic et de mobilité, en variant le nombre des nœuds, le nombre de communication etc. Nous avons montré à travers les simulations l’intérêt de nos contributions dans l’amélioration des performances du réseau en termes de maximisation de durée de vie des nœuds, réduction des délais de bout en bout, réduction de surcharge du réseau, et l’amélioration de taux de paquets délivré avec succès.

Thèse réalisée en cotutelle entre l’université de Mulhouse et l’université de SBA en Algérie, sous la direction de Pr Pascal LORENZ et Pr BOUKLI HACENE.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="859255"][kc_column width="12/12" video_mute="no" _id="762196"][kc_column_text _id="641694"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="528590"][kc_column width="19.61%" _id="431247"][kc_column_text _id="63455" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

lundi 01/03/21 à 15h45

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="469775"][kc_column_text _id="49464" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Mohamed Hamidi, ATER à l'UFR ST (uB)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="93935"][/kc_column][kc_column width="39.18%" _id="540770"][kc_column_text _id="745729" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="369489"][kc_column width="12/12" video_mute="no" _id="55771"][kc_accordion _id="400563" close_all="yes"][kc_accordion_tab title="Tatouage numérique d:apos:images 2D et de maillages 3D : Application à la protection des droits d:apos:auteur" _id="771386"][kc_column_text _id="748247"]

Résumé : De nos jours, les contenus multimédia, notamment les images, les sons, les vidéos et les objets 3D connaissent une utilisation accrue suite à la croissance considérable de la puissance des
ordinateurs et à l'augmentation de la vitesse de transmission des réseaux.
En conséquence, ces contenus peuvent être copiés, modifiés ou redistribués facilement. Pour remédier à ce problème, il est nécessaire de mettre en œuvre une technique de sécurité permettant la sécurisation de ces contenus. Pour ce faire, le tatouage numérique est considéré
comme une solution efficace. Il consiste à insérer une information, appelée tatouage ou marque, dans le contenu multimédia afin de le protéger contre les utilisateurs malintentionnés. Dans ce contexte, nous proposons dans cette thèse trois contributions dans le
domaine de tatouage numérique d'images 2D et de maillages 3D pour la protection des droits d'auteur dans les chapitres 2, 3 et 4, respectivement.

Mohamed Hamidi est docteur en sciences de l'ingénieur, spécialité : informatique et télécommunications de l'université Mohammed V de Rabat, Maroc.

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="548320"][kc_column width="12/12" video_mute="no" _id="463122"][kc_column_text _id="149822"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="167255"][kc_column width="19.61%" _id="311615"][kc_column_text _id="669055" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

vendredi 12/02/21 à 9h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="43108"][kc_column_text _id="446339" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Kamal E. Melkemi, Professeur à l'Université de Batna 2 en Algérie

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="395806"][/kc_column][kc_column width="39.18%" _id="781205"][kc_column_text _id="297385" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="184061"][kc_column width="12/12" video_mute="no" _id="788843"][kc_accordion _id="612257" close_all="yes"][kc_accordion_tab title="Apprentissage profond par les réseaux de neurones convolutionnels" _id="945092"][kc_column_text _id="862337"]

Resumé : Cette présentation est consacrée à l’apprentissage profond et aux réseaux de neurones convolutionnels (CNNs). Particulièrement, l’accent sera mis sur l’apprentissage profond par les CNNs. 
L’exposé va traiter les points suivants :
- Un historique de l’intelligence artificielle, l’apprentissage automatique et des réseaux de neurones classiques en arrivant aux CNNs.
- Le principe et le fonctionnement des CNNs.
- Une comparaison entre ces réseaux de neurones artificiels classiques et les CNNs.       
- D’où vient l’idée des CNNs ?
Essayer de comprendre le succès extraordinaire des réseaux CNNs.
Kamal E. Melkemi est chef du département informatique de l'Université de Batna 2 en Algérie. Il a obtenu son doctorat (Ph.D.) en informatique de l'Université de Constantine en 2006. Son mémoire de recherche porte sur les algorithmes évolutifs basés sur la MRF (Markov Random Fields) pour la segmentation d'images. Ses intérêts de recherche actuels incluent la reconnaissance de formes, l'intelligence artificielle, l'apprentissage automatique et profond, la robotique. Kamal collabore avec l'équipe Modélisation Géométrique du LIB depuis de nombreuses années ...
 

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="646424"][kc_column width="12/12" video_mute="no" _id="900020"][kc_column_text _id="495011"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="497260"][kc_column width="19.61%" _id="552866"][kc_column_text _id="151992" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

vendredi 8/01/21 à 9h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="886794"][kc_column_text _id="130273" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Dmitry Sokolov,  Maître de conférences HDR - responsable de l'équipe PIXEL / INRIA Nancy

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="47367"][kc_single_image image_size="thumbnail" _id="891995" image_source="media_library" image="1706"][/kc_column][kc_column width="39.18%" _id="143172"][kc_column_text _id="376767" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="375915"][kc_column width="12/12" video_mute="no" _id="523755"][kc_accordion _id="198036" close_all="yes"][kc_accordion_tab title="Towards full automatic, full hexahedral meshing" _id="431655"][kc_column_text _id="349168"]

Resumé : L'état de l'art du maillage tétraédrique a maintenant atteint une maturité qui rend raisonnablement facile le maillage de formes arbitraires en utilisant les logiciels existants. Pour le maillage hexaédrique, la situation est différente, et malgré des progrès importants, l'état de l'art est encore loin d'une solution générale et robuste entièrement automatique.Le nombre de cas d'échec reste important, même pour des objets simples qui peuvent présenter des les aspects combinatoires du problème. Malgré une quantité importante des efforts de recherche pour résoudre ces problèmes, la conception d'un algorithme de remaillage hexaédrique complet nécessite de résoudre de nombreux problèmes ouverts. Pour cette raison, le maillage à dominance hexaédrique peut être une option qui mérite d'être étudiée : en relâchant le problème, il génère encore un résultat valide dans les cas où les méthodes de l'hexaèdre plein échouent généralement, au détriment l'introduction d'éléments non hexaédriques tels que les tétraèdres, les pyramides et des prismes.

Dmitry Sokolov est Maître de conférences HDR et responsable de l’équipe INRIA PIXEL au laboratoire LORIA de Nancy (Université de Lorraine, Inria Nancy – Grand Est).

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="421790"][kc_column width="12/12" video_mute="no" _id="485737"][kc_column_text _id="126508"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="86887"][kc_column width="19.61%" _id="290281"][kc_column_text _id="680847" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 19/11/20 à 10h15

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="430332"][kc_column_text _id="708882" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Bruno Lévy (Nancy INRIA – Laboratoire LORIA)

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="771335"][kc_single_image image_size="thumbnail" _id="717547" image_source="media_library" image="1625"][/kc_column][kc_column width="39.18%" _id="976200"][kc_column_text _id="474694" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

visio

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="37402"][kc_column width="12/12" video_mute="no" _id="556784"][kc_accordion _id="799239" close_all="yes"][kc_accordion_tab title="Toujours tout droit ! Des liens étroits entre physique, mathématiques et informatique permettent de résoudre des problèmes de calcul en cosmologie " _id="384135"][kc_column_text _id="945702"]

Resumé : Sa présentation intitulée «  Toujours tout droit !  » se propose de montrer comment des liens étroits entre physique, mathématiques et informatique permettent de résoudre des problèmes de calcul en cosmologie. Elle se déroulera à distance depuis Nancy
le jeudi 19/11 à 10h15. Un format de 45 min suivi des
questions sera proposé. L’orateur a les qualités nécessaires pour vulgariser et pour susciter la curiosité, le questionnement, … De plus, il est reconnu internationalement au sein de la communauté informatique graphique et c’est donc une belle opportunité.

Bruno Lévy est Directeur de Recherche Inria. Il dirige actuellement le Centre Inria Nancy Grand-Est. Ses travaux de recherche, sont à la frontière entre informatique et mathématiques appliquées, et ont pour objectif de construire des représentations géométriques optimales pour la simulation numérique.

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="542413"][kc_column width="12/12" video_mute="no" _id="681257"][kc_column_text _id="528303"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="25894"][kc_column width="19.61%" _id="71071"][kc_column_text _id="473556" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

23/10/20 à 14h

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="830759"][kc_column_text _id="992810" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Joël Savelli, MCF au LIB, équipe MG

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="30237"][/kc_column][kc_column width="39.18%" _id="898390"][kc_column_text _id="581989" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

ESIREM

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="220118"][kc_column width="12/12" video_mute="no" _id="469151"][kc_accordion _id="44043" close_all="yes"][kc_accordion_tab title="Simulation de situations d urgence pour la formation des cadres de santé" _id="728201"][kc_column_text _id="138904"]

Simulation de situations d'urgence pour la formation des cadres de santé - Un serious game pour la formation à la gestion de crises sanitaires

PDF

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row][kc_row use_container="yes" _id="475375"][kc_column width="12/12" video_mute="no" _id="292158"][kc_column_text _id="396424"]


[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="642816"][kc_column width="19.61%" _id="577789"][kc_column_text _id="416712" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

jeudi 8/10/20 à 15h45

[/kc_column_text][/kc_column][kc_column width="25.18%" _id="246028"][kc_column_text _id="373746" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

Céline Roudet, MCF au LIB, équipe MG

[/kc_column_text][/kc_column][kc_column width="15.98%" _id="326871"][kc_single_image image_size="thumbnail" _id="432580" image_source="media_library" image="1601"][/kc_column][kc_column width="39.18%" _id="54377"][kc_column_text _id="763957" css_custom="{`kc-css`:{`any`:{`typography`:{`color|,p`:`#000000`,`font-size|,p`:`20px`}}}}"]

ESIREM

[/kc_column_text][/kc_column][/kc_row][kc_row use_container="yes" _id="636121"][kc_column width="12/12" video_mute="no" _id="833179"][kc_accordion _id="407133" close_all="yes"][kc_accordion_tab title="présentation du projet ANR JCJC intitulé « FRACLETTES » (Modèles FRACtals et analyse en ondeLETTES pour la caractérisation des états de surfaces)" _id="289737"][kc_column_text _id="376560"]

Résumé : Nous présentons un projet de recherche dans lequel, nous proposons d’aborder la problématique de la représentation numérique, de l’analyse et de la caractérisation de surfaces rugueuses. La rugosité est un concept complexe, par nature multi-échelle et reposant sur l’étude du comportement local d’une surface dans un voisinage donné. Son évaluation sur les surfaces est essentielle pour de nombreux problèmes expérimentaux. Cela explique les nombreuses études réalisées dans les domaines applicatifs liés à la physique et la mécanique, là où le contrôle et la maîtrise de l’état des surfaces constituent un besoin majeur pour les industriels. Un grand nombre de paramètres conventionnels normalisés sont actuellement à disposition pour tenter d’apprécier cette notion dans les différents domaines applicatifs qui en font usage. Mais il est souvent difficile, pour un domaine applicatif ou un besoin donné, de savoir précisément quel(s) paramètre(s) de rugosité relie(nt) la topographie d’une surface aux phénomènes physiques qu’elle subit ou qu’on lui applique. Cela s’explique car, à une valeur de paramètre donnée peuvent correspondre des rugosités associées à des géométries et des propriétés physiques très variées. Ceci est principalement dû au fait que les mesures de rugosité classiques reposent, pour la plupart, sur des quantifications statistiques globales. Pour pallier cet inconvénient majeur, nous pensons qu’il est essentiel d’avoir une caractérisation géométrique de la rugosité. Il sera alors plus facile d’établir des relations avec les propriétés physiques des surfaces.
 

[/kc_column_text][/kc_accordion_tab][/kc_accordion][/kc_column][/kc_row]

Log In

Create an account