Avancerad sökning
Visar resultat 1 - 5 av 2911 avhandlingar som matchar ovanstående sökkriterier.
1. Games and Probabilistic Infinite-State Systems
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. Exploring the Scalability and Performance of Networks-on-Chip with Deflection Routing in 3D Many-core Architecture
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. On Multistage Analysis of Transonic Compressors: From Axisymmetric Throughflow Time-Marching to Unsteady Three-Dimensional Methods
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. Essays on Microeconometrics and Immigrant Assimilation
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. Adsorption of surface active elements on the iron (100) surface : A study based on ab initio calculations
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