Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 737-756 of 1659
-
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 ... -
Incentive Design for Crowdfunding and Crowdsourcing Markets
(2018-05-23)With the ever-increasing trend in the number of social interactions getting intermediated by technology (the world wide web) as the backdrop, this thesis focuses on the design of mechanisms for online communities (crowds) ... -
Incentive Strategies and Algorithms for Networks, Crowds and Markets
(2018-08-02)This work is motivated by several modern applications involving social networks, crowds, and markets. Our work focuses on the theme of designing effective incentive strategies for these applications. Viral marketing is ... -
Incremental techniques for code generation problems
Incremental compilation plays an important role in the functioning of integrated programming environments. The earlier phases of compilation like lexical analysis, parsing, semantic analysis, and dataflow analysis have ... -
Index Coding over Noisy Channels and Some Applications
A broadcast channel that is very effective for disseminating common content becomes highly inefficient when the users request different content. To address this inefficiency of the broadcast channel over which a server ... -
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 ... -
Inducing Constraints in Paraphrase Generation and Consistency in Paraphrase Detection
Deep learning models typically require a large volume of data. Manual curation of datasets is time-consuming and limited by imagination. As a result, natural language generation (NLG) has been employed to automate the ... -
Induction Generators Behavior Under Unbalanced Voltage And Fault Conditions
(2011-09-15)In this thesis first the behavior of induction generators under unbalanced voltage conditions is studied. In this context, first the existing schemes for characterizing the unbalance in simple ways have been studied. 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, ... -
Infimal convolution approaches for image recovery
The quality of image captured by acquisition devices has increased drastically over the years largely due to a revolution in imaging sensor capability. But, image acquisition under low illumination continues to be a ... -
Influence Dynamics on Social Networks
(2018-02-15)With online social networks such as Facebook and Twitter becoming globally popular, there is renewed interest in understanding the structural and dynamical properties of social networks. In this thesis we study several ... -
Influence of Soil's Electrical Parameters on Lightning Stroke-current Evolution and Fields in the Close Range
The lightning return stroke forms one of the severest natural sources of electromagnetic interference for ground-based and airborne systems. Many physical fields are involved in this complex physical phenomenon. Several ... -
Information Rates over Point-to-Point and Multi-user Wireless Channels with Energy and Delay Constraints
In this thesis, we consider communication systems having energy, delay and reliability constraints. We characterize optimal communication rates achievable over these systems. First we consider point-to-point communication ... -
Information-rich Sampling of Time-varying Signals
Confrontation with signal non-stationarity is a rule rather than an exception in the analysis of natural signals, such as speech, animal vocalization, music, bio-medical, atmospheric, ans seismic signals. Interestingly, ... -
Insights into Network Coding Using Tools From Linear Algebra and Matroid Theory
Traditionally, the transmission of information through a network was carried out using store-and-forward techniques. This entails managing information bits in a network analogous to commodity flow, without mixing or combining ... -
Instruction scheduling for RISC processors
Instruction scheduling is the process of reordering instructions (whether assembly code or code in some other form) so as to make fuller use of the resources provided by the processor. In the case of RISC processors, ... -
Integer factorization algorithms
Integer Factorization is an old problem in Number Theory, which has long been regarded as a fundamentally difficult problem. Since 1970, there have been substantial advances in integer factorization. A number of algorithms ... -
Integrated analytical models for parallel and distributed computing systems
Analytical modelling plays an important role in the design and development of parallel and distributed computing systems. In this context, Product Form Queueing Networks (PFQNs) and Generalized Stochastic Petri Nets (GSPNs) ... -
Integrated Approach To Filter Design For Grid Connected Power Converters
(2010-12-30)Design of filters used in grid-connected inverter applications involves multiple constraints. The filter requirements are driven by tight filtering tolerances of standards such as IEEE 519-1992–IEEE Recommended Practices ...