We present an algorithm to self-consistently generate mock weak gravitational lensing convergence fields and galaxy distributions in redshift space. three-dimensional cosmic density that follow a log-normal distribution, ray-trace them produce maps. As we the distribution from same manner consistent with ray-tracing, galaxy-convergence cross-power spectrum measured agrees theoretical expectatio...

The paper presents a model of fiscal and monetary policy that evaluates the tradeoff be­ tween higher distortionary labor taxation and higher ination in the resolution of fiscal crises. In the model government debt is domestically held and nominal. Data are presented to show that such debt is now at least as important as external government debt in many key emerg­ ing markets, and that it is a...

in thermal cracking plants, it is desired to apply an optimal temperature profile along the reactor to minimize the operation cost. in this article a simulator is developed by the use of a mathematical model, which describes the static operation of a naphtha thermal cracking pilot plant. the model is used to predict the steady state profiles of the gas temperature and product yields. using a dy...

In Rogerson and Restall’s (J Philos Log 36, 2006, p. 435), the “class of implication formulas known to trivialize (NC)” (NC abbreviates “naïve comprehension”) is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.

We introduce the weak gap property for directed graphs whose vertex set S is a metric space of size n. We prove that, if the doubling dimension of S is a constant, any directed graph satisfying the weak gap property has O(n) edges and total weight O(log n) · wt(MST (S)), where wt(MST (S)) denotes the weight of a minimum spanning tree of S. We show that 2-optimal TSP tours and greedy spanners sa...

Chromatin-modifying factors play key roles in transcription, DNA replication and DNA repair. Post-translational modification of these proteins is largely responsible for regulating their activity. The FACT (facilitates chromatin transcription) complex, a heterodimer of hSpt16 and SSRP1, is a chromatin structure modulator whose involvement in transcription and DNA replication has been reported. ...

AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...

Analytical simulation of the in ation process of in atable structures is key to assessing their robust deployment in a space environment. Although the problem seems to be intractable, a simpliŽ ed Ž nite volume in ation model is developed, which allows discretized description of the gas  ow, pressure variation, and resulting nonlinear large deformation throughout domains of the in atable s...

We introduce the notion of \partial Occam algorithm". A partial Oc-cam algorithm produces a succinct hypothesis that is partially consistent with given examples, where the proportion of consistent examples is a bit more than half. By using this new notion, we propose one approach for obtaining a PAC learning algorithm. First, as shown in this paper, a partial Occam algorithm is equivalent to a ...

Sticky-price models often suggest that relative price distortion is a major cost of in‡ation. We provide an intuition for this: Even at low rates, in‡ation strongly a¤ects price dispersion which in turn has an impact on the economy qualitatively similar to, and of the order of magnitude of, a negative shift in productivity. The utility cost of price dispersion is quanti…ed and its impact on opt...