On the correctness and efficiency of independent and-parallelism in logic programs

This paper presents and proves some fundamental results for independent and-parallelism (IAP). First, the paper treats the issues of correctness and efficiency: after defining strict and non-strict goal independence, it is proved that if strictly independent goals are executed in parallel the solutions obtained are the same as those produced by standard sequential execution. It is also shown that, in the absence of failure, the parallel proof procedure doesn't genérate any additional work (with respect to standard SLDresolution) while the actual execution time is reduced. The same results hold even if non-strictly independent goals are executed in parallel, provided a trivial rewriting of such goals is performed. In addition, and most importantly, treats the issue of compile-time generation of IAP by proposing conditions, to be written at compile-time, to efficiently check strict and non-strict goal independence at run-time and proving the sufficiency of such conditions. It is also shown how simpler conditions can be constructed if some information regarding the binding context of the goals to be executed in parallel is available to the compiler trough either local or program-level analysis. These results therefore provide a formal basis for the automatic compile-time generation of IAP. As a corollary of such results, the paper also proves that negative goals are always non-strictly independent, and that goals which share a first occurrence of an existential variable are never independent.

High-efficiency voltage regulator and stabilizer for outdoor lighting installations

This paper presents a high performance system of regulation and stabilization of luminous flux for public street lighting installations. Its purpose is to reduce the luminous flux of the luminaries efficiently by reducing their voltage supply, resulting in the improvement of energy efficiency in the installation. The system is basically composed of electromagnetic components which provide robustness and high-performance to the device, as well as minimum maintenance requirements. However, the voltage regulation is based on the application of voltage steps. Aging studies of the luminaries have been carried out to analyze the impact of this discrete voltage regulation. A specific prototype of this voltage and stabilizer regulator have been in operation in a real outdoor lighting installation for more than one year.

A RUNX2/PEBP2αA/CBFA1 mutation displaying impaired transactivation and Smad interaction in cleidocranial dysplasia

Cleidocranial dysplasia (CCD), an autosomal-dominant human bone disease, is thought to be caused by heterozygous mutations in runt-related gene 2 (RUNX2)/polyomavirus enhancer binding protein 2αA (PEBP2αA)/core-binding factor A1 (CBFA1). To understand the mechanism underlying the pathogenesis of CCD, we studied a novel mutant of RUNX2, CCDαA376, originally identified in a CCD patient. The nonsense mutation, which resulted in a truncated RUNX2 protein, severely impaired RUNX2 transactivation activity. We show that signal transducers of transforming growth factor β superfamily receptors, Smads, interact with RUNX2 in vivo and in vitro and enhance the transactivation ability of this factor. The truncated RUNX2 protein failed to interact with and respond to Smads and was unable to induce the osteoblast-like phenotype in C2C12 myoblasts on stimulation by bone morphogenetic protein. Therefore, the pathogenesis of CCD may be related to the impaired Smad signaling of transforming growth factor β/bone morphogenetic protein pathways that target the activity of RUNX2 during bone formation.

Mice with a targeted mutation in the thyroid hormone β receptor gene exhibit impaired growth and resistance to thyroid hormone

Patients with mutations in the thyroid hormone receptor β (TRβ) gene manifest resistance to thyroid hormone (RTH), resulting in a constellation of variable phenotypic abnormalities. To understand the molecular basis underlying the action of mutant TRβ in vivo, we generated mice with a targeted mutation in the TRβ gene (TRβPV; PV, mutant thyroid hormone receptor kindred PV) by using homologous recombination and the Cre/loxP system. Mice expressing a single PVallele showed the typical abnormalities of thyroid function found in heterozygous humans with RTH. Homozygous PV mice exhibit severe dysfunction of the pituitary–thyroid axis, impaired weight gains, and abnormal bone development. This phenotype is distinct from that seen in mice with a null mutation in the TRβ gene. Importantly, we identified abnormal expression patterns of several genes in tissues of TRβPV mice, demonstrating the interference of the mutant TR with the gene regulatory functions of the wild-type TR in vivo. These results show that the actions of mutant and wild-type TRβ in vivo are distinct. This model allows further study of the molecular action of mutant TR in vivo, which could lead to better treatment for RTH patients.

High efficiency mutagenesis, repair, and engineering of chromosomal DNA using single-stranded oligonucleotides

Homologous DNA recombination is a fundamental, regenerative process within living organisms. However, in most organisms, homologous recombination is a rare event, requiring a complex set of reactions and extensive homology. We demonstrate in this paper that Beta protein of phage λ generates recombinants in chromosomal DNA by using synthetic single-stranded DNAs (ssDNA) as short as 30 bases long. This ssDNA recombination can be used to mutagenize or repair the chromosome with efficiencies that generate up to 6% recombinants among treated cells. Mechanistically, it appears that Beta protein, a Rad52-like protein, binds and anneals the ssDNA donor to a complementary single-strand near the DNA replication fork to generate the recombinant. This type of homologous recombination with ssDNA provides new avenues for studying and modifying genomes ranging from bacterial pathogens to eukaryotes. Beta protein and ssDNA may prove generally applicable for repairing DNA in many organisms.

The assignment of credit through bills of exchange and transmission documents in Andalusi Law

The exchange traffic was a practice that suited the modus vivendi of caravanners and traders in the Islamic world. The inclusion of the Iberian.Peninsula into the most important commercial routes of Muslims – such as the silk route through the North Africa – provides a very solid reason to deepen in the study of the sources that have been preserved about the role that certain credit instruments, which represented an alternative to the coin, might have played in trade centres.