Search
Results
-
Dataset: Quantifying the soil erosion legacy of the Soviet Union (Wuepper, Borrelli, Mueller Finger 2020, Agricultural Systems)
(2021)We examine the historical legacy of the Soviet Union on the current rate of human-induced soil erosion in its successor countries. We use a spatial regression discontinuity design and high-resolution soil erosion data. Our results suggest strong discontinuities in current soil erosion rates along the former border of the Soviet Union. We find that soil erosion in countries that were part of the former Soviet Union is 26% lower than in ...Dataset -
Infrastructure for generating Tamarin files for modeling dataplane protocols
(2021)This archive contains infrastructure for generating Tamarin theory files modeling various dataplane protocols. It was created for the master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin" by Zuzana Frankovska.Dataset -
Tamarin files for master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin"
(2021)This archive contains Tamarin theory files and their proofs for the master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin" by Zuzana Frankovska. The files are referred to in chapters 6 and 9.Dataset -
-
-
Spatio-temporal data on territories of the Holy Roman Empire
(2021)This data set captures dynamic spatial and non-spatial aspects of territories of the Holy Roman Empire (HRE) in 16th century Europe. Each line in the data files corresponds to a territory and each column to an attribute. Spatial attributes are the geo-coordinates of the perimeter of the territories which allow us to map the territories on a map, compute neighbourhood relations and surface areas. Non-spatial attributes include the foundation ...Dataset -
Static spatial data on territories of the Holy Roman Empire
(2021)This data set captures static spatial and non-spatial aspects of territories of the Holy Roman Empire (HRE) in 16th century Europe. Each line in the data files corresponds to a territory and each column to an attribute. Spatial attributes are the geo-coordinates of the perimeter of the territories. This allows us to map territories on a map, compute neighbourhood relations and surface areas. Non-spatial attributes include the foundation ...Dataset