Asymptotically Zero Energy Computing Using Split-Level Charge Recovery Logic

The dynamic power requirement of CMOS circuits is rapidly becoming a major concern in the design of personal information systems and large computers. In this work we present a number of new CMOS logic families, Charge Recovery Logic (CRL) as well as the much improved Split-Level Charge Recovery Logic (SCRL), within which the transfer of charge between the nodes occurs quasistatically. Operating quasistatically, these logic families have an energy dissipation that drops linearly with operating frequency, i.e., their power consumption drops quadratically with operating frequency as opposed to the linear drop of conventional CMOS. The circuit techniques in these new families rely on constructing an explicitly reversible pipelined logic gate, where the information necessary to recover the energy used to compute a value is provided by computing its logical inverse. Information necessary to uncompute the inverse is available from the subsequent inverse logic stage. We demonstrate the low energy operation of SCRL by presenting the results from the testing of the first fully quasistatic 8 x 8 multiplier chip (SCRL-1) employing SCRL circuit techniques.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

El problema de Alhacén

El presente documento es un estudio detallado del problema conocido bajo el título de Problema de Alhacén. Este problema fue formulado en el siglo X por el filósofo y matemático árabe conocido en occidente bajo el nombre de Alhacén. El documento hace una breve presentación del filósofo y una breve reseña de su trascendental tratado de óptica Kitab al-Manazir. A continuación el documento se detiene a estudiar cuidadosamente los lemas requeridos para enfrentar el problema y se presentan las soluciones para el caso de los espejos esféricos (convexos y cóncavos), cilíndricos y cónicos. También se ofrece una conjetura que habría de explicar la lógica del descubrimiento implícita en la solución que ofreció Alhacén. Tanto los lemas como las soluciones se han modelado en los software de geometría dinámica Cabri II-Plus y Cabri 3-D. El lector interesado en seguir dichas modelaciones debe contar con los programas mencionados para adelantar la lectura de los archivos. En general, estas presentaciones constan de tres partes: (i) formulación del problema (se formula en forma concisa el problema); (ii) esquema general de la construcción (se presentan los pasos esenciales que conducen a la construcción solicitada y las construcciones auxiliares que demanda el problema), esta parte se puede seguir en los archivos de Cabri; y (iii) demostración (se ofrece la justificación detallada de la construcción requerida). Los archivos en Cabri II plus cuentan con botones numerados que pueden activarse haciendo “Click” sobre ellos. La numeración corresponde a la numeración presente en el documento. El lector puede desplazar a su antojo los puntos libres que pueden reconocerse porque ellos se distinguen con la siguiente marca (º). Los puntos restantes no pueden modificarse pues son el resultado de construcciones adelantadas y ajustadas a los protocolos recomendados en el esquema general.

El camí de Castelló : la descoberta d'un camí d'origen medieval. 'El camino de Castelló : el descubrimiento de un camino medieval'.

Resumen tomado de la revista

Un gobierno medieval en un mundo global.

El Colegio Mayor de Nuestra Señora del Rosario es un caso único en el mundo de perdurabilidad de gobierno corporativo, por el cual ha podido preservar su cultura y tradición medieval (desde 1653) en la designación de sus autoridades y su forma de gobierno, así como convertirse en una moderna institución de educación superior en la avanzada formación de líderes sociales, intelectuales y políticos para el país. Nova et vetera (lo nuevo y lo antiguo), la integración de la realidad y la dinámica contemporánea y su proyección en el futuro, integrada a la más antigua tradición universitaria originada en el universitas scholarium medieval, ha convertido a la institución en una moderna universidad de 354 años. Esta exitosa combinación se ha producido por la forma de gobierno que viene preservando la Universidad del Rosario desde 1653 y que le ha permitido a la Universidad liderar los cambios intelectuales, sociales y políticos del país.

Iniciación al estudio de la Cantabria medieval.

En este libro se recogen las conferencias pronunciadas en las Auas de la Tercera Edad de Cantabria durante el curso 1991-1992. El objetivo principal de esta obra y, en su momento, de las conferencias es el de acercar la Historia de la Cantabria Medieval a un público adulto iniciándolo, así, al trabajo científico de investigación histórica. Los temas principales son : 1. de San Millán al Beato de Liébana. La Alta Edad Media en Cantabria. El tránsito de la Cantabria antigua a la medieval. Frente a visigodos y musulmanes. La cristianización de Cantabria. 2. del Monasterio de Santo Toribio a la villa de San Emeterio. Mundo monástico y mundo urbano en la Cantabria Medieval. Los dominios monásticos. El nacimiento del mundo urbano. Las Cuatro Villas de la Costa. 3. De Alfonso VIII al Marqués de Santillana. Cantabria en la Baja Edad Media (siglos XIII-XV). Los orígenes de la nobleza autóctona cántabra. Las guerras banderizas. El apogeo de la nobleza autóctona. La implantación del régimen señorial.

Aventura medieval.

Resumen tomado de la publicación en catalán

Aspectos de vida cotidiana en la cultura medieval.

Este artículo pertenece a un dossier monográfico titulado 'La vida cotidiana en la Edad Media'

El problema de los isoperímetros en el Islam Medieval.

Aproximación a una parte de la historia de las matemáticas como es el estudio de los isoperímetros en la época del Islam.

Plotino y Grosseteste: El neoplatonismo en la cosmología medieval

En este trabajo se estudia el caso de la cosmología del filósofo y científico Robert Grosseteste como un ejemplo de la notable influencia del neoplatonismo en la ciencia medieval. Uno de los propósitos de la cosmología de Grosseteste consistió en explicar la secuencia efectiva de la creación del cosmos. Sostengo que la explicación que ofrece Grosseteste acerca de la creación es una expresión renovada de algunas ideas de Plotino a propósito de cómo el Uno engendra lo múltiple. Me interesa resaltar tres aspectos de la estrecha relación entre el sistema cosmológico de Grosseteste y el sistema metafísico de Plotino: (1) Unidad de principio, (2) Mecanismos de generación y (3) Unidad del sistema.