Sökning: "automated analysis"

Visar resultat 21 - 25 av 533 avhandlingar innehållade orden automated analysis.

1. 21. Extending the Automated Reasoning Toolbox

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

   Sammanfattning : 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. LÄS MER

3. 22. Extending the Automated Reasoning Toolbox

   Författare :Ann Lillieström; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; transitivity; integer linear programming; first-order logic; many-sorted logic; automated reasoning; morpheme segmentation;

   Sammanfattning : 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 introducing three new tools for analysing problems in first-order logic. Infinox aims to show finite unsatisfiability, i.e. LÄS MER

4. 23. Virtual reality exposure therapy for spider phobia

   Författare :Alexander Miloff; Per Carlbring; Lena (Lotta) Reuterskiöld; Nexhmedin Morina; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Specific phobia; spider phobia; spider; fear; anxiety; virtual reality; exposure therapy; automated; alliance; psychometric; factor analysis; virtual therapist; RCT; randomized; non-inferiority; clinical trial; dissemination; 12-month follow-up; Psychology; psykologi;

   Sammanfattning : Exposure therapy for specific phobia involving systematic and repeated presentation of an aversive stimuli or situation is a highly effective treatment for reducing fear and anxiety. Dissemination of this evidence-based treatment has proved challenging, however, and for over 20 years an alternative method of delivery using virtual reality technology has been explored with positive results. LÄS MER

5. 24. Tracking Information Flows in Interactive and Object-Oriented Programs

   Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

   Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER

7. 25. Objective Assessment of Loose Gravel Condition using Machine Learning with Audio-visual Observation

   Författare :Nausheen Saeed; Moudud Alam; Roger G. Nyberg; Niklas Lavesson; Högskolan Dalarna; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Gravel road condition assessment; Loose gravel; Sound analysis; Machine learning; Image analysis; Audio analysis; Image and audio data fusion;

   Sammanfattning : A well-maintained road network is essential for sustainable economic development, providing vital transportation routes for goods and services while connecting communities. Sweden's public road network includes a significant portion of gravel roads, particularly cost-effective for less populated areas with lower traffic volumes. LÄS MER