Sökning: "speci"

Visar resultat 1 - 5 av 17 avhandlingar innehållade ordet speci.

  1. 1. Atomistic Computer Simulations of Melting, Diffusion and Thermal Defects in High Pressure Solids

    Författare :Sergio Davis; Anatoly Belonoshko; Börje Johansson; Leonid Zhigilei; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Materials science; Teknisk materialvetenskap;

    Sammanfattning : The present work describes the use of atomistic computer simulations in the area of Condensed Matter Physics, and speci cally its application to the study of two problems: the dynamics of the melting phase transition and the properties of materials at extremely high pressures and temperatures, problems which defy experimental measurements and purely analytical calculations. A good sampling of techniques including classical and rst-principles Molecular Dynamics, and Metropolis Monte Carlo simulation have been applied in this study. LÄS MER

  3. 2. Flow Java : declarative concurrency for Java

    Författare :Frej Drejhammar; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; Computer engineering; Datorteknik;

    Sammanfattning : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. LÄS MER

  4. 3. Hjalmar Lundbohm : En studie om ledarskap inom LKAB 1898-1921

    Författare :Curt Persson; Henrik Berggren; Luleå tekniska universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Teknikhistoria; History of Technology;

    Sammanfattning : The thesis has as main purpose to study the influences that affected LKAB's first manager Hjalmar Lundbohm (1855-1926) in his leadership, both in mining operations and within the social structure, and how Lundbohm as a leader utilized his network. The study is implemented as a scientific biography. LÄS MER

  5. 4. Robust location privacy

    Författare :Per Hallgren; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The Internet is in many ways both fascinating and yet also scary. For most people, a single commercial entity owns the power to disclose all their personal emails. Most commonly your emails are only disclosed to you and your correspondent, but the power to choose who sees these emails is in fact not yours. LÄS MER

  7. 5. Enabling Tool Support for Formal Analysis of ECA Rules

    Författare :AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
    Nyckelord :ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

    Sammanfattning : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. LÄS MER