Ada Lovelace, la première codeuse au monde / France Culture (2019)  

Public ISBD Titre : Ada Lovelace, la première codeuse au monde Type de document : document électronique Editeur : France Culture, 2019 Description : 1 vidéo : 3 min 44 s Format : Web Langues : Français (fre) Descripteurs : langage de programmation Résumé : Vidéo présentant Ada Lovelace : famille, études, recherches scientifiques dans le domaine de la programmation, invention, mort. Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=_eUOuQ5lp_0&list=PLKpTasoeXDrqDa465eyuo2gl84omZT [...] Ada Lovelace, la première codeuse au monde [document électronique] . - France Culture, 2019 . - 1 vidéo : 3 min 44 s ; Web. Langues : Français (fre) Descripteurs : langage de programmation Résumé : Vidéo présentant Ada Lovelace : famille, études, recherches scientifiques dans le domaine de la programmation, invention, mort. Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=_eUOuQ5lp_0&list=PLKpTasoeXDrqDa465eyuo2gl84omZT [...]

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 [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 [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

L'ère de l'électronique : Logiciels et langages / François Guillier / Histoire de l'Informatique (2016)  

Public ISBD Titre : L'ère de l'électronique : Logiciels et langages Type de document : document électronique Auteurs : François Guillier Editeur : Histoire de l'Informatique, 2016 Format : Web Langues : Français (fre) Descripteurs : langage de balisage langage de programmation système d'exploitation Résumé : Chronologie des dates clés dans le matériel électronique appliqué à l'informatique et ses logiciels de 1945 à 2000 : du bug au C# en passant par les différents langages, les systèmes d'exploitation et les Langages de Description de Pages... Nature du document : documentaire En ligne : http://www.histoire-informatique.org/grandes_dates/2_6 L'ère de l'électronique : Logiciels et langages [document électronique] / François Guillier . - Histoire de l'Informatique, 2016 . -  ; Web. Langues : Français (fre) Descripteurs : langage de balisage langage de programmation système d'exploitation Résumé : Chronologie des dates clés dans le matériel électronique appliqué à l'informatique et ses logiciels de 1945 à 2000 : du bug au C# en passant par les différents langages, les systèmes d'exploitation et les Langages de Description de Pages... Nature du document : documentaire En ligne : http://www.histoire-informatique.org/grandes_dates/2_6

Gaël Varoquaux, vedette de l'intelligence artificielle / David Larousserie / Le Monde Editions (2024) in Le Monde (Paris. 1944), 24871 (18/12/2024)

Public ISBD [article]  inLe Monde (Paris. 1944) > 24871 (18/12/2024) Titre : Gaël Varoquaux, vedette de l'intelligence artificielle Type de document : texte imprimé Auteurs : David Larousserie Editeur : Le Monde Editions, 2024 Article : p.8 du Cahier Science Langues : Français (fre) Descripteurs : chercheur langage de programmation Mots-clés : apprentissage automatique Résumé : Portrait de Gaël Varoquaux, chercheur spécialisé dans le domaine de l'IA (Intelligence artificielle) : sa cocréation du logiciel Scikit-learn, un programme de "machine learning" ; son appétence pour les mathématiques et l'informatique ; ses recherches en optique quantique puis dans le domaine de la programmation. Nature du document : documentaire Genre : Article de périodique [article] Gaël Varoquaux, vedette de l'intelligence artificielle [texte imprimé] / David Larousserie . - Le Monde Editions, 2024 . - p.8 du Cahier Science. Langues : Français (fre) in Le Monde (Paris. 1944) > 24871 (18/12/2024) Descripteurs : chercheur langage de programmation Mots-clés : apprentissage automatique Résumé : Portrait de Gaël Varoquaux, chercheur spécialisé dans le domaine de l'IA (Intelligence artificielle) : sa cocréation du logiciel Scikit-learn, un programme de "machine learning" ; son appétence pour les mathématiques et l'informatique ; ses recherches en optique quantique puis dans le domaine de la programmation. Nature du document : documentaire Genre : Article de périodique

"Il faut imposer la transparence" / Frédéric Filloux / Groupe Express-Expansion (2023) in L'Express (Paris), 3760-3761 (27/07/2023)

Public ISBD [article]  inL'Express (Paris) > 3760-3761 (27/07/2023) Titre : "Il faut imposer la transparence" Type de document : texte imprimé Auteurs : Frédéric Filloux Editeur : Groupe Express-Expansion, 2023 Article : p.34-36 Langues : Français (fre) Descripteurs : intelligence artificielle langage de programmation Résumé : L'analyse d'Antoine Bordes, ingénieur en intelligence artificielle (IA), notamment pour Meta, sur les conditions de développement des intelligences artificielles et le contrôle des grands modèles de langage (LLM - large language models) : la nécessaire transparence autour du développement des IA génératives ; sa participation à la mise au point de Llama2, l'IA générative de Meta ; la rapidité de développement des LLM et la course à l'innovation dans ce domaine entre les entreprises ; les dangers liés au manque de transparence des codes des LLM ; le besoin d'explicabilité et de traçabilité de ces modèles ; la mesure de la performance d'un modèle au regard de leur progression ; sa vision de l'intelligence artificielle générale (AGI) ; la question du contrôle en amont et de la surveillance des IA avec la mise en place d'une autorité de contrôle mondiale ; la place des universités et de la recherche. Nature du document : documentaire Genre : Article de périodique [article] "Il faut imposer la transparence" [texte imprimé] / Frédéric Filloux . - Groupe Express-Expansion, 2023 . - p.34-36. Langues : Français (fre) in L'Express (Paris) > 3760-3761 (27/07/2023) Descripteurs : intelligence artificielle langage de programmation Résumé : L'analyse d'Antoine Bordes, ingénieur en intelligence artificielle (IA), notamment pour Meta, sur les conditions de développement des intelligences artificielles et le contrôle des grands modèles de langage (LLM - large language models) : la nécessaire transparence autour du développement des IA génératives ; sa participation à la mise au point de Llama2, l'IA générative de Meta ; la rapidité de développement des LLM et la course à l'innovation dans ce domaine entre les entreprises ; les dangers liés au manque de transparence des codes des LLM ; le besoin d'explicabilité et de traçabilité de ces modèles ; la mesure de la performance d'un modèle au regard de leur progression ; sa vision de l'intelligence artificielle générale (AGI) ; la question du contrôle en amont et de la surveillance des IA avec la mise en place d'une autorité de contrôle mondiale ; la place des universités et de la recherche. 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)

Permalink

Naissance des langages de programmation / Sacha Krakowiak / Interstices (2012)  

Permalink

L'ordinateur musicien / Marie Chevais-Mora / Centre national de la recherche scientifique (CNRS) (2015)  

Permalink

Pourquoi créer des nouveaux langages de programmation ? / Ludovic Henrio / Interstices (2019)  

Permalink