Browsing by Title
Now showing items 4510-4529 of 8778
-
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 ... -
A Model For Heat Transfer In A Honey Bee Swarm
(Indian Institute of Science, 2005-07-20)During spring, it has been observed that several thousand bees leave their hive, and settle on some object such as a tree branch. Some of the scout bees search for a suitable place where a new hive can be set up, while the ... -
Model Reference Learning Control Using ANFIS
(2012-05-25) -
Model Studies Of The Hot And Dense Strongly Interacting Matter
(2016-04-25)Ultra-relativisitic heavy ion collisions produce quark gluon plasma-a hot and dense soup of deconfined quarks and gluons akin to the early universe. We study two models in the context of these collisions namely, Polyakov ... -
Model-based Deep Learning Algorithms in Mimo Receivers : Channel Estimation & Symbol Detection
With the advent of Massive multiple-input-multiple-output (MIMO) wireless communication systems, users can now enjoy high spectral efficiency and throughput leading to a better quality of service. The efficacy of these ... -
Model-based Evaluation of Multiple Solutions to Grid Integration Challenges of Large-scale Renewable Power
Worldwide renewable installations are growing exponentially in the electricity mix. In a renewable-rich electricity grid, the demand, as well as the generation, varies in different time scales. It is highly complicated to ... -
A model-based investigation of the long-term climate and carbon cycle consequences of fossil fuel emissions, land use changes and negative emissions
In this thesis, we investigate the effects of anthropogenic perturbations such as fossil fuel emissions, deforestation, afforestation and negative emissions on the long-term climate and carbon cycle using simulations from ... -
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 adaptive window controlled randomly arriving file transfers in Internets
The Internet carries predominantly elastic traffic generated by applications such as email, web transfers, and file transfers, and the bandwidth sharing between such sessions is controlled by the Transmission Control ... -
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 Analysis of Hybrid Renewable Energy for Power Generation
Renewable energy-based power has gained significant global momentum—to minimize fossil-fuel use, combat climate change, and ensure energy security. While renewable energy (RE) is fast-growing, stand-alone single resource-based ... -
Modeling and Analysis of Water Distribution Systems
(2018-01-09)In most of the urban cities of developing countries piped water supply is intermittent and they receive water on alternate days for about few hours. The Unaccounted For Water (UFW) in these cities is very high due to aged ...