Sökning: "logical frameworks"

Visar resultat 11 - 15 av 17 avhandlingar innehållade orden logical frameworks.

  1. 11. Modeling and Formal Analysis of e-Health Systems

    Författare :Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. LÄS MER

  3. 12. Decision support in dementia care : developing systems for interactive reasoning

    Författare :Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial intelligence; human-computer interaction; activity theory; argumentation; fuzzy logic; general logics; clinical decision support systems; cognitive disorder; dementia; differential diagnosis; clinical practice guideline; knowledge engineering; knowledge representation; cognitive ergonomics; interactive reasoning; Computer science; Datavetenskap; Computer Science; datalogi;

    Sammanfattning : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. LÄS MER

  4. 13. Resource allocation for Mobile Edge Clouds

    Författare :Amardeep Mehta; Erik Elmroth; Johan Tordsson; Valeria Cardellini; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mobile Edge Clouds; Edge Fog Computing; IoTs; Distributed Resource Allocation; datalogi; Computer Science; Computer Systems; datorteknik;

    Sammanfattning : Recent advances in Internet technologies have led to the proliferation of new distributed applications in the transportation, healthcare, mining, security, and entertainment sectors. The emerging applications have characteristics such as being bandwidth-hungry, latency-critical, and applications with a user population contained within a limited geographical area, and require high availability, low jitter, and security. LÄS MER

  5. 14. Production Strategy in Project Based Production within a House-Building Context

    Författare :Henric Jonsson; Martin Rudberg; Anna Fredriksson; Lars Stehn; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Production strategy; Industrialised House-Building; House-Building; Off-site production; Performance measurement; Information exchange; Production strategy process;

    Sammanfattning : A production strategy enables companies to effectively manage the different challenges that the production function face in a competitive environment. A production strategy helps a company to make operational and strategic decisions that follow a logical pattern and supports the corporate strategy and the competitive priorities of the company. LÄS MER

  7. 15. Neural circuitry mechanisms in decision-making

    Författare :Xinming Wang; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : The brain is the exclusive organ that makes decisions for humans and the society. In this thesis, I will discuss recent advances in the understanding of neuroscientific mechanisms in decision-making. Decision-making is not a new topic in the human history, but it has existed for thousands of years. LÄS MER