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.
8920 Publications
1994 |
Published |
Journal Article |
IST-REx-ID: 3475 |
Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197. doi:10.1113/jphysiol.1994.sp020287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 3476 |
Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 1994;14(8):4613-4638. doi:10.1523/JNEUROSCI.14-08-04613.1994
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi:10.1016/0896-6273(94)90444-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Conference Paper |
IST-REx-ID: 3550
Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: Proceedings of the 6th Canadian Conference on Computational Geometry. ; 1994:36-44.
View
1994 |
Published |
Journal Article |
IST-REx-ID: 3641
Barton NH. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 1994;64(3):199-208. doi:10.1017/S0016672300032857
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 3642 |
Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 1994;138(3):913-941. doi:10.1093/genetics/138.3.913
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 4032
Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Selecting heavily covered points. SIAM Journal on Computing. 1994;23(6):1138-1151. doi:10.1137/S0097539790179919
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4037 |
Edelsbrunner H, Mücke E. Three-dimensional alpha shapes. ACM Transactions on Graphics. 1994;13(1):43-72. doi:10.1145/174462.156635
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 1994;11(2):116-132. doi:10.1007/BF01182771
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4039
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. Algorithmica. 1994;12(1):54-68. doi:10.1007/BF01377183
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4179 |
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830. doi:10.1016/s0021-9258(17)42186-7
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4202
Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 1994;5(4):413-416. doi:10.1097/00001756-199401120-00010
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4501 |
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. Information and Computation. 1994;112(2):273-337. doi:10.1006/inco.1994.1060
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 2487
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 1993;335(2):252-266. doi:10.1002/cne.903350209
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2536 |
Nakajima Y, Iwakabe H, Akazawa C, et al. Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. 1993;268(16):11868-11873. doi:10.1016/S0021-9258(19)50280-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2537 |
Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 1993;13(4):1372-1378. doi:10.1523/JNEUROSCI.13-04-01372.1993
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC