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.

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.

[Natural Philosophy book list, 1790]

One leaf containing a handwritten list of books marked "Natural Philosophy." Entries contain the author's last name and abbreviated title; five books have dates. The page is inscribed "Callender" and likely refers to John Callender (Harvard AB 1790).

[Ethics and Moral Philosophy book list, 1790]

One leaf containing a handwritten list of books with one column marked "Ethics" and the other column marked "Moral Philosophy." Entries contain the author's last name and abbreviated title. The page is inscribed "Vose," likely referring to Roger Vose (Harvard AB 1790), and the verso has a fragment of a poem.

[Ethics and moral philosophy book list, 1790]

One leaf containing a handwritten list of books generally on ethics and moral philosophy, though no subject is identified. Entries contain the author's last name and abbreviated title. The page is inscribed "Paine," likely referring to Robert Treat Paine (Harvard AB 1792), and the verso has a fragment of a student essay on the theme "An undevout astronomer is mad," signed "Paine."

Rules and orders relating to a Professor of the Mathematicks, of Natural and Experimental Philosophy, in Harvard College, 18 January 1726

This folder contains a single document describing the "rules and orders" of the Hollis Professor of Mathematics and Natural Philosophy. The document begins by defining the subjects to be taught by the Hollis Professor including natural and experimental philosophy, elements of geometry, and the principles of astronomy and geography. It then outlines the number of public and private lectures to be given to students, how much extra time the professor should spend with students reviewing any difficulties they may encounter understanding class subject matter discussed, and stipulates that the professor's duties shall be restricted solely to his teaching activities and not involve him in any religious activities at the College or oblige him to teach any additional studies other than those specified for the Hollis Professor of Mathematics and Natural Philosophy. Furthermore, the rules establish the professor's salary at £80 per year and allow the professor to receive from students, except those students studying theology under the Hollis Professor of Divinity, an additional fee as determined by the Corporation and Board of Overseers, to supplement his income. Moreover, the rules assert that all professorship candidates selected by the Harvard Corporation must be approved by Thomas Hollis during his lifetime or by his executor after his death. Finally, the rules state that the Hollis professor take an oath to the civil government and declare himself a member of the Protestant reformed religion. This document is signed by Thomas Hollis and four witnesses, John Hollis, Joshua Hollis, Richard Solly, and John Williams.

The summary of a course of experimental lectures in natural philosophy by Dr. John Winthrop (manuscript copy), 1772-1774

Notebook with a handwritten copy of lecture summaries for a physics course given by Harvard Professor John Winthrop. The notes were made by Timothy Foster in 1772 and 1773. The volume contains twenty-five lectures with some diagrams.

A synopsis of naturall philosophy according to the method of the ancients, but improved & augmented with the notions of later philosophers : manuscript, 1677-1679

Possibly autograph, dated at end of volume: Finitu[m] mart: 14, 1678/9. Imperfect copy with title page missing; supplied from a MS copy, dated 29 March 1680, now in the Bodleian Library.