Sökning: "temporal properties"

Visar resultat 1 - 5 av 290 avhandlingar innehållade orden temporal properties.

  1. 1. Procedure-Modular Verification of Temporal Safety Properties

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Siavash Soleimanifard; KTH.; [2012]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

  2. 2. Temporal properties of spoken Swedish

    Detta är en avhandling från Stockholm : Institute of Linguistics, University of Stockholm

    Författare :Bertil Lyberg; Stockholms universitet.; [1981]
    Nyckelord :HUMANIORA; HUMANITIES; Svenska; Fonetik;

    Sammanfattning : .... LÄS MER

  3. 3. Peakflow response of stream networks implications of physical descriptions of streams and temporal change

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Anna Åkesson; KTH.; [2015]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Streamflow routing; peakflow predictions; parameterization; hydrological response; stage-dependency; flooded cross-sections; stream networks; backwater effects; temporal change; land use change; Byggvetenskap; Civil and Architectural Engineering;

    Sammanfattning : Through distributed stream network routing, it has quantitatively been shown that the relationship between flow travel time and discharge varies strongly nonlinearly with stream stage and with catchment-specific properties.Physically derived distributions of water travel times through a stream network were successfully used to parameterise the streamflow response function of a compartmental hydrological model. LÄS MER

  4. 4. Modelling calving and sliding of Svalbard outlet glaciers Spatio-temporal changes and interactions

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Dorothée Vallot; Uppsala universitet.; [2017]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cryospheric science; glacier modelling; time-lapse imagery; undercutting; sliding inversion; discrete particle model; calving model; subglacial hydrology; sliding law; automatic detection method; calving events size and frequency; ocean interaction; melt water runoff; ice dynamics; ice flow model; Earth Science with specialization in Physical Geography; Geovetenskap med inriktning mot naturgeografi;

    Sammanfattning : Future sea level rise associated to global warming is one of the greatest societal and environmental challenges of tomorrow. A large part of the contribution comes from glaciers and ice sheets discharging ice and meltwater into the ocean and the recent worldwide increase is worrying. LÄS MER

  5. 5. Nematic Liquid Crystal Spatial Light Modulators for Laser Beam Steering

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Emil Hällstig; Uppsala universitet.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Physics; spatial light modulator; liquid crystal; beam steering; tracking; phase modulation; fringing field; director distribution; finite-difference time-domain; polarization; temporal properties; Fysik; NATURAL SCIENCES Physics; NATURVETENSKAP Fysik;

    Sammanfattning : Laser beam control is important in many applications. Phase modulating spatial light modulators (SLMs) can be used to electronically alter the phase distribution of an optical wave-front and thus change the direction and shape of a laser beam. LÄS MER