Sökning: "Plug-in"

Visar resultat 26 - 30 av 57 avhandlingar innehållade ordet Plug-in.

  1. 26. Practical verification of real-time systems

    Författare :Alexandre David; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. LÄS MER

  3. 27. Assessment of PHEV potential to reduce fuel use in Sweden using GPS data for car movements

    Författare :Lars Henrik Björnsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PHEV potential; battery size; GPS-logging; PHEV viability; PHEV; Sweden; electrification; Individual movement pattern;

    Sammanfattning : Roughly 30% of Sweden’s total greenhouse gas emissions originate from transport. These emissions need to be reduced to be able to reach the by The Swedish parliament adopted goal of a carbon neutral society in 2050. LÄS MER

  4. 28. On Battery Electric Vehicles: Driving Patterns, Multi-Car Households and Infrastructure

    Författare :Niklas Jakobsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; BEV; battery size; individual movement pattern.; Electro-mobility; GPS-logging;

    Sammanfattning : The transportation sector is responsible for a quarter of all greenhouse gas emissions in Europe. Though the transport system may be difficult to change into a less polluting system, electric vehicles may be a possible approach. LÄS MER

  5. 29. Modeling cost-effective climate change mitigation strategies

    Författare :Fredrik Hedenus; Chalmers tekniska högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : The challenge of reducing anthropogenic emissions of greenhouse gases calls for a wide variety of analyses to make the mitigation effort efficient and achievable. This thesis explores five different issues related to carbon abatement. LÄS MER

  7. 30. Model-based outlier adjustments for samples from skewed populations

    Författare :Olivia Ståhl; Dan Hedlin; Daniel Thorburn; Carl-Erik Särndal; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Survey sampling; outliers; value modification; winsorization; statistik; Statistics;

    Sammanfattning : Many populations encountered in practice are skewed to the right and contain a couple of values which are much larger than the bulk of the data. Using standard estimators to estimate for example the mean value of such a population is likely to result in a large variance. LÄS MER