Sökning: "automatic analysis"

Visar resultat 16 - 20 av 469 avhandlingar innehållade orden automatic analysis.

  1. 16. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  3. 17. Algorithms for analysis of NMR projections: Design, implementation and applications

    Författare :Jonas Fredriksson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NMR; projection experiments; decomposition; algorithm; automatic;

    Sammanfattning : With an increasing rate of protein expressions the need for fast protein characterization has become more important. Protein NMR has long been an important contributor for protein characterization; being one of a few techniques that can study proteins at atomic resolution in their native state. LÄS MER

  4. 18. Caspase-3 in lens epithelium

    Författare :Nooshin Talebizadeh; Per Söderberg; Finn Hallböök; Konstantin Galichanin; Michael Wormstone; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; ultraviolet radiation; caspase-3; lens; cataract; apoptosis; Immunohistochemistry; spatial distribution; time evolution; modelling; automatic analysis; cell counting; image analysis.; Ophtalmology; Oftalmiatrik;

    Sammanfattning : Purpose: To model the time evolution of active caspase-3 protein expression in a healthy lens, and in a lens exposed to UVR-300 nm (UVR-B). To develop an automated method to classify the fluorescent signal of biomarkers in the lens epithelial cells.Methods: Six-week old Sprague-Dawley rats were used. LÄS MER

  5. 19. Interaction Analysis in Multivariable Control Systems : Applications to Bioreactors for Nitrogen Removal

    Författare :Björn Halvarsson; Bengt Carlsson; Elling Jacobsen; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; activated sludge process; biological nitrogen removal; bioreactor models; control structure design; cost-efficient operation; decentralized control; interaction measures; minimum variance control; multivariable control; wastewater treatment; Automatic control; Reglerteknik; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

    Sammanfattning : Many control systems of practical importance are multivariable. In such systems, each manipulated variable (input signal) may affect several controlled variables (output signals) causing interaction between the input/output loops. LÄS MER

  7. 20. Towards Automatic Quantification of Immunohistochemistry Using Colour Image Analysis

    Författare :Petter Ranefall; Ewert Bengtsson; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computerized Image Analysis; Datoriserad bildanalys;

    Sammanfattning : Quantification of the proportions of specifically stained regions in images is of significant interest in a growing number of biomedical applications. These applications includes histology and cytology where quantification of various stainings performed on histological tissue sections, smears, imprints etc. is of utmost importance. LÄS MER