The interest of German building masters towards hydraulic binders grows at the third decade of the 19th century. This acute interest is stimulated by the import of «Roman Cement» from England and by the acquisition of the knowledge related to it. The disse ...
As the field of bioimage informatics matures, the issue of the validation of image reconstruction algorithms and the definition of proper performance criteria becomes more pressing. In this work, we discuss benchmarking aspects of fluorescence microscopy q ...
This paper marks a milestone in a six year research cycle on weak signal analysis and early detection issues in futures studies. While providing a broad view and discussing a variety of contributions on this topic, the aim of this article is to offer a mor ...
The purpose of the thesis is to fill a gap in the publications about Viollet-le-Duc, outlining his profile as an architect through a chronological study of his projects, whether built or not, of his theoretic writings and, when useful, of his restoration w ...
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
