16 indexed results
In this paper, we present a formalization of Kozen's propositional modal $μ$-calculus, in the Calculus of Inductive Constructions. We address
We propose a model for high-Tc superconductors that includes both the spin fluctuations of the Cu++ magnetic ions and of
We investigate the dark halo lens mass function (MF) for a wide class of spheroidal non singular isothermal models comparing
The only way to detect planets around stars at distances of several kpc is by (photometric or astrometric) microlensing observations.
We present a summary of the applications of duality to Donaldson-Witten theory and its generalizations. Special emphasis is made on
We study the effects of disorder in two-dimensional quantum antiferromagnets on a square lattice, within the nonlinear sigma model approach,
We review the string/gauge theory duality relating Chern-Simons theory and topological strings on noncompact Calabi-Yau manifolds, as well as its
We study the framing dependence of the Wilson loop observable of U(N) Chern-Simons gauge theory at large N. Using proposed
In these lecture notes for the Les Houches School on Applications of Random Matrices in Physics we give an introduction
A continuous field theory which describes the process of doping in high-T$_c$ superconductors of the YBCO-type is presented. It is
We generalize recent results on tachyon condensation in boundary string field theory to the superstring.
We analyze the possible soft breaking of $N=2$ supersymmetric Yang-Mills theory with and without matter flavour preserving the analyticity properties
An effective time--dependent cosmological constant can be recovered for higher--order theories of gravity by extending to these ones the no--hair
Quantum Electrodynamics can be formulated as the theory of an antisymmetric tensor gauge field. In this formulation the topological current
I review some recent results on four-manifold invariants which have been obtained in the context of topological quantum field theory.
We study conditions on the topological D-branes of types A and B obtained by requiring a proper matching of the