Division of Electrical, Electronics, and Computer Science (EECS): Recent submissions
Now showing items 861-880 of 1531
-
Identification and Quantification of Important Voids and Pockets in Proteins
(2018-04-05)Many methods of analyzing both the physical and chemical behavior of proteins require information about its structure and stability. Also various other parameters such as energy function, solvation, hydrophobic/hydrophilic ... -
Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels
(2018-04-05)Unreliable communication channels are a practical reality. They add to the complexity of protocol design and verification. In this work, we consider noisy channels which can corrupt messages. We present an approach to model ... -
Rainbow Colouring and Some Dimensional Problems in Graph Theory
(2018-04-05)This thesis touches three different topics in graph theory, namely, rainbow colouring, product dimension and boxicity. Rainbow colouring An edge colouring of a graph is called a rainbow colouring, if every pair of vertices ... -
Constructing Provably Secure Identity-Based Signature Schemes
(2018-04-03)An identity-based cryptosystem (IBC) is a public-key system where the public key can be represented by any arbitrary string such as an e-mail address. The notion was introduced by Shamir with the primary goal of simplifying ... -
A Theoretical Study of the Synergy and Lazy Annotation Algorithms
(2018-04-03)Given a program with assertions, the assertion checking problem is to tell whether there is an execution of the program that violates one of the assertions. One approach to this problem is to explore different paths towards ... -
Generalized Analytic Signal Construction and Modulation Analysis
(2018-04-02)This thesis deals with generalizations of the analytic signal (AS) construction proposed by Gabor. Functional extensions of the fractional Hilbert Transform (FrHT) are proposed using which families of analytic signals are ... -
Reverse Channel Training in Multiple Antenna Time Division Duplex Systems
(2018-04-02)Multiple-Input Multiple-Output (MIMO) communication using multiple antennas has received significant attention in recent years, both in the academia and industry, as they offer additional spatial dimensions for high-rate ... -
Wireless Sensor Networks : Bit Transport Maximization and Delay Efficient Function Computation
(2018-04-02)We consider a wireless sensor network, in which end users are interested in maximizing the useful information supplied by the network till network partition due to inevitable node deaths. Neither throughput maximization ... -
Control, Modulation and Testing of High-Power Pulse Width Modulated Converters
(2018-04-02)Experimental research on high-power converters, particularly in an academic environment, faces severe infrastructural constraints. Usually, power source and loads of required ratings are not available. Further, more ... -
NoC Design & Optimization of Multicore Media Processors
(2018-03-22)Network on Chips[1][2][3][4] are critical elements of modern System on Chip(SoC) as well as Chip Multiprocessor(CMP)designs. Network on Chips (NoCs) help manage high complexity of designing large chips by decoupling ... -
Optimum Savitzky-Golay Filtering for Signal Estimation
(2018-03-21)Motivated by the classic works of Charles M. Stein, we focus on developing risk-estimation frameworks for denoising problems in both one-and two-dimensions. We assume a standard additive noise model, and formulate the ... -
Induction Motor Drives Based on Multilevel Dodecagonal and Octadecagonal Volatage Space Vectors
(2018-03-21)For medium and high-voltage drive applications, multilevel inverters are very popular. It is due to their superior performance compared to 2-level inverters such as reduced harmonic content in the output voltage and current, ... -
Exploration of Real and Complex Dispesion Realtionship of Nanomaterials for Next Generation Transistor Applications
(2018-03-21)Technology scaling beyond Moore’s law demands cutting-edge solutions of the gate length scaling in sub-10 nm regime for low power high speed operations. Recently SOI technology has received considerable attention, however ... -
Investigations on CPI Centric Worst Case Execution Time Analysis
(2018-03-19)Estimating program worst case execution time (WCET) is an important problem in the domain of real-time systems and embedded systems that are deadline-centric. If WCET of a program is found to exceed the deadline, it is ... -
Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java
(2018-03-19)The problem addressed in this thesis is sound, scalable, demand-driven null-dereference verification for Java programs via over-approximated weakest preconditions analysis. The base version of this analysis having been ... -
Reconstruction of 3D Neuronal Structures
(2018-03-17)Microscopic analysis of biological structures can be significantly enhanced by representing the object of study as a three-dimensional entity. To assist neurobiologists investigate the molecular mechanisms involved in ... -
Analysis and Optimization of Cooperative Amplify-and-Forward Relaying with Imperfect Channel Estimates
(2018-03-17)Relay-based cooperation promises significant gains in a wireless network as it provides an inde-pendent path between a source and a destination. Using simple single antenna nodes, it exploits the spatial diversity provided ... -
Spectrum Sensing in Cognitive Radios using Distributed Sequential Detection
(2018-03-17)Cognitive Radios are emerging communication systems which efficiently utilize the unused licensed radio spectrum called spectral holes. They run Spectrum sensing algorithms to identify these spectral holes. These holes ... -
Construction of Secure and Efficient Private Set Intersection Protocol
(2018-03-17)Private set intersection(PSI) is a two party protocol where both parties possess a private set and at the end of the protocol, one party (client) learns the intersection while other party (server) learns nothing. Motivated ... -
Topics in Network Utility Maximization : Interior Point and Finite-step Methods
(2018-03-12)Network utility maximization has emerged as a powerful tool in studying flow control, resource allocation and other cross-layer optimization problems. In this work, we study a flow control problem in the optimization ...