Comment reprendre le contrôle de Pronote (sans pirater l'appli) / Martin Rhodes in Phosphore, 567 (01 janvier 2024)

[article]  inPhosphore > 567 (01 janvier 2024) Titre : Comment reprendre le contrôle de Pronote (sans pirater l'appli) Type de document : texte imprimé Auteurs : Martin Rhodes, Auteur Année : 2024 Article : p. 41 Descripteurs : contrôle / relation parent-enfant Résumé : Des conseils pour échanger sereinement avec ses parents au sujet d'une mauvaise note ou d'un retard. Nature du document : documentaire [article]  Comment reprendre le contrôle de Pronote (sans pirater l'appli) de Martin Rhodes In Phosphore, 567 (01 janvier 2024), p. 41 Des conseils pour échanger sereinement avec ses parents au sujet d'une mauvaise note ou d'un retard.

Exemplaires(1)

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	026290	Exclu du prêt

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

[article]  inLa Recherche > 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" de Xavier Leroy, Philippe Pajot In La Recherche, 548 (06/2019), p.4-8 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.

Réservation

Réserver ce document

Exemplaires(1)

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	021555	Disponible

Faut-il réguler l'usage des algorithmes ? / Dominique Cardon / Sophia Publications (2016) in La Recherche, 511 (05/2016)

[article]  inLa Recherche > 511 (05/2016) Titre : Faut-il réguler l'usage des algorithmes ? Type de document : texte imprimé Auteurs : Dominique Cardon, Auteur ; Mouloud Dey, Auteur ; Vincent Glavieux Editeur : Sophia Publications, 2016 Article : p.86 Langues : Français (fre) Descripteurs : algorithme / contrôle Résumé : Présentation de deux points de vue opposés sur l'usage des algorithmes. Le chercheur sociologue Dominique Cardon qui est partisan de la régulation. Mouloud Dey, directeur chez SAS, une entreprise d'analytique informatique, qui montre l'utilité des algorithmes et préconise plus de transparence sur leur fonctionnement. Nature du document : documentaire Genre : Article de périodique/Débat, controverse [article]  Faut-il réguler l'usage des algorithmes ? de Dominique Cardon, Mouloud Dey, Vincent Glavieux In La Recherche, 511 (05/2016), p.86 Présentation de deux points de vue opposés sur l'usage des algorithmes. Le chercheur sociologue Dominique Cardon qui est partisan de la régulation. Mouloud Dey, directeur chez SAS, une entreprise d'analytique informatique, qui montre l'utilité des algorithmes et préconise plus de transparence sur leur fonctionnement.

Réservation

Réserver ce document

Exemplaires(1)

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	018634	Disponible