Sökning: "jonas kvarnström"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden jonas kvarnström.

  1. 1. TALplanner and other extensions to Temporal Action Logic

    Författare :Jonas Kvarnström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is deliberation: Rather than reacting "instinctively" to its environment, an intelligent system should also be capable of reasoning about it, reasoning about the effects of actions performed by itself and others, and creating and executing plans, that is, determining which actions to perform in order to achieve certain goals. True deliberation is a complex topic, requiring support from several different sub-fields of artificial intelligence. LÄS MER

  3. 2. Design, Synthesis and Characterization of Small Molecule Inhibitors and Small Molecule : Peptide Conjugates as Protein Actors

    Författare :Jonas Nilsson; Lars Baltzer; Ingemar Kvarnström; Thomas Olsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Synthetic receptor; Peptide inhibitor conjugate; Peptide protein surface interactions; General Lead Discovery Library; Combinatorial Chemistry; Solid Phase Chemistry; Targeted Library; Thrombin inhibitor; Fluorescence; Surface Plasmon Resonance; Organic chemistry; Organisk kemi;

    Sammanfattning : This thesis describes different aspects of protein interactions. Initially the function of peptides and their conjugates with small molecule inhibitors on the surface of Human Carbonic Anhydrase isoenzyme II (HCAII) is evaluated. LÄS MER

  4. 3. Efficient Temporal Reasoning with Uncertainty

    Författare :Mikael Nilsson; Patrick Doherty; Jonas Kvarnström; Félix Ingrand; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Reasoning; Dynamic Controllability; Simple Temporal Network with Uncertainty; Incremental Algorithms; Temporal Networks;

    Sammanfattning : Automated Planning is an active area within Artificial Intelligence. With the help of computers we can quickly find good plans in complicated problem domains, such as planning for search and rescue after a natural disaster. When planning in realistic domains the exact duration of an action generally cannot be predicted in advance. LÄS MER

  5. 4. Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis

    Författare :Håkan Warnquist; Patrick Doherty; Jonas Kvarnström; Mattias Nyberg; Erik Frisk; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated planning; diagnosis; automotive industry; troubleshooting; Bayesian networks; Computer science; Datavetenskap;

    Sammanfattning : This licentiate thesis considers computer-assisted troubleshooting of complex products such as heavy trucks. The troubleshooting task is to find and repair all faulty components in a malfunctioning system. LÄS MER

  7. 5. Troubleshooting Trucks : Automated Planning and Diagnosis

    Författare :Håkan Warnquist; Patrick Doherty; Jonas Kvarnström; Louise Travé-Massuyès; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated planning; diagnosis; troubleshooting; automotive systems; Bayesian networks; Markov decision-processes;

    Sammanfattning : This thesis considers computer-assisted troubleshooting of heavy vehicles such as trucks and buses. In this setting, the person that is troubleshooting a vehicle problem is assisted by a computer that is capable of listing possible faults that can explain the problem and gives recommendations of which actions to take in order to solve the problem such that the expected cost of restoring the vehicle is low. LÄS MER