Sökning: "Computer and systems science"

Visar resultat 11 - 15 av 1714 avhandlingar innehållade orden Computer and systems science.

  1. 11. Parameterized Systems : Generalizing and Simplifying Automatic Verification

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

    Sammanfattning : 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. LÄS MER

  3. 12. Scalability and Semantic Sustainability in Electronic Health Record Systems

    Författare :Erik Sundvall; Håkan Örman; Magnus Borga; Hans Åhlfeldt; Dipak Kalra; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This work is a small contribution to the greater goal of making software systems used in healthcare more useful and sustainable. To come closer to that goal, health record data will need to be more computable and easier to exchange between systems. LÄS MER

  4. 13. Distributed and federated learning of support vector machines and applications

    Författare :Shirin Tavara; Alexander Schliep; Alexander Karlsson; Lili Jiang; Högskolan i Skövde; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Skövde Artificial Intelligence Lab SAIL ; Skövde Artificial Intelligence Lab SAIL ;

    Sammanfattning : Machine Learning (ML) has achieved remarkable success in solving classification, regression, and related problems over the past decade. In particular the exponential growth of digital data, makes using ML inevitable and necessary to exploit the wealth of information hidden inside the data. LÄS MER

  5. 14. Mobile systems for monitoring Parkinson's disease

    Författare :Mevludin Memedi; Mark Dougherty; Silvia Coradeschi; Peter Funk; Jerker Westin; Martin Gellerstedt; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic assessments; data visualization; data-driven modelling; home assessments; information technology; mobile computing; objective measures; Parkinson’s disease; quantitative assessments; remote monitoring; spirography; symptom severity; tapping tests; telemedicine; telemetry; time series analysis; web technology; Information technology; Informationsteknologi; Datavetenskap; Computer Science; PAULINA - Uppföljning av Parkinsonsymptom från hemmet;

    Sammanfattning : A challenge for the clinical management of Parkinson's disease (PD) is the large within- and between-patient variability in symptom profiles as well as the emergence of motor complications which represent a significant source of disability in patients. This thesis deals with the development and evaluation of methods and systems for supporting the management of PD by using repeated measures, consisting of subjective assessments of symptoms and objective assessments of motor function through fine motor tests (spirography and tapping), collected by means of a telemetry touch screen device. LÄS MER

  7. 15. Co-Creators of Scope of Action : An exploration of the dynamic relationship between people, IT, and work in a nursing context

    Författare :Veronica Köhler; Högskolan Väst; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Industrial engineering and economy; Industriell teknik och ekonomi; Computer science; Datavetenskap; Economics; Nationalekonomi; Datateknik; Computer engineering; Computer and Systems Science;

    Sammanfattning : Information Technology (IT) is today widespread in our work places, in our spare time and in our society overall. Implementations of IT in organizations come with high expectations on effectiveness, revenue, smoother work processes and so on. LÄS MER