نتایج جستجو برای: higher order methods
تعداد نتایج: 3228048 فیلتر نتایج به سال:
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید