Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 149-168 of 1262
-
Checking Observational Purity of Procedures
We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if ... -
Classical Binary Codes And Subspace Codes in a Lattice Framework
(2017-10-10)The classical binary error correcting codes, and subspace codes for error correction in random network coding are two different forms of error control coding. We identify common features between these two forms and study ... -
Classifying Magnetic and Non-magnetic Two-dimensional Materials by Machine Learning
There has been a giant leap in technological advancement with the introduction of graphene and its remarkable properties after 2005. Since the inception of graphene, the new class of materials called 2D materials are ... -
Cluster Identification : Topic Models, Matrix Factorization And Concept Association Networks
(2013-09-17)The problem of identifying clusters arising in the context of topic models and related approaches is important in the area of machine learning. The problem concerning traversals on Concept Association Networks is of great ... -
Clustering For Designing Error Correcting Codes
(Indian Institute of Science, 2005-02-11)In this thesis we address the problem of designing codes for specific applications. To do so we make use of the relationship between clusters and codes. Designing a block code over any finite dimensional space may be thought ... -
Coded Caching in Multi-access Networks
Caching is a promising technique that can reduce the amount of data transmitted over latency-prone links, effectively trading affordable memory for expensive bandwidth resources. The frequently demanded content is stored ... -
CodeQueries: Benchmarking Query Answering over Source Code
Software developers often make queries about the security, performance effectiveness, and maintainability of their code. Through an iterative debugging process, developers analyze the code to find answers to these ... -
Codes for distributed storage, private information retrieval and low-latency streaming
This thesis presents results on error correcting codes for settings such as: (a) distributed storage, (b) private information retrieval, and (c) low-latency streaming. It also presents two new decoding algorithms for Polar ... -
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 ... -
Codes With Locality For Distributed Data Storage
(2017-07-26)This thesis deals with the problem of code design in the setting of distributed storage systems consisting of multiple storage nodes, storing many different data les. A primary goal in such systems is the efficient repair ... -
Coding For Multi-Antenna Wireless Systems And Wireless Relay Networks
(2009-03-04)Communication over a wireless channel is a challenging task because of the inherent fading effects. Any wireless communication system employs some form of diversity improving techniques in order to improve the reliability ... -
Coding For Wireless Relay Networks And Mutiple Access Channels
(2011-07-12)This thesis addresses the design of low-complexity coding schemes for wireless relay networks and multiple access channels. The first part of the thesis is on wireless relay networks and the second part is on multiple ... -
Coding Schemes For Distributed Subspace Computation, Distributed Storage And Local Correctability
(2017-07-24)In this thesis, three problems have been considered and new coding schemes have been devised for each of them. The first is related to distributed function computation, the second to coding for distributed storage and the ... -
Coding Schemes for Secure and Reliable DNA-Based Data Storage
In DNA-based data storage, the desired information is encoded into the quaternary sequence of synthetic DNA molecules, called oligos. We look at secure communication via information-containing oligos in the usual three-party ... -
The Combined Effect Of Reduced Feedback, Frequency-Domain Scheduling, And Multiple Antenna Techniques On The Performance Of LTE
(2014-11-21)Frequency-domain scheduling, multiple antenna techniques, and rate adaptation enable next generation orthogonal frequency division multiple access (OFDMA) cellular systems such as Long Term Evolution (LTE) to achieve ... -
Compact Modeling Of Asymmetric/Independent Double Gate MOSFET
(2014-07-18)For the past 40 years, relentless focus on Moore’s Law transistor scaling has provided ever-increasing transistor performance and density. In order to continue the technology scaling beyond 22nm node, it is clear that ... -
Compact Modeling of Short Channel Common Double Gate MOSFET Adapted to Gate-Oxide Thickness Asymmetry
(2018-05-08)Compact Models are the physically based accurate mathematical description of the cir-cuit elements, which are computationally efficient enough to be incorporated in circuit simulators so that the outcome becomes useful for ... -
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 ... -
Comparative Evaluation Of Space Vector Based Pulse Width Modulation Techniques In Terms Of Harmonic Distortion And Switching Loss
(2010-09-14)Voltage source inverters (VSI) are popular in variable speed induction motor drive applications. Pulse width modulation (PWM) is employed to achieve variable voltage variable frequency output from a fixed DC bus voltage. ...