In this paper, we focus on the use of three different techniques that support automatic derivation of video content from raw video data, namely, a spatio-temporal rule-based metho...
We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.
In this note we provide a simple derivation of an explicit formula for the price of an option on a dividend-paying equity when the parameters in the Black
In the early 1990s, Flynn gave an explicit description of the Jacobian of a genus 2 hyperelliptic curve to perform efficient arithmetic on these objects. In this paper, we give a ...
— In this paper, we propose a two-step controller design method with control Lyapunov functions (CLFs) for nonlinear systems with convex input constraints. In the first step, we...