[{"intvolume":"       140","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1206655/"}],"publication_status":"published","pmid":1,"day":"01","month":"06","language":[{"iso":"eng"}],"date_published":"1995-06-01T00:00:00Z","author":[{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240"}],"article_processing_charge":"No","doi":"http://www.genetics.org/content/140/2/821.long","date_updated":"2022-06-24T09:59:08Z","scopus_import":"1","quality_controlled":"1","volume":140,"page":"821 - 841","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"3640","year":"1995","oa":1,"status":"public","issue":"2","article_type":"original","external_id":{"pmid":["7498757"]},"citation":{"apa":"Barton, N. H. (1995). Linkage and the limits to natural selection. <i>Genetics</i>. Genetics Society of America. <a href=\"http://www.genetics.org/content/140/2/821.long\">http://www.genetics.org/content/140/2/821.long</a>","ieee":"N. H. Barton, “Linkage and the limits to natural selection,” <i>Genetics</i>, vol. 140, no. 2. Genetics Society of America, pp. 821–841, 1995.","chicago":"Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” <i>Genetics</i>. Genetics Society of America, 1995. <a href=\"http://www.genetics.org/content/140/2/821.long\">http://www.genetics.org/content/140/2/821.long</a>.","short":"N.H. Barton, Genetics 140 (1995) 821–841.","mla":"Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” <i>Genetics</i>, vol. 140, no. 2, Genetics Society of America, 1995, pp. 821–41, doi:<a href=\"http://www.genetics.org/content/140/2/821.long\">http://www.genetics.org/content/140/2/821.long</a>.","ista":"Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2), 821–841.","ama":"Barton NH. Linkage and the limits to natural selection. <i>Genetics</i>. 1995;140(2):821-841. doi:<a href=\"http://www.genetics.org/content/140/2/821.long\">http://www.genetics.org/content/140/2/821.long</a>"},"publication_identifier":{"issn":["0016-6731"]},"publication":"Genetics","title":"Linkage and the limits to natural selection","publisher":"Genetics Society of America","date_created":"2018-12-11T12:04:23Z","oa_version":"Published Version","publist_id":"2743","abstract":[{"text":"The probability of fixation of a favorable mutation is reduced if selection at other loci causes inherited variation in fitness. A general method for calculating the fixation probability of an allele that can find itself in a variety of genetic backgrounds is applied to find the effect of substitutions, fluctuating polymorphisms, and deleterious mutations in a large population. With loose linkage, r, the effects depend on the additive genetic variance in relative fitness, var(W), and act by reducing effective population size by (N/Ne) = 1 + var(W)/2r2. However, tightly linked loci can have a substantial effect not predictable from Ne. Linked deleterious mutations reduce the fixation probability of weakly favored alleles by exp (-2U/R), where U is the total mutation rate and R is the map length in Morgans. Substitutions can cause a greater reduction: an allele with advantage s &lt; scrit = (pi 2/6) loge (S/s) [var(W)/R] is very unlikely to be fixed. (S is the advantage of the substitution impeding fixation.) Fluctuating polymorphisms at many (n) linked loci can also have a substantial effect, reducing fixation probability by exp [square root of 2Kn var(W)/R] [K = -1/E((u-u)2/uv) depending on the frequencies (u,v) at the selected polymorphisms]. Hitchhiking due to all three kinds of selection may substantially impede adaptation that depends on weakly favored alleles.","lang":"eng"}],"extern":"1"},{"status":"public","acknowledgement":"This work is supported by the National Science Foundation, under Grant ASC-9200301, and the Alan T. Waterman award, Grant CCR-9118874. Any opinions, findings, conclusions, or recommendations expressed in this publication are those of the author and do not necessarily reflect the view of the National Science Foundation.","oa":1,"issue":"1","article_type":"original","citation":{"ieee":"H. Edelsbrunner, “The union of balls and its dual shape,” <i>Discrete &#38; Computational Geometry</i>, vol. 13, no. 1. Springer, pp. 415–440, 1995.","chicago":"Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” <i>Discrete &#38; Computational Geometry</i>. Springer, 1995. <a href=\"https://doi.org/10.1007/BF02574053\">https://doi.org/10.1007/BF02574053</a>.","apa":"Edelsbrunner, H. (1995). The union of balls and its dual shape. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/BF02574053\">https://doi.org/10.1007/BF02574053</a>","ama":"Edelsbrunner H. The union of balls and its dual shape. <i>Discrete &#38; Computational Geometry</i>. 1995;13(1):415-440. doi:<a href=\"https://doi.org/10.1007/BF02574053\">10.1007/BF02574053</a>","ista":"Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete &#38; Computational Geometry. 13(1), 415–440.","mla":"Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” <i>Discrete &#38; Computational Geometry</i>, vol. 13, no. 1, Springer, 1995, pp. 415–40, doi:<a href=\"https://doi.org/10.1007/BF02574053\">10.1007/BF02574053</a>.","short":"H. Edelsbrunner, Discrete &#38; Computational Geometry 13 (1995) 415–440."},"publication_identifier":{"issn":["0179-5376"]},"volume":13,"page":"415 - 440","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"4028","year":"1995","abstract":[{"text":"Efficient algorithms are described for computing topological, combinatorial, and metric properties of the union of finitely many spherical balls in R(d) These algorithms are based on a simplicial complex dual to a decomposition of the union of balls using Voronoi cells, and on short inclusion-exclusion formulas derived from this complex. The algorithms are most relevant in R(3) where unions of finitely many balls are commonly used as models of molecules.","lang":"eng"}],"extern":"1","publication":"Discrete & Computational Geometry","title":"The union of balls and its dual shape","publisher":"Springer","date_created":"2018-12-11T12:06:31Z","oa_version":"Published Version","publist_id":"2095","day":"01","month":"12","language":[{"iso":"eng"}],"intvolume":"        13","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02574053","open_access":"1"}],"publication_status":"published","author":[{"first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1995-12-01T00:00:00Z","article_processing_charge":"No","doi":"10.1007/BF02574053","date_updated":"2022-06-27T08:14:48Z","scopus_import":"1","quality_controlled":"1"},{"abstract":[{"lang":"eng","text":"Three replicate lines of Drosophila melanogaster were cultured at each of two temperatures (16.5⚬C and 25⚬C) in population cages for 4 yr. The lifespans of both sexes and the fecundity and fertility of the females were then measured at both experimental temperatures. The characters showed evidence of adaptation; flies of both sexes from each selection regime showed higher longevity, and females showed higher fecundity and fertility, than flies from the other selection regime when they were tested at the experimental temperature at which they had evolved. Calculation of intrinsic rates of increase under different assumptions about the rate of population increase showed that the difference between the lines from the two selection regimes became less the higher the rate of population increase, because the lines were more similar in early adulthood than they were later. Despite the increased adaptation of the low-temperature lines to the low temperature, like the high temperature lines they produced progeny at a higher rate at the higher temperature. The lines may have independently evolved adaptations to their respective thermal regimes during the experiment, or there may have been a trade-off between adaptation to the two temperatures, or mutation pressure may have lowered adaptation to the temperature that the flies no longer encountered."}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T12:08:06Z","publist_id":"1778","title":"Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature","publication":"Evolution","publisher":"Wiley-Blackwell","citation":{"ama":"Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. <i>Evolution</i>. 1995;49(3):538-544. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb02285.x\">10.1111/j.1558-5646.1995.tb02285.x</a>","ista":"Partridge L, Barrie B, Barton NH, Fowler K, French V. 1995. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. 49(3), 538–544.","mla":"Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” <i>Evolution</i>, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb02285.x\">10.1111/j.1558-5646.1995.tb02285.x</a>.","short":"L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49 (1995) 538–544.","chicago":"Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” <i>Evolution</i>. Wiley-Blackwell, 1995. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb02285.x\">https://doi.org/10.1111/j.1558-5646.1995.tb02285.x</a>.","ieee":"L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature,” <i>Evolution</i>, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544, 1995.","apa":"Partridge, L., Barrie, B., Barton, N. H., Fowler, K., &#38; French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. <i>Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb02285.x\">https://doi.org/10.1111/j.1558-5646.1995.tb02285.x</a>"},"publication_identifier":{"issn":["0014-3820"]},"status":"public","acknowledgement":"We thank Natural Environment Research Council and the Royal Society for financial support.","oa":1,"external_id":{"pmid":["28565092 "]},"article_type":"original","issue":"3","_id":"4296","year":"1995","page":"538 - 544","volume":49,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","quality_controlled":"1","date_published":"1995-06-01T00:00:00Z","author":[{"full_name":"Partridge, Linda","last_name":"Partridge","first_name":"Linda"},{"last_name":"Barrie","first_name":"Brian","full_name":"Barrie, Brian"},{"last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"},{"first_name":"Kevin","last_name":"Fowler","full_name":"Fowler, Kevin"},{"last_name":"French","first_name":"Vernon","full_name":"French, Vernon"}],"doi":"10.1111/j.1558-5646.1995.tb02285.x","date_updated":"2022-06-13T08:42:11Z","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"06","pmid":1,"day":"01","intvolume":"        49","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x","open_access":"1"}],"publication_status":"published"},{"publisher":"Wiley-Blackwell","publication":"Evolution","title":"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico","publist_id":"1779","date_created":"2018-12-11T12:08:06Z","oa_version":"Published Version","extern":"1","abstract":[{"lang":"eng","text":"The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized by steep concordant clines among three diagnostic chromosome markers across a straight-line distance of about 2 km. Here, we show that this zone is actually structured into local patches in which hybridization extends over an extremely irregular front. The distribution of hybrid-index (HI) scores across the transect reveals some hybridization at almost all localities mapped in a central 7 km x 3 km area. Pooling the central samples produces both a strong heterozygote deficit for all diagnostic markers and strong linkage disequilibria between all pairwise combinations of these (unlinked) markers. Moreover, a highly significant association exists between the habitat on which each individual was caught and its karyotype (F5 chromosomes are more likely to be found on oak). Analysis of genotype frequencies over a range of spatial scales shows that there is no significant heterozygote deficit or habitat association within local areas of less than about 200 m; however, there is significant linkage disequilibrium over the smallest scales (R = D (pquv)1/2 = 0.29, support limits, 0.18-0.36) over 100 m. These patterns suggest that lizards mate and choose habitats randomly within local patches. This conclusion is supported by mark-recapture estimates of dispersal (≈ 80 m in a generation) and by inference of matings from embryo and maternal karyotypes. Closer examination of the two-dimensional pattern reveals a convoluted cline for all three markers, with a width of 830 m (support limits 770 m-930 m). This cline width, combined with the strength of local linkage disequilibrium, implies a dispersal rate of σ = 160 m in a generation and an effective selection pressure of 30% on each chromosome marker. The proportion of inviable embryos is greater in females from the center of the hybrid zone; this is caused by effects associated with both karyotype and location. The hybrid zone is likely to be maintained by selection against chromosomal heterozygotes, by other kinds of selection against hybrids, and by selection adapting the chromosome races to different habitats. The structure of the contact may be caused by both random drift and by selection in relation to habitat."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":49,"page":"9 - 36","year":"1995","_id":"4297","issue":"1","article_type":"original","external_id":{"pmid":["28593667"]},"status":"public","acknowledgement":"For field assistance in collecting and mapping of the zone, we thank E. Arevalo, I. Goyenechea, D. Hutchison, M.  Man- cilia,  F.  Mendoza,  D.  Mink,  and J.  and  H.  Sites.  The  mark- recapture work was carried out by M.  Mancilla, F  Mendoza, and A. Gonzales. J.W.S. also thanks T.  Hinckley and  D.  Ste­vens  of  the  Brigham  Young  University  Department  of Ge­ography  for  lessons  in  surveying  and  map  making  and  use of  the  field  equipment  and  planimeter.  B.  Nürnberger  pro­vided the digitized coordinates  for individual  lizards and as­sisted  with  the  analysis  of spatial  structure  and  viability.  B. Nürnberger, C.  MacCallum, J.  Mallet, and J. Searle also pro­vided  helpful  comments  on  the  manuscript.  This  work  was supported  by  National  Science  Foundation  grants  BSR  85- 09092  and  88-22751  to J.W.S.,  and  grants  from  the  Science and Engineering Research Council (GR/H09929) and Natural Environment Research Council  (GR3/8002) and the  DarwinTrust to N.H.B. The Mexican agency Secretaria de DesarrolloUrbano  y  Ecologia  (now  Secretaria  de  Desarrollo  Social) kindly  provided  scientific collecting permits  (to E.  Arévalo) for field  work  in  1989  and  1991.","oa":1,"publication_identifier":{"issn":["0014-3820"]},"citation":{"ama":"Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. <i>Evolution</i>. 1995;49(1):9-36. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb05955.x\">10.1111/j.1558-5646.1995.tb05955.x</a>","short":"J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.","ista":"Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.","mla":"Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” <i>Evolution</i>, vol. 49, no. 1, Wiley-Blackwell, 1995, pp. 9–36, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb05955.x\">10.1111/j.1558-5646.1995.tb05955.x</a>.","chicago":"Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” <i>Evolution</i>. Wiley-Blackwell, 1995. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb05955.x\">https://doi.org/10.1111/j.1558-5646.1995.tb05955.x</a>.","ieee":"J. Sites, N. H. Barton, and K. Reed, “The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico,” <i>Evolution</i>, vol. 49, no. 1. Wiley-Blackwell, pp. 9–36, 1995.","apa":"Sites, J., Barton, N. H., &#38; Reed, K. (1995). The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. <i>Evolution</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb05955.x\">https://doi.org/10.1111/j.1558-5646.1995.tb05955.x</a>"},"article_processing_charge":"No","date_updated":"2022-06-13T09:24:40Z","doi":"10.1111/j.1558-5646.1995.tb05955.x","author":[{"full_name":"Sites, Jack","first_name":"Jack","last_name":"Sites"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H"},{"first_name":"Kent","last_name":"Reed","full_name":"Reed, Kent"}],"date_published":"1995-02-01T00:00:00Z","quality_controlled":"1","scopus_import":"1","publication_status":"published","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x","open_access":"1"}],"intvolume":"        49","day":"01","pmid":1,"month":"02","language":[{"iso":"eng"}]},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":49,"page":"1038 - 1045","year":"1995","_id":"4298","issue":"6","article_type":"original","status":"public","oa":1,"publication_identifier":{"issn":["1558-5646"]},"citation":{"ama":"Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. <i>Evolution</i>. 1995;49(6):1038-1045. doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x\">10.1111/j.1558-5646.1995.tb04431.x</a>","ista":"Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by S J E Baird. Evolution. 49(6), 1038–1045.","short":"N.H. Barton, Evolution 49 (1995) 1038–1045.","mla":"Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” <i>Evolution</i>, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:<a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x\">10.1111/j.1558-5646.1995.tb04431.x</a>.","chicago":"Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” <i>Evolution</i>. Wiley, 1995. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x\">https://doi.org/10.1111/j.1558-5646.1995.tb04431.x</a>.","ieee":"N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S J E Baird,” <i>Evolution</i>, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.","apa":"Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines” by S J E Baird. <i>Evolution</i>. Wiley. <a href=\"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x\">https://doi.org/10.1111/j.1558-5646.1995.tb04431.x</a>"},"publisher":"Wiley","publication":"Evolution","title":"Appendix to \"A simulation study of multilocus clines\" by S J E Baird","publist_id":"1773","date_created":"2018-12-11T12:08:07Z","oa_version":"Published Version","extern":"1","publication_status":"published","intvolume":"        49","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x"}],"day":"01","month":"12","language":[{"iso":"eng"}],"article_processing_charge":"No","date_updated":"2022-06-28T07:47:30Z","doi":"10.1111/j.1558-5646.1995.tb04431.x","author":[{"full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240"}],"date_published":"1995-12-01T00:00:00Z","quality_controlled":"1"},{"language":[{"iso":"eng"}],"month":"08","citation":{"ama":"Ho P. Automatic analysis of hybrid systems. 1995:1-188.","short":"P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.","ista":"Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.","mla":"Ho, Pei. <i>Automatic Analysis of Hybrid Systems</i>. Cornell University, 1995, pp. 1–188.","ieee":"P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.","chicago":"Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.","apa":"Ho, P. (1995). <i>Automatic analysis of hybrid systems</i>. Cornell University."},"day":"01","status":"public","oa":1,"publication_status":"published","year":"1995","supervisor":[{"orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"_id":"4428","main_file_link":[{"url":"https://hdl.handle.net/1813/7193","open_access":"1"}],"type":"dissertation","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1 - 188","extern":"1","abstract":[{"text":"Hybrid systems are real-time systems that react to both discrete and continuous activities (such as analog signals, time, temperature, and speed). Typical examples of hybrid systems are embedded systems, timing-based communication protocols, and digital circuits at the transistor level. Due to the rapid development of microprocessor technology, hybrid systems directly control much of what we depend on in our daily lives. Consequently, the formal specification and verification of hybrid systems has become an active area of research. This dissertation presents the first general framework for the formal specification and verification of hybrid systems, as well as the first hybrid-system analysis tool--HyTech. The framework consists of a graphical finite-state-machine-like language for modeling hybrid systems, a temporal logic for modeling the requirements of hybrid systems, and a computer procedure that verifies modeled hybrid systems against modeled requirements. The tool HyTech is the implementation of the framework using C++ and Mathematica.\r\n\r\nMore specifically, our hybrid-system modeling language, Hybrid Automata, is an extension of timed automata with discrete and continuous variables whose dynamics are governed by differential equations. Our requirement modeling language, ICTL, is a branching-time temporal logic, and is an extension of TCTL with stop-watch variables. Our verification procedure is a symbolic model-checking procedure that verifies linear hybrid automata against ICTL formulas. To make HyTech more efficient and effective, we use model-checking strategies and abstract operators that can expedite the verification process. To enable HyTech to verify nonlinear hybrid automata, we introduce two translations from nonlinear hybrid automata to linear hybrid automata. We have applied HyTech to analyze more than 30 hybrid-system benchmarks. In this dissertation, we present the application of HyTech to three nontrivial hybrid systems taken from the literature.","lang":"eng"}],"degree_awarded":"PhD","date_updated":"2022-06-28T07:30:34Z","article_processing_charge":"No","date_published":"1995-08-01T00:00:00Z","author":[{"last_name":"Ho","first_name":"Pei","full_name":"Ho, Pei"}],"publist_id":"304","oa_version":"Published Version","date_created":"2018-12-11T12:08:48Z","publisher":"Cornell University","title":"Automatic analysis of hybrid systems"},{"date_created":"2018-12-11T12:09:11Z","conference":{"location":"Las Vegas, NV, United States of America","start_date":"1995-05-29","name":"STOC: Symposium on the Theory of Computing","end_date":"1995-06-01"},"oa_version":"Published Version","publist_id":"228","publication":"Proceedings of the 27th annual ACM symposium on Theory of computing","title":"What's decidable about hybrid automata?","publisher":"ACM","abstract":[{"text":"Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify the precise boundary between decidability and undecidability of the reachability problem for hybrid automata.\r\n\r\nOn the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized rectangular automata, where all analog variables follow trajectories within piecewise-linear envelopes and are reinitialized whenever the envelope changes. Our algorithm is based on the construction of a timed automaton that contains all reachability information about a given initialized rectangular automaton. The translation has practical significance for verification, because it guarantees the termination of symbolic procedures for the reachability analysis of initialized rectangular automata. The translation also preserves the omega-languages of initialized rectangular automata with bounded nondeterminism.\r\n\r\nOn the negative side, we show that several slight generalizations of initialized rectangular automata lead to an undecidable reachability problem. In particular, we prove that the reachability problem is undecidable for timed automata augmented with a single stopwatch.","lang":"eng"}],"quality_controlled":"1","extern":"1","author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Kopke, Peter","last_name":"Kopke","first_name":"Peter"},{"full_name":"Puri, Anuj","last_name":"Puri","first_name":"Anuj"},{"first_name":"P.","last_name":"Varaiya","full_name":"Varaiya, P."}],"date_published":"1995-01-01T00:00:00Z","article_processing_charge":"No","date_updated":"2022-06-09T14:40:29Z","doi":"10.1145/225058.225162","_id":"4502","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/225058.225162","open_access":"1"}],"year":"1995","publication_status":"published","page":"373 - 382","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","citation":{"apa":"Henzinger, T. A., Kopke, P., Puri, A., &#38; Varaiya, P. (1995). What’s decidable about hybrid automata? In <i>Proceedings of the 27th annual ACM symposium on Theory of computing</i> (pp. 373–382). Las Vegas, NV, United States of America: ACM. <a href=\"https://doi.org/10.1145/225058.225162\">https://doi.org/10.1145/225058.225162</a>","chicago":"Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” In <i>Proceedings of the 27th Annual ACM Symposium on Theory of Computing</i>, 373–82. ACM, 1995. <a href=\"https://doi.org/10.1145/225058.225162\">https://doi.org/10.1145/225058.225162</a>.","ieee":"T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in <i>Proceedings of the 27th annual ACM symposium on Theory of computing</i>, Las Vegas, NV, United States of America, 1995, pp. 373–382.","ista":"Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid automata? Proceedings of the 27th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 373–382.","short":"T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.","mla":"Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” <i>Proceedings of the 27th Annual ACM Symposium on Theory of Computing</i>, ACM, 1995, pp. 373–82, doi:<a href=\"https://doi.org/10.1145/225058.225162\">10.1145/225058.225162</a>.","ama":"Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: <i>Proceedings of the 27th Annual ACM Symposium on Theory of Computing</i>. ACM; 1995:373-382. doi:<a href=\"https://doi.org/10.1145/225058.225162\">10.1145/225058.225162</a>"},"month":"01","publication_identifier":{"isbn":["9780897917186"]},"language":[{"iso":"eng"}],"status":"public","acknowledgement":"We thank Howard Wong-Toi for a careful reading.\r\n","oa":1,"day":"01"},{"_id":"2550","year":"1994","volume":269,"page":"1231 - 1236","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","citation":{"ieee":"N. Okamoto <i>et al.</i>, “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 1231–1236, 1994.","chicago":"Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 1994. <a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">https://doi.org/10.1016/S0021-9258(17)42247-2</a>.","apa":"Okamoto, N., Hori, S., Akazawa, C., Hayashi, Y., Shigemoto, R., Mizuno, N., &#38; Nakanishi, S. (1994). Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">https://doi.org/10.1016/S0021-9258(17)42247-2</a>","ama":"Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. <i>Journal of Biological Chemistry</i>. 1994;269(2):1231-1236. doi:<a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">10.1016/S0021-9258(17)42247-2</a>","short":"N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.","ista":"Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 269(2), 1231–1236.","mla":"Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 1231–36, doi:<a href=\"https://doi.org/10.1016/S0021-9258(17)42247-2\">10.1016/S0021-9258(17)42247-2</a>."},"status":"public","oa":1,"acknowledgement":"We are grateful to Akira Uesugi for photographic assistance.","issue":"2","external_id":{"pmid":["8288585"]},"date_created":"2018-12-11T11:58:20Z","oa_version":"None","publist_id":"4348","publication":"Journal of Biological Chemistry","title":"Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction","publisher":"American Society for Biochemistry and Molecular Biology","abstract":[{"text":"A cDNA clone for a new rat metabotropic glutamate receptor termed mGluR7 was isolated through polymerase chain reaction-mediated DNA amplification by using primer sequences conserved among the metabotropic receptor (mGluR) family and by the subsequent screening of a rat forebrain cDNA library. The cloned mGluR7 subtype consists of 915 amino acid residues and exhibits a structural architecture common to the mGluR family with a large extracellular domain preceding the seven putative membrane-spanning domains. mGluR7 shows the highest sequence similarity to mGluR4 and mGluR6 among the members of the mGluR family. Similar to mGluR4 and mGluR6, mGluR7 inhibits forskolin- stimulated cyclic AMP accumulation in response to agonist interaction and potently reacts with L-2-amino-4-phosphonobutyrate and L-serine-O-phosphate in Chinese hamster ovary cells transfected with the cloned cDNA. RNA blot and in situ hybridization analyses of mGluR7 mRNA indicated that it is widely expressed in many neuronal cells of the central nervous system and is thus different from the more limitedly expressed mGluR4 or mGluR6 mRNA. mGluR7 together with mGluR4 thus corresponds to the putative L-2-amino-4- phosphonobutyrate receptor which plays an important role in modulation of glutamate transmission in the central nervous system.","lang":"eng"}],"extern":"1","intvolume":"       269","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0021925817422472?via%3Dihub"}],"publication_status":"published","month":"01","language":[{"iso":"eng"}],"pmid":1,"day":"14","scopus_import":"1","quality_controlled":"1","author":[{"first_name":"Naoyuki","last_name":"Okamoto","full_name":"Okamoto, Naoyuki"},{"last_name":"Hori","first_name":"Seiji","full_name":"Hori, Seiji"},{"last_name":"Akazawa","first_name":"Chihiro","full_name":"Akazawa, Chihiro"},{"last_name":"Hayashi","first_name":"Yasunori","full_name":"Hayashi, Yasunori"},{"first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Noboru","last_name":"Mizuno","full_name":"Mizuno, Noboru"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"}],"date_published":"1994-01-14T00:00:00Z","article_processing_charge":"No","doi":"10.1016/S0021-9258(17)42247-2","date_updated":"2022-06-08T15:11:44Z"},{"quality_controlled":"1","author":[{"full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989"},{"full_name":"Jackson, Julie","first_name":"Julie","last_name":"Jackson"}],"date_published":"1994-05-16T00:00:00Z","date_updated":"2022-06-09T13:21:50Z","doi":"10.1016/0014-5793(94)00370-X","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"05","pmid":1,"day":"16","main_file_link":[{"url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2900370-X","open_access":"1"}],"intvolume":"       344","publication_status":"published","abstract":[{"text":"H+-transhydrogenase (H+-Thase) and NADP-linked isocitrate dehydrogenase (NADP-ICDH) are very active in animal mitochondria but their physiological function is only poorly understood. This is especially so in the case of the heart and muscle, where there are no major consumers of NADPH. We propose here that H+-Thase and NADP-ICDH have a combined function in the fine regulation of the activity of the tricarboxylic acid (TCA) cycle, providing enhanced sensitivy to changes in energy demand. This is achieved through cycling of substrates by NAD-linked ICDH, NADP-linked ICDH and H+-Thase. It is proposed that NAD-ICDH operates in the forward direction of the TCA cycle, but NADP-ICDH is driven in reverse by elevated levels of NADPH resulting from the action of the transmembrane proton electrochemical potential gradient (Δp) on H+-Thase. This has the effect of increasing the sensitivity to allosteric modifiers of NAD-ICDH (NADH, ADP, ATP, Ca2+ etc), potentially giving rise to large changes in the net flux from iso-citrate to α-ketoglutarate. Furthermore, changes in the level of Δp resulting from changes in the demand for ATP would, via H+-Thase, shift the redox state of the NADP pool and this, in turn, would lead to a change in the rate of the reaction catalysed by NADP-ICDH and hence to an additional and complementary effect on the net metabolic flux from isocitrate to α-ketoglutarate. Other consequences of this substrate cycle are, (i) the production of heat at the expense of Δp, which may contribute to thermoregulation in the animal, and (ii) an increased rate of dissipation of Δp (leak).","lang":"eng"}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T11:54:52Z","publist_id":"5134","title":"Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria","publication":"FEBS Letters","publisher":"Elsevier","citation":{"short":"L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.","ista":"Sazanov LA, Jackson J. 1994. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 344(2–3), 109–116.","mla":"Sazanov, Leonid A., and Julie Jackson. “Proton Translocating Transhydrogenase and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity in Mitochondria.” <i>FEBS Letters</i>, vol. 344, no. 2–3, Elsevier, 1994, pp. 109–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>.","ama":"Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. <i>FEBS Letters</i>. 1994;344(2-3):109-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>","apa":"Sazanov, L. A., &#38; Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>","chicago":"Sazanov, Leonid A, and Julie Jackson. “Proton Translocating Transhydrogenase and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity in Mitochondria.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>.","ieee":"L. A. Sazanov and J. Jackson, “Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria,” <i>FEBS Letters</i>, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994."},"publication_identifier":{"issn":["0014-5793"]},"status":"public","oa":1,"acknowledgement":"LAS is grateful to the Wellcome Trust for a fellowship. We should like to thank Prof. R.M. Denton for discussion.","external_id":{"pmid":["8187868"]},"article_type":"original","issue":"2-3","_id":"1949","year":"1994","page":"109 - 116","volume":344,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"abstract":[{"text":"The respiratory burst induced by phorbol myristate acetate in mouse macrophages was inhibited by ultra-low doses (10-15 -10-13 M) of an opioid peptide [d-Ala2] methionine enkephalinamide. The effect disappeared at concentrations above and below this range. The inhibition approached 50% and was statistically significant (P &lt; 0.001). Increasing the time of the opioid incubation with cells brought about a shift in the maximal effect to lower concentrations of the opioid (from 10-13 to 5 · 10-15 M) and led to a decrease in the value of the effect, fully in accord with the previously proposed adaptation mechanism of the action of ultra-low doses.","lang":"eng"}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T11:54:53Z","publist_id":"5133","title":"Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism","publication":"FEBS Letters","publisher":"Elsevier","citation":{"ista":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. 1994. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 355(2), 114–116.","short":"A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.","mla":"Efanov, Alexander, et al. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>, vol. 355, no. 2, Elsevier, 1994, pp. 114–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>.","ama":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. 1994;355(2):114-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>","apa":"Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., &#38; Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>","ieee":"A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism,” <i>FEBS Letters</i>, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.","chicago":"Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>."},"publication_identifier":{"issn":["0014-5793"]},"oa":1,"status":"public","external_id":{"pmid":["7982481"]},"article_type":"original","issue":"2","_id":"1953","year":"1994","page":"114 - 116","volume":355,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","author":[{"full_name":"Efanov, Alexander","last_name":"Efanov","first_name":"Alexander"},{"last_name":"Koshkin","first_name":"Aleksei","full_name":"Koshkin, Aleksei"},{"last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"},{"first_name":"O I","last_name":"Borodulina","full_name":"Borodulina, O I"},{"full_name":"Varfolomeev, Sergei","last_name":"Varfolomeev","first_name":"Sergei"},{"full_name":"Zaǐtsev, Sergei","first_name":"Sergei","last_name":"Zaǐtsev"}],"date_published":"1994-11-28T00:00:00Z","doi":"10.1016/0014-5793(94)01109-5","date_updated":"2022-06-09T12:58:57Z","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"11","pmid":1,"day":"28","main_file_link":[{"open_access":"1","url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2901109-5"}],"intvolume":"       355","publication_status":"published"},{"article_processing_charge":"No","doi":"10.1113/jphysiol.1994.sp020287","date_updated":"2022-06-03T11:09:21Z","author":[{"first_name":"Duk","last_name":"Koh","full_name":"Koh, Duk"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","first_name":"Peter M"},{"full_name":"Vogel, Werner","first_name":"Werner","last_name":"Vogel"}],"date_published":"1994-01-01T00:00:00Z","quality_controlled":"1","publication_status":"published","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1155738/"}],"intvolume":"       479","day":"01","pmid":1,"month":"01","language":[{"iso":"eng"}],"publisher":"Wiley-Blackwell","publication":"Journal of Physiology","title":"Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus","publist_id":"2912","date_created":"2018-12-11T12:03:31Z","oa_version":"Published Version","extern":"1","abstract":[{"text":"1. A potassium channel activated by internal Na+ ions (K+Na channel) was identified in peripheral myelinated axons of Xenopus laevis using the cell-attached and excised configurations of the patch clamp technique. 2. The single-channel conductance for the main open state was 88 pS with [K+]o = 105 mM and pS with [K+]o = 2.5 mM ([K+]i = 105 mM). The channel was selectively permeable to K+ over Na+ ions. A characteristic feature of the K+Na channel was the frequent occurrence of subconductance states. 3. The open probability of the channel was strongly dependent on the concentration of Na+ ions at the inner side of the membrane. The half-maximal activating Na+ concentration and the Hill coefficient were 33 mM and 2.9, respectively. The open probability of the channel showed only weak potential dependence. 4. The K+Na channel was relatively insensitive to external tetraethylammonium (TEA+) in comparison with voltage-dependent axonal K+ channels; the half-maximal inhibitory concentration (IC50) was 21.3 mM (at -90 mV). In contrast, the channel was blocked by low concentrations of external Ba2+ and Cs+ ions, with IC50 values of 0.7 and 1.1 mM, respectively (at -90 mV). The block by Ba2+ and Cs+ was more pronounced at negative than at positive membrane potentials. 5. A comparison of the number of K+Na channels in nodal and paranodal patches from the same axon revealed that the channel density was about 10-fold higher at the node of Ranvier than at the paranode. Moreover, a correlation between the number of K+Na channels and voltage-dependent Na+ channels in the same patches was found, suggesting co-localization of both channel types. 6. As weakly potential-dependent ('leakage') channels, axonal K+Na channels may be involved in setting the resting potential of vertebrate axons. Simulations of Na+ ion diffusion suggest two possible mechanisms of activation of K+Na channels: the local increase of Na+ concentration in a cluster of Na+ channels during a single action potential or the accumulation in the intracellular axonal compartment during a train of action potentials.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":479,"page":"183 - 197","year":"1994","_id":"3475","article_type":"original","external_id":{"pmid":["7799220 "]},"acknowledgement":"We thank Drs M.Häusser and A. Villarroel for critically reading the manuscript, Dr E. v. Kitzing and A. Roth for many helpful discussions. This work was supported by the Deutsche Forschungsgemeinschaft (Vo188/13-2). ","status":"public","oa":1,"publication_identifier":{"issn":["0022-3751"]},"citation":{"ista":"Koh D, Jonas PM, Vogel W. 1994. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 479, 183–197.","mla":"Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” <i>Journal of Physiology</i>, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:<a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">10.1113/jphysiol.1994.sp020287</a>.","short":"D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.","ama":"Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. <i>Journal of Physiology</i>. 1994;479:183-197. doi:<a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">10.1113/jphysiol.1994.sp020287</a>","apa":"Koh, D., Jonas, P. M., &#38; Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. <i>Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">https://doi.org/10.1113/jphysiol.1994.sp020287</a>","chicago":"Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” <i>Journal of Physiology</i>. Wiley-Blackwell, 1994. <a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">https://doi.org/10.1113/jphysiol.1994.sp020287</a>.","ieee":"D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” <i>Journal of Physiology</i>, vol. 479. Wiley-Blackwell, pp. 183–197, 1994."}},{"main_file_link":[{"url":"https://europepmc.org/article/med/8046439","open_access":"1"}],"intvolume":"        14","publication_status":"published","month":"08","language":[{"iso":"eng"}],"pmid":1,"day":"01","scopus_import":"1","quality_controlled":"1","date_published":"1994-08-01T00:00:00Z","author":[{"last_name":"Major","first_name":"Guy","full_name":"Major, Guy"},{"full_name":"Larkman, Alan","first_name":"Alan","last_name":"Larkman"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","first_name":"Peter M"},{"full_name":"Sakmann, Bert","first_name":"Bert","last_name":"Sakmann"},{"full_name":"Jack, Julian","first_name":"Julian","last_name":"Jack"}],"article_processing_charge":"No","doi":"10.1523/JNEUROSCI.14-08-04613.1994","date_updated":"2022-06-03T09:36:43Z","_id":"3476","year":"1994","volume":14,"page":"4613 - 4638","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","citation":{"ieee":"G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” <i>Journal of Neuroscience</i>, vol. 14, no. 8. Society for Neuroscience, pp. 4613–4638, 1994.","chicago":"Major, Guy, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 1994. <a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994</a>.","apa":"Major, G., Larkman, A., Jonas, P. M., Sakmann, B., &#38; Jack, J. (1994). Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994</a>","ama":"Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. <i>Journal of Neuroscience</i>. 1994;14(8):4613-4638. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">10.1523/JNEUROSCI.14-08-04613.1994</a>","mla":"Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” <i>Journal of Neuroscience</i>, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">10.1523/JNEUROSCI.14-08-04613.1994</a>.","ista":"Major G, Larkman A, Jonas PM, Sakmann B, Jack J. 1994. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 14(8), 4613–4638.","short":"G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638."},"publication_identifier":{"issn":["0270-6474"]},"oa":1,"status":"public","acknowledgement":"logy Training Fellowship. A.L. was supported by a Royal Society Fellowship. The Oxford part of the collaboration was funded by a Wellcome Trust Programme Grant, the Heidelberg part by the Max-Planck Gesellschaft. We are grateful to Sir David Cox for his comments on the statistics, to K. Stratford, M. Hausser, D. Flitney, M. O’Neill, S. Gough, G. Stuart, N. Spruston, P. Stem, and K. Bauer for their help and useful discussions, and to M. Kaiser for technical assistance. ","issue":"8","external_id":{"pmid":["8046439 "]},"article_type":"original","date_created":"2018-12-11T12:03:32Z","oa_version":"Published Version","publist_id":"2911","publication":"Journal of Neuroscience","title":"Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices","publisher":"Society for Neuroscience","abstract":[{"lang":"eng","text":"Tight-seal whole-cell recordings were made from cleaned somata of CA3 pyramidal cells deep in hippocampal slices from 19–21-d-old rats. The cells were filled with biocytin, and their voltage responses to short current pulses were recorded. After washout of initial sag, responses scaled linearly with injected current and were stable over time. The dendritic and axonal arbors of four cells were reconstructed and measured using light microscopy. Dendritic spines and axonal boutons were counted and the additional membrane area was incorporated into the relevant segments. The morphology of each neuron was converted into a detailed branching cable model by assuming values for specific membrane capacitance Cm and resistance Rm, and cytoplasmic resistivity Ri. These parameters were optimized for each cell by directly matching the model's response to that of the real cell by means of a modified weighted least-squares fitting procedure. By comparing the deviations between model and experimental responses to control noise recordings, approximate 95% confidence intervals were established for each parameter. If a somatic shunt was allowed, a wide range of possible Rm values produced acceptable fits. With zero shunt, Cm was 0.7–0.8 microFcm-2, Ri was 170–340 omega cm, and Rm ranged between 120 and 200 k omega cm2. The electrotonic lengths of the basal and oblique dendrites were 0.2–0.3 space constants, and those of the apical tufts were 0.4–0.7 space constants. The steady-state electrical geometry of these cells was therefore compact; average dendritic tip/soma relative synaptic efficacies were &gt; 93% for the basal and oblique dendrites, and &gt; 81% for the tufts. With fast transient synaptic inputs, however, the models produced a wide range of postsynaptic potential shapes and marked filtering of voltage-clamp currents."}],"extern":"1"},{"volume":138,"page":"913 - 941","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"3642","year":"1994","oa":1,"status":"public","issue":"3","article_type":"original","external_id":{"pmid":["7851785"]},"citation":{"chicago":"Turelli, Michael, and Nicholas H Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” <i>Genetics</i>. Genetics Society of America, 1994. <a href=\"https://doi.org/10.1093/genetics/138.3.913\">https://doi.org/10.1093/genetics/138.3.913</a>.","ieee":"M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” <i>Genetics</i>, vol. 138, no. 3. Genetics Society of America, pp. 913–941, 1994.","apa":"Turelli, M., &#38; Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1093/genetics/138.3.913\">https://doi.org/10.1093/genetics/138.3.913</a>","ama":"Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? <i>Genetics</i>. 1994;138(3):913-941. doi:<a href=\"https://doi.org/10.1093/genetics/138.3.913\">10.1093/genetics/138.3.913</a>","ista":"Turelli M, Barton NH. 1994. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 138(3), 913–941.","short":"M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.","mla":"Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” <i>Genetics</i>, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:<a href=\"https://doi.org/10.1093/genetics/138.3.913\">10.1093/genetics/138.3.913</a>."},"publication_identifier":{"issn":["0016-6731"]},"publication":"Genetics","title":"Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?","publisher":"Genetics Society of America","date_created":"2018-12-11T12:04:24Z","oa_version":"Published Version","publist_id":"2741","abstract":[{"text":"We develop a general population genetic framework for analyzing selection on many loci, and apply it to strong truncation and disruptive selection on an additive polygenic trait. We first present statistical methods for analyzing the infinitesimal model, in which offspring breeding values are normally distributed around the mean of the parents, with fixed variance. These show that the usual assumption of a Gaussian distribution of breeding values in the population gives remarkably accurate predictions for the mean and the variance, even when disruptive selection generates substantial deviations from normality. We then set out a general genetic analysis of selection and recombination. The population is represented by multilocus cumulants describing the distribution of haploid genotypes, and selection is described by the relation between mean fitness and these cumulants. We provide exact recursions in terms of generating functions for the effects of selection on non-central moments. The effects of recombination are simply calculated as a weighted sum over all the permutations produced by meiosis. Finally, the new cumulants that describe the next generation are computed from the non-central moments. Although this scheme is applied here in detail only to selection on an additive trait, it is quite general. For arbitrary epistasis and linkage, we describe a consistent infinitesimal limit in which the short-term selection response is dominated by infinitesimal allele frequency changes and linkage disequilibria. Numerical multilocus results show that the standard Gaussian approximation gives accurate predictions for the dynamics of the mean and genetic variance in this limit. Even with intense truncation selection, linkage disequilibria of order three and higher never cause much deviation from normality. Thus, the empirical deviations frequently found between predicted and observed responses to artificial selection are not caused by linkage-disequilibrium-induced departures from normality. Disruptive selection can generate substantial four-way disequilibria, and hence kurtosis; but even then, the Gaussian assumption predicts the variance accurately. In contrast to the apparent simplicity of the infinitesimal limit, data suggest that changes in genetic variance after 10 or more generations of selection are likely to be dominated by allele frequency dynamics that depend on genetic details.","lang":"eng"}],"extern":"1","main_file_link":[{"url":"https://pubmed.ncbi.nlm.nih.gov/7851785/","open_access":"1"}],"intvolume":"       138","publication_status":"published","pmid":1,"day":"01","month":"11","language":[{"iso":"eng"}],"date_published":"1994-11-01T00:00:00Z","author":[{"full_name":"Turelli, Michael","first_name":"Michael","last_name":"Turelli"},{"first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","doi":"10.1093/genetics/138.3.913","date_updated":"2022-06-03T08:18:54Z","quality_controlled":"1"},{"publication_status":"published","intvolume":"        13","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/174462.156635","open_access":"1"}],"language":[{"iso":"eng"}],"month":"01","day":"01","quality_controlled":"1","scopus_import":"1","date_updated":"2022-06-02T12:00:42Z","doi":"10.1145/174462.156635","article_processing_charge":"No","date_published":"1994-01-01T00:00:00Z","author":[{"orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"},{"last_name":"Mücke","first_name":"Ernst","full_name":"Mücke, Ernst"}],"year":"1994","_id":"4037","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"43 - 72","volume":13,"citation":{"chicago":"Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” <i>ACM Transactions on Graphics</i>. ACM, 1994. <a href=\"https://doi.org/10.1145/174462.156635\">https://doi.org/10.1145/174462.156635</a>.","ieee":"H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” <i>ACM Transactions on Graphics</i>, vol. 13, no. 1. ACM, pp. 43–72, 1994.","apa":"Edelsbrunner, H., &#38; Mücke, E. (1994). Three-dimensional alpha shapes. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/174462.156635\">https://doi.org/10.1145/174462.156635</a>","ama":"Edelsbrunner H, Mücke E. Three-dimensional alpha shapes. <i>ACM Transactions on Graphics</i>. 1994;13(1):43-72. doi:<a href=\"https://doi.org/10.1145/174462.156635\">10.1145/174462.156635</a>","short":"H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.","mla":"Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” <i>ACM Transactions on Graphics</i>, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:<a href=\"https://doi.org/10.1145/174462.156635\">10.1145/174462.156635</a>.","ista":"Edelsbrunner H, Mücke E. 1994. Three-dimensional alpha shapes. ACM Transactions on Graphics. 13(1), 43–72."},"issue":"1","status":"public","oa":1,"acknowledgement":"National Science Foundation under grant CCR-8921421 and  Alan T. Waterman award, grant CCR-9118874.","publist_id":"2088","oa_version":"None","date_created":"2018-12-11T12:06:34Z","publisher":"ACM","title":"Three-dimensional alpha shapes","publication":"ACM Transactions on Graphics","extern":"1","abstract":[{"text":"Frequently, data in scientific computing is in its abstract form a finite point set in space, and it is sometimes useful or required to compute what one might call the `'shape” of the set. For that purpose, this article introduces the formal notion of the family of alpha-shapes of a finite point set in R3. Each shape is a well-defined polytope, derived from the Delaunay triangulation of the point set, with a parameter alpha is-an-element-of R controlling the desired level of detail. An algorithm is presented that constructs the entire family of shapes for a given set of size n in time O(n2), worst case. A robust implementation of the algorithm is discussed, and several applications in the area of scientific computing are mentioned.","lang":"eng"}]},{"publication_status":"published","intvolume":"       269","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0021925817421867?via%3Dihub","open_access":"1"}],"language":[{"iso":"eng"}],"month":"01","day":"14","quality_controlled":"1","scopus_import":"1","doi":"10.1016/s0021-9258(17)42186-7","date_updated":"2022-06-02T10:23:48Z","article_processing_charge":"No","date_published":"1994-01-14T00:00:00Z","author":[{"first_name":"Axel","last_name":"Leingärtner","full_name":"Leingärtner, Axel"},{"full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg"},{"first_name":"Roland","last_name":"Kolbeck","full_name":"Kolbeck, Roland"},{"first_name":"Hans","last_name":"Thoenen","full_name":"Thoenen, Hans"},{"full_name":"Lindholm, Dan","first_name":"Dan","last_name":"Lindholm"}],"year":"1994","_id":"4179","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"828 - 830","volume":269,"publication_identifier":{"eissn":["1083-351X"],"issn":["0021-9258"]},"citation":{"apa":"Leingärtner, A., Heisenberg, C.-P. J., Kolbeck, R., Thoenen, H., &#38; Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1016/s0021-9258(17)42186-7\">https://doi.org/10.1016/s0021-9258(17)42186-7</a>","ieee":"A. Leingärtner, C.-P. J. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 828–830, 1994.","chicago":"Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 1994. <a href=\"https://doi.org/10.1016/s0021-9258(17)42186-7\">https://doi.org/10.1016/s0021-9258(17)42186-7</a>.","short":"A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.","mla":"Leingärtner, Axel, et al. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” <i>Journal of Biological Chemistry</i>, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 828–30, doi:<a href=\"https://doi.org/10.1016/s0021-9258(17)42186-7\">10.1016/s0021-9258(17)42186-7</a>.","ista":"Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. 1994. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 269(2), 828–830.","ama":"Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. <i>Journal of Biological Chemistry</i>. 1994;269(2):828-830. doi:<a href=\"https://doi.org/10.1016/s0021-9258(17)42186-7\">10.1016/s0021-9258(17)42186-7</a>"},"article_type":"original","issue":"2","status":"public","acknowledgement":"We thank Dorothea Stratmann and Karin Angermayer for skillful technical assistance.","oa":1,"publist_id":"1941","oa_version":"None","date_created":"2018-12-11T12:07:25Z","publisher":"American Society for Biochemistry and Molecular Biology","title":"Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons","publication":"Journal of Biological Chemistry","extern":"1","abstract":[{"text":"Neurotrophin-3 (NT-3) is a member of the neurotrophin gene family and is highly expressed in the developing rat cerebellum. Here we show that brain-derived neurotrophic factor (BDNF) increased by approximately 10-fold the NT-3 mRNA levels in cultured cerebellar granule neurons isolated from postnatal rats, whereas nerve growth factor (NGF) and NT-3 itself had no effect. The effect of BDNF was additive to that of triiodothyronine (T3), which also increased NT-3 mRNA in these neurons. The drug K252a inhibited the BDNF-mediated stimulation of NT-3 expression, suggesting an involvement of trkB receptors. Nuclear run-on experiments showed that BDNF enhanced NT-3 transcription, whereas the stability of NT-3 mRNA remained unchanged. The data presented are the first demonstration that one neurotrophin regulates the expression of another and provide evidence that NT-3 production in granule neurons is regulated by both BDNF and T3.","lang":"eng"}]},{"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0890540184710601?via%3Dihub"}],"intvolume":"       112","day":"01","language":[{"iso":"eng"}],"month":"08","date_updated":"2022-06-02T09:24:58Z","doi":"10.1006/inco.1994.1060","article_processing_charge":"No","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"last_name":"Manna","first_name":"Zohar","full_name":"Manna, Zohar"},{"first_name":"Amir","last_name":"Pnueli","full_name":"Pnueli, Amir"}],"date_published":"1994-08-01T00:00:00Z","quality_controlled":"1","scopus_import":"1","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"273 - 337","volume":112,"year":"1994","_id":"4501","article_type":"original","issue":"2","status":"public","acknowledgement":"This research was supported in part by an IBM graduate fellowship, by the National Science Foundation under Grants CCR-9223226 and CCR-9200794. by the Defense Advanced Research Projects Agency under Contract N00039-84-C-0211. by the United States Air Force OMee of Scientific Research under Contracts F49620-93-141139 and F4962043-1-0056. and by the European Community ESPRIT Basic Research Action Project 6021 (REACT). A preliminary version of Part 1 of this paper appeared in the proceedings of the 1991 REX Workshop on Real Time Theory In Prate [HMP92a I a preliminary version of Part II appeared in the proceedings of the 1991 ACM Symposium on Principles of Programming Languages RIMP911. ","oa":1,"publication_identifier":{"issn":["0890-5401"]},"citation":{"short":"T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.","ista":"Henzinger TA, Manna Z, Pnueli A. 1994. Temporal proof methodologies for timed transition systems. Information and Computation. 112(2), 273–337.","mla":"Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” <i>Information and Computation</i>, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:<a href=\"https://doi.org/10.1006/inco.1994.1060\">10.1006/inco.1994.1060</a>.","ama":"Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. <i>Information and Computation</i>. 1994;112(2):273-337. doi:<a href=\"https://doi.org/10.1006/inco.1994.1060\">10.1006/inco.1994.1060</a>","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1006/inco.1994.1060\">https://doi.org/10.1006/inco.1994.1060</a>","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” <i>Information and Computation</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1006/inco.1994.1060\">https://doi.org/10.1006/inco.1994.1060</a>.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” <i>Information and Computation</i>, vol. 112, no. 2. Elsevier, pp. 273–337, 1994."},"publisher":"Elsevier","title":"Temporal proof methodologies for timed transition systems","publication":"Information and Computation","publist_id":"227","oa_version":"None","date_created":"2018-12-11T12:09:10Z","extern":"1","abstract":[{"text":"We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-;time properties of reactive systems. The abstract notion of timed transition systems generalizes traditional transition systems conservatively: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound timing constraints on transitions. This framework can model real-time systems that communicate either through shared variables or by message passing and real-time issues such as timeouts, process priorities (interrupts), and process scheduling. We exhibit two styles for the specification of real-time systems. While the first approach uses time-bounded versions of the temporal operators, the second approach allows explicit references to time through a special clock variable. Corresponding to the two styles of specification, we present and compare two different proof methodologies for the verification of timing requirements that are expressed in these styles. For the bounded-operator style, we provide a set of proof rules for establishing bounded-invariance and bounded-responce properties of timed transition systems. This approach generalizes the standard temporal proof rules for verifying invariance and response properties conservatively. For the explicit-clock style, we exploit the observation that every time-bounded property is a safety property and use the standard temporal proof rules for establishing safety properties.","lang":"eng"}]},{"acknowledgement":"This work was supported in part by research grants from the Ministry of Education, Science and Culture of Japan, the Ministry of Health and Welfare, the Yamanouchi Foundation for Research on Metabolic Disorders, the Uehara Memorial Foundation, and the Inamori Foundation. The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby marked “advertisement” in accordance with 18 U.S.C. Section 1734 solely to indicate this fact. \r\n\r\nWe are grateful to Akira Uesugi for photographic assistance.","oa":1,"status":"public","article_type":"original","external_id":{"pmid":["8389366"]},"issue":"16","citation":{"chicago":"Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 1993. <a href=\"https://doi.org/10.1016/S0021-9258(19)50280-0\">https://doi.org/10.1016/S0021-9258(19)50280-0</a>.","ieee":"Y. Nakajima <i>et al.</i>, “Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate,” <i>Journal of Biological Chemistry</i>, vol. 268, no. 16. American Society for Biochemistry and Molecular Biology, pp. 11868–11873, 1993.","apa":"Nakajima, Y., Iwakabe, H., Akazawa, C., Nawa, H., Shigemoto, R., Mizuno, N., &#38; Nakanishi, S. (1993). Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1016/S0021-9258(19)50280-0\">https://doi.org/10.1016/S0021-9258(19)50280-0</a>","ama":"Nakajima Y, Iwakabe H, Akazawa C, et al. Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. <i>Journal of Biological Chemistry</i>. 1993;268(16):11868-11873. doi:<a href=\"https://doi.org/10.1016/S0021-9258(19)50280-0\">10.1016/S0021-9258(19)50280-0</a>","short":"Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.","ista":"Nakajima Y, Iwakabe H, Akazawa C, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1993. Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. 268(16), 11868–11873.","mla":"Nakajima, Yoshiaki, et al. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” <i>Journal of Biological Chemistry</i>, vol. 268, no. 16, American Society for Biochemistry and Molecular Biology, 1993, pp. 11868–73, doi:<a href=\"https://doi.org/10.1016/S0021-9258(19)50280-0\">10.1016/S0021-9258(19)50280-0</a>."},"publication_identifier":{"issn":["0021-9258"]},"page":"11868 - 11873","volume":268,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"2536","year":"1993","abstract":[{"lang":"eng","text":"A cDNA clone for a new metabotropic glutamate receptor, termed mGluR6, was isolated from a rat retinal cDNA library by cross-hybridization with the previously isolated cDNA clone for a metabotropic glutamate receptor. The cloned mGluR6 subtype consists of 871 amino acid residues and exhibits a structural architecture common to the metabotropic receptor family, possessing a large extracellular domain preceding the seven putative membrane-spanning domains. mGluR6 shows the highest sequence similarity to mGluR4 among the metabotropic receptor subtypes and inhibits the forskolin- stimulated cyclic AMP accumulation in Chinese hamster ovary cells transfected with the cloned cDNA. mGluR6 potently reacts with L-2-amino-4- phosphonobutyrate (L-AP4) and L-serine-O-phosphate, and the potencies of these compounds are one order of magnitude greater than that of L-glutamate. Blot and in situ hybridization analyses indicated that mGluR6 mRNA is restrictedly expressed in the inner nuclear layer of the retina where ON- bipolar cells are distributed. The metabotropic receptor that responds strongly to L-AP4 and L-serine-O-phosphate in ON-bipolar cells is known to mediate glutamate synaptic transmission between photoreceptor cells and ON- bipolar cells. On the basis of the agonist selectivity of mGluR6 and its specific expression in retinal cells, the physiological role of this receptor subtype in the visual system is discussed."}],"extern":"1","title":"Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate","publication":"Journal of Biological Chemistry","publisher":"American Society for Biochemistry and Molecular Biology","oa_version":"Published Version","date_created":"2018-12-11T11:58:15Z","publist_id":"4362","pmid":1,"day":"05","language":[{"iso":"eng"}],"month":"06","intvolume":"       268","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/S0021-9258(19)50280-0"}],"publication_status":"published","date_published":"1993-06-05T00:00:00Z","author":[{"full_name":"Nakajima, Yoshiaki","first_name":"Yoshiaki","last_name":"Nakajima"},{"last_name":"Iwakabe","first_name":"Hideki","full_name":"Iwakabe, Hideki"},{"full_name":"Akazawa, Chihiro","first_name":"Chihiro","last_name":"Akazawa"},{"first_name":"Hiroyuki","last_name":"Nawa","full_name":"Nawa, Hiroyuki"},{"full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"},{"last_name":"Nakanishi","first_name":"Shigetada","full_name":"Nakanishi, Shigetada"}],"date_updated":"2022-04-26T06:56:15Z","doi":"10.1016/S0021-9258(19)50280-0","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1"},{"publication_identifier":{"issn":["0270-6474"]},"citation":{"ieee":"Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4,” <i>Journal of Neuroscience</i>, vol. 13, no. 4. Society for Neuroscience, pp. 1372–1378, 1993.","chicago":"Tanabe, Yasuto, Akinori Nomura, Masayuki Masu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 1993. <a href=\"https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993\">https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993</a>.","apa":"Tanabe, Y., Nomura, A., Masu, M., Shigemoto, R., Mizuno, N., &#38; Nakanishi, S. (1993). Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993\">https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993</a>","ama":"Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. <i>Journal of Neuroscience</i>. 1993;13(4):1372-1378. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993\">10.1523/JNEUROSCI.13-04-01372.1993</a>","ista":"Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. 1993. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 13(4), 1372–1378.","mla":"Tanabe, Yasuto, et al. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” <i>Journal of Neuroscience</i>, vol. 13, no. 4, Society for Neuroscience, 1993, pp. 1372–78, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993\">10.1523/JNEUROSCI.13-04-01372.1993</a>.","short":"Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378."},"external_id":{"pmid":["8463825"]},"article_type":"original","issue":"4","status":"public","oa":1,"acknowledgement":"We are grateful to Mr. 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 Ministry of Health and Welfare of Japan, the Uehara Memorial Foundation, and the Semi Life Science Foundation. ","year":"1993","_id":"2537","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1372 - 1378","volume":13,"extern":"1","abstract":[{"text":"The metabotropic glutamate receptors are coupled to intracellular signal transduction via G-proteins and consist of a family of at least five different subtypes, termed mGluR1-mGluR5. We studied the signal transduction mechanism and pharmacological characteristics of the rat mGluR3 and mGluR4 subtypes in Chinese hamster ovary cells permanently expressing the cloned receptors. Both mGluR3 and mGluR4 inhibit the forskolin-stimulated accumulation of intracellular cAMP formation in response to agonist interaction. Consistent with the high degree of sequence similarity to mGluR2, mGluR3 closely resembles mGluR2 in its agonist selectivity; the potency rank order of agonists is L-glutamate &gt; trans-1-aminocyclopentane- 1,3-dicarboxylate &gt; ibotenate &gt; quisqualate. mGluR4 is totally different in its agonist specificity from any other member of the metabotropic receptors. This receptor potently reacts with L-2-amino-4-phosphonobutyrate(L-AP4) in a stereo-selective manner and moderately responds to L-serine-O-phosphate. mGluR4 thus corresponds well to the putative L-AP4 receptor characterized from brain preparations. Blot and in situ hybridization analyses indicated that both mRNAs are widely distributed in the rat brain. mGluR3 mRNA is highly expressed in neuronal cells of the cerebral cortex and the caudate- putamen, and in granule cells of the hippocampal dentate gyrus. The expression pattern of mGluR4 mRNA is more restricted, and this expression is prominent in the cerebellum, olfactory bulb, and thalamus. Furthermore, the mGluR3 mRNA, unlike the other mRNAs for the metabotropic receptors, is highly expressed in glial cells throughout the brain regions. The metabotropic glutamate receptor subtypes can thus be classified into three subgroups according to the similarity in their amino acid sequences, signal transduction, and agonist selectivity: mGluR1/mGluR5, mGluR2/mGluR3, and mGluR4. The mRNAs for the individual receptor subtypes, however, show overlapping but distinct patterns of expression in the rat CNS.","lang":"eng"}],"publist_id":"4361","oa_version":"Published Version","date_created":"2018-12-11T11:58:15Z","publisher":"Society for Neuroscience","title":"Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4","publication":"Journal of Neuroscience","language":[{"iso":"eng"}],"month":"04","day":"01","pmid":1,"publication_status":"published","intvolume":"        13","main_file_link":[{"url":"https://pubmed.ncbi.nlm.nih.gov/8463825/","open_access":"1"}],"quality_controlled":"1","scopus_import":"1","date_updated":"2022-03-31T14:49:42Z","doi":"10.1523/JNEUROSCI.13-04-01372.1993","article_processing_charge":"No","author":[{"last_name":"Tanabe","first_name":"Yasuto","full_name":"Tanabe, Yasuto"},{"full_name":"Nomura, Akinori","last_name":"Nomura","first_name":"Akinori"},{"last_name":"Masu","first_name":"Masayuki","full_name":"Masu, Masayuki"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"}],"date_published":"1993-04-01T00:00:00Z"},{"date_published":"1993-10-01T00:00:00Z","author":[{"last_name":"Iwai","first_name":"Masazumi","full_name":"Iwai, Masazumi"},{"full_name":"Hori, Seiji","first_name":"Seiji","last_name":"Hori"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi"},{"first_name":"Hideharu","last_name":"Kanzaki","full_name":"Kanzaki, Hideharu"},{"full_name":"Mori, Takahide","last_name":"Mori","first_name":"Takahide"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"}],"article_processing_charge":"No","doi":"10.1095/biolreprod49.4.675","date_updated":"2022-03-31T12:32:51Z","scopus_import":"1","quality_controlled":"1","intvolume":"        49","main_file_link":[{"url":"https://academic.oup.com/biolreprod/article/49/4/675/2762375?login=true","open_access":"1"}],"publication_status":"published","pmid":1,"day":"01","month":"10","language":[{"iso":"eng"}],"publication":"Biology of Reproduction","title":"Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization","publisher":"Society for the Study of Reproduction","date_created":"2018-12-11T11:58:16Z","oa_version":"Published Version","publist_id":"4359","abstract":[{"text":"Rat mRNAs encoding two subtypes of the endothelin (ET) receptor (ET(A) and ET(B)) were studied in the rat ovary and fallopian tube by means of Northern blotting and in situ hybridization. The mRNA transcripts for the endothelin- 1-specific type receptor (ET(A)) in pooled RNA from the ovary and fallopian tube were 4.2 and 5.2 kilonucleotides, and that for the nonselective type receptor (ET(B)) was 4.7 kilonucleotides; these were similar to transcripts for endothelin receptors from other tissues. ET(A) mRNA expression was abundant in the muscle cell layer of the fallopian tube, but low in the ovary. On the other hand, ET(B) mRNA was abundant in the granulosa cells in the developing follicles, but low in atretic follicles and absent in the fallopian tube. These results demonstrated that the mRNAs for the two subtypes of the rat endothelin receptor have different expression profiles in the ovary and fallopian tube. ETs may mainly affect the granulosa cells in the dominant follicles as well as the muscle cells of the fallopian tube through ET(B) and ET(A), respectively.","lang":"eng"}],"extern":"1","volume":49,"page":"675 - 680","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"2538","year":"1993","status":"public","acknowledgement":"We thank Ms. Fumiko Kosaka for her excellent technical assistance.","oa":1,"issue":"4","external_id":{"pmid":["8218631"]},"article_type":"original","citation":{"mla":"Iwai, Masazumi, et al. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” <i>Biology of Reproduction</i>, vol. 49, no. 4, Society for the Study of Reproduction, 1993, pp. 675–80, doi:<a href=\"https://doi.org/10.1095/biolreprod49.4.675\">10.1095/biolreprod49.4.675</a>.","short":"M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.","ista":"Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. 1993. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 49(4), 675–680.","ama":"Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. <i>Biology of Reproduction</i>. 1993;49(4):675-680. doi:<a href=\"https://doi.org/10.1095/biolreprod49.4.675\">10.1095/biolreprod49.4.675</a>","apa":"Iwai, M., Hori, S., Shigemoto, R., Kanzaki, H., Mori, T., &#38; Nakanishi, S. (1993). Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. <i>Biology of Reproduction</i>. Society for the Study of Reproduction. <a href=\"https://doi.org/10.1095/biolreprod49.4.675\">https://doi.org/10.1095/biolreprod49.4.675</a>","ieee":"M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, and S. Nakanishi, “Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization,” <i>Biology of Reproduction</i>, vol. 49, no. 4. Society for the Study of Reproduction, pp. 675–680, 1993.","chicago":"Iwai, Masazumi, Seiji Hori, Ryuichi Shigemoto, Hideharu Kanzaki, Takahide Mori, and Shigetada Nakanishi. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” <i>Biology of Reproduction</i>. Society for the Study of Reproduction, 1993. <a href=\"https://doi.org/10.1095/biolreprod49.4.675\">https://doi.org/10.1095/biolreprod49.4.675</a>."},"publication_identifier":{"issn":["0006-3363"]}},{"abstract":[{"lang":"eng","text":"cDNA clones for four different N-methyl-D-aspartate (NMDA) receptor subunits (NMDAR2A-NMDAR2D) were isolated through polymerase chain reactions followed by molecular screening of a rat brain cDNA library. These subunits are only about 15% identical with the key subunit of the NMDA receptor (NMDAR1) but are highly homologous (~50% homology) with one another. They also commonly possess large hydrophilic domains at both amino- and carboxyl- terminal sides of the four putative transmembrane segments. NMDAR2A and NMDAR2C expressed individually in Xenopus oocytes showed no electrophysiological response to agonists. However, these subunits in combined expression with NMDAR1 markedly potentiated the NMDAR1 activity and produced functional variability in the affinity of agonists, the effectiveness of antagonists, and the sensitivity to Mg2+ blockade. Thus, NMDAR1 is essential for the function of the NMDA receptor, and multiple NMDAR2 subunits potentiate and differentiate the function of the NMDA receptor by forming different heteromeric configurations with NMDAR1. Northern blotting and in situ hybridization analyses revealed that the expressions of individual mRNAs for the NMDAR2 subunits overlap in some brain regions but are also specialized in many other regions. This investigation demonstrates the anatomical and functional differences of the NMDAR2 subunits, which provide the molecular basis for the functional diversity of the NMDA receptor."}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T11:58:16Z","publist_id":"4360","title":"Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits","publication":"Journal of Biological Chemistry","publisher":"American Society for Biochemistry and Molecular Biology","citation":{"ama":"Ishii T, Moriyoshi K, Sugihara H, et al. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. <i>Journal of Biological Chemistry</i>. 1993;268(4):2836-2843. doi:<a href=\"https://doi.org/10.1016/s0021-9258(18)53849-7 \">10.1016/s0021-9258(18)53849-7 </a>","ista":"Ishii T, Moriyoshi K, Sugihara H, Sakurada K, Kadotani H, Yokoi M, Akazawa C, Shigemoto R, Mizuno N, Masu M, Nakanishi S. 1993. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 268(4), 2836–2843.","mla":"Ishii, Takahiro, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” <i>Journal of Biological Chemistry</i>, vol. 268, no. 4, American Society for Biochemistry and Molecular Biology, 1993, pp. 2836–43, doi:<a href=\"https://doi.org/10.1016/s0021-9258(18)53849-7 \">10.1016/s0021-9258(18)53849-7 </a>.","short":"T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.","chicago":"Ishii, Takahiro, Koki Moriyoshi, Hidemitsu Sugihara, Kazuhir Sakurada, Hiroshi Kadotani, Mineto Yokoi, Chihiro Akazawa, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 1993. <a href=\"https://doi.org/10.1016/s0021-9258(18)53849-7 \">https://doi.org/10.1016/s0021-9258(18)53849-7 </a>.","ieee":"T. Ishii <i>et al.</i>, “Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits,” <i>Journal of Biological Chemistry</i>, vol. 268, no. 4. American Society for Biochemistry and Molecular Biology, pp. 2836–2843, 1993.","apa":"Ishii, T., Moriyoshi, K., Sugihara, H., Sakurada, K., Kadotani, H., Yokoi, M., … Nakanishi, S. (1993). Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1016/s0021-9258(18)53849-7 \">https://doi.org/10.1016/s0021-9258(18)53849-7 </a>"},"publication_identifier":{"issn":["0021-9258"]},"oa":1,"status":"public","acknowledgement":"This work was supported in part by research grants from the Ministry of Education, Science, and Culture of Japan, the Ministry of Health and Welfare of Japan, the Senri Life Science Foundation, and Yamanouchi Foundation for Research on Metabolic Disorders. The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby marked “aduertisement” in accordance with 18 U.S.C. Section 1734 solely to indicate this fact.","external_id":{"pmid":["8428958"]},"article_type":"original","issue":"4","_id":"2539","year":"1993","page":"2836 - 2843","volume":268,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","quality_controlled":"1","author":[{"full_name":"Ishii, Takahiro","first_name":"Takahiro","last_name":"Ishii"},{"full_name":"Moriyoshi, Koki","last_name":"Moriyoshi","first_name":"Koki"},{"full_name":"Sugihara, Hidemitsu","first_name":"Hidemitsu","last_name":"Sugihara"},{"first_name":"Kazuhir","last_name":"Sakurada","full_name":"Sakurada, Kazuhir"},{"first_name":"Hiroshi","last_name":"Kadotani","full_name":"Kadotani, Hiroshi"},{"full_name":"Yokoi, Mineto","last_name":"Yokoi","first_name":"Mineto"},{"first_name":"Chihiro","last_name":"Akazawa","full_name":"Akazawa, Chihiro"},{"full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"},{"first_name":"Masayuki","last_name":"Masu","full_name":"Masu, Masayuki"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"}],"date_published":"1993-02-05T00:00:00Z","doi":"10.1016/s0021-9258(18)53849-7 ","date_updated":"2022-03-31T14:29:17Z","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"02","pmid":1,"day":"05","intvolume":"       268","main_file_link":[{"open_access":"1","url":"https://www.jbc.org/article/S0021-9258(18)53849-7/fulltext"}],"publication_status":"published"}]
