Division of Electrical, Electronics, and Computer Science (EECS): Recent submissions
Now showing items 561-580 of 1305
-
Polymage : Automatic Optimization for Image Processing Pipelines
(2018-06-25)Image processing pipelines are ubiquitous. Every image captured by a camera and every image uploaded on social networks like Google+or Facebook is processed by a pipeline. Applications in a wide range of domains like ... -
A Refinement-Based Methodology for Verifying Abstract Data Type Implementations
(2018-06-21)This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ... -
Number Theoretic, Computational and Cryptographic Aspects of a Certain Sequence of Arithmetic Progressions
(2018-06-21)This thesis introduces a new mathematical object: collection of arithmetic progressions with elements satisfying the inverse property, \j-th terms of i-th and (i+1)-th progressions are multiplicative inverses of each other ... -
Switched Capacitive Filtering Scheme for Harmonic Suppression in Variable Speed AC Drives
(2018-06-21)For low and medium power applications, conventional two-level inverters are widely used in industrial applications including electric vehicle drives, traction drives, distributed generation, power management and grid ... -
Transceiver Design Based on the Minimum-Error-Probability Framework for Wireless Communication Systems
(2018-06-19)Parameter estimation and signal detection are the two key components of a wireless communication system. They directly impact the bit-error-ratio (BER) performance of the system. Several criteria have been successfully ... -
Discharge Plasma Supported Mariculture and Lignite Waste for NOx Cleaning in Biodiesel Exhaust : Direct and Indirect Methods
(2018-06-18)One major aspect of environmental pollution affecting human life and climate is air pollution. The harmful pollutants in the air include mostly hydrocarbons, carbon monoxide, carbon dioxide, nitrogen oxides as well as soot ... -
Multi-label Classification with Multiple Label Correlation Orders And Structures
(2018-06-18)Multilabel classification has attracted much interest in recent times due to the wide applicability of the problem and the challenges involved in learning a classifier for multilabeled data. A crucial aspect of multilabel ... -
Multilevel Dodecagonal and Octadecagonal Voltage Space Vector Structures with a Single DC Supply Using Basic Inverter Cells
(2018-06-15)Multilevel converters have become the direct accepted solution for high power converter applications. They are used in wide variety of power electronic applications like power transmission and distribution, electric motor ... -
Control Strategies for Seamless Transition between Grid Connected and Islanded Modes in Microgrids
(2018-06-14)The popularity of distributed generating (DG) sources have been increasing over the past few years. With the increasing penetration of these DGs, the concept of micro grid is becoming popular. A micro grid is a small power ... -
Efficient Whole Program Path Tracing
(2018-06-14)Obtaining an accurate whole program path (WPP) that captures a program’s runtime behaviour in terms of a control-flow trace has a number of well-known benefits, including opportunities for code optimization, bug detection, ... -
Automatic Optimization of Geometric Multigrid Methods using a DSL Approach
(2018-06-14)Geometric Multigrid (GMG) methods are widely used in numerical analysis to accelerate the convergence of partial differential equations solvers using a hierarchy of grid discretizations. These solvers find plenty of ... -
On Design and Analysis of Energy Efficient Wireless Networks with QoS
(2018-06-13)We consider optimal power allocation policies for a single server, multiuser wireless communication system. The transmission channel may experience multipath fading. We obtain very efficient, low computational complexity ... -
Concurrency Analysis and Mining Techniques for APIs
(2018-06-13)Software components expose Application Programming Interfaces (APIs) as a means to access their functionality, and facilitate reuse. Developers use APIs supplied by programming languages to access the core data structures ... -
Developmental Studies on Ultra Wide Band Type High Power Electromagnetic Radiating System for Use as an Intentional Electromagnetic Interference Source
(2018-06-13)The electronic control, instrumentation and communication hardware is becoming more and more compact and faster in operation due to the increased use of large scale integration of semiconductor devices operating at higher ... -
An Efficient Network Management System using Agents for MANETs
(2018-06-11)Network management plays a vital role to keep a network and its application work e ciently. The network management in MANETs is a crucial and the challenging task, as these networks are characterized by dynamic environment ... -
Low Switching Frequency Pulse Width Modulation for Induction Motor Drives
(2018-06-11)Induction motor (IM) drives are employed in a wide range of industries due to low maintenance, improved efficiency and low emissions. Industrial installations of high-power IM drives rated up to 30 MW have been reported. ... -
Multimodal Deep Learning for Multi-Label Classification and Ranking Problems
(2018-06-11)In recent years, deep neural network models have shown to outperform many state of the art algorithms. The reason for this is, unsupervised pretraining with multi-layered deep neural networks have shown to learn better ... -
Fusion of Sparse Reconstruction Algorithms in Compressed Sensing
(2018-06-08)Compressed Sensing (CS) is a new paradigm in signal processing which exploits the sparse or compressible nature of the signal to significantly reduce the number of measurements, without compromising on the signal reconstruction ... -
Optimization Algorithms for Deterministic, Stochastic and Reinforcement Learning Settings
(2018-05-30)Optimization is a very important field with diverse applications in physical, social and biological sciences and in various areas of engineering. It appears widely in ma-chine learning, information retrieval, regression, ... -
An Improved Lower Bound for Depth four Arithmetic Circuits
(2018-05-29)We study the problem of proving lower bounds for depth four arithmetic circuits. Depth four circuits have been receiving much attraction when it comes to recent circuit lower bound results, as a result of the series of ...