We study a discretization technique for the parabolic fractional obstacle problem in bounded domains. The fractional Laplacian is realized as the Dirichlet-to-Neumann map for a nonuniformly elliptic equation posed on a semi-infinite cylinder, which recasts our problem as a quasi-stationary elliptic variational inequality with a dynamic boundary condition. The rapid decay of the solution suggest...

We show that the equivalence between the c = 1 non-critical bosonic string and the N = 2 topologically twisted coset SL(2)/U(1) at level one can be checked very naturally on the level of tree-level scattering amplitudes with the use of the Stoyanovsky-RibaultTeschner map, which recasts H 3 correlation functions in terms of Liouville field theory amplitudes. This observation can be applied equal...

While there has been a growing body of work on word embeddings, and recent directions better reflect sense-level representations, evaluation remains a challenge. We propose a method of query inventory generation for embedding evaluation that recasts the principle of subsumption preservation, a desirable property of semantic graph-based similarity measures, as a comparative similarity measure as...

Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We propose a lightweight substructural type system design that recasts the structural rules of weakening and contraction as type classes; we demonstrate this design in a prototype language, Clamp. Clamp supports polymorph...

This paper addresses the issue of matching rigid 3D object points with 2D image points through point registration based on maximum likelihood principle in computer simulated images. Perspective projection is necessary when transforming 3D coordinate into 2D. The problem then recasts into a missing data framework where unknown correspondences are handled via mixture models. Adopting the Expectat...

We show that the equivalence between the c = 1 non-critical bosonic string and the N = 2 topologically twisted coset SL(2)/U(1) at level one can be checked very naturally on the level of tree-level scattering amplitudes with the use of the Stoyanovsky-RibaultTeschner map, which recasts H 3 correlation functions in terms of Liouville field theory amplitudes. This observation can be applied equal...

We show that the equivalence between the c = 1 non-critical bosonic string and the N = 2 topologically twisted coset SL(2)/U(1) at level one can be checked very naturally on the level of tree-level scattering amplitudes with the use of the Stoyanovsky-RibaultTeschner map, which recasts H 3 correlation functions in terms of Liouville field theory amplitudes. This observation can be applied equal...

The "weighted ensemble" method, introduced by Huber and Kim [Biophys. J. 70, 97 (1996)], is one of a handful of rigorous approaches to path sampling of rare events. Expanding earlier discussions, we show that the technique is statistically exact for a wide class of Markovian and non-Markovian dynamics. The derivation is based on standard path-integral (path probability) ideas, but recasts the w...

Abstract: We present a method for optimizing adaptation laws that are generalizations of the LMS algorithm. Timevarying parameters of linear regression models are estimated in situations where the regressors are stationary or have slowly time-varying properties. The parameter variations are modeled as ARIMA-processes and the aim is to use such prior information to provide high performance filte...

Galois theory translates questions about fields into questions about groups. The fundamental theorem of Galois theory states that there is a bijection between the intermediate fields of a field extension and the subgroups of the corresponding Galois group. After a basic introduction to category and Galois theory, this project recasts the fundamental theorem of Galois theory using categorical la...