Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the software engineering challenges in applying reactive synthesis to robotics, beyond the synthesis algori...

A growing world population together with a decrease in water resources have resulted in a deficit in water sources for agriculture. Nations with limited water resources are already using recycled treated water as a vital water source for irrigation. In 2019, treated was...

Abstract Surface reflectance data acquired in red and near-infrared spectra by remote sensing sensors are traditionally applied to construct various vegetation indices (VIs), which are related to vegetation biophysical parameters. Most VIs use pre-defined weights (usual...

One-third of all Neotropical forests are secondary forests that regrow naturally after agricultural use through secondary succession. We need to understand better how and why succession varies across environmental gradients and broad geographic scales. Here, we analyze ...

Radon gas was previously presented to be a good tool as a proxy for pre-seismic precursory before earthquakes, especially when the detector is deployed a few meters underground in regions of high seismic activity. In this paper, we present a fiber optic-based detector t...

Abstract An attempt to implement new charcoal-production technology in Palestinian villages in the West Bank, Jenin area, is examined in this research. The ‘retort’ system avoided air pollution associated with traditional kilns by recycling flue gases. The attempt was m...

We synthesized 20 years of research to explain the interrelated processes that determine soil and plant responses to biochar. The properties of biochar and its effects within agricultural ecosystems largely depend on feedstock and pyrolysis conditions. We describe three...

Abstract District heating (DH) systems can improve energy efficiency, reduce greenhouse gas (GHG) emissions, and be a cost‐effective residential space heating alternative over conventional decentralized heating. This study uses radiative forcing (RF), a time‐sensitive l...