A preference-based semantics for CTD reasoning

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

Design and realization of high-performance wave-pipelined 8×8 b multiplier in CMOS technology

Wave pipelining is a design technique for increasing the throughput of a digital circuit or system without introducing pipelining registers between adjacent combinational logic blocks in the circuit/system. However, this requires balancing of the delays along all the paths from the input to the output which comes the way of its implementation. Static CMOS is inherently susceptible to delay variation with input data, and hence, receives a low priority for wave pipelined digital design. On the other hand, ECL and CML, which are amenable to wave pipelining, lack the compactness and low power attributes of CMOS. In this paper we attempt to exploit wave pipelining in CMOS technology. We use a single generic building block in Normal Process Complementary Pass Transistor Logic (NPCPL), modeled after CPL, to achieve equal delay along all the propagation paths in the logic structure. An 8×8 b multiplier is designed using this logic in a 0.8 ?m technology. The carry-save multiplier architecture is modified suitably to support wave pipelining, viz., the logic depth of all the paths are made identical. The 1 mm×0.6 mm multiplier core supports a throughput of 400 MHz and dissipates a total power of 0.6 W. We develop simple enhancements to the NPCPL building blocks that allow the multiplier to sustain throughputs in excess of 600 MHz. The methodology can be extended to introduce wave pipelining in other circuits as well

Revista Cultura Económica, 2014, Año XXXII nº 88 (número completo)

Contenido: Editorial -- Artículos: El discernimiento espiritual en la toma de decisiones / Luk Bouckaert -- El redescubrimiento de la filosofía personalista de Jacques Maritain / Opdebeeck, Henrik -- Emprendedorismo guiado por la espiritualidad / Zsolnai, Laszlo -- ¿Podemos formar líderes responsables? / de Bettignies, Henri Claude -- La concepción de la sabiduría según los managers / Thompson, Mike -- Reseñas de libros

Sapientia, 1968, Vol. XXIII, nº 88 (número completo)

Contenido: Imposibilidad de la Teología sin la Filosofía / Octavio N. Derisi – Santo Tomás de Aquino y nuestra situación intelectual / Adolfo Muñoz Alonso – Dinámica de la integración material / J. E. Bolzán – Notas sobre la creatio de nihilo en Juan Escoto Eriúgena (conclusión) / Gustavo A. Piemonte – Notas y comentarios -- Bibliografía