Conditional expression of the ubiquitous transcription factor MafK induces erythroleukemia cell differentiation.

Transcription factor NF-E2 activity is thought to be crucial for the transcriptional regulation of many erythroid-specific genes. The three small Maf family proteins (MafF, MafG, and MafK) that are closely related to the c-Maf protooncoprotein constitute half of the NF-E2 activity by forming heterodimers with the large tissue-restricted subunit of NF-E2 called p45. We have established and characterized murine erythroleukemia cells that conditionally overexpress MafK from a metallothionein promoter. The conditional expression of MafK caused accumulation of hemoglobin, an indication of terminal differentiation along the erythroid pathway. Concomitantly, DNA binding activities containing MafK were induced within the MafK-overexpressing cells. These results demonstrate that MafK can promote the erythroid differentiation program in erythroleukemia cells and suggest that the small Maf family proteins are key regulatory molecules for erythroid differentiation.

Conditional site-specific recombination in mammalian cells using a ligand-dependent chimeric Cre recombinase.

We have developed a strategy to generate mutant genes in mammalian cells in a conditional manner by employing a fusion protein, Cre-ER, consisting of the loxP site-specific Cre recombinase linked to the ligand-binding domain of the human estrogen receptor. We have established homozygous retinoid X receptor alpha-negative (RXR alpha-/-) F9 embryonal carcinoma cells constitutively expressing Cre-ER and have shown that estradiol or the estrogen agonist/antagonist 4-hydroxytamoxifen efficiently induced the recombinase activity, whereas no activity was detected in the absence of ligand or in the presence of the antiestrogen ICI 164,384. Furthermore, using a targeting vector containing a selection marker flanked by loxP sites, we have inactivated one retinoic acid receptor alpha allele in such a line, demonstrating that the presence of the recombinase does not inhibit homologous recombination. Combining this conditional site-specific recombination system with tissue-specific expression of Cre-ER may allow modification of the mammalian genome in vivo in a spatiotemporally regulated manner.

Interactions between quantitative trait loci in soybean in which trait variation at one locus is conditional upon a specific allele at another.

A large recombinant inbred population of soybean has been characterized for 220 restriction fragment-length polymorphism (RFLP) markers. Values for agronomic traits also have been measured. Quantitative trait loci (QTL) for height, yield, and maturity were located by their linkage to RFLP markers. QTL controlling large amounts of trait variation were analyzed for the dependence of trait variation on particular alleles at a second locus by comparing cumulative distributions of the trait for each genotype (four genotypes per pair of loci). Interesting pairs of loci were analyzed statistically with maximum likelihood and Monte Carlo comparison of additive and epistatic models. For each locus affecting height, variation was conditional upon the presence of a particular allele at a second unlinked locus that itself explained little or no trait variation. The results show that interactions between QTL are frequent and control large effects. Interactions distinguished between different QTL in a single linkage group and between QTL that affect different traits closely linked to one RFLP marker--i.e., distinguished between pleiotropy and closely linked genes. The implications for the evolution of inbreeding plants and for the construction of agronomic breeding strategies are discussed.

Conditional transformation of a pancreatic beta-cell line derived from transgenic mice expressing a tetracycline-regulated oncogene.

Conditional oncogene expression in transgenic mice is of interest for studying the oncoprotein requirements during tumorigenesis and for deriving cell lines that can be induced to undergo growth arrest and enhance their differentiated functions. We utilized the bacterial tetracycline (Tet)-resistance operon regulatory system (tet) from Tn10 of Escherichia coli to control simian virus 40 (SV40) large tumor (T) antigen (TAg) gene expression and to generate conditionally transformed pancreatic beta cells in transgenic mice. A fusion protein containing the tet repressor (tetR) and the activating domain of the herpes simplex virus protein VP16, which converts the repressor into a transcription activator, was produced in beta cells of transgenic mice under control of the insulin promoter. In a separate lineage of transgenic mice, the TAg gene was introduced under control of a tandem array of tet operator sequences and a minimal promoter, which by itself is not sufficient for gene expression. Mice from the two lineages were then crossed to generate double-transgenic mice. Expression of the tetR fusion protein in beta cells activated TAg transcription, resulting in the development of beta-cell tumors. Tumors arising in the absence of Tet were cultured to derive a stable beta-cell line. Cell incubation in the presence of Tet led to inhibition of proliferation, as shown by decreased BrdUrd and [3H]thymidine incorporation. The Tet derivative anhydrotetracycline showed a 100-fold stronger inhibition compared with Tet. When administered in vivo, Tet efficiently inhibited beta-cell proliferation. These findings indicate that transformed beta cells selected for growth during a tumorigenesis process in vivo maintain a dependence on the continuous presence of the TAg oncoprotein for their proliferation. This system provides an approach for generation of beta-cell lines for cell therapy of diabetes as well as conditionally transformed cell lines from other cell types of interest.

Testing co-volatility spillovers for natural gas spot, futures and ETF spot using dynamic conditional covariances

There is substantial empirical evidence that energy and financial markets are closely connected. As one of the most widely-used energy resources worldwide, natural gas has a large daily trading volume. In order to hedge the risk of natural gas spot markets, a large number of hedging strategies can be used, especially with the rapid development of natural gas derivatives markets. These hedging instruments include natural gas futures and options, as well as Exchange Traded Fund (ETF) prices that are related to natural gas stock prices. The volatility spillover effect is the delayed effect of a returns shock in one physical, biological or financial asset on the subsequent volatility or co-volatility of another physical, biological or financial asset. Investigating volatility spillovers within and across energy and financial markets is a crucial aspect of constructing optimal dynamic hedging strategies. The paper tests and calculates spillover effects among natural gas spot, futures and ETF markets using the multivariate conditional volatility diagonal BEKK model. The data used include natural gas spot and futures returns data from two major international natural gas derivatives markets, namely NYMEX (USA) and ICE (UK), as well as ETF data of natural gas companies from the stock markets in the USA and UK. The empirical results show that there are significant spillover effects in natural gas spot, futures and ETF markets for both USA and UK. Such a result suggests that both natural gas futures and ETF products within and beyond the country might be considered when constructing optimal dynamic hedging strategies for natural gas spot prices.

Clarity, Light, and Logic : Parallels between Olafur Eliasson’s The weather project and the Gothic Cathedral

This Master’s Research Paper investigates Olafur Eliasson’s The weather project as a case study for the dialogue between Gothic artistic principles and prominent elements of contemporary art. A product of a post-modern mindset, weakened historicity allows us to examine these connections anew; past, present, and future blur and artists (and viewers) have the whole of time from which to gain inspiration and meaning in works of art. I demonstrate similarities through theories on phenomenology; the spatiotemporal relationship between viewer and artwork; the convergence of art and science; and the communal, quasi-liminal experience of pilgrimage. I embrace Eliasson’s belief in the self-reflexive potential of art and the importance of the viewer’s own values, memories, and methods of seeing. This new interpretive layer will hopefully offer a richer experience for future participants of both Gothic cathedrals and environments produced by Studio Olafur Eliasson.

An approach based on Logic Forms and WordNet relationships to Textual Entailment performance

This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.

Applying logic forms and statistical methods to CL-SR performance

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

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.

Truth Values in t-norm based Systems Many-valued FUZZY Logic

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.

Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers

Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.

Logic-Based Outer Approximation for the Design of Discrete-Continuous Dynamic Systems with Implicit Discontinuities

We address the optimization of discrete-continuous dynamic optimization problems using a disjunctive multistage modeling framework, with implicit discontinuities, which increases the problem complexity since the number of continuous phases and discrete events is not known a-priori. After setting a fixed alternative sequence of modes, we convert the infinite-dimensional continuous mixed-logic dynamic (MLDO) problem into a finite dimensional discretized GDP problem by orthogonal collocation on finite elements. We use the Logic-based Outer Approximation algorithm to fully exploit the structure of the GDP representation of the problem. This modelling framework is illustrated with an optimization problem with implicit discontinuities (diver problem).

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.

Conditional Order-m Efficiency of Wastewater Treatment Plants: The Role of Environmental Factors

The growing economic and environmental importance of managing water resources at a global level also entails greater efforts and interest in improving the functioning and efficiency of the increasingly more numerous wastewater treatment plants (WWTPs). In this context, this study analyzes the efficiency of a uniform sample of plants of this type located in the region of Valencia (Spain). The type of efficiency measure used for this (conditional order-m efficiency) allows continuous and discrete contextual variables to be directly involved in the analysis and enables the assessment of their statistical significance and effect (positive or negative). The main findings of the study showed that the quality of the influent water and also the size and age of the plants had a significant influence on their efficiency levels. In particular, as regards the effect of such variables, the findings pointed to the existence of an inverse relationship between the quality of the influent water and the efficiency of the WWTPs. Also, a lower annual volume of treated water and more modern installations showed a positive influence. Additionally, the average efficiency levels observed turned out to be higher than those reported in previous studies.