![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
An integrated dendrite-free zinc metal electrode for corrosion inhibition in aqueous system
Zinc ion batteries have gotten increasing attention as a potential candidate for lithium-ion batteries, due to their high specific capacity (820 mAh·g−1), energy density, and safety. Inevitably, dendrite and corr...
-
Article
Open AccessRasmussen’s encephalitis is characterized by relatively lower production of IFN-β and activated cytotoxic T cell upon herpes viruses infection
The etiology of Rasmussen's encephalitis (RE), a rare chronic neurological disorder characterized by CD8+ T cell infiltration and unihemispheric brain atrophy, is still unknown. Various human herpes viruses (H...
-
Article
Logic Programs, Compatibility and Forward Chaining Construction
Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion...
-
Article
Consistency Property of Finite FC-Normal Logic Programs
Marek’s forward-chaining construction is one of the important techniques for investigating the non-monotonic reasoning. By introduction of consistency property over a logic program, they proposed a class of lo...