Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 717-736 of 1263
-
MIST : Mlgrate The Storage Too
(2017-05-25)We address the problem of migration of local storage of desktop users to remote sites. Assuming a network connection is maintained between the source and destination after the migration makes it possible for us to transfer ... -
An MLIR-Based High-Level Synthesis Compiler for Hardware Accelerator Design
The emergence of machine learning, image and audio processing on edge devices has motivated research towards power-efficient custom hardware accelerators. Though FPGAs are an ideal target for custom accelerators, the ... -
Model Checking Temporal Properties of Presburger Counter Systems
Counter systems are a well-known and powerful modeling notation for specifying infnite state systems. In this thesis we target the problem of checking temporal properties of counter systems. We address three predominant ... -
Model Extraction and Active Learning
Machine learning models are increasingly being offered as a service by big companies such as Google, Microsoft and Amazon. They use Machine Learning as a Service (MLaaS) to expose these machine learning models to the ... -
Model Extraction Defense using Modified Variational Autoencoder
Machine Learning as a Service (MLaaS) exposes machine learning (ML) models that are trained on confidential datasets to users in the form of an Application Programming Interface (API). Since the MLaaS models are deployed ... -
Model-based Safe Deep Reinforcement Learning and Empirical Analysis of Safety via Attribution
During initial iterations of training in most Reinforcement Learning (RL) algorithms, agents perform a significant number of random exploratory steps, which in the real-world limit the practicality of these algorithms ... -
Model-Checking in Presburger Counter Systems using Accelerations
(2018-04-18)Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms ... -
Model-Checking Infinite-State Systems For Information Flow Security Properties
(2017-02-16)Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ... -
Modeling and Adaptive Scheduling Strategies for Distributed Graph Algorithms
Graph processing at scales of millions-billions of vertices and edges has become common to solve real-world problems in domains like social networks, smart cities and genomics. Distributed "Big Data" platforms for graph ... -
Modeling and Analysis of Grid Connected Variable Speed Wind Generators
(2018-08-13)The growing demand for power and increased environmental concerns gave an impetus to the growth of clean and renewable energy sources like wind, solar etc. There is a remarkable increase in the penetration of wind energy ... -
Modeling And Design Of A Solar Hybrid Desalination System With Pressure Modulation
(2010-08-30)Shortage of drinking water in most parts of the world has been a growing concern in recent times. The situation has been getting worse in underdeveloped and developing countries due to sudden explosion in population growth ... -
Modeling and verification of database-accessing applications
Databases are central to the functioning of most IT-enabled processes and services. In many domains, databases are accessed and updated via applications written in general-purpose lan- guages, as such applications need ... -
Modeling Of Dust Loaded Electrical Characteristics And Collection Efficiency Of Industrial Electrostatic Precipitators
(2010-12-08)With the increase in population and industrial growth, the need for power has increased manifold. A major share of India’s power generation is coal-based generation. Thermal power generation through coal combustion produces ... -
Modeling of Lightning Attachment to Aircraft and a Novel Methodology to Quantify Strike Rate
Air transport plays a vital role in global economic growth and long-distance commutation. The aviation industry is found to double its fleet size every fifteen years. According to Air Transport Action Group (ATAG), 45 ... -
Modeling of Permittivity Variations in Stochastic Computational Electromagnetics
With the evolution of 5G systems offering high data rates, major changes are required in the design approach of the components of communication systems. Furthermore, building complex electromagnetic systems at the terahertz ... -
Modeling, Analysis and Control of Reconfigurable Battery/Grid Tied Solar Photo-Voltaic Inverter
Grid reliability and power outages are key concerns today, due to the ever-increasing energy demand. Traditionally, Uninterruptible Power Supplies (UPS) with battery storage have been employed to contend with grid outages. ... -
Modeling, Analysis And Control Of Single-Phase And Three-Phase PWM Rectifiers
(2009-06-16)Pulse width modulation (PWM) rectifiers are extensively used in battery charger, regulated dc voltage source, UPS systems, ac line conditioner and motor drives. The conventional control schemes for these rectifiers require ... -
Modeling, Characterization, Control and Design of Switched Reluctance Machines
Switched reluctance machines (SRM) are permanent magnet free, and have a simple rotor construction with no current carrying parts. These are particularly suitable for high-temperature and high-speed applications. However, ... -
Modeling, Optimization And Design Of A Solar Thermal Energy Transport System For Hybrid Cooking Application
(2013-06-12)Cooking is an integral part of each and every human being as food is one of the basic necessities for living. Commonly used sources of energy for cooking are firewood, crop residue, cow dung, kerosene, electricity, liquefied ...