Search for dissertations about: "smt"

Showing result 11 - 15 of 25 swedish dissertations containing the word smt.

  2. 11. Frontiers of Multilingual Grammar Development

    Author : Ramona Enache; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; multilingual grammar development; ontology verbalization; resource grammar development; hybrid machine translation; functional programming; domain specific languages;

    Abstract : The thesis explores a number of ways for developing multilingual grammars written in GF (Grammatical Framework). The goal is to enhance both the coverage of the grammars, in terms of content and number of languages, and to reduce the development effort by automating a larger part of the process. READ MORE

  4. 12. Automating the development of multilingual grammars

    Author : Ramona Enache; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The thesis aims at exploring alternative ways of automating the development of multilingual GF (Grammatical Framework) grammars. The goal is to achieve semantics-preserving machine translation within a limited or semi-limited domain. READ MORE

  5. 13. New techniques for handling quantifiers in Boolean and first-order logic

    Author : Peter Backeman; Philipp Rümmer; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Abstract : The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician Leibniz invented a mechanical calculator capable of performing all four basic arithmetic operators. READ MORE

  6. 14. Converter interactions in VSC-based HVDC systems

    Author : Georgios Stamatiou; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Symbolic eigenvalue expressions; Frequency Domain Analysis; Droop control; Net damping; VSC; Passivity Analysis; MTDC; Poor damping; HVDC;

    Abstract : The main objective of this thesis is to perform stability and control studies in the area of VSC-HVDC. A major part of the investigation focuses on the explanation of poorly-damped conditions and instability that are linked to dc-side resonances. READ MORE

  7. 15. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    Author : Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Abstract : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. READ MORE