Diffusion scientifique

30 dernières publications

INT
Audience internationale
CL
Revue par comité de lecture
A
Communication avec actes
I
Communication invitée
VS
Vulgarisation scientifique
Automatic Semantic Classification of Ancient Zoological Texts
Communication lors d'une conférence

Molka Tounsi Dhouib, Quentin Merilleau, Carla Guerrero, Marco Corneli, Catherine Faron, Arnaud Zucker

We present an approach to semantically annotate the paragraphs of the ancient zoological text Naturalis Historia (Pliny the Elder) according to the concepts in the domain…
Learning to Classify Logical Formulas Based on Their Semantic Similarity
Communication lors d'une conférence

Ali Ballout, Célia da Costa Pereira, Andrea G. B. Tettamanzi

An important task in logic, given a formula and a knowledge base which represents what an agent knows of the current state of the world, is to be able to guess the truth value of…
INT CL A
Adaptive design criteria motivated by a plug-in percentile estimator
Chapitre d'ouvrage

Rodrigo Cabral Farias, Luc Pronzato, Maria-João Rendas

Increasingly complex numerical models are involved in a variety of modern engineering applications, ranging from evaluation of environmental risks to optimisation of…
INT
Incremental construction of nested designs based on two-level fractional factorial designs
Chapitre d'ouvrage

Rodrigo Cabral Farias, Luc Pronzato, Maria-João Rendas

The incremental construction of nested designs having good spreading properties over the d-dimensional hypercube is considered, for values of d such that the 2 d vertices of the…
INT
Multiple Description Video Coding for Real-Time Applications using HEVC
Communication lors d'une conférence

Trung Hieu Le, Marc Antonini, Marc Lambert, Karima Alioua

Remote control vehicles require the transmission of large amounts of data, and video is one of the most important sources for the driver. To ensure reliable video transmission…
INT CL A
Multi-masks Generation for Increasing Robustness of Dense Direct Methods
Communication lors d'une conférence

Ziming Liu, Ezio Malis, Philippe Martinet

In this paper, we address the problem of increasing the precision of dense direct stereo visual odometry methods. Dense methods need a dense depth map to generate warped images…
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
Communication lors d'une conférence

Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault

We study the complexity relationship between three models of unbounded memory automata: nu-automata (ν-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA)…
INT CL A
Towards User Profile Meta-Ontology
Pré-publication, document de travail

Ankica Barisic, Marco Winckler

As the user base becomes increasingly diverse, it is crucial to provide better development support for creating interactive systems that adapt to the varied characteristics and…
A Deep Dynamic Latent Block Model for the Co-clustering of Zero-Inflated Data Matrices
Communication lors d'une conférence

Giulia Marchello, Marco Corneli, Charles Bouveyron

The simultaneous clustering of observations and features of data sets (a.k.a. co-clustering) has recently emerged as a central machine learning task to summarize massive data…
INT CL A
Implicit Neural Multiple Description for DNA-based data storage
Pré-publication, document de travail

Trung Hieu Le, Xavier Pic, Jeremy Mateos, Marc Antonini

DNA exhibits remarkable potential as a data storage solution due to its impressive storage density and long-term stability, stemming from its inherent biomolecular structure…
Generalised Mutual Information: a Framework for Discriminative Clustering
Pré-publication, document de travail

Louis Ohl, Pierre-Alexandre Mattei, Charles Bouveyron, Warith Harchaoui, Mickaël Leclercq, Arnaud Droit, Frédéric Precioso

In the last decade, recent successes in deep clustering majorly involved the Mutual Information (MI) as an unsupervised objective for training neural networks with increasing…
Evolutionary continuous optimization of hybrid Gene Regulatory Networks
Communication lors d'une conférence

Romain Michelucci, Jean-Paul Comet, Denis Pallez

The study of gene regulatory networks (GRNs) allows us to better understand biological systems such as the adaptation of the organism to a disturbance in the environment. Hybrid…
INT CL
Iatrogenic triggers for anorexia nervosa and bulimia nervosa: A WHO safety database disproportionality analysis
Article dans une revue

Diane Merino, Alexandre Olivier Gérard, Alexandre Destere, Florence Askenazy, Emmanuelle Dor, Michel Benoit, Faredj Cherikh, Milou-Daniel Drici

Eating disorders, characterized by abnormal eating, weight control behaviors or both include anorexia nervosa (AN) and bulimia nervosa (BN). We investigated their potential…
INT CL
Refinements for Open Automata (Extended Version)
Rapport

Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi

Establishing equivalence and refinement relations between programs is an important mean for verifying their correctness. By establishing that the behaviours of a modified program…
The DYNABIC approach to resilience of critical infrastructures
Communication lors d'une conférence

Erkuden Rios, Eider Iturbe, Angel Rego, Nicolas Ferry, Jean-Yves Tigli, Stéphane Lavirotte, Gérald Rocher, Phu Nguyen, Hui Song, Rustem Dautov, Wissam Mallouli, Ana Rosa Cavalli

With increasing interdependencies and evolving threats, maintaining operational continuity in critical systems has become a significant challenge. This paper presents the DYNABIC…
INT CL A
Knowledge Base on Species Life Traits : A Spanish/French Plinian Core implementation use case
Communication lors d'une conférence

Sophie Pamerlon, Anne-Sophie Archambeau, Francisco Pando de la Hoz, Gargominy Olivier, Franck Michel, Sandrine Tercerie, Eva Rodinson, Noëlie Maurel, Gloria Martínez-Sagarra, Adeline Kerner, Régine Vignes Lebbe, Bertrand Schatz, Pascal Dupont

The French “Traits” working group was created in 2021 to support the development of the national knowledge base on species life traits managed by the PatriNat department*1, to…
INT CL A
Régression Logistique à Noyau Équivalente à un Réseau de Neurones Interprétable
Communication lors d'une conférence

Marie Guyomard, Susana Barbosa, Lionel Fillatre

Cet article s'intéresse à l'approximation par une régression logistique à noyau d'un réseau de neurones interprétable. Nous introduisons un nouveau noyau découlant directement de…
CL
Using polymorphic glyphs to support the visual exploration of hierarchical spatio-temporal data
Communication lors d'une conférence

Aline Menin, Hadil Ayari, Franck Michel, Marco Winckler

Studying spatio-temporal data is essential to understand the processes of the real world. However, the design of effective visualizations to explore spatio-temporal data is not a…
INT CL A
Reconstruction sans-grille de courbes : un algorithme pour la super-résolution
Communication lors d'une conférence

Bastien Laville, Laure Blanc-Féraud, Gilles Aubert

La microscopie de fluorescence super-résolue est une technique d'imagerie permettant de s'affranchir du flou produit par la diffraction de la lumière, ce qui permet la…
INT CL
Weakly synchronous systems with three machines are Turing powerful
Pré-publication, document de travail

Cinzia Di Giusto, Davide Ferré, Etienne Lozes, Nicolas Nisse

Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate…
Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23
Recueil de communications

Natalia Kushik, Frédéric Mallet

Les journées AFADL ont pour objectif de rassembler de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du…
Parameter-Free FISTA by Adaptive Restart and Backtracking
Pré-publication, document de travail

Jean-François Aujol, Luca Calatroni, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre

We consider a combined restarting and adaptive backtracking strategy for the popular Fast Iterative Shrinking-Thresholding Algorithm frequently employed for accelerating the…
Corese
Logiciel

Rémi Cérès, Olivier Corby, Erwan Demairy

Corese is a software platform that implements and extends the standards of the Semantic Web established by the W3C, such as RDF, RDFS, SPARQL1.1 Query & Update, OWL RL, SHACL…
Kernel Logistic Regression Approximation of an Understandable ReLU Neural Network
Recueil de communications

Marie Guyomard, Susana Barbosa, Lionel Fillatre

This paper proposes an understandable neural network whose score function is modeled as an additive sum of univariate spline functions. It extends usual understandable models…
Object Detection for Embedded Systems Using Tiny Spiking Neural Networks: Filtering Noise Through Visual Attention
Communication lors d'une conférence

Hugo Bulzomi, Amélie Gruel, Jean Martinet, Takeshi Fujita, Yuta Nakano, Rémy Bendahan

Object detection is an important task becoming increasingly common in numerous applications for embedded systems. The traditional state-of-the-art deep neural networks (DNNs)…
A
Electrophysiological markers of visuo-spatial processing decline during spatial orientation in aging
Affiche de conférence

Clement Naveilhan, Alexandre Delaux, Marion Durteste, Jerome Lebrun, Raphaël Zory, Angelo Arleo, Stephen Ramanoël

INT CL
Tacrolimus population pharmacokinetics in adult heart transplant patients
Article dans une revue

Adrien Paschier, Alexandre Destere, Caroline Monchaud, Marc Labriffe, Pierre Marquet, Jean‐baptiste Woillard

Abstract Introduction Tacrolimus is an immunosuppressant largely used in heart transplantation. However, the calculation of its exposure based on the area under the curve (AUC)…
INT CL
The ACIMOV Methodology: Agile and Continuous Integration for Modular Ontologies and Vocabularies
Communication lors d'une conférence

Fatma-Zohra Hannou, Victor Charpenay, Maxime Lefrançois, Catherine Roussey, Antoine Zimmermann, Fabien Gandon

This work describes the Agile and Continuous Integration for Modular Ontologies and Vocabularies (ACIMOV) ontology engineering methodology for developing ontologies and…
INT CL A
The Neuropsychiatric Safety Profile of Lasmiditan: A Comparative Disproportionality Analysis with Triptans
Article dans une revue

Diane Merino, Alexandre Gérard, Elise van Obberghen, Alexandre Destere, Michel Lanteri-Minet, Milou-Daniel Drici

Migraine constitutes the world's second-leading cause of disability. Triptans, as serotonin 5-HT1B/1D receptor agonists, remain the first-line treatment, despite discouraged use…
INT CL
Playing the Part of the Sharp Bully : Generating Adversarial Examples for Implicit Hate Speech Detection
Communication lors d'une conférence

Nicolas Benjamin Ocampo, Elena Cabrio, Serena Villata

Research on abusive content detection on social media has primarily focused on explicit forms of hate speech (HS), that are often identifiable by recognizing hateful words and…
INT CL
Publications I3S sur HAL