Browsing by Title
Now showing items 4503-4522 of 6413
-
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 ... -
Refractive-Index-Matched Fluorescent Particle Image Velocimetry for Investigation of Flow in Immersed Granular Materials
Refractive-Index-Matched Fluorescent Particle Image Velocimetry for Investigation of Flow in Immersed Granular Materials The ubiquity of granular materials and their importance in everyday life, industry, and nature make ... -
Regional and Local-scale Analysis of Landslides Induced by Rainfall and Earthquakes
Landslides are major natural disasters which pose a significant risk to lives and infrastructure globally. As urbanization is increasing due to the increasing population in mountainous regions, the risk due to landslides ... -
Regional Frequency Analysis Of Hydrometeorological Events - An Approach Based On Climate Information
(2011-04-01)The thesis is concerned with development of efficient regional frequency analysis (RFA) approaches to estimate quantiles of hydrometeorological events. The estimates are necessary for various applications in water resources ... -
Regional Hydrologic Impacts Of Climate Change
(2016-06-27)Climate change could aggravate periodic and chronic shortfalls of water, particularly in arid and semi-arid areas of the world (IPCC, 2001). Climate change is likely to accelerate the global hydrological cycle, with increase ... -
Regionalization Of Hydrometeorological Variables In India Using Cluster Analysis
(2017-07-12)Regionalization of hydrometeorological variables such as rainfall and temperature is necessary for various applications related to water resources planning and management. Sampling variability and randomness associated ... -
Regioselective C-H Amidation Reactions using Directing Group Strategy and its Application in Organic Synthesis
The thesis represents an approach for the C-H bond activation using directing group strategy. The C-H activation happens through five/six-membered metallacycle through concerted metallation deprotonation. Further ... -
Regioselective Functionalization of Indoles using Directing Group Strategy : An Efficient Transition Metal Catalysis
(2018-02-07)The thesis entitled “Regioselective Functionalization of Indoles using Directing Group Strategy: An Efficient Transition Metal Catalysis” is divided into two sections. Section A, which is presented in three chapters, ... -
Regress-Later with Interpretable Neural Networks for Pricing, Static hedging and Exposure management of Financial Derivatives
In the past two decades, there has been a significant growth in the trading of financial derivatives, witnessed in both Centralised Exchange and Over-The-Counter (OTC) markets. One of the main reasons for this growth is ... -
Regulation and Characterization of Transcription Factor Activator Protein-2 Alpha (AP-2α)
(2018-02-11)Introduction AP2α is a 52 kDa retinoic acid inducible and developmentally regulated activator of transcription, which binds to the DNA in a sequence-specific manner. Transcription factor AP-2α was isolated from HeLa cells ... -
Regulation of auxin response by UBIQUITIN-SPECIFIC PROTEASE14/ TARANI in Arabidopsis thaliana
The genetic pathway regulating auxin response in Arabidopsis is well established and provides us a framework to assess whether TNI belongs to this pathway. The total number of lateral roots is taken as a read-out of auxin ... -
Regulation of carbon metabolism in Pichia pastoris by Mxr1p and identification of novel regulators
Pichia pastoris (a.k.a. Komagataella phaffii), a widely used yeast for recombinant protein production, is cultured under a variety of conditions ranging from shake flasks to large bioreactors employing minimal, chemically ... -
Regulation of Chitin Oligosaccharides Utilization in Escherichia Coli
(2018-04-11)The genome of Escherichia coli harbors several catabolic operons involved in the utilization of a wide variety of natural compounds as carbon sources. The chitobiose (chu) operons of E.coli Is involved in the utilization ... -
Regulation of Expression of p53 and its Isoform Δ40p53 : Consequences on Cellular Gene Expression
The TP53 tumour suppressor gene encodes for p53 protein which is the frequently altered gene in most of the cancers. p53 protein is activated in response to different stresses and plays major role in maintaining genome ... -
Regulation of Flagellar Motility in Giardia lamblia and Trichomonas vaginalis
Protozoan pathogens are responsible for infections that are highly prevalent, especially in developing and under-developed countries. Flagellar motility is exhibited by a variety of organisms ranging from bacteria to certain ... -
Regulation of Hepatitis C Virus life-cycle by lncRNA HULC: crosstalk with other host factors
Hepatitis C virus (HCV) is a positive sense single-stranded RNA virus. It belongs to the family Flaviviridae and the genus hepacivirus. Following the receptor-mediated endocytosis, HCV genome is released into the cytoplasm, ... -
Regulation of Host Innate Immune Responses by Hippo Signaling Pathway during Pattern Recognition Receptors (PRRs) Driven Inflammation : Implication for Host-Pathogen Interactions
Innate immunity refers to the first line of defence system of the host that comes into play immediately or within hours of appearance of invading pathogens like bacteria, viruses and fungi. Cells of the innate immune system ... -
Regulation Of Interferon Regulatory Factor-2 mRNA Translation By 'IRES' Element : Possible Role Of trans Acting Factors
(2009-09-03)Cellular response to various stress conditions involves regulation of gene expression by different mechanisms. Translation is the final step in the flow of genetic information and regulation at this level allows an early ...