Sökning: "Doctor"

Visar resultat 1 - 5 av 691 avhandlingar innehållade ordet Doctor.

  1. 1. Verification of networks of communicating processes : Reachability problems and decidability issues

    Författare :Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

    Sammanfattning : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. LÄS MER

  3. 2. Memory Effects on Iron Oxide Filled Carbon Nanotubes

    Författare :Carlos Cava; Clas Persson; Lucimara Roman; Krister Svensson; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; Memory devices; Carbon Nanotubes; energy; nanotechnology; Iron Oxide;

    Sammanfattning : In this Licentiate Thesis, the properties and effects of iron and iron oxide filled carbon nanotube (Fe-CNT) memories are investigated using experimental characterization and quantum physical theoretical models. Memory devices based on the simple assembly of Fe-CNTs between two metallic contacts are presented as a possible application involving the resistive switching phenomena of this material. LÄS MER

  4. 3. Characterising action potential in virtual game worlds applied with the mind module

    Författare :Mirjam Palosaari Eladhari; Clive Fencott; Paul Van Schaik; Michael Mateas; Richard Bartle; Alan Hind; Högskolan på Gotland; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; AI; characterisation; MMO; VGW; characterising action potential;

    Sammanfattning : Because games set in persistent virtual game worlds (VGWs) have massive numbers of players, these games need methods of characterisation for playable characters (PCs) that differ from the methods used in traditional narrative media. VGWs have a number of particularly interesting qualities. LÄS MER

  5. 4. Ergonomists’ risk assessments : From guesstimates to strategic approaches

    Författare :Kristina Eliasson; Teresia Nyman; Mikael Forsman; Therese Hellman; Magnus Svartengren; Cecilia Österman; Uppsala universitet; []
    Nyckelord :MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Occupational Health Services; Ergonomics; Exposure assessment; Risk assessment tools; Preventive Occupational Health and Safety management; Work Environment; Risk management; Company representatives; Collaboration; Occupational and Environmental Medicine; Arbets- och miljömedicin;

    Sammanfattning : Musculoskeletal disorders are among the most prevalent causes of work-related ill-health, consequently risk assessments of hazardous factors related to these disorders are important for prevention. Occupational Health Services (OHS) providers are independent experts, supporting employers regarding work environment issues and rehabilitation. LÄS MER

  7. 5. Decisional-Emotional Support System for a Synthetic Agent : Influence of Emotions in Decision-Making Toward the Participation of Automata in Society

    Författare :Javier Francisco Guerrero Razuri; Aron Larsson; David Sundgren; Rahim Rahmani; Alessandro Villa; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Affective Computing; Machine Learning; Adversarial Risk Analysis; Broaden and Build Theory; Facial Expression Recognition; Speech Emotion Recognition; Detection of Emotional Information; Emotional self-regulation; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : Emotion influences our actions, and this means that emotion has subjective decision value. Emotions, properly interpreted and understood, of those affected by decisions provide feedback to actions and, as such, serve as a basis for decisions. LÄS MER