L'institut
Actualité de FEMTO-ST

Vous êtes ici

Un problème ouvert résolu en informatique : une réduction efficace de la taille de systèmes

Gérard Cécé du département DISC/FEMTO-ST a présenté lors de la
conférence LICS'17, les fondations d'une série d'algorithmes efficaces
du calcul de la plus grande relation de simulation d'un système.

La notion de simulation permet de comparer les comportements de systèmes
informatiques mais aussi de réduire la taille de ces systèmes afin d'en
faciliter l'analyse. On peut prendre en exemple le cas d'un système
évoluant au travers de  près de 150 000 configurations différentes et
qui a pu être réduit, grace à cette notion de simulation, à un système
évoluant dans moins de 1 000 configurations. Il est dès lors bien plus
facile d'analyser ce système réduit pour en valider le bon comportement
ou y détecter des erreurs.

La difficulté est que les algorithmes calculant la plus grande
simulation d'un système étaient soit économes en mémoire mais pas bien
rapides, soit rapides mais utilisant beaucoup de mémoire et donc
inapplicables sur de grands systèmes. Depuis 2007 se posait le problème
de l'existence d'un algorithme à la fois rapide et économe en mémoire.
L'article présenté à LICS répond positivement à cette question et
surtout met en évidences les fondations qui permettront de proposer de
nouveaux compromis, tant théorique que pratique, entre temps de calcul
et mémoire nécessaire à ce type d'algorithmes.

  • L’intelligence artificielle au service de la collecte de données agricoles

    Le projet ANR OCOD combine capteurs intelligents, drones et optimisation pour la collecte de données dans des environnements naturels contraints.

    Lire la suite
  • Un projet européen pour la prévention des déchirures du périnée

    PELVITRACK propose un outil prédictif aux praticiens dans le cadre d’un consortium européen interdisciplinaire impliquant FEMTO-ST.

    Lire la suite
  • 12 postes d’enseignants-chercheurs à pourvoir à FEMTO-ST

    Informatique, Génie informatique - automatique et traitement du signal, Génie Civil - Physique et Energétique du bâtiment, mécanique – génie mécanique.

    Lire la suite
  • Prix du Best Paper à BIOSTEC 2025

    Les travaux de Ouassim Boukhennoufa et son équipe combinent IA et optimisation d’images en médecine nucléaire pour une détection plus précise et précoce des anomalies parathyroïdiennes.

    Lire la suite
  • Structures Kagomé pour les technologies quantiques

    Les technologies quantiques ouvrent des perspectives prometteuses mais elles nécessitent le développement de nouveaux matériaux aux propriétés remarquables.

    Lire la suite
  • Lancement du projet européen "SAMI" de capteurs intelligents sans énergie

    Une collaboration scientifique et technologique d’envergure entre l’entreprise Silmach et l’institut FEMTO-ST dans le domaine des capteurs intelligents et autonomes débute en ce début d'année 2025.

    Lire la suite
  • Prix de thèse RENATECH 2024

    Adria Grabulosa est récompensé pour ses travaux permettant la réalisation de circuits imprimés 3D par une technique originale de fabrication additive optique photon par photon.

    Lire la suite
  • Elsevier article award à BFAS 2024

    Intelligence artificielle appliquée au procédé d’usinage par électroérosion : Loïc Guiziou1, Emmanuel Ramasso1, Sébastien Thibaud1 et Sébastien Denneulin2 ont décroché le second prix du meilleur papier lors de la 8e Conférence Internationale sur les Fonctions de Croyance.

    Lire la suite
  • Hommage à notre collègue Sarah Benchabane

    Le CNRS et la communauté universitaire de Bourgogne Franche-Comté sont en deuil suite au décès de Sarah Benchabane, Directrice de Recherche au CNRS et chercheuse de renommée internationale en phononique, affiliée au laboratoire FEMTO-ST.

    Lire la suite
  • La structure i-motif de l’ADN existe-t-elle dans la cellule ?

    Dans le cadre d’un projet interdisciplinaire impliquant FEMTO-ST, une nouvelle étude scientifique relance le débat sur l’existence même de ces structures dans l’ADN et leur potentiel intérêt thérapeutique en biologie cellulaire pour le traitement de certains cancers.

    Lire la suite

Pages