Search for dissertations about: "regular class"

Showing result 1 - 5 of 73 swedish dissertations containing the words regular class.

  2. 1. On the Picard Group of Integer Group Rings

    Author : Ola Helenius; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Picard group; Grothendieck group; integer group ring; cyclic group; cyclotomic field; class group; Kummer´s lemma; semi-regular prime; Picard group;

    Abstract : .... READ MORE

  4. 2. Class of Accurate Low Order Finite Elements

    Author : Magnus Fredriksson; Hållfasthetslära; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; quadrilateral ; variational ; finite element ; element technology ; HuWashizu ; hexahedral ; Technological sciences; Teknik;

    Abstract : High accuracy and low computational costs are essential properties for efficient finite element codes. Improvements of the finite element method in order to satisfy these qualities have been the subject for extensive research activities ever since its introduction. READ MORE

  5. 3. Tight maps, a classification

    Author : Oskar Hamlet; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Tight maps; Tight homomorphisms; Maximal representations; Toledo invariant; Bounded Kähler class; Hermitian symmetric spaces; Bounded cohomology; Hermitian symmetric spaces;

    Abstract : This thesis concerns the classification of tight totally geodesic maps between Hermitian symmetric spaces of noncompact type. In Paper I we classify holomorphic tight maps. We introduce a new criterion for tightness of Hermitian regular subalgebras. READ MORE

  6. 4. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE

  7. 5. A class of infinite dimensional stochastic processes with unbounded diffusion and its associated Dirichlet forms

    Author : John Karlsson; Jörg-Uwe Löbus; Torkel Erhardsson; Hans-Jürgen Engelbert; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis consists of two papers which focuses on a particular diffusion type Dirichlet form  where  Here  is the basis in the Cameron-Martin space, H, consisting of the Schauder functions, and ν denotes the Wiener measure.In Paper I, we let  vary over the space of wiener trajectories in a way that the diffusion operator A is almost everywhere an unbounded operator on the Cameron–Martin space. READ MORE