Using extension theory and recent results of Elliott and Gong we exhibit new classes of nuclear stably finite C∗-algebras , which have real rank zero and stable rank one, and are classified by K-theoretical data. Various concepts of quasidiagonality are employed to show that these C*-algebras are not inductive limits of (sub)homogeneous C∗-algebras.

This research is focused on the influence of processing temperature on titanium matrix composites reinforced through Ti, Al, and B₄C reactions. In order to investigate the effect of Ti-Al based intermetallic compounds on the properties of the composites, aluminum powder was incorporated into the starting materials. In this way, in situ TixAly were expected to form as well as TiB and TiC. The sp...

Inductive relations offer a powerful and expressive way of writing program specifications while facilitating compositional reasoning. Their widespread use by proof assistant users has made them particularly attractive target for engineering tools such as QuickChick, property-based testing tool Coq which can automatically derive generators values satisfying an inductive relation. However, are ge...

Less targeted and limited solubility of hydrophobic-based drug are one of the serious obstacles in drug delivery system. Thus, new strategies to enhance the solubility of hydrophobic drug and controlled release behaviors would be developed. Herein, curcumin, a model of hydrophobic drug, has been loaded into PEGylated magnetic liposomes as a drug carrier platform for drug controlled release syst...