Division of Electrical, Electronics, and Computer Science (EECS): Recent submissions
Now showing items 121-140 of 1278
-
On Plug-and-Play Regularization using Linear Denoisers
The problem of inverting a given measurement model comes up in several computational imaging applications. For example, in CT and MRI, we are required to reconstruct a high-resolution image from incomplete noisy measurements, ... -
Learning Invariants for Verification of Programs and Control Systems
Deductive verification techniques in the style of Floyd and Hoare have the potential to give us concise, compositional, and scalable proofs of the correctness of various kinds of software systems like programs and control ... -
HYDRA: A Dynamic Approach to Database Regeneration
Database software vendors often need to generate synthetic databases for a variety of applications, including (a) Testing database engines and applications, (b) Data masking, (c) Benchmarking, (d) Creating what-if scenarios, ... -
Exploring the Fundamental Limits of Information-Theoretically Secure Key Generation and DNA-Based Data Storage
In this dissertation, we carry out an exploration of the fundamental limits of information-theoretic security in two different settings: multiterminal key agreement and DNA-based data storage. Most of the dissertation ... -
Empirical Studies of Load Generation for Data Center Networks
Data center networks form the backbone for modern Internet giants like Google, Facebook, Microsoft, and Amazon. Such networks consist of a layer of a large number of storage and compute servers connected through two or ... -
Codes With Combined Locality and Regeneration Having Optimal Minimum Distance and Linear Field Size
This thesis presents error correcting codes in the setting of distributed storage. The codes presented in this thesis are optimal with respect to the minimum distance bound and have a finite field size which grows ... -
Characterization and Modelling of Switching Dynamics of SiC MOSFETs
Silicon Carbide MOSFETs (SiC MOSFETs) fall into the class of wide band gap (WBG) power devices. These devices are commercially available in the voltage range of 600-3300V and superior over the state of the art Si insulated ... -
Underwater Acoustic Communications: Algorithms for Delay-Scale Spread Wideband Channels
In wideband wireless communication systems, the relative motion of the transmitter, receiver, or scatterers in the medium causes the Doppler effect, which stretches or compresses the transmitted waveforms, resulting in ... -
Comparative Analysis of Topological Structures
Measuring scientific processes result in a set of scalar functions (scalar fields) which may be related temporally, be part of an ensemble, or unrelated. Overall understanding and visualization of scientific processes ... -
Multi-connectivity for Urllc and Coexistence with Embb in Time-varying and Fading Channels
Ultra-reliable and low latency communications (URLLC) is a novel use case of 5G. It has challenging requirements like such as low block error rates (BLERs) and stringent latency targets. Multi-connectivity, in which multiple ... -
Boolean Functional Synthesis using Gated Continuous Logic Networks
Boolean Functional Synthesis (BFS) is a well-known challenging problem in the domain of automated program synthesis from logical specifications. This problem aims to synthesize a Boolean function that is correct-by-construction ... -
Efficient and Convergent Algorithms for High-Fidelity Hyperspectral Image Fusion
Hyperspectral (HS) imaging refers to acquiring images with hundreds of bands corresponding to different wavelengths of light. HS imaging has a wide range of applications such as remote sensing, industrial inspection, ... -
Non-contact Breathing and Heartbeat signals monitoring using FMCW radar
Non-contact breathing and heartbeat signals monitoring are the tasks of extracting them without contact sensors. It became even more critical in COVID 19, and hence it is crucial to estimate them correctly. FMCW (Frequency ... -
Improved Understanding of Standing Waves in Single Layer Coils and Elegant Methods to Estimate Transformer Winding Parameters
Analyzing the effect of impulse voltages (like lightning, switching) on transformer winding has occupied centerstage in core electrical engineering research for over a century. These investigations gather great significance ... -
Low delay file transmissions over power constrained quasi-static fading channels
The ubiquitous deployment of battery-operated wireless devices has resulted in the need for efficient low latency power allocation schemes. A common phenomenon in wireless transmission systems is congestion, where the ... -
Investigations on Capacitor Size Reduction and PWM Strategy for Multilevel Polygonal Space Vector Structure for Induction Motor Drives
Multilevel voltage source inverter transformed conversion of DC to AC for medium to high power application. With increasing electric power demand, the multilevel converter allows high power density converters for medium ... -
Provably Convergent Algorithms for Denoiser-Driven Image Regularization
Some fundamental reconstruction tasks in image processing can be posed as an inverse problem where we are required to invert a given forward model. For example, in deblurring and superresolution, the ground-truth image ... -
Algorithms and Testbed for Synchronous Generator Parameter Estimation
The development of dynamic power system component models became increasingly important in the modern grids dominated by high penetration of renewables because of the increased dependency of planning and operational decisions ... -
Fast Algorithms for Max Cut on Geometric Intersection Graphs
In this work, we design fast algorithms for max cut on geometric intersection graphs. In the maximum cut (a.k.a., max cut) problem, the input is an undirected graph, and the goal is to partition the vertex set into two ... -
Improved air-tissue boundary segmentation in real-time magnetic resonance imaging videos using speech articulator specific error criterion
Real-time Magnetic Resonance Imaging (rtMRI) is a tool used exhaustively in speech science and linguistics to understand the dynamics of the speech production process across languages and health conditions. rtMRI has two ...