Sökning: "formal topology"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden formal topology.

1. 1. Contributions to Pointfree Topology and Apartness Spaces

   Författare :Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

   Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER

3. 2. Distributed Topology Inference for Power System Applications : Algorithms and architectures utilising industry standards

   Författare :Nicholas Honeth; Lars Nordström; Valeriy Vyatkin; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; substation automation systems; IEC 61850; electrical topology; electrical engineering; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : The electrical transmission and distribution system is undergoing unprecedented changes to meet the need for a carbon emission-free global energy system. An expected increase in the portion of end-user energy use in the form of electricity and need to integrate renewable energy sources into the power grid on a large scale require major changes in how power grids are operated and controlled. LÄS MER

4. 3. Logical Dynamics and Dynamical Systems

   Författare :Rasmus Kraemmer Rendsvig; Lund University Information Quality Research Group (LUIQ); []
   Nyckelord :Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

   Sammanfattning : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. LÄS MER

5. 4. Free loop spaces, Koszul duality and A-infinity algebras

   Författare :Kaj Börjeson; Alexander Berglund; Pascal Lambrechts; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Koszul duality; free loop spaces; a-infinity algebras; BV-algebras; string topology; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers on the topics of free loop spaces, Koszul duality and A∞-algebras. In Paper I we consider a definition of differential operators for noncommutative algebras. This definition is inspired by the connections between differential operators of commutative algebras, L∞-algebras and BV-algebras. LÄS MER

7. 5. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

   Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

   Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER