777 research outputs found
Date Fruit Production and Consumption: A Perspective on Global Trends and Drivers from a Multidimensional Footprint Assessment
Date production and consumption is mostly diffused in Middle East and Northern African countries. Date production is linked to the land and water footprint in countries where agricultural land and freshwater are scarce. We estimate the global land, green water, blue water, and water scarcity footprint at the country scale from a production perspective. We show that production trends are increasingly driven by foreign demand. By tracking the international trade dynamics of dates, we map the shift of environmental footprint from the producing to the consuming countries. We find that dates production and consumption are not yet decoupled from the associated environmental burden. Global dates consumption accounted for 1.4 million hectares of agricultural land, 5.8 Gm(3) of green water, 7.5 Gm(3) of blue water, and the related impact on water scarcity reached 358 Gm(3) world equivalent in 2019. The primacy of the economic driver is revealed, indicating that in the case of dates, the environmental sustainability aspects are currently overlooked for the sake of the economic benefit. The time-series analysis provides informative results to support policymakers in the design of mitigation strategies that can help the achievement of the SDGs
Data augmentation using background replacement for automated sorting of littered waste
The introduction of sophisticated waste treatment plants is making the process of trash sorting and recycling more and more effective and eco-friendly. Studies on Automated Waste Sorting (AWS) are greatly contributing to making the whole recycling process more efficient. However, a relevant issue, which remains unsolved, is how to deal with the large amount of waste that is littered in the environment instead of being collected properly. In this paper, we introduce BackRep: a method for building waste recognizers that can be used for identifying and sorting littered waste directly where it is found. BackRep consists of a data-augmentation procedure, which expands existing datasets by cropping solid waste in images taken on a uniform (white) background and superimposing it on more realistic backgrounds. For our purpose, realistic backgrounds are those representing places where solid waste is usually littered. To experiment with our data-augmentation procedure, we produced a new dataset in realistic settings. We observed that waste recognizers trained on augmented data actually outperform those trained on existing datasets. Hence, our data-augmentation procedure seems a viable approach to support the development of waste recognizers for urban and wild environments
Looking at Socially Integrative Cities through the Educating City: The Example of Educational Museums in Europe and China
This contribution aims to show how the idea of an educating city can help to find effective ways of social integration capable of promoting the well-being of individuals and the community. In this direction, the concept of an educating city is adopted as a key to re-read the concept of a socially integrative city through an eminently educational perspective. The education channel, rethought through multiple learning initiatives capable of following alternative paths to those of school and university experiences (formal education), allows enhancing the human potential and wealth of knowledge and skills of the city, making all citizens protagonists and participants. In addressing this issue, a specific case study will be analyzed: educational museums. The aim is to show how the museum, as a non-formal education space and an expression of collective identity, can play an important role in connoting a city as an educating city. Specifically, both the European and Chinese realities will be examined to offer one of the possible insights into how the city is a reality in progress to be explored, which can grow and improve together with its citizens if you work in the direction of community education (Dewey) by rediscovering a place that, like museums, can contribute to enrich the social capital of a community.
ULTERIORI INFORMAZIONI: lo scrivente, F. d'Aniello, è autore del paragrafo Introduction: the Educating City: pp. 175-177
A tool for declarative Trace Alignment via automated planning
We present a tool, called TraceAligner, for solving Trace Alignment by first compiling into Planning and then solving it with any available cost-optimal planner. TraceAligner can produce different variants of the output Planning instance, each offering different degrees of readability and solution efficiency. The Planning instance is expressed in PDDL, the Planning Domain Definition Language. The tool can be easily extended and coupled with any planner taking PDDL as input language. A thorough experimental analysis has shown that the approach dramatically outperforms existing ad-hoc tools, thus making TraceAligner the best-performing tool for Trace Alignment with declarative specifications
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
We address the problem of model checking first-order dynamic systems where new objects can be injected in the active domain during execution. Notable examples are systems induced by a first-order action theory expressed, e.g., in the situation calculus. Recent results show that, under state-boundedness, such systems, in spite of having a first-order representation of the state, admit decidable model checking for full first-order mu-calculus. However, interestingly, model checking remains undecidable in the case of first-order LTL (LTL-FO). In this paper, we show that in LTL-FOp, the fragment of LTL-FO where quantification ranges only over objects that persist along traces, model checking state-bounded systems becomes decidable over infinite and finite traces. We then employ this result to show how to handle monitoring of LTL-FOp properties against a trace stemming from an unknown state-bounded dynamic system, simultaneously considering the finite trace up to the current point, and all its possibly infinite future continuations
Mimicking Behaviors in Separated Domains
Devising a strategy to make a system mimic behaviors from another system is a problem that naturally arises in many areas of Computer Science. In this work, we interpret this problem in the context of intelligent agents, from the perspective of LTLf , a formalism commonly used in AI for expressing finite-trace properties. Our model consists of two separated dynamic domains, DA and DB , and an LTLf specification that formalizes the notion of mimicking by mapping properties on behaviors (traces) of DA into properties on behaviors of DB . The goal is to synthesize a strategy that step-by-step maps every behavior of DA into a behavior of DB so that the specification is met. We consider several forms of mapping specifications, ranging from simple ones to full LTLf , and for each, we study synthesis algorithms and computational properties
Perceptions and attitudes toward blue energy and technologies in the Mediterranean area: ASKYOURCITIZENSONBE
An energy transition is needed in order to meet the European pledge of reaching climate neutrality by 2050. This transition cannot ignore the renewable resources available from 70% of the Earth (namely, the oceans and seas). This concept is fundamental for the planet, especially for the Mediterranean area. Marine renewable energies are still under-deployed in the Mediterranean area for many reasons, including legislative constraints, lower energy availability, and technological readiness. An appropriate participatory process including all actors (e.g., policymakers, firms, citizens, and researchers) is necessary for a correct path toward decarbonization. The BLUE DEAL project was conceived and implemented by 12 Mediterranean partners to tackle these issues and set the route for blue energy deployment in the Mediterranean area. Activities already conducted include a survey to probe the perceptions and attitudes of citizens toward blue energy. The survey targeted about 3,000 persons in 12 Mediterranean sites with the aim of bringing citizens into the discussion on future technologies. The results showed that although blue energy is still relatively unknown to the general public (only 42% of respondents were aware of these technologies), there was a general willingness (70%) to host one or more such installations in their areas. Here, we describe our survey method and some empirical results with suggestions for replicability and recommendations on how to use it for policymaking purposes
LCA based circularity indices of systems at different scales: a holistic approach
Many are the definitions of Circular Economy as well as the policies and strategies for its implementation. However, gaps still exist in quantifying the effects of circularity. The existing approaches are usually sector- or product-specific, limited to microscale systems, and/or fail to simultaneously assess the environmental impacts of the studied system. This paper introduces a generally applicable method in which a set of LCA-based indices of circularity are able to detect the effects of circularity/symbiosis strategies on the environmental performance of meso- and macro-systems. These indices quantify the overall system's circularity level by comparing the impacts of a system in which the components interact with each other (with a certain level of circularity) with an equivalent linear system (where no circularity takes place). The method works both on existing and projected systems, being able to track the effects of future circularity policies. This method obviates the limitations and the gaps mentioned above: it applies to meso- and macro-systems, it is not bound to a specific sector, it allows to capture the environmental impacts, and it is sensitive to the temporal dimension. This approach provides a tool to inform managers and policymakers for planning circularity actions and monitor their effectiveness while also capturing the temporal dimension
Blue toe syndrome: A challenging diagnosis
\u201cBlue toe syndrome\u201d (BTS) refers to the acute onset of purple painful digits in the absence of evident trauma, cold-associated injury or disorders that induce generalized cyanosis. The term was used for the first time in 1976 by Komody, who underlined the vascular etiology of the disease and its possible diagnostic confirmation through angiography.[1,2] Indeed, BTS may occur from end-arterial occlusion, impaired venous outflow, and/or abnormal blood circulation. Peripheral microembolism with distal arterial occlusion is one of the most frequent underlying mechanisms of the disease and consists of disrupted material from ulcerated atheromatous plaques (atheromatous or cholesterol crystal emboli). The case described by us assumes significance because of an atypical clinical presentation of a peripheral embolism from an abdominal aortic aneurysm, hence necessitating a high index of suspicion to achieve the correct diagnosis.
- …