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.

5695 Publications


1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138. doi:10.1016/0304-3940(94)90469-3
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 1994;13(1):55-66. doi:10.1016/0896-6273(94)90459-6
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: Unknown; 1994:36-44.
View | Download (ext.)
 

1994 | 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
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View | DOI
 

1994 | 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 (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 1994;60(1):199-211. doi:10.1016/0306-4522(94)90215-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto Y, Shigemoto R, Namba T, et al. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 1994;62(3):919-928. doi:10.1016/0306-4522(94)90483-9
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 1994;266(5):F823-F828.
View
 

1994 | Journal Article | IST-REx-ID: 4179
Leingärtner A, Heisenberg C, 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.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge L, Barton NH. Evolution of aging: Testing the theory using Drosophila. Genetica. 1994;91(1-3):89-98. doi:10.1007/BF01435990
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto Y, Hamba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 1994;266(5 part 2):F823-F828.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 1994;77(3):361-369. doi:10.1016/0092-8674(94)90151-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160. doi:10.1002/cne.903470112
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 1994;76(2):541-566. doi:10.1215/S0012-7094-94-07619-9
View | DOI
 

1994 | 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
 

1994 | Journal Article | IST-REx-ID: 3475   OA
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
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg C, Cooper J, Berke J, Sofroniew M. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 1994;5(4):413-416.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 1994;344(2-3):109-116. doi:10.1016/0014-5793(94)00370-X
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. Induction mechanism of long term depression in cultured Purkinje neurons. In: Vol 15. Biomedical Research Foundation; 1994:79-81.
View
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 1994;269(2):1231-1236.
View
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 1994;12(6):1245-1255. doi:10.1016/0896-6273(94)90441-3
View | DOI
 

1994 | 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.
View | Download (ext.)
 

1994 | 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.
View | Download (ext.)
 

1994 | 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
 

1994 | 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
 

1994 | 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
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
View | DOI
 

1993 | 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.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi Y, Momiyama A, Takahashi T, et al. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 1993;366(6456):687-690. doi:10.1038/366687a0
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 1993;40(3):223-231. doi:10.1109/82.222823
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner H, Tan T. An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry. 1993;10(1):197-213. doi:10.1007/BF02573974
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 1993;10(1):183-196. doi:10.1007/BF02573973
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm D, Castrén E, Tsoulfas P, et al. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 1993;122(2):443-450. doi:10.1083/jcb.122.2.443
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. Optimality, mutation and the evolution of ageing. Nature. 1993;362:305-311. doi:10.1038/362305a0
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 1993;49(4):675-680.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience. 1993;53(4):1009-1018. doi:10.1016/0306-4522(93)90485-X
View | DOI
 

1993 | 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
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös L. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 1993;29(3):219-240. doi:10.1007/BF00761110
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. Adaptation and the “shifting balance.” Genetical Research. 1993;61(1):57-74. doi:10.1017/S0016672300031098
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 1993;3:250-269. doi:10.1159/000154691
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 1993;22(2):418-429. doi:10.1137/0222031
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45.
View
 

1993 | Journal Article | IST-REx-ID: 4589
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed