Search
Now showing items 321-330 of 507
Probabilistic Forwarding of Coded Packets for Broadcasting over Networks
Motivated by applications in sensor networks and the Internet of Things (IoT), in this dissertation, we consider the problem of energy-efficient broadcasting from a source node in a large dense network. Flooding, as a ...
Enhancing Coverage and Robustness of Database Generators
Generating synthetic databases that capture essential data characteristics of client databases is a common requirement for enterprise database vendors. This need stems from a variety of use-cases, such as application testing ...
A Syntactic Neural Model For Question Decomposition
Question decomposition along with single-hop Question Answering (QA) system serve as useful modules in developing multi-hop Question Answering systems, mainly because the resulting QA system is interpretable and has been ...
Index Coding, Error Correcting Index Codes And Matroids
In the problem of index coding, there is a central source sending messages to a
set of receivers which demand messages over a noiseless broadcast channel. Each
receiver knows a subset of messages which is referred to as ...
Upper Frequency Bound on Circuit-Based Models for Transformer Windings
The power generation, transmission and utilisation are necessarily being carried out at different
voltage levels, and require transformers for performing the voltage level conversions.
As a result, transformers form one ...
Robust Non-convex Penalties for Solving Sparse Linear Inverse Problems and Applications to Computational Imaging
Sparse linear inverse problems require the solution to the l-0-regularized least-squares cost, which is not computationally tractable. Approximate and computationally tractable solutions are obtained by employing ...
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 ...
Sampling of Structured Signals: Techniques and Imaging Applications
The celebrated Shannon sampling theorem is a key mathematical tool that allows one to seamlessly switch between the continuous-time and discrete-time representations of bandlimited signals. Sampling and reconstruction of ...
Equivalent Circuit Analyses and Methods to Enhance Bandwidth of Klystron Reentrant Cavities
Klystron is used as an amplifier at microwave frequency range. Klystrons use cylindrical or rectangular reentrant cavities in their interaction structure. Characteristics of reentrant cavity can be defined using parameters ...
Modeling, Characterization, Control and Design of Switched Reluctance Machines
Switched reluctance machines (SRM) are permanent magnet free, and have a simple rotor construction with no current carrying parts. These are particularly suitable for high-temperature and high-speed applications. However, ...

