Premiers pas en LaTeX

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

Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve. Avec également des articles plus proches de tutoriels ou de retours d'expérience.