Search for dissertations about: "domain representations"

Showing result 16 - 20 of 100 swedish dissertations containing the words domain representations.

  2. 16. On an Efficient Method fo Time-Domain Computational Aeroelasticity

    Author : David Eller; Ulf Ringertz; Paolo Mantegazza; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; aeroelasticity; unsteady aerodynamics; boundary element method; multidisciplinary simulation; Vehicle engineering; Farkostteknik;

    Abstract : The present thesis summarizes work on developing a method for unsteady aerodynamic analysis primarily for aeroelastic simulations. In contrast to widely used prediction tools based on frequency-domain representations, the current approach aims to provide a time-domain simulation capability which can be readily integrated with possibly nonlinear structural and control system models. READ MORE

  4. 17. Source Code Representations of Deep Learning for Program Repair

    Author : Zimin Chen; Martin Monperrus; Benoit Baudry; Zhendong Su; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Code Representation; Deep Learning; Program Repair; Datalogi; Computer Science;

    Abstract : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. READ MORE

  5. 18. Mapping and integration of schema representations of component specefications

    Author : Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Abstract : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. READ MORE

  6. 19. Transient electromagnetic pulse propagation in temporally dispersive materials

    Author : Igor Egorov; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Green functions; direct scattering; time domain; wave propagation; bi-gyrotropic; chiral; bi-isotropic; Forerunner; precursor; Green dyadics; Electronics and Electrical technology; Elektronik och elektroteknik;

    Abstract : This thesis treats the problem of transient electromagnetic pulse propagation in temporally dispersive media. The analysis is performed using time-domain techniques. In particular, the dispersive wave splitting which decouples the Maxwell equations both in vacuum and inside the medium is utilized. READ MORE

  7. 20. Learning System Thinking : The role of semiotic and cognitive resources

    Author : Maria Larsson; Kognitionsvetenskap; []
    Keywords : HUMANIORA; HUMANITIES; systems thinking; collaborative modeling; learning; external representations; cognition; semiotics; system dynamics;

    Abstract : In the course of our educational life we are introduced to various subject areas, each with its specific way of representing knowledge. The challenge for the learner is to be able to think in ways that are supported by, and match, the representational format. A fundamental question for the science of learning concerns how this is achieved. READ MORE