Sökning: "abstract inference"

Visar resultat 1 - 5 av 31 avhandlingar innehållade orden abstract inference.

1. 1. Regular inference for reactive systems

   Författare :Therese Berg; Bengt Jonsson; Joachim Parrow; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Models of reactive systems play a central role in many techniques for verification and analysis of reactive systems. Both a specification of the system and the abstract behavior of the system can be expressed in a formal model. Compliance with the functional parts in the specification can be controlled in different ways. 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. Inference and management of populations in variable environments

   Författare :Niclas Jonzén; Evolutionär ekologi; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; habitat selection; environmental variability; Population dynamics; harvesting; time series analysis; model selection; Ecology; Ekologi;

   Sammanfattning : Population dynamics in space and time are manifested as changes in the distribution and abundance of organisms. To couple such patterns to the underlying processes is a central question in ecology and also key to successful management. LÄS MER

5. 4. High-Level GPU Programming: Domain-Specific Optimization and Inference

   Författare :Calle Lejdfors; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : When writing computer software one is often forced to balance the need for high run-time performance with high programmer productivity. By using a high-level language it is often possible to cut development times, but this typically comes at the cost of reduced run-time performance. LÄS MER

7. 5. Automated Deductive Verification of Safety-Critical Embedded Software

   Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

   Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER