Suchergebnisse

This volume sums up the results of the special research program funded by the DFG, "The Hellenistic city as life form" (2006-2012). Accounts of the projects involved in this program document the vitality of daily life in Hellenistic cities. The decline of the classical polis did not shape this time, as was long thought. On the contrary, this time was characterized by dynamic processes of transformation, clear evidence that the polis was in fact flourishing both as a political institution and as an urban organization. The development of city space and architecture, as well as in political, legal, religious, and social life demonstrates the diverse, innovative, and trendsetting Hellenist practice in politics and urban design. Cities are considered in this work along with their settlement space and the surrounding landscape in which the majority of the inhabitants of the polis lived and worked. This volume is intended to serve as the basis for further research, exploring local and regional differences in more detail

A preliminary version of this work appeared in FSTTCS 2012 under the name ''Cost-parity and Cost-Streett Games''. The research leading to these results has received funding from the European Union's Seventh Framework Programme (FP7/2007-2013) under grant agreements 259454 (GALE) and 239850 (SOSNA). ; We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical omega-regular conditions and the corresponding finitary conditions. For parity games with costs we show that the first player has positional winning strategies and that determining the winner lies in NP and coNP. For Streett games with costs we show that the first player has finite-state winning strategies and that determining the winner is EXPTIME-complete. The second player might need infinite memory in both games. Both types of games with costs can be solved by solving linearly many instances of their classical variants.

A preliminary version of this work appeared in FSTTCS 2012 under the name ''Cost-parity and Cost-Streett Games''. The research leading to these results has received funding from the European Union's Seventh Framework Programme (FP7/2007-2013) under grant agreements 259454 (GALE) and 239850 (SOSNA). ; We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical omega-regular conditions and the corresponding finitary conditions. For parity games with costs we show that the first player has positional winning strategies and that determining the winner lies in NP and coNP. For Streett games with costs we show that the first player has finite-state winning strategies and that determining the winner is EXPTIME-complete. The second player might need infinite memory in both games. Both types of games with costs can be solved by solving linearly many instances of their classical variants.

Die Digitalisierung in der Siedlungswasserwirtschaft kann dazu beitragen, die Aufgaben, die sich für Wasserversorgung und Abwasserbeseitigung aufgrund des demografischen und klimatischen Wandels ergeben, besser anzugehen. Gleichzeitig können sich durch Cyberangriffe die Risiken für einen Ausfall dieser Kritischen Infrastrukturen vergrößern. Aspekte der Cybersicherheit werden im Wassersektor jedoch noch nicht hinreichend berücksichtigt. Entsprechende Regularien und Maßnahmen zielen alleine auf die Ausfallsicherheit der Infrastrukturen ab und vernachlässigen dabei die Versorgungssicherheit der Bevölkerung. Die Aufmerksamkeit der Politik auf große Wasserunternehmen und Versorgungsgebiete ignoriert Sicherheitslücken bei kleinen und mittleren Betrieben. Kooperationen zwischen mehreren Wasserunternehmen könnten ein geeignetes Mittel sein, diesbezüglich Synergieeffekte zu erzeugen.