A transgenic mouse model with an inducible skin blistering disease phenotype

One of the current limitations of gene transfer protocols involving mammalian genomes is the lack of spatial and temporal control over the desired gene manipulation. Starting from a human keratin gene showing a complex regulation as a template, we identified regulatory sequences that confer inducible gene expression in a subpopulation of keratinocytes in stratified epithelia of adult transgenic mice. We used this cassette to produce transgenic mice with an inducible skin blistering phenotype mimicking a form of epidermolytic hyperkeratosis, a keratin gene disorder. Upon induction by topical application of a phorbol ester, the mutant keratin transgene product accumulates in the differentiating layers of epidermis, leading to keratinocyte lysis after application of mechanical trauma. This mouse model will allow for a better understanding of the complex relationship between keratin mutation, keratinocyte cytoarchitecture, and hypersensitivity to trauma. The development of an inducible expression vector showing an exquisite cellular specificity has important implications for manipulating genes in a spatially and temporally controlled fashion in transgenic mice, and for the design of gene therapy strategies using skin as a tissue source for the controlled delivery of foreign substances.

Water Deficit and Spatial Pattern of Leaf Development. Variability in Responses Can Be Simulated Using a Simple Model of Leaf Development1

We analyzed the effect of short-term water deficits at different periods of sunflower (Helianthus annuus L.) leaf development on the spatial and temporal patterns of tissue expansion and epidermal cell division. Six water-deficit periods were imposed with similar and constant values of soil water content, predawn leaf water potential and [ABA] in the xylem sap, and with negligible reduction of the rate of photosynthesis. Water deficit did not affect the duration of expansion and division. Regardless of their timing, deficits reduced relative expansion rate by 36% and relative cell division rate by 39% (cells blocked at the G0-G1 phase) in all positions within the leaf. However, reductions in final leaf area and cell number in a given zone of the leaf largely differed with the timing of deficit, with a maximum effect for earliest deficits. Individual cell area was only affected during the periods when division slowed down. These behaviors could be simulated in all leaf zones and for all timings by assuming that water deficit affects relative cell division rate and relative expansion rate independently, and that leaf development in each zone follows a stable three-phase pattern in which duration of each phase is stable if expressed in thermal time (C. Granier and F. Tardieu [1998b] Plant Cell Environ 21: 695–703).

Temporal Sequence of Cell Wall Disassembly in Rapidly Ripening Melon Fruit1

The Charentais variety of melon (Cucumis melo cv Reticulatus F1 Alpha) was observed to undergo very rapid ripening, with the transition from the preripe to overripe stage occurring within 24 to 48 h. During this time, the flesh first softened and then exhibited substantial disintegration, suggesting that Charentais may represent a useful model system to examine the temporal sequence of changes in cell wall composition that typically take place in softening fruit. The total amount of pectin in the cell wall showed little reduction during ripening but its solubility changed substantially. Initial changes in pectin solubility coincided with a loss of galactose from tightly bound pectins, but preceded the expression of polygalacturonase (PG) mRNAs, suggesting early, PG-independent modification of pectin structure. Depolymerization of polyuronides occurred predominantly in the later ripening stages, and after the appearance of PG mRNAs, suggesting the existence of PG-dependent pectin degradation in later stages. Depolymerization of hemicelluloses was observed throughout ripening, and degradation of a tightly bound xyloglucan fraction was detected at the early onset of softening. Thus, metabolism of xyloglucan that may be closely associated with cellulose microfibrils may contribute to the initial stages of fruit softening. A model is presented of the temporal sequence of cell wall changes during cell wall disassembly in ripening Charentais melon.

Temporal and molecular characteristics of mutations induced by ethylnitrosourea in germ cells isolated from seminiferous tubules and in spermatozoa of lacZ transgenic mice.

The lacZ transgenic mouse (Muta mouse) model was used to examine the timing of ethylnitrosourea (ENU)-induced mutations in germ cells. The spectrum of mutations was also determined. Animals received five daily treatments with ENU at 50 mg/kg and were sampled at times up to 55 days after treatment. In mixed germ-cell populations isolated from seminiferous tubules, there was little increase in the mutant frequency 5 days after treatment; subsequently, there was a continuous increase until the maximum (17.5-fold above background) was reached by approximately 35 days. In the spermatozoa, an increase in mutant frequency was not seen until 20 days after treatment, with the maximum (4.3-fold above background) being achieved no sooner than approximately 35 days. Based on the timing of sampling, these data demonstrate the detection of both spermatogonial and postspermatogonial, mutations. The most prominent feature of the ENU-induced base-pair mutations in testicular germ cells sampled 55 days after treatment is that 70% are induced in A.T base pairs, compared to only 16% in spontaneous mutations. These findings are consistent with comparable data from ENU studies using assays for inherited germ-cell mutations in mice. This study has demonstrated the utility and potential of the transgenic mouse lacZ model (Muta mouse) for the detection and study of germ-cell mutations and provides guidance in the selection of simplified treatment and sampling protocols.

Stability and sensitivity analysis of Be-CoDiS, an epidemiological model to predict the spread of human diseases between countries. Validation with data from the 2014-16 West African Ebola Virus Disease epidemic.

Ebola virus disease is a lethal human and primate disease that requires a particular attention from the international health authorities due to important recent outbreaks in some Western African countries and isolated cases in European and North-America continents. Regarding the emergency of this situation, various decision tools, such as mathematical models, were developed to assist the authorities to focus their efforts in important factors to eradicate Ebola. In a previous work, we have proposed an original deterministic spatial-temporal model, called Be-CoDiS (Between-Countries Disease Spread), to study the evolution of human diseases within and between countries by taking into consideration the movement of people between geographical areas. This model was validated by considering numerical experiments regarding the 2014-16 West African Ebola Virus Disease epidemic. In this article, we propose to perform a stability analysis of Be-CoDiS. Our first objective is to study the equilibrium states of simplified versions of this model, limited to the cases of one an two countries, and to determine their basic reproduction ratios. Then, in order to give some recommendations for the allocation of resources used to control the disease, we perform a sensitivity analysis of those basic reproduction ratios regarding the model parameters. Finally, we validate the obtained results by considering numerical experiments based on data from the 2014-16 West African Ebola Virus Disease epidemic.

Modelo matemático baseado em lógica nebulosa para tratamento de variáveis e avaliação de contexto de sistemas dinâmicos.

A pesquisa apresenta uma adaptação do modelo matemático de lógica nebulosa. A adaptação é uma alternativa capaz de representar o comportamento de uma variável subjetiva ao longo de um intervalo de tempo, assim como tratar variáveis estáticas (como o modelo computacional existente). Pesquisas realizadas apontam para uma lacuna no tratamento de variáveis dinâmicas (dependência no tempo) e a proposta permite que o contexto em que as variáveis estão inseridas tenha um papel no entendimento e tomada de decisão de problemas com estas características. Modelos computacionais existentes tratam a questão temporal como sequenciador de eventos ou custo, sem considerar a influência de fenômenos passados na condição corrente, ao contrário do modelo proposto que permite uma contribuição dos acontecimentos anteriores no entendimento e tratamento do estado atual. Apenas para citar alguns exemplos, o uso da solução proposta pode ser aplicado na determinação de nível de conforto em transporte público ou auxiliar na aferição de grau de risco de investimentos no mercado de ações. Em ambos os casos, comparações realizadas entre o modelo de lógica nebulosa existente e a adaptação sugerida apontam uma diferença no resultado final que pode ser entendida como uma maior qualidade na informação de suporte à tomada de decisão.

MDWEnet: a practical approach to achieving interoperability of model-driven web engineering methods

Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business logic, etc.), and provide model compilers that produce most of the logic and Web pages of the application from these models. However, these proposals also have some limitations, especially for exchanging models or representing further modeling concerns, such as architectural styles, technology independence, or distribution. A possible solution to these issues is provided by making model-driven Web Engineering proposals interoperate, being able to complement each other, and to exchange models between the different tools. MDWEnet is a recent initiative started by a small group of researchers working on model-driven Web Engineering (MDWE). Its goal is to improve current practices and tools for the model-driven development of Web applications for better interoperability. The proposal is based on the strengths of current model-driven Web Engineering methods, and the existing experience and knowledge in the field. This paper presents the background, motivation, scope, and objectives of MDWEnet. Furthermore, it reports on the MDWEnet results and achievements so far, and its future plan of actions.

An application of fuzzy logic for hardware/software partitioning in embedded systems

Hardware/Software partitioning (HSP) is a key task for embedded system co-design. The main goal of this task is to decide which components of an application are to be executed in a general purpose processor (software) and which ones, on a specific hardware, taking into account a set of restrictions expressed by metrics. In last years, several approaches have been proposed for solving the HSP problem, directed by metaheuristic algorithms. However, due to diversity of models and metrics used, the choice of the best suited algorithm is an open problem yet. This article presents the results of applying a fuzzy approach to the HSP problem. This approach is more flexible than many others due to the fact that it is possible to accept quite good solutions or to reject other ones which do not seem good. In this work we compare six metaheuristic algorithms: Random Search, Tabu Search, Simulated Annealing, Hill Climbing, Genetic Algorithm and Evolutionary Strategy. The presented model is aimed to simultaneously minimize the hardware area and the execution time. The obtained results show that Restart Hill Climbing is the best performing algorithm in most cases.

Logic hybrid simulation-optimization algorithm for distillation design

In this paper, we propose a novel algorithm for the rigorous design of distillation columns that integrates a process simulator in a generalized disjunctive programming formulation. The optimal distillation column, or column sequence, is obtained by selecting, for each column section, among a set of column sections with different number of theoretical trays. The selection of thermodynamic models, properties estimation etc., are all in the simulation environment. All the numerical issues related to the convergence of distillation columns (or column sections) are also maintained in the simulation environment. The model is formulated as a Generalized Disjunctive Programming (GDP) problem and solved using the logic based outer approximation algorithm without MINLP reformulation. Some examples involving from a single column to thermally coupled sequence or extractive distillation shows the performance of the new algorithm.

Crop Phenology Estimation Using a Multitemporal Model and a Kalman Filtering Strategy

In this letter, a new approach for crop phenology estimation with remote sensing is presented. The proposed methodology is aimed to exploit tools from a dynamical system context. From a temporal sequence of images, a geometrical model is derived, which allows us to translate this temporal domain into the estimation problem. The evolution model in state space is obtained through dimensional reduction by a principal component analysis, defining the state variables, of the observations. Then, estimation is achieved by combining the generated model with actual samples in an optimal way using a Kalman filter. As a proof of concept, an example with results obtained with this approach over rice fields by exploiting stacks of TerraSAR-X dual polarization images is shown.

An alternative disjunctive optimization model for heat integration with variable temperatures

This paper presents an alternative model to deal with the problem of optimal energy consumption minimization of non-isothermal systems with variable inlet and outlet temperatures. The model is based on an implicit temperature ordering and the “transshipment model” proposed by Papoulias and Grossmann (1983). It is supplemented with a set of logical relationships related to the relative position of the inlet temperatures of process streams and the dynamic temperature intervals. In the extreme situation of fixed inlet and outlet temperatures, the model reduces to the “transshipment model”. Several examples with fixed and variable temperatures are presented to illustrate the model's performance.

Logic-Based Outer-Approximation Algorithm for Solving Discrete-Continuous Dynamic Optimization Problems

We present an extension of the logic outer-approximation algorithm for dealing with disjunctive discrete-continuous optimal control problems whose dynamic behavior is modeled in terms of differential-algebraic equations. Although the proposed algorithm can be applied to a wide variety of discrete-continuous optimal control problems, we are mainly interested in problems where disjunctions are also present. Disjunctions are included to take into account only certain parts of the underlying model which become relevant under some processing conditions. By doing so the numerical robustness of the optimization algorithm improves since those parts of the model that are not active are discarded leading to a reduced size problem and avoiding potential model singularities. We test the proposed algorithm using three examples of different complex dynamic behavior. In all the case studies the number of iterations and the computational effort required to obtain the optimal solutions is modest and the solutions are relatively easy to find.

A Computational Model of the Belief System Under the Scope of Social Communication

This paper presents an approach to the belief system based on a computational framework in three levels: first, the logic level with the definition of binary local rules, second, the arithmetic level with the definition of recursive functions and finally the behavioural level with the definition of a recursive construction pattern. Social communication is achieved when different beliefs are expressed, modified, propagated and shared through social nets. This approach is useful to mimic the belief system because the defined functions provide different ways to process the same incoming information as well as a means to propagate it. Our model also provides a means to cross different beliefs so, any incoming information can be processed many times by the same or different functions as it occurs is social nets.

Evaluation of the potential of InSAR time series to study the spatio-temporal evolution of piezometric levels in the Madrid aquifer

The Tertiary detritic aquifer of Madrid (TDAM), with an average thickness of 1500 m and a heterogeneous, anisotropic structure, supplies water to Madrid, the most populated city of Spain (3.2 million inhabitants in the metropolitan area). Besides its complex structure, a previous work focused in the north-northwest of Madrid city showed that the aquifer behaves quasi elastically trough extraction/recovery cycles and ground uplifting during recovery periods compensates most of the ground subsidence measured during previous extraction periods (Ezquerro et al., 2014). Therefore, the relationship between ground deformation and groundwater level through time can be simulated using simple elastic models. In this work, we model the temporal evolution of the piezometric level in 19 wells of the TDAM in the period 1997–2010. Using InSAR and piezometric time series spanning the studied period, we first estimate the elastic storage coefficient (Ske) for every well. Both, the Ske of each well and the average Ske of all wells, are used to predict hydraulic heads at the different well locations during the study period and compared against the measured hydraulic heads, leading to very similar errors when using the Ske of each well and the average Ske of all wells: 14 and 16 % on average respectively. This result suggests that an average Ske can be used to estimate piezometric level variations in all the points where ground deformation has been measured by InSAR, thus allowing production of piezometric level maps for the different extraction/recovery cycles in the TDAM.

Testing a new Free Core Nutation empirical model

The Free Core Nutation (FCN) is a free mode of the Earth's rotation caused by the different material characteristics of the Earth's core and mantle. This causes the rotational axes of those layers to slightly diverge from each other, resulting in a wobble of the Earth's rotation axis comparable to nutations. In this paper we focus on estimating empirical FCN models using the observed nutations derived from the VLBI sessions between 1993 and 2013. Assuming a fixed value for the oscillation period, the time-variable amplitudes and phases are estimated by means of multiple sliding window analyses. The effects of using different a priori Earth Rotation Parameters (ERP) in the derivation of models are also addressed. The optimal choice of the fundamental parameters of the model, namely the window width and step-size of its shift, is searched by performing a thorough experimental analysis using real data. The former analyses lead to the derivation of a model with a temporal resolution higher than the one used in the models currently available, with a sliding window reduced to 400 days and a day-by-day shift. It is shown that this new model increases the accuracy of the modeling of the observed Earth's rotation. Besides, empirical models determined from USNO Finals as a priori ERP present a slightly lower Weighted Root Mean Square (WRMS) of residuals than IERS 08 C04 along the whole period of VLBI observations, according to our computations. The model is also validated through comparisons with other recognized models. The level of agreement among them is satisfactory. Let us remark that our estimates give rise to the lowest residuals and seem to reproduce the FCN signal in more detail.