Le personnage de la femme-artiste chez l'écrivain polonaise Narcyza Żmichowska (1819-1876) : Helusia héritière de Corinne de Mme de Staël et de Consuelo de George Sand

Si les hommes bénéficient d’emblée de mythes (Pygmalion, Orphée) qui légitiment et motivent leur créativité, il faut attendre Corinne (1807) de Mme Staël et Consuelo (1842) de George Sand pour que le mythe de la femme créatrice trouve enfin, dans la littérature européenne, à se concrétiser et à se développer sous la forme de Künstlerromane féminins. Corinne la poétesse et Consuelo la cantatrice sont devenues des exemples littéraires non seulement pour les femmes victoriennes, comme le montre par exemple le livre de Linda Lewis intitulé Germaine de Staël, George Sand and the Victorian Woman Artist, mais également pour les femmes polonaises issues des classes favorisées - qui lisaient d’ailleurs couramment en français. En effet, même si elles ont été officiellement décriées par la critique conservatrice polonaise pour leur « immoralité », George Sand et Mme de Staël ont été lues, bien lues et même beaucoup lues par leurs contemporaines polonaises - comme le témoigne la correspondance de ces dernières, dans laquelle elles ont moins de peine à se livrer. Le thème de la femme artiste déchirée entre la carrière publique et la vie privée, tel qu’il est représenté dans Corinne et dans Consuelo, a en particulier attiré toute leur attention et suscité chez les femmes écrivains le désir d’apporter de nouvelles manières de résoudre ce conflit. Dans cet article, le Künstlerinroman polonais Książka Pamiątek (Livre des souvenirs, 1846) de Narcyza Żmichowska fait l’objet d’une analyse comparative détaillée avec les deux Künstlerinromane français dont par ailleurs il se réclame.

Efficient local unfolding with ancestor stacks for full prolog

The integration of powerful partial evaluation methods into practical compilers for logic programs is still far from reality. This is related both to 1) efficiency issues and to 2) the complications of dealing with practical programs. Regarding efnciency, the most successful unfolding rules used nowadays are based on structural orders applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with any structural order and allows a stack-based implementation without losing any opportunities for specialization. Regarding the second issue, we propose assertion-based techniques which allow our approach to deal with real programs that include (Prolog) built-ins and external predicates in a very extensible manner. Finally, we report on our implementation of these techniques in a practical partial evaluator, embedded in a state of the art compiler which uses global analysis extensively (the Ciao compiler and, specifically, its preprocessor CiaoPP). The performance analysis of the resulting system shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

Determinacy analysis for logic programs using mode and type information

We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic (because they cali other predicates that can produce more than one solution). Applications of such determinacy information include detecting programming errors, performing certain high-level program transformations for improving search efñciency, optimizing low level code generation and parallel execution, and estimating tighter upper bounds on the computational costs of goals and data sizes, which can be used for program debugging, resource consumption and granularity control, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efncient.

Abstract interpretation-based code certification for pervasive systems: Preliminary experiments

Proof carrying code is a general methodology for certifying that the execution of an untrusted mobile code is safe, according to a predefined safety policy. The basic idea is that the code supplier attaches a certifícate (or proof) to the mobile code which, then, the consumer checks in order to ensure that the code is indeed safe. The potential benefit is that the consumer's task is reduced from the level of proving to the level of checking, a much simpler task. Recently, the abstract interpretation techniques developed in logic programming have been proposed as a basis for proof carrying code [1]. To this end, the certifícate is generated from an abstract interpretation-based proof of safety. Intuitively, the verification condition is extracted from a set of assertions guaranteeing safety and the answer table generated during the analysis. Given this information, it is relatively simple and fast to verify that the code does meet this proof and so its execution is safe. This extended abstract reports on experiments which illustrate several issues involved in abstract interpretation-based code certification. First, we describe the implementation of our system in the context of CiaoPP: the preprocessor of the Ciao multi-paradigm (constraint) logic programming system. Then, by means of some experiments, we show how code certification is aided in the implementation of the framework. Finally, we discuss the application of our method within the área of pervasive systems which may lack the necessary computing resources to verify safety on their own. We herein illustrate the relevance of the information inferred by existing cost analysis to control resource usage in this context. Moreover, since the (rather complex) analysis phase is replaced by a simpler, efficient checking process at the code consumer side, we believe that our abstract interpretation-based approach to proof-carrying code becomes practically applicable to this kind of systems.

Non-destructive optical characterisation of fruits with time-resolved reflectance spectroscopy.

Increasing attention is being paid to the possible development of non-invasive tests for the assessment of the quality of fruits We propose a novel non-destructive method for the measurement of the internal optical properties of fruits and vegetables by means of time resolved reflectance spectroscopy in the visible and NIR range. A fully automated instrumentation for time-resolved reflectance measurements was developed It is based on mode-locked laser sources and electronics for time-correlated single photon counting, and provides a time-resolution of 120-160 ps The system was used to probe the optical properties of several species and varieties of fruits and vegetables in the red and NIR range (650-1000 nm). In most fruits, the absorption line shape is dominated by the absorption peak of water, centred around 970 nm Generally, the absorption spectra also show the spectral features typical of chlorophyll, with maximum at 675 nm In particular, for what concerns apples, variations in peak intensity are observed depending on the variety, the degree of ripeness as well as the position on the apple. For all the species and varieties considered, the transport scattering coefficient decreases progressively upon increasing the wavelength.

Pibamarmi Pavilion

The PIBAMARMI pavilion at the 2013 edition of MARMOMACC in Verona was designed by the Spanish architect Alberto CAMPO BAEZA, winner of the Fair’s International Award Architecture in Stone 2013 for the office building of the Castilla León Junta in front of the Cathedral in Zamora.

Sermones luculêtissimi btî Zenobis venorensis epi. Omelie [et]admonitiôes btî Cesarij arelatensis epî. Sermo de laudibus beatissime virginis Marie... [Texto impreso]

Copia digital: Biblioteca Valenciana, 2011

Hercole difensore d'Homero : [Texto impreso] Dialogo

Marca tip. en port

Multi-distributed wireless sensors for monitoring a long distance transport in a reefer container

The study of the temperature gradients in cold stores and containers is a critical issue in the food industry for the quality assurance of products during transport and for minimising losses. This work presents an analysis of the temperatures during the refrigerated transport of 4,320 kg of blueberries in a reefer (set point temperature at ?1ºC) on a container ship from Montevideo (Uruguay) to Verona (Italy). The monitoring was performed by using semi-passive RFID loggers (TurboTag cards). The objective was to carry out a multi-distributed supervision using low-cost, wireless and autonomous sensors for the characterisation of the distribution and spatial gradients of temperatures during a long distance transport. Data analysis shows spatial (phase space) and temporal sequencing diagrams and reveals a significant heterogeneity of temperature at different locations in the container, which highlights the ineffectiveness of a temperature control system based on a single sensor, as is usually done.

Pabellón Pibamarmi

Pabellón Pibamarmi, Feria Marmommac, Verona

Supervisión multidistribuida para el control de procesos de conservación de productos agroalimentarios: optimización de calidad del producto

La presente Tesis está orientada al análisis de la supervisión multidistribuida de tres procesos agroalimentarios: el secado solar, el transporte refrigerado y la fermentación de café, a través de la información obtenida de diferentes dispositivos de adquisición de datos, que incorporan sensores, así como el desarrollo de metodologías de análisis de series temporales, modelos y herramientas de control de procesos para la ayuda a la toma de decisiones en las operaciones de estos entornos. En esta tesis se han utilizado: tarjetas RFID (TemTrip®) con sistema de comunicación por radiofrecuencia y sensor de temperatura; el registrador (i-Button®), con sensor integrado de temperatura y humedad relativa y un tercer prototipo empresarial, módulo de comunicación inalámbrico Nlaza, que integra un sensor de temperatura y humedad relativa Sensirion®. Estos dispositivos se han empleado en la conformación de redes multidistribuidas de sensores para la supervisión de: A) Transportes de producto hortofrutícola realizados en condiciones comerciales reales, que son: dos transportes terrestre de producto de IV gama desde Murcia a Madrid; transporte multimodal (barco-barco) de limones desde Montevideo (Uruguay) a Cartagena (España) y transporte multimodal (barco-camión) desde Montevideo (Uruguay) a Verona (Italia). B) dos fermentaciones de café realizadas en Popayán (Colombia) en un beneficiadero. Estas redes han permitido registrar la dinámica espacio-temporal de temperaturas y humedad relativa de los procesos estudiados. En estos procesos de transporte refrigerado y fermentación la aplicación de herramientas de visualización de datos y análisis de conglomerados, han permitido identificar grupos de sensores que presentan patrones análogos de sus series temporales, caracterizando así zonas con dinámicas similares y significativamente diferentes del resto y permitiendo definir redes de sensores de menor densidad cubriendo las diferentes zonas identificadas. Las metodologías de análisis complejo de las series espacio-temporales (modelos psicrométricos, espacio de fases bidimensional e interpolaciones espaciales) permitieron la cuantificación de la variabilidad del proceso supervisado tanto desde el punto de vista dinámico como espacial así como la identificación de eventos. Constituyendo así herramientas adicionales de ayuda a la toma de decisiones en el control de los procesos. Siendo especialmente novedosa la aplicación de la representación bidimensional de los espacios de fases en el estudio de las series espacio-temporales de variables ambientales en aplicaciones agroalimentarias, aproximación que no se había realizado hasta el momento. En esta tesis también se ha querido mostrar el potencial de un sistema de control basado en el conocimiento experto como es el sistema de lógica difusa. Se han desarrollado en primer lugar, los modelos de estimación del contenido en humedad y las reglas semánticas que dirigen el proceso de control, el mejor modelo se ha seleccionado mediante un ensayo de secado realizado sobre bolas de hidrogel como modelo alimentario y finalmente el modelo se ha validado mediante un ensayo en el que se deshidrataban láminas de zanahoria. Los resultados sugirieron que el sistema de control desarrollado, es capaz de hacer frente a dificultades como las variaciones de temperatura día y noche, consiguiendo un producto con buenas características de calidad comparables a las conseguidas sin aplicar ningún control sobre la operación y disminuyendo así el consumo energético en un 98% con respecto al mismo proceso sin control. La instrumentación y las metodologías de análisis de datos implementadas en esta Tesis se han mostrado suficientemente versátiles y transversales para ser aplicadas a diversos procesos agroalimentarios en los que la temperatura y la humedad relativa sean criterios de control en dichos procesos, teniendo una aplicabilidad directa en el sector industrial ABSTRACT This thesis is focused on the analysis of multi-distributed supervision of three agri-food processes: solar drying, refrigerated transport and coffee fermentation, through the information obtained from different data acquisition devices with incorporated sensors, as well as the development of methodologies for analyzing temporary series, models and tools to control processes in order to help in the decision making in the operations within these environments. For this thesis the following has been used: RFID tags (TemTrip®) with a Radiofrequency ID communication system and a temperature sensor; the recorder (i-Button®), with an integrated temperature and relative humidity and a third corporate prototype, a wireless communication module Nlaza, which has an integrated temperature and relative humidity sensor, Sensirion®. These devices have been used in creating three multi-distributed networks of sensors for monitoring: A) Transport of fruits and vegetables made in real commercial conditions, which are: two land trips of IV range products from Murcia to Madrid; multimodal transport (ship - ship) of lemons from Montevideo (Uruguay) to Cartagena (Spain) and multimodal transport (ship - truck) from Montevideo (Uruguay) to Verona (Italy). B) Two coffee fermentations made in Popayan (Colombia) in a coffee processing plant. These networks have allowed recording the time space dynamics of temperatures and relative humidity of the processed under study. Within these refrigerated transport and fermentation processes, the application of data display and cluster analysis tools have allowed identifying sensor groups showing analogical patterns of their temporary series; thus, featuring areas with similar and significantly different dynamics from the others and enabling the definition of lower density sensor networks covering the different identified areas. The complex analysis methodologies of the time space series (psychrometric models, bi-dimensional phase space and spatial interpolation) allowed quantifying the process variability of the supervised process both from the dynamic and spatial points of view; as well as the identification of events. Thus, building additional tools to aid decision-making on process control brought the innovative application of the bi-dimensional representation of phase spaces in the study of time-space series of environmental variables in agri-food applications, an approach that had not been taken before. This thesis also wanted to show the potential of a control system based on specialized knowledge such as the fuzzy logic system. Firstly, moisture content estimation models and semantic rules directing the control process have been developed, the best model has been selected by an drying assay performed on hydrogel beads as food model; and finally the model has been validated through an assay in which carrot sheets were dehydrated. The results suggested that the control system developed is able to cope with difficulties such as changes in temperature daytime and nighttime, getting a product with good quality features comparable to those features achieved without applying any control over the operation and thus decreasing consumption energy by 98% compared to the same uncontrolled process. Instrumentation and data analysis methodologies implemented in this thesis have proved sufficiently versatile and cross-cutting to apply to several agri-food processes in which the temperature and relative humidity are the control criteria in those processes, having a direct effect on the industry sector.

Avaliação das inclinações dentárias obtidas no tratamento ortodôntico com bráquetes autoligados utilizando tomografia computadorizada

O objetivo deste trabalho foi analisar a expressão dos torques dentários em pacientes tratados com aparelhos ortodônticos fixos com bráquetes autoligados, utilizando tomografias computadorizadas. Para este estudo, foi selecionada uma amostra clínica de 10 pacientes, seguindo como critérios de inclusão, indivíduos que apresentavam dentição permanente e todos os dentes presentes, com apinhamento superior ou igual a 4 mm, tratados sem extração. Todos os pacientes foram tratados na clínica da pós-graduação em Ortodontia da Universidade Metodista de São Paulo, utilizando-se bráquetes autoligados Damon 2 ORMCO na prescrição padrão. Foram realizadas medições das inclinações dos dentes anteriores, de canino a canino, superiores e inferiores, realizadas por meio de imagens tomográficas obtidas em um tomógrafo computadorizado volumétrico NewTom, em seu modelo DVT-9000 (NIM Verona - Itália), obtidas em dois tempos: antes do início do tratamento ortodôntico (denominado de T1) e depois do tratamento ortodôntico, após a inserção do último fio de nivelamento, de calibre 0,019 x 0,025 de aço inoxidável(denominado de T2). Para auxílio destas mensurações, foi utilizado o software QR-DVT 9000 e após análise dos resultados foram aplicados testes estatíscos (testes "t" pareado e Dalberg) e observou-se que as inclinações dos dentes do segmento anterior aumentaram, principalmente, nos caninos e incisivos laterais superiores, incisivos centrais e laterais inferiores. Os dentes apresentaram valores de inclinação diferentes da prescrição, tanto no início quanto no final do tratamento, denotando a incapacidade do fio 0,019 x 0,025 de aço inoxidável em reproduzir os torques indicados na prescrição padrão utilizada neste presente estudo.(AU)

Avaliação das inclinações dentárias obtidas no tratamento ortodôntico com bráquetes autoligados utilizando tomografia computadorizada

O objetivo deste trabalho foi analisar a expressão dos torques dentários em pacientes tratados com aparelhos ortodônticos fixos com bráquetes autoligados, utilizando tomografias computadorizadas. Para este estudo, foi selecionada uma amostra clínica de 10 pacientes, seguindo como critérios de inclusão, indivíduos que apresentavam dentição permanente e todos os dentes presentes, com apinhamento superior ou igual a 4 mm, tratados sem extração. Todos os pacientes foram tratados na clínica da pós-graduação em Ortodontia da Universidade Metodista de São Paulo, utilizando-se bráquetes autoligados Damon 2 ORMCO na prescrição padrão. Foram realizadas medições das inclinações dos dentes anteriores, de canino a canino, superiores e inferiores, realizadas por meio de imagens tomográficas obtidas em um tomógrafo computadorizado volumétrico NewTom, em seu modelo DVT-9000 (NIM Verona - Itália), obtidas em dois tempos: antes do início do tratamento ortodôntico (denominado de T1) e depois do tratamento ortodôntico, após a inserção do último fio de nivelamento, de calibre 0,019 x 0,025 de aço inoxidável(denominado de T2). Para auxílio destas mensurações, foi utilizado o software QR-DVT 9000 e após análise dos resultados foram aplicados testes estatíscos (testes "t" pareado e Dalberg) e observou-se que as inclinações dos dentes do segmento anterior aumentaram, principalmente, nos caninos e incisivos laterais superiores, incisivos centrais e laterais inferiores. Os dentes apresentaram valores de inclinação diferentes da prescrição, tanto no início quanto no final do tratamento, denotando a incapacidade do fio 0,019 x 0,025 de aço inoxidável em reproduzir os torques indicados na prescrição padrão utilizada neste presente estudo.(AU)