---
_id: '4195'
abstract:
- lang: eng
text: The effects of tri-iodothyronine (T3), which are known to affect cerebellar
development, were tested on neuronal survival and differentiation of cultured
cerebellar granule neurons. T3 in physiological concentrations increased both
granule neuron survival after three days in culture and synaptic vesicle protein
formation, as shown by immunostaining with antibodies against synaptophysin. Likewise,
T3 increased the mRNA level for synapsin(I), but not that for GAP43 in granule
neurons. Antibodies against microtubule associated protein Tau, which is expressed
in developing neurites, showed that T3 also enhanced neurite formation.
article_processing_charge: No
article_type: original
author:
- 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: Hans
full_name: Thoenen, Hans
last_name: Thoenen
- first_name: Dan
full_name: Lindholm, Dan
last_name: Lindholm
citation:
ama: Heisenberg C-PJ, Thoenen H, Lindholm D. Triiodothyronine Regulates Survival
and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 1992;3(8):685-688.
doi:10.1097/00001756-199208000-00008
apa: Heisenberg, C.-P. J., Thoenen, H., & Lindholm, D. (1992). Triiodothyronine
Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport.
Lippincott, Williams & Wilkins. https://doi.org/10.1097/00001756-199208000-00008
chicago: Heisenberg, Carl-Philipp J, Hans Thoenen, and Dan Lindholm. “Triiodothyronine
Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons.” Neuroreport.
Lippincott, Williams & Wilkins, 1992. https://doi.org/10.1097/00001756-199208000-00008 .
ieee: C.-P. J. Heisenberg, H. Thoenen, and D. Lindholm, “Triiodothyronine Regulates
Survival and Differentiation of Rat Cerebellar Granule Neurons,” Neuroreport,
vol. 3, no. 8. Lippincott, Williams & Wilkins, pp. 685–688, 1992.
ista: Heisenberg C-PJ, Thoenen H, Lindholm D. 1992. Triiodothyronine Regulates Survival
and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 3(8), 685–688.
mla: Heisenberg, Carl-Philipp J., et al. “Triiodothyronine Regulates Survival and
Differentiation of Rat Cerebellar Granule Neurons.” Neuroreport, vol. 3,
no. 8, Lippincott, Williams & Wilkins, 1992, pp. 685–88, doi:10.1097/00001756-199208000-00008 .
short: C.-P.J. Heisenberg, H. Thoenen, D. Lindholm, Neuroreport 3 (1992) 685–688.
date_created: 2018-12-11T12:07:31Z
date_published: 1992-01-01T00:00:00Z
date_updated: 2022-03-15T15:25:24Z
day: '01'
doi: '10.1097/00001756-199208000-00008 '
extern: '1'
external_id:
pmid:
- '1387811 '
intvolume: ' 3'
issue: '8'
language:
- iso: eng
main_file_link:
- url: https://journals.lww.com/neuroreport/abstract/1992/08000/tri_iodothyronine_regulates_survival_and.8.aspx
month: '01'
oa_version: None
page: 685 - 688
pmid: 1
publication: Neuroreport
publication_identifier:
eissn:
- 1473-558X
issn:
- 0959-4965
publication_status: published
publisher: Lippincott, Williams & Wilkins
publist_id: '1922'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule
Neurons
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 3
year: '1992'
...
---
_id: '4305'
abstract:
- lang: eng
text: The common shrew (Sorex araneus) is subdivided into several karyotypic races
in Britain. Two of these races meet near Oxford to form the "Oxford-Hermitage"
hybrid zone. We present a model which describes this system as a "tension
zone," i.e., a set of clines maintained by a balance between dispersal and
selection against chromosomal heterozygotes. The Oxford and Hermitage races differ
by Robertsonian fusions with monobrachial homology (kq, no versus ko), and so
F1 hybrids between them would have low fertility. However, the acrocentric karyotype
is found at high frequency within the hybrid zone, so that complex Robertsonian
heterozygotes (kq no/q ko n) are replaced by more fertile combinations, such as
(kq no/k q n o). This suggests that the hybrid zone has been modified so as to
increase hybrid fitness. Mathematical analysis and simulation show that, if selection
against complex heterozygotes is sufficiently strong relative to selection against
simple heterozygotes, acrocentrics increase, and displace the clines for kq and
no from the cline for ko. Superimposed on this separation is a tendency for the
hybrid zone to move m favor of the Oxford (kq no) race. We compare the model with
estimates of linkage disequilibrium and cline shape made from field data.
acknowledgement: 'This study was funded by grants from the Royal Society of London
to J.B.S., and from the S.E.R.C., N.E.R.C. and the Darwin Trust to N.Barton. A.J.Reilly,
Y.Luo, and S. J.Mercer provided unpublished data and D.Currie, A.E.Douglas, K. S.Jackson,
X.Lambin and D.Kapan made helpful comments on the manuscript. We appreciate our
discussions with B. O.Bengtsson. '
article_processing_charge: No
article_type: original
author:
- first_name: Todd
full_name: Hatfield, Todd
last_name: Hatfield
- 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: Jeremy
full_name: Searle, Jeremy
last_name: Searle
citation:
ama: Hatfield T, Barton NH, Searle J. A model of a hybrid zone between two chromosomal
races of the common shrew (Sorex araneus). Evolution; International Journal
of Organic Evolution. 1992;46(4):1129-1145. doi:10.1111/j.1558-5646.1992.tb00624.x
apa: Hatfield, T., Barton, N. H., & Searle, J. (1992). A model of a hybrid zone
between two chromosomal races of the common shrew (Sorex araneus). Evolution;
International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb00624.x
chicago: Hatfield, Todd, Nicholas H Barton, and Jeremy Searle. “A Model of a Hybrid
Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution;
International Journal of Organic Evolution. Wiley-Blackwell, 1992. https://doi.org/10.1111/j.1558-5646.1992.tb00624.x.
ieee: T. Hatfield, N. H. Barton, and J. Searle, “A model of a hybrid zone between
two chromosomal races of the common shrew (Sorex araneus),” Evolution; International
Journal of Organic Evolution, vol. 46, no. 4. Wiley-Blackwell, pp. 1129–1145,
1992.
ista: Hatfield T, Barton NH, Searle J. 1992. A model of a hybrid zone between two
chromosomal races of the common shrew (Sorex araneus). Evolution; International
Journal of Organic Evolution. 46(4), 1129–1145.
mla: Hatfield, Todd, et al. “A Model of a Hybrid Zone between Two Chromosomal Races
of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic
Evolution, vol. 46, no. 4, Wiley-Blackwell, 1992, pp. 1129–45, doi:10.1111/j.1558-5646.1992.tb00624.x.
short: T. Hatfield, N.H. Barton, J. Searle, Evolution; International Journal of
Organic Evolution 46 (1992) 1129–1145.
date_created: 2018-12-11T12:08:09Z
date_published: 1992-08-01T00:00:00Z
date_updated: 2022-03-15T14:49:26Z
day: '01'
doi: 10.1111/j.1558-5646.1992.tb00624.x
extern: '1'
external_id:
pmid:
- '28564402'
intvolume: ' 46'
issue: '4'
language:
- iso: eng
main_file_link:
- url: http://www.jstor.org/stable/2409761
month: '08'
oa_version: Published Version
page: 1129 - 1145
pmid: 1
publication: Evolution; International Journal of Organic Evolution
publication_identifier:
eissn:
- 1558-5646
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1759'
quality_controlled: '1'
status: public
title: A model of a hybrid zone between two chromosomal races of the common shrew
(Sorex araneus)
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 46
year: '1992'
...
---
_id: '4306'
article_processing_charge: No
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: Nick
full_name: Goldman, Nick
last_name: Goldman
citation:
ama: Barton NH, Goldman N. Genetics and geography. Nature. 1992;357:440-441.
doi:10.1038/357440a0
apa: Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature.
Nature Publishing Group. https://doi.org/10.1038/357440a0
chicago: Barton, Nicholas H, and Nick Goldman. “Genetics and Geography.” Nature.
Nature Publishing Group, 1992. https://doi.org/10.1038/357440a0.
ieee: N. H. Barton and N. Goldman, “Genetics and geography,” Nature, vol.
357. Nature Publishing Group, pp. 440–441, 1992.
ista: Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.
mla: Barton, Nicholas H., and Nick Goldman. “Genetics and Geography.” Nature,
vol. 357, Nature Publishing Group, 1992, pp. 440–41, doi:10.1038/357440a0.
short: N.H. Barton, N. Goldman, Nature 357 (1992) 440–441.
date_created: 2018-12-11T12:08:10Z
date_published: 1992-06-11T00:00:00Z
date_updated: 2022-03-15T14:27:10Z
day: '11'
doi: 10.1038/357440a0
extern: '1'
intvolume: ' 357'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/357440a0
month: '06'
oa_version: None
page: 440 - 441
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '1758'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Genetics and geography
type: review
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 357
year: '1992'
...
---
_id: '4307'
article_processing_charge: No
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. The genetic consequences of dispersal. In: Stenseth N, Lidicker
W, eds. Animal Dispersal: Small Mammals as a Model. Chapman Hall; 1992:37-60.
doi:10.1007/978-94-011-2338-9_3'
apa: 'Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth
& W. Lidicker (Eds.), Animal dispersal: small mammals as a model (pp.
37–60). Chapman Hall. https://doi.org/10.1007/978-94-011-2338-9_3'
chicago: 'Barton, Nicholas H. “The Genetic Consequences of Dispersal.” In Animal
Dispersal: Small Mammals as a Model, edited by Nils Stenseth and William Lidicker,
37–60. Chapman Hall, 1992. https://doi.org/10.1007/978-94-011-2338-9_3.'
ieee: 'N. H. Barton, “The genetic consequences of dispersal,” in Animal dispersal:
small mammals as a model, N. Stenseth and W. Lidicker, Eds. Chapman Hall,
1992, pp. 37–60.'
ista: 'Barton NH. 1992.The genetic consequences of dispersal. In: Animal dispersal:
small mammals as a model. , 37–60.'
mla: 'Barton, Nicholas H. “The Genetic Consequences of Dispersal.” Animal Dispersal:
Small Mammals as a Model, edited by Nils Stenseth and William Lidicker, Chapman
Hall, 1992, pp. 37–60, doi:10.1007/978-94-011-2338-9_3.'
short: 'N.H. Barton, in:, N. Stenseth, W. Lidicker (Eds.), Animal Dispersal: Small
Mammals as a Model, Chapman Hall, 1992, pp. 37–60.'
date_created: 2018-12-11T12:08:10Z
date_published: 1992-01-01T00:00:00Z
date_updated: 2022-03-14T14:19:36Z
day: '01'
doi: 10.1007/978-94-011-2338-9_3
editor:
- first_name: Nils
full_name: Stenseth, Nils
last_name: Stenseth
- first_name: William
full_name: Lidicker, William
last_name: Lidicker
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-94-011-2338-9_3
month: '01'
oa_version: None
page: 37 - 60
publication: 'Animal dispersal: small mammals as a model'
publication_status: published
publisher: Chapman Hall
publist_id: '1757'
quality_controlled: '1'
status: public
title: The genetic consequences of dispersal
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1992'
...
---
_id: '4308'
acknowledgement: This work was supported by the Darwin Trust, NSF grant BSR/866548,
and SERC grant GR/E/08507. Valuable comments on the manuscript were received from
D. Currie, K. Dawson, K. S. Jackson, W. G. Hill, M. Turelli, and an anonymous referee.
I would particularly like to thank K. Dawson and the referee, for pointing out
the complexities involved in calculating P(i, j; k), and J. F. Crow, for supplying
detailed simulation results, and for his helpful comments on the draft of this paper.
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. On the spread of new gene combinations in the third phase of Wright’s
shifting balance. Evolution; International Journal of Organic Evolution.
1992;46(2):551-557.
apa: Barton, N. H. (1992). On the spread of new gene combinations in the third phase
of Wright’s shifting balance. Evolution; International Journal of Organic Evolution.
Wiley-Blackwell.
chicago: Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third
Phase of Wright’s Shifting Balance.” Evolution; International Journal of Organic
Evolution. Wiley-Blackwell, 1992.
ieee: N. H. Barton, “On the spread of new gene combinations in the third phase of
Wright’s shifting balance,” Evolution; International Journal of Organic Evolution,
vol. 46, no. 2. Wiley-Blackwell, pp. 551–557, 1992.
ista: Barton NH. 1992. On the spread of new gene combinations in the third phase
of Wright’s shifting balance. Evolution; International Journal of Organic Evolution.
46(2), 551–557.
mla: Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase
of Wright’s Shifting Balance.” Evolution; International Journal of Organic
Evolution, vol. 46, no. 2, Wiley-Blackwell, 1992, pp. 551–57.
short: N.H. Barton, Evolution; International Journal of Organic Evolution 46 (1992)
551–557.
date_created: 2018-12-11T12:08:10Z
date_published: 1992-04-01T00:00:00Z
date_updated: 2022-03-14T13:36:15Z
day: '01'
extern: '1'
intvolume: ' 46'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.jstor.org/stable/2409871
month: '04'
oa_version: None
page: 551 - 557
publication: Evolution; International Journal of Organic Evolution
publication_identifier:
eissn:
- 1558-5646
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1756'
quality_controlled: '1'
status: public
title: On the spread of new gene combinations in the third phase of Wright's shifting
balance
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 46
year: '1992'
...
---
_id: '4504'
abstract:
- lang: eng
text: "Real-time systems operate in “real,” continuous time and state changes may
occur at any real-numbered time point. Yet many verification methods are based
on the assumption that states are observed at integer time points only. What can
we conclude if a real-time system has been shown “correct” for integral observations?\r\n\r\nInteger
time verification techniques suffice if the problem of whether all real-numbered
behaviors of a system satisfy a property can be reduced to the question of whether
the integral observations satisfy a (possibly modified) property. We show that
this reduction is possible for a large and important class of systems and properties:
the class of systems includes all systems that can be modeled as timed transition
systems; the class of properties includes time-bounded invariance and time-bounded
response."
acknowledgement: "A full version of this paper (including all proofs) is available
as a technical report from Cornell University and Stanford University. The research
was supported in part by the National Science Foundation under grants CCR-89-11512
and CCR-89-13641, by the Defense Advanced Research Projects Agency under contract
NAG2-703, by the United States Air Force Office of Scientific Research under contract
AFOSR-90-0057, and by the European Community ESPRIT Basic Research Action Project
3096 (SPEC).\r\n\r\nSponsors: National Science Foundation grant CCR-89-11512, National
Science Foundation grant CCR-89-13641, Defense Advanced Research Projects Agency
contract NAG2-703, United States Air Force Office of Scientific Research contract
AFOSR-90-0057, European Community ESPRIT Basic Research Action Project 3096 (SPEC).\r\n"
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: Zohar
full_name: Manna, Zohar
last_name: Manna
- first_name: Amir
full_name: Pnueli, Amir
last_name: Pnueli
citation:
ama: 'Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: 19th
International Colloquium on Automata, Languages and Programming. Vol 623.
Springer; 1992:545-558. doi:10.1007/3-540-55719-9_103'
apa: 'Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital
clocks? In 19th International Colloquium on Automata, Languages and Programming
(Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103'
chicago: Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital
Clocks?” In 19th International Colloquium on Automata, Languages and Programming,
623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
ieee: T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,”
in 19th International Colloquium on Automata, Languages and Programming,
Vienna, Austria, 1992, vol. 623, pp. 545–558.
ista: 'Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th
International Colloquium on Automata, Languages and Programming. ICALP: Automata,
Languages and Programming, LNCS, vol. 623, 545–558.'
mla: Henzinger, Thomas A., et al. “What Good Are Digital Clocks?” 19th International
Colloquium on Automata, Languages and Programming, vol. 623, Springer, 1992,
pp. 545–58, doi:10.1007/3-540-55719-9_103.
short: T.A. Henzinger, Z. Manna, A. Pnueli, in:, 19th International Colloquium on
Automata, Languages and Programming, Springer, 1992, pp. 545–558.
conference:
end_date: 1992-07-17
location: Vienna, Austria
name: 'ICALP: Automata, Languages and Programming'
start_date: 1992-07-13
date_created: 2018-12-11T12:09:11Z
date_published: 1992-01-01T00:00:00Z
date_updated: 2022-03-14T09:47:09Z
day: '01'
doi: 10.1007/3-540-55719-9_103
extern: '1'
intvolume: ' 623'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-55719-9_103
month: '01'
oa_version: None
page: 545 - 558
publication: 19th International Colloquium on Automata, Languages and Programming
publication_status: published
publisher: Springer
publist_id: '223'
quality_controlled: '1'
status: public
title: What good are digital clocks?
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 623
year: '1992'
...
---
_id: '4505'
abstract:
- lang: eng
text: "We describe finite-state programs over real-numbered time in a guarded-command
language with real-valued clocks or, equivalently, as finite automata with real-valued
clocks. Model checking answers the question which states of a real-time program
satisfy a branching-time specification (given in an extension of CTL with clock
variables). We develop an algorithm that computes this set of states symbolically
as a fixpoint of a functional on state predicates, without constructing the state
space.\r\n\r\nFor this purpose, we introduce a mu-calculus on computation trees
over real-numbered time. Unfortunately, many standard program properties, such
as response for all nonzeno execution sequences (during which time diverges),
cannot be characterized by fixpoints: we show that the expressiveness of the timed
mu-calculus is incomparable to the expressiveness of timed CTL. Fortunately, this
result does not impair the symbolic verification of "implementable"
real-time programs--those whose safety constraints are machine-closed with respect
to diverging time and whose fairness constraints are restricted to finite upper
bounds on clock values. All timed CTL properties of such programs are shown to
be computable as finitely approximable fixpoints in a simple decidable theory."
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: Xavier
full_name: Nicollin, Xavier
last_name: Nicollin
- first_name: Joseph
full_name: Sifakis, Joseph
last_name: Sifakis
- first_name: Sergio
full_name: Yovine, Sergio
last_name: Yovine
citation:
ama: 'Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for
real-time systems. In: Proceedings of the 7th Annual IEEE Symposium on Logic
in Computer Science. IEEE; 1992:394-406. doi:10.1109/LICS.1992.185551'
apa: 'Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic
model checking for real-time systems. In Proceedings of the 7th Annual IEEE
Symposium on Logic in Computer Science (pp. 394–406). Santa Cruz, CA, United
States of America: IEEE. https://doi.org/10.1109/LICS.1992.185551'
chicago: Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine.
“Symbolic Model Checking for Real-Time Systems.” In Proceedings of the 7th
Annual IEEE Symposium on Logic in Computer Science, 394–406. IEEE, 1992. https://doi.org/10.1109/LICS.1992.185551.
ieee: T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking
for real-time systems,” in Proceedings of the 7th Annual IEEE Symposium on
Logic in Computer Science, Santa Cruz, CA, United States of America, 1992,
pp. 394–406.
ista: 'Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking
for real-time systems. Proceedings of the 7th Annual IEEE Symposium on Logic in
Computer Science. LICS: Logic in Computer Science, 394–406.'
mla: Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.”
Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science,
IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
short: T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, Proceedings of the
7th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1992, pp. 394–406.
conference:
end_date: 1992-06-25
location: Santa Cruz, CA, United States of America
name: 'LICS: Logic in Computer Science'
start_date: 1992-06-22
date_created: 2018-12-11T12:09:12Z
date_published: 1992-01-01T00:00:00Z
date_updated: 2022-03-14T13:20:50Z
day: '01'
doi: 10.1109/LICS.1992.185551
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/185551
month: '01'
oa_version: None
page: 394 - 406
publication: Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science
publication_identifier:
isbn:
- 0-8186-2735-2
publication_status: published
publisher: IEEE
publist_id: '224'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symbolic model checking for real-time systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1992'
...
---
_id: '4507'
abstract:
- lang: eng
text: We incorporate time into an interleaving model of concurrency. In timed transition
systems, the qualitative fairness requirements of traditional transition system
are replaced (and superseded) by quantitative lower-bound and upperbound timing
constraints on transitions. The purpose of this paper is to explore the scope
of applicability for the abstract model of timed transition systems. We demonstrate
that the model can represent a wide variety of phenomena that routinely occur
in conjunction with the timed execution of concurrent processes. Our treatment
covers both processes that are executed in parallel on separate processors and
communicate either through shared variables or by message passing, and processes
that time-share a limited number of processors under a given scheduling policy.
Often it is this scheduling policy that determines if a system meets its real-time
requirements. Thus we explicitly address such questions as time-outs, interrupts,
static and dynamic priorities.
acknowledgement: 'Sponsor: IBM graduate fellowship, National Science Foundation grant
CCR-89-11512 National Science Foundation grant CCR-89-13641, Defense Advanced Research
Projects Agency contract N00039-84-C-0211, United States Air Force Office of Scientific
Research under contract AFOSR-90-0057, European Community ESPRIT Basic Research
Action project 3096 (SPEC)'
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: Zohar
full_name: Manna, Zohar
last_name: Manna
- first_name: Amir
full_name: Pnueli, Amir
last_name: Pnueli
citation:
ama: 'Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time:
Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995'
apa: 'Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems.
In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995'
chicago: 'Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.”
In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.'
ieee: 'T. A. Henzinger, Z. Manna, and A. Pnueli, “Timed transition systems,” in
Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–251.'
ista: 'Henzinger TA, Manna Z, Pnueli A. 1992.Timed transition systems. In: Real
Time: Theory in Practice. LNCS, vol. 600, 226–251.'
mla: 'Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory
in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.'
short: 'T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice,
Springer, 1992, pp. 226–251.'
date_created: 2018-12-11T12:09:12Z
date_published: 1992-01-01T00:00:00Z
date_updated: 2022-03-14T09:34:44Z
day: '01'
doi: 10.1007/BFb0031995
extern: '1'
intvolume: ' 600'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0031995
month: '01'
oa_version: None
page: 226 - 251
publication: 'Real Time: Theory in Practice'
publication_status: published
publisher: Springer
publist_id: '222'
status: public
title: Timed transition systems
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 600
year: '1992'
...
---
_id: '4517'
abstract:
- lang: eng
text: It has been observed repeatedly that the standard safety-liveness classification
for properties of reactive systems does not fit for real-time properties. This
is because the implicit “liveliness” of time shifts the spectrum towards the safety
side. While, for example, response—that “something good” will happen eventually—is
a classical liveness property, bounded response—that “something good” will happen
soon, within a certain amount of time—has many characteristics of safety. We account
for this phenomenon formally by defining safety and liveness relative to a given
condition, such as the progress of time.
acknowledgement: 'The author thanks Martin Abadi, Rajeev Alur, David Dill, Leslie
Lamport, Zohar Manna, Amir Pnueli, Fred Schneider, and two anonymous referees for
many valuable suggestions and improvements. '
article_processing_charge: No
article_type: original
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters.
1992;43(3):135-141. doi:10.1016/0020-0190(92)90005-G
apa: Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing
Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90005-G
chicago: Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing
Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.
ieee: T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters,
vol. 43, no. 3. Elsevier, pp. 135–141, 1992.
ista: Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters.
43(3), 135–141.
mla: Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing
Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.
short: T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
date_created: 2018-12-11T12:09:16Z
date_published: 1992-09-14T00:00:00Z
date_updated: 2022-03-07T11:31:23Z
day: '14'
doi: 10.1016/0020-0190(92)90005-G
extern: '1'
intvolume: ' 43'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/002001909290005G?via%3Dihub
month: '09'
oa_version: None
page: 135 - 141
publication: Information Processing Letters
publication_identifier:
issn:
- 0020-0190
publication_status: published
publisher: Elsevier
publist_id: '211'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sooner Is Safer Than Later
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 43
year: '1992'
...
---
_id: '2482'
abstract:
- lang: eng
text: The complementary DNA of a metabotropic glutamate receptor coupled to inositol
phosphate/Ca2+ signal transduction has been cloned and characterized. This receptor
shows no sequence similarity to conventional G protein-coupled receptors and has
a unique structure with large hydrophilic sequences at both sides of seven putative
membrane-spanning domains. Abundant expression of this messenger RNA is observed
in neuronal cells in hippocampal dentate gyrus and CA2-3 and in cerebellar Purkinje
cells, suggesting the importance of this receptor in specific hippocampal and
cerebellar functions.
article_processing_charge: No
article_type: original
author:
- first_name: Masayuki
full_name: Masu, Masayuki
last_name: Masu
- first_name: Yasuto
full_name: Tanabe, Yasuto
last_name: Tanabe
- first_name: Kunihiro
full_name: Tsuchida, Kunihiro
last_name: Tsuchida
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. Sequence and expression
of a metabotropic glutamate receptor. Nature. 1991;349(6312):760-765. doi:10.1038/349760a0
apa: Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991).
Sequence and expression of a metabotropic glutamate receptor. Nature. Nature
Publishing Group. https://doi.org/10.1038/349760a0
chicago: Masu, Masayuki, Yasuto Tanabe, Kunihiro Tsuchida, Ryuichi Shigemoto, and
Shigetada Nakanishi. “Sequence and Expression of a Metabotropic Glutamate Receptor.”
Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/349760a0.
ieee: M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, and S. Nakanishi, “Sequence
and expression of a metabotropic glutamate receptor,” Nature, vol. 349,
no. 6312. Nature Publishing Group, pp. 760–765, 1991.
ista: Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. 1991. Sequence and
expression of a metabotropic glutamate receptor. Nature. 349(6312), 760–765.
mla: Masu, Masayuki, et al. “Sequence and Expression of a Metabotropic Glutamate
Receptor.” Nature, vol. 349, no. 6312, Nature Publishing Group, 1991, pp.
760–65, doi:10.1038/349760a0.
short: M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991)
760–765.
date_created: 2018-12-11T11:57:55Z
date_published: 1991-02-28T00:00:00Z
date_updated: 2022-03-03T15:37:36Z
day: '28'
doi: 10.1038/349760a0
extern: '1'
external_id:
pmid:
- '1847995 '
intvolume: ' 349'
issue: '6312'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/349760a0
month: '02'
oa_version: None
page: 760 - 765
pmid: 1
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '4419'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sequence and expression of a metabotropic glutamate receptor
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 349
year: '1991'
...
---
_id: '2483'
abstract:
- lang: eng
text: A complementary DNA encoding the rat NMDA receptor has been cloned and characterized.
The single protein encoded by the cDNA forms a receptor-channel complex that has
electrophysiological and pharmacological properties characteristic of the NMDA
receptor. This protein has a significant sequence similarity to the AMPA/kainate
receptors and contains four putative transmembrane segments following a large
extracellular domain. The NMDA receptor messenger RNA is expressed in neuronal
cells throughout the brain regions, particularly in the hippocampus, cerebral
cortex and cerebellum.
article_processing_charge: No
article_type: original
author:
- first_name: Koki
full_name: Moriyoshi, Koki
last_name: Moriyoshi
- first_name: Masayuki
full_name: Masu, Masayuki
last_name: Masu
- first_name: Takahiro
full_name: Ishii, Takahiro
last_name: Ishii
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. Molecular
cloning and characterization of the rat NMDA receptor. Nature. 1991;353(6348):31-37.
doi:10.1038/354031a0
apa: Moriyoshi, K., Masu, M., Ishii, T., Shigemoto, R., Mizuno, N., & Nakanishi,
S. (1991). Molecular cloning and characterization of the rat NMDA receptor. Nature.
Nature Publishing Group. https://doi.org/10.1038/354031a0
chicago: Moriyoshi, Koki, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, Noboru
Mizuno, and Shigetada Nakanishi. “Molecular Cloning and Characterization of the
Rat NMDA Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/354031a0.
ieee: K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, and S. Nakanishi,
“Molecular cloning and characterization of the rat NMDA receptor,” Nature,
vol. 353, no. 6348. Nature Publishing Group, pp. 31–37, 1991.
ista: Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. 1991. Molecular
cloning and characterization of the rat NMDA receptor. Nature. 353(6348), 31–37.
mla: Moriyoshi, Koki, et al. “Molecular Cloning and Characterization of the Rat
NMDA Receptor.” Nature, vol. 353, no. 6348, Nature Publishing Group, 1991,
pp. 31–37, doi:10.1038/354031a0.
short: K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature
353 (1991) 31–37.
date_created: 2018-12-11T11:57:56Z
date_published: 1991-11-07T00:00:00Z
date_updated: 2022-03-03T15:25:04Z
day: '07'
doi: 10.1038/354031a0
extern: '1'
external_id:
pmid:
- '1834949'
intvolume: ' 353'
issue: '6348'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/354031a0
month: '11'
oa_version: None
page: 31 - 37
pmid: 1
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '4418'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular cloning and characterization of the rat NMDA receptor
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 353
year: '1991'
...
---
_id: '2529'
abstract:
- lang: eng
text: 'The distribution of cerebral cortical neurons sending projection fibers to
the nucleus of the solitary tract (NST), and the topographical distribution of
axon terminals of cortico-NST fibers within the NST were examined in the cat by
two sets of experiments with horseradish peroxidase (HRP) and HRP conjugated with
wheat germ agglutinin (WGA-HRP). First, HRP was injected into the NST. In the
cerebral cortex of these cats, neuronal cell bodies were labeled retrogradely
in the deep pyramidal cell layer (layer V): After HRP injection centered on the
rostral or middle part of the NST, HRP-labeled neuronal cell bodies were distributed
mainly in the orbital gyrus and caudal part of the intralimbic cortex, and additionally
in the rostral part of the anterior sylvian gyrus. After HRP injection centered
on the caudal part of the NST, labeled neuronal cell bodies were seen mainly in
the caudoventral part of the intralimbic cortex, and additionally in the orbital
gyrus, posterior sigmoid gyrus and rostral part of the anterior sylvian gyrus.
The labeling in the intralimbic cortex, orbital gyrus and anterior sylvian gyrus
was bilateral with a predominantly ipsilateral distribution, while that in the
posterior sigmoid gyrus was bilateral with a clear-cut contralateral dominance.
In the second set of experiments, WGA-HRP was injected into the cerebral cortical
regions where neuronal cell bodies had been retrogradely labeled with HRP injected
into the NST: after WGA-HRP injection into the orbital gyrus, presumed axon terminals
in the NST were labeled in the rostral two thirds of the nucleus bilaterally with
an ipsilateral predominance. After WGA-HRP injection into the rostral part of
the anterior sylvian gyrus, a moderate number of presumed axon terminals were
labeled throughout the whole rostrocaudal extent of the NST bilaterally with a
slight ipsilateral dominance. After WGA-HRP injection into the middle and caudal
parts of the anterior sylvian gyrus, no labeling was found in the NST. After WGA-HRP
injection into the caudal part of the intralimbic cortex, presumed terminal labeling
in the NST was seen throughout the whole rostrocaudal extent of the nucleus bilaterally
with a dominant ipsilateral distribution. After WGA-HRP injection into the posterior
sigmoid gyrus, however, no terminal labeling was found in the NST. The results
indicate that cortico-NST fibers from the orbital gyrus terminate in the rostral
two thirds of the NST, while those from the intralimbic cortex and the rostral
part of the anterior sylvian gyrus project to the whole rostrocaudal extent of
the NST.'
article_processing_charge: No
article_type: original
author:
- first_name: Yukihiko
full_name: Yasui, Yukihiko
last_name: Yasui
- first_name: Kazuo
full_name: Itoh, Kazuo
last_name: Itoh
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. Topographical projections
from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental
Brain Research. 1991;85(1):75-84. doi:10.1007/BF00229988
apa: Yasui, Y., Itoh, K., Kaneko, T., Shigemoto, R., & Mizuno, N. (1991). Topographical
projections from the cerebral cortex to the nucleus of the solitary tract in the
cat. Experimental Brain Research. Springer. https://doi.org/10.1007/BF00229988
chicago: Yasui, Yukihiko, Kazuo Itoh, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru
Mizuno. “Topographical Projections from the Cerebral Cortex to the Nucleus of
the Solitary Tract in the Cat.” Experimental Brain Research. Springer,
1991. https://doi.org/10.1007/BF00229988.
ieee: Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, and N. Mizuno, “Topographical
projections from the cerebral cortex to the nucleus of the solitary tract in the
cat,” Experimental Brain Research, vol. 85, no. 1. Springer, pp. 75–84,
1991.
ista: Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. 1991. Topographical projections
from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental
Brain Research. 85(1), 75–84.
mla: Yasui, Yukihiko, et al. “Topographical Projections from the Cerebral Cortex
to the Nucleus of the Solitary Tract in the Cat.” Experimental Brain Research,
vol. 85, no. 1, Springer, 1991, pp. 75–84, doi:10.1007/BF00229988.
short: Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain
Research 85 (1991) 75–84.
date_created: 2018-12-11T11:58:12Z
date_published: 1991-05-01T00:00:00Z
date_updated: 2022-03-03T15:16:05Z
day: '01'
doi: 10.1007/BF00229988
extern: '1'
external_id:
pmid:
- '1715827'
intvolume: ' 85'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF00229988
month: '05'
oa_version: None
page: 75 - 84
pmid: 1
publication: Experimental Brain Research
publication_identifier:
eissn:
- 1432-1106
issn:
- 0014-4819
publication_status: published
publisher: Springer
publist_id: '4370'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Topographical projections from the cerebral cortex to the nucleus of the solitary
tract in the cat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 85
year: '1991'
...
---
_id: '2530'
article_processing_charge: No
author:
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Hiroaki
full_name: Ohkubo, Hiroaki
last_name: Ohkubo
- first_name: Akira
full_name: Kakizuka, Akira
last_name: Kakizuka
- first_name: Yoshifumi
full_name: Yokota, Yoshifumi
last_name: Yokota
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Yoshiki
full_name: Sasai, Yoshiki
last_name: Sasai
- first_name: Toru
full_name: Takumi, Toru
last_name: Takumi
citation:
ama: 'Nakanishi S, Ohkubo H, Kakizuka A, et al. Molecular characterization of mammalian
tachykinin receptors and a possible epithelial potassium channel. In: Recent
Progress in Hormone Research. Vol 46. The Endocrine Society; 1991:59-83. doi:10.1016/b978-0-12-571146-3.50007-9'
apa: Nakanishi, S., Ohkubo, H., Kakizuka, A., Yokota, Y., Shigemoto, R., Sasai,
Y., & Takumi, T. (1991). Molecular characterization of mammalian tachykinin
receptors and a possible epithelial potassium channel. In Recent Progress in
Hormone Research (Vol. 46, pp. 59–83). The Endocrine Society. https://doi.org/10.1016/b978-0-12-571146-3.50007-9
chicago: Nakanishi, Shigetada, Hiroaki Ohkubo, Akira Kakizuka, Yoshifumi Yokota,
Ryuichi Shigemoto, Yoshiki Sasai, and Toru Takumi. “Molecular Characterization
of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.”
In Recent Progress in Hormone Research, 46:59–83. The Endocrine Society,
1991. https://doi.org/10.1016/b978-0-12-571146-3.50007-9.
ieee: S. Nakanishi et al., “Molecular characterization of mammalian tachykinin
receptors and a possible epithelial potassium channel,” in Recent Progress
in Hormone Research, vol. 46, The Endocrine Society, 1991, pp. 59–83.
ista: 'Nakanishi S, Ohkubo H, Kakizuka A, Yokota Y, Shigemoto R, Sasai Y, Takumi
T. 1991.Molecular characterization of mammalian tachykinin receptors and a possible
epithelial potassium channel. In: Recent Progress in Hormone Research. vol. 46,
59–83.'
mla: Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin
Receptors and a Possible Epithelial Potassium Channel.” Recent Progress in
Hormone Research, vol. 46, The Endocrine Society, 1991, pp. 59–83, doi:10.1016/b978-0-12-571146-3.50007-9.
short: S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai,
T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991,
pp. 59–83.
date_created: 2018-12-11T11:58:13Z
date_published: 1991-01-01T00:00:00Z
date_updated: 2022-03-03T14:59:24Z
day: '01'
doi: 10.1016/b978-0-12-571146-3.50007-9
extern: '1'
external_id:
pmid:
- '2177908 '
intvolume: ' 46'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/B9780125711463500079
month: '01'
oa_version: None
page: 59 - 83
pmid: 1
publication: Recent Progress in Hormone Research
publication_identifier:
isbn:
- 978-0-12-571148-7
publication_status: published
publisher: The Endocrine Society
publist_id: '4369'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular characterization of mammalian tachykinin receptors and a possible
epithelial potassium channel
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 46
year: '1991'
...
---
_id: '1946'
abstract:
- lang: eng
text: An ultra-low dose (10-14 M) of opioid peptide [D-Ala2]methionine enkephalinamide
(DAMEA) is found to exert an inhibitory effect on the production of reactive oxygen
species (respiratory burst) in human neutrophils. The validity of this phenomenon
has been verified in a series of studies that comprised 30 experiments. The inhibition
has proved to be statistically significant (P<0.001). The dose-response dependence
of the effect (10-15-10-9 M) followed a characteristic biphasic pattern (with
the maximum effect at ultra-low doses). An opioid antagonist, naloxone partially
blocks the inhibitory effect, which indicates that the DAMEA action is at least
partially mediated by opioid receptors.
article_processing_charge: No
author:
- first_name: Sergei
full_name: Zaǐtsev, Sergei
last_name: Zaǐtsev
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
- first_name: Aleksei
full_name: Koshkin, Aleksei
last_name: Koshkin
- first_name: Galina
full_name: Sud'Ina, Galina
last_name: Sud'Ina
- first_name: Sergei
full_name: Varfolomeev, Sergei
last_name: Varfolomeev
citation:
ama: Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. Respiratory burst
inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide.
FEBS Letters. 1991;291(1):84-86. doi:10.1016/0014-5793(91)81109-L
apa: Zaǐtsev, S., Sazanov, L. A., Koshkin, A., Sud’Ina, G., & Varfolomeev, S.
(1991). Respiratory burst inhibition in human neutrophils by ultra-low doses of
[D-Ala2] methionine enkephalinamide. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(91)81109-L
chicago: Zaǐtsev, Sergei, Leonid A Sazanov, Aleksei Koshkin, Galina Sud’Ina, and
Sergei Varfolomeev. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low
Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters. Elsevier,
1991. https://doi.org/10.1016/0014-5793(91)81109-L.
ieee: S. Zaǐtsev, L. A. Sazanov, A. Koshkin, G. Sud’Ina, and S. Varfolomeev, “Respiratory
burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine
enkephalinamide,” FEBS Letters, vol. 291, no. 1. Elsevier, pp. 84–86, 1991.
ista: Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. 1991. Respiratory
burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine
enkephalinamide. FEBS Letters. 291(1), 84–86.
mla: Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils
by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters,
vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:10.1016/0014-5793(91)81109-L.
short: S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters
291 (1991) 84–86.
date_created: 2018-12-11T11:54:51Z
date_published: 1991-10-07T00:00:00Z
date_updated: 2022-03-07T09:49:06Z
day: '07'
doi: 10.1016/0014-5793(91)81109-L
extern: '1'
external_id:
pmid:
- '1936255 '
intvolume: ' 291'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/001457939181109L
month: '10'
oa_version: None
page: 84 - 86
pmid: 1
publication: FEBS Letters
publication_identifier:
issn:
- 0014-2956
publication_status: published
publisher: Elsevier
publist_id: '5139'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2]
methionine enkephalinamide
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 291
year: '1991'
...
---
_id: '4592'
article_processing_charge: No
article_type: letter_note
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
apa: Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News.
ACM.
chicago: Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News.
ACM, 1991.
ieee: R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22,
no. 3. ACM, pp. 6–12, 1991.
ista: Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
mla: Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News,
vol. 22, no. 3, ACM, 1991, pp. 6–12.
short: R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
date_created: 2018-12-11T12:09:39Z
date_published: 1991-01-01T00:00:00Z
date_updated: 2022-02-24T13:54:10Z
day: '01'
extern: '1'
intvolume: ' 22'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/toc/sigact/1991/22/1
month: '01'
oa_version: None
page: 6 - 12
publication: SIGACT News
publication_identifier:
issn:
- 0163-5700
publication_status: published
publisher: ACM
publist_id: '113'
quality_controlled: '1'
status: public
title: Time for logic
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 22
year: '1991'
...
---
_id: '4621'
abstract:
- lang: eng
text: The most natural, compositional, way of modeling real-time systems uses a dense
domain for time. The satisfiability of timing constraints that are capable of expressing punctuality
in this model, however, is known to be undecidable. We introduce a temporal language that can
constrain the time difference between events only with finite, yet arbitrary, precision and show the
resulting logic to be EXPSPACE-complete. This result allows us to develop an algorithm for the
verification of timing properties of real-time systems with a dense semantics.
acknowledgement: 'We wish to thank an anonymous referee for pointing out
the PSPACE-fragment of Section 4.5. T. A. Henzinger was supported in part by
the Office of Naval Research Young Investigator award NOOO14-95-l-0520, by the National
Science Foundation CAREER award CCR 9501708, by the National Science Foundation
grants CCR 92-00794 and CCR 9504469, by the Air Force Office of Scientific Research
contract F49620-93-l-0056, and by the Advanced Research Projects Agency grant NAG2-892. '
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Tomás
full_name: Feder, Tomás
last_name: Feder
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: Proceedings
of the 10th Annual ACM Symposium on Principles of Distributed Computing. ACM;
1991:139-152. doi:10.1145/227595.227602'
apa: 'Alur, R., Feder, T., & Henzinger, T. A. (1991). The benefits of relaxing
punctuality. In Proceedings of the 10th Annual ACM Symposium on Principles
of Distributed Computing (pp. 139–152). Montreal, Canada: ACM. https://doi.org/10.1145/227595.227602'
chicago: Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing
Punctuality.” In Proceedings of the 10th Annual ACM Symposium on Principles
of Distributed Computing, 139–52. ACM, 1991. https://doi.org/10.1145/227595.227602.
ieee: R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,”
in Proceedings of the 10th Annual ACM Symposium on Principles of Distributed
Computing, Montreal, Canada, 1991, pp. 139–152.
ista: 'Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality.
Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing.
PODC: Principles of Distributed Computing, 139–152.'
mla: Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Proceedings
of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM,
1991, pp. 139–52, doi:10.1145/227595.227602.
short: R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM
Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.
conference:
end_date: 1991-08-21
location: Montreal, Canada
name: 'PODC: Principles of Distributed Computing'
start_date: 1991-08-19
date_created: 2018-12-11T12:09:48Z
date_published: 1991-01-01T00:00:00Z
date_updated: 2022-02-24T13:27:20Z
day: '01'
doi: 10.1145/227595.227602
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/227595.227602
month: '01'
oa_version: None
page: 139 - 152
publication: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed
Computing
publication_identifier:
isbn:
- 978-0-89791-439-0
publication_status: published
publisher: ACM
publist_id: '86'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The benefits of relaxing punctuality
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1991'
...
---
_id: '3468'
abstract:
- lang: eng
text: "Two types of metabolically regulated K channels have been identified for
the first time in enzymatically demyelinated fibres of amphibian sciatic nerve
using the patch-clamp technique. A maxi K channel with a single-channel conductance
of 132 pS (105 mM K on both sides of the membrane, 15°C) is activated both by
micromolar concentrations of internal Ca and by depolarization. A second type
of K channel with a conductance of 44 pS is inhibited by intracellular adenosine
5'-triphosphate (ATP) with a half-maximal inhibitory concentration (IC50) of 35
μM. It is blocked by submicromolar concentrations of external glibenclamide. Both
channels are sensitive to external tetraethylammonium chloride (IC50 = 0.2 mM
for the maxi K channel and 4.2 mM for the ATP-sensitive channel). They may be
part of a complex feedback system regulating axonal excitability under various
metabolic conditions.\r\n"
article_processing_charge: No
article_type: original
author:
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- first_name: Knut
full_name: Kampe, Knut
last_name: Kampe
- first_name: Markus
full_name: Hermsteiner, Markus
last_name: Hermsteiner
- first_name: Werner
full_name: Vogel, Werner
last_name: Vogel
citation:
ama: 'Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. ATP-sensitive and Ca-activated
K channels in vertebrate axons: novel links between metabolism and excitability.
Pflügers Archiv : European Journal of Physiology. 1991;418(1-2):68-73.
doi:10.1007/BF00370453'
apa: 'Jonas, P. M., Koh, D., Kampe, K., Hermsteiner, M., & Vogel, W. (1991).
ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between
metabolism and excitability. Pflügers Archiv : European Journal of Physiology.
Springer. https://doi.org/10.1007/BF00370453'
chicago: 'Jonas, Peter M, Duk Koh, Knut Kampe, Markus Hermsteiner, and Werner Vogel.
“ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between
Metabolism and Excitability.” Pflügers Archiv : European Journal of Physiology.
Springer, 1991. https://doi.org/10.1007/BF00370453.'
ieee: 'P. M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, and W. Vogel, “ATP-sensitive
and Ca-activated K channels in vertebrate axons: novel links between metabolism
and excitability,” Pflügers Archiv : European Journal of Physiology, vol.
418, no. 1–2. Springer, pp. 68–73, 1991.'
ista: 'Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. 1991. ATP-sensitive and
Ca-activated K channels in vertebrate axons: novel links between metabolism and
excitability. Pflügers Archiv : European Journal of Physiology. 418(1–2), 68–73.'
mla: 'Jonas, Peter M., et al. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate
Axons: Novel Links between Metabolism and Excitability.” Pflügers Archiv :
European Journal of Physiology, vol. 418, no. 1–2, Springer, 1991, pp. 68–73,
doi:10.1007/BF00370453.'
short: 'P.M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, W. Vogel, Pflügers Archiv :
European Journal of Physiology 418 (1991) 68–73.'
date_created: 2018-12-11T12:03:29Z
date_published: 1991-01-01T00:00:00Z
date_updated: 2022-03-03T14:42:06Z
day: '01'
doi: 10.1007/BF00370453
extern: '1'
external_id:
pmid:
- '2041727'
intvolume: ' 418'
issue: 1-2
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF00370453
month: '01'
oa_version: None
page: 68 - 73
pmid: 1
publication: 'Pflügers Archiv : European Journal of Physiology'
publication_identifier:
eissn:
- 1432-2013
issn:
- 0031-6768
publication_status: published
publisher: Springer
publist_id: '2919'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links
between metabolism and excitability'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 418
year: '1991'
...
---
_id: '3566'
abstract:
- lang: eng
text: This paper proves an O(m2/3n2/3 + m + n) upper bound on the number of incidences
between m points and n hyperplanes in four dimensions, assuming all points lie
on one side of each hyperplane and the points and hyperplanes satisfy certain
natural general position conditions. This result has application to various three-dimensional
combinatorial distance problems. For example, it implies the same upper bound
for the number of bichromatic minimum distance pairs in a set of m blue and n
red points in three-dimensional space. This improves the best previous bound for
this problem. © Springer-Verlag Berlin Heidelberg 1990.
alternative_title:
- DIMACS Series in Discrete Mathematics and Theoretical Computer Science
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: Micha
full_name: Sharir, Micha
last_name: Sharir
citation:
ama: 'Edelsbrunner H, Sharir M. A hyperplane incidence problem with applications
to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor
Klee Festschrift. Vol 4. American Mathematical Society; 1991:253-263.'
apa: 'Edelsbrunner, H., & Sharir, M. (1991). A hyperplane incidence problem
with applications to counting distances. In Applied Geometry and Discrete Mathematics:
The Victor Klee Festschrift (Vol. 4, pp. 253–263). American Mathematical Society.'
chicago: 'Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem
with Applications to Counting Distances.” In Applied Geometry and Discrete
Mathematics: The Victor Klee Festschrift, 4:253–63. American Mathematical
Society, 1991.'
ieee: 'H. Edelsbrunner and M. Sharir, “A hyperplane incidence problem with applications
to counting distances,” in Applied Geometry and Discrete Mathematics: The Victor
Klee Festschrift, vol. 4, American Mathematical Society, 1991, pp. 253–263.'
ista: 'Edelsbrunner H, Sharir M. 1991.A hyperplane incidence problem with applications
to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor
Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer
Science, vol. 4, 253–263.'
mla: 'Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with
Applications to Counting Distances.” Applied Geometry and Discrete Mathematics:
The Victor Klee Festschrift, vol. 4, American Mathematical Society, 1991,
pp. 253–63.'
short: 'H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics:
The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.'
date_created: 2018-12-11T12:04:00Z
date_published: 1991-04-01T00:00:00Z
date_updated: 2022-03-03T13:27:01Z
day: '01'
extern: '1'
intvolume: ' 4'
language:
- iso: eng
main_file_link:
- url: http://www.cs.duke.edu/~edels/Papers/1991-B-01-HyperplaneIncidence.pdf
month: '04'
oa_version: None
page: 253 - 263
publication: 'Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift'
publication_identifier:
isbn:
- 978-0897913850
publication_status: published
publisher: American Mathematical Society
publist_id: '2819'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A hyperplane incidence problem with applications to counting distances
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 4
year: '1991'
...
---
_id: '3567'
abstract:
- lang: eng
text: 'Many computational geometry problems arc exceedingly more difficult if the
setting is the (three-dimensional real) space R3 rather than the plane . Most
often the reason for this striking increase in complexity is the appearance of
new geometric phenomena caused by one-dimensional objects in space. The intention
of recent studies on problems for lines in space is to shed light on these new
phenomena and their complexities. This paper reviews some of the most important
results and shows how they are related to problems in dimensions 2 and 5. '
acknowledgement: National Science Foundation under grant CCR-8921421.
alternative_title:
- DIAMCS Series in Discrete Mathematics and Theoretical Computer Science
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. Lines in space – A collection of results. In: Discrete
& Computational Geometry: Papers from the Dimacs Special Year. Vol 6.
Springer; 1991:77-93.'
apa: 'Edelsbrunner, H. (1991). Lines in space – A collection of results. In Discrete
& Computational Geometry: Papers from the Dimacs Special Year (Vol. 6,
pp. 77–93). Springer.'
chicago: 'Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” In
Discrete & Computational Geometry: Papers from the Dimacs Special Year,
6:77–93. Springer, 1991.'
ieee: 'H. Edelsbrunner, “Lines in space – A collection of results,” in Discrete
& Computational Geometry: Papers from the Dimacs Special Year, vol. 6,
Springer, 1991, pp. 77–93.'
ista: 'Edelsbrunner H. 1991.Lines in space – A collection of results. In: Discrete
& Computational Geometry: Papers from the Dimacs Special Year. DIAMCS Series
in Discrete Mathematics and Theoretical Computer Science, vol. 6, 77–93.'
mla: 'Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” Discrete
& Computational Geometry: Papers from the Dimacs Special Year, vol. 6,
Springer, 1991, pp. 77–93.'
short: 'H. Edelsbrunner, in:, Discrete & Computational Geometry: Papers from
the Dimacs Special Year, Springer, 1991, pp. 77–93.'
date_created: 2018-12-11T12:04:00Z
date_published: 1991-06-01T00:00:00Z
date_updated: 2022-03-03T10:48:15Z
day: '01'
extern: '1'
intvolume: ' 6'
language:
- iso: eng
main_file_link:
- url: https://pub.ist.ac.at/~edels/Papers/1991-B-02-LinesInSpaceACollection.pdf
month: '06'
oa_version: None
page: 77 - 93
publication: 'Discrete & Computational Geometry: Papers from the Dimacs Special Year'
publication_identifier:
isbn:
- '9780821865958'
publication_status: published
publisher: Springer
publist_id: '2818'
quality_controlled: '1'
status: public
title: Lines in space – A collection of results
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 6
year: '1991'
...
---
_id: '3646'
abstract:
- lang: eng
text: "We compare the pattern of morphological and electrophoretic variation in
the hybrid zone between Bombina bombina and B. variegata across two transects:
one near Cracow and one 200 km away, near Przemysl in southeastern Poland. Morphological
variation across the Przemysl transect had been surveyed more than 50 years ago;
though we found a significant shift at one site, there is no evidence for gross
movement over this period. Morphological and electrophoretic changes coincide,
and the average shape of the clines is the same across both transects. At the
center, most of the change in frequency of six diagnostic allozymes occurs within
w = 6.05 km (2-unit support limits 5.56-6.54 km). These steep gradients are generated
not by selection on the allozymes themselves, but by associations with other loci:
though these markers are unlinked, they are in strong linkage disequilibrium with
each other [R = D/ = 0.22 (0.15-0.29) at the center]. Disequilibria are broken
up as alleles diffuse away from the zone and flow into the new genetic background.
The net barrier to the flow of genes from bombina into variegata, which is generated
by these disequilibria, is B = 51 (22-81) km. The fitness of hybrids must be substantially
reduced to produce such a barrier [W̄H/W̄P = 0.58 (0.54-0.68)], and this selection
must be spread over many loci [N = 55 (26-88)]. Alleles introgress significantly
less far than would be expected from the age of the zone and the estimated dispersal
rate [σ = 0.99 (0.82-1.14) km gen.-1/2]: this implies selection of se = 0.37 (0.15-0.58)%
on the enzymes themselves. There is weak but significant linkage disequilibrium
well away from the center of the zone; this, together with the presence of parental
and F1 genotypes, suggests some long-range migration. However, such migration
is not likely to cause significant introgression.\r\n"
acknowledgement: This work was supported by grants from the Royal Society, the Nuffield
Foundation, the University of London Central Research Fund, and the Polish Academy
of Sciences (project MR-II.6). We also thank Dr. Jan Rafinski for help in collecting
toads.
article_processing_charge: No
article_type: original
author:
- first_name: Jacek
full_name: Szymura, Jacek
last_name: Szymura
- 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: 'Szymura J, Barton NH. The genetic structure of the hybrid zone between the
fire-bellied toads Bombina bombina and B. variegata: comparisons between transects
and between loci. Evolution. 1991;45(2):237-261. doi:10.1111/j.1558-5646.1991.tb04400.x'
apa: 'Szymura, J., & Barton, N. H. (1991). The genetic structure of the hybrid
zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons
between transects and between loci. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1991.tb04400.x'
chicago: 'Szymura, Jacek, and Nicholas H Barton. “The Genetic Structure of the Hybrid
Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons
between Transects and between Loci.” Evolution. Wiley-Blackwell, 1991.
https://doi.org/10.1111/j.1558-5646.1991.tb04400.x.'
ieee: 'J. Szymura and N. H. Barton, “The genetic structure of the hybrid zone between
the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects
and between loci,” Evolution, vol. 45, no. 2. Wiley-Blackwell, pp. 237–261,
1991.'
ista: 'Szymura J, Barton NH. 1991. The genetic structure of the hybrid zone between
the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects
and between loci. Evolution. 45(2), 237–261.'
mla: 'Szymura, Jacek, and Nicholas H. Barton. “The Genetic Structure of the Hybrid
Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons
between Transects and between Loci.” Evolution, vol. 45, no. 2, Wiley-Blackwell,
1991, pp. 237–61, doi:10.1111/j.1558-5646.1991.tb04400.x.'
short: J. Szymura, N.H. Barton, Evolution 45 (1991) 237–261.
date_created: 2018-12-11T12:04:25Z
date_published: 1991-03-01T00:00:00Z
date_updated: 2022-03-02T15:50:09Z
day: '01'
doi: 10.1111/j.1558-5646.1991.tb04400.x
extern: '1'
external_id:
pmid:
- '28567861 '
intvolume: ' 45'
issue: '2'
language:
- iso: eng
main_file_link:
- url: ' http://www.jstor.org/stable/2409660'
month: '03'
oa_version: None
page: 237 - 261
pmid: 1
publication: Evolution
publication_identifier:
eissn:
- 1558-5646
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2737'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The genetic structure of the hybrid zone between the fire-bellied toads Bombina
bombina and B. variegata: comparisons between transects and between loci'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 45
year: '1991'
...