Catalogue de la galerie des tableaux ...

pt.1. Les écoles d'Italie et d'Espagne, par A. Somof.

Catalogue des tableaux, bas-reliefs et statues exposés dans les galeries du Musée des tableaux de Lille /

"Édition illustrée de vingt-une planches obtenues par le procédé de photoglyptie."

Tableaux anciens; notice, guide & catalogue,

Mode of access: Internet.

La Galerie de tableaux de la Reine Christine de Suéde ayant appartenu anparavent à l'Enpersur Rodolphe II, plus tard aux ducs d'Orléans. Recherche historique et critique par ...

Mode of access: Internet.

Les ventes de tableaux, dessins, estampes et objets d'art aux XVIIe et XVIIIe siècles (1611-1800) : essai de bibliographie /

Includes index.

On the relative complexity of labelled modal tableaux

We investigate the relative complexity of two free-variable labelled modal tableaux(KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM.

Tableaux synoptiques des champignons comestibles et vénéneux,

Mode of access: Internet.

Catalogue des tableaux, aquarelles, dessins, bronzes, etc. offerts par divers artistes à Henry Monnier dont la vente publique aura lieu Hôtel Druot ... 20 mai 1875 ...

Mode of access: Internet.

Les tableaux homonymiques, principe d’unité du Cornet à dés de Max Jacob

Ce mémoire s’intéresse à la structure du recueil de poésie en prose Le Cornet à dés (1917) de Max Jacob. À la lecture de l’ensemble, on remarque qu’il est sans cesse question de choses ou d’évènements auxquels renvoient les diverses significations du mot tableau : œuvres picturales, descriptions imagées, cadres de fenêtre ou de porte, vieillards (vieux tableaux), tableaux vivants, subdivisions de pièces de théâtre ou encore tableaux d’école. Subdivisé en trois chapitres, ce travail s’attachera dans un premier temps au fait que tous ces homonymes sont traités, dans les poèmes, comme des peintures. Entre fixité et mouvement, les descriptions et les narrations rapprochent la littérature de l’art pictural, ce qui contribue à l’esthétique du doute caractéristique de l’œuvre de Max Jacob. Le deuxième chapitre s’intéresse aux procédés de reprise et à la manière dont ils permettent de faire des liens entre les poèmes. À partir des théories du mouvement et de la répétition, nous verrons comment les divers motifs forment, à la manière des dés, différentes combinaisons d’une pièce à l’autre. Inspiré par les peintres cubistes qui présentent simultanément tous les angles d’un même objet, l’auteur fait le tour du mot tableau. Dans le dernier chapitre, il ressort que la juxtaposition des poèmes donne accès à un surcroît de signification : certains éléments arbitraires comme des titres obscurs prennent soudainement sens. Une réflexion sur la lecture vient compléter ce travail puisque les nombreuses répétitions sont traitées dans la mémoire. Ce travail s’inscrit dans le champ des études sur le recueil et s’appuie principalement sur l’analyse de poèmes.

Les tableaux homonymiques, principe d’unité du Cornet à dés de Max Jacob

Ce mémoire s’intéresse à la structure du recueil de poésie en prose Le Cornet à dés (1917) de Max Jacob. À la lecture de l’ensemble, on remarque qu’il est sans cesse question de choses ou d’évènements auxquels renvoient les diverses significations du mot tableau : œuvres picturales, descriptions imagées, cadres de fenêtre ou de porte, vieillards (vieux tableaux), tableaux vivants, subdivisions de pièces de théâtre ou encore tableaux d’école. Subdivisé en trois chapitres, ce travail s’attachera dans un premier temps au fait que tous ces homonymes sont traités, dans les poèmes, comme des peintures. Entre fixité et mouvement, les descriptions et les narrations rapprochent la littérature de l’art pictural, ce qui contribue à l’esthétique du doute caractéristique de l’œuvre de Max Jacob. Le deuxième chapitre s’intéresse aux procédés de reprise et à la manière dont ils permettent de faire des liens entre les poèmes. À partir des théories du mouvement et de la répétition, nous verrons comment les divers motifs forment, à la manière des dés, différentes combinaisons d’une pièce à l’autre. Inspiré par les peintres cubistes qui présentent simultanément tous les angles d’un même objet, l’auteur fait le tour du mot tableau. Dans le dernier chapitre, il ressort que la juxtaposition des poèmes donne accès à un surcroît de signification : certains éléments arbitraires comme des titres obscurs prennent soudainement sens. Une réflexion sur la lecture vient compléter ce travail puisque les nombreuses répétitions sont traitées dans la mémoire. Ce travail s’inscrit dans le champ des études sur le recueil et s’appuie principalement sur l’analyse de poèmes.

Biased Random-key Genetic Algorithms For The Winner Determination Problem In Combinatorial Auctions.

Abstract In this paper, we address the problem of picking a subset of bids in a general combinatorial auction so as to maximize the overall profit using the first-price model. This winner determination problem assumes that a single bidding round is held to determine both the winners and prices to be paid. We introduce six variants of biased random-key genetic algorithms for this problem. Three of them use a novel initialization technique that makes use of solutions of intermediate linear programming relaxations of an exact mixed integer-linear programming model as initial chromosomes of the population. An experimental evaluation compares the effectiveness of the proposed algorithms with the standard mixed linear integer programming formulation, a specialized exact algorithm, and the best-performing heuristics proposed for this problem. The proposed algorithms are competitive and offer strong results, mainly for large-scale auctions.

Wavelets And Adaptive Grids For The Discontinuous Galerkin Method

In this paper, space adaptivity is introduced to control the error in the numerical solution of hyperbolic systems of conservation laws. The reference numerical scheme is a new version of the discontinuous Galerkin method, which uses an implicit diffusive term in the direction of the streamlines, for stability purposes. The decision whether to refine or to unrefine the grid in a certain location is taken according to the magnitude of wavelet coefficients, which are indicators of local smoothness of the numerical solution. Numerical solutions of the nonlinear Euler equations illustrate the efficiency of the method. © Springer 2005.

An exact conserving algorithm for nonlinear dynamics with rotational DOFs and general hyperelasticity. Part 2: shells

Following the approach developed for rods in Part 1 of this paper (Pimenta et al. in Comput. Mech. 42:715-732, 2008), this work presents a fully conserving algorithm for the integration of the equations of motion in nonlinear shell dynamics. We begin with a re-parameterization of the rotation field in terms of the so-called Rodrigues rotation vector, allowing for an extremely simple update of the rotational variables within the scheme. The weak form is constructed via non-orthogonal projection, the time-collocation of which ensures exact conservation of momentum and total energy in the absence of external forces. Appealing is the fact that general hyperelastic materials (and not only materials with quadratic potentials) are permitted in a totally consistent way. Spatial discretization is performed using the finite element method and the robust performance of the scheme is demonstrated by means of numerical examples.

Stable Model Predictive Control for Integrating Systems with Optimizing Targets

This paper concern the development of a stable model predictive controller (MPC) to be integrated with real time optimization (RTO) in the control structure of a process system with stable and integrating outputs. The real time process optimizer produces Optimal targets for the system inputs and for Outputs that Should be dynamically implemented by the MPC controller. This paper is based oil a previous work (Comput. Chem. Eng. 2005, 29, 1089) where a nominally stable MPC was proposed for systems with the conventional control approach where only the outputs have set points. This work is also based oil the work of Gonzalez et at. (J. Process Control 2009, 19, 110) where the zone control of stable systems is studied. The new control for is obtained by defining ail extended control objective that includes input targets and zone controller the outputs. Additional decision variables are also defined to increase the set of feasible solutions to the control problem. The hard constraints resulting from the cancellation of the integrating modes Lit the end of the control horizon are softened,, and the resulting control problem is made feasible to a large class of unknown disturbances and changes of the optimizing targets. The methods are illustrated with the simulated application of the proposed,approaches to a distillation column of the oil refining industry.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.