Sökning: "programming"

Visar resultat 21 - 25 av 1099 avhandlingar innehållade ordet programming.

  1. 21. Integer Quadratic Programming for Control and Communication

    Författare :Daniel Axehill; Anders Hansson; Manfred Morari; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Integer Quadratic Programming; Model Predictive Control; Hybrid Systems; Semidefinite Programming; Code Division Multiple Access; Multiuser Detection; Automatic Control; Communication; Automatic control; Reglerteknik;

    Sammanfattning : The main topic of this thesis is integer quadratic programming with applications to problems arising in the areas of automatic control and communication. One of the most widespread modern control methods is Model Predictive Control (MPC). In each sampling time, MPC requires the solution of a Quadratic Programming (QP) problem. LÄS MER

  3. 22. När lärare formar ett nytt ämnesinnehåll : intentioner, förutsättningar och utmaningar med att införa programmering i skolan

    Författare :Peter Vinnervik; Maria Berge; Johan Lithner; Jan Erik Moström; Arnold Pears; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; programming; compulsory school; curriculum analysis; curriculum enactment; curriculum reform; challenges; technology education; programmering; grundskola; läroplansanalys; läroplansreform; undervisning; utmaningar; teknik; pedagogiskt arbete; educational work;

    Sammanfattning : In March 2017, programming was introduced in the Swedish school curriculum. The reform was formally enacted in July 2018. Research shows that teachers enacting curriculum reform practices encounter various challenges. LÄS MER

  4. 23. Towards a practical programming language based on dependent type theory

    Författare :Ulf Norell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dependent types; type theory; metavariables; programming; pattern matching; type checking;

    Sammanfattning : Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very powerful as a proof language is that it mixes deduction with computation. LÄS MER

  5. 24. Seeing the parts, understanding the whole : A technology education perspective on teaching and learning in processes of analysing and designing programmed technological solutions

    Författare :Anne-Marie Cederqvist; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; technology education; programmin; programmed technological solutions; programming materials; phenomenography; LeaDS - Learning in a Digitalised Society; LeaDS - Lärande i ett digitalt samhälle; technology education; programming; programmed technological solutions; programming materials; phenomenography;

    Sammanfattning : Analysing and designing Programmed Technological Solutions (PTS) has been introduced as a part of technology education in an effort to bring elements of programming into the curriculum for compulsory school, in order to develop pupils’ understanding of how PTS work and are controlled by programming. However, what an appropriate understanding entails at this level remains to be articulated, particularly how this understanding looks from a pupil’s perspective. LÄS MER

  7. 25. A Distributed Haskell for the Modern Web

    Författare :Anton Ekblad; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; programming languages; distributed systems; web development; interoperability; programming models; functional programming; compiler;

    Sammanfattning : We present the design and implementation of a novel programming model andsoftware development suite for interactive, distributed web applications usingthe Haskell programming language.The suite includes the JavaScript-targeting Haste Haskell compilerwhich improves on the current state of the art by producing smaller and leanerJavaScript code while preserving compatibility with standard Haskell aswell as with the de facto standard GHC compiler. LÄS MER