Kundmachung: Zur Hintanhaltung jeder Mißdeutung wird zur öffentlichen Kenntniß gebracht, daß zur Ergänzung der Südarmee ...

Welsch (Projektbearbeiter): Ankündigung eines Eisenbahnmilitärtransports über Wien nach Graz, Görz und Verona

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.

Cartas familiares del abate D. Juan Andres a su hermano D. Carlos Andres dandole noticia del viage que hizo a varias ciudades de Italia en ... 1785 publicadas por el mismo D. Carlos : tomo I.

Sign.: []4, A-S8

Cartas familiares del abate D. Juan Andres a su hermano D. Carlos Andres dandole noticia del viage que hizo a varias ciudades de Italia en el año 1785

Sign.: A-Q8

Cartas familiares del abate D. Juan Andres a su hermano D. Carlos Andres, dandole noticia del viage que hizo a Venecia y otras ciudades de aquella republica en ... 1785

Marca tip. en port

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

Notocia historica de Casal desde sus principios hasta la reduccion de 10 de julio de 1695 [Texto impreso]

Pie de imprenta tomado del colofón

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.