Power supply noise and logic error probability

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).

Correcció d'exercicis de lògica per l'ACME

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Applying recommendations to aligncompetences, methodology and assessment in Telematics, Computing and Electronic Engineering courses

The alignment between competences, teaching-learning methodologies and assessment is a key element of the European Higher Education Area. This paper presents the efforts carried out by six Telematics, Computer Science and Electronic Engineering Education teachers towards achieving this alignment in their subjects. In a joint work with pedagogues, a set of recommended actions were identified. A selection of these actions were applied and evaluated in the six subjects. The cross-analysis of the results indicate that the actions allow students to better understand the methodologies and assessment planned for the subjects, facilitate (self-) regulation and increase students’ involvement in the subjects.

Semantic web adoption: online tools for web evaluation and metadata extraction

This work briefly analyses the difficulties to adopt the Semantic Web, and in particular proposes systems to know the present level of migration to the different technologies that make up the Semantic Web. It focuses on the presentation and description of two tools, DigiDocSpider and DigiDocMetaEdit, designed with the aim of verifYing, evaluating, and promoting its implementation.

Traducción técnica del capítulo III del libro Advanced Data Warehouse design: from conventional to spatial and temporal applications

The proposal to work on this final project came after several discussions held with Dr. Elzbieta Malinowski Gadja, who in 2008 published the book entitled Advanced Data Warehouse Design: From Conventional to Spatial and Temporal Applications (Data-Centric Systems and Applications). The project was carried out under the technical supervision of Dr. Malinowski and the direct beneficiary was the University of Costa Rica (UCR) where Dr. Malinowski is a professor at the Department of Computer Science and Informatics. The purpose of this project was twofold: First, to translate chapter III of said book with the intention of generating educational material for the use of the UCR and, second, to venture in the field of technical translation related to data warehouse. For the first component, the goal was to generate a final product that would eventually serve as an educational tool for the post-graduate courses of the UCR. For the second component, this project allowed me to acquire new skills and put into practice techniques that have helped me not only to perfom better in my current job as an Assistant Translator of the Inter-American BAnk (IDB), but also to use them in similar projects. The process was lenggthy and required torough research and constant communication with the author. The investigation focused on the search of terms and definitions to prepare the glossary, which was the basis to start the translation project. The translation process itself was carried out by phases, so that comments and corrections by the author could be taken into account in subsequent stages. Later, based on the glossary and the translated text, illustrations had been created in the Visio software were translated. In addition to the technical revision by the author, professor Carme Mangiron was in charge of revising the non-technical text. The result was a high-quality document that is currently used as reference and study material by the Department of Computer Science and Informatics of Costa Rica.

Globally aligned photomosaic of the Lucky Strike hydrothermal vent field (Mid-Atlantic Ridge, 37°18.5’N): Release of georeferenced data, mosaic construction, and viewing software

We present a georeferenced photomosaic of the Lucky Strike hydrothermal vent field (Mid-Atlantic Ridge, 37°18’N). The photomosaic was generated from digital photographs acquired using the ARGO II seafloor imaging system during the 1996 LUSTRE cruise, which surveyed a ~1 km2 zone and provided a coverage of ~20% of the seafloor. The photomosaic has a pixel resolution of 15 mm and encloses the areas with known active hydrothermal venting. The final mosaic is generated after an optimization that includes the automatic detection of the same benthic features across different images (feature-matching), followed by a global alignment of images based on the vehicle navigation. We also provide software to construct mosaics from large sets of images for which georeferencing information exists (location, attitude, and altitude per image), to visualize them, and to extract data. Georeferencing information can be provided by the raw navigation data (collected during the survey) or result from the optimization obtained from imatge matching. Mosaics based solely on navigation can be readily generated by any user but the optimization and global alignment of the mosaic requires a case-by-case approach for which no universally software is available. The Lucky Strike photomosaics (optimized and navigated-only) are publicly available through the Marine Geoscience Data System (MGDS, http://www.marine-geo.org). The mosaic-generating and viewing software is available through the Computer Vision and Robotics Group Web page at the University of Girona (http://eia.udg.es/_rafa/mosaicviewer.html)

Formalizing defeasible argumentation using a labeled deductive system

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defensible argumentation, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing an argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectical approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

Sidelobe elimination for generalized synthetic discriminant functions by a two-filter correlation and subsequent postprocessing of the intensity distributions

One of the most important problems in optical pattern recognition by correlation is the appearance of sidelobes in the correlation plane, which causes false alarms. We present a method that eliminate sidelobes of up to a given height if certain conditions are satisfied. The method can be applied to any generalized synthetic discriminant function filter and is capable of rejecting lateral peaks that are even higher than the central correlation. Satisfactory results were obtained in both computer simulations and optical implementation.

Anoxic-ischemic encephalopathy: association of predictors with the vital and functional prognosis of patients

Improve the prediction of the vital and functional prognosis of comatose patients suffering from anoxic-ischemic encephalopathy after successful resuscitation from a cardiac arrest, addmitted to the Intensive Care and Coronary Units of the Dr. Josep Trueta Hospital, based on clinical, neurophysiological and biochemical results.The results of these different tests, revised and combined all together, will improve the prediction of the patients' prognosis, leading to an accurate vital and functional outcome, as they only have been studied separately so far. Anoxia is the third most frequent cause of coma, and the most common cause of post-anoxic coma in adults is the cardiac arrest. The incidence of hypoxic-ischemic brain injury is not well known, but it is certain that cardiac arrest, the most common cause of post-anoxic coma, affects approximately 24000 to 50000 Spanish people every year, most of them occuring out of the hospital. A cardiac arrest is the abrupt cessation of normal circulation of the blood due to failure of the heart to contract effectively during systole. It is different from, but may be caused by, a heart attack or myocardial infarction, where blood flow to the still-beating heart is interrupted. Arrested blood circulation prevents delivery of oxygen to all parts of the body. Cerebral hypoxia, or lack of oxygen supply to the brain, causes victims to lose consciousness and to stop normal breathing, although agonal breathing may still occur. Brain injury is likely if cardiac arrest is untreated for more than five minutes

Traducción técnica del capítulo III del libro Advanced Data Warehouse design: from conventional to spatial and temporal applications

The proposal to work on this final project came after several discussions held with Dr. Elzbieta Malinowski Gadja, who in 2008 published the book entitled Advanced Data Warehouse Design: From Conventional to Spatial and Temporal Applications (Data-Centric Systems and Applications). The project was carried out under the technical supervision of Dr. Malinowski and the direct beneficiary was the University of Costa Rica (UCR) where Dr. Malinowski is a professor at the Department of Computer Science and Informatics. The purpose of this project was twofold: First, to translate chapter III of said book with the intention of generating educational material for the use of the UCR and, second, to venture in the field of technical translation related to data warehouse. For the first component, the goal was to generate a final product that would eventually serve as an educational tool for the post-graduate courses of the UCR. For the second component, this project allowed me to acquire new skills and put into practice techniques that have helped me not only to perfom better in my current job as an Assistant Translator of the Inter-American BAnk (IDB), but also to use them in similar projects. The process was lenggthy and required torough research and constant communication with the author. The investigation focused on the search of terms and definitions to prepare the glossary, which was the basis to start the translation project. The translation process itself was carried out by phases, so that comments and corrections by the author could be taken into account in subsequent stages. Later, based on the glossary and the translated text, illustrations had been created in the Visio software were translated. In addition to the technical revision by the author, professor Carme Mangiron was in charge of revising the non-technical text. The result was a high-quality document that is currently used as reference and study material by the Department of Computer Science and Informatics of Costa Rica.