Sökning: "språk modeller"

Visar resultat 16 - 20 av 29 avhandlingar innehållade orden språk modeller.

1. 16. Semantic Spaces of Clinical Text : Leveraging Distributional Semantics for Natural Language Processing of Electronic Health Records

   Författare :Aron Henriksson; Hercules Dalianis; Martin Duneld; Jussi Karlgren; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributional semantics; random indexing; semantic space; electronic health records; clinical text; synonyms; diagnosis codes; adverse drug reactions; Computer and Systems Sciences; data- och systemvetenskap; IT for health; IT för hälsa; datorlingvistik; Computational Linguistics; datalogi; Computer Science;

   Sammanfattning : The large amounts of clinical data generated by electronic health record systems are an underutilized resource, which, if tapped, has enormous potential to improve health care. Since the majority of this data is in the form of unstructured text, which is challenging to analyze computationally, there is a need for sophisticated clinical language processing methods. LÄS MER

3. 17. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

4. 18. Automatic Extraction of Program Models for Formal Software Verification

   Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER

5. 19. Architecture-Based Verification of Dependable Embedded Systems

   Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

   Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

7. 20. Gender and representation : investigations of bias in natural language processing

   Författare :Hannah Devinney; Henrik Björklund; Jenny Björklund; Christian Hardmeier; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NLP; natural language processing; gender bias; social impact of AI; gendered pronouns; neopronouns; gender studies; topic modeling; Computer Science; datalogi; computational linguistics; datorlingvistik; genusvetenskap; gender studies;

   Sammanfattning : Natural Language Processing (NLP) technologies are a part of our every day realities. They come in forms we can easily see as ‘language technologies’ (auto-correct, translation services, search results) as well as those that fly under our radar (social media algorithms, 'suggested reading' recommendations on news sites, spam filters). LÄS MER