Pubblicazioni

Toward a multilevel representation of protein molecules. Comparative approaches to the aggregation/folding propensity problem

2016 - INFORMATION SCIENCES
Livi, Lorenzo; Giuliani, Alessandro; Rizzi, Antonello

On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo

The appraisal of buildable land for property taxation in the adopted general municipal plan

2016 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Battisti, Fabrizio; Campo, Orazio

Linear depth estimation from an uncalibrated, monocular polarisation image

2016 - Computer Vision – ECCV 2016 14th European Conference Amsterdam, The Netherlands, October 11–14, 2016 Proceedings, Part VIII
Smith, William A. P; Ramamoorthi, Ravi; Tozza, Silvia

A rank lower bound for cutting Planes Proofs of Ramsey's Theorem

2016 - ACM TRANSACTIONS ON COMPUTATION THEORY
Lauria, Massimo

Narrow proofs may be maximally long

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Atserias, Albert; Lauria, Massimo; Nordström, Jakob

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma