{"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":54,"n_cols":5,"rows_kept":54,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[46,2,46,3],[47,2,47,3],[51,2,51,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910460888403321"]
[null,null,"Autore",null,"McCartney John Scott <1979-, >"]
[null,null,"Titolo",null,"Thermoactive foundations for sustainable buildings / / John Scott McCartney, Moncef Krarti, Byung Chang Kwag, Abdelmalek Bouazza, Rao Martand Singh, Mohammed Faizal"]
[null,null,"Pubbl/distr/stampa",null,"New York, [New York] (222 East 46th Street, New York, NY 10017) : , : Momentum Press, , 2015"]
[null,null,"ISBN",null,"1-60650-886-5"]
[null,null,"Descrizione fisica",null,"1 online resource (x, 121 pages) : illustrations"]
[null,null,"Collana",null,"Technologies for sustainable life"]
[null,null,"Disciplina",null,"697.7"]
[null,null,"Soggetti",null,"Geothermal space heating"]
[{"$nulls":4},"Foundations"]
[{"$nulls":4},"Thermopiles"]
[{"$nulls":4},"Buildings - Thermal properties"]
[{"$nulls":4},"Sustainable buildings"]
[{"$nulls":4},"Libros electronicos."]
[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","Co-published with American Society of Mechanical Engineers."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"1. Structural performance of thermo-active foundations -- 1.1 Introduction -- 1.2 Thermo-elastic soil-structure interaction -- 1.3 Design criteria -- 1.4 Thermo-mechanical load transfer analysis -- 1.4.1 Assumptions and basic aspects of the model -- 1.4.2 Load-transfer curves -- 1.4.3 Mechanical load transfer analysis -- 1.4.4 Thermo-mechanical T-z analyses -- 1.4.5 Model evaluation: impact of temperature changes -- 1.4.6 Model evaluation: impact of boundary conditions -- 1.4.7 Model evaluation: head restraint effects -- 1.4.8 Results from thermo-active foundations -- 1.5 Final comments -- 1.6 Acknowledgments -- 1.7 References --"]
[{"$nulls":4},"2. Thermal analysis of thermoactive foundations -- 2.1 Introduction -- 2.2 Thermal modeling of TAFs -- 2.2.1 Description of TAF thermal modeling -- 2.2.2 Experimental validation -- 2.2.3 Sensitivity analysis -- 2.2.4 Impact of thermal piles on soil temperature distribution -- 2.3 Building foundation heat transfer -- 2.4 Thermal response of TAFs -- 2.5 Energy analysis of buildings with TAF systems -- 2.5.1 Application of TAFs for office buildings -- 2.5.2 Application of TAFs to residential buildings -- 2.6 Summary and conclusions -- 2.7 References --"]
[{"$nulls":4},"3. Full scale geothermal energy pile studies at Monash University, "]
[{"$nulls":4},"Melbourne, Australia -- 3.1 Introduction -- 3.2 Site ground conditions -- 3.3 Instrumentation of full-scale geothermal energy piles -- 3.3.1 Single geothermal energy pile instrumentation -- 3.3.2 Instrumentation of group of geothermal energy piles -- 3.4 Heating test for single pile case -- 3.5 Mechanical tests -- 3.6 Dual pile system -- 3.6.1 Concrete curing temperature -- 3.6.2 Strains during concrete curing -- 3.7 Conclusions -- 3.8 Acknowledgments -- 3.9 References -- About the authors."]
[null,null,null,"Sommario/riassunto","This monograph documents the current of state-of-art in Thermo- Active Foundations (TAFs) suitable for efficiently and sustainably heat and cooling buildings. TAFs, also referred to as thermal or energy piles, offer innovative and sustainable alternatives to ground-source heat pumps as well as other conventional heating, ventilating, and air conditioning (HVAC) systems to heat and cool commercial as well as residential buildings in several regions in the world. In summary, this monograph collects the latest multi-disciplinary advances in modeling, designing, and monitoring TAFs. Ultimately, it is hoped that this monograph will provide a comprehensive reference for both researchers and professionals interested in structural and thermal performance of TAFs and their applications in developing integrated and sustainable equipment and systems for the built environment."]
[null,"2.","Record Nr.",null,"UNINA9910483811003321"]
[null,null,"Titolo",null,"Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-280-38925-7"]
[{"$nulls":4},"9786613567178"]
[{"$nulls":4},"3-642-15928-1"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 419 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6372"]
[null,null,"Disciplina",null,"004"]
[null,null,"Soggetti",null,"Computer science - Mathematics"]
[{"$nulls":4},"Discrete mathematics"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence - Data processing"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Discrete Mathematics in Computer Science"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Data Science"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[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,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with "]
[{"$nulls":4},"Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on GraphTransformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification."]
[null,null,null,"Sommario/riassunto","Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST."]