A disentanglement puzzle consists of mechanically interlinked pieces, and the puzzle is solved by disentangling one piece from another set of pieces. A cast puzzle is a type of disentanglement puzzle, where each piece is a zinc die-casting alloy. In this paper, we consider the generalized cast puzzle problem whose input is the layout of a finite number of pieces (polyhedrons) in the 3-dimension...

A sufficient condition for exact linearization of a nonlinear system via an exponential transformation is obtained as a Lagrange partial differential equation. When its solution can be found, the transformation is determined such that the nonlinear systemis exactly converted into a linear system with arbitrary dynamics. When the transformation is invertible, this technique can be applied to exa...

We define a transformation of models of additivefree propositional linear logic, closely related to de Paiva’s dialectica categories, but with a modified exponential based on Oliva’s dialectica interpretation of higher-order linear logic. As a result of this modification we obtain an elegant factorisation of dialectica models as linear-nonlinear adjunctions. From the point of view of game seman...

This paper presents an incremental method to 3D transformation by VQS structures. For interpolated scaling, rotation and translation between two animation key frames, with constant intervals in size, angle and distance, the proposed approach reduces the VQS transformation cost by more than an half. Moreover, all interpolations for VQS key frames are performed implicitly at no cost. In other wor...

Conditional random field (CRF) is a popular graphical model for sequence labeling. The flexibility of CRF poses significant computational challenges for training. Using existing optimization packages often leads to long training time and unsatisfactory results. In this paper, we develop CRFOPT, a general CRF training package, to improve the efficiency and quality for training CRFs. We propose t...

We introduce a non-linear injective transformation T from the set of non-vanishing normalized Hausdorff moment sequences to the set of normalized Stieltjes moment sequences by the formula T [(an)]n = 1/(a1 · . . . · an). Special cases of this transformation have appeared in various papers on exponential functionals of Lévy processes, partly motivated by mathematical finance. We give several exa...

In this paper we study one-dimensional generalized reflected backward stochastic differential equation with two barriers and stochastic quadratic growth. We prove the existence of a maximal solution when there exists a semimartingale between the barriers L and U , the generator f is continuous with general growth with respect to the variable y and stochastic quadratic growth with respect to the...

Conditional random field (CRF) is a popular graphical model for sequence labeling. The flexibility of CRF poses significant computational challenges for training. Using existing optimization packages often leads to long training time and unsatisfactory results. In this paper, we develop CRFOPT, a general CRF training package, to improve the efficiency and quality for training CRFs. We propose t...