Sökning: "programming frameworks"

Visar resultat 11 - 15 av 43 avhandlingar innehållade orden programming frameworks.

  1. 11. Managing Urban Disaster Risk: Analysis and Adaptation Frameworks for Integrated Settlement Development Programming for the Urban Poor

    Författare :Christine Wamsler; Boende och bostadsutveckling; []
    Nyckelord :HUMANIORA; HUMANITIES; poverty reduction; urban planning; vulnerability; adaptation; settlement development planning; development assistance; disaster; social housing; disaster risk management; prevention; mainstreaming; El Salvador; mitigation; risk accumulation; risk reduction;

    Sammanfattning : The damage caused by the dramatic worldwide increase in ‘natural’ disasters is staggering, with the poor in developing countries being most at risk. Disasters make their already precarious living conditions worse, creating a vicious circle of poverty from which they find it hard to escape. LÄS MER

  3. 12. High-Performance I/O Programming Models for Exascale Computing

    Författare :Sergio Rivas-Gomez; Stefano Markidis; Erwin Laure; Martin Schulz; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The success of the exascale supercomputer is largely dependent on novel breakthroughs that overcome the increasing demands for high-performance I/O on HPC. Scientists are aggressively taking advantage of the available compute power of petascale supercomputers to run larger scale and higher-fidelity simulations. LÄS MER

  4. 13. Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

    Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; haskell; accuracy; parametricity; Program reasoning; Functional Programming; concentration bounds; differential privacy;

    Sammanfattning : This thesis focuses on the development of programming frameworks to enforce, by construction, desirable properties of software systems. Particularly, we are interested in enforcing differential privacy -- a mathematical notion of data privacy -- while statically reasoning about the accuracy of computations, along with deriving the sensitivity of arbitrary functions to further strengthen the expressiveness of these systems. LÄS MER

  5. 14. Approaches to accelerate methods for solving systems of equations arising in nonlinear optimization

    Författare :David Ek; Anders Forsgren; Jacek Gondzio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Nonlinear optimization; mathematical programming; interior-point methods; approximate solutions to systems of linear equations; method of conjugate gradients; quasi-Newton methods; modified Newton methods; Ickelinjär optimering; matematisk programmering; inre-punktsmetoder; approximativa lösningar till linjära ekvationssystem; konjugerade gradientmetoden; kvasi-Newtonmetoder; modifierade Newtonmetoder.; Optimization and Systems Theory; Optimeringslära och systemteori;

    Sammanfattning : Methods for solving nonlinear optimization problems typically involve solving systems of equations. This thesis concerns approaches for accelerating some of those methods. In our setting, accelerating involves finding a trade-off between the computational cost of an iteration and the quality of the computed search direction. LÄS MER

  7. 15. Cost optimization of maintenance scheduling for wind turbines with aging components

    Författare :Quanjiang Yu; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Integer linear optimization; Age-based preventive maintenance scheduling; Renewal-reward theorem; Weibull distribution; Combinatorial optimization; Wind turbine maintenance; Virtual replacement; Condition monitoring data; Cox proportional hazards method; Linear programming;

    Sammanfattning : A major part of the wind turbine operation cost is resulted from the maintenance of its components. This thesis deals with the theory, algorithms, and applications concerning minimization of the maintenance cost of wind power turbines, using mathematical modelling to find the optimal schedules of preventive maintenance activities for multi-component systems. LÄS MER