partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

this paper is a continuation of [uniformities and covering properties for partial frames (i)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. after presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...

This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...

When applied to multimass velocity-map imaging data, covariance analysis reveals correlations between different fragment ions formed from the same parent molecule and can provide detailed insights into fragmentation dynamics. Covariances time-of-flight signals for two show that they are in event, while covariances their images, often referred as “recoil-frame covariances”, reveal details of cor...

We present an efficient implementation of a video streaming application on a well suited reconfigurable platform, the Erlangen Slot Machine (ESM) for partial reconfiguration. The architecture of the video streaming is investigated to derive the requirements that should be fulfilled by a viable partial reconfigurable platform. Various edge detection methods are implemented on the same structure ...

Recent video captioning work improves greatly due to the invention of various elaborate model architectures. If multiple models are combined into a unified framework not only by simple more ensemble, and each can benefit from other, final might be boosted further. Jointly training have been explored in previous works. In this paper, we propose novel Augmented Partial Mutual Learning (APML) meth...