| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910697129903321 |
|
|
Autore |
Pappas Deno M |
|
|
Titolo |
Lesiones por derrumbes de rocas en minas subterráneas [[electronic resource] /] / [principal contributors ... Deno Pappas and Leonard Prosser] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Cincinnati, OH] : , : [Dept. de Salud Y Servicios Humanos de los Estados Unidos, Centros para el Control y la Prevención de Enfermedades, Instituto Nacional para la Seguridad y Salud Ocupacional], , [2003] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource : color illustrations |
|
|
|
|
|
|
Collana |
|
Soluciones en la obra |
Publicación DHHS ; ; no. 2004-106 (NIOSH) |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Quarries and quarrying - Safety measures |
Miners - Wounds and injuries |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from caption title screen (NIOSH, viewed Aug. 17, 2010). |
"Noviembre de 2003." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910796714403321 |
|
|
Titolo |
Time and transformation in architecture / / edited by Tuuli Lähdesmäki |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston : , : Brill, , 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (216 pages) |
|
|
|
|
|
|
Collana |
|
At the Interface/Probing the Boundaries ; ; v. 100 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture - Philosophy |
Time perception |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Matter -- Copyright Page -- Contents -- Preface -- List of Illustrations -- Notes on Contributors -- Introduction: Time and Spatial and Social Turns in Architectural Research / Tuuli Lähdesmäki -- Temporality and Changing Meanings of Urban Space -- Temporary Architecture as a Means in Urban Regeneration / Tuuli Lähdesmäki -- After the Event: Considering Media Images and Skyscraper Architecture at the Turn of the 21st Century / Sanja Rodeš -- Architectural Imaginings and Colonial and Post-colonial Realities -- Modernism as a Mechanism of Power and Control in Colonial Contexts: The Project of Modernity in Cape Town, South Africa / André van Graan -- Architectural Agency and ‘Place-Making’ in a Transformative Post-Apartheid South African Landscape / June Jordaan -- Women as Retrofits in Modernist Low-Income Housing / Assumpta Nnaggenda-Musana and Eiman Ahmed Elwidaa -- Spirituality and Decay in Architecture -- The Heterotopic Nature of the Built Heritage: The Sacred Wooden Architecture of Transylvania and Its Practices / Smaranda Spânu -- Understanding Spirituality in Disabled Places: Focusing on Urban Ruins and Decay / Joongsub Kim. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Time and Transformation in Architecture , edited by Tuuli Lähdesmäki, approaches architecture and the built environment from an interdisciplinary point of view by emphasizing in its theoretical discussions and empirical analysis the dimensions of time, temporality, and transformation—and their relation to human experiences, behavior, |
|
|
|
|
|
|
|
|
|
|
|
|
|
and practices. The volume consists of seven chapters that explore the following questions: How do architectural ideas, ideals, and meanings emerge, develop, and transform? How is architecture manifested in relation to time, time-space, and the social dimensions it entails and produces? The volume provides both multifaceted theoretical discussions on time and temporality in architecture and empirical case studies around the globe in which these theories and conceptualizations are tested and explored. Contributors are Eiman Ahmed Elwidaa, André van Graan, June Jordaan, Joongsub Kim, Tuuli Lähdesmäki, Assumpta Nnaggenda-Musana, Sanja Rodeš and Smaranda Spânu. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910767510403321 |
|
|
Titolo |
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 261 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 5063 |
|
|
|
|
|
|
Altri autori (Persone) |
|
VallecilloAntonio |
GrayJeff |
PierantonioAlfonso |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Theory of Computation |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Process and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language |
|
|
|
|
|
|
|
|
|
|
|
-- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations. |
|
|
|
|
|
|
|
| |