Search for dissertations about: "Abstract machine"

Showing result 1 - 5 of 84 swedish dissertations containing the words Abstract machine.

  2. 1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Author : Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. READ MORE

  4. 2. Inverse problems in signal processing : Functional optimization, parameter estimation and machine learning

    Author : Pol del Aguila Pla; Joakim Jaldén; Yonina C. Eldar; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; inverse problems; signal processing; machine learning; biomedical imaging; optimization; proximal optimization; regularization; mathematical modeling; identifiability; likelihood; logconcavity; immunoassays; convolutional coding; functional analysis; abstract inference; learned iterations; unrolled algorithms; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Inverse problems arise in any scientific endeavor. Indeed, it is seldom the case that our senses or basic instruments, i.e., the data, provide the answer we seek. READ MORE

  5. 3. Human In Command Machine Learning

    Author : Lars Holmberg; Paul Davidsson; Per Linde; Malmö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Human-centered AI ML; Explainable AI; Machine Learning; Human In the Loop ML; Interaktionsdesign; Interaktionsdesign;

    Abstract : Machine Learning (ML) and Artificial Intelligence (AI) impact many aspects of human life, from recommending a significant other to assist the search for extraterrestrial life. The area develops rapidly and exiting unexplored design spaces are constantly laid bare. READ MORE

  6. 4. Towards Digitization and Machine learning Automation for Cyber-Physical System of Systems

    Author : Saleha Javed; Marcus Liwicki; Fredrik Sandin; Hamam Mokayed; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Digitization; Automation; Industry 4.0; Machine-to-Machine Translation; Ontology Alignment Eclipse Arrowhead Framework; Machine Learning; Unsupervised Learning; Condition Monitoring; Ontology Alignment; Cyber-Physical Systems; Cyberfysiska system;

    Abstract : Cyber-physical systems (CPS) connect the physical and digital domains and are often realized as spatially distributed. CPS is built on the Internet of Things (IoT) and Internet of Services, which use cloud architecture to link a swarm of devices over a decentralized network. Modern CPSs are undergoing a foundational shift as Industry 4. READ MORE

  7. 5. Automatic Collection Selection using Machine Learning

    Author : Noric Couderc; Programvaruteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software engineering; Machine Learning; Collection efficiency; Java;

    Abstract : Most recent programming languages include a collection framework as part of their standard library (or runtime). Examples are Java, C#, Python and Ruby. The Java Collection Framework provides a number of collection classes, some of which implement the same abstract data type, which makes them interchangeable. READ MORE