Search for dissertations about: "Concurrent Data Structure"

Showing result 21 - 25 of 31 swedish dissertations containing the words Concurrent Data Structure.

  2. 21. Observational Uncertainties in Water-Resources Modelling in Central America : Methods for Uncertainty Estimation and Model Evaluation

    Author : Ida Westerberg; Sven Halldin; Jan Seibert; Lars-Christer Lundin; Chong-Yu Xu; Deliang Chen; Alberto Montanari; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Central America; Discharge; Flow-duration curve; Fuzzy regression; GLUE; Model evaluation; Non-stationarity; Observational uncertainty; Precipitation; Quality control; Rating curve; Regionalisation; Uncertainty estimation; Ungauged basins; Water resources; Avbördningskurva; Centralamerika; GLUE; icke-stationaritet; kvalitetskontroll; modellutvärdering; nederbörd; observationsosäkerheter; avrinningsområden utan vattenfö-ringsdata; oskarp regression; osäkerhetsuppskattning; regionalisering; varaktighetskurva; vattenföring; vattenresurser; Hydrology; Hydrologi; Hydrology; Hydrologi;

    Abstract : Knowledge about spatial and temporal variability of hydrological processes is central for sustainable water-resources management, and such knowledge is created from observational data. Hydrologic models are necessary for prediction for time periods and areas lacking data, but are affected by observational uncertainties. READ MORE

  4. 22. Infinite-state Stochastic and Parameterized Systems

    Author : Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Keywords : program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE

  5. 23. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  6. 24. Individual needs and psychosocial health among victims of intimate partner violence

    Author : Mariana Dufort; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    Abstract : Intimate partner violence (IPV) is a pervasive public health concern associated with a range of lifelong health consequences and social adversities. The overall aim of this thesis is to contribute to an improved understanding of how individual and contextual factors are related to social and psychological health among victims of intimate partner violence. READ MORE

  7. 25. Evaluating the process of change : Studies on patient journey, hearing disability acceptance and stages-of-change

    Author : Vinaya K. C. Manchaiah; Thomas Lunner; Gunnel Backenroth; Linköpings universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Patient journey; Stages of chage; acceptance; hearing disability; hearing loss; Patientprocess; Beteendeförändring; Acceptans; Hörselhandikapp; Hörselskada;

    Abstract : Person with hearing impairment (PHI) and their Communication partners (CPs) have a range of experiences and milestones before, during and after their audiological assessment and/or rehabilitation sessions. The term ‘patient journey’ refers to understanding the experiences and the processes the patient goes through during the course of the disease and the treatment regime. READ MORE