Data Science - Publications
- Dong, Xiaowen; Jahani, Eaman; Morales, Alfredo J.; Bozkaya, Burcin; Lepri, Bruno; Pentland, Alex; Purchase patterns, socioeconomic status, and political inclination; in «THE WORLD BANK ECONOMIC REVIEW»; Being printed; pp.
- Cataldo, Ilaria; Azhari, Atiqah; Lepri, Bruno; Esposito, Gianluca; Oxytocin receptors (OXTR) and early parental care: An interaction that modulates psychiatric disorders; in «RESEARCH IN DEVELOPMENTAL DISABILITIES»; Being printed; pp.
- Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Sharmin, Nusrat; Olivetti, Emanuele; Avesani, Paolo; White Matter Tract Segmentation as Multiple Linear Assignment Problems; in «FRONTIERS IN NEUROSCIENCE»; Vol. 11>; 2018; pp. 1-20
- Ferretti, Michele; Barlacchi, Gianni; Lucchini, Lorenzo; Pappalardo, Luca; Lepri, Bruno; Weak nodes detection in urban transport systems: Planning for resilience in Singapore; in «2018 IEEE International Conference on Data Science and Advanced Analytics»; 2018; pp.
- Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
- Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
- Giordan, D.; Hayakawa, H.; Nex, F.; Remondino, F.; Tarolli, P.; The use of remotely piloted aircraft systems (RPASs) for natural hazards monitoring and management; in «NATURAL HAZARDS AND EARTH SYSTEM SCIENCES»; Vol. 18>; 2018; pp. 1079-1096
- Viboud, Cécile; Sun, Kaiyuan; Gaffey, Robert; Ajelli, Marco; Fumanelli, Laura; Merler, Stefano; Zhang, Qian; Chowell, Gerardo; Simonsen, Lone; Vespignani, Alessandro; The RAPIDD ebola forecasting challenge: Synthesis and lessons learnt; in «EPIDEMICS»; Vol. 22>; 2018; pp. 13-21
- Ajelli, Marco; Zhang, Qian; Sun, Kaiyuan; Merler, Stefano; Fumanelli, Laura; Chowell, Gerardo; Simonsen, Lone; Viboud, Cecile; Vespignani, Alessandro; The RAPIDD Ebola forecasting challenge: Model description and synthetic data generation; in «EPIDEMICS»; Vol. 22>; 2018; pp. 3-12