Facultad de Matemática, Astronomía, Física y Computación: Recent submissions
Now showing items 321-340 of 1232
-
Weighted estimates for integral operators on local BMO type spaces
(2015)We prove the weighted boundedness for a family of integral operators Tα on Lebesgue spaces and local BMO type spaces. To this end we show that Tα can be controlled by the Calder ́on operator and a local maximal operator. ... -
Utilización de técnicas de aprendizaje automático para la detección de áreas de cultivos anegadas con imágenes satelitales
(2022-06-09)En este trabajo especial se da un punto de vista desde la Física a la distinción vía satélite de un campo inundado de uno no inundado. Se compone de dos grandes partes: en la primera (capítulos 1 y 2) se define el sistema ... -
Pure type systems with explicit substitutions
(2015)We introduce a new formulation of pure type systems (PTSs) with explicit substitution and de Bruijn indices and formally prove some of its meta-theory. Using techniques based on Normalisation by Evaluation, we prove that ... -
Monte Carlo simulation of characteristic secondary fluorescence in electron probe microanalysis of homogeneous samples using the splitting technique
(2015)Electron probe microanalysis (EPMA) is based on the comparison of characteristic intensities induced by monoenergetic electrons. When the electron beam ionizes inner atomic shells and these ionizations cause the emission ... -
Information extraction with active learning : a case study in legal text
(2015)Active learning has been successfully applied to a number of NLP tasks. In this paper, we present a study on Information Extraction for natural language licenses that need to be translated to RDF. The final purpose of our ... -
Depth distribution of martensite in plasma nitrided AISI H13 steel and its correlation to hardness
(2015)The depth distributions of hardness, nitrogen, and crystallographic phases in the diffusion zone of plasma nitrided AISI H13 steel were determined by microindentation, electron microprobe, grazing incidence X-ray diffraction, ... -
Spherical functions : the spheres vs the projective spaces
(2014)In this paper we establish a close relationship between the spherical functions of the n-dimensional sphere Sn ≃ SO(n + 1)/SO(n) and the spherical functions of the n-dimensional real projective space P n(R) ≃ SO(n + ... -
Rare event simulation with fully automated Importance splitting
(2015)Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ... -
Smart sampling for lightweight verification of Markov decision processes
(2015)Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ... -
Stopping power of palladium for protons in the energy range 0.300-3.100 MeV
(2013)The stopping power of palladium for protons has been measured using the transmission method with an overall uncertainty of around 5% over the energy range Ep=(0.300–3.100) MeV. These stopping power data are then compared ... -
Álgebras de pre-Nichols de dimensión de Gelfand-Kirillov finita
(2022)Esta tesis trata sobre la clasificación de las álgebras de pre-Nichols de dimensión de Gelfand-Kirillov finita. Las álgebras de Nichols de tipo diagonal de dimensión finita con diagrama de Dynkin conexo se pueden reagrupar ... -
A statistical study of heterogeneous nucleation of ice by molecular dynamics
(2015)We studied the stochastic nature of heterogeneous nucleation of supercooled liquid water by molecular dynamics simulations. The systems were composed of 768 molecules; M of them had their positions restricted forming a ... -
From a systems theory of sociology to modeling the onset and evolution of criminality
(2015)This paper proposes a systems theory approach to the modeling of onset and evolution of criminality in a territory. This approach aims at capturing the complexity features of social systems. Complexity is related to the ... -
A multivariate geostatistical approach for landscape classification from remotely sensed image data
(2015)This paper proposes a methodology to address the classification of images that have been acquired from remote sensors. One common problem in classification is the high dimensionality of multivariate characteristics. The ... -
First-principles studies of lithium storage in reduced graphite oxide
(2014-09)The present work performs a first-principles study of the lithiation of graphite oxides with low oxygencontent, which resemble reduced graphite oxide materials. The chemical nature of the Li structure formedis analysed, ... -
Initial dynamics of initial solid-liquid interface in presence of a thermal gradient
(2014)In directional solidification experiments an alloy is placed in the thermal gradient assembly and kept stationary to achieve a steady-state thermal profile. During this time an interface motion occurs that is experimentally ... -
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ... -
In vivo EDXRF scanning analysis of human nail
(2014-09)This paper presents the results of a new technique forin vivoenergy dispersive X-rayfluorescence (EDXRF) scan analysis, applied to humanfingernails. The scan employs a specially designed EDXRF spectrometer, which allows a ... -
Synthesis, structural characterization and magnetic properties of the monoclinic ordered double perovskites BaLaMSbO6, with M = Mn, Co and Ni
(2014)Double perovskites BaLaMnSbO6, BaLaCoSbO6 and BaLaNiSbO6, were synthesized by conventional ceramic method in air, as polycrystalline powders. The Mn and Ni compounds belong to the I 2/m monoclinic space group, while the ... -
Soluciones positivas para problemas que involucran el ϕ-Laplaciano
(2022-03)Sean Ω un dominio suave y acotado en RN, hλ: Ω x [0,∞) → R una función Carathéodory, λ>0 un parámetro real y ϕ: RN → RN una función continua estrictamente monótona. En esta tesis estudiamos la existencia de soluciones ...