Hybrid type theory: a quartet in four movements

This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along

Evaluación del efecto del agonista cannabinoide WIN 55,212-2 en el tratamiento de los efectos secundarios producidos por el fármaco antineoplásico 5-fluorouracilo en rata

Los efectos secundarios producidos por la quimioterapia anticancerosa suponen un problema para el que se han propuesto los cannabinoides como tratamiento (a pesar de su principal limitación, los efectos centrales). El antineoplásico 5-Fluorouracilo (5-FU) produce en los pacientes náuseas, vómitos, diarrea, neuropatía periférica y, posiblemente, dolor visceral. Se evaluó si el agonista cannabinoide WIN 55, 212-2 (WIN), a dosis no psicoactivas, puede ser efectivo para tratar dichos efectos secundarios. Métodos: Se administró WIN (1 mg/kg/día, intraperitoneal, 4 días) y/o 5-FU (150 mg/kg/día, intraperitoneal, 2 días) a 44 ratas Wistar, distribuidas en 4 grupos: vehículo+salino (n=10), WIN+salino (n=10), vehículo+5-FU (n=12) y WIN+5-FU (n=12). Se evaluó la motilidad gastrointestinal usando métodos radiográficos no invasivos (día 1 y 4), y la presencia de alodinia mecánica (test de von Frey) y los efectos psicoactivos del WIN (tétrada cannabinoide) (día 3). Resultados: El 5-FU produjo dismotilidad gástrica (pero no diarrea) y neuropatía periférica. El cannabinoide, sin efectos centrales, fue capaz de prevenir la neuropatía pero no la dismotilidad. Conclusión: Los cannabinoides, incluso a dosis no psicoactivas, podrían ser útiles para el tratamiento de algunos de los efectos secundarios de los antineoplásicos

Efficient state reduction methods for PLA-based sequential circuits

Experiences with heuristics for the state reduction of finite-state machines are presented and two new heuristic algorithms described in detail. Results on machines from the literature and from the MCNC benchmark set are shown. The area of the PLA implementation of the combinational component and the design time are used as figures of merit. The comparison of such parameters, when the state reduction step is included in the design process and when it is not, suggests that fast state-reduction heuristics should be implemented within FSM automatic synthesis systems

Efficient realization of a threshold voter for self-purging redundancy

The self-purging technique is not commonly used mainly due to the lack of practical implementations of its key component, the threshold voter. A very efficient implementation of this voter is presented which uses a decomposition technique to substantially reduce the circuit complexity and delay, as compared to alternative implementations.Comisión Interministerial de Ciencia y Tecnología TIC97-064

El régimen político argentino en la visión de la Corte Suprema de Justicia de la Nación : diferencias con el constitucionalismo norteamericano : John Jay (1863-1880).

El régimen político argentino en la visión de la corte suprema de justicia de la nación. Diferencias con el constitucionalismo norteamericano. John jay (1863-1880) El objetivo de este trabajo es analizar cómo perfila la Corte Suprema a nuestro régimen político y, en particular, al federalismo, receptando las doctrinas constitucionales de John Jay, primer presidente de la Corte Suprema de los Estados Unidos (1790-1800), y apartándose del constitucionalismo norteamericano. Se demuestra que el tribunal define una organización política con características y antecedentes propiosThe Argentine political system in the vision of the National Supreme Court of Justice. Differences with the North American constitutionalism. John Jay (1863-1880). The aim of this work is to analise how the Supreme Cout outline our political regime and the federalism in particular, taking into consideration the constitutional doctrines of John Jay, first president of the Supreme Court of the United States (1790-1800), and keeping away from the North American constitutionalism. We show that the Court defines a political organization with typical characteristics and antecedents.Fil: Huertas M., María Marta. CONICET (Consejo Nacional de Investigaciones Científicas y Técnicas) - Universidad Nacional de Cuy

Pórfidos y diques básicos asociados en la Sierra de Guadarrama

En el dominio central de la Sierra de Guadarrama aparecen diques de rocas porfídicas que se disponen formando enjambres de algo más de media docena de diques subparalelos. Los aspectos cartográficos y petrográficos de estos haces filonianos permiten establecer dos grandes grupos de rocas porfídicas: 1.- Diques de direcci6n predominantemente E-W o N-S y composiciones que varian desde términos dioríticos a tipos graníticos s.s. Estas rocas aparecen dispuestas en cuatro haces principales. Petrográficamente definen una cierta se cuencia calcoalcalina granodiorítica, aunque hasta el momento no se puede asegurar si existe algún tipo de relación cogenética entre los términos más extremos. 2.- Diques de direcci6n NE-SW constante y de composición cuarzodiorítica a cuarzomonzonítica. Afloran exclusivamente en el sector central del área estudiada y su emplazamiento es más moderno que el sistema filoniano anteriormente descrito, al cual cortan en diversos punto

Fiestas de agua y fuego en Cazorla

En número dedicado a: La provincia de Jaé

Influencia del pH en la degradación de las sustancias disruptoras endocrinas aplicando ozono

Las sustancias disruptoras endocrinas son consideradas como contaminantes emergentes, su presencia en fuentes de agua y aguas residuales está siendo objeto de interés debido principalmente a la falta de conocimiento de los efectos en la salud y el medio ambiente. Los tratamientos convencionales no son capaces de transformar o reducir este tipo de compuestos, por tanto es necesario recurrir a procesos avanzados, por ejemplo, el ozono. Con base en lo anterior, el objetivo de este trabajo consistió en evaluar la influencia del pH en la transformación de hormonas presentes en pastillas anticonceptivas comerciales aplicando ozono.The disrupted endocrine substances are considered as emerging contaminants, its presence in water sources and wastewater it is been subject of interest mainly due to the lack of knowledge about its effects upon health and environment. The conventional treatments are not capable to transform or reduce this kind of components, so is necessary to study advanced processes, for example, ozone. Based on this, the purpose of this research was to evaluate the pH influence in the hormone transformation present in contraceptive pills applying ozone.Pregrad

Revisión tecnológica del aprendizaje de idiomas asistido por ordenador: una perspectiva cronológica

El presente artículo aborda la evolución y el avance de las tecnologías del aprendizaje de lenguas asistido por ordenador (CALL por sus siglas en inglés, que corresponden a Computer- Assisted Language Learning) desde una perspectiva histórica. Esta revisión de la literatura sobre tecnologías del aprendizaje de lenguas asistido por ordenador comienza con la definición del concepto de CALL y otros términos relacionados, entre los que podemos destacar CAI, CAL, CALI, CALICO, CALT, CAT, CBT, CMC o CMI, para posteriormente analizar las primeras iniciativas de implementación del aprendizaje de lenguas asistido por ordenador en las décadas de 1950 y 1960, avanzando posteriormente a las décadas de las computadoras centrales y las microcomputadoras. En última instancia, se revisan las tecnologías emergentes en el siglo XXI, especialmente tras la irrupción de Internet, donde se presentan el impacto del e-learning, b-learning, las tecnologías de la Web 2.0, las redes sociales e incluso el aprendizaje de lenguas asistido por robots.The main focus of this paper is on the advancement of technologies in Computer-Assisted Language Learning (CALL) from a historical perspective. The review starts by defining CALL and its related terminology, highlighting the first CALL attempts in 1950s and 1960s, and then moving to other decades of mainframes and microcomputers. At the final step, emerging technologies in 21st century will be reviewed

Stanislas Limousin y su contribución a la Ciencia Farmacéutica

La presente monografía se lleva a cabo con el objetivo de investigar acerca de un personaje francés del siglo XIX, de nombre Stanislas Limousin, un farmacéutico cuyas aportaciones a la ciencia y a la farmacia han sido importantes. Algunas de estas aportaciones son de uso habitual hoy en día, tales como las ampollas hipodérmicas para administración de medicamentos o el aparato para inhalación de oxígeno, si bien, han sufrido ciertas modificaciones. Otras, quizás hayan quedado un poco obsoletas y hayan requerido perfeccionamiento, como es el caso de los sellos medicinales o cápsulas amiláceas. Estas han tenido menor recorrido pero en su tiempo cumplieron una importante misión, aunque posteriormente fueron sustituidas por las cápsulas gelatinosas. A pesar de la dificultad para encontrar datos bibliográficos sobre la figura de nuestro protagonista, nos apoyaremos en sus obras y en artículos que le rinden homenaje para ir descubriendo a un hombre que, pese a su corta vida, nunca cesó en el empeño de facilitar la vida a los enfermos, hallándose siempre a disposición de quien requiriese su ayuda. Además, realizó una amplia labor bibliográfica en la que alababa y recogía interesantes estudios y labores llevadas a cabo por otros científicos de la época, en las cuales se basó para sus investigaciones. Pese a que este erudito de la ciencia está presente en el día a día, por ejemplo al utilizar un cuentagotas, su nombre es muy poco sonado. Aunque recibió en su momento algunos méritos y condecoraciones, hoy pocas personas sabrían contestar a la pregunta: ¿quién fue Stanislas Limousin? Conocer esta figura y sus aportaciones a la farmacia será la finalidad que pretende cumplir este TFG.Universidad de Sevilla. Grado en Farmaci