Sökning: "Coverage"

Visar resultat 1 - 5 av 916 avhandlingar innehållade ordet Coverage.

  1. 1. Confronting Value Strain : Press Coverage of Health Care Reform in Sweden and the United States

    Författare :Susan Holmberg; W. Lance Bennett; Peter May; Steven Hanson; Seattle University of Washington; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Health care reform; Sweden; United States; media coverage; press coverage; value strain; Media and communication studies; Medie- och kommunikationsvetenskap; Health and medical services in society; Hälso- och sjukvård i samhället; Political science; Statsvetenskap;

    Sammanfattning : This dissertation examines the journalistic discourse surrounding health care reform debates in Sweden and the US in the early 1990's. It found that in both countries, the challenging value (i.e. LÄS MER

  3. 2. Coverage problems for Strauss disc processes

    Författare :Jessica Fahlén; Sara de Luna; Lennart Bondesson; Sven-Erick Alm; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binomial point process; coverage process; disc process; hard-core distance; McMC; Poisson point process; spatial point process; Strauss process; vacancy; Statistics; Statistik; Mathematical Statistics; matematisk statistik;

    Sammanfattning : .... LÄS MER

  4. 3. Assessment and Comparison of Physical Fault Injection Techniques

    Författare :Peter Folkesson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; concurrent error detection; dependability; coverage; fault injection; experimental validation; boundary scan;

    Sammanfattning : This thesis deals with the problem of validating and estimating the effectiveness of error handling mechanisms in computer systems. The main contribution is an assessment of the effectiveness and usefulness of several physical fault injection techniques. LÄS MER

  5. 4. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER

  7. 5. Multi-Agent Mission Planning and Execution for Small Autonomous Underwater Vehicles

    Författare :Özer Özkahraman; Petter Ögren; João Tasso de Figueiredo Borges de Sousa; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Underwater vehicles; collaborative; robotics; auv; navigation; coverage; search; slam; graph-slam; communication; control barrier functions; control; swarms; caging; capture; Datalogi; Computer Science;

    Sammanfattning : Our planet is mostly covered in water, most of it still unexplored.In order to understand our environment better, oceanographers have been mapping and monitoring these waters using ship-mounted sensors and wired vehicles with limited range compared to the vastness of the oceans. LÄS MER