Scientific Diffusion
30 latest research papers
Automatic Semantic Classification of Ancient Zoological Texts
Conference Paper
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 thesaurus TheZoo.Learning to Classify Logical Formulas Based on Their Semantic Similarity
Conference Paper
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 the formula. Logic…Adaptive design criteria motivated by a plug-in percentile estimator
Book Section
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 sophisticated industrial…Incremental construction of nested designs based on two-level fractional factorial designs
Book Section
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 hypercube are too…Multiple Description Video Coding for Real-Time Applications using HEVC
Conference Paper
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, the encoded video…Multi-masks Generation for Increasing Robustness of Dense Direct Methods
Conference Paper
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 (virtual views) that…Constraints First: A New MDD-based Model to Generate Sentences Under Constraints
Conference Paper
Alexandre Bonlarron, Aurélie Calabrèse, Pierre Kornprobst, Jean-Charles Régin
This paper introduces a new approach to generating strongly constrained texts. We consider standardized sentence generation for the typical application of vision screening. To solve this problem, we…Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
Conference Paper
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). These are all extensions…Towards User Profile Meta-Ontology
Preprint, Working Paper
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 needs of their users…A Deep Dynamic Latent Block Model for the Co-clustering of Zero-Inflated Data Matrices
Conference Paper
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 sets. However, most…Implicit Neural Multiple Description for DNA-based data storage
Preprint, Working Paper
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. However, developing…Generalised Mutual Information: a Framework for Discriminative Clustering
Preprint, Working Paper
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 regularisations. While…Evolutionary continuous optimization of hybrid Gene Regulatory Networks
Conference Paper
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 GRNs (hGRNs) are of…Iatrogenic triggers for anorexia nervosa and bulimia nervosa: A WHO safety database disproportionality analysis
Journal Article
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 iatrogenic triggers…Refinements for Open Automata (Extended Version)
Report
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 simulate those of…The DYNABIC approach to resilience of critical infrastructures
Conference Paper
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 (Dynamic business…Knowledge Base on Species Life Traits : A Spanish/French Plinian Core implementation use case
Conference Paper
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 identify and implement…Régression Logistique à Noyau Équivalente à un Réseau de Neurones Interprétable
Conference Paper
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 l'architecture du…Using polymorphic glyphs to support the visual exploration of hierarchical spatio-temporal data
Conference Paper
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 straightforward…Reconstruction sans-grille de courbes : un algorithme pour la super-résolution
Conference Paper
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 reconstruction de détails fins…Constraints First: A New MDD-based Model to Generate Sentences Under Constraints
Conference Paper
Alexandre Bonlarron, Aurelie Calabrese, Pierre Kornprobst, Jean-Charles Régin
This paper introduces a new approach to generating strongly constrained texts. We consider standardized sentence generation for the typical application of vision screening. To solve this problem, we…Weakly synchronous systems with three machines are Turing powerful
Preprint, Working Paper
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 through phases in…Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23
Proceeding
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 développement des…Parameter-Free FISTA by Adaptive Restart and Backtracking
Preprint, Working Paper
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 convergence speed of…Corese
Software
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, and others. This…Kernel Logistic Regression Approximation of an Understandable ReLU Neural Network
Proceeding
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 like generative…Object Detection for Embedded Systems Using Tiny Spiking Neural Networks: Filtering Noise Through Visual Attention
Conference Paper
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) tend to be incompatible…Electrophysiological markers of visuo-spatial processing decline during spatial orientation in aging
Communication Poster
Clement Naveilhan, Alexandre Delaux, Marion Durteste, Jerome Lebrun, Raphaël Zory, Angelo Arleo, Stephen Ramanoël
Tacrolimus population pharmacokinetics in adult heart transplant patients
Journal Article
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) requires the use of a…The ACIMOV Methodology: Agile and Continuous Integration for Modular Ontologies and Vocabularies
Conference Paper
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 vocabularies. ACIMOV extends…