Novel mechanized silica nanoparticles incorporating a peptide-based molecular shuttle as a photo-responsive interlocked gatekeeper of nanocontainers are described including the uptake and delivery studies of a model cargo.

The self-complexation of mono-benzimidazole functionalized β-cyclodextrins was investigated. The unique molecular structure employed as supramolecular nanovalves were installed on the external surface of mesoporous silica to assemble mechanized silica nanoparticles, which showed pH-triggered release property.

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on ee-ciently solving domain-speciic problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each c...

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each...