{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":71,"n_cols":5,"rows_kept":71,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[35,2,35,3],[36,2,36,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[51,2,51,3],[63,2,63,3],[64,2,64,3],[68,2,68,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910480584503321"]
[null,null,"Titolo",null,"Zeta functions in algebra and geometry : second International Workshop, May 3-7, 2010, Universitat de Les Illes Balears, Palma de Mallorca, Spain / / Antonio Campillo [and four others], editors"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society"]
[{"$nulls":4},"[Madrid] : , : Real Sociedad Matematica Espanola, , [2012]"]
[{"$nulls":4},"©2012"]
[null,null,"ISBN",null,"0-8218-8776-9"]
[null,null,"Descrizione fisica",null,"1 online resource (362 p.)"]
[null,null,"Collana",null,"Contemporary mathematics ; ; volume 566"]
[null,null,"Disciplina",null,"515/.56"]
[null,null,"Soggetti",null,"Functions, Zeta"]
[{"$nulls":4},"Geometry, Algebraic"]
[{"$nulls":4},"Algebraic varieties"]
[{"$nulls":4},"Electronic books."]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"\"\"Preface\"\"; \"\"Part I: L-functions of varieties over finite fields and Artin L-functions \"\"; \"\"Computational aspects of Artin   -functions\"\"; \"\"Introduction\"\"; \"\"1. Modular forms and Maass forms\"\"; \"\"2. Weight one holomorphic modular forms\"\"; \"\"3. Some character tables\"\"; \"\"4. Artin   -functions\"\"; \"\"5. Modular forms of weight one and Artin   -functions\"\"; \"\"6. Linear and projective Galois representations\"\"; \"\"7. Computation of Artin   -functions\"\"; \"\"References\"\"; \"\"Zeta functions for families of Calabiâ€?Yau   -folds with singu\"\"; \"\"1. Introduction\"\"; \"\"2. Facts about the zeta-function\"\""]
[{"$nulls":4},"\"\"3. Singularity analysis for some families of Fermat-type Calabiâ€?Yau n-folds\"\"\"\"4. The influence of singularity data on strong   -classes\"\"; \"\"5. Examples of 2-parameter families\"\"; \"\"6. Conclusion\"\"; \"\"References\"\"; \"\"Estimates for exponential sums with a large automorphism group\"\"; \"\"1. Introduction\"\"; \"\"2. Additive character sums for translation invariant polynomials\"\"; \"\"3. Multiplicative character sums for translation invariant polynomials\"\"; \"\"4. Additive character sums for homothety invariant polynomials\"\"; \"\"5. Multiplicative character sums for homothety invariant polynomials\"\""]
[{"$nulls":4},"\"\"References\"\"\"\"protect  oindent Part II:\\Height zeta functions\\and arithmetic\"\"; \"\"Height zeta functions on generalized projective toric "]
[{"$nulls":4},"varieties\"\"; \"\"1. Introduction and detailed description of the problem\"\"; \"\"2. Notations and preliminaries\"\"; \"\"3. Statements of main results\"\"; \"\"4. Proof of Theorem 3\"\"; \"\"5. Proofs of Proposition 2 and Theorems 1, 2\"\"; \"\"References\"\"; \"\"Combinatorial cubic surfaces and reconstruction theorems\"\"; \"\"References\"\"; \"\"Height zeta functions of equivariant compactifications of semi-direct products of algebraic groups\"\"; \"\"Introduction\"\"; \"\"1. Geometry\"\""]
[{"$nulls":4},"\"\"4. Motivic integration on rigid varieties and the analytic Milnor fiber\"\""]
[null,"2.","Record Nr.",null,"UNINA9910702248603321"]
[null,null,"Titolo",null,"Air traffic management technology demonstration-1 concept of operations (ATD-1 ConOps) [[electronic resource] /] / Brian T. Baxley ... [and others]"]
[null,null,"Pubbl/distr/stampa",null,"Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012]"]
[null,null,"Descrizione fisica",null,"1 online resource (55 pages) : illustrations (some color)"]
[null,null,"Collana",null,"NASA/TM ; ; 2012-217585"]
[null,null,"Soggetti",null,"Air traffic control"]
[{"$nulls":4},"Management systems"]
[{"$nulls":4},"Spacing"]
[{"$nulls":4},"Airports"]
[{"$nulls":4},"Runways"]
[{"$nulls":4},"Descent"]
[{"$nulls":4},"Speed control"]
[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","Title from title screen (viewed on Nov. 6, 2012)."]
[{"$nulls":4},"\"July 2012.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (pages 32-33)."]
[null,"3.","Record Nr.",null,"UNINA9910299049903321"]
[null,null,"Titolo",null,"Collaborative Design for Embedded Systems : Co-modelling and Co-simulation / / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-642-54118-6"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (393 p.)"]
[null,null,"Disciplina",null,"003.3"]
[{"$nulls":4},"004"]
[{"$nulls":4},"004.6"]
[{"$nulls":4},"005.1"]
[null,null,"Soggetti",null,"Computers, Special purpose"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Electronic circuits"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Simulation and Modeling"]
[{"$nulls":4},"Computer Engineering"]
[{"$nulls":4},"Circuits and Systems"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Part I Co-modelling and Co-simulation: the Technical Basis -- Collaborative Development of Embedded Systems -- Co-modelling and Co-simulation in Embedded Systems Design -- Continuous-Time Modelling in 20-sim -- Discrete-Event Modelling in VDM -- Support for Co-modelling and Co-simulation: the Crescendo Tool -- Co-model Structuring and Design Patterns -- Part II Methods and Applications: the Pragmatics of Co-modelling and Co-simulation -- Case Studies in Co-modelling and Co-simulation -- Methods for Creating Co-models of Embedded Systems -- Co-modelling of Faults and Fault Tolerance "]
[{"$nulls":4},"Mechanisms -- Design Space Exploration for Embedded Systems using Co-simulation -- Industrial Application of Co-modelling and Co-simulation Technology -- Part III Advanced Topics -- Deploying Co-modelling in Commercial Practice -- Semantics of Co-simulation -- From Embedded to Cyber-Physical Systems: Challenges and Future Directions -- Appendix A 20-sim Summary -- Appendix B VDM-RT Language Summary -- Appendix C Design Patterns for Use in Co-modelling -- Appendix D Abstract Modelling of ChessWay Safety."]
[null,null,null,"Sommario/riassunto","One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them. To this end, this book presents a framework that allows the very different kinds of design models – discrete-event (DE) models of software and continuous time (CT) models of the physical environment – to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers’ experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on www.crescendotool.org. Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation, as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns."]