Francesca Caparrini

  • Citations Per Year
Learn More
The estimation of the soil moisture state is fundamental in water resources management, agricultural application and prediction of drought and flood events. The evaluation of such variable at watershed scale can be achieved by mean of remote sensing techniques. In this work maps of Land Surface Temperature retrieved by satellite imagery were used in a(More)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this model, an implementation of Lipton’s experiment solving SAT [7] is described, based on the formalization given in [6]. We use ACL2 to make a(More)
  • 1