Search results for "EXPRESSION"

Combining finite learning automata with GSAT for the satisfiability problem

2010

A large number of problems that occur in knowledge-representation, learning, very large scale integration technology (VLSI-design), and other areas of artificial intelligence, are essentially satisfiability problems. The satisfiability problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. The growing need for more efficient and scalable algorithms has led to the development of a large number of SAT solvers. This paper reports the first approach that combines finite learning automata with the greedy satisfiability algorithm (GSAT). In brief, we introduce a new algorithm that integrates finite learning automata and traditional GSAT use…

More Power through Symbolic Computation: Extending Stata by using the Maxima Computer algebra system

2015

Maxima is a free and open-source computer algebra system that can perform symbolic computations such as solving equations, determining derivatives of functions, obtaining Taylor series, and manipulating algebraic expressions. In this article, I present the Maxima Bridge System, which is a collection of software programs that allows Stata to interface with Maxima so that Maxima can be used for symbolic computation to transfer data from Stata to Maxima and to retrieve results from Maxima. The cooperation between Stata and Maxima provides an environment for statistical analysis in which symbolic computation can be easily used together with all the facilities supplied by Stata. In this environ…

Analogical Modeling and Numerical Simulation for Sintering Phenomena

2013

In this paper the authors propose an approach for analogical modeling and numerical simulation of the phenomena of sintering, taking into account different cases depending on the type of energy used in the process of aggregation and the nature of the material powder, using a software which simulates the propagation and the control of the temperature. Many physical phenomena encountered in science and engineering can be described mathematically through partial differential equations (PDE) and ordinary differential equations (ODE) such as propagation phenomena, engineering applications, hydrotechnics, chemistry, pollution a.s.o. There may be situations when the exact establish of the analytic…

On Diving in Trees Thomas Schwentick

2000

The paper is concerned with queries on tree-structured data. It defines fragments of first-order logic (FO) and FO extended by regular expressions along paths. These fragments have the same expressive power as the full logics themselves. On the other hand, they can be evaluated reasonably efficient, even if the formula which represents the query is considered as part of the input.

The designer cytokine hyper-interleukin-6 is a potent activator of STAT3-dependent gene transcription in vivo and in vitro.

1999

Interleukin-6 (IL-6) triggers pivotal pathways in vivo. The designer protein hyper-IL-6 (H-IL-6) fuses the soluble IL-6 receptor (sIL-6R) through an intermediate linker with IL-6. The intracellular pathways that are triggered by H-IL-6 are not defined yet. Therefore, we studied the molecular mechanisms leading to H-IL-6-dependent gene activation. H-IL-6 stimulates haptoglobin mRNA expression in HepG2 cells, which is transcriptionally mediated as assessed by run-off experiments. The increase in haptoglobin gene transcription correlates with higher nuclear translocation of tyrosine-phosphorylated STAT3 and its DNA binding. As H-IL-6 stimulates STAT3-dependent gene transcription, we compared t…

Stress response in Drosophila subobscura

1988

The pattern of puffing and protein synthesis was determined in individuals of Drosophila subobscura subjected to heat shock. Depending on the extent of the heat treatment, the response at the puffing level varied. Some puffs were expressed at 31°–34°C, and others at 37° C. Considering the response as a whole the depression of gene activity after shock at 31°–34° C in individuals raised at 19° C was greater than with the other treatments. Six major heat shock proteins (Hsps) were found in this species. The properties of the high molecular weight proteins are conserved their electrophoretic characteristics and the range of temperatures over which they are synthesized are close to those in oth…

2004

In rats, two peroxisomal 3-ketoacyl-CoA thiolase genes (A and B) have been cloned, whereas only one thiolase gene is found in humans. The aim of this study was thus to clone the different mouse thiolase genes in order to study both their tissue expression and their associated enzymatic activity. In this study, we cloned and characterized two mouse peroxisomal 3-ketoacyl-CoA thiolase genes (termed thiolase A and B). Both thiolase A and B genes contain 12 exons and 11 introns. Using RNA extracted from mouse liver, we cloned the two corresponding cDNAs. Thiolase A and B cDNAs possess an open reading frame of 1272 nucleotides encoding a protein of 424 amino acids. In the coding sequence, the tw…

Thiosulfate Reduction in Salmonella enterica Is Driven by the Proton Motive Force

2012

ABSTRACT Thiosulfate respiration in Salmonella enterica serovar Typhimurium is catalyzed by the membrane-bound enzyme thiosulfate reductase. Experiments with quinone biosynthesis mutants show that menaquinol is the sole electron donor to thiosulfate reductase. However, the reduction of thiosulfate by menaquinol is highly endergonic under standard conditions (Δ E °′ = −328 mV). Thiosulfate reductase activity was found to depend on the proton motive force (PMF) across the cytoplasmic membrane. A structural model for thiosulfate reductase suggests that the PMF drives endergonic electron flow within the enzyme by a reverse loop mechanism. Thiosulfate reductase was able to catalyze the combined …

Taspase1: a 'misunderstood' protease with translational cancer relevance

2015

Proteolysis is not only a critical requirement for life, but the executing enzymes also play important roles in numerous pathological conditions, including cancer. Therefore, targeting proteases is clearly relevant for improving cancer patient care. However, to effectively control proteases, a profound knowledge of their mechanistic function as well as their regulation and downstream signalling in health and disease is required. The highly conserved protease Threonine Aspartase1 (Taspase1) is overexpressed in numerous liquid and solid malignancies and was characterized as a 'non-oncogene addiction' protease. Although Taspase1 was shown to cleave various regulatory proteins in humans as well…

Serine- and Threonine/Valine-Dependent Activation of PDK and Tor Orthologs Converge on Sch9 to Promote Aging

2014

Dietary restriction extends longevity in organisms ranging from bacteria to mice and protects primates from a variety of diseases, but the contribution of each dietary component to aging is poorly understood. Here we demonstrate that glucose and specific amino acids promote stress sensitization and aging through the differential activation of the Ras/cAMP/PKA, PKH1/2 and Tor/S6K pathways. Whereas glucose sensitized cells through a Ras-dependent mechanism, threonine and valine promoted cellular sensitization and aging primarily by activating the Tor/S6K pathway and serine promoted sensitization via PDK1 orthologs Pkh1/2. Serine, threonine and valine activated a signaling network in which Sch…