Sökning: "sorting algorithms"

Visar resultat 21 - 23 av 23 avhandlingar innehållade orden sorting algorithms.

1. 21. Variance reduction methods for numerical solution of plasma kinetic diffusion

   Författare :Lars Josef Höök; Torbjörn Hellsten; Thomas Johnson; Lars-Göran Ericsson; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; variance reduction; Monte Carlo; quasi-Monte Carlo; kinetic diffusion; stochastic differential equation;

   Sammanfattning : Performing detailed simulations of plasma kinetic diffusion is a challenging task and currently requires the largest computational facilities in the world. The reason for this is that, the physics in a confined heated plasma occur on a broad range of temporal and spatial scales. LÄS MER

3. 22. Testing and Proving in Dependent Type Theory

   Författare :Qiao Haiyan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. LÄS MER

4. 23. Efficient utilization of sawlogs using scanning techniques and computer modelling

   Författare :Anders Berglund; Arto Usenius; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Träteknik; Wood Technology;

   Sammanfattning : The main question asked of the work described in this thesis was howthe sawing of logs into sawn timber can be performed more efficientlywith respect to the choice of raw material, volume and value yield in thesawing and in the grading of the sawn timber produced.The development of industrial computed tomography scanning providesinformation about the external and internal properties of a sawlogat production speed. LÄS MER