[{"title":"Fully dynamic cycle-equivalence in graphs","author":[{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H"}],"abstract":[{"text":"Two edges e/sub 1/ and e/sub 2/ of an undirected graph are cycle-equivalent iff all cycles that contain e/sub 1/ also contain e/sub 2/, i.e., iff e/sub 1/ and e/sub 2/ are a cut-edge pair. The cycle-equivalence classes of the control-flow graph are used in optimizing compilers to speed up existing control-flow and data-flow algorithms. While the cycle-equivalence classes can be computed in linear time, we present the first fully dynamic algorithm for maintaining the cycle-equivalence relation. In an n-node graph our data structure executes an edge insertion or deletion in O(/spl radic/n log n) time and answers the query whether two given edges are cycle-equivalent in O(log/sup 2/ n) time. We also present an algorithm for plane graphs with O(log n) update and query time and for planar graphs with O(log n) insertion time and O(log/sup 2/ n) query and deletion time. Additionally, we show a lower bound of /spl Omega/(log n/log log n) for the amortized time per operation for the dynamic cycle-equivalence problem in the cell probe model.< >","lang":"eng"}],"publication":"35th Annual Symposium on Foundations of Computer Science","date_published":"1994-11-01T00:00:00Z","page":"744 - 755","article_processing_charge":"No","conference":{"name":"FOCS: Symposium on Foundations of Computer Science","location":"Santa Fe, NM, United States","end_date":"1994-11-22","start_date":"1994-11-20"},"extern":"1","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","date_updated":"2024-11-06T11:59:32Z","publisher":"Institute of Electrical and Electronics Engineers","citation":{"chicago":"Henzinger, Monika. “Fully Dynamic Cycle-Equivalence in Graphs.” In <i>35th Annual Symposium on Foundations of Computer Science</i>, 744–55. Institute of Electrical and Electronics Engineers, 1994. <a href=\"https://doi.org/10.1109/sfcs.1994.365718\">https://doi.org/10.1109/sfcs.1994.365718</a>.","ama":"Henzinger M. Fully dynamic cycle-equivalence in graphs. In: <i>35th Annual Symposium on Foundations of Computer Science</i>. Institute of Electrical and Electronics Engineers; 1994:744-755. doi:<a href=\"https://doi.org/10.1109/sfcs.1994.365718\">10.1109/sfcs.1994.365718</a>","ieee":"M. Henzinger, “Fully dynamic cycle-equivalence in graphs,” in <i>35th Annual Symposium on Foundations of Computer Science</i>, Santa Fe, NM, United States, 1994, pp. 744–755.","mla":"Henzinger, Monika. “Fully Dynamic Cycle-Equivalence in Graphs.” <i>35th Annual Symposium on Foundations of Computer Science</i>, Institute of Electrical and Electronics Engineers, 1994, pp. 744–55, doi:<a href=\"https://doi.org/10.1109/sfcs.1994.365718\">10.1109/sfcs.1994.365718</a>.","short":"M. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.","apa":"Henzinger, M. (1994). Fully dynamic cycle-equivalence in graphs. In <i>35th Annual Symposium on Foundations of Computer Science</i> (pp. 744–755). Santa Fe, NM, United States: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/sfcs.1994.365718\">https://doi.org/10.1109/sfcs.1994.365718</a>","ista":"Henzinger M. 1994. Fully dynamic cycle-equivalence in graphs. 35th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 744–755."},"scopus_import":"1","_id":"11857","publication_status":"published","publication_identifier":{"isbn":["0-8186-6580-7"]},"doi":"10.1109/sfcs.1994.365718","date_created":"2022-08-16T08:29:08Z","status":"public","oa_version":"None","year":"1994","language":[{"iso":"eng"}],"quality_controlled":"1","day":"01"},{"year":"1994","day":"01","date_updated":"2022-06-09T12:22:16Z","article_type":"original","publisher":"Elsevier","publication_status":"published","pmid":1,"status":"public","intvolume":"        60","extern":"1","author":[{"full_name":"Kaneko, Takeshi","first_name":"Takeshi","last_name":"Kaneko"},{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"publist_id":"4413","date_published":"1994-05-01T00:00:00Z","oa_version":"None","language":[{"iso":"eng"}],"quality_controlled":"1","issue":"1","type":"journal_article","month":"05","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 60(1), 199–211.","apa":"Kaneko, T., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1994). Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. <i>Neuroscience</i>. Elsevier. <a href=\"https://doi.org/10.1016/0306-4522(94)90215-1\">https://doi.org/10.1016/0306-4522(94)90215-1</a>","short":"T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.","mla":"Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” <i>Neuroscience</i>, vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:<a href=\"https://doi.org/10.1016/0306-4522(94)90215-1\">10.1016/0306-4522(94)90215-1</a>.","ieee":"T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” <i>Neuroscience</i>, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.","ama":"Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. <i>Neuroscience</i>. 1994;60(1):199-211. doi:<a href=\"https://doi.org/10.1016/0306-4522(94)90215-1\">10.1016/0306-4522(94)90215-1</a>","chicago":"Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” <i>Neuroscience</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0306-4522(94)90215-1\">https://doi.org/10.1016/0306-4522(94)90215-1</a>."},"scopus_import":"1","acknowledgement":"We are grateful for photographic help of Mr A. Uesugi, and the support of Drs S. Fukuchi, T. Fukuda, R. Hayashi, M. Katsurada, Y. Kitani, K. Kumagai, H. Kuroda, H. Matsubara, H. Matsushima, C. Minakuchi, M. Nishio, G. Niwa, H. Ckla, M. Ohbayashi, S. Ohbayashi, H. Ohtsuka, S. Tamaki, E. Watanabe, K. Yoshino and Y. Yoshino. This work was supported in part by Grants-in-Aid for Scientific Research on Priority Areas 05248207 and 05267104, and Scientific Research (B) 05454658 and (C) 05680658 from the Ministry of Education, Science and Culture of Japan.","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0306452294902151?via%3Dihub"}],"_id":"2488","publication_identifier":{"issn":["0306-4522"]},"doi":"10.1016/0306-4522(94)90215-1","date_created":"2018-12-11T11:57:58Z","article_processing_charge":"No","external_id":{"pmid":["8052413"]},"page":"199 - 211","title":"Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex","volume":60,"publication":"Neuroscience","abstract":[{"lang":"eng","text":"Substance P receptor-expressing neurons in the rat cerebral neocortex were examined by single- and double-immunolabeling methods with an affinity-purified specific antibody to substance P receptor. Substance P receptor immunoreactivity was observed exclusively in non-pyramidal neurons. About a quarter of these substance P receptor-positive neocortical neurons showed intense immunoreactivity, and the other three quarters displayed weak substance P receptor immunoreactivity. The neurons showing intense substance P receptor immunoreactivity were large multipolar cells with a few long aspiny or sparsely-spiny dendrites, and were scattered throughout the neocortical layers except for layer I, and also in the underlying white matter. The weakly immunoreactive neurons were medium-sized multipolar cells with oval to round somata and aspiny varicose dendrites, and were distributed in all cortical layers with a bias to layers II-III and the superficial part of layer V. The double-immunofluorescence study revealed that almost all substance P receptor-positive neurons were immunoreactive for GABA, but negative for glutaminase. Substance P receptor immunoreactivity in GABAergic neocortical neurons were further examined by the double-immunofluorescence method with antibodies to markers for subgroups of GABAergic neurons. Somatostatin immunoreactivity was found in 89% of neurons with intense substance P receptor immunoreactivity, and in 1.5% of neurons with weak substance P receptor immunoreactivity. Neuropeptide Y immunoreactivity was also observed in 92% of neurons with intense immunoreactivity for substance P receptor, and in 1.6% of neurons with weak immunoreactivity for substance P receptor. In contrast, parvalbumin immunoreactivity was seen in 1.3% of neurons with intense substance P receptor immunoreactivity, and in 59% of weak substance P receptor immunoreactivity. Calbindin D28k immunoreactivity was found in 12 and 19% of neurons, respectively, with weak and intense immunoreactivities for substance P receptor. Virtually no cells showing substance P receptor immunoreactivity displayed immunoreactivity for vasoactive intestinal polypeptide or choline acetyltransferase. These results indicate that the neocortical neurons expressing substance P receptor constitute a subpopulation of GABAergic non-pyramidal cells, and are segregated into neurons with intense immunoreactivity and those with weak immunoreactivity for substance P receptor; the vast majority of neurons with intense substance P receptor immunoreactivity contain somatostatin and neuropeptide Y, and the majority of neurons with weak substance P receptor immunoreactivity have parvalbumin."}]},{"intvolume":"       347","extern":"1","date_published":"1994-09-01T00:00:00Z","author":[{"full_name":"Akazawa, Chihiro","first_name":"Chihiro","last_name":"Akazawa"},{"first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444"},{"full_name":"Bessho, Yasumasa","last_name":"Bessho","first_name":"Yasumasa"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"publist_id":"4412","year":"1994","day":"01","pmid":1,"publication_status":"published","status":"public","date_updated":"2022-06-09T12:11:20Z","publisher":"Wiley-Blackwell","article_type":"original","external_id":{"pmid":["7798379"]},"article_processing_charge":"No","page":"150 - 160","volume":347,"abstract":[{"text":"Five N-methyl-D-aspartate (NMDA) receptor subunits have been identified thus far: NR1, NR2A, NR2B, NR2C, and NR2D. Here, we have analyzed the expression patterns of mRNAs for the NMDA receptor subunits in the developing and adult rats by in situ hybridization. The developmental changes of the expression patterns were most salient in the cerebellum. In the external granular layer, hybridization signals of mRNAs for NR1, NR2A, NR2B, and NR2C appeared by postnatal day 3, but no NR2D mRNA was expressed at any developmental stage examined. The NR1 mRNA was expressed in all cerebellar neurons at all developmental stages examined. The signals for the NR2A mRNA appeared in Purkinje cells and granule cells during the second postnatal week. The signals for the NR2B mRNA in granule cells were seen transiently during the first 2 weeks after birth. The signals for NR2C mRNA appeared in granule cells and glial cells during the second postnatal week. The signals for NR2D mRNA appeared transiently in Purkinje cells during the first 8 postnatal days; in adult rats, these were seen in stellate and Golgi cells. In the cerebellar nuclei, mRNAs for NR1, NR2A, NR2B, and NR2D were more or less expressed on postnatal day 0, while expression signals for the NR2C mRNA were first detected in postnatal day 14. Thus, the most conspicuous changes of expression patterns were observed in the cerebellar cortex during the first 2 weeks after birth, when development and maturation of the cerebellum proceed most rapidly.","lang":"eng"}],"publication":"Journal of Comparative Neurology","title":"Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats","quality_controlled":"1","language":[{"iso":"eng"}],"issue":"1","oa_version":"None","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/10.1002/cne.903470112"}],"acknowledgement":"We are grateful to  Mr.  Akira  Uesugi for photographic help and for the support of Drs. Satoru Fukuchi, Toshio Fukuda, Ritsu Hayashi, Mizuho Katsurada, Yutaka Kitani, Keiko Kumagai,  Toshihiko Kuroda,  Hiroshi  Matsubara, Hiroshi Matsushima, Chisato Minakuchi, Masatoshi Nishio, Gonpei  Niwa Hajime Oda, Masahiko  Ohbayashi, Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watan- abe, Kazuo Yoshino, and Toshiaki Yoshino. This work was supported in part by research grants from the Ministry of Education, Science and Culture of Japan.","publication_identifier":{"issn":["0021-9967"]},"_id":"2489","date_created":"2018-12-11T11:57:58Z","doi":"10.1002/cne.903470112","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"09","citation":{"apa":"Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., &#38; Mizuno, N. (1994). Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.903470112\">https://doi.org/10.1002/cne.903470112</a>","ista":"Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.","ama":"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. <i>Journal of Comparative Neurology</i>. 1994;347(1):150-160. doi:<a href=\"https://doi.org/10.1002/cne.903470112\">10.1002/cne.903470112</a>","chicago":"Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1994. <a href=\"https://doi.org/10.1002/cne.903470112\">https://doi.org/10.1002/cne.903470112</a>.","short":"C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.","mla":"Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” <i>Journal of Comparative Neurology</i>, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60, doi:<a href=\"https://doi.org/10.1002/cne.903470112\">10.1002/cne.903470112</a>.","ieee":"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,” <i>Journal of Comparative Neurology</i>, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994."},"scopus_import":"1"},{"issue":"3","quality_controlled":"1","language":[{"iso":"eng"}],"oa_version":"None","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0306452294904839?via%3Dihub"}],"acknowledgement":"This work was supported in part by Grants-in-aid for Scientific Research 05404020, 04255103. 05771975, 05671816 and 05454568 from the Ministry of Education, Science and Culture of Japan and by grants from the Mitsubishi Foundation and the Takeda Science Foundation. We are grateful to Mr Akira Uesugi for photographic help. We also thank Drs Chihiro Akazawa, Hitoshi Ohishi and Masabumi Minami for helpful discussions. ","date_created":"2018-12-11T11:57:58Z","doi":"10.1016/0306-4522(94)90483-9","_id":"2490","publication_identifier":{"issn":["0306-4522"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"10","type":"journal_article","citation":{"ista":"Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.","apa":"Sugimoto, Y., Shigemoto, R., Namba, T., Negishi, M., Mizuno, N., Narumiya, S., &#38; Ichikawa, A. (1994). Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. <i>Neuroscience</i>. Elsevier. <a href=\"https://doi.org/10.1016/0306-4522(94)90483-9\">https://doi.org/10.1016/0306-4522(94)90483-9</a>","short":"Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.","ieee":"Y. Sugimoto <i>et al.</i>, “Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system,” <i>Neuroscience</i>, vol. 62, no. 3. Elsevier, pp. 919–928, 1994.","mla":"Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” <i>Neuroscience</i>, vol. 62, no. 3, Elsevier, 1994, pp. 919–28, doi:<a href=\"https://doi.org/10.1016/0306-4522(94)90483-9\">10.1016/0306-4522(94)90483-9</a>.","ama":"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. <i>Neuroscience</i>. 1994;62(3):919-928. doi:<a href=\"https://doi.org/10.1016/0306-4522(94)90483-9\">10.1016/0306-4522(94)90483-9</a>","chicago":"Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi, Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” <i>Neuroscience</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0306-4522(94)90483-9\">https://doi.org/10.1016/0306-4522(94)90483-9</a>."},"page":"919 - 928","external_id":{"pmid":["7870313"]},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Distribution of the messenger RNA for the prostaglandin E receptor subtype EP3 was investigated by in situ hybridization in the nervous system of the mouse. The hybridization signals for EP3 were widely distributed in the brain and sensory ganglia and specifically localized to neurons. In the dorsal root and trigeminal ganglia, about half of the neurons were labeled intensely. In the brain, intensely labeled neurons were found in Ammon's horn, the preoptic nuclei, lateral hypothalamic area, dorsomedial hypothalamic nucleus, lateral mammillary nucleus, entopeduncular nucleus, substantia nigra pars compacta, locus coeruleus and raphe nuclei. Moderately labeled neurons were seen in the mitral cell layer of the main olfactory bulb, layer V of the entorhinal and parasubicular cortices, layers V and VI of the cerebral neocortex, nuclei of the diagonal band, magnocellular preoptic nucleus, globus pallidus and lateral parabrachial nucleus. In the thalamus, moderately labeled neurons were distributed in the anterior, ventromedial, laterodorsal, paraventricular and central medial nuclei. Based on these distributions, we suggest that EP3 not only mediates prostaglandin E2 signals evoked by blood-borne cytokines in the areas poor in the blood-brain barrier, but also responds to those formed intrinsically within the brain to modulate various neuronal activities. Possible EP3 actions are discussed in relation to the reported neuronal activities of prostaglandin E2 in the brain."}],"publication":"Neuroscience","volume":62,"title":"Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system","year":"1994","day":"01","status":"public","pmid":1,"publication_status":"published","date_updated":"2022-06-09T11:56:23Z","publisher":"Elsevier","article_type":"original","intvolume":"        62","extern":"1","date_published":"1994-10-01T00:00:00Z","publist_id":"4411","author":[{"full_name":"Sugimoto, Yukihiko","first_name":"Yukihiko","last_name":"Sugimoto"},{"first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444"},{"last_name":"Namba","first_name":"Tsunehisa","full_name":"Namba, Tsunehisa"},{"full_name":"Negishi, Manabu","first_name":"Manabu","last_name":"Negishi"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"},{"first_name":"Shuh","last_name":"Narumiya","full_name":"Narumiya, Shuh"},{"full_name":"Ichikawa, Atsushi","first_name":"Atsushi","last_name":"Ichikawa"}]},{"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-0348-7330-7_8"}],"doi":"10.1007/978-3-0348-7330-7_8","date_created":"2018-12-11T11:58:18Z","publication_identifier":{"isbn":["9783034873321"]},"_id":"2545","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"01","type":"book_chapter","scopus_import":"1","citation":{"apa":"Nakanishi, S., Masu, M., Bessho, Y., Nakajima, Y., Hayashi, Y., &#38; Shigemoto, R. (1994). Molecular diversity of glutamate receptors and their physiological functions. In <i>Experientia Supplementum</i> (Vol. 71, pp. 71–80). Birkhäuser. <a href=\"https://doi.org/10.1007/978-3-0348-7330-7_8\">https://doi.org/10.1007/978-3-0348-7330-7_8</a>","ista":"Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994.Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. vol. 71, 71–80.","ama":"Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. Molecular diversity of glutamate receptors and their physiological functions. In: <i>Experientia Supplementum</i>. Vol 71. Birkhäuser; 1994:71-80. doi:<a href=\"https://doi.org/10.1007/978-3-0348-7330-7_8\">10.1007/978-3-0348-7330-7_8</a>","chicago":"Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” In <i>Experientia Supplementum</i>, 71:71–80. Birkhäuser, 1994. <a href=\"https://doi.org/10.1007/978-3-0348-7330-7_8\">https://doi.org/10.1007/978-3-0348-7330-7_8</a>.","short":"S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.","mla":"Nakanishi, Shigetada, et al. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” <i>Experientia Supplementum</i>, vol. 71, Birkhäuser, 1994, pp. 71–80, doi:<a href=\"https://doi.org/10.1007/978-3-0348-7330-7_8\">10.1007/978-3-0348-7330-7_8</a>.","ieee":"S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” in <i>Experientia Supplementum</i>, vol. 71, Birkhäuser, 1994, pp. 71–80."},"quality_controlled":"1","language":[{"iso":"eng"}],"oa_version":"None","publication":"Experientia Supplementum","abstract":[{"text":"Glutamate receptors play an important role in many integrative brain functions and in neuronal development. We report the molecular diversity of NMDA receptors and metabotropic glutamate receptors on the basis of our studies of molecular cloning and characterization of the diverse members of these receptors. The NMDA receptors consist of two distinct types of subunits. NMDAR1 possesses all properties characteristic of the NMDA receptor-channel complex, whereas the four NMDAR2 subunits, termed NMDAR2A-2D, show no channel activity but potentiate the NMDAR1 activity and confer functional variability by different heteromeric formations. The NMDA receptor subunits are considerably divergent from the other ligand-gated ion channels, and the structural architecture of these subunits remains elusive. The mGluRs form a family of at least seven different subtypes termed mGluR1-mGluR7. These receptor subtypes have, seven transmembrane segments and possess a large extracellular domain at their N-terminal regions. The seven mGluR subtypes are classified into three subgroups according to their sequence similarities, signal transduction mechanisms and agonist selectivities: mGluR1/mGluR5, mGluR2/mGluR3 and mGluR4/mGluR6/mGluR7. On the basis of our knowledge of the molecular diversity of the NMDA receptors and mGluRs, we have studied the physiological roles of individual receptor subunits or subtypes. We have shown that K(+)-induced depolarization or NMDA treatment in primary cultures of neonatal cerebellar granule cells induces the functional NMDA receptor and specifically up-regulates NMDAR2A mRNA among the multiple NMDA receptor subunits through the increase in resting intracellular Ca2+ concentrations. Our study demonstrates that the regulation of the specific NMDA receptor subunit mRNA governs the NMDA receptor induction that is thought to play an important role in granule cell survival and death. Analysis of an agonist selectivity and an expression pattern of mGluR6 has indicated that mGluR6 is responsible for synaptic neurotransmission from photoreceptor cells to ON-bipolar cells in the visual system. We have also investigated the function of mGluR2 in granule cells of the accessory olfactory bulb by combining immunoelectron-microscopic analysis with slice-patch recordings on the basis of the identification of a new agonist selective for this receptor subtype. Our results demonstrate that mGluR2 is present at the presynaptic site of granule cells and modulates inhibitory GABA transmission from granule cells to mitral cells. This finding indicates that the mGluR2 activation relieves excited mitral cells from GABA inhibition but maintains the lateral inhibition of unexcited mitral cells, thus resulting in enhancement of the signal-to-noise ratio between the excited mitral cells and their neighboring unexcited mitral cells.","lang":"eng"}],"volume":71,"title":"Molecular diversity of glutamate receptors and their physiological functions","page":"71 - 80","external_id":{"pmid":["8032174"]},"article_processing_charge":"No","status":"public","publication_status":"published","pmid":1,"date_updated":"2022-06-09T10:08:24Z","publisher":"Birkhäuser","year":"1994","day":"01","date_published":"1994-01-01T00:00:00Z","publist_id":"4352","author":[{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"},{"first_name":"Masayuki","last_name":"Masu","full_name":"Masu, Masayuki"},{"full_name":"Bessho, Yasumasa","last_name":"Bessho","first_name":"Yasumasa"},{"full_name":"Nakajima, Yoshiaki","last_name":"Nakajima","first_name":"Yoshiaki"},{"last_name":"Hayashi","first_name":"Yasunori","full_name":"Hayashi, Yasunori"},{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","first_name":"Ryuichi"}],"intvolume":"        71","extern":"1"},{"intvolume":"        15","extern":1,"page":"79 - 81","conference":{"name":"Unknown (0388-6107)"},"abstract":[{"lang":"eng","text":"The induction mechanism of cerebellar long term depression (LTD) has been analysed in a cerebellar culture. Using nitr-5, a photolabile Ca chelator, we demonstrated that an increase in postsynaptic Ca together with glutamate application is sufficient to induce the LTD of glutamate responsiveness in Purkinje cells. It has also been shown that one subtype of genetically defined metabotropic glutamate receptor, mGluR1, is involved in the LTD induction. We raised antibodies which specifically recognized mGluR1 and inactivated its function. The antibodies suppressed the LTD induction in the cultured Purkinje cells."}],"alternative_title":["Biomedical Research"],"volume":15,"date_published":"1994-01-01T00:00:00Z","title":"Induction mechanism of long term depression in cultured Purkinje neurons","publist_id":"4350","author":[{"full_name":"Hirano, Tomoo","first_name":"Tomoo","last_name":"Hirano"},{"last_name":"Kasono","first_name":"Keizo","full_name":"Kasono, Keizo"},{"full_name":"Ryuichi Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"year":"1994","day":"01","issue":"SUPPL. 1","quality_controlled":0,"status":"public","date_created":"2018-12-11T11:58:19Z","publication_status":"published","_id":"2548","date_updated":"2021-01-12T06:58:10Z","month":"01","type":"conference","citation":{"ama":"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.","chicago":"Hirano, Tomoo, Keizo Kasono, Ryuichi Shigemoto, and Shigetada Nakanishi. “Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons,” 15:79–81. Biomedical Research Foundation, 1994.","short":"T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research Foundation, 1994, pp. 79–81.","mla":"Hirano, Tomoo, et al. <i>Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons</i>. Vol. 15, no. SUPPL. 1, Biomedical Research Foundation, 1994, pp. 79–81.","ieee":"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.","apa":"Hirano, T., Kasono, K., Shigemoto, R., &#38; Nakanishi, S. (1994). Induction mechanism of long term depression in cultured Purkinje neurons (Vol. 15, pp. 79–81). Presented at the Unknown (0388-6107), Biomedical Research Foundation.","ista":"Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical Research, vol. 15, 79–81."},"publisher":"Biomedical Research Foundation"},{"page":"249 - 274","article_processing_charge":"No","external_id":{"pmid":["7814667"]},"title":"Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat","publication":"Journal of Comparative Neurology","abstract":[{"lang":"eng","text":"In an attempt to reveal the function sites of substance P (SP) in the central nervous system (CNS), the distribution of SP receptor (SPR) was immunocytochemically investigated in adult rat and compared with that of SP- positive fibers. SPR-like immunoreactivity (LI) was mostly localized to neuronal cell bodies and dendrites. Neurons with intense SPR-LI were distributed densely in the cortical amygdaloid nucleus, hilus of the dentate gyrus, locus ceruleus, rostral half of the ambiguus nucleus, and intermediolateral nucleus of the thoracic cord; moderately in the caudatoputamen, nucleus accumbens, olfactory tubercle, median, pontine, and magnus raphe nuclei, laminae I and III of the caudal subnucleus of the spinal trigeminal nucleus, and lamina I of the spinal cord; and sparsely in the cerebral cortex, basal nucleus of Meynert, claustrum, gigantocellular reticular nucleus, and lobules IX and X of the cerebellar vermis. Neurons with weak to moderate SPR-LI were distributed more widely throughout the CNS. The regional patterns of distribution of SPR-LI were not necessarily the same as those of SP-positive fibers. The entopeduncular nucleus, substantia nigra, and lateral part of the interpeduncular nucleus showed intense SP-LI but displayed almost no SPR-LI. Conversely, the hilus of the dentate gyrus, anterodorsal thalamic nucleus, central nucleus of the inferior colliculus, and dorsal tegmental nucleus showed intense to moderate SPR-LI but contained few axons with SP-LI. These findings confirmed the presence of the 'mismatch' problem between SP and SPR localizations. However, the distribution of SPR- LI was quite consistent with that of the SP-binding activity, which has been studied via autoradiography. This indicates that the sites of SPR-LI revealed in the present study represent most, if not all, sites of SP-binding activity."}],"volume":347,"oa_version":"None","issue":"2","language":[{"iso":"eng"}],"quality_controlled":"1","month":"09","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","scopus_import":"1","citation":{"ista":"Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 347(2), 249–274.","apa":"Nakaya, Y., Kaneko, T., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.903470208\">https://doi.org/10.1002/cne.903470208</a>","ieee":"Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat,” <i>Journal of Comparative Neurology</i>, vol. 347, no. 2. Wiley-Blackwell, pp. 249–274, 1994.","mla":"Nakaya, Yoshifumi, et al. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” <i>Journal of Comparative Neurology</i>, vol. 347, no. 2, Wiley-Blackwell, 1994, pp. 249–74, doi:<a href=\"https://doi.org/10.1002/cne.903470208\">10.1002/cne.903470208</a>.","short":"Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.","chicago":"Nakaya, Yoshifumi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1994. <a href=\"https://doi.org/10.1002/cne.903470208\">https://doi.org/10.1002/cne.903470208</a>.","ama":"Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. <i>Journal of Comparative Neurology</i>. 1994;347(2):249-274. doi:<a href=\"https://doi.org/10.1002/cne.903470208\">10.1002/cne.903470208</a>"},"acknowledgement":"We are grateful for photographic help of Mr. A. Uesugi and the support of Drs. M. Arakawa, S. Fukuchi, T., Fukuda, R. Hayashi, S. Hayashi, S. Imai, M. Katsurada, Y. Kitani, K. Kumagai, H. Kuroda, T. Kuroda, H. Matsubara, J. Matsuoka, H. Matsushima, M. Nishio, G. Niwa, H. Oda, M. Ohbayashi, S. Ohbayashi, H. Ohtsuka, S. Tamaki,  E. Watanabe, and Y. Yoshino. This work was supported in part by Grants-in-Aid for Scientific Research on Priority Areas 05248207 and 05267104 and Scientific  Research (B) 05454658 and (C) 05680658 from the Ministry of Education, Science and Culture of Japan. ","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/10.1002/cne.903470208"}],"date_created":"2018-12-11T11:58:20Z","doi":"10.1002/cne.903470208","_id":"2549","publication_identifier":{"issn":["0021-9967"]},"intvolume":"       347","extern":"1","author":[{"full_name":"Nakaya, Yoshifumi","last_name":"Nakaya","first_name":"Yoshifumi"},{"first_name":"Takeshi","last_name":"Kaneko","full_name":"Kaneko, Takeshi"},{"last_name":"Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"}],"publist_id":"4349","date_published":"1994-09-08T00:00:00Z","year":"1994","day":"08","date_updated":"2022-06-09T09:25:30Z","publisher":"Wiley-Blackwell","article_type":"original","status":"public","pmid":1,"publication_status":"published"},{"date_created":"2018-12-11T11:58:20Z","doi":"10.1016/S0021-9258(17)42247-2","_id":"2550","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0021925817422472?via%3Dihub","open_access":"1"}],"acknowledgement":"We are grateful to Akira Uesugi for photographic assistance.","scopus_import":"1","citation":{"mla":"Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 1231–36, doi:<a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">10.1016/S0021-9258(17)42247-2</a>.","ieee":"N. Okamoto <i>et al.</i>, “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 1231–1236, 1994.","short":"N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.","chicago":"Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 1994. <a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">https://doi.org/10.1016/S0021-9258(17)42247-2</a>.","ama":"Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. <i>Journal of Biological Chemistry</i>. 1994;269(2):1231-1236. doi:<a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">10.1016/S0021-9258(17)42247-2</a>","ista":"Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 269(2), 1231–1236.","apa":"Okamoto, N., Hori, S., Akazawa, C., Hayashi, Y., Shigemoto, R., Mizuno, N., &#38; Nakanishi, S. (1994). Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">https://doi.org/10.1016/S0021-9258(17)42247-2</a>"},"month":"01","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","issue":"2","quality_controlled":"1","language":[{"iso":"eng"}],"oa":1,"oa_version":"None","publication":"Journal of Biological Chemistry","abstract":[{"lang":"eng","text":"A cDNA clone for a new rat metabotropic glutamate receptor termed mGluR7 was isolated through polymerase chain reaction-mediated DNA amplification by using primer sequences conserved among the metabotropic receptor (mGluR) family and by the subsequent screening of a rat forebrain cDNA library. The cloned mGluR7 subtype consists of 915 amino acid residues and exhibits a structural architecture common to the mGluR family with a large extracellular domain preceding the seven putative membrane-spanning domains. mGluR7 shows the highest sequence similarity to mGluR4 and mGluR6 among the members of the mGluR family. Similar to mGluR4 and mGluR6, mGluR7 inhibits forskolin- stimulated cyclic AMP accumulation in response to agonist interaction and potently reacts with L-2-amino-4-phosphonobutyrate and L-serine-O-phosphate in Chinese hamster ovary cells transfected with the cloned cDNA. RNA blot and in situ hybridization analyses of mGluR7 mRNA indicated that it is widely expressed in many neuronal cells of the central nervous system and is thus different from the more limitedly expressed mGluR4 or mGluR6 mRNA. mGluR7 together with mGluR4 thus corresponds to the putative L-2-amino-4- phosphonobutyrate receptor which plays an important role in modulation of glutamate transmission in the central nervous system."}],"volume":269,"title":"Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction","article_processing_charge":"No","page":"1231 - 1236","external_id":{"pmid":["8288585"]},"status":"public","publication_status":"published","pmid":1,"publisher":"American Society for Biochemistry and Molecular Biology","date_updated":"2022-06-08T15:11:44Z","day":"14","year":"1994","date_published":"1994-01-14T00:00:00Z","publist_id":"4348","author":[{"full_name":"Okamoto, Naoyuki","last_name":"Okamoto","first_name":"Naoyuki"},{"last_name":"Hori","first_name":"Seiji","full_name":"Hori, Seiji"},{"full_name":"Akazawa, Chihiro","first_name":"Chihiro","last_name":"Akazawa"},{"full_name":"Hayashi, Yasunori","first_name":"Yasunori","last_name":"Hayashi"},{"last_name":"Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"extern":"1","intvolume":"       269"},{"main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0304394094906025?via%3Dihub"}],"acknowledgement":"The photographic help of Mr. Akira Uesugi is gratefully acknowledged. This work has been supported by research grants from the Ministry of Education, Science and Culture of Japan.","publication_identifier":{"issn":["0304-3940"]},"_id":"2551","doi":"10.1016/0304-3940(94)90602-5","date_created":"2018-12-11T11:58:21Z","type":"journal_article","month":"04","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Akazawa, Chihiro, Hitoshi Ohishi, Yoshiaki Nakajima, Naoyuki Okamoto, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Expression of MRNAs of L-AP4-Sensitive Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” <i>Neuroscience Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0304-3940(94)90602-5\">https://doi.org/10.1016/0304-3940(94)90602-5</a>.","ama":"Akazawa C, Ohishi H, Nakajima Y, et al. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. <i>Neuroscience Letters</i>. 1994;171(1-2):52-54. doi:<a href=\"https://doi.org/10.1016/0304-3940(94)90602-5\">10.1016/0304-3940(94)90602-5</a>","ieee":"C. Akazawa <i>et al.</i>, “Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina,” <i>Neuroscience Letters</i>, vol. 171, no. 1–2. Elsevier, pp. 52–54, 1994.","mla":"Akazawa, Chihiro, et al. “Expression of MRNAs of L-AP4-Sensitive Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” <i>Neuroscience Letters</i>, vol. 171, no. 1–2, Elsevier, 1994, pp. 52–54, doi:<a href=\"https://doi.org/10.1016/0304-3940(94)90602-5\">10.1016/0304-3940(94)90602-5</a>.","short":"C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 171 (1994) 52–54.","apa":"Akazawa, C., Ohishi, H., Nakajima, Y., Okamoto, N., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1994). Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(94)90602-5\">https://doi.org/10.1016/0304-3940(94)90602-5</a>","ista":"Akazawa C, Ohishi H, Nakajima Y, Okamoto N, Shigemoto R, Nakanishi S, Mizuno N. 1994. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 171(1–2), 52–54."},"scopus_import":"1","language":[{"iso":"eng"}],"quality_controlled":"1","issue":"1-2","oa_version":"None","volume":171,"abstract":[{"lang":"eng","text":"Expression patterns of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina were examined by northern blot analysis and in situ hybridization histochemistry. Expression patterns of mGluR4 and mGluR7 mRNAs were quite different from that of mGluR6 mRNA which was expressed at the outer part of the inner nuclear layer. The mGluR4 mRNA was expressed on the cell bodies of the ganglion cells, but not in the inner or outer nuclear layer. The expression of mGluR7 mRNA was observed throughout the entire region of the inner nuclear layer and on the cell bodies of the ganglion cells."}],"publication":"Neuroscience Letters","title":"Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina","external_id":{"pmid":["8084499"]},"page":"52 - 54","article_processing_charge":"No","pmid":1,"publication_status":"published","status":"public","date_updated":"2022-06-08T14:02:11Z","article_type":"original","publisher":"Elsevier","year":"1994","day":"25","date_published":"1994-04-25T00:00:00Z","author":[{"full_name":"Akazawa, Chihiro","last_name":"Akazawa","first_name":"Chihiro"},{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"last_name":"Nakajima","first_name":"Yoshiaki","full_name":"Nakajima, Yoshiaki"},{"full_name":"Okamoto, Naoyuki","last_name":"Okamoto","first_name":"Naoyuki"},{"last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"publist_id":"4346","intvolume":"       171","extern":"1"},{"volume":166,"abstract":[{"lang":"eng","text":"The superficial layers of the superior colliculus (SC) have been known to contain many axons showing substance P-like immunoreactivity (SP-LI). We, therefore, immunohistochemically examined the distribution of SP receptor (SPR) in the superficial layers of the SC in the rat by using a specific antibody against SPR. The majority of SC neurons with SPR-LI were distributed in the zonal and the superficial gray layers, the rest of them were in the optic layer. Electron microscopy revealed that SPR-immunoreaction products in SC neurons were distributed not only in postsynaptic sites, but also in non-synaptic regions of perikaryal and dendritic profiles."}],"publication":"Neuroscience Letters","title":"Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat","article_processing_charge":"No","page":"135 - 138","external_id":{"pmid":["8177489"]},"publication_identifier":{"issn":["0304-3940"]},"_id":"2552","date_created":"2018-12-11T11:58:21Z","doi":"10.1016/0304-3940(94)90469-3","acknowledgement":"The authors are grateful for photographic help of Mr. Akira Uesugi.","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0304394094904693?via%3Dihub"}],"citation":{"ama":"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. <i>Neuroscience Letters</i>. 1994;166(2):135-138. doi:<a href=\"https://doi.org/10.1016/0304-3940(94)90469-3\">10.1016/0304-3940(94)90469-3</a>","chicago":"Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” <i>Neuroscience Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0304-3940(94)90469-3\">https://doi.org/10.1016/0304-3940(94)90469-3</a>.","short":"R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.","mla":"Ogawa Meguro, Reiko, et al. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” <i>Neuroscience Letters</i>, vol. 166, no. 2, Elsevier, 1994, pp. 135–38, doi:<a href=\"https://doi.org/10.1016/0304-3940(94)90469-3\">10.1016/0304-3940(94)90469-3</a>.","ieee":"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,” <i>Neuroscience Letters</i>, vol. 166, no. 2. Elsevier, pp. 135–138, 1994.","apa":"Ogawa Meguro, R., Shigemoto, R., Itoh, K., Konishi, A., &#38; Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(94)90469-3\">https://doi.org/10.1016/0304-3940(94)90469-3</a>","ista":"Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 166(2), 135–138."},"scopus_import":"1","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"01","quality_controlled":"1","language":[{"iso":"eng"}],"issue":"2","oa_version":"None","date_published":"1994-01-31T00:00:00Z","publist_id":"4347","author":[{"full_name":"Ogawa Meguro, Reiko","first_name":"Reiko","last_name":"Ogawa Meguro"},{"last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Itoh, Kazuo","last_name":"Itoh","first_name":"Kazuo"},{"last_name":"Konishi","first_name":"Akira","full_name":"Konishi, Akira"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}],"extern":"1","intvolume":"       166","pmid":1,"publication_status":"published","status":"public","publisher":"Elsevier","article_type":"original","date_updated":"2022-06-08T14:37:30Z","day":"31","year":"1994"},{"year":"1994","day":"01","pmid":1,"publication_status":"published","status":"public","date_updated":"2022-06-07T15:03:51Z","article_type":"original","publisher":"American Physiological Society","intvolume":"       266","extern":"1","date_published":"1994-05-01T00:00:00Z","publist_id":"4345","author":[{"first_name":"Yukihiko","last_name":"Sugimoto","full_name":"Sugimoto, Yukihiko"},{"full_name":"Namba, Tsunehisa","first_name":"Tsunehisa","last_name":"Namba"},{"last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"last_name":"Negishi","first_name":"Manabu","full_name":"Negishi, Manabu"},{"last_name":"Ichikawa","first_name":"Atsushi","full_name":"Ichikawa, Atsushi"},{"last_name":"Narumiya","first_name":"Shuh","full_name":"Narumiya, Shuh"}],"language":[{"iso":"eng"}],"quality_controlled":"1","issue":"5","oa_version":"None","main_file_link":[{"url":"https://journals.physiology.org/doi/abs/10.1152/ajprenal.1994.266.5.F823"}],"acknowledgement":"We thank Drs. Noboru Mizuno, Tsuyoshi Watanabe, Akihide Nakao, Chihiro Akazawa, and Akira Uesugi for invaluable discussions and photographic support. This work was supported in part by Scientific Research Grants-inAid 05404020, 04255103, 05771975, 05671816, and 05454568 from the Ministry of Education, Science and Culture of Japan and by grants from the Mitsubishi Foundation and the Takeda Science Foundation.","_id":"2553","publication_identifier":{"issn":["0363-6127"]},"doi":"10.1152/ajprenal.1994.266.5.F823","date_created":"2018-12-11T11:58:21Z","type":"journal_article","month":"05","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"short":"Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.","mla":"Sugimoto, Yukihiko, et al. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” <i>American Journal of Physiology</i>, vol. 266, no. 5, American Physiological Society, 1994, pp. F823–28, doi:<a href=\"https://doi.org/10.1152/ajprenal.1994.266.5.F823\">10.1152/ajprenal.1994.266.5.F823</a>.","ieee":"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,” <i>American Journal of Physiology</i>, vol. 266, no. 5. American Physiological Society, pp. F823–F828, 1994.","ama":"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. <i>American Journal of Physiology</i>. 1994;266(5):F823-F828. doi:<a href=\"https://doi.org/10.1152/ajprenal.1994.266.5.F823\">10.1152/ajprenal.1994.266.5.F823</a>","chicago":"Sugimoto, Yukihiko, Tsunehisa Namba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” <i>American Journal of Physiology</i>. American Physiological Society, 1994. <a href=\"https://doi.org/10.1152/ajprenal.1994.266.5.F823\">https://doi.org/10.1152/ajprenal.1994.266.5.F823</a>.","ista":"Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 266(5), F823–F828.","apa":"Sugimoto, Y., Namba, T., Shigemoto, R., Negishi, M., Ichikawa, A., &#38; Narumiya, S. (1994). Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. <i>American Journal of Physiology</i>. American Physiological Society. <a href=\"https://doi.org/10.1152/ajprenal.1994.266.5.F823\">https://doi.org/10.1152/ajprenal.1994.266.5.F823</a>"},"scopus_import":"1","page":"F823 - F828","article_processing_charge":"No","external_id":{"pmid":["8203567"]},"volume":266,"abstract":[{"lang":"eng","text":"Distribution of the mRNAs for three subtypes of prostaglandin E (PGE) receptors in the mouse kidney was investigated by in situ hybridization. The mRNA for EP1 subtype, which is coupled to Ca2+ mobilization, was specifically localized to the collecting ducts from the cortex to the papilla. The mRNA for EP2 subtype, which is linked to stimulation of adenylate cyclase, was localized to the glomeruli. The mRNA for EP3 subtype, which is coupled to inhibition of adenylate cyclase, was located densely in the tubules in the outer medulla and in the distal tubules in the cortex. These results exhibit distinct cellular localization of three subtypes of PGE receptor in the kidney and suggest that PGE2 exerts multiple functions via these subtypes expressed in different segments of the nephron."}],"publication":"American Journal of Physiology","title":"Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney"},{"page":"361 - 369","external_id":{"pmid":["8181056"]},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"The retinal bipolar cell receiving glutamate transmission from photoreceptors mediates a key process in segregating visual signals into ON center and OFF center pathways. This transmission involves a G protein- coupled metabotropic glutamate receptor (mGluR). Immunocytochemical and immunoelectron microscopic studies indicate the restricted localization of a specific mGluR subtype, mGluR6, at the postsynaptic site of the rat rod bipolar cell. This specialization is developmentally regulated: mGluR6 is initially distributed in both the soma and dendrites and is finally concentrated on the postsynaptic site. The mGluR6 localization is reversed when photoreceptors degenerate in the mutant rat with retinal dystrophy. Evidence is thus presented indicating specialized, developmentally regulated receptor distribution in the central nervous system and the crucial role of mGluR6 in photoreceptor-bipolar cell synaptic transmission."}],"publication":"Cell","volume":77,"title":"Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells","issue":"3","quality_controlled":"1","language":[{"iso":"eng"}],"oa_version":"None","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0092867494901511?via%3Dihub"}],"acknowledgement":"We thank M. Tachibana for technical advice concerning dissociated bipolar cell preparation, Y. Honda for advice \r\nconcerning RCS rat experiments, and A. Uesugi for photographic assistance. This work is partly supported by research grants from the Ministry of Education, Science, and Culture of Japan and from the Ministry of Health and Welfare of\r\nJapan. ","doi":"10.1016/0092-8674(94)90151-1","date_created":"2018-12-11T11:58:21Z","_id":"2554","publication_identifier":{"issn":["0092-8674"]},"month":"05","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","scopus_import":"1","citation":{"short":"A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.","mla":"Nomura, Akinori, et al. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” <i>Cell</i>, vol. 77, no. 3, Cell Press, 1994, pp. 361–69, doi:<a href=\"https://doi.org/10.1016/0092-8674(94)90151-1\">10.1016/0092-8674(94)90151-1</a>.","ieee":"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,” <i>Cell</i>, vol. 77, no. 3. Cell Press, pp. 361–369, 1994.","ama":"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. <i>Cell</i>. 1994;77(3):361-369. doi:<a href=\"https://doi.org/10.1016/0092-8674(94)90151-1\">10.1016/0092-8674(94)90151-1</a>","chicago":"Nomura, Akinori, Ryuichi Shigemoto, Yasuhisa Nakamura, Naoyuki Okamoto, Noboru Mizuno, and Shigetada Nakanishi. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” <i>Cell</i>. Cell Press, 1994. <a href=\"https://doi.org/10.1016/0092-8674(94)90151-1\">https://doi.org/10.1016/0092-8674(94)90151-1</a>.","ista":"Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. 1994. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 77(3), 361–369.","apa":"Nomura, A., Shigemoto, R., Nakamura, Y., Okamoto, N., Mizuno, N., &#38; Nakanishi, S. (1994). Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/0092-8674(94)90151-1\">https://doi.org/10.1016/0092-8674(94)90151-1</a>"},"intvolume":"        77","extern":"1","date_published":"1994-05-06T00:00:00Z","author":[{"first_name":"Akinori","last_name":"Nomura","full_name":"Nomura, Akinori"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Nakamura, Yasuhisa","last_name":"Nakamura","first_name":"Yasuhisa"},{"first_name":"Naoyuki","last_name":"Okamoto","full_name":"Okamoto, Naoyuki"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"}],"publist_id":"4344","year":"1994","day":"06","status":"public","publication_status":"published","pmid":1,"date_updated":"2022-06-07T14:28:33Z","article_type":"original","publisher":"Cell Press"},{"issue":"6","language":[{"iso":"eng"}],"quality_controlled":"1","oa_version":"None","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0896627394904413?via%3Dihub"}],"acknowledgement":"Correspondence should be addressed to R. S. The photographic help of Mr. Akira Uesugi is gratefully acknowledged. This work has been supported by research grants from Senri Life Science Foundation, the Brain Science Foundation, the Narishige Foundation, and the Ministry of Education, Science, and Culture of Japan. The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby marked \"advertisement” in accordance with 18 USC Section 1734 solely to indicate this fact. ","doi":"10.1016/0896-6273(94)90441-3","date_created":"2018-12-11T11:58:22Z","publication_identifier":{"issn":["0896-6273"]},"_id":"2555","month":"06","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","scopus_import":"1","citation":{"apa":"Shigemoto, R., Abe, T., Nomura, S., Nakanishi, S., &#38; Hirano, T. (1994). Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/0896-6273(94)90441-3\">https://doi.org/10.1016/0896-6273(94)90441-3</a>","ista":"Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 12(6), 1245–1255.","ama":"Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. <i>Neuron</i>. 1994;12(6):1245-1255. doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90441-3\">10.1016/0896-6273(94)90441-3</a>","chicago":"Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” <i>Neuron</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0896-6273(94)90441-3\">https://doi.org/10.1016/0896-6273(94)90441-3</a>.","short":"R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.","ieee":"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,” <i>Neuron</i>, vol. 12, no. 6. Elsevier, pp. 1245–1255, 1994.","mla":"Shigemoto, Ryuichi, et al. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” <i>Neuron</i>, vol. 12, no. 6, Elsevier, 1994, pp. 1245–55, doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90441-3\">10.1016/0896-6273(94)90441-3</a>."},"page":"1245 - 1255","external_id":{"pmid":["7912091 "]},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Antibodies were raised against two distinct extracellular sequences of the rat mGluR1 metabotropic glutamate receptor expressed as bacterial fusion proteins. Both antibodies specifically reacted with mGluR1 in the rat cerebellum and inhibited the mGluR1 activity as assessed by the analysis of glutamate-stimulated inositol phosphate formation in CHO cells expressing mGluR1. Using these antibodies, we examined the role of mGluR1 in the induction of long-term depression in cultured Purkinje cells. In voltage- clamped Purkinje cells, current induced by iontophoretically applied glutamate was persistently depressed by depolarization of the Purkinje cells in conjunction with the glutamate application. The mGluR1 antibodies completely blocked the depression of glutamate-induced current. The results indicate that activation of mGluR1 is necessary for the induction of cerebellar long-term depression and that these mGluR1 antibodies can be used as selective antagonists."}],"publication":"Neuron","volume":12,"title":"Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells","year":"1994","day":"01","status":"public","pmid":1,"publication_status":"published","date_updated":"2022-06-07T13:39:09Z","article_type":"original","publisher":"Elsevier","intvolume":"        12","extern":"1","date_published":"1994-06-01T00:00:00Z","publist_id":"4343","author":[{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Abe, Takaaki","first_name":"Takaaki","last_name":"Abe"},{"first_name":"Sakashi","last_name":"Nomura","full_name":"Nomura, Sakashi"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"},{"full_name":"Hirano, Tomoo","last_name":"Hirano","first_name":"Tomoo"}]},{"citation":{"ama":"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. <i>Neuron</i>. 1994;13(1):55-66. doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90459-6\">10.1016/0896-6273(94)90459-6</a>","chicago":"Ohishi, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” <i>Neuron</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0896-6273(94)90459-6\">https://doi.org/10.1016/0896-6273(94)90459-6</a>.","short":"H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.","ieee":"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,” <i>Neuron</i>, vol. 13, no. 1. Elsevier, pp. 55–66, 1994.","mla":"Ohishi, Hitoshi, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” <i>Neuron</i>, vol. 13, no. 1, Elsevier, 1994, pp. 55–66, doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90459-6\">10.1016/0896-6273(94)90459-6</a>.","apa":"Ohishi, H., Ogawa Meguro, R., Shigemoto, R., Kaneko, T., Nakanishi, S., &#38; Mizuno, N. (1994). Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/0896-6273(94)90459-6\">https://doi.org/10.1016/0896-6273(94)90459-6</a>","ista":"Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 13(1), 55–66."},"scopus_import":"1","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"07","_id":"2557","publication_identifier":{"issn":["0896-6273"]},"date_created":"2018-12-11T11:58:22Z","doi":"10.1016/0896-6273(94)90459-6","acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help. This work has been supported in part by research grants from the Ministry of Education, Science and Culture of Japan. The costs of publication of this article were defrayed in part\r\nby the payment of page charges. This article must therefore be hereby marked “advertisement” in accordance with 18 USC Section 1734 solely to indicate this fact. ","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0896627394904596?via%3Dihub"}],"oa_version":"None","quality_controlled":"1","language":[{"iso":"eng"}],"issue":"1","title":"Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex","volume":13,"abstract":[{"lang":"eng","text":"The distribution of the metabotropic glutamate receptors mGluR2 and mGluR3 was immunohistochemically examined in the rat cerebellar cortex at both light and electron microscope levels. An antibody was raised against a fusion protein containing a C-terminal portion of mGluR2. On immunoblot, the antibody reacted with both mGluR2 and mGluR3 in rat brain. mGluR2/3 immunoreactivity was expressed in cell bodies, dendrites, and axon terminals of Golgi cells, as well as in presumed glial processes. Golgi axon terminals with mGluR2/3 immunoreactivity were often encountered in the vicinity of glutamatergic mossy fiber terminals. The results suggest that transmitter glutamate may exert control influences upon Golgi cells not only through dendritic mGluR2/3, but also through axonal mGluR2/3."}],"publication":"Neuron","page":"55 - 66","external_id":{"pmid":["8043281"]},"article_processing_charge":"No","article_type":"original","publisher":"Elsevier","date_updated":"2022-06-07T13:21:58Z","publication_status":"published","pmid":1,"status":"public","day":"01","year":"1994","author":[{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"full_name":"Ogawa Meguro, Reiko","first_name":"Reiko","last_name":"Ogawa Meguro"},{"last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Kaneko, Takeshi","first_name":"Takeshi","last_name":"Kaneko"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"}],"publist_id":"4342","date_published":"1994-07-01T00:00:00Z","extern":"1","intvolume":"        13"},{"article_processing_charge":"No","page":"541 - 566","volume":76,"publication":"Duke Mathematical Journal","title":"Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator","language":[{"iso":"eng"}],"quality_controlled":"1","issue":"2","oa_version":"None","acknowledgement":"Work supported by the NSF grant PHY90-19433 A02 and by the Alfred Sloan Foundation dissertation fellowship.","main_file_link":[{"url":"https://projecteuclid.org/journals/duke-mathematical-journal/volume-76/issue-2/Estimates-on-stochastic-oscillatory-integrals-and-on-the-heat-kernel/10.1215/S0012-7094-94-07619-9.short"}],"publication_identifier":{"issn":["0012-7094"]},"_id":"2713","date_created":"2018-12-11T11:59:13Z","doi":"10.1215/S0012-7094-94-07619-9","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"11","citation":{"apa":"Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. <i>Duke Mathematical Journal</i>. Duke University Press. <a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">https://doi.org/10.1215/S0012-7094-94-07619-9</a>","ista":"Erdös L. 1994. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 76(2), 541–566.","ama":"Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. <i>Duke Mathematical Journal</i>. 1994;76(2):541-566. doi:<a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">10.1215/S0012-7094-94-07619-9</a>","chicago":"Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” <i>Duke Mathematical Journal</i>. Duke University Press, 1994. <a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">https://doi.org/10.1215/S0012-7094-94-07619-9</a>.","short":"L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.","mla":"Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” <i>Duke Mathematical Journal</i>, vol. 76, no. 2, Duke University Press, 1994, pp. 541–66, doi:<a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">10.1215/S0012-7094-94-07619-9</a>.","ieee":"L. Erdös, “Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator,” <i>Duke Mathematical Journal</i>, vol. 76, no. 2. Duke University Press, pp. 541–566, 1994."},"scopus_import":"1","intvolume":"        76","extern":"1","date_published":"1994-11-01T00:00:00Z","publist_id":"4183","author":[{"last_name":"Erdös","first_name":"László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László"}],"year":"1994","day":"01","publication_status":"published","status":"public","date_updated":"2022-06-03T11:59:06Z","article_type":"original","publisher":"Duke University Press"},{"intvolume":"       344","extern":"1","publist_id":"5134","author":[{"last_name":"Sazanov","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989"},{"first_name":"Julie","last_name":"Jackson","full_name":"Jackson, Julie"}],"date_published":"1994-05-16T00:00:00Z","year":"1994","day":"16","date_updated":"2022-06-09T13:21:50Z","article_type":"original","publisher":"Elsevier","status":"public","publication_status":"published","pmid":1,"page":"109 - 116","article_processing_charge":"No","external_id":{"pmid":["8187868"]},"title":"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","abstract":[{"text":"H+-transhydrogenase (H+-Thase) and NADP-linked isocitrate dehydrogenase (NADP-ICDH) are very active in animal mitochondria but their physiological function is only poorly understood. This is especially so in the case of the heart and muscle, where there are no major consumers of NADPH. We propose here that H+-Thase and NADP-ICDH have a combined function in the fine regulation of the activity of the tricarboxylic acid (TCA) cycle, providing enhanced sensitivy to changes in energy demand. This is achieved through cycling of substrates by NAD-linked ICDH, NADP-linked ICDH and H+-Thase. It is proposed that NAD-ICDH operates in the forward direction of the TCA cycle, but NADP-ICDH is driven in reverse by elevated levels of NADPH resulting from the action of the transmembrane proton electrochemical potential gradient (Δp) on H+-Thase. This has the effect of increasing the sensitivity to allosteric modifiers of NAD-ICDH (NADH, ADP, ATP, Ca2+ etc), potentially giving rise to large changes in the net flux from iso-citrate to α-ketoglutarate. Furthermore, changes in the level of Δp resulting from changes in the demand for ATP would, via H+-Thase, shift the redox state of the NADP pool and this, in turn, would lead to a change in the rate of the reaction catalysed by NADP-ICDH and hence to an additional and complementary effect on the net metabolic flux from isocitrate to α-ketoglutarate. Other consequences of this substrate cycle are, (i) the production of heat at the expense of Δp, which may contribute to thermoregulation in the animal, and (ii) an increased rate of dissipation of Δp (leak).","lang":"eng"}],"publication":"FEBS Letters","volume":344,"oa_version":"Published Version","oa":1,"issue":"2-3","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"05","type":"journal_article","citation":{"chicago":"Sazanov, Leonid A, and Julie 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.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>.","ama":"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. <i>FEBS Letters</i>. 1994;344(2-3):109-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>","mla":"Sazanov, Leonid A., and Julie 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.” <i>FEBS Letters</i>, vol. 344, no. 2–3, Elsevier, 1994, pp. 109–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>.","ieee":"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,” <i>FEBS Letters</i>, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.","short":"L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.","apa":"Sazanov, L. A., &#38; Jackson, J. (1994). 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. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>","ista":"Sazanov LA, Jackson J. 1994. 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. 344(2–3), 109–116."},"main_file_link":[{"open_access":"1","url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2900370-X"}],"acknowledgement":"LAS is grateful to the Wellcome Trust for a fellowship. We should like to thank Prof. R.M. Denton for discussion.","date_created":"2018-12-11T11:54:52Z","doi":"10.1016/0014-5793(94)00370-X","publication_identifier":{"issn":["0014-5793"]},"_id":"1949"},{"abstract":[{"text":"The respiratory burst induced by phorbol myristate acetate in mouse macrophages was inhibited by ultra-low doses (10-15 -10-13 M) of an opioid peptide [d-Ala2] methionine enkephalinamide. The effect disappeared at concentrations above and below this range. The inhibition approached 50% and was statistically significant (P &lt; 0.001). Increasing the time of the opioid incubation with cells brought about a shift in the maximal effect to lower concentrations of the opioid (from 10-13 to 5 · 10-15 M) and led to a decrease in the value of the effect, fully in accord with the previously proposed adaptation mechanism of the action of ultra-low doses.","lang":"eng"}],"publication":"FEBS Letters","volume":355,"title":"Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism","page":"114 - 116","external_id":{"pmid":["7982481"]},"article_processing_charge":"No","doi":"10.1016/0014-5793(94)01109-5","date_created":"2018-12-11T11:54:53Z","_id":"1953","publication_identifier":{"issn":["0014-5793"]},"main_file_link":[{"open_access":"1","url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2901109-5"}],"citation":{"ista":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. 1994. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 355(2), 114–116.","apa":"Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., &#38; Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>","short":"A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.","ieee":"A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism,” <i>FEBS Letters</i>, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.","mla":"Efanov, Alexander, et al. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>, vol. 355, no. 2, Elsevier, 1994, pp. 114–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>.","ama":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. 1994;355(2):114-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>","chicago":"Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>."},"month":"11","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","issue":"2","quality_controlled":"1","language":[{"iso":"eng"}],"oa_version":"Published Version","oa":1,"date_published":"1994-11-28T00:00:00Z","author":[{"last_name":"Efanov","first_name":"Alexander","full_name":"Efanov, Alexander"},{"full_name":"Koshkin, Aleksei","first_name":"Aleksei","last_name":"Koshkin"},{"last_name":"Sazanov","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989"},{"full_name":"Borodulina, O I","first_name":"O I","last_name":"Borodulina"},{"full_name":"Varfolomeev, Sergei","first_name":"Sergei","last_name":"Varfolomeev"},{"last_name":"Zaǐtsev","first_name":"Sergei","full_name":"Zaǐtsev, Sergei"}],"publist_id":"5133","extern":"1","intvolume":"       355","status":"public","pmid":1,"publication_status":"published","article_type":"original","publisher":"Elsevier","date_updated":"2022-06-09T12:58:57Z","day":"28","year":"1994"},{"date_updated":"2022-06-02T09:46:37Z","publisher":"Springer","publication_status":"published","status":"public","year":"1994","day":"01","publist_id":"309","author":[{"full_name":"Kapur, Arjun","first_name":"Arjun","last_name":"Kapur"},{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Manna, Zohar","first_name":"Zohar","last_name":"Manna"},{"full_name":"Pnueli, Amir","last_name":"Pnueli","first_name":"Amir"}],"date_published":"1994-01-01T00:00:00Z","intvolume":"       863","extern":"1","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"01","citation":{"short":"A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.","mla":"Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.” <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, vol. 863, Springer, 1994, pp. 431–54, doi:<a href=\"https://doi.org/10.1007/3-540-58468-4_177\">10.1007/3-540-58468-4_177</a>.","ieee":"A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” in <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, Lübeck, Germany, 1994, vol. 863, pp. 431–454.","ama":"Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>. Vol 863. Springer; 1994:431-454. doi:<a href=\"https://doi.org/10.1007/3-540-58468-4_177\">10.1007/3-540-58468-4_177</a>","chicago":"Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.” In <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, 863:431–54. Springer, 1994. <a href=\"https://doi.org/10.1007/3-540-58468-4_177\">https://doi.org/10.1007/3-540-58468-4_177</a>.","ista":"Kapur A, Henzinger TA, Manna Z, Pnueli A. 1994. Proving safety properties of hybrid systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 431–454.","apa":"Kapur, A., Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1994). Proving safety properties of hybrid systems. In <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i> (Vol. 863, pp. 431–454). Lübeck, Germany: Springer. <a href=\"https://doi.org/10.1007/3-540-58468-4_177\">https://doi.org/10.1007/3-540-58468-4_177</a>"},"scopus_import":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-58468-4_177"}],"acknowledgement":"Supported in part by the National Science Foundation under grants CCR-92-23226 and CCR-9200794, by the Defense Advanced Research Projects Agency under grants NAG2-703 and NAG2-892, by the United States Air Force Office of Scientific Research under contracts F49620-93-1-0139 and F49620-93-1-0056, and by the European Community ESPRIT Basic Research Action Project 6021 (REACT). Supported in part by a National Science Foundation Graduate Research Fellowship.","_id":"4420","date_created":"2018-12-11T12:08:46Z","doi":"10.1007/3-540-58468-4_177","oa_version":"None","language":[{"iso":"eng"}],"quality_controlled":"1","title":"Proving safety properties of hybrid systems","volume":863,"alternative_title":["LNCS"],"abstract":[{"text":"We propose a methodology for the specification, verification, and design of hybrid systems. The methodology consists of the computational model of Concrete Phase Transition Systems (cptss), the specification language of Hybrid Temporal Logic (htl), the graphical system description language of Hybrid Automata, and a proof system for verifying that hybrid automata satisfy their HTL specifications. The novelty of the approach lies in the continuous-time logic, which allows specification of both point-based and interval-based properties (i.e., properties which describe changes over an interval) and provides direct references to derivatives of variables, and in the proof system that supports verification of point-based and interval-based properties. The proof rules demonstrate that sound and convenient induction rules can be established for continuous-time logics. The proof rules are illustrated on several examples.","lang":"eng"}],"publication":"3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","page":"431 - 454","conference":{"start_date":"1994-09-19","end_date":"1994-09-23","name":"FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems","location":"Lübeck, Germany"},"article_processing_charge":"No"},{"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-58468-4_173"}],"acknowledgement":"Supported in part by the National Science Foundation under grant CCR-9200794, by the United States Air Force Office of Scientific Research under contract F49620- 93-1-0056, and by the Defense Advanced Research Projects Agency under grant NAG2-892.","_id":"4440","date_created":"2018-12-11T12:08:52Z","doi":"10.1007/3-540-58468-4_173","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"01","citation":{"mla":"Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, vol. 863, Springer, 1994, pp. 351–72, doi:<a href=\"https://doi.org/10.1007/3-540-58468-4_173\">10.1007/3-540-58468-4_173</a>.","ieee":"T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” in <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, Lübeck, Gernany, 1994, vol. 863, pp. 351–372.","short":"T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.","chicago":"Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” In <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>, 863:351–72. Springer, 1994. <a href=\"https://doi.org/10.1007/3-540-58468-4_173\">https://doi.org/10.1007/3-540-58468-4_173</a>.","ama":"Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i>. Vol 863. Springer; 1994:351-372. doi:<a href=\"https://doi.org/10.1007/3-540-58468-4_173\">10.1007/3-540-58468-4_173</a>","ista":"Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.","apa":"Henzinger, T. A., &#38; Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In <i>3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems</i> (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer. <a href=\"https://doi.org/10.1007/3-540-58468-4_173\">https://doi.org/10.1007/3-540-58468-4_173</a>"},"scopus_import":"1","language":[{"iso":"eng"}],"quality_controlled":"1","oa_version":"None","alternative_title":["LNCS"],"volume":863,"publication":"3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","abstract":[{"text":"We present a methodology for proving temporal properties of the divergent runs of reactive systems with real-valued clocks. A run diverges if time advances beyond any bound. Since the divergent runs of a system may satisfy liveness properties that are not satisfied by some convergent runs, the standard proof rules are incomplete if only divergent runs are considered. First, we develop a sound and complete proof calculus for divergence, which is based on translating clock systems into discrete systems. Then, we show that simpler proofs can be obtained for stronger divergence assumptions, such as unknown -divergence, which requires that all delays have a minimum duration of some unknown constant . We classify all real-time systems into an infinite hierarchy, according to how well they admit the translation of eventuality properties into equivalent safety properties.","lang":"eng"}],"title":"Verification methods for the divergent runs of clock systems","article_processing_charge":"No","page":"351 - 372","conference":{"end_date":"1994-09-23","start_date":"1994-09-19","name":"FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems","location":"Lübeck, Gernany"},"publication_status":"published","status":"public","date_updated":"2022-06-02T09:35:58Z","publisher":"Springer","year":"1994","day":"01","date_published":"1994-01-01T00:00:00Z","publist_id":"287","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Peter","last_name":"Kopke","full_name":"Kopke, Peter"}],"intvolume":"       863","extern":"1"},{"page":"273 - 337","article_processing_charge":"No","volume":112,"publication":"Information and Computation","abstract":[{"lang":"eng","text":"We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-;time properties of reactive systems. The abstract notion of timed transition systems generalizes traditional transition systems conservatively: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound timing constraints on transitions. This framework can model real-time systems that communicate either through shared variables or by message passing and real-time issues such as timeouts, process priorities (interrupts), and process scheduling. We exhibit two styles for the specification of real-time systems. While the first approach uses time-bounded versions of the temporal operators, the second approach allows explicit references to time through a special clock variable. Corresponding to the two styles of specification, we present and compare two different proof methodologies for the verification of timing requirements that are expressed in these styles. For the bounded-operator style, we provide a set of proof rules for establishing bounded-invariance and bounded-responce properties of timed transition systems. This approach generalizes the standard temporal proof rules for verifying invariance and response properties conservatively. For the explicit-clock style, we exploit the observation that every time-bounded property is a safety property and use the standard temporal proof rules for establishing safety properties."}],"title":"Temporal proof methodologies for timed transition systems","language":[{"iso":"eng"}],"quality_controlled":"1","issue":"2","oa":1,"oa_version":"None","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0890540184710601?via%3Dihub"}],"acknowledgement":"This research was supported in part by an IBM graduate fellowship, by the National Science Foundation under Grants CCR-9223226 and CCR-9200794. by the Defense Advanced Research Projects Agency under Contract N00039-84-C-0211. by the United States Air Force OMee of Scientific Research under Contracts F49620-93-141139 and F4962043-1-0056. and by the European Community ESPRIT Basic Research Action Project 6021 (REACT). A preliminary version of Part 1 of this paper appeared in the proceedings of the 1991 REX Workshop on Real Time Theory In Prate [HMP92a I a preliminary version of Part II appeared in the proceedings of the 1991 ACM Symposium on Principles of Programming Languages RIMP911. ","publication_identifier":{"issn":["0890-5401"]},"_id":"4501","doi":"10.1006/inco.1994.1060","date_created":"2018-12-11T12:09:10Z","type":"journal_article","month":"08","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Henzinger TA, Manna Z, Pnueli A. 1994. Temporal proof methodologies for timed transition systems. Information and Computation. 112(2), 273–337.","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1006/inco.1994.1060\">https://doi.org/10.1006/inco.1994.1060</a>","mla":"Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” <i>Information and Computation</i>, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:<a href=\"https://doi.org/10.1006/inco.1994.1060\">10.1006/inco.1994.1060</a>.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” <i>Information and Computation</i>, vol. 112, no. 2. Elsevier, pp. 273–337, 1994.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” <i>Information and Computation</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1006/inco.1994.1060\">https://doi.org/10.1006/inco.1994.1060</a>.","ama":"Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. <i>Information and Computation</i>. 1994;112(2):273-337. doi:<a href=\"https://doi.org/10.1006/inco.1994.1060\">10.1006/inco.1994.1060</a>"},"scopus_import":"1","intvolume":"       112","extern":"1","date_published":"1994-08-01T00:00:00Z","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Manna, Zohar","first_name":"Zohar","last_name":"Manna"},{"full_name":"Pnueli, Amir","first_name":"Amir","last_name":"Pnueli"}],"publist_id":"227","year":"1994","day":"01","publication_status":"published","status":"public","date_updated":"2022-06-02T09:24:58Z","publisher":"Elsevier","article_type":"original"}]