Please note that ISTA 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.
75 Publications
2000 |
Published |
Conference Paper |
IST-REx-ID: 1736
Katsaros G, Lane P, Murphy M. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In: Proceedings of the 2000 IEEE Annual Meeting Conference . Vol 1. IEEE; 2000:27-28. doi:10.1109/LEOS.2000.890656
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1957
Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 2000;302(2):455-464. doi:10.1006/jmbi.2000.4079
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 1958
Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 2000;39(24):7229-7235. doi:10.1021/bi000335t
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Conference Paper |
IST-REx-ID: 2325
Seiringer R. Inequalities for Schrödinger operators and applications to the stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72. doi:10.1090/conm/529
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 2342 |
Seiringer R, Lieb É, Yngvason J. The ground state energy and density of interacting bosons in a trap. In: Proceedings of the International Symposium on Quantum Theory and Symmetries. World Scientific Publishing; 2000:101-110.
View
| Download None (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 2343 |
Baumgartner B, Seiringer R. On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. 2000;54(3):213-226. doi: 10.1023/A:1010978807635
View
| DOI
| Download (ext.)
2000 |
Published |
Journal Article |
IST-REx-ID: 2344 |
Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2000 |
Published |
Conference Paper |
IST-REx-ID: 2418
Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: Proceedings of the 16th Annual Symposium on Computational Geometry. ACM; 2000:50-56. doi:10.1145/336154.336176
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4627
De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Proceedings of the 12th International Conference on Computer Aided Verification. Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger MH. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11893
Henzinger MH. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 2000;29(6):1761-1815. doi:10.1137/s0097539794263907
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 12925
Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3489 |
Kraushaar U, Jonas PM. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 2000;20(15):5594-5607. doi:10.1523/JNEUROSCI.20-15-05594.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3490 |
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 2000;20(22):8290-8297. doi:10.1523/JNEUROSCI.20-22-08290.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3491
Martina M, Vida I, Jonas PM. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 2000;287(5451):295-300. doi:10.1126/science.287.5451.295
View
| DOI
| PubMed | Europe PMC