---
_id: '3481'
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.
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.).
article_processing_charge: No
article_type: original
author:
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- first_name: Nail
full_name: Burnashev, Nail
last_name: Burnashev
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
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
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.
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.
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.
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.
short: D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
date_created: 2018-12-11T12:03:33Z
date_published: 1995-07-15T00:00:00Z
date_updated: 2022-06-27T14:53:16Z
day: '15'
doi: 10.1113/jphysiol.1995.sp020813
extern: '1'
external_id:
pmid:
- '7473198'
intvolume: ' 486'
issue: Pt 2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1156754/
month: '07'
oa: 1
oa_version: Published Version
page: 305 - 312
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2906'
quality_controlled: '1'
status: public
title: Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular
polyamines generates double rectification
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 486
year: '1995'
...
---
_id: '3551'
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.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michael
full_name: Facello, Michael
last_name: Facello
- first_name: Ping
full_name: Fu, Ping
last_name: Fu
- first_name: Jie
full_name: Liang, Jie
last_name: Liang
citation:
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'
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.
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.
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.'
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.
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.
conference:
end_date: 1995-01-06
location: Wailea, HI, United States of America
name: 'HICSS: Hawaii International Conference on System Sciences'
start_date: 1995-01-03
date_created: 2018-12-11T12:03:55Z
date_published: 1995-01-04T00:00:00Z
date_updated: 2022-06-27T13:54:41Z
day: '04'
doi: 10.1109/HICSS.1995.375331
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/375331
month: '01'
oa_version: None
page: 256 - 264
publication: Proceedings of the 28th Annual Hawaii International Conference on System
Sciences
publication_identifier:
isbn:
- 0-8186-6930-6
publication_status: published
publisher: IEEE
publist_id: '2834'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Measuring proteins and voids in proteins
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3552'
abstract:
- lang: eng
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/
\ "
article_processing_charge: No
author:
- first_name: Nataraj
full_name: Akkiraju, Nataraj
last_name: Akkiraju
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michael
full_name: Facello, Michael
last_name: Facello
- 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
citation:
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.'
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.'
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.'
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.
conference:
name: 'GCG: International Computational Geometry Software Workshop'
date_created: 2018-12-11T12:03:55Z
date_published: 1995-09-11T00:00:00Z
date_updated: 2022-06-27T13:20:29Z
day: '11'
extern: '1'
language:
- iso: eng
main_file_link:
- url: http://www.geom.uiuc.edu/software/cglist/GeomDir/shapes95def/
month: '09'
oa_version: None
page: 63 - 66
publication_status: published
publisher: Elsevier
publist_id: '2833'
quality_controlled: '1'
status: public
title: 'Alpha shapes: definition and software'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3597'
article_processing_charge: No
author:
- first_name: Mark
full_name: Kirkpatrick, Mark
last_name: Kirkpatrick
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
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
chicago: Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.” Nature.
Nature Publishing Group, 1995. https://doi.org/10.1038/377388a0.
ieee: M. Kirkpatrick and N. H. Barton, “Déjà vu all over again,” Nature,
vol. 377. Nature Publishing Group, pp. 388–389, 1995.
ista: Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389.
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.
short: M. Kirkpatrick, N.H. Barton, Nature 377 (1995) 388–389.
date_created: 2018-12-11T12:04:09Z
date_published: 1995-10-05T00:00:00Z
date_updated: 2022-06-27T13:00:10Z
day: '05'
doi: 10.1038/377388a0
extern: '1'
external_id:
pmid:
- '7566112 '
intvolume: ' 377'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/377388a0
month: '10'
oa_version: None
page: 388 - 389
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '2786'
quality_controlled: '1'
status: public
title: Déjà vu all over again
type: review
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 377
year: '1995'
...
---
_id: '3636'
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.'
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. '
article_processing_charge: No
article_type: original
author:
- first_name: Beate
full_name: Nürnberger, Beate
last_name: Nürnberger
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Catriona
full_name: Maccallum, Catriona
last_name: Maccallum
- first_name: Jason
full_name: Gilchrist, Jason
last_name: Gilchrist
- first_name: Michael
full_name: Appleby, Michael
last_name: Appleby
citation:
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
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.
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.
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.
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.
short: B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution
49 (1995) 1224–1238.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-27T12:58:02Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb04449.x
extern: '1'
intvolume: ' 49'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb04449.x
month: '12'
oa: 1
oa_version: Published Version
page: 1224 - 1238
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2747'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Natural selection on quantitative traits in the Bombina hybrid zone
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '3637'
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.'
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.
article_processing_charge: No
article_type: original
author:
- first_name: Catriona
full_name: Maccallum, Catriona
last_name: Maccallum
- first_name: Beate
full_name: Nürnberger, Beate
last_name: Nürnberger
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
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
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
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.
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.
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.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-06-22T00:00:00Z
date_updated: 2022-06-27T10:14:02Z
day: '22'
doi: 10.1098/rspb.1995.0089
extern: '1'
intvolume: ' 260'
issue: '1359'
language:
- iso: eng
main_file_link:
- url: https://royalsocietypublishing.org/doi/10.1098/rspb.1995.0089
month: '06'
oa_version: None
page: 257 - 264
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_identifier:
issn:
- 0962-8452
publication_status: published
publisher: Royal Society of London
publist_id: '2746'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Experimental evidence for habitat dependent selection in a Bombina hybrid zone
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 260
year: '1995'
...
---
_id: '3638'
abstract:
- lang: eng
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.'
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.
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: I
full_name: Wilson, I
last_name: Wilson
citation:
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
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.
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.
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.
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.
short: N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of
London. Series B, Biological Sciences 349 (1995) 49–59.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-07-29T00:00:00Z
date_updated: 2022-06-27T08:55:07Z
day: '29'
doi: 10.1098/rstb.1995.0090
extern: '1'
external_id:
pmid:
- '8748019'
intvolume: ' 349'
issue: '1327'
language:
- iso: eng
main_file_link:
- url: https://royalsocietypublishing.org/doi/10.1098/rstb.1995.0090
month: '07'
oa_version: None
page: 49 - 59
pmid: 1
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_identifier:
issn:
- 0962-8436
publication_status: published
publisher: Royal Society, The
publist_id: '2745'
quality_controlled: '1'
status: public
title: Genealogies and geography
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 349
year: '1995'
...
---
_id: '3639'
abstract:
- lang: eng
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.'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
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.
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.
ista: Barton NH. 1995. A general model for the evolution of recombination. Genetical
Research. 65(2), 123–144.
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.
date_created: 2018-12-11T12:04:23Z
date_published: 1995-04-01T00:00:00Z
date_updated: 2022-06-24T11:54:10Z
day: '01'
doi: 10.1017/S0016672300033140
extern: '1'
external_id:
pmid:
- '7605514'
intvolume: ' 65'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/general-model-for-the-evolution-of-recombination/8CBDDF2DC779CF4B6AE9B461B80BB4AE
month: '04'
oa_version: None
page: 123 - 144
pmid: 1
publication: Genetical Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '2744'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A general model for the evolution of recombination
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 65
year: '1995'
...
---
_id: '3640'
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.'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
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
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.
ieee: N. H. Barton, “Linkage and the limits to natural selection,” Genetics,
vol. 140, no. 2. Genetics Society of America, pp. 821–841, 1995.
ista: Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2),
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.
short: N.H. Barton, Genetics 140 (1995) 821–841.
date_created: 2018-12-11T12:04:23Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-24T09:59:08Z
day: '01'
doi: http://www.genetics.org/content/140/2/821.long
extern: '1'
external_id:
pmid:
- '7498757'
intvolume: ' 140'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1206655/
month: '06'
oa: 1
oa_version: Published Version
page: 821 - 841
pmid: 1
publication: Genetics
publication_identifier:
issn:
- 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '2743'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Linkage and the limits to natural selection
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 140
year: '1995'
...
---
_id: '4028'
abstract:
- lang: eng
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.
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.
article_processing_charge: No
article_type: original
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
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.
ieee: H. Edelsbrunner, “The union of balls and its dual shape,” Discrete &
Computational Geometry, vol. 13, no. 1. Springer, pp. 415–440, 1995.
ista: Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete &
Computational Geometry. 13(1), 415–440.
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.
date_created: 2018-12-11T12:06:31Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-27T08:14:48Z
day: '01'
doi: 10.1007/BF02574053
extern: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/article/10.1007/BF02574053
month: '12'
oa: 1
oa_version: Published Version
page: 415 - 440
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2095'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The union of balls and its dual shape
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1995'
...
---
_id: '4029'
abstract:
- lang: eng
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.
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
article_type: original
author:
- first_name: Cecil
full_name: Delfinado, Cecil
last_name: Delfinado
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
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
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
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.
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.
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.
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.
short: C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995)
771–784.
date_created: 2018-12-11T12:06:32Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-24T09:49:32Z
day: '01'
doi: 10.1016/0167-8396(95)00016-Y
extern: '1'
intvolume: ' 12'
issue: '7'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/016783969500016Y?via%3Dihub
month: '11'
oa_version: None
page: 771 - 784
publication: Computer Aided Geometric Design
publication_identifier:
issn:
- 0167-8396
publication_status: published
publisher: Elsevier
publist_id: '2096'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1995'
...
---
_id: '4034'
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.
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.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
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.
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.
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.'
mla: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” Proceedings
of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–57.
short: H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer
Science, IEEE, 1995, pp. 248–257.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:06:33Z
date_published: 1995-10-01T00:00:00Z
date_updated: 2022-06-13T12:27:11Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/492480
month: '10'
oa_version: None
page: 248 - 257
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '2093'
quality_controlled: '1'
status: public
title: Algebraic decomposition of non-convex polyhedra
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4035'
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.'
acknowledgement: The authors wish to express their gratitude for the support and hospitality
of the DEC Palo Alto Systems Research Center.
article_processing_charge: No
article_type: original
author:
- first_name: Bernard
full_name: Chazelle, Bernard
last_name: Chazelle
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michelangelo
full_name: Grigni, Michelangelo
last_name: Grigni
- first_name: Leonidas
full_name: Guibas, Leonidas
last_name: Guibas
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
- first_name: Emo
full_name: Welzl, Emo
last_name: Welzl
citation:
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
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.
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.
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.
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.
short: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl,
Discrete & Computational Geometry 13 (1995) 1–15.
date_created: 2018-12-11T12:06:33Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-13T12:37:06Z
day: '01'
doi: 10.1007/BF02574025
extern: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02574025
month: '12'
oa_version: None
page: 1 - 15
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2094'
quality_controlled: '1'
status: public
title: Improved bounds on weak ε-nets for convex sets
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1995'
...
---
_id: '4153'
article_processing_charge: No
article_type: original
author:
- first_name: D.
full_name: Ransom, D.
last_name: Ransom
- first_name: Alison
full_name: Brownlie, Alison
last_name: Brownlie
- first_name: Pascal
full_name: Haffter, Pascal
last_name: Haffter
- first_name: Jörg
full_name: Odenthal, Jörg
last_name: Odenthal
- first_name: Robert
full_name: Kelsh, Robert
last_name: Kelsh
- first_name: Michael
full_name: Brand, Michael
last_name: Brand
- first_name: Makoto
full_name: Furutani Seiki, Makoto
last_name: Furutani Seiki
- first_name: Michael
full_name: Granato, Michael
last_name: Granato
- first_name: Matthias
full_name: Hammerschmidt, Matthias
last_name: Hammerschmidt
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Yunjin
full_name: Jiang, Yunjin
last_name: Jiang
- first_name: David
full_name: Kane, David
last_name: Kane
- first_name: Mary
full_name: Mullins, Mary
last_name: Mullins
- first_name: Fredericus
full_name: Van Eden, Fredericus
last_name: Van Eden
- first_name: Rachel
full_name: Warga, Rachel
last_name: Warga
- first_name: Christiane
full_name: Nüsslein Volhard, Christiane
last_name: Nüsslein Volhard
- first_name: L.
full_name: Zon, L.
last_name: Zon
citation:
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.
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.
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.
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.
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.
date_created: 2018-12-11T12:07:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-13T12:02:52Z
day: '01'
extern: '1'
intvolume: ' 86'
issue: '10'
language:
- iso: eng
month: '01'
oa_version: None
page: 1912 - 1912
publication: Blood
publication_identifier:
issn:
- 0006-4971
publication_status: published
publisher: American Society of Hematology
publist_id: '1965'
quality_controlled: '1'
status: public
title: Hematopoietic mutants identified in a saturation screen of the zebrafish genome
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 86
year: '1995'
...
---
_id: '4296'
abstract:
- lang: eng
text: Three replicate lines of Drosophila melanogaster were cultured at each of
two temperatures (16.5⚬C and 25⚬C) in population cages for 4 yr. The lifespans
of both sexes and the fecundity and fertility of the females were then measured
at both experimental temperatures. The characters showed evidence of adaptation;
flies of both sexes from each selection regime showed higher longevity, and females
showed higher fecundity and fertility, than flies from the other selection regime
when they were tested at the experimental temperature at which they had evolved.
Calculation of intrinsic rates of increase under different assumptions about the
rate of population increase showed that the difference between the lines from
the two selection regimes became less the higher the rate of population increase,
because the lines were more similar in early adulthood than they were later. Despite
the increased adaptation of the low-temperature lines to the low temperature,
like the high temperature lines they produced progeny at a higher rate at the
higher temperature. The lines may have independently evolved adaptations to their
respective thermal regimes during the experiment, or there may have been a trade-off
between adaptation to the two temperatures, or mutation pressure may have lowered
adaptation to the temperature that the flies no longer encountered.
acknowledgement: We thank Natural Environment Research Council and the Royal Society
for financial support.
article_processing_charge: No
article_type: original
author:
- first_name: Linda
full_name: Partridge, Linda
last_name: Partridge
- first_name: Brian
full_name: Barrie, Brian
last_name: Barrie
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kevin
full_name: Fowler, Kevin
last_name: Fowler
- first_name: Vernon
full_name: French, Vernon
last_name: French
citation:
ama: Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution
of adult life history traits in Drosophila melanogaster in response to temperature.
Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x
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
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.
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.
ista: Partridge L, Barrie B, Barton NH, Fowler K, French V. 1995. Rapid laboratory
evolution of adult life history traits in Drosophila melanogaster in response
to temperature. Evolution. 49(3), 538–544.
mla: Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History
Traits in Drosophila Melanogaster in Response to Temperature.” Evolution,
vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi: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.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-13T08:42:11Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb02285.x
extern: '1'
external_id:
pmid:
- '28565092 '
intvolume: ' 49'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x
month: '06'
oa: 1
oa_version: Published Version
page: 538 - 544
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1778'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rapid laboratory evolution of adult life history traits in Drosophila melanogaster
in response to temperature
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4297'
abstract:
- lang: eng
text: The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus
complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized
by steep concordant clines among three diagnostic chromosome markers across a
straight-line distance of about 2 km. Here, we show that this zone is actually
structured into local patches in which hybridization extends over an extremely
irregular front. The distribution of hybrid-index (HI) scores across the transect
reveals some hybridization at almost all localities mapped in a central 7 km x
3 km area. Pooling the central samples produces both a strong heterozygote deficit
for all diagnostic markers and strong linkage disequilibria between all pairwise
combinations of these (unlinked) markers. Moreover, a highly significant association
exists between the habitat on which each individual was caught and its karyotype
(F5 chromosomes are more likely to be found on oak). Analysis of genotype frequencies
over a range of spatial scales shows that there is no significant heterozygote
deficit or habitat association within local areas of less than about 200 m; however,
there is significant linkage disequilibrium over the smallest scales (R = D (pquv)1/2
= 0.29, support limits, 0.18-0.36) over 100 m. These patterns suggest that lizards
mate and choose habitats randomly within local patches. This conclusion is supported
by mark-recapture estimates of dispersal (≈ 80 m in a generation) and by inference
of matings from embryo and maternal karyotypes. Closer examination of the two-dimensional
pattern reveals a convoluted cline for all three markers, with a width of 830
m (support limits 770 m-930 m). This cline width, combined with the strength of
local linkage disequilibrium, implies a dispersal rate of σ = 160 m in a generation
and an effective selection pressure of 30% on each chromosome marker. The proportion
of inviable embryos is greater in females from the center of the hybrid zone;
this is caused by effects associated with both karyotype and location. The hybrid
zone is likely to be maintained by selection against chromosomal heterozygotes,
by other kinds of selection against hybrids, and by selection adapting the chromosome
races to different habitats. The structure of the contact may be caused by both
random drift and by selection in relation to habitat.
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.
article_processing_charge: No
article_type: original
author:
- first_name: Jack
full_name: Sites, Jack
last_name: Sites
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kent
full_name: Reed, Kent
last_name: Reed
citation:
ama: Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between
two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae)
in central Mexico. 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.
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.
ista: Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid
zone between two chromosome races of the Sceloporus grammicus complex (Sauria,
Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
mla: Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between
Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae)
in Central Mexico.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp.
9–36, doi:10.1111/j.1558-5646.1995.tb05955.x.
short: J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-02-01T00:00:00Z
date_updated: 2022-06-13T09:24:40Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb05955.x
extern: '1'
external_id:
pmid:
- '28593667'
intvolume: ' 49'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x
month: '02'
oa: 1
oa_version: Published Version
page: 9 - 36
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1779'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The genetic structure of a mosaic hybrid zone between two chromosome races
of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4298'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
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
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
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.
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.
ista: Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by
S J E Baird. Evolution. 49(6), 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.
short: N.H. Barton, Evolution 49 (1995) 1038–1045.
date_created: 2018-12-11T12:08:07Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-28T07:47:30Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb04431.x
extern: '1'
intvolume: ' 49'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
month: '12'
oa: 1
oa_version: Published Version
page: 1038 - 1045
publication: Evolution
publication_identifier:
issn:
- 1558-5646
publication_status: published
publisher: Wiley
publist_id: '1773'
quality_controlled: '1'
status: public
title: Appendix to "A simulation study of multilocus clines" by S J E Baird
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4428'
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."
article_processing_charge: No
author:
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: Ho P. Automatic analysis of hybrid systems. 1995:1-188.
apa: 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.
ista: Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.
mla: Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995,
pp. 1–188.
short: P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
date_created: 2018-12-11T12:08:48Z
date_published: 1995-08-01T00:00:00Z
date_updated: 2022-06-28T07:30:34Z
day: '01'
degree_awarded: PhD
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hdl.handle.net/1813/7193
month: '08'
oa: 1
oa_version: Published Version
page: 1 - 188
publication_status: published
publisher: Cornell University
publist_id: '304'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Automatic analysis of hybrid systems
type: dissertation
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4447'
abstract:
- lang: eng
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.
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.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
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'
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.'
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.'
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.'
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.
conference:
end_date: 1955-10-25
location: ' New Brunswick, NJ, United States of America'
name: Hybrid Systems III
start_date: 1995-10-22
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:24:15Z
day: '01'
doi: 10.1007/3-540-60472-3_14
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_14
month: '01'
oa_version: None
page: 265 - 293
publication: 4th International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540683346'
publication_status: published
publisher: Springer
publist_id: '281'
quality_controlled: '1'
series_title: LNCS
status: public
title: 'HyTech: The Cornell Hybrid Technology Tool'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...
---
_id: '4448'
abstract:
- lang: eng
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.
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.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
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'
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.
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.
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.
conference:
end_date: 1994-10-30
location: Ithaca, NY, United States of America
name: Hybrid Systems II
start_date: 1994-10-28
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:48:59Z
day: '01'
doi: 10.1007/3-540-60472-3_13
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_13
month: '01'
oa_version: None
page: 252 - 264
publication: 3rd International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540604723'
publication_status: published
publisher: Springer
publist_id: '282'
quality_controlled: '1'
status: public
title: A note on abstract-interpretation strategies for hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...