Browsing by Title
Now showing items 3401-3420 of 6416
-
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 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 ... -
Modeling And Computation Of Turbulent Nonreacting And Reacting Sprays
(2014-09-05)Numerical modeling of several turbulent nonreacting and reacting spray jets is carried out using a fully stochastic separated flow (FSSF) approach. As is widely used, the carrier-phase is considered in an Eulerian framework, ... -
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 Evaluation Of Operational Performance Of An Aeroengine
(2012-06-26)This thesis explores methodologies of modeling and evaluating the operational performance of a typical aeroengine having field experience over two decades. Upon failure, the engine is repaired and restored to flight worthy ... -
Modeling and Experimental Investigations into Soluble Lead Redox Flow Battery : New Mechanisms
(2018-05-14)Continued emission of green house gases has energized research activity worldwide to develop efficient ways to harness renewal energy. The availability of large scale energy storage technologies is essential to make renewal ... -
Modeling And Simulation Frameworks For Synthesis Of Nanoparticles
(2010-08-06)Nanoparticles are used in various applications like medical diagnostics, drug delivery, energy technology, electronics, catalysis etc. Although particles of such small dimensions can be synthesized through various methods, ... -
Modeling and Simulation of Biomolecular Flow in Microchannel
(2018-01-01)Microfluidics deals with the behavior, control and manipulation of fluids which are confined at micrometer length scale. It has important application in lab-on-a chip technology, micro-propulsion, additive manufacturing, ... -
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 Constitutive Behavior And Hot Rolling Of Steels
(Indian Institute of Science, 2006-03-17)Constitutive behavior models for steels are typically semi-empirical, however recently neural network is also being used. Existing neural network models are highly complex with a large network structure i.e. the number ... -
Modeling Electronic Properties Of Strongly Correlated Conjugated Molecular Systems
(2015-08-17)Organic conjugated systems are attractive because of wide range of applications, which includes stimulated emission from -conjugated polymers, optical switches, organic solar cells and organic light emitting diodes, to ... -
Modeling Free Surface Flows and Fluid Structure Interactions using Smoothed Particle Hydrodynamics
(2018-06-26)Recent technological advances are based on effectively using complex multiphysics concepts. Therefore, there is an ever increasing need for accurate numerical al-gorithms of reduced complexity for solving multiphysics ... -
Modeling Human Immunodeficiency Virus Transmission and Infection
(2018-05-21)HIV-1 is a global pandemic with about 39 million people infected. In India, 2.9 million people are infected and about 2 lakh new infections have been reported last year. To date, there is no cure for HIV/AIDS. Current ... -
Modeling Lysis Dynamcis Of Pore Forming Toxins And Determination Of Mechanical Properties Of Soft Materials
(2015-08-07)Pore forming toxins are known for their ability to efficiently form transmembrane pores which eventually leads to cell lysis. PFTs have potential applications in devel-oping novel drug and gene delivery strategies. Although ... -
Modeling Magnetic Anisotropy in Single Chain Magnets
This thesis embodies work on modeling magnetic anisotropy in molecular magnets. Understanding the factors that govern the magnitude of anisotropy in these materials is crucial for tailoring molecules that can be used in ... -
Modeling of Contact in Orthotropic Materials using Variational Asymptotic Method
(2018-06-18)Composites are materials which cater to the present and future needs of many demanding industries, such as aerospace, as they are weight-sensitive for a given requirement of strength and stiff ness, corrosion resistant, ...