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.

5255 Publications


1994 | Journal Article | IST-REx-ID: 2552
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2, pp. 135–138, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1, pp. 55–66, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and algorithms),” presented at the CCCG: Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4039
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” Algorithmica, vol. 12, no. 1, pp. 54–68, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, vol. 863, pp. 351–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4591
R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1, pp. 181–204, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4503
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2, pp. 193–244, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3, pp. 240–250, 1994.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” Neuroscience, vol. 60, no. 1, pp. 199–211, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol. 62, no. 3, pp. 919–928, 1994.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 4299
L. Partridge and N. H. Barton, “Evolution of aging: Testing the theory using Drosophila,” Genetica, vol. 91, no. 1–3, pp. 89–98, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4179
A. Leingärtner, C. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” Journal of Biological Chemistry, vol. 269, no. 2, pp. 828–830, 1994.
View
 

1994 | Conference Paper | IST-REx-ID: 4617
R. Alur et al., “The algorithmic analysis of hybrid systems,” presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, 1994, vol. 199, pp. 331–351.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1, pp. 150–160, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2713
L. Erdös, “Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator,” Duke Mathematical Journal, vol. 76, no. 2, pp. 541–566, 1994.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 2554
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, and S. Nakanishi, “Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells,” Cell, vol. 77, no. 3, pp. 361–369, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3641
N. H. Barton, “The reduction in fixation probability caused by substitutions at linked loci,” Genetical Research, vol. 64, no. 3, pp. 199–208, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475   OA
D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” Journal of Physiology, vol. 479, pp. 183–197, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
C. Heisenberg, J. Cooper, J. Berke, and M. Sofroniew, “NMDA potentiates NGF-induced sprouting of septal cholinergic fibres,” Neuroreport, vol. 5, no. 4, pp. 413–416, 1994.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
R. Alur and T. A. Henzinger, “Finitary fairness,” presented at the LICS: Logic in Computer Science, 1994, pp. 52–61.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
L. A. Sazanov and J. Jackson, “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, vol. 344, no. 2–3, pp. 109–116, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 2548
T. Hirano, K. Kasono, R. Shigemoto, and S. Nakanishi, “Induction mechanism of long term depression in cultured Purkinje neurons,” presented at the Unknown (0388-6107), 1994, vol. 15, no. SUPPL. 1, pp. 79–81.
View
 

1994 | Journal Article | IST-REx-ID: 2550
N. Okamoto et al., “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” Journal of Biological Chemistry, vol. 269, no. 2, pp. 1231–1236, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2555
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells,” Neuron, vol. 12, no. 6, pp. 1245–1255, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642
M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” Genetics, vol. 138, no. 3, pp. 913–941, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” Journal of Neuroscience, vol. 14, no. 8, pp. 4613–4638, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete & Computational Geometry, vol. 12, no. 1, pp. 281–289, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” ACM Transactions on Graphics, vol. 13, no. 1, pp. 43–72, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” presented at the CONCUR: Concurrency Theory, 1994, vol. 836, pp. 162–177.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2, pp. 273–337, 1994.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4,” Journal of Neuroscience, vol. 13, no. 4, pp. 1372–1378, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Y. Hayashi et al., “Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb,” Nature, vol. 366, no. 6456, pp. 687–690, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2, pp. 127–136, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
T. Sziranyi and J. L. Csicsvari, “High-speed character recognition using a dual cellular neural network architecture (CNND),” IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, vol. 40, no. 3, pp. 223–231, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
H. Edelsbrunner and T. Tan, “An upper bound for conforming Delaunay triangulations,” Discrete & Computational Geometry, vol. 10, no. 1, pp. 197–213, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete & Computational Geometry, vol. 10, no. 1, pp. 183–196, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
D. Lindholm et al., “Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation,” Journal of Cell Biology, vol. 122, no. 2, pp. 443–450, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362, pp. 305–311, 1993.
View | DOI
 

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

1993 | Journal Article | IST-REx-ID: 2540
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat,” Neuroscience, vol. 53, no. 4, pp. 1009–1018, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2487
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “ Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study,” Journal of Comparative Neurology, vol. 335, no. 2, pp. 252–266, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” Letters in Mathematical Physics, vol. 29, no. 3, pp. 219–240, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1, pp. 57–74, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” Cellular Physiology and Biochemistry, vol. 3, pp. 250–269, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2, pp. 418–429, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
 

1993 | Journal Article | IST-REx-ID: 4589
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1, pp. 35–77, 1993.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” presented at the RTSS: Real-Time Systems Symposium, 1993, pp. 2–11.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed