Sökning: "program refinement"

Visar resultat 21 - 25 av 29 avhandlingar innehållade orden program refinement.

  1. 21. On Solving String Constraints

    Författare :Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

    Sammanfattning : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. LÄS MER

  3. 22. Development of the mineralogical path for geometallurgical modeling of iron ores

    Författare :Mehdi Parian; Antti Remes; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mineralteknik; Mineral Processing;

    Sammanfattning : The demands for more effective utilization of ore bodies and proper risk management in the mining industry have resulted in a new cross discipline called geometallurgy. Geometallurgy connects geological, mineral processing and subsequent downstream processing information together to provide a comprehensive model to be used in production planning and management. LÄS MER

  4. 23. Resistivity investigation and monitoring for detection of internal erosion and anomalous seepage in embankment dams

    Författare :Pontus Sjödahl; Teknisk geologi; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Hydrogeologi; teknisk geologi; internal erosion; Hydrogeology; geographical and geological engineering; time-lapse inversion; inversion; monitoring; modelling; resistivity; detection; leakage; seepage; teknisk geografi; embankment dam;

    Sammanfattning : Methods for monitoring seepage and detecting internal erosion are essential for the safety evaluation of embankment dams. Internal erosion is one of the major reasons for embankment dam failures, and there are several tenths of thousands of large embankment dams in the world. LÄS MER

  5. 24. New aspects on retinoic acid induced HL-60 granulocytic differentiation

    Författare :Agnè Kulytè; Tor Olofsson; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : The underlying mechanisms of myeloid cell differentiation are still not entirely elucidated. It is therefore an urgent task to extent the basis for a comprehensive model of granulocytes differentiation. A primary goal for studies has been the identification of differentiation markers. LÄS MER

  7. 25. Acquired brain injury and evaluation of intensive training of attention in early neurorehabilitation : statistical evaluation and qualitative perspectives

    Författare :Gabriela Markovic; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : Attention dysfunction is a cardinal symptom after an acquired brain injury (ABI) sometimes leading to life-long consequences that affect learning skills, daily functioning and social and emotional life. Attention may be successfully improved by structured training within rehabilitation programs, with the Attention Process Training (APT) as practice standard in the chronic stage after ABI. LÄS MER