Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 1232-1251 of 1270
-
A Two Step Optimal Decoding for PSK and Trellis Coded Modulation in Noisy Index Coding Problem
Index coding is a communication problem in which a server has a set of messages and wants to broadcast them to a set of receivers. Each receiver is interested in a single message, but some of the receivers may have some ... -
Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
Statically verifying behavioral properties of programs is an important research problem. An efficient solution to this problem will have visible effects over multiple domains, ranging from program development, program ... -
Ultrawideband and wide-angle scan antenna element and small active phased arrays
Wideband, wide-scan active phased arrays (APA) are widely used for multi-function radars, communication and electronic warfare. Although considerable research is available on the design and analysis of such antenna elements ... -
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 ... -
Unidirectional High-Frequency-Link DC to Three-Phase AC Conversion: Topology, Modulation and Converter Design
In recent years, stringent restrictions on greenhouse gas emission due to the present global warming scenario is driving governments and power utilities worldwide behind electricity generation using renewable energy ... -
A Unified Approach to Quantitative Software Lifecycle Modeling
(Indian Institute of Science, 2005-04-06)An evolutionary process currently taking place in engineering systems is the shift from hardware to software where the role of software engineering is becoming more central in developing large engineering systems. This ... -
Unified Cognitive Radio : Architectural Analysis, Design and Implementation
(2018-08-14)This thesis addresses the problem of building a Cognitive Radio that has the ability to interact with human users in a better way by making use of Quality of Experience (QoE) as its basis and marshalling its resources ... -
Unified Control based Adaptable Converters with a Fractional Harmonic Inter Converter Signalling channel for Dynamic tracking of PCC and Managing Multiple Converters Connected in Parallel in a Microgid
The increasing demand of energy over the past few years as well as the growing environmental concerns have forced the mankind to look out for non conventional sources of energy such as solar, wind etc. Consequently a ... -
A Unified Modeling Approach for Design and Performance Improvement of Triple Active Bridge Converter
Triple Active Bridge (TAB) converter is a multi-port DC-DC converter. This converter is an extension of the popular Dual Active Bridge converter. It features desirable traits of the DAB converter, such as high power density, ... -
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 ... -
Using Explicit State Space Enumeration For Specification Based Regression Testing
(2010-07-08)Regression testing of an evolving software system may involve significant challenges. While, there would be a requirement of maximising the probability of finding out if the latest changes to the system has broken some ... -
Utilizing Worker Groups And Task Dependencies in Crowdsourcing
Crowdsourcing has emerged as a convenient mechanism to collect human judgments on a variety of tasks, ranging from document and image classification to scientific experimentation. However, in recent times crowdsourcing has ... -
Van der Waals Heterojunctions for Emerging Device Applications
Low-dimensional systems are an exciting platform for exploring new physics and realizing novel devices. The intriguing features, such as the existence of strongly bound multiparticle complexes and thickness-dependent band ... -
Variability Aware Device Modeling and Circuit Design in 45nm Analog CMOS Technology
(2018-05-10)Process variability is a major challenge for the design of nano scale MOSFETs due to fundamental physical limits as well as process control limitations. As the size of the devices is scales down to improve performance, the ... -
Variants and Generalization of Some Classical Problems in Combinatorial Geometry
(2018-02-18)In this thesis we consider extensions and generalizations of some classical problems in Combinatorial Geometry. Our work is an offshoot of four classical problems in Combinatorial Geometry. A fundamental assumption in these ... -
Variants of Hegselmann-Krause Model
(2017-12-04)The Hegselmann-Krause system (HK system for short) is one of the most popular models for the dynamics of opinion formation in multi agent systems. Agents are modeled as points in opinion space, and at every time step, each ... -
Variational Bayes Algorithms for mmWave and Massive MIMO-OFDM Systems with Low Resolution ADCs
In this thesis, we develop novel low-complexity algorithms for massive multiple-input multiple-output (MIMO) systems under practical non-idealities and theoretically analyze their performance. The first problem we consider ... -
Verification of a Generative Separation Kernel
A Separation Kernel is a small specialized microkernel that provides a sand-boxed execution environment for a given set of processes (also called \subjects"). The subjects may communicate only via declared memory channels, ...