Diffusion scientifique
30 dernières publications
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…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…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…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…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)…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…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…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…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…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…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…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…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…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)…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
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)…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…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…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…