Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.View
2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, et al. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience, vol. 21, no. 8, Society for Neuroscience, 2001, pp. 2687–98.View
2001 | Journal Article | IST-REx-ID: 3540
Hirase, Hajima, et al. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS, vol. 98, no. 16, National Academy of Sciences, 2001, pp. 9386–90, doi:10.1073/pnas.161274398.View | DOI
2001 | Journal Article | IST-REx-ID: 3546
Hirase, Hajima, et al. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience, vol. 21, no. 10, Society for Neuroscience, 2001.View
2000 | Journal Article | IST-REx-ID: 2344 |
Lieb, Élliott, et al. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4, American Physical Society, 2000, pp. 436021–4360213, doi:10.1103/PhysRevA.61.043602.View | DOI | Download (ext.)