Sökning: "average"

Visar resultat 1 - 5 av 2478 avhandlingar innehållade ordet average.

  1. 1. Games and Probabilistic Infinite-State Systems

    Detta är en avhandling från Uppsala : Universitetsbiblioteket

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

  2. 2. Exploring the Scalability and Performance of Networks-on-Chip with Deflection Routing in 3D Many-core Architecture

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Awet Yemane Weldezion; Hannu Tenhunen; Lirong Zheng; Tapani Ahonen; [2016]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Alpha-model; Average distance; B-Model; NoC; Zero-load predictive model; deflection routing; q-routing;

    Sammanfattning : Three-Dimensional (3D) integration of circuits based on die and wafer stacking using through-silicon-via is a critical technology in enabling "more-than-Moore", i.e. functional integration of devices beyond pure scaling ("more Moore"). LÄS MER

  3. 3. On Multistage Analysis of Transonic Compressors: From Axisymmetric Throughflow Time-Marching to Unsteady Three-Dimensional Methods

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Stephane Baralon; [2000]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; shock; time-marching; deterministic; average-passage; multistage; fan; axisymmetric; 3D; unsteady; transonic; viscous; body force; stress; singularity; perturbation; throughflow; mixing-plane; modelling; finite-volume;

    Sammanfattning : A throughflow time-marching finite-volume solver, capable of computing viscous transonic multistage compressor flows with embedded shocks, is presented. The behavior of the blade model, based on the blade mean surface flow tangency condition, was investigated for transonic flows. LÄS MER

  4. 4. Essays on Microeconometrics and Immigrant Assimilation

    Detta är en avhandling från Göteborg : Göteborg University

    Författare :Alpaslan Akay; Göteborgs universitet.; Gothenburg University.; [2008]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Average marginal effect; Marginal effect of the average individual; Employment and earnings assimilation; Quasi-fixed effects approach; Initial value problem; Dynamic censored random-effects model; Monte Carlo experiment; Heckman’s approximation; Simple method of Wooldridge; Dynamic random-effects sample-selection model; wage-curve method;

    Sammanfattning : Paper I. Asymptotic bias reduction for a conditional marginal effects estimator in sam- ple selection models. In this article we discuss the di¤erences between the average marginal effect and the mar- ginal effect of the average individual in sample selection models, estimated by the Heck- man procedure. LÄS MER

  5. 5. Adsorption of surface active elements on the iron (100) surface A study based on ab initio calculations

    Detta är en avhandling från Stockholm : KTH

    Författare :Weimin Cao; Seshadri Seetharaman; [2009]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; sulfur; oxygen; surface adsorption; iron surface; ab initio calculations; adsorption energy; work function; difference charge density; thermodynamic stability; average velocity; TECHNOLOGY Materials science; TEKNIKVETENSKAP Teknisk materialvetenskap;

    Sammanfattning : In the present work, the structural, electronic properties, thermodynamic stability and adatom surface movements of oxygen and sulfur adsorption on the Fe surface were studied based on the ab initio method.Firstly, the oxygen adsorbed on the iron (100) surface is investigated at the three adsorption sites top, bridge and hollow sites, respectively. LÄS MER