One of the central problems in the automatic verification of security protocols is that of verifying whether a given protocol leaks secrets or not. It identifies syntactic subclasses of protocols for which the secrecy ...
The low energy properties of many strongly correlated electronic systems can be described by an effective theory in terms of just spin degrees of freedom. One of the simplest interacting model, Heisenberg model has been ...
This thesis is devoted to theoretical study of various aspects of low energy collective excitations in a trapped interacting alkali-metal atomic gases (Bose and Fermi) and of fractional quantum hall systems. An equation ...
An unified approach to study possible connections between the geometry of moving space curves in three dimensional space and integrable nonlinear evolution equations in (1+1) dimensions, has been formulated. This unified ...
The matrix model is an impressive candidate for M-theory (Non perturbative string theory). This thesis investigates the two important aspects of the Physics of Matrix Model, finite temperature matrix model and Fuzzy ...
This thesis aims to develop space efficient structures for some of the most fundamental problems in the area of data structures. The design of data structures that use almost optimal space while supporting the operations ...
The objective of this thesis is twofold. The first is to give simpler more unified treatment, for all the diverse examples of non-trivial nullhomologous cycles. Then this would allow to construct new examples of such ...
Some aspects of black holes in Anti deSitter Space times are studied in this thesis. A semi classical analysis of black holes shows that they also radiate with a thermal spectrum. This together with the fact that black ...
This thesis studies the problem of automated synthesis of controllers and systems against formal specifications. The two central aims are to study these control problems for branching time specifications and to study them ...
Some aspects of coarsening and the associated notion of persistence in a few well-known non-equilibrium processes are studied in this thesis. This thesis consists of 5 chapters. Apart from the introduction chapter, 2nd ...
This thesis concentrates on a few aspects of massive neutrino physics. The effects of matter on neutrino oscillations is described, which are a consequence of massive neutrinos. A short description of the electromagnetic ...
This thesis addresses the following questions and discusses the answers: i) What is the limit in which the classical approximation is exact?; ii) When does the theory itself become classical? (Not just the energetics, ...
This thesis is devoted to the study of ground state and collective properties of a class of mesoscopic systems - quantum confined systems. In quantum confined systems the particles (bosons and fermions) are artificially ...
Some problems in the homogenization of partial differential equations are considered for this study. The process of obtaining the macroscopic or effective properties of materials having heterogeneities on a scale much ...
Duality transformation typically maps the strongly coupled region of one theory to the weakly coupled one of another, making it possible for one to investigate the strongly coupled region of a theory by a perturbative ...
This thesis is a study of the interplay between inertia, dissipation and driving on the dynamics of many-body systems in d-dimensions. The simplest example of a many-body spin system possessing inertial dynamics is the ...
Some aspects of D-brane physics and quantum gravity are studied in this thesis. D-branes on Calabi-Yau manifolds from the point of view of gauged linear sigma models are studied. An appropriate set of boundary conditions, ...
This thesis studies the justification of eigenvalue problems for classical lower dimensional models of linear elastic shells and rods. It is to show that the eigen solutions of the lower dimensional problem is the limit, ...
In many cases while interacting many-body systems, the quantum treatment has to be through approximations. One such aspect is semi-classical approximation. These aspects of quantization in the context of simple examples ...
This thesis presents new results for four problems in the field of Algorithmic and Computational Number Theory. The first gives an improved analysis of algorithms for testing whether a given positive integer n is a perfect ...