Sökning: "Models of arithmetic"

Visar resultat 16 - 20 av 26 avhandlingar innehållade orden Models of arithmetic.

1. 16. High-Level Synthesis for SiLago : Advances in Optimization of High-Level Synthesis Tool and Neural Network Algorithms

   Författare :Yu Yang; Ahmed Hemani; Zhonghai Lu; Madhura Purnaprajna; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronic Design Automation EDA ; Computer Aided Design CAD ; Algorithm-level Synthesis; SiLago; Optimization Techniques; Neural Network; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : Embedded hardware designs and their automation improve energy and engineering efficiency. However, these two goals are often contradictory. The attempts to improve energy efficiency often come at the cost of engineering efficiency and vice-versa. High-level synthesis (HLS) is a good example of this challenge. LÄS MER

3. 17. Numerical analysis for random processes and fields and related design problems

   Författare :Konrad Abramowicz; Oleg Seleznjev; Krzysztof Podgórski; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stochastic processes; random fields; approximation; numerical integration; Hermite splines; piecewise linear interpolator; local stationarity; point singularity; stratified Monte Carlo quadrature; Asian option; Monte Carlo pricing method; Lévy market models; Mathematical statistics; Matematisk statistik; Mathematical Statistics; matematisk statistik;

   Sammanfattning : In this thesis, we study numerical analysis for random processes and fields. We investigate the behavior of the approximation accuracy for specific linear methods based on a finite number of observations. Furthermore, we propose techniques for optimizing performance of the methods for particular classes of random functions. LÄS MER

4. 18. Deep learning based simulation for automotive software development

   Författare :Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; automotive software testing; latent space arithmetic; generative adversarial networks; explainable AI; sample selection bias;

   Sammanfattning : The automotive industry is in the midst of a new reality where software is increasingly becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are increasingly facing the need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. LÄS MER

5. 19. Effective SAT Solving

   Författare :Niklas Sörensson; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. LÄS MER

7. 20. Essays on Savings Behavior, Inflation Measurement, and Growth

   Författare :Markus Peters; Per Krusell; Roine Vestman; Tobias Laun; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Savings; pension reform; inattention; present bias; output growth; inflation; measurement; PPI micro data; input-output; networks; intermediate inputs; structural change; Economics; nationalekonomi;

   Sammanfattning : The Impact of Pension Reform on Household Income and Savings: A Quantitative Analysis of the Swedish CaseIncreases in life expectancy cause challenges for defined benefit pension systems. Sweden is one of few countries having undertaken a major reform aimed at creating a financially sustainable pension system. LÄS MER