• Analysis of Proportional Navigation Class of Guidance Law against Agile Targets 

      Ghosh, Satadal (2017-12-12)
      Guidance is defined as the determination of a strategy for following a nominal path in the presence of o-nominal conditions, disturbances and uncertainties, and the strategy employed is called a guidance law. Variants of ...
    • Compactness Theorems for The Spaces of Distance Measure Spaces and Riemann Surface Laminations 

      Divakaran, D (2018-02-18)
      Gromov’s compactness theorem for metric spaces, a compactness theorem for the space of compact metric spaces equipped with the Gromov-Hausdorff distance, is a theorem with many applications. In this thesis, we give a ...
    • Dilation Theory of Contractions and Nevanlinna-Pick Interpolation Problem 

      Mandal, Samir Ch
      In this article, we give two different proofs of the existence of the minimal isometric dilation of a single contraction. Then using the existence of a unitary dilation of a contraction, we prove the `von Neumann's ...
    • A Formal Proof of Feit-Higman Theorem in Agda 

      Rao, Balaji R (2018-02-18)
      In this thesis we present a formalization of the combinatorial part of the proof of Feit-Higman theorem on generalized polygons. Generalised polygons are abstract geometric structures that generalize ordinary polygons and ...
    • Homogeneous Operators and Some Irreducible Representations of the Mobius Group 

      Chandramouli, K
      In this report, after recalling the definition of the M¨obius group, we define homogeneous operators, that is, operators T with the property '(T) is unitarily equivalent to T for all ' in the M¨obius group and prove some ...
    • An Introduction to Minimal Surfaces 

      Ram Mohan, Devang S (2017-12-10)
      In the first chapter of this report, our aim is to introduce harmonic maps between Riemann surfaces using the Energy integral of a map. Once we have the desired prerequisites, we move on to show how to continuously deform ...
    • Mechanising knot Theory 

      Prathamesh, Turga Venkata Hanumantha (2018-01-31)
      Mechanisation of Mathematics refers to use of computers to generate or check proofs in Mathematics. It involves translation of relevant mathematical theories from one system of logic to another, to render these theories ...
    • Mixed Norm Estimates in Dunkl Setting and Chaotic Behaviour of Heat Semigroups 

      Boggarapu, Pradeep (2018-01-03)
      This thesis is divided into three parts. In the first part we study mixed norm estimates for Riesz transforms associated with various differential operators. First we prove the mixed norm estimates for the Riesz transforms ...
    • A Multiscale Modeling Study of Iron Homeostasis in Mycrobacterium Tuberculosis 

      Ghosh, Soma (2018-05-10)
      Mycobacterium tuberculosis (M.tb), the causative agent of tuberculosis (TB), has remained the largest killer among infectious diseases for over a century. The increasing emergence of drug resistant varieties such as the ...
    • On The Structure of Proper Holomorphic Mappings 

      Jaikrishnan, J (2017-09-28)
      The aim of this dissertation is to give explicit descriptions of the set of proper holomorphic mappings between two complex manifolds with reasonable restrictions on the domain and target spaces. Without any restrictions, ...
    • A Posteriori Error Analysis of Discontinuous Galerkin Methods for Elliptic Variational Inequalities 

      Porwal, Kamana (2018-02-15)
      The main emphasis of this thesis is to study a posteriori error analysis of discontinuous Galerkin (DG) methods for the elliptic variational inequalities. The DG methods have become very pop-ular in the last two decades ...
    • Shift-like Automorphisms of Ck 

      Bera, Sayani (2018-01-03)
      We use transcendental shift-like automorphisms of Ck, k > 2 to construct two examples of non-degenerate entire mappings with prescribed ranges. The first example exhibits an entire mapping of Ck, k>2 whose range avoids a ...
    • Shortest Length Geodesics on Closed Hyperbolic Surfaces 

      Sanki, Bidyut (2018-01-31)
      Given a hyperbolic surface, the set of all closed geodesics whose length is minimal form a graph on the surface, in fact a so called fat graph, which we call the systolic graph. The central question that we study in this ...
    • Some Problems in Multivariable Operator Theory 

      Sarkar, Santanu (2017-12-10)
      In this thesis we have investigated two different types of problems in multivariable operator theory. The first one deals with the defect sequence for contractive tuples and maximal con-tractive tuples. These condone deals ...