Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-28T14:00:56Z No. of bitstreams: 1 Carlos Bino de Souza.pdf: 2371603 bytes, checksum: d2f0bb2e430fc899161fe573fbae4e50 (MD5) / Made available in DSpace on 2017-03-28T14:00:56Z (GMT). No. of bitstreams: 1 Carlos Bino de Souza.pdf: 2371603 bytes, checksum: d2f0bb2e430fc899161fe573fbae4e50 (MD5) Previous issue date: 2015-08-26 / Euclid wrote a book in 13 volumes called Elements where systematized all the mathematical knowledge of his time. In this work, the 5 postulates of Euclidean geometry were presented. For several years, the 5th Postulate was frequently asked, this inquiries it was discovered that there are several other possible geometries, including hyperbolic geometry. Beltrimi proved that hyperbolic geometry is consistent if Euclidean geometry is consistent. Hilbert showed that Euclidean geometry is consistent if the arithmetic is consistent and presented an axiomatic system that capped the gaps in Euclid’s axiomatic system. Poincaré created a model, called the Poincaré disk, to represent the plan of hyperbolic geometry. The objective of this work is to show that the Poincaré disk model is consistent with reference Axioms Hilbert, replacing only the Axioms of Parallel to "On a point outside a line passes through the two parallel straight lines given", by constructions of Euclidean geometry. / Euclides escreveu uma obra em 13 volumes chamada de Elementos onde sistematizava todo o conhecimento matemático do seu tempo. Nesta obra, foram apresentados os 5 postulados da Geometria Euclidiana. Durante vários anos, o 5o Postulado foi muito questionado, desses questionamentos descobriu-se a existência de várias outras Geometrias possíveis, entre elas a Geometria Hiperbólica. Beltrimi provou que a Geometria Hiperbólica é consistente se a Geometria Euclidiana é consistente. Hilbert mostrou que a Geometria Euclidiana é consistente se a Aritmética é consistente e apresentou um sistema axiomático que preencheu as lacunas do sistema axiomático de Euclides. Poincaré criou um Modelo, chamado de Disco de Poincaré, para representar o plano da Geometria Hiperbólica. O objetivo deste trabalho é mostrar que o Modelo de Disco de poincaré é consistente, tomando como referência os Axiomas de Hilbert, substituindo apenas os Axiomas das Paralelas para "Por um ponto fora de uma reta passam duas retas paralelas à reta dada", através de construções da Geometria Euclidiana.

Despite their increasing usefulness in a wide variety of applications, organic electrochemical transistors still lack a comprehensive and unifying physical framework able to describe the current-voltage characteristics and the polymer/electrolyte interactions simultaneously. Building upon thermodynamic axioms, we present a quantitative analysis of the operation of organic electrochemical transistors. We reveal that the entropy of mixing is the main driving force behind the redox mechanism that rules the transfer properties of such devices in electrolytic environments. In the light of these findings, we show that traditional models used for organic electrochemical transistors, based on the theory of field-effect transistors, fall short as they treat the active material as a simple capacitor while ignoring the material properties and energetic interactions. Finally, by analyzing a large spectrum of solvents and device regimes, we quantify the entropic and enthalpic contributions and put forward an approach for targeted material design and device applications.

Probabilistic interpretations consist of a set of interpretations with a shared domain and a measure assigning a probability to each interpretation. Such structures can be obtained as results of repeated experiments, e.g., in biology, psychology, medicine, etc. A translation between probabilistic and crisp description logics is introduced and then utilised to reduce the construction of a base of general concept inclusions of a probabilistic interpretation to the crisp case for which a method for the axiomatisation of a base of GCIs is well-known.

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre. / In this thesis we present a both mathematical and conceptually rigorous quantization method for the neutral scalar field free of interactions. Initially, we introduce some aspects of the Theory of Distributions and we establish some points of Lorentzian geometry. The rest of the work is divided in two parts: in the first one, we study wave equations on globally hyperbolic Lorentzian manifolds, hence presenting the concept of fundamental solutions within the context of locally defined wave equations. Next, we progressively construct fundamental solutions for the wave operator from the Riesz distribution. Once established a solution to the wave equation in a neighbourhood of a point of the manifold, we move forward to produce a global solution from the extension of the Cauchy problem to the whole manifold. At this stage, fundamental solutions are replaced by Green\'s operators by the imposition of appropriate boundary conditions. In the last part, we present a minimum on the Theory of Categories and Functors. This is followed by the use of this formalism in the development of a second-quantization functor between the category of Lorentzian globally hyperbolic manifolds and the category of nets of C*-algebras obeying Haag-Kastler axioms. Finally, we turn our attention to the particular case of the quantum free scalar field.

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre. / In this thesis we present a both mathematical and conceptually rigorous quantization method for the neutral scalar field free of interactions. Initially, we introduce some aspects of the Theory of Distributions and we establish some points of Lorentzian geometry. The rest of the work is divided in two parts: in the first one, we study wave equations on globally hyperbolic Lorentzian manifolds, hence presenting the concept of fundamental solutions within the context of locally defined wave equations. Next, we progressively construct fundamental solutions for the wave operator from the Riesz distribution. Once established a solution to the wave equation in a neighbourhood of a point of the manifold, we move forward to produce a global solution from the extension of the Cauchy problem to the whole manifold. At this stage, fundamental solutions are replaced by Green\'s operators by the imposition of appropriate boundary conditions. In the last part, we present a minimum on the Theory of Categories and Functors. This is followed by the use of this formalism in the development of a second-quantization functor between the category of Lorentzian globally hyperbolic manifolds and the category of nets of C*-algebras obeying Haag-Kastler axioms. Finally, we turn our attention to the particular case of the quantum free scalar field.

Denna studie undersöker hur fyra gymnasielärare i samhällskunskap reflekterar över nationalism i deras undervisning. Fenomenet nationalism går att förstå som ett såväl snävt som brett begrepp och i denna studie intervjuas lärarna om hur de upplever att nationalism förekommer i deras undervisning som kunskap, perspektiv, fenomen och didaktisk utmaning. Studien är explorativ och använder Sandahls (2015) teori om samhällsvetenskapligt ämneskunnande samt begreppsklassifikationer om sunt förnufts-uppfattningar och naturaliserade axiomer. De teoretiska perspektiven används för att bringa klarhet i vad lärarna ser som relevanta kunskaper och erfarenheter av nationalism i undervisningen och för att belysa vilka didaktiska utmaningar fenomenet kan skapa. Resultaten visar att nationalism är ett återkommande perspektiv i samhällskunskapsundervisningen, som ibland berörs öppet och direkt, i andra fall mer subtilt och indirekt. Fenomenet beskrivs av lärarna som en byggsten i elevernas utveckling av de kunskaper och färdigheter som Sandahl (2015) beskriver som samhällsvetenskapliga tankeredskap. Lärarna beskriver nationalism på ett likartat sätt men skildrar i intervjuerna hur fenomenet ges olika stort utrymme och förmedlas på olika sätt beroende på faktorer såsom gymnasieprogram, gruppsammansättning och mängden samhällskunskap som eleverna läser. De lärare som primärt undervisar på högskoleförberedande program beskriver en mer indirekt förmedling av nationalism som perspektiv och förlitar sig på historieundervisningens innehållskunskaper och den kunskapsprogression eleverna genomgår under deras tre gymnasieår. Lärarna på yrkesprogrammen beskriver snarare att de på ett direkt sätt ger utrymme åt innehållskunskaperna om nationalism i deras undervisning. Resultaten visar även att nationalism upplevs som ett kontroversiellt ämne i klassrumssituationer, där en del elever ger uttryck för antingen sunt förnufts-uppfattningar eller naturaliserade axiomer vilka utgör didaktiska utmaningar i undervisningen. Slutligen visar resultaten på att det finns flera utmaningar kopplat till lärarprofessionen i undervisning om nationalism. Dessa utmaningar rör såväl värdegrund, vetenskaplighet och elevers förförståelse som kräver didaktiska övervägningar i samhällskunskaps­undervisningen. / This study examines how four high school social studies teachers reflect on nationalism in their teaching. The phenomenon of nationalism can be understood as both a narrow and broad concept and in this study the teachers are interviewed about how they perceive that nationalism occurs in their teaching as knowledge, perspective, phenomenon, and didactic challenge. The study is exploratory and uses Sandahl's (2015) theory of second order concepts of Social Science as well as the conceptual classifications of common-sense notions and naturalized axioms. The theoretical perspectives are used to bring clarity to what the teachers see as relevant knowledge and experiences of nationalism in teaching and to highlight the didactic challenges the phenomenon can create. The results show that nationalism is a recurring perspective in social studies teaching, which is sometimes touched upon openly and directly, in other cases more subtly and indirectly. The phenomenon is described by the teachers as a foundation block in the students' development of the knowledge and skills that Sandahl (2015) describes as second order thinking concepts. The teachers describe the concept of nationalism in a similar way but describe in the interviews how the phenomenon is given varying amounts of time and conveyed in different ways depending on factors such as the high school program, group composition and the number of social studies classes that the students attend to. The teachers who primarily teach in university preparatory programs describe a more indirect conveyance of nationalism as a perspective and rely on the content knowledge of history teaching as well as the knowledge progression the students undergo during their three years of high school. The teachers on the vocational programs rather describe that they directly give time to the content knowledge about nationalism in their teaching. The results also show that nationalism is experienced as a controversial topic in classroom situations, where some students express either common-sense notions or naturalized axioms which pose didactic challenges in teaching. Finally, the results show that there are several challenges linked to the profession in teaching about nationalism. These challenges relate to foundation of values, scientific rigor, and students' pre-understanding, which require didactic considerations in social studies teaching.

Reasoners can be used to derive implicit consequences from an ontology. Sometimes unwanted consequences are revealed, indicating errors or privacy-sensitive information, and the ontology needs to be appropriately repaired. The classical approach is to remove just enough axioms such that the unwanted consequences vanish. However, this is often too rough since mere axiom deletion also erases many other consequences that might actually be desired. The goal should not be to remove a minimal number of axioms but to modify the ontology such that only a minimal number of consequences is removed, including the unwanted ones. Specifically, a repair should rather be logically entailed by the input ontology, instead of being a subset. To this end, we introduce a framework for computing fixed-premise repairs of $\mathcal{EL}$ TBoxes. In the first variant the conclusions must be generalizations of those in the input TBox, while in the second variant no such restriction is imposed. In both variants, every repair is entailed by an optimal one and, up to equivalence, the set of all optimal repairs can be computed in exponential time. A prototypical implementation is provided. In addition, we show new complexity results regarding gentle repairs. / This is an extended version of an article accepted at the 45th German Conference on Artificial Intelligence (KI 2022).

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order. / O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na constru- ção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especi cações de conjuntos, de acordo com o axioma da especi cação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.

Die vorliegende Arbeit "Adaptive Discontinuous Petrov-Galerkin Finite-Element-Methods" beweist optimale Konvergenzraten für vier diskontinuierliche Petrov-Galerkin (dPG) Finite-Elemente-Methoden für das Poisson-Modell-Problem für genügend feine Anfangstriangulierung. Sie zeigt dazu die Äquivalenz dieser vier Methoden zu zwei anderen Klassen von Methoden, den reduzierten gemischten Methoden und den verallgemeinerten Least-Squares-Methoden. Die erste Klasse benutzt ein gemischtes System aus konformen Courant- und nichtkonformen Crouzeix-Raviart-Finite-Elemente-Funktionen. Die zweite Klasse verallgemeinert die Standard-Least-Squares-Methoden durch eine Mittelpunktsquadratur und Gewichtsfunktionen. Diese Arbeit verallgemeinert ein Resultat aus [Carstensen, Bringmann, Hellwig, Wriggers 2018], indem die vier dPG-Methoden simultan als Spezialfälle dieser zwei Klassen charakterisiert werden. Sie entwickelt alternative Fehlerschätzer für beide Methoden und beweist deren Zuverlässigkeit und Effizienz. Ein Hauptresultat der Arbeit ist der Beweis optimaler Konvergenzraten der adaptiven Methoden durch Beweis der Axiome aus [Carstensen, Feischl, Page, Praetorius 2014]. Daraus folgen dann insbesondere die optimalen Konvergenzraten der vier dPG-Methoden. Numerische Experimente bestätigen diese optimalen Konvergenzraten für beide Klassen von Methoden. Außerdem ergänzen sie die Theorie durch ausführliche Vergleiche beider Methoden untereinander und mit den äquivalenten dPG-Methoden. / The thesis "Adaptive Discontinuous Petrov-Galerkin Finite-Element-Methods" proves optimal convergence rates for four lowest-order discontinuous Petrov-Galerkin methods for the Poisson model problem for a sufficiently small initial mesh-size in two different ways by equivalences to two other non-standard classes of finite element methods, the reduced mixed and the weighted Least-Squares method. The first is a mixed system of equations with first-order conforming Courant and nonconforming Crouzeix-Raviart functions. The second is a generalized Least-Squares formulation with a midpoint quadrature rule and weight functions. The thesis generalizes a result on the primal discontinuous Petrov-Galerkin method from [Carstensen, Bringmann, Hellwig, Wriggers 2018] and characterizes all four discontinuous Petrov-Galerkin methods simultaneously as particular instances of these methods. It establishes alternative reliable and efficient error estimators for both methods. A main accomplishment of this thesis is the proof of optimal convergence rates of the adaptive schemes in the axiomatic framework [Carstensen, Feischl, Page, Praetorius 2014]. The optimal convergence rates of the four discontinuous Petrov-Galerkin methods then follow as special cases from this rate-optimality. Numerical experiments verify the optimal convergence rates of both types of methods for different choices of parameters. Moreover, they complement the theory by a thorough comparison of both methods among each other and with their equivalent discontinuous Petrov-Galerkin schemes.

In this paper, we first present the basic principles of set theory and combinatorial analysis which are the most useful tools in computing probabilities. Then, we show some important properties derived from axioms of probability. Conditional probabilities come into play not only when some partial information is available, but also as a tool to compute probabilities more easily, even when partial information is unavailable. Then, the concept of random variable and its some related properties are introduced. For univariate random variables, we introduce the basic properties of some common discrete and continuous distributions. The important properties of jointly distributed random variables are also considered. Some inequalities, the law of large numbers and the central limit theorem are discussed. Finally, we introduce additional topics the Poisson process.