Photocatalysis In article number 2210914, Yannan Xie, Zhiqun Lin, and co-workers review strategies for modulation of electric magnetic fields reactive-phase control, which render robust manipulation to promote the separation transfer photoexcited carriers, thereby lowering photocatalytic reaction energy barrier facilitating mass transfer. Such have garnered much attention in photocatalysis achi...

The objective of this text is to develop the theory of social health insurance (SHI; the expression used especially in the United States is “public health insurance,” which will be viewed as one variant of SHI here). While a good deal is known about the demand and supply of private insurance, the theoretical basis of SHI is much more fragile. Specifically, on the demand side, what are the reaso...

This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that SHI+ is decidable by devising a terminating, sound and complete algorithm for deciding satisfiability of concepts in SHI+ with r...

Brain fractions of adult control (+/+) and shiverer (Shi/Shi) mice were investigated by sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE) and immunoblotting. Immunostaining with specific antisera against rat brain myelin-associated glycoprotein (MAG) was detected at about the 96-kD region of gels in electrophoresed samples of the total homogenate, low-speed supernatant fracti...

The description logic SHI extends the basic description logic ALC with transitive roles, role hierarchies and inverse roles. The known tableau-based decision procedure [9] for SHI exhibit (at least) NEXPTIME behaviour even though SHI is known to be EXPTIME-complete. The automata-based algorithms for SHI often yield optimal worst-case complexity results, but do not behave well in practice since ...