Search for dissertations about: "ahmed model"

Showing result 1 - 5 of 46 swedish dissertations containing the words ahmed model.

  1. 1. Rift Valley fever : challenges and new insights for prevention and control using the “One Health” approach

    Author : Osama Ahmed Hassan Ahmed; Magnus Evander; Clas Ahlm; Joacim Rocklöv; Maria Van Kerkhove; Umeå universitet; []
    Keywords : MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Rift Valley fever; Sociocultural practices; Community involvement; Ecological factors; Risk map; Early warning system; Surveillance system; International Health Regulations; and One Health approach.; Epidemiology; epidemiologi; folkhälsa; Public health;

    Abstract : Rift Valley fever (RVF) is an emerging viral zoonosis that causes frequent outbreaks in east Africa and on the Arabian Peninsula. The likelihood of RVF global expansion due to climate change and human anthropogenic factors is an important issue. READ MORE

  2. 2. Caches, Transactions and Memories : Models, Coherence and Consistency

    Author : Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Abstract : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. READ MORE

  3. 3. Verifying Absence of ∞ Loops in Parameterized Protocols

    Author : Mayank Saksena; Bengt Jonsson; Ahmed Bouajjani; Uppsala universitet; []
    Keywords : formal methods; verification; model checking; infinite-state systems; regular model checking; liveness; graph transformation;

    Abstract : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. READ MORE

  4. 4. System of Systems Interoperability Machine Learning Model

    Author : Jacob Nilsson; Fredrik Sandin; Sheraz Ahmed; Luleå tekniska universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; system of systems interoperability; machine learning; message translation; information interoperability; autoencoder; cyber-physical systems; Industrial Electronics; Industriell elektronik;

    Abstract : Increasingly flexible and efficient industrial processes and automation systems are developed by integrating computational systems and physical processes, thereby forming large heterogeneous systems of cyber-physical systems. Such systems depend on particular data models and payload formats for communication, and making different entities interoperable is a challenging problem that drives the engineering costs and time to deployment. READ MORE

  5. 5. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE