Sökning: "abstract machine"

Visar resultat 1 - 5 av 91 avhandlingar innehållade orden abstract machine.

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

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

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

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

    Författare :Pol del Aguila Pla; Joakim Jaldén; Yonina C. Eldar; KTH; []
    Nyckelord :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;

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

  4. 3. Human In Command Machine Learning

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

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

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

    Författare :Saleha Javed; Marcus Liwicki; Fredrik Sandin; Hamam Mokayed; Luleå tekniska universitet; []
    Nyckelord :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;

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

  7. 5. Automatic Collection Selection using Machine Learning

    Författare :Noric Couderc; Programvaruteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software engineering; Machine Learning; Collection efficiency; Java;

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