Descripteurs
Documents disponibles dans cette catégorie (9)



[article]
Titre : Des communications enrichies Type de document : texte imprimé Auteurs : Céline Duguey, Auteur Année : 2015 Article : p.18
in Sciences Ouest > 333 (juillet 2015)Descripteurs : logiciel / réseau de télécommunication / voix Résumé : Des ingénieurs d'Orange Labs ont mis au point une application qui allie voix, vidéo et partage de documents. Nature du document : documentaire [article] Des communications enrichies [texte imprimé] / Céline Duguey, Auteur . - 2015 . - p.18.
in Sciences Ouest > 333 (juillet 2015)
Descripteurs : logiciel / réseau de télécommunication / voix Résumé : Des ingénieurs d'Orange Labs ont mis au point une application qui allie voix, vidéo et partage de documents. Nature du document : documentaire Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire Coq : les maths ont trouvé leur maître / Philippe Pajot / Excelsior publications (2013) in La Science et la vie (Paris), 1148 (05/2013)
[article]
Titre : Coq : les maths ont trouvé leur maître Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Excelsior publications, 2013 Article : p.110-113 Langues : Français (fre)
in La Science et la vie (Paris) > 1148 (05/2013)Descripteurs : démonstration mathématique / logiciel Résumé : Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage [article] Coq : les maths ont trouvé leur maître [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.110-113.
Langues : Français (fre)
in La Science et la vie (Paris) > 1148 (05/2013)
Descripteurs : démonstration mathématique / logiciel Résumé : Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire Archives 005039 Disponible
Titre : Désobéir à Big Brother Type de document : texte imprimé Auteurs : Les Désobéissants, Auteur Editeur : Le Pré-Saint-Gervais : le Passager clandestin, 201 Collection : Désobéir Description : 61 p. Format : 16 cm ISBN/ISSN : 978-2-916952-53-6 Prix : 5 EUR Descripteurs : biométrie / espionnage / logiciel / terrorisme Résumé : Biométrie, logiciels espions, vidéosurveillance, RFID, GPS Arc-boutés sur les technologies de pointe et forts de largument « anti-terroriste », pouvoirs publics et industriels développent des modes de contrôle social de plus en plus sophistiqués. Or, ni la menace de ces « outils » sur les libertés, ni leurs effets à long terme sur le lien social ne font lobjet dun débat public. Pourtant, l emprise du « tout sécuritaire » autorise toutes les dérogations aux droits et aux principes fondateurs de la République Pour ces raisons, des collectifs de désobéissants sefforcent de résiter à cette nouvelle société de surveillance.
Les Désobéissants sont un collectif qui entend promouvoir et former à laction directe non-violente et la désobéissance civile.
Nature du document : documentaire Désobéir à Big Brother [texte imprimé] / Les Désobéissants, Auteur . - Le Pré-Saint-Gervais : le Passager clandestin, 201 . - 61 p. ; 16 cm. - (Désobéir) .
ISBN : 978-2-916952-53-6 : 5 EUR
Descripteurs : biométrie / espionnage / logiciel / terrorisme Résumé : Biométrie, logiciels espions, vidéosurveillance, RFID, GPS Arc-boutés sur les technologies de pointe et forts de largument « anti-terroriste », pouvoirs publics et industriels développent des modes de contrôle social de plus en plus sophistiqués. Or, ni la menace de ces « outils » sur les libertés, ni leurs effets à long terme sur le lien social ne font lobjet dun débat public. Pourtant, l emprise du « tout sécuritaire » autorise toutes les dérogations aux droits et aux principes fondateurs de la République Pour ces raisons, des collectifs de désobéissants sefforcent de résiter à cette nouvelle société de surveillance.
Les Désobéissants sont un collectif qui entend promouvoir et former à laction directe non-violente et la désobéissance civile.
Nature du document : documentaire Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 340 DES documentaire CDI 005459 Disponible Etre acteur de sa mobilité in Sciences Ouest, 351 (avril 2017)
[article]
Titre : Etre acteur de sa mobilité Type de document : texte imprimé Année : 2017 Article : p. 10-18
in Sciences Ouest > 351 (avril 2017)Descripteurs : Bretagne : région / innovation technologique / logiciel / mobilité géographique Mots-clés : géolocalisation Résumé : Réflexions sur les moyens de déplacement. Le covoiturage. Collecte et exploitation des données liées au transport : le cas d'applications numériques testées à Rennes pour les transports en commun. Dispositifs électroniques innovants pour sécuriser les déplacements en vélo. Logiciels pour le partage de voitures. Une économiste brestoise dresse le portrait type du covoitureur. Réduction de la mobilité par le télétravail. Solutions alternatives à la voiture dans les zones périurbaines, le tracé des lignes de transports en commun. Les modes de déplacement chez les enfants : apprentissage de la mobilité, de l'autonomie, projet de recherche Mobi'Kids. Nature du document : documentaire [article] Etre acteur de sa mobilité [texte imprimé] . - 2017 . - p. 10-18.
in Sciences Ouest > 351 (avril 2017)
Descripteurs : Bretagne : région / innovation technologique / logiciel / mobilité géographique Mots-clés : géolocalisation Résumé : Réflexions sur les moyens de déplacement. Le covoiturage. Collecte et exploitation des données liées au transport : le cas d'applications numériques testées à Rennes pour les transports en commun. Dispositifs électroniques innovants pour sécuriser les déplacements en vélo. Logiciels pour le partage de voitures. Une économiste brestoise dresse le portrait type du covoitureur. Réduction de la mobilité par le télétravail. Solutions alternatives à la voiture dans les zones périurbaines, le tracé des lignes de transports en commun. Les modes de déplacement chez les enfants : apprentissage de la mobilité, de l'autonomie, projet de recherche Mobi'Kids. Nature du document : documentaire Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Périodique documentaire Archives 0067158 Disponible
Titre : Mon programme est-il bien protégé contre les cyberattaques ? Type de document : document électronique Auteurs : Tamara Rezk Editeur : Interstices, 2018 Format : Web Langues : Français (fre) Descripteurs : logiciel / sécurité informatique Mots-clés : code (communication) Résumé : Rôle du compilateur et lien entre un code sûr et un programme sûr. Rappel de l'attaque informatique Meltdown et importance de la mémoire protégée. Les deux classes de propriétés de sécurité informatique, la confidentialité et l'intégrité. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/Lycée/Secondaire En ligne : https://interstices.info/mon-programme-est-il-bien-protege-contre-les-cyberattaq [...] Mon programme est-il bien protégé contre les cyberattaques ? [document électronique] / Tamara Rezk . - Interstices, 2018 . - ; Web.
Langues : Français (fre)
Descripteurs : logiciel / sécurité informatique Mots-clés : code (communication) Résumé : Rôle du compilateur et lien entre un code sûr et un programme sûr. Rappel de l'attaque informatique Meltdown et importance de la mémoire protégée. Les deux classes de propriétés de sécurité informatique, la confidentialité et l'intégrité. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/Lycée/Secondaire En ligne : https://interstices.info/mon-programme-est-il-bien-protege-contre-les-cyberattaq [...] Mon visage sur le corps d'un autre / Fabien Trécourt / Association de formation, d'études et de recherche en sciences humaines (2018) in Sciences humaines (Auxerre), 302 (04/2018)
PermalinkQuand l'écologie inspire de nouvelles manières de fabriquer des logiciels / Benoit Baudry / Interstices (2015)
![]()
PermalinkPermalinkUna tipografía española para el PC / Ramon Fano / Société maubeugeoise d'édition (2009) in Vocable (ed. espanola), 571 (24/12/2009)
Permalink