Performance evaluation of container management tasks in OS-level virtualization platforms

By Pedro Melo, Lucas Gama, Jamilson Dantas, David Beserra, Jean Araujo


In 31th IEEE international conference on enabling technologies: Infrastructure for collaborative enterprises (WETICE)

Abstract Cloud computing is a method for accessing and managing computing resources over the internet, providing flexibility, scalability, and cost-efficiency. Cloud computing relies more and more on OS-level virtualization tools such as Docker and Podman, enabling users to create and run containers, which are widely used for application management. Given its significance in cloud infrastructures, it is crucial to have a better understanding of OS-level virtualization performance, especially in tasks related to container management (ex: creation, destruction).

Continue reading

An improved spectral extraction method for JWST/NIRSpec fixed slit observations

Abstract The James Webb Space Telescope is performing beyond our expectations. Its Near Infrared Spectrograph (NIRSpec) provides versatile spectroscopic capabilities in the 0.6-5.3 micrometre wavelength range, where a new window is opening for studying Trans-Neptunian objects in particular. We propose a spectral extraction method for NIRSpec fixed slit observations, with the aim of meeting the superior performance on the instrument with the most advanced data processing. We applied this method on the fixed slit dataset of the guaranteed-time observation program 1231, which targets Plutino 2003 AZ84.

Continue reading

Where is VALDO? VAscular Lesions Detection and segmentatiOn challenge at MICCAI 2021

Abstract Imaging markers of cerebral small vessel disease provide valuable information on brain health, but their manual assessment is time-consuming and hampered by substantial intra- and interrater variability. Automated rating may benefit biomedical research, as well as clinical assessment, but diagnostic reliability of existing algorithms is unknown. Here, we present the results of the VAscular Lesions DetectiOn and Segmentation (Where is VALDO?) challenge that was run as a satellite event at the international conference on Medical Image Computing and Computer Aided Intervention (MICCAI) 2021.

Continue reading

Bridging human concepts and computer vision for explainable face verification

By Miriam Doh, Caroline Mazini-Rodrigues, Nicolas Boutry, Laurent Najman, Mancas Matei, Hugues Bersini


In 2nd international workshop on emerging ethical aspects of AI (BEWARE-23)

Abstract With Artificial Intelligence (AI) influencing the decision-making process of sensitive applications such as Face Verification, it is fundamental to ensure the transparency, fairness, and accountability of decisions. Although Explainable Artificial Intelligence (XAI) techniques exist to clarify AI decisions, it is equally important to provide interpretability of these decisions to humans. In this paper, we present an approach to combine computer and human vision to increase the explanation’s interpretability of a face verification algorithm.

Continue reading

Refinement of a ligand activity and representation of topological phamacophores in a colored network

By Maroua Lejmi, Damien Geslin, Bertrand Cuissart, Ilef Ben Slima, Nidà Meddouri, Ronan Bureau, Alban Lepailleur, Amel Borgi, Jean-Luc Lamotte


In Proceedings of the 11èmes journées de la société française de chémoinformatique

Abstract Structure-Activity Relationships is a critical aspect of drug design. It enables us to examine ligand interactions and performances towards specific targets, then to design effective drugs for treating diseases or improving existing medical therapies. In this context, we specifically study the activity of ligands towards kinases using the BCR-ABL dataset. The work is dedicated to introduce a refinement method for the activity of molecules. Instead of considering anity as a binary activity, a molecule being either active or inactive, the compounds were partitioned into 4 classes according to their activity: very active, moderately active, slightly active, inactive.

Continue reading

How to compute the convex hull of a binary shape? A real-time algorithm to compute the convex hull of a binary shape

By Jonathan Fabrizio


In Journal of Real-Time Image Processing volume

Abstract In this article, we present an algorithm to compute the convex hull of a binary shape. Efficient algorithms to compute the convex hull of a set of points had been proposed long time ago. For a binary shape, the common practice is to rely on one of them: to compute the convex hull of binary shape, all pixels of the shape are first listed, and then the convex hull is computed on this list of points.

Continue reading

Interactive and real-time typesetting for demonstration and experimentation: <span style="font-variant:small-caps;">ETAP</span>

By Didier Verna


In TUGboat

Abstract In general, typesetting experimentation is not a very practical thing to do. WYSIWYG typesetting systems are very reactive but do not offer highly configurable algorithms, and TeX, with its separate development / compilation / visualization phases, is not as interactive as its WYSIWYG competitors. Being able to experiment with typesetting algorithms interactively and in real-time is nevertheless desirable, for instance for demonstration purposes, or for rapid prototyping and debugging of new ideas.

Continue reading

Layered controller synthesis for dynamic multi-agent systems

By Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier


In Proceedings of the 21st international conference on formal modeling and analysis of timed systems (FORMATS’23)

Abstract In this paper we present a layered approach for multi-agent control problem, decomposed into three stages, each building upon the results of the previous one. First, a high-level plan for a coarse abstraction of the system is computed, relying on parametric timed automata augmented with stopwatches as they allow to efficiently model simplified dynamics of such systems. In the second stage, the high-level plan, based on SMT-formulation, mainly handles the combinatorial aspects of the problem, provides a more dynamically accurate solution.

Continue reading

Open Access to Data about Silk Heritage: A Case Study in Digital Information Sustainability

Abstract This article builds on work conducted and lessons learned within SILKNOW, a research project that aimed at enhancing the preservation and digital dissemination of silk heritage. Taking the project and this heritage typology as a case study in the digital transformation of cultural heritage institutions, it illustrates specific challenges that these institutions must face and demonstrates a few innovative answers to meet those challenges. The methodology combines approaches typical of the humanities and others usual in ICT, being inductive regarding materials and methods (consisting of a detailed review of existing online repositories and research projects devoted to textile heritage) and descriptive for the results and discussion (which explain at length the development of some tools and resources that responded to the needs detected in the previous analysis).

Continue reading