Sökning: "Partial expansion"

Visar resultat 1 - 5 av 68 avhandlingar innehållade orden Partial expansion.

1. 1. A program manipulation system based on partial evaluation

   Författare :Anders Haraldsson; Erik Sandewall; Mats Nordström; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program manipulation; partial evaluation; program optimization; LISP; beta-expansion; macro-expansion; Computer science; Datavetenskap;

   Sammanfattning : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. LÄS MER

3. 2. Flow, expansion and processing behaviours of gas-containing filled polyethylene

   Författare :Nabil Khoshaba; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; mechanical properties; flow rate; critical pressure; injection moulding; expansion kinetics; fillers; rheological properties; foaming; composite materials; partial pressure; capillary viscometry; Blowing agent;

   Sammanfattning : The utilization of fillers in polymeric materials has exhibited a substantial growth during the last decades. Chalk (calcium carbonate) and glass fibres are two common examples of such fillers. These fillers/reinforcing elements are used in order to reduce the cost of material and change its physical (mechanical) properties. LÄS MER

4. 3. On Non-Prioritized Multiple Belief Revision

   Författare :Li Zhang; Sven Ove Hansson; John Cantwell; Tor Sandqvist; André Fuhrmann; KTH; []
   Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Non-prioritized multiple revision; Making up one s mind; Choice revision; Descriptor revision; AGM; Believability relation; Multiple believability relation; Belief base; Partial expansion; Multiple contraction; Filosofi; Philosophy; Mathematics; Matematik; Computer Science; Datalogi;

   Sammanfattning : This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. LÄS MER

5. 4. Properties in New Complex Perovskite-Related Materials, a Matter of Composition and Structure

   Författare :Samrand Shafeie; Gunnar Svensson; Jekabs Grins; John T. S. Irvine; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Perovskite; XANES; XRPD; NPD; TEC; TEM; SEM; TGA; SAED; HREM; thermal expansion; Seebeck coefficient; electronic conductivity; SOFC materials; magnetic susceptibility; Perovskit; XANES; XRPD; NPD; TEC; TEM; SEM; TGA; SAED; HREM; termisk expansion; Seebeck koefficient; elektrisk ledningsförmåga; SOFC material; magnetiska egenskaper; Materials Chemistry; materialkemi;

   Sammanfattning : This PhD thesis presents investigations of perovskite-related compounds in systems of interest for applications in components in solid oxide fuel cells. The compound compositions derive from substitutions in the parent compounds LaCoO3, LaCrO3 and SrFeO3. LÄS MER

7. 5. On signal processing and electromagnetic modelling : applications in antennas and transmission lines

   Författare :Jonas Lundbäck; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Vector sensors; Statistical signal processing; Antennas; Directional Coupler; Tranmission lines; Partial discharge;

   Sammanfattning : This doctoral thesis is comprised of five parts. The first three parts concern signal processing and electromagnetic modelling of multiport antennas. The last two parts concern signal processing and transmission line theory applied to wave splitting on transmission lines. LÄS MER