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.

UV Embossed Plastic Chip for Protein Separation and Identification

This report demonstrates a UV-embossed polymeric chip for protein separation and identification by Capillary Isoelectric Focusing (CIEF) and Matrix Assisted Laser Desportion/Ionization Mass Spectrometry (MALDI-MS). The polymeric chip has been fabricated by UV-embossing technique with high throughput; the issues in the fabrication have been addressed. In order to achieve high sensitivity of mass detection, five different types of UV curable polymer have been used as sample support to perform protein ionization in Mass Spectrometry (MS); the best results is compared to PMMA, which was the commonly used plastic chip for biomolecular separation. Experimental results show that signal from polyester is 12 times better than that of PMMA in terms of detection sensitivity. Finally, polyester chip is utilized to carry out CIEF to separate proteins, followed by MS identification.

Sector agrícola y política de competencia

Los procesos de integración económica han puesto en evidencia que la separación tradicionalmente hecha entre las políticas comercial y de competencia no sólo es ficticia, sino que mantenerla es simplemente contradictorio con la realidad de la economía internacional. En la medida en que los mercados domésticos se han abierto al comercio internacional, se ha considerado que las políticas de competencia pueden hacerse redundantes, ya que la competencia extranjera tiende a garantizar que dichos mercados tienen un nivel adecuado de contestabilidad. Sin embargo, como se muestra en este documento para el caso del sector agrícola, en estas circunstancias, la política de competencia adquiere un nuevo e importante papel que cumplir. Acá se discute la relación general entre el sector agrícola y la política de competencia, en un contexto de relativa liberalización comercial. Se sostiene que es necesario aplicar la política de competencia al sector, ya que esto garantiza las mejores condiciones posibles para incentivar los procesos de cambio tecnológico, indispensables para desarrollar una agricultura dinámica. Igualmente, se afirma que es indispensable una aplicación rigurosa de la política de competencia que, teniendo en cuenta las particularidades de la estructura de mercado de los sectores vinculados a la agricultura hacia adelante y hacia atrás, garantice que el más competitivo sector agrícola no sea sujeto de prácticas anticompetitivas por otros agentes. Esto puede incluir la instauración de algunas excepciones puntuales para el sector, con relación a la política de competencia,

Refutations and the Logic of Practice. 'Refutaciones y la Lógica de la Práctica'.

Resumen basado en el de la publicación

A dynamic knowledge-based decision support system to handle solids separation problems in activated sludge systems: development and validation

El sistema de fangs activats és el tractament biològic més àmpliament utilitzat arreu del món per la depuració d'aigües residuals. El seu funcionament depèn de la correcta operació tant del reactor biològic com del decantador secundari. Quan la fase de sedimentació no es realitza correctament, la biomassa no decantada s'escapa amb l'efluent causant un impacte sobre el medi receptor. Els problemes de separació de sòlids, són actualment una de les principals causes d'ineficiència en l'operació dels sistemes de fangs activats arreu del món. Inclouen: bulking filamentós, bulking viscós, escumes biològiques, creixement dispers, flòcul pin-point i desnitrificació incontrolada. L'origen dels problemes de separació generalment es troba en un desequilibri entre les principals comunitats de microorganismes implicades en la sedimentació de la biomassa: els bacteris formadors de flòcul i els bacteris filamentosos. Degut a aquest origen microbiològic, la seva identificació i control no és una tasca fàcil pels caps de planta. Els Sistemes de Suport a la Presa de Decisions basats en el coneixement (KBDSS) són un grup d'eines informàtiques caracteritzades per la seva capacitat de representar coneixement heurístic i tractar grans quantitats de dades. L'objectiu de la present tesi és el desenvolupament i validació d'un KBDSS específicament dissenyat per donar suport als caps de planta en el control dels problemes de separació de sòlids d'orígen microbiològic en els sistemes de fangs activats. Per aconseguir aquest objectiu principal, el KBDSS ha de presentar les següents característiques: (1) la implementació del sistema ha de ser viable i realista per garantir el seu correcte funcionament; (2) el raonament del sistema ha de ser dinàmic i evolutiu per adaptar-se a les necessitats del domini al qual es vol aplicar i (3) el raonament del sistema ha de ser intel·ligent. En primer lloc, a fi de garantir la viabilitat del sistema, s'ha realitzat un estudi a petita escala (Catalunya) que ha permès determinar tant les variables més utilitzades per a la diagnosi i monitorització dels problemes i els mètodes de control més viables, com la detecció de les principals limitacions que el sistema hauria de resoldre. Els resultats d'anteriors aplicacions han demostrat que la principal limitació en el desenvolupament de KBDSSs és l'estructura de la base de coneixement (KB), on es representa tot el coneixement adquirit sobre el domini, juntament amb els processos de raonament a seguir. En el nostre cas, tenint en compte la dinàmica del domini, aquestes limitacions es podrien veure incrementades si aquest disseny no fos òptim. En aquest sentit, s'ha proposat el Domino Model com a eina per dissenyar conceptualment el sistema. Finalment, segons el darrer objectiu referent al seguiment d'un raonament intel·ligent, l'ús d'un Sistema Expert (basat en coneixement expert) i l'ús d'un Sistema de Raonament Basat en Casos (basat en l'experiència) han estat integrats com els principals sistemes intel·ligents encarregats de dur a terme el raonament del KBDSS. Als capítols 5 i 6 respectivament, es presenten el desenvolupament del Sistema Expert dinàmic (ES) i del Sistema de Raonament Basat en Casos temporal, anomenat Sistema de Raonament Basat en Episodis (EBRS). A continuació, al capítol 7, es presenten detalls de la implementació del sistema global (KBDSS) en l'entorn G2. Seguidament, al capítol 8, es mostren els resultats obtinguts durant els 11 mesos de validació del sistema, on aspectes com la precisió, capacitat i utilitat del sistema han estat validats tant experimentalment (prèviament a la implementació) com a partir de la seva implementació real a l'EDAR de Girona. Finalment, al capítol 9 s'enumeren les principals conclusions derivades de la present tesi.

Development of chemical separation processes for the treatment and monitoring of metallic cations and oxoanions in polluted waters

The chemical contamination of natural waters is a global problem with a worldwide impact. Considering the relevance of this problem, this thesis is intended, on one hand, to develop different separation/preconcentration techniques based on membranes ability to permeate anions for the transport of toxic oxyanions of chromium(VI) and arsenic contained in aqueous matrices. In particular, we have investigated supported liquid membranes and polymer inclusion membranes, both of which contain the commercial quaternary ammonium salt Aliquat 336 as a carrier, as well as commercial anion exchange membranes. On the other hand, we have focused on the development of chemical sensors to facilitate the monitoring of several metals from different aqueous matrices. Thus, a selective optical sensor for Cr(VI) based on polymeric membranes containing Aliquat 336 as an ionophore has been designed. Additionally, mercury-based screen-printed electrodes have been evaluated for for cadmium, lead, copper and zinc detection.

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.

Using love and logic at home: A workshop for parents of children who are deaf or hard of hearing

Research supporting a workshop about using Love and Logic techniques at home, tailored for parents of children who are deaf or hard of hearing.

Monetary policy and banking supervision: coordination instead of separation. CEPS Policy Brief No. 286, 12 December 2012

Introduction. Following the June 2012 European Council decision to place the ‘Single Supervisory Mechanism’ (SSM) within the European Central Bank, the general presumption in the policy discussions has been that there should be ‘Chinese walls’ between the supervisory and monetary policy arms of the ECB. The current legislative proposal, in fact, is explicit on this account. On the contrary, however, this paper finds that there is no need to impose a strict separation between these two functions. The authors argue, in fact, that a strict separation of supervision and monetary policy is not even desirable during a financial crisis when the systemic stability of the financial system represents the biggest threat to a monetary policy that aims at price stability. In their view, the key problem hampering the ECB today is that it lacks detailed information on the state of health of the banking system, which is often highly confidential. Chinese walls would not solve this problem. Moreover, in light of the fact that the new, proposed Supervisory Board will be composed to a large extent of representatives of the same institutions that also dominate the Governing Council, the paper finds that it does not make sense to have Chinese walls between two boards with largely overlapping memberships. In addition, it recommends that some members of the Supervisory Boards should be “independents” in order to reduce the tendency of supervisors to unduly delay the recognition of losses.