Sökning: "Berg 2006"

Visar resultat 1 - 5 av 26 avhandlingar innehållade orden Berg 2006.

  1. 1. Regular inference for reactive systems

    Författare :Therese Berg; Bengt Jonsson; Joachim Parrow; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Sammanfattning : Models of reactive systems play a central role in many techniques for verification and analysis of reactive systems. Both a specification of the system and the abstract behavior of the system can be expressed in a formal model. Compliance with the functional parts in the specification can be controlled in different ways. LÄS MER

  3. 2. Studies of Two Aerodynamic Effects on High-Speed Trains : Crosswind Stability and Discomforting Car Body Vibrations Inside Tunnels

    Författare :Ben Diedrichs; Mats Berg; Chris Baker; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; train aerodynamics; external aerodynamics; tunnel aerodynamics; computational fluid dynamics; Vehicle engineering; Farkostteknik;

    Sammanfattning : .... LÄS MER

  4. 3. On Simulation of Uniform Wear and Profile Evolution in the Wheel - Rail Contact

    Författare :Roger Enblom; Mats Berg; Simon Iwnicki; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; wheel-rail contact; wear; wear prediction; wear model; wheel profile; rail; Vehicle engineering; Farkostteknik;

    Sammanfattning : Numerical procedures for reliable wheel and rail wear prediction are rare. Recent development of simulation techniques and computer power together with tribological knowledge do however suggest computer aided wear prediction as possible. LÄS MER

  5. 4. Making sense of knowledge work

    Författare :Anna Rylander; Tore J. Larsson; Per-Olov Berg; KTH; []
    Nyckelord :embodiment; emotion; intellectual capital; knowledge-intensive firms; knowledge work; organizational identity; physical setting; place; work environment; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : According to a dominant discourse in contemporary writings and research, we are living in a Knowledge Economy where knowledge is seen as the pre-eminent resource and the key to success for individuals as well as organizations and nations. Consequently, much effort in management research has been dedicated to devising new concepts and theories such as the knowledge-based theory of the firm and the intellectual capital perspective, all premised on the assumption that knowledge work is somehow different from other forms of work. LÄS MER

  7. 5. Ioniztion of molecules at the CRYRING facility

    Författare :Fabian Österdahl; Lars-Erik Berg; Christian Bohm; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Physics; Fysik;

    Sammanfattning : .... LÄS MER