A new algorithm is introduced which is related to matching pursuit but allows updating more than one coding coefficient per iteration: the updated coefficients correspond to mutually orthogonal elements of the dictionary. Coding experiments on natural images show that the new method achieves the same trade-off as matching pursuit between number of coding coefficients and reconstruction error, b...

We study the natural partial ordering in the set of all tripotents of a real JB∗-triple. We prove some characterizations of real-minimal tripotents and an atomic deocmpostion theorem for real JBW∗-triples is given.

When debugging big ontologies, it can be convenient to isolate the problematic behaviour so that only the relevant part of the ontology will be analysed during the repair. Selecting relevant fragments from an ontology is exactly the subject of study in Ontology Modularisation, while the procedures to make proper changes to parts of logical knowledge bases are the central point of the theory of ...

In a previous paper [1] we presented a method for atomic decomposition with chirped, Gabor functions based on maximum likelihood estimation. In this paper we present the Cramér-Rao lower bounds for estimating the seven chirp parameters, and the results of a simulation showing that our sub-optimal, but computationally tractable, estimators perform well in comparison to the bound at low signal-to...

The receiver operating characteristic (ROC) curve is used for classification between two populations. Usually two independent random samples from the populations with absolutely continuous cumulative distribution functions (CDF) F and G are considered. Then the ROC curve is defined as ROC(t) = 1−G(F−1(1− t)) for 0 < t < 1 if the inverse F−1 exists. Classical ROC curve estimator is based on empi...

This work describes a simple spatial decomposition of the first-order reduced density matrix corresponding to an N-electron system into first-order density matrices, each of them associated to an atomic domain defined in the theory of atoms in molecules. A study of the representability of the density matrices arisen from this decomposition is reported and analyzed. An appropriate treatment of t...

In situ TEM observation and DFT calculation provide an atomic-scale understanding of the electrocatalysis mechanism single-atom catalysts in Na–O 2 nanobattery, where single-atomic Co sites facilitate formation/decomposition Na O .

We provide decomposition and quotienting results for multimodal logic with respect to a composition operator, traditionally used for epistemic models, due to van Eijck et al. (Journal of Applied NonClassical Logics 21(3–4):397–425, 2011), that involves sets of atomic propositions and valuation functions from Kripke models. While the composition operator was originally defined only for epistemic...