Search for dissertations about: "vector programs"

Showing result 1 - 5 of 18 swedish dissertations containing the words vector programs.

  2. 1. Journeys in vector space: Using deep neural network representations to aid automotive software engineering

    Author : Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automotive software design and testing; generative adversarial networks; latent space arithmetic; generative AI; explainable AI; large language models;

    Abstract : Context - The automotive industry is in the midst of a transformation where software is becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are facing an urgent need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. READ MORE

  4. 2. Protein Model Quality Assessment : A Machine Learning Approach

    Author : Karolis Uziela; Arne Elofsson; Liam McGuffin; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Protein Model Quality Assessment; structural bioinformatics; machine learning; deep learning; support vector machine; proq; Artificial Neural Network; protein structure prediction; Biochemistry towards Bioinformatics; biokemi med inriktning mot bioinformatik;

    Abstract : Many protein structure prediction programs exist and they can efficiently generate a number of protein models of a varying quality. One of the problems is that it is difficult to know which model is the best one for a given target sequence. Selecting the best model is one of the major tasks of Model Quality Assessment Programs (MQAPs). READ MORE

  5. 3. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  6. 4. Development of Adenoviral Vectors for Studying Hematopoietic Stem Cell Function

    Author : Marcus Järås; Institutionen för laboratoriemedicin; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Hematologi; extracellulära vätskor; extracellular fluids; hTERT; adenovirus; hematopoietic stem cells; Haematology;

    Abstract : Hematopoietic stem cells (HSCs) are defined by their capacity to self-renew and differentiate into all hematopoietic cell lineages. Postnatally, HSCs reside predominantly in the bone marrow and are relatively rare, but important cells because of their therapeutic potential in bone marrow transplantation protocols and in their involvement in the origin of certain leukemias. READ MORE

  7. 5. A Functional Approach to Hardware Software Co-Design

    Author : Markus Aronsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; domain specific languages; functional programming; signal processing; code generation;

    Abstract : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. READ MORE