Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 707-726 of 1249
-
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 ... -
Modeling, Performance Analysis and Design of Wireless Networks for Embedded Sensing Applications
The general theme of this thesis is modeling, performance analysis, and design of wireless networks under standardized CSMA/CA MAC protocols. In particular, we consider two widely used MAC protocols, namely, IEEE 802.15.4, ... -
Modeling, Real-time Simulation And Design Of Matrix Converters
(2011-01-11)Power converters have evolved from the classical low switching frequency thyristorised converters to the modern high-frequency switched mode converters employing fast power devices such as Insulated Gate Bipolar Transistors ...