Avancerad sökning

Visar resultat 1 - 5 av 106 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Designing for the incorporation of programming in mathematical education : Programming as an instrument for mathematical problem solving

   Författare :Andreas Borg; Kenneth Ruthven; Maria Fahlgren; Chantal Buteau; Karlstads universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics; math; upper secondary; problem solving; programming; coding; instrument; instrumental genesis; education; mathematics education; scheme; matematik; skola; utbildning; problemlösning; programmering; kodning; instrument; instrumental genes; utbildning; matematikdidaktik; schema; Pedagogiskt arbete; Educational Work; Matematikdidaktik; Mathematics didactics;

   Sammanfattning : This study explored Swedish upper secondary school students’ use of programming for mathematical purposes. The aim of the study was to investigate the process through which students learn how to use a programming environment as a technical artefact during mathematical problem solving and how the orchestration of such learning situations could facilitate this process. LÄS MER

3. 2. Parallelism in Constraint Programming

   Författare :Carl Christian Rolf; Institutionen för datavetenskap; []
   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

4. 3. Object oriented quality in introductory programming education

   Författare :Marie Nordström; Jürgen Börstler; Michael Kölling; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object orientation; Programming; Novices; Teaching; Education; Computer science; 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

5. 4. Effective SAT Solving

   Författare :Niklas Sörensson; Göteborgs universitet; []
   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

7. 5. 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