Sökning: "Parametric Programming"

Visar resultat 11 - 15 av 19 avhandlingar innehållade orden Parametric Programming.

1. 11. Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing

   Författare :Vadim Engelson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Mathematical models used in scientific computing are becoming large and complex. In order to handle the size and complexity, the models should be better structured (using objectorientation) and visualized (using advanced user interfaces). Visualization is a difficult task, requiring a great deal of effort from scientific computing specialists. LÄS MER

3. 12. On Solving String Constraints

   Författare :Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

   Sammanfattning : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. LÄS MER

4. 13. Risk-Neutral and Physical Estimation of Equity Market Volatility

   Författare :Mathias Barkhagen; Jörgen Blomvall; Ou Tang; Magnus Wiktorsson; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The overall purpose of the PhD project is to develop a framework for making optimal decisions on the equity derivatives markets. Making optimal decisions refers e.g. to how to optimally hedge an options portfolio or how to make optimal investments on the equity derivatives markets. LÄS MER

5. 14. Integrated Computational and Experimental Approaches for Accelerated Drug Combination Discovery and Development : Applications in Cancer Pharmacology

   Författare :Muhammad Kashif; Mats Gustafsson; Rolf Larsson; Claes Andersson; Eric Tang; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Today the norm in modern cancer treatment is to use different forms of drug combinations. Recently anti-cancer treatment using drug combinations has gained increased attention due to the outstanding pharmacotherapeutic opportunities provided by combination therapies. LÄS MER

7. 15. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER