{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":39,"n_cols":5,"rows_kept":39,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[15,2,15,3],[16,2,16,3],[18,2,18,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[33,2,33,3],[34,2,34,3],[37,2,37,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910466795403321"]
[null,null,"Autore",null,"Aanesland Ane"]
[null,null,"Titolo",null,"Chimie, aéronautique et Espace / / Ane Aanesland [and sixteen others] ; Coordonne par Minh-Thu Dinh-Audouin, Danièle Olivier et Paul Rigny"]
[null,null,"Pubbl/distr/stampa",null,"Les Ulis Cedex A, France : , : EDP Sciences, , [2018]"]
[{"$nulls":4},"©2018"]
[null,null,"ISBN",null,"2-7598-2284-2"]
[null,null,"Descrizione fisica",null,"1 online resource (272 pages)"]
[null,null,"Collana",null,"Collection Chimie et"]
[null,null,"Disciplina",null,"540.724"]
[null,null,"Soggetti",null,"Chemistry - Research"]
[{"$nulls":4},"Aeronautics - Research"]
[{"$nulls":4},"Aerospace engineering - Research"]
[{"$nulls":4},"Neurochemistry - Research"]
[{"$nulls":4},"Science - Social aspects"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Frontmatter -- Sommaire -- Avant-propos : par Danièle Olivier et Paul Rigny -- Préface : par Bernard Bigot -- Partie 1 : La R&D aéronautique et spatiale -- Chapitre 1 : La chimie et l’espace par Jacques Louet -- Chapitre 2 : Demain, l’aviation plus verte et plus autonome par Denis Chapuis -- Chapitre 3 : La propulsion des fusées et des futurs avions chez Air Liquide ! par Pierre Crespi -- Chapitre 4 : Les nouveaux matériaux composites pour l’aéronautique par Vincent Aerts -- Chapitre 4 : Les matériaux pour l’espace : application aux instruments optiques par Dominique Gilliéron -- Chapitre 5 : StratobusTM par Jean-Philippe Chessel -- Partie 2 : Chimie et aéronautique -- Chapitre 6 : Les défis matériaux et procédés pour les équipements aéronautiques par Olivier Delcourt -- Chapitre 7 : La propulsion électrique : de la propulsion classique à la micro-propulsion par Ane Aanesland -- Chapitre 8 : Apport de la chimie au développement de matériaux pour l’aéronautique par Marie-Joëlle Menu, Marie Gressier, Pierre Alphonse et Florence Ansart -- Chapitre 9 : Dernières avancées dans les alliages d’aluminium pour applications aéronautiques par Timothy Warner -- Partie 3 : Chimie et espace -- Chapitre 10 : Molécules dans l’Univers. Où ? Quand ? Comment ? Pourquoi ? par Michel Guélin -- Chapitre 10 : Traces chimiques d’une forme de vie extraterrestre : si près ! Si loin ! "]
[{"$nulls":4},"par Michel Viso -- Chapitre 11 : Les origines de la vie, du minéral aux biomolécules d’après la conférence de Thomas Georgelin -- Chapitre 12 : L’exploration spatiale : quelles perspectives et quelle place pour l’Europe ? par Richard Bonneville"]
[null,null,null,"Sommario/riassunto","Chaque enfant, chaque adulte est un vrai Jules Verne quand il s’agit de la conquête de l’espace. Les avions toujours plus performants, les hélicoptères, les drones nous font rêver. Et les satellites, donc, avec leurs promesses d’exploration des astres voisins ! Malgré les difficultés concrètes dues au manque de combustible fossile qui s’esquisse, le transport aérien reste une priorité. La mondialisation galopante impose des contacts humains réels entre pays différents, aux extrémités du monde. L’utilisation des satellites pour les télécommunications est devenue indispensable, par exemple pour le développement d’Internet ou pour les GPS. Les demandes de surveillances tous azimuts par les drones ou par les petits satellites se multiplient. Tout indique que l’utilisation de l’espace, l’un des grands thèmes de la technologie actuelle, le restera pour les années qui viennent. On trouvera dans ce livre l’exposé des multiples objectifs des recherches qui nous préparent le futur en matière de transport aérien et d’exploration de l’espace. Pour réussir les projets souvent aussi ambitieux que hardis, la recherche est sollicitée de façon majeure. Cette recherche, c’est dans une large mesure celle de nouveaux matériaux, métaux rares, composites ou matières plastiques de haute performance. Autant dire que cet ouvrage regorge d’exemples d’applications de cette vaste et féconde discipline qu’est la chimie, exposés par des professionnels spécialistes des laboratoires de recherche et des industries. L’aéronautique et l’espace jouent un rôle déterminant au niveau sociétal ; pour le premier en termes d’énergie, de sécurité ou de confort, pour le second dans le cadre de la quête perpétuelle de l’humanité des éléments fondamentaux pour la connaissance de l’Univers, de son évolution et des connaissances de l’origine de la vie."]
[null,"2.","Record Nr.",null,"UNINA9910437564403321"]
[null,null,"Autore",null,"Downey R. G (Rod G.)"]
[null,null,"Titolo",null,"Fundamentals of Parameterized Complexity / / by Rodney G. Downey, Michael R. Fellows"]
[null,null,"Pubbl/distr/stampa",null,"London : , : Springer London : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"1-4471-5559-9"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXX, 763 p. 83 illus.)"]
[null,null,"Collana",null,"Texts in Computer Science, , 1868-0941"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Algorithms"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Mathematics of Algorithmic Complexity"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Introduction -- Part I: Parameterized Tractability -- Preliminaries -- The Basic Definitions -- Part II: Elementary Positive Techniques -- Bounded Search Trees -- Kernelization -- More on Kernelization -- Iterative Compression, and Measure and Conquer, for Minimization Problems -- Further Elementary Techniques -- Colour Coding, Multilinear Detection, and Randomized Divide and Conquer -- Optimization Problems, Approximation Schemes, and Their Relation to FPT -- Part III: Techniques Based on Graph Structure -- Treewidth and Dynamic Programming -- Heuristics for Treewidth -- Automata and Bounded Treewidth -- Courcelle's Theorem -- More on Width-Metrics: Applications and Local Treewidth -- Depth-First Search and the Plehn-Voigt Theorem -- Other Width Metrics -- Part IV: Exotic Meta-Techniques -- Well-Quasi-Orderings and the Robertson-Seymour Theorems -- The Graph Minor Theorem -- Applications of the Obstruction Principle and WQOs -- Part V: Hardness Theory -- Reductions -- The Basic Class W[1] and an Analog of Cook's Theorem -- Other Hardness Results -- The W-Hierarchy -- The Monotone and Antimonotone Collapses -- Beyond W-Hardness -- k-Move Games -- Provable Intractability: The Class XP -- Another Basis -- Part VI: Approximations, Connections, Lower Bounds -- The M-Hierarchy, and XP-optimality -- Kernelization Lower Bounds -- Part VII: Further Topics -- Parameterized Approximation -- Parameterized Counting and Randomization -- Part VIII: Research Horizons -- Research Horizons -- Part IX Appendices -- Appendix 1: Network Flows and Matchings -- Appendix 2: Menger's Theorems."]
[null,null,null,"Sommario/riassunto","The field of parameterized complexity/multivariate complexity algorithmics is an exciting and vibrant part of theoretical computer science, responding to the vital need for efficient algorithms in modern society. This comprehensive and self-contained textbook presents an accessible overview of the state of the art of multivariate algorithmics and complexity. Increasingly, multivariate algorithmics is having significant practical impact in many application domains, with even more developments on the horizon. The text describes how the multivariate framework allows an extended dialog with a problem, enabling the reader who masters the complexity issues under discussion to use the positive and negative toolkits in their own research. Topics and features: Describes many of the standard algorithmic techniques available for establishing parametric tractability Reviews the classical hardness classes Explores the various limitations and relaxations of the methods Showcases the powerful new lower bound techniques Examines various different algorithmic solutions to the same problems, highlighting the insights to be gained from each approach Demonstrates how complexity methods and ideas have evolved over the past 25 years This classroom-tested and easy-to-follow textbook/reference is essential reading for the beginning graduate student and advanced undergraduate student. The book will also serve as an invaluable resource for the general computer scientist and the mathematically-aware scientist seeking tools for their research."]