Search for dissertations about: "automatic analysis"

Showing result 1 - 5 of 455 swedish dissertations containing the words automatic analysis.

2. 1. Impact Analysis : Organisational Views and Support Techniques

   Author : Per Jönsson; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; impact analysis; roles; organisational levels; requirements engineering; imputation;

   Abstract : 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. READ MORE

4. 2. Automatic Virus Identification using TEM : Image Segmentation and Texture Analysis

   Author : Gustaf Kylberg; Ida-Maria Sintorn; Gunilla Borgefors; Walter Kropatsch; Uppsala universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; image analysis; image processing; virus identification; transmission electron microscopy; texture analysis; texture descriptors; Computerized Image Processing; Datoriserad bildbehandling;

   Abstract : 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. READ MORE

5. 3. Live Single Cell Imaging and Analysis Using Microfluidic Devices

   Author : Mohammad Ali Khorshidi; Helene Andersson-Svahn; Håkan Jönsson; Carolina Wählby; Johan Elf; KTH; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Single cell analysis; time-lapse fluorescence imaging; automated image analysis; microwell; droplet microfluidics; NK cells; single cell tracking; migration behavior analysis; cell-cell interaction; optical microscopy; image analysis; image processing; microfluidics; immune cells; tracking; counting; morphology analysis;

   Abstract : 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. READ MORE

6. 4. Bioelectronic Nanosensor Devices for Environmental and Biomedical Analysis

   Author : Klas Risveden; Tillämpad biokemi; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Regional Ion Sensitive Field Effect Transistor; Region Ion Sensitive Field Effect Transistor; RISFET; Conducting channel; Bioelectronic Nanosensor; Bioelectronic; Biosensor; Nanosensor; Chemical Sensor; Sensor; Semiconductor sensor; Single molecule trapping; Scaling; Protein trapping; Nanoelectronics; Lab-on-a-chip; pico-ammeter; Nanobiosensor; Sample Applicator; Sequential Batch Analysis; Sequential Batch Analysis System; SBAS; Nanowire; Branched nanowire structure; Nanotree; Nanorod; Nano processing; Micro processing; Electron Beam Lithography; EBL; UV-lithography; Molecular Imprinting; DUV-lithography; Moleculary Imprinted Polymers; MIP; Biomimetics; QCM; Biomimetic sensor; Quartz Crystal Microbalance; QCM-D; Nanoparticles; Acetylcholine esterase; Glucose oxidase; Glucose; Gluconolactone; Propranolol; Gluconate; Carbofuran; Neurotoxic; Environmental analysis; Biomedical Analysis; Biotechnology; Medicine; Pesticide; Food Technology; Analyis; Flow Injection Analysis; FIA; Scanning Probe Microscopy; Scanning Kelvin Probe Microscopy; SPM; KPM; AFM; SKM; KPFM; SKPM; Nanostructures.; Atomic Force Microscopy; KFM;

   Abstract : 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. READ MORE

7. 5. Automatic Verification of Petri Netsin a CLP framework

   Author : Hans Olsén; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : 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. READ MORE