Browsing Electrical & Computer Engineering by Title
Now showing items 123-142 of 153
-
Rare Molecule Biomarker Detection Using Dielectrophoresis Spectroscopy
(North Dakota State University, 2021)According to the American cancer society, 1.9 million new cancer cases and 608,570 cancer deaths are projected to occur in the United States. There is a fundamental technology gap that prevents the availability of tools ... -
Refinementbased Verification of Elastic Pipelined System with Early Evaluation
(North Dakota State University, 2010)This thesis presents a formal verification procedure to check correctness of the synchronous elastic pipelined system that incorporates early evaluation against its synchronous parent system. Note that the goal of the ... -
Resilient Monitoring and Robust Control towards Blackout Prevention in Modern Power Grids
(North Dakota State University, 2020)This dissertation embodies a comprehensive approach towards resilient monitoring of frid events using Structure Preserving Energy Functions (SPEFs) and introduces a novel control architecture in Multi Terminal Direct Current ... -
Secure Data Sharing in Cloud
(North Dakota State University, 2014)Cloud storage is widely used for sharing data due to low cost maintenance. But, it is also necessary to secure data on cloud. Secure Data Sharing in Cloud focuses mainly on: a) privacy and confidentiality, b) key management ... -
Semantic Security for the Fast Fading Wiretap Channel.
(North Dakota State University, 2018)We provide a set of semantically secure achievable rates for the fast fading wiretap channel. In particular, we do so for the cases where there is channel state information at the transmitter (CSIT) for both the main and ... -
A Sensor System Designed for Electrochemical Impedance Spectroscope-based Coating Performance Evaluation
(North Dakota State University, 2010)One of the traditional methods for coating performance evaluation is using Electrochemical Impedance Spectroscopy (EIS). The theory of using EIS to evaluate coating performance is to measure the coating impedance in a ... -
Solution Processing Electronics Using Si6 H12 Inks: Poly-Si TFTs and Co-Si MOS Capacitors
(North Dakota State University, 2011)The development of new materials and processes for electronic devices has been driven by the integrated circuit (IC) industry since the dawn of the computer era. After several decades of '"Moore's Law"-type innovation, ... -
State-Space Randles Cell Model for Instrument Calibration
(North Dakota State University, 2020)It is desirable to calibrate electrochemical impedance spectroscopy (EIS) instrumentation using a Randles circuit. This presents a challenge as realistic loads, simulated by this circuit, contain theoretical components ... -
A Study of Conformal Metasurfaces on Passive Beam Steering for Arrays
(North Dakota State University, 2022)Beam-steering has drawn significant interest due to the expansion of network capacity. However, a traditional beam steering system involves active phase shifters and controlling networks which can be complex. This work ... -
A Study of Inverter-Based Resources on Power Grid Operation Under Uncertain Operating Conditions
(North Dakota State University, 2022)The electric power grid is undergoing a rapid change predominantly driven by high penetration levels of renewable energy resources (RERs) such as wind and solar. These resources are interfaced with the power grid through ... -
Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification
(North Dakota State University, 2020)Formal verification methods have been shown to be very effective in finding corner-case bugs and ensuring the safety of embedded software systems. The use of formal verification requires a specification, which is typically ... -
Thermo-Mechanical Selective Laser Assisted Die Transfer
(North Dakota State University, 2011)Laser Induced Forward Transfer (LIFT) techniques show promise as a disruptive technology which will enable the placement of components smaller than what conventional pick-and-place techniques are capable of today. Limitations ... -
Thrombolysis of Blood Clots using Wirelessly Powered Inferior Vena Cava Filters
(North Dakota State University, 2018)Venous thromboembolisms (VTE) are estimated to affect up to 900,000 individuals in the U.S. each year. Traditionally, VTE is treated prophylactically with anticoagulants or directly with thrombolytic therapies. Both ... -
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ... -
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)Real-time systems such as medical devices, surgical robots, and microprocessors are safety-critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may ... -
Towards Secure Cloud Storage Services
(North Dakota State University, 2015)Cloud computing is anticipated to revolutionize the Information and Communication Technology sector and has been a mainstream of research over the last decade. The cloud computing, upsurges the capabilities of the hardware ... -
Transformation Electromagnetics/Optics for Designing and Scanning Antenna Arrays
(North Dakota State University, 2021)Recent developments in engineered electromagnetic materials, also known as metamaterials paved the way for new design approaches of unique and incomprehensible electromagnetic devices and structures using electromagnetic ... -
Turning Visual Noise Into Hardware Efficiency: Systems of Viewer and Content Aware Power-Quality Scalable Embedded Memories With ECC-Adaptation for Big Videos and Deep Learning
(North Dakota State University, 2021)Mobile devices, such as smart phones, are being increasingly utilized for watching videos. Video processing requires frequent memory access that consume a significant amount of power due to large data size and intensive ... -
Using Classification and Clustering to Predict and Understand Student Behavior in an Innovation-Based Learning Course
(North Dakota State University, 2020)One of the Grand Challenges for Engineering is advancing personalized learning, but challenges remain to identify and understand potential student pathways. This is especially difficult in complex, open-ended learning ... -
Using Formal Methods to Validate the Usage, Protocols, and Feasibility in Large Scale Computing Systems
(North Dakota State University, 2014)A paradigm shift has occurred in the Information and Communication Technology sector. The main obstacle to relegate complex and sensitive tasks is not the inadequate speed and unsatisfactory computing power of the existing ...