Descripteurs
Documents disponibles dans cette catégorie (8)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur | Sophia Publications |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 lan[...]
document électronique
Guillier, François 2016Chronologie 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...Exemplaires
Disponibilité aucun exemplaire Article : texte imprimé
Le point sur les innovations technologiques au service du design via le calcul d'algorithmes de conception par ordinateurs : principe, intérêts de cette approche appelée "conception générative", risques. Panorama d'objets conçus par algorithmes [...]Article : texte imprimé
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éc[...]
Article : texte imprimé
Elena Koudriavtseva, Auteur | Courrier international |Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à l[...]Article : texte imprimé
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.Article : texte imprimé
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 Mistr[...]
document électronique
Reportage sur l'utilisation du langage synchrone et informatique Esterel, développé par l'informaticien Gérard Berry, dans la composition de musique contemporaine : son intégration dans le logiciel de création musicale Antescofo développé par Ar[...]Exemplaires
Disponibilité aucun exemplaire
