Sökning: "abstract inference"
Visar resultat 1 - 5 av 31 avhandlingar innehållade orden abstract inference.
1. Regular inference for reactive systems
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
2. Inverse problems in signal processing : Functional optimization, parameter estimation and machine learning
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
3. Inference and management of populations in variable environments
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
4. High-Level GPU Programming: Domain-Specific Optimization and Inference
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
5. Automated Deductive Verification of Safety-Critical Embedded Software
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