A review of the Malaria Chemoprophylaxis Compliance Program at ExxonMobil Corporation

ExxonMobil, a Fortune 500 oil and gas corporation, has a global workforce with employees assigned to projects in areas at risk for infectious diseases, particularly malaria. As such, the corporation has put in place a program to protect the health of workers and ensure their safety in malaria endemic zones. This program is called the Malaria Control Program (MCP). One component of this program is the more specific Malaria Chemoprophylaxis Compliance Program (MCCP), in which employees enroll following consent to random drug testing for compliance with the company's chemoprophylaxis requirements. Each year, data is gathered on the number of employees working in these locations and are selected randomly and tested for chemoprophylaxis compliance. The selection strives to test each eligible worker once per year. Test results that come back positive for the chemoprophylaxis drug are considered "detects" and tests that are negative for the drug and therefore show the worker is non-compliant at risk for severe malaria infection are considered "non-detect". ^ The current practice report used aggregate data to calculate statistics on test results to reflect compliance among both employees and contractors in various malaria-endemic areas. This aggregate, non-individualized data has been compiled and reflects the effectiveness and reach of ExxonMobil's Malaria Chemoprophylaxis Compliance Program. In order to assess compliance, information on the number of non-detect test results was compared to the number of tests completed per year. The data shows that over time, non-detect results have declined in both employee and contractor populations, and vary somewhat by location due to size and scope of the MCCP implemented in-country. Although the data indicate a positive trend for the corporation, some recommendations have been made for future implementation of the program.^

El establecimiento vitivinícola : Un conjunto edilicio al servicio de un modelo industrial por un siglo (1870-1970)

La vitivinicultura en la provincia de Mendoza, Argentina, se desarrolló a escala industrial y moderna a partir de fines del siglo XIX e inició su declinación en la década de 1970, lo que desencadenó la segunda modernización vitivinícola desde la de 1980. Las necesidades funcionales de esta época requirieron de construcciones con fines tanto habitacionales como productivos, lo que dio origen a conjuntos o complejos edilicios denominados establecimientos vitivinícolas. Las bodegas integrantes de estos conjuntos son los edificios destinados a elaborar vino; es decir, los cuerpos productivos donde se desarrolla la actividad vitivinícola. El resto de las edificaciones sirven de soporte para dicha actividad. Las unidades funcionales requeridas en los establecimientos han variado en el tiempo: se fueron adaptando de acuerdo con las diversas exigencias productivas de cada momento. En la actualidad, los establecimientos vitivinícolas que fueron construidos desde 1870 a 1970 se pueden encontrar adaptados a las nuevas exigencias productivas y en funcionamiento, o en un completo abandono. Los conjuntos de construcciones, junto a diversos implementos que los integran, son testimonios, huellas de otras realidades y conocimientos que acontecieron en ellos. Por ello, en el presente trabajo nos proponemos un análisis histórico-arquitectónico sobre la evolución de la materialidad de los establecimientos vitivinícolas desde 1870 hasta 1970; focalizamos nuestro estudio en comprender su crecimiento edilicio y el motivo de la distribución y ubicación de las diversas edificaciones que los integraron, en estrecha relación con la función y el marco contextual al que pertenecen

Estructura organizativa del Sistema de Gestión Integral de Documentos de archivo (SiGeID 1.0)

El nuevo contexto impone a las organizaciones la necesidad vital de disponer de adecuadas infraestructuras de comunicación, que les permitan conseguir un conocimiento real y suficiente del entorno. El presente artículo pretende mostrar la estructura organizativa del Sistema de Gestión Integral de Documentos de archivo SiGeID (1.0), como una herramienta informática que ayuda a las organizaciones empresariales al perfeccionamiento de la gestión de documentos. Dividido en tres módulos: Gestión y Seguridad Documental, Gestión de Archivo y Administración y Configuración, se tienen en cuenta además sus requerimientos funcionales y no funcionales

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

El establecimiento vitivinícola : Un conjunto edilicio al servicio de un modelo industrial por un siglo (1870-1970)

La vitivinicultura en la provincia de Mendoza, Argentina, se desarrolló a escala industrial y moderna a partir de fines del siglo XIX e inició su declinación en la década de 1970, lo que desencadenó la segunda modernización vitivinícola desde la de 1980. Las necesidades funcionales de esta época requirieron de construcciones con fines tanto habitacionales como productivos, lo que dio origen a conjuntos o complejos edilicios denominados establecimientos vitivinícolas. Las bodegas integrantes de estos conjuntos son los edificios destinados a elaborar vino; es decir, los cuerpos productivos donde se desarrolla la actividad vitivinícola. El resto de las edificaciones sirven de soporte para dicha actividad. Las unidades funcionales requeridas en los establecimientos han variado en el tiempo: se fueron adaptando de acuerdo con las diversas exigencias productivas de cada momento. En la actualidad, los establecimientos vitivinícolas que fueron construidos desde 1870 a 1970 se pueden encontrar adaptados a las nuevas exigencias productivas y en funcionamiento, o en un completo abandono. Los conjuntos de construcciones, junto a diversos implementos que los integran, son testimonios, huellas de otras realidades y conocimientos que acontecieron en ellos. Por ello, en el presente trabajo nos proponemos un análisis histórico-arquitectónico sobre la evolución de la materialidad de los establecimientos vitivinícolas desde 1870 hasta 1970; focalizamos nuestro estudio en comprender su crecimiento edilicio y el motivo de la distribución y ubicación de las diversas edificaciones que los integraron, en estrecha relación con la función y el marco contextual al que pertenecen

Estructura organizativa del Sistema de Gestión Integral de Documentos de archivo (SiGeID 1.0)

El nuevo contexto impone a las organizaciones la necesidad vital de disponer de adecuadas infraestructuras de comunicación, que les permitan conseguir un conocimiento real y suficiente del entorno. El presente artículo pretende mostrar la estructura organizativa del Sistema de Gestión Integral de Documentos de archivo SiGeID (1.0), como una herramienta informática que ayuda a las organizaciones empresariales al perfeccionamiento de la gestión de documentos. Dividido en tres módulos: Gestión y Seguridad Documental, Gestión de Archivo y Administración y Configuración, se tienen en cuenta además sus requerimientos funcionales y no funcionales

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

Estructura organizativa del Sistema de Gestión Integral de Documentos de archivo (SiGeID 1.0)

El nuevo contexto impone a las organizaciones la necesidad vital de disponer de adecuadas infraestructuras de comunicación, que les permitan conseguir un conocimiento real y suficiente del entorno. El presente artículo pretende mostrar la estructura organizativa del Sistema de Gestión Integral de Documentos de archivo SiGeID (1.0), como una herramienta informática que ayuda a las organizaciones empresariales al perfeccionamiento de la gestión de documentos. Dividido en tres módulos: Gestión y Seguridad Documental, Gestión de Archivo y Administración y Configuración, se tienen en cuenta además sus requerimientos funcionales y no funcionales

El establecimiento vitivinícola : Un conjunto edilicio al servicio de un modelo industrial por un siglo (1870-1970)

La vitivinicultura en la provincia de Mendoza, Argentina, se desarrolló a escala industrial y moderna a partir de fines del siglo XIX e inició su declinación en la década de 1970, lo que desencadenó la segunda modernización vitivinícola desde la de 1980. Las necesidades funcionales de esta época requirieron de construcciones con fines tanto habitacionales como productivos, lo que dio origen a conjuntos o complejos edilicios denominados establecimientos vitivinícolas. Las bodegas integrantes de estos conjuntos son los edificios destinados a elaborar vino; es decir, los cuerpos productivos donde se desarrolla la actividad vitivinícola. El resto de las edificaciones sirven de soporte para dicha actividad. Las unidades funcionales requeridas en los establecimientos han variado en el tiempo: se fueron adaptando de acuerdo con las diversas exigencias productivas de cada momento. En la actualidad, los establecimientos vitivinícolas que fueron construidos desde 1870 a 1970 se pueden encontrar adaptados a las nuevas exigencias productivas y en funcionamiento, o en un completo abandono. Los conjuntos de construcciones, junto a diversos implementos que los integran, son testimonios, huellas de otras realidades y conocimientos que acontecieron en ellos. Por ello, en el presente trabajo nos proponemos un análisis histórico-arquitectónico sobre la evolución de la materialidad de los establecimientos vitivinícolas desde 1870 hasta 1970; focalizamos nuestro estudio en comprender su crecimiento edilicio y el motivo de la distribución y ubicación de las diversas edificaciones que los integraron, en estrecha relación con la función y el marco contextual al que pertenecen

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

Registry of all samples from the Tara Oceans Expedition (2009-2013)

The Tara Oceans Expedition (2009-2013) sampled the world oceans on board a 36 m long schooner, collecting environmental data and organisms from viruses to planktonic metazoans for later analyses using modern sequencing and state-of-the-art imaging technologies. Tara Oceans Data are particularly suited to study the genetic, morphological and functional diversity of plankton. Data sets in this collection provide methodological and environmental context to all samples collected during the Tara Oceans Expedition (2009-2013).

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.

Integration of design tools and knowledge capture into a CAD system: a case study

onceptual design phase is partially supported by product lifecycle management/computer-aided design (PLM/CAD) systems causing discontinuity of the design information flow: customer needs — functional requirements — key characteristics — design parameters (DPs) — geometric DPs. Aiming to address this issue, it is proposed a knowledge-based approach is proposed to integrate quality function deployment, failure mode and effects analysis, and axiomatic design into a commercial PLM/CAD system. A case study, main subject of this article, was carried out to validate the proposed process, to evaluate, by a pilot development, how the commercial PLM/CAD modules and application programming interface could support the information flow, and based on the pilot scheme results to propose a full development framework.

UER technique: conceptualisation for agent oriented development

The problem of conceptualisation is the first step towards the identication of the functional requirements of a system. This article proposes two extensions of well-known object oriented techniques: UER (User-Environment-Responsibility) technique and enhanced CRC (Class-ResponsibilityCollaboration) cards. UER technique consists of (a) looking for the users of systems and describing the ways the system is used; (b) looking for the objects of the environment and describing the possible interactions; and (c) looking for the general requirements or goals of the system, the actions that it should carry out without explicit interaction. The enhanced CRC cards together with the internal use cases technique is used for dening collaborations between agents. These techniques can be easily integrated in UML (Unied Modelling Language) [2], dening the new notation symbols as stereotypes.

Interacción con juguetes para usuarios con discapacidad usando equipos con S.O. Android

El proyecto realizado, trata de una aplicación desarrollada en la plataforma Android, orientada a personas con algún tipo de discapacidad sensorial o psíquica. Dicha aplicación fomenta el uso y la integración de dispositivos móviles en este tipo de sector de población. Está pensada, para que, un usuario con discapacidad, pueda interactuar con ella y de forma transparente a él, se ha creado un sistema mediante el cual, se registra todo el comportamiento que ese usuario ha tenido durante el tiempo de uso de la aplicación, con el fin de llevar un seguimiento del mismo; evaluar si existen cambios en él; determinar si son necesarios algunos cambios en la aplicación que favorezcan una mejoría en cuanto al uso y consecución de resultados en el paciente, etc. Se ha combinado el uso de una aplicación instalada sobre un sistema operativo de libre distribución, concretamente Android, con un juguete de código abierto, como es Sphero. Eso ha permito el desarrollo de una aplicación perfectamente ajustada a los requisitos funcionales definidos, con una robustez y eficiencia similar a una aplicación de sistemas operativos móviles cerrados. Es importarte remarcar, que la primera finalidad de este proyecto es ofrecer la posibilidad de usar un juguete, como Sphero, que está orientado a un sector de población sin discapacidad, haciendo uso de cualquier dispositivo móvil, a personas con diferentes grados de discapacidad sensorial, motora y psíquica. Siempre clarificando, que no existe la posibilidad de usar esta aplicación para cualquier tipo y grado de discapacidad, ya que, ello supondría, un proyecto de una envergadura enorme. El hecho de usar un dispositivo móvil, es un derecho, que todos tenemos. Y por ello, se espera que tras la lectura y comprensión de este proyecto, se motive a los lectores a seguir desarrollando aplicaciones para que cualquier usuario, con discapacidad o no, tenga las mismas oportunidades de interactuación con dispositivos móviles. The carried out project, is an application developed on the Android platform , aimed at people with some kind of sensory or mental disability . This application encourages the use and integration of mobile devices in this type of population sector. It is designed to be interacted by a disable person and transparently to that user, it has been created a system by which all behavior, that user has had during the time of use of the application, is recorded, that’s to keep track of it ; assess whether there are changes in it, determine if changes are needed in the application that favor an improvement in the use and achieving patient outcomes , etc. . It has combined the use of an application installed on an open source operating system, namely Android, an open source toy , as is Sphero . That has made it possible to develop an application perfectly adjusted to the functional requirements defined with a robustness and efficiency similar to a mobile OS application closed. It is important to note, that the first aim of this project is to offer the possibility of using a toy, like Sphero , which is geared to a sector of the population without disabilities , using any mobile device , for people with different degrees of sensory impairment , motor and mental . Always clarifying that there is no possibility to use this application for any type and degree of disability, because the magnitude of the project would have been infinitely greater. The fact of using a mobile device, is a right we all have. And so, it is expected that upon reading and understanding of this project, motivate readers to continue developing applications for any user , disabled or not, have the same opportunities for interaction with mobile devices .