Lower bound cost estimation for logic programs

It is generally recognized that information about the runtime cost of computations can be useful for a variety of applications, including program transformation, granularity control during parallel execution, and query optimization in deductive databases. Most of the work to date on compile-time cost estimation of logic programs has focused on the estimation of upper bounds on costs. However, in many applications, such as parallel implementations on distributed-memory machines, one would prefer to work with lower bounds instead. The problem with estimating lower bounds is that in general, it is necessary to account for the possibility of failure of head unification, leading to a trivial lower bound of 0. In this paper, we show how, given type and mode information about procedures in a logic program, it is possible to (semi-automatically) derive nontrivial lower bounds on their computational costs. We also discuss the cost analysis for the special and frequent case of divide-and-conquer programs and show how —as a pragmatic short-term solution —it may be possible to obtain useful results simply by identifying and treating divide-and-conquer programs specially.

B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Conditional parallelization of nonStrict independence. Procedures and assessmen

This paper presents a conditional parallelization process for and-parallelism based on the notion of non-strict independence, a more relaxed notion than the traditional of strict independence. By using this notion, a parallelism annotator can extract more parallelism from programs. On the other hand, the intrinsic complexity of non-strict independence poses new challenges to this task. We report here on the implementation we have accomplished of an annotator for non-strict independence, capable of producing both static and dynamic execution graphs. This implementation, along with the also implemented independence checker and their integration in our system, have resulted what is, to the best of our knowledge, the first parallelizing compiler based on nonstrict independence which produces dynamic execution graphs. The paper also presents a preliminary assessment of the implemented tools, comparing them with the existing ones for strict independence, which shows encouraging results.

The TRANSPLANTA collection of Arabidopsis lines: a resource for functional analysis of transcription factors based on their conditional overexpression.

Los factores de transcripción (FTs) son reguladores clave de la expresión génica en todos los organismos. En eucariotas los FTs con frecuencia están representados por miembros funcionalmente redundantes de familias génicas de gran tamaño. La sobreexpresión de FTs puede representar una herramienta para revelar las funciones biológicas de FTs redundantes en plantas; sin embargo, la sobreexpresión constitutiva de FTs con frecuencia conlleva diversos defectos en el desarrollo, impidiendo su caracterización funcional. Sin embargo, aproximaciones de sobreexpresión condicional podrían ayudar a solventar este problema. En el consorcio TRANSPLANTA, en el que participan varios laboratorios del CBGP, hemos generado una colección de líneas transgénicas de Arabidopsis, cada una de las cuales expresa un FT bajo el control de un promotor inducible por ?estradiol. Hasta el momento se han generado 1636 líneas homocigotas independientes que corresponden a 634 FTs diferentes, lo que representa una media de 2,6 líneas por cada FT. Como confirmación de la utilidad de esta herramienta, el tratamiento con ?estradiol de líneas que expresaban condicionalmente FTs provoca alteraciones fenotípicas tales como proliferación de pelos radiculares, senescencia inducida por oscuridad, acumulación de antocianinas y enanismo, y que corroboran fenotipos previamente descritos debidos a la sobreexpresión de dichos FTs. Rastreos realizados posteriormente con otras líneas TRANSPLANTA han permitido la identificación de FTs implicados en diferentes procesos biológicos de plantas, confirmando que la colección es una herramienta valiosa para la caracterización funcional de FTs. Las semillas de las líneas TRANSPLANTA han sido depositadas en el Nottingham Arabidopsis Stock Centre para su distribución posterior.

Virtual-bound, filamentary and layered states in a box-shaped quantum dot of square potential form the exact numerical solution of the effective mass Schrodinger equation

The effective mass Schrodinger equation of a QD of parallelepipedic shape with a square potential well is solved by diagonalizing the exact Hamiltonian matrix developed in a basis of separation-of-variables wavefunctions. The expected below bandgap bound states are found not to differ very much from the former approximate calculations. In addition, the presence of bound states within the conduction band is confirmed. Furthermore, filamentary states bounded in two dimensions and extended in one dimension and layered states with only one dimension bounded, all within the conduction band which are similar to those originated in quantum wires and quantum wells coexist with the ordinary continuum spectrum of plane waves. All these subtleties are absent in spherically shaped quantum dots, often used for modeling.

Conditional density approximations with mixtures of polynomials

Mixtures of polynomials (MoPs) are a non-parametric density estimation technique especially designed for hybrid Bayesian networks with continuous and discrete variables. Algorithms to learn one- and multi-dimensional (marginal) MoPs from data have recently been proposed. In this paper we introduce two methods for learning MoP approximations of conditional densities from data. Both approaches are based on learning MoP approximations of the joint density and the marginal density of the conditioning variables, but they differ as to how the MoP approximation of the quotient of the two densities is found. We illustrate and study the methods using data sampled from known parametric distributions, and we demonstrate their applicability by learning models based on real neuroscience data. Finally, we compare the performance of the proposed methods with an approach for learning mixtures of truncated basis functions (MoTBFs). The empirical results show that the proposed methods generally yield models that are comparable to or significantly better than those found using the MoTBF-based method.

The TRANSPLANTA collection of Arabidopsis lines: a resource for functional analysis of transcription factors based on their conditional over-expression

Transcription factors (TFs) are key regulators of gene expression in all organisms. In eukaryotes, TFs are often represented by functionally redundant members of large gene families. Overexpression might prove a means to unveil the biological functions of redundant TFs; however, constitutive overexpression of TFs frequently causes severe developmental defects, preventing their functional characterization. Conditional overexpression strategies help to overcome this problem. Here, we report on the TRANSPLANTA collection of Arabidopsis lines, each expressing one of 949 TFs under the control of a β–estradiol-inducible promoter. Thus far, 1636 independent homozygous lines, representing an average of 2.6 lines for every TF, have been produced for the inducible expression of 634 TFs. Along with a GUS-GFP reporter, randomly selected TRANSPLANTA lines were tested and confirmed for conditional transgene expression upon β–estradiol treatment. As a proof of concept for the exploitation of this resource, β–estradiol-induced proliferation of root hairs, dark-induced senescence, anthocyanin accumulation and dwarfism were observed in lines conditionally expressing full-length cDNAs encoding RHD6, WRKY22, MYB123/TT2 and MYB26, respectively, in agreement with previously reported phenotypes conferred by these TFs. Further screening performed with other TRANSPLANTA lines allowed the identification of TFs involved in different plant biological processes, illustrating that the collection is a powerful resource for the functional characterization of TFs. For instance, ANAC058 and a TINY/AP2 TF were identified as modulators of ABA-mediated germination potential, and RAP2.10/DEAR4 was identified as a regulator of cell death in the hypocotyl–root transition zone. Seeds of TRANSPLANTA lines have been deposited at the Nottingham Arabidopsis Stock Centre for further distribution.

Class-Conditional Probabilistic Principal Component Analysis: application to gender recognition

Este trabajo presenta una solución al problema del reconocimiento del género de un rostro humano a partir de una imagen. Adoptamos una aproximación que utiliza la cara completa a través de la textura de la cara normalizada y redimensionada como entrada a un clasificador Näive Bayes. Presentamos la técnica de Análisis de Componentes Principales Probabilístico Condicionado-a-la-Clase (CC-PPCA) para reducir la dimensionalidad de los vectores de características para la clasificación y asegurar la asunción de independencia para el clasificador. Esta nueva aproximación tiene la deseable propiedad de presentar un modelo paramétrico sencillo para las marginales. Además, este modelo puede estimarse con muy pocos datos. En los experimentos que hemos desarrollados mostramos que CC-PPCA obtiene un 90% de acierto en la clasificación, resultado muy similar al mejor presentado en la literatura---ABSTRACT---This paper presents a solution to the problem of recognizing the gender of a human face from an image. We adopt a holistic approach by using the cropped and normalized texture of the face as input to a Naïve Bayes classifier. First it is introduced the Class-Conditional Probabilistic Principal Component Analysis (CC-PPCA) technique to reduce the dimensionality of the classification attribute vector and enforce the independence assumption of the classifier. This new approach has the desirable property of a simple parametric model for the marginals. Moreover this model can be estimated with very few data. In the experiments conducted we show that using CCPPCA we get 90% classification accuracy, which is similar result to the best in the literature. The proposed method is very simple to train and implement.

The major allergens of birch pollen and cow milk, Bet v 1 and Bos d 5, are structurally related to human licocalin 2, enabling them to manipulate T-helper cells depending on their load with siderophore-bound iron

We conclude that Bet v 1 and Bos d 5 not only structurally mimic human LCN2, but also functionally by their ability to bind iron via siderophores. The apo-forms promote Th2 cells, whereas the holo-forms appear to be immunosuppressive. These results provide for the first time a functional understanding on the principle of allergenicity of major allergens from entirely independent sources, like birch and milk.

Propeptide and glutamate-containing substrates bound to the vitamin K-dependent carboxylase convert its vitamin K epoxidase function from an inactive to an active state

The vitamin K-dependent γ-glutamyl carboxylase catalyzes the posttranslational conversion of glutamic acid to γ-carboxyglutamic acid in precursor proteins containing the γ-carboxylation recognition site (γ-CRS). During this reaction, glutamic acid is converted to γ-carboxyglutamic acid while vitamin KH2 is converted to vitamin K 2,3-epoxide. Recombinant bovine carboxylase was purified free of γ-CRS-containing propeptide and endogenous substrate in a single-step immunoaffinity procedure. We show that in the absence of γ-CRS-containing propeptide and/or glutamate-containing substrate, carboxylase has little or no epoxidase activity. Epoxidase activity is induced by Phe-Leu-Glu-Glu-Leu (FLEEL) (9.2 pmol per min per pmol of enzyme), propeptide, residues −18 to −1 of proFactor IX (3.4 pmol per min per pmol of enzyme), FLEEL and propeptide (100 pmol per min per pmol of enzyme), and proPT28 (HVFLAPQQARSLLQRVRRANTFLEEVRK, residues −18 to +10 of human acarboxy-proprothrombin), (5.3 pmol per min per pmol of enzyme). These results indicate that in the absence of propeptide or glutamate-containing substrate, oxygenation of vitamin K by the carboxylase does not occur. Upon addition of propeptide or glutamate-containing substrate, the enzyme is converted to an active epoxidase. This regulatory mechanism prevents the generation of a highly reactive vitamin K intermediate in the absence of a substrate for carboxylation.

Conditional switching of vascular endothelial growth factor (VEGF) expression in tumors: Induction of endothelial cell shedding and regression of hemangioblastoma-like vessels by VEGF withdrawal

We have recently shown that VEGF functions as a survival factor for newly formed vessels during developmental neovascularization, but is not required for maintenance of mature vessels. Reasoning that expanding tumors contain a significant fraction of newly formed and remodeling vessels, we examined whether abrupt withdrawal of VEGF will result in regression of preformed tumor vessels. Using a tetracycline-regulated VEGF expression system in xenografted C6 glioma cells, we showed that shutting off VEGF production leads to detachment of endothelial cells from the walls of preformed vessels and their subsequent death by apoptosis. Vascular collapse then leads to hemorrhages and extensive tumor necrosis. These results suggest that enforced withdrawal of vascular survival factors can be applied to target preformed tumor vasculature in established tumors. The system was also used to examine phenotypes resulting from over-expression of VEGF. When expression of the transfected VEGF cDNA was continuously “on,” tumors became hyper-vascularized with abnormally large vessels, presumably arising from excessive fusions. Tumors were significantly less necrotic, suggesting that necrosis in these tumors is the result of insufficient angiogenesis.

Probes bound to myosin Cys-707 rotate during length transients in contraction

It is widely conjectured that muscle shortens because portions of myosin molecules (the “cross-bridges”) impel the actin filament to which they transiently attach and that the impulses result from rotation of the cross-bridges. Crystallography indicates that a cross-bridge is articulated–consisting of a globular catalytic/actin-binding domain and a long lever arm that may rotate. Conveniently, a rhodamine probe with detectable attitude can be attached between the globular domain and the lever arm, enabling the observer to tell whether the anchoring region rotates. Well-established signature effects observed in shortening are tension changes resulting from the sudden release or quick stretch of active muscle fibers. In this investigation we found that closely correlated with such tension changes are changes in the attitude of the rhodamine probes. This correlation strongly supports the conjecture about how shortening is achieved.

Identification of the prooxidant site of human ceruloplasmin: A model for oxidative damage by copper bound to protein surfaces

Free transition metal ions oxidize lipids and lipoproteins in vitro; however, recent evidence suggests that free metal ion-independent mechanisms are more likely in vivo. We have shown previously that human ceruloplasmin (Cp), a serum protein containing seven Cu atoms, induces low density lipoprotein oxidation in vitro and that the activity depends on the presence of a single, chelatable Cu atom. We here use biochemical and molecular approaches to determine the site responsible for Cp prooxidant activity. Experiments with the His-specific reagent diethylpyrocarbonate (DEPC) showed that one or more His residues was specifically required. Quantitative [14C]DEPC binding studies indicated the importance of a single His residue because only one was exposed upon removal of the prooxidant Cu. Plasmin digestion of [14C]DEPC-treated Cp (and N-terminal sequence analysis of the fragments) showed that the critical His was in a 17-kDa region containing four His residues in the second major sequence homology domain of Cp. A full length human Cp cDNA was modified by site-directed mutagenesis to give His-to-Ala substitutions at each of the four positions and was transfected into COS-7 cells, and low density lipoprotein oxidation was measured. The prooxidant site was localized to a region containing His426 because CpH426A almost completely lacked prooxidant activity whereas the other mutants expressed normal activity. These observations support the hypothesis that Cu bound at specific sites on protein surfaces can cause oxidative damage to macromolecules in their environment. Cp may serve as a model protein for understanding mechanisms of oxidant damage by copper-containing (or -binding) proteins such as Cu, Zn superoxide dismutase, and amyloid precursor protein.

Elevated free nitrotyrosine levels, but not protein-bound nitrotyrosine or hydroxyl radicals, throughout amyotrophic lateral sclerosis (ALS)-like disease implicate tyrosine nitration as an aberrant in vivo property of one familial ALS-linked superoxide dismutase 1 mutant

Mutations in superoxide dismutase 1 (SOD1; EC 1.15.1.1) are responsible for a proportion of familial amyotrophic lateral sclerosis (ALS) through acquisition of an as-yet-unidentified toxic property or properties. Two proposed possibilities are that toxicity may arise from imperfectly folded mutant SOD1 catalyzing the nitration of tyrosines [Beckman, J. S., Carson, M., Smith, C. D. & Koppenol, W. H. (1993) Nature (London) 364, 584] through use of peroxynitrite or from peroxidation arising from elevated production of hydroxyl radicals through use of hydrogen peroxide as a substrate [Wiedau-Pazos, M., Goto, J. J., Rabizadeh, S., Gralla, E. D., Roe, J. A., Valentine, J. S. & Bredesen, D. E. (1996) Science 271, 515–518]. To test these possibilities, levels of nitrotyrosine and markers for hydroxyl radical formation were measured in two lines of transgenic mice that develop progressive motor neuron disease from expressing human familial ALS-linked SOD1 mutation G37R. Relative to normal mice or mice expressing high levels of wild-type human SOD1, 3-nitrotyrosine levels were elevated by 2- to 3-fold in spinal cords coincident with the earliest pathological abnormalities and remained elevated in spinal cord throughout progression of disease. However, no increases in protein-bound nitrotyrosine were found during any stage of SOD1-mutant-mediated disease in mice or at end stage of sporadic or SOD1-mediated familial human ALS. When salicylate trapping of hydroxyl radicals and measurement of levels of malondialdehyde were used, there was no evidence throughout disease progression in mice for enhanced production of hydroxyl radicals or lipid peroxidation, respectively. The presence of elevated nitrotyrosine levels beginning at the earliest stages of cellular pathology and continuing throughout progression of disease demonstrates that tyrosine nitration is one in vivo aberrant property of this ALS-linked SOD1 mutant.

Proton transfer from the bulk to the bound ubiquinone QB of the reaction center in chromatophores of Rhodobacter sphaeroides: Retarded conveyance by neutral water

The mechanism of proton transfer from the bulk into the membrane protein interior was studied. The light-induced reduction of a bound ubiquinone molecule QB by the photosynthetic reaction center is accompanied by proton trapping. We used kinetic spectroscopy to measure (i) the electron transfer to QB (at 450 nm), (ii) the electrogenic proton delivery from the surface to the QB site (by electrochromic carotenoid response at 524 nm), and (iii) the disappearance of protons from the bulk solution (by pH indicators). The electron transfer to QB− and the proton-related electrogenesis proceeded with the same time constant of ≈100 μs (at pH 6.2), whereas the alkalinization in the bulk was distinctly delayed (τ ≈ 400 μs). We investigated the latter reaction as a function of the pH indicator concentration, the added pH buffers, and the temperature. The results led us to the following conclusions: (i) proton transfer from the surface-located acidic groups into the QB site followed the reduction of QB without measurable delay; (ii) the reprotonation of these surface groups by pH indicators and hydronium ions was impeded, supposedly, because of their slow diffusion in the surface water layer; and (iii) as a result, the protons were slowly donated by neutral water to refill the proton vacancies at the surface. It is conceivable that the same mechanism accounts for the delayed relaxation of the surface pH changes into the bulk observed previously with bacteriorhodopsin membranes and thylakoids. Concerning the coupling between proton pumps in bioenergetic membranes, our results imply a tendency for the transient confinement of protons at the membrane surface.