Sökning: "problem solving programming"

Visar resultat 1 - 5 av 78 avhandlingar innehållade orden problem solving programming.

  1. 1. Parallelism in Constraint Programming

    Författare :Carl Christian Rolf; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parallelism; Constraint Programming; Parallel Consistency; Parallel Search; Distributed Constraint Programming;

    Sammanfattning : Popular Abstract in English At our workplace, at home, and on the road, we rely on software. It has become one of the central technologies on which we base our society. Yet, software is perhaps the major technology that is understood the least by the general population. LÄS MER

  2. 2. Object oriented quality in introductory programming education

    Detta är en avhandling från Umeå : Umeå universitet, Institutionen för datavetenskap

    Författare :Marie Nordström; Umeå universitet.; [2010]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object orientation; Programming; Novices; Teaching; Education; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; datavetenskapernas didaktik; didactics of computer science;

    Sammanfattning : Examples are important when we attempt to learn something new. To learn prob-lem solving and programming is an acknowledged difficulty. LÄS MER

  3. 3. Effective SAT Solving

    Detta är en avhandling från Göteborg : University of Gothenburg

    Författare :Niklas Sörensson; Göteborgs universitet.; Gothenburg University.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. LÄS MER

  4. 4. Integer Quadratic Programming for Control and Communication

    Detta är en avhandling från Institutionen för systemteknik

    Författare :Daniel Axehill; Linköpings universitet.; Linköpings universitet.; [2008]
    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; TECHNOLOGY Information technology Automatic control; TEKNIKVETENSKAP Informationsteknik 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

  5. 5. Computational problem solving in university physics education Students’ beliefs, knowledge, and motivation

    Detta är en avhandling från Umeå : Umeå universitet

    Författare :Madelen Bodin; Umeå universitet.; [2012]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; physics education; computational physics; simulation; beliefs; motivation; mental models; network analysis; didactics of physics; fysikdidaktik;

    Sammanfattning : Solving physics problem in university physics education with a computational approach requires knowledge and skills in several domains, for example, physics, mathematics, programming, and modelling. These competences are in turn related to students' beliefs about these domains as well as about learning, and their motivation to learn. LÄS MER