3,274 research outputs found
schede nn. 245, 263, 264, 313, 314, 315, 316, 361, 414
No full textOltre a quelli segnalati individualmente, l'autrice cataloga altri 9 dipinti facenti parte della raccolta civica padovan
Copia da Raffaello Sanzio. 356. Sacra Famiglia
No full textSi analizza per la prima volta una copia cinquecentesca proveniente da una collezione padovana della Sacra Famiglia di Raffaello al Prado, datata 1507
Dario Varotari. 158. Madonna con il Bambino in trono, i SS. Prosdocimo, Giustina, Antonio da Padova, Daniele e tre martiri innocenti
No full textpittura veneta del tardo-rinascimento, pittura padovana, santi patron
Pittore anonimo. 419. Ritratto del capitano Antonio Da Rio
No full textLa scheda illustra un ritratto inedito del Capitano Antonio da Rio padovano le cui imprese furono scolpite sulla porta bronzea di Filarete in San Pietro a Rom
Pittore veneto. 351-354, Andromeda prigioniera, Galatea trasportata dai delfini, Amore e Psiche, Amore e Venere
No full textLa serie, di provenienza ignota, ha come modelli le incisioni di Agostino Carracci denominate "Lascivie" e messe in circolazione fra il 1592 e il 159
Boccaccio Boccaccino. 39. Madonna con il Bambino
No full textLa scheda aggiorna lo stato degli studi su Boccaccio Boccaccino e rilegge l'opera in relazione al contesto di provenienza
Dario Varotari. 157. Ecce Homo tra angeli, i SS. Giorgio e Girolamo e il donatore Battista Pozzio con la moglie
No full textRilettura e contestualizzazione di una pala poco nota del pittore di origine veronese ma attività padovana
Benvenuto Tisi detto Garofalo. 65. Sacra Famiglia con i SS. Giovannino ed Elisabetta
No full textL'autrice riesamina l'opera di Garofalo e la contestualizza nell'ambito di provenienza seguendo una prospettiva di studio aggiornata
A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting
No full textAbstractMaple’s symbolic evaluator, together with a feature that is usually known as the assume facility, implements a powerful form of conditional rewriting. In a previous paper the authors showed that Maple’s evaluation process can be recast as constraint contextual rewriting (CCR), a form of conditional rewriting that incorporates the services provided by a decision procedure through a well-specified interface. In the present paper, this analysis is extended to a component of the assume facility that deals with problems beyond linear arithmetic and that we call the general solver. This led to the discovery of a fault that causes Maple to return wrong results with some contexts. The reason for this is that the facility wrongly assumes that the general solver is complete in the sense that it uses all the available assumptions in the context. While a simple fix to this problem would reduce the logical strength of the assume facility, we show that a more general approach inspired by techniques available in CCR does not suffer from the problem and naturally leads to stronger forms of simplification
- …
