Exemple de projet dans le domaine informatique

La professeure Marta Kwiatkowska est heureuse de superviser des projets dans le domaine de la modélisation quantitative/probabiliste, de la vérification et de la synthèse, en particulier celles relatives au vérificateur de modèle PRISM. Ces jeux ont plusieurs applications dans Logic et sémantique, intelligence artificielle et multi-agents systèmes, et de vérification et de l`informatique. Ces projets ont tendance à se concentrer fortement sur la conception et la mise en œuvre des méthodes procédurales existantes, mais inclut également une partie de la créativité. La pertinence accrue des sources d`énergie renouvelables a modifié le comportement du réseau électrique. Leah Clark-une enquête sur les techniques de collecte de données et d`apprentissage approfondi pour prédire les matchs de tennis. Malheureusement, l`équilibre de Nash n`est pas préservé sous la bisimilarité, l`une des équivalences comportementales les plus importantes pour les systèmes simultanés. Une appréciation de la structure protéique Guide une grande partie de nos recherches. De toute évidence, nous voulons que ces achats soient effectués en toute sécurité: un client veut être sûr de ce (s) qu`il achète et du (des) prix (s) qu`il paye; le marchand veut être sûr de recevoir le paiement; les deux parties veulent se retrouver avec la preuve de la transaction, dans le cas où l`autre partie nie qu`il a eu lieu; l`acte d`achat ne devrait pas divulguer des secrets, tels que les détails de carte de crédit, à un espion. L`idée est de produire un simulateur pour un Breadboard logique traditionnelle. Projet 1: Aboria dispose d`une recherche radiale voisine pour trouver les particules voisines dans l`espace n-dimensionnel, afin de calculer leurs interactions. Ses performances seront comparées à la mise en œuvre existante et à l`ensemble des différentes structures de données spatiales utilisées par Aboria (Cell-List, octree, Kdtree). Une possibilité serait de mettre en œuvre un algorithme proposé dans un document bien connu par Angluin, “apprentissage des ensembles réguliers à partir de requêtes et de contre-exemples”. Cela peut s`appliquer à la compression sans perte et avec perte.

Pour ce projet, nous suggérons à un étudiant de développer de nouveaux algorithmes pour la cartographie des processus d`affaires aux infrastructures de réseau de manière automatisée (compte tenu des fichiers de processus d`entreprise mis à jour). La caractéristique esthétique principale de la sortie serait mesurable comme un facteur de lissage, paramétrable par l`utilisateur. Il est intéressant de découvrir la quantité d`envie qui doit exister dans des procédures relativement simples. Ce projet, fondé sur la littérature existante, poursuivra (en fonction des intérêts de l`étudiant) les prolongements de ce travail récent, ou sa mise en œuvre en tant qu`outil logiciel. Ces diagrammes en retour pourraient être peaufinés pour dériver les processus opérationnels et les organigrammes, en veillant à ce que la décision prise au niveau supérieur soit appliquée dans les niveaux inférieurs. Strategy Logic (SL) est une logique temporelle à la raison de stratégies dans les jeux multi-joueurs. Par opposition aux techniques qui généralisent des spécifications incomplètes (e. Le centre de recherche du laboratoire de bioinformatique et de génomique fonctionnelle est le développement de technologies informatiques et expérimentales intégrées pour l`étude de la fonction génique et de la régulation dans les systèmes biologiques par l`analyse, la modélisation et visualisation de données biologiques hétérogènes.