196,567 research outputs found
Landscape elements as a basis for integrated water management
No full textWater scarcity and flooding associated to climate variability and poor water use efficiency affect the liveability of our cities and their water security in the long term. As advocated by the Integrated Water Management (IWM) model, a transition towards arrangements that, besides centralized water infrastructures, also include onsite and efficient organization of water flows is required. A Landscape Elements Water Management Strategy (LEWMS) has been outlined to immediately guide the exploration of potential source control solutions for the recurrent spatial elements of a given urban landscape (roofs, gardens, parks, etc.) and the result of their reiteration at the catchment level. In the LEWMS, spatial configurations, water flow patterns and stakeholder’s arrangements generated by the spread of different decentralized options are drawn up to allow their comparison. Tested in the Brussels-Capital Region (BCR), the analysed macro effects of micro- scale landscape-based practices are gaining the attention of the local institutions.SCOPUS: ar.jinfo:eu-repo/semantics/publishe
States vs. traces in model checking by abstract interpretation
No full textAbstract. In POPL’00, Cousot and Cousot showed that the classical state-based model checking of a very general temporal language called � ⋆ µ-calculus is an incomplete abstract interpretation of its trace-based semantics. In ESOP’01, Ranzato showed that the least refinement of the state-based model checking semantics of the � ⋆ µ-calculus which is complete w.r.t. its trace-based semantics exists, and it is essentially the tracebased semantics itself. The analogous problem in the opposite direction is solved by the present paper. First, relatively to any incomplete temporal connective of the � ⋆ µ-calculus, we characterize the structure of the models, i.e. transition systems, for which the state-based model checking is trace-complete. On this basis, we prove that the unique abstraction of the state-based model checking semantics of the � ⋆ µ-calculus (actually, of any fragment allowing conjunctions) which is complete w.r.t. the tracebased semantics is the straightforward semantics carrying no information at all. The following consequence can be drawn: there is no way to either refine or abstract sets of states in order to get a model checking algorithm for (any fragment allowing conjunctions of) the � ⋆ µ-calculus which is trace-complete.
Infrastrutture e nuove ecologie territoriali
No full textStrade, ferrovie, elettrodotti e centrali elettriche, acquedotti, fognature, opere igieniche e sanitarie, costituiscono un complesso articolato di reti e installazioni che sostiene e connota in maniera decisiva la vita urbana nelle città e nei territori. Le infrastrutture realizzano la trasformazione della natura, rendono disponibili e mercificano la materia, le risorse, i luoghi. Concepiti per fornire servizi efficienti e universali e aderendo a modelli ingegneristici sofisticati, gli apparati tecno-scientifici delle infrastrutture precipitano sui territori e con essi interagiscono mediante soluzioni spesso standardizzate che tendono a semplificare o obliterare i contesti, altre volte a generare conflitti ed esclusione.
Contestualmente, le emergenze del nuovo regime climatico e le pervasive spinte della transizione ecologica a limitare il consumo di risorse e a promuovere usi e processi non estrattivi ed equi mettono in crisi, almeno sulla carta, il capitale fisso sociale che, con maggiore intensità a partire dal secolo breve, è stato via via depositato nei territori. Sotto la spinta del paradigma tecno-digitale della transizione e le sue soluzioni certificate ma anche per l’implementazione di soluzioni e progetti che interpretano posizioni radicali a bassa tecnologia e/o fortemente ancorati ai contesti, il complesso infrastrutturale si ibrida per includere soluzioni “post-rete”, “fuori-rete”, decentralizzate ma anche infrastrutture marchiate verdi e blu e basate sulla natura.
Quali misure e progetti di infrastruttura riescono a interpretare le nuove ecologie territoriali e a favorire forme diffuse di relazionalità tra materia vivente e non vivente? Quali politiche e opere infrastrutturali sono in grado di risocializzare la cultura tecnica e di rimando l’attuale apparato infrastrutturale? Come si possono operare scelte collettive sulla tecnologia alla base dell'infrastruttura? In che termini è plausibile ibridare le infrastrutture esistenti e concepirne di nuove per integrare i saperi radicati nei territori? A quali condizioni lo spazio tecnico dell’infrastruttura può essere declinato per divenire aperto al pubblico e non più nascosto o accessibile solo a pochi specialisti? In che modo le infrastrutture possono rendere intelligibile e direttamente operabile la trasformazione della natura per un pubblico ampio? Come realizzare infrastrutture in grado di interpretare la fluidità della materia e le diffuse condizioni di instabilità e incertezza
Barcelone, «ville des barricades». Fonctions et sens des barricades dans un siècle d'insurrections (1835-1937)
No full textNatura e funzionamento di un sistema pseudorappresentativo: la Spagna "liberaldemocratica" (1875-1923)
No full textLes écueils du projet comme outils d'enquete sur l'histoire du notre futur et la compréhension de notre présent
No full textDiscutere non se il progetto ci fa capire e conoscere meglio il presente, ma come può farlo: questo ci sembra rilevante e ci interessa fare.
In quel “come” si nascondono alcune insidie: la complessità delle trasformazioni della città contemporanea, la pluralità di soggetti, saperi coinvolti, l’incertezza del tempo futuro, ma anche del passato e del presente. Con il testo seguente vorremmo provare a discutere ciò
Wasteland rehabilitation in rural landscape: a design project in the Verona plain
No full textThis contribution presents a design exploration for the rehabilitation of a dumpsite in the municipality of Isola Rizza, Verona (Italy). In the Verona plain. a former district of brick production left in its wake a cluster of water basins and wastelands that are today distinctive of the landscape and object of a territorial dispute among landowners. public administrations, and the local community. A project for the rehabilitation of one of those wastelands, converted into a dumpsite. has been recently developed. It considers the idea of re-organizing the circulation of waste materials and soil involved in the remediation to implement a public park. Although the project has been facing the little consideration given by local regulations to integrated design, it clearly shows the capacity of systemic design to tackle rehabilitation challenges while offering potential spaces integrated with the local ecological and slow mobility networks
A socio-natural standpoint to understand coproduction of water, energy and waste services
No full textThis introductory article of the special issue on ‘Geographies of water, energy and waste service coproduction’ explores the implications of coproducing these services in terms of both accessibility and environmental sustainability. According to a socio-natural standpoint, provision extent and resources metabolized by the services are equally regarded employing a threefold conceptual framework integrating actor/flow and area fields. A rich variety of service coproduction geographies in terms of actors involved, resources mobilized and urban spaces covered emerges. More importantly, coproduction of water, energy and waste services proves to leverage on both service accessibility and environmental sustainability of the related resources.SCOPUS: ar.jiiTSEinfo:eu-repo/semantics/publishe
Wasteland rehabilitation in rural landscape: a project in the Verona plain
No full textIn the Verona plain (North East of Italy), an area of ancient and diffuse urbanization that is today devoted to modern agriculture, a former district of brick production left a complex of water basins and wastelands of different shape and size resulted by the past intense mining activities. The post-natural ecologies that occurred in these widespread wastelands have become distinctive of the landscape, and are today object of a territorial dispute among landowners, public administrations and the local community. The paper briefly describes the legacy of mining in the rural landscape and the today difficulties behind the rehabilitation of these wastelands in the perspective of becoming a real asset for the regional ecological and slow mobility networks. Within this framework, the paper present a representative case of dump rehabilitation project that is now under discussion.info:eu-repo/semantics/publishe
- …
