Versi di Cesare Boccella.

Mode of access: Internet.

Notizia biografica sul cardinale Stefano Borgia di Velletri.

The author's name is taken from the dedication.

Giorgio Vasari : discorso letto da Cesare Guasti, all'Imperiale e reale accademia fiorentina di belle arti il dì 16 settembre 1855 nella solenne distribuzione de'premi.

Mode of access: Internet.

I cesari in metallo grande : da Giulio Cesare sino a L. Elio, raccolti nel Farnese Museo ... ; tomo sesto /

Mode of access: Internet.

Die condottieri.

Added t.p.: Die renaissance.

I Cesari in argento : Da Giulio Cesare sino a Trajano : Raccolti nel Farnese Museo, E pubblicati colle loro congrue Interpretazioni : tomo secondo /

Mode of access: Internet.

Dei delitti e delle pene del marchese Cesare Beccaria : con apologia della giurisprudenza romana ... /

Mode of access: Internet.

Rime di Cesare Caporali Perugino diligentemente cor.,

"Catalogo delle edizioni delle Rime": p. xl-xliv.

Ueber die politischen Programmschriften des Giuseppe Mazzini, Vincenzo Gioberti, Cesare Balbo und Massimo D'Azeglio : Beitrage zur Vorgeschichte der Bildung des neuen italienischen Konigreiches.

Thesis (doctoral)--Universitat Bern.

Chronicles of the house of Borgia,

"The Borgia as men of letters": p. 373-[375]

El proceso de la elaboración de los códices "Borgia" y "Vaticano B" basado en su estudio codicológico

El objetivo de este artículo es presentar las observaciones realizadas durante la consulta de los originales de los códices Borgia (Borg. Mess. 1) y Vaticano B (Vat. Lat. 3773) en la Biblioteca Apostólica Vaticana en 2014. Este estudio codicológico, aunque a la fuerza parcial, dado que fue realizado solamente por medio de una observación directa, revela nuevos datos acerca de la elaboración de los manuscritos prehispánicos, tanto en la preparación de la piel como soporte como en los procedimientos aplicados a la hora de trazar las imágenes y corregir las equivocaciones.

Residencias vinculadas al olivar: estudio comparativo entre la casa-palacio del Marqués de Viana en Garcíez (España) y la villa-palacio Mazza en Roccelletta di Borgia (Italia)

Con esta comunicación se pretende establecer las relaciones que, dentro del patrimonio agroindustrial, existen entre los espacios de producción y los lugares de residencia tomando como casos de estudio la casa-palacio del Marqués de Viana en Garcíez muy próximo a las Ciudades Patrimonio de la Humanidad de Úbeda y Baeza, que atesora una de las pocas almazaras del sistema tradicional de rulos del s.XX y la villa-palacio Mazza en Roccelleta di Borgia hoy, el Parque Arqueológico de Scolacium.

A tale of two solvers: Eager and lazy approaches to bit-vectors

The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.