Transition metal phosphides (TMPs) have attracted considerable attention as an advanced electrocatalyst for hydrogen evolution reaction (HER). Nevertheless, the catalytic efficiency of single-component TMPs is still restricted that cannot endure long-term running and easy to be corroded especially under harsh conditions. In this work, a multicomponent combined with CoP/Ni2P heteronanoparticles ...

The geometric skeleton is derived from a static object using an implicit ‘directions’ method; an IK skeleton is derived from and used to manipulate the geometric skeleton. The model may be reconstructed from the modified skeleton using implicit distance and convolution methods. Introduction We examine the use of the skeleton to manipulate erstwhile static 3D models. These models may be generate...

We prove that the skeleton of a product of finitely many finite distributive lattices is isomorphic to the product of skeletons of its factors. Thus, it is possible to construct finite distributive lattices with a given directly reducible skeleton by reducing the problem to the skeleton factors. Although not all possible lattices can be obtained this way, we show that it works for the smallest ...

This report presents a survey of performance models for parallel al-gorithmic skeletons. First, higher-order functions (HOFs) are presented according to the modelled skeletons. Next, the corresponding parallel implementations (skeletons) for the HOFs are discussed with the performance models that were constructed for the skeletons.

We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a "‡at" quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra o...

Flaminio and Montagna (2008) enlarged the language of MV-algebras by a unary operation σ, called internal state or a state operator, equationally defined so as to preserve the basic properties of a state in its usual meaning. The resulting class of MV-algebras is called state MV-algebras. Jenča (2007) and Vetterlein (2008), using different approaches, represented MV-algebras through the quotien...

We shall make a survey of the most recent results obtained in connection with the programme of investigating notable categorical equivalences for MV-algebras from a topos-theoretic perspective commenced in [3]. In [3] and [2] we generalize to a topos-theoretic setting two classical equivalences arising in the context of MV-algebras: Mundici’s equivalence [4] between the category of MV-algebras ...