Avancerad sökning

Visar resultat 1 - 5 av 24 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Limit Laws, Homogenizable Structures and Their Connections

   Författare :Ove Ahlman; Vera Koponen; Dugald Macpherson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model theory; random structure; finite model theory; simple theory; homogeneous structure; countably categorical; 0-1 law; Mathematical Logic; Matematisk logik; Mathematics; Matematik;

   Sammanfattning : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. LÄS MER

3. 2. On properties of monomial ideals and algebras

   Författare :Oleksandra Gasanova; Veronica Crispin Quiñonez; Volkmar Welker; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Monomial ideals form an important link between commutative algebra and combinatorics. Our aim is to study various operations on monomial ideals and algebras, as well as their properties. This thesis consists of an introduction and four research articles. The introduction covers the necessary background and the existing results. LÄS MER

4. 3. Use of Advanced Planning and Scheduling (APS) systems to support manufacturing planning and control processes

   Författare :Linea Kjellsdotter Ivert; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; problems; usage; benefits; manufacturing planning and control; Advanced planning and scheduling;

   Sammanfattning : An Advanced Planning and Scheduling (APS) system is defined as any computer program that uses advanced mathematical algorithms or logic to perform optimization and/or simulation on finite capacity scheduling, sourcing, capacity planning, resource planning, forecasting, demand planning and others. Relative the massive interest, both from academia and industry in the subject area of manufacturing planning and control, there has not been much written about the use of APS systems in practice. LÄS MER

5. 4. Achieving completeness: from constructive set theory to large cardinals

   Författare :Christian Espíndola; Erik Palmgren; Benno van den Berg; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

   Sammanfattning : This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. LÄS MER

7. 5. Quality Inspection and Evaluation of Smart or Functional Textile Fabric Surface by Skin Contact Mechanics

   Författare :Melkie Getnet Tadesse; Cristian Vasile; Högskolan i Borås; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; tactile comfort; expert; subjective evalaution; objective evalaution; smart fabric; functional fabric; skin contact; KES; sensory evalaution; sensory perception;

   Sammanfattning : The rapid progress in consuming e-textiles has made a huge uprising in the researcher’s track on the course of smart and functional textile development. Consumption of functional and smart textiles in the wearable e-textile is fetching extra eye-catching scheme owing to its lightweight property, flexibility, stretchability, and the ability to be integrated into wearable apparel. LÄS MER