Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.d

Xyloglucan endotransglucosylase and cell wall extensibility

Transgenic tomato hypocotyls with altered levels of an XTH gene were used to study how XET activity could affect the hypocotyl growth and cell wall extensibility. Transgenic hypocotyls showed significant over-expression (line 13) or co-suppression (line 33) of the SlXTH1 in comparison with the wild type, with these results being correlated with the results on specific soluble XET activity, suggesting that SlXTH1 translates mainly for a soluble XET isoenzyme. A relationship between XET activity and cell wall extensibility was found, and the highest total extensibility was located in the apical hypocotyl segment of the over-expressing SlXTH1 line, where the XET-specific activity and hypocotyl growth were also highest compared with the wild line.

Análisis estructural de cúpulas tabicadas: la cúpula interior de la Basílica de la Virgen de los Desamparados en Valencia

La Basílica de la Virgen de los Desamparados, construida entre 1652 y 1667, es el edificio valenciano más importante del siglo XVII (Bérchez 1995). Su elemento más notables es la gran cúpula oval que, en planta, aparece inscrita en un trapezoide. Esta disposición fue muy popular en el Barroco y tiene su origen en los proyectos de Vignola para Sant Andrea in Via Flaminia (1550) y Sant= Anna dei Palafraneri (1572), véase Lotz (1955). En España se construyeron varias cúpulas ovales hacia 1600 (Rodríguez G. de Ceballos 1983); la más grande es la del convento de las Recoletas Bernardas in Alcalá de Henares, 1617-1626, con ejes de 25 x 18 m, y una altura de 11 m (según levantamiento de Schubert 1908). Treinta y tres años tras su terminación, hacia 1700, se construyó una nueva cúpula interior, encajada dentro de la original, para servir de soporte a un enorme fresco del pintor Antonio Palomino en honor de la Virgen de los Desamparados. Esta cúpula es extraordinariamente delgada y presenta algunas disposiciones que la convierten en un caso de excepcional interés en la historia de las cúpulas de fábrica. La estructura y construcción de la Basílica de los Desamparados fue estudiada exhaustivamente en los años 1990 con vistas a elaborar posteriormente un proyecto de restauración. Los trabajos y el proyecto fueron dirigidos por el arquitecto Ignacio Bosch Reig. Algunos estudios fueron publicados en 1999 (Roig y Bosch 1999), y toda la información referente a los estudios y posterior restauración fue compilada y publicada en un libro (Bosch 2006). En este caso se dispone, por tanto, de una enorme cantidad de información sobre la estructura, construcción y forma del edificio. En lo que sigue trataremos sólo la construcción y comportamiento estructural de la doble cúpula de la Basílica.

Bond modelling of prestressed concrete during the prestressing force release

This paper presents an analytical model for simulating the bond between steel and concrete, in precast prestressed concrete elements, during the prestressing force release. The model establishes a relationship between bond stress, steel and concrete stress and slip in such concrete structures. This relationship allows us to evaluate the bond stress in the transmission zone, where bond stress is not constant, along the whole prestressing force release process. The model is validated with the results of a series of tests, considering different steel indentation depths and concrete covers and is extended to evaluate the transmission length. This capability has been checked by comparing the transmission length predicted by the model and one measured experimentally in two series of tests.

Doctoris Francisci Suarez ... de Societate Iesu ... Varia opuscula theologica ...

1. De concursu, motione, & auxilio Dei lib III - 2. De scientia Dei futurorum contingentium lib. II - 3. De auxilio efficaci brevis resolutio - 4. De libertate diuinae voluntatis relectio prior - 5. De reuiuiscentia meritorum relectio altera - 6. De iustitia Dei disputatio

Doctoris Francisci Suarez ... de Societate Iesu ... Varia opuscula theologica ...

Segundo imp. tomado del colofón en 3A8r

Lugares comunes de conceptos, dichos, y sentencias, en diuersas materias / compuesto por ... Ioan de Aranda...

El colofón aparece fechado en 1594

Lugares comunes de conceptos, dichos, y sentencias, en diuersas materias / compuesto por el Licenciado Ioan de Aranda ...

Primera fecha tomada del colofón en 2E3v

Divergence of the IGS rDNA in Fusarium proliferatum and Fusarium globosum reveals two strain specific non-orthologous types

A phylogenic analysis of Fusarium proliferatum and closely related species was performed using the most variable part within the intergenic spacer of the nuclear ribosomal DNA (IGS) and compared with a previously reported phylogeny performed in the same group of samples with a partial region of the nuclear single copy gene encoding the elongation factor 1α (EF-1α). The phylogenies from both genomic sequences were not concordant and revealed the presence of two nonorthologous IGS types, named types I and II, in F. proliferatum and Fusarium globosum. Two specific PCR assays designed to amplify either IGS type I or type II revealed that only one IGS type was present in each individual in these two species. The presence of both IGS types at the species level indicates that homogenization has not been achieved yet. This might be retarded if panmictic sexual reproduction was affected by certain levels of clonal reproduction and/or by the diverse hosts that these species are able to colonize. This study indicates that taxonomic studies carried out with the IGS rDNA, which has been widely used in Fusarium, should be undertaken with caution.

Euangelicae historiae imagines : ex ordine Euangeliorum, quæ toto anno in Missæ sacrificio recitantur, in ordinem temporis vitæ Christi digestæ / auctore Hieronymo Natali Societatis Iesu ...

Imp. tomado de: Belgica Typographica, 8786-8789

Suárez y las ediciones de sus obras : monografía bibliográfica, con ocasión del IV centenario de su nacimiento, 1548-1948 / dispuesta por el P. Francisco de P. Solá, S.J.

Tít. del lomo: Repertorio bibliográfico de las ediciones de Suárez.

Design and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications?it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ?Activity Monitor? has been designed and implemented: a personal health-persuasive application that provides feedback on the user?s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user?s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.