Sökning: "testing methods"

Visar resultat 1 - 5 av 1272 avhandlingar innehållade orden testing methods.

1. 1. Testing for ASP—ASP for Testing

   Författare :Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

   Sammanfattning : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. LÄS MER

3. 2. Thermal store testing : evaluation of test methods

   Författare :Chris Bales; Högskolan Dalarna; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

4. 3. Towards feminist health empowerment for self-testing apps : testing for dementia

   Författare :Alexandra Kapeller; Jelmer Brüggemann; Lisa Guntram; Kristin Zeiler; Federica Lucivero; Linköpings universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Self-testing apps; MHealth; Empowerment; Phenomenology; Dementia; Självtest-appar; Mobilhälsa; Empowerment; Fenomenologi; Demens;

   Sammanfattning : Health empowerment, the idea to enable people to assume more control over their health decisions, has been a buzzword in health care organisation and has recently received even more attention through the popularisation of mobile health (mHealth) apps. One form of mHealth are self-testing apps, which offer users to test themselves for medical conditions as severe as dementia and Parkinson’s disease. LÄS MER

5. 4. Investigation of Suffusion in Glacial Till Dam Cores : Testing methods and critical hydraulic gradients

   Författare :Ingrid Silva; Jan Laue; Peter Viklander; Thomas Pabst; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; internal erosion; suffusion; glacial till; dam cores; dams; experimental investigation; hydraulic gradient; testing methods; cohesionless soils; granular soils; Geoteknik; Soil Mechanics;

   Sammanfattning : Suffusion is an internal erosion mechanism that occurs in embankment dams when fine grained particles in the dam core are washed out by seepage. Initiation of internal erosion depends mainly on three major factors: grain size distribution of the soil, stress conditions and hydraulic gradient; whilst its continuation depends on the properties of the filter. LÄS MER

7. 5. Well Testing, Methods and Applicability

   Författare :Jan-Erik Rosberg; Teknisk geologi; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; slug tests; well completion; re-injection; Well testing; pumping tests; injection tests; well development; pneumatic initiation; hydro-jetting; coiled tubing; tunnel lining; deep wells;

   Sammanfattning : Well testing is widely used today in water wells, oil and gas wells, for geothermal applications, within civil engineering projects, thermal storage and CO2 storage. The overall testing goal is to verify the productivity from a well and/or for characterization of hydraulic and thermal properties, as well as the spatial limitations of an aquifer. LÄS MER