[{"page":"879 - 906","date_created":"2018-12-11T12:08:02Z","month":"10","extern":"1","publisher":"Genetics Society of America","intvolume":" 147","status":"public","publication":"Genetics","quality_controlled":"1","title":"The evolution of recombination: Removing the limits to natural selection","citation":{"apa":"Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/147.2.879","ama":"Otto S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):879-906. doi:10.1093/genetics/147.2.879","short":"S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.","mla":"Otto, Sarah, and Nicholas H. Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics, vol. 147, no. 2, Genetics Society of America, 1997, pp. 879–906, doi:10.1093/genetics/147.2.879.","ieee":"S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2. Genetics Society of America, pp. 879–906, 1997.","ista":"Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.","chicago":"Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/147.2.879."},"author":[{"first_name":"Sarah","full_name":"Otto, Sarah","last_name":"Otto"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","first_name":"Nicholas H","full_name":"Barton, Nicholas H","last_name":"Barton"}],"type":"journal_article","day":"01","pmid":1,"doi":"10.1093/genetics/147.2.879","language":[{"iso":"eng"}],"article_processing_charge":"No","issue":"2","date_published":"1997-10-01T00:00:00Z","_id":"4285","abstract":[{"lang":"eng","text":"One of the oldest hypotheses for the advantage of recombination is that recombination allo rvs beneficial mutations that arise in different individuals to be placed together on the same chromosome. Unless recombination occurs, one of the beneficial alleles is doomed to extinction, slowing the rate at which adaptive mutations are incorporated within a population. We model the effects of a modifier of recombination on the fixation probability of beneficial mutations when beneficial alleles are segregating at other loci. We find that modifier alleles that increase recombination do increase the fixation probability of beneficial mutants and subsequently hitchhike along as the mutants rise in frequency. The strength of selection favoring a modifier that increases recombination is proportional to lambda(2)S delta r/r when linkage is tight and lambda(2)S(3) delta r/N when linkage is loose, where lambda is the beneficial mutation rate per genome per generation throughout a population of size N, S is the average mutant effect, r is the average recombination rate, and delta ris the amount that recombination is modified. We conclude that selection for recombination will be substantial only if there is tight linkage within the genome or if many loci are subject to directional selection as during periods of rapid evolutionary change."}],"main_file_link":[{"url":"https://academic.oup.com/genetics/article/147/2/879/6054161","open_access":"1"}],"oa":1,"publication_status":"published","volume":147,"year":"1997","oa_version":"Published Version","article_type":"original","publist_id":"1796","publication_identifier":{"issn":["0016-6731"]},"scopus_import":"1","external_id":{"pmid":["9335621"]},"date_updated":"2022-08-18T11:36:10Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"acknowledgement":"We are specially grateful to H. C. HAUFFE for allowing us to present her unpublished data. B. NURNBERGER, J. B. SEARLE, H. C. HAUFFE, S. BAIRD, L. KRUUK and two anonymous referees gave constructive comments on the manuscript. The work was supported by the European Union (Human Capital and Mobility Contract No. RB4050PL922765.","pmid":1,"language":[{"iso":"eng"}],"doi":"10.1093/genetics/145.2.493","citation":{"mla":"Piálek, Jaroslav, and Nicholas H. Barton. “The Spread of an Advantageous Allele across a Barrier: The Effects of Random Drift and Selection against Heterozygotes.” Genetics, vol. 145, no. 2, Genetics Society of America, 1997, pp. 493–504, doi:10.1093/genetics/145.2.493.","ista":"Piálek J, Barton NH. 1997. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 145(2), 493–504.","ieee":"J. Piálek and N. H. Barton, “The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes,” Genetics, vol. 145, no. 2. Genetics Society of America, pp. 493–504, 1997.","chicago":"Piálek, Jaroslav, and Nicholas H Barton. “The Spread of an Advantageous Allele across a Barrier: The Effects of Random Drift and Selection against Heterozygotes.” Genetics. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/145.2.493.","apa":"Piálek, J., & Barton, N. H. (1997). The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/145.2.493","ama":"Piálek J, Barton NH. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 1997;145(2):493-504. doi:10.1093/genetics/145.2.493","short":"J. Piálek, N.H. Barton, Genetics 145 (1997) 493–504."},"title":"The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes","day":"01","type":"journal_article","author":[{"last_name":"Piálek","full_name":"Piálek, Jaroslav","first_name":"Jaroslav"},{"full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Genetics Society of America","quality_controlled":"1","publication":"Genetics","status":"public","intvolume":" 145","page":"493 - 504","extern":"1","month":"02","date_created":"2018-12-11T12:08:03Z","date_updated":"2022-08-18T12:34:37Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","external_id":{"pmid":["9071602"]},"scopus_import":"1","publication_identifier":{"issn":["0016-6731"]},"publist_id":"1797","article_type":"original","oa_version":"Published Version","year":"1997","publication_status":"published","main_file_link":[{"open_access":"1","url":"https://academic.oup.com/genetics/article/145/2/493/6018085"}],"oa":1,"volume":145,"issue":"2","article_processing_charge":"No","_id":"4286","abstract":[{"text":"A local barrier to gene flow will delay the spread of an advantageous allele. Exact calculations for the deterministic case show that an allele that is favorable when rare is delayed very little even by a strong barrier; its spread is allowed by a time proportional to log((B/σ)√2S)/S, where B is the barrier strength, σ the dispersal range, and fitnesses are 1:1 + S:1 + 2S. However, when there is selection against heterozytes, such that the allele cannot increase from low frequency, a barrier can cause a much greater delay. If gene flow is reduced below a critical value, spread is entirely prevented. Stochastic simulations show that with additive selection, random drift slows down the spread of the allele, below the deterministic speed of σ√2S. The delay to the advance of an advantageous allele caused by a strong barrier can be substantially increased by random drift and increases with B/(2Sρσ2) in a one-dimensional habitat of density ρ. However, with selection against heterozygotes, drift can facilitate the spread and can free an allele that would otherwise be trapped indefinitely by a strong barrier. We discuss the implications of these results for the evolution of chromosome rearrangements.","lang":"eng"}],"date_published":"1997-02-01T00:00:00Z"},{"publisher":"Wiley-Blackwell","intvolume":" 51","status":"public","publication":"Evolution; International Journal of Organic Evolution","quality_controlled":"1","page":"643 - 671","date_created":"2018-12-11T12:08:03Z","month":"06","extern":"1","pmid":1,"acknowledgement":"We thank the following people for discussion and comments on themanuscript: S.Barrett,J. Bull, B.Charlesworth, D.Charlesworth, P. DeVries, S.Gavrilets, J. H.Gillespie, R.K.Grosberg, W.G. Hill, A. A.Hoffmann, M.Kirkpatrick, C.H.Langley, R. C.Lewontin, J.B. Mallet, M. Noor, L.Nunney, H. A. Orr, T. Prout, M.Slatkin, J.Spofford, W.Stephan, J. B. Walsh, P. Ward, K. Weber, J. Willis, and M.Zwick. We are especially grateful to D.J. Futuyma and D.Schemskefor their exhaustive criticism of the manuscript. Needless to say, not all of these reviewers agree with our ideas. This work was supported by National Institutes of Health grant GM50355 to JAC, National Science Foundation grant DEB9527808 to MT, and grants from the Darwin Trust of Edinburgh and the Biotechnology and Biological Sciences Research Council (GRJI76057,GRIHI09928) to NHB.","doi":"10.1111/j.1558-5646.1997.tb03650.x","language":[{"iso":"eng"}],"title":"Perspective: A critique of Sewall Wright's shifting balance theory of evolutionight's shifting balance theory of evolution","citation":{"ama":"Coyne J, Barton NH, Turelli M. Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. 1997;51(3):643-671. doi:10.1111/j.1558-5646.1997.tb03650.x","apa":"Coyne, J., Barton, N. H., & Turelli, M. (1997). Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1997.tb03650.x","short":"J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 51 (1997) 643–671.","mla":"Coyne, Jerry, et al. “Perspective: A Critique of Sewall Wright’s Shifting Balance Theory of Evolutionight’s Shifting Balance Theory of Evolution.” Evolution; International Journal of Organic Evolution, vol. 51, no. 3, Wiley-Blackwell, 1997, pp. 643–71, doi:10.1111/j.1558-5646.1997.tb03650.x.","chicago":"Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Perspective: A Critique of Sewall Wright’s Shifting Balance Theory of Evolutionight’s Shifting Balance Theory of Evolution.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1997. https://doi.org/10.1111/j.1558-5646.1997.tb03650.x.","ieee":"J. Coyne, N. H. Barton, and M. Turelli, “Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution,” Evolution; International Journal of Organic Evolution, vol. 51, no. 3. Wiley-Blackwell, pp. 643–671, 1997.","ista":"Coyne J, Barton NH, Turelli M. 1997. Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. 51(3), 643–671."},"type":"journal_article","author":[{"first_name":"Jerry","full_name":"Coyne, Jerry","last_name":"Coyne"},{"orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"},{"last_name":"Turelli","full_name":"Turelli, Michael","first_name":"Michael"}],"day":"01","oa":1,"main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1997.tb03650.x","open_access":"1"}],"publication_status":"published","volume":51,"article_processing_charge":"No","issue":"3","_id":"4287","date_published":"1997-06-01T00:00:00Z","abstract":[{"lang":"eng","text":"We evaluate Sewall Wright's three-phase \"shifting balance\" theory of evolution, examining both the theoretical issues and the relevant data from nature and the laboratory. We conclude that while phases I and II of Wright's theory (the movement of populations from one \"adaptive peak\" to another via drift and selection) can occur under some conditions, genetic drift is often unnecessary for movement between peaks. Phase III of the shifting balance, in which adaptations spread from particular populations to the entire species, faces two major theoretical obstacles: (1) unlike adaptations favored by simple directional selection, adaptations whose fixation requires some genetic drift are often prevented from spreading by barriers to gene flow; and (2) it is difficult to assemble complex adaptations whose constituent parts arise via peak shifts in different demes. Our review of the data from nature shows that although there is some evidence for individual phases of the shifting balance process, there are few empirical observations explained better by Wright's three-phase mechanism than by simple mass selection. Similarly, artificial selection experiments fail to show that selection in subdivided populations produces greater response than does mass selection in large populations. The complexity of the shifting balance process and the difficulty of establishing that adaptive valleys have been crossed by genetic drift make it impossible to test Wright's claim that adaptations commonly originate by this process. In view of these problems, it seems unreasonable to consider the shifting balance process as an important explanation for the evolution of adaptations. "}],"publication_identifier":{"issn":["0014-3820"]},"scopus_import":"1","external_id":{"pmid":["28568586"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-18T09:48:43Z","oa_version":"Published Version","year":"1997","article_type":"original","publist_id":"1791"},{"acknowledgement":"We thank John Sved for helpful discussions in the planningstages of the project, Brian Charlesworth, Alexei Kondrashov, Trudy Mackay and Steve Stearns for commentson the manuscript, SERC, BBSRC, the Darwin Trust andthe Royal Society for Financial support, and Ms N. Goorneyfor technical assistance","pmid":1,"doi":"10.1098/rspb.1997.0027","language":[{"iso":"eng"}],"title":"Genetic variation for total fitness in Drosophila melanogaster","citation":{"mla":"Fowler, Kevin, et al. “Genetic Variation for Total Fitness in Drosophila Melanogaster.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 264, no. 1379, The Royal Society, 1997, pp. 191–99, doi:10.1098/rspb.1997.0027.","chicago":"Fowler, Kevin, Colin Semple, Nicholas H Barton, and Linda Partridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 1997. https://doi.org/10.1098/rspb.1997.0027.","ista":"Fowler K, Semple C, Barton NH, Partridge L. 1997. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 264(1379), 191–199.","ieee":"K. Fowler, C. Semple, N. H. Barton, and L. Partridge, “Genetic variation for total fitness in Drosophila melanogaster,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 264, no. 1379. The Royal Society, pp. 191–199, 1997.","ama":"Fowler K, Semple C, Barton NH, Partridge L. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 1997;264(1379):191-199. doi:10.1098/rspb.1997.0027","apa":"Fowler, K., Semple, C., Barton, N. H., & Partridge, L. (1997). Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.1997.0027","short":"K. Fowler, C. Semple, N.H. Barton, L. Partridge, Proceedings of the Royal Society of London Series B Biological Sciences 264 (1997) 191–199."},"author":[{"first_name":"Kevin","full_name":"Fowler, Kevin","last_name":"Fowler"},{"last_name":"Semple","first_name":"Colin","full_name":"Semple, Colin"},{"orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"},{"full_name":"Partridge, Linda","first_name":"Linda","last_name":"Partridge"}],"type":"journal_article","day":"22","publisher":"The Royal Society","intvolume":" 264","status":"public","quality_controlled":"1","publication":"Proceedings of the Royal Society of London Series B Biological Sciences","page":"191 - 199","date_created":"2018-12-11T12:08:03Z","extern":"1","month":"02","publication_identifier":{"issn":["0962-8452"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-18T11:31:58Z","scopus_import":"1","external_id":{"pmid":["9061969"]},"year":"1997","oa_version":"Published Version","publist_id":"1792","article_type":"original","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1688253/","open_access":"1"}],"oa":1,"publication_status":"published","volume":264,"issue":"1379","article_processing_charge":"No","_id":"4288","abstract":[{"lang":"eng","text":"We measured the heterozygous effects on net fitness of a sample of 12 wild-type third chromosomes in D. melanogaster. Effects on fitness were assessed by competing the wild-type chromosomes against balancer chromosomes, to prevent the production of recombinants. The measurements were carried out in the population cage environment in which the life history had been evolving, in an undisturbed population with overlapping generations, and replicated measurements were made on each chromosome to control for confounding effects such as mutation accumulation. We found significant variation among the wild type chromosomes in their additive genetic effect on net fitness. The system provides an opportunity to obtain an accurate estimate of the distribution of heterozygous effects on net fitness, the contribution of different fitness components including male mating success, and the role of intra-chromosomal epistasis in fitness variation."}],"date_published":"1997-02-22T00:00:00Z"},{"publist_id":"1788","article_type":"letter_note","year":"1997","oa_version":"Published Version","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-17T13:07:08Z","publication_identifier":{"issn":["0960-9822"]},"issue":"12","article_processing_charge":"No","_id":"4289","abstract":[{"lang":"eng","text":"A worldwide survey of polymorphic molecular markers shows that the human population is genetically homogeneous, in close agreement with evidence from quite different genes and traits."}],"date_published":"1997-12-01T00:00:00Z","publication_status":"published","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0960982206003976?via%3Dihub","open_access":"1"}],"oa":1,"volume":7,"citation":{"ieee":"N. H. Barton, “Population genetics: A new apportionment of human diversity,” Current Biology, vol. 7, no. 12. Cell Press, pp. 757–758, 1997.","ista":"Barton NH. 1997. Population genetics: A new apportionment of human diversity. Current Biology. 7(12), 757–758.","chicago":"Barton, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.” Current Biology. Cell Press, 1997. https://doi.org/10.1016/S0960-9822(06)00397-6.","mla":"Barton, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.” Current Biology, vol. 7, no. 12, Cell Press, 1997, pp. 757–58, doi:10.1016/S0960-9822(06)00397-6.","short":"N.H. Barton, Current Biology 7 (1997) 757–758.","apa":"Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6","ama":"Barton NH. Population genetics: A new apportionment of human diversity. Current Biology. 1997;7(12):757-758. doi:10.1016/S0960-9822(06)00397-6"},"title":"Population genetics: A new apportionment of human diversity","day":"01","type":"journal_article","author":[{"orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Barton, Nicholas H","last_name":"Barton"}],"language":[{"iso":"eng"}],"doi":"10.1016/S0960-9822(06)00397-6","page":"757 - 758","extern":"1","month":"12","date_created":"2018-12-11T12:08:04Z","publisher":"Cell Press","quality_controlled":"1","publication":"Current Biology","status":"public","intvolume":" 7"},{"page":"178 - 180","issue":"2","article_processing_charge":"No","extern":"1","month":"10","_id":"4290","date_created":"2018-12-11T12:08:04Z","date_published":"1997-10-01T00:00:00Z","publication_status":"published","publisher":"Cambridge University Press","publication":"Genetical Research","volume":70,"intvolume":" 70","status":"public","citation":{"ista":"Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.","ieee":"N. H. Barton, “Natural hybridization and evolution,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 178–180, 1997.","chicago":"Barton, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research. Cambridge University Press, 1997.","mla":"Barton, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research, vol. 70, no. 2, Cambridge University Press, 1997, pp. 178–80.","short":"N.H. Barton, Genetical Research 70 (1997) 178–180.","apa":"Barton, N. H. (1997). Natural hybridization and evolution. Genetical Research. Cambridge University Press.","ama":"Barton NH. Natural hybridization and evolution. Genetical Research. 1997;70(2):178-180."},"title":"Natural hybridization and evolution","publist_id":"1789","day":"01","year":"1997","oa_version":"None","author":[{"full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"type":"review","language":[{"iso":"eng"}],"date_updated":"2022-08-17T14:10:20Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"issn":["0016-6723"]}},{"publication_identifier":{"issn":["0016-6723"]},"date_updated":"2022-08-18T09:36:25Z","language":[{"iso":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","year":"1997","type":"review","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"}],"publist_id":"1790","day":"01","title":"The ecological detective: Confronting models with data","citation":{"ieee":"N. H. Barton, “The ecological detective: Confronting models with data,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 180–181, 1997.","ista":"Barton NH. 1997. The ecological detective: Confronting models with data. Genetical Research. 70(2), 180–181.","chicago":"Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research. Cambridge University Press, 1997.","mla":"Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research, vol. 70, no. 2, Cambridge University Press, 1997, pp. 180–81.","short":"N.H. Barton, Genetical Research 70 (1997) 180–181.","apa":"Barton, N. H. (1997). The ecological detective: Confronting models with data. Genetical Research. Cambridge University Press.","ama":"Barton NH. The ecological detective: Confronting models with data. Genetical Research. 1997;70(2):180-181."},"volume":70,"intvolume":" 70","status":"public","quality_controlled":"1","publication":"Genetical Research","main_file_link":[{"url":"https://www.cambridge.org/core/journals/genetics-research/article/ecological-detective-confronting-models-with-data-by-ray-hilborn-and-marc-mangel-princeton-university-press-1997-315xvii-pages-price-3000-cloth-1695-paper-isbn-0-691-03496-6-0-691-03497-4-pbk/AA6FCD668DFFAEF537C2674ECCFC8966"}],"publication_status":"published","publisher":"Cambridge University Press","date_published":"1997-10-01T00:00:00Z","_id":"4291","date_created":"2018-12-11T12:08:04Z","extern":"1","month":"10","issue":"2","article_processing_charge":"No","page":"180 - 181"},{"article_processing_charge":"No","page":"183 - 210","date_published":"1997-03-12T00:00:00Z","_id":"4293","abstract":[{"lang":"eng","text":"Natural populations differ from the simplest models in ways which can significantly affect their evolution. Real populations are rarely all of the same size; the rates of migration into and out of populations vary in space and time; some populations go extinct, and new ones are established, while all populations fluctuate in size. Furthermore, the genetic properties of real species are not like those assumed in simple models. Alleles are exposed to a wide variety of selection mutation rarely creates novel genotypes with each mutation event, generations overlap, and environments vary from place to place. Evolution in a metapopulation can be substantially different from the predictions of single-population models and, indeed, very different from the simplest models of subdivided species."}],"date_created":"2018-12-11T12:08:05Z","extern":"1","month":"03","publication_status":"published","publisher":"Academic Press","status":"public","quality_controlled":"1","publication":"Metapopulation Biology","editor":[{"last_name":"Hanski","first_name":"Illka","full_name":"Hanski, Illka"},{"full_name":"Gilpin, Michael E.","first_name":"Michael E.","last_name":"Gilpin"}],"title":"The evolution of metapopulations","citation":{"ieee":"N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, I. Hanski and M. E. Gilpin, Eds. Academic Press, 1997, pp. 183–210.","ista":"Barton NH, Whitlock M. 1997.The evolution of metapopulations. In: Metapopulation Biology. , 183–210.","chicago":"Barton, Nicholas H, and Michael Whitlock. “The Evolution of Metapopulations.” In Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, 183–210. Academic Press, 1997. https://doi.org/10.1016/B978-012323445-2/50012-2.","mla":"Barton, Nicholas H., and Michael Whitlock. “The Evolution of Metapopulations.” Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, Academic Press, 1997, pp. 183–210, doi:10.1016/B978-012323445-2/50012-2.","short":"N.H. Barton, M. Whitlock, in:, I. Hanski, M.E. Gilpin (Eds.), Metapopulation Biology, Academic Press, 1997, pp. 183–210.","apa":"Barton, N. H., & Whitlock, M. (1997). The evolution of metapopulations. In I. Hanski & M. E. Gilpin (Eds.), Metapopulation Biology (pp. 183–210). Academic Press. https://doi.org/10.1016/B978-012323445-2/50012-2","ama":"Barton NH, Whitlock M. The evolution of metapopulations. In: Hanski I, Gilpin ME, eds. Metapopulation Biology. Academic Press; 1997:183-210. doi:10.1016/B978-012323445-2/50012-2"},"year":"1997","oa_version":"None","type":"book_chapter","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"},{"last_name":"Whitlock","full_name":"Whitlock, Michael","first_name":"Michael"}],"publist_id":"1782","day":"12","doi":"10.1016/B978-012323445-2/50012-2","publication_identifier":{"isbn":["9780123234452"]},"language":[{"iso":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-17T12:47:42Z"},{"publist_id":"291","oa_version":"None","year":"1997","date_updated":"2022-08-17T12:29:48Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","publication_identifier":{"isbn":["9783540626008"]},"article_processing_charge":"No","date_published":"1997-01-01T00:00:00Z","_id":"4438","abstract":[{"lang":"eng","text":"In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satisfies a temporal-logic formula that specifies the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in industrial applications. The development of programs that must meet rigid real-time constraints has brought with it a need for real-time temporal logics that enable quantitative reference to time. Early research on real-time temporal logics uses the discrete domain of the integers to model time. Present research on real-time temporal logics focuses on continuous time and uses the dense domain of the reals to model time. There, model checking becomes significantly more complicated. For example, the model-checking problem for TCTL, a continuous-time extension of the logic CTL, is PSPACE-complete.\r\nIn this paper we suggest a reduction from TCTL model checking to CTL model checking. The contribution of such a reduction is twofold. Theoretically, while it has long been known that model-checking methods for untimed temporal logics can be extended quite easily to handle discrete time, it was not clear whether and how untimed methods can handle the reset quantifier of TCTL, which resets a realvalued clock. Practically, our reduction enables anyone who has a tool for CTL model checking to use it for TCTL model checking. The TCTL model-checking algorithm that follows from our reduction is in PSPACE, matching the known bound for this problem. In addition, it enjoys the wide distribution of CTL model-checking tools and the extensive and fruitful research efforts and heuristics that have been put into these tools."}],"publication_status":"published","volume":1201,"citation":{"short":"T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.","ama":"Henzinger TA, Kupferman O. From quantity to quality. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:48-62. doi:10.1007/BFb0014712","apa":"Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 48–62). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014712","chicago":"Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997. https://doi.org/10.1007/BFb0014712.","ieee":"T. A. Henzinger and O. Kupferman, “From quantity to quality,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 48–62.","ista":"Henzinger TA, Kupferman O. 1997. From quantity to quality. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 48–62.","mla":"Henzinger, Thomas A., and Orna Kupferman. “From Quantity to Quality.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 48–62, doi:10.1007/BFb0014712."},"conference":{"name":"HART: Hybrid and Real-Time Systems","start_date":"1997-03-26","end_date":"1997-03-28","location":"Grenoble, France"},"title":"From quantity to quality","day":"01","alternative_title":["LNCS"],"type":"conference","author":[{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"}],"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 AFOSR contract F49620-93-1-0056, by the ARO MURI grant DAAH-04-96-1-0341, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036.","language":[{"iso":"eng"}],"doi":"10.1007/BFb0014712","page":"48 - 62","extern":"1","month":"01","date_created":"2018-12-11T12:08:51Z","publisher":"Springer","quality_controlled":"1","publication":"Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems","intvolume":" 1201","status":"public"},{"publist_id":"289","oa_version":"None","year":"1997","scopus_import":"1","date_updated":"2022-08-17T12:04:15Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9783540631651"]},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Rectangular hybrid automata model digital control programs of analog plant environments. We study rectangular hybrid automata where the plant state evolves continuously in real-numbered time, and the controller samples the plant state and changes the control state discretely, only at the integer points in time. We prove that rectangular hybrid automata have finite bisimilarity quotients when all control transitions happen at integer times, even if the constraints on the derivatives of the variables vary between control states. This is sharply in contrast with the conventional model where control transitions may happen at any real time, and already the reachability problem is undecidable. Based on the finite bisimilarity quotients, we give an exponential algorithm for the symbolic sampling-controller synthesis of rectangular automata. We show our algorithm to be optimal by proving the problem to be EXPTIME-hard. We also show that rectangular automata form a maximal class of systems for which the sampling-controller synthesis problem can be solved algorithmically."}],"_id":"4441","date_published":"1997-01-01T00:00:00Z","publication_status":"published","volume":1256,"citation":{"short":"T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.","apa":"Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer. https://doi.org/10.1007/3-540-63165-8_213","ama":"Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Proceedings of the 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213","ieee":"T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” in Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 582–593.","ista":"Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. Proceedings of the 24th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1256, 582–593.","chicago":"Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997. https://doi.org/10.1007/3-540-63165-8_213.","mla":"Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Proceedings of the 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213."},"title":"Discrete-time control for rectangular hybrid automata","conference":{"end_date":"1997-07-11","start_date":"1997-07-07","name":"ICALP: Automata, Languages and Programming","location":"Bologna, Italy"},"day":"01","author":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kopke, Peter","first_name":"Peter","last_name":"Kopke"}],"type":"conference","alternative_title":["LNCS"],"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 AFOSR contract F49620-93-1-0056, by the ARO MURI contract DAAH-04-96-1-0341, by the ARO contract DAAL03-91-C-0027 through the MSI at Cornell University, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036.","language":[{"iso":"eng"}],"doi":"10.1007/3-540-63165-8_213","page":"582 - 593","month":"01","extern":"1","date_created":"2018-12-11T12:08:52Z","publisher":"Springer","publication":"Proceedings of the 24th International Colloquium on Automata, Languages and Programming","quality_controlled":"1","intvolume":" 1256","status":"public"},{"page":"110 - 122","month":"01","extern":"1","date_created":"2018-12-11T12:09:08Z","publisher":"Springer","publication":"Software Tools For Technology Transfer","quality_controlled":"1","intvolume":" 1","status":"public","citation":{"short":"T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.","apa":"Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008","ama":"Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1997;1(1-2):110-122. doi:10.1007/s100090050008","ista":"Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050008.","mla":"Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008."},"title":"HyTech: A model checker for hybrid systems","day":"01","author":[{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"last_name":"Ho","full_name":"Ho, Pei","first_name":"Pei"},{"full_name":"Wong Toi, Howard","first_name":"Howard","last_name":"Wong Toi"}],"type":"journal_article","acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, the NSF CAREER award CCR-501708, NSF grant CCR-9504469, AFOSR contract F49620-93-1-0056, ARO MURI grant DAAH-04-96-1-0341, ARPA grant AG2-892, and SRC contract 95-DC-324.036.","language":[{"iso":"eng"}],"doi":"10.1007/s100090050008","article_processing_charge":"No","issue":"1-2","date_published":"1997-01-01T00:00:00Z","_id":"4493","abstract":[{"lang":"eng","text":"A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. HyTech is a symbolic model checker for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically by computing with polyhedral state sets. A key feature of HyTech is its ability to perform parametric analysis, i.e., to determine the values of design parameters for which a linear hybrid automaton satisfies a temporal-logic requirement."}],"publication_status":"published","volume":1,"article_type":"original","publist_id":"236","oa_version":"None","year":"1997","scopus_import":"1","date_updated":"2022-08-17T11:14:15Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"issn":["1433-2779"]}},{"publisher":"Springer","quality_controlled":"1","status":"public","intvolume":" 1254","page":"460 - 463","month":"01","extern":"1","date_created":"2018-12-11T12:09:08Z","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 AFOSR contract F49620-93-1-0056, by the ARO MURI grant DAAH-04-96-1-0341, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036.","language":[{"iso":"eng"}],"doi":"10.1007/3-540-63166-6_48","citation":{"mla":"Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.","ista":"Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 460–463.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,” 1254:460–63. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_48.","apa":"Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_48","ama":"Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48","short":"T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463."},"title":"HyTech: A model checker for hybrid systems","conference":{"start_date":"1997-06-22","end_date":"1997-06-25","name":"CAV: Computer Aided Verification","location":"Haifa, Israel"},"day":"01","type":"conference","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"first_name":"Pei","full_name":"Ho, Pei","last_name":"Ho"},{"first_name":"Howard","full_name":"Wong Toi, Howard","last_name":"Wong Toi"}],"alternative_title":["LNCS"],"publication_status":"published","volume":1254,"article_processing_charge":"No","abstract":[{"lang":"eng","text":"A hybrid system consists of a collection of digital programs that interact with each other and with an analog environment. Examples of hybrid systems include medical equipment, manufacturing controllers, automotive controllers, and robots. The formal analysis of the mixed digital-analog nature of these systems requires a model that incorporates the discrete behavior of computer programs with the continuous behavior of environment variables, such as temperature and pressure. Hybrid automata capture both types of behavior by combining finite automata with differential inclusions (i.e. differential inequalities). HyTech is a symbolic model checker for linear hybrid automata, an expressive, yet automatically analyzable, subclass of hybrid automata. A key feature of HyTech is its ability to perform parametric analysis, i.e. to determine the values of design parameters for which a linear hybrid automaton satisfies a temporal requirement."}],"_id":"4494","date_published":"1997-01-01T00:00:00Z","scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-17T11:06:13Z","publication_identifier":{"isbn":["9783540631668"]},"publist_id":"235","oa_version":"None","year":"1997"},{"publist_id":"234","oa_version":"None","year":"1997","date_updated":"2022-08-17T09:09:13Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","publication_identifier":{"isbn":["9783540631415"]},"article_processing_charge":"No","_id":"4496","date_published":"1997-01-01T00:00:00Z","abstract":[{"text":"The simulation preorder for labeled transition systems is defined locally as a game that relates states with their immediate successor states. Liveness assumptions about transition systems are typically modeled using fairness constraints. Existing notions of simulation for fair transition systems, however, are not local, and as a result, many appealing properties of the simulation preorder are lost. We extend the local definition of simulation to account for fairness: system S fairly simulates system I iff in the simulation game, there is a strategy that matches with each fair computation of I a fair computation of S. Our definition enjoys a fully abstract semantics and has a logical characterization: S fairly simulates I iff every fair computation tree embedded in the unrolling of I can be embedded also in the unrolling of S or, equivalently, iff every Fair-AFMC formula satisfied by I is satisfied also by S (AFMC is the universal fragment of the alternation-free -calculus). The locality of the definition leads us to a polynomial-time algorithm for checking fair simulation for finite-state systems with weak and strong fairness constraints. Finally, fair simulation implies fair trace-containment, and is therefore useful as an efficientlycomputable local criterion for proving linear-time abstraction hierarchies.","lang":"eng"}],"publication_status":"published","volume":1243,"citation":{"mla":"Henzinger, Thomas A., et al. “Fair Simulation.” Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.","chicago":"Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997. https://doi.org/10.1007/3-540-63141-0_19.","ista":"Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. Proceedings of the 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.","ieee":"T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” in Proceedings of the 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 273–287.","ama":"Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19","apa":"Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-63141-0_19","short":"T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287."},"conference":{"name":"CONCUR: Concurrency Theory","start_date":"1997-07-01","end_date":"1997-07-04","location":"Warsaw, Poland"},"title":"Fair simulation","day":"01","alternative_title":["LNCS"],"type":"conference","author":[{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"},{"last_name":"Rajamani","full_name":"Rajamani, Sriram","first_name":"Sriram"}],"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 AFOSR contract F49620-93-1-0056, by the ARO MURI grant DAAH-04-96-1-0341, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036.","language":[{"iso":"eng"}],"doi":"10.1007/3-540-63141-0_19","page":"273 - 287","extern":"1","month":"01","date_created":"2018-12-11T12:09:09Z","publisher":"Springer","quality_controlled":"1","publication":"Proceedings of the 8th International Conference on Concurrency Theory","status":"public","intvolume":" 1243"},{"publist_id":"207","oa_version":"None","year":"1997","scopus_import":"1","date_updated":"2022-08-17T09:04:39Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9783540626008"]},"date_published":"1997-01-01T00:00:00Z","_id":"4520","abstract":[{"text":"We define robust timed automata, which are timed automata that accept all trajectories robustly: if a robust timed automaton accepts a trajectory, then it must accept neighboring trajectories also; and if a robust timed automaton rejects a trajectory, then it must reject neighboring trajectories also. We show that the emptiness problem for robust timed automata is still decidable, by modifying the region construction for timed automata. We then show that, like timed automata, robust timed automata cannot be determinized. This result is somewhat unexpected, given that in temporal logic, the removal of realtime equality constraints is known to lead to a decidable theory that is closed under all boolean operations.","lang":"eng"}],"article_processing_charge":"No","volume":1201,"publication_status":"published","day":"01","type":"conference","author":[{"full_name":"Gupta, Vineet","first_name":"Vineet","last_name":"Gupta"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Jagadeesan, Radha","first_name":"Radha","last_name":"Jagadeesan"}],"alternative_title":["LNCS"],"citation":{"mla":"Gupta, Vineet, et al. “Robust Timed Automata.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.","ista":"Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 331–345.","ieee":"V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 331–345.","chicago":"Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.","apa":"Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014736","ama":"Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736","short":"V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345."},"title":"Robust timed automata","conference":{"end_date":"1997-03-28","start_date":"1997-03-26","name":"HART: Hybrid and Real-Time Systems","location":"Grenoble, France"},"language":[{"iso":"eng"}],"doi":"10.1007/BFb0014736","acknowledgement":"The first and third author were supported in part by grants from ARPA and ONR. The second author 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 AFOSR contract F49620-93-1-0056, by the ARO MURI grant DAAH-04-96-1-0341, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036. The third author was also supported by the NSF.","month":"01","extern":"1","date_created":"2018-12-11T12:09:17Z","page":"331 - 345","publication":"Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems","quality_controlled":"1","status":"public","intvolume":" 1201","publisher":"Springer"},{"date_created":"2018-12-11T11:57:59Z","extern":"1","month":"12","page":"815 - 826","intvolume":" 75","status":"public","quality_controlled":"1","publication":"Neuroscience","publisher":"Elsevier","type":"journal_article","author":[{"full_name":"Neki, Akio","first_name":"Akio","last_name":"Neki"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"last_name":"Kaneko","full_name":"Kaneko, Takeshi","first_name":"Takeshi"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"first_name":"Noboru","full_name":"Mizuno, Noboru","last_name":"Mizuno"}],"day":"01","title":"Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum","citation":{"mla":"Neki, Akio, et al. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience, vol. 75, no. 3, Elsevier, 1996, pp. 815–26, doi:10.1016/0306-4522(96)00316-8.","chicago":"Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience. Elsevier, 1996. https://doi.org/10.1016/0306-4522(96)00316-8.","ieee":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum,” Neuroscience, vol. 75, no. 3. Elsevier, pp. 815–826, 1996.","ista":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1996. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 75(3), 815–826.","ama":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8","apa":"Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(96)00316-8","short":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826."},"doi":"10.1016/0306-4522(96)00316-8","language":[{"iso":"eng"}],"acknowledgement":"We thank Mr Akira Uesugi for expert photographic assistance. We also thank Dr Jeremy M. Henley for a critical reading of the manuscript.","pmid":1,"abstract":[{"lang":"eng","text":"The metabotropic glutamate receptor subtypes mGluR2 and mGluR5, which are thought to be coupled respectively to the inhibitory cyclic adenosine monophosphate (cAMP) cascade and the phosphatidylinositol hydrolysis/Ca2+ cascade, are known to be expressed on Golgi cells in the granular layer of the rat cerebellar cortex. In the present immunohistochemical study with a monoclonal antibody against mGluR2 and a polyclonal antibody for mGluR5, we examined whether or not mGluR2- and mGluR5-like immunoreactivities were both present in single Golgi cells in the rat cerebellar cortex. In double immunofluorescence histochemistry, no Golgi cells showed mGluR2- and mGluR5-like immunoreactivities simultaneously. Of the total number of Golgi cells immunoreactive for mGluR2 or mGluR5, about 90% were mGluR2-like immunoreactive, and about 10% were mGluR5-like immunoreactive. Golgi cells with mGluR2-like immunoreactivity were distributed evenly in the granular layer of all the cerebellar regions, while those with mGluR5-like immunoreactivity were distributed more frequently in the I, II, VII-X lobules of the vermis and the copula pyramidis of the hemisphere than in other cerebellar regions. The results indicate that Golgi cells containing mGluR2 are segregated from those possessing mGluR5. These two populations of Golgi cells, each equipped with a different metabolic glutamate receptor coupled to a different intracellular signal transduction system, may play different roles in the glutamatergic neuronal circuits in the cerebellar cortex."}],"_id":"2492","date_published":"1996-12-01T00:00:00Z","issue":"3","article_processing_charge":"No","volume":75,"publication_status":"published","oa_version":"None","year":"1996","publist_id":"4409","article_type":"original","publication_identifier":{"issn":["0306-4522"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-12T12:11:03Z","scopus_import":"1","external_id":{"pmid":["8951875"]}},{"publication_status":"published","volume":202,"issue":"3","article_processing_charge":"No","_id":"2562","date_published":"1996-01-05T00:00:00Z","abstract":[{"text":"A monoclonal antibody against a metabotropic glutamate receptor, mGluR2, was produced by using a glutathione S-transferase (GST) fusion protein containing an N-terminal sequence of rat mGluR2. Intense mGluR2-like immunoreactivity (mGluR2-LI) was seen mainly in neuropil of the cerebral cortical regions, hippocampus, olfactory bulb, some diencephalic nuclei, dorsal cochlear nucleus and cerebellar cortex. In the cerebellar cortex, mGluR2-LI was seen only in Golgi cells. In Ammon's hem, mGluR2-LI was marked in the stratum lucidum of CA3 and the stratum lacunosum-moleculare of CA1-CA3, but not detected in the stratum pyramidale. The results indicate that mGluR2 is located not only presynaptically but also postsynaptically.","lang":"eng"}],"date_updated":"2022-08-12T12:04:18Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","external_id":{"pmid":["8848265"]},"scopus_import":"1","publication_identifier":{"issn":["0304-3940"]},"publist_id":"4335","article_type":"original","year":"1996","oa_version":"None","publisher":"Elsevier","quality_controlled":"1","publication":"Neuroscience Letters","intvolume":" 202","status":"public","page":"197 - 200","extern":"1","month":"01","date_created":"2018-12-11T11:58:24Z","acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help.","pmid":1,"language":[{"iso":"eng"}],"doi":"10.1016/0304-3940(95)12248-6","citation":{"mla":"Neki, Akio, et al. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters, vol. 202, no. 3, Elsevier, 1996, pp. 197–200, doi:10.1016/0304-3940(95)12248-6.","chicago":"Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12248-6.","ista":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1996. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 202(3), 197–200.","ieee":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody,” Neuroscience Letters, vol. 202, no. 3. Elsevier, pp. 197–200, 1996.","ama":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6","apa":"Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12248-6","short":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200."},"title":"Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody","day":"05","type":"journal_article","author":[{"full_name":"Neki, Akio","first_name":"Akio","last_name":"Neki"},{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Nakanishi","full_name":"Nakanishi, Shigetada","first_name":"Shigetada"},{"last_name":"Mizuno","full_name":"Mizuno, Noboru","first_name":"Noboru"}]},{"type":"journal_article","author":[{"last_name":"Ding","full_name":"Ding, Yu","first_name":"Yu"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Takada","full_name":"Takada, Masahiko","first_name":"Masahiko"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"last_name":"Nakanishi","first_name":"Shigetada","full_name":"Nakanishi, Shigetada"},{"last_name":"Mizuno","full_name":"Mizuno, Noboru","first_name":"Noboru"}],"day":"08","title":"Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat","citation":{"chicago":"Ding, Yu, Ryuichi Shigemoto, Masahiko Takada, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1996. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0.","ieee":"Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, and N. Mizuno, “Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat,” Journal of Comparative Neurology, vol. 364, no. 2. Wiley-Blackwell, pp. 290–310, 1996.","ista":"Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. 1996. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 364(2), 290–310.","mla":"Ding, Yu, et al. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology, vol. 364, no. 2, Wiley-Blackwell, 1996, pp. 290–310, doi:10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0.","short":"Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.","ama":"Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):290-310. doi:10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0","apa":"Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0"},"doi":"10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0","language":[{"iso":"eng"}],"acknowledgement":"We are grateful for the photographic help of Mr. A. Uesugi and the support of Drs. Satoru Fukuchi, Ritsu Hayashi, Sozaburo Hayashi, Mizuho Katsurada, Yutaka Kitani, Keiko Kumagai, Toshihiko Kuroda, Hiroshi Matsu- bara, Hiroshi Matsushima, Chisato Minakuchi, Gonpei Niwa, Hajime Oda, Masahiko Ohbayashi, Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watanabe, Kazuo Yoshino, and Toshiaki Yoshino. This work was supported in part by Grants-in-Aid for Special Research on Priority areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. ","pmid":1,"date_created":"2018-12-11T11:58:25Z","extern":"1","month":"01","page":"290 - 310","status":"public","intvolume":" 364","quality_controlled":"1","publication":"Journal of Comparative Neurology","publisher":"Wiley-Blackwell","year":"1996","oa_version":"None","publist_id":"4334","article_type":"original","publication_identifier":{"issn":["0021-9967"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-12T09:48:24Z","external_id":{"pmid":["8788251 "]},"scopus_import":"1","date_published":"1996-01-08T00:00:00Z","_id":"2564","abstract":[{"lang":"eng","text":"The distribution of the neuromedin K receptor (NK3; NKR) in the central nervous system was investigated in the adult rat by using in situ hybridization and immunohistochemical techniques. The rabbit anti-NKR antibody was raised against a bacterial fusion protein containing a C- terminal portion of NKR and affinity purified with a Sepharose 4B column conjugated to the fusion protein. Immunoblot analysis was performed to test the reactivity and specificity of the antibody. Crude membrane was prepared from cDNA-transfected Chinese hamster ovary (CHO) cells expressing each of the rat NKR, substance P receptor (NK1; SPR), and substance K receptor (NK2; SKR) and from the hypothalamus, cerebral cortex, and cerebellum. Immunoreactive bands were observed specifically in the NKR-CHO cells, hypothalamus, and cerebral cortex but not in the SPR- or SKR-CHO cells, nor in the cerebellum. Molecular weights of the immunoreactive bands ranged from 73 to 89 kDa and from 59 to 83 kDa in the NKR-CHO cells and tissues, respectively. The distribution of NKR-like immunoreactivity coincided with that of NKR mRNA. The expression of NKR was indicated on neuronal cell bodies and dendrites. NKR was found to be expressed intensely or moderately in neurons in the glomerular and granule cell layers of the main olfactory bulb; glomerular and mitral cell layers of the accessory olfactory bulb; layers IV and V of the cerebral neocortex; medial septal nucleus; nucleus of the diagonal band; bed nucleus of the stria terminalis; globus pallidus; ventral pallidum; paraventricular nucleus; supraoptic nucleus; zona incerta; dorsal, lateral, and posterior hypothalamic areas; amygdaloid nuclei; medial habenular nucleus; ventral tegmental area; midbrain periaqueductal gray; interpeduncular nuclei; substantia nigra pars compacta; linear, median, dorsal, and pontine raphe nuclei; posteromedial tegmental nucleus; sphenoid nucleus; nucleus of the solitary tract; intermediate and rostroventrolateral reticular nuclei; and lamina II of the caudal spinal trigeminal nucleus and spinal dorsal horn. These findings are discussed in relation to the physiological functions associated with neuromedin K."}],"issue":"2","article_processing_charge":"No","volume":364,"publication_status":"published"},{"article_processing_charge":"No","issue":"1-2","_id":"2565","abstract":[{"text":"Immunoreactivity for the metabotropic glutamate receptor 7 (mGluR7) and that for phosphate-activated glutaminase (PAG) were examined in the trigeminal (TG), dorsal root (DRG), nodose (NG), superior cervical, celiac, and pelvic ganglia of the rat. Virtually all neuronal cell bodies showed mGluR7-like immunoreactivity (mGluR7-LI) in these ganglia. On the other hand, PAG-like immunoreactivity (PAG) was seen in almost all neuronal cell bodies in the TG, DRG and NG, but not in the other ganglia. Co-existence of mGluR7- and PAG-LI in the TG, DRG and NG was confirmed by a double-immunofluorescence immunohistochemical method. The results indicate that virtually all sensory ganglion neurons are glutamatergic and equipped with mGluR7.","lang":"eng"}],"date_published":"1996-02-02T00:00:00Z","publication_status":"published","volume":204,"article_type":"original","publist_id":"4333","oa_version":"None","year":"1996","external_id":{"pmid":["8929965 "]},"scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-12T09:29:03Z","publication_identifier":{"issn":["0304-3940"]},"page":"9 - 12","month":"02","extern":"1","date_created":"2018-12-11T11:58:25Z","publisher":"Elsevier","publication":"Neuroscience Letters","quality_controlled":"1","intvolume":" 204","status":"public","citation":{"mla":"Li, Jin, et al. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR7, in Ganglion Neurons of the Rat; with Special Reference to the Presence in Glutamatergic Ganglion Neurons.” Neuroscience Letters, vol. 204, no. 1–2, Elsevier, 1996, pp. 9–12, doi:10.1016/0304-3940(95)12299-0.","chicago":"Li, Jin, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR7, in Ganglion Neurons of the Rat; with Special Reference to the Presence in Glutamatergic Ganglion Neurons.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12299-0.","ieee":"J. Li et al., “Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons,” Neuroscience Letters, vol. 204, no. 1–2. Elsevier, pp. 9–12, 1996.","ista":"Li J, Ohishi H, Kaneko T, Shigemoto R, Neki A, Nakanishi S, Mizuno N. 1996. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 204(1–2), 9–12.","ama":"Li J, Ohishi H, Kaneko T, et al. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 1996;204(1-2):9-12. doi:10.1016/0304-3940(95)12299-0","apa":"Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0","short":"J. Li, H. Ohishi, T. Kaneko, R. Shigemoto, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 204 (1996) 9–12."},"title":"Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons","day":"02","type":"journal_article","author":[{"first_name":"Jin","full_name":"Li, Jin","last_name":"Li"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"last_name":"Kaneko","full_name":"Kaneko, Takeshi","first_name":"Takeshi"},{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"},{"last_name":"Neki","first_name":"Akio","full_name":"Neki, Akio"},{"last_name":"Nakanishi","full_name":"Nakanishi, Shigetada","first_name":"Shigetada"},{"first_name":"Noboru","full_name":"Mizuno, Noboru","last_name":"Mizuno"}],"pmid":1,"acknowledgement":"The authors are grateful for the support of Dr. Kajitaro Morita and photographic help of Mr. Akira Uesugi. This work was supported in part by Grant-in-Aid from the Ministry of Education, Science and Culture of Japan.","language":[{"iso":"eng"}],"doi":"10.1016/0304-3940(95)12299-0"},{"type":"journal_article","author":[{"first_name":"Ayae","full_name":"Kinoshita, Ayae","last_name":"Kinoshita"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"full_name":"Neki, Akio","first_name":"Akio","last_name":"Neki"},{"last_name":"Nomura","full_name":"Nomura, Sakashi","first_name":"Sakashi"},{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"},{"last_name":"Takada","first_name":"Masahiko","full_name":"Takada, Masahiko"},{"last_name":"Nakanishi","first_name":"Shigetada","full_name":"Nakanishi, Shigetada"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}],"day":"22","title":"Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat","citation":{"short":"A. Kinoshita, H. Ohishi, A. Neki, S. Nomura, R. Shigemoto, M. Takada, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 61–64.","apa":"Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12489-7","ama":"Kinoshita A, Ohishi H, Neki A, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(1):61-64. doi:10.1016/0304-3940(96)12489-7","ieee":"A. Kinoshita et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat,” Neuroscience Letters, vol. 207, no. 1. Elsevier, pp. 61–64, 1996.","ista":"Kinoshita A, Ohishi H, Neki A, Nomura S, Shigemoto R, Takada M, Nakanishi S, Mizuno N. 1996. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 207(1), 61–64.","chicago":"Kinoshita, Ayae, Hitoshi Ohishi, Akio Neki, Sakashi Nomura, Ryuichi Shigemoto, Masahiko Takada, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12489-7.","mla":"Kinoshita, Ayae, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters, vol. 207, no. 1, Elsevier, 1996, pp. 61–64, doi:10.1016/0304-3940(96)12489-7."},"doi":"10.1016/0304-3940(96)12489-7","language":[{"iso":"eng"}],"pmid":1,"acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help, and to Dr. Toshikazu Fukui, Dainippon Pharmaceutical Co. Ltd. [k)r technical assistance. ","date_created":"2018-12-11T11:58:25Z","month":"03","extern":"1","page":"61 - 64","intvolume":" 207","status":"public","publication":"Neuroscience Letters","quality_controlled":"1","publisher":"Elsevier","oa_version":"None","year":"1996","article_type":"original","publist_id":"4332","publication_identifier":{"issn":["0304-3940"]},"external_id":{"pmid":["8710211 "]},"scopus_import":"1","date_updated":"2022-08-12T09:24:06Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"2566","date_published":"1996-03-22T00:00:00Z","abstract":[{"lang":"eng","text":"The present study indicated presynaptic localization of a metabotropic glutamate receptor, mGluR8, in projection neurons of the main olfactory bulb of rat. An antibody was produced by using a peptide corresponding to C-terminal 23 amino acids of mouse mGluR8. It was confirmed that the C-terminal 23 amino acids of rat mGluR8 were the same as those of mouse mGluR8 except for one, and that the antibody specifically recognized mGluR8 in the rat rhinencephalon. In layer Ia of the piriform cortex (a target area of projection fibers from the main olfactory bulb), mGluR8-like immunoreactivity (mGluR8-LI) was reduced after transection of the lateral olfactory tract, and mGluR8-LI was observed in axon terminals which were filled with round synaptic vesicles and made asymmetric synapses with dendritic spines."}],"article_processing_charge":"No","issue":"1","volume":207,"publication_status":"published"},{"status":"public","intvolume":" 719","publication":"Brain Research","quality_controlled":"1","publisher":"Elsevier","date_created":"2018-12-11T11:58:26Z","month":"05","extern":"1","page":"207 - 212","doi":"10.1016/0006-8993(96)00064-9","language":[{"iso":"eng"}],"pmid":1,"acknowledgement":"The authors are grateful for support of Dr. Kajitaro Morita in the Morita Clinic of Internal Medicine and Pediatrics at Kadoma, Osaka, and for photographic help of Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid from the Ministry of Education, Science and Culture of Japan. \r\n","author":[{"last_name":"Li","full_name":"Li, Jin","first_name":"Jin"},{"full_name":"Ding, Yu","first_name":"Yu","last_name":"Ding"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi"},{"first_name":"Noboru","full_name":"Mizuno, Noboru","last_name":"Mizuno"}],"type":"journal_article","day":"06","title":"Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat","citation":{"ista":"Li J, Ding Y, Shigemoto R, Mizuno N. 1996. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 719(1–2), 207–212.","ieee":"J. Li, Y. Ding, R. Shigemoto, and N. Mizuno, “Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat,” Brain Research, vol. 719, no. 1–2. Elsevier, pp. 207–212, 1996.","chicago":"Li, Jin, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminothalamic and Spinothalamic-Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Brain Research. Elsevier, 1996. https://doi.org/10.1016/0006-8993(96)00064-9.","mla":"Li, Jin, et al. “Distribution of Trigeminothalamic and Spinothalamic-Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Brain Research, vol. 719, no. 1–2, Elsevier, 1996, pp. 207–12, doi:10.1016/0006-8993(96)00064-9.","short":"J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Brain Research 719 (1996) 207–212.","apa":"Li, J., Ding, Y., Shigemoto, R., & Mizuno, N. (1996). Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(96)00064-9","ama":"Li J, Ding Y, Shigemoto R, Mizuno N. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 1996;719(1-2):207-212. doi:10.1016/0006-8993(96)00064-9"},"volume":719,"publication_status":"published","_id":"2567","abstract":[{"text":"Trigeminothalamic and spinothalamic-tact neurons provided with substance P receptor (SPR) were examined in the rat by SPR immunofluorescence histochemistry combined with Fluoro-Gold (FG) fluorescent retrograde labeling. After FG injection in the thalamic regions, FG-labeled cells with SPR-like immunoreactivity were seen mainly in laminae I and m of the medullary and spinal dorsal horns and lateral spinal nucleus. In these regions, about one-fourth to one-third of FG-labeled cells showed SPR-like immunoreactivity.","lang":"eng"}],"date_published":"1996-05-06T00:00:00Z","article_processing_charge":"No","issue":"1-2","publication_identifier":{"issn":["0006-8993"]},"scopus_import":"1","external_id":{"pmid":["8782883 "]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-08-12T08:25:35Z","year":"1996","oa_version":"None","article_type":"original","publist_id":"4330"}]