Browsing by Title
Now showing items 3041-3060 of 6383
-
Learning Invariants for Verification of Programs and Control Systems
Deductive verification techniques in the style of Floyd and Hoare have the potential to give us concise, compositional, and scalable proofs of the correctness of various kinds of software systems like programs and control ... -
Learning Non-linear Mappings from Data with Applications to Priority-based Clustering, Prediction, and Detection
With the volume of data generated in today's internet-of-things, learning algorithms to extract and understand the underlying relations between the various attributes of data have gained momentum. This thesis is focused ... -
Learning Robust Support Vector Machine Classifiers With Uncertain Observations
(2015-08-19)The central theme of the thesis is to study linear and non linear SVM formulations in the presence of uncertain observations. The main contribution of this thesis is to derive robust classfiers from partial knowledge of ... -
Learning to Adapt Policies for uSD card
Machine Learning(ML) for Systems is a new and promising research area where performance of computer systems is optimized using machine learning methods. ML for Systems has outperformed traditional heuristics methods in ... -
Learning to Perceive Humans From Appearance and Pose
Analyzing humans and their activities takes a central role in computer vision. This requires machine learning models to encapsulate both the diverse poses and appearances exhibited by humans. Estimating the 3D poses of ... -
Learning Tournament Solutions from Preference-based Multi-Armed Bandits
We consider the dueling bandits problem, a sequential decision task where the goal is to learn to pick `good' arms out of an available pool by actively querying for and observing relative preferences between selected pairs ... -
Learning with Complex Performance Measures : Theory, Algorithms and Applications
(2017-12-07)We consider supervised learning problems, where one is given objects with labels, and the goal is to learn a model that can make accurate predictions on new objects. These problems abound in applications, ranging from ... -
Length Scale Effects in Deformation of Polycrystalline Nickel
(2017-09-20)The demand for compact, efficient and high performance electronic devices and sensor systems has become one of the primary driving force for rapid advancement in miniaturization of current technology. However, the attempt ... -
LES Study Of Free Jets And Jets Impinging On Cuboidal Cavity
(2016-09-15)Numerical solutions based on explicit filtered LES for computing turbulent flow field, of free round jets and impinging round jet on cuboidal cavities, are presented and discussed in this dissertation work. One-parameter ... -
Lessons for Conformal Field Theories from Bootstrap and Holography
(2018-02-06)The work done in this thesis includes an exploration of both the conformal field theory techniques and holographic techniques of the Gauge/Gravity duality. From the field theory, we have analyzed the analytical aspects of ... -
Lessons for Gravity from Entanglement
One of the recent fundamental developments in theoretical high energy physics is the AdS/CFT correspondence [1, 2, 3, 4] which posits a relationship between Quantum Field Theories (QFT) in a given dimension and String ... -
Leveraging KG Embeddings for Knowledge Graph Question Answering
Knowledge graphs (KG) are multi-relational graphs consisting of entities as nodes and relations among them as typed edges. The goal of knowledge graph question answering (KGQA) is to answer natural language queries posed ... -
Leveraging Resources For Strategic Organizational Renewal A Co-Evolutionary Perspective
(2010-07-23)Multiple strategic discontinuities of the constantly changing business environment are driving organizations, both large and small to seek new ways of conducting business to create wealth. The only way organizations can ... -
Lexicon-Free Recognition Strategies For Online Handwritten Tamil Words
(2014-08-07)In this thesis, we address some of the challenges involved in developing a robust writer-independent, lexicon-free system to recognize online Tamil words. Tamil, being a Dravidian language, is morphologically rich and also ... -
A Ligase IV/XRCC4-dependent single strand break repair pathway for the maintenance of A/T-rich regions during DNA replication in mammals
The DNA in our cells is under constant threat from various exogenous and endogenous sources. To ensure error free and faithful transmission of hereditary material, human cells employ several DNA repair pathways. Mammalian ... -
Light and magnetic field induced coherence effects in atoms
In this thesis, we have studied the coherence effects in atoms induced by light and a magnetic field. After giving an introduction to the contents of the thesis, details about the theory and the experimental setup used are ... -
Light Scattering Investigations Near The Critical Point In Some Solvophobic Systems And The Design And Analysis Of A Microkelvin Thermostat For Critical Phenomena Studies
(Indian Institute of Science, 2007-05-21)This thesis reports light-scattering experiments and visual investigations close to the critical point, in the solvophobic systems, 3-methylpyridine (3MP) + heavy water (D2O) + sodium bromide (NaBr) and methyl ethyl ketone ... -
Light Sheet Based Microfluidic Flow Cytometry Techniques for High throughput Interrogation and High-resolution Imaging
(2018-02-15)Light allows to non-invasively study the complex and dynamic biological phenomenon undergoing within cells and tissues in their native state. The development of super-resolution microscopes in recent years has helped to ... -
Light-And Cytokinin-Regulated Plastid And Nuclear Gene Expression In Cucumber (Cucumis Sativus L)
(Indian Institute of Science, 2005-12-06)Light and phytohormones, such as cytokinins, have been known to play a pivotal role in numerous physiological processes in plant cells. Previous work in our laboratory has revealed the light- and cytokinin- modulated changes ...