Recherche

logiciel mise jour

Dossiers

ActuaLitté

Dossier

Lecteurs, communauté et réseaux sociaux : promouvoir le livre

Librairie, éditeur, bibliothèque et auteurs : tout le monde travaille à faire découvrir des livres. Et pour constituer une communauté de lecteurs, les réseaux sociaux incarnent un outil porteur d’espoirs. Cette solution de mise en relation facilitant les échanges et les discussions apporte cependant autant de questionnements qu’elle offre d’opportunités.

ActuaLitté

Dossier

Prêt de livre en bibliothèque : l'avenir de l'ebook au sein de l'Europe

La question du prêt numérique de livres en France cache une autre interrogation : celle de l'exception au droit d'auteur, qui fut mise en place pour le livre papier. A cette époque, certains auteurs s'étaient opposés, considérant que le risque était trop grand. Aujourd'hui, plus personne ne remettrait en cause ce grand principe, d'autant plus qu'il est rémunérateur pour les auteurs.

ActuaLitté

Dossier

En route pour l'aventure : des livres pour voyager et s'évader

Sur terre et sur les mers, à la découverte d’horizons inconnus, voici une liste de livres qui vous embarquent vers des destinations folles. Ce sont des récits de voyage, des essais, des textes empreints de poésie, ou des biographies d’aventuriers, comme autant de panoramas de la splendeur de notre planète.

ActuaLitté

Dossier

Procès Internet Archive : l'édition contre le prêt numérique contrôlé

En juin 2020, quatre groupes d'édition, Hachette, HarperCollins, Wiley et Penguin Random House, portent plainte contre la plateforme patrimoniale Internet Archive, l'accusant de « violation massive du copyright ». En cause, la bibliothèque d'urgence mise en place par le site à l'occasion de la pandémie du coronavirus.

ActuaLitté

Dossier

Des lectures pour les vacances, pour les enfants de 6 à 8 ans

Durant les vacances, la lecture offre l'occasion d'apprendre et découvrir, en dehors de l'école. En partenariat avec l'association Lire et Faire Lire, ActuaLitté propose une sélection d'ouvrages pour les enfants de 6 à 8 ans. En puisant dans les différentes sélections que le Comité de lecture a réalisées entre 2017 et 2022, voici huit ouvrages pour embellir la période de Pâques.

ActuaLitté

Dossier

Cinq livres à offrir pour Noël

« Sans les cadeaux, Noël ne serait pas Noël. » On ne peut qu’être d’accord avec la romancière Louisa May Alcott, c’est pourquoi on vous propose nos conseils de lecture, avec Actes Sud, afin de gâter vos proches, et pourquoi pas, de leur donner des idées...

Extraits

ActuaLitté

Policiers

Mise à jour

Paris, de nos jours ou presque. Au sortir d'un plateau télé, Léandre Batz, journaliste en mal de sujet, croise le chemin d'une figure de la Comédie-Française, Olivia Muller. L'actrice est effondrée, elle vient de se voir refuser le droit à l'adoption : sa nOte est trop basse. Car il faut savoir qu'une application – aussi simple que cruellement efficace – régit désormais le quotidien de tous les utilisateurs de smartphone, autant dire d'à peu près chaque être vivant sur la planète. Cette appli, c'est eVal. Fini les TripAdvisor, le nombre d'amis Facebook, les étoiles sur Airbnb : eVal centralise tous les avis sur absolument tout. Y compris les êtres humains. Et elle ne fait pas dans la nuance. La nOte est maintenant le premier marqueur social, pour le meilleur et surtout pour le pire. Alors cette histoire d'adoption contrariée, c'est ce qu'attendait Léandre pour partir en croisade. Premier mystère à résoudre : comment la grande Olivia Muller peut-elle avoir une telle nOte ? Léandre va s'apercevoir que, concernant eVal, les explications les plus logiques ne sont pas forcément les meilleures. Et quand on sait que le cerveau milliardaire derrière l'appli que Léandre s'apprête à démolir n'est autre que son petit frère, l'enquête prend vite des allures de tragédie grecque. Porté par un souffle narratif hors du commun et toujours au plus près de l'humain, Mise à Jour est un thriller jouissif qui aborde les très actuelles questions d'éthique numérique.

10/2017

ActuaLitté

Géopolitique

Russie, le logiciel impérial

L'offensive de la Fédération de Russie contre l'Ukraine, lancée le 24 février 2022, a surpris, par son ampleur, tous les observateurs du monde russe et post-soviétique. Les analyses de ce conflit sont multiples et contradictoires. Plusieurs grilles de lecture reviennent néanmoins : démocratie (ukrainienne) contre autoritarisme (russe), nation (ukrainienne) contre Empire (russo-soviétique), Europe-Occident (Ukraine) contre Eurasie (Russie), émancipation (ukrainienne) contre oppression coloniale (russo-soviétique), société civile (ukrainienne) contre Etat oppressif (russe)... Or, une question est toujours évacuée ou oubliée, c'est celle de l'Etat. Pour la Russie comme pour tous les pays de son ancien " empire " , la construction de l'Etat et la hantise de son effondrement sont centrales. Cet ouvrage vise à resituer ce conflit dans la longue continuité de l'Etat russe moderne (Empire russe, URSS, Fédération de Russie). Il faut revenir sur la dynamique impériale qui a présidé à sa création et à l'expansion géographique progressive de l'Etat russe depuis le XVe siècle pour analyser et comprendre le présent. Titulaire d'un doctorat et d'une HDR (Habilitation à Diriger les Recherches) en science politique à l'IEP de Paris, Jean-Robert Raviot est professeur de civilisation russe et soviétique à l'Université Paris-Ouest Nanterre La Défense depuis 2000. Au cours des années 1990, il a effectué plusieurs séjours de longue durée en URSS puis en Russie : à l'Institut de l'économie mondiale et des relations internationales de Moscou (IMEMO), à l'Institut de sociologie de la section sibérienne de l'Académie des sciences de Russie à Akademgorodok (région de Novosibirsk) ainsi que des missions plus ponctuelles dans les républiques du Tatarstan (Volga) et du Bachkortostan, ainsi que dans d'autres régions de Russie. Il a dirigé les Collèges universitaires français de Saint-Pétersbourg (1997-1998) puis de Moscou (1998-1999). Il est auteur de plusieurs ouvrages, dont "Démocratie à la russe" (Ellipses) et "Russie, vers une nouvelle guerre froide ? " (Documentation Française)

02/2024

ActuaLitté

Mathématiques

Logiciel et industrie du futur

En l'espace de quelques années, préparer l'industrie du futur est devenu l'un des enjeux majeurs des entreprises et territoires industrialisés. L'industrie du futur s'intègre dans un contexte général de numérisation de la société et de nombreux gouvernements y voient un facteur possible de relance ou de maintien de la compétitivité et de la rentabilité des industries. L'ouverture à la concurrence a également encouragé différents pays à mettre en place un ensemble de plans stratégiques nationaux et internationaux ces dernières années. Les définitions données à l'industrie du futur sont multiples et divergent parfois d'un pays ou d'une institution à une autre. Cet ouvrage vise à présenter l'analyse et la vision de chercheurs français travaillant dans plusieurs domaines en lien avec l'informatique et le logiciel. Le constat observé est l'absence quasi systématique de débats et de questionnements sur le logiciel et sur son apport dans l'industrie du futur. Il est pourtant primordial de ramener ce problème au centre du discours pour être en mesure de construire une industrie du futur de façon évolutive, maintenable, sécurisée, efficace, etc.

11/2019

ActuaLitté

Sciences politiques

La politique : changement de logiciel

Faire de la politique locale ou nationale nécessite que l'on change radicalement d'approches. Ce livre permettra de guider pour ce changement de façon de faire de la politique.

09/2023

ActuaLitté

Informatique

Application des techniques formelles au logiciel

Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.

07/1997

ActuaLitté

Philosophie

Gottlob Frege, logicien, philosophe

Ce livre retrace le parcours de ce logicien philosophe de l'idéographie (1879), aux Ecrits posthumes. L'invention d'une écriture conceptuelle, la définition logique du nombre ainsi que la croyance en un monde des pensées, objectives, communicables et éternelles sont les trois volets présentés ici.

04/1997

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté