Monitoring time-dependent deformation patterns through geodetic techniques

In this thesis we focus on the analysis and interpretation of time dependent deformations recorded through different geodetic methods. Firstly, we apply a variational Bayesian Independent Component Analysis (vbICA) technique to GPS daily displacement solutions, to separate the postseismic deformation that followed the mainshocks of the 2016-2017 Central Italy seismic sequence from the other, hydrological, deformation sources. By interpreting the signal associated with the postseismic relaxation, we model an afterslip distribution on the faults involved by the mainshocks consistent with the co-seismic models available in literature. We find evidences of aseismic slip on the Paganica fault, responsible for the Mw 6.1 2009 L’Aquila earthquake, highlighting the importance of aseismic slip and static stress transfer to properly model the recurrence of earthquakes on nearby fault segments. We infer a possible viscoelastic relaxation of the lower crust as a contributing mechanism to the postseismic displacements. We highlight the importance of a proper separation of the hydrological signals for an accurate assessment of the tectonic processes, especially in cases of mm-scale deformations. Contextually, we provide a physical explanation to the ICs associated with the observed hydrological processes. In the second part of the thesis, we focus on strain data from Gladwin Tensor Strainmeters, working on the instruments deployed in Taiwan. We develop a novel approach, completely data driven, to calibrate these strainmeters. We carry out a joint analysis of geodetic (strainmeters, GPS and GRACE products) and hydrological (rain gauges and piezometers) data sets, to characterize the hydrological signals in Southern Taiwan. Lastly, we apply the calibration approach here proposed to the strainmeters recently installed in Central Italy. We provide, as an example, the detection of a storm that hit the Umbria-Marche regions (Italy), demonstrating the potential of strainmeters in following the dynamics of deformation processes with limited spatio-temporal signature

Idee, Natur, Geist. Schellings allgemeine Ontologie des Wirklichen nach der "Darstellung des Naturprocesses" von 1843/44

Ziel dieser Dissertation ist es, die grundlegenden philosophisch-theoretischen Implikationen von Schellings letzter systematischer Darlegung seiner Naturphilosophie nach dem Berliner Textfragment von 1843/44, der “Darstellung des Naturprocesses”, zu untersuchen. Angesichts der sich zwischen den 1830 und den 1860 Jahren in Berlin abzeichnenden neuen intellektuellen Tendenzen und der Entwicklungen in den Naturwissenschaften legt Schelling hier die Grundlagen für eine allgemeine Ontologie des Wirklichen in kritischer Auseinandersetzung mit Kants transzendentalem Idealismus. Innerhalb des systematischen Horizonts der "apriorischen Vernunftwissenschaft" oder "negativen Philosophie" stellt er im ersten Teil seines Werkes die Prinzipien fest, die die „Idee des Existierenden“ ausmachen, und beschreibt die rationale Operation, die durchgeführt werden muss, um zum Gedanken einer „Welt außer der Idee“ zu gelangen. Die philosophisch-systematischen Annahmen, die mit dem Übergang von der bloßen Idee des Existierenden zum Gedanken der außeridealen Welt verbunden sind, werden im ersten Kapitel dieser Dissertation untersucht. Im zweiten Teil seines Werkes definiert Schelling durch eine detaillierte Analyse von Kants Transzendentalen Ästhetik den Raum als diejenige Form, in der uns die Existenzen als voneinander getrennt vorstellen lassen. Obwohl der Zeitbegriff von Schelling nur am Rande behandelt wird, trägt er zusammen mit dem Raum dazu bei, die erste ontologische Grundstruktur der außeridealen Welt zu definieren. Die Analyse von Schellings Konzeption der raumzeitlichen Grundstruktur der außeridealen Welt stellt das Thema des zweiten Kapitels dieser Dissertation dar. Schließlich bestimmt Schelling im dritten Teil seines Werkes die Finalität als diejenige Kausalitätsform, die es ermöglicht, die außerideale Welt als einen werdenden Kontext zu verstehen, dessen Entwicklungsstufen die siderische Welt, die unorganische Welt und die organische Welt sind. Die Schelling‘sche Definition der Teleologie der Natur als zweite ontologische Grundstruktur der außeridealen Welt ist das Thema des dritten Kapitels dieser Dissertation.

Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.