Search for dissertations about: "Construction constraints theory"

Showing result 1 - 5 of 22 swedish dissertations containing the words Construction constraints theory.

2. 1. Hopf and Frobenius algebras in conformal field theory

   Author : Carl Stigner; Jürgen Fuchs; Jens Fjelstad; Ingo Runkel; Karlstads universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; conformal field theory; category theory; Hopf algebra; Frobenius algebra; coends; mapping class group; defect lines; factorization constraints; Physics; Fysik;

   Abstract : There are several reasons to be interested in conformal field theories in two dimensions. Apart from arising in various physical applications, ranging from statistical mechanics to string theory, conformal field theory is a class of quantum field theories that is interesting on its own. First of all there is a large amount of symmetries. READ MORE

4. 2. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

   Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE

5. 3. A classifying algebra for CFT boundary conditions

   Author : Carl Stigner; Jürgen Fuchs; Alexei Semikhatov; Karlstads universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Boundary conditions; Conformal field theory; Factorization constraints; Modular tensor categories; TFT-construction; Mathematical physics; Matematisk fysik; Physics; Fysik;

   Abstract : Conformal field theories (CFT) constitute an interesting class of twodimensionalquantum field theories, with applications in string theoryas well as condensed matter physics. The symmetries of a CFT can beencoded in the mathematical structure of a conformal vertex algebra. READ MORE

6. 4. On the Logic of Theory Change : Extending the AGM Model

   Author : Eduardo Fermé; John Cantwell; David Makinson; KTH; []
   Keywords : HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; Logic; Logik;

   Abstract : This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. READ MORE

7. 5. Developer-led new eco-cities in China - identification, assessment and solution of environmental issues in planning

   Author : Miao Xu; Hans Westlund; Stig Westerdahl; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; new eco-cities; deision theory; social capital theory; PPP; environmental problems; initial planning stages; collaboration; nya ekostäder; beslutsteori; teorier om socialt kapital; Offentliga-Privata Partnerskap Public-Private Partnerships ; miljöproblem; inledande planeringsskeden; samverkan.; Urban and Regional Studies; Urbana och regionala studier;

   Abstract : In the course of China’s rapid urbanization and in the context of the country’s legalization of “ecological civilization”, “ecology” has become a basic requirement of the Chinese government for all new city construction. With the policy guidance of Chinese ministries being to support eco-cities, new eco-cities are flourishing in China. READ MORE