Search for dissertations about: "L Smith"

Showing result 1 - 5 of 7 swedish dissertations containing the words L Smith.

  2. 1. The myth of Manasā : a study in the popular Hinduism of medieval Bengal

    Author : William L. Smith; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES;

    Abstract : .... READ MORE

  4. 2. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Author : Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE

  5. 3. Lund Concept for De-airing of the Left Heart. Clinical Evaluation

    Author : Maya Landenhed Smith; Thoraxkirurgi; []
    Keywords : open left heart surgery; de-airing; gaseous cerebral microemboli; transcranial Doppler sonography;

    Abstract : Background: Residual air accumulated air in the pulmonary veins constitutes a challenge to achievment of complete de-airing in open left heart surgery. To adress this problem, a conceptual method for de-airing was developed in Lund comprising bilateral opening of the pleurae to induce pulmonary collapse and a strategy with gradual pulmonary reperfusion and ventilation at weaning from cardiopulmonary bypass (CPB). READ MORE

  6. 4. Local systems and vanishing of Maslov class

    Author : Axel Husin; Thomas Kragh; Jack Smith; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Let L be a closed exact Lagrangian submanifold in the cotangent bundle T*X of a closed manifold X. We present partial results towards a new proof using Lagrangian intersection Floer theory that the Maslov class of L vanishes... READ MORE

  7. 5. Topics in Computational Algebraic Geometry and Deformation Quantization

    Author : Christine Jost; Sandra Di Rocco; Boris Shapiro; Gregory G. Smith; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Segre classes; Chern-Schwartz-MacPherson classes; topological Euler characteristic; computational algebraic geometry; numerical algebraic geometry; numerical homotopy methods; deformation quantization; polyvector fields; Fedosov quantization; Grothendieck-Teichmüller group; Mathematics; matematik;

    Abstract : This thesis consists of two parts, a first part on computations in algebraic geometry, and a second part on deformation quantization. More specifically, it is a collection of four papers. In the papers I, II and III, we present algorithms and an implementation for the computation of degrees of characteristic classes in algebraic geometry. READ MORE