Intensions, types and existence

[ES] Esta es una disertación sobre dos preguntas: si y cómo los sentidos de las expresiones de un lenguaje pueden ser modelados matemáticamente; y sobre una respuesta: las intensiones son un medio necesario pero no suficiente para comprender totalmente los sentidos. Las intensiones no han aparecido de repente, tienen una historia enraizada en la lógica sobre Sentido y Denotación que comenzó con Frege, fue desarrollada sintáctica y axiomáticamente por Church, y semánticamente por Montague. Gracias a ellos, sentidos e intensiones son hoy en día nociones familiares para los lógicos. Y aunque los sentidos continúan siendo una noción más oscura, las intensiones, sin embargo, son un concepto bien definido: son funciones desde mundos posibles a objetos. El presente trabajo ofrece dos lenguajes formales con intensiones: una Lógica Híbrida Intensional de Primer Orden y una Teoría de Tipos Híbrida Intensional. Ambos lenguajes incluyen expresiones que denotan intensiones y también maquinaria híbrida para extensionalizar las intensiones en los diversos mundos de un modelo. Pero estos lenguajes no son puramente intensionales, ya que también incluyen expresiones para denotar extensiones. Se introduce también una poderosa notación de tipos que permite diferenciar entre expresiones intensionales y extensionales, predicación intensional y extensional, y entre fórmulas bien formadas y fórmulas incoherentes. La distinción entre predicación intensional y extensional equivale a defender la existencia de dos clases de conceptos de predicados: uno entendido como una función entre conceptos y el otro como una función entre un objeto y un concepto. Los temas tradicionales de lógica intensional—como modelos con un solo dominio o con varios dominios y las interpretaciones de dicto y de re—son analizados pero desde un punto de vista novedoso, dado que los lenguajes antes citados no sólo incluyen expresiones intensionales, sino también operadores híbridos y una notación de tipos para eliminar ambigüedades. El problema de los términos que no denotan se estudia asumiendo que las intensiones son funciones parciales; y el problema de la identidad de sentidos, aunque resuelto en el caso de contextos aléticos por medio de la identidad de intensiones, debería encontrar una mejor solución yendo más allá de las intensiones hasta llegar al reino de las hiperintensiones. Se han explorado algunas nociones filosóficas, como existencia y denotación, desde el punto de vista de nuestros lenguajes formales. Finalmente, la prueba de Gödel a favor de la existencia de Dios y el argumento de Caramuel en contra de la existencia de Dios, son analizados como dos ejercicios sugerentes tanto en lógica intensional como en ontología formal

Experimental study of visual corona under aeronautic pressure conditions using low-cost imaging sensors

Visual corona tests have been broadly applied for identifying the critical corona points of diverse high-voltage devices, although other approaches based on partial discharge or radio interference voltage measurements are also widely applied to detect corona activity. Nevertheless, these two techniques must be applied in screened laboratories, which are scarce and expensive, require sophisticated instrumentation, and typically do not allow location of the discharge points. This paper describes the detection of the visual corona and location of the critical corona points of a sphere-plane gap configurations under different pressure conditions ranging from 100 to 20 kPa, covering the pressures typically found in aeronautic environments. The corona detection is made with a low-cost CMOS imaging sensor from both the visible and ultraviolet (UV) spectrum, which allows detection of the discharge points and their locations, thus significantly reducing the complexity and costs of the instrumentation required while preserving the sensitivity and accuracy of the measurements. The approach proposed in this paper can be applied in aerospace applications to prevent the arc tracking phenomenon, which can lead to catastrophic consequences since there is not a clear protection solution, due to the low levels of leakage current involved in the pre-arc phenomenon.Peer ReviewedPostprint (published version

A expressão da sexualidade durante a gravidez e o período pós-parto

El concepto madre, no se puede concebir como un hecho aislado en el tiempo, sin comprender las influencias que sobre la mujer han tenido los diferentes acontecimientos de la historia. Los cambios sociales, políticos y demográfico, han condicionado que la situación de la mujer evolucione hacia libertades, derechos, adquisición de nuevos roles, ocupación de puestos en la sociedad que hasta ahora sólo estaban reservados para el hombre. La nupcialidad, fecundidad y natalidad se han adaptado a las nuevas circunstancias políticas y sociales. La maternidad conlleva una responsabilidad gigantesca, implica grandes exigencias impuestas casi exclusivamente a la mujer desde lo social, que llegan a generar miedo. La labor de los profesionales sanitarios que participan en el cuidado y asesoramiento de la gestante y puérpera será ofrecerles una atención de forma integral, actitud de escucha y de apoyo sobre cuestiones relativas al comportamiento sexual que exige un tacto exquisito, así como integridad, tolerancia y comprensión. Muchas mujeres en este periodo solicitan ayuda del personal sanitario. Los profesionales dedicados al cuidado de la salud de la mujer, deberían incidir de forma clara, explícita y sistemática, al hacer los controles durante toda la gestación, en el ejercicio de la sexualidad como conducta saludable.The mother concept, cannot be conceived as a fact isolated in time, without understanding the influences on women have had different events of history. The social, political and demographic, changes have conditioned the situation of women to evolve towards freedoms, rights, acquisition of new roles, occupation of positions in society that until now were only reserved for men. The nuptiality, fertility and birth rates have adapted to the new political and social circumstances. Motherhood carries a huge responsibility, means large demands almost exclusively to women from social, arriving to generate fear. The work of the health professionals involved in the care and counselling of the pregnant woman and puerperal will be offer care in a comprehensive manner, attitude of listening and support on issues related to sexual behaviour that requires an exquisite touch, as well as integrity, tolerance and understanding. Many women in this period requested help from medical personnel. Professionals dedicated to the care of the health of women, should influence of clear, explicit and systematically, to controls during gestation, in the exercise of sexuality as healthy behavior.O conceito de mãe, não pode ser concebida como um fato isolado no tempo, sem entender as influências sobre as mulheres tiveram diferentes acontecimentos da história. As mudanças sociais, políticas e demográficas, têm condicionado a situação das mulheres a evoluir no sentido de liberdades, direitos, aquisição de novas funções, a ocupação de posições na sociedade que até agora eram apenas reservados para os homens. O nuptiality, fertilidade e as taxas de natalidade adaptaram-se às novas circunstâncias políticas e sociais. A maternidade tem uma enorme responsabilidade, significa grandes demandas quase que exclusivamente para as mulheres da social, chegando a gerar medo. O trabalho da saúde profissionais envolvidos no cuidado e aconselhamento da mulher grávida e puérpera será oferecer cuidados de uma forma abrangente, a atitude de escuta e apoio em questões relacionadas ao comportamento sexual que requer um toque requintado, bem como a integridade, a tolerância e a compreensão. Muitas mulheres neste período solicitaram ajuda do pessoal médico. Profissionais dedicados ao cuidado da saúde das mulheres, deve influenciar de clara, explícita e sistematicamente, a controles durante a gestação, no exercício da sexualidade como comportamento saudável

Mapping the potential distribution of frozen ground in Tucarroya (Monte Perdido Massif, the Pyrenees)

Producción CientíficaEste trabajo describe la metodología utilizada para cartografiar los suelos potencialmente helados en el valle de Tucarroya, en el Parque Nacional de Ordesa. Para cartografiar las formas asociadas a la presencia de hielo se combinó trabajo de campo, datos térmicos procedentes de sensores automáticos de temperatura del suelo y mediciones de la base del manto de nieve (BTS), así como variables predictivas obtenidas de un Modelo Digital de Elevaciones (MDE). La cartografía diferencia cuatro ambientes, suelo no congelado con actividad de la helada, suelos helados estacionales, permafrost posible y permafrost probable. El mapa revela una extensión del permafrost muy limitada, con escasez de formas asociadas. Solo se ha detectado por encima de los 2700 m de altitud en ambientes topográficos favorables, pendientessuaves y protegidos de la radiación solar. Los suelos helados estacionales son los ambientes más comunes y se desarrollan por encima de los 2500 m s.n.m., mientras los suelos no congelados,pero con heladas solo están presentes entre los 2570 y los 2750 m de altitud en laderas que reciben elevada radiación solarMinisterio de Economía, Industria y Competitividad - Fondo Europeo de Desarrollo Regional (projects CGL2015-68144-R / CGL2017-82216-R)Geoparque de Sobrarbe (project R- ADM15/57

Arc tracking control in insulation systems for aeronautic applications: challenges, opportunities, and research needs

Next generation aircrafts will use more electrical power to reduce weight, fuel consumption, system complexity and greenhouse gas emissions. However, new failure modes and challenges arise related to the required voltage increase and consequent rise of electrical stress on wiring insulation materials, thus increasing the risk of electrical arc appearance. This work performs a critical and comprehensive review concerning arc tracking effects in wiring insulation systems, underlying mechanisms, role of materials and possible mitigation strategies, with a special focus on aircraft applications. To this end an evaluation of the scientific and technological state of the art is carried out from the analysis of theses, research articles, technical reports, international standards and white papers. This review paper also reports the limitations of existing insulation materials, standard test methods and mitigation approaches, while identifying the research needs to comply with the future demands of the aircraft industryPeer ReviewedPostprint (published version

Hypoxia in the Initiation and Progression of Neuroblastoma Tumours

Neuroblastoma is the most frequent extracranial solid tumour in children, causing 10% of all paediatric oncology deaths. It arises in the embryonic neural crest due to an uncontrolled behaviour of sympathetic nervous system progenitors, giving rise to heterogeneous tumours. Low local or systemic tissue oxygen concentration has emerged as a cellular stimulus with important consequences for tumour initiation, evolution and progression. In neuroblastoma, several evidences point towards a role of hypoxia in tumour initiation during development, tumour cell differentiation, survival and metastatic spreading. However, the heterogeneous nature of the disease, its developmental origin and the lack of suitable experimental models have complicated a clear understanding of the effect of hypoxia in neuroblastoma tumour progression and the molecular mechanisms implicated. In this review, we have compiled available evidences to try to shed light onto this important field. In particular, we explore the effect of hypoxia in neuroblastoma cell transformation and differentiation. We also discuss the experimental models available and the emerging alternatives to study this problem, and we present hypoxia-related therapeutic avenues being explored in the field.Spanish Ministry of Science and Innovation SAF program (grant number SAF2016-80412-P

Historia y arte en el Panteón de las Huelgas de Burgos

Localització de l'original : Fundació AmatllerForma part del projecte: Biblioteca Digital d'Història de l'Art Hispànic (UAB)Brief study on the monastery of las Huelgas in Burgos written by Manuel Gómez Moreno in 1947. Published in the journal Arbor num. 21. With prints and illustrations.Breu estudi sobre el monestir de las Huelgas a Burgos escrit per Manuel Gómez-Moreno el 1947. Publicat a la revista Arbor núm. 21. Conté làmines i il·lustracions.Breve estudio sobre el monasterio de las Huelgas en Burgos escrito por Manuel Gómez Moreno en 1947. Publicado en la revista Arbor núm. 21. Contiene láminas y ilustraciones

Joint coarse-and-fine reasoning for deep optical flow

© 20xx IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.We propose a novel representation for dense pixel-wise estimation tasks using CNNs that boosts accuracy and reduces training time, by explicitly exploiting joint coarse-and-fine reasoning. The coarse reasoning is performed over a discrete classification space to obtain a general rough solution, while the fine details of the solution are obtained over a continuous regression space. In our approach both components are jointly estimated, which proved to be beneficial for improving estimation accuracy. Additionally, we propose a new network architecture, which combines coarse and fine components by treating the fine estimation as a refinement built on top of the coarse solution, and therefore adding details to the general prediction. We apply our approach to the challenging problem of optical flow estimation and empirically validate it against state-of-the-art CNN-based solutions trained from scratch and tested on large optical flow datasets.Peer ReviewedPostprint (author's final draft

Desarrollo y validación experimental de un gemelo digital para un aerogenerador

En este trabajo se presenta el modelado y la validación de un gemelo digital para un aerogenerador, basado en redes neuronales. Concretamente, se trata de un aerogenerador de eje horizontal, tripala y de potencia nominal 2MW. La plataforma se encuentra situada en España y se ha tenido acceso a los datos históricos durante un año de diferentes mediciones sobre uno de los aerogeneradores reales de la planta. Las redes neuronales implementadas han sido elaboradas en un entorno software del programa de computación MATLAB. Distintas arquitecturas de redes se prueban a lo largo del trabajo, así como diferentes cambios en los datos disponibles para facilitar el entrenamiento de las redes y optimizar los resultados. El objetivo es obtener un modelo capaz de predecir con precisión la potencia generada por la máquina, dadas unas condiciones externas (ambientales) e internas (configuración de los elementos del aerogenerador) determinadas. Asimismo, se realiza una validación posterior de los diferentes modelos desarrollados, gracias a los registros disponibles, en los que se lleven a cabo numerosas predicciones de datos pasados y se comparen los resultados con la potencia real de dichos instantes; de este modo se valorará la validez y la precisión de dichos modelos. Tras esto, se decidirá cuál es la mejor de las soluciones disponibles y qué trabajos futuros podrían continuar este camino.In this project it will be covered the modelling and validation of a digital twin for a wind turbine, based in neural networks. In particular, it is the case of a three-bladed, horizontal-axis wind turbine of 2MW of nominal power. The plant is located in Spain and we were allowed to access to the data for a whole year, including different measures of one of the turbines of the plant. The neural networks implemented have been developed in the enviroment of MATLAB. Different network architectures are tried throughout the work, as different changes in the available data in order to ease the training of the network and the optimization of the results. The aim is to obtain a model able to predict precisely the power generated by the turbine, given some particular external (enviromental) and internal (configuration of the elements of the wind turbine) conditions. Likewise, a subsequent validation of the different models is accomplished, thanks to the avalaible records, in which numerous predictions are carried out from past values of the data, and a comparaison beetween thes results and the actual power values is set. This way, the validity and accuracy of the models is valued. Afterwards, we will make a decision about which one is the best of the possible solutions, and what kind of work can follow in the future.Universidad de Sevilla. Grado en Ingeniería de Tecnologías Industriale