Sökning: "A Simon"

Visar resultat 21 - 25 av 398 avhandlingar innehållade orden A Simon.

  1. 21. A Model of Type Theory in Cubical Sets

    Författare :Simon Huber; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Models of dependent type theory; cubical sets; Univalent Foundations;

    Sammanfattning : The intensional identity type is one if the most intricate concepts of dependent type theory. The recently discovered connection between homotopy theory and type theory gives a novel perspective on the identity type. LÄS MER

  3. 22. Towards better understanding of the flow inside industrial processes: a CFD study

    Författare :Simon Johansson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Sammanfattning : Computational Fluid Dynamics (CFD) is a method to numerically pre- dict flow patterns. In this thesis the method is used to predict the flow in a hydrochloric acid regeneration plant located at SSAB EMEA in Borl ̈ange and to investigate the flow in a burner region of a rotary kiln at LKAB in Kiruna. LÄS MER

  4. 23. Buoy and Generator Interaction with Ocean Waves : Studies of a Wave Energy Conversion System

    Författare :Simon Lindroth [formerly Tyrberg]; Mats Leijon; Brian Holmes; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wave power; Measurement systems; Marine technology; Energy conversion; Renewable energy; Energy absorption; Wave resource; Oceanic engineering; Linear generators; Point absorbers; Sea trials; Camera systems; Accelerometers; Offshore experiments; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Sammanfattning : On March 13th, 2006, the Division of Electricity at Uppsala University deployed its first wave energy converter, L1, in the ocean southwest of Lysekil. L1 consisted of a buoy at the surface, connected through a line to a linear generator on the seabed. LÄS MER

  5. 24. Performance, Processing and Perception of Communicative Motion for Avatars and Agents

    Författare :Simon Alexanderson; Jonas Beskow; John Glauert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Tal- och musikkommunikation; Speech and Music Communication;

    Sammanfattning : Artificial agents and avatars are designed with a large variety of face and body configurations. Some of these (such as virtual characters in films) may be highly realistic and human-like, while others (such as social robots) have considerably more limited expressive means. LÄS MER

  7. 25. A Lagrangian-Eulerian simulation framework for viscoelastic fluid flows

    Författare :Simon Ingelsten; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computational Fluid Dynamics; non-Newtonian flow; Immersed boundary methods;

    Sammanfattning : Viscoelastic fluids appear in various industrial applications, including adhesive application, additive manufacturing, seam sealing and parts assembly with adhesive. These processes are characterized by complex geometry, moving objects and transient multiphase flow, making them inherently difficult to simulate numerically. LÄS MER