Formalization of Universal Algebra in Agda

In this work we present a novel formalization of universal algebra in Agda. We show that heterogeneous signatures can be elegantly modelled in type-theory using sets indexed by arities to represent operations. We prove elementary results of heterogeneous algebras, including the proof that the term algebra is initial and the proofs of the three isomorphism theorems. We further formalize equational theory and prove soundness and completeness. At the end, we define (derived) signature morphisms, from which we get the contravariant functor between algebras; moreover, we also proved that, under some restrictions, the translation of a theory induces a contra-variant functor between models.Fil: Gunther, Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Gadea, Alejandro Emilio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Pagano, Miguel Maria. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentin

Breve resumen de la vida de la Madre Sor Isabel Maria de Santa Ana ... de Religiosas Descalzas ... de Santa Clara ... [Texto impreso]

Sign.: []1, *4, A-Ee

Estudio sobre peligro aviario: Análisis del riesgo de impactos entre aves y aeronaves en el Aeropuerto Internacional Augusto C. Sandino, Managua, Nicaragua

El peligro aviario es el riesgo de coliciones entre aves y aeronaves. Para reducir ese peligro es necesario entender la naturaleza de las aves que habitan dentro y alrededor del aeropuerto y clasificarlas numericamente en base a la peligrosidad que representan, conociendo a la vez las estaciones del año, los meses del año, horas del día, condiciones climáticas, focos de atracción (cobertura, alimentación y agua) que incrementan la abundancia y la riqueza de aves en las áreas aeroportuarias. Para obtener la información se seleccionaron dos sitios de observación: uno en las áreas verdes alrededor de la pista de aterrizaje, con el objetivo de registrar las especies de aves hacen uso de este sitio permanente o temporalmente, y otro en la torre de control, para determinar rutas de aves de mayor peso, gregarias y de alto vuelo en un radio de 3000 m con centro en la torre de control. Las especies observadas con mayor frecuencia en la pista de aterrizaje fueron: Hirundo rustica, Quiscalus mexicanus, Molothrus aeneus, Columbina talpacoti y Columba livia. Desde la torre de control se observaron con mayor frecuencia: Coragyps atratus, Zenaida asiatica, Molotrus aeneus y Quiscalus mexicanus. En la pista de aterrizaje y desde la torre de control la abundancia y riqueza de aves no varió significativamente a lo largo dlos meses del año. En la pista de aterrizaje la abundancia incrementa significativamente en el período seco en horarios de 06:00-07:00 am, principalmente por la presencia de Q. mexicanus y H. rustica. La riqueza en el periodo seco y la abundancia y riqueza en el período lluvioso no varió significativamente. Desde la torre de control no se registraron incrementos significativos de la abundancia y riqueza de aves en el período seco, pero si de la abundancia en el período lluvioso, con alzas a las 11:00 y 13:00, principalmente por la mayores actividades de la especie C. atratus a esas horas. La abundancia de aves en la pista de aterrizaje dependió de las condiciones climáticas, aumentando al aumentar la precipitación y la nubosidad y reduciéndose al aumentar la velocidad del viento y la temperatura. La actividad de las aves observadas desde la torre de control no varió significativamente con las variaciones climáticas diarias. Las especies que hacen mayor uso del enmallado perimetral del aeropuerto para perchar fueron: Passers domesticus, Columbina talpacoti, Tyrannus melancholicus, Crotophaga sulcirostris y Tyrannus forficatus. Los sitios preferidos para anidación dentro del aeropuerto fueron árboles de Almendra ( Terminalia catapa ), Mango ( Manguifera indica ) y dentro del las instalacones del cuerpo de Bomberos, torre de control y los hangares. Se concluye que C. atratus y Q. mexicanus son las especies que más peligro representan para la aviación, seguidas en menor escala de C. livia , C. talpocati, H. rustica y M. aeneus. Los sectores norte, oeste y una parte del sector sur del aeropuerto son áreas de mayor riesgo aviario por una mayor frecuencia de observación de C. atratus en esa zona. La especie Q. mexicanus esta distribuida principalmente en el sector sureste. Las fuentes de atracción para las aves van desde sitios ideales para hábitat, refugio, anidación y perchaje hasta fuente de alimentos que incluyen vegetales, insectos, vertebrados, basureros y mataderos

Ayahuasca: farmacología, efectos agudos, potencial terapéutico y rituales

La ayahuasca es una preparación botánica alucinógena compuesta de Banisteriopsis caapi y Psychotria viridis que, tradicionalmente, ha sido consumida por grupos indígenas de la Amazonia. Este brebaje contiene el agonista serotoninérgico N,N-dimetiltriptamina (DMT) y alcaloides inhibidores de la monoaminooxidasa (IMAO) (harmina, harmalina y tetrahidroharmina). La literatura científica hasta el momento sugiere que la administración o ingesta aguda de la ayahuasca no es mal tolerada, incluso en aquellos casos en los que se ha registrado un uso crónico de la misma, no habiéndose informado sobre toxicidad en ningún estudio en humanos. No obstante, teniendo en cuenta la limitación del uso de una muestra sana y joven en la mayoría de los ensayos llevados a cabo, y los datos escasos referentes a patologías previas de tipo cardíaco y hepático, así como el uso combinado con otras sustancias, se sugiere una contraindicación importante al consumo de ayahuasca. El objetivo de este trabajo es realizar una revisión abarcando desde la composición y mecanismos de acción de la propia ayahuasca y sus efectos, tanto deseados como adversos de su ingesta, hasta el uso de dicha sustancia como terapia farmacológica en el marco de las drogodependencias, alcoholismo y trastornos afectivos, además de una breve descripción de las connotaciones de su uso en rituales organizados.Ayahuasca is a botanical hallucinogenic preparation which is made up of Banisteriopsis caapi and Psychotria viridis, consumed by indigenous groups of the Amazonia region. This beverage contains the serotoninergic agonist N,N-dimethyltryptamine (DMT) and monoamine oxidase-inhibiting alkaloids (harmine, harmaline and tetrahydroharmine). Scientific literature has until now suggested that the administration or acute consumption of ayahuasca is not badly tolerated, even in situations where consumers have endured chronic use of the substance, no study having detected any effect of toxicological nature in humans. However, taking into account the limitations of performing most studies on a young and healthy sample, and the scant data on preexisting hepatic and cardiac pathologies, as well as the combined use of ayahuasca with other substances, a warning about the contraindication of ayahuasca use is suggested. The aim of this work is to put forward an overview through the composition and action mechanisms of ayahuasca and the desired and adverse effects of its administration. The use of this preparation as a new pharmacological therapy on substance abuse and affective disorders is explained, as well as a brief description regarding the connotations of ayahuasca use in organized rituals

Sistema de diálogo para la comunicación aumentativa y alternativa con pictogramas

En primer lugar, destacar que este Trabajo Fin de Máster se ha desarrollado dentro del grupo de investigación ViVoLab (Voice Input Voice Output Laboratory) de la Universidad de Zaragoza. Este proyecto se enmarca dentro del campo de la comunicación aumentativa y alternativa, la cual hace más sencilla la relación de personas con necesidades especiales, y tiene como objetivo la creación de un sistema de diálogo. Este sistema de diálogo permite la comunicación mediante texto y pictogramas, e incluye una herramienta de predicción que facilita su uso. El sistema de diálogo se basa en una aplicación tipo chat que permite a los usuarios enviar mensajes al resto de personas conectadas. Los mensajes son enviados usando tanto texto como pictogramas, y pueden ser introducidos de las dos formas, bien usando un teclado para escribir texto o seleccionando los pictogramas de la propia aplicación. Estos pictogramas están ordenados por categorías gracias al uso de la base de datos de Arasaac (portal Aragonés de la Comunicación Aumentativa y Alternativa). El sistema de predicción ordena las categorías presentando al usuario las que tienen un uso más probable en cada momento. Dentro de cada categoría, se pueden seleccionar los pictogramas (los cuales también aparecen ordenados por probabilidad de uso) añadiendo una nueva palabra al mensaje que se está escribiendo. El algoritmo de predicción también permite al usuario escoger sus frases más comunes al comienzo de la conversación, así como cada vez que envía o recibe un mensaje para poder seguir la conversación con más fluidez. Si el usuario se decide por redactar una nueva frase, el sistema de predicción le ayudará para completarla, actualizándose cada vez que se introduzca una nueva palabra y/o pictograma. En cuanto al sistema de predicción, éste se basa en modelos de lenguaje de N-gramas. Los N-gramas son secuencias de palabras de longitud N y la predicción se realiza a través de la probabilidad de cada N-grama en el modelo de lenguaje. Además, el algoritmo utiliza un modelo de lenguaje global y otro modelo de lenguaje caché, basado en el uso qué cada usuario hace del sistema, personalizándolo

La Imagen Histórica de La Plaza del Pilar : Análisis desde la cartografía

La Plaza del Pilar, uno de los espacios más emblemáticos de la ciudad de Zaragoza, es fruto de una rica historia, donde distintas sociedades conformaron lo que conocemos hoy en día.Este trabajo recorre las modificaciones morfológicas y estructurales, así como la percepción visual del paisaje urbano de la plaza, a través de las cartografías históricas que se conocen de este entorno, desde los primeros planos del siglo XVIII hasta la actualidad. Además, analiza cartografías, imágenes y escritos históricos para acabar conformando nuestra propia cartografía, y así, mejorar la visualización de estos cambios, mostrando las distintas fases y modificaciones que se llevaron a cabo, antes de convertirse en una de las plazas más grandes de Europa.Para ello, el texto se divide en tres etapas mostrando la plaza en diferentes momentos temporales de la ciudad, correspondientes a la ciudad en el antiguo régimen, en la ciudad liberal y en la ciudad del siglo XX.<br /

Drogas emergentes: catinonas sintéticas ('sales de baño')

Las catinonas sintéticas son una nueva clase de drogas de diseño de tipo psicoestimulante y alucinógeno y con efectos similares a la cocaína, la metilendioximetanfetamina (MDMA) u otras anfetaminas. El abuso de catinonas sintéticas, con frecuencia incluidas en los productos vendidos como 'sales de baño', se puso de moda a principios de 2009, lo que llevó a la clasificación legislativa en toda Europa en 2010 y a la lista I de clasificación de drogas dentro de los Estados Unidos en 2011. Los estudios clínicos recientes indican que el mecanismo de acción de la catinona sintética afecta a los sistemas centrales de monoaminas. En esta revisión abordaremos la historia de estas drogas, su mecanismo de acción, la toxicología y los aspectos legales.Synthetic cathinones are a new class of designer drug of the hallucinogenic stimulant type with effects similar to cocaine, methylenedioxymethamphetamine (MDMA) and other amphetamines. The abuse of synthetic cathinones often included in products sold as 'bath salts' became fashionable in early 2009, which led to legislative classification across Europe in 2010 and Schedule I drug classification in the USA in 2011. Recent clinical studies indicate that the action mechanism of synthetic cathinone affects the central monoamine systems. In this paper we will review the history of these drugs, their action mechanism, toxicology and legal aspects