Smart Digital Industry - Publications
- Bonanomi, Cristian; Balletti, Simone; Lecca, Michela; Anisetti, Marco; Rizzi, Alessandro; Damiani, Ernesto; I3D: a new dataset for testing denoising and demosaicing algorithms; in «MULTIMEDIA TOOLS AND APPLICATIONS»; Being printed; pp.
- Bozzano, M.; Cimatti, A.; Mattarei, C.; Formal reliability analysis of redundant architectures; in «FORMAL ASPECTS OF COMPUTING»; 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.
- Mancini, Massimiliano; Ricci, Elisa; Caputo, Barbara; Rota Bulò, Samuel; Transferring and Adapting Source Knowledge in Computer Vision and VisDA Challenge; Adding New Tasks to a Single Network with Weight Transformations using Binary Masks; in «Proceedings of the European Conference on Computer Vision Workshops»; Being printed; pp.
- Michela, Lecca; Carla Maria Modena, ; Alessandro, Rizzi; Using pixel intensity as a self-regulating threshold for deterministic image sampling in Milano Retinex: the T-Rex algorithm; in «JOURNAL OF ELECTRONIC IMAGING»; Vol. 27>; 2018; pp. 1-12
- 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
- Ceccato, Mariano; Tonella, Paolo; Basile, Cataldo; Falcarin, Paolo; Torchiano, Marco; Coppens, Bart; De Sutter, Bjorn; Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge; in «EMPIRICAL SOFTWARE ENGINEERING»; 2018; pp. 46
- Sudhakaran, Swathikiran; Lanz, Oswald; 17th International Conference of the Italian Association for Artificial Intelligence; Top-down Attention Recurrent VLAD Encoding for Action Recognition in Videos; in «Springer LNAI Proceedings of AI*IA 2018»; 2018; pp. 12
- 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