Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.

Stare decisis: Rhetoric and substance

Stare decisis allows common law to develop gradually and incrementally. We show howjudge-made law can steadily evolve and tend to increase efficiency even in the absence ofnew information. Judges' opinions must argue that their decisions are consistent withprecedent: this is the more costly, the greater the innovation they are introducing. As aresult, each judge effects a cautious marginal change in the law. Alternative models inwhich precedents are either strictly obeyed or totally discarded would instead predictabrupt large swings in legal rules. Thus we find that the evolution of case law isgrounded not in binary logic fixing judges' constraints, but in costly rhetoric shapingtheir incentives. We apply this finding to an assessment of the role of analogicalreasoning in shaping the joint development of different areas of law.

Longevidad y cambios en la periodicidad de la vida adulta : Nuevos paradigmas de una vejez emergente

La longevidad y la prolongación del envejecimiento, constituyen una fuente de confusión e incertidumbre entre personas, organizaciones y comunidades. Surgen paradigmas en oposición, con perspectivas positivas y negativas del envejecimiento, que no ayudan a la comprensión de las nuevas dimensiones de este período del ciclo vital. En el presente trabajo se enfatiza la necesidad de definir de manera clara las etapas intermedias en el interior de la vida del adulto mayor, analizar con este foco los paradigmas contrapuestos y superar la lógica binaria existente -con un análisis dialógico- de modo de rescatar algunos de los principios emergentes sobre la creciente longevidad

Competencia y conflicto. Hesíodo y los consejos de administración familiar : Una lectura política del tópico

El proyecto del presente trabajo consiste en reflexionar sobre la constitución del sujeto ético-político en los Erga de Hesíodo. Trabajaremos desde una propuesta de matriz antropológica, en torno a los consejos de administración familiar que el poeta propone, recurriendo a Jenofonte cuando la comparación sea oportuna. Siguiendo el horizonte semántico del término chresis, indagaremos dos cuestiones fundamentales, la gestión del hogar, a partir de la problematización del matrimonio como cuestión afín, y la gestión de los vínculos personales, que van más allá del oikos, para convocar a otros actores, el hermano, el huésped, el amigo. En ambos niveles, el estrictamente familiar con la presencia del marido y la esposa en el centro de la escena, y el familiar, en sentido más amplio, los tópicos devuelven ciertas preocupaciones y reflexiones en torno a cuestiones que se repiten, el trabajo, la riqueza, la productividad, la prudencia, el honor, la convivencia, la tolerancia. Se plasma un universo antropológico que nos permite relevar, desde los topoi recortados, la pequeña familia intramuros y la gran familia extramuros, la preocupación habitual de la constitución de un sujeto temperante que en Hesíodo cobra distintas aristas. El modelo discursivo obedece a las reglas de formación que reconocemos en los Erga como matriz de discurso: recomendaciones, consejos, exhortaciones, que delinean dos topoi reconocibles, dos categorías de sujetos, dos registros de conductas, dos modelos de instalación en la vida. Hesíodo nos tiene acostumbrados a esos sistemas binarios que, a nuestro juicio, se inscriben en la lógica del linaje. Hombres, valores, conductas de matriz diurna o nocturna, positiva o negativa, luminosa o tenebrosa. La vida familiar y la comunitaria no parece escapar a esta lógica binaria y el corpus de consejos no hace otra cosa que vigorizar con su logos el aspecto diurno de la tensión

Longevidad y cambios en la periodicidad de la vida adulta : Nuevos paradigmas de una vejez emergente

La longevidad y la prolongación del envejecimiento, constituyen una fuente de confusión e incertidumbre entre personas, organizaciones y comunidades. Surgen paradigmas en oposición, con perspectivas positivas y negativas del envejecimiento, que no ayudan a la comprensión de las nuevas dimensiones de este período del ciclo vital. En el presente trabajo se enfatiza la necesidad de definir de manera clara las etapas intermedias en el interior de la vida del adulto mayor, analizar con este foco los paradigmas contrapuestos y superar la lógica binaria existente -con un análisis dialógico- de modo de rescatar algunos de los principios emergentes sobre la creciente longevidad

Competencia y conflicto. Hesíodo y los consejos de administración familiar : Una lectura política del tópico

El proyecto del presente trabajo consiste en reflexionar sobre la constitución del sujeto ético-político en los Erga de Hesíodo. Trabajaremos desde una propuesta de matriz antropológica, en torno a los consejos de administración familiar que el poeta propone, recurriendo a Jenofonte cuando la comparación sea oportuna. Siguiendo el horizonte semántico del término chresis, indagaremos dos cuestiones fundamentales, la gestión del hogar, a partir de la problematización del matrimonio como cuestión afín, y la gestión de los vínculos personales, que van más allá del oikos, para convocar a otros actores, el hermano, el huésped, el amigo. En ambos niveles, el estrictamente familiar con la presencia del marido y la esposa en el centro de la escena, y el familiar, en sentido más amplio, los tópicos devuelven ciertas preocupaciones y reflexiones en torno a cuestiones que se repiten, el trabajo, la riqueza, la productividad, la prudencia, el honor, la convivencia, la tolerancia. Se plasma un universo antropológico que nos permite relevar, desde los topoi recortados, la pequeña familia intramuros y la gran familia extramuros, la preocupación habitual de la constitución de un sujeto temperante que en Hesíodo cobra distintas aristas. El modelo discursivo obedece a las reglas de formación que reconocemos en los Erga como matriz de discurso: recomendaciones, consejos, exhortaciones, que delinean dos topoi reconocibles, dos categorías de sujetos, dos registros de conductas, dos modelos de instalación en la vida. Hesíodo nos tiene acostumbrados a esos sistemas binarios que, a nuestro juicio, se inscriben en la lógica del linaje. Hombres, valores, conductas de matriz diurna o nocturna, positiva o negativa, luminosa o tenebrosa. La vida familiar y la comunitaria no parece escapar a esta lógica binaria y el corpus de consejos no hace otra cosa que vigorizar con su logos el aspecto diurno de la tensión

Longevidad y cambios en la periodicidad de la vida adulta : Nuevos paradigmas de una vejez emergente

La longevidad y la prolongación del envejecimiento, constituyen una fuente de confusión e incertidumbre entre personas, organizaciones y comunidades. Surgen paradigmas en oposición, con perspectivas positivas y negativas del envejecimiento, que no ayudan a la comprensión de las nuevas dimensiones de este período del ciclo vital. En el presente trabajo se enfatiza la necesidad de definir de manera clara las etapas intermedias en el interior de la vida del adulto mayor, analizar con este foco los paradigmas contrapuestos y superar la lógica binaria existente -con un análisis dialógico- de modo de rescatar algunos de los principios emergentes sobre la creciente longevidad

Competencia y conflicto. Hesíodo y los consejos de administración familiar : Una lectura política del tópico

El proyecto del presente trabajo consiste en reflexionar sobre la constitución del sujeto ético-político en los Erga de Hesíodo. Trabajaremos desde una propuesta de matriz antropológica, en torno a los consejos de administración familiar que el poeta propone, recurriendo a Jenofonte cuando la comparación sea oportuna. Siguiendo el horizonte semántico del término chresis, indagaremos dos cuestiones fundamentales, la gestión del hogar, a partir de la problematización del matrimonio como cuestión afín, y la gestión de los vínculos personales, que van más allá del oikos, para convocar a otros actores, el hermano, el huésped, el amigo. En ambos niveles, el estrictamente familiar con la presencia del marido y la esposa en el centro de la escena, y el familiar, en sentido más amplio, los tópicos devuelven ciertas preocupaciones y reflexiones en torno a cuestiones que se repiten, el trabajo, la riqueza, la productividad, la prudencia, el honor, la convivencia, la tolerancia. Se plasma un universo antropológico que nos permite relevar, desde los topoi recortados, la pequeña familia intramuros y la gran familia extramuros, la preocupación habitual de la constitución de un sujeto temperante que en Hesíodo cobra distintas aristas. El modelo discursivo obedece a las reglas de formación que reconocemos en los Erga como matriz de discurso: recomendaciones, consejos, exhortaciones, que delinean dos topoi reconocibles, dos categorías de sujetos, dos registros de conductas, dos modelos de instalación en la vida. Hesíodo nos tiene acostumbrados a esos sistemas binarios que, a nuestro juicio, se inscriben en la lógica del linaje. Hombres, valores, conductas de matriz diurna o nocturna, positiva o negativa, luminosa o tenebrosa. La vida familiar y la comunitaria no parece escapar a esta lógica binaria y el corpus de consejos no hace otra cosa que vigorizar con su logos el aspecto diurno de la tensión

Semisumador y sumador completo para computación óptica

A half-adder and ñxll-adder desing using a new optical processing element is presented. The Optical Processing element is maded using fiber optic, optical couplers and non-linear optical device. This element allow programmability of fourteen difference pair of logical function of two inputs in two outputs. Two optical control signáis of non-binary logic made the choice of the logical function pair obtain in the outputs. By the appropiate selection of the power levels of the optical control signáis, we can configúrate a half-adder and with an small modification a full-adder. Also, a ripple carry adder desing is presented.

Why Do Some Water Utilities Recycle More than Others? A Qualitative Comparative Analysis in New South Wales, Australia

Although the recycling of municipal wastewater can play an important role in water supply security and ecosystem protection, the percentage of wastewater recycled is generally low and strikingly variable. Previous research has employed detailed case studies to examine the factors that contribute to recycling success but usually lacks a comparative perspective across cases. In this study, 25 water utilities in New South Wales, Australia, were compared using fuzzy-set Qualitative Comparative Analysis (fsQCA). This research method applies binary logic and set theory to identify the minimal combinations of conditions that are necessary and/or sufficient for an outcome to occur within the set of cases analyzed. The influence of six factors (rainfall, population density, coastal or inland location, proximity to users; cost recovery and revenue for water supply services) was examined for two outcomes, agricultural use and "heavy" (i.e., commercial/municipal/industrial) use. Each outcome was explained by two different pathways, illustrating that different combinations of conditions are associated with the same outcome. Generally, while economic factors are crucial for heavy use, factors relating to water stress and geographical proximity matter most for agricultural reuse. These results suggest that policies to promote wastewater reuse may be most effective if they target uses that are most feasible for utilities and correspond to the local context. This work also makes a methodological contribution through illustrating the potential utility of fsQCA for understanding the complex drivers of performance in water recycling.

Multiplication and comultiplication of beliefs

Multiplication and comultiplication of beliefs represent a generalisation of multiplication and comultiplication of probabilities as well as of binary logic AND and OR. Our approach follows that of subjective logic, where belief functions are expressed as opinions that are interpreted as being equivalent to beta probability distributions. We compare different types of opinion product and coproduct, and show that they represent very good approximations of the analytical product and coproduct of beta probability distributions. We also define division and codivision of opinions, and compare our framework with other logic frameworks for combining uncertain propositions. (C) 2004 Elsevier Inc. All rights reserved.

Logic functions based on optical bias controlled SIC Tandem devices

The purpose of this paper is the design of an optoelectronic circuit based on a-SiC technology, able to act simultaneously as a 4-bit binary encoder or a binary decoder in a 4-to-16 line configurations and show multiplexer-based logical functions. The device consists of a p-i'(a-SiC:H)-n/p-i(a-Si:H)-n multilayered structure produced by PECVD. To analyze it under information-modulated wave (color channels) and uniform irradiation (background) four monochromatic pulsed lights (input channels): red, green, blue and violet shine on the device. Steady state optical bias was superimposed separately from the front and the back sides, and the generated photocurrent was measured. Results show that the devices, under appropriate optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development providing the possibility for selective removal of useless wavelengths. The logic functions needed to construct any other complex logic functions are the NOT, and both or either an AND or an OR. Any other complex logic function that might be found can also be used as building blocks to achieve the functions needed for the retrieval of channels within the WDM communication link. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Fluxing the logic of definitive differences

Focusing on Fluxus, a loosely knit association of artists from America, Europe and Asia whose work centers around intermediality, this article explores the notion of relationality without relata. Intermediality refers to works that fall conceptually between media – such as visual poetry or action music – as well as between the general area of art media and those of life media(Higgins). Departing from two Fluxus intermedia – the event score, a performative score in the form of words, and the Fluxkit, a performative score in the form of objects – I investigate the logic of co-constitutivity within which every element is both subject and object, both constitutive and constituted. To be more precise, I trace the cross-categorial interplay of differences that explodes the logico-linguistic structure of binary oppositions, such as those between foreground and background, word and action, sound and silence, identity and alterity. Aided by Jacques Derrida’s concept of ‘de-centered play’ and Shigenori Nagatomo’s concept of ‘interfusion’ this article seeks to articulate the ways in which the Fluxus works mobilise the ‘silent background’ to dismantle the dualistic logic of definite differences.

3CAM - A NOVEL TERNARY CONTENT ADDRESSABLE MEMORY USING THREE-VALUED LOGIC

Content Addressable Memory (CAM) is a special type of Complementary Metal-Oxide-Semiconductor (CMOS) storage element that allows for a parallel search operation on a memory stack in addition to the read and write operations yielded by a conventional SRAM storage array. In practice, it is often desirable to be able to store a “don’t care” state for faster searching operation. However, commercially available CAM chips are forced to accomplish this functionality by having to include two binary memory storage elements per CAM cell,which is a waste of precious area and power resources. This research presents a novel CAM circuit that achieves the “don’t care” functionality with a single ternary memory storage element. Using the recent development of multiple-voltage-threshold (MVT) CMOS transistors, the functionality of the proposed circuit is validated and characteristics for performance, power consumption, noise immunity, and silicon area are presented. This workpresents the following contributions to the field of CAM and ternary-valued logic:• We present a novel Simple Ternary Inverter (STI) transistor geometry scheme for achieving ternary-valued functionality in existing SOI-CMOS 0.18µm processes.• We present a novel Ternary Content Addressable Memory based on Three-Valued Logic (3CAM) as a single-storage-element CAM cell with “don’t care” functionality.• We explore the application of macro partitioning schemes to our proposed 3CAM array to observe the benefits and tradeoffs of architecture design in the context of power, delay, and area.

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.