231 research outputs found
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
- …