On Logics and Semantics for Interpretability 

    Mikec, Luka (Fecha de defensa: 2021-04-30)

    In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we will study two basic ...

    On the Dynamics Around the Collinear Points in the Sun-Jupiter System 

    Duarte Ferreira, Gladston (Fecha de defensa: 2020-02-13)

    This work aims the study of the Rapid Transition Mechanism that explains some properties of orbits of some spatial objects, as for instance, comet 39P/Oterma, which will be the main object of this research. Considering ...

    On the effect of the Sun's gravity around the Earth-Moon L1 and L2 libration points 

    Rosales de Cáceres, José J. (Fecha de defensa: 2020-12-16)

    In this thesis we explored some aspects of the dynamics around the Earth-Moon L1 and L2 points in the context of two Restricted Four Body Problems: the Bicircular Problem (BCP) and the Quasi-bicircular Problem (QBCP). Both ...

    Option Price Decomposition for Local and Stochastic Volatility Jump Diffusion Models 

    Merino Fernández, Raúl (Fecha de defensa: 2021-04-29)

    In this thesis, an option price decomposition for local and stochastic volatility jump diffusion models is studied. On the one hand, we generalise and extend the Alòs decomposition to be used in a wide variety of models ...

    Periodic time dependent Hamiltonian systems and applications 

    Jorba-Cuscó, Marc (Fecha de defensa: 2019-03-01)

    A dynamical system is one that evolves with time. This definition is so diffuse that seems to be completely useless, however, gives a good insight of the vast range of applicability of this field of Mathematics has. It is ...

    Quantitative equidistribution of Galois orbits of points of small height on the algebraic torus 

    Narváez Clauss, Marta (Fecha de defensa: 2016-06-21)

    El teorema de equidistribución de Bilu establece que, dada una sucesión estricta de puntos en el toro algebraico N-dimensional cuya altura de Weil tiende a cero, las órbitas de Galois de los puntos se equidistribuyen con ...

    Recognizing Action and Activities from Egocentric Images 

    Cartas Ayala, Alejandro (Fecha de defensa: 2020-11-01)

    Egocentric action recognition consists in determining what a wearable camera user is doing from his perspective. Its defining characteristic is that the person himself is only partially visible in the images through his ...

    Restricted Weak Type Extrapolation of Multi-Variable Operators and Related Topics 

    Roure Perdices, Eduard (Fecha de defensa: 2019-12-19)

    A remarkable result in Harmonic Analysis is the so-called Rubio de Francia’s extrapolation theorem. Roughly speaking, it says that if one has an operator T that is bounded on Lp(v), for some p 1 and every weight v in Ap, ...

    Social Signal Processing from Egocentric Photo-Streams 

    Aghaei, Maedeh (Fecha de defensa: 2018-07-13)

    Wearable photo-cameras offer a hands-free way to record images from the camera- wearer perspective of daily experiences as they are lived, without the necessity to interrupt recording due to the device battery or storage ...

    Statistical modelling of avalanche observables: criticality and universality 

    Navas Portella, Víctor (Fecha de defensa: 2020-07-15)

    Complex systems can be understood as an entity composed by a large number of interactive elements whose emergent global behaviour cannot be derived from the local laws characterizing their constituents. The observables ...

    The Logic of Turing Progressions 

    Hermo Reyes, Eduardo (Fecha de defensa: 2019-11-04)

    This dissertation is devoted to developing modal logical tools that can be used in the field of proof theory and ordinal analysis. More precisely, we focus on the relation between strictly positive modal logics and both ...

    Transport phenomena and anomalous diffusion in conservative systems of low dimension 

    Miguel Baños, Narcís (Fecha de defensa: 2016-12-21)

    Apart from this introductory chapter, the contents of the thesis is splitted among four more chapters. Chapters 2, 3 and 4 deal with the planar case, while chapter 5 deals with the 3D volume preserving case. More ...

    Value-aligned norm selection 

    Serramia Amoros, Marc (Fecha de defensa: 2021-09-29)

    Norms have been widely enacted in both human and agent societies to regulate the actions that individuals can perform. However, although legislators may have ethics in mind when establishing norms, moral values are seldom ...

    Weighted restricted weak-type extrapolation on classical Lorentz spaces 

    Baena Miret, Sergi (Fecha de defensa: 2022-03-25)

    An important result in Harmonic Analysis is the extrapolation theorem of Rubio de Francia. In its original version says that if T is a sublinear operator that is bounded in Lp0 pvq, for some p0 ě 1 and every v P Ap , then ...