Article sur le Machine Learning, paru dans le magazine GNU LINUX MAGAZINE / FRANCE Hors-Serie n°94.
Présentation du Machine Learning : ses principes, ses modèles, ses applications... (9 pages).
Présentation du Machine Learning : ses principes, ses modèles, ses applications... (9 pages).
Article sur des outils pour le langage C, paru dans le magazine GNU LINUX MAGAZINE / FRANCE n°171.
Présentation de divers outils pour le langage C : debogage, couverture de code, Makefiles... (10 pages).
Présentation de divers outils pour le langage C : debogage, couverture de code, Makefiles... (10 pages).
Article sur le model checker Spin, paru dans le magazine Open Silicium n°9.
Introduction sur le langage Promela, exemples de modélisations et de vérifications (6 pages).
Introduction sur le langage Promela, exemples de modélisations et de vérifications (6 pages).
Article sur le langage C, paru dans le hors-série et guide du Gnu-Linux Magazine n°70 : LANGAGE C.
Introduction sur le langage C, histoire et principes de base, avec exemples (21 pages).
Introduction sur le langage C, histoire et principes de base, avec exemples (21 pages).
Article sur les tests unitaires en C avec le framework Check et la couverture de tests avec Gcov et Lcov, parue dans le magazine GNU LINUX MAGAZINE / FRANCE n°154.
Introduction sur les tests unitaires et la couverture de code ; exemple concret (6 pages).
Introduction sur les tests unitaires et la couverture de code ; exemple concret (6 pages).
Article sur le détecteur d'intrusion réseau Snort et son interface web BASE, paru dans le magazine GNU LINUX MAGAZINE / FRANCE n°149.
Introduction à propos de la sécurité sur Internet, mise en place de Snort et Base, analyse d'une alerte (5 pages).
Introduction à propos de la sécurité sur Internet, mise en place de Snort et Base, analyse d'une alerte (5 pages).
Article sur Rattle, the R Analytical Tool To Learn Easily, paru dans le magazine GNU LINUX MAGAZINE / FRANCE n°144.
Introduction aux réseaux de neurones, utilisation de données météo pour réaliser un réseau de neurones prédictif, datamining et exploitation des résultats (6 pages).
Introduction aux réseaux de neurones, utilisation de données météo pour réaliser un réseau de neurones prédictif, datamining et exploitation des résultats (6 pages).
Article sur Frama-C et son module de preuve Jessy, paru dans le magazine GNU LINUX MAGAZINE / FRANCE HORS-SERIE n°55.
Introduction à la preuve de programme, utilisation de Frama-C et de son module Jessy avec un exemple de base (7 pages).
Introduction à la preuve de programme, utilisation de Frama-C et de son module Jessy avec un exemple de base (7 pages).
Article sur le solveur de programmes linéaire GLPK (GNU Linear Programming Kit) paru dans le magazine GNU LINUX MAGAZINE / FRANCE n°135.
Introduction à la programmation linéaire, exemples et résolution de problèmes NP-Complets avec GLPK (6 pages).
Introduction à la programmation linéaire, exemples et résolution de problèmes NP-Complets avec GLPK (6 pages).
Article sur le langage AWK paru dans le magazine GNU LINUX MAGAZINE / FRANCE n°131.
Description générale du langage, exemples et procédures (6 pages).
Description générale du langage, exemples et procédures (6 pages).