Computer Engineering Commons^™

Cyclist Detection, Tracking, And Trajectory Analysis In Urban Traffic Video Data, Farideh Foroozandeh Shahraki

UNLV Theses, Dissertations, Professional Papers, and Capstones

The major objective of this thesis work is examining computer vision and machine learning detection methods, tracking algorithms and trajectory analysis for cyclists in traffic video data and developing an efficient system for cyclist counting. Due to the growing number of cyclist accidents on urban roads, methods for collecting information on cyclists are of significant importance to the Department of Transportation. The collected information provides insights into solving critical problems related to transportation planning, implementing safety countermeasures, and managing traffic flow efficiently. Intelligent Transportation System (ITS) employs automated tools to collect traffic information from traffic video data. In comparison to …

Automated Quantification Of White Blood Cells In Light Microscopic Images Of Injured Skeletal Muscle, Yang Jiao

UNLV Theses, Dissertations, Professional Papers, and Capstones

Muscle regeneration process tracking and analysis aim to monitor the injured muscle tissue section over time and analyze the muscle healing procedure. In this procedure, as one of the most diverse cell types observed, white blood cells (WBCs) exhibit dynamic cellular response and undergo multiple protein expression changes. The characteristics, amount, location, and distribution compose the action of cells which may change over time. Their actions and relationships over the whole healing procedure can be analyzed by processing the microscopic images taken at different time points after injury. The previous studies of muscle regeneration usually employ manual approach or basic …

Analog And Mixed Signal Verification Using Satisfiability Solver On Discretized Models, Nikita Ramesh Wanjale

UNLV Theses, Dissertations, Professional Papers, and Capstones

With increasing demand of performance constraints and the ever reducing size of the IC chips, analog and mixed-signal designs have become indispensable and increasingly complex in modern CMOS technologies. This has resulted in the rise of stochastic behavior in circuits, making it important to detect all the corner cases and verify the correct functionality of the design under all circumstances during the earlier stages of the design process. It can be achieved by functional or formal verification methods, which are still widely unexplored for Analog and Mixed-Signal (AMS) designs.

Design Verification is a process to validate the performance of the …