Paving the Way for Temporal Grounding

In this paper we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic (TEL), an extension of Answer Set Programming (ASP) for dealing with linear-time modal operators. We provide several fundamental contributions that pave the way for the implementation of a grounding process, that is, a method that allows replacing variables by ground instances in all the possible (or better, relevant) ways

Actualización en malformaciones venosas

Venous malformations represent 2/3rds of all vascular malformations and are frequently much more complex than they appear to be. Patients with large venous malformations require a deep analytical and radiological study, as well as specific treatment to control any possible localised intravascular coagulation. If the lesions are extensive, especially in the lower member, a study should be made to detect the presence of an underlying osteoporosis with the idea of preventing pathological fractures. Equally, a check must be made for arthropathy, and an early prophylactic synovectomy must be considered when the radiological extension makes this advisable, with the idea of avoiding irreversible damage to the joints with the passage of time. Currently, microfoam scleropathy is favoured as the treatment of choice for low-flow vascular malformations. In the not too distant future, the use of selective antiangiogenic medicines, besides low-molecularweight heparins

Aplicación de la técnica SVM en el análisis forense de imágenes de dispositivos móviles

Uno de los problemas a tratar dentro del análisis forense digital es la identificación de la cámara que se ha usado para obtener una determinada imagen. Debido al aumento en el uso de teléfonos móviles con cámara integrada durante los últimos años, el trabajo está orientado a este tipo de dispositivos, proporcionando al investigador forense una herramienta específica para el análisis de este tipo de imágenes. En este trabajo se analiza la información EXIF contenida en un archivo de imagen y se comprueba porque no es una fuente fiable a la hora de obtener la marca y modelo de la cámara. Por eso desarrollamos un algoritmo que utiliza la información de los píxeles de la imagen. Está basado en las diferencias existentes en los métodos de procesamiento de la imagen que utilizan los distintos fabricantes, como el algoritmo de interpolación del color que tiene lugar en la matriz CFA del sensor, la corrección gamma o la corrección de puntos blancos. Estas diferencias originan un conjunto de huellas en la imagen que nos permitirían diferenciar la marca y modelo de la camara fuente. Para obtener estas huellas, extraemos un conjunto de características de las imagenes, entre las que se encuentran características de color, métricas de la calidad de la imagen y estadísticas wavelet. Para realizar la predicción de la marca y modelo de la camara utilizamos un clasificador SVM. Siguiendo un procedimiento análogo, se desarrolla otro algoritmo que permite saber si una imagen procede de una cámara o de un escáner. Finalmente, llevamos a cabo un conjunto de experimentos que demuestran la efectividad del algoritmo implementado. [ABSTRACT] One of the issues involved in digital forensics is the identification of the camera used to obtain a particular image. Due to the increase use of mobile phones with integrated camera in recent years, this work is aimed at this type of devices, providing to forensic investigator a specific tool for the analysis of images taken with mobile phones. In this work we analyze the EXIF information contained in an image file and we explain because it is not a reliable source if we want to extract the make and model of the camera from it. So we develop an algorithm that uses information from the pixels of the image. It is based on dferences in the image processing methods used by diferent manufacturers, such as color interpolation algorithm which takes place in the color filter array, gamma correction or white point correction. These diferences originate a set of footprints in the image that allow us to diferentiate the brand and model of the source camera. To obtain these footprints, we extract a feature set from the images, among which are color characteristics, image quality metrics and wavelet statistics. To predict the make and the model of camera we use an SVM classifier. Following a similar procedure, we develop another algorithm that let us know if an image comes from a camera or a scanner. Finally, we perform a series of experiments to prove the efectiveness of the implemented algorithm

Revisiting Explicit Negation in Answer Set Programming

[Abstract] A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson’s strong negation.Ministerio de Economía y Competitividad; TIC2017-84453-PXunta de Galicia; GPC ED431B 2019/03Xunta de Galicia; 2016-2019 ED431G/01, CITICCentre International de Math´ematiques et d’Informatique de Toulouse; ANR-11-LABEX-004

Kondo effect in a double quantum-dot molecule under the effect of an electric and magnetic field

Electron tunneling through a double quantum dot molecule, in the Kondo regime, under the effect of a magnetic field and an applied voltage, is studied. This system possesses a complex response to the applied fields characterized by a tristable solution for the conductance. The different nature of the solutions are studied in and out thermodynamical equilibrium. It is shown that the interdot coupling and the fields can be used to control the region of multistability. The mean-field slave-boson formalism is used to obtain the solution of the problem.Comment: 5 pages, 4 figures. To appear in Sol. State Com

Continuous multi-criteria methods for crop and soil conservation planning on La Colacha (Río Cuarto, Province of Cordoba, Argentina)

Agro-areas of Arroyos Menores (La Colacha) west and south of Rand south of R?o Cuarto (Prov. of Cordoba, Argentina) basins are very fertile but have high soil loses. Extreme rain events, inundations and other severe erosions forming gullies demand urgently actions in this area to avoid soil degradation and erosion supporting good levels of agro production. The authors first improved hydrologic data on La Colacha, evaluated the systems of soil uses and actions that could be recommended considering the relevant aspects of the study area and applied decision support systems (DSS) with mathematic tools for planning of defences and uses of soils in these areas. These were conducted here using multi-criteria models, in multi-criteria decision making (MCDM); first of discrete MCDM to chose among global types of use of soils, and then of continuous MCDM to evaluate and optimize combined actions, including repartition of soil use and the necessary levels of works for soil conservation and for hydraulic management to conserve against erosion these basins. Relatively global solutions for La Colacha area have been defined and were optimised by Linear Programming in Goal Programming forms that are presented as Weighted or Lexicographic Goal Programming and as Compromise Programming. The decision methods used are described, indicating algorithms used, and examples for some representative scenarios on La Colacha area are given

Structure function and Multifractal spectrum applied to Digital Elevation Model

A Digital Elevation Model (DEM) provides the information basis used for many geographic applications such as topographic and geomorphologic studies, landscape through GIS (Geographic Information Systems) among others. The DEM capacity to represent Earth?s surface depends on the surface roughness and the resolution used. Each DEM pixel depends on the scale used characterized by two variables: resolution and extension of the area studied. DEMs can vary in resolution and accuracy by the production method, although there are statistical characteristics that keep constant or very similar in a wide range of scales. Based on this property, several techniques have been applied to characterize DEM through multiscale analysis directly related to fractal geometry: multifractal spectrum and the structure function. The comparison of the results by both methods is discussed. The study area is represented by a 1024 x 1024 data matrix obtained from a DEM with a resolution of 10 x 10 m each point, which correspond with a region known as ?Monte de El Pardo? a property of Spanish National Heritage (Patrimonio Nacional Español) of 15820 Ha located to a short distance from the center of Madrid. Manzanares River goes through this area from North to South. In the southern area a reservoir is found with a capacity of 43 hm3, with an altitude of 603.3 m till 632 m when it is at the highest capacity. In the middle of the reservoir the minimum altitude of this area is achieved

Psychometric properties of an emotional adjustment computerized adaptive test

En el presente trabajo se describen las propiedades psicométricas de un Test Adaptativo Informatizado para la medición del ajuste emocional de las personas. La revisión de la literatura acerca de la aplicación de los modelos de la teoría de la respuesta a los ítems (TRI) muestra que ésta se ha utilizado más en el trabajo con variables aptitudinales que para la medición de variables de personalidad, sin embargo diversos estudios han mostrado la eficacia de la TRI para la descripción psicométrica de dichas variables. Aun así, pocos trabajos han explorado las características de un Test Adaptativo informatizado, basado en la TRI, para la medición de una variable de personalidad como es el ajuste emocional. Nuestros resultados muestran la eficiencia del TAI para la evaluación del ajuste emocional, proporcionando una medición válida y precisa, utilizando menor número de elementos de medida en comparación con las escalas de ajuste emocional de instrumentos fuertemente implantadosIn the present work it was described the psychometric properties of an emotional adjustment computerized adaptive test. An examination of Item Response Theory (IRT) research literature indicates that IRT has been mainly used for assessing achievements and ability rather than personality factors. Nevertheless last years have shown several studies wich have successfully used IRT to personality assessment instruments. Even so, a few amount of works has inquired the computerized adaptative test features, based on IRT, for the measurement of a personality traits as it’s the emotional adjustment. Our results show the CAT efficiency for the emotional adjustment assessment so this provides a valid and accurate measurement; by using a less number of items in comparison with the emotional adjustment scales from the most strongly established questionnaire