Sökning: "finite extension"

Visar resultat 6 - 10 av 125 avhandlingar innehållade orden finite extension.

  1. 6. Lindström quantifiers and higher-order notions on finite structures

    Författare :Anders Andersson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

    Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER

  3. 7. High Performance Adaptive Finite Element Methods : With Applications in Aerodynamics

    Författare :Niclas Jansson; Johan Hoffman; Johan Jansson; Vincent Heuveline; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The massive computational cost for resolving all scales in a turbulent flow makes a direct numerical simulation of the underlying Navier-Stokes equations impossible in most engineering applications. Recent advances in adaptive finite element methods offer a new powerful tool in Computational Fluid Dynamics (CFD). LÄS MER

  4. 8. Finite Element and Neuroimaging Techniques toImprove Decision-Making in Clinical Neuroscience

    Författare :Xiaogai Li; Svein Kleiven; Hans von Holst; Bernhard A Schrefler; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Traumatic brain injury; Intracranial Pressure; Brain edema; Gravitational force; Finite Element Model; Poroelastic parameter; Decompressive craniotomy; Image registration; Water content; Strain level; Diffusion Weighted Imaging;

    Sammanfattning : Our brain, perhaps the most sophisticated and mysterious part of the human body, to some extent, determines who we are. However, it’s a vulnerable organ. When subjected to an impact, such as a traffic accident or sport, it may lead to traumatic brain injury (TBI) which can have devastating effects for those who suffer the injury. LÄS MER

  5. 9. Applications of Finite Element Simulation and Mixed Reality in Architecture and Built Environment

    Författare :Carl Lundholm; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; augmented reality; FEniCS; multimesh; CutFEM; multi-objective optimization; mixed reality; HoloLens; virtual reality; view computation; finite element method;

    Sammanfattning : This thesis presents applications in architecture and built environment that are based on the finite element method and mixed reality. The work consists of two main components: two projects presented in three papers. The first project (presented in Paper I) concerns an application in urban design, thus built environment on a larger scale. LÄS MER

  7. 10. A theoretical study of magnetism and its extension to finite temperatures in random alloys

    Författare :Fan Pan; Lars Bergqvist; Richard Evans; KTH; []
    Nyckelord :Fysik; Physics;

    Sammanfattning : This work presents new theoretical developments of atomistic spin simulations of magnetic materials at finite temperatures. Special focus is put on the description of longitudinal magnetic fluctuations and the application in random transition metal alloys. LÄS MER