Critical connections : Islamic politics and political economy in Indonesia and Malaysia

This article explores Islamic politics in two Muslim-majority countries in Southeast Asia, Indonesia and Malaysia, by linking their trajectories, from late colonial emergence to recent upsurge, to broad concerns of political economy, including changing social bases, capitalist transformation, state policies, and economic crises. The Indonesian and Malaysian trajectories of Islamic politics are tracked in a comparative exercise that goes beyond the case studies to suggest that much of contemporary Islamic politics cannot be explained by reference to Islam alone, but to how Islamic identities and agendas are forged in contexts of modern and profane social contestation.

The Islamic Crossed-Arch Domes in Cordoba: Geometry and Structural Analysis of the “Capilla de Villaviciosa”

Crossed-arch domes are a singular type of ribbed vaults. Their characteristic feature is that the ribs that form the vault are intertwined, forming polygons or stars, leaving an empty space in the centre. The earliest known vaults of this type are found in the Great Mosque of Córdoba, built ca. 960 a.C. The type spread through Spain, and the north of Africa in the 10th to the 16th Centuries, and was used by Guarini and Vittone in the 17th and 18th Centuries in Italy. However, it was used only in a few buildings. Though the literature about the structural behaviour of ribbed Gothic vaults is extensive, so far no structural analysis of crossed arch domes has been made. The purpose of this work is, first to show the way to attack such an analysis within the frame of Modern Limit Analysis of Masonry Structures (Heyman 1995), and then to apply the approach to study the stability of the dome of the Capilla de Villaviciosa. The work may give some clues to art and architectural historians to understand better the origin and development of Islamic dome architecture.

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.

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.

Islamic Political Thought: Reviving a Rationalist Tradition

This work develops the foundations of an Islamic argument for secular, liberal democracy from within the Islamic discursive tradition. First, it challenges the presentation of contemporary Islamic political thought as a unified, continuous development of the classical canon by showing the influence of the now marginalized medieval rationalists in the development of Islamic political thought. The classical rationalist concern with divine justice forced the founders of Sunni orthodoxy to state their epistemologies and their positions on ethical ontology. The orthodox positions, and their related methods of legal-juristic reasoning, are shown to be incapable of accommodating the modern Islamic positions on political representation, slavery, and just war. This leads to the second argument of the work, that the modern Islamic discourse is better understood as a reflection of the central concern with justice and its rationalist epistemology and ethical ontology we find in the writings of classical rationalists. This argument is made by examining the works of three classical rationalists, a theologian, a philosopher, and a historian. Their political positions, shaped by their rationalism and concern with justice, challenged their orthodox contemporaries, and provide substantive critiques of the classical political accommodations, methods of politico-legal reasoning, and hence, of modern Islamist political projects. The final chapter reveals how far the mainstream of Islamic political thought has deviated from the classical discourses, since the 19th century, by adopting the language and ideals of the European Enlightenment. This shift is presented as a triumph of classical rationalism over literalism, whose epistemological foundations and ontological implications have yet to be acknowledged and appreciated.

The African-American Islamic Renaissance and the Rise of the Nation of Islam

This dissertation examines African-American Islamic culture from 1920 through 1959, a period I label the "African-American Islamic Renaissance" (AAIR). The AAIR is characterized by a significant increase in interest in Islam, extreme diversity in views about Islam, and the absence of a single organization dominating African-American Islamic culture for a significant amount of time. Previous works dealing with African-American Islam in this period have failed to fully recognize these features, particularly the last of these. As a result, explanations for the rise of the Nation of Islam (NOI) have not satisfactorily explained why it was only the NOI--and not other Islamic groups that were more popular than the NOI up until the mid-1950s--that became a "mass movement," gaining the allegiance of tens of thousands of African Americans. There has been some tendency, for instance, to assume that the NOI was the most popular African-American Islamic group by the early 1950s, a notion that is probably an inference drawn from two other popular but inaccurate assumptions: that the NOI's rise was due primarily to its radical racialized doctrines and its charismatic leaders, particularly Malcolm X, who became a popular minister for the group in the early 1950s. I argue, however, that the NOI was in fact not the most popular African-American Islamic group until at least 1955, and even as late as 1959 its official membership numbers were not particularly large by AAIR standards. Also, its doctrines were not especially unique in the AAIR, nor was its having extremely charismatic leaders. I contend that the success of the NOI in the mid-to-late 1950s was the result of three levels of changes at the time: internal, external in the AAIR community, and external in the broader U.S, culture.