Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Rosen, Dan"'
Publikováno v:
In Signal Processing July 2024 220
Autor:
Rosen, Dan, Wakin, Michael B.
Publikováno v:
In Signal Processing February 2024 215
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in
Externí odkaz:
http://arxiv.org/abs/1405.3426
Autor:
Rosen, Dan
Publikováno v:
Journal of Legal Education, 2017 Jan 01. 66(2), 267-288.
Externí odkaz:
https://www.jstor.org/stable/26402484
Autor:
Rosen, Dan, Saunders, David
Publikováno v:
In Journal of Banking and Finance 2010 34(2):336-349
Autor:
BUCAY, NISSO, ROSEN, DAN
Publikováno v:
The Journal of Risk Finance, 2001, Vol. 2, Issue 3, pp. 35-61.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb043466
Autor:
Mausser, Helmut, Rosen, Dan
Publikováno v:
The Journal of Risk Finance, 2001, Vol. 2, Issue 2, pp. 36-48.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb043460
Autor:
MAUSSER, HELMUT, ROSEN, DAN
Publikováno v:
The Journal of Risk Finance, 2000, Vol. 2, Issue 1, pp. 66-78.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb022948
Autor:
Rosen, Dan, Saunders, David
Publikováno v:
In Journal of Economic Dynamics and Control 2009 33(1):37-52
Autor:
Rosen, Dan, Cormack, Donald E.
Publikováno v:
SIAM Journal on Applied Mathematics, 1995 Jun 01. 55(3), 723-762.
Externí odkaz:
https://www.jstor.org/stable/2102545