Search for dissertations about: "Automated"

Showing result 1 - 5 of 1141 swedish dissertations containing the word Automated.

2. 1. Automated Computational Modeling

   Author : Johan Jansson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; multi-adaptivity; Galerkin; ODE; PDE; plasticity; elasticity; FEM; automated;

   Abstract : This thesis is part of the FEniCS project of Automation of Computational Mathematical Modeling (ACMM) as the modern manifestation of the basic principle of science:formulating mathematical equations (modeling) and solving equations (computation). The vision of FEniCS is to set a new standard towards the goals of generality, efficiency, and simplicity, concerning mathematical methodology, implementation, and application. READ MORE

4. 2. Automated question answering : template-based approach

   Author : Eriks Sneiders; KTH; []
   Keywords : automated question answering; FAQ answering; question-answering system; template-based question answering; question template; natural language based interface;

   Abstract : The rapid growth in the development of Internet-basedinformation systems increases the demand for natural langu-ageinterfaces that are easy to set up and maintain. Unfortunately,the problem of understanding natural language queries is farfrom being solved. READ MORE

5. 3. Troubleshooting Trucks : Automated Planning and Diagnosis

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

   Abstract : 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. READ MORE

6. 4. Towards Automated Software Testing : Techniques, Classifications and Frameworks

   Author : Richard Torkar; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

   Abstract : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. READ MORE

7. 5. Extending the Automated Reasoning Toolbox

   Author : Ann Lillieström; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; First-Order Logic; Sorted Logic; Automated Reasoning;

   Abstract : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by intro- ducing two new tools for analysing problems in first-order logic. Infinox is aimed at showing finite unsatisfiability, i.e. READ MORE