117,605 research outputs found
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
La città continua del Veneto centrale
No full textAll'interno del volume dedicato ai processi di dispersione in Italia il capitolo affronta il caso studio del Veneto centrale, restituendo un quadro del sistema territoriale descritto nella sua evoluzione fisica e morfologica (anche attraverso alcune elaborazioni e quantificazioni condotte) e nell'evoluzione degli strumenti legislativi e di pianificazione. La seconda parte del capito propone un'analisi più approfondita su uno specifico ambito territoriale quale il Camposampierese
Generalized strong preservation by abstract interpretation.
No full textStandard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space. Strong preservation for a specification language L amounts to the equivalence of concrete and abstract model checking of formulas in L. We show how abstract interpretation can be used to design generic abstract models that allow to view standard abstract Kripke structures as particular instances. Accordingly, strong preservation is generalized to abstract interpretation-based models and precisely related to the concept of completeness in abstract interpretation. The problem of minimally refining an abstract model in order to make it strongly preserving for some language L can be formulated as a minimal domain refinement in abstract interpretation in order to get completeness w.r.t. the logical/temporal operators of L. It turns out that this refined strongly preserving abstract model always exists and can be characterized as a greatest fixed point. As a consequence, some well-known behavioural equivalences, like bisimulation, simulation and stuttering, and their corresponding partition refinement algorithms can be elegantly characterized in abstract interpretation as completeness properties and refinements
An abstract interpretation perspective on linear vs. branching time
No full textIt is known that the branching time language ACTL and the linear time language for all LTL of universally quantified formulae of LTL have incomparable expressive powers, i.e., Sem(ACTL) and Sem(for all LTL) are incomparable sets. Within a standard abstract interpretation framework, ACTL can be viewed as an abstract interpretation LTLfor all of LTL where the universal path quantifier V abstracts each linear temporal operator of LTL to a corresponding branching state temporal operator of ACTL. In abstract interpretation terms, it turns out that the universal path quantifier abstraction of LTL is incomplete. In this paper we reason on a generic abstraction a over a domain A of a generic linear time language L. This approach induces both a language alpha L of a-abstracted formulae of L and an abstract language L-alpha whose operators are the best correct abstractions in A of the linear operators of L. When the abstraction a is complete for the operators in L it turns out that alpha L and L alpha have the same expressive power, so that trace-based model checking of aL can be reduced with no lack of precision to Abased model checking of L alpha. This abstract interpretation-based approach allows to compare temporal languages at different levels of abstraction and to view the standard linear vs. branching time comparison as a particular instance
Weak relative pseudo-complements of closure operators
No full textWe define the notion of weak relative pseudo-complement on meet semi-lattices, and we show that it is strictly weaker than relative pseudo-complementation, but stronger than pseudo-complementation. Our main result is that if a complete lattice L is meet-continuous, then every closure operator on L admits weak relative pseudo-complements with respect to continuous closure operators on L.
The Subgraph Similarity Problem
No full textSimilarity is a well known weakening of bisimilarity where one system is required to simulate the other and vice versa. It has been shown that the subgraph bisimilarity problem, a variation of the subgraph isomorphism problem where isomorphism is weakened to bisimilarity, is NP-complete. We show that the subgraph similarity problem and some related variations thereof still remain NP-complete
CAN in kilos - CAN Literature's "weight" in the major data-banks
No full textAim: This work aims at determining how widespread and heavy is the body of child abuse literature in the major available data-bases.
Materials and methods: 19 data-bases were selected. For each of them, information was collected on inventory of articles and books contained, number of articles and books obtained utilizing as filter the phrase “child abuse”, publication years’ interval, number of CAN articles per year. For every article selected information was collected on title, author/s, source and language, in a dedicated data-base (marking every reference per Db of origin in order to verify all the articles contained by more than a data-base). A descriptive analysis was carried out.
Results and Conclusion: In the inventory’s amount of 53271581 items stored (articles, books and reports on every issue) from 1872 to 2004, about 1‰ contains EXACTLY the phrase “child abuse”. 5605 are all the items published before 1984, while 33 in 2004. In the 20 years period 1984-2003 43341 were the items found. The most “fruitful” year is 2001: 7% of the entire period 1984-2003. Since 1993 the articles published were always more than 2000. Among all data-bases, the overlapping area (same article) is represented nearly by a 20%. CAN issue can be found in data banks of 4 macro-areas, that were subdivided into: medical area (i.e. Medline), psychological area (i.e. PsycINFO), educational area (i.e. Eric) and other (i.e. Econlit). Through this analysis, several increases were registered in different periods of time. The greatest general increase is findable between 1992 and 2000, with a subsequent mild decrease. 96% of the literature is written in English, and 2% in French. CAN is showed to be studied in different, and somehow unexpectable, cultural environments (Geobase for instance, dealing with earth sciences) and usually non comprised in the Scientific Societies dedicated to ill-treatment. The interest noticed in the different cultural settings is unbalanced and shows peaks and dips.
It seems fundamental to better connect all the different cultural sensibilities and create a more organic and coherent system in order to obtain more efficacious changes in social attitude towards children
Citizen involvement in co-producing decentralised stormwater systems in Brussels
No full textiiTSEinfo:eu-repo/semantics/nonPublishe
Keratinocyte wound healing activity of galactoglycerolipids from the fern Ophioglossum vulgatum L.
No full textThe genus Ophioglossum consists of ferns with different therapeutic properties, including vulnerary virtues. The species Ophioglossum vulgatum L. is traditionally used on wounds and burns as an ointment, suggesting the occurrence of lipophilic compounds with tissue repair properties. We isolated and characterized a galactosyldiacylglycerol mixture (1), composed mainly of 1,2-di-O-linolenoyl-3-O-β-D-galactopyranosyl-glycerol, from the frond dichloromethane extract. The wound healing properties of 1 were assessed in vitro on keratinocytes. Scratch wound assays showed increased wound closure rates in keratinocyte monolayers exposed to subtoxic doses, previously determined in cytotoxicity assays. The strongest effect, obtained at a dose of 5 μg/mL, approached that of a platelet lysate used in clinical settings. The use of inhibitors of the main cellular pathways involved in wound repair, revealed important roles for intracellular calcium and the ERK1/2 MAP kinase. Conversely, a PCR array of genes involved in wound healing showed an almost total absence of gene modulation. Taken together, the data suggest that 1 acts through a Ca2+-dependent, nongenomic mechanism involving the activation of ERK1/2 MAP kinase. Hence, 1 is a main candidate to explain the wound healing virtues of O. vulgatum ointment, and is proposed as a possible new drug in tissue repair and regenerative medicine
- …
