Sökning: "data size"

Visar resultat 11 - 15 av 2243 avhandlingar innehållade orden data size.

  1. 11. Contributions to generalized Wilcoxon rank tests

    Författare :Marie-Louise Öhman; Hans Nyquist; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Censored data rank sum tests; Gehan s test; Generalized Wilcoxon test; Jackknifing; Two sample problem; Simulation; Survival data; Variance estimation; Influence function; Gross error sensitivity; Sensitivity curve; Misclassification; Statistics; computer and systems science; Statistik; data- och systemvetenskap; Statistics; statistik;

    Sammanfattning : In unbalanced small sample size problems with right censorings, the variance estmators of linear rank statistics, may be biased. This is the case with the commonly applied variance estimators for the generalized Wilcoxon rank test statistics of Gehan and Prentice. LÄS MER

  2. 12. Studies in Applied Data Structures

    Författare :Kurt Swanson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Systems engineering; Sparse Matrix; Suffix Tree; Roundness; Range searching; Data- och systemvetenskap; computer technology;

    Sammanfattning : The design of efficient data structures is of primary importance in creation of theoretical algorithms as well their more tangible descendants, computer programs. In this dissertation we study computational aspects of data structures and their respective algorithms from a theoretical viewpoint, which are however of direct importance in the implementation of solutions for real-world problems. LÄS MER

  3. 13. Reactive Concurrent Data Structures and Algorithms for Synchronization

    Författare :Phuong Ha; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; non-blocking; reactive; multi-word atomic primitives; online algorithms; shared memory; concurrent data structures; distributed data structures; randomization; online financial problems; synchronization; spin-locks;

    Sammanfattning : Parallelism plays a significant role in high-performance computing systems, from large clusters of computers to chip-multithreading (CMT) processors. Performance of the parallel systems comes not only from concurrently runningmore processing hardware but also from utilizing the hardware efficiently. LÄS MER

  4. 14. Type Theory with First-Order Data Types and Size-Change Termination

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER

  5. 15. Quantifying Process Quality : The Role of Effective Organizational Learning in Software Evolution

    Författare :Sebastian Hönel; Morgan Ericsson; Welf Löwe; Anna Wingkvist; Miroslaw Staron; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Size; Software Metrics; Commit Classification; Maintenance Activities; Software Quality; Process Quality; Project Management; Organizational Learning; Machine Learning; Visualization; Optimization; Software Technology; Programvaruteknik; Informations- och programvisualisering; Information and software visualization; Computer Science; Datavetenskap; Statistics Econometrics; Statistik;

    Sammanfattning : Real-world software applications must constantly evolve to remain relevant. This evolution occurs when developing new applications or adapting existing ones to meet new requirements, make corrections, or incorporate future functionality. LÄS MER