Sökning: "automatic analysis"
Visar resultat 1 - 5 av 469 avhandlingar innehållade orden automatic analysis.
1. Impact Analysis : Organisational Views and Support Techniques
Sammanfattning : Change is unavoidable in software development. During the entire lifecycle of a product, from concept to retirement, the environment changes; the needs of customers or the market change and grow, and with them the requirements on the system being developed. LÄS MER
2. Automatic Virus Identification using TEM : Image Segmentation and Texture Analysis
Sammanfattning : Viruses and their morphology have been detected and studied with electron microscopy (EM) since the end of the 1930s. The technique has been vital for the discovery of new viruses and in establishing the virus taxonomy. Today, electron microscopy is an important technique in clinical diagnostics. LÄS MER
3. Live Single Cell Imaging and Analysis Using Microfluidic Devices
Sammanfattning : Today many cell biological techniques study large cell populations where an average estimate of individual cells’ behavior is observed. On the other hand, single cell analysis is required for studying functional heterogeneities between cells within populations. LÄS MER
4. Bioelectronic Nanosensor Devices for Environmental and Biomedical Analysis
Sammanfattning : A new type of Bioelectronic Nanosensor Device with potential applications in medicine,biotechnology and environmental analysis was designed. The nanosensor is based on RISFET (Regional Ion Sensitive Field Effect Transistor) technology. LÄS MER
5. Automatic Verification of Petri Netsin a CLP framework
Sammanfattning : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. LÄS MER