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.

6487 Publications


1992 | Journal Article | IST-REx-ID: 2531
Shigemoto, Ryuichi, et al. “Expression of the MRNA for the Rat NMDA Receptor (NMDAR1) in the Sensory and Autonomic Ganglion Neurons.” Neuroscience Letters, vol. 144, no. 1–2, Elsevier, 1992, pp. 229–32, doi:10.1016/0304-3940(92)90756-W.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, et al. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research, vol. 52, no. 14, American Association for Cancer Research, 1992, pp. 3972–79.
View
 

1992 | Journal Article | IST-REx-ID: 2533
Abe, Takaaki, et al. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGluR5 Coupled to Inositol Phosphate/Ca2+ Signal Transduction.” Journal of Biological Chemistry, vol. 267, no. 19, American Society for Biochemistry and Molecular Biology, 1992, pp. 13361–68.
View
 

1992 | Journal Article | IST-REx-ID: 2534
Ishihara, Takeshi, et al. “Functional Expression and Tissue Distribution of a Novel Receptor for Vasoactive Intestinal Polypeptide.” Neuron, vol. 8, no. 4, Elsevier, 1992, pp. 811–19, doi:10.1016/0896-6273(92)90101-I.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Sasai, Yoshiki, et al. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.” Genes and Development, vol. 6, no. 12 B, Cold Spring Harbor Laboratory Press, 1992, pp. 2620–34, doi:10.1101/gad.6.12b.2620.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös, László. “On Some Problems of P. Turán Concerning Power Sums of Complex Numbers.” Acta Mathematica Hungarica, vol. 59, no. 1–2, Springer, 1992, pp. 11–24, doi:10.1007/BF00052086.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös, László, and Dao Tuyen. “Central Limit Theorems for the One-Dimensional Rayleigh Gas with Semipermeable Barriers.” Communications in Mathematical Physics, vol. 143, no. 3, Springer, 1992, pp. 451–66, doi:10.1007/BF02099260.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, Leonid A., and Sergei Zaǐtsev. “Effect of Superlow Doses (10(-18)-10-(-14) M) of Biologically Active Substances: General Rules, Features, and Possible Mechanisms.” Biokhimiya, vol. 57, no. 10, Izdatel’stvo Nauka, 1992, pp. 1443–60.
View
 

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, Herbert, et al. “An O(N^2 Log n) Time Algorithm for the MinMax Angle Triangulation.” SIAM Journal on Scientific Computing, vol. 13, no. 4, Society for Industrial and Applied Mathematics , 1992, pp. 994–1008, doi:10.1137/0913058.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle, Bernard, and Herbert Edelsbrunner. “An Optimal Algorithm for Intersecting Line Segments in the Plane.” Journal of the ACM, vol. 39, no. 1, ACM, 1992, pp. 1–54, doi:10.1145/147508.147511.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner, Herbert, et al. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” Theoretical Computer Science, vol. 92, no. 2, Elsevier, 1992, pp. 319–36, doi:10.1016/0304-3975(92)90319-B.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, Alok, et al. “Optimal Time Bounds for Some Proximity Problems in the Plane.” Information Processing Letters, vol. 42, no. 1, Elsevier, 1992, pp. 55–60, doi:10.1016/0020-0190(92)90133-G.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, et al. Edge Insertion for Optimal Triangulations. Vol. 583, Springer, 1992, pp. 46–60, doi:10.1007/BFb0023816.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner, Herbert. “Guest Editor’s Foreword.” Discrete & Computational Geometry, vol. 8, no. 1, Springer, 1992, pp. 217–217, doi:10.1007/BF02293046.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov, Boris, et al. “The Number of Edges of Many Faces in a Line Segment Arrangement.” Combinatorica, vol. 12, no. 3, Springer, 1992, pp. 261–74, doi:10.1007/BF01285815.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg, Carl-Philipp J., et al. “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons.” Neuroreport, vol. 3, no. 8, Lippincott, Williams & Wilkins, 1992, pp. 685–88.
View
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, Todd, et al. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic Evolution, vol. 46, no. 4, Wiley-Blackwell, 1992, pp. 1129–45.
View | Download (ext.)
 

1992 | Book Review | IST-REx-ID: 4306
Barton, Nicholas H., and Nick Goldman. “Genetics and Geography.” Nature, vol. 357, Nature Publishing Group, 1992, pp. 440–41, doi:10.1038/357440a0.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton, Nicholas H. “The Genetic Consequences of Dispersal.” Animal Dispersal: Small Mammals as a Model, edited by Nils Stenseth and William Lidicker, Chapman Hall, 1992, pp. 37–60.
View
 

1992 | Journal Article | IST-REx-ID: 4308
Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase of Wright’s Shifting Balance.” Evolution; International Journal of Organic Evolution, vol. 46, no. 2, Wiley-Blackwell, 1992, pp. 551–57.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. What Good Are Digital Clocks? Vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. Symbolic Model Checking for Real-Time Systems. IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, et al. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science, vol. 256, no. 5063, American Association for the Advancement of Science, 1992, pp. 1566–70, doi:10.1126/science.1317970.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, Peter M., and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology, vol. 455, Wiley-Blackwell, 1992, pp. 143–71.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun, D., et al. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology, vol. 458, Wiley-Blackwell, 1992, pp. 261–87, doi:10.1113/jphysiol.1992.sp019417.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, et al. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology, vol. 130, Springer, 1992, pp. 149–62, doi:10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications, vol. 1, no. 6, Elsevier, 1992, pp. 305–23, doi:10.1016/0925-7721(92)90009-H.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, Neil, et al. “Variation in Mating Call across the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata.” Evolution, vol. 46, no. 3, Wiley-Blackwell, 1992, pp. 595–607.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, Masayuki, et al. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature, vol. 349, no. 6312, Nature Publishing Group, 1991, pp. 760–65, doi:10.1038/349760a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, Koki, et al. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” Nature, vol. 353, no. 6348, Nature Publishing Group, 1991, pp. 31–37, doi:10.1038/354031a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui, Yukihiko, et al. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” Experimental Brain Research, vol. 85, no. 1, Springer, 1991, pp. 75–84, doi:10.1007/BF00229988.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” Recent Progress in Hormone Research, vol. 46, no. 1, The Endocrine Society, 1991, pp. 59–83.
View
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters, vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. The Benefits of Relaxing Punctuality. ACM, 1991, pp. 139–52.
View
 

1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner, Herbert, and Weiping Shi. “An O(n Log^2 h) Time Algorithm for the Three-Dimensional Convex Hull Problem.” SIAM Journal on Computing, vol. 20, no. 2, SIAM, 1991, pp. 259–69, doi:10.1137/0220016 .
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4052
Chazelle, Bernard, et al. “A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications.” Theoretical Computer Science, vol. 84, no. 1, Elsevier, 1991, pp. 77–105, doi:10.1016/0304-3975(91)90261-Y.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, Herbert, et al. On the Zone Theorem for Hyperplane Arrangements. Vol. 555, Springer, 1991, pp. 108–23, doi:10.1007/BFb0038185.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner, Herbert, and Tiow Tan. A Quadratic Time Algorithm for the Minmax Length Triangulation. IEEE, 1991, pp. 414–23, doi:10.1109/SFCS.1991.185400.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4056
Edelsbrunner, Herbert, and Péter Hajnal. “A Lower Bound on the Number of Unit Distances between the Vertices of a Convex Polygon.” Journal of Combinatorial Theory Series A, vol. 56, no. 2, Elsevier, 1991, pp. 312–16, doi:10.1016/0097-3165(91)90042-F.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner, Herbert. “Corrigendum.” Journal of Computer and System Sciences, vol. 42, no. 2, Elsevier, 1991, pp. 249–51, doi:10.1016/0022-0000(91)90013-U.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, et al. Computing a Face in an Arrangement of Line Segments. SIAM, 1991, pp. 441–48.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, et al. Ray Shooting in Polygons Using Geodesic Triangulations. Vol. 510, Springer, 1991, pp. 661–73, doi:10.1007/3-540-54233-7_172.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov, Boris, et al. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 435–42, doi:10.1007/BF02574700.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. Temporal Proof Methodologies for Real-Time Systems. ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View | DOI | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
View | Download (ext.)
 

Search

Filter Publications