نتایج جستجو برای: higher order meancurvatures

تعداد نتایج: 1774373  

2005
Paul Raymont David Rosenthal

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...

Journal: :J. Log. Algebr. Program. 2005
Hans-Juergen Boehm

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...

Journal: :SIAM J. Scientific Computing 2004
Leonard J. Gray A. V. Phan T. Kaplan

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...

2010

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....

2013
Sandra M. Gollhofer Joachim Wiskemann Martina E. Schmidt Oliver Klassen Cornelia M. Ulrich Jan Oelmann Holger Hof Karin Potthoff Karen Steindorf

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...

2012
Filippo Broggini Roel Snieder

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...

2004
Jesus Orbe Eva Ferreira

This paper investigates original issuers of high yield bonds in Chapter bankruptcy to determine which factors a ect the length of time spent in Chapter In order to do this analysis we propose a exible new duration model the censored partial regression model This model allows us to consider the e ect of some variable on the duration using a nonparametric functional form We nd that the choice of ...

1998
RACHAEL E. GOODHUE

Probability theory is the standard economic representation of uncertainty, although it is not always an accurate one. Fuzzy logic is an alternative representation that does not require individual beliefs regarding the explicit functional form of uncertainty. This paper applies fuzzy logic to an oligopoly trigger pricing game. The fuzzy trigger pricing game reverses the standard cyclical price w...

2003
Haim Levy Enrico De Giorgi Thorsten Hens

Under the assumption of normally distributed returns, we analyze whether the Cumulative Prospect Theory of Tversky and Kahneman (1992) is consistent with the Capital Asset Pricing Model. We find that in every financial market equilibrium the Security Market Line Theorem holds. However, under the specific functional form suggested by Tversky and Kahneman (1992) financial market equilibria do not...

Journal: :Sci. Comput. Program. 2015
Christophe Scholliers Éric Tanter Wolfgang De Meuter

Pre/post contracts for higher-order functions, as proposed by Findler and Felleisen and provided in Racket, allow run-time verification and blame assignment of higher-order functions. However these contracts treat contracted functions as black boxes, allowing verification of only input and output. It turns out that many interesting concerns about the behaviour of a function require going beyond...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید