Vous êtes ici

Thèse

Conception d'architecture de système-de-systèmes à logiciel prépondérant dirigée par le missions

La formulation des missions est le point de départ du développement de systèmes-desystèmes, étant utilisée comme base pour la spécification, la vérification et la validation d’architectures de systèmes-de-systèmes.

Orateur: 
Eduardo Alexandre FERREIRA SILVA

Assisted design and analysis of attack trees

You are invited to attend the thesis defence of Maxime AUDINOT which will take place on Monday 17th of December at 2pm in room Métivier

Assisted design and analysis of attack trees

Orateur: 
Maxime AUDINOT (Logica)

Assistance à la conception et l'analyse d'arbres d'attaque

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Maxime AUDINOT le lundi 17 décembre à 14h en salle Métivier

Assistance à la conception et l'analyse d'arbres d'attaque

Orateur: 
Maxime AUDINOT (Logica)

KerA : A Unified Ingestion and Storage System for Scalable Big Data Processing

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Ovidiu MARCU (Equipe KerData) qui se déroulera le mardi 18 décembre 2018 à 09h30, Salle Pétri-Turing ainsi qu’au pot qui aura lieu à 16h en salle Minquiers.

Titre : KerA : A Unified Ingestion and Storage System for Scalable Big Data Processing

Résumé :

Orateur: 
MARCU Ovidiu

Minimising shared resource contention when scheduling real-time applications on multi-core architectures

Multi-core architectures using scratch pad memories are very attractive to execute embedded time-critical applications, because they offer a large computational power. However, ensuring that timing constraints are met on such platforms is challenging, because some hardware resources are shared between cores. When targeting the bus connecting cores and external memory, worst-case sharing scenarios are too pessimistic. This thesis propose strategies to reduce this pessimism.

Orateur: 
Benjamin Rouxel

Exploring heterogeneity in loosely consistent decentralized data replication

Decentralized systems are scalable by design but also difficult to coordinate due to their weak coupling.Replicating data in these geo-distributed systems is therefore a challenge inherent to their

Orateur: 
Pierre-Louis Rompan

The many faces of approximation in KNN graph computing

The incredible quantity of available content in online services makes content of interest incredibly difficult to find. The most emblematic way to help the users is to do item recommendation. The K-Nearest-Neighbors (KNN) graph connects each user to its k most similar other users, according to a given similarity metric. The computation time of an exact KNN graph is prohibitive in online services. Existing approaches approximate the set of candidates for each user’s neighborhood to decrease the computation time.

Orateur: 
Olivier Ruas

Certification d’Analyses Non Locales avec une Sémantique Annotée

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Gurvan Cabon (équipe Celtique) qui se tiendra le vendredi 14 décembre à 14h30 en salle Michel Métivier ainsi qu'au pot qui suivra en salle Sein.

Titre: Certification d’Analyses Non Locales avec une Sémantique Annotée


Résumé:

Orateur: 
Gurvan Cabon (CELTIQUE)

Multimodal anomaly detection in discourse using speech and facial expressions

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Cédric FAYET (Equipe EXPRESSION) qui se tiendra le  mardi 18 décembre 2018  à 14 h 00 à l'ENSSAT de LANNION - Salle Jacques LE SQUIN (020G). La soutenance sera également diffusée en visioconférence : Adresse IP 194.214.202.146    N° de la conférence 728647#  Code d'accès 2256#

TITRE DE LA THESE : Multimodal anomaly detection in discourse using speech and facial expressions

Abstract:

Orateur: 
Cédric FAYET (Équipe EXPRESSION)

Analyse probabiliste de protocoles de population

Nous nous situons dans le contexte du modèle des protocoles de population. Ce modèle, introduit en 2004 par Angluin et al., fournit les bases théoriques pour analyser les propriétés émergeant d'un système constitué d'agents anonymes interagissant deux à deux.
Dans ce cadre, nous analysons en profondeur quatre protocoles : le protocole de diffusion, de moyenne avec des entiers, de moyenne avec des réels et le protocole d'horloge.

Orateur: 
Yves MOCQUARD

Pages

S'abonner à RSS - Thèse