Search for dissertations about: "Computer model"

Showing result 1 - 5 of 2371 swedish dissertations containing the words Computer model.

  1. 1. Computer Science Project Courses : Contrasting Students’ Experiences with Teachers’ Expectations

    Author : Mattias Wiggberg; Mats Daniels; Lecia J. Barker; Tony Clear; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; computer science education; computer science student projects; computer science projects; computer science education research; phenomenography; learning; higher education; communities of practice; capstone projects; constructivism; Computer science; Datavetenskap; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

    Abstract : Including small or large project courses is widely recognized as important in preparing computer science students for a professional career. Typical examples are the capstone courses, which often are seen as the jewel in the crown since this is where students will bring their previous knowledge and skills together to show mastery of their craft. READ MORE

  2. 2. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

  3. 3. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation

    Author : Rüdiger Lincke; Växjö universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Software Quality; Metrics; Quality Model; Meta-model; ISO 9126; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Abstract : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. READ MORE

  4. 4. Model-oriented programming

    Author : Daniel Einarsson; Lunds universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : .... READ MORE

  5. 5. Computer Simulation of the Neural Control of Locomotion in the Cat and the Salamander

    Author : Nalin Harischandra; Örjan Ekeberg; Silvia Gruhn; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Locomotion; Computer simulation; Central pattern generator; System identification; Gait transition; Sensory feedback; Spiking neural networks;

    Abstract : Locomotion is an integral part of a whole range of animal behaviours. The basic rhythm for locomotion in vertebrates has been shown to arise from local networks residing in the spinal cord and these networks are known as central pattern generators (CPG). READ MORE