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

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

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: :Journal of the Korea Society for Industrial and Applied Mathematics 2014

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

1999
Martin Hofmann

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

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

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