, Studies in economic planning over space and time, North-Holland, 1973. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Spatial Equilibrium Models with GAMS - Kalvelagen (2003) (Correct)
....floor. We introduce explicit excess supply u i and excess demand v j as follows: 16) A complete complementarity formulation would look like: d j free s i free u i p j v j (17) Real world examples of implementations of a spatial equilibrium can be found in [14], 5] 17] 16] 1] 8] and [2] The text [6] has a chapter on price endogeneous models which includes much what is discussed here, in addition to an example in GAMS. ....
, Studies in economic planning over space and time, North-Holland, 1973.
The Nonlinear Schr odinger Equation As a Model Of Superfluidity - Paul Roberts And (Correct)
....consider the negative ion. 14 Paul H. Roberts and Natalia G. Berloff In the Hartree approximation, the equations governing the one particle wavefunction of the condensate, and the wave function of the electron, are a pair of coupled equations suggested by Gross [27] and by Clark [14] [15]: 5 5 (40) 6 5 (41) where and are the mass and single particle energy for the bosons; and are the mass and energy of the electron. The interaction ....
R.C. Clark: in Superfluid Helium ed. J. F. Allen (Amsterdam, North Holland, 1966)
Determination Of Modified Embedded Atom Method Parameters For.. - Baskes (1997) (Correct)
....range of the potential is important for vacancy migration as previously seen for SiC [8] We have also calculated the energy of divacancies both at 1st and 2nd neighbor positions. Little effect of potential is seen. The results for first neighbor binding are in reasonable agreement with experiment [20]. Recently Johnson [21] found that vacancy formation energies are significantly altered near a free surface in a 2D model EAM material. He found that the vacancy formation energy was reduced in the first layer, but increased in the second layer. We have investigated this effect for all four ....
H. Kronmller in Vacancies and Interstitials in Metals, A Seeger, et al. (eds.) North-Holland, Amsterdam, 1970, p. 183.
Gödel's Functional ("Dialectica") Interpretation - Avigad, Feferman (1998) (Correct)
....a classical point of view, equivalent to weak Konig s lemma, to be dealt with in section 7. Brouwer was able to prove the fan theorem using a principle of bar induction which he felt was justified by a constructive interpretation of the terms involved (cf. Beeson [1985] Troelstra and van Dalen [1988]) In a posthumous paper, C. Spector [1962] used a generalization of this principle to justify a computational scheme which he dubbed bar recursion. With this scheme Spector was able to provide a functional interpretation of full second order arithmetic, that is, the theory PA 2 (CA) defined ....
.... recursive (cf. also Kohlenbach [1996b] It is reasonable to conjecture that functional interpretations can be used to obtain similar results for systems of polynomial time computable arithmetic, especially in Godel s Functional Interpretation 377 view of the conservation result of Ferreira [1988,1994], which showed that a suitable version of (WKL) is conservative over S 1 2 for Pi 0 2 formulas (cf. also Cantini [1996] However, the functional B 0 and the relation Bounded(f; k) from the proof above cannot be defined in, say, PV , so new considerations seem to be necessary. If the ....
Constructivism in Mathematics: An Introduction, vol. 1, North-Holland, Amsterdam. H. Weyl
Enumerators of Lambda Terms Are Reducing Constructively - Barendregt (Correct)
....If we have proved in Heytings arithmetic HA that E is an enumerator, then by Statmans result we can prove in Peano s arithmetic PA that E is reducing. The statement that a combinator is a reducing enumerator is Pi 0 2 . Therefore, by a well known result, see e.g. Troelstra and van Dalen [1988], proposition 3.3.5 (ii) it follows that also in HA one can prove that E is reducing. So the reader may wonder why we give an intuitionistic proof of Statmans theorem. The first reason is that there is a difference between knowing that a statement A can be proved intuitionistically and having an ....
Constructivism in Mathematics , vol. I, North-Holland, Amsterdam. Rogers, H.
Superstring dualities, Dirichlet branes and the small scale.. - Douglas (1996) (1 citation) (Correct)
....it before quoting the Lagrangians, to make the point that their field content, which at first sight may seem somewhat arbitrary, has a simple origin whose essence can be summarized fairly briefly. Given these fields, it has been shown that in each case there is a unique low energy Lagrangian [36]. 3.1 Spectrum of superstring theories The motion of a superstring world sheet is governed by a two dimensional quantum field theory, whose degrees of freedom always include a map embedding the world sheet into space time. A specific theory is characterized by the additional degrees of freedom ....
Supergravities in Diverse Dimensions, eds. A. Salam and E. Sezgin; North Holland, 1989.
Relaxation of Crystals with the Quasi-Newton Method - Pfrommer, Coté.. (1998) (Correct)
.... at Gamma from A (s) With a fixed unit cell shape, the enthalpy can be expressed in terms of the displacement vectors u i ; i = 1; N of the N atoms: ffiH = 1 2 N X i;j=1 u i Phi (ij) u j ; 18) where Phi (ij) is the 3 Theta 3 matrix of force constants of second order [17] between atoms i and j. Its relation to the matrix A (s) is A (s) mn = N X i;j=1 (hs (m) i ) T Phi (ij) M i M j ) 1=2 (hs (n) j ) 19) Thus A (s) is the projection of the dynamical matrix at Gamma into the subspace of symmetrypreserving displacement patterns. To ....
A. A. Maradudin in Dynamical Properties of Solids, edited by G. K. Horton and A. A. Maradudin, (North-Holland, Amsterdam, 1974).
Magnetic Moments of the Octet Baryons in a Chiral Quark.. - Georg Wagner (Correct)
....Continuity Equation, Octet Baryon Magnetic Moments and Form Factors, Chiral Symmetry y supported by the BMBF under contract number 06Tu746(2) and by the DFG Graduiertenkolleg MU705 3. While the importance of two body currents for electromagnetic properties of nuclei is clearly established [1], the effect of two body currents inside baryons is not very well understood (see ref. 2] and refs. therein) In this respect, the striking agreement of the naive constituent quark model predictions for the octet baryon magnetic moments (summing up the magnetic moments of three free quarks gives ....
Mesons in Nuclei II, edited by M. Rho and D. Wilkinson, North Holland, New--York, 1979
Monte Carlo Studies of Adsorbed Monolayers: Lattice-Gas.. - Presber, Dünweg, Landau (Correct)
....2) and the disordered phase is Ising like, i.e. the elastic degrees of freedom do not change the universality class. 05.50. q, 05.70.Jk, 64.60.Cn, 64.60.Kw, 68.35.Rh Typeset using REVT E X I. INTRODUCTION The phase behavior of adsorbed monolayers on a substrate has found longstanding interest [1], both experimental [2 4] as well as theoretical [5 14] Usually the theoretical description is done in the framework of lattice gas models, where the substrate is a fixed lattice with fixed adsorption sites which can either be occupied or empty. Such a model is equivalent to an Ising model, ....
Ordering in two Dimensions, edited by S. K. Sinha (North--Holland, Amsterdam, 1981).
QUEST: Content-based Access to Geophysical Databases - Mesrobian, Muntz, Mechoso, .. (Correct)
....of these queries without requiring the scientist to become cognizant of the storage structures and processing strategies involved. Content based access to image databases has become an active area of research in recent years, but is still in its infancy. A sampling of recent work can be found in [1, 2]. The QUBIC project at IBM [3] is an example system that illustrates the state of the art in image retrieval by content, while examples of work in the area of geoscience databases include VIMSYS [4] and Sequoia 2000 [5] As part of a NASA HPCC Grand Challenge effort [Mun92] we have developed a ....
In Visual Database Systems. North Holland, 1992.
An Application of Distributed Solid Modeling: Feature.. - Regli, Gupta, Nau (1994) Self-citation (Feature Manufacturing) (Correct)
No context found.
Advances in Feature Based Manufacturing. Elsevier#North Holland, 1993.
Honest Databases That Can Keep Secrets - Sandhu, Jajodia (1991) (7 citations) Self-citation (Security) (Correct)
No context found.
In Database Security: Status and Prospects, #Landwehr, C.E., editor#, North-Holland, 35-43 #1988#.
An Experimental Evaluation Of The Assumption Of Independence.. - Knight, Leveson (1986) (106 citations) (Correct)
No context found.
Reliability in Electrical and Electronic Components and Systems, North-Holland, pp.. 493-497, 1982.
Computer Simulation Study of Damage and Ablation of.. - Zhigilei, Garrison (1998) (Correct)
No context found.
Ordering in Two Dimensions, North-Holland, Amsterdam, 1980, p. 147.
Development of Semi-coarsening Techniques - de Zeeuw (1996) (1 citation) (Correct)
No context found.
Methods in Linear Algebra #Elsevier Science Publishers B.V. North-Holland, Amsterdam, 1992# 263#281.
Embedding Time Granularity in a Logical.. - Ciapessoni.. (1993) (11 citations) (Correct)
No context found.
A Course in Mathematical Logic, Bell, J., Machover,M.; North-Holland, Amsterdam 1977.
Microprocessor Specification in Hawk - Matthews, Cook, Launchbury (1998) (22 citations) (Correct)
No context found.
In Formal Methods for VLSI Design, J. Staunstrup, Ed. North-Holland, 1990.
Dynamic Management of Heterogenous Resources - Powell, Shapiro, Simão (1998) (Correct)
No context found.
Handbook in Operations Research and Management Science. North Holland, 1995.
Reactive Functional Programming - Kieburtz (1998) (1 citation) (Correct)
No context found.
In IFIP'74 Congress. North Holland, 1974.
On Helping Behavior in Cooperative Environments - Rizzo, Cesta, Miceli (1995) (1 citation) (Correct)
No context found.
In E.Werner, Y.Demazeau (Eds), Decentralized A.I. - 3, North Holland, Amsterdam, The Netherlands. Cesta, A., Miceli, M. (1993). In Search of Help: Strategic Social Knowledge and Plans.
Modal Languages And Bounded Fragments Of Predicate Logic - Andréka, van Benthem, Németi (1996) (4 citations) (Correct)
No context found.
Language in Action., North-Holland, Amsterdam.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC