Opin vísindi

Browsing by Department "Department of Computer Science (RU)"

Browsing by Department "Department of Computer Science (RU)"

Sort by: Order: Results:

  • Kishore, Nishant; Mitchell, Rebecca; Lash, Timothy L.; Reed, Carrie; Danon, Leon; Sigmundsdóttir, Guðrún; Vigfusson, Ymir (Wiley, 2019-11-09)
    Background Data collected by mobile devices can augment surveillance of epidemics in real time. However, methods and evidence for the integration of these data into modern surveillance systems are sparse. We linked call detail records (CDR) with an ...
  • Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...