Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

All-optical logic gates with 1550nm Fabry-Perot and distributed feedback semiconductor laser amplifiers

The optical bistability occurring in laser diode amplifiers is used to design an all-optical logic gate capable to provide the whole set of logic functions. The structure of the reported logic gate is based on two connected 1550nm laser amplifiers (Fabry-Perot and distributed feedback laser amplifiers).

Open Technologies for prototyping the Internet of Things

The worldwide "hyper-connection" of any object around us is the challenge that promises to cover the paradigm of the Internet of Things. If the Internet has colonized the daily life of more than 2000 million1 people around the globe, the Internet of Things faces of connecting more than 100000 million2 "things" by 2020. The underlying Internet of Things’ technologies are the cornerstone that promises to solve interrelated global problems such as exponential population growth, energy management in cities, and environmental sustainability in the average and long term. On the one hand, this Project has the goal of knowledge acquisition about prototyping technologies available in the market for the Internet of Things. On the other hand, the Project focuses on the development of a system for devices management within a Wireless Sensor and Actuator Network to offer some services accessible from the Internet. To accomplish the objectives, the Project will begin with a detailed analysis of various “open source” hardware platforms to encourage creative development of applications, and automatically extract information from the environment around them for transmission to external systems. In addition, web platforms that enable mass storage with the philosophy of the Internet of Things will be studied. The project will culminate in the proposal and specification of a service-oriented software architecture for embedded systems that allows communication between devices on the network, and the data transmission to external systems. Furthermore, it abstracts the complexities of hardware to application developers. RESUMEN. La “hiper-conexión” a nivel mundial de cualquier objeto que nos rodea es el desafío al que promete dar cobertura el paradigma de la Internet de las Cosas. Si la Internet ha colonizado el día a día de más de 2000 millones1 de personas en todo el planeta, la Internet de las Cosas plantea el reto de conectar a más de 100000 millones2 de “cosas” para el año 2020. Las tecnologías subyacentes de la Internet de las Cosas son la piedra angular que prometen dar solución a problemas globales interrelacionados como el crecimiento exponencial de la población, la gestión de la energía en las ciudades o la sostenibilidad del medioambiente a largo plazo. Este Proyecto Fin de Carrera tiene como principales objetivos por un lado, la adquisición de conocimientos acerca de las tecnologías para prototipos disponibles en el mercado para la Internet de las Cosas, y por otro lado el desarrollo de un sistema para la gestión de dispositivos de una red inalámbrica de sensores que ofrezcan unos servicios accesibles desde la Internet. Con el fin de abordar los objetivos marcados, el proyecto comenzará con un análisis detallado de varias plataformas hardware de tipo “open source” que estimulen el desarrollo creativo de aplicaciones y que permitan extraer de forma automática información del medio que les rodea para transmitirlo a sistemas externos para su posterior procesamiento. Por otro lado, se estudiarán plataformas web identificadas con la filosofía de la Internet de las Cosas que permitan el almacenamiento masivo de datos que diferentes plataformas hardware transfieren a través de la Internet. El Proyecto culminará con la propuesta y la especificación una arquitectura software orientada a servicios para sistemas empotrados que permita la comunicación entre los dispositivos de la red y la transmisión de datos a sistemas externos, así como facilitar el desarrollo de aplicaciones a los programadores mediante la abstracción de la complejidad del hardware.

Bit noise from an optical logic gate with laser diodes

Output bits from an optical logic cell present noise due to the type of technique used to obtain the Boolean functions of two input data bits. We have simulated the behavior of an optically programmable logic cell working with Fabry Perot-laser diodes of the same type employed in optical communications (1550nm) but working here as amplifiers. We will report in this paper a study of the bit noise generated from the optical non-linearity process allowing the Boolean function operation of two optical input data signals. Two types of optical logic cells will be analyzed. Firstly, a classical "on-off" behavior, with transmission operation of LD amplifier and, secondly, a more complicated configuration with two LD amplifiers, one working on transmission and the other one in reflection mode. This last configuration has nonlinear behavior emulating SEED-like properties. In both cases, depending on the value of a "1" input data signals to be processed, a different logic function can be obtained. Also a CW signal, known as control signal, may be apply to fix the type of logic function. The signal to noise ratio will be analyzed for different parameters, as wavelength signals and the hysteresis cycles regions associated to the device, in relation with the signals power level applied. With this study we will try to obtain a better understanding of the possible effects present on an optical logic gate with Laser Diodes.

Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.

Wendell Berry's Critique of E. O. Wilson on Science

Drawing on the work of Wendell Berry, among others, allows us to see through claims that science has on limits (scientism). Berry shows what follies scientism generates and provides his own guidelines to what the limits of science are or ought to be.

Embodied Religion and Liberal Society: The Obstacle of De Facto Established Religion

Recent scholarship suggests that religion should be conceived in terms of embodied social practices as much as (if not more than) a set of systematic beliefs. Such accounts of religion, I will argue, raise problems that have not been adequately treated in current discussion of the role of religion in liberal society.

Reformed Epistemology, Clairvoyance, and the Role of Evidence

Reformed epidemiologists like Alvin Plantinga and William Alston are well known for their view that one can rationally believe that God exists without believing on the basis of any evidence - scientific, philosophical, or otherwise. I defend reformed epistemology from objections (including one having to do with clairvoyance), and I develop a view about the role that evidence should play in the rationality of theistic belief.

Affect and the Problem of Evil

A central aspect of the problem of evil or the argument from evil is the intensity or quantity of suffering. This quantity is conceived of as something objective and fixed. But because our experience is in part constituted and interpreted by our effectual orientation, there is no such objective quantum of suffering. But where there is no objective quantum of suffering, the argument from evil collapses. Here we begin by examining the connection between the philosophical and existential dimensions of the problem of and argument from evil as suffering. Next we consider the role of the affect in the constitution and interpretation of experience generally, together with implications for the argument from suffering. Third, we look at how a key affectual element of the argument from evil might undercut that argument. And finally, we consider a proposal to categorize suffering as a species of moral or spiritual failure, as affectually wrong.

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.

God: Savior, Butcher, Or Oblivious Artist? The Theodicy Of Alfred North Whitehead

This paper is a critical examination of Alfred North Whitehead's attempt to solve the traditional problem of evil. Whitehead's conception of evil is crucial to his process cosmology because it is integral to his process cosmology because it is integral to his notion of creation in which evil is understood in relationship to the larger dynamic of God’s creative activity. While Whitehead’s process theodicy is interesting, he fails to successfully escape between the horns of the traditional dilemma. Whitehead is often criticized for treating evil as merely apparent. While some process philosophers, notably Maurice Barineau, have defended Whitehead from this charge, it can be shown that this is an implication of Whitehead’s approach. Moreover, Whitehead’s theodicy fails to address radical moral evil in its concrete dimension in respect to real human suffering. As a result, Whitehead’s theodicy is not relevant to Christian theology. My paper is divided into two parts. I will first briefly discuss the traditional problem of evil and some of the traditional problem of evil and some of the traditional solutions proposed to resolve it. The reminder of the paper will demonstrate why Whitehead’s theodicy addresses the traditional problem of evil only at the expense of theological irrelevancy.