Sökning: "problem solving programming"

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

  1. 1. Parallelism in Constraint Programming

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

    Sammanfattning : Writing efficient parallel programs is the biggest challenge of the software industry for the foreseeable future. We are currently in a time when parallel computers are the norm, not the exception. Soon, parallel processors will be standard even in cell phones. 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