Etienne André,de l'Université Paris 13 fera un exposé le vendredi 3 mai à 14h00 en salle A008 intitulé "Monitoring real-time systems under uncertainty" Abstract : Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another action before a given deadline". This problem has strong connections with monitoring real-time systems. We address here timed pattern matching in presence…
Find out more »Démystifier la recherche scientifique et la faire découvrir au grand public dans un cadre détendu… Parce que non… dans un labo, ça ne se passe pas toujours comme dans “Les Experts”. Le Festival Pint of Science invite de brillants scientifiques dans votre bar préféré pour discuter avec vous de leurs dernières recherches et découvertes. C’est pour vous l’occasion parfaite de rencontrer les acteurs de la science de demain en chair et en os. Vous n’avez plus d’excuse pour ne pas…
Find out more »La communication persuasive se base sur l’utilisation de stimuli pour influencer le choix des consommateurs. À cela s’ajoutent les recommandations d’autres produits basées sur les données des internautes. Le but ? Essayer d’influencer les consommateurs. Intervenants : Tatiana Makhalova (équipe Orpailleur Inria/Loria), accompagnée de deux membres du CEREFIGE (Centre Européen de Recherche en Économie Financière et Gestion des Entreprises)
Find out more »Algorithmes, réseaux, bases de données… les rudiments de l’informatique peuvent s’expliquer aux plus jeunes grâce à des jeux et des énigmes, le tout sans ordinateur. La pensée informatique n’est pas réservée aux informaticiens ! Intervenants : Marie Duflot-Kremer, maître de conférences Université de Lorraine (équipe Mosel-Veridis Inria/Loria) et Maxime Amblard, maître de conférences Université de Lorraine (équipe Sémagramme Inria/Loria)
Find out more »Lors du déplacement de robots autonomes, le repérage dans l’espace, la transmission de messages et le partage des tâches entrent en jeu. Mais lorsqu’ils sont trop nombreux, le système sature et la synchronisation échoue, pouvant entraîner un dysfonctionnement.
Find out more »
