Results 1  10
of
5,943
TEJ KUMAR KARKI #
"... This paper makes an assessment of urban poverty reduction programmes in three urban poor communities of Kathmandu Valley carried out by a Non Governmental Organization (NGO) called Lumanti Support Group for Shelter. The NGO has carried out women saving and credit programmes, education programmes and ..."
Abstract
 Add to MetaCart
proportion of GDP while the manufacturing sector contributes only 10 per cent to the GDP. The per capita Gross National Income (GNI) is reported at US $ 250 (The World Bank, 2003: Mr. Tej Kumar Karki is an urban planner working in the Department of Urban Development and Building
Andr.tej W. JASINSKI
"... Thermodynamic aspects of Fe~CuS mineralization in black shales: an example from the ForeSudetic copper deposit (Poland) * A relatively simplified calculation method, presented on two and three dimensional diagrams of log GCulog UFcSz Iogfs, for the CuPeS system (T = = 298 K, p = = 1 bar), incl ..."
Abstract
 Add to MetaCart
Thermodynamic aspects of Fe~CuS mineralization in black shales: an example from the ForeSudetic copper deposit (Poland) * A relatively simplified calculation method, presented on two and three dimensional diagrams of log GCulog UFcSz Iogfs, for the CuPeS system (T = = 298 K, p = = 1 bar), includes the regions and fields of stability for chalcocite, digenite., bornite, chalcopyrite, covellite, and pyrite (marcasite). Tho utility of the aforementioned diagrams for the interpretation of sulphide mineralization in black shales is demonstrated with ForeSudetic copper resources as an example.
Braid group actions on derived categories of coherent sheaves
 DUKE MATH. J
, 2001
"... This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety X. The motivation for this is M. Kontsevich’s homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is ..."
Abstract

Cited by 261 (8 self)
 Add to MetaCart
This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety X. The motivation for this is M. Kontsevich’s homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when dim X ≥ 2, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities which lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.
Checking that finite state concurrent programs satisfy their linear specification
 In POPL ’85: Proceedings of the 12th ACM SIGACTSIGPLAN symposium on Principles of programming languages
, 1985
"... We present an algorithm for checking satisfiability of a linear time temporal logic formula over a finite state concurrent program. The running time of the algorithm is exponential in the size of the formula but linear in the size of the checked program. The algorithm yields also a formal proof i ..."
Abstract

Cited by 260 (6 self)
 Add to MetaCart
We present an algorithm for checking satisfiability of a linear time temporal logic formula over a finite state concurrent program. The running time of the algorithm is exponential in the size of the formula but linear in the size of the checked program. The algorithm yields also a formal proof in case the formula is valid over the program. The algorithm has four versions that check satisfiability by unrestricted, impartial, just and fair computations of the given program.
(T/Ej GENERAL CHARACTERISTICS OF JXADRON PRODUCTION AT SPEAR*
, 1977
"... The very first and preliminary data on the production of hadrons by e+e annihilation were presented at the Kiev Conference five years ago(') causing great excitement. These first results from ADONE at Frascati were confirmed and the hadronic nature of the final states was ..."
Abstract
 Add to MetaCart
The very first and preliminary data on the production of hadrons by e+e annihilation were presented at the Kiev Conference five years ago(') causing great excitement. These first results from ADONE at Frascati were confirmed and the hadronic nature of the final states was
Action minimizing invariant measures for positive definite Lagrangian systems
 Math. Z
, 1991
"... In recent years, several authors have studied "minimal " orbits of Hamiltonian systems in two degrees of freedom and of area preserving monotone twist diffeomorphisms. Here, "minimal " means action minimizing. This class of orbits has many interesting properties, as may be seen ..."
Abstract

Cited by 197 (0 self)
 Add to MetaCart
In recent years, several authors have studied "minimal " orbits of Hamiltonian systems in two degrees of freedom and of area preserving monotone twist diffeomorphisms. Here, "minimal " means action minimizing. This class of orbits has many interesting properties, as may be seen in the survey article of Bangert [4]. It is natural to ask if there is any generalization of this class of orbits to Hamiltonian systems in more degrees of freedom. In this article, we propose a generalization to periodic Hamiltonian systems in more degrees of freedom. However, we generalize not the notion of minimal orbit, but the closely related notion of minimal measure, which we introduced in [18]. We obtain two basic results here: an existence theorem for minimal measures, and a regularity theorem which asserts that the minimal measures can be expressed as (partially defined) Lipschitz sections of the tangent bundle. In the sort of generalization that we do here, a major difficulty is finding the right setting. The setting which we propose here has two important features:
Results 1  10
of
5,943