Search Results - "Stefansen, Christian"

Advances in nowcasting influenza-like illness rates using search query logs by Lampos, Vasileios, Miller, Andrew C., Crossan, Steve, Stefansen, Christian

“…User-generated content can assist epidemiological surveillance in the early detection and prevalence estimation of infectious diseases, such as influenza…”
Get full text

Enhancing disease surveillance with novel data streams: challenges and opportunities by Althouse, Benjamin M, Scarpino, Samuel V, Meyers, Lauren Ancel, Ayers, John W, Bargsten, Marisa, Baumbach, Joan, Brownstein, John S, Castro, Lauren, Clapham, Hannah, Cummings, Derek AT, Del Valle, Sara, Eubank, Stephen, Fairchild, Geoffrey, Finelli, Lyn, Generous, Nicholas, George, Dylan, Harper, David R, Hébert-Dufresne, Laurent, Johansson, Michael A, Konty, Kevin, Lipsitch, Marc, Milinovich, Gabriel, Miller, Joseph D, Nsoesie, Elaine O, Olson, Donald R, Paul, Michael, Polgreen, Philip M, Priedhorsky, Reid, Read, Jonathan M, Rodríguez-Barraquer, Isabel, Smith, Derek J, Stefansen, Christian, Swerdlow, David L, Thompson, Deborah, Vespignani, Alessandro, Wesolowski, Amy

“…Novel data streams (NDS), such as web search data or social media updates, hold promise for enhancing the capabilities of public health surveillance. In this…”
Get full text

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications by Field, John, Marinescu, Maria-Cristina, Stefansen, Christian

“…Our aim is to define the kernel of a simple and uniform programming model–the reactor model–which can serve as a foundation for building and evolving…”
Get full text

Reactors : A data-oriented synchronous/asynchronous programming model for distributed applications: Distributed Computing Techniques by FIELD, John, MARINESCU, Maria-Cristina, STEFANSEN, Christian

Get full text

Compositional specification of commercial contracts by Andersen, Jesper, Elsborg, Ebbe, Henglein, Fritz, Simonsen, Jakob Grue, Stefansen, Christian

“…We present a declarative language for compositional specification of contracts governing the exchange of resources. It extends Eber and Peyton Jones's…”
Get full text

Compositional specification of commercial contracts : Leveraging formal methods by ANDERSEN, Jesper, ELSBORG, Ebbe, HENGLEIN, Fritz, GRUE SIMONSEN, Jakob, STEFANSEN, Christian

Get full text

POETS: Process-oriented event-driven transaction systems by Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue, Stefansen, Christian

“…We present a high-level enterprise system architecture that closely models the domain ontology of resource and information flows in enterprises. It is: formal,…”
Get full text