Customisation d'Halloween avec Scratch / Sarah Lacaze / Geek junior (2023) in Geek junior, 038 (10/2023)

Public ISBD Aucun avis sur cette notice. [article]  inGeek junior > 038 (10/2023) Titre : Customisation d'Halloween avec Scratch Type de document : texte imprimé Auteurs : Sarah Lacaze Editeur : Geek junior, 2023 Article : p.19-21 Langues : Français (fre) Descripteurs : langage de programmation Résumé : Etapes pour customiser une citrouille et un fantôme virtuels à l'aide de Scratch. Nature du document : documentaire Genre : Article de périodique [article] Customisation d'Halloween avec Scratch [texte imprimé] / Sarah Lacaze . - Geek junior, 2023 . - p.19-21. Langues : Français (fre) in Geek junior > 038 (10/2023) Descripteurs : langage de programmation Résumé : Etapes pour customiser une citrouille et un fantôme virtuels à l'aide de Scratch. Nature du document : documentaire Genre : Article de périodique

Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La Recherche (Paris. 1970), 548 (06/2019)

Public ISBD Aucun avis sur cette notice. [article]  inLa Recherche (Paris. 1970) > 548 (06/2019) Titre : Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" Type de document : texte imprimé Auteurs : Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur Editeur : Sophia Publications, 2019 Article : p.4-8 Note générale : Bibliographie. Langues : Français (fre) Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - Sophia Publications, 2019 . - p.4-8. Bibliographie. Langues : Français (fre) in La Recherche (Paris. 1970) > 548 (06/2019) Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview

Jouer à PIerre-Feuille-Ciseaux avec Micro:bit / Sarah Lacaze / Geek junior (2023) in Geek junior, 039 (11/2023)

Public ISBD Aucun avis sur cette notice. [article]  inGeek junior > 039 (11/2023) Titre : Jouer à PIerre-Feuille-Ciseaux avec Micro:bit Type de document : texte imprimé Auteurs : Sarah Lacaze Editeur : Geek junior, 2023 Article : p.19-20 Langues : Français (fre) Descripteurs : jeu vidéo / langage de programmation Résumé : Exemple de programmation de la carte Micro:bit avec Scratch : la réalisation du jeu de Pierre-feuille-Ciseaux. Nature du document : documentaire Genre : Article de périodique [article] Jouer à PIerre-Feuille-Ciseaux avec Micro:bit [texte imprimé] / Sarah Lacaze . - Geek junior, 2023 . - p.19-20. Langues : Français (fre) in Geek junior > 039 (11/2023) Descripteurs : jeu vidéo / langage de programmation Résumé : Exemple de programmation de la carte Micro:bit avec Scratch : la réalisation du jeu de Pierre-feuille-Ciseaux. Nature du document : documentaire Genre : Article de périodique

Les langages du Web / Baptiste Mélès / Canopé (2018) in Textes et documents pour la classe (1975), 1116 (15/06/2018)

Public ISBD Aucun avis sur cette notice. [article]  inTextes et documents pour la classe (1975) > 1116 (15/06/2018) Titre : Les langages du Web Type de document : texte imprimé Auteurs : Baptiste Mélès, Auteur Editeur : Canopé, 2018 Article : p.40-43 Note générale : Bibliographie. Langues : Français (fre) Descripteurs : langage de programmation Mots-clés : programmation Web Résumé : Présentation des langages du Web : la définition du World Wild Web ; le protocole http ; le langage virtuel ; les balises ; le développement des fonctionnalités ; la programmation. Nature du document : documentaire Genre : Article de périodique [article] Les langages du Web [texte imprimé] / Baptiste Mélès, Auteur . - Canopé, 2018 . - p.40-43. Bibliographie. Langues : Français (fre) in Textes et documents pour la classe (1975) > 1116 (15/06/2018) Descripteurs : langage de programmation Mots-clés : programmation Web Résumé : Présentation des langages du Web : la définition du World Wild Web ; le protocole http ; le langage virtuel ; les balises ; le développement des fonctionnalités ; la programmation. Nature du document : documentaire Genre : Article de périodique

Licorne d'Europe. Mistral gagnant / Courrier international (2024) in Courrier international (Paris. 1990), 1760-1761-1762 (25/07/2024)

Public ISBD Aucun avis sur cette notice. [article]  inCourrier international (Paris. 1990) > 1760-1761-1762 (25/07/2024) Titre : Licorne d'Europe. Mistral gagnant Type de document : texte imprimé Editeur : Courrier international, 2024 Article : p.48-49 Langues : Français (fre) Descripteurs : algorithmique / création d'entreprise / langage de programmation Résumé : Dans The Economist [presse britannique] , extraits de l'enquête sur la start-up parisienne Mistral AI, spécialiste des grands modèles de langage (LLM) : la mise au point par Open AI du LLM , GPT-4 ; les explications du directeur général de Mistral, Arthur Mensch ; le développement de l'entreprise depuis sa fondation en 2023 ; les atouts des LLM "open source" ; la valorisation financière de Mistral AI ; le profil des fondateurs ; l'avantage concurrentiel de Mistral reconnu par les experts du domaine ; le rôle essentiel de la sélection des données ; les contextes technique et politique favorables ; les inquiétudes des clients potentiels face à la question de la régulation. Encadré : la levée de fonds de Mistral AI. Nature du document : documentaire Genre : Article de périodique [article] Licorne d'Europe. Mistral gagnant [texte imprimé] . - Courrier international, 2024 . - p.48-49. Langues : Français (fre) in Courrier international (Paris. 1990) > 1760-1761-1762 (25/07/2024) Descripteurs : algorithmique / création d'entreprise / langage de programmation Résumé : Dans The Economist [presse britannique] , extraits de l'enquête sur la start-up parisienne Mistral AI, spécialiste des grands modèles de langage (LLM) : la mise au point par Open AI du LLM , GPT-4 ; les explications du directeur général de Mistral, Arthur Mensch ; le développement de l'entreprise depuis sa fondation en 2023 ; les atouts des LLM "open source" ; la valorisation financière de Mistral AI ; le profil des fondateurs ; l'avantage concurrentiel de Mistral reconnu par les experts du domaine ; le rôle essentiel de la sélection des données ; les contextes technique et politique favorables ; les inquiétudes des clients potentiels face à la question de la régulation. Encadré : la levée de fonds de Mistral AI. Nature du document : documentaire Genre : Article de périodique

S'initier à Python avec Vittascience / Sarah Lacaze / Geek junior (2023) in Geek junior, 037 (09/2023)

Permalink

Les secrets de Scratch : conseils et astuces pour passer au niveau supérieur ! / Sarah Lacaze / Geek junior (2023) in Geek junior, 039 (11/2023)

Permalink