Sökning: "problem solving programming"

Visar resultat 6 - 10 av 106 avhandlingar innehållade orden problem solving programming.

1. 6. Computational problem solving in university physics education : Students’ beliefs, knowledge, and motivation

   Författare :Madelen Bodin; Mikael Winberg; Diane Grayson; Umeå universitet; []
   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

3. 7. Testing for ASP—ASP for Testing

   Författare :Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

   Sammanfattning : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. LÄS MER

4. 8. Methods and Applications in Integer Programming : All-Integer Column Generation and Nurse Scheduling

   Författare :Elina Rönnberg; Torbjörn Larsson; Fredrik Altenstedt; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; integer programming; column generation; set partitioning problems; quasi-integrality; nurse scheduling; Optimization; systems theory; Optimeringslära; systemteori;

   Sammanfattning : Integer programming can be used to provide solutionsto complex decision and planning problems occurring in a wide varietyof situations. Applying integer programming to a real life problembasically involves a first phase where a mathematical model isconstructed, and a second phase where the problem described by themodel is solved. LÄS MER

5. 9. Efficient reduction techniques for a large-scale Transmission Expansion Planning problem

   Författare :Quentin Ploussard; Luis Olmos; Andres Ramos; Efraim Centeno; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; energy; electricity; transmission expansion planning; linear programming; integer linear programming; relaxation methods; clustering; dimension reduction; network theory graphs ; partitioning algorithms; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : The aim of Transmission Expansion Planning (TEP) studies is to decide which, where, and when new grid elements should be built in order to minimize the total system cost. The lumpiness of the investment decisions, together with the large size of the problem, make the problem very hard to solve. LÄS MER

7. 10. Metaphor in Mind : Programming Teachers' Knowledge and Beliefs in Action

   Författare :Andreas Larsson; Konrad Schönborn; Jesper Haglund; Jonas Hallström; Niall Seery; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Conceptual Metaphor; Speech and Gesture; Programming Education; Technology; Konceptuella metaforer; Gestanalys; Programmeringsundervisning; Teknik;

   Sammanfattning : Programming has become an integral component of technology education around the world and is an important part of Swedish curriculum reform and classroom teaching. This thesis aims to explore relations between programming teachers' knowledge and beliefs about programming teaching and how it is enacted in their practice. LÄS MER