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

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

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

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

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

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

It is the aim of this paper to advocate the use of functor categories as a semantic foundation of higher-order abstract syntax (HOAS). By way of example, we will show how functor categories can be used for at least the following applications: relating first-order and higher-order abstract syntax (proofs of adequacy) without using reduction rules, justifying induction principles and other axioms...