[{"date_published":"1995-01-04T00:00:00Z","doi":"10.1109/HICSS.1995.375331","date_created":"2018-12-11T12:03:55Z","page":"256 - 264","day":"04","publication":"Proceedings of the 28th Annual Hawaii International Conference on System Sciences","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-8186-6930-6"]},"year":"1995","publication_status":"published","month":"01","publisher":"IEEE","quality_controlled":"1","scopus_import":"1","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/375331"}],"oa_version":"None","abstract":[{"lang":"eng","text":"Common geometric models for proteins and other molecules are the space filling diagram, the solvent accessible surface, and the molecular surface. We describe software that computes metric properties of these models, including volume and surface area. It also measures voids or empty space enclosed by the protein, and it keeps track of surface area contributions of individual atoms. The software is based on 3-dimensional alpha complexes and on inclusion-exclusion formulas with terms derived from the simplices in this complex."}],"title":"Measuring proteins and voids in proteins","author":[{"last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"first_name":"Michael","full_name":"Facello, Michael","last_name":"Facello"},{"full_name":"Fu, Ping","last_name":"Fu","first_name":"Ping"},{"last_name":"Liang","full_name":"Liang, Jie","first_name":"Jie"}],"publist_id":"2834","article_processing_charge":"No","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"short":"H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.","ieee":"H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, Wailea, HI, United States of America, 1995, pp. 256–264.","ama":"Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331","apa":"Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins and voids in proteins. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences (pp. 256–264). Wailea, HI, United States of America: IEEE. https://doi.org/10.1109/HICSS.1995.375331","mla":"Edelsbrunner, Herbert, et al. “Measuring Proteins and Voids in Proteins.” Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–64, doi:10.1109/HICSS.1995.375331.","ista":"Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. Proceedings of the 28th Annual Hawaii International Conference on System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.","chicago":"Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring Proteins and Voids in Proteins.” In Proceedings of the 28th Annual Hawaii International Conference on System Sciences, 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331."},"date_updated":"2022-06-27T13:54:41Z","status":"public","type":"conference","conference":{"start_date":"1995-01-03","end_date":"1995-01-06","location":"Wailea, HI, United States of America","name":"HICSS: Hawaii International Conference on System Sciences"},"_id":"3551"},{"page":"63 - 66","date_created":"2018-12-11T12:03:55Z","date_published":"1995-09-11T00:00:00Z","publication_status":"published","year":"1995","language":[{"iso":"eng"}],"day":"11","main_file_link":[{"url":"http://www.geom.uiuc.edu/software/cglist/GeomDir/shapes95def/"}],"quality_controlled":"1","publisher":"Elsevier","month":"09","abstract":[{"text":"The concept of an α-shape of a finite set of points in R^d, with weights, is defined and illustrated. An α-shape is a polytope which is not necessarily convex nor connected and can be derived from the (weighted) Delaunay triangulation of the point set, with a parameter controlling the desired level of detail. The set of all α values leads to a descrete family of shapes capturing the intuitive notion of ``crude'' versus ``fine'' shapes of a point set. Software that computes such shapes in R^2 and R^3 is available via anonymous ftp from:\r\n\r\nftp://ftp.ncsa.uiuc.edu/Visualization/Alpha-shape/ ","lang":"eng"}],"oa_version":"None","article_processing_charge":"No","publist_id":"2833","author":[{"first_name":"Nataraj","last_name":"Akkiraju","full_name":"Akkiraju, Nataraj"},{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"full_name":"Facello, Michael","last_name":"Facello","first_name":"Michael"},{"first_name":"Ping","full_name":"Fu, Ping","last_name":"Fu"},{"first_name":"Ernst","full_name":"Mücke, Ernst","last_name":"Mücke"},{"first_name":"Carlos","full_name":"Varela, Carlos","last_name":"Varela"}],"title":"Alpha shapes: definition and software","date_updated":"2022-06-27T13:20:29Z","citation":{"mla":"Akkiraju, Nataraj, et al. Alpha Shapes: Definition and Software. Elsevier, 1995, pp. 63–66.","short":"N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.","ieee":"N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela, “Alpha shapes: definition and software,” presented at the GCG: International Computational Geometry Software Workshop, 1995, pp. 63–66.","ama":"Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes: definition and software. In: Elsevier; 1995:63-66.","apa":"Akkiraju, N., Edelsbrunner, H., Facello, M., Fu, P., Mücke, E., & Varela, C. (1995). Alpha shapes: definition and software (pp. 63–66). Presented at the GCG: International Computational Geometry Software Workshop, Elsevier.","chicago":"Akkiraju, Nataraj, Herbert Edelsbrunner, Michael Facello, Ping Fu, Ernst Mücke, and Carlos Varela. “Alpha Shapes: Definition and Software,” 63–66. Elsevier, 1995.","ista":"Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop, 63–66."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","conference":{"name":"GCG: International Computational Geometry Software Workshop"},"type":"conference","status":"public","_id":"3552"},{"extern":"1","date_updated":"2022-06-27T12:58:02Z","status":"public","article_type":"original","type":"journal_article","_id":"3636","volume":49,"issue":"6","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0014-3820"]},"publication_status":"published","month":"12","intvolume":" 49","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb04449.x"}],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Observations on the means, variances, and covariances of quantitative traits across hybrid zones can give information similar to that from Mendelian markers. In addition, they can identify particular traits through which the cline is maintained. We describe a survey of six traits across the hybrid zone between Bombina bombina and Bombina variegata (Amphibia: Discoglossidae) near Pescenica in Croatia. We obtained laboratory measuments of the belly pattern, skin thickness, mating call, skeletal form, egg size, and the developmental time of tadpoles. Although offspring from hybrid populations showed no evidence of reduced viability, a third of the F1 families failed completely, irrespective of the direction of the cross. All traits differed significantly between the taxa. Clines in belly pattern, skin thickness, mating call, and skeletal form were closely concordant with clines in four diagnostic enzyme loci. However, the cline in developmental time was displaced towards bombina, and the cline in egg size was displaced towards variegata. This discordance could be because the traits are not inherited additively or because they are subject to different selection pressures. We favor the latter explanation in the case of developmental time. We show that moderate selection acting directly on a trait suffices to shift its position; rather stronger selection is needed to change its width appreciably. Within hybrid populations, there are significant associations among quantitative traits, and between traits and enzymes. Phenotypic variances also increase in hybrid populations. These observations can be explained by linkage disequilibria among the underlying loci. However, the average magnitude of the covariance between traits is about half that expected from the linkage disequilibria between enzyme loci. The discrepancy is not readily explained by nonadditive gene action. This puzzle is now unresolved and calls for further investigation."}],"title":"Natural selection on quantitative traits in the Bombina hybrid zone","author":[{"first_name":"Beate","last_name":"Nürnberger","full_name":"Nürnberger, Beate"},{"last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Catriona","last_name":"Maccallum","full_name":"Maccallum, Catriona"},{"full_name":"Gilchrist, Jason","last_name":"Gilchrist","first_name":"Jason"},{"first_name":"Michael","last_name":"Appleby","full_name":"Appleby, Michael"}],"publist_id":"2747","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Nürnberger, Beate, et al. “Natural Selection on Quantitative Traits in the Bombina Hybrid Zone.” Evolution, vol. 49, no. 6, Wiley-Blackwell, 1995, pp. 1224–38, doi:10.1111/j.1558-5646.1995.tb04449.x.","ama":"Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238. doi:10.1111/j.1558-5646.1995.tb04449.x","apa":"Nürnberger, B., Barton, N. H., Maccallum, C., Gilchrist, J., & Appleby, M. (1995). Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x","short":"B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution 49 (1995) 1224–1238.","ieee":"B. Nürnberger, N. H. Barton, C. Maccallum, J. Gilchrist, and M. Appleby, “Natural selection on quantitative traits in the Bombina hybrid zone,” Evolution, vol. 49, no. 6. Wiley-Blackwell, pp. 1224–1238, 1995.","chicago":"Nürnberger, Beate, Nicholas H Barton, Catriona Maccallum, Jason Gilchrist, and Michael Appleby. “Natural Selection on Quantitative Traits in the Bombina Hybrid Zone.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x.","ista":"Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. 1995. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 49(6), 1224–1238."},"date_published":"1995-12-01T00:00:00Z","doi":"10.1111/j.1558-5646.1995.tb04449.x","date_created":"2018-12-11T12:04:22Z","page":"1224 - 1238","day":"01","publication":"Evolution","year":"1995","quality_controlled":"1","publisher":"Wiley-Blackwell","oa":1,"acknowledgement":"The project would not have been possible without F. Perovic's extensive knowledge of the natural history of the Pegdenica area, and his assistance in the field. Particular thanks are due to the Perovie family for their generous hospitality. The Croatian Museum of Natural History and the Croatian Ministry of the Environment were helpful in granting all the necessary permits. J. Szymura assisted with allozyme tech-niques and in sharing unpublished data from his original survey of the area. M. Davidson and K. Grant prepared the histological specimens, and G. Patterson volunteered time and expertise in X-raying our toads. All members of L. Partridge's lab generously provided us with toad food on a daily basis, in the form of uncountably many spare Drosophila. G. Malarky and M. Oh stoically coped with much tedious toad care. We thank W. G. Hill, L. Kruuk, D. Rand, J. Szymura, and an anonymous reviewer for helpful comments on the manuscript. This research was supported by a grant from the Natural Environment Research Council (GR3/8002) to N.B. "},{"status":"public","type":"journal_article","article_type":"original","_id":"3637","extern":"1","date_updated":"2022-06-27T10:14:02Z","month":"06","intvolume":" 260","scopus_import":"1","main_file_link":[{"url":"https://royalsocietypublishing.org/doi/10.1098/rspb.1995.0089"}],"oa_version":"None","abstract":[{"lang":"eng","text":"Hybridizing taxa remain distinct for two main reasons. Natural selection acts against hybrids either because of their incompatible genome, or because of differential adaptation of the pure types across an environmental gradient. Here, we provide experimental evidence that the location of the Bombina (Anura: Discoglossidae) hybrid zone in Croatia is, at least in part, determined by differential adaptation. B. bombina typically breeds in permanent water in the lowland, whereas B. variegata reproduces in puddles at higher elevations. In a reciprocal translocation, pure bombina and variegata tadpoles were introduced in equal proportions into lowland pond enclosures and upland puddles. After three weeks, variegata exceeded bombina in survival and growth in both habitats. The effect was most pronounced in puddles, where the few surviving bombina tadpoles had hardly grown at all. In comparison to variegata, the smaller hatchlings of bombina grew relatively faster in ponds, but remained smaller in absolute terms. Nevertheless, B. bombina appears better adapted to ponds than to puddles. The mechanisms by which variegata is excluded from ponds remain to be demonstrated. These data show that habitat dependent selection prevents the invasion of bombina tadpole traits into the variegata gene pool. Given the strong linkage disequilibria in hybrid populations, differential selection on tadpoles may be sufficient to maintain the integrity of the two gene pools."}],"volume":260,"issue":"1359","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0962-8452"]},"publication_status":"published","title":"Experimental evidence for habitat dependent selection in a Bombina hybrid zone","author":[{"first_name":"Catriona","full_name":"Maccallum, Catriona","last_name":"Maccallum"},{"first_name":"Beate","full_name":"Nürnberger, Beate","last_name":"Nürnberger"},{"full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"2746","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Maccallum, Catriona, Beate Nürnberger, and Nicholas H Barton. “Experimental Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London, 1995. https://doi.org/10.1098/rspb.1995.0089.","ista":"Maccallum C, Nürnberger B, Barton NH. 1995. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 260(1359), 257–264.","mla":"Maccallum, Catriona, et al. “Experimental Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 260, no. 1359, Royal Society of London, 1995, pp. 257–64, doi:10.1098/rspb.1995.0089.","short":"C. Maccallum, B. Nürnberger, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 260 (1995) 257–264.","ieee":"C. Maccallum, B. Nürnberger, and N. H. Barton, “Experimental evidence for habitat dependent selection in a Bombina hybrid zone,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 260, no. 1359. Royal Society of London, pp. 257–264, 1995.","apa":"Maccallum, C., Nürnberger, B., & Barton, N. H. (1995). Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London. https://doi.org/10.1098/rspb.1995.0089","ama":"Maccallum C, Nürnberger B, Barton NH. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 1995;260(1359):257-264. doi:10.1098/rspb.1995.0089"},"quality_controlled":"1","publisher":"Royal Society of London","acknowledgement":"We thank Franjo Perovioc for invaluable help in the field and the Perovioc family for generous hospitality. Logistical and practical support was provided by the Croatian Museum of Natural History in particular Bojan Lazar and Eduarrd Kletecki. The people of Velesevec kindly tolerated our enclosure bags in their village pond. Stejpan Ticeric generously provided a base for our work in Perkovec. Professor S. Jelaska of the U niversity of Zagreb allowed us unlim ited access to her laboratory, where all tadpole m easurem ents were taken. Loeske K ruuk carried out the electrophoretic analysis which established the taxonomic significance of tadpole belly colour. We thank Ian Wilson for statistical advice and Tim Halliday, Peter Jones, Loeske Kruuk, Jaroslav Pialek and two anonymous referees for helpful comments on the manuscript. This research was supported by a grant from the NERC (No. GR3/8002) to N.H.B.","date_published":"1995-06-22T00:00:00Z","doi":"10.1098/rspb.1995.0089","date_created":"2018-12-11T12:04:22Z","page":"257 - 264","day":"22","publication":"Proceedings of the Royal Society of London Series B Biological Sciences","year":"1995"},{"quality_controlled":"1","publisher":"Cambridge University Press","page":"123 - 144","doi":"10.1017/S0016672300033140","date_published":"1995-04-01T00:00:00Z","date_created":"2018-12-11T12:04:23Z","year":"1995","day":"01","publication":"Genetical Research","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"}],"publist_id":"2744","article_processing_charge":"No","external_id":{"pmid":["7605514"]},"title":"A general model for the evolution of recombination","citation":{"mla":"Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research, vol. 65, no. 2, Cambridge University Press, 1995, pp. 123–44, doi:10.1017/S0016672300033140.","short":"N.H. Barton, Genetical Research 65 (1995) 123–144.","ieee":"N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.","ama":"Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140","apa":"Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033140","chicago":"Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research. Cambridge University Press, 1995. https://doi.org/10.1017/S0016672300033140.","ista":"Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","main_file_link":[{"url":"https://www.cambridge.org/core/journals/genetics-research/article/general-model-for-the-evolution-of-recombination/8CBDDF2DC779CF4B6AE9B461B80BB4AE"}],"month":"04","intvolume":" 65","abstract":[{"text":"A general representation of multilocus selection is extended to allow recombination to depend on genotype. The equations simplify if modifier alleles have small effects on recombination. The evolution of such modifiers only depends on how they alter recombination between the selected loci, and does not involve dominance in modifier effects. The net selection on modifiers can be found explicitly if epistasis is weak relative to recombination. This analysis shows that recombination can be favoured in two ways: because it impedes the response to epistasis which fluctuates in sign, or because it facilitates the response to directional selection. The first mechanism is implausible, because epistasis must change sign over periods of a few generations: faster or slower fluctuations favour reduced recombination. The second mechanism requires weak negative epistasis between favourable alleles, which may either be increasing, or held in check by mutation. The selection (si) on recombination modifiers depends on the reduction in additive variance of log (fitness) due to linkage disequilibria (υ1 < 0), and on non-additive variance in log (fitness) (V′2, V′3,.. epistasis between 2, 3.. loci). For unlinked loci and pairwise epistasis, si = − (υ1 + 4V2/3)δr, where δr is the average increase in recombination caused by the modifier. The approximations are checked against exact calculations for three loci, and against Charlesworth's analyses of mutation/selection balance (1990), and directional selection (1993). The analysis demonstrates a general relation between selection on recombination and observable components of fitness variation, which is open to experimental test.","lang":"eng"}],"oa_version":"None","pmid":1,"volume":65,"issue":"2","publication_identifier":{"issn":["0016-6723"]},"publication_status":"published","language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","status":"public","_id":"3639","date_updated":"2022-06-24T11:54:10Z","extern":"1"},{"extern":"1","date_updated":"2022-06-27T08:55:07Z","status":"public","article_type":"original","type":"journal_article","_id":"3638","issue":"1327","volume":349,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0962-8436"]},"intvolume":" 349","month":"07","main_file_link":[{"url":"https://royalsocietypublishing.org/doi/10.1098/rstb.1995.0090"}],"oa_version":"None","pmid":1,"abstract":[{"text":"Any sample of genes traces back to a single common ancestor. Each gene also has other properties: its sequence, its geographic location and the phenotype and fitness of the organism that carries it. With sexual reproduction, different genes have different genealogies, which gives us much more information, but also greatly complicates population genetic analysis. We review the close relation between the distribution of genealogies and the classic theory of identity by descent in spatially structured populations, and develop a simple diffusion approximation to the distribution of coalescence times in a homogeneous two-dimensional habitat. This shows that when neighbourhood size is large (as in most populations) only a small fraction of pairs of genes are closely related, and only this fraction gives information about current rates of gene flow. The increase of spatial dispersion with lineage age is thus a poor estimator of gene flow. The bulk of the genealogy depends on the long-term history of the population; we discuss ways of inferring this history from the concordance between genealogies across loci.","lang":"eng"}],"title":"Genealogies and geography","article_processing_charge":"No","external_id":{"pmid":["8748019"]},"publist_id":"2745","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"},{"first_name":"I","full_name":"Wilson, I","last_name":"Wilson"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Barton, Nicholas H., and I. Wilson. “Genealogies and Geography.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 349, no. 1327, Royal Society, The, 1995, pp. 49–59, doi:10.1098/rstb.1995.0090.","ama":"Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59. doi:10.1098/rstb.1995.0090","apa":"Barton, N. H., & Wilson, I. (1995). Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.1995.0090","short":"N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 349 (1995) 49–59.","ieee":"N. H. Barton and I. Wilson, “Genealogies and geography,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 349, no. 1327. Royal Society, The, pp. 49–59, 1995.","chicago":"Barton, Nicholas H, and I Wilson. “Genealogies and Geography.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 1995. https://doi.org/10.1098/rstb.1995.0090.","ista":"Barton NH, Wilson I. 1995. Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 349(1327), 49–59."},"date_created":"2018-12-11T12:04:22Z","doi":"10.1098/rstb.1995.0090","date_published":"1995-07-29T00:00:00Z","page":"49 - 59","publication":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences","day":"29","year":"1995","publisher":"Royal Society, The","quality_controlled":"1","acknowledgement":"This work was supported by BBSRC grant GR/H/09928 and by a Scottish Office studentship. We thank A. W. F. Edwards and S. Otto for their helpful comments."},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. 1995. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 13(1), 1–15.","chicago":"Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574025.","short":"B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 13 (1995) 1–15.","ieee":"B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl, “Improved bounds on weak ε-nets for convex sets,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995.","ama":"Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025","apa":"Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl, E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574025","mla":"Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 1–15, doi:10.1007/BF02574025."},"title":"Improved bounds on weak ε-nets for convex sets","author":[{"first_name":"Bernard","last_name":"Chazelle","full_name":"Chazelle, Bernard"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"},{"last_name":"Grigni","full_name":"Grigni, Michelangelo","first_name":"Michelangelo"},{"last_name":"Guibas","full_name":"Guibas, Leonidas","first_name":"Leonidas"},{"last_name":"Sharir","full_name":"Sharir, Micha","first_name":"Micha"},{"last_name":"Welzl","full_name":"Welzl, Emo","first_name":"Emo"}],"publist_id":"2094","article_processing_charge":"No","acknowledgement":"The authors wish to express their gratitude for the support and hospitality of the DEC Palo Alto Systems Research Center.","publisher":"Springer","quality_controlled":"1","day":"01","publication":"Discrete & Computational Geometry","year":"1995","doi":"10.1007/BF02574025","date_published":"1995-12-01T00:00:00Z","date_created":"2018-12-11T12:06:33Z","page":"1 - 15","_id":"4035","status":"public","article_type":"original","type":"journal_article","extern":"1","date_updated":"2022-06-13T12:37:06Z","oa_version":"None","abstract":[{"lang":"eng","text":"Let S be a set of n points in ℝd . A set W is a weak ε-net for (convex ranges of)S if, for any T⊆S containing εn points, the convex hull of T intersects W. We show the existence of weak ε-nets of size {Mathematical expression}, where β2=0, β3=1, and βd ≈0.149·2d-1(d-1)!, improving a previous bound of Alon et al. Such a net can be computed effectively. We also consider two special cases: when S is a planar point set in convex position, we prove the existence of a net of size O((1/ε) log1.6(1/ε)). In the case where S consists of the vertices of a regular polygon, we use an argument from hyperbolic geometry to exhibit an optimal net of size O(1/ε), which improves a previous bound of Capoyleas."}],"month":"12","intvolume":" 13","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02574025"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0179-5376"]},"publication_status":"published","issue":"1","volume":13},{"page":"248 - 257","date_published":"1995-10-01T00:00:00Z","date_created":"2018-12-11T12:06:33Z","publication_identifier":{"issn":["0272-5428"]},"year":"1995","publication_status":"published","day":"01","language":[{"iso":"eng"}],"publication":"Proceedings of IEEE 36th Annual Foundations of Computer Science","quality_controlled":"1","publisher":"IEEE","main_file_link":[{"url":"https://ieeexplore.ieee.org/abstract/document/492480"}],"month":"10","abstract":[{"lang":"eng","text":"Any arbitrary polyhedron P contained as a subset within Rd can be written as algebraic sum of simple terms, each an integer multiple of the intersection of d or fewer half-spaces defined by facets of P. P can be non-convex and can have holes of any kind. Among the consequences of this result are a short boolean formula for P, a fast parallel algorithm for point classification, and a new proof of the Gram-Sommerville angle relation."}],"oa_version":"None","acknowledgement":"The author thanks Bei-Fang Chen, Siu-Wing Cheng, David Dobkin, Nikolai Dolbilin, Ping Fu, Sergei Ryshkov, and Vadim Shapiro for discussions on the topic of this paper.","publist_id":"2093","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"}],"article_processing_charge":"No","title":"Algebraic decomposition of non-convex polyhedra","citation":{"mla":"Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–57.","ieee":"H. Edelsbrunner, “Algebraic decomposition of non-convex polyhedra,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 248–257.","short":"H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–257.","ama":"Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.","apa":"Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 248–257). Milwaukee, WI, United States of America: IEEE.","chicago":"Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 248–57. IEEE, 1995.","ista":"Edelsbrunner H. 1995. Algebraic decomposition of non-convex polyhedra. Proceedings of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer Science, 248–257."},"date_updated":"2022-06-13T12:27:11Z","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","conference":{"location":"Milwaukee, WI, United States of America","end_date":"1995-10-25","start_date":"1995-10-23","name":"FOCS: Foundations of Computer Science"},"status":"public","_id":"4034"},{"_id":"4153","type":"journal_article","article_type":"original","status":"public","citation":{"chicago":"Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh, Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood. American Society of Hematology, 1995.","ista":"Ransom D, Brownlie A, Haffter P, Odenthal J, Kelsh R, Brand M, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Van Eden F, Warga R, Nüsslein Volhard C, Zon L. 1995. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 86(10), 1912–1912.","mla":"Ransom, D., et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood, vol. 86, no. 10, American Society of Hematology, 1995, pp. 1912–1912.","ama":"Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.","apa":"Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M., … Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. American Society of Hematology.","short":"D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912.","ieee":"D. Ransom et al., “Hematopoietic mutants identified in a saturation screen of the zebrafish genome,” Blood, vol. 86, no. 10. American Society of Hematology, pp. 1912–1912, 1995."},"date_updated":"2022-06-13T12:02:52Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","author":[{"full_name":"Ransom, D.","last_name":"Ransom","first_name":"D."},{"first_name":"Alison","last_name":"Brownlie","full_name":"Brownlie, Alison"},{"full_name":"Haffter, Pascal","last_name":"Haffter","first_name":"Pascal"},{"last_name":"Odenthal","full_name":"Odenthal, Jörg","first_name":"Jörg"},{"last_name":"Kelsh","full_name":"Kelsh, Robert","first_name":"Robert"},{"last_name":"Brand","full_name":"Brand, Michael","first_name":"Michael"},{"first_name":"Makoto","last_name":"Furutani Seiki","full_name":"Furutani Seiki, Makoto"},{"first_name":"Michael","full_name":"Granato, Michael","last_name":"Granato"},{"first_name":"Matthias","full_name":"Hammerschmidt, Matthias","last_name":"Hammerschmidt"},{"orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"},{"first_name":"Yunjin","full_name":"Jiang, Yunjin","last_name":"Jiang"},{"full_name":"Kane, David","last_name":"Kane","first_name":"David"},{"first_name":"Mary","last_name":"Mullins","full_name":"Mullins, Mary"},{"last_name":"Van Eden","full_name":"Van Eden, Fredericus","first_name":"Fredericus"},{"last_name":"Warga","full_name":"Warga, Rachel","first_name":"Rachel"},{"last_name":"Nüsslein Volhard","full_name":"Nüsslein Volhard, Christiane","first_name":"Christiane"},{"full_name":"Zon, L.","last_name":"Zon","first_name":"L."}],"publist_id":"1965","title":"Hematopoietic mutants identified in a saturation screen of the zebrafish genome","oa_version":"None","quality_controlled":"1","publisher":"American Society of Hematology","intvolume":" 86","month":"01","publication_status":"published","year":"1995","publication_identifier":{"issn":["0006-4971"]},"language":[{"iso":"eng"}],"publication":"Blood","day":"01","page":"1912 - 1912","date_created":"2018-12-11T12:07:16Z","volume":86,"date_published":"1995-01-01T00:00:00Z","issue":"10"},{"title":"Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus","external_id":{"pmid":["7545230"]},"article_processing_charge":"No","author":[{"first_name":"Duk","full_name":"Koh, Duk","last_name":"Koh"},{"full_name":"Geiger, Jörg","last_name":"Geiger","first_name":"Jörg"},{"last_name":"Jonas","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M"},{"full_name":"Sakmann, Bert","last_name":"Sakmann","first_name":"Bert"}],"publist_id":"2908","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Koh, Duk, et al. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology, vol. 485, no. Pt 2, Wiley-Blackwell, 1995, pp. 383–402, doi:10.1113/jphysiol.1995.sp020737.","ama":"Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737","apa":"Koh, D., Geiger, J., Jonas, P. M., & Sakmann, B. (1995). Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020737","short":"D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.","ieee":"D. Koh, J. Geiger, P. M. Jonas, and B. Sakmann, “Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus,” Journal of Physiology, vol. 485, no. Pt 2. Wiley-Blackwell, pp. 383–402, 1995.","chicago":"Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020737.","ista":"Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402."},"date_created":"2018-12-11T12:03:33Z","date_published":"1995-06-01T00:00:00Z","doi":"10.1113/jphysiol.1995.sp020737","page":"383 - 402","publication":"Journal of Physiology","day":"01","year":"1995","oa":1,"quality_controlled":"1","publisher":"Wiley-Blackwell","acknowledgement":"We thank Drs M.Häusser and H.Markram for critically reading the manuscript and M.Kaiser for technical assistance. Supported by the Deutsche Forschungsgemeinschaft (SFB-317/B14 grant to P.J. and a Graduiertenkollegstipendium to J.R.P.G.)","extern":"1","date_updated":"2022-06-28T07:54:44Z","status":"public","article_type":"original","type":"journal_article","_id":"3479","issue":"Pt 2","volume":485,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0022-3751"]},"intvolume":" 485","month":"06","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1158000/pdf/jphysiol00319-0104.pdf","open_access":"1"}],"scopus_import":"1","oa_version":"Published Version","pmid":1,"abstract":[{"text":"1. Glutamate receptor (GluR) channels were studied in basket cells in the dentate gyrus of rat hippocampal slices. Basket cells were identified by their location, dendritic morphology and high frequency of action potentials generated during sustained current injection. 2. Dual-component currents were activated by fast application of glutamate to outside-out membrane patches isolated from basket cell somata (10 μM glycine, no external Mg2+). The fast component was selectively blocked by 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX), the slow component by D-2-amino-5-phosphonopentanoic acid (D-AP5). This suggests that the two components were mediated by α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptor (AMPAR)/kainate receptor and N-methyl-D-aspartate receptor (NMDAR) channels, respectively. The mean ratio of the peak current of the NMDAR component to that of the AMPAR/kainate receptor component was 0.22 (1 ms pulses of 10 mM glutamate). 3. The AMPAR/kainate receptor component, which was studied in isolation in the presence of D-AP5, was identified as AMPAR mediated on the basis of the preferential activation by AMPA as compared with kainate, the weak desensitization of kainate-activated currents, the cross-desensitization between AMPA and kainate, and the reduction of desensitization by cyclothiazide. 4. Deactivation of basket cell AMPARs following 1 ms pulses of glutamate occurred with a time constant (τ) of 1.2 ± 0.1 ms (mean ± S.E.M.). During 100 ms glutamate pulses, AMPARs desensitized with a τ of 3.7 ± 0.2 ms. 5. The peak current-voltage (I-V) relation of AMPAR-mediated currents in Na+-rich extracellular solution showed a reversal potential of -4.0 ± 2.6 mV and was characterized by a doubly rectifying shape. The conductance of single AMPAR channels was estimated as 22.6 ± 1.6 pS using non-stationary fluctuation analysis. AMPARs expressed in hippocampal basket cells mere highly Ca2+ permeable (P(Ca)/P(K) = 1.79). 6. NMDARs in hippocampal basket cells were studied in isolation in the presence of CNQX. Deactivation of NMDARs activated by glutamate pulses occurred bi-exponentially with mean τ values of 266 ± 23 ms (76%) and 2620 ± 383 ms (24%). 7. The peak I-V relation of the NMDAR-mediated component in Na+-rich extracellular solution showed a reversal potential of 1.5 ± 0.6 mV and a region of negative slope at negative membrane potentials in the presence of external Mg2+, due to voltage-dependent block by these ions. The conductance of single NMDAR channels in the main open state was 50.2 ± 1.8 pS. NMDARs in hippocampal basket cells were highly permeable to Ca2+ (P(Ca)/P(K) = 6.68). 8. AMPARs in hippocampal basket cells are characterized by about threefold faster kinetics and twentyfold higher Ca2+ permeability than AMPARs in hippocampal granule or pyramidal cells. Simulations show that the Ca2+ influx through basket cell AMPARs is comparable to that through NMDARs at negative membrane potentials with physiological concentrations of Ca2+ and Mg2+. This suggests a dual pathway of synaptically mediated Ca2+ entry into interneurones.","lang":"eng"}]},{"date_updated":"2022-06-27T14:53:16Z","extern":"1","_id":"3481","type":"journal_article","article_type":"original","status":"public","publication_status":"published","publication_identifier":{"issn":["0022-3751"]},"language":[{"iso":"eng"}],"volume":486,"issue":"Pt 2","abstract":[{"lang":"eng","text":"1. The influence of intracellular factors on current rectification of different subtypes of native α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptors (AMPARs) was studied in rat brain slices by combining fast application of glutamate with patch pipette perfusion. 2. The peak current-voltage (I-V) relation of the AMPARs expressed in Bergmann glial cells of cerebellum and dentate gyrus (DG) basket cells of hippocampus was weakly rectifying in outside-out patches and nystatin-perforated vesicles, but showed a doubly rectifying shape with a region of reduced slope between 0 and +40 mV in nucleated patches. The I-V relation of AMPARs expressed in hippocampal CA3 pyramidal neurones was linear in all recording configurations. 3. Intracellular application of 2.5 μM spermine, a naturally occurring polyamine, blocked outward currents in outside-oat patches from Bergmann glial cells and DG basket cells in a voltage-dependent manner, generating I-V relations with a doubly rectifying shape which were similar to those recorded in nucleated patches. AMPARs in CA3 pyramidal cell patches were unaffected by 25 μM spermine. 4. The half-maximal blocking concentration of spermine at +40 mV was 0.3 μM in Bergmann glial cell patches and 1.5 μM in DG basket cell patches, whereas it was much higher (≥ 100 μM) for CA3 pyramidal. cell patches. Spermidine also affected current rectification, but with lower affinity. The block of outward current by polyamines following voltage jumps developed within < 0.5 ms. 5. We conclude that current rectification, rather than being an intrinsic property of the Ca2+ permeable AMPAR channel, is generated by polyamine block."}],"pmid":1,"oa_version":"Published Version","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1156754/","open_access":"1"}],"intvolume":" 486","month":"07","citation":{"ama":"Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813","apa":"Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813","short":"D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.","ieee":"D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification,” Journal of Physiology, vol. 486, no. Pt 2. Wiley-Blackwell, pp. 305–312, 1995.","mla":"Koh, Duk, et al. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology, vol. 486, no. Pt 2, Wiley-Blackwell, 1995, pp. 305–12, doi:10.1113/jphysiol.1995.sp020813.","ista":"Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312.","chicago":"Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020813."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","external_id":{"pmid":["7473198"]},"article_processing_charge":"No","publist_id":"2906","author":[{"first_name":"Duk","full_name":"Koh, Duk","last_name":"Koh"},{"first_name":"Nail","last_name":"Burnashev","full_name":"Burnashev, Nail"},{"full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M"}],"title":"Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification","year":"1995","publication":"Journal of Physiology","day":"15","page":"305 - 312","date_created":"2018-12-11T12:03:33Z","doi":"10.1113/jphysiol.1995.sp020813","date_published":"1995-07-15T00:00:00Z","acknowledgement":"We thank Dr B.Sakmann, Dr V.Witzemann, J.Geiger, and A.Roth for helpful discussions and Dr D.Feldmeyer and Dr A.Villarroel for reading the manuscript. We also thank M.Kaiser for technical and H.Spiegel for secretarial assistance. Supported by DFG grant SFB-317/B14(P.J.).","oa":1,"quality_controlled":"1","publisher":"Wiley-Blackwell"},{"title":"Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS","author":[{"last_name":"Geiger","full_name":"Geiger, Jörg","first_name":"Jörg"},{"first_name":"Thorsten","full_name":"Melcher, Thorsten","last_name":"Melcher"},{"first_name":"Duk","full_name":"Koh, Duk","last_name":"Koh"},{"last_name":"Sakmann","full_name":"Sakmann, Bert","first_name":"Bert"},{"first_name":"Peter","last_name":"Seeburg","full_name":"Seeburg, Peter"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","last_name":"Jonas","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"},{"first_name":"Hannah","full_name":"Monyer, Hannah","last_name":"Monyer"}],"publist_id":"2907","article_processing_charge":"No","external_id":{"pmid":["7619522"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ieee":"J. Geiger et al., “Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS,” Neuron, vol. 15, no. 1. Elsevier, pp. 193–204, 1995.","short":"J. Geiger, T. Melcher, D. Koh, B. Sakmann, P. Seeburg, P.M. Jonas, H. Monyer, Neuron 15 (1995) 193–204.","apa":"Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., & Monyer, H. (1995). Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90076-4","ama":"Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4","mla":"Geiger, Jörg, et al. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron, vol. 15, no. 1, Elsevier, 1995, pp. 193–204, doi:10.1016/0896-6273(95)90076-4.","ista":"Geiger J, Melcher T, Koh D, Sakmann B, Seeburg P, Jonas PM, Monyer H. 1995. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 15(1), 193–204.","chicago":"Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron. Elsevier, 1995. https://doi.org/10.1016/0896-6273(95)90076-4."},"quality_controlled":"1","publisher":"Elsevier","oa":1,"acknowledgement":"We thank Ulla Amtmann for efficient help with the molecular analysis. We also thank M. Kaiser for technical assistance, Dr. J. G. G. Borst for advice concerning preparation of brainstem slices, and Drs. N. Spruston and G. Stuart for critically reading the manuscript. Funded in part by Bundesministerium für Forschung und Technologie grant BCT 364 AZ 321/7291 (P. H. S.) and by Deutsche Forschungsgemeinschaftgrant SFB-3171814(P. J.). J. R. P. G. and T. M. were supported by the graduate program of Molecular and Cellular Neurobiology of the University of Heidelberg. The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby\r\nmarked “advertisement” in accordance with 18 USC Section 1734 solely to Indicate this fact.","date_published":"1995-07-01T00:00:00Z","doi":"10.1016/0896-6273(95)90076-4","date_created":"2018-12-11T12:03:33Z","page":"193 - 204","day":"01","publication":"Neuron","year":"1995","status":"public","type":"journal_article","article_type":"original","_id":"3480","extern":"1","date_updated":"2022-06-28T07:47:09Z","month":"07","intvolume":" 15","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/0896627395900764?via%3Dihub"}],"pmid":1,"oa_version":"Published Version","abstract":[{"text":"Recording of glutamate-activated currents in membrane patches was combine with RT-PCR-mediated AMPA receptor (AMPAR) subunit mRNA analysis in single identified cells of rat brain slices. Analysis of AMPARs in principal neurons end interneurons of hippocampus and neocortex and in auditory relay neurons and Bergmann glial cells indicates that the GluR-B subunit in its flip version determines formation of receptors with relatively slow gating, whereas the GluR-D subunit promotes assembly of more rapidly gated receptors. The relation between Ca 2+ permeability of AMPAR channels and the relative GluR-B mRNA abundance is consistent with the dominance of this subunit in determining the Ca 2+ permeability of native receptors. The results suggest that differential expression of GluR-B and GluR-D subunit genes, as well as splicing end editing of their mRNAs, account for the differences in gating and Ca 2+ permeability of native AMPAR channels.","lang":"eng"}],"issue":"1","volume":15,"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0896-6273"]},"publication_status":"published"},{"date_published":"1995-10-05T00:00:00Z","volume":377,"doi":"10.1038/377388a0","date_created":"2018-12-11T12:04:09Z","page":"388 - 389","day":"05","publication":"Nature","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0028-0836"]},"year":"1995","publication_status":"published","month":"10","intvolume":" 377","quality_controlled":"1","publisher":"Nature Publishing Group","main_file_link":[{"url":"https://www.nature.com/articles/377388a0"}],"pmid":1,"oa_version":"None","title":"Déjà vu all over again","author":[{"full_name":"Kirkpatrick, Mark","last_name":"Kirkpatrick","first_name":"Mark"},{"last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"2786","article_processing_charge":"No","external_id":{"pmid":["7566112 "]},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389.","chicago":"Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.” Nature. Nature Publishing Group, 1995. https://doi.org/10.1038/377388a0.","short":"M. Kirkpatrick, N.H. Barton, Nature 377 (1995) 388–389.","ieee":"M. Kirkpatrick and N. H. Barton, “Déjà vu all over again,” Nature, vol. 377. Nature Publishing Group, pp. 388–389, 1995.","ama":"Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389. doi:10.1038/377388a0","apa":"Kirkpatrick, M., & Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group. https://doi.org/10.1038/377388a0","mla":"Kirkpatrick, Mark, and Nicholas H. Barton. “Déjà vu All over Again.” Nature, vol. 377, Nature Publishing Group, 1995, pp. 388–89, doi:10.1038/377388a0."},"date_updated":"2022-06-27T13:00:10Z","status":"public","type":"review","_id":"3597"},{"date_updated":"2022-06-24T09:59:08Z","extern":"1","_id":"3640","type":"journal_article","article_type":"original","status":"public","publication_identifier":{"issn":["0016-6731"]},"publication_status":"published","language":[{"iso":"eng"}],"issue":"2","volume":140,"abstract":[{"lang":"eng","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 < 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."}],"pmid":1,"oa_version":"Published Version","scopus_import":"1","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1206655/"}],"month":"06","intvolume":" 140","citation":{"ama":"Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841. doi:http://www.genetics.org/content/140/2/821.long","apa":"Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics. Genetics Society of America. http://www.genetics.org/content/140/2/821.long","ieee":"N. H. Barton, “Linkage and the limits to natural selection,” Genetics, vol. 140, no. 2. Genetics Society of America, pp. 821–841, 1995.","short":"N.H. Barton, Genetics 140 (1995) 821–841.","mla":"Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics, vol. 140, no. 2, Genetics Society of America, 1995, pp. 821–41, doi:http://www.genetics.org/content/140/2/821.long.","ista":"Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2), 821–841.","chicago":"Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics. Genetics Society of America, 1995. http://www.genetics.org/content/140/2/821.long."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","last_name":"Barton"}],"publist_id":"2743","article_processing_charge":"No","external_id":{"pmid":["7498757"]},"title":"Linkage and the limits to natural selection","year":"1995","day":"01","publication":"Genetics","page":"821 - 841","date_published":"1995-06-01T00:00:00Z","doi":"http://www.genetics.org/content/140/2/821.long","date_created":"2018-12-11T12:04:23Z","quality_controlled":"1","publisher":"Genetics Society of America","oa":1},{"publist_id":"2095","author":[{"last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"}],"article_processing_charge":"No","title":"The union of balls and its dual shape","citation":{"mla":"Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 415–40, doi:10.1007/BF02574053.","short":"H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.","ieee":"H. Edelsbrunner, “The union of balls and its dual shape,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 415–440, 1995.","ama":"Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053","apa":"Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574053","chicago":"Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574053.","ista":"Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete & Computational Geometry. 13(1), 415–440."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","publisher":"Springer","oa":1,"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.","page":"415 - 440","doi":"10.1007/BF02574053","date_published":"1995-12-01T00:00:00Z","date_created":"2018-12-11T12:06:31Z","year":"1995","day":"01","publication":"Discrete & Computational Geometry","article_type":"original","type":"journal_article","status":"public","_id":"4028","date_updated":"2022-06-27T08:14:48Z","extern":"1","scopus_import":"1","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02574053","open_access":"1"}],"month":"12","intvolume":" 13","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"}],"oa_version":"Published Version","issue":"1","volume":13,"publication_identifier":{"issn":["0179-5376"]},"publication_status":"published","language":[{"iso":"eng"}]},{"issue":"7","volume":12,"publication_status":"published","publication_identifier":{"issn":["0167-8396"]},"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/016783969500016Y?via%3Dihub"}],"scopus_import":"1","intvolume":" 12","month":"11","abstract":[{"text":"A general and direct method for computing the Betti numbers of a finite simplicial complex in Bd is given. This method is complete for d less than or equal to 3, where versions of this method run in time O(n alpha(n)) and O(n), n the number of simplices. An implementation of the algorithm is applied to alpha shapes, which is a novel geometric modeling tool.","lang":"eng"}],"oa_version":"None","date_updated":"2022-06-24T09:49:32Z","extern":"1","type":"journal_article","article_type":"original","status":"public","_id":"4029","page":"771 - 784","date_created":"2018-12-11T12:06:32Z","doi":"10.1016/0167-8396(95)00016-Y","date_published":"1995-11-01T00:00:00Z","year":"1995","publication":"Computer Aided Geometric Design","day":"01","publisher":"Elsevier","quality_controlled":"1","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 authors and do not necessarily reflect the view of the National Science Foundation.","article_processing_charge":"No","author":[{"first_name":"Cecil","last_name":"Delfinado","full_name":"Delfinado, Cecil"},{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"}],"publist_id":"2096","title":"An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere","citation":{"apa":"Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y","ama":"Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y","short":"C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.","ieee":"C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design, vol. 12, no. 7. Elsevier, pp. 771–784, 1995.","mla":"Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y.","ista":"Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7), 771–784.","chicago":"Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design. Elsevier, 1995. https://doi.org/10.1016/0167-8396(95)00016-Y."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"pmid":1,"oa_version":"Published Version","abstract":[{"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.","lang":"eng"}],"intvolume":" 49","month":"02","main_file_link":[{"open_access":"1","url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x"}],"scopus_import":"1","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0014-3820"]},"volume":49,"issue":"1","_id":"4297","status":"public","type":"journal_article","article_type":"original","extern":"1","date_updated":"2022-06-13T09:24:40Z","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. Stevens of the Brigham Young University Department of Geography for lessons in surveying and map making and use of the field equipment and planimeter. B. Nürnberger provided the digitized coordinates for individual lizards and assisted with the analysis of spatial structure and viability. B. Nürnberger, C. MacCallum, J. Mallet, and J. Searle also provided 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,"quality_controlled":"1","publisher":"Wiley-Blackwell","publication":"Evolution","day":"01","year":"1995","date_created":"2018-12-11T12:08:06Z","date_published":"1995-02-01T00:00:00Z","doi":"10.1111/j.1558-5646.1995.tb05955.x","page":"9 - 36","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"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.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp. 9–36, doi:10.1111/j.1558-5646.1995.tb05955.x.","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,” Evolution, vol. 49, no. 1. Wiley-Blackwell, pp. 9–36, 1995.","short":"J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.","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. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x","apa":"Sites, J., Barton, N. H., & 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. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x","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.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x.","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."},"title":"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico","article_processing_charge":"No","external_id":{"pmid":["28593667"]},"author":[{"first_name":"Jack","full_name":"Sites, Jack","last_name":"Sites"},{"full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Kent","last_name":"Reed","full_name":"Reed, Kent"}],"publist_id":"1779"},{"_id":"4296","status":"public","article_type":"original","type":"journal_article","extern":"1","date_updated":"2022-06-13T08:42:11Z","oa_version":"Published Version","pmid":1,"abstract":[{"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.","lang":"eng"}],"month":"06","intvolume":" 49","scopus_import":"1","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x","open_access":"1"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0014-3820"]},"publication_status":"published","issue":"3","volume":49,"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"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.","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.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x.","short":"L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49 (1995) 538–544.","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,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544, 1995.","apa":"Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x","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. Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x","mla":"Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:10.1111/j.1558-5646.1995.tb02285.x."},"title":"Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature","publist_id":"1778","author":[{"first_name":"Linda","full_name":"Partridge, Linda","last_name":"Partridge"},{"full_name":"Barrie, Brian","last_name":"Barrie","first_name":"Brian"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"},{"full_name":"Fowler, Kevin","last_name":"Fowler","first_name":"Kevin"},{"first_name":"Vernon","last_name":"French","full_name":"French, Vernon"}],"external_id":{"pmid":["28565092 "]},"article_processing_charge":"No","acknowledgement":"We thank Natural Environment Research Council and the Royal Society for financial support.","quality_controlled":"1","publisher":"Wiley-Blackwell","oa":1,"day":"01","publication":"Evolution","year":"1995","doi":"10.1111/j.1558-5646.1995.tb02285.x","date_published":"1995-06-01T00:00:00Z","date_created":"2018-12-11T12:08:06Z","page":"538 - 544"},{"oa_version":"Published Version","intvolume":" 49","month":"12","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/j.1558-5646.1995.tb04431.x"}],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["1558-5646"]},"issue":"6","volume":49,"_id":"4298","status":"public","article_type":"original","type":"journal_article","extern":"1","date_updated":"2022-06-28T07:47:30Z","oa":1,"publisher":"Wiley","quality_controlled":"1","publication":"Evolution","day":"01","year":"1995","date_created":"2018-12-11T12:08:07Z","date_published":"1995-12-01T00:00:00Z","doi":"10.1111/j.1558-5646.1995.tb04431.x","page":"1038 - 1045","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"apa":"Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x","ama":"Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x","ieee":"N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.","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.” Evolution, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:10.1111/j.1558-5646.1995.tb04431.x.","ista":"Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by S J E Baird. Evolution. 49(6), 1038–1045.","chicago":"Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” Evolution. Wiley, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x."},"title":"Appendix to \"A simulation study of multilocus clines\" by S J E Baird","article_processing_charge":"No","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"publist_id":"1773"},{"type":"dissertation","status":"public","_id":"4428","author":[{"last_name":"Ho","full_name":"Ho, Pei","first_name":"Pei"}],"publist_id":"304","article_processing_charge":"No","title":"Automatic analysis of hybrid systems","supervisor":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"date_updated":"2022-06-28T07:30:34Z","citation":{"ista":"Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.","chicago":"Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.","ieee":"P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.","short":"P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.","ama":"Ho P. Automatic analysis of hybrid systems. 1995:1-188.","apa":"Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.","mla":"Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188."},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Cornell University","main_file_link":[{"open_access":"1","url":"https://hdl.handle.net/1813/7193"}],"oa":1,"month":"08","abstract":[{"lang":"eng","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."}],"oa_version":"Published Version","page":"1 - 188","date_published":"1995-08-01T00:00:00Z","date_created":"2018-12-11T12:08:48Z","degree_awarded":"PhD","publication_status":"published","year":"1995","day":"01","language":[{"iso":"eng"}]},{"article_processing_charge":"No","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"}],"publist_id":"280","title":"Algorithmic analysis of nonlinear hybrid systems","citation":{"mla":"Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.","ieee":"T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.","short":"T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.","apa":"Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53","ama":"Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53","chicago":"Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” In 7th International Conference on Computer Aided Verification, 939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.","ista":"Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"225 - 238","date_created":"2018-12-11T12:08:55Z","date_published":"1995-01-01T00:00:00Z","doi":"10.1007/3-540-60045-0_53","year":"1995","publication":"7th International Conference on Computer Aided Verification","day":"01","publisher":"Springer","quality_controlled":"1","acknowledgement":"This research was supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.","date_updated":"2022-06-10T09:48:52Z","extern":"1","conference":{"location":"Liege, Belgium","end_date":"1995-07-05","start_date":"1995-07-03","name":"CAV: Computer Aided Verification"},"type":"conference","status":"public","_id":"4450","volume":939,"publication_status":"published","publication_identifier":{"isbn":["9783540494133"]},"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60045-0_53"}],"scopus_import":"1","alternative_title":["LNCS"],"intvolume":" 939","month":"01","abstract":[{"lang":"eng","text":"Hybrid systems model discrete programs that are embedded in continuous environments. Model-checking tools are available for the analysis of linear hybrid systems, whose continuous variables are bounded by piecewise-linear trajectories. Most embedded programs, however, operate in nonlinear environments. We present, analyze, and apply two algorithms for translating nonlinear hybrid systems into linear hybrid systems.\r\nThe clock translation replaces nonlinear variables by clock variables; the rate translation approximates nonlinear variables by piecewise-linear envelopes. Both translations are sound for reachability; that is, if we establish a safety property of the translated linear system, we may conclude that the original nonlinear system satisfies the property. The clock translation is also complete for reachability; that is, the original system and the translated system satisfy the same safety properties. The two translations apply to incomparable classes of nonlinear hybrid systems. From the clock translation we obtain a new decidability result for hybrid systems.\r\nWith the help of Hytech, a symbolic model checker for linear hybrid systems, we automatically verify a nonlinear railroad gate control program using the clock translation, and a nonlinear temperature control program using the rate translation."}],"oa_version":"None"},{"quality_controlled":"1","publisher":"Springer","acknowledgement":" National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892.","date_created":"2018-12-11T12:08:54Z","doi":"10.1007/3-540-60472-3_13","date_published":"1995-01-01T00:00:00Z","page":"252 - 264","publication":"3rd International Hybrid Systems Workshop","day":"01","year":"1995","editor":[{"first_name":"Antsaklis","full_name":"Panos, Antsaklis","last_name":"Panos"},{"last_name":"Kohn","full_name":"Kohn, Wolf","first_name":"Wolf"},{"first_name":"Anil","last_name":"Nerode","full_name":"Nerode, Anil"},{"last_name":"Sastry","full_name":"Sastry, Shankar","first_name":"Shankar"}],"title":"A note on abstract-interpretation strategies for hybrid automata","article_processing_charge":"No","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Pei","full_name":"Ho, Pei","last_name":"Ho"}],"publist_id":"282","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_13.","ista":"Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.","mla":"Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.","short":"T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.","ieee":"T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.","ama":"Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13","apa":"Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13"},"intvolume":" 999","month":"01","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_13"}],"alternative_title":["LNCS"],"oa_version":"None","abstract":[{"text":"We report on several abstract interpretation strategies that are designed to improve the performance of HyTech, a symbolic model checker for linear hybrid systems. We (1) simultaneously compute the target region from different directions, (2) conservatively approximate the target region by dropping constraints, and (3) iteratively refine the approximation until sufficient precision is obtained. We consider the standard abstract convex-hull operator and a novel abstract extrapolation operator.","lang":"eng"}],"volume":999,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9783540604723"]},"status":"public","conference":{"end_date":"1994-10-30","location":"Ithaca, NY, United States of America","start_date":"1994-10-28","name":"Hybrid Systems II"},"type":"conference","_id":"4448","extern":"1","date_updated":"2022-06-10T11:48:59Z"},{"page":"265 - 293","date_created":"2018-12-11T12:08:54Z","doi":"10.1007/3-540-60472-3_14","date_published":"1995-01-01T00:00:00Z","year":"1995","publication":"4th International Hybrid Systems Workshop","day":"01","quality_controlled":"1","publisher":"Springer","acknowledgement":"This research was supported in part by the National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892.","article_processing_charge":"No","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"last_name":"Ho","full_name":"Ho, Pei","first_name":"Pei"}],"publist_id":"281","title":"HyTech: The Cornell Hybrid Technology Tool","editor":[{"first_name":"Antsaklis","last_name":"Panos","full_name":"Panos, Antsaklis"},{"first_name":"Wolf","last_name":"Kohn","full_name":"Kohn, Wolf"},{"first_name":"Anil","last_name":"Nerode","full_name":"Nerode, Anil"},{"full_name":"Sastry, Shankar","last_name":"Sastry","first_name":"Shankar"}],"citation":{"chicago":"Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.","ista":"Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.","mla":"Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” 4th International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.","ama":"Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop. Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14","apa":"Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14","ieee":"T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.","short":"T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","volume":999,"publication_status":"published","publication_identifier":{"isbn":["9783540683346"]},"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_14"}],"alternative_title":["LNCS"],"intvolume":" 999","month":"01","abstract":[{"text":"This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and we illustrate the use of HyTech with three nontrivial case studies.","lang":"eng"}],"oa_version":"None","date_updated":"2022-06-10T11:24:15Z","extern":"1","conference":{"name":"Hybrid Systems III","location":" New Brunswick, NJ, United States of America","end_date":"1955-10-25","start_date":"1995-10-22"},"type":"conference","status":"public","_id":"4447","series_title":"LNCS"},{"year":"1995","day":"01","publication":"1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems","page":"41 - 71","date_published":"1995-01-01T00:00:00Z","doi":"10.1007/3-540-60630-0_3","date_created":"2018-12-11T12:09:09Z","acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","publisher":"Springer","quality_controlled":"1","citation":{"apa":"Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech. In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer. https://doi.org/10.1007/3-540-60630-0_3","ama":"Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.","short":"T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.","mla":"Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.","ista":"Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.” In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"230","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Ho, Pei","last_name":"Ho","first_name":"Pei"},{"last_name":"Wong Toi","full_name":"Wong Toi, Howard","first_name":"Howard"}],"article_processing_charge":"No","title":"A user guide to HyTech","publication_identifier":{"isbn":["9783540606307"]},"publication_status":"published","language":[{"iso":"eng"}],"volume":1019,"abstract":[{"lang":"eng","text":"HyTech is a tool for the automated analysis of embedded systems. This document, designed for the first-time user of HyTech, guides the reader through the underlying system model, and through the input language for describing and analyzing systems. The guide gives several examples of usage, and some hints for gaining maximal computational efficiency from the tool.\r\nThe version of HyTech described in this guide was released in August 1995, and is available through anonymous ftp from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html."}],"oa_version":"None","alternative_title":["LNCS"],"scopus_import":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60630-0_3"}],"month":"01","intvolume":" 1019","date_updated":"2022-06-10T09:00:05Z","extern":"1","_id":"4497","type":"conference","conference":{"start_date":"1995-05-19","end_date":"1995-05-20","location":"Aarhus, Denmark","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"status":"public"},{"oa_version":"None","abstract":[{"lang":"eng","text":"We describe a new implementation of HYTECH, a symbolic model checker for hybrid systems. Given a parametric description of an embedded system as a collection of communicating automata, HYTECH automatically computes the conditions on the parameters under which the system satisfies its safety and timing requirements. While the original HYTECH prototype was based on the symbolic algebra tool Mathematica, the new implementation is written in C++ and builds on geometric algorithms instead of formula manipulation. The new HYTECH offers a cleaner and more expressive input language, greater portability, superior performance (typically two to three orders of magnitude), and new features such as diagnostic error-trace generation. We illustrate the effectiveness of the new implementation by applying HYTECH to the automatic parametric analysis of the generic railroad crossing benchmark problem and to an active structure control algorithm"}],"month":"01","publisher":"IEEE","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/495196"}],"day":"01","language":[{"iso":"eng"}],"publication":"Proceedings 16th IEEE Real-Time Systems Symposium","publication_identifier":{"isbn":["0818673370"]},"year":"1995","publication_status":"published","date_published":"1995-01-01T00:00:00Z","doi":"10.1109/REAL.1995.495196 ","date_created":"2018-12-11T12:09:10Z","page":"56 - 65","_id":"4499","status":"public","type":"conference","conference":{"start_date":"1995-12-05","end_date":"1995-12-07","location":"Pisa, Italy","name":"RTSS: Real-Time Systems Symposium"},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-06-10T09:33:19Z","citation":{"apa":"Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196 ","ama":"Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings 16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196 ","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.","short":"T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.","mla":"Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .","ista":"Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings 16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.” In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 ."},"title":"HyTech: The next generation","publist_id":"232","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"article_processing_charge":"No"},{"extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-09T08:43:48Z","citation":{"mla":"Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.","short":"M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462.","ieee":"M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.","ama":"Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576","apa":"Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 453–462). Milwaukee, WI, United States of America: IEEE. https://doi.org/10.1109/SFCS.1995.492576","chicago":"Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.","ista":"Henzinger MH, Henzinger TA, Kopke P. 1995. Computing simulations on finite and infinite graphs. Proceedings of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer Science, 453–462."},"title":"Computing simulations on finite and infinite graphs","author":[{"last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kopke, Peter","last_name":"Kopke","first_name":"Peter"}],"publist_id":"231","article_processing_charge":"No","_id":"4498","status":"public","type":"conference","conference":{"start_date":"1995-10-23","location":"Milwaukee, WI, United States of America","end_date":"1995-10-25","name":"FOCS: Foundations of Computer Science"},"day":"01","publication":"Proceedings of IEEE 36th Annual Foundations of Computer Science","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0272-5428"],"isbn":["0818671831"]},"publication_status":"published","year":"1995","doi":"10.1109/SFCS.1995.492576","date_published":"1995-11-01T00:00:00Z","date_created":"2018-12-11T12:09:10Z","page":"453 - 462","oa_version":"None","abstract":[{"text":"We present algorithms for computing similarity relations of labeled graphs. Similarity relations have applications for the refinement and verification of reactive systems. For finite graphs, we present an O(mn) algorithm for computing the similarity relation of a graph with n vertices and m edges (assuming m⩾n). For effectively presented infinite graphs, we present a symbolic similarity-checking procedure that terminates if a finite similarity relation exists. We show that 2D rectangular automata, which model discrete reactive systems with continuous environments, define effectively presented infinite graphs with finite similarity relations. It follows that the refinement problem and the ∀CTL* model-checking problem are decidable for 2D rectangular automata","lang":"eng"}],"month":"11","publisher":"IEEE","scopus_import":"1","quality_controlled":"1"},{"_id":"4502","conference":{"start_date":"1995-05-29","location":"Las Vegas, NV, United States of America","end_date":"1995-06-01","name":"STOC: Symposium on the Theory of Computing"},"type":"conference","status":"public","date_updated":"2022-06-09T14:40:29Z","citation":{"mla":"Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.","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.","ieee":"T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.","apa":"Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM. https://doi.org/10.1145/225058.225162","ama":"Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162","chicago":"Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.","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."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","publist_id":"228","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"last_name":"Kopke","full_name":"Kopke, Peter","first_name":"Peter"},{"first_name":"Anuj","full_name":"Puri, Anuj","last_name":"Puri"},{"first_name":"P.","last_name":"Varaiya","full_name":"Varaiya, P."}],"title":"What's decidable about hybrid automata?","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"}],"acknowledgement":"We thank Howard Wong-Toi for a careful reading.\r\n","oa_version":"Published Version","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/225058.225162","open_access":"1"}],"oa":1,"publisher":"ACM","quality_controlled":"1","month":"01","year":"1995","publication_status":"published","publication_identifier":{"isbn":["9780897917186"]},"publication":"Proceedings of the 27th annual ACM symposium on Theory of computing","language":[{"iso":"eng"}],"day":"01","page":"373 - 382","date_created":"2018-12-11T12:09:11Z","date_published":"1995-01-01T00:00:00Z","doi":"10.1145/225058.225162"},{"title":"The expressive power of clocks","publist_id":"229","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"full_name":"Kopke, Peter","last_name":"Kopke","first_name":"Peter"},{"last_name":"Wong Toi","full_name":"Wong Toi, Howard","first_name":"Howard"}],"article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.” In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.","ista":"Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.","mla":"Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.","ieee":"T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.","short":"T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.","apa":"Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93","ama":"Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93"},"quality_controlled":"1","publisher":"Springer","acknowledgement":"This research was supported in part by the National Science Foundation under grant CCR-9200794, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe full version of this paper is available from the Department of Computer Science, Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496.","doi":"10.1007/3-540-60084-1_93","date_published":"1995-01-01T00:00:00Z","date_created":"2018-12-11T12:09:10Z","page":"417 - 428","day":"01","publication":"22nd International Colloquium on Automata, Languages and Programming ","year":"1995","status":"public","type":"conference","conference":{"name":"ICALP: Automata, Languages and Programming","start_date":"1995-07-10","end_date":"1995-07-14","location":"Szeged, Hungary"},"_id":"4500","extern":"1","date_updated":"2022-06-09T14:58:31Z","month":"01","intvolume":" 944","alternative_title":["LNCS"],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60084-1_93"}],"oa_version":"None","abstract":[{"text":"We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition—the divergence of time—can express Büchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the effect, on both timed and time-abstract expressiveness, of varying the following parameters: time domain (discrete or dense), number of clocks, number of states, and size of constants used in timing restrictions.","lang":"eng"}],"volume":944,"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783540600848"]},"publication_status":"published"},{"oa_version":"None","abstract":[{"lang":"eng","text":"The analysis, verification, and control of hybrid automata with finite bisimulations can be reduced to finite-state problems. We advocate a time-abstract, phase-based methodology for checking if a given hybrid automaton has a finite bisimulation. First, we factor the automaton into two components, a boolean automaton with a discrete dynamics on the finite state space B m and a euclidean automaton with a continuous dynamics on the infinite state space n . Second, we investigate the phase portrait of the euclidean component. In this fashion, we obtain new decidability results for hybrid systems as well as new, uniform proofs of known decidability results."}],"intvolume":" 944","month":"01","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60084-1_85"}],"alternative_title":["LNCS"],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9783540600848"]},"volume":944,"_id":"4518","status":"public","conference":{"start_date":"1995-07-10","location":"Szeged, Hungary","end_date":"1995-07-14","name":"ICALP: Automata, Languages and Programming"},"type":"conference","extern":"1","date_updated":"2022-06-09T14:21:08Z","acknowledgement":"This research was supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.\r\n","publisher":"Springer","quality_controlled":"1","publication":"22nd International Colloquium on Automata, Languages and Programming ","day":"01","year":"1995","date_created":"2018-12-11T12:09:16Z","doi":"10.1007/3-540-60084-1_85","date_published":"1995-01-01T00:00:00Z","page":"324 - 335","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.","ista":"Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.","mla":"Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi:10.1007/3-540-60084-1_85.","ieee":"T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.","short":"T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.","ama":"Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85","apa":"Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85"},"title":"Hybrid automata with finite bisimulations","article_processing_charge":"No","publist_id":"212","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}]},{"extern":"1","date_updated":"2022-06-09T14:05:04Z","_id":"4587","status":"public","type":"conference","conference":{"location":"Liege, Belgium","end_date":"1995-07-05","start_date":"1995-07-03","name":"CAV: Computer Aided Verification"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-540-60045-9"]},"publication_status":"published","volume":939,"oa_version":"None","abstract":[{"lang":"eng","text":"We argue that the standard constraints on liveness conditions in nonblocking trace models—machine closure for closed systems, and receptiveness for open systems—are unnecessarily weak and complex, and that liveness should, instead, be specified by augmenting transition systems with acceptance conditions that satisfy a locality constraint. First, locality implies machine closure and receptiveness, and thus permits the composition and modular verification of live transition systems. Second, while machine closure and receptiveness are based on infinite games, locality is based on repeated finite games, and thus easier to check. Third, no expressive power is lost by the restriction to local liveness conditions. We illustrate the appeal of local liveness using the model of Fair Reactive Systems, a nonblocking trace model of communicating processes."}],"month":"01","intvolume":" 939","alternative_title":["LNCS"],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60045-0_49"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ieee":"R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179.","short":"R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.","ama":"Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49","apa":"Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.","ista":"Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49."},"title":"Local liveness for compositional modeling of fair reactive systems","author":[{"first_name":"Rajeev","full_name":"Alur, Rajeev","last_name":"Alur"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"}],"publist_id":"120","article_processing_charge":"No","day":"01","publication":"7th International Conference on Computer Aided Verification","year":"1995","date_published":"1995-01-01T00:00:00Z","doi":"10.1007/3-540-60045-0_49","date_created":"2018-12-11T12:09:37Z","page":"166 - 179","acknowledgement":"Supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.","publisher":"Springer","quality_controlled":"1"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ama":"Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T","apa":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T","ieee":"R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical Computer Science, vol. 138, no. 1. Elsevier, pp. 3–34, 1995.","short":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.","mla":"Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.","ista":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34.","chicago":"Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science. Elsevier, 1995. https://doi.org/10.1016/0304-3975(94)00202-T."},"title":"The algorithmic analysis of hybrid systems","article_processing_charge":"No","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"full_name":"Courcoubetis, Costas","last_name":"Courcoubetis","first_name":"Costas"},{"first_name":"Nicolas","last_name":"Halbwachs","full_name":"Halbwachs, Nicolas"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"full_name":"Ho, Pei","last_name":"Ho","first_name":"Pei"},{"first_name":"Xavier","full_name":"Nicollin, Xavier","last_name":"Nicollin"},{"first_name":"Alfredo","last_name":"Olivero","full_name":"Olivero, Alfredo"},{"first_name":"Joseph","full_name":"Sifakis, Joseph","last_name":"Sifakis"},{"full_name":"Yovine, Sergio","last_name":"Yovine","first_name":"Sergio"}],"publist_id":"94","quality_controlled":"1","publisher":"Elsevier","publication":"Theoretical Computer Science","day":"06","year":"1995","date_created":"2018-12-11T12:09:45Z","doi":"10.1016/0304-3975(94)00202-T","date_published":"1995-02-06T00:00:00Z","page":"3 - 34","_id":"4613","status":"public","article_type":"original","type":"journal_article","extern":"1","date_updated":"2022-06-09T13:40:48Z","oa_version":"None","abstract":[{"text":"We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all variables follow piecewise-linear trajectories. We provide decidability and undecidability results for classes of linear hybrid systems, and we show that standard program-analysis techniques can be adapted to linear hybrid systems. In particular, we consider symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space. The procedures iteratively compute state sets that are definable as unions of convex polyhedra in multidimensional real space. We also present approximation techniques for dealing with systems for which the iterative procedures do not converge.","lang":"eng"}],"intvolume":" 138","month":"02","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/030439759400202T?via%3Dihub"}],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0304-3975"]},"issue":"1","volume":138},{"_id":"6162","type":"journal_article","status":"public","date_updated":"2021-01-12T08:06:29Z","citation":{"chicago":"Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155.","ista":"de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 9(2), 155–167.","mla":"de Bono, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67, doi:10.1101/gad.9.2.155.","apa":"de Bono, M., Zarkower, D., & Hodgkin, J. (1995). Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. CSH Press. https://doi.org/10.1101/gad.9.2.155","ama":"de Bono M, Zarkower D, Hodgkin J. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 1995;9(2):155-167. doi:10.1101/gad.9.2.155","ieee":"M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1,” Genes and Development, vol. 9, no. 2. CSH Press, pp. 155–167, 1995.","short":"M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167."},"extern":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","last_name":"de Bono","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"D.","full_name":"Zarkower, D.","last_name":"Zarkower"},{"first_name":"J.","full_name":"Hodgkin, J.","last_name":"Hodgkin"}],"external_id":{"pmid":["7851791"]},"title":"Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1","abstract":[{"lang":"eng","text":"The tra-1 gene is the terminal global selector of somatic sex in Caenorhabditis elegans: High tra-1 activity elicits female somatic development while low tra-1 activity elicits male development. Previous genetic studies defined a cascade of negatively interacting genes that regulates tra-1 activity in response to the primary sex-determining signal. Here, we investigate the last step in this regulatory cascade, by studying rare gain-of-function (gf) mutations of tra-1 that direct female somatic development irrespective of the upstream sex-determining signal. These mutations appear to abolish negative regulation of tra-1 in male tissues. We identify the lesions associated with 29 of these mutations and find that all affect a short stretch of amino acid residues present in both protein products of the tra-1 gene. Twenty-six alleles are associated with single nonconservative amino acid substitutions. Two alleles affect tra-1 RNA splicing and generate messages that omit part or all of the exon encoding this short stretch. These results suggest that sexual regulation of tra-1 is achieved post-translationally, by an inhibitory protein-protein interaction. The amino acid stretch altered by the tra-1(gf) mutations may define a site of interaction for negative regulators of tra-1. The stretch includes a potential phosphorylation site for glycogen synthase kinase 3 and may be conserved in the human gene GLI3, a homolog of tra-1 identified previously."}],"pmid":1,"oa_version":"None","publisher":"CSH Press","quality_controlled":"1","month":"01","intvolume":" 9","publication_identifier":{"issn":["08909369"]},"year":"1995","publication_status":"published","day":"15","language":[{"iso":"eng"}],"publication":"Genes and Development","page":"155-167","issue":"2","doi":"10.1101/gad.9.2.155","date_published":"1995-01-15T00:00:00Z","volume":9,"date_created":"2019-03-21T11:57:40Z"}]