Sökning: "interval analysis"

Visar resultat 16 - 20 av 406 avhandlingar innehållade orden interval analysis.

  1. 16. Topics in Content Based Image Retrieval : Fonts and Color Emotions

    Författare :Martin Solli; Reiner Lenz; Jan Erik Solem; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; image analysis; content based image retrieval; font recognition; color emotions; Image analysis; Bildanalys;

    Sammanfattning : Two novel contributions to Content Based Image Retrieval are presented and discussed. The first is a search engine for font recognition. The intended usage is the search in very large font databases. The input to the search engine is an image of a text line, and the output is the name of the font used when printing the text. LÄS MER

  3. 17. Analysis of carbon black oxidation

    Författare :Soheil Soltani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; diesel particulate filter DPF ; deconvolution; inverse problems; residence time distribution; computational fluid dynamics CFD ; kinetic modeling; transient kinetics;

    Sammanfattning : Diesel engines are known to be a major source of a highly pollutant material known as particulate matter, PM, which is a strongly threatening agent to human health. Therefore, diesel particulate filters are used to reduce PM emissions by trapping soot. LÄS MER

  4. 18. Rigorous Simulation : Its Theory and Applications

    Författare :Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER

  5. 19. Computer-Assisted Proofs and Other Methods for Problems Regarding Nonlinear Differential Equations

    Författare :Oswald Fogelklou; Warwick Tucker; Gunilla Kreiss; Piotr Zgliczynski; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer-assisted proof; numerical verification; viscous Burgers’ equation; enclosure; existence; nonlinear boundary value problems; Euler equations; inverse problem; bicubic spline; interval analysis; heat equation; fluid limit; peer-to-peer networks; fixed points; stability; global stability; Mathematics; Matematik;

    Sammanfattning : This PhD thesis treats some problems concerning nonlinear differential equations. In the first two papers computer-assisted proofs are used. The differential equations there are rewritten as fixed point problems, and the existence of solutions are proved. LÄS MER

  7. 20. Contributions to Pointfree Topology and Apartness Spaces

    Författare :Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

    Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER