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.

A Physicalist View Of The Passion Of Christ

My project in this paper is to provide a plausible idea of Christ’s suffering and death in terms of a theory of the human person. More specifically, I want to contrast two major theories of the person-body relation. One is dualism. Dualism is the view that a human person is composed of two substances, that is, a soul and a body, and he (strictly speaking) is identical with the soul. On the other hand, physicalism is the view that a human person is numerically identical with his biological body. I will argue that dualism is not successful in explaining Christ’s passion for some reasons. Rather, physicalism, as I shall argue, provides a better explanation of how Christ’s physical suffering and death are real just like everyone else’s, so it is philosophically and theologically more plausible than dualism.

A Mea Culpa for The Felix Culpa? A Greater Goods Response to the Problems of Evil and Hell

In this paper I want to develop a particular kind of greater-good response to the problems of evil and hell, one which hence can serve as a backup plan should the free will defense not satisfy. Ultimately, this response will appear to belong to several traditions in theodicy. Like all greater-goods views, this one relies on explaining the existence of evil in terms of the greater goods that come out of it. Among these goods are the greater goods of Incarnation and Atonement, their respective goodness consisting in large part in the higher-order divine good of glorifying God through the display of divine virtue.

Logic gates using high Rydberg states

Connected logic gates can be operated on the levels of one molecule by making use of the special properties of high Rydberg states. Explicit experimental results for the NO molecule are provided as an example. A number of other options, including that of several gates concatenated so as to operate as a full adder, are discussed. Specific properties of high Rydberg states that are used are: their autoionization is delayed so that they can be distinguished from direct multiphoton ionization, during their long life such states also can decay by energy transfer to the molecular core in a way that can be controlled by the judicious application of very weak external electrical fields, and the Rydberg states can be detected by the application of an ionizing electrical field. The combination of two (or three) color photons with and without external weak fields allows the construction of quite elaborate logic circuit diagrams and shows that taking advantage of the different intramolecular dynamics of levels that differ by their excitation enables the compounding of logic operations on one molecular frame.

Applying logic forms and statistical methods to CL-SR performance

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.