Distributed proofs are mechanisms that enable the nodes of a network to collectively and efficiently check the correctness of Boolean predicates on the structure of the network (e.g., having a specific diameter), or on ...

Given its potentialities and characteristics, energy generation, food production, and water availability have a strong interdependency and correlation. Water is needed to produce energy and food, while energy is required ...

In this paper we obtain tight bounds on the space-complexity of computing the ergodic measure of a low-dimensional discrete-time dynamical system affected by Gaussian noise. If the scale of the noise is epsilon, and the ...

Understanding how biodiversity responds to intensifying agriculture is critical to mitigating the trade-offs between them. These trade-offs are particularly strong in tropical and subtropical deforestation frontiers, yet ...