An overview of ciao and its design philosophy

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful autodocumenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.

Why Ciao? An overview of the ciao system's design philosophy

Our intention in this note is not to provide a listing of the many features of the Ciao system: this can be found in part for example in the brochures announcing upcoming versions, in the Ciao website, or in more feature-oriented descriptions such as. Instead in this document we would like to describe the objectives and reasoning followed in our design as well as the fundamental characteristics that in our opinion make Ciao quite unique and hopefully really useful to you as a Ciao user.

The theory of electrostatic probes in strong magnetic fields : Thesis submitted to the Faculty of The Graduate School of the University of Colorado for the Degree Doctor of Philosophy Department of Aerospace Engineering Science

A theory is developed of an electrostatic probe in a fully-ionized plasma in the presence of a strong magnetic field. The ratio of electron Larmor radius to probe transverse dimension is assumed to be small. Poisson's equation, together with kinetic equations for ions and electrons are considered. An asymptotic perturbation method of multiple scales is used by considering the characteristic lengths appearing in the problem. The leading behavior of the solution is found. The results obtained appear to apply to weaker fields also, agreeing with the solutions known in the limit of no magnetic field. The range of potentials for wich results are presented is limited. The basic effects produced by the field are a depletion of the plasma near the probe and a non-monotonic potential surrounding the probe. The ion saturation current is not changed but changes appear in both the floating potential Vf and the slope of the current-voltage diagram at Vf. The transition region extends beyond the space potential Vs,at wich point the current is largely reduced. The diagram does not have an exponential form in this region as commonly assumed. There exists saturation in electron collection. The extent to which the plasma is disturbed is determined. A cylindrical probe has no solution because of a logarithmic singularity at infinity. Extensions of the theory are considered.

ESPÍRITOS DO UNIVERSO RESPONSÁVEIS PELO DESTINO: ESTUDO EXEGÉTICO EM COLOSSENSES 2.8-3.4

Esta dissertação de mestrado analisará a expressão grega ta. stoicei/a tou/ ko,smou, “os elementos do mundo”, que ocorre na carta de Colossenses nos versículos 8 e 20 do segundo capítulo. Será feito um estudo exegético na perícope bíblica 2.8-3.4 da referida carta, bem como uma análise histórica especificamente do termo stoicei/a. O estudo desta expressão é importante para poder se compreender a filosofia colossense mencionada em Cl 2.8. A igreja cristã na cidade de Colossos estava inserida em um contexto social religioso sincrético. Esse sincretismo é percebido claramente em textos de magia como os Papiros Mágicos Gregos, muito comuns na região da Ásia Menor, a mesma onde a igreja colossense estava situada. O sincretismo religioso, envolvendo crenças judaicas e pagãs, reflete as bases dessa filosofia. O autor da carta aos Colossenses refuta a crença nos “elementos do mundo”, bem como a subserviência aos mesmos. Dentre outras crenças, acreditava-se que esses “elementos” poderiam influenciar os acontecimentos sobre a terra e o destino das pessoas. Questões que envolvem práticas acéticas, adoração a anjos e observância de calendário litúrgico, dão os contornos dessa filosofia. O autor da carta enfatiza o senhorio de Cristo, bem como as obras dele em favor dos cristãos colossenses, que proporcionavam a eles, segurança quanto a terem um bom destino. E, além disso, é assegurada uma liberdade aos cristãos colossenses que não podia lhes ser cerceada por quaisquer outras crenças religiosas. Então, as obras de Cristo, bem como o seu senhorio, são os principais argumentos utilizados pelo autor da carta, a fim de afirmar aos cristãos em Colossos que eles não precisam mais temer o destino e nem se submeter aos “elementos do mundo”.

Nonsense mutation in the phosphofructokinase muscle subunit gene associated with retention of intron 10 in one of the isolated transcripts in Ashkenazi Jewish patients with Tarui disease.

Mutations in the human phosphofructokinase muscle subunit gene (PFKM) are known to cause myopathy classified as glycogenosis type VII (Tarui disease). Previously described molecular defects include base substitutions altering encoded amino acids or resulting in abnormal splicing. We report a mutation resulting in phosphofructokinase deficiency in three patients from an Ashkenazi Jewish family. Using a reverse transcription PCR assay, PFKM subunit transcripts differing by length were detected in skeletal muscle tissue of all three affected subjects. In the longer transcript, an insertion of 252 nucleotides totally homologous to the structure of the 10th intron of the PFKM gene was found separating exon 10 from exon 11. In addition, two single base transitions were identified by direct sequencing: [exon 6; codon 95; CGA (Arg) to TGA (stop)] and [exon 7; codon 172; ACC (Thr) to ACT (Thr)] in either transcript. Single-stranded conformational polymorphism and restriction enzyme analyses confirmed the presence of these point substitutions in genomic DNA and strongly suggested homozygosity for the pathogenic allele. The nonsense mutation at codon 95 appeared solely responsible for the phenotype in these patients, further expanding genetic heterogeneity of Tarui disease. Transcripts with and without intron 10 arising from identical mutant alleles probably resulted from differential pre-mRNA processing and may represent a novel message from the PFKM gene.