Landscape as mediator, landscape as commons: an introduction

Il contributo propone una trattazione dei due temi chiavi che si intersecano nel volume, andando a costituire non solo una introduzione ai saggi ivi contenuti, ma una pi\uf9 ampia trattazione delle questioni attorno a cui questi si muovono: le potenzialit\ue0 del concetto di paesaggio considerato come intermediario/mediatore e come bene comune/commons. Il volume raccoglie i migliori contributi internazionali presentati nelle sessioni sul paesaggio del congresso Eugeo 2013 (Roma) coordinate dai curatori dell'opera, e si conclude con una approfondita postfazione redatta da Kenneth R. Olwig, che ha partecipato come discussant ai lavori congressuali

A representation theorem for integral rigs and its applications to residuated lattices

We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of these. In particular, as a corollary, we obtain a representation theorem for pre-linear residuated join-semilattices in terms of totally ordered fibers. The restriction of this result to the level of MV-algebras coincides with the Dubuc-Poveda representation theorem.Comment: Manuscript submitted for publicatio

Peiffer elements in simplicial groups and algebras

The main objective of this paper is to prove in full generality the following two facts: A. For an operad O in Ab, let A be a simplicial O-algebra such that Am is generated as an O-ideal by (∑i = 0m-1 si (Am-1)), for m > 1, and let NA be the Moore complex of A. Then d(NmA) = ∑Iγ (Op⊗ ∩ i∈I1 ker di ⊗ ⋯ ⊗ ∩ i∈Ip ker di) where the sum runs over those partitions of [m - 1], I = (I1, ..., Ip), p ≥ 1, and γ is the action of O on A. B. Let G be a simplicial group with Moore complex NG in which Gn is generated as a normal subgroup by the degenerate elements in dimensionn > 1, then d (NnG) = ∏I, J [∩i∈I ker di, ∩i∈J ker dj], for I, J ⊆ [n - 1] with I ∪ J = [n - 1]. In both cases, di is the i-th face of the corresponding simplicial object. The former result completes and generalizes results from Akça and Arvasi [I. Akça, Z. Arvasi, Simplicial and crossed Lie algebras, Homology Homotopy Appl. 4 (1) (2002) 43-57], and Arvasi and Porter [Z. Arvasi, T. Porter, Higher dimensional Peiffer elements in simplicial commutative algebras, Theory Appl. Categ. 3 (1) (1997) 1-23]; the latter completes a result from Mutlu and Porter [A. Mutlu, T. Porter, Applications of Peiffer pairings in the Moore complex of a simplicial group, Theory Appl. Categ. 4 (7) (1998) 148-173]. Our approach to the problem is different from that of the cited works. We have first succeeded with a proof for the case of algebras over an operad by introducing a different description of the inverse of the normalization functor N:AbΔop → Ch≥ 0. For the case of simplicial groups, we have then adapted the construction for the inverse equivalence used for algebras to get a simplicial group NG ⊠ Λ from the Moore complex N G of a simplicial group G. This construction could be of interest in itself.Facultad de Ciencias Exacta

Peiffer elements in simplicial groups and algebras

The main objective of this paper is to prove in full generality the following two facts: A. For an operad O in Ab, let A be a simplicial O-algebra such that Am is generated as an O-ideal by (∑i = 0m-1 si (Am-1)), for m > 1, and let NA be the Moore complex of A. Then d(NmA) = ∑Iγ (Op⊗ ∩ i∈I1 ker di ⊗ ⋯ ⊗ ∩ i∈Ip ker di) where the sum runs over those partitions of [m - 1], I = (I1, ..., Ip), p ≥ 1, and γ is the action of O on A. B. Let G be a simplicial group with Moore complex NG in which Gn is generated as a normal subgroup by the degenerate elements in dimensionn > 1, then d (NnG) = ∏I, J [∩i∈I ker di, ∩i∈J ker dj], for I, J ⊆ [n - 1] with I ∪ J = [n - 1]. In both cases, di is the i-th face of the corresponding simplicial object. The former result completes and generalizes results from Akça and Arvasi [I. Akça, Z. Arvasi, Simplicial and crossed Lie algebras, Homology Homotopy Appl. 4 (1) (2002) 43-57], and Arvasi and Porter [Z. Arvasi, T. Porter, Higher dimensional Peiffer elements in simplicial commutative algebras, Theory Appl. Categ. 3 (1) (1997) 1-23]; the latter completes a result from Mutlu and Porter [A. Mutlu, T. Porter, Applications of Peiffer pairings in the Moore complex of a simplicial group, Theory Appl. Categ. 4 (7) (1998) 148-173]. Our approach to the problem is different from that of the cited works. We have first succeeded with a proof for the case of algebras over an operad by introducing a different description of the inverse of the normalization functor N:AbΔop → Ch≥ 0. For the case of simplicial groups, we have then adapted the construction for the inverse equivalence used for algebras to get a simplicial group NG ⊠ Λ from the Moore complex N G of a simplicial group G. This construction could be of interest in itself.Facultad de Ciencias Exacta

A Framework To Measure The Robustness Of Programs In The Unpredictable Environment

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus crucial to guarantee their “correct” behavior in order to avoid unexpected and possibly dangerous situations. In this paper we will present a framework that allows us to measure the robustness of systems. This is the ability of a program to tolerate changes in the environmental conditions and preserving the original behaviour. In the proposed framework, the interaction of a program with its environment is represented as a sequence of random variables describing how both evolve in time. For this reason, the considered measures will be defined among probability distributions of observed data. The proposed framework will be then used to define the notions of adaptability and reliability. The former indicates the ability of a program to absorb perturbation on environmental conditions after a given amount of time. The latter expresses the ability of a program to maintain its intended behaviour (up-to some reasonable tolerance) despite the presence of perturbations in the environment. Moreover, an algorithm, based on statistical inference, is proposed to evaluate the proposed metric and the aforementioned properties. We use two case studies to the describe and evaluate the proposed approach

Femtosecond manipulation of spins, charges, and ions in nanostructures, thin films, and surfaces

Modern ultrafast techniques provide new insights into the dynamics of ions, charges, and spins in photoexcited nanostructures. In this review, we describe the use of time-resolved electron-based methods to address specific questions such as the ordering properties of self-assembled nanoparticles supracrystals, the interplay between electronic and structural dynamics in surfaces and adsorbate layers, the light-induced control of collective electronic modes in nanowires and thin films, and the real-space/real-time evolution of the skyrmion lattice in topological magnets