00 GENERALITES

01 MATHEMATIQUES

Résumé : Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.

Résumé : Présentation de l'éditeur : "This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Résumé : Présentation de l'éditeur : "Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory."

02 INFORMATIQUE

Résumé : Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis, the Inductive Method in the theorem prover Isabelle, turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.

Résumé : This essential resource for professionals and advanced students in security programming and system design introduces the foundations of programming systems security and the theory behind access control models, and addresses emerging access control mechanisms.

Résumé : Protocols for authentication and key establishment are the foundation for security of communications. The range and diversity of these protocols is immense, while the properties and vulnerabilities of different protocols can vary greatly. This is the first comprehensive and integrated treatment of these protocols. It allows researchers and practitioners to quickly access a protocol for their needs and become aware of existing protocols which have been broken in the literature. As well as a clear and uniform presentation of the protocols this book includes a description of all the main attack types and classifies most protocols in terms of their properties and resource requirements. It also includes tutorial material suitable for graduate students.

Résumé : Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic.#The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and an introduction to confidentiality and integrity policies. The second section covers access control in networks, delegation, protocols, and the use of cryptography. In the third section, the authors focus on hardware and virtual machines. The final part discusses confidentiality, integrity, and role-based access control#Taking a logical, rigorous approach to access control, this book shows how logic is a useful tool for analyzing security designs and spelling out the conditions upon which access control decisions depend. It is designed for computer engineers and computer scientists who are responsible for designing, implementing, and verifying secure computer and information systems.--pub. desc

Résumé : La croissance de l'échelle des systèmes d'information critiques, combinée à l'augmentation continue de la fréquence et de la sophistication des attaques, rend les systèmes de réponses classiques inadéquats. Le système peut être la cible de plusieurs attaques simultanées, qui nécessitent l'activation de réponses différentes et contradictoires. En outre, une réponse peut avoir des effets collatéraux, comme (i) induire un coût intrinsèque sur le système, (ii) permettre et faciliter l'exécution d'autres attaques. Ainsi, les systèmes de réponse doivent être conçus d'une manière intelligente, pour optimiser l'activation des réponses appropriées, soit pour les automatiser, soit pour fournir une assistance à la décision aux administrateurs. Alors que la majorité des modèles de réponses existants considère seulement le coût des attaques et des réponses, nous adoptons une perspective plus générale basée sur le risque. Conformément à la définition du risque, nous considérons conjointement l'impact et la vraisemblance de succès des attaques en cours dans le processus de sélection de réponse. D'abord, nous proposons un workflow qui permet de réagir sur deux plans distincts, sur le plan tactique, et sur le plan stratégique. La réponse tactique est composée des contremesures élémentaires à portées limitées dans le système. Elles sont généralement liées à l'occurrence d'attaque en cours. En revanche, la réponse stratégique est spécifiée avec un langage formel qui permet d'exprimer des politiques de sécurité. Elles sont déployées globalement dans le système pour des menaces majeures. Ensuite, nous proposons un modèle pour la réponse tactique, basé sur une évaluation de risques dynamique. Quand une attaque en cours est détectée, nous évaluons le risque global en combinant l'impact potentiel avec la vraisemblance de succès de l'attaque. Les contremesures seront ordonnées par rapport à leur efficacité à réduire le risque global. Nous mettons l'accent sur le facteur de vraisemblance de succès, et nous proposons un modèle dynamique pour évaluer ce paramètre, en tenant compte du progrès de l'attaque en cours et l'état du système. Enfin, nous présentons un framework basé sur les risques pour l'activation et la désactivation de la réponse stratégique. Cette réponse est activée et déployée quand le risque de l'attaque en cours dépasse le coût cumulé de la réponse, et elle est maintenue tant que le risque reste présent. Contrairement aux systèmes existants, nous considérons la désactivation d'une réponse qui est effectuée lorsque le risque de l'attaque décroît, ou dés lors que le coût de la réponse devient important. Dans cette thèse, un service VoIP a été choisi pour valider nos propositions, tout en respectant les contraintes opérationnelles et de sécurité.

Résumé : Présentation de l'éditeur : "User identification and authentication are essential parts of information security. Users must authenticate as they access their computer systems at work or at home every day. Yet do users understand how and why they are actually being authenticated, the security level of the authentication mechanism that they are using, and the potential impacts of selecting one authentication mechanism or another? Introducing key concepts, Mechanics of User Identification and Authentication: Fundamentals of Identity Management outlines the process of controlled access to resources through authentication, authorization, and accounting in an in-depth, yet accessible manner. It examines today's security landscape and the specific threats to user authentication. The book then outlines the process of controlled access to resources and discusses the types of user credentials that can be presented as proof of identity prior to accessing a computer system. It also contains an overview on cryptography that includes the essential approaches and terms required for understanding how user authentication works. This book provides specific information on the user authentication process for both UNIX and Windows. Addressing more advanced applications and services, the author presents common security models such as GSSAPI and discusses authentication architecture. Each method is illustrated with a specific authentication scenario."

03 PHYSIQUE

04 CHIMIE ET SCIENCE DE LA VIE

05 ELECTRONIQUE, MICROELECTRONIQUE, ELECTROTECHNIQUE

06 TECHNOLOGIES ET TECHNIQUES DE L'INGENIEUR

07 THEORIE DE L'INFORMATION,DU SIGNAL ET DES COMMUNICATIONS, TRAITEMENT DU SIGNAL ET DES IMAGES

08 TELECOMMUNICATIONS, VIDEOCOMMUNICATIONS ET AUDIOVISUEL

Résumé : Présentation de l'éditeur : "In this age of information overload, people use a variety of strategies to make choices about what to buy, how to spend their leisure time, and even whom to date. Recommender systems automate some of these strategies with the goal of providing affordable, personal, and high-quality recommendations. This book offers an overview of approaches to developing state-of-the-art recommender systems. The authors present current algorithmic approaches for generating personalized buying proposals, such as collaborative and content-based filtering, as well as more interactive and knowledge-based approaches. They also discuss how to measure the effectiveness of recommender systems and illustrate the methods with practical case studies. The final chapters cover emerging topics such as recommender systems in the social web and consumer buying behavior theory. Suitable for computer science researchers and students interested in getting an overview of the field, this book will also be useful for professionals looking for the right technology to build real-world recommender systems."

Résumé : The explosive growth of e-commerce and online environments has made the issue of information search and selection increasingly serious; users are overloaded by options to consider and they may not have the time or knowledge to personally evaluate these options. Recommender systems have proven to be a valuable way for online users to cope with the information overload and have become one of the most powerful and popular tools in electronic commerce. Correspondingly, various techniques for recommendation generation have been proposed. During the last decade, many of them have also been successfully deployed in commercial environments. Recommender Systems Handbook, an edited volume, is a multi-disciplinary effort that involves world-wide experts from diverse fields, such as artificial intelligence, human computer interaction, information technology, data mining, statistics, adaptive user interfaces, decision support systems, marketing, and consumer behavior. Theoreticians and practitioners from these fields continually seek techniques for more efficient, cost-effective and accurate recommender systems. This handbook aims to impose a degree of order on this diversity, by presenting a coherent and unified repository of recommender systems' major concepts, theories, methodologies, trends, challenges and applications. Extensive artificial applications, a variety of real-world applications, and detailed case studies are included. Recommender Systems Handbook illustrates how this technology can support the user in decision-making, planning and purchasing processes. It works for well known corporations such as Amazon, Google, Microsoft and AT&T. This handbook is suitable for researchers and advanced-level students in computer science as a reference.

Résumé : Présentation de l'éditeur : "All you need to know about deploying VoIP protocols in one comprehensive and highly practical reference - Now updated with coverage on SIP and the IMS infrastructure This book provides a comprehensive and practical overview of the technology behind Internet Telephony (IP), providing essential information to Network Engineers, Designers, and Managers who need to understand the protocols. Furthermore, the author explores the issues involved in the migration of existing telephony infrastructure to an IP - based real time communication service. Assuming a working knowledge of IP and networking, it addresses the technical aspects of real-time applications over IP. Drawing on his extensive research and practical development experience in VoIP from its earliest stages, the author provides an accessible reference to all the relevant standards and cutting-edge techniques in a single resource. This book will be a valuable guide for professional network engineers, designers and managers, decision makers and project managers overseeing VoIP implementations, market analysts, and consultants. Advanced undergraduate and graduate students undertaking data/voice/multimedia communications courses will also find this book of interest."

Résumé : Présentation de l'éditeur : "Ce livre constitue une initiation simple et rigoureuse au domaine des réseaux : définitions, présentation des équipements matériels et logiciels et de leurs interactions, introduction des concepts fondamentaux (commutation de paquets, le modèle OSI, les protocoles réseau, l'adressage IP, les réseaux locaux (LAN) et globaux (WAN), etc.). Il constitue une excellente introduction pour l'élaboration et la mise en place d'un réseau et son administration (dépannage, sécurité). Il présente les principaux serveurs (Microsoft, Linux, etc.) ainsi que les notions nécessaires pour le déploiement de services (TCP/IP, DHCP, DNS,…). Cette 4e édition entièrement revue couvre tous les nouveaux développements : les réseaux câblés, Bluetooth, Linux et machines virtuelles, téléphonie mobile "

Résumé : Présentation de l'éditeur : "A unique treatment of digital video distribution technology in a business context, Digital Video Distribution in Broadband, Television, Mobile and Converged Networks explores a range of diverse topics within the field through a combination of theory and practice to provide the best possible insight and exposure. The theoretical foundations inside assist a fuller understanding of the technologies used in practice, while real-world examples are correspondingly used to emphasize the applicability of theory in the commercial world.Fully illustrated throughout to help explain the fundamental concepts of digital media distribution, Digital Video Distribution in Broadband, Television, Mobile and Converged Networks is divided into three major parts starting initially with the basic industry trends that have been driving the adoption of video and making its distribution over the Internet an economically viable solution. This is followed with detail descriptions of challenges and solutions in distributing video in 'open' networks such as the Internet. The final part focuses on the challenges and solutions for distributing video in ‘closed' networks such as the managed network of Telcos. Provides an A to Z of digital video distribution featuring technology, business, research, products and case studies. Features research topics exploring P2P Streaming, Digital Video Distribution over Disruption-Tolerant Networks and Scalable Video on Demand. Includes real world product descriptions on Transcoders, such as Rhozet, and IPTV Quality of Service Monitoring product, such as Ineoquest."

Résumé : Présentation de l 'éditeur : "Taking an in-depth look at the mobile communications ecosystem, this book covers the two key components, i.e., Network and End-User Devices, in detail. Within the network, the sub components of radio access network, transmission network, core networks, services and OSS are discussed; component level discussion also features antenna diversity and interference cancellation techniques for smart wireless devices. The role of various standard development organizations and industry forums is highlighted throughout. The ecosystem is strengthened with the addition of the Technology Management (TM) component dealing mostly with the non-technical aspects of the underlying mobile communications industry. Various aspects of TM including technology development, innovation management, knowledge management and more are also presented. Focuses on OFDM-based radio technologies such as LTE & WiMAX as well as MBWA (Mobile Broadband Wireless Access) Provides a vital addition to the momentum of EVDO and its migration towards LTE Emphasis on radio, core, operation, architectural and performance aspects of two next generation technologies - EPS and WiMAX Includes discussion of backhaul technologies and alternatives as well as issues faced by operators switching to 3G and Next Generation Mobile Networks Cutting-edge research on emerging Gigabit Ethernet Microwave Radios and Carrier Ethernet transport technologies Next Generation Mobile Communications Ecosystem serves as a practical reference for telecom associated academia and industry to understanding mobile communications in a holistic manner, as well as assisting in preparing graduate students and fresh graduates for the marketplace by providing them with information not only on state-of-the-art technologies and standards but also on TM. By effectively focusing on the key domains of TM this book will further assist companies with improving their competitiveness in the long run. Importantly, it will provide students, engineers, researchers, technology managers and executives with extensive details on various emerging mobile wireless standards and technologies."

Résumé : Cette thèse porte sur la transmission de données pour le système HSUPA, et le développement des algorithmes avancés en réception. Dans une première partie, nous avons décrit la structure de la chaîne de transmission numérique du système HSUPA et nous avons évalué les performances sur des canaux radio-mobile. Dans une deuxième partie, nous avons étudié et évalué les performances de la technique HARQ en respectant les spécifications du système. De plus, nous avons proposé une nouvelle méthode de combinaison des paquets retransmis. Ensuite, nous avons étudié l'apport de la technique HARQ coopérative sur les performances du système HSUPA. Une dernière partie est consacrée à l'étude de la détection multi-utilisateurs pour le système HSUPA et au développement des détecteurs pour la réduction des effets de l'interférence d'accès multiple. Nous avons étudié et évalué, dans un premier temps, les performances du détecteur SIC-EQMM pour le système HSUPA. Ensuite, nous avons développé le détecteur SIC amélioré qui combine la structure SIC avec le décodage du canal, et nous avons analysé leurs performances sur des canaux radio-mobile.#Cette thèse porte sur la transmission de données pour le système HSUPA, et le développement des algorithmes avancés en réception. Dans une première partie, nous avons décrit la structure de la chaîne de transmission numérique du système HSUPA et nous avons évalué les performances sur des canaux radio-mobile. Dans une deuxième partie, nous avons étudié et évalué les performances de la technique HARQ en respectant les spécifications du système. De plus, nous avons proposé une nouvelle méthode de combinaison des paquets retransmis. Ensuite, nous avons étudié l'apport de la technique HARQ coopérative sur les performances du système HSUPA. Une dernière partie est consacrée à l'étude de la détection multi-utilisateurs pour le système HSUPA et au développement des détecteurs pour la réduction des effets de l'interférence d'accès multiple. Nous avons étudié et évalué, dans un premier temps, les performances du détecteur SIC-EQMM pour le système HSUPA. Ensuite, nous avons développé le détecteur SIC amélioré qui combine la structure SIC avec le décodage du canal, et nous avons analysé leurs performances sur des canaux radio-mobile.

Résumé : Présentation de l 'éditeur : "L'évolution rapide des réseaux radio-mobiles et l'introduction de nouveaux services multimédia et à haut débit pousse les opérateurs des télécommunications mobiles à l'adaptation de leurs méthodes de planification et d'ingénierie aux nouveaux standards et technologies. Les modèles de dimensionnement et les démarches de design radio des réseaux 3G soit manquent de précision soit sont très complexes ou coûteux. Dans cet ouvrage, nous avons décrit des règles d'ingénierie radio à base semi- analytiques et des méthodologies de planification à la fois simples et précises. Elles mettent en oeuvre des abaques et des tableaux et intègrent les nouveautés des réseaux 3G+. La composante économique a été éventuellement considérée. Plusieurs alternatives sont proposées afin de permettre à l'opérateur de choisir celle qui lui convient en fonction de ses priorités en termes de coûts et de QoS. L'étude de cas de l'évolution vers le HSPA a été traitée, ce qui a permis de concevoir de nouvelles règles de couverture et de capacité pour le HSDPA. L'ouvrage propose également de nouvelles techniques d'ordonnancement de paquets adaptées pour le cas de services multiples."

Résumé : This work covers the status of evolved 3G mobile network technology, as represented by 3GPP's SAE/LTE system, from the "inside" of standardization. It presents architectures, underlying concepts and details of procedures on several levels to promote readers' understanding of the resulting design and specifications. Remarks on history, detours, and alternatives that were not pursued provide additional insights for non-experts. The author draws on his own notes and observations from standardization meetings, online discussions and company internal analyses, as well as comments and briefings from colleagues around the world, ensuring that readers receive a balanced view and deeper understanding. Gottfried Punz is senior researcher at the network research division of NEC Laboratories Europe and has been active in 3GPP standardization since 2005. He has contributed to the architectural and protocol design of the evolved 3GPP system, with particular focus on CS fallback, home cells and integration with non-3GPP accesses.

09 SCIENCES ECONOMIQUES

10 GESTION

11 DROIT

12 SCIENCES HUMAINES

Résumé : Après avoir reçu une lettre anonyme lui annonçant qu'un crime sera commis à l'église Saint-Fiacre lors de la première messe du Jour des Morts, le commissaire Maigret va se retrouver face à une de ses affaires les plus déplaisantes.