Les actions transversales concernent plusieurs sujets :
- les plateformes expérimentales
- les formations à des technos spécifiques via Les Midis de la Bidouille
- les actions de formations
Les Plateformes Expérimentales
Les Plateformes Interaction Humain - Systèmes Numériques
Le SED gère les espaces expérimentaux dédiés aux intercations Humaines - Système Numérique et les ateliers mécanique et électronique permettant la réalisation de prototypes.
Avec ces espaces, le SED accompagne, coordonne les actions scientifiques qui y sont hébergées au plus proche des préoccupations des chercheuses et chercheurs :
- La coupole
- Les expériences BCI
- Hobit
- Une cabine Insonorisée
- Une table Optique
- Le Grand Volume avec l’expérience autour des Avatars
- et même parfois des pièces innatendue comme le local Syndical…
La Plateforme PlaFRIM
PlaFRIM est une plateforme expérimentale pilotée par le SED de Bordeaux à la base, sous la direction scientifique de Brice Goglin (DR TADaaM) et la responsabilité technique de Julien Lelaurain (DSI).
La plateforme a pour vocation de :
- créer de la transversalité entre les équipes de Mathématiques et d’informatique ;
- être en avance de phase sur les matériels pour préparer les objets logiciels aux plateformes de calcul Tier-0 et Tier-1 de demain.
Les Midis de la Bidouille
Les bidouilles présentées
[16/04/2024] - La conteneurisation avec Docker (Pau)
author: "Algiane Froehly"
Docker est un logiciel de conteneurisation qui permet notamment de déployer des environnements locaux.
Entre autre utilités, Docker peut vous aider :
- à vous rapprocher de la configuration d’une ou d’un collègue pour répliquer le comportement d’un code (bug) sans modifier votre installation;
- à faire cohabiter sereinement plusieurs configurations et versions de piles logicielles;
- à bénéficier d’outils non disponible sur votre OS (par exemple valgrind pour les utilisateurs de Mac);
- ou encore à déployer rapidement des environnements donnés dans votre processus d’intégration continue.
La fin de la formation aborde très rapidement quelques notions d’architecture matérielle et d’émulation : vous savez que vous devez télécharger des binaires x86_64 pour votre ordi mais pas vraiment pourquoi? Vous ne comprenez pas pourquoi le binaire envoyé par votre collègue ne tourne pas chez vous et vous aimeriez bien l’utiliser quand même? En une ligne de commande, le déploiement grace à Docker d’une image de l’outil d’émulation Qemu peut vous fournir une solution.
[07/11/2023] - Au-delà de ChatGPT : Explorer Mistral et les LLMs Open-Source
author: "Yannis Bendi-Ouis"
[27/06/2023] - La découverte de LLVM épisode 4 : instrumentation de binaires avec Clang
author: "Philippe Virouleau"
[03/05/2022] - Medit: fast and light mesh inspection and vizualization
author: "Algiane Froehly"
Medit est une application légère et rapide permettant l’inspection et la visualisation de maillages. Medit permet entre autre : de rechercher une entité d’indice donné dans un maillage et d’afficher les informations associées; de réaliser facilement des plans de coupe pour visualiser des entités volumiques ou surfaciques; de lier des vues de maillages pour les comparer; d’exploser la vue du maillage pour détecter des entités dégénérées et de visualiser des champs de solutions.
[02/12/2021] - Pytorch partie 2 : Applications (régression linéaire et classification d'images avec un CNN)
author: "Eloïse Guillem"
[25/11/2021] - energy_scope: mesurer le profil énergétique d'une application HPC
author: "Hervé Mathieu"
[16/11/2021] - CMake: tour d'horizon des fonctionnalités à partir d'exemples, trucs et astuces
author: "Florent Pruvost (& Marc Fuentes)"
[21/10/2021] - Initiation à PyTorch: création de tenseurs, gestion de dérivées etc...
author: "Éloïse Guillem"
[18/10/2019] - Impression 3D : modèles STL
author: "Brice Goglin & David Sherman"
A partir d’un modèle STL (récupéré en ligne [1] ou conçu soi-même [2]), nous verrons comment un logiciel de découpe (comme Slic3r [3]) traduit ce modèle en couches plus ou moins denses avant de l’envoyer à l’imprimante. On abordera les notions de support et de jupe qui peuvent être nécessaires selon la forme du modèle.
[28/03/2019] - Déverminage avec valgrind
author: "Cyril Bordage"
Outil de programmation libre pour déboguer, effectuer du profilage de code et mettre en évidence des fuites mémoires.
[05/06/2018] - Programmation de jeux vidéos avec SDL2
author: "Raymond Namyst"
Programmation d’un jeu avec défilement : manipulations de «sprites», gestion du son, etc…
[03/05/2018] - Jenkins Pipelines
author: "Brice Goglin"
Mise-en-œuvre des pipelines Jenkins sur la plate-forme d’intégration continue de l’INRIA
[24/04/2018] - OpenMP avancé (tâches)
author: "Pierre-André Wacrenier"
Utilisation avancée d’OpenMP avec notamment les tâches, illustration sur le problème du voyageur de commerce
[03/04/2018] - OpenMP, un paradigme pour le multi-cœurs
author: "Pierre-André Wacrenier"
Découverte d’OpenMP pour le parallèlisme à mémoire partagée : création de fils d’exécution, sections critiques, opérations atomiques, réductions
[20/03/2018] - Le logiciel de chiffrement GnuPG
author: "Andreas Enge"
Utilisation de GnuPG : création de clefs, signature, chiffrement, déchiffrement
[15/03/2018] - Le gestionnaire de paquets guix
author: "Ludovic Courtès"
Utilisation du gestionnaire de paquets guix sur la plate-forme plafrim
[23/01/2018] - Utilisation avancée de git
author: "Ludovic Courtès"
Utilisation avancée de git : rebase
[23/11/2017] - Découvrez mpi avec python
author: "Marc Fuentes"
On passe en revue les fonctions de base de l’api mpi a l’aide de python
[xx/xx/2017] - gitlab-ci
author: "Florent Pruvost"
Présentation de gitlab-ci, le système d’intégration continue de la plateforme nationale inria gitlab
[xx/xx/2017] - Sonarqube
author: "Florent Pruvost, Hervé Mathieu"
Introduction au tableau de bord sonarqube pour améliorer la qualité du code
[23/03/2017] - Interactions gitlab/Jenkins
author: "Florent Pruvost, Marc Fuentes"
Utilisation conjointe des plate-formes gitlab et ci /jenkins
[16/03/2017] - gitlab
author: "François Rué"
Présentation de la plate-forme nationale gitlab : projets, utilisateurs, permissions, demandes de fusion (mr), etc…
[09/02/2017] - Bonnes pratiques collaboratives avec gits
author: "Ludovic Courtès"
Présentation des méthodes collaboratives de travail avec git
[26/01/2017] - zsh
author: "Cyril Bordage"
Présentation du shell zsh : complétion, expansion de noms de fichiers et greffons externes
[15/12/2016] - Vim pour la programmation
author: "Marc Fuentes"
Présentation de divers outils (ctags, fugitive, grep) pour utiliser vim commenvironnement de développement intégré
[10/10/2016] - Openstreetmap
author: "Vincent Bergeot"
Présentation de la base de données openstreetmap, des divers outils que l’on peut utiliser avec et de comment contribuer?
[14/06/2016] - Inkscape
author: "Cyril Bordage"
Introduction aux fonctions de base de Inkscape
[11/02/2016] - tmux
author: "Marc Fuentes"
Présentation de l’utilisation basique de tmux, un multiplexeur de terminal
[14/01/2016] - Raspberry π (ii)
author: "Thibault Lainé"
Raspberry π : les Raspberry π sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés
[05/11/2015] - Raspberry π
author: "Thibault Lainé"
Raspberry π : les Raspberry π sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés
[20/08/2015] - Présentation de slurm
author: "Redouane Bouchouirbat"
Présentation de slurm : slurm est l’ordonnanceur actuellement utilisé sur la nouvelle plate-forme plafrim ii
[11/06/2015] - Introduction à openmp
author: "Pierre-1ndré Wacrenier"
Introduction à openmp: le cadriciel openmp permet de faire du parallèlisme à mémoire distribuée d’une façon accessible en ajoutant des #pragmas à un code séquentiel.
[20/03/2015] - Présentation d'orgmode (ii)
author: "Ludovic Courtès"
Présentation d’orgmode : une extension de gnu emacs permettant de gérer des listes, des agendas ou de planifier des projets
[03/02/2015] - Utilisation de ssh
author: "Guillaume cassonnet"
Présentation de l’outil ssh, avec notamment les tunnels avant, arrière, le transfert de fichier et les agents ssh
[16/01/2015] - Déverminage parallèle
author: "Cédric Lachat"
Une introduction au déverminage parallèle (mpi) en utilisant des outils tels que valgrind et gnu gdb
[05/12/2014] - git avancé
author: "Brice Goglin"
Utilisation avancée de git avec notamment :
- commandes de bases: show, status, log, commit, add, pull, push, merge, branch.
- les bases des branches locales et distantes.
- résoudre les conflits dans pull ou merge.
- connaître la différence entre les changements staged ou non.
- les descripteurs de commits head^^, head~5, etc.
- commandes avancées : rebase, cherry-pick, reset, stash, reflog, clean, blame,
[02/10/2014] - Outils shell de base
author: "Cédric Lachat"