Ornementation et discours architectural de la "villa" gallo-romaine d'Orbe-Boscéaz : l'apport des peintures

La présente thèse s'inscrit dans la continuité de la publication des fouilles menées de 1986 à 2002 sur le site de la villa gallo-romaine d'Orbe-Boscéaz/VD par l'Institut d'archéologie et des sciences de l'antiquité de l'Université de Lausanne (URBA I, à paraître dans les Cahiers d'archéologie romande). Elle constitue l'analyse approfondie du corpus des peintures murales fragmentaires -succinctement présentées dans URBA I - appartenant à la pars urbana qui succéda, entre 161 et 180 apr. J.-C, à un édifice plus petit du Ier s. de notre ère -dont les peintures sont publiées dans l'ouvrage sus-mentionné. N'ayant subi que de très rares modifications, cette pars urbana de caractère palatial forme un "ensemble clos" autorisant une analyse globale de la conception architecturale et décorative voulue par le bâtisseur ou son commanditaire. Le corpus pictural, composé d'un matériel assez ingrat remplissant quelque 600 cagettes de stockage, offre de ce fait l'intérêt d'une grande homogénéité chronologique et reflète la cohérence et l'unité de la décoration peinte d'origine. Le travail de discrimination et de remontage des ensembles a permet d'individualiser au moins 220 décors et revêtements muraux; l'ensemble des hypothèses de restitution des peintures donne ainsi une image minimale de l'environnement pictural de la pars urbana. Ce corpus pictural n'est toutefois que l'une des composantes du programme décoratif, aussi l'analyse de ses caractéristiques est-elle confrontée à celle des autres composantes ornementales (architecture, placages de marbres et surtout le remarquable ensemble des mosaïques qui fait la célébrité du site). La conjugaison des divers éléments et leur répartition au sein d'un plan bien connu et très symétrique orientent sur les choix décoratifs majeurs, et permettent sinon de reconstituer, tout au moins d'approcher la conception du programme architectural et décoratif voulu par le commanditaire ou son architecte; ce programme, comme fréquemment, reflète le statut du commanditaire, le met évidemment en scène et tient un discours sur la villa, adressé tant aux habitants qu'aux visiteurs. On trouvera dans le travail six chapitres formant l'essentiel de l'exploitation du corpus pictural urbigène. Le premier chapitre est introductif, et présente dans ses grandes lignes la pars urbana de Boscéaz comme cadre de référence. Il est suivi par un état des lieux des peintures murales retrouvées sur le site, abordant leur répartition, leur état de conservation et la méthodologie adoptée pour leur traitement comme leur étude (chapitre 2). Le chapitre 3 constitue l'étude technique des enduits peints. Il réunit toutes les observations que l'on peut faire sur les techniques de réalisation des peinture murales, de la préparation et la pose des mortiers de support aux tours de main des peintres pour le rendu d'un motif. Ce chapitre s'inscrit dans la perspective, appliquée à Boscéaz, d'études marquantes comme celles sur les techniques de préparation des parois (Allag /Barbet 1972, Barbet 1995) sur l'identification des pigments (PACT 17, 1985, Béarat 1997, Colloque de Fribourg 1997) et sur l'analyse des mortiers (Coutelas 2003). Suit le catalogue des peintures, basé sur une sélection de 3414 plaques remontées et fragments (chapitre 4) : il propose une description rigoureuse et systématique des motifs, ainsi que leur analyse stylistique qui apporte les éléments comparatifs permettant la compréhension du matériel, et justifiant son interprétation, voire sa restitution. Les décors y sont présentés par local de découverte; un paragraphe introductif réunit les données de fouille et des informations sur le local ou le prélèvement des enduits, et donne le nombre et la détermination des décors retrouvés. Chacun d'eux fait l'objet d'une notice regroupant: une détermination par le mortier de support (le tectorium); les observations techniques diverses; la description, la restitution le cas échéant, et l'analyse stylistique. Cette dernière privilégie les comparaisons locales, en Suisse d'abord puis dans les pays limitrophes de façon à mettre en évidence les liens plausibles entre certains sites et les éventuels indices d'une production régionale. La documentation graphique qui accompagne chaque décor dans le volume d'illustrations est constituée avant tout des planches photographiques des fragments à l'échelle 1:3, accompagnés le cas échéant de dessins au trait justifiant la lecture des motifs. Ceux-ci permettent la reconstitution idéale

Supporting pruning in tabled LP

This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and evaluated. Using once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such as model checking and planning. The proposed version of once/1 is also directly applicable to the efficient implementation of other optimizations, such as early completion, cut-fail loops (to, e.g., prune at the top level), if-then-else, and constraint-based branch-and-bound optimization. Although once/1 still presents open issues such as dependencies of tabled solutions on program history, our experimental evaluation confirms that it provides an arbitrarily large efficiency improvement in several application areas.

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut s full Krivine machine KN.

Villa Agrippa Postumus, Mythological Room (19), Perseus and Andromeda in Landscape

Boscotrecase, Italy; 6 ft. 1 3/4 in.x 3 ft. 11 in.; fresco on lime plaster

Roma antica /

Frontispiece port. of Nardini, v. 1, by L. Carlini. Illustrations new to this edition engraved by G. Acquaroni, G. Balzar, Giuseppe Mochetti and Angelo Testa, after drawings by Antonio de Romanis, Francesco Piranesi, Rosino, Angelo Uggeri, Giovanni Battista Vergani. Plates depicting coins by Carlo Ruspi.

In the matter of the application of the Norfolk and Western Railway Company for authority to acquire control by lease of the railroad of the Virginian Railway Company. October 12, 1925 [Jan. 28, 1926]

Vols. 1-3 paged continuously (iii, viii, 3029 p.)

Investigation of Panama canal matters. Hearings before the Committee on interoceanic canals of the United States Senate in the matter of the Senate resolution adopted January 9, 1906, providing for an investigation of matters relating to the Panama canal, etc.[Jan. 11, 1906-Feb. 12, 1907]

Joseph H. Millard, chairman.