---
_id: '2713'
acknowledgement: Work supported by the NSF grant PHY90-19433 A02 and by the Alfred
Sloan Foundation dissertation fellowship.
article_processing_charge: No
article_type: original
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel
of the magnetic Schrödinger operator. Duke Mathematical Journal. 1994;76(2):541-566.
doi:10.1215/S0012-7094-94-07619-9
apa: Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the
heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal.
Duke University Press. https://doi.org/10.1215/S0012-7094-94-07619-9
chicago: Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the
Heat Kernel of the Magnetic Schrödinger Operator.” Duke Mathematical Journal.
Duke University Press, 1994. https://doi.org/10.1215/S0012-7094-94-07619-9.
ieee: L. Erdös, “Estimates on stochastic oscillatory integrals and on the heat kernel
of the magnetic Schrödinger operator,” Duke Mathematical Journal, vol.
76, no. 2. Duke University Press, pp. 541–566, 1994.
ista: Erdös L. 1994. Estimates on stochastic oscillatory integrals and on the heat
kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 76(2),
541–566.
mla: Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat
Kernel of the Magnetic Schrödinger Operator.” Duke Mathematical Journal,
vol. 76, no. 2, Duke University Press, 1994, pp. 541–66, doi:10.1215/S0012-7094-94-07619-9.
short: L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
date_created: 2018-12-11T11:59:13Z
date_published: 1994-11-01T00:00:00Z
date_updated: 2022-06-03T11:59:06Z
day: '01'
doi: 10.1215/S0012-7094-94-07619-9
extern: '1'
intvolume: ' 76'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://projecteuclid.org/journals/duke-mathematical-journal/volume-76/issue-2/Estimates-on-stochastic-oscillatory-integrals-and-on-the-heat-kernel/10.1215/S0012-7094-94-07619-9.short
month: '11'
oa_version: None
page: 541 - 566
publication: Duke Mathematical Journal
publication_identifier:
issn:
- 0012-7094
publication_status: published
publisher: Duke University Press
publist_id: '4183'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Estimates on stochastic oscillatory integrals and on the heat kernel of the
magnetic Schrödinger operator
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 76
year: '1994'
...
---
_id: '1949'
abstract:
- lang: eng
text: H+-transhydrogenase (H+-Thase) and NADP-linked isocitrate dehydrogenase (NADP-ICDH)
are very active in animal mitochondria but their physiological function is only
poorly understood. This is especially so in the case of the heart and muscle,
where there are no major consumers of NADPH. We propose here that H+-Thase and
NADP-ICDH have a combined function in the fine regulation of the activity of the
tricarboxylic acid (TCA) cycle, providing enhanced sensitivy to changes in energy
demand. This is achieved through cycling of substrates by NAD-linked ICDH, NADP-linked
ICDH and H+-Thase. It is proposed that NAD-ICDH operates in the forward direction
of the TCA cycle, but NADP-ICDH is driven in reverse by elevated levels of NADPH
resulting from the action of the transmembrane proton electrochemical potential
gradient (Δp) on H+-Thase. This has the effect of increasing the sensitivity to
allosteric modifiers of NAD-ICDH (NADH, ADP, ATP, Ca2+ etc), potentially giving
rise to large changes in the net flux from iso-citrate to α-ketoglutarate. Furthermore,
changes in the level of Δp resulting from changes in the demand for ATP would,
via H+-Thase, shift the redox state of the NADP pool and this, in turn, would
lead to a change in the rate of the reaction catalysed by NADP-ICDH and hence
to an additional and complementary effect on the net metabolic flux from isocitrate
to α-ketoglutarate. Other consequences of this substrate cycle are, (i) the production
of heat at the expense of Δp, which may contribute to thermoregulation in the
animal, and (ii) an increased rate of dissipation of Δp (leak).
acknowledgement: LAS is grateful to the Wellcome Trust for a fellowship. We should
like to thank Prof. R.M. Denton for discussion.
article_processing_charge: No
article_type: original
author:
- 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: Julie
full_name: Jackson, Julie
last_name: Jackson
citation:
ama: Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked
isocitrate dehydrogenases operate in a substrate cycle which contributes to fine
regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters.
1994;344(2-3):109-116. doi:10.1016/0014-5793(94)00370-X
apa: Sazanov, L. A., & Jackson, J. (1994). Proton translocating transhydrogenase
and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle
which contributes to fine regulation of the tricarboxylic acid cycle activity
in mitochondria. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)00370-X
chicago: Sazanov, Leonid A, and Julie Jackson. “Proton Translocating Transhydrogenase
and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle
Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity
in Mitochondria.” FEBS Letters. Elsevier, 1994. https://doi.org/10.1016/0014-5793(94)00370-X.
ieee: L. A. Sazanov and J. Jackson, “Proton translocating transhydrogenase and NAD-
and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes
to fine regulation of the tricarboxylic acid cycle activity in mitochondria,”
FEBS Letters, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.
ista: Sazanov LA, Jackson J. 1994. Proton translocating transhydrogenase and NAD-
and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes
to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS
Letters. 344(2–3), 109–116.
mla: Sazanov, Leonid A., and Julie Jackson. “Proton Translocating Transhydrogenase
and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle
Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity
in Mitochondria.” FEBS Letters, vol. 344, no. 2–3, Elsevier, 1994, pp.
109–16, doi:10.1016/0014-5793(94)00370-X.
short: L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.
date_created: 2018-12-11T11:54:52Z
date_published: 1994-05-16T00:00:00Z
date_updated: 2022-06-09T13:21:50Z
day: '16'
doi: 10.1016/0014-5793(94)00370-X
extern: '1'
external_id:
pmid:
- '8187868'
intvolume: ' 344'
issue: 2-3
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2900370-X
month: '05'
oa: 1
oa_version: Published Version
page: 109 - 116
pmid: 1
publication: FEBS Letters
publication_identifier:
issn:
- 0014-5793
publication_status: published
publisher: Elsevier
publist_id: '5134'
quality_controlled: '1'
status: public
title: Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases
operate in a substrate cycle which contributes to fine regulation of the tricarboxylic
acid cycle activity in mitochondria
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 344
year: '1994'
...
---
_id: '1953'
abstract:
- lang: eng
text: The respiratory burst induced by phorbol myristate acetate in mouse macrophages
was inhibited by ultra-low doses (10-15 -10-13 M) of an opioid peptide [d-Ala2]
methionine enkephalinamide. The effect disappeared at concentrations above and
below this range. The inhibition approached 50% and was statistically significant
(P < 0.001). Increasing the time of the opioid incubation with cells brought
about a shift in the maximal effect to lower concentrations of the opioid (from
10-13 to 5 · 10-15 M) and led to a decrease in the value of the effect, fully
in accord with the previously proposed adaptation mechanism of the action of ultra-low
doses.
article_processing_charge: No
article_type: original
author:
- first_name: Alexander
full_name: Efanov, Alexander
last_name: Efanov
- first_name: Aleksei
full_name: Koshkin, Aleksei
last_name: Koshkin
- 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: O I
full_name: Borodulina, O I
last_name: Borodulina
- first_name: Sergei
full_name: Varfolomeev, Sergei
last_name: Varfolomeev
- first_name: Sergei
full_name: Zaǐtsev, Sergei
last_name: Zaǐtsev
citation:
ama: Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition
of the respiratory burst in mouse macrophages by ultra-low doses of an opioid
peptide is consistent with a possible adaptation mechanism. FEBS Letters.
1994;355(2):114-116. doi:10.1016/0014-5793(94)01109-5
apa: Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S.,
& Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages
by ultra-low doses of an opioid peptide is consistent with a possible adaptation
mechanism. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)01109-5
chicago: Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei
Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse
Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible
Adaptation Mechanism.” FEBS Letters. Elsevier, 1994. https://doi.org/10.1016/0014-5793(94)01109-5.
ieee: A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and
S. Zaǐtsev, “Inhibition of the respiratory burst in mouse macrophages by ultra-low
doses of an opioid peptide is consistent with a possible adaptation mechanism,”
FEBS Letters, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.
ista: Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S.
1994. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses
of an opioid peptide is consistent with a possible adaptation mechanism. FEBS
Letters. 355(2), 114–116.
mla: Efanov, Alexander, et al. “Inhibition of the Respiratory Burst in Mouse Macrophages
by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation
Mechanism.” FEBS Letters, vol. 355, no. 2, Elsevier, 1994, pp. 114–16,
doi:10.1016/0014-5793(94)01109-5.
short: A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S.
Zaǐtsev, FEBS Letters 355 (1994) 114–116.
date_created: 2018-12-11T11:54:53Z
date_published: 1994-11-28T00:00:00Z
date_updated: 2022-06-09T12:58:57Z
day: '28'
doi: 10.1016/0014-5793(94)01109-5
extern: '1'
external_id:
pmid:
- '7982481'
intvolume: ' 355'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2901109-5
month: '11'
oa: 1
oa_version: Published Version
page: 114 - 116
pmid: 1
publication: FEBS Letters
publication_identifier:
issn:
- 0014-5793
publication_status: published
publisher: Elsevier
publist_id: '5133'
quality_controlled: '1'
status: public
title: Inhibition of the respiratory burst in mouse macrophages by ultra-low doses
of an opioid peptide is consistent with a possible adaptation mechanism
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 355
year: '1994'
...
---
_id: '4586'
abstract:
- lang: eng
text: 'Fairness is a mathematical abstraction: in a multiprogramming environment,
fairness abstracts the details of admissible (“fair”) schedulers; in a distributed
environment, fairness abstracts the speeds of independent processors. We argue
that the standard definition of fairness often is unnecessarily weak and can be
replaced by the stronger, yet still abstract, notion of finitary fairness. While
standard weak fairness requires that no enabled transition is postponed forever,
finitary weak fairness requires that for every run of a system there is an unknown
bound k such that no enabled transition is postponed more than k consecutive times.
In general, the finitary restriction fin(F) of any given fairness assumption F
is the union of all w-regular safety properties that are contained in F. The adequacy
of the proposed abstraction is demonstrated in two ways. Suppose that we prove
a program property under the assumption of finitary fairness. In a multiprogramming
environment, the program then satisfies the property for all fair finite-state
schedulers. In a distributed environment, the program then satisfies the property
for all choices of lower and upper bounds on the speeds (or timings) of processors'
article_processing_charge: No
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. Finitary fairness. In: Proceedings 9th Annual IEEE
Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087 '
apa: 'Alur, R., & Henzinger, T. A. (1994). Finitary fairness. In Proceedings
9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris,
France: IEEE. https://doi.org/10.1109/LICS.1994.316087
'
chicago: Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In Proceedings
9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994.
https://doi.org/10.1109/LICS.1994.316087
.
ieee: R. Alur and T. A. Henzinger, “Finitary fairness,” in Proceedings 9th Annual
IEEE Symposium on Logic in Computer Science, Paris, France, 1994, pp. 52–61.
ista: 'Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE
Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61.'
mla: Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” Proceedings
9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61,
doi:10.1109/LICS.1994.316087
.
short: R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic
in Computer Science, IEEE, 1994, pp. 52–61.
conference:
end_date: "\t1994-07-07"
location: Paris, France
name: 'LICS: Logic in Computer Science'
start_date: 1994-07-04
date_created: 2018-12-11T12:09:37Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-02T08:45:57Z
day: '01'
doi: '10.1109/LICS.1994.316087 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/316087
month: '01'
oa_version: None
page: 52 - 61
publication: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science
publication_identifier:
issn:
- 0018-9162
publication_status: published
publisher: IEEE
publist_id: '119'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Finitary fairness
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1994'
...
---
_id: '4590'
abstract:
- lang: eng
text: 'We introduce a temporal logic for the specification of real-time systems.
Our logic, TPTL, employs a novel quantifier construct for referencing time: the
"freeze" quantifier binds a variable to the time of the local temporal
context. TPTL is both a natural language for specification and a suitable formalism
for verification. We present a tableau-based decision procedure and a model-checking
algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable.'
acknowledgement: The authors thank Rance Cleaveland, Limor Fix, David Karr, Peter
Kopke, Fred Schneider, and Bernhard Steffen for helpful comments.
alternative_title:
- AMAST Series in Computing
article_processing_charge: No
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. Real-time system = discrete system + clock variables.
In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development.
Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001'
apa: Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system
+ clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences
for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing.
https://doi.org/10.1142/9789812831583_0001
chicago: Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System
+ Clock Variables.” In Theories and Experiences for Real-Time System Development,
edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World
Scientific Publishing, 1994. https://doi.org/10.1142/9789812831583_0001.
ieee: R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,”
in Theories and Experiences for Real-Time System Development, vol. 2, T.
Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29.
ista: 'Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables.
In: Theories and Experiences for Real-Time System Development. AMAST Series in
Computing, vol. 2, 1–29.'
mla: Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System
+ Clock Variables.” Theories and Experiences for Real-Time System Development,
edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing,
1994, pp. 1–29, doi:10.1142/9789812831583_0001.
short: R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences
for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
date_created: 2018-12-11T12:09:38Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-02T08:07:57Z
day: '01'
doi: 10.1142/9789812831583_0001
editor:
- first_name: Teodor
full_name: Rus, Teodor
last_name: Rus
- first_name: Charles
full_name: Rattray, Charles
last_name: Rattray
extern: '1'
intvolume: ' 2'
keyword:
- real-time systems
- clock variables
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/s100090050007
month: '01'
oa_version: None
page: 1 - 29
publication: Theories and Experiences for Real-Time System Development
publication_identifier:
isbn:
- ' 9789810219239'
publication_status: published
publisher: World Scientific Publishing
publist_id: '117'
quality_controlled: '1'
series_title: AMAST Series in Computing
status: public
title: Real-time system = discrete system + clock variables
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2
year: '1994'
...
---
_id: '4591'
abstract:
- lang: eng
text: 'We introduce a temporal logic for the specification of real-time systems.
Our logic, TPTL, employs a novel quantifier construct for referencing time: the
freeze quantifier binds a variable to the time of the local temporal context.
TPTL is both a natural language for specification and a suitable formalism for
verification. We present a tableau-based decision procedure and a model-checking
algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable.'
acknowledgement: "We thank Zohar Manna, Amir Pnueli, and David Dill for their guidance.
Moshe Vardi and Joe Halpern gave us very helpful advice for refining our undecidability
results; in particular, they pointed out to us the completeness of a problem on
Turing machines.\r\n"
article_processing_charge: No
article_type: original
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. A really temporal logic. Journal of the ACM. 1994;41(1):181-204.
doi:10.1145/174644.174651
apa: Alur, R., & Henzinger, T. A. (1994). A really temporal logic. Journal
of the ACM. ACM. https://doi.org/10.1145/174644.174651
chicago: Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal
of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
ieee: R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the
ACM, vol. 41, no. 1. ACM, pp. 181–204, 1994.
ista: Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1),
181–204.
mla: Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” Journal
of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
short: R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
date_created: 2018-12-11T12:09:38Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-02T08:23:46Z
day: '01'
doi: 10.1145/174644.174651
extern: '1'
intvolume: ' 41'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/174644.174651
month: '01'
oa_version: None
page: 181 - 204
publication: Journal of the ACM
publication_identifier:
issn:
- 0004-5411
publication_status: published
publisher: ACM
publist_id: '118'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A really temporal logic
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 41
year: '1994'
...
---
_id: '4614'
abstract:
- lang: eng
text: "We develop a theory of equivalences for timed systems. Two systems are equivalent
iff external observers cannot observe differences in their behavior. The notion
of equivalence depends, therefore, on the distinguishing power of the observers.
The power of an observer to measure time results in untimed, clock, and timed
equivalences: an untimed observer cannot measure the time difference between events;
a clock observer uses a clock to measure time differences with finite precision;
a timed observer is able to measure time differences with arbitrary precision.\r\nWe
show that the distinguishing power of clock observers grows with the number of
observers, and approaches, in the limit, the distinguishing power of a timed observer.
More precisely, given any equivalence for untimed systems, two timed systems are
k-clock congruent, for a nonnegative integer k, iff their compositions with every
environment that uses k clocks are untimed equivalent. Both k-clock bisimulation
congruence and k-clock trace congruence form strict decidable hierarchies that
converge towards the corresponding timed equivalences. Moreover, k-clock bisimulation
congruence and k-clock trace congruence provide an adequate and abstract semantics
for branching-time and linear-time logics with k clocks.\r\nOur results impact
on the verification of timed systems in two ways. First, our decision procedure
for k-clock bisimulation congruence leads to a new, symbolic, decision procedure
for timed bisimilarity. Second, timed trace equivalence is known to be undecidable.
If the number of environment clocks is bounded, however, then our decision procedure
for k-clock trace congruence allows the verification of timed systems in a trace
model."
acknowledgement: ESPRIT BRA project REACT, National Science Foundation under grant
CCR-9200794, United States Air Force Office of Scientific Research contract F49620-93-1-0056
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- 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, Courcoubetis C, Henzinger TA. The observational power of clocks. In:
5th International Conference on Concurrency Theory. Vol 836. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008'
apa: 'Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational
power of clocks. In 5th International Conference on Concurrency Theory
(Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.1007/BFb0015008'
chicago: Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational
Power of Clocks.” In 5th International Conference on Concurrency Theory,
836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
ieee: R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of
clocks,” in 5th International Conference on Concurrency Theory, Uppsala,
Sweden, 1994, vol. 836, pp. 162–177.
ista: 'Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks.
5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory,
LNCS, vol. 836, 162–177.'
mla: Alur, Rajeev, et al. “The Observational Power of Clocks.” 5th International
Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
short: R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference
on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994,
pp. 162–177.
conference:
end_date: 1994-08-25
location: Uppsala, Sweden
name: 'CONCUR: Concurrency Theory'
start_date: 1994-08-22
date_created: 2018-12-11T12:09:46Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-02T07:41:46Z
day: '01'
doi: 10.1007/BFb0015008
extern: '1'
intvolume: ' 836'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0015008
month: '01'
oa_version: None
page: 162 - 177
publication: 5th International Conference on Concurrency Theory
publication_identifier:
isbn:
- '3540583297'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '93'
quality_controlled: '1'
status: public
title: The observational power of clocks
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 836
year: '1994'
...
---
_id: '4615'
abstract:
- lang: eng
text: We introduce the class of event- recording timed automata (ERA). An event-recording
automaton contains, for every event a, a clock that records the time of the last
occurrence of a. The class ERA is, on one hand, expressive enough to model (finite)
timed transition systems and, on the other hand, determinizable and closed under
all boolean operations. As a result, the language inclusion problem is decidable
for event-recording automata. We present a translation from timed transition systems
to event-recording automata, which leads to an algorithm for checking if two timed
transition systems have the same set of timed behaviors. We also consider event-predicting
timed automata (EPA), which contain clocks that predict the time of the next occurrence
of an event. The class of event-clock automata (ECA), which contain both event-recording
and event-predicting clocks, is a suitable specification language for real-time
properties. We provide an algorithm for checking if a timed automaton meets a
specification that is given as an event-clock automaton.
acknowledgement: "Supported in part by the Office of Naval Research under contract
N00014-91-J-1219, the National Science Foundation under grant CCR-8701103, and by
DARPA/NSF under grant CCR-9014363.\r\nSupported in part by the National Science
Foundation under grant CCR-9200794 and by the United States Air Force Office of
Scientific Research under contract F49620-93-1-0056."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Limor
full_name: Fix, Limor
last_name: Fix
- 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, Fix L, Henzinger TA. A determinizable class of timed automata. In:
International Conference on Computer Aided Verification. Vol 818. Springer;
1994:1-13. doi:10.1007/3-540-58179-0_39'
apa: 'Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of
timed automata. In International Conference on Computer Aided Verification
(Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer. https://doi.org/10.1007/3-540-58179-0_39'
chicago: Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class
of Timed Automata.” In International Conference on Computer Aided Verification,
818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
ieee: R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,”
in International Conference on Computer Aided Verification, Stanford, CA,
United States of America, 1994, vol. 818, pp. 1–13.
ista: 'Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata.
International Conference on Computer Aided Verification. CAV: Computer Aided Verification,
LNCS, vol. 818, 1–13.'
mla: Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.” International
Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13,
doi:10.1007/3-540-58179-0_39.
short: R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer
Aided Verification, Springer, 1994, pp. 1–13.
conference:
end_date: 1994-06-23
location: Stanford, CA, United States of America
name: 'CAV: Computer Aided Verification'
start_date: 1994-06-21
date_created: 2018-12-11T12:09:46Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-01T14:37:25Z
day: '01'
doi: 10.1007/3-540-58179-0_39
extern: '1'
intvolume: ' 818'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-58179-0_39
month: '01'
oa_version: None
page: 1 - 13
publication: International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540484691'
publication_status: published
publisher: Springer
publist_id: '92'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A determinizable class of timed automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 818
year: '1994'
...
---
_id: '4617'
abstract:
- lang: eng
text: 'We extend the timed-automaton model for real-time systems [AD90] to a formal
model for hybrid systems: while the continuous variables of a timed automaton
are clocks that measure time, the continuous variables of a hybrid system are
governed by arbitrary differential equations. We then adopt the verification methodology
for timed automata [ACD90, ACD+92, HNSY92] to analyze hybrid systems: while the
verification problem is decidable for timed automata, we obtain semidecision procedures
for the class of hybrid systems whose continuous variables change in a piecewise
linear fashion. '
alternative_title:
- LNCIS
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- 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
- first_name: Xavier
full_name: Nicollin, Xavier
last_name: Nicollin
- first_name: Alfredo
full_name: Olivero, Alfredo
last_name: Olivero
- first_name: Joseph
full_name: Sifakis, Joseph
last_name: Sifakis
- first_name: Sergio
full_name: Yovine, Sergio
last_name: Yovine
citation:
ama: 'Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid
systems. In: 11th International Conference on Analysis and Optimization of
Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565'
apa: 'Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero,
A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th
International Conference on Analysis and Optimization of Systems Discrete Event
Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. https://doi.org/10.1007/BFb0033565'
chicago: Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin,
Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis
of Hybrid Systems.” In 11th International Conference on Analysis and Optimization
of Systems Discrete Event Systems, 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
ieee: R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th
International Conference on Analysis and Optimization of Systems Discrete Event
Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
ista: 'Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis
J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International
Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS:
Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199,
331–351.'
mla: Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” 11th
International Conference on Analysis and Optimization of Systems Discrete Event
Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
short: R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero,
J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization
of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
conference:
end_date: 1994-06-17
location: Sophia-Antipolis, France
name: 'ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems'
start_date: 1994-06-15
date_created: 2018-12-11T12:09:46Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-01T14:14:31Z
day: '01'
doi: 10.1007/BFb0033565
extern: '1'
intvolume: ' 199'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0033565
month: '01'
oa_version: None
page: 331 - 351
publication: 11th International Conference on Analysis and Optimization of Systems
Discrete Event Systems
publication_identifier:
isbn:
- 978-3-540-19896-3
publication_status: published
publisher: Springer
publist_id: '91'
quality_controlled: '1'
status: public
title: The algorithmic analysis of hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 199
year: '1994'
...
---
_id: '6167'
abstract:
- lang: eng
text: The tra-1 gene is the terminal regulator in the sex determination pathway
in C. elegans, directing all aspects of somatic sexual differentiation. Recessive
loss-of-function (lf) mutations in tra-1 masculinize XX animals (normally somatically
female), while dominant gain-of-function mutations feminize XO animals (normally
male). Most tra-1 (lf) mutations can be fitted into a simple allelic series of
somatic masculinization, but a small number of lf alleles do not fit into this
series. Here we show that three of these mutations are associated with DNA rearrangements
5' to the coding region. One allele is an inversion that may be subject to a position
effect. We also report the isolation of a new class of tra-1 alleles that are
responsive to mutations in the smg system of RNA surveillance. We show that two
of these express RNAs of aberrant size. We suggest that the smg-sensitive mutations
may identify a carboxy-terminal domain required for negative regulation of tra-1
activity.
author:
- first_name: David
full_name: Zarkower, David
last_name: Zarkower
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: Rachel
full_name: Aronoff, Rachel
last_name: Aronoff
- first_name: Jonathan
full_name: Hodgkin, Jonathan
last_name: Hodgkin
citation:
ama: Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and
smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental
Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
apa: Zarkower, D., de Bono, M., Aronoff, R., & Hodgkin, J. (1994). Regulatory
rearrangements and smg-sensitive allels of the C. elegans sex-determining gene
tra-1. Developmental Genetics. Wiley. https://doi.org/10.1002/dvg.1020150306
chicago: Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory
Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene
Tra-1.” Developmental Genetics. Wiley, 1994. https://doi.org/10.1002/dvg.1020150306.
ieee: D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements
and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental
Genetics, vol. 15, no. 3. Wiley, pp. 240–250, 1994.
ista: Zarkower D, de Bono M, Aronoff R, Hodgkin J. 1994. Regulatory rearrangements
and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental
Genetics. 15(3), 240–250.
mla: Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels
of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics,
vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.
short: D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15
(1994) 240–250.
date_created: 2019-03-22T08:38:41Z
date_published: 1994-01-13T00:00:00Z
date_updated: 2021-01-12T08:06:30Z
day: '13'
doi: 10.1002/dvg.1020150306
extern: '1'
external_id:
pmid:
- '7520378'
intvolume: ' 15'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 240-250
pmid: 1
publication: Developmental Genetics
publication_identifier:
issn:
- 0192-253X
- 1520-6408
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining
gene tra-1
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '1994'
...
---
_id: '11857'
abstract:
- lang: eng
text: Two edges e/sub 1/ and e/sub 2/ of an undirected graph are cycle-equivalent
iff all cycles that contain e/sub 1/ also contain e/sub 2/, i.e., iff e/sub 1/
and e/sub 2/ are a cut-edge pair. The cycle-equivalence classes of the control-flow
graph are used in optimizing compilers to speed up existing control-flow and data-flow
algorithms. While the cycle-equivalence classes can be computed in linear time,
we present the first fully dynamic algorithm for maintaining the cycle-equivalence
relation. In an n-node graph our data structure executes an edge insertion or
deletion in O(/spl radic/n log n) time and answers the query whether two given
edges are cycle-equivalent in O(log/sup 2/ n) time. We also present an algorithm
for plane graphs with O(log n) update and query time and for planar graphs with
O(log n) insertion time and O(log/sup 2/ n) query and deletion time. Additionally,
we show a lower bound of /spl Omega/(log n/log log n) for the amortized time per
operation for the dynamic cycle-equivalence problem in the cell probe model.<
>
article_processing_charge: No
author:
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
ama: 'Henzinger MH. Fully dynamic cycle-equivalence in graphs. In: 35th Annual
Symposium on Foundations of Computer Science. Institute of Electrical and
Electronics Engineers; 1994:744-755. doi:10.1109/sfcs.1994.365718'
apa: 'Henzinger, M. H. (1994). Fully dynamic cycle-equivalence in graphs. In 35th
Annual Symposium on Foundations of Computer Science (pp. 744–755). Santa Fe,
NM, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/sfcs.1994.365718'
chicago: Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” In 35th
Annual Symposium on Foundations of Computer Science, 744–55. Institute of
Electrical and Electronics Engineers, 1994. https://doi.org/10.1109/sfcs.1994.365718.
ieee: M. H. Henzinger, “Fully dynamic cycle-equivalence in graphs,” in 35th Annual
Symposium on Foundations of Computer Science, Santa Fe, NM, United States,
1994, pp. 744–755.
ista: 'Henzinger MH. 1994. Fully dynamic cycle-equivalence in graphs. 35th Annual
Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of
Computer Science, 744–755.'
mla: Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” 35th Annual
Symposium on Foundations of Computer Science, Institute of Electrical and
Electronics Engineers, 1994, pp. 744–55, doi:10.1109/sfcs.1994.365718.
short: M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science,
Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
conference:
end_date: 1994-11-22
location: Santa Fe, NM, United States
name: 'FOCS: Symposium on Foundations of Computer Science'
start_date: 1994-11-20
date_created: 2022-08-16T08:29:08Z
date_published: 1994-11-01T00:00:00Z
date_updated: 2023-02-17T09:58:04Z
day: '01'
doi: 10.1109/sfcs.1994.365718
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 744 - 755
publication: 35th Annual Symposium on Foundations of Computer Science
publication_identifier:
isbn:
- 0-8186-6580-7
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully dynamic cycle-equivalence in graphs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1994'
...
---
_id: '3453'
alternative_title:
- Advances in second messenger and phosphoprotein research
article_processing_charge: No
author:
- first_name: Eberhard
full_name: Von Kitzing, Eberhard
last_name: Von Kitzing
- 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: Bert
full_name: Sakmann, Bert
last_name: Sakmann
citation:
ama: Von Kitzing E, Jonas PM, Sakmann B. Quantal analysis of excitatory postsynaptic
currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular
and cellular mechanisms of neurotransmitter release. 1994;29:235-260. doi:10.1016/0166-2236(95)90088-8
apa: Von Kitzing, E., Jonas, P. M., & Sakmann, B. (1994). Quantal analysis of
excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal
cell synapse. Molecular and Cellular Mechanisms of Neurotransmitter Release.
Raven Press. https://doi.org/10.1016/0166-2236(95)90088-8
chicago: Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis
of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal
Cell Synapse.” Molecular and Cellular Mechanisms of Neurotransmitter Release.
Raven Press, 1994. https://doi.org/10.1016/0166-2236(95)90088-8.
ieee: E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory
postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse,”
Molecular and cellular mechanisms of neurotransmitter release, vol. 29.
Raven Press, pp. 235–260, 1994.
ista: Von Kitzing E, Jonas PM, Sakmann B. 1994. Quantal analysis of excitatory postsynaptic
currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular
and cellular mechanisms of neurotransmitter release. 29, 235–260.
mla: Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic
Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” Molecular
and Cellular Mechanisms of Neurotransmitter Release, vol. 29, Raven Press,
1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
short: E. Von Kitzing, P.M. Jonas, B. Sakmann, Molecular and Cellular Mechanisms
of Neurotransmitter Release 29 (1994) 235–260.
date_created: 2018-12-11T12:03:24Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-03T11:46:09Z
day: '01'
doi: 10.1016/0166-2236(95)90088-8
extern: '1'
external_id:
pmid:
- '7848714 '
intvolume: ' 29'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0166223695900888?via%3Dihub
month: '01'
oa_version: None
page: 235 - 260
pmid: 1
publication: Molecular and cellular mechanisms of neurotransmitter release
publication_identifier:
isbn:
- '0781702208'
publication_status: published
publisher: Raven Press
publist_id: '2934'
quality_controlled: '1'
status: public
title: Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy
fiber-CA3 pyramidal cell synapse
type: review
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 29
year: '1994'
...
---
_id: '3460'
abstract:
- lang: eng
text: Excitatory postsynaptic currents in neurones of the central nervous system
have a dual-component time course that results from the co-activation of AMPA/kainate-type
and NMDA-type glutamate receptors. New approaches in electrophysiology and molecular
biology have provided a better understanding of the factors that determine the
kinectics of excitatory postsynaptic currents. Recent studies suggest that the
time course of neurotransmitter concentration in the synaptic cleft, the gating
properties of the native channels, and the glutamate receptor subunit composition
all appear to be important factors.
acknowledgement: 'We thank JGG Borst, N Burnashev, M Häusser, G Stuart and A Viilarroel
for critically reading the manuscript and E von Kitzing and A Roth for doing the
simulations and for many helpful discussions. Supported by the Deutsche Forschungsgemeinschaft
(SFB 317-B14) and the Alexander von Humboldt Foundation. '
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: Nelson
full_name: Spruston, Nelson
last_name: Spruston
citation:
ama: Jonas PM, Spruston N. Mechanisms shaping glutamate-mediated excitatory postsynaptic
currents in the CNS. Current Opinion in Neurobiology. 1994;4(3):366-372.
doi:10.1016/0959-4388(94)90098-1
apa: Jonas, P. M., & Spruston, N. (1994). Mechanisms shaping glutamate-mediated
excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology.
Elsevier. https://doi.org/10.1016/0959-4388(94)90098-1
chicago: Jonas, Peter M, and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated
Excitatory Postsynaptic Currents in the CNS.” Current Opinion in Neurobiology.
Elsevier, 1994. https://doi.org/10.1016/0959-4388(94)90098-1.
ieee: P. M. Jonas and N. Spruston, “Mechanisms shaping glutamate-mediated excitatory
postsynaptic currents in the CNS,” Current Opinion in Neurobiology, vol.
4, no. 3. Elsevier, pp. 366–372, 1994.
ista: Jonas PM, Spruston N. 1994. Mechanisms shaping glutamate-mediated excitatory
postsynaptic currents in the CNS. Current Opinion in Neurobiology. 4(3), 366–372.
mla: Jonas, Peter M., and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated
Excitatory Postsynaptic Currents in the CNS.” Current Opinion in Neurobiology,
vol. 4, no. 3, Elsevier, 1994, pp. 366–72, doi:10.1016/0959-4388(94)90098-1.
short: P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
date_created: 2018-12-11T12:03:27Z
date_published: 1994-06-01T00:00:00Z
date_updated: 2022-06-03T11:26:52Z
day: '01'
doi: 10.1016/0959-4388(94)90098-1
extern: '1'
external_id:
pmid:
- '7522678 '
intvolume: ' 4'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0959438894900981?via%3Dihub
month: '06'
oa_version: None
page: 366 - 372
pmid: 1
publication: Current Opinion in Neurobiology
publication_identifier:
issn:
- 0959-4388
publication_status: published
publisher: Elsevier
publist_id: '2927'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the
CNS
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 4
year: '1994'
...
---
_id: '3475'
abstract:
- lang: eng
text: '1. A potassium channel activated by internal Na+ ions (K+Na channel) was
identified in peripheral myelinated axons of Xenopus laevis using the cell-attached
and excised configurations of the patch clamp technique. 2. The single-channel
conductance for the main open state was 88 pS with [K+]o = 105 mM and pS with
[K+]o = 2.5 mM ([K+]i = 105 mM). The channel was selectively permeable to K+ over
Na+ ions. A characteristic feature of the K+Na channel was the frequent occurrence
of subconductance states. 3. The open probability of the channel was strongly
dependent on the concentration of Na+ ions at the inner side of the membrane.
The half-maximal activating Na+ concentration and the Hill coefficient were 33
mM and 2.9, respectively. The open probability of the channel showed only weak
potential dependence. 4. The K+Na channel was relatively insensitive to external
tetraethylammonium (TEA+) in comparison with voltage-dependent axonal K+ channels;
the half-maximal inhibitory concentration (IC50) was 21.3 mM (at -90 mV). In contrast,
the channel was blocked by low concentrations of external Ba2+ and Cs+ ions, with
IC50 values of 0.7 and 1.1 mM, respectively (at -90 mV). The block by Ba2+ and
Cs+ was more pronounced at negative than at positive membrane potentials. 5. A
comparison of the number of K+Na channels in nodal and paranodal patches from
the same axon revealed that the channel density was about 10-fold higher at the
node of Ranvier than at the paranode. Moreover, a correlation between the number
of K+Na channels and voltage-dependent Na+ channels in the same patches was found,
suggesting co-localization of both channel types. 6. As weakly potential-dependent
(''leakage'') channels, axonal K+Na channels may be involved in setting the resting
potential of vertebrate axons. Simulations of Na+ ion diffusion suggest two possible
mechanisms of activation of K+Na channels: the local increase of Na+ concentration
in a cluster of Na+ channels during a single action potential or the accumulation
in the intracellular axonal compartment during a train of action potentials.'
acknowledgement: 'We thank Drs M.Häusser and A. Villarroel for critically reading
the manuscript, Dr E. v. Kitzing and A. Roth for many helpful discussions. This
work was supported by the Deutsche Forschungsgemeinschaft (Vo188/13-2). '
article_processing_charge: No
article_type: original
author:
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- 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: Werner
full_name: Vogel, Werner
last_name: Vogel
citation:
ama: Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal
region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197.
doi:10.1113/jphysiol.1994.sp020287
apa: Koh, D., Jonas, P. M., & Vogel, W. (1994). Na+-activated K+ channels localized
in the nodal region of myelinated axons of Xenopus. Journal of Physiology.
Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1994.sp020287
chicago: Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized
in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology.
Wiley-Blackwell, 1994. https://doi.org/10.1113/jphysiol.1994.sp020287.
ieee: D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in
the nodal region of myelinated axons of Xenopus,” Journal of Physiology,
vol. 479. Wiley-Blackwell, pp. 183–197, 1994.
ista: Koh D, Jonas PM, Vogel W. 1994. Na+-activated K+ channels localized in the
nodal region of myelinated axons of Xenopus. Journal of Physiology. 479, 183–197.
mla: Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of
Myelinated Axons of Xenopus.” Journal of Physiology, vol. 479, Wiley-Blackwell,
1994, pp. 183–97, doi:10.1113/jphysiol.1994.sp020287.
short: D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
date_created: 2018-12-11T12:03:31Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-03T11:09:21Z
day: '01'
doi: 10.1113/jphysiol.1994.sp020287
extern: '1'
external_id:
pmid:
- '7799220 '
intvolume: ' 479'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1155738/
month: '01'
oa: 1
oa_version: Published Version
page: 183 - 197
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2912'
quality_controlled: '1'
status: public
title: Na+-activated K+ channels localized in the nodal region of myelinated axons
of Xenopus
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 479
year: '1994'
...
---
_id: '3476'
abstract:
- lang: eng
text: Tight-seal whole-cell recordings were made from cleaned somata of CA3 pyramidal
cells deep in hippocampal slices from 19–21-d-old rats. The cells were filled
with biocytin, and their voltage responses to short current pulses were recorded.
After washout of initial sag, responses scaled linearly with injected current
and were stable over time. The dendritic and axonal arbors of four cells were
reconstructed and measured using light microscopy. Dendritic spines and axonal
boutons were counted and the additional membrane area was incorporated into the
relevant segments. The morphology of each neuron was converted into a detailed
branching cable model by assuming values for specific membrane capacitance Cm
and resistance Rm, and cytoplasmic resistivity Ri. These parameters were optimized
for each cell by directly matching the model's response to that of the real cell
by means of a modified weighted least-squares fitting procedure. By comparing
the deviations between model and experimental responses to control noise recordings,
approximate 95% confidence intervals were established for each parameter. If a
somatic shunt was allowed, a wide range of possible Rm values produced acceptable
fits. With zero shunt, Cm was 0.7–0.8 microFcm-2, Ri was 170–340 omega cm, and
Rm ranged between 120 and 200 k omega cm2. The electrotonic lengths of the basal
and oblique dendrites were 0.2–0.3 space constants, and those of the apical tufts
were 0.4–0.7 space constants. The steady-state electrical geometry of these cells
was therefore compact; average dendritic tip/soma relative synaptic efficacies
were > 93% for the basal and oblique dendrites, and > 81% for the tufts.
With fast transient synaptic inputs, however, the models produced a wide range
of postsynaptic potential shapes and marked filtering of voltage-clamp currents.
acknowledgement: 'logy Training Fellowship. A.L. was supported by a Royal Society
Fellowship. The Oxford part of the collaboration was funded by a Wellcome Trust
Programme Grant, the Heidelberg part by the Max-Planck Gesellschaft. We are grateful
to Sir David Cox for his comments on the statistics, to K. Stratford, M. Hausser,
D. Flitney, M. O’Neill, S. Gough, G. Stuart, N. Spruston, P. Stem, and K. Bauer
for their help and useful discussions, and to M. Kaiser for technical assistance. '
article_processing_charge: No
article_type: original
author:
- first_name: Guy
full_name: Major, Guy
last_name: Major
- first_name: Alan
full_name: Larkman, Alan
last_name: Larkman
- 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: Bert
full_name: Sakmann, Bert
last_name: Sakmann
- first_name: Julian
full_name: Jack, Julian
last_name: Jack
citation:
ama: Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models
of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal
of Neuroscience. 1994;14(8):4613-4638. doi:10.1523/JNEUROSCI.14-08-04613.1994
apa: Major, G., Larkman, A., Jonas, P. M., Sakmann, B., & Jack, J. (1994). Detailed
passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal
slices. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994
chicago: Major, Guy, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack.
“Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in
Rat Hippocampal Slices.” Journal of Neuroscience. Society for Neuroscience,
1994. https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994.
ieee: G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive
cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,”
Journal of Neuroscience, vol. 14, no. 8. Society for Neuroscience, pp.
4613–4638, 1994.
ista: Major G, Larkman A, Jonas PM, Sakmann B, Jack J. 1994. Detailed passive cable
models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices.
Journal of Neuroscience. 14(8), 4613–4638.
mla: Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3
Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience,
vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:10.1523/JNEUROSCI.14-08-04613.1994.
short: G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience
14 (1994) 4613–4638.
date_created: 2018-12-11T12:03:32Z
date_published: 1994-08-01T00:00:00Z
date_updated: 2022-06-03T09:36:43Z
day: '01'
doi: 10.1523/JNEUROSCI.14-08-04613.1994
extern: '1'
external_id:
pmid:
- '8046439 '
intvolume: ' 14'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://europepmc.org/article/med/8046439
month: '08'
oa: 1
oa_version: Published Version
page: 4613 - 4638
pmid: 1
publication: Journal of Neuroscience
publication_identifier:
issn:
- 0270-6474
publication_status: published
publisher: Society for Neuroscience
publist_id: '2911'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons
in rat hippocampal slices
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 14
year: '1994'
...
---
_id: '3477'
abstract:
- lang: eng
text: Fast excitatory synaptic transmission in the CNS is mediated by AMPA-type
glutamate receptor (GluR) channels. Heterologous expression suggested that the
Ca2+ permeability of these receptors critically depends on the subunit composition.
Using patch-clamp techniques in brain slices, we found that the Ca2+ permeability
of native AMPA-type GluRs was markedly higher in nonpyramidal (P(Ca)/P(K) ≃ 0.63)
than in pyramidal (P(Ca)/P(K) ≃ 0.05) neurons of rat neocortex. Analysis of mRNA
in single cells indicated that the relative abundance of GluR-B-specific mRNA
was significantly lower in nonpyramidal (GluR-B/GluR-non-B ≃ 0.3) than in pyramidal
(GluR-B/GluR-non-B ≃ 3) cells. This suggests that differences in relative abundance
of GluR-B- specific mRNA generate functional diversity of AMPA-type GluRs in neurons
with respect to Ca2+ permeability.
acknowledgement: We thank Drs. B. Lambolez and J. Rossier for helping to establish
the method of single-cell PCR, Dr. M. Frotscher for help with cell identification,
Dr. N. Spruston for critically reading the manuscript, and M. Kaiser and U. Keller
for technical assistance. This work was supported in part by BMFT grant BCT 364
AZ 3211 7291 (P. H. S.) and by DFG grant SFB-317/B14 (P. J.). The costs of publication
of this article were defrayed in part by the payment of page charges. This article
must therefore be hereby marked “advertisement” in accordance with 18 USC Section
1734 solely to indicate this fact.
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: Claudia
full_name: Racca, Claudia
last_name: Racca
- first_name: Bert
full_name: Sakmann, Bert
last_name: Sakmann
- first_name: Peter
full_name: Seeburg, Peter
last_name: Seeburg
- first_name: Hannah
full_name: Monyer, Hannah
last_name: Monyer
citation:
ama: Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability
of AMPA-type glutamate receptor channels in neocortical neurons caused by differential
GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi:10.1016/0896-6273(94)90444-8
apa: Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., & Monyer, H. (1994).
Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in
neocortical neurons caused by differential GluR-B subunit expression. Neuron.
Elsevier. https://doi.org/10.1016/0896-6273(94)90444-8
chicago: Jonas, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah
Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels
in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” Neuron.
Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90444-8.
ieee: P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences
in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical
neurons caused by differential GluR-B subunit expression,” Neuron, vol.
12, no. 6. Elsevier, pp. 1281–1289, 1994.
ista: Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. 1994. Differences in Ca(2+)
permeability of AMPA-type glutamate receptor channels in neocortical neurons caused
by differential GluR-B subunit expression. Neuron. 12(6), 1281–1289.
mla: Jonas, Peter M., et al. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate
Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit
Expression.” Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1281–89, doi:10.1016/0896-6273(94)90444-8.
short: P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994)
1281–1289.
date_created: 2018-12-11T12:03:32Z
date_published: 1994-06-01T00:00:00Z
date_updated: 2022-06-03T09:29:36Z
day: '01'
doi: 10.1016/0896-6273(94)90444-8
extern: '1'
external_id:
pmid:
- '8011338 '
intvolume: ' 12'
issue: '6'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0896627394904448?via%3Dihub
month: '06'
oa_version: None
page: 1281 - 1289
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '2910'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels
in neocortical neurons caused by differential GluR-B subunit expression
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1994'
...
---
_id: '3550'
acknowledgement: This work is partially supported by the National Science Foundation,
under grant ASC-9200301 and the Alan T. Waterman award, grant CCR-9118874
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. Modeling with simplicial complexes (topology, geometry and
algorithms). In: Proceedings of the 6th Canadian Conference on Computational
Geometry. ; 1994:36-44.'
apa: Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry
and algorithms). In Proceedings of the 6th Canadian Conference on Computational
Geometry (pp. 36–44). Saskatoon, Canada.
chicago: Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry
and Algorithms).” In Proceedings of the 6th Canadian Conference on Computational
Geometry, 36–44, 1994.
ieee: H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and
algorithms),” in Proceedings of the 6th Canadian Conference on Computational
Geometry, Saskatoon, Canada, 1994, pp. 36–44.
ista: 'Edelsbrunner H. 1994. Modeling with simplicial complexes (topology, geometry
and algorithms). Proceedings of the 6th Canadian Conference on Computational Geometry.
CCCG: Canadian Conference on Computational Geometry, 36–44.'
mla: Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry
and Algorithms).” Proceedings of the 6th Canadian Conference on Computational
Geometry, 1994, pp. 36–44.
short: H. Edelsbrunner, in:, Proceedings of the 6th Canadian Conference on Computational
Geometry, 1994, pp. 36–44.
conference:
location: Saskatoon, Canada
name: 'CCCG: Canadian Conference on Computational Geometry'
date_created: 2018-12-11T12:03:55Z
date_published: 1994-08-01T00:00:00Z
date_updated: 2022-06-03T08:50:45Z
day: '01'
extern: '1'
language:
- iso: eng
month: '08'
oa_version: None
page: 36 - 44
publication: Proceedings of the 6th Canadian Conference on Computational Geometry
publication_status: published
publist_id: '2835'
quality_controlled: '1'
status: public
title: Modeling with simplicial complexes (topology, geometry and algorithms)
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1994'
...
---
_id: '3641'
abstract:
- lang: eng
text: The probability of fixation of a mutation with selective advantage s will
be reduced by substitutions at other loci. The effect of a single substitution,
with selective advantage S0016672300032857inline1, can be approximated as a sudden
reduction in the frequency of the favourable allele, by a fraction w = 1 −(s/S)r/s
(where r is the recombination rate). An expression for the effect of a given sequence
of such catastrophes is derived. This also applies to the ecological prxoblem
of finding the probability that a small population will survive, despite occasional
disasters. It is shown that if substitutions occur at a rate Δ, and are scattered
randomly over a genetic map of length R, then an allele is unlikely to be fixed
if its advantage is less than a critical value, Scrit = (π2/6)(2ΔS/(Rlog(S/s))).
This threshold depends primarily on the variance in fitness per unit map length
dueto substitutions, var(W)/R = 2ΔS/R. With no recombination, the fixation probability
can be calculated for a finite population. If Δ > s, it is of the same order
as for a neutral allele ( ≈ Δ/(2N(Δ−s))), whilst if S0016672300032857inline2,
fixation probability is much higher than for a neutral allele, but much lower
than in the absence of hitch-hiking S0016672300032857inline3. These results suggest
that hitch-hiking may substantially impede the accumulation of weakly favoured
adaptations.
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. The reduction in fixation probability caused by substitutions at
linked loci. Genetical Research. 1994;64(3):199-208. doi:10.1017/S0016672300032857
apa: Barton, N. H. (1994). The reduction in fixation probability caused by substitutions
at linked loci. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300032857
chicago: Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions
at Linked Loci.” Genetical Research. Cambridge University Press, 1994.
https://doi.org/10.1017/S0016672300032857
.
ieee: N. H. Barton, “The reduction in fixation probability caused by substitutions
at linked loci,” Genetical Research, vol. 64, no. 3. Cambridge University
Press, pp. 199–208, 1994.
ista: Barton NH. 1994. The reduction in fixation probability caused by substitutions
at linked loci. Genetical Research. 64(3), 199–208.
mla: Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions
at Linked Loci.” Genetical Research, vol. 64, no. 3, Cambridge University
Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
short: N.H. Barton, Genetical Research 64 (1994) 199–208.
date_created: 2018-12-11T12:04:23Z
date_published: 1994-12-01T00:00:00Z
date_updated: 2022-06-03T08:34:32Z
day: '01'
doi: '10.1017/S0016672300032857 '
extern: '1'
intvolume: ' 64'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/reduction-in-fixation-probability-caused-by-substitutions-at-linked-loci/458BBF3E7FE92E4EA6AFB2B000A98945
month: '12'
oa_version: None
page: 199 - 208
publication: Genetical Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '2742'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The reduction in fixation probability caused by substitutions at linked loci
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 64
year: '1994'
...
---
_id: '3642'
abstract:
- lang: eng
text: We develop a general population genetic framework for analyzing selection
on many loci, and apply it to strong truncation and disruptive selection on an
additive polygenic trait. We first present statistical methods for analyzing the
infinitesimal model, in which offspring breeding values are normally distributed
around the mean of the parents, with fixed variance. These show that the usual
assumption of a Gaussian distribution of breeding values in the population gives
remarkably accurate predictions for the mean and the variance, even when disruptive
selection generates substantial deviations from normality. We then set out a general
genetic analysis of selection and recombination. The population is represented
by multilocus cumulants describing the distribution of haploid genotypes, and
selection is described by the relation between mean fitness and these cumulants.
We provide exact recursions in terms of generating functions for the effects of
selection on non-central moments. The effects of recombination are simply calculated
as a weighted sum over all the permutations produced by meiosis. Finally, the
new cumulants that describe the next generation are computed from the non-central
moments. Although this scheme is applied here in detail only to selection on an
additive trait, it is quite general. For arbitrary epistasis and linkage, we describe
a consistent infinitesimal limit in which the short-term selection response is
dominated by infinitesimal allele frequency changes and linkage disequilibria.
Numerical multilocus results show that the standard Gaussian approximation gives
accurate predictions for the dynamics of the mean and genetic variance in this
limit. Even with intense truncation selection, linkage disequilibria of order
three and higher never cause much deviation from normality. Thus, the empirical
deviations frequently found between predicted and observed responses to artificial
selection are not caused by linkage-disequilibrium-induced departures from normality.
Disruptive selection can generate substantial four-way disequilibria, and hence
kurtosis; but even then, the Gaussian assumption predicts the variance accurately.
In contrast to the apparent simplicity of the infinitesimal limit, data suggest
that changes in genetic variance after 10 or more generations of selection are
likely to be dominated by allele frequency dynamics that depend on genetic details.
article_processing_charge: No
article_type: original
author:
- first_name: Michael
full_name: Turelli, Michael
last_name: Turelli
- 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: 'Turelli M, Barton NH. Genetic and statistical analyses of strong selection
on polygenic traits: What, me normal? Genetics. 1994;138(3):913-941. doi:10.1093/genetics/138.3.913'
apa: 'Turelli, M., & Barton, N. H. (1994). Genetic and statistical analyses
of strong selection on polygenic traits: What, me normal? Genetics. Genetics
Society of America. https://doi.org/10.1093/genetics/138.3.913'
chicago: 'Turelli, Michael, and Nicholas H Barton. “Genetic and Statistical Analyses
of Strong Selection on Polygenic Traits: What, Me Normal?” Genetics. Genetics
Society of America, 1994. https://doi.org/10.1093/genetics/138.3.913.'
ieee: 'M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong
selection on polygenic traits: What, me normal?,” Genetics, vol. 138, no.
3. Genetics Society of America, pp. 913–941, 1994.'
ista: 'Turelli M, Barton NH. 1994. Genetic and statistical analyses of strong selection
on polygenic traits: What, me normal? Genetics. 138(3), 913–941.'
mla: 'Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses
of Strong Selection on Polygenic Traits: What, Me Normal?” Genetics, vol.
138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:10.1093/genetics/138.3.913.'
short: M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
date_created: 2018-12-11T12:04:24Z
date_published: 1994-11-01T00:00:00Z
date_updated: 2022-06-03T08:18:54Z
day: '01'
doi: 10.1093/genetics/138.3.913
extern: '1'
external_id:
pmid:
- '7851785'
intvolume: ' 138'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://pubmed.ncbi.nlm.nih.gov/7851785/
month: '11'
oa: 1
oa_version: Published Version
page: 913 - 941
pmid: 1
publication: Genetics
publication_identifier:
issn:
- 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '2741'
quality_controlled: '1'
status: public
title: 'Genetic and statistical analyses of strong selection on polygenic traits:
What, me normal?'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 138
year: '1994'
...
---
_id: '4032'
abstract:
- lang: eng
text: Every collection of t≥2 n2 triangles with a total of n vertices in ℝ3 has
Ω(t4/n6) crossing pairs. This implies that one of their edges meets Ω(t3/n6) of
the triangles. From this it follows that n points in ℝ3 have only O(n8/3) halving
planes.
acknowledgement: The research of H. Edelsbrunner was supported by the National Science
Foundation under Grant CCR-8921421 and under an Alan T. Waterman award, Grant CCR-9118874.
Any opinions, findings and 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: Tamal
full_name: Dey, Tamal
last_name: Dey
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. Discrete
& Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381
apa: Dey, T., & Edelsbrunner, H. (1994). Counting triangle crossings and halving
planes. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574381
chicago: Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and
Halving Planes.” Discrete & Computational Geometry. Springer, 1994.
https://doi.org/10.1007/BF02574381.
ieee: T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,”
Discrete & Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289,
1994.
ista: Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes.
Discrete & Computational Geometry. 12(1), 281–289.
mla: Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving
Planes.” Discrete & Computational Geometry, vol. 12, no. 1, Springer,
1994, pp. 281–89, doi:10.1007/BF02574381.
short: T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994)
281–289.
date_created: 2018-12-11T12:06:33Z
date_published: 1994-09-01T00:00:00Z
date_updated: 2022-06-02T12:53:01Z
day: '01'
doi: 10.1007/BF02574381
extern: '1'
intvolume: ' 12'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02574381
month: '09'
oa_version: None
page: 281 - 289
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2091'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Counting triangle crossings and halving planes
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1994'
...