Sökning: "average"

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

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    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; Computer science; 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

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

    Författare :Awet Yemane Weldezion; Hannu Tenhunen; Lirong Zheng; Tapani Ahonen; KTH; []
    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

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

    Författare :Stephane Baralon; Chalmers tekniska högskola; []
    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

  5. 4. Essays on Microeconometrics and Immigrant Assimilation

    Författare :Alpaslan Akay; Göteborgs universitet; []
    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

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

    Författare :Weimin Cao; Seshadri Seetharaman; KTH; []
    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; Materials science; 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