Showing 1–2 of 2 results for author: Spies, K
-
The reachability of contagion in temporal contact networks: how disease latency can exploit the rhythm of human behavior
Authors:
Ewan Colman,
Kristen Spies,
Shweta Bansal
Abstract:
The symptoms of many infectious diseases influence their host to withdraw from social activity limiting their own potential to spread. Successful transmission therefore requires the onset of infectiousness to coincide with a time when its host is socially active. Since social activity and infectiousness are both temporal phenomena, we hypothesize that diseases are most pervasive when these two pro…
▽ More
The symptoms of many infectious diseases influence their host to withdraw from social activity limiting their own potential to spread. Successful transmission therefore requires the onset of infectiousness to coincide with a time when its host is socially active. Since social activity and infectiousness are both temporal phenomena, we hypothesize that diseases are most pervasive when these two processes are synchronized. We consider disease dynamics that incorporate a behavioral response that effectively shortens the infectious period of the disease. We apply this model to data collected from face-to-face social interactions and look specifically at how the duration of the latent period effects the reachability of the disease. We then simulate the spread of the model disease on the network to test the robustness of our results. Diseases with latent periods that synchronize with the temporal social behavior of people, i.e. latent periods of 24 hours or 7 days, correspond to peaks in the number of individuals who are potentially at risk of becoming infected. The effect of this synchronization is present for a range of disease models with realistic parameters. The relationship between the latent period of an infectious disease and its pervasiveness is non-linear and depends strongly on the social context in which the disease is spreading.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
Software and System Modeling Based on a Unified Formal Semantics
Authors:
Manfred Broy,
Franz Huber,
Barbara Paech,
Bernhard Rumpe,
Katharina Spies
Abstract:
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focuse…
▽ More
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
