Lactoferrin researchers descend on Nagoya Castle

Title: the Castle on the Hill the Castle on the Hill

A simple example of a stochastic game with irreversibility is studied and it is shown that the folk theorem fails in a robust way. In this game of Castle on the Hill, for a broad range of discount factors, including those close to one, equilibrium is unique. Moreover, the equilibrium for large discount factors is Pareto dominated by the equilibrium for low discount factors. A unique cyclic equi...

Castle Landenberg

In this paper we demonstrate the workflow of 3D modelling and photorealistic texture mapping based on close range imagery acquired with a mini-UAV (Unmanned Aerial Vehicle) and in terrestrial mode. For generation of a highly accurate 3D model, a combined photogrammetric processing of these images was required. The conducted workflow consists of the following steps: project planning, flight plan...

Nagoya Termination Tool

This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to th...

Aquarii : how CVs descend from supersoft binaries

AE Aquarii is a propeller system. It has the shortest spin period among cataclysmic variables, and this is increasing on a 10 yr timescale. Its UV spectrum shows very strong carbon depletion vs nitrogen and its secondary mass indicates a star far from the zero–age main sequence. We show that these properties strongly suggest that AE Aqr has descended from a supersoft X–ray binary. We calculate ...

Sixth Annual Castle Conference