These experiments examined the effects of pre-test intra dorsal hippocampus (intra-CA1) administration of GABAA receptor agonist and antagonist, muscimol and bicuculline respectively, on state-dependent learning induced by lithium. Male NMRI mice were trained in a one-trial step-down inhibitory avoidance task, and immediately after training they received IP injections of either saline (10 mL/kg...

We explore holographic entanglement entropy in ten-dimensional supergravity solutions. It has been proposed that entanglement entropy can be computed in such top-down models using minimal surfaces which asymptotically wrap the compact part of the geometry. We show explicitly in a wide range of examples that the holographic entanglement entropy thus computed agrees with the entanglement entropy ...

The EM algorithm is used extensively in data mining problems that involve uncertainty in the form of missing values or latent variables. It was recently reported in KAIS as being one of the top 10 data mining algorithms. Typical applications include indoor map building, mixture models and image mining. However, as data mining applications extend to deployment beyond traditional desk top machine...

In model checking, abstractions can cause spurious results, which need to be verified in the concrete system to gain conclusive results. Verification based on multi-valued model checking can distinguish conclusive and inconclusive results, while increasing precision over traditional two-valued overand under-abstractions. This paper describes the theory and implementation of multi-valued model c...