Gallery — French

Informe L4

Breu resum sobre l'amor al món medieval. Basat en apunts de l'assignatura de la UB.

Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties : Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution. Logiques de description, et en particulier SROIQ. Sémantique et vérification des langages de programmation.

Résolution de problème inverse par point fixe

rapport final

Un bon point de départ pour composer un devoir à rendre à l'Université Laval.

Séries temporelles

L’Internet of Things (IoT), ou l’Internet des Objets (IdO), est considéré comme étant un concept moderne, et à même de révolutionner l’avenir proche. L’intérêt est de créer un environnement composé d’appareils et de systèmes intelligents, pouvant communiquer entre eux par le biais de réseaux informatiques. Ces échanges de données vont ainsi permettre de meilleures prises de décision dans un contexte de plus en plus complexe. Cependant, au fur et à mesure que les échanges se multiplient, la question de sécurité se pose, qui doit prendre en compte la faible puissance de calculs des appareils. Ce document a pour objectif de se focaliser sur les protocoles qui régissent ces échanges, et quelles sont les problématiques de sécurité qui en découlent.

Il s'agit d'un gabarit simple destiner à des étudiants qui n'ont jamais utilisé LaTeX. J'ai inclus plusieurs commentaires afin de donner quelques explications quant aux commandes utilisées.