Molecular dynamics simulation has been performed to analyze the effect of the presence of gold nanoparticle on dynamics of Kob-Anderson binary Lennard-Jones (BLJ) mixture upon supercooling within the framework of the mode coupling theory of the dynamic glass transition. The presence of gold nanoparticle has a direct effect on the liquid structure and causes the peaks of the radial distribution ...

Abstract Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move the calculus level, turning steps of algorithm into inferences. For calculi that rely on procedures returning large or even infinite sets unifiers, integrating an attractive method dovetailing and inference. This applies, for example, AC-superposition higher-orde...