Sökning: "Program Models"

Visar resultat 6 - 10 av 408 avhandlingar innehållade orden Program Models.

  1. 6. Connect : Modelling Learning to Facilitate Linking Models and the Real World trough Lab-Work in Electric Circuit Courses for Engineering Students

    Författare :Anna-Karin Carstensen; Jonte Bernhard; Christian Kautz; Linköpings universitet; []
    Nyckelord :Engineering Education; Engineering Education Research; Key concepts; Labwork; Laplace Transforms; Learning; Learning of a Complex Concept; Learning to model; Modelling learning; Models; Practical Epistemologies; Threshold concepts; Variation Theory;

    Sammanfattning : A recurring question in science and engineering education is why the students do not link knowledge from theoretical classes to the real world met in laboratory courses.Mathematical models and visualisations are widely used in engineering and engineering education. LÄS MER

  3. 7. Thermal models of buildings : determination of temperatures, heating and cooling loads : theories, models and computer programs

    Författare :Kurt Källblad; Institutionen för byggvetenskaper; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Building construction; Computer Programs; Windows; Infiltration; Comfort; Walls; Indoor Climate; Climate; Ventilation; Cooling Load; Heating Load; Buildings; Thermal Models; Building Physics; Energy; Byggnadsteknik;

    Sammanfattning : The need to estimate indoor temperatures, heating or cooling load and energy requirements for buildings arises in many stages of a buildings life cycle, e.g. at the early layout stage, during the design of a building and for energy retrofitting planning. Other purposes are to meat the authorities requirements given in building codes. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  5. 9. Model Checking of Software Systems under Weak Memory Models

    Författare :Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

    Sammanfattning : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. LÄS MER

  7. 10. Quality assessment of protein models

    Författare :Arjun Ray; Erik Lindahl; Bengt Persson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SRA - Molecular Bioscience; SRA - Molekylär biovetenskap;

    Sammanfattning : Proteins are crucial for all living organisms and they are involved in many different processes. The function of a protein is tightly coupled to its structure, yet to determine the structure experimentally is both non-trivial and expensive. LÄS MER