L'Actualité de la Bibliothèque de Rennes. NOUVELLES et DERNIERES ACQUISITIONS. janvier 2015

Transcription

1 L'Actualité de la Bibliothèque de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier Polys mis à jour * Conférences : gestion de production / Laurent Bironneau (04299/ * Premier pas en rétro-conception de logiciels / Jean-Marie Borello (15111/ ) * Bluetooth / Gérard Cordelier ( ) * Content protection / Alain Durand ( ) * La sécurité des systèmes d information / Catherine Guélou (15007 / 2015) * Etude de cas : signature électronique / Siegfried Günther ( ) * Bus de communication automobile : LIN, CAN, Flexray / Yannick Guyomarch ( ) Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 1/10

2 * L organisation de la SSI au ministère de la Défense / Sébastien Lecomte (15155 / 2015) * Modélisation de la propagation radio : lien avec les systèmes de télécommunications / Yves Louët ( ) * Protection de la vie privée / Guillaume Piolle ( ) * Vérification & validation / Thérèse Renard (06927/ ) * Informatique théorique : introduction / Frédéric Tronel ( ) * Compilation : génération de code / Frédéric Tronel (15056/ ) * Bio-chips : part 1/2 / Martinus Werts (15128/ ) * Bio-chips : part 2/2 / Matinus Werts (15128/ ) Nouveaux polys * Protocoles cryptographiques / Christophe Bidan ( ) * Wifi / Gérard Cordelier (15161/ ) * Le domaine TEMPEST / Thierry Dandois ( ) * Smart card / Java card / Stéphane Grellier ( ) * Le Domain Name System (DNS) / Gilles Guette ( ) * SELinux / Guillaume Hiet ( ) * Sécurité UNIX / Benjamin Morin, Guillaume Hiet (15184/ ) * Réseaux WAN / Pascal Porcon (15186 / 2015) * Représentation et analyse statistique des signaux / Pierre-Yves Richard ( ) 000 INFORMATIQUE Practical malware analysis : the hands-on guide to dissecting malicious software / Michael Sikorski, Andrew Honig. No starch press, SIK Au sommaire : Chapter 0. Malware analysis primer Part 1. Basic analysis Chapter 1. Basic static techniques Chapter 2. Malware analysis in virtual machines Chapter 3. Basic dynamic analysis Part 2. Advanced static analysis Chapter 4. A crash course in x86 disassembly Chapter 5. IDA pro Chapter 6. Recognizing C code constructs in assembly Chapter 7. Analyzing malicious Windows programs Part 3. Advanced dynamic analysis Chapter 8. Debugging Chapter 9. OllyDbg Chapter 10. Kernel debugging with WinDbg Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 2/10

3 Part 4. Malware functionality Chapter 11. Malware behavior Chapter 12. Covert malware launching Chapter 13. Data encoding Chapter 14. Malware-focused network signatures Part 5. Anti-reverse-engineering Chapter 15. Anti-disassembly Chapter 16. Anti-debugging Chapter 17. Anti-virtual machine techniques Chapter 18. Packers and unpacking Part 6. Special topics Chapter 19. Shellcode analysis Chapter 20. C++ analysis Chapter bit malware Appendix A : important Windows functions Appendix B : tools for malware analysis Appendix C : solutions to labs 100 PHILOSOPHIE, PSYCHOLOGIE La vérité sur ce qui nous motive / Daniel H. Pink. Flammarion (Champs ; essais), PIN Qu'est-ce qui nous motive vraiment? L'argent, la peur des sanctions? Quand sommes-nous les plus performants et enthousiastes? La simple survie a longtemps été le moteur principal de nos actions. Mais à la fin du XIXe siècle, le taylorisme et l'organisation "scientifique" du travail ont changé la donne, faisant de l'alternative carotte/bâton le paradigme de la motivation. Ce principe est encore vivace. Et pourtant, à l'étudier de plus près, [l'auteur] montre qu'il n'en est rien : la simple récompense et la menace de la punition peuvent paradoxalement se révéler de vrais facteurs de démotivation.[...] Dans son ouvrage [...], l'auteur examine les trois éléments clefs de la motivation - autonomie, envie d'être bon dans ce que l'on fait et besoin de donner un sens à sa vie - au travers d'exemples concrets d'entreprises qui ont su améliorer la motivation de leurs équipes. 300 ECONOMIE SCIENCES SOCIALES Sustainable management of natural resources : mathematical models and methods / Michel De Lara, Luc Doyen. Springer (Environmental science and engineering), DEL This book demonstrates and develops the quantitative and formal links between sustainability issues, decision and precaution problems in the management of natural resources. Applied concerns include fisheries, agriculture, biodiversity, exhaustible resources and pollution. The book aims at combining economic and ecological dimensions through an integrated modeling framework. Mathematical or numerical models and methods presented here rely on control theory of dynamical systems. They encompass equilibrium and stability, viability and invariance, intertemporal optimality ranging from discounted utilitarian to Rawlsian criteria. Deterministic, stochastic and robust frameworks are examined. In order to simplify the mathematical content, Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 3/10

4 the proposed models and methods are restricted to the case of discrete time dynamics. Numeraous examples are proposed together with computer programs. Au sommaire : 1. Introduction 2. Sequential decision models 3. Equilibrium and stability 4. Viable sequential decisions 5. Optimal sequential decisions 6. Sequential decisions under uncertainty 7. Robust and stochastic viability 8. Robust and stochastic optimization 9. Sequential decision under imperfect information A. Appendix : mathematical proofs 400 LANGUES VIVANTES Musashi / Eiji Yoshikawa. Kodansha USA, 2012 R YOS The classical samurai novel about the real exploits of the most famous swordsman. 500 MATHEMATIQUES PHYSIQUE Eléments de calcul matriciel : à l usage des étudiants en sciences physiques / Maurice Kibler. Ellipses (Références sciences), KIB Au sommaire : 1. Suites I- Suites numériques II- Suites de fonctions III- Exercices 2. Séries I- Séries numériques II- Séries de fonctions III- Séries entières IV- Exercices 3. Séries de Fourier I- Séries trigonométriques II- Séries de Fourier III- Théorème (Bessel et Parseval) IV- Application aux problèmes de Dirichlet V- Quelques séries de Fourier usuelles VI- Exercices 4. Transformation de Fourier I- Généralités II- Propriétés formelles élémentaires III- Transformation de Fourier dans L1 IV- Transformation de Fourier dans L2 V- Transformation de Fourier dans S VI- Représentations temporelle et fréquentielle VII- Transformation de Fourier et convolution Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 4/10

5 VIII- Table de transformées de Fourier IX- Applications X- Exercices 5. Transformation de Laplace I- Définition et exemples II- Propriétés formelles élémentaires III- Cas d'une fonction semi-périodique IV- Table de transformées de Laplace V- Transformation de Laplace et convolution VI- Applications VII- Exercices 6. Calcul matriciel I- Définitions II- Opérations sur les matrices III- Matrices carrées particulières IV- Invariants d'une matrice V- Détermination de l'inverse d'une matrice VI- Systèmes linéaires VII- Eléments propres d'une matrice VIII- Réduction d'un endomorphisme IX- Puissance et exponentielle d'une matrice X- Application à des systèmes différentiels XI- Exercices 7. Exercices et problèmes Statistical inference / George Casella, Roger L. Berger. Cengage learning (Duxbury advanced series), CAS Au sommaire : 1. Probability theory 2. Transformations and expectations 3. Common families of distributions 4. Multiple random variables 5. Properties of a random sample 6. Principles of data reduction 7. Point estimation 8. Hypothesis testing 9. Interval estimation 10. Asymptotic evaluations 11. Analysis of variance and regression 12. Regression models 600 ELECTRONIQUE AUTOMATIQUE GESTION DE L ENTREPRISE Nanosciences et nanotechnologies : évolution ou révolution? / Jean-Michel Lourtioz, Marcel Lahmani, Claire Dups-Haeberlin, Patrice Hesto, eds. Belin (Echelles), LOU Ce livre [...] couvre un large spectre des recherches sur les "nanos", allant de la physique et la chimie aux biotechnologies, à la médecine et aux aspects environnementaux et sociétaux. Il présente en parallèle des applications industrielles de grande envergure, existantes ou potentielles, et fait état des premières règlementations en vigueur et de celle souhaitées par Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 5/10

6 l'opinion publique en matière de santé et d'environnement. Il offre, enfin, une cartographie des centres de recherche et de formation, ainsi que des entreprises oeuvrant dans le domaine en France, et propose une description plus générale des efforts consacrés aux nanotechnologies de par le monde.[...] Au sommaire : Première partie - Nanophysique, nanoélectronique et nanophotonique 1. Panorama du domaine 2. Exemples d'application Deuxième partie - Nanomatériaux et nanochimie 3. Panorama du domaine 4. Exemples d'application Troisième partie - Nanobiosciences, nanomédecine et nanotoxicologie 5. Nonobiosciences : des outils et des concepts nouveaux pour explorer et manipuler le vivant 6. Nanomédecine et nanotechnologies pour la médecine 7. Nanomédicaments : la squalénisation, une voie pour de nouveaux médicaments à activité anticancéreuse ou anti-infectieuse accrus 8. Que sait-on des impacts des nanomatériaux sur la santé? 9. Les risques environnementaux associés aux nanotechnologies : concept nouveau ou ancien? Quatrième partie- Nanotechnologies et société 10. Recherche, formation et développement industriel en nanosciences et nanotechnologies 11. Une approche sociétale en nanosciences et nanotechnologies The technology of binaural listening / Jens Blauert. Springer (Modern acoustics and signal processing), BLA This book reports on the application of advanced models of the human binaural hearing system in modern technology, among others, in the following areas : binaural analysis of aural scenes, binaural de-reverberation, binaural quality assessment of audio channels, loudspeakers and performance spaces, binaural perceptual coding, binaural processing in hearing aids and cochlea implants, binaural systems in robots, binaural/tactile human-machine interfaces, speech-intelligibility prediction in rooms and/or multi-speaker scenarios. An introduction to binaural modeling and an outlook to the future are provided. Further, the book features a MATLAB toolbox to enable readers to construct their own dedicated binaural models on demand. Au sommaire : - An introduction to binaural processing - The auditory modeling toolbox - Trends in acquisitions of individual head-related transfer functions - Assessment of sagittal-plane sound-localization performance in spatialaudio applications - Modeling horizontal localization of complex sounds in the impaired and aided impaired auditory system - Binaural scene analysis with multidimensional statistical filters - Extracting sound-source-distance information from binaural signals - A binaural model that analyses acoustic spaces and stereophonic reproduction systems by utilizing head rotations - Binaural systems in robotics - Binaural assessment of multichannel reproduction - Optimization of binaural algorithms for maximum predicted speech intelligibility - Modeling sound localization with cochlear implants - Binaural assessment of parametrically coded spatial audio signals - Binaural dereverberation - Binaural localization and detection of speakers in complex acoustic scenes - Predicting binaural speech intelligibility in architectural acoustics Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 6/10

7 - Assessment of binaural-proprioceptive interaction in human-machine interfaces - Further challenges and the road ahead MIMO-OFDM wireless communications with MATLAB / Yong Soo Cho, Jaekwon Kim, Won Young Yang, Chung G. Kang. IEEE, Wiley, CHO MIMO-OFDM is a key technology for next-generation cellular communications (3GPP-LTE, Mobile WiMAX, IMT-Advanced) as well as wireless LAN (IEE a, IEEE n), wireless PAN (MB-OFDM), and broadcasting (DAB, DVB, DMB). In [this book], the authors provide a comprehensive introduction to the theory and practice of wireless channel modeling, OFDM, and MIMO, using MATLAB programs to simulate the various techniques on MIMO-OFDM systems. Au sommaire : Limits of liability and disclaimer of warranty of software 1. The wireless channel : propagation and fading 2. SISO channel models 3. MIMO channel models 4. Introduction to OFDM 5. Synchronization for OFDM 6. Channel estimation 7. PAPR reduction 8. Inter-cell interference mitigation techniques 9. MIMO : channel capacity 10. Antenna diversity and space-time coding techniques 11. Signal detection for spatially multiplexed MIMO systems 12. Exploiting channel state information at the transmitter side 13. Multi-user MIMO Cognitive radio and networking for heterogenous wireless networks : recent advances and visions for the future / Maria-Gabriella Di Benedetto, Andrea F. Cattoni, Jocelyn Fiorina, Faouzi Bader, Luca De Nardis, eds. Springer (Signals and communication technology), DIB This book offers a condensed overview on hot topics among the cognitive radios and networks scientific and industrial communities (including those considered within the framework of the European COST Action IC0902) and presents exciting visions for the future. Examples of the subjects considered include the design of new filter bank-based air interfaces for spectrum sharing, medium access control design protocols, the design of cloud-based radio access networks, an evolutionary vision for the development and deployment of cognitive TCP/IP, and regulations relevant to the development of a spectrum sharing market. The concluding chapter comprises a practical, hands-on tutorial for those interested in developing their own research test beds. Au sommaire : 1. New types of air interface based on filter banks for spectrum sharing and coexistence 2. Cognitive interference alignment for spectral coexistence 3. Cooperative spectrum sensing 4. Medium access control protocols in cognitive radio networks 5. Dynamic channel selection for cognitive femtocells 6. Towards cognitive internet : an evolutionary vision 7. Automatic best wireless network selection based on key performance indicators 8. Localization in cognitive radio networks Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 7/10

8 9. Challenges towards a cloud-ran realization 10. A regulatory perspective on cognitive radio and spectrum sharing 11. Simulation of cognitive radio networks in OMNeT Designing a CR test bed : practical issues 13. Low-cost testbed development and its applications in cognitive radio prototyping Coordinated multi-point in mobile communications : from theory to practice / ed. Patrick Marsch, Gerhard P. Fettweis. Cambridge University press, MAR A self-contained guide to coordinated multi-point (CoMP), this comprehensive book covers everything from theoretical basics to practical implementation. Addressing a wide range of topics, it highlights the potential gains of CoMP, the fundamental degrees of freedom involved, and the key challenges of using CoMP in practice. The editors and contributors bring unique real-world experience from running the world s first and largest test beds for LTE-Advanced, and recent field trial results are presented. Au sommaire : Part I- Motivation and basics 1. Introduction 2. An operator s point of view 3. Information-theoretic basics 4. Gains and trade-offs of multi-cell joint signal processing Part II- Practical CoMP schemes 5. CoMP schemes based on interf.-aware transceivers or interf. coord. 6. CoMP schemes based on multi-cell joint signal processing Part III- Challenges connected to CoMP 7. Clustering 8. Synchronization 9. Channel knowledge 10. Efficient and robust algorithm implementation 11. Scheduling, signaling, and adaptive usage of CoMP 12. Backhaul Part IV- Performance assessment 13. Field trial results 14. Performance prediction of CoMP in large cellular systems Part V- Outlook and conclusions 15. Outlook 16. Summary and conclusions Reinforcement learning and dynamic programming using function approximators / Lucian Busoniu, Robert Babuska, Bart De Schutter, Damien Ernst. CRC Press (Automation and control engineering series), BUS From household appliances in robotics, engineered systems involving complex dynamics can only be as effective as the algorithms that control them. While Dynamic Programming (DP) has provided researchers with a way to optimally solve decision and control problems involving complex dynamic systems, its practical value was limited by algorithms that lacked the capacity to scale up to realistic problems. However, in recent years, dramatic developments in Reinforcement Learning (RL), the model-free counterpart of DP, changed our understanding of what is possible. Those developments led to the creation of reliable methods that can be applied even when a mathematical model of the system is unavailable, allowing researchers to solve challenging control problems in engineering, as well as in a variety of other disciplines, including economics, medicine, and artificial intelligence. Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 8/10

9 This book provides a comprehensive and unparalleled exploration of the field of RL and DP. With a focus on continuous-variable problems, this seminal text details essential developments that have substantially altered the field over the past decade. In its pages, pioneering experts provide a concise introduction to classical RL and DP, followed by an extensive presentation of the state-of-the-art and novel methods in RL and DP with approximation. Combining algorithm development with theoretical guarantees, they elaborate on their work with illustrative examples and insightful comparisons. Three individual chapters are dedicated to representative algorithms from each the major classes of techniques : value iteration, policy iteration, and policy search. The features and performance of these algorithms are highlighted in extensive experimental studies on a range on control applications. Au sommaire : 1. Introduction 1.1 The dynamic programming and reinforcement learning problem 1.2 Approximation in dynamic programming and reinforcement learning 1.3 About this book 2. An introduction to dynamic programming and reinforcement learning 1.2 Introduction 2.2 Markov decision processes 2.3 Value iteration 2.4 Policy iteration 2.5 Policy search 2.6 Summary and discussion 3. Dynamic programming and reinforcement learning in large and continuous spaces 3.1 Introduction 3.2 The need for approximation in large and continuous spaces 3.3 Approximation architectures 3.4 Approximate value iteration 3.5 Approximate policy iteration 3.6 Finding value function approximators automatically 3.7 Approximate policy search 3.8 Comparison of approximate value iteration, policy iteration, and policy search 3.9 Summary and discussion 4. Approximate value iteration with a fuzzy representation 4.1 Introduction 4.2 Fuzzy q-iteration 4.3 Analysis of fuzzy q-iteration 4.4 Optimizing the membership functions 4.5 Experimental study 4.6 Summary and discussion 5. approximate policy iteration for online learning and continuousaction control 5.1 Introduction 5.2 A recapitulation of least-squares policy iteration 5.3 Online least-squares policy iteration 5.4 Online LSPI with prior knowledge 5.5 LSPI with continuous-action, polynomial approximation 5.6 Experimental study 5.7 Summary and discussion 6. Approximate policy search with cross-entropy optimization of basis functions 6.1 Introduction 6.2 Cross-entropy optimization 6.3 Cross-entropy policy search 6.4 Experimental study 6.5 Summary and discussion Appendix A. Extremely randomized trees Appendix B. The cross-entropy method Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 9/10

10 Liberté & Cie : quand la liberté des salariés fait le bonheur des entreprises / Isaac Getz, Brian M. Carney. Fayard, GET Au sommaire : 1. Les sociétés "comment et les sociétés "pourquoi" : comment ne pas diriger une entreprise 2. Managez-vous votre entreprise pour les "trois pour cent"? : une entreprise d'exception ne confond pas l'exception et la règle 3. Des artisans aux automates : les origines de la culture du "comment" 4. Liberté ne veut pas dire anarchie : une entreprise libérée doit avoir une vision commune 5. Pourquoi ils l'ont fait : deux déclencheurs de la campagne de libération 6. Quel est votre problème (et celui de vos salariés)? : inventer un environnement qui traite les gens en égaux 7. Libérer une entreprise déjà existante : comment communiquer directement avec vos salariés 8. De la motivation à l'automotivation (1) : au-delà de la grâce et de l'égalité intrinsèque 9. De la motivation à l'automotivation (2) : des pratiques de travail et de gestion nutritives 10. A la recherche des bottes perdues : laisser les salariés s'autodiriger et se développer, ça paye 11. Les anti-mad men : un publicitaire en quête de paix et de liberté 12. Le secret du leadership libérateur : comment les paradoxes et la sagesse contribuent à la liberté 13. Le paradoxe ultime : la culture du bonheur conduit à des performances de niveau mondial 14. Faire voler des papillons en formation : préserver la liberté sur la durée La fin du management : inventer les règles de demain / Gary Hamel. Vuibert, HAM Au sommaire : Première partie : De l'importance de l'innovation managériale Chapitre 1. Est-ce la fin du management? Chapitre 2. L'avantage suprême Chapitre 3. Plaidoyer pour l'innovation managériale Deuxième partie : L'innovation managériale en action Chapitre 4. Une communauté tendue vers un objectif commun Chapitre 5. Une démocratie au service de l'innovation Chapitre 6. La quête de l'adaptabilité permanente Troisième partie : Imaginer l'avenir du management Chapitre 7. Briser les chaines des vénérables contraintes Chapitre 8. A management nouveau, principes nouveaux Chapitre 9. Voyage en Atypie Quatrième partie : Construire l'avenir du management Chapitre 10. Devenir innovateur Chapitre 11. Vers le management 2.0 Bibliothèque CENTRALESUPELEC campus de Rennes NOUVELLES et DERNIERES ACQUISITIONS janvier 2015 p. 10/10