ion X → X ′ 〈λx.X〉(t)→ 〈λx.X ′〉(t) +Lambda ¬X → ¬X ′ ¬〈λx.X〉(t)→ ¬〈λx.X ′〉(t) −Lambda Quantification For new variables x1, . . . , xn, ¬φ(x)→ ¬φ1(x) . . . ¬φ(x)→ ¬φn(x) ¬(∀x)φ(x)→ ¬[φ1(x1) ∧ . . . ∧ φn(xn)] −Quant Binding For x not free in X, X → X ′ X → 〈λx.X ′〉(t) +Bind ¬X → ¬X ′ ¬X → ¬〈λx.X ′〉(t) −Bind Definition 5.2 We say Y is a modal Herbrand expansion of X provided there is a formula X∗ ...

The slow roll approximation is studied for cosmological models in Hyperextended Scalar-Tensor Theories of Gravity. A procedure to obtain slow roll solutions in non-minimally coupled gravity is outlined and some examples are provided. An integral condition over the functional form of the non-minimal coupling is imposed in order to obtain intermediate in ationary behavior. e-mail: dtorres@venus. ...

Unfortunately, the incorrect version of [1, Theorem 4.3] was published. The correct version of [1, Theorem 4.3] is given in this paper. By employing the generalized higher-order contingent derivatives of set-valued maps, Wang et al. [1] established a sufficient optimality condition of weakly efficient solutions for (SV P): (SV P) min F(x), s.t. G(x) (−D) = ∅, x ∈ E. Theorem 1 (see [1, Theorem 4...

According to David Rosenthal, a mental state is conscious just in case its subject suitably represents herself as being in that state, where this entails that the mental state " is accompanied by a noninferential, nondispositional, assertoric thought to the effect that one is in that very state " (2002a, p. 410; see also Rosenthal, 1997, p. 742). This assertoric thought, since it is about anoth...

We describe an implementation of the computable (or constructive) real numbers as a pure Java library. To the user, the library interface appears very similar to that of some other numeric types provided by the standard Java library. The primary goal of the implementation is simplicity, so that the implementation could be easily understood, and to allow simple informal correctness arguments. We...

In boundary element analysis, first order function derivatives, e.g., boundary potential gradient or stress tensor, can be accurately computed by evaluating the hypersingular integral equation for these quantities. However, this approach requires a complete integration over the boundary and is therefore computationally quite expensive. Herein it is shown that this method can be significantly si...

10.1 The Chi-square Goodness of Fit Test. The general area of nonparametric statistical inference deals with statistical procedures such as hypothesis testing, point estimation and confidence intervals in problems where the parent distribution has no known functional form. For one reason or another, the chi-square goodness of fit test is considered to be in this area, and so we present it here....

Sandra M. Gollhofer a (email: [email protected]) Joachim Wiskemann a,c,* (email: [email protected]) Martina E. Schmidt a,b (email: [email protected]) Oliver Klassen a (email: [email protected]) Cornelia M. Ulrich e (email: [email protected]) Jan Oelmann d (email: [email protected]) Holger Hof d (email: hof@strahlenth...

A general notion of operad is given, which includes: (1) the operads that arose in algebraic topology in the 1970’s to characterise loop spaces. (2) the higher operads of Michael Batanin [Bat98]. (3) braided and symmetric analogues of Batanin’s operads which are likely to be important in the study of weakly symmetric higher dimensional monoidal categories. The framework of this paper, links tog...

Inverse scattering, Green’s function reconstruction, focusing, imaging and the optical theorem are subjects usually studied as separate problems in different research areas. We show a physical connection between the principles because the equations that rule these scattering principles have a similar functional form. We first lead the reader through a visual explanation of the relationship betw...