Agenda depuis 2025
Seminaire : Modeling Sperm Whale Sonar: A Parametric Study of Acoustic Wave 'intrahead' Propagation
10/07/2025 à 11h00
Welcome the 10th july 11 am at UTLN X156 DYNI / CIAN seminar: * Modeling Sperm Whale Sonar: A Parametric Study of Acoustic Wave 'intrahead' Propagation * by Zoé Rebeyrat, Master thesis Sperm whales generate powerful biosonar clicks using a complex ensemble of air sacs and lipid-filled organs housed within their massive heads. We propose its numerical simulations using the spectral-element method (SPECFEM). A two-dimensional model of the sperm whale head was constructed based on anatomical data from dissection studies. Simulated acoustic fields were validated against empirical data to ensure fidelity. Results show how anatomical and physical parameters shape sonar beam patterns, providing insight into sperm whale biosonar. Visio : glotin@univ-tln.fr. Details : https://cian.lis-lab.fr/seminaires/Conference :
10/07/2025 à 10h00
Welcome the 10th july 10 am at UTLN X156 DYNI / CIAN seminar: * From spectral-element method fundamentals to HPC Simulations: Application to in the Bay of Hyères * by Dr. Maxence Ferrari - Post doc LMA details : https://cian.lis-lab.fr/seminaires/ We present an exploration of acoustic wave modeling using the spectral-element method (SEM) using SPECFEM, moving from foundational concepts such as stability condition and numerical dispersion, to large-scale high-performance computing (HPC) simulations. The we apply this modeling framework to a real-world case study: the simulation of underwater acoustic wave propagation for unexploded ordnance (UXO) disposal in the Bay of Hyères. This application demonstrates the value of SEM and HPC for anthrophonic pollution. ( for visio : glotin@univ-tln.fr )Seminaire : Séminaire CANA: Antonin Loubiere
09/07/2025 à 14h00
Title : Couplages parfaits et pavages aléatoires de losanges par touillage de dominosSalle : 04.05 TPR2
Abstract:
Dans certains systèmes physiques, l'interaction de particules microscopiques soumises à des contraintes locales engendre des comportements macroscopiques tels que l'apparition de zone gelées. Pour pouvoir expérimenter avec ces systèmes, il est nécessaire d'avoir des algorithmes générant des configurations typiques. Par exemple, comment paver aléatoirement un échiquier avec des dominos ? L'algorithme de touillage généralisé des dominos de Propp et al permet de paver efficacement les diamants Aztecs pondérés. Nous verrons comment paver une plus large classe de graphes planaires en les encodant dans le diamant Aztec et le phénomène de cercle arctique qui apparaît souvent dans ces pavages.
Seminaire : Séminaire CANA: Nicolas Augier
08/07/2025 à 14h00
Title : On the control of ensembles of closed quantum systemsSalle : 04.05 TPR2
Abstract:
The goal of this talk is to present some methods to control parametric ensembles of independent closed quantum systems driven by a common control input. In particular, we will focus on the possibility of using adiabatic methods on well designed effective Hamiltonian.
Seminaire : Séminaire CANA: Shintaro Minagawa
01/07/2025 à 14h00
Title : Quantum measurement processes consistent with the second law of thermodynamicsSalle : 04.05 TPR2
Abstract:
This seminar aims to explore the consistency between quantum measurements and the second law of thermodynamics (the 2nd law). The 2nd law dictates the direction of change in natural processes and is widely regarded as universally valid. However, it has long been noted that feedback control based on information obtained through measurement--exemplified by Maxwell's demon paradox [1]--appears to reduce entropy, posing a challenge to this law. Reconciling the 2nd law and measurements is not only a foundational issue in thermodynamics and statistical mechanics, but also a pressing question in an era where high-precision measurement and control have been technologically feasible. Thus, several previous works approached this problem from, in particular, information-theoretic arguments (e.g., [2-5]). In this seminar, we will begin by introducing the framework of CP-instruments[6], a mathematical formalism that encompasses all quantum measurement processes permissible under the axioms of quantum theory. We will then examine the conditions under which CP-instruments can be consistent with the second law based on our result [7], highlighting the difference between previous works.
References: [1] J. C. Maxwell, Theory of heat (Appleton, London, 1871). [2] T. Sagawa and M. Ueda, Phys. Rev. Lett. 100, 080403 (2008). [3] T. Sagawa and M. Ueda, Phys. Rev. Lett. 102, 250602 (2009). [4] K. Funo, Y. Watanabe, and M. Ueda, Phys. Rev. E 88, 052121 (2013). [5] K. Abdelkhalek, Y. Nakata, and D. Reeb, arXiv:1609.06981 (2016). [6] M. Ozawa, J. Math. Phys. 25, 79 (1984). [7] S. Minagawa, M. H. Mohammady, K. Sakai, K. Kato, and F. Buscemi, npj Quantum Information 11,18 (2025).
WorkShop : IA & ÉDUcation
30/06/2025 à 09h00
Description du Workshop IA-ÉDU@CORIA-TALN 2025
L'essor de l'intelligence artificielle générative (IAg), en particulier les grands modèles de langage (LLM), redéfinit les approches pédagogiques et les méthodes d'apprentissage. Parmi celles-ci, on retrouve :
- L'apprentissage personnalisé et adaptatif en fonction des besoins des apprenants
- La co-création des ressources pédagogiques
- Le tutorat virtuel et l'assistance en temps réel
- L'évaluation automatisée et le feedback instantané
- L'enseignement hybride et collaboratif augmenté
- Le profilage et la prédiction (orientation de choix, décrochage, etc.)
- L'inclusion et l'accessibilité des contenus pour les personnes en situation de handicap
Cependant, l'usage problématique de ces IAg, comme le plagiat ou la génération non réfléchie de contenus, soulève des questions fondamentales sur les méthodes d'évaluation, l'authenticité des productions des apprenants et l'intégrité académique et intellectuelle. Cela exige une réflexion approfondie sur leur impact sur les pratiques pédagogiques et éducatives, tout en explorant le développement de solutions numériques innovantes, fiables et véritablement au service de l'enseignement.
La convergence entre l'IA générative, la recherche d'information et le traitement automatique du langage naturel (TALN), au cœur des travaux de la conférence CORIA-TALN, ouvre des perspectives inédites pour concevoir des systèmes d'enseignement et d'apprentissage intelligents et réflexifs. Ces avancées visent à enrichir les pratiques pédagogiques et à optimiser la formation dans un monde où l'IA est omniprésente dans la vie des jeunes.
Cet atelier a pour objectif de rassembler chercheurs, praticiens, professionnels et décideurs de diverses disciplines afin d'explorer les opportunités et les défis liés à l'intégration de l'IA générative dans l'éducation et la formation. Il s'agira d'analyser les apports potentiels des modèles génératifs tout en identifiant leurs limites et risques, notamment en matière de biais algorithmiques, d'éthique et de souveraineté numérique. En favorisant la réflexion et l'échange, cet atelier se veut un lieu d'exploration des nouvelles pratiques pédagogiques et des innovations technologiques portées par l'IA générative.
Site web du Workshop IA-ÉDU
AMU, Campus Saint-Charles, Marseille
Seminaire : Séminaire I&M - Karim Seghouane (University of Melbourne, Australia)
27/06/2025 à 14h00
Titre :Robust Image Deconvolution Based on α-DivergenceLieu : Luminy, TPR2 salle de réunion 04.05.
Résumé :
Blind image deconvolution is a fundamental problem in image processing, aiming to recover a sharp image from a blurred and noisy observation without complete knowledge of the degradation process. Using the Gaussian noise assumption, a number of blind image deconvolution algorithms have been proposed in the literature. However, in real world applications the noise is rarely Gaussian and when existing algorithms are used in the presence of violation of this Gaussian assumption, these algorithms provide suboptimal image restoration results. Therefore it is critical to ensure that the image deconvolution algorithm captures this information of violation of the Gaussian assumption.
In this seminar, we present a robust iterative alternating projection method for blind image deconvolution under contaminated Gaussian noise. It’s obtained by using an existing robust measure in information geometry, as an alternating tool to the maximum likelihood blind image restoration. Extensive experiment results comparing the proposed method with state-of-the-art analytical and deep learning techniques under various blur and noise conditions are presented. The results demonstrate the impressive performance, highlighting its robustness and effectiveness in blind image deconvolution with the presence of outliers.
This is a joint work with Dr. Hangfei Zheng and Prof. Djamel Merad.
Seminaire : « Detection & AI Classification of the Biosonar of dolphins in the Southern Cone »
26/06/2025 à 10h00
Welcome to DYNI seminary « Detection & AI Classification of the Biosonar of dolphins in the Southern Cone » in the framework of the Intl. Research Program CNRS = LIS (PI) + Argentina + Chili, 26th June, 10am (Bat X, La Garde), by Constanza Ordoñez and Gisela Giardino : ----------Constanza Ordoñez (Argentina CADIC-CONICET) PhD student from Ushuaia, Constanza was invited to collaborate this month with Julie Patris, Franck Malige and Dyni team at LIS–Université de Toulon. She'll present her activities. Resume : The main goal of this visit was to receive training in acoustic data processing and analysis, particularly in detection methods based on artificial intelligence, such as the YOLO software. Constanza has collected data to characterize the acoustic repertoire of two coastal dolphin species, for which a detector is needed to identify species-specific echolocation clicks. A deep learning neural network was trained and tested to classify the clicks. In parallel, traditional detection methods are also being explored and refined. The knowledge gained from using YOLO will allow for future applications, such as detecting whistles, low-frequency signals, and expanding the research to other species. This collaboration represents a valuable opportunity to exchange knowledge across international research groups, enhancing the field of bioacoustics through shared expertise and fostering future collaborative efforts. ----------Dr Gisela Giardino (UNMdP-IIMyC-CONICET Argentina) "From Sea Lions to Clicks: Marine Mammal Research and Acoustic Monitoring in Argentina " Resume : Our research group at UNMDP has been studying marine mammals along the northern Argentine coast since the 1970s, focusing on various ecological and physiological aspects. Current research lines include: the structure and population dynamics of pinniped colonies; foraging behavior using biologging and GIS tools; trophic ecology and nutritional composition of prey analyzed through geometric nutritional models; diving physiology and energy metabolism; cardiorespiratory physiology; marine mammal acoustics; interactions with fisheries; growth and physical development; and cetacean and pinniped distribution using data from opportunistic vessel surveys. In recent years, we have initiated a passive acoustic monitoring program through international collaboration with Italian researchers. This new research line focuses initially on the Franciscana dolphin (_Pontoporia blainvillei_), the most threatened cetacean in the Southwestern Atlantic, mainly due to incidental bycatch in artisanal gillnet fisheries. Our objectives include identifying its acoustic presence in open waters and in fishing zones, detecting repeated click patterns potentially linked to foraging or social behavior, and evaluating the effects of anthropogenic disturbances such as vessel traffic. This work aims to improve our understanding of the species' behavior and inform mitigation strategies. More to read : https://www.researchgate.net/profile/Gisela-Giardino-2 Resume of the IRP CIAN LIS et coll.: https://cian.lis-lab.fr/wp-content/uploads/2024/11/Annex1_SummarysheetIRP_DCBD_HG.pdf URL visio available on request to herve.glotin@lis-lab.frSeminaire : Séminaire COALA : Margaux SCHMIED (I3S Nice, équipe C&A)
25/06/2025 à 14h00
Lieu : Salle de réunion de l'équipe COALATitle: Improved resolution of cost-based assignment problems using landmarks
Résumé :
Le succès de la programmation par contraintes repose en partie sur l'efficacité des contraintes globales et de leurs algorithmes de filtrage. Nous étudions ici la contrainte globale de cardinalité avec coûts, qui généralise la contrainte de différence en limitant le nombre d'affectations par valeur et en imposant une contrainte sur le coût des affectations. L’algorithme classique de filtrage repose sur le calcul systématique de plus courts chemins, ce qui le rend coûteux en pratique. Nous proposons une approche plus rapide, fondée sur des bornes supérieures obtenues via des points de repère (landmarks en anglais), réduisant ainsi significativement les calculs explicites nécessaires. Les expériences montrent que, dans le meilleur des cas, elle peut être en moyenne 57 fois plus rapide.
Abstract:
The success of constraint programming relies partly on the efficiency of global constraints and their filtering algorithms. We study in this article the global cardinality constraint with costs, which generalizes the difference constraint by limiting the number of assignments per value and imposing a constraint on the cost of assignments. The classical filtering algorithm is based on the systematic computation of shortest paths, which makes it costly in practice. We propose a faster approach, based on upper bounds obtained via landmarks, thus significantly reducing the explicit computations required. Experiments show that, in the best case, it is on average up to 57 times faster.
Seminaire : Séminaire CANA : Kévin Perrot
12/06/2025 à 10h30
Title : S’amuser avec les piles de sableSalle : 04.05 TPR2
Abstract :
Les modèles de piles de sable sont une famille d’automates cellulaires, où chaque case (cellule) de la grille contient une certaine quantité de grains, qui se déplacent de cellule en cellule en suivant des règles locales simples. On observe des comportements macroscopiques d’une grande richesse, qui semblent émerger d’un phénomène d’auto-organisation. Attention, aucun des termes de la phrase précédente n’a reçu de définition mathématique très satisfaisante… Il y a néanmoins plein de choses à voir et expliquer sur ces systèmes, ce que nous tâcherons de faire en jouant avec le simulateur JS-Sandpile (https://github.com/huacayacauh/JS-Sandpile, en html et javascript, prêt à lancer dans votre navigateur). Nous verrons notamment la structure algébrique de groupe abélien et son mystérieux élément identité, ainsi que l’application du cadre formel de la complexité algorithmique au problème de prédiction de la dynamique des piles de sable (classe NC et notion de P-complétude).
Seminaire : Séminaire CANA : Antonio E. Porreca
10/06/2025 à 14h00
Title : S’amuser avec le non-déterminismeSalle : 04.05 TPR2
Abstract :
Soit A une liste d'entiers et k un entier cible. Quelle est une sous-liste B de A ayant somme k ? Par exemple, si A = [1, 5, 4, 7] et k = 12, la réponse est B = [5, 7]. Mais pour la même A et pour k = 3, il n'y a pas de solution. Ça n'en a peut-être pas l'air, mais c'est un problème difficile à résoudre !
Si seulement il y avait une façon de juste deviner magiquement quels entiers de la liste il faut prendre, tout en ayant la garantie que la somme soit la bonne... un truc comme ça :
from nondeterminism import *
@nondeterministic
def subset_sum(A, k):
B = []
for x in A:
take = guess() # il faut prendre x ou pas ?
if take:
B.append(x)
if sum(B) == k: # on veut que la somme soit k
return B # succès !
Ici, la contrainte sum(B) == k forcerait la fonction guess à deviner les bons éléments de A, afin que subset_sum se termine avec succès. Ce serait cool d'écrire du code magique comme ça, n'est-ce pas ? Et bien, en fait on peut [https://aeporreca.org/nondeterminism] !Dans cette introduction on va voir plusieurs exemples où cette habileté de toujours deviner le bon choix (on appelle ça du non-déterminisme) nous permet de résoudre de façon simple nos problèmes. Mais... à quel prix ? On parlera également du célèbre problème P = NP, d'autres types de non-déterminisme et d'un langage de programmation marseillais (Prolog) qui est non-déterministe par défaut.
Rencontre : Journées d'étude sur la mobilité durable
10/06/2025 à 09h15
Les "Journées d’étude sur la mobilité durable : défis et solutions" se tiendront du 10 au 11 juin 2025 sur le site de Saint-Charles d’Aix Marseille Université. Cette manifestation est organisée en collaboration avec les laboratoires LIS et LORIA, et le réseau scientifique RED. Elle est soutenue par la chaire ANR MASSALIA et ses partenaires AMU, UPJV et ENEDIS. Toutes les informations (description, programme définitif, plan d'accès, etc.) sont disponibles sur le site web https://jemd.sciencesconf.org/.Seminaire : Séminaire CANA : Thomas Prévost
03/06/2025 à 14h00
Title : Utilisation d'automates cellulaires pour la construction de grandes S-Boxes à partir d'un réseau de Feistel (basé sur https://eprint.iacr.org/2025/457)Salle : 04.05 TPR2
Abstract :
Le chiffrement symétrique est une primitive cryptographique que nous utilisons quotidiennement, par exemple lors de notre navigation Internet. Il permet de garantir la confidentialité et la sécurité de nos échanges. Le chiffrement par blocs est un ensemble d'algorithmes de chiffrement symétrique, dans lesquels le texte clair est découpé en un ensemble de blocs de taille finie, qui seront chiffrés séparément. C'est la façon dont fonctionne AES, l'algorithme de chiffrement symétrique aujourd'hui standard.
Le chiffrement de chaque bloc est une suite d'opérations linéaires, de permutations et de substitutions: c'est sur ce dernier type d'opérations que nous allons nous attarder, et qui constituent le cœur de la sécurité des algorithmes de chiffrement par blocs. Nous détaillerons la construction d'une grande table de substitution (S-Box) à partir d'une construction de Feistel d'automates cellulaires, et analyserons ensuite ses propriétés de sécurité.
Table ronde : XIII ieme ed. de l'Ecole de Recherche Multimodale et IA, TEch. & Sciences,
26/05/2025 à 00h00
26 et 27 Mai 2025, UFRST UTLN La Garde pour étudier ensemble, sur cas concrets et abstraits, l'ambiguïté fonctionnelle des Biosonars, Le sens majeur des mammifères. Ils ouvrent questions sur : -traitement signal, apprentissage, -stratégie de chasse de chiroptère, calcul FA et interprétation -stratégie de chasse de individuelle cachalot, calcul FA et interprétation -stratégie de chasse collective d'une meute de cachalot ? -trains de pulses de rorqual et baleine à bosse et FA ? -anthropophonie versus adaptation des ambiguités ? -Large Language Model et stratégies biosonar, modèle et prédictionSeminaire : Image restoration: from model to learning based techniques par Mauro Dalla Mura
22/05/2025 à 13h30
Séminaire organisé par l'équipe SIIM, site de Toulon, salle X133. Nous accueillons pour ce séminaire Mauro Dalla Mura du GIPSA-lab qui nous présentera ses travaux en restauration d'images. https://www.ins2i.cnrs.fr/fr/cnrsinfo/mauro-dalla-mura-de-nouvelles-modalites-dimagerie-et-de-traitement-dimage-pour Résumé de sa présentation: In this talk I will present an overview of image restoration approaches ranging from conventional model based techniques to the more recent ones based on machine/deep learning. A particular focus will be given to hybrid model-based and data-driven methods, such as those based on Plug&Play and algorithm unrolling. Some examples of application will be presented considering an image demosaicking problem.Conference : Seminaire IACD Invité - Gianluca Bontempi (Université libre de Bruxelles)
19/05/2025 à 11h30
Titre: From feature selection to causal discovery in large dimensional settings Lieu: Salle de conseil (St Jerome) Résumé: We are drowning in data and starving for knowledge” is an adage of data scientists that nowadays should be rephrased into ”we are drowning in associations and starving for causality”. The democratisation of machine learning software and big data platforms increases the risk of ascribing causal meaning to simple and sometimes brittle associations. This risk is particularly evident in settings (like bioinformatics, social sciences, and economics) characterised by high dimensions, multivariate interactions, and dynamic behaviour where direct manipulation is unethical and impractical. The conventional ways to recover a causal structure from observational data are score-based and constraint-based algorithms. Their limitations, mainly in high dimension, opened the way to alternative learning algorithms which pose the problem of causal discovery as the classification of probability distributions. The rationale of those algorithms is that the existence of a causal relationship induces a constraint on the observational multivariate distribution. In other words, causality leaves footprints in the data distribution that can hopefully be used to reduce the uncertainty about the causal structure. The first part of the presentation will introduce some basics of causal discovery and will present a causal extension of a feature selection method commonly used in bioinformatics. The second part of the talk will focus on the D2C approach which featurizes observed data using information theory asymmetric measures to extract meaningful hints about the causal structure. The D2C algorithm performs three steps to predict the existence of a directed causal link between two variables in a multivariate setting: (i) it estimates the Markov Blankets of the two variables of interest and ranks its components in terms of their causal nature, (ii) it computes several asymmetric descriptors and (iii) it learns a classifier (e.g. a Random Forest) returning the probability of a causal link given the value of the descriptor. The final part of the presentation is more prospective and will introduce some recent work to implement counterfactual prediction in a data-driven setting.Seminaire : Seminaire IACD Invité - Guillaume Cleuziou (Université d'Orléans)
15/05/2025 à 15h00
Titre:"Apprentissage de représentations de programmes pour l'aide à l'enseignement" Résumé : L'utilisation de plates-formes de validation de programmes est de plus en plus fréquente pour l'apprentissage des bases de l'informatique. Si l'automatisation des tests de validation libère du temps pour l'enseignant et ludifie le parcours de l'apprenant, on observe également certains biais induits par ces dispositifs pédagogiques. Des recherches en Intelligence Artificielle (IA) visent à pallier certains de ces biais. Pour cela, elles se heurtent au problème de l'analyse fine de ces programmes par les algorithmes d'apprentissage automatique. Dans cet exposé nous nous intéresserons aux modèles d’apprentissage de représentations (embeddings) de programmes. Dans un premier temps nous nous interrogerons sur la pertinence d’exploiter les modèles de langage (naturel) pour traiter des programmes informatique. Enfin dans une approche centrée 'enseignant', nous proposerons une variante sous-contraintes de l’algorithme doc2vec comme modèle d’apprentissage de représentations ultra-léger et personnalisable. Où: Salle du Conseil (campus St Jerome)Seminaire : Séminaire COALA : Lars JAFFKE (NHH Norwegian School of Economics)
07/05/2025 à 15h00
Lieu : Salle de réunion de l'équipe COALATitle: Solution Diversity in Parameterized Algorithms
Abstract:
Computational problems are typically concerned with finding a single solution to a given input. However, in several practical settings, we might instead want to find a small set of solutions to choose from. For instance when we have too many side constraints that make the model intractable. Such a set of solutions is only helpful if the solutions are different from each other, otherwise, we may not gain much information compared to finding a single solution. This is captured by the notion of diverse sets of solutions, which have recently found attention in the field of parameterized algorithms. In parameterized problems, inputs have an additional component, a parameter, and the goal is to design algorithms that are fast whenever the parameter is small. As we typically would want to find a small set of solutions, the number of requested solutions is a very natural parameterization for many problems. In this talk, we discuss the notion of diverse sets of solutions in parameterized algorithms and survey several results.
Seminaire : Séminaire CANA: Marin Costes
06/05/2025 à 14h00
Title : Causal graph-rewritingSalle : 04.05 TPR2
Abstract :
Relativistic physics clearly departs from the idea of a global time: it is perfectly legitimate to evolve just a small region of space while keeping the rest unchanged. This calls for models where updates are not globally synchronized but can occur asynchronously at arbitrary locations — a setting that is well studied, notably in rewriting theory. In this talk, I will build on this asynchronous perspective to introduce a non-terminating causal graph rewriting model, and illustrate how it can both reproduce familiar behaviors — such as asynchronous simulations of cellular automata — and go beyond them, by capturing fundamentally asynchronous phenomena such as time dilation, in the spirit of general relativity. Then I will discuss how even when handling non-deterministic local rule applications, we can give sufficient conditions so that the model enjoy a strong form of determinism, namely space-time determinism. Finally I will introduce a notion of space-time reversibility ---whereby any two closeby snapshots (aka ‘space-like cuts’), must mutually determine each other, and I will provide local conditions on the rewrite rules so that they be space-time reversible.
Seminaire : Séminaire CANA : Jonas Kitzinger
29/04/2025 à 14h00
Title : Introduction to benchmarking and certification of quantum computersSalle : 04.05 TPR2
Abstract :
Building large-scale quantum computers demands reliable tools for certifying and quantifying their performance. A major challenge for these tools is efficiency: traditional methods such as quantum state or process tomography are impractical for today’s devices with hundreds of qubits. In this talk, I will first give a brief overview of the field of quantum benchmarking and certification, highlighting some of its state-of-the-art protocols. Then I will introduce one key mathematical concept — the use of randomness and group twirls — and demonstrate how it underpins three of those protocols: randomized benchmarking, classical shadows, and randomized compiling.
Seminaire : Séminaire I&M - Mira Razafindrambao
25/04/2025 à 14h00
Titre :Apprentissage profond pour le diagnostic du cancer du pancréas à partir d'images écho-endoscopiquesLieu : Luminy, TPR2 salle de réunion 04.03.
Résumé :
Le cancer du pancréas est le 12ème cancer le plus commun et est prédit pour devenir le 3ème cancer le plus mortel au monde. Sa mortalité est principalement due à son diagnostic effectué tardivement. L’enjeu principal de cette maladie est donc d’améliorer le diagnostic précoce. A cette fin, nous utilisons des modèles de classification issus de deep learning qui permettront de prévenir le praticien sur la présence d’une tumeur. Cependant les modèles de deep learning sont encore considérés comme des « boîtes noires » pour les utilisateurs. Pour convaincre les utilisateurs finaux il est donc nécessaire d’apporter de l’explicabilité.
La présentation portera sur le thème de l’IA explicable, les types d’explications qui existent et leur utilisation dans le domaine médical, en particulier à notre application. Le séminaire mettra en avant aussi les difficultés rencontrées et les améliorations prévues.
Seminaire : Séminaire CANA : Kevin Perrot
15/04/2025 à 14h00
Title : Introduction to automata networksSalle : 04.05 TPR2
Abstract :
Automata networks are general models of interacting entities each assigned a state among a finite set, and updating it in discrete time steps according to the states of others. Their configuration space is finite. I will consider fixed points (stable configurations in the dynamics) as a case of study to expose an introductory panorama of focuses on the interplay between:
- the local functions (applied by each node),
- the interaction graph (architecture of dependencies among the automata), and
- the dynamics (on the configuration space).
Seminaire : Séminaire I&M - Sabrine djedjiga OUCHERIF
28/03/2025 à 14h00
Titre : APPORTS D’UN SYSTÈME DE VISION PLÉNOPTIQUE POUR L’ANALYSE DES COMPORTEMENTS.Lieu : Luminy, TPR2 salle de réunion 04.03.
Résumé :
La reconnaissance des expressions faciales constitue depuis plusieurs décennies une méthode de choix pour l’analyse fine des émotions humaines, et représente un enjeu majeur dans l’étude du comportement. Dans une perspective de recherche interdisciplinaire, ce domaine s’enrichit aujourd’hui grâce à l’intégration de travaux académiques pointus et de technologies avancées. Ce projet s’inscrit dans une collaboration entre le Centre d’Étude et de Recherche en Gestion d’Aix Marseille (CERGAM), le Laboratoire d’Informatique et Systèmes (LIS) et l’Institut de Mathématiques de Marseille (I2M). L’utilisation de caméras plénoptiques, capables de capturer simultanément l’intensité et la direction des rayons lumineux, permet d’obtenir des images multi-perspectives en une seule acquisition [1, 2]. Ces images facilitent la génération de cartes de profondeur détaillées et optimisent l’analyse des subtilités des expressions faciales, offrant ainsi un éclairage nouveau sur les réponses émotionnelles des consommateurs.
Ce projet vise à approfondir l’analyse comportementale des individus en environnement de vente en se focalisant sur l’étude et la reconnaissance des expressions faciales. À cet effet, nous mobilisons des dispositifs de capture avancés (caméras plénoptiques) fournissant une diversité d’images, incluant des prises de vue en sous-ouverture, en total focus et des cartes de profondeur. Ces différents supports permettent de constituer un jeu de données riche et varié, indispensable à une analyse fine des interactions en situation réelle.
Pour traiter ces données, nous proposons d’implémenter des architectures hybrides combinant réseaux de neurones convolutifs (CNN) et récurrents (RNN), afin d’extraire efficacement les informations spatiales et temporelles. Par ailleurs, l’adoption d’une approche de fusion multimodale constitue un levier majeur pour intégrer et exploiter l’ensemble des modalités capturées, dans le but d’obtenir une analyse comportementale précise et approfondie
[1] T. -W. Shen et al., "Facial expression recognition using depth map estimation of Light Field Camera," 2016 IEEE International Conference on Signal Processing, Communications and Computing(ICSPCC), 2016, pp.1-4, doi: 10.1109/ICSPCC.2016.7753695.
[2] A. Sepas-Moghaddam, A. Etemad, F. Pereira and P. L. Correia, "Facial Emotion Recognition Using Light Field Images with Deep Attention-Based Bidirectional LSTM," ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020, pp. 3367-3371, doi: 10.1109/ICASSP40776.2020.9053919
Seminaire : Séminaire CANA : Alana Spak
18/03/2025 à 14h00
Title : Thermalization via quantum walksSalle : 04.05 TPR2
Abstract :
A central question in quantum thermodynamics and the foundations of quantum mechanics is how and when thermalization emerges in quantum systems. An intriguing framework for studying this phenomenon is the quantum walk, a model that allows the analysis of quantum correlations. Entanglement, for example, can induce decoherence, ultimately leading to thermalization. In this seminar, we introduce a quantum walk in energy space to investigate thermodynamic equilibrium in quantum systems. Our approach is based on monodesmic processes, derived from Markov chains, in the asymptotic limit. By analyzing the classical limit, we show that the equilibrium temperature can be determined solely by the transition probabilities between the energy levels. This approach offers valuable insights into the thermalization phenomena.
Seminaire : Séminaire JOURNEE DE LA BALEINE (TOULON)
13/03/2025 à 17h00
Bienvenue à la soirée DYNI / Centre d’IA en Acoustique Naturelle en streaming sur Youtube : https://youtube.com/live/y12oI_3wha4?feature=share ou en présentiel Jeudi 13 mars 2025, 17h - 20h • Amphi M, SeaTech • Campus de La Garde Cette soirée découverte s’ouvre sur deux exemples de ’Cocktail Party’ inédits, captés et analysés par le LIS CIAN. Le premier est l’unique symphonie de vocalises simultanées de quatre superprédateurs arctiques (orques, cachalots, baleines à bosse et rorquals). Le second, est le concert de biosonars entrelacés d’une meute de six cachalots que nous suivons en 3D durant 3h dans leurs chasses abyssales par -1000 mètres au large de Monaco par l’acoustique passive de notre mission de drones surface ’Sphyrna Odyssée’. Ainsi s’ouvre une face de nos recherches : quelles sont les informations, les interactions et les stratégies de leurs communications ? Nous en illustrons quelques pistes et méthodes. Nous présentons donc quelques instruments de la start-up française ALPAI, dont ses hydrophones innovants. Puis, nous explorons les dynamiques culturelles des Baleines à bosse sur les Antilles, et des chorus de cétacés en Arctique. Nous donnons un aperçu de la boucle perception-action des biosonars et de ses ambiguïtés. Nous nous concentrons alors sur celle du cachalot : comment séparer les locuteurs d’un groupe en socialisation, puis étudier leurs communications individu par individu (codas à Maurice). Nous analysons aussi leur présence non loin de Toulon-Monaco, et comment l’IA embarquée pourrait aider à les préserver des risques anthropiques. Puis, avec notre équipe australe nous découvrons les sonars convergents en ’NBHF’ des dauphins méconnus des canaux patagoniens chiliens. Enfin, nous offrons un ’Cocktail Party’ pour en discuter... Intervenant.e.s : Docteur.e.s ou doctorant.e.s. Justine Girardet, Lara Berkenbaum, Pascale Giraudet, Julie Patris, Stéphane Chavin, Nicolas Deloustal, Sébastian Marzetti, Valentin Gies, Alain Barcelo, Hervé Glotin et collaboratrices/eurs de CIAN / UMR LIS-LAB. Partenaires de ces recherches : LIS-LAB, IM2NP, Feder CARIMAM & OFB AGOA & partenaires CARIMAM, Longitude181, OrcaLab, PolarPod-Persévérance - Ocean Polaire, ValhallaB, Biodiversa EUROPAM, Feder SeaStMar, OFB PNPC, Pelagos, Chaire IA ADSIL, ANR, AID, Région PACA ETHAC, Sphyrna Odyssée FBVMarine, L181 WhaleWay, EXPLORE, SMIoT, Université de Toulon, IRP CNRS ’Detection & AI Classification of the Biosonars in the Southern Cone’Seminaire : Séminaire CANA : Nasra Daher Ahmed
04/03/2025 à 14h00
Title Introduction to quantum information theorySalle : 04.05 TPR2
Abstract :
Quantum information (QI) theory studies the ways the laws of quantum mechanics allow the storage, processing and transmission of information. Its most well-known applications are the fields of quantum computing, communication and key distribution. However, it also has applications in other fields of physics such as condensed matter and gravitation physics.
This introductory seminar aims to give the basic tools needed to understand current research in quantum information theory and its applications. First, we review some basic concepts of classical information theory and the mathematical formalism of quantum mechanics. We will then introduce some important topics in QI such as entanglement, nonlocality and no-go theorems about the manipulation of quantum information.
Seminaire : Séminaire ACRO : Abderrahim Arabi (03/03, 10h00, REU 4.05)
03/03/2025 à 10h00
Abderrahim Arabi (LIS, Aix-Marseille Université) Title: On Some Properties of Specific Polyominoes and Polycubes 03/03/2025 10h00, salle REU 04.05 (LIS Luminy) Polyominoes and polycubes are classic objects in combinatorics, yet their exact enumeration remains an open problem. One effective approach to tackle this issue is to study these structures under specific constraints. In this talk, we explore the relationships between certain families of convex and parallelogram polyominoes and polycubes. By making connections, we establish new enumeration results for polyominoes and polycubes.Seminaire : Séminaire I&M - Moncef Boujou
28/02/2025 à 14h00
Titre : Analyse du comportement des consommateurs dans les surfaces de venteLieu : Luminy, TPR2 salle de réunion 04.03.
Résumé :
L’analyse du comportement des consommateurs dans les surfaces de vente est essentielle pour mieux comprendre leurs interactions avec l’espace commercial. Toutefois, il est tout aussi important de procéder de manière non invasive afin de respecter la vie privée des clients et de ne pas biaiser leurs comportements par des dispositifs intrusifs. Dans cette optique, nous proposons une méthode de suivi multi-caméras multi-personnes reposant sur un cadre hiérarchique intégrant une phase de ré-identification et de projection, afin d’extraire automatiquement les trajectoires des clients. Toutefois, les occlusions, les changements d’apparence et les réapparitions dans différentes zones du champ de vision constituent un défi majeur pour assurer la continuité des identités. Pour pallier ces difficultés, nous présentons une nouvelle approche de ré-identification qui fusionne des descripteurs visuels et des informations extraites de la démarche, renforçant ainsi la robustesse de l’association des identités. Ce séminaire détaillera notre méthode de suivi multi caméras multi-personnes, ainsi que la nouvelle approche de ré-identification, en mettant en lumière les avancées obtenues et les perspectives qu’elles ouvrent pour l’analyse du comportement des consommateurs.
Seminaire : Séminaire CANA : Ugo Nzongani
25/02/2025 à 14h00
Title : Introduction to Quantum ComputingSalle : 04.05 TPR2
Abstract :
Quantum computing leverages the principles of quantum mechanics to develop algorithms that, in some cases, significantly outperform their classical counterparts. In this seminar, we will introduce the fundamental building blocks of quantum computation, including qubits, quantum gates, and quantum circuits. We will then briefly discuss key quantum algorithms such as Shor’s algorithm for factoring, Grover’s search algorithm, and variational methods for optimization (QAOA). Additionally, we will provide a detailed explanation of how the Deutsch-Jozsa algorithm offers an exponential speedup over classical approaches.
Seminaire : Séminaire ACRO : Nicolas Trotignon
10/02/2025 à 10h00
Nicolas Trotignon (ENS Lyon) Title: A survey of layered wheels 10/02/2025 10h00, salle REU 04.05 (LIS Luminy) Layered wheels are constructions of graphs first discovered by Ni Luh Dewi Sintiari and the speaker. They disprove several conjectures and answer several questions. For instance, jointly with Maria Chudnovsky, the speaker could use them to disprove a conjecture de Dallard, Milanič and Štorgel about the tree-independence number and a conjecture of Hajebi about the induced subgraphs contained in graphs of high treewidth. The goal of the talk is to present all the situations where layered wheels turned out to be useful and to present in more details the variant that disproved the two conjectures mentioned above.Seminaire : Séminaire I&M - DE SOUSA SILVA, Raul Alfredo
31/01/2025 à 14h00
Titre : Modélisation du comportement complexe autistique chez la souris en utilisant des approches d'apprentissage profonde et vision par ordinateurLieu : Luminy, TPR2 salle de réunion 04.03.
Résumé :
Le Trouble du Spectre Autistique (TSA) est une trouble neurodéveloppemental qui se caractérise par un déficit de communication et interaction sociale ainsi que par des comportements répétitifs et des intérêts restreints. Les souris sont des animaux sociaux et sensibles comme nous, c’est justement à cause de ce comportement social que l’on étudie les souris pour mieux comprendre l’autisme chez l’humain. Dans le cadre de ce projet, nous visons retrouver des séquences de comportement qui distinguent une souris contrôle d'une souris modèle à l'aide des algorithmes d'apprentissage profond et vision par ordinateur. Pendant la dernière année, nous avons fait plusieurs progrès dans l'amélioration de la détection de certaines actions, de la gestion des données bruitées et de la création des protocoles analytiques permettant de sortir des informations pertinentes à propos des souris. Je vous présenterai en détail ces avancées, les justificatifs méthodologiques et les prochains pas vers l'achèvement de ce projet.
Seminaire : Séminaire ACRO : Simon Vilmin (27/01, 10h00, REU 4.05)
27/01/2025 à 10h00
Simon Vilmin (LIS, Aix-Marseille Université) Title: Enumerating the minimal keys of an implicational base 27/01/2025 10h00, salle REU 04.05 (LIS Luminy) An implicational base (IB) over a groundset X is a collection of statements A --> B, called implications, where A and B are subsets of X. An IB induces a convexity space where a set C is convex if it satisfies each implication A --> B of the IB: if C includes A, it includes B. The convex hull of a subset S of X is the inclusion-wise minimal convex set including S. A key is a subset K of X whose convex hull is X, i.e. a generating set of X. In this talk, we will discuss the following problem: enumerate all the minimal keys of a convexity space given by an IB. This problem has notably been studied within the context of database theory, from which the term "key" originates and where implications are better known as "functional dependencies". It also relates to the enumeration of prime implications of a pure Horn CNF, and can be seen as a generalization of the problem of enumerating minimal hull sets---an other name for minimal keys---of (binary) graph convexities. I will present the result of Lucchesi and Osborn 78 that gives a polynomial-delay algorithm listing all minimal keys associated to an IB. Their algorithm implicitly uses solution-graph traversal to solve the problem. I will also present an alternative proof of their result using elements from the framework of proximity search.Seminaire : Séminaire CANA : Nicolas Schabanel
21/01/2025 à 14h00
Title : How do we make DNA origami and what are the challenges we tackle Nicolas SchabanelJoint work with: Nicolas Levy (LIP), Julie Finkel (CBS), Allan Mills (CBS), Pierre Marcus (LIP), Octave Hazard (LIP), Daria Pchelina (LIP), Joris Picot (LIP) and Gaëtan Bellot (CBS)
Salle : 04.05 TPR2
Abstract :
Curved shapes are ubiquitous in both natural and engineered structures contributing to their intricate functionalities and mechanical resilience. Replicating these shapes at the nanoscale using DNA nanotechnology poses significant challenges due to the inherent constraints of DNA geometry. Here, we introduce a geometric model for curved DNA helices and an algorithm for automatic routing of DNA helices along non-planar trajectories to fold predefined 3D DNA origami nanostructures. We provide an automated design process that enables the self-assembly of curved DNA helix bundles, hollow shapes, nested spheres, and biomimetic structures such as vault-like cages, using a novel spiral-based paradigm. This process, integrated in ENSnano software, revisites DNA origami principles to go beyond current structural confinements and opens opportunities for creating general 3D spatial configurations with advanced programmability for enhanced functional integration. L’exposé sera spécialement conçu pour des personnes qui ne connaissent rien du tout à l’ADN ni au origami ADN.
Seminaire : Séminaire cybersécurité : Privacy-Preserving Data Processing at Scale: How Much Can You Trust Your Cloud Provider?
21/01/2025 à 10h30
Séminaire cybersécurité : le mardi 21/01 à 10h30 en salle 4.05 TPR2 LuminySpeaker: Pascal Felber, Université de Neuchâtel
Title : ’‘ Privacy-Preserving Data Processing at Scale: How Much Can You Trust Your Cloud Provider?’‘
Abstract : The processing of large amounts of data requires significant computing power and scalable architectures. This trend makes the use of Cloud computing and off-premises data centres particularly attractive but exposes companies to the risk of data theft. This is a key challenge toward outsourcing data processing to external Cloud providers, as data represents for many companies their most valuable asset. In this talk, we will discuss recent and emerging mechanisms to support privacy-preserving data processing, i.e., confidential computing, on untrusted architectures.
Seminaire : Séminaire ACRO : Guilherme Gomes (20/01, 14h00, REU 4.05)
20/01/2025 à 14h00
Guilherme Gomes (Federal University of Minas Gerais, Brasil) Title: Matching Multicut: Parameterized Complexity and Enumeration 20/01/2025 14h00, salle REU 04.05 (LIS Luminy) The Matching Cut problem asks if a graph admits a partition of its vertex set in two such that no vertex has more than one neighbor across the cut. This problem has drawn considerable attention of the algorithms and complexity community in the last decade, becoming a canonical example for parameterized enumeration algorithms and kernelization. In this talk, we discuss one of its generalizations: Matching Multicut - can we partition the vertex set of a graph in at least ℓ parts such that no vertex has more than one neighbor outside its part? In particular, we will present some results on cubic graphs and more generally on parameterized complexity, the latter focused on enumeration kernelization. Joint work with Emanuel Juliano, Gabriel Martins, and Vinicius Santos.Seminaire : Séminaire ACRO : Florian Galliot (13/01/2025, 10h00, REU 4.05)
13/01/2025 à 10h00
Florian Galliot (I2M, Aix-Marseille Université) Title: Graph reconstruction from queries on triples 13/01/2025 10h00, salle REU 04.05 (LIS Luminy) We consider the problem of reconstructing a graph G from a query Q which, for every k-subset of vertices S, provides some information Q(G)(S) about the induced subgraph G[S]. The vertices are labelled from 1 to n, so reconstruction up to isomorphism is not sufficient, we need to know which label is where. We have studied the case k=3. Given a query Q on triples, we are interested in two things: a structural characterization of all graphs G that are uniquely reconstructible from the function Q(G) (i.e. such that Q(H)=Q(G) if and only if H=G), and a polynomial-delay enumeration algorithm of all graphs that are consistent with some input query answers. In 2023, Qi and Bastide et al. respectively have managed this for the connectivity query (meaning that, for every triple S, Q(G)(S) indicates whether G[S] is connected). We have obtained the same results for all 13 other non-trivial queries on triples. This presentation will go into details of a select few of these queries. Joint work with Hoang La, Raphaëlle Maistre, Matthieu Petiteau and Dimitri Watel.Seminaire : Séminaire CANA : Antoine Soulas
07/01/2025 à 14h00
Title : Quantifying quantum coherence and the deviation from the total probability formulaSalle : 04.05 TPR2
Abstract :
Quantum coherence is the main resource exploited by quantum computers. Unsurprisingly, over the past few years, there has been a strong interest in the task of finding appropriate measures of coherence. In this talk, we propose a novel approach to quantify quantum coherence which, contrary to the previous ones, does not rely on resource theory but rather on ontological considerations. In this framework, coherence is understood as the ability for a quantum system's statistics to deviate from the total probability formula (TPF). After a recap on the basics of quantum theory, we motivate the importance of the TPF in quantum foundations. We then propose a new set of axioms that a measure of coherence should satisfy, and show that it defines a class of measures different from the main previous proposal. Finally, we prove a general result about the dependence of the l2-coherence norm on the basis of interest, namely that it is well approximated by the square root of the purity in most bases. Such a behaviour is actually expected for any measure of coherence, because of the mathematical phenomenon known as « concentration of measure ».