A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

La vulnérabilité face au risque cyclonique : le cas du wilayat Bawshar en Oman

L’objectif de ce mémoire est de réaliser une étude descriptive et évaluative de la vulnérabilité du wilayat Bawshar (district du gouvernorat Mascate, capitale du Sultanat d’Oman), face au risque cyclonique et ce, dans le but de promouvoir la prévention et l’adaptation. À partir des diverses méthodes d’analyse de la vulnérabilité, présentées dans le cadre théorique, nous souhaitons développer une méthode basée sur la prémisse que la vulnérabilité est un système composé de plusieurs facteurs. Cette méthode sera ensuite adaptée au contexte du wilayat Bawshar en lien avec le risque cyclonique. Cette approche est réalisée autour de trois dimensions de la vulnérabilité : physique, sociale et institutionnelle. À la suite de l’application à notre cas d'étude des différentes théories et méthodes analytiques, réalisée grâce à une analyse qualitative et quantitative, générée par une recherche documentaire, des entrevues semi-dirigées, des données statistiques et géomatiques, une observation directe du terrain d’étude ainsi qu’un sondage, voici les importants résultats que nous avons obtenus : les cyclones affectant le gouvernorat de Mascate génèrent d’importants dommages tels que les pertes de vies humaines, la destruction des maisons et des principaux réseaux de transport, ainsi que d’autres perturbations, ceci dû principalement aux inondations émanant des cyclones. Cet endommagement s’explique par la combinaison et l’interaction de plusieurs facteurs tels que les changements océanographiques et atmosphériques affectant le pays ainsi que la topographie et l’hydrologie du site. Les facteurs tels que l’étalement urbain, l’urbanisation de zones à risques, l’explosion démographique, la non diversification de l’économie ainsi que les conditions socio-économiques amplifient la vulnérabilité face au risque cyclonique. Toutefois d’autres facteurs et changements réalisés par le Sultanat d’Oman dans les dernières années diminuent la vulnérabilité de sa population et réduisent l’endommagement à la suite de tels aléas. Parmi eux, nous retrouvons le développement que le pays a soutenu depuis 1970 dans plusieurs secteurs tels que la santé, l’éducation, les infrastructures et l’instauration de politiques de développement durable visant à diversifier l’économie. Depuis le passage des cyclones Gonu et Phet au Sultanat d’Oman, la gestion des risques est au centre même des priorités gouvernementales.

Le contrôle politique de l'agence anticorruption malaisienne

L'enjeu des politiques anticorruption occupe une grande partie du discours politique en Malaisie. Après des événements tels que la crise financière de 1997, ou encore l'affaire Anwar en 1998, les politiques anticorruption ont été catapultées au sein du débat politique, dans lequel elles sont constamment observées, scrutées et critiquées. Ce mémoire étudie ces politiques à travers l'analyse du contrôle politique, notamment en ce qui concerne leur autonomie et leur indépendance bureaucratique. En se concentrant plus précisément sur le cas de l'agence anticorruption, notre mémoire offre un regard sur la nouvelle agence indépendante qui a récemment vu le jour en 2009, ainsi que celle qui la précède. Cette étude démontre que la nature du contrôle politique exercé a entravé et ralentit la mise en œuvre des politiques anticorruption.

Diferencia venoarterial de PCO2 como predictor de disfunción miocárdica en pacientes pediátricos con sepsis severa y choque séptico

El objetivo de este estudio, es determinar la capacidad de la diferencia venoarterial de de pCO2, como predictor de disfunción miocárdica en pacientes pediátricos con sepsis severa y choque séptico en la Unidad de Cuidado Intensivo Pediátrico de la Fundación Cardio Infantil. El documento eviado corresponde a un informe parcial de un estudio en curso en la Fundación CardioInfantil.

Análisis de la incidencia de la Teoría de la Identidad Colectiva en la posición de la Liga Árabe frente al reconocimiento de Somalilandia como Estado independiente

Esta Monografía se centra en mostrar cómo el intento por conservar la identidad colectiva de la Liga de los Estados Árabes impide ceder ante el deseo de Somalilandia de ser reconocida como Estado independiente.

Análisis de la política comercial de Singapur como estrategia de la política exterior en la Asociación de Naciones del Sudeste Asiático (ASEAN) y el Foro de Cooperación Económico Asia-Pacífico (APEC). Periodo 1998-2009

Análisis de la política exterior de Singapur y cómo está determinada por las políticas comerciales del país. Analiza cómo la participación en una organización internacional y un foro económico benefician al desarrollo económico del país.

Derecho penal y la obligación de investigar y sancionar graves violaciones de derechos humanos y el derecho internacional humanitario -especial referencia a la sentencia de la corte constitucional colombiana c-579/13-

En el presente trabajo se analiza la obligación de investigar graves violaciones de Derechos Humanos y Derecho Internacional Humanitario, a la luz de la sentencia de la Corte Constitucional Colombiana referente a la constitucionalidad del Marco Jurídico para la paz. De la aparente remisión que hace la Corte Constitucional a la Corte Interamericana de Derechos Humanos sobre el deber de investigar graves violaciones de Derechos Humanos y de Derecho Internacional Humanitario se concluye que la Corte Constitucional propone como premisa mayor una obligación que surge de una interpretación extensiva de la Convención Interamericana. De la misma forma, se estudia el tratamiento indebido del derecho aplicable a las amnistías e indultos, que se relaciona con la necesidad de evitar cualquier tipo de impunidad, cuyo concepto sirve para esclarecer cuáles son los estándares que se quiere proteger. Por último, se analiza el contexto al que se pretende aplicar dicha obligación, es decir, la justicia transicional, proponiendo un modelo interpretativo de los fines de la pena, y su aplicación por medio de la favorabilidad penal, para la justicia transicional, que sea acorde a la interpretación de la Convención Interamericana.

Diferencia venoarterial de Pco2 como predictor de disfunción miocárdica en niños con sepsis severa y choque séptico.

Introducción: La sepsis es una de las principales causas de morbilidad y mortalidad en la población pediátrica a nivel mundial, siendo la disminución del gasto cardiaco uno de los principales factores asociados a mortalidad. Se ha planteado la diferencia venoarterial de pCO2 como predictor de la función miocárdica en pacientes con sepsis, sin embargo hasta el momento no hay estudios en la población pediátrica que lo evalúen. Objetivo: Determinar la capacidad predictora y las características operativas de la diferencia venoarterial de pCO2, como predictor de disfunción miocárdica en pacientes pediátricos con sepsis severa y choque séptico. Métodos: Para alcanzar los objetivos del estudio, se llevo a cabo un estudio prospectivo de pruebas diagnósticas. Se realizó ecocardiograma y diferencia venoarterial de pCO2 en cada paciente, posteriormente se calculó las características operativas de la diferencia venoarterial de pCO2 para determinar su utilidad. Resultados: Se incluyeron 71 pacientes. La mediana de la diferencia venoarterial de pCO2 no fue significativamente mayor en los pacientes que tuvieron disfunción cardiaca en el ecocardiograma en comparación con los que no tuvieron disfunción. Se encontró una relación estadísticamente significativa de valores de 1,5 a 2,1 mmHg, como predictor negativo de disfunción miocárdica con una sensibilidad de 100% y una especificidad de 88%. Conclusiones: La diferencia venoarterial de pCO2 requiere de estudios mas extensos para determinar la probabilidad como predictor de disfunción miocárdica en pacientes pediátricos con sepsis severa y choque séptico, incluso cuando otros biomarcadores se encuentran dentro de límites normales.

Strain longitudinal global para la detección de estenosis coronaria significativa en pacientes con infarto agudo del miocardio

Introducción: La evaluación de la función miocárdica global y regional juega una papel crítico en el diagnóstico y manejo de los pacientes con enfermedad coronaria con importantes implicaciones pronosticas, las nuevas técnicas ecocardiográficas como la evaluación del STRAIN han sido validadas como una herramienta objetiva, comprehensiva y precisa para evaluar dichos parámetros. Objetivo: Determinar la capacidad del strain global longitudinal para la detección de estenosis coronaria significativa, número de territorios comprometidos y territorio anatómico del vaso culpable; en pacientes sin antecedentes de enfermedad coronaria previa con infarto agudo del miocardio. Diseño: estudio de pruebas diagnósticas retrospectivo en el que se utilizó como gold estándar la angiografía coronaria, se seleccionaron 64 pacientes con ecocardiograma transtorácico previo a la angiografía coronaria. Resultados: Se demostró una exactitud intermedia del strain global longitudinal para detectar estenosis coronaria por análisis de curvas ROC, con un área bajo la curva de 0,78 p= 0,000 (IC 0,6; 1,0), Una sensibilidad de 96.5% (91.7%, 101.3%), especificidad 40.0% (9.6%, 70.4%) y una prevalencia real del enfermedad coronaria de 85.1% (76.5%, 93.6%) Conclusiones: La medición de la función global y regional por medio del strain global longitudinal identifica pacientes con infarto agudo del miocardio que tienen estenosis coronaria significativa, número de territorios afectados, y la distribución anatómica de los posibles vasos culpables, sin embargo hay que tener precaución en su uso que sólo se limite a escenarios en donde pueda ser interpretado adecuadamente. Palabras clave: strain global bidimensional, detección de estenosis coronaria significativa, infarto del miocardio.

La alianza de estados insulares pequeños y la securitización del cambio climático en la convención marco de Naciones Unidas sobre cambio climático (1992-2012)

La presente monografía busca explicar el proceso de securitización realizado por la AOSIS del cambio climático en las COP de la CMNUCC. Esta investigación defiende que la AOSIS sí ha hecho dicho proceso a través de estrategias como el liderazgo moral y los nexos con actores no-estatales; pero dicho proceso no ha sido exitoso, dado el predominio del discurso del desarrollo sostenible en las negociaciones, el debilitamiento de la AOSIS como actor securitizador y el poco apoyo formal de las potencias emergentes y el bloque UMBRELLA. Para sustentar lo anterior, se realizará una revisión de informes científicos que demuestran que el cambio climático es una amenaza a la seguridad, y un estudio desde de la teoría de securitización de Thierry Balzacq, de los discursos dados por los estados AOSIS, de las COP y de las posiciones de algunos bloques de negociación sobre el cambio climático.

LA COOPERACIÓN BILATERAL EN MATERIA MILITAR ENTRE EE.UU. Y EGIPTO Y SU INCIDENCIA EN LA SEGURIDAD FRONTERIZA CON ISRAEL (2002-2008).

Este estudio de caso se realiza con el ánimo de analizar la cooperación militar existente entre Estados Unidos y Egipto durante el periodo de 2002 a 2008. De esta manera, se busca conocer la incidencia que dicha cooperación tuvo en la seguridad fronteriza de Egipto e Israel. Para tal fin a lo largo del trabajo se procederá a exponer los principales aspectos del programa de cooperación analizado, se identificaran las principales amenazas a la seguridad fronteriza de Egipto y de Israel y se describirán las principales acciones que en el marco de dicho programa de cooperación militar se han tomado para hacerles frente a estas.

Actitudes hacia el VIH/SIDA, el cáncer y la enfermedad de Alzheimer

Esta revisión de la literatura tuvo como objetivo describir las actitudes hacia el VIH/SIDA, el cáncer y la Enfermedad de Alzheimer desde el modelo tripartito. Se revisaron 109 artículos publicados entre 2005 y 2015 en algunas bases de datos especializadas y herramientas de análisis de impacto. También se incluyeron fuentes secundarias ampliándose la búsqueda a los últimos 20 años (1995-2015). Los resultados mostraron que la mayoría de los estudios realizados sobre las actitudes hacia estas tres enfermedades son de tipo cuantitativo y la información se analizó con base en los componentes del modelo tripartito. Algunos aspectos sociodemográficos como el sexo y la edad están asociados con las actitudes hacia las tres enfermedades y predominan las creencias erróneas sobre ellas respecto a sus causas, curso y tratamiento. También predominan actitudes negativas hacia las tres enfermedades y las conductas e intenciones conductuales son diversas hacia cada una de ellas. No se hallaron antecedentes empíricos del estudio de la estructura de las actitudes propuesta por el modelo tripartito hacia las tres enfermedades. La Salud Pública ha liderado la investigación con base en el modelo de conocimientos, actitudes y prácticas propuesto por la OMS.

Efficiency and social inclusion: implications for the museum profession

In the late 1980s Stephen Weil (1990) raised the question of the extent to which museum work could be considered a profession, the extent to which it had been professionalized, and in what ways this professionalization was facilitated or impeded by the changing circumstances of museum work, its organizational and governance context and its already multiplying roles vis-à-vis public culture and society at large. Although Weil‘s thoughts were situated in the American museum context of the mid-1980s, many of his thoughts apply to contexts beyond the US, and some of the questions he raised about the potential for professionalising museum work still resonate with the current situation of museum work. This paper tries to pose and approach a host of questions that, whilst in the main echoing Stephen Weil‘s mid-1980s reflections, are reconfigured in light of some sweeping changes in the nature of museum work, its mode of governance and its governing norms and values.

Protective and curative effect of neem (Azadirachta indica) formulations on the development of root-knot nematode Meloidogyne javanica in roots of tomato plants

Two types of neem formulations, crude and refined, were tested. The crude form was neem leaves and neem cakes (a by-product left after the extraction of oil from neem seed) and one of the neem-refined products was "aza". The protective and curative soil application of these formulations significantly reduced the number of egg masses and eggs per egg mass on tomato roots. Protective application of neem crude formulations (leaves and cake) did not reduce the invasion of juveniles whereas aza at 0.1% w/w did. Curative application of neem formulations significantly reduced the number of egg masses and eggs per egg mass as compared with the control. (c) 2006 Elsevier Ltd. All rights reserved.

Response of free eggs on infective juvenile root-knot nematode Meloidogyne javanica through neem (Azadirachta indica A. Juss) amended soil

Air-dried and 3 mm pore size sieved soil was amended with neem crude formulations (leaves and cake) @ 3% w/w and a refined product, aza @ 0.05 and 0.1 w/w. Three days after treatment, 500 eggs of M. javanica held in 2 ml water were added in each dish. In another experiment, soil was amended with neem crude formulations @ 10. 5, 2.5 and 1% w/w and refined formulation aza @ 0.025, 0.05, 0.1 and 0.5% w/w. Three days after amendment 1000 plus minus 21 freshly hatched J2 held in 3 ml water were added to the amended soil. Untreated soil was kept as control. Comparison of treatments means showed that all the neem formulations caused significant reduction of hatching. Neem crude formulations were more effective in reducing hatching as compared to commercial product aza. Among the crude formulations, neem leaves were most effective in reducing hatching. In other experiment all the doses of neem crude and refined formulations differed significantly with control in reducing the mobility of juveniles. It was observed that by increasing the dose of the formulations the mobility was reduced accordingly.