| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910798485703321 |
|
|
Autore |
GRAFT |
|
|
Titolo |
Architecture activism / / GRAFT ; with a foreword by Cameron Sinclair |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel, Switzerland : , : Birkhäuser, , [2016] |
|
©[2016] |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (240 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture and society |
Architects and community |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Contents -- Foreword -- Introduction -- Make it Right -- Affordable Housing Namibia -- Heimat2 -- Eckwerk Holzmarkt -- Solarkiosk -- Holistic Living -- Two Icu Rooms in Berlin -- Platoon Kunsthalle -- Art Cloud & Unity Flag -- Grafties Members of Staff -- About Graft -- Illustration Credits |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Founded in Los Angeles in 1998, GRAFT is a global architectural practice which now maintains branches in Berlin and Beijing. The international practice, which is involved in architectural, urban, and product design – as well as branding – is known for its experimental and interdisciplinary designs as well as for its strong social commitment. The publication will document only projects characteristic of this social responsibility – it portrays architecture as an active tool for driving, in a global context, the development of places worth living in. One key project is the Solar Kiosk developed in 2012, a high-output, solar-based unit which is already used by many communities in Sub-Saharan Africa to secure their power supply. |
Gegründet 1998 in Los Angeles, ist Graft ein weltweit agierendes Architekturbüro, das mittlerweile Filialen in Berlin und Peking unterhält. Das Büro, international in den Bereichen Architektur, Städtebau und Design praktizierend, zeichnet sich durch seine experimentierfreudige und interdisziplinäre Entwurfspraxis sowie ein hohes gesellschaftliches Engagement aus. Die Publikation dokumentiert Projekte, die sich im |
|
|
|
|
|
|
|
|
|
|
|
|
|
Kontext dieser gesellschaftlich-sozialen Verantwortung bewegen: Sie zeigt Architektur als aktives Werkzeug, um die Entwicklung von lebenswerten Orten im globalen Zusammenhang voranzutreiben. Ein Kernprojekt ist der 2012 entwickelte Solarkiosk, eine leistungsstarke, solarbasierte Einheit, die bereits heute die Stromversorgung in vielen Gemeinden des Afrikas der Subsahara sichert. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910346893103321 |
|
|
Autore |
Lochbihler Andreas |
|
|
Titolo |
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
KIT Scientific Publishing, 2012 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 412 p. p.) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine. |
|
|
|
|
|
|
|
| |