An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that 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 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 objects, predicates, 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 program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. 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 the format of a paper, pointing instead to the existing literature on the system.

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.

The Double‐Edged Sword Of Interdict: Some More Warnings From History

In this paper I revisit the age-old question of the relationship between philosophy and theology by rejecting the claim that throughout the history of the Christian Church, whenever Christian thinkers have baptized philosophy, they have done so to the detriment of theology. Church history reveals just the opposite, i. e., that sometimes theologians have creatively and fruitfully used philosophical language, concepts, methods, and conclusions to understand and express the faith. In addition, church history records numerous attempts to limit philosophical enquiry for theological reasons that proved unsuccessful and counter-productive. Both types of interaction between philosophy and theology occurred at the University of Paris during the thirteenth century. Despite repeated efforts of some officials to place philosophy under interdict, that is, to ban the reading of particular philosophical works or the teaching of philosophical propositions from the university faculties, a series of university theologians applied Aristotelian tools of enquiry to questions about the Christian faith with positive and constructive results. If academic theology at Paris during the thirteenth century has anything to teach us, it is that interdict cuts both ways. It might protect some theological claims from philosophical contamination or compromise, but it can also insulate theological claims from much needed critical analysis. The thinkers and developments surveyed in this paper suggest that perhaps instead of placing deconstruction under interdict, today’s Christian thinkers should use some of the language, concepts, methods and conclusions of Derrida to further theological understanding.

A SUPERAÇÃO DE CONFLITOS PRODUZIDOS PELA ANSIEDADE: UMA CONTRIBUIÇÃO À PRÁXIS PASTORAL, A PARTIR DA TEORIA DA INTERPESSOALIDADE

Esta pesquisa tem como objetivo, esclarecer como a ansiedade desempenha um papel de forte influência em relacionamentos interpessoais e como o conhecimento desta influência, seguido de uma consciência que possibilite sua amenização, pode permitir relacionamentos harmônicos e diminuição de conflitos que fazem parte do cotidiano. A partir de uma análise de natureza bibliográfica, se utilizou autores de áreas correlatas como psicologia, aconselhamento, filosofia e teologia, por entender que existe um grande volume de conhecimentos científicos sobre o tema, os quais poderão acrescentar positivamente ao estudo do mesmo. É utilizada uma dialética que considera a formação das relações sociais, a origem de influências construtoras de condutas intra e interpessoais de um indivíduo, bem como a insatisfação emocional produzida pela ansiedade. A contribuição deste trabalho relaciona-se à viabilidade de se conquistar relacionamentos mais saudáveis; o desenvolvimento da idéia de ação consciente, atitude menos influenciada pela ansiedade; e o realce da importância de uma prática pastoral fundamentada na fé como esperança minimizadora da ansiedade. Sua utilidade aponta para a esperança em relacionamentos interpessoais harmoniosos, não utópicos, mas produtos de conhecimento, discernimento e compreensão da realidade intra e interpessoal do indivíduo.(AU)

A SUPERAÇÃO DE CONFLITOS PRODUZIDOS PELA ANSIEDADE: UMA CONTRIBUIÇÃO À PRÁXIS PASTORAL, A PARTIR DA TEORIA DA INTERPESSOALIDADE

Esta pesquisa tem como objetivo, esclarecer como a ansiedade desempenha um papel de forte influência em relacionamentos interpessoais e como o conhecimento desta influência, seguido de uma consciência que possibilite sua amenização, pode permitir relacionamentos harmônicos e diminuição de conflitos que fazem parte do cotidiano. A partir de uma análise de natureza bibliográfica, se utilizou autores de áreas correlatas como psicologia, aconselhamento, filosofia e teologia, por entender que existe um grande volume de conhecimentos científicos sobre o tema, os quais poderão acrescentar positivamente ao estudo do mesmo. É utilizada uma dialética que considera a formação das relações sociais, a origem de influências construtoras de condutas intra e interpessoais de um indivíduo, bem como a insatisfação emocional produzida pela ansiedade. A contribuição deste trabalho relaciona-se à viabilidade de se conquistar relacionamentos mais saudáveis; o desenvolvimento da idéia de ação consciente, atitude menos influenciada pela ansiedade; e o realce da importância de uma prática pastoral fundamentada na fé como esperança minimizadora da ansiedade. Sua utilidade aponta para a esperança em relacionamentos interpessoais harmoniosos, não utópicos, mas produtos de conhecimento, discernimento e compreensão da realidade intra e interpessoal do indivíduo.(AU)

Pipe3D, a pipeline to analyse integral Field Spectroscopy data: I. New fitting philosophy of FIT3D

We present an improved version of FIT3D, a fitting tool for the analysis of the spectroscopic properties of the stellar populations and the ionized gas derived from moderate resolution spectra of galaxies. This tool was developed to analyze integral field spectroscopy data and it is the basis of PIPE3D, a pipeline used in the analysis of CALIFA, MaNGA, and SAMI data. We describe the philosophy and each step of the fitting procedure. We present an extensive set of simulations in order to estimate the precision and accuracy of the derived parameters for the stellar populations and the ionized gas. We report on the results of those simulations. Finally, we compare the results of the analysis using FIT3D with those provided by other widely used packages, and we find that the parameters derived by FIT3D are fully compatible with those derived using these other tools.

Schleiermacher's Doctrine of Biblical Authority: An Alternative to Content-Based/Supernaturalist and Function-Based Rationalist Models

Author: Kerry W. Holton Title: SCHLEIERMACHER’S DOCTRINE OF BIBLICAL AUTHORITY: AN ALTERNATIVE TO CONTENT-BASED/SUPERNATURALIST AND FUNCTION- BASED/RATIONALIST MODELS Advisor: Theodore M. Vial, Jr. Degree Date: August 2015 This dissertation examines Friedrich Schleiermacher’s understanding of biblical authority and argues that, as an alternative to strictly supernaturalistic and rationalistic models, his understanding allows the New Testament to speak authoritatively in Christian religion in an age of critical, historical awareness. After classifying Schleiermacher’s position in a typology of the doctrine of biblical authority, this dissertation explores his conception of divine revelation and inspiration vis-à-vis scripture. It demonstrates that although he did not believe there is warrant for the claim of a direct connection between divine revelation and scripture, or that scripture is the foundation of faith, he nonetheless asserted that the New Testament is authoritative. He asserted the normative authority of the New Testament on the basis that it is the first presentation of Christian faith. This dissertation examines Schleiermacher’s “canon within the canon,” as well as his denial that the Old Testament shares the same normative worth and inspiration of the New. Although this dissertation finds difficulty with some of Schleiermacher’s views regarding the Old Testament, it names two significant strengths of what is identified as his evangelical, content-based, and rationalist approach to biblical authority. First, it recognizes and values the co-presence and co-activity of the supernatural and the natural !ii in the production of the New Testament canon. This allows both scripture and the church to share religious authority. Second, it allows Christian faith and the historical-method to coexist, as it does not require people to contradict what they know to be the case about science, history, and philosophy. Thus, this dissertation asserts that Schleiermacher’s understanding of biblical authority is a robust one, since, for him, the authority of scripture does not lie in some property of the texts themselves that historians or unbelievers can take away.

Illuminating faith : the Bute Book of Hours

"The Bute Book of Hours, an English manuscript dating to c. 1500 in The Berger Collection at the Denver Art Museum, has received cursory attention from scholars in the past. This paper is the first to conduct a comprehensive examination of the object, evaluating its style, iconography, content, religious significance, and patronage. Careful study has revealed that the Bute Book is greatly indebted to early engravings for its imagery, perhaps more than any other known manuscript. The suffrages to saints were selected based on their powers against the plague, Tudor religious preferences, and regional significance. Special attention has been given to more unusual insertions such as Sts. Armel and Ninian, and Henry VI. The Bute Book of Hours was created for a wealthy Englishman, most likely with Yorkshire connections, and it illustrates the tenor of a nation undergoing rapid political, social and religious changes"