Histoire des plus beaux corbillards. Hippomobiles ou motorisés

C'est d'un point de vue marxiste qu'est abordé dans ce livre l'histoire et l'état présent des forces productives de la société, ses formes actuelles paradoxales et dangereuses, la menace de la "cyber-domination" , les perspectives aussi ouvertes pour une société débarrassée de l'exploitation de l'homme par l'homme, la marchandisation de toute activité humaine et l'obscurantisme d'un côté et de l'autre la mise en lumière de la véritable mutation humaine possible qui va du "jour où les usines tourneront toutes seules" à "le jour où le travail sera devenu le premier besoin social de l'homme" , le communisme. La dégradation de l'écosystème par le mode de production capitaliste met en lumière la communauté de destin de l'humanité et l'urgente nécessité de l'avènement d'une société communiste dont la cyber-révolution donne les moyens, c'est ce dont il est question ici, et bien plus. Né en 1946, Ivan Lavallée est professeur d'informatique émérite de l'Université. Il est actuellement directeur éditorial de la revue trimestrielle Progressistes qui traite des rapports entre science, technique et travail. Engagé dans le mouvement progressiste politique et syndical, il s'est toujours préoccupé des rapports entre son activité scientifique et les enjeux sociaux et sociétaux. Ses publications en témoignent, tout particulièrement celle-là.

Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s'agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu'il s'agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d'information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant "tomber" la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d'énumération implicite dont les principes sont décrits. L'ouvrage se termine sur un chapitre consacré à l'informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu'aux ingénieurs et chercheurs. L'ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques. Public : Licence, Maitrise, Doctorat, Ingéniorat.

Ce n° 6. 2 de Studia est entièrement consacré aux applications parallèles et distribuées. Il s'agit de la reprise du numéro 3. 1. Les articles : "Transparent Data Relocation in Highly Available Distributed Systems" . Ce premier article traite des protocoles de longue durée, protocoles "de services" confrontés à des changements dans la configuration matérielle. Il propose une solution par déplacement des données transparente à l'utilisateur. par Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintjin ; "Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions" . Ce deuxième article concerne le contrôle et l'observation interne des systèmes distribués par caractérisation des vecteurs entrants dans des ensembles de processus, il s'agit d'une extention de l'approche conditionnée introduite par Mostaféoui, Emmanuelle Anceaume, Eric Mourgaya, Philippe Raïpin Parvédy ; "Simple gossiping with balls and bins" . Ce troisième article traite des communications multi-paires. S'appuyant sur les travaux concernant la propagation des rumeurs, il fournit une méthode nouvelle d'analyse des protocoles épidémiques par représentation des propagations comme un jeu de balles par Boris Koldehofe ; "Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs" . Le quatrième article, s'intéresse aux parallélisations d'une application complète sur un système multiprocesseur bon marché, basé sur des PC et de technologie SCSI par Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto ; "Predicates for state change vs processes for event patterns" . Le cinquième article traite du problème du choix de modèle conceptuel pour spécifier des applications. On discute des spécifications formelle ou par état. Les deux approches sont discutées pour aboutir à une proposition d'extension des spécifications en introduisant des processus communicants par Tommaso Bolognesi