Learn More
We consider the problem of updating arbitrary routes in a software-defined network in a (transiently) loop-free manner. We are interested in fast network updates, i.e., in schedules which minimize the number of interactions (i.e., rounds) between the controller and the network nodes. We first prove that this problem is difficult in general: The problem of(More)
The transformation of wild animals into domestic ones available for human nutrition was a key prerequisite for modern human societies. However, no other domestic species has had such a substantial impact on the warfare, transportation, and communication capabilities of human societies as the horse. Here, we show that the analysis of ancient DNA targeting(More)
Networks are critical for the security of many computer systems. However, their complex and asynchronous nature often renders it difficult to formally reason about network behavior. Accordingly, it is challenging to provide correctness guarantees, especially during network updates. This paper studies how to update networks while maintaining a most basic(More)
Domestic horses represent a genetic paradox: although they have the greatest number of maternal lineages (mtDNA) of all domestic species, their paternal lineages are extremely homogeneous on the Y-chromosome. In order to address their huge mtDNA variation and the origin and history of maternal lineages in domestic horses, we analyzed 1961 partial d-loop(More)
The two species of Atlantic sea sturgeon on either shore of the North Atlantic, Acipenser sturio in Europe and A. oxyrinchus in North America, probably diverged with the closure of the Tethys Sea and the onset of the North Atlantic Gyre 15-20 million years ago, and contact between them was then presumably precluded by geographic distance. Here we present(More)
Przewalski's horses (PHs, Equus ferus ssp. przewalskii) were discovered in the Asian steppes in the 1870s and represent the last remaining true wild horses. PHs became extinct in the wild in the 1960s but survived in captivity, thanks to major conservation efforts. The current population is still endangered, with just 2,109 individuals, one-quarter of which(More)
BACKGROUND A Baltic population of Atlantic sturgeon was founded approximately 1,200 years ago by migrants from North America, but after centuries of persistence, the population was extirpated in the 1960s, mainly as a result of over-harvest and habitat alterations. As there are four genetically distinct groups of Atlantic sturgeon inhabiting North American(More)
—The virtualization trend in today's Internet decou-ples services from the constraints of the underlying physical infrastructure. This decoupling has the potential to facilitate more flexible and efficient resource allocations: the service can be realized at any place in the substrate network which fulfills the service specification requirements. This paper(More)
Computer networks have become a critical infrastructure. Especially in shared environments such as datacenters it is important that a correct, consistent and secure network operation is guaranteed at any time, even during routing policy updates. In particular, at no point in time should it be possible for packets to bypass security critical waypoints~(such(More)