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.

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.

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.

A computational model coupling mechanics and electrophysiology in spinal cord injury

Traumatic brain injury and spinal cord injury have recently been put under the spotlight as major causes of death and disability in the developed world. Despite the important ongoing experimental and modeling campaigns aimed at understanding the mechanics of tissue and cell damage typically observed in such events, the differenti- ated roles of strain, stress and their corresponding loading rates on the damage level itself remain unclear. More specif- ically, the direct relations between brain and spinal cord tis- sue or cell damage, and electrophysiological functions are still to be unraveled. Whereas mechanical modeling efforts are focusing mainly on stress distribution and mechanistic- based damage criteria, simulated function-based damage cri- teria are still missing. Here, we propose a new multiscale model of myelinated axon associating electrophysiological impairment to structural damage as a function of strain and strain rate. This multiscale approach provides a new framework for damage evaluation directly relating neuron mechanics and electrophysiological properties, thus provid- ing a link between mechanical trauma and subsequent func- tional deficits.

Expression of xyloglucan endotransglucosylase/hydrolase (XTH) genes and XET activity in ethylene treated apple and tomato fruits.

Xyloglucan endotransglucosylase/hydrolase (XTHs: EC 2.4.1.207 and/or EC 3.2.1.151), a xyloglucan modifying enzyme, has been proposed to have a role during tomato and apple fruit ripening by loosening the cell wall. Since the ripening of climacteric fruits is controlled by endogenous ethylene biosynthesis, we wanted to study whether XET activity was ethylene-regulated, and if so, which specific genes encoding ripening-regulated XTH genes were indeed ethylene-regulated. XET specific activity in tomato and apple fruits was significantly increased by the ethylene treatment, as compared with the control fruits, suggesting an increase in the XTH gene expression induced by ethylene. The 25 SlXTH protein sequences of tomato and the 11 sequences MdXTH of apple were phylogenetically analyzed and grouped into three major clades. The SlXTHs genes with highest expression during ripening were SlXTH5 and SlXTH8 from Group III-B, and in apple MdXTH2, from Group II, and MdXTH10, and MdXTH11 from Group III-B. Ethylene was involved in the regulation of the expression of different SlXTH and MdXTH genes during ripening. In tomato fruit fifteen different SlXTH genes showed an increase in expression after ethylene treatment, and the SlXTHs that were ripening associated were also ethylene dependent, and belong to Group III-B (SlXTH5 and SlXTH8). In apple fruit, three MdXTH showed an increase in expression after the ethylene treatment and the only MdXTH that was ripening associated and ethylene dependent was MdXTH10 from Group III-B. The results indicate that XTH may play an important role in fruit ripening and a possible relationship between XTHs from Group III-B and fruit ripening, and ethylene regulation is suggested.

Potassium (K+) in plants.

Potassium (K+) is the most abundant inorganic cation in plant cells. This is an editorial for a compendium prepared by 34 authors that provides a stock-check of the current knowledge in the field and provides a first step toward a holistic view on ?Potassium (K+) in Plants?.

A computational model coupling mechanics and electrophysiology in spinal cord injury

Traumatic brain injury and spinal cord injury have recently been put under the spotlight as major causes of death and disability in the developed world. Despite the important ongoing experimental and modeling campaigns aimed at understanding the mechanics of tissue and cell damage typically observed in such events, the differentiated roles of strain, stress and their corresponding loading rates on the damage level itself remain unclear. More specifically, the direct relations between brain and spinal cord tissue or cell damage, and electrophysiological functions are still to be unraveled. Whereas mechanical modeling efforts are focusing mainly on stress distribution and mechanistic-based damage criteria, simulated function-based damage criteria are still missing. Here, we propose a new multiscale model of myelinated axon associating electrophysiological impairment to structural damage as a function of strain and strain rate. This multiscale approach provides a new framework for damage evaluation directly relating neuron mechanics and electrophysiological properties, thus providing a link between mechanical trauma and subsequent functional deficits

Anhydrite/aerogel composites for thermal insulation

High performance thermal insulating composite materials can be produced with mineral binders and hydrophobic aerogel particles through a hydrophilization process for the latter with surfactants. The present study is focused on the development of aerogel/calcium sulfate composites by the hydrophilization of hydrophobic silica aerogel particles through a polymer-based surfactant. Its effects on the microstructure and hydration degree are examined as well as their relation to the resulting mechanical and physical properties. Results show that composites with an around 60 % of aerogel by volume can achieve a thermal conductivity <30 mW/m × K. Interestingly, a surfactant addition of 0.1 % by wt% of the water in the mixtures provides better material properties compared to a surfactant wt% addition of 5 %. However, it has been found around 40 % entrained air, affecting the material properties by reducing the binder and aerogel volume fractions within the composites. Moreover, gypsum crystallization starts to be inhibited at aerogel volume fractions >35 %. Towards material optimization, a model for the calculation of thermal conductivity of composites and an equation for the compressive strength are proposed.