[{"oa_version":"None","month":"03","publication":"Neuroscience Research","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0168-0102"]},"publist_id":"4315","date_published":"1998-03-01T00:00:00Z","type":"journal_article","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_status":"published","date_created":"2018-12-11T11:58:31Z","article_processing_charge":"No","title":"Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat","intvolume":"        30","_id":"2583","pmid":1,"scopus_import":"1","author":[{"first_name":"Jin","last_name":"Li","full_name":"Li, Jin"},{"first_name":"Yu","last_name":"Ding","full_name":"Ding, Yu"},{"last_name":"Xiong","first_name":"Kang","full_name":"Xiong, Kang"},{"last_name":"Li","first_name":"Ji","full_name":"Li, Ji"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"}],"issue":"3","publisher":"Elsevier","article_type":"original","page":"219 - 225","quality_controlled":"1","doi":"10.1016/S0168-0102(97)00132-6","day":"01","abstract":[{"text":"Substance P receptor (SPR)-immunoreactive neurons projecting to the periaqueductal gray (PAG) were examined in the rat spinal trigeminal nucleus and spinal cord by a retrograde tracing method combined with immunofluorescence histochemistry. After injection of Fluoro-gold (FG) into the PAG, SPR-immunoreactive neurons labeled with FG were observed mainly in the lateral spinal nucleus and lamina I of the medullary and spinal dorsal horns and additionally in laminae V and X of the spinal cord.","lang":"eng"}],"date_updated":"2022-09-01T12:19:44Z","citation":{"ama":"Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. <i>Neuroscience Research</i>. 1998;30(3):219-225. doi:<a href=\"https://doi.org/10.1016/S0168-0102(97)00132-6\">10.1016/S0168-0102(97)00132-6</a>","apa":"Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., &#38; Mizuno, N. (1998). Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. <i>Neuroscience Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0168-0102(97)00132-6\">https://doi.org/10.1016/S0168-0102(97)00132-6</a>","ieee":"J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. Mizuno, “Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat,” <i>Neuroscience Research</i>, vol. 30, no. 3. Elsevier, pp. 219–225, 1998.","chicago":"Li, Jin, Yu Ding, Kang Xiong, Ji Li, Ryuichi Shigemoto, and Noboru Mizuno. “Substance P Receptor (NK1)-Immunoreactive Neurons Projecting to the Periaqueductal Gray: Distribution in the Spinal Trigeminal Nucleus and the Spinal Cord of the Rat.” <i>Neuroscience Research</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/S0168-0102(97)00132-6\">https://doi.org/10.1016/S0168-0102(97)00132-6</a>.","mla":"Li, Jin, et al. “Substance P Receptor (NK1)-Immunoreactive Neurons Projecting to the Periaqueductal Gray: Distribution in the Spinal Trigeminal Nucleus and the Spinal Cord of the Rat.” <i>Neuroscience Research</i>, vol. 30, no. 3, Elsevier, 1998, pp. 219–25, doi:<a href=\"https://doi.org/10.1016/S0168-0102(97)00132-6\">10.1016/S0168-0102(97)00132-6</a>.","short":"J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.","ista":"Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 1998. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 30(3), 219–225."},"year":"1998","external_id":{"pmid":["9593332"]},"volume":30,"acknowledgement":"The authors are grateful for the support of Dr Kajitaro Morita of the Morita Clinic of Internal Medicine and Pediatrics at Kadoma, Osaka and for the help of Yue-Ping Yuan and Akira Uesugi with photography. This work was supported in part by Grants-in-Aid from the National Natural Science Foundation of China (39600045) and the Ministry of Education, Sci-\r\nence, Sports and Culture of Japan (09480211, 08458245).","extern":"1"},{"title":"Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study","intvolume":"       393","publication_status":"published","date_created":"2018-12-11T11:58:31Z","article_processing_charge":"No","author":[{"full_name":"Kinoshita, Ayae","last_name":"Kinoshita","first_name":"Ayae"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"last_name":"Van Der Putten","first_name":"Herman","full_name":"Van Der Putten, Herman"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"issue":"3","_id":"2584","pmid":1,"scopus_import":"1","article_type":"original","publisher":"Wiley-Blackwell","page":"332 - 352","quality_controlled":"1","abstract":[{"text":"The distributions of two alternative splicing variants of metabotropic glutamate receptor mGluR7, mGluR7a and mGluR7b, were examined immunohistochemically in the rat and mouse by using variant-specific antibodies raised against C-terminal portions of rat mGluR7a and human mGluR7b. Many regions throughout the central nervous system (CNS) showed mGluR7-like immunoreactivities (LI). The distribution patterns of mGluR7-LI in the rat were substantially the same as those in the mouse, although some species differences were observed in a few regions. Intense mGluR7a-LI was seen in the main and accessory olfactory bulbs, anterior olfactory nucleus, islands of Calleja, superficial layers of the olfactory tubercle, piriform cortex and entorhinal cortex, periamygdaloid cortex, amygdalohippocampal area, hippocampus, layer I of the neocortical regions, globus pallidus, superficial layers of the superior colliculus, locus coeruleus, and superficial layers of the medullary and spinal dorsal horns. The distribution of mGluR7b was more restricted. It was intense in the islands of Calleja, substantia innominata, hippocampus, ventral pallidum, and globus pallidus. The medial habenular nucleus also showed intense mGluR7a-LI in the rat but not in the mouse. For both mGluR7a- and mGluR7b-LI, localization in the active zones of presynaptic axon terminals was confirmed electron microscopically at synapses of both the asymmetrical and symmetrical types. It is noteworthy that mGluR7a-LI is seen preferentially in relay nuclei of the sensory pathways and that both mGluR7a- and mGluR7b-LI are observed not only in presumed glutamatergic axon terminals, but also in non-glutamatergic axon terminals including presumed inhibitory ones. Thus, mGluR7 may play roles not only as an autoreceptor in glutamatergic axon terminals, but also as a presynaptic heteroreceptor in non-glutamatergic axon terminals in various CNS regions.","lang":"eng"}],"doi":"10.1002/(SICI)1096-9861(19980413)393:3&lt;332::AID-CNE6&gt;3.0.CO;2-2","day":"13","external_id":{"pmid":["9548554"]},"date_updated":"2022-09-01T12:11:04Z","citation":{"mla":"Kinoshita, Ayae, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR7a and MGluR7b, in the Central Nervous System of the Adult Rat and Mouse: A Light and Electron Microscopic Study.” <i>Journal of Comparative Neurology</i>, vol. 393, no. 3, Wiley-Blackwell, 1998, pp. 332–52, doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2\">10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2</a>.","short":"A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.","ista":"Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. 1998. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 393(3), 332–352.","apa":"Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., &#38; Mizuno, N. (1998). Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2\">https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2</a>","ama":"Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. <i>Journal of Comparative Neurology</i>. 1998;393(3):332-352. doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2\">10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2</a>","ieee":"A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study,” <i>Journal of Comparative Neurology</i>, vol. 393, no. 3. Wiley-Blackwell, pp. 332–352, 1998.","chicago":"Kinoshita, Ayae, Ryuichi Shigemoto, Hitoshi Ohishi, Herman Van Der Putten, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR7a and MGluR7b, in the Central Nervous System of the Adult Rat and Mouse: A Light and Electron Microscopic Study.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1998. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2\">https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3&#38;lt;332::AID-CNE6&#38;gt;3.0.CO;2-2</a>."},"year":"1998","extern":"1","volume":393,"acknowledgement":"The  authors  are  grateful  for  photographic  help  of  Mr.Akira Uesugi, and the support of Dr. Kajitaro Morita inMorita Clinic of Internal Medicine and Pediatrics, Kadoma,Osaka, Japan. The authors also express gratitude for thesupport  of  Dr.  Satoru  Fukuchi,  Dr.  Ritsu  Hayashi,  Dr.Sohzaburo  Hayashi,  Dr.  Mizuho  Katsurada,  Dr.  HitoshiKawai, Dr. Yutaka Kitani, Dr. Toshihiko Kuroda, Dr. KeikoKumagai,  Dr.  Hiroshi  Matsubara,  Dr.  Hiroshi  Mat-sushima,  Dr.  Chisato  Minakuchi,  Dr.  Gonpei  Niwa,  Dr.Hajime Oda, Dr. Mashiko Ohbayashi, Dr. Sei-ichi Ohbaya-shi, Dr. Hiroyasu Ohtsuka, Dr. Shigeo Tamaki, Dr. EizoWatanabe, Dr. Kazuo Yoshino, and Dr. Toshiaki Yoshino.","month":"03","oa_version":"None","publication":"Journal of Comparative Neurology","language":[{"iso":"eng"}],"publist_id":"4314","publication_identifier":{"issn":["0021-9967"]},"date_published":"1998-03-13T00:00:00Z","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public"},{"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","date_published":"1998-04-20T00:00:00Z","publist_id":"4313","publication_identifier":{"issn":["0021-9967"]},"language":[{"iso":"eng"}],"publication":"Journal of Comparative Neurology","month":"04","oa_version":"None","extern":"1","acknowledgement":"The  authors  are  grateful  for  photographic  help  of  Mr.Akira Uesugi. The authors also express their gratitudesfor the support of Dr. Satoru Fukuchi, Dr. Ritsu Hayashi,Dr. Sohzaburo Hayashi, Dr. Mizuho Katsurada, Dr. Hitoshi Kawai, Dr. Yutaka Kitani, Dr. Toshihiko Kuroda, Dr.Keiko Kumagai, Dr. Hiroshi Matsubara, Dr. Hiroshi Matsushima,  Dr. Chisato  Minakuchi,  Dr. Gonpei Niwa,  Dr.Hajime Oda, Dr. Mashiko Ohbayashi, Dr. Seiichi Ohbayashi, Dr. Hiroyasu Ohtsuka, Dr. Shigeo Tamaki, Dr. EizoWatanabe, Dr. Kazuo Yoshino, and Dr. Toshiaki Yoshino.","volume":393,"external_id":{"pmid":["9550154"]},"citation":{"ista":"Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. 1998. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 393(4), 493–504.","short":"E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.","mla":"Wada, Eiki, et al. “Metabotropic Glutamate Receptor Subtypes in Axon Terminals of Projection Fibers from the Main and Accessory Olfactory Bulbs: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” <i>Journal of Comparative Neurology</i>, vol. 393, no. 4, Wiley-Blackwell, 1998, pp. 493–504, doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W\">10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W</a>.","chicago":"Wada, Eiki, Ryuichi Shigemoto, Ayae Kinoshita, Hitoshi Ohishi, and Noboru Mizuno. “Metabotropic Glutamate Receptor Subtypes in Axon Terminals of Projection Fibers from the Main and Accessory Olfactory Bulbs: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1998. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W\">https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W</a>.","ieee":"E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, and N. Mizuno, “Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat,” <i>Journal of Comparative Neurology</i>, vol. 393, no. 4. Wiley-Blackwell, pp. 493–504, 1998.","apa":"Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., &#38; Mizuno, N. (1998). Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W\">https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W</a>","ama":"Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. <i>Journal of Comparative Neurology</i>. 1998;393(4):493-504. doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W\">10.1002/(SICI)1096-9861(19980420)393:4&#38;lt;493::AID-CNE8&#38;gt;3.0.CO;2-W</a>"},"year":"1998","date_updated":"2022-08-31T14:53:58Z","abstract":[{"text":"Localization of metabetropic glutamate receptor subtypes, mGluR1, mGluRlu, mGluR2/3, mGluR4a, mGluR5, mGluR7a, mGluR7b, and mGluR8, was examined in some of the target areas of projection fibers from the main and accessory olfactory bulbs (MOB and AOB) by using subtype-specific antibodies. The superficial layer of the olfactory tubercle and layer Ia of the pitiform cortex, the target areas of MOB, showed marked mGluR1-, mGluR5-, mGluR7a-, and mGluR8-like immunoreactivities (-LI), and rather weak mGluR2/3-LI. The periamygdaloid cortical region including the target areas of both MOB and AOB showed intense mGluR2/3-LI as well as marked mGluRl-, mGluR5-, mGluR7a-, and mGluRS-LI. No significant mGluR1a-, mGluR4a-, or mGluR7b-LI was seen in these regions. After transection of the lateral olfactory tract, mGluR2/3-, mGluR7a-, and mGluR8-LI were reduced markedly in the target regions on the side ipsilateral to the transection; no significant changes were detected in mGluR1- or mGIuR5-LI. Double labeling experiments indicated light and electron microscopically colocalization of mGluR7a- and mGluRS-LI in axon terminals on dendritic shafts of presumed interneurons in the superficial layer of the olfactory tubercle and layer Ia of the piriform cortex. Electron microscopically mGluR2/3-LI was seen in preterminal and terminal portions of axons, whereas mGluR7a- and mGluRS-LI were associated with presynaptic membrane specialization. Immunolabeled axon terminals were filled with round synaptic vesicles and constituted asymmetric synapses with dendritic profiles. The results suggest that glutamate release from axon terminals of projection fibers from MOB and AOB is regulated presynaptically and differentially through mGluR2/3, mGluR7a, and/or mGluRS.","lang":"eng"}],"day":"20","doi":"10.1002/(SICI)1096-9861(19980420)393:4&lt;493::AID-CNE8&gt;3.0.CO;2-W","quality_controlled":"1","page":"493 - 504","article_type":"original","publisher":"Wiley-Blackwell","issue":"4","author":[{"last_name":"Wada","first_name":"Eiki","full_name":"Wada, Eiki"},{"first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ayae","last_name":"Kinoshita","full_name":"Kinoshita, Ayae"},{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"scopus_import":"1","_id":"2585","pmid":1,"intvolume":"       393","title":"Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat","article_processing_charge":"No","date_created":"2018-12-11T11:58:31Z","publication_status":"published"},{"author":[{"last_name":"Watanabe","first_name":"Dai","full_name":"Watanabe, Dai"},{"first_name":"Hitoshi","last_name":"Inokawa","full_name":"Inokawa, Hitoshi"},{"full_name":"Hashimoto, Kouichi","last_name":"Hashimoto","first_name":"Kouichi"},{"last_name":"Suzuki","first_name":"Noboru","full_name":"Suzuki, Noboru"},{"last_name":"Kano","first_name":"Masanobu","full_name":"Kano, Masanobu"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"first_name":"Tomoo","last_name":"Hirano","full_name":"Hirano, Tomoo"},{"full_name":"Toyama, Keisuke","first_name":"Keisuke","last_name":"Toyama"},{"full_name":"Kaneko, Satoshi","first_name":"Satoshi","last_name":"Kaneko"},{"last_name":"Yokoi","first_name":"Mineto","full_name":"Yokoi, Mineto"},{"full_name":"Moriyoshi, Koki","first_name":"Koki","last_name":"Moriyoshi"},{"full_name":"Suzuki, Misao","first_name":"Misao","last_name":"Suzuki"},{"first_name":"Kazuto","last_name":"Kobayashi","full_name":"Kobayashi, Kazuto"},{"full_name":"Nagatsu, Toshiharu","first_name":"Toshiharu","last_name":"Nagatsu"},{"first_name":"Robert","last_name":"Kreitman","full_name":"Kreitman, Robert"},{"full_name":"Pastan, Ira","first_name":"Ira","last_name":"Pastan"},{"last_name":"Nakanishi","first_name":"Shigetada","full_name":"Nakanishi, Shigetada"}],"issue":"1","_id":"2586","pmid":1,"scopus_import":"1","title":"Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination","intvolume":"        95","publication_status":"published","date_created":"2018-12-11T11:58:32Z","article_processing_charge":"No","page":"17 - 27","quality_controlled":"1","article_type":"original","publisher":"Cell Press","external_id":{"pmid":["9778244 "]},"date_updated":"2022-08-31T13:46:20Z","citation":{"ista":"Watanabe D, Inokawa H, Hashimoto K, Suzuki N, Kano M, Shigemoto R, Hirano T, Toyama K, Kaneko S, Yokoi M, Moriyoshi K, Suzuki M, Kobayashi K, Nagatsu T, Kreitman R, Pastan I, Nakanishi S. 1998. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 95(1), 17–27.","mla":"Watanabe, Dai, et al. “Ablation of Cerebellar Golgi Cells Disrupts Synaptic Integration Involving GABA Inhibition and NMDA Receptor Activation in Motor Coordination.” <i>Cell</i>, vol. 95, no. 1, Cell Press, 1998, pp. 17–27, doi:<a href=\"https://doi.org/10.1016/S0092-8674(00)81779-1\">10.1016/S0092-8674(00)81779-1</a>.","short":"D. Watanabe, H. Inokawa, K. Hashimoto, N. Suzuki, M. Kano, R. Shigemoto, T. Hirano, K. Toyama, S. Kaneko, M. Yokoi, K. Moriyoshi, M. Suzuki, K. Kobayashi, T. Nagatsu, R. Kreitman, I. Pastan, S. Nakanishi, Cell 95 (1998) 17–27.","ieee":"D. Watanabe <i>et al.</i>, “Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination,” <i>Cell</i>, vol. 95, no. 1. Cell Press, pp. 17–27, 1998.","chicago":"Watanabe, Dai, Hitoshi Inokawa, Kouichi Hashimoto, Noboru Suzuki, Masanobu Kano, Ryuichi Shigemoto, Tomoo Hirano, et al. “Ablation of Cerebellar Golgi Cells Disrupts Synaptic Integration Involving GABA Inhibition and NMDA Receptor Activation in Motor Coordination.” <i>Cell</i>. Cell Press, 1998. <a href=\"https://doi.org/10.1016/S0092-8674(00)81779-1\">https://doi.org/10.1016/S0092-8674(00)81779-1</a>.","apa":"Watanabe, D., Inokawa, H., Hashimoto, K., Suzuki, N., Kano, M., Shigemoto, R., … Nakanishi, S. (1998). Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/S0092-8674(00)81779-1\">https://doi.org/10.1016/S0092-8674(00)81779-1</a>","ama":"Watanabe D, Inokawa H, Hashimoto K, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. <i>Cell</i>. 1998;95(1):17-27. doi:<a href=\"https://doi.org/10.1016/S0092-8674(00)81779-1\">10.1016/S0092-8674(00)81779-1</a>"},"year":"1998","abstract":[{"lang":"eng","text":"The role of inhibitory Golgi cells in cerebellar function was investigated by selectively ablating Golgi cells expressing human interleukin-2 receptor α subunit in transgenic mice, using the immunotoxin- mediated cell targeting technique. Golgi cell disruption caused severe acute motor disorders. These mice showed gradual recovery but retained a continuing inability to perform compound movements. Optical and electrical recordings combined with immunocytological analysis indicated that elimination of Golgi cells not only reduces GABA-mediated inhibition but also attenuates functional NMDA receptors in granule cells. These results demonstrate that synaptic integration involving both GABA inhibition and NMDA receptor activation is essential for compound motor coordination. Furthermore, this integration can adapt after Golgi cell elimination so as not to evoke overexcitation by the reduction of NMDA receptors."}],"doi":"10.1016/S0092-8674(00)81779-1","day":"02","extern":"1","volume":95,"acknowledgement":"We thank Kumlesh K Dev for careful reading of this manuscript, Peter Somogyi and Hirohide Sawada for invaluable advice, and Akira Uesugi for photographic assistance. This work was supported in part by research grants from the Ministry of Education, Science and Culture of Japan. the Sankyo Foundation. the Yamanouchi Founda-tion. the Biomolecular Engineering Research Institute, CREST and the International Resource Program of the National Cancer Institute. \r\n","publication":"Cell","month":"10","oa_version":"None","language":[{"iso":"eng"}],"date_published":"1998-10-02T00:00:00Z","type":"journal_article","publist_id":"4312","publication_identifier":{"issn":["0092-8674"]},"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"article_type":"original","publisher":"Nature Publishing Group","page":"683 - 687","quality_controlled":"1","title":" GABA(B)-receptor subtypes assemble into functional heteromeric complexes","intvolume":"       396","publication_status":"published","date_created":"2018-12-11T11:58:32Z","article_processing_charge":"No","author":[{"full_name":"Kaupmann, Klemens","first_name":"Klemens","last_name":"Kaupmann"},{"full_name":"Malitschek, Barbara","last_name":"Malitschek","first_name":"Barbara"},{"last_name":"Schuler","first_name":"Valérie","full_name":"Schuler, Valérie"},{"last_name":"Heid","first_name":"Jacob","full_name":"Heid, Jacob"},{"full_name":"Froestl, Wolfgang","last_name":"Froestl","first_name":"Wolfgang"},{"last_name":"Beck","first_name":"Pascal","full_name":"Beck, Pascal"},{"last_name":"Mosbacher","first_name":"Johannes","full_name":"Mosbacher, Johannes"},{"full_name":"Bischoff, Serge","first_name":"Serge","last_name":"Bischoff"},{"first_name":"Ákos","last_name":"Kulik","full_name":"Kulik, Ákos"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Andreas","last_name":"Karschin","full_name":"Karschin, Andreas"},{"full_name":"Bettler, Bernhard","first_name":"Bernhard","last_name":"Bettler"}],"issue":"6712","_id":"2588","pmid":1,"scopus_import":"1","extern":"1","acknowledgement":"We thank D. Ristig, A. Begrich, I. Meigel and S. Leonhard for technical assistance.","volume":396,"abstract":[{"lang":"eng","text":"B-type receptors for the neurotransmitter GABA (γ-aminobutyric acid) inhibit neuronal activity through G-protein-coupled second-messenger systems, which regulate the release of neurotransmitters and the activity of ion channels and adenylyl cyclase. Physiological and biochemical studies show that there are differences in drug efficiencies at different GABA(B) receptors, so it is expected that GABA(B)-receptor (GABA(B)R) subtypes exist. Two GABA(B)-receptor splice variants have been cloned (GABA(B)R1a and GABA(B)R1b), but native GABA(B) receptors and recombinant receptors showed unexplained differences in agonist-binding potencies. Moreover, the activation of presumed effector ion channels in heterologous cells expressing the recombinant receptors proved difficult. Here we describe a new GABA(B) receptor subtype, GABA(B)R2, which does not bind available GABA(B) antagonists with measurable potency. GABA(B)R1a, GABA(B)R1b and GABA(B)R2 alone do not activate Kir3-type potassium channels efficiently, but co- expression of these receptors yields a robust coupling to activation of Kir3 channels. We provide evidence for the assembly of heteromeric GABA(B) receptors in vivo and show that GABA(B)R2 and GABA(B)R1a/b proteins immunoprecipitate and localize together at dendritic spines. The heteromeric receptor complexes exhibit a significant increase in agonist- and partial- agonist-binding potencies as compared with individual receptors and probably represent the predominant native GABA(B) receptor. Heteromeric assembly among G-protein-coupled receptors has not, to our knowledge, been described before.\r\n"}],"doi":"10.1038/25360","day":"17","external_id":{"pmid":["9872317"]},"date_updated":"2022-08-31T12:43:05Z","citation":{"ama":"Kaupmann K, Malitschek B, Schuler V, et al.  GABA(B)-receptor subtypes assemble into functional heteromeric complexes. <i>Nature</i>. 1998;396(6712):683-687. doi:<a href=\"https://doi.org/10.1038/25360\">10.1038/25360</a>","apa":"Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998).  GABA(B)-receptor subtypes assemble into functional heteromeric complexes. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/25360\">https://doi.org/10.1038/25360</a>","ieee":"K. Kaupmann <i>et al.</i>, “ GABA(B)-receptor subtypes assemble into functional heteromeric complexes,” <i>Nature</i>, vol. 396, no. 6712. Nature Publishing Group, pp. 683–687, 1998.","chicago":"Kaupmann, Klemens, Barbara Malitschek, Valérie Schuler, Jacob Heid, Wolfgang Froestl, Pascal Beck, Johannes Mosbacher, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” <i>Nature</i>. Nature Publishing Group, 1998. <a href=\"https://doi.org/10.1038/25360\">https://doi.org/10.1038/25360</a>.","mla":"Kaupmann, Klemens, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” <i>Nature</i>, vol. 396, no. 6712, Nature Publishing Group, 1998, pp. 683–87, doi:<a href=\"https://doi.org/10.1038/25360\">10.1038/25360</a>.","short":"K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687.","ista":"Kaupmann K, Malitschek B, Schuler V, Heid J, Froestl W, Beck P, Mosbacher J, Bischoff S, Kulik Á, Shigemoto R, Karschin A, Bettler B. 1998.  GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 396(6712), 683–687."},"year":"1998","language":[{"iso":"eng"}],"month":"12","oa_version":"None","publication":"Nature","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"4309","publication_identifier":{"issn":["0028-0836"]},"date_published":"1998-12-17T00:00:00Z","type":"journal_article"},{"publication_identifier":{"issn":["0021-9967"]},"publist_id":"4310","type":"journal_article","date_published":"1998-12-14T00:00:00Z","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","month":"12","publication":"Journal of Comparative Neurology","language":[{"iso":"eng"}],"day":"14","doi":"10.1002/(SICI)1096-9861(19981214)402:2&lt;181::AID-CNE4&gt;3.0.CO;2-B","abstract":[{"lang":"eng","text":"Immunoreactivity for the substance P receptor (NK1 receptor) has been investigated by light and electron microscopy in the dorsal vagal complexes of adult rats and cats. The general pattern of NK1 immunoreactivity was similar for both rat and cat. Numerous NK1-immunoreactive neurons were present in the area postrema, the nucleus of the solitary tract, and the dorsal motor nucleus of the vagus nerve. The density of labelled neurons differed between the subnuclei of the nucleus of the solitary tract. Overall, the efferent neurons of the dorsal motor nucleus of the vagus nerve highly expressed NK1 when compared to neurons in the nucleus of the solitary tract. The results are discussed with reference to the viscerotopic organisation of the dorsal vagal complex. Ultrastructural analysis demonstrated that NK1 immunoreactivity was present only at the membrane surface of somatic and dendritic profiles of neurons. No labelling was found in axon terminals, axons, or glial processes. NK1 immunoreactivity, as revealed by a preembedding immunogold technique in serial ultrathin sections; was preferentially located at nonsynaptic sites. A semiquantitative study suggested that the density of NK1 receptors is statistically higher at membrane sites free of any contact (synaptic or not) with axon terminals. The subcellular localisation of NK1 immunoreactivity was similar for neurons of both rat and cat. These results suggest that in the dorsal vagal complex, substance P might act on NK1 receptors through a process of volume transmission."}],"year":"1998","citation":{"short":"A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.","mla":"Baude, Agnès, and Ryuichi Shigemoto. “Cellular and Subcellular Distribution of Substance P Receptor Immunoreactivity in the Dorsal Vagal Complex of the Rat and Cat: A Light and Electron Microscope Study.” <i>Journal of Comparative Neurology</i>, vol. 402, no. 2, Wiley-Blackwell, 1998, pp. 181–96, doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B\">10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B</a>.","ista":"Baude A, Shigemoto R. 1998. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 402(2), 181–196.","ama":"Baude A, Shigemoto R. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. <i>Journal of Comparative Neurology</i>. 1998;402(2):181-196. doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B\">10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B</a>","apa":"Baude, A., &#38; Shigemoto, R. (1998). Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B\">https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B</a>","ieee":"A. Baude and R. Shigemoto, “Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study,” <i>Journal of Comparative Neurology</i>, vol. 402, no. 2. Wiley-Blackwell, pp. 181–196, 1998.","chicago":"Baude, Agnès, and Ryuichi Shigemoto. “Cellular and Subcellular Distribution of Substance P Receptor Immunoreactivity in the Dorsal Vagal Complex of the Rat and Cat: A Light and Electron Microscope Study.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1998. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B\">https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2&#38;lt;181::AID-CNE4&#38;gt;3.0.CO;2-B</a>."},"date_updated":"2022-08-31T12:57:30Z","external_id":{"pmid":["9845242 "]},"volume":402,"acknowledgement":"The authors thank Dr. Wolfgang A.A. Kunze for his helpin the English reviewing of the manuscript. The authorsthank Drs. Nadine Clerc, Jean-Pierre Kessler, WolfgangA.A. Kunze, Jean-Jacques Puizillout, and Fabien Tell fortheir constructive discussions and critiques of the manu-script.  This  study  was  supported  by  CNRS  (FR45/UPR9024).","extern":"1","article_processing_charge":"No","date_created":"2018-12-11T11:58:32Z","publication_status":"published","intvolume":"       402","title":"Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study","scopus_import":"1","_id":"2589","pmid":1,"issue":"2","author":[{"full_name":"Baude, Agnès","first_name":"Agnès","last_name":"Baude"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Wiley-Blackwell","article_type":"original","quality_controlled":"1","page":"181 - 196"},{"language":[{"iso":"eng"}],"month":"01","oa_version":"None","publication":"Journal of Neurocytology","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"4308","publication_identifier":{"issn":["0300-4864"]},"type":"journal_article","date_published":"1998-01-01T00:00:00Z","article_type":"original","publisher":"Kluwer","quality_controlled":"1","page":"303 - 327","intvolume":"        27","title":" Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex","article_processing_charge":"No","date_created":"2018-12-11T11:58:33Z","publication_status":"published","issue":"5","author":[{"last_name":"Jaarsma","first_name":"Dick","full_name":"Jaarsma, Dick"},{"full_name":"Diño, Maria","last_name":"Diño","first_name":"Maria"},{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Mugnaini, Enrico","last_name":"Mugnaini","first_name":"Enrico"}],"scopus_import":"1","pmid":1,"_id":"2590","extern":"1","volume":27,"acknowledgement":"The authors wish to thank Dr R. L. Huganir and coworkers for kindly providing an aliquot of their mGluR1a antibody and Dr N. Traverse Slater for helpful comments on the manuscript. The study was supported by US-PHS grants NS 09904 and DC 01805 (to E.M.).","abstract":[{"lang":"eng","text":"Unipolar brush cells (UBCs) are a class of small neurons that are densely concentrated in the granular layers of the vestibulocerebellar cortex and dorsal cochlear nucleus. The UBCs form giant synapses with individual mossy fibre rosettes on the dendrioles which make up their brush formations and are provided with numerous, unusual non-synaptic appendages. In accord with the glutamatergic nature of mossy fibres, our previous post-embedding immunocytochemical studies indicated that various ionotropic glutamate receptor subunits are localized at the post-synaptic densities of the giant synapses, whereas the non-synaptic appendages are immunonegative. On the contrary, the metabotropic glutamate receptors mGluR1α and mGluR2/3 are situated at the non-synaptic appendages and are lacking at the post-synaptic densities. Other authors, however, have shown that antibodies to these metabotropic receptors stain both appendages and post-synaptic densities. In the present study, we have re-evaluated the distribution of metabotropic glutamate receptors in the UBCs of the cerebellum and the cochlear nuclear complex by light and electron microscopic pre-embedding immunocytochemistry with subtype-specific antibodies. We confirm that UBCs dendritic brushes are densely immunostained by antibody to mGluR1α particularly in the cerebellum and that antibody to mGluR2/3 labels at least a percentage of the UBC brushes in both the cerebellum and cochlear nuclei. At the ultrastructural level, it appears that mGluR1α and mGluR2/3 immunoreactivities are not associated with the post-synaptic densities of the giant mossy fibre-UBC synapses, but instead are concentrated on the non-synaptic appendages of the cerebellar UBCs. The non-synaptic appendages, therefore, may be an important avenue for regulating the excitability of UBCs and mediating glutamate effects on their still unknown intracellular signal transduction cascades. We also show that the pre-synaptic densities of UBC dendrodendritic junctions are mGluR2/3 positive. As previously demonstrated, antibodies to mGluR1α and mGluR2/3 label subsets of Golgi cells. Antibody to mGluR5 does not stain UBCs in the cerebellum and cochlear nucleus and reveals the somatodendritic compartment of Golgi cells situated in the core of the cerebellar granular layer, whilst cochlear nucleus Golgi cells are mGluR5 negative."}],"day":"01","doi":"10.1023/A:1006982023657","external_id":{"pmid":["9923978 "]},"citation":{"apa":"Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., &#38; Mugnaini, E. (1998).  Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. <i>Journal of Neurocytology</i>. Kluwer. <a href=\"https://doi.org/10.1023/A:1006982023657\">https://doi.org/10.1023/A:1006982023657</a>","ama":"Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E.  Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. <i>Journal of Neurocytology</i>. 1998;27(5):303-327. doi:<a href=\"https://doi.org/10.1023/A:1006982023657\">10.1023/A:1006982023657</a>","ieee":"D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. Mugnaini, “ Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex,” <i>Journal of Neurocytology</i>, vol. 27, no. 5. Kluwer, pp. 303–327, 1998.","chicago":"Jaarsma, Dick, Maria Diño, Hitoshi Ohishi, Ryuichi Shigemoto, and Enrico Mugnaini. “ Metabotropic Glutamate Receptors Are Associated with Non-Synaptic Appendages of Unipolar Brush Cells in Rat Cerebellar Cortex and Cochlear Nuclear Complex.” <i>Journal of Neurocytology</i>. Kluwer, 1998. <a href=\"https://doi.org/10.1023/A:1006982023657\">https://doi.org/10.1023/A:1006982023657</a>.","short":"D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327.","mla":"Jaarsma, Dick, et al. “ Metabotropic Glutamate Receptors Are Associated with Non-Synaptic Appendages of Unipolar Brush Cells in Rat Cerebellar Cortex and Cochlear Nuclear Complex.” <i>Journal of Neurocytology</i>, vol. 27, no. 5, Kluwer, 1998, pp. 303–27, doi:<a href=\"https://doi.org/10.1023/A:1006982023657\">10.1023/A:1006982023657</a>.","ista":"Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998.  Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 27(5), 303–327."},"year":"1998","date_updated":"2022-08-31T12:30:14Z"},{"quality_controlled":"1","page":"137 - 155","language":[{"iso":"eng"}],"publisher":"American Mathematical Society","_id":"2695","publication":"Advances in Differential Equations and Mathematical Physics","author":[{"full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Yau","first_name":"Horng","full_name":"Yau, Horng"}],"article_processing_charge":"No","date_created":"2018-12-11T11:59:07Z","oa_version":"None","publication_status":"published","intvolume":"       217","month":"01","title":"Linear Boltzmann equation as scaling limit of quantum Lorentz gas","alternative_title":["Contemporary Mathematics"],"volume":217,"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","year":"1998","citation":{"chicago":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas.” In <i>Advances in Differential Equations and Mathematical Physics</i>, 217:137–55. American Mathematical Society, 1998. <a href=\"https://doi.org/10.1090/conm/217\">https://doi.org/10.1090/conm/217</a>.","ieee":"L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” in <i>Advances in Differential Equations and Mathematical Physics</i>, vol. 217, American Mathematical Society, 1998, pp. 137–155.","ama":"Erdös L, Yau H. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: <i>Advances in Differential Equations and Mathematical Physics</i>. Vol 217. American Mathematical Society; 1998:137-155. doi:<a href=\"https://doi.org/10.1090/conm/217\">10.1090/conm/217</a>","apa":"Erdös, L., &#38; Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In <i>Advances in Differential Equations and Mathematical Physics</i> (Vol. 217, pp. 137–155). American Mathematical Society. <a href=\"https://doi.org/10.1090/conm/217\">https://doi.org/10.1090/conm/217</a>","ista":"Erdös L, Yau H. 1998.Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: Advances in Differential Equations and Mathematical Physics. Contemporary Mathematics, vol. 217, 137–155.","mla":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas.” <i>Advances in Differential Equations and Mathematical Physics</i>, vol. 217, American Mathematical Society, 1998, pp. 137–55, doi:<a href=\"https://doi.org/10.1090/conm/217\">10.1090/conm/217</a>.","short":"L. Erdös, H. Yau, in:, Advances in Differential Equations and Mathematical Physics, American Mathematical Society, 1998, pp. 137–155."},"date_updated":"2022-08-31T11:46:40Z","type":"book_chapter","date_published":"1998-01-01T00:00:00Z","publication_identifier":{"issn":["0271-4132"]},"day":"01","doi":"10.1090/conm/217","publist_id":"4202","abstract":[{"lang":"eng","text":"We study a quantum particle in a random potential in two scaling limits: the low density limit (or Boltzman-Grad) and the weak coupling limit. The low density limit is the quantum analogue of the Lorentz gas. In both cases, the phase space density of the quantum evolution defined through the Wigner transform or the Husimi function converges weakly to a linear Boltz-mann equation with collision kernel given by the quantum scattering cross section. "}]},{"issue":"3","author":[{"last_name":"Erdös","first_name":"László","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"scopus_import":"1","_id":"2728","intvolume":"       112","title":"Lifschitz tail in a magnetic field: The nonclassical regime","article_processing_charge":"No","date_created":"2018-12-11T11:59:17Z","publication_status":"published","quality_controlled":"1","page":"321 - 371","article_type":"original","publisher":"Springer","year":"1998","citation":{"ieee":"L. Erdös, “Lifschitz tail in a magnetic field: The nonclassical regime,” <i>Probability Theory and Related Fields</i>, vol. 112, no. 3. Springer, pp. 321–371, 1998.","chicago":"Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” <i>Probability Theory and Related Fields</i>. Springer, 1998. <a href=\"https://doi.org/10.1007/s004400050193\">https://doi.org/10.1007/s004400050193</a>.","ama":"Erdös L. Lifschitz tail in a magnetic field: The nonclassical regime. <i>Probability Theory and Related Fields</i>. 1998;112(3):321-371. doi:<a href=\"https://doi.org/10.1007/s004400050193\">10.1007/s004400050193</a>","apa":"Erdös, L. (1998). Lifschitz tail in a magnetic field: The nonclassical regime. <i>Probability Theory and Related Fields</i>. Springer. <a href=\"https://doi.org/10.1007/s004400050193\">https://doi.org/10.1007/s004400050193</a>","ista":"Erdös L. 1998. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 112(3), 321–371.","short":"L. Erdös, Probability Theory and Related Fields 112 (1998) 321–371.","mla":"Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” <i>Probability Theory and Related Fields</i>, vol. 112, no. 3, Springer, 1998, pp. 321–71, doi:<a href=\"https://doi.org/10.1007/s004400050193\">10.1007/s004400050193</a>."},"date_updated":"2022-08-30T08:17:54Z","abstract":[{"lang":"eng","text":"We obtain the Lifschitz tail, i.e. the exact low energy asymptotics of the integrated density of states (IDS) of the two-dimensional magnetic Schrödinger operator with a uniform magnetic field and random Poissonian impurities. The single site potential is repulsive and it has a finite but nonzero range. We show that the IDS is a continuous function of the energy at the bottom of the spectrum. This result complements the earlier (nonrigorous) calculations by Brézin, Gross and Itzykson which predict that the IDS is discontinuous at the bottom of the spectrum for zero range (Dirac delta) impurities at low density. We also elucidate the reason behind this apparent controversy. Our methods involve magnetic localization techniques (both in space and energy) in addition to a modified version of the &quot;enlargement of obstacles&quot; method developed by A.-S. Sznitman."}],"day":"01","doi":"10.1007/s004400050193","extern":"1","acknowledgement":"The author is grateful to Professor A.-S. Sznitman for explaining him his work and for fruitful discussions, and to the referee for pointing out errors and for many helpful comments.This work has been initiated and later on completed at the Forschungsinstitut für Mathematik, ETH Zürich.","volume":112,"publication":"Probability Theory and Related Fields","month":"11","oa_version":"None","language":[{"iso":"eng"}],"type":"journal_article","date_published":"1998-11-01T00:00:00Z","publist_id":"4163","publication_identifier":{"issn":["0044-3719"]},"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","related_material":{"record":[{"id":"11928","relation":"earlier_version","status":"public"}]},"publication_identifier":{"eissn":["1432-0541"],"issn":["0178-4617"]},"date_published":"1998-01-01T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"keyword":["Dynamic graph algorithm","Average-case analysis","Minimum spanning forest","Connectivity","Bipartiteness","Maximum matching."],"oa_version":"None","month":"01","publication":"Algorithmica","volume":20,"acknowledgement":"The authors would like to thank Emo Welzl for helpful discussions.","extern":"1","doi":"10.1007/pl00009186","day":"01","abstract":[{"text":"We present a model for edge updates with restricted randomness in dynamic graph algorithms and a general technique for analyzing the expected running time of an update operation. This model is able to capture the average case in many applications, since (1) it allows restrictions on the set of edges which can be used for insertions and (2) the type (insertion or deletion) of each update operation is arbitrary, i.e., not random. We use our technique to analyze existing and new dynamic algorithms for the following problems: maximum cardinality matching, minimum spanning forest, connectivity, 2-edge connectivity, k -edge connectivity, k -vertex connectivity, and bipartiteness. Given a random graph G with m 0 edges and n vertices and a sequence of l update operations such that the graph contains m i edges after operation i , the expected time for performing the updates for any l is O(llogn+∑li=1n/m−−√i) in the case of minimum spanning forests, connectivity, 2-edge connectivity, and bipartiteness. The expected time per update operation is O(n) in the case of maximum matching. We also give improved bounds for k -edge and k -vertex connectivity. Additionally we give an insertions-only algorithm for maximum cardinality matching with worst-case O(n) amortized time per insertion.","lang":"eng"}],"date_updated":"2023-02-21T16:33:27Z","year":"1998","citation":{"chicago":"Alberts, D., and Monika H Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” <i>Algorithmica</i>. Springer Nature, 1998. <a href=\"https://doi.org/10.1007/pl00009186\">https://doi.org/10.1007/pl00009186</a>.","ieee":"D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” <i>Algorithmica</i>, vol. 20. Springer Nature, pp. 31–60, 1998.","ama":"Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. <i>Algorithmica</i>. 1998;20:31-60. doi:<a href=\"https://doi.org/10.1007/pl00009186\">10.1007/pl00009186</a>","apa":"Alberts, D., &#38; Henzinger, M. H. (1998). Average-case analysis of dynamic graph algorithms. <i>Algorithmica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/pl00009186\">https://doi.org/10.1007/pl00009186</a>","ista":"Alberts D, Henzinger MH. 1998. Average-case analysis of dynamic graph algorithms. Algorithmica. 20, 31–60.","mla":"Alberts, D., and Monika H. Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” <i>Algorithmica</i>, vol. 20, Springer Nature, 1998, pp. 31–60, doi:<a href=\"https://doi.org/10.1007/pl00009186\">10.1007/pl00009186</a>.","short":"D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60."},"publisher":"Springer Nature","article_type":"original","page":"31-60","quality_controlled":"1","publication_status":"published","date_created":"2022-07-28T06:50:51Z","article_processing_charge":"No","title":"Average-case analysis of dynamic graph algorithms","intvolume":"        20","_id":"11680","scopus_import":"1","author":[{"first_name":"D.","last_name":"Alberts","full_name":"Alberts, D."},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","first_name":"Monika H","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","type":"journal_article","date_published":"1998-11-01T00:00:00Z","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"keyword":["Dynamic planarity testing","Dynamic connectivity testing","Lower bounds","Cell probe model"],"language":[{"iso":"eng"}],"publication":"Algorithmica","oa_version":"None","month":"11","volume":22,"acknowledgement":".","extern":"1","citation":{"chicago":"Henzinger, Monika H, and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” <i>Algorithmica</i>. Springer Nature, 1998. <a href=\"https://doi.org/10.1007/pl00009228\">https://doi.org/10.1007/pl00009228</a>.","ieee":"M. H. Henzinger and M. L. Fredman, “Lower bounds for fully dynamic connectivity problems in graphs,” <i>Algorithmica</i>, vol. 22, no. 3. Springer Nature, pp. 351–362, 1998.","apa":"Henzinger, M. H., &#38; Fredman, M. L. (1998). Lower bounds for fully dynamic connectivity problems in graphs. <i>Algorithmica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/pl00009228\">https://doi.org/10.1007/pl00009228</a>","ama":"Henzinger MH, Fredman ML. Lower bounds for fully dynamic connectivity problems in graphs. <i>Algorithmica</i>. 1998;22(3):351-362. doi:<a href=\"https://doi.org/10.1007/pl00009228\">10.1007/pl00009228</a>","ista":"Henzinger MH, Fredman ML. 1998. Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. 22(3), 351–362.","mla":"Henzinger, Monika H., and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” <i>Algorithmica</i>, vol. 22, no. 3, Springer Nature, 1998, pp. 351–62, doi:<a href=\"https://doi.org/10.1007/pl00009228\">10.1007/pl00009228</a>.","short":"M.H. Henzinger, M.L. Fredman, Algorithmica 22 (1998) 351–362."},"year":"1998","date_updated":"2022-09-12T09:03:36Z","day":"01","doi":"10.1007/pl00009228","abstract":[{"text":"We prove lower bounds on the complexity of maintaining fully dynamic k -edge or k -vertex connectivity in plane graphs and in (k-1) -vertex connected graphs. We show an amortized lower bound of Ω (log n / {k (log log n} + log b)) per edge insertion, deletion, or query operation in the cell probe model, where b is the word size of the machine and n is the number of vertices in G . We also show an amortized lower bound of Ω (log n /(log log n + log b)) per operation for fully dynamic planarity testing in embedded graphs. These are the first lower bounds for fully dynamic connectivity problems.","lang":"eng"}],"quality_controlled":"1","page":"351-362","publisher":"Springer Nature","article_type":"original","scopus_import":"1","_id":"11681","issue":"3","author":[{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H"},{"last_name":"Fredman","first_name":"M. L.","full_name":"Fredman, M. L."}],"date_created":"2022-07-28T06:58:36Z","article_processing_charge":"No","publication_status":"published","intvolume":"        22","title":"Lower bounds for fully dynamic connectivity problems in graphs"},{"doi":"10.1109/SFCS.1998.743510","day":"01","publication_identifier":{"issn":["0272-5428"],"isbn":["0-8186-9172-7"]},"abstract":[{"text":"We consider the parametric minimum spanning tree problem, in which we are given a graph with edge weights that are linear functions of a parameter /spl lambda/ and wish to compute the sequence of minimum spanning trees generated as /spl lambda/ varies. We also consider the kinetic minimum spanning tree problem, in which /spl lambda/ represents time and the graph is subject in addition to changes such as edge insertions, deletions, and modifications of the weight functions as time progresses. We solve both problems in time O(n/sup 2/3/log/sup 4/3/) per combinatorial change in the tree (or randomized O(n/sup 2/3/log/sup 4/3/ n) per change). Our time bounds reduce to O(n/sup 1/2/log/sup 3/2/ n) per change (O(n/sup 1/2/log n) randomized) for planar graphs or other minor-closed families of graphs, and O(n/sup 1/4/log/sup 3/2/ n) per change (O(n/sup 1/4/ log n) randomized) for planar graphs with weight changes but no insertions or deletions.","lang":"eng"}],"date_updated":"2023-02-09T11:28:52Z","citation":{"ista":"Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. 1998. Parametric and kinetic minimum spanning trees. Proceedings of the 39th Annual Symposium on Foundations of Computer Science. Annual IEEE Symposium on Foundations of Computer Science, 596–605.","short":"P.K. Agarwal, D. EppsteinL. J. Guibas, M.H. Henzinger, in:, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605.","mla":"Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, 1998, pp. 596–605, doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743510\">10.1109/SFCS.1998.743510</a>.","ieee":"P. K. Agarwal, D. EppsteinL. J. Guibas, and M. H. Henzinger, “Parametric and kinetic minimum spanning trees,” in <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, Palo Alto, CA, United States, 1998, pp. 596–605.","chicago":"Agarwal, P. K., D. EppsteinL. J. Guibas, and Monika H Henzinger. “Parametric and Kinetic Minimum Spanning Trees.” In <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, 596–605, 1998. <a href=\"https://doi.org/10.1109/SFCS.1998.743510\">https://doi.org/10.1109/SFCS.1998.743510</a>.","ama":"Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. Parametric and kinetic minimum spanning trees. In: <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>. ; 1998:596-605. doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743510\">10.1109/SFCS.1998.743510</a>","apa":"Agarwal, P. K., EppsteinL. J. Guibas, D., &#38; Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i> (pp. 596–605). Palo Alto, CA, United States. <a href=\"https://doi.org/10.1109/SFCS.1998.743510\">https://doi.org/10.1109/SFCS.1998.743510</a>"},"year":"1998","date_published":"1998-09-01T00:00:00Z","type":"conference","extern":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa_version":"None","article_processing_charge":"No","date_created":"2022-07-28T07:21:34Z","month":"09","title":"Parametric and kinetic minimum spanning trees","_id":"11682","publication":"Proceedings of the 39th Annual Symposium on Foundations of Computer Science","scopus_import":"1","author":[{"full_name":"Agarwal, P. K.","first_name":"P. K.","last_name":"Agarwal"},{"first_name":"D.","last_name":"EppsteinL. J. Guibas","full_name":"EppsteinL. J. Guibas, D."},{"first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"conference":{"location":"Palo Alto, CA, United States","end_date":"1998-11-11","name":"Annual IEEE Symposium on Foundations of Computer Science","start_date":"1998-11-08"},"page":"596-605","quality_controlled":"1","language":[{"iso":"eng"}]},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","type":"journal_article","date_published":"1998-06-05T00:00:00Z","publication_identifier":{"issn":["0014-5793"]},"publist_id":"5128","language":[{"iso":"eng"}],"publication":"FEBS Letters","oa_version":"None","month":"06","volume":429,"acknowledgement":"This work was funded by the BBSRC. We would like to thank Professor Peter Horton (University of Sheffield) for the loan of the ED 800 T unit.","extern":"1","citation":{"ieee":"L. A. Sazanov, P. Burrows, and P. Nixon, “The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves,” <i>FEBS Letters</i>, vol. 429, no. 1. Elsevier, pp. 115–118, 1998.","chicago":"Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” <i>FEBS Letters</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">https://doi.org/10.1016/S0014-5793(98)00573-0</a>.","ama":"Sazanov LA, Burrows P, Nixon P. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. <i>FEBS Letters</i>. 1998;429(1):115-118. doi:<a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">10.1016/S0014-5793(98)00573-0</a>","apa":"Sazanov, L. A., Burrows, P., &#38; Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">https://doi.org/10.1016/S0014-5793(98)00573-0</a>","ista":"Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.","short":"L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.","mla":"Sazanov, Leonid A., et al. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” <i>FEBS Letters</i>, vol. 429, no. 1, Elsevier, 1998, pp. 115–18, doi:<a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">10.1016/S0014-5793(98)00573-0</a>."},"year":"1998","date_updated":"2022-09-01T13:12:15Z","external_id":{"pmid":["9657394 "]},"day":"05","doi":"10.1016/S0014-5793(98)00573-0","abstract":[{"lang":"eng","text":"\r\nWe have examined the effects of heat stress on electron transfer in the thylakoid membrane of an engineered plastid ndh deletion mutant, Δ1, incapable of performing the Ndh-mediated reduction of the plastoquinone pool in the chloroplast. Upon heat stress in the dark, the rate of PSII- independent reduction of PSI after subsequent illumination by far-red light is dramatically enhanced in both Δ1 and a wild-type control plant (WT). In contrast, in the dark, only the WT shows an increase in the reduction state of the plastoquinone pool. We conclude that the heat stress-induced reduction of the intersystem electron transport chain can be mediated by Ndh- independent pathways in the light but that in the dark the dominant pathway for reduction of the plastoquinone pool is catalysed by the Ndh complex. Our results therefore demonstrate a functional role for the Ndh complex in the dark.\r\n"}],"quality_controlled":"1","page":"115 - 118","publisher":"Elsevier","article_type":"original","_id":"1954","pmid":1,"issue":"1","author":[{"full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989","last_name":"Sazanov","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Burrows","first_name":"Paul","full_name":"Burrows, Paul"},{"last_name":"Nixon","first_name":"Peter","full_name":"Nixon, Peter"}],"date_created":"2018-12-11T11:54:54Z","article_processing_charge":"No","publication_status":"published","intvolume":"       429","title":"The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves"},{"volume":17,"acknowledgement":"We thank Professor Süss (Institute of Plant Genetics and Crop Plant Research, Gatersleben, Germany) for the gift of the anti-FNR antiserum, Professor Masahiro Sugiura (Nagoya University, Japan) for the gift of plasmid pTB19 and Professor Peter Horton (University of Sheffield) for the loan of his ED-800T unit. P.B. is a recipient of a BBSRC studentship and the work was supported by grants from the BBSRC, The Royal Society (to P.J.N.) and The National Science Foundation (to P.M.).","extern":"1","doi":"10.1093/emboj/17.4.868","day":"04","abstract":[{"text":"The plastid genomes of several plants contain homologues, termed ndh genes, of genes encoding subunits of the NADH:ubiquinone oxidoreductase or complex I of mitochondria and eubacteria. The functional significance of the Ndh proteins in higher plants is uncertain. We show here that tobacco chloroplasts contain a protein complex of 550 kDa consisting of at least three of the ndh gene products: NdhI, NdhJ and NdhK. We have constructed mutant tobacco plants with disrupted ndhC, ndhK and ndhJ plastid genes, indicating that the Ndh complex is dispensible for plant growth under optimal growth conditions. Chlorophyll fluorescence analysis shows that in vivo the Ndh complex catalyses the post-illumination reduction of the plastoquinone pool and in the light optimizes the induction of photosynthesis under conditions of water stress. We conclude that the Ndh complex catalyses the reduction of the plastoquinone pool using stromal reductant and so acts as a respiratory complex. Overall, our data are compatible with the participation of the Ndh complex in cyclic electron flow around the photosystem I complex in the light and possibly in a chloroplast respiratory chain in the dark.","lang":"eng"}],"date_updated":"2022-09-01T13:17:49Z","citation":{"chicago":"Burrows, Paul, Leonid A Sazanov, Zóra Sváb, Pàl Maliga, and Peter Nixon. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” <i>EMBO Journal</i>. Wiley-Blackwell, 1998. <a href=\"https://doi.org/10.1093/emboj/17.4.868\">https://doi.org/10.1093/emboj/17.4.868</a>.","ieee":"P. Burrows, L. A. Sazanov, Z. Sváb, P. Maliga, and P. Nixon, “Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes,” <i>EMBO Journal</i>, vol. 17, no. 4. Wiley-Blackwell, pp. 868–876, 1998.","apa":"Burrows, P., Sazanov, L. A., Sváb, Z., Maliga, P., &#38; Nixon, P. (1998). Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. <i>EMBO Journal</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1093/emboj/17.4.868\">https://doi.org/10.1093/emboj/17.4.868</a>","ama":"Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. <i>EMBO Journal</i>. 1998;17(4):868-876. doi:<a href=\"https://doi.org/10.1093/emboj/17.4.868\">10.1093/emboj/17.4.868</a>","ista":"Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.","short":"P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.","mla":"Burrows, Paul, et al. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” <i>EMBO Journal</i>, vol. 17, no. 4, Wiley-Blackwell, 1998, pp. 868–76, doi:<a href=\"https://doi.org/10.1093/emboj/17.4.868\">10.1093/emboj/17.4.868</a>."},"year":"1998","external_id":{"pmid":["9463365"]},"publisher":"Wiley-Blackwell","article_type":"original","page":"868 - 876","quality_controlled":"1","publication_status":"published","date_created":"2018-12-11T11:54:54Z","article_processing_charge":"No","title":"Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes","intvolume":"        17","pmid":1,"_id":"1955","scopus_import":"1","author":[{"first_name":"Paul","last_name":"Burrows","full_name":"Burrows, Paul"},{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov","first_name":"Leonid A","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989"},{"full_name":"Sváb, Zóra","last_name":"Sváb","first_name":"Zóra"},{"last_name":"Maliga","first_name":"Pàl","full_name":"Maliga, Pàl"},{"last_name":"Nixon","first_name":"Peter","full_name":"Nixon, Peter"}],"issue":"4","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1170436/"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"issn":["0261-4189"]},"oa":1,"publist_id":"5129","date_published":"1998-02-04T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"oa_version":"None","month":"02","publication":"EMBO Journal"},{"language":[{"iso":"eng"}],"month":"02","oa_version":"None","publication":"PNAS","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"open_access":"1","url":"https://europepmc.org/article/pmc/18756"}],"oa":1,"publist_id":"5130","publication_identifier":{"issn":["0027-8424"]},"type":"journal_article","date_published":"1998-02-03T00:00:00Z","article_type":"original","publisher":"National Academy of Sciences","quality_controlled":"1","page":"1319 - 1324","intvolume":"        95","title":"The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes","article_processing_charge":"No","date_created":"2018-12-11T11:54:54Z","publication_status":"published","issue":"3","author":[{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A","first_name":"Leonid A","last_name":"Sazanov"},{"full_name":"Burrows, Paul","first_name":"Paul","last_name":"Burrows"},{"first_name":"Peter","last_name":"Nixon","full_name":"Nixon, Peter"}],"scopus_import":"1","_id":"1956","pmid":1,"extern":"1","acknowledgement":"We gratefully acknowledge Dr. A.Carne (Institute of Cancer Research, London, U.K.) for help with N-terminal sequencing. We thank Prof. C. J. Leaver (University of Oxford, U.K.), Prof. K.-H. Süss (Institute of Plant Genetics and Crop Plant Research, Gatersleben, Germany), and Prof. L. J. Rogers (University of Aberystwyth, U.K.) for gifts of antiserum against maize mitochondrial cytochrome oxidase subunit 1 and cytochrome bc1 complex, spinach FNR, and spinach ferredoxin, respectively. This work was supported by grants from The Royal Society and the Biotechnology and Biological Sciences Research Council.","volume":95,"abstract":[{"lang":"eng","text":"\r\nThe plastid genomes of several plants contain ndh genes-homologues of genes encoding subunits of the proton-pumping NADH:ubiquinone oxidoreductase, or complex I, involved in respiration in mitochondria and eubacteria. From sequence similarities with these genes, the ndh gene products have been suggested to form a large protein complex (Ndh complex); however, the structure and function of this complex remains to be established. Herein we report the isolation of the Ndh complex from the chloroplasts of the higher plant Pisum sativum. The purification procedure involved selective solubilization of the thylakoid membrane with dodecyl maltoside, followed by two anion-exchange chromatography steps and one size-exclusion chromatography step. The isolated Ndh complex has an apparent total molecular mass of approximately 550 kDa and according to SDS/PAGE consists of at least 16 subunits including NdhA, NdhI, NdhJ, NdhK, and NdhH, which were identified by N-terminal sequencing and immunoblotting. The Ndh complex showed an NADH- and deamino-NADH-specific dehydrogenase activity, characteristic of complex I, when either ferricyanide or the quinones menadione and duroquinone were used as electron acceptors. This study describes the isolation of the chloroplast analogue of the respiratory complex I and provides direct evidence for the function of the plastid Ndh complex as an NADH:plastoquinone oxidoreductase. Our results are compatible with a dual role for the Ndh complex in the chloro-respiratory and cyclic photophosphorylation pathways."}],"day":"03","doi":"10.1073/pnas.95.3.1319","external_id":{"pmid":["9448329 "]},"year":"1998","citation":{"mla":"Sazanov, Leonid A., et al. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” <i>PNAS</i>, vol. 95, no. 3, National Academy of Sciences, 1998, pp. 1319–24, doi:<a href=\"https://doi.org/10.1073/pnas.95.3.1319\">10.1073/pnas.95.3.1319</a>.","short":"L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.","ista":"Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.","apa":"Sazanov, L. A., Burrows, P., &#38; Nixon, P. (1998). The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.95.3.1319\">https://doi.org/10.1073/pnas.95.3.1319</a>","ama":"Sazanov LA, Burrows P, Nixon P. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. <i>PNAS</i>. 1998;95(3):1319-1324. doi:<a href=\"https://doi.org/10.1073/pnas.95.3.1319\">10.1073/pnas.95.3.1319</a>","ieee":"L. A. Sazanov, P. Burrows, and P. Nixon, “The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes,” <i>PNAS</i>, vol. 95, no. 3. National Academy of Sciences, pp. 1319–1324, 1998.","chicago":"Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” <i>PNAS</i>. National Academy of Sciences, 1998. <a href=\"https://doi.org/10.1073/pnas.95.3.1319\">https://doi.org/10.1073/pnas.95.3.1319</a>."},"date_updated":"2022-09-01T13:47:05Z"},{"oa_version":"None","month":"01","publication":"Proceedings of the 9th Interantional Conference on Concurrency Theory","conference":{"start_date":"1998-09-08","name":"CONCUR: Concurrency Theory","end_date":"1998-09-11","location":"Nice, France"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-540-64896-3"]},"publist_id":"104","date_published":"1998-01-01T00:00:00Z","type":"conference","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:42Z","alternative_title":["LNCS"],"title":"Alternating refinement relations","intvolume":"      1466","_id":"4603","scopus_import":"1","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"},{"full_name":"Vardi, Moshe","last_name":"Vardi","first_name":"Moshe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","page":"163 - 178","quality_controlled":"1","doi":"10.1007/BFb0055622","day":"01","abstract":[{"text":"Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition corresponds to a possible move in a game between the components. In this paper, we study refinement relations between alternating transition systems, such as “Does the implementation refine the set A of specification components without constraining the components not in A?” In particular, we generalize the definitions of the simulation and trace containment preorders from labeled transition systems to alternating transition systems. The generalizations are called alternating simulation and alternating trace containment. Unlike existing refinement relations, they allow the refinement of individual components within the context of a composite system description. We show that, like ordinary simulation, alternating simulation can be checked in polynomial time using a fixpoint computation algorithm. While ordinary trace containment is PSPACE-complete, we establish alternating trace containment to be EXPTIME-complete. Finally, we present logical characterizations for the two preorders in terms of ATL, a temporal logic capable of referring to games between system components.","lang":"eng"}],"date_updated":"2022-08-23T09:50:34Z","citation":{"ieee":"R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, Nice, France, 1998, vol. 1466, pp. 163–178.","chicago":"Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. <a href=\"https://doi.org/10.1007/BFb0055622\">https://doi.org/10.1007/BFb0055622</a>.","apa":"Alur, R., Henzinger, T. A., Kupferman, O., &#38; Vardi, M. (1998). Alternating refinement relations. In <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i> (Vol. 1466, pp. 163–178). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/BFb0055622\">https://doi.org/10.1007/BFb0055622</a>","ama":"Alur R, Henzinger TA, Kupferman O, Vardi M. Alternating refinement relations. In: <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:163-178. doi:<a href=\"https://doi.org/10.1007/BFb0055622\">10.1007/BFb0055622</a>","ista":"Alur R, Henzinger TA, Kupferman O, Vardi M. 1998. Alternating refinement relations. Proceedings of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1466, 163–178.","short":"R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.","mla":"Alur, Rajeev, et al. “Alternating Refinement Relations.” <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:<a href=\"https://doi.org/10.1007/BFb0055622\">10.1007/BFb0055622</a>."},"year":"1998","volume":1466,"acknowledgement":"This work is supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9504469, CCR-9628400, and CCR-9700061, by the DARPA/NASA grant NAG2-1214, by the ARO MURI grant DAAH-04-96-1-0341, by the SRC contract 97-DC-324.041, and by a grant from the Intel Corporation.","extern":"1"},{"conference":{"end_date":"1998-07-02","location":"Vancouver, Canada","start_date":"1998-06-28","name":"CAV: Computer Aided Verification"},"language":[{"iso":"eng"}],"oa_version":"None","month":"01","publication":"Proceedings of the 10th International Conference on Computer Aided Verification","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication_identifier":{"isbn":["9783540646082"]},"publist_id":"103","date_published":"1998-01-01T00:00:00Z","type":"conference","publisher":"Springer","page":"521 - 525","quality_controlled":"1","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:42Z","alternative_title":["LNCS"],"title":"Mocha: Modularity in model checking","intvolume":"      1427","_id":"4604","scopus_import":"1","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Mang, Freddy","last_name":"Mang","first_name":"Freddy"},{"full_name":"Qadeer, Shaz","last_name":"Qadeer","first_name":"Shaz"},{"last_name":"Rajamani","first_name":"Sriram","full_name":"Rajamani, Sriram"},{"full_name":"Tasiran, Serdar","first_name":"Serdar","last_name":"Tasiran"}],"volume":1427,"acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041.","extern":"1","doi":"10.1007/BFb0028774","day":"01","date_updated":"2022-08-23T09:06:21Z","citation":{"short":"R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.","mla":"Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, vol. 1427, Springer, 1998, pp. 521–25, doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>.","ista":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.","apa":"Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., &#38; Tasiran, S. (1998). Mocha: Modularity in model checking. In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i> (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>","ama":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>. Vol 1427. Springer; 1998:521-525. doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>","ieee":"R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” in <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, Vancouver, Canada, 1998, vol. 1427, pp. 521–525.","chicago":"Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, 1427:521–25. Springer, 1998. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>."},"year":"1998"},{"conference":{"location":"Lisbon, Portugal","end_date":"1998-04-04","start_date":"1998-03-28","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"language":[{"iso":"eng"}],"month":"01","oa_version":"None","publication":"Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publist_id":"102","publication_identifier":{"isbn":["9783540643562"]},"date_published":"1998-01-01T00:00:00Z","type":"conference","publisher":"Springer","page":"330 - 344","quality_controlled":"1","alternative_title":["LNCS"],"title":"Symbolic exploration of transition hierarchies","intvolume":"      1384","publication_status":"published","date_created":"2018-12-11T12:09:43Z","article_processing_charge":"No","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Rajamani, Sriram","last_name":"Rajamani","first_name":"Sriram"}],"_id":"4606","scopus_import":"1","extern":"1","acknowledgement":"This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CCR-9504469, by the Air Force Office of Scientific Research contract F49620-93-1-0056, by the Army Research Office MURI grant DAAH-04-96-1-0341, by the Advanced Research Projects Agency grant NAG2-892, and by the Semiconductor Research Corporation contract 95-DC-324.036.\r\n","volume":1384,"abstract":[{"lang":"eng","text":"In formal design verification, successful model checking is typically preceded by a laborious manual process of constructing design abstractions. We present a methodology for partially—and in some cases, fully—bypassing the abstraction process. For this purpose, we provide to the designer abstraction operators which, if used judiciously in the description of a design, structure the corresponding state space hierarchically. This structure can then be exploited by verification tools, and makes possible the automatic and exhaustive exploration of state spaces that would otherwise be out of scope for existing model checkers.\r\nSpecifically, we present the following contributions:\r\n- \t A temporal abstraction operator that aggregates transitions and hides intermediate steps. Mathematically, our abstraction operator is a function that maps a flat transition system into a two-level hierarchy where each atomic upper-level transition expands into an entire lower-level transition system. For example, an arithmetic operation may expand into a sequence of bit operations.\r\n- \t A BDD-based algorithm for the symbolic exploration of multi-level hierarchies of transition systems. The algorithm traverses a level-n transition by expanding the corresponding level-(n − 1) transition system on-the-fly. The level-n successors of a state are determined by computing a level-(n − 1) reach set, which is then immediately released from memory. In this fashion, we can exhaustively explore hierarchically structured state spaces whose flat counterparts cause memory overflows.\r\n- \t We experimentally demonstrate the efficiency of our method with three examples—a multiplier, a cache coherence protocol, and a multiprocessor system. In the first two examples, we obtain significant improvements in run times and peak BDD sizes over traditional state-space search. The third example cannot be model checked at all using conventional methods (without manual abstractions), but can be analyzed fully automatically using transition hierarchies."}],"doi":"10.1007/BFb0054181","day":"01","date_updated":"2022-08-23T08:44:36Z","year":"1998","citation":{"ista":"Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.","mla":"Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.” <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 1384, Springer, 1998, pp. 330–44, doi:<a href=\"https://doi.org/10.1007/BFb0054181\">10.1007/BFb0054181</a>.","short":"R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 1384:330–44. Springer, 1998. <a href=\"https://doi.org/10.1007/BFb0054181\">https://doi.org/10.1007/BFb0054181</a>.","ieee":"R. Alur, T. A. Henzinger, and S. Rajamani, “Symbolic exploration of transition hierarchies,” in <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Lisbon, Portugal, 1998, vol. 1384, pp. 330–344.","apa":"Alur, R., Henzinger, T. A., &#38; Rajamani, S. (1998). Symbolic exploration of transition hierarchies. In <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 1384, pp. 330–344). Lisbon, Portugal: Springer. <a href=\"https://doi.org/10.1007/BFb0054181\">https://doi.org/10.1007/BFb0054181</a>","ama":"Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 1384. Springer; 1998:330-344. doi:<a href=\"https://doi.org/10.1007/BFb0054181\">10.1007/BFb0054181</a>"}},{"author":[{"last_name":"De Alfaro","first_name":"Luca","full_name":"De Alfaro, Luca"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"}],"publication":" Proceedings 39th Annual Symposium on Foundations of Computer Science","_id":"4639","title":"Concurrent reachability games","month":"01","date_created":"2018-12-11T12:09:53Z","article_processing_charge":"No","oa_version":"None","publication_status":"published","language":[{"iso":"eng"}],"quality_controlled":"1","page":"564 - 575","conference":{"end_date":"1998-11-11","location":"Palo Alto, CA, United States of America","name":"FOCS: Foundations of Computer Science","start_date":"1998-11-08"},"publisher":"IEEE","type":"conference","date_published":"1998-01-01T00:00:00Z","year":"1998","citation":{"ieee":"L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” in <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, Palo Alto, CA, United States of America, 1998, pp. 564–575.","chicago":"De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, 564–75. IEEE, 1998. <a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">https://doi.org/10.1109/SFCS.1998.743507  </a>.","apa":"De Alfaro, L., Henzinger, T. A., &#38; Kupferman, O. (1998). Concurrent reachability games. In <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i> (pp. 564–575). Palo Alto, CA, United States of America: IEEE. <a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">https://doi.org/10.1109/SFCS.1998.743507  </a>","ama":"De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>. IEEE; 1998:564-575. doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">10.1109/SFCS.1998.743507  </a>","ista":"De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games.  Proceedings 39th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 564–575.","mla":"De Alfaro, Luca, et al. “Concurrent Reachability Games.” <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, IEEE, 1998, pp. 564–75, doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">10.1109/SFCS.1998.743507  </a>.","short":"L. De Alfaro, T.A. Henzinger, O. Kupferman, in:,  Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575."},"date_updated":"2022-08-22T14:09:02Z","publist_id":"68","abstract":[{"text":"An open system can be modeled as a two-player game between the system and its environment. At each round of the game, player 1 (the system) and player 2 (the environment) independently and simultaneously choose moves, and the two choices determine the next state of the game. Properties of open systems can be modeled as objectives of these two-player games. For the basic objective of reachability-can player 1 force the game to a given set of target states?-there are three types of winning states, according to the degree of certainty with which player 1 can reach the target. From type-1 states, player 1 has a deterministic strategy to always reach the target. From type-2 states, player 1 has a randomized strategy to reach the target with probability 1. From type-3 states, player 1 has for every real ε&gt;0 a randomized strategy to reach the target with probability greater than 1-ε. We show that for finite state spaces, all three sets of winning states can be computed in polynomial time: type-1 states in linear time, and type-2 and type-3 states in quadratic time. The algorithms to compute the three sets of winning states also enable the construction of the winning and spoiling strategies. Finally, we apply our results by introducing a temporal logic in which all three kinds of winning conditions can be specified, and which can be model checked in polynomial time. This logic, called Randomized ATL, is suitable for reasoning about randomized behavior in open (two-agent) as well as multi-agent systems","lang":"eng"}],"publication_identifier":{"isbn":["0818691727"]},"day":"01","doi":"10.1109/SFCS.1998.743507  ","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1"},{"page":"679-689","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Elsevier","publication":"Cell","_id":"6160","pmid":1,"author":[{"first_name":"Mario","last_name":"de Bono","orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Bargmann, Cornelia I","first_name":"Cornelia I","last_name":"Bargmann"}],"issue":"5","oa_version":"None","publication_status":"published","date_created":"2019-03-21T10:32:06Z","month":"09","title":"Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans","intvolume":"        94","volume":94,"extern":"1","status":"public","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:06:28Z","year":"1998","citation":{"ama":"de Bono M, Bargmann CI. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. <i>Cell</i>. 1998;94(5):679-689. doi:<a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">10.1016/s0092-8674(00)81609-8</a>","apa":"de Bono, M., &#38; Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">https://doi.org/10.1016/s0092-8674(00)81609-8</a>","ieee":"M. de Bono and C. I. Bargmann, “Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans,” <i>Cell</i>, vol. 94, no. 5. Elsevier, pp. 679–689, 1998.","chicago":"Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” <i>Cell</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">https://doi.org/10.1016/s0092-8674(00)81609-8</a>.","short":"M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.","mla":"de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” <i>Cell</i>, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:<a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">10.1016/s0092-8674(00)81609-8</a>.","ista":"de Bono M, Bargmann CI. 1998. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 94(5), 679–689."},"date_published":"1998-09-04T00:00:00Z","external_id":{"pmid":["9741632"]},"type":"journal_article","doi":"10.1016/s0092-8674(00)81609-8","publication_identifier":{"issn":["0092-8674"]},"day":"04","abstract":[{"text":"Natural isolates of C. elegans exhibit either solitary or social feeding behavior. Solitary foragers move slowly on a bacterial lawn and disperse across it, while social foragers move rapidly on bacteria and aggregate together. A loss-of-function mutation in the npr-1 gene, which encodes a predicted G protein–coupled receptor similar to neuropeptide Y receptors, causes a solitary strain to take on social behavior. Two isoforms of NPR-1 that differ at a single residue occur in the wild. One isoform, NPR-1 215F, is found exclusively in social strains, while the other isoform, NPR-1 215V, is found exclusively in solitary strains. An NPR-1 215V transgene can induce solitary feeding behavior in a wild social strain. Thus, isoforms of a putative neuropeptide receptor generate natural variation in C. elegans feeding behavior.","lang":"eng"}]}]
