---
_id: '11677'
abstract:
- lang: eng
text: "We present an algorithm for maintaining the biconnected components of a graph
during a sequence of edge insertions and deletions. It requires linear storage
and preprocessing time. The amortized running time for insertions and for deletions
isO(m 2/3 ), wherem is the number of edges in the graph. Any query of the form
‘Are the verticesu andv biconnected?’ can be answered in timeO(1). This is the
first sublinear algorithm for this problem. We can also output all articulation
points separating any two vertices efficiently.\r\n\r\nIf the input is a plane
graph, the amortized running time for insertions and deletions drops toO(√n logn)
and the query time isO(log2 n), wheren is the number of vertices in the graph.
The best previously known solution takes timeO(n 2/3 ) per update or query."
article_processing_charge: No
article_type: original
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 biconnectivity in graphs. Algorithmica.
1995;13(6):503-538. doi:10.1007/bf01189067
apa: Henzinger, M. H. (1995). Fully dynamic biconnectivity in graphs. Algorithmica.
Springer Nature. https://doi.org/10.1007/bf01189067
chicago: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica.
Springer Nature, 1995. https://doi.org/10.1007/bf01189067.
ieee: M. H. Henzinger, “Fully dynamic biconnectivity in graphs,” Algorithmica,
vol. 13, no. 6. Springer Nature, pp. 503–538, 1995.
ista: Henzinger MH. 1995. Fully dynamic biconnectivity in graphs. Algorithmica.
13(6), 503–538.
mla: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica,
vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:10.1007/bf01189067.
short: M.H. Henzinger, Algorithmica 13 (1995) 503–538.
date_created: 2022-07-27T14:50:46Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-09-12T09:00:14Z
day: '01'
doi: 10.1007/bf01189067
extern: '1'
intvolume: ' 13'
issue: '6'
language:
- iso: eng
month: '06'
oa_version: None
page: 503-538
publication: Algorithmica
publication_identifier:
eissn:
- 1432-0541
issn:
- 0178-4617
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully dynamic biconnectivity in graphs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '1995'
...
---
_id: '11684'
abstract:
- lang: eng
text: 'This paper presents an algorithm for the fully dynamic biconnectivity problem
whose running time is exponentially faster than all previously known solutions.
It is the first dynamic algorithm that answers biconnectivity queries in time
O(log/sup 2/n) in a n-node graph and can be updated after an edge insertion or
deletion in polylogarithmic time. Our algorithm is a Las-Vegas style randomized
algorithm with the update time amortized update time O(log/sup 4/n). Only recently
the best deterministic result for this problem was improved to O(/spl radic/nlog/sup
2/n). We also give the first fully dynamic and a novel deletions-only transitive
closure (i.e. directed connectivity) algorithms. These are randomized Monte Carlo
algorithms. Let n be the number of nodes in the graph and let m/spl circ/ be the
average number of edges in the graph during the whole update sequence: The fully
dynamic algorithms achieve (1) query time O(n/logn) and update time O(m/spl circ//spl
radic/nlog/sup 2/n+n); or (2) query time O(n/logn) and update time O(nm/spl circ//sup
/spl mu/-1/)log/sup 2/n=O(nm/spl circ//sup 0.58/log/sup 2/n), where /spl mu/ is
the exponent for boolean matrix multiplication (currently /spl mu/=2.38). The
deletions-only algorithm answers queries in time O(n/logn). Its amortized update
time is O(nlog/sup 2/n).'
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
- first_name: V.
full_name: King, V.
last_name: King
citation:
ama: 'Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure.
In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute
of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668'
apa: 'Henzinger, M. H., & King, V. (1995). Fully dynamic biconnectivity and
transitive closure. In Proceedings of IEEE 36th Annual Foundations of Computer
Science (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical
and Electronics Engineers. https://doi.org/10.1109/SFCS.1995.492668'
chicago: Henzinger, Monika H, and V. King. “Fully Dynamic Biconnectivity and Transitive
Closure.” In Proceedings of IEEE 36th Annual Foundations of Computer Science,
664–72. Institute of Electrical and Electronics Engineers, 1995. https://doi.org/10.1109/SFCS.1995.492668.
ieee: M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive
closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science,
Milwaukee, WI, United States, 1995, pp. 664–672.
ista: Henzinger MH, King V. 1995. Fully dynamic biconnectivity and transitive closure.
Proceedings of IEEE 36th Annual Foundations of Computer Science. Foundations of
Computer Science, 664–672.
mla: Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive
Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science,
Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668.
short: M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations
of Computer Science, Institute of Electrical and Electronics Engineers, 1995,
pp. 664–672.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States
name: Foundations of Computer Science
start_date: 1995-10-23
date_created: 2022-07-28T11:28:13Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2023-02-09T11:35:17Z
day: '01'
doi: 10.1109/SFCS.1995.492668
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 664-672
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
isbn:
- 0-8186-7183-1
issn:
- 0272-5428
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully dynamic biconnectivity and transitive closure
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '11806'
abstract:
- lang: eng
text: This paper presents insertions-only algorithms for maintaining the exact and
approximate size of the minimum edge cut and the minimum vertex cut of a graph.
The algorithms output the approximate or exact size k in time O(1) or O(log n)
and a cut of size k in time linear in its size. The amortized time per insertion
is O(1/ε 2) for a (2+ε)-approximation, O((log λ)((log n)/ε)2) for a (1+ε)-approximation,
and O(λ log n) for the exact size of the minimum edge cut, where n is the number
of nodes in the graph, λ is the size of the minimum cut and ε>0. The (2+ε)-approximation
algorithm and the exact algorithm are deterministic, the (1+ε)-approximation algorithm
is randomized. The algorithms are optimal in the sense that the time needed for
m insertions matches the time needed by the best static algorithm on a m-edge
graph. We also present a static 2-approximation algorithm for the size κ of the
minimum vertex cut in a graph, which takes time O(n 2 min(√n,κ)). This is a factor
of κ faster than the best algorithm for computing the exact size, which takes
time O(κ 2 n 2 +κ 3 n 1.5). We give an insertionsonly algorithm for maintaining
a (2+ε)-approximation of the minimum vertex cut with amortized insertion time
O(n(logκk)/ε).
alternative_title:
- LNCS
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. Approximating minimum cuts under insertions. In: 22nd International
Colloquium on Automata, Languages and Programming. Vol 944. Springer Nature;
1995:280–291. doi:10.1007/3-540-60084-1_81'
apa: 'Henzinger, M. H. (1995). Approximating minimum cuts under insertions. In 22nd
International Colloquium on Automata, Languages and Programming (Vol. 944,
pp. 280–291). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/3-540-60084-1_81'
chicago: Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” In
22nd International Colloquium on Automata, Languages and Programming, 944:280–291.
Springer Nature, 1995. https://doi.org/10.1007/3-540-60084-1_81.
ieee: M. H. Henzinger, “Approximating minimum cuts under insertions,” in 22nd
International Colloquium on Automata, Languages and Programming, Szeged, Hungary,
1995, vol. 944, pp. 280–291.
ista: 'Henzinger MH. 1995. Approximating minimum cuts under insertions. 22nd International
Colloquium on Automata, Languages and Programming. ICALP: International Colloquium
on Automata, Languages, and Programming, LNCS, vol. 944, 280–291.'
mla: Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” 22nd
International Colloquium on Automata, Languages and Programming, vol. 944,
Springer Nature, 1995, pp. 280–291, doi:10.1007/3-540-60084-1_81.
short: M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages
and Programming, Springer Nature, 1995, pp. 280–291.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: International Colloquium on Automata, Languages, and Programming'
start_date: 1995-07-10
date_created: 2022-08-11T14:17:33Z
date_published: 1995-07-01T00:00:00Z
date_updated: 2023-02-14T08:09:08Z
day: '01'
doi: 10.1007/3-540-60084-1_81
extern: '1'
intvolume: ' 944'
language:
- iso: eng
month: '07'
oa_version: None
page: 280–291
publication: 22nd International Colloquium on Automata, Languages and Programming
publication_identifier:
eisbn:
- '9783540600848'
eissn:
- 1611-3349
isbn:
- '9783540494256'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Approximating minimum cuts under insertions
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 944
year: '1995'
...
---
_id: '11805'
abstract:
- lang: eng
text: In this paper, we present sparse certificates for biconnectivity together
with algorithms for updating these certificates. We thus obtain fully-dynamic
algorithms for biconnectivity in graphs that run in O(√n log n log⌈m/n⌉) amortized
time per operation, where m is the number of edges and n is the number of nodes
in the graph. This improves upon the results in [11], in which algorithms were
presented running in O(√m) amortized time, and solves the open problem to find
certificates to speed up biconnectivity, as stated in [2].
alternative_title:
- LNCS
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
- first_name: Han
full_name: Poutré, Han
last_name: Poutré
citation:
ama: 'Henzinger MH, Poutré H. Certificates and fast algorithms for biconnectivity
in fully-dynamic graphs. In: 3rd Annual European Symposium on Algorithms.
Vol 979. Springer Nature; 1995:171–184. doi:10.1007/3-540-60313-1_142'
apa: 'Henzinger, M. H., & Poutré, H. (1995). Certificates and fast algorithms
for biconnectivity in fully-dynamic graphs. In 3rd Annual European Symposium
on Algorithms (Vol. 979, pp. 171–184). Corfu, Greece: Springer Nature. https://doi.org/10.1007/3-540-60313-1_142'
chicago: Henzinger, Monika H, and Han Poutré. “Certificates and Fast Algorithms
for Biconnectivity in Fully-Dynamic Graphs.” In 3rd Annual European Symposium
on Algorithms, 979:171–184. Springer Nature, 1995. https://doi.org/10.1007/3-540-60313-1_142.
ieee: M. H. Henzinger and H. Poutré, “Certificates and fast algorithms for biconnectivity
in fully-dynamic graphs,” in 3rd Annual European Symposium on Algorithms,
Corfu, Greece, 1995, vol. 979, pp. 171–184.
ista: 'Henzinger MH, Poutré H. 1995. Certificates and fast algorithms for biconnectivity
in fully-dynamic graphs. 3rd Annual European Symposium on Algorithms. ESA: European
Symposium on Algorithms, LNCS, vol. 979, 171–184.'
mla: Henzinger, Monika H., and Han Poutré. “Certificates and Fast Algorithms for
Biconnectivity in Fully-Dynamic Graphs.” 3rd Annual European Symposium on Algorithms,
vol. 979, Springer Nature, 1995, pp. 171–184, doi:10.1007/3-540-60313-1_142.
short: M.H. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms,
Springer Nature, 1995, pp. 171–184.
conference:
end_date: 1995-09-27
location: Corfu, Greece
name: 'ESA: European Symposium on Algorithms'
start_date: 1995-09-25
date_created: 2022-08-11T14:09:52Z
date_published: 1995-09-01T00:00:00Z
date_updated: 2023-02-14T08:02:03Z
day: '01'
doi: 10.1007/3-540-60313-1_142
extern: '1'
intvolume: ' 979'
language:
- iso: eng
month: '09'
oa_version: None
page: 171–184
publication: 3rd Annual European Symposium on Algorithms
publication_identifier:
eisbn:
- '9783540449133'
eissn:
- 1611-3349
isbn:
- '9783540603139'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Certificates and fast algorithms for biconnectivity in fully-dynamic graphs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 979
year: '1995'
...
---
_id: '11928'
abstract:
- lang: eng
text: "We present a model with restricted randomness for edge updates in dynamic
graph algorithms and a general technique\r\nfor analyzing the expected running
time of an update operation. This model is able to capture the average case in
many applications, since (1) it allows restrictions on the set of edges which
can be used for insertions and (2) the type (insertion or deletion) of each update
operation is arbitrary, i.e., not random. We use our technique to analyze existing
and new dynamic algorithms for maximum cardinality matching, minimum spanning
forest, connectivity, 2-edge connectivity,\r\nk-edge connectivity, k-vertex connectivity,
and bipartiteness. Given a random graph G with mo edges and n vertices and\r\na
sequence of 1 update operations such that the graph contains rni edges after operation
i, the expected time for performing the updates for any 1 is O(1 logn + n xi=,
l/fii) in the case of minimum spanning forests, connectivity, 2-\r\nedge connectivity,
and bipartiteness. The expected time per update operation is O(n) in the case
of maximum matching. For k-edge and k-vertex connectivity we also give improved
bounds. Additionally we give an insertions-only algorithm for maximum cardinality
matching with worst-case O(n) amortized time per insertion. "
article_processing_charge: No
author:
- first_name: David
full_name: Alberts, David
last_name: Alberts
- 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: 'Alberts D, Henzinger MH. Average case analysis of dynamic graph algorithms.
In: 6th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial
and Applied Mathematics; 1995:312-321.'
apa: 'Alberts, D., & Henzinger, M. H. (1995). Average case analysis of dynamic
graph algorithms. In 6th Annual ACM-SIAM Symposium on Discrete Algorithms
(pp. 312–321). San Francisco, CA, United States: Society for Industrial and Applied
Mathematics.'
chicago: Alberts, David, and Monika H Henzinger. “Average Case Analysis of Dynamic
Graph Algorithms.” In 6th Annual ACM-SIAM Symposium on Discrete Algorithms,
312–21. Society for Industrial and Applied Mathematics, 1995.
ieee: D. Alberts and M. H. Henzinger, “Average case analysis of dynamic graph algorithms,”
in 6th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco,
CA, United States, 1995, pp. 312–321.
ista: 'Alberts D, Henzinger MH. 1995. Average case analysis of dynamic graph algorithms.
6th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete
Algorithms, 312–321.'
mla: Alberts, David, and Monika H. Henzinger. “Average Case Analysis of Dynamic
Graph Algorithms.” 6th Annual ACM-SIAM Symposium on Discrete Algorithms,
Society for Industrial and Applied Mathematics, 1995, pp. 312–21.
short: D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete
Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321.
conference:
end_date: 1995-01-24
location: San Francisco, CA, United States
name: 'SODA: Symposium on Discrete Algorithms'
start_date: 1995-01-22
date_created: 2022-08-19T07:10:23Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2023-02-21T16:24:58Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.5555/313651.313712
month: '01'
oa: 1
oa_version: Published Version
page: 312-321
publication: 6th Annual ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
isbn:
- '0898713498'
publication_status: published
publisher: Society for Industrial and Applied Mathematics
quality_controlled: '1'
related_material:
record:
- id: '11680'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Average case analysis of dynamic graph algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '1943'
abstract:
- lang: eng
text: Transhydrogenase from beef-heart mitochondria was solubilised with Triton
X-100 and purified by column chromatography. The detergent-dispersed enzyme catalysed
the reduction of acetylpyridine adenine dinucleotide (AcPdAD+) by NADH, but only
in the presence of NADP+. Experiments showed that this reaction was cyclic; NADP(H),
whilst remaining bound to the enzyme, was alternately reduced by NADH and oxidised
by AcPdAD+. A period of incubation of the enzyme with NADPH at pH 6.0 led to inhibition
of the simple transhydrogenation reaction between AcPdAD+ and NADPH. However,
after such treatment, transhydrogenase acquired the ability to catalyse the (NADPH-dependent)
reduction of AcPdAD+ by NADH. It is suggested that this is a similar cycle to
the one described above. Evidently, the binding affinity for NADP+ increases as
a consequence of the inhibition process resulting from prolonged incubation with
NADPH. The pH dependences of simple and cyclic transhydrogenation reactions are
described. Though more complex than those in Escherichia coli transhydrogenase,
they are consistent with the view [Hutton, M., Day, J.M., Bizouarn, T. and Jackson,
J.B. (1994) Eur. J. Biochem. 219, 1041–10511] that, also in the mitochondrial
enzyme, binding the release of NADP+ and NADP are accompanied by binding and release
of a proton. The enzyme was successfully reconstituted into liposomes by a cholate
dilution procedure. The proteoliposomes catalysed cyclic NADPH-dependent reduction
of AcPdAD+ by NADH only when they were tightly coupled. However, they catalysed
cyclic NADP+-dependent reduction of AcPdAD+ by NADH only when they were uncoupled
eg. by addition of carbonylcyanide-p-trifluoromethoxyphenyl hydrazone. These observations
are evidence that the proton binding and release which accompany NADP+ binding
and release, respectively, take place on the inside of the vesicle, and that they
are components of the electrogenic processes of the enzyme.
acknowledgement: 'L.A.S. is grateful to the Wellcome Trust for a Research Fellowship.
Support from the Biotechnology and Biological Sciences Research Council is also
acknowledged. We thank our colleagues. Tania Bizouarn, Mike Hutton and Nick Cotton,
for advice and valuable 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: Baz
full_name: Jackson, Baz
last_name: Jackson
citation:
ama: Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and
reconstituted transhydrogenase from beef heart mitochondria; implications for
the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics.
1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2
apa: Sazanov, L. A., & Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation. Biochimica et Biophysica Acta -
Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00096-2
chicago: Sazanov, Leonid A, and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed
and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications
for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta -
Bioenergetics. Elsevier, 1995. https://doi.org/10.1016/0005-2728(95)00096-2.
ieee: L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation,” Biochimica et Biophysica Acta -
Bioenergetics, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995.
ista: Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed
and reconstituted transhydrogenase from beef heart mitochondria; implications
for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics.
1231(3), 304–312.
mla: Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed
and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications
for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta -
Bioenergetics, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:10.1016/0005-2728(95)00096-2.
short: L.A. Sazanov, B. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1231
(1995) 304–312.
date_created: 2018-12-11T11:54:50Z
date_published: 1995-10-10T00:00:00Z
date_updated: 2022-06-29T15:04:47Z
day: '10'
doi: 10.1016/0005-2728(95)00096-2
extern: '1'
external_id:
pmid:
- '7578218'
intvolume: ' 1231'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/0005272895000962?via%3Dihub
month: '10'
oa: 1
oa_version: Published Version
page: 304 - 312
pmid: 1
publication: Biochimica et Biophysica Acta - Bioenergetics
publication_identifier:
issn:
- 0005-2728
publication_status: published
publisher: Elsevier
publist_id: '5142'
quality_controlled: '1'
status: public
title: Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase
from beef heart mitochondria; implications for the mechanism of proton translocation
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1231
year: '1995'
...
---
_id: '2465'
abstract:
- lang: eng
text: Auxins play a crucial role in the regulation of spatial and temporal aspects
of plant growth and development1. As well as being required for the division,
enlargement and differentiation of individual plant cells, auxins also function
as signals between cells, tissues and organs. In this way they contribute to the
coordination and integration of growth and development in the whole plant and
to physiological responses of plants to environmental cues (63). At the individual
cell level, fast changes or pulses in hormone concentration may function to initiate
or to terminate a developmental process. In contrast, the maintenance of a stable
concentration of the hormone (homeostasis) may be necessary to maintain the progress
of a developmental event that has already been initiated.
article_processing_charge: No
author:
- first_name: David
full_name: Morris, David
last_name: Morris
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
citation:
ama: 'Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant
Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484.
doi:10.1007/978-1-4020-2686-7_21'
apa: 'Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P.
Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!
(pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21'
chicago: 'Morris, David, Jiří Friml, and Eva Zažímalová. “Auxin Transport.” In Plant
Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies,
451–84. Kluwer, 1995. https://doi.org/10.1007/978-1-4020-2686-7_21.'
ieee: 'D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones:
Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp.
451–484.'
ista: 'Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones:
Biosynthesis, Signal Transduction, Action! , 451–484.'
mla: 'Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis,
Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84,
doi:10.1007/978-1-4020-2686-7_21.'
short: 'D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones:
Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.'
date_created: 2018-12-11T11:57:49Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-29T14:45:32Z
day: '01'
doi: 10.1007/978-1-4020-2686-7_21
editor:
- first_name: Peter
full_name: Davies, Peter
last_name: Davies
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-1-4020-2686-7_21
month: '01'
oa_version: None
page: 451 - 484
publication: 'Plant Hormones: Biosynthesis, Signal Transduction, Action!'
publication_identifier:
isbn:
- 978-1-4020-2684-3
publication_status: published
publisher: Kluwer
publist_id: '4438'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin transport
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '2491'
abstract:
- lang: eng
text: The distribution of mRNAs for metabotropic glutamate receptors, mGluR4 and
mGluR7, which are highly sensitive for L-2-amino-4-phosphonobutyrate (L- AP4),
was examined in the central nervous system of the rat by in situ hybridization.
In general, the hybridization signals of mGluR7 mRNA were more widely distributed
than those of mGluR4 mRNA, and differential expression of mGluR4 mRNA and mGluR7
mRNA was clearly indicated in some brain regions. Intense or moderate expression
of mGluR4 mRNA was detected in the granule cells of the olfactory bulb and cerebellum,
whereas no significant expression of mGluR7 mRNA was found in these cells. In
other neurons or regions where mGluR7 mRNA was intensely or moderately expressed,
no significant expression of mGluR4 mRNA was observed. Such were the mitral and
tufted cells of the olfactory bulb; anterior olfactory nucleus; neocortical regions;
cingulate cortex; retrosplenial cortex; piriform cortex; perirhinal cortex; CA1;
CA3; granule cells of the dentate gyrus; superficial layers of the subicular cortex;
deep layers of the entorhinal, parasubicular, and presubicular cortices; ventral
part of the lateral septal nucleus; septohippocampal nucleus; triangular septal
nucleus; nuclei of the diagonal band; bed nucleus of the stria terminalis; ventral
pallidum; claustrum; amygdaloid nuclei other than the intercalated nuclei; preoptic
region; hypothalamic nuclei other than the medial mammillary nucleus; ventral
lateral geniculate nucleus; locus coeruleus; Purkinje cells; many nuclei of the
lower brainstem other than the superior colliculus, periaqueductal gray, interpeduncular
nucleus, pontine nuclei, and dorsal cochlear nucleus; and dorsal horn of the spinal
cord. Both mGluR4 mRNA and mGluR7 mRNA were moderately or intensely expressed
in the olfactory tubercle, superficial layers of the entorhinal cortex, CA4, septofimbrial
nucleus, intercalated nuclei of the amygdala, medial mammillary nucleus, many
thalamic nuclei, and pontine nuclei. Intense expression of both mGluR4 mRNA and
mGluR7 mRNA was further detected in the trigeminal ganglion and dorsal root ganglia,
whereas no significant expression of them was found in the pterygopalatine ganglion
and superior cervical ganglion. The results indicate differential roles of the
L-AP4-sensitive metabotropic glutamate receptors in the glutamatergic nervous
system.
acknowledgement: We are grateful to Akira Uesugi for photographic help. This work
has been supported in part by research grants from the Ministry of Education, Science
and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- first_name: Chihiro
full_name: Akazawa, Chihiro
last_name: Akazawa
- 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
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the
mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors,
mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology.
1995;360(4):555-570. doi:10.1002/cne.903600402
apa: Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995).
Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic
glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative
Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903600402
chicago: Ohishi, Hitoshi, Chihiro Akazawa, Ryuichi Shigemoto, Shigetada Nakanishi,
and Noboru Mizuno. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive
Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal
of Comparative Neurology. Wiley-Blackwell, 1995. https://doi.org/10.1002/cne.903600402.
ieee: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distributions
of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate
receptors, mGluR4 and mGluR7, in the rat brain,” Journal of Comparative Neurology,
vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995.
ista: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. 1995. Distributions
of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate
receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology.
360(4), 555–570.
mla: Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive
Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal
of Comparative Neurology, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70,
doi:10.1002/cne.903600402.
short: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of
Comparative Neurology 360 (1995) 555–570.
date_created: 2018-12-11T11:57:59Z
date_published: 1995-10-02T00:00:00Z
date_updated: 2022-06-29T13:08:19Z
day: '02'
doi: 10.1002/cne.903600402
extern: '1'
external_id:
pmid:
- '8801249'
intvolume: ' 360'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://onlinelibrary.wiley.com/doi/abs/10.1002/cne.903600402
month: '10'
oa_version: None
page: 555 - 570
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
issn:
- 0021-9967
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4410'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic
glutamate receptors, mGluR4 and mGluR7, in the rat brain
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 360
year: '1995'
...
---
_id: '2559'
abstract:
- lang: eng
text: Taking advantage of the restricted expression of metabotropic glutamate receptor
subtype 6 (mGIuR6) in retinal ON bipolar cells, we generated knockout mice lacking
mGIuR6 expression. The homozygous mutant mice showed a loss of ON responses but
unchanged OFF responses to light. The mutant mice displayed no obvious changes
in retinal cell organization nor in the projection of optic fibers to the brain.
Furthermore, the mGIuR6-deficient mice showed visual behavioral responses to light
stimulation as examined by shuttle box avoidance behavior experiments using light
exposure as a conditioned stimulus. The results demonstrate that mGIuR6 is essential
in synaptic transmission to the ON bipolar cell and that the OFF response provides
an important means for transmitting visual information.
acknowledgement: We thank Drs. N. Mizuno, M. Iso, M. Tachibana, A. Kaneko, M. Tessier-Lavigne,
and T. Hensch for useful advice and A. Uesugi for photographic assistance. This
work is supported by grants in aid for specially promoted research, for scientific
research on priority areas, and for scientific research (A) from the Ministry of
Education, Science, and Culture in Japan and by grants from the Ministry of Health
and Welfare of Japan, the Sankyo Foundation, and the Senri Life Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Masayuki
full_name: Masu, Masayuki
last_name: Masu
- first_name: Hideki
full_name: Iwakabe, Hideki
last_name: Iwakabe
- first_name: Yoshiaki
full_name: Tagawa, Yoshiaki
last_name: Tagawa
- first_name: Tomomitsu
full_name: Miyoshi, Tomomitsu
last_name: Miyoshi
- first_name: Masayuki
full_name: Yamashita, Masayuki
last_name: Yamashita
- first_name: Yutaka
full_name: Fukuda, Yutaka
last_name: Fukuda
- first_name: Hitoshi
full_name: Sasaki, Hitoshi
last_name: Sasaki
- first_name: Kano
full_name: Hiroi, Kano
last_name: Hiroi
- first_name: Yasuhisa
full_name: Nakamura, Yasuhisa
last_name: Nakamura
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- first_name: Kenji
full_name: Nakamura, Kenji
last_name: Nakamura
- first_name: Kazuki
full_name: Nakao, Kazuki
last_name: Nakao
- first_name: Motoya
full_name: Katsuki, Motoya
last_name: Katsuki
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
citation:
ama: Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in
visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765.
doi:10.1016/0092-8674(95)90354-2
apa: Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y.,
… Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission
by targeted disruption of the mGIuR6 gene. Cell. Cell Press. https://doi.org/10.1016/0092-8674(95)90354-2
chicago: Masu, Masayuki, Hideki Iwakabe, Yoshiaki Tagawa, Tomomitsu Miyoshi, Masayuki
Yamashita, Yutaka Fukuda, Hitoshi Sasaki, et al. “Specific Deficit of the ON Response
in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell.
Cell Press, 1995. https://doi.org/10.1016/0092-8674(95)90354-2.
ieee: M. Masu et al., “Specific deficit of the ON response in visual transmission
by targeted disruption of the mGIuR6 gene,” Cell, vol. 80, no. 5. Cell
Press, pp. 757–765, 1995.
ista: Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi
K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi
S. 1995. Specific deficit of the ON response in visual transmission by targeted
disruption of the mGIuR6 gene. Cell. 80(5), 757–765.
mla: Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission
by Targeted Disruption of the MGIuR6 Gene.” Cell, vol. 80, no. 5, Cell
Press, 1995, pp. 757–65, doi:10.1016/0092-8674(95)90354-2.
short: M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki,
K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki,
S. Nakanishi, Cell 80 (1995) 757–765.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-02-10T00:00:00Z
date_updated: 2022-06-28T13:27:50Z
day: '10'
doi: 10.1016/0092-8674(95)90354-2
extern: '1'
external_id:
pmid:
- '7889569'
intvolume: ' 80'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/0092867495903542
month: '02'
oa: 1
oa_version: Published Version
page: 757 - 765
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Cell Press
publist_id: '4339'
quality_controlled: '1'
status: public
title: Specific deficit of the ON response in visual transmission by targeted disruption
of the mGIuR6 gene
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 80
year: '1995'
...
---
_id: '2558'
abstract:
- lang: eng
text: Brain areas involved in the genesis and control of daily rhythms receive a
prominent neural input that contains the neurotransmitter substance P (SP), a
peptide putatively involved in the synchronization of circadian rhythms by environmental
light. We investigated the localization of receptors to SP in the suprachiasmatic
nucleus of the hypothalamus (SCN) and in the intergeniculate leaflet of the thalamus
(IGL) of the rat and hamster using in situ hybridization histochemistry and immunohistochemistry.
Consistently with that previously described in the rat, a neuronal population
distributed along the lateral margin and at the dorso-latero-caudal aspect of
the hamster SCN expresses moderately the mRNA encoding the SP receptor. In both
rat and hamster, immunohistochemical data confirm the previous finding and reveal
an almost complete absence of SP receptors in the ventral part of the SCN, which
receives a direct projection from the retina. In the IGL of both species, numerous
neurons prominently express the mRNA encoding the SP receptor. The immunostaining
shows a high density of SP receptors on perikarya and dendrites throughout the
nucleus. A dense staining is also observed on individual cells and processes bordering
the lumen of blood vessels in the SCN and IGL.
article_processing_charge: No
article_type: original
author:
- first_name: Gérard
full_name: Mick, Gérard
last_name: Mick
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Kunio
full_name: Kitahama, Kunio
last_name: Kitahama
citation:
ama: Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central
neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus
de l’Academie des Sciences - Series III. 1995;318(2):209-217.
apa: Mick, G., Shigemoto, R., & Kitahama, K. (1995). Localization of substance
P receptors in central neural structures controlling daily rhythms in nocturnal
rodents. Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier
Villars Editeur.
chicago: Mick, Gérard, Ryuichi Shigemoto, and Kunio Kitahama. “Localization of Substance
P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal
Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier
Villars Editeur, 1995.
ieee: G. Mick, R. Shigemoto, and K. Kitahama, “Localization of substance P receptors
in central neural structures controlling daily rhythms in nocturnal rodents,”
Comptes Rendus de l’Academie des Sciences - Series III, vol. 318, no. 2.
Gauthier Villars Editeur, pp. 209–217, 1995.
ista: Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors
in central neural structures controlling daily rhythms in nocturnal rodents. Comptes
Rendus de l’Academie des Sciences - Series III. 318(2), 209–217.
mla: Mick, Gérard, et al. “Localization of Substance P Receptors in Central Neural
Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus
de l’Academie Des Sciences - Series III, vol. 318, no. 2, Gauthier Villars
Editeur, 1995, pp. 209–17.
short: G. Mick, R. Shigemoto, K. Kitahama, Comptes Rendus de l’Academie Des Sciences
- Series III 318 (1995) 209–217.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-02-01T00:00:00Z
date_updated: 2022-06-29T08:18:48Z
day: '01'
extern: '1'
external_id:
pmid:
- '7757814 '
intvolume: ' 318'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://pubmed.ncbi.nlm.nih.gov/7757814/
month: '02'
oa_version: None
page: 209 - 217
pmid: 1
publication: Comptes Rendus de l'Academie des Sciences - Series III
publication_identifier:
issn:
- 0764-4469
publication_status: published
publisher: Gauthier Villars Editeur
publist_id: '4340'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Localization of substance P receptors in central neural structures controlling
daily rhythms in nocturnal rodents
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 318
year: '1995'
...
---
_id: '2561'
abstract:
- lang: eng
text: An antibody which recognizes specifically a metabotropic glutamate receptor,
mGluR7, was produced by using a trpE fusion protein containing a C-terminal sequence
of rat mGluR7. Neuropil in laminae I and II of the dorsal horn of the rat, as
well as many neuronal cell bodies in the dorsal root ganglion, showed mGluR7-like
immunoreactivity; the immunoreactivity in neuropil was seen in axon terminals,
which were filled with round synaptic vesicles and constituted axodendritic and
axosomatic asymmetric synapses. The mGluR7-like immunoreactivity in laminae I
and II in the dorsal horn was reduced after dorsal rhizotomy. The results indicate
that some axon terminals of the primary afferent fibers to laminae I and II of
the dorsal horn are provided with mGluR7.
acknowledgement: We are grateful to Mr. Akira Uesugi for photographic help.
article_processing_charge: No
article_type: original
author:
- first_name: Hitoshi
full_name: Ohishi, Hitoshi
last_name: Ohishi
- first_name: Sakashi
full_name: Nomura, Sakashi
last_name: Nomura
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Eiki
full_name: Wada, Eiki
last_name: Wada
- first_name: Ayae
full_name: Kinoshita, Ayae
last_name: Kinoshita
- first_name: Jin
full_name: Li, Jin
last_name: Li
- first_name: Akio
full_name: Neki, Akio
last_name: Neki
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: 'Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic
glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical
study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9'
apa: 'Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A.,
… Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor,
mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat.
Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12207-9'
chicago: 'Ohishi, Hitoshi, Sakashi Nomura, Yu Ding, Ryuichi Shigemoto, Eiki Wada,
Ayae Kinoshita, Jin Li, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic
Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent
Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters.
Elsevier, 1995. https://doi.org/10.1016/0304-3940(95)12207-9.'
ieee: 'H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate
receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study
in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88,
1995.'
ista: 'Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki
A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate
receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study
in the rat. Neuroscience Letters. 202(1–2), 85–88.'
mla: 'Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate
Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study
in the Rat.” Neuroscience Letters, vol. 202, no. 1–2, Elsevier, 1995, pp.
85–88, doi:10.1016/0304-3940(95)12207-9.'
short: H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li,
A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88.
date_created: 2018-12-11T11:58:24Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-28T12:44:57Z
day: '01'
doi: 10.1016/0304-3940(95)12207-9
extern: '1'
external_id:
pmid:
- '8787837'
intvolume: ' 202'
issue: 1-2
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394095122079?via%3Dihub
month: '12'
oa_version: None
page: 85 - 88
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4337'
quality_controlled: '1'
status: public
title: 'Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in
the primary afferent neurons: An immunohistochemical study in the rat'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 202
year: '1995'
...
---
_id: '2560'
abstract:
- lang: eng
text: Chemical irritation of the urinary bladder with formalin in the rat induced
c-fos protein-like immunoreactivity in more than 80% of substance P receptor-like
immunoreactive (SPR-LI) neurons of the dorsal commissural nucleus, sacral parasympathetic
nucleus and lamina I in the 6th lumbar and 1st sacral cord segments. These neurons
with SPR-LI may receive noxious information from the urinary bladder through the
primary afferent fibers with substance P.
article_processing_charge: No
article_type: original
author:
- first_name: Yan
full_name: Lü, Yan
last_name: Lü
- first_name: Shan
full_name: Jin, Shan
last_name: Jin
- first_name: Tian
full_name: Xu, Tian
last_name: Xu
- first_name: Bing
full_name: Qin, Bing
last_name: Qin
- first_name: Ji
full_name: Li, Ji
last_name: Li
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- 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: 'Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like
immunoreactive neurons in response to noxious stimuli on the urinary bladder:
an observation in the lumbosacral cord segments of the rat. Neuroscience Letters.
1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5'
apa: 'Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). Expression
of c-fos protein in substance P receptor-like immunoreactive neurons in response
to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord
segments of the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)11991-5'
chicago: 'Lü, Yan, Shan Jin, Tian Xu, Bing Qin, Ji Li, Yu Ding, Ryuichi Shigemoto,
and Noboru Mizuno. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive
Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation
in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters. Elsevier,
1995. https://doi.org/10.1016/0304-3940(95)11991-5.'
ieee: 'Y. Lü et al., “Expression of c-fos protein in substance P receptor-like
immunoreactive neurons in response to noxious stimuli on the urinary bladder:
an observation in the lumbosacral cord segments of the rat,” Neuroscience Letters,
vol. 198, no. 2. Elsevier, pp. 139–142, 1995.'
ista: 'Lü Y, Jin S, Xu T, Qin B, Li J, Ding Y, Shigemoto R, Mizuno N. 1995. Expression
of c-fos protein in substance P receptor-like immunoreactive neurons in response
to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord
segments of the rat. Neuroscience Letters. 198(2), 139–142.'
mla: 'Lü, Yan, et al. “Expression of C-Fos Protein in Substance P Receptor-like
Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder:
An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters,
vol. 198, no. 2, Elsevier, 1995, pp. 139–42, doi:10.1016/0304-3940(95)11991-5.'
short: Y. Lü, S. Jin, T. Xu, B. Qin, J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Neuroscience
Letters 198 (1995) 139–142.
date_created: 2018-12-11T11:58:23Z
date_published: 1995-09-29T00:00:00Z
date_updated: 2022-06-28T12:54:14Z
day: '29'
doi: 10.1016/0304-3940(95)11991-5
extern: '1'
external_id:
pmid:
- '8592640'
intvolume: ' 198'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0304394095119915?via%3Dihub
month: '09'
oa_version: None
page: 139 - 142
pmid: 1
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
publist_id: '4338'
quality_controlled: '1'
status: public
title: 'Expression of c-fos protein in substance P receptor-like immunoreactive neurons
in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral
cord segments of the rat'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 198
year: '1995'
...
---
_id: '2556'
abstract:
- lang: eng
text: By using substance P receptor (SPR) immunofluorescence histochemistry combined
with fluorescent retrograde labeling, SPR-like immunoreactive (SPR-LI) neurons
sending their axons to the lateral parabrachial region were observed in the lumbar
spinal cord of the rat. After injection of Fluoro-Gold into the lateral parabrachial
region, retrogradely labeled neurons with SPR-LI were seen frequently in lamina
I and the lateral spinal nucleus, and occasionally in laminae IV and V, with a
predominantly contralateral distribution. Some of these neurons, especially those
in lamina I, may convey nociceptive information to the lateral parabrachial region.
acknowledgement: The authors are grateful for photographic help of Mr. Akira Uesugi.
This work was supported in part by Grants-in-Aid for Special Research on Priority
Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735
from the Ministry of Education, Science and Culture of Japan.
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- 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: Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing
substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat.
Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Spinoparabrachial
tract neurons showing substance P receptor-like immunoreactivity in the lumbar
spinal cord of the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(95)00022-I
chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Spinoparabrachial
Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar
Spinal Cord of the Rat.” Brain Research. Elsevier, 1995. https://doi.org/10.1016/0006-8993(95)00022-I.
ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract
neurons showing substance P receptor-like immunoreactivity in the lumbar spinal
cord of the rat,” Brain Research, vol. 674, no. 2. Elsevier, pp. 336–340,
1995.
ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons
showing substance P receptor-like immunoreactivity in the lumbar spinal cord of
the rat. Brain Research. 674(2), 336–340.
mla: Ding, Yu, et al. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like
Immunoreactivity in the Lumbar Spinal Cord of the Rat.” Brain Research,
vol. 674, no. 2, Elsevier, 1995, pp. 336–40, doi:10.1016/0006-8993(95)00022-I.
short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Brain Research 674 (1995) 336–340.
date_created: 2018-12-11T11:58:22Z
date_published: 1995-03-20T00:00:00Z
date_updated: 2022-06-29T08:32:01Z
day: '20'
doi: 10.1016/0006-8993(95)00022-I
extern: '1'
external_id:
pmid:
- '7796113'
intvolume: ' 674'
issue: '2'
language:
- iso: eng
main_file_link:
- url: sciencedirect.com/science/article/pii/000689939500022I?via%3Dihub
month: '03'
oa_version: None
page: 336 - 340
pmid: 1
publication: Brain Research
publication_identifier:
issn:
- 0006-8993
publication_status: published
publisher: Elsevier
publist_id: '4341'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity
in the lumbar spinal cord of the rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 674
year: '1995'
...
---
_id: '2563'
abstract:
- lang: eng
text: By means of substance P receptor (SPR) immunofluorescence histochemistry combined
with Fluoro-Gold fluorescent retrograde labeling, SPR-like immunoreactive neurons
in the caudal subnucleus of the spinal trigeminal nucleus of the rat were observed
to send their axons to the nucleus of Kolliker-Fuse and ventrolateral part of
the lateral parabrachial nucleus bilaterally with a clear ipsilateral dominance.
These neurons were distributed mainly in lamina I, and additionally in lamina
III.
acknowledgement: 'The authors are grateful for photographic help of Ms. Miao-Li Zhang
and Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special
Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific
Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. '
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Ding, Yu
last_name: Ding
- first_name: Masahiko
full_name: Takada, Masahiko
last_name: Takada
- 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: Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons
showing substance P receptor-like immunoreactivity in the rat. Neuroscience
Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R
apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Trigeminoparabrachial
projection neurons showing substance P receptor-like immunoreactivity in the rat.
Neuroscience Research. Elsevier. https://doi.org/10.1016/0168-0102(95)00961-R
chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Trigeminoparabrachial
Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.”
Neuroscience Research. Elsevier, 1995. https://doi.org/10.1016/0168-0102(95)00961-R.
ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection
neurons showing substance P receptor-like immunoreactivity in the rat,” Neuroscience
Research, vol. 23, no. 4. Elsevier, pp. 415–418, 1995.
ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Trigeminoparabrachial projection
neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience
Research. 23(4), 415–418.
mla: Ding, Yu, et al. “Trigeminoparabrachial Projection Neurons Showing Substance
P Receptor-like Immunoreactivity in the Rat.” Neuroscience Research, vol.
23, no. 4, Elsevier, 1995, pp. 415–18, doi:10.1016/0168-0102(95)00961-R.
short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Neuroscience Research 23 (1995)
415–418.
date_created: 2018-12-11T11:58:24Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-28T09:50:42Z
day: '01'
doi: 10.1016/0168-0102(95)00961-R
extern: '1'
external_id:
pmid:
- '8602281'
intvolume: ' 23'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/016801029500961R?via%3Dihub
month: '11'
oa_version: None
page: 415 - 418
pmid: 1
publication: Neuroscience Research
publication_identifier:
issn:
- 0168-0102
publication_status: published
publisher: Elsevier
publist_id: '4336'
quality_controlled: '1'
status: public
title: Trigeminoparabrachial projection neurons showing substance P receptor-like
immunoreactivity in the rat
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 23
year: '1995'
...
---
_id: '2712'
abstract:
- lang: eng
text: We study the generalizations of the well-known Lieb-Thirring inequality for
the magnetic Schrödinger operator with a nonconstant magnetic field. We use stochastic
methods to prove estimates on the moments of the negative eigenvalues.
acknowledgement: Work supported by the NSF grant PHY90-19433 A02, by the Alfred Sloan
Foundation dissertation Fellowship and by the Erwin Schrödinger Institute for Mathematical
Physics in Vienna.
alternative_title:
- 'Operator Theory: Advances and Applications'
article_processing_charge: No
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. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals.
In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13'
apa: 'Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals (Vol. 78, pp. 127–132). Presented at the International Conference on
Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser.
https://doi.org/10.1007/978-3-0348-9092-2_13'
chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory
Integrals,” 78:127–32. Birkhäuser, 1995. https://doi.org/10.1007/978-3-0348-9092-2_13.
ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals,” presented at the International Conference on Partial Differential
Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
ista: 'Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory
integrals. International Conference on Partial Differential Operators and Mathematical
Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.'
mla: Erdös, László. Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory
Integrals. Vol. 78, Birkhäuser, 1995, pp. 127–32, doi:10.1007/978-3-0348-9092-2_13.
short: L. Erdös, in:, Birkhäuser, 1995, pp. 127–132.
conference:
end_date: 1995-07-09
location: Holzhau, Germany
name: International Conference on Partial Differential Operators and Mathematical
Physics
start_date: 1995-07-03
date_created: 2018-12-11T11:59:12Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-28T09:31:20Z
day: '01'
doi: 10.1007/978-3-0348-9092-2_13
extern: '1'
intvolume: ' 78'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-0348-9092-2_13
month: '01'
oa_version: None
page: 127 - 132
publication_status: published
publisher: Birkhäuser
publist_id: '4184'
quality_controlled: '1'
status: public
title: Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 78
year: '1995'
...
---
_id: '2724'
abstract:
- lang: eng
text: We study the generalizations of the well-known Lieb-Thirring inequality for
the magnetic Schrödinger operator with nonconstant magnetic field. Our main result
is the naturally expected magnetic Lieb-Thirring estimate on the moments of the
negative eigenvalues for a certain class of magnetic fields (including even some
unbounded ones). We develop a localization technique in path space of the stochastic
Feynman-Kac representation of the heat kernel which effectively estimates the
oscillatory effect due to the magnetic phase factor.
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. Magnetic Lieb-Thirring inequalities. Communications in Mathematical
Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
apa: Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in
Mathematical Physics. Springer. https://doi.org/10.1007/BF02099152
chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications
in Mathematical Physics. Springer, 1995. https://doi.org/10.1007/BF02099152.
ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical
Physics, vol. 170, no. 3. Springer, pp. 629–668, 1995.
ista: Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical
Physics. 170(3), 629–668.
mla: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in
Mathematical Physics, vol. 170, no. 3, Springer, 1995, pp. 629–68, doi:10.1007/BF02099152.
short: L. Erdös, Communications in Mathematical Physics 170 (1995) 629–668.
date_created: 2018-12-11T11:59:16Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-28T09:19:36Z
day: '01'
doi: 10.1007/BF02099152
extern: '1'
intvolume: ' 170'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02099152
month: '06'
oa_version: None
page: 629 - 668
publication: Communications in Mathematical Physics
publication_identifier:
issn:
- 0010-3616
publication_status: published
publisher: Springer
publist_id: '4168'
quality_controlled: '1'
status: public
title: Magnetic Lieb-Thirring inequalities
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 170
year: '1995'
...
---
_id: '3454'
abstract:
- lang: eng
text: The study of gene expression and regulation in the central nervous system
(CNS) is a daunting task because of the diversity of neuronal phenotypes and the
complexity of many protein classes. Molecular cloning revealed the presence of
a large number of different protein families in the CNS, each comprising several
members. Ligand-gated ion channels may serve as an example to illustrate this
point (for review, see Unwin, 1993). Heterologous expression combined with electrophysiological
analysis suggests that ligand-gated channels are multimeric proteins with functional
properties depending on the subunit composition. Very little is known, however,
about how the functional properties of the recombinant and native receptors relate
to each other. Thus, it is of eminent importance to elucidate the subunit expression
profile in different types of neurons in the CNS and to correlate this with the
functional properties of the native receptors.
article_processing_charge: No
author:
- first_name: Hannah
full_name: Monyer, Hannah
last_name: Monyer
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: 'Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression
in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel
Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16'
apa: Monyer, H., & Jonas, P. M. (1995). Polymerase chain reaction analysis of
ion channel expression in single neurons of brain slices. In B. Sakmann &
E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_16
chicago: Monyer, Hannah, and Peter M Jonas. “Polymerase Chain Reaction Analysis
of Ion Channel Expression in Single Neurons of Brain Slices.” In Single-Channel
Recording, edited by Bert Sakmann and Erwin Neher, 357–73. Plenum, 1995. https://doi.org/10.1007/978-1-4419-1229-9_16.
ieee: H. Monyer and P. M. Jonas, “Polymerase chain reaction analysis of ion channel
expression in single neurons of brain slices,” in Single-channel recording,
B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 357–373.
ista: 'Monyer H, Jonas PM. 1995.Polymerase chain reaction analysis of ion channel
expression in single neurons of brain slices. In: Single-channel recording. ,
357–373.'
mla: Monyer, Hannah, and Peter M. Jonas. “Polymerase Chain Reaction Analysis of
Ion Channel Expression in Single Neurons of Brain Slices.” Single-Channel Recording,
edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 357–73, doi:10.1007/978-1-4419-1229-9_16.
short: H. Monyer, P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording,
Plenum, 1995, pp. 357–373.
date_created: 2018-12-11T12:03:25Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-28T09:13:01Z
day: '01'
doi: 10.1007/978-1-4419-1229-9_16
editor:
- first_name: Bert
full_name: Sakmann, Bert
last_name: Sakmann
- first_name: Erwin
full_name: Neher, Erwin
last_name: Neher
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-1-4419-1229-9_16
month: '01'
oa_version: None
page: 357 - 373
publication: Single-channel recording
publication_identifier:
isbn:
- 978-0-306-44870-6
publication_status: published
publisher: Plenum
publist_id: '2933'
quality_controlled: '1'
status: public
title: Polymerase chain reaction analysis of ion channel expression in single neurons
of brain slices
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3455'
abstract:
- lang: eng
text: At a synapse, the transmitter is stored in synaptic vesicles and is released
into the synaptic cleft almost instantaneously upon fusion of these vesicles with
the presynaptic membrane. Subsequently, the transmitter diffuses to ligand-gated
ion channels in the postsynaptic density, binds to them, and thereby causes channel
activation. Unfortunately, we have estimates neither of the exact amount of transmitter
in the synaptic vesicle nor of the concentration in the synaptic cleft reaching
the postsynaptic receptors, and in some cases even the identity of the transmitter
is unknown. These questions may be addressed by modeling of release and diffusion.
Such a theoretical approach, however, is based on several assumptions, some of
which lack experimental evidence.
article_processing_charge: No
author:
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: 'Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann
B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10'
apa: Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches.
In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 231–243).
Plenum. https://doi.org/10.1007/978-1-4419-1229-9_10
chicago: Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.”
In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 231–43.
Plenum, 1995. https://doi.org/10.1007/978-1-4419-1229-9_10.
ieee: P. M. Jonas, “Fast application of agonists to isolated membrane patches,”
in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995,
pp. 231–243.
ista: 'Jonas PM. 1995.Fast application of agonists to isolated membrane patches.
In: Single-channel recording. , 231–243.'
mla: Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.”
Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum,
1995, pp. 231–43, doi:10.1007/978-1-4419-1229-9_10.
short: P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording, Plenum,
1995, pp. 231–243.
date_created: 2018-12-11T12:03:25Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-28T08:51:40Z
day: '01'
doi: 10.1007/978-1-4419-1229-9_10
editor:
- first_name: Bert
full_name: Sakmann, Bert
last_name: Sakmann
- first_name: Erwin
full_name: Neher, Erwin
last_name: Neher
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-1-4419-1229-9_10
month: '01'
oa_version: None
page: 231 - 243
publication: Single-channel recording
publication_identifier:
isbn:
- 978-0-306-44870-6
publication_status: published
publisher: Plenum
publist_id: '2932'
quality_controlled: '1'
status: public
title: Fast application of agonists to isolated membrane patches
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3461'
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: Nail
full_name: Burnashev, Nail
last_name: Burnashev
citation:
ama: Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through
AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
apa: Jonas, P. M., & Burnashev, N. (1995). Molecular mechanisms controlling
calcium entry through AMPA-type glutamate receptor channels. Neuron. Elsevier.
https://doi.org/10.1016/0896-6273(95)90087-X
chicago: Jonas, Peter M, and Nail Burnashev. “Molecular Mechanisms Controlling Calcium
Entry through AMPA-Type Glutamate Receptor Channels.” Neuron. Elsevier,
1995. https://doi.org/10.1016/0896-6273(95)90087-X.
ieee: P. M. Jonas and N. Burnashev, “Molecular mechanisms controlling calcium entry
through AMPA-type glutamate receptor channels,” Neuron, vol. 15, no. 5.
Elsevier, pp. 987–990, 1995.
ista: Jonas PM, Burnashev N. 1995. Molecular mechanisms controlling calcium entry
through AMPA-type glutamate receptor channels. Neuron. 15(5), 987–990.
mla: Jonas, Peter M., and Nail Burnashev. “Molecular Mechanisms Controlling Calcium
Entry through AMPA-Type Glutamate Receptor Channels.” Neuron, vol. 15,
no. 5, Elsevier, 1995, pp. 987–90, doi:10.1016/0896-6273(95)90087-X.
short: P.M. Jonas, N. Burnashev, Neuron 15 (1995) 987–990.
date_created: 2018-12-11T12:03:27Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-28T08:34:36Z
day: '01'
doi: 10.1016/0896-6273(95)90087-X
extern: '1'
external_id:
pmid:
- '7576666'
intvolume: ' 15'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/089662739590087X?via%3Dihub
month: '11'
oa: 1
oa_version: Published Version
page: 987 - 990
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '2926'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular mechanisms controlling calcium entry through AMPA-type glutamate
receptor channels
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 15
year: '1995'
...
---
_id: '3478'
abstract:
- lang: eng
text: 1. Properties of dendritic glutamate receptor (GluR) channels were investigated
using fast application of glutamate to outside-out membrane patches isolated from
the apical dendrites of CA3 and CA1 pyramidal neurons in rat hippocampal slices.
CA3 patches were formed (15-76 μm from the soma) in the region of messy fibre
(MF) synapses, and CA1 patches (25-174 μm from the soma) in the region of Schaffer
collateral (SC) innervation. 2. Dual-component responses consisting of a rapidly
rising and decaying component followed by a second, substantially slower, component
were elicited by 1 ms pulses of 1 mM glutamate in the presence of 10 μM glycine
and absence of external Mg2+. The fast component was selectively blocked by 2-5
μM 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX) and the slow component by 30 μM
D-2-amino-5-phosphonopentanoic acid (D-AP5), suggesting that the fast and slow
components were mediated by the GluR channels of the L-α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate
(AMPA) and NMDA type, respectively. The peak amplitude ratio of the NMDA to AMPA
receptor-mediated components varied between 0.03 and 0.62 in patches from both
CA3 and CA1 dendrites. Patches lacking either component were rarely observed.
3. The peak current-voltage (I-V) relationship of the fast component was almost
linear, whereas the I-V relationship of the slow component showed a region of
negative slope in the presence of 1 mM external Mg2+. The reversal potential for
both components was close to 0 mV. 4. Kainate-preferring GluR channels did not
contribute appreciably to the response to glutamate. The responses to 100 ms pulses
of 1 mM glutamate were mimicked by application of 1 mM AMPA, whereas 1 mM kainate
produced much smaller, weakly desensitizing currents. This suggests that the fast
component is primarily mediated by the action of glutamate on AMPA-preferring
receptors. 5. The mean elementary conductance of AMPA receptor channels was about
10 pS, as estimated by non-stationary fluctuation analysis. The permeability of
these channels to Ca2+ was low (~5% of the permeability to Cs+). 6. The elementary
conductance of NMDA receptor channels was larger, with a main conductance state
of about 45 pS. These channels were 3.6 times more permeable to Ca2+ than to Cs+.
7. AMPA receptor-mediated currents activated rapidly in response to 1 ms pulses
of 1 mM glutamate and deactivated with a predominant, fast time constant and a
smaller, slower component (τ1≃2 ms, τ2≃8 ms, contributing ~80 and ~20% to the
total decay amplitude, respectively). Desensitization of the current during a
100 ms pulse was best fitted by two time constants (τ1≃10 ms, ~60%; τ2≃34 ms,
~40%). 8. NMDA receptor-mediated currents in response to 1 ms pulses of 1 mM glutamate
activated and deactivated much more slowly than AMPA receptor-mediated currents.
The time course could be described by a single exponential rising phase (τ≃7 ms)
followed by a double exponential decay (τ1≃200 ms, ~80%; τ2≃1-3 s, ~20%). 9. Mg2+
blocked the NMDA component in a voltage-dependent manner, with a half-maximal
inhibitory concentration (IC50) of 21 μM at -80 mV. At physiological Mg2+ concentrations,
block of the NMDA component could be rapidly relieved with voltage jumps from
negative to positive potentials. Block of the current upon return to negative
potentials occurred almost instantaneously. 10. Zn2+ also selectively-blocked
the NMDA receptor-mediated current with an IC50 of 22 μM, but this block differed
from that of Mg2+ in that it showed little voltage dependence. Rapid application
of Zn2+ together with glutamate produced partial block of the current. More block
was observed if Zn2+ and glutamate were co-applied when NMDA receptor channels
were already open. 11. The functional properties of dendritic GluRs were similar
to those found at the soma. Knowledge of these properties facilitated simulations
investigating the contribution of coactivated AMPA and NMDA receptors to synaptic
depolarization and Ca2+ entry into dendritic spines. Because of its slow deactivation,
the NMDA receptor-mediated current contributes substantially to depolarization
and Ca2+ entry and is susceptible to modulation over a period of seconds, either
by backpropagating action potentials or by the release of Zn2+ from presynaptic
boutons.
acknowledgement: We thank M.Hausser, A.Roth, P.Ruppersberg, and G.Stuart for helpful
discussions and M.H. and G.S. for critically reading the manuscript. We also thank
M.Kaiser for expert technical assistance and F.Helmchen, M.Huke and A.Roth for computer
programming. Financial support from the Alexander von Humboldt Foundation and the
Deutsche Forschungsgemeinschaft (SFB317) is gratefully acknowledged.
article_processing_charge: No
article_type: original
author:
- first_name: Nelson
full_name: Spruston, Nelson
last_name: Spruston
- 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: Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat
hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt
2):325-352. doi:10.1113/jphysiol.1995.sp020521
apa: Spruston, N., Jonas, P. M., & Sakmann, B. (1995). Dendritic glutamate receptor
channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology.
Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020521
chicago: Spruston, Nelson, Peter M Jonas, and Bert Sakmann. “Dendritic Glutamate
Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal
of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020521.
ieee: N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels
in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology,
vol. 482, no. Pt 2. Wiley-Blackwell, pp. 325–352, 1995.
ista: Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels
in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt
2), 325–352.
mla: Spruston, Nelson, et al. “Dendritic Glutamate Receptor Channels in Rat Hippocampal
CA3 and CA1 Pyramidal Neurons.” Journal of Physiology, vol. 482, no. Pt
2, Wiley-Blackwell, 1995, pp. 325–52, doi:10.1113/jphysiol.1995.sp020521.
short: N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
date_created: 2018-12-11T12:03:32Z
date_published: 1995-01-15T00:00:00Z
date_updated: 2022-06-28T08:08:40Z
day: '15'
doi: 10.1113/jphysiol.1995.sp020521
extern: '1'
external_id:
pmid:
- '7536248'
intvolume: ' 482'
issue: Pt 2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://physoc.onlinelibrary.wiley.com/doi/abs/10.1113/jphysiol.1995.sp020521
month: '01'
oa: 1
oa_version: Published Version
page: 325 - 352
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2909'
quality_controlled: '1'
status: public
title: Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal
neurons
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 482
year: '1995'
...
---
_id: '3551'
abstract:
- lang: eng
text: Common geometric models for proteins and other molecules are the space filling
diagram, the solvent accessible surface, and the molecular surface. We describe
software that computes metric properties of these models, including volume and
surface area. It also measures voids or empty space enclosed by the protein, and
it keeps track of surface area contributions of individual atoms. The software
is based on 3-dimensional alpha complexes and on inclusion-exclusion formulas
with terms derived from the simplices in this complex.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michael
full_name: Facello, Michael
last_name: Facello
- first_name: Ping
full_name: Fu, Ping
last_name: Fu
- first_name: Jie
full_name: Liang, Jie
last_name: Liang
citation:
ama: 'Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in
proteins. In: Proceedings of the 28th Annual Hawaii International Conference
on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331'
apa: 'Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins
and voids in proteins. In Proceedings of the 28th Annual Hawaii International
Conference on System Sciences (pp. 256–264). Wailea, HI, United States of
America: IEEE. https://doi.org/10.1109/HICSS.1995.375331'
chicago: Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring
Proteins and Voids in Proteins.” In Proceedings of the 28th Annual Hawaii International
Conference on System Sciences, 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331.
ieee: H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and
voids in proteins,” in Proceedings of the 28th Annual Hawaii International
Conference on System Sciences, Wailea, HI, United States of America, 1995,
pp. 256–264.
ista: 'Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids
in proteins. Proceedings of the 28th Annual Hawaii International Conference on
System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.'
mla: Edelsbrunner, Herbert, et al. “Measuring Proteins and Voids in Proteins.” Proceedings
of the 28th Annual Hawaii International Conference on System Sciences, IEEE,
1995, pp. 256–64, doi:10.1109/HICSS.1995.375331.
short: H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th
Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
conference:
end_date: 1995-01-06
location: Wailea, HI, United States of America
name: 'HICSS: Hawaii International Conference on System Sciences'
start_date: 1995-01-03
date_created: 2018-12-11T12:03:55Z
date_published: 1995-01-04T00:00:00Z
date_updated: 2022-06-27T13:54:41Z
day: '04'
doi: 10.1109/HICSS.1995.375331
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/375331
month: '01'
oa_version: None
page: 256 - 264
publication: Proceedings of the 28th Annual Hawaii International Conference on System
Sciences
publication_identifier:
isbn:
- 0-8186-6930-6
publication_status: published
publisher: IEEE
publist_id: '2834'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Measuring proteins and voids in proteins
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3552'
abstract:
- lang: eng
text: "The concept of an α-shape of a finite set of points in R^d, with weights,
is defined and illustrated. An α-shape is a polytope which is not necessarily
convex nor connected and can be derived from the (weighted) Delaunay triangulation
of the point set, with a parameter controlling the desired level of detail. The
set of all α values leads to a descrete family of shapes capturing the intuitive
notion of ``crude'' versus ``fine'' shapes of a point set. Software that computes
such shapes in R^2 and R^3 is available via anonymous ftp from:\r\n\r\nftp://ftp.ncsa.uiuc.edu/Visualization/Alpha-shape/
\ "
article_processing_charge: No
author:
- first_name: Nataraj
full_name: Akkiraju, Nataraj
last_name: Akkiraju
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michael
full_name: Facello, Michael
last_name: Facello
- first_name: Ping
full_name: Fu, Ping
last_name: Fu
- first_name: Ernst
full_name: Mücke, Ernst
last_name: Mücke
- first_name: Carlos
full_name: Varela, Carlos
last_name: Varela
citation:
ama: 'Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes:
definition and software. In: Elsevier; 1995:63-66.'
apa: 'Akkiraju, N., Edelsbrunner, H., Facello, M., Fu, P., Mücke, E., & Varela,
C. (1995). Alpha shapes: definition and software (pp. 63–66). Presented at the
GCG: International Computational Geometry Software Workshop, Elsevier.'
chicago: 'Akkiraju, Nataraj, Herbert Edelsbrunner, Michael Facello, Ping Fu, Ernst
Mücke, and Carlos Varela. “Alpha Shapes: Definition and Software,” 63–66. Elsevier,
1995.'
ieee: 'N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela,
“Alpha shapes: definition and software,” presented at the GCG: International Computational
Geometry Software Workshop, 1995, pp. 63–66.'
ista: 'Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha
shapes: definition and software. GCG: International Computational Geometry Software
Workshop, 63–66.'
mla: 'Akkiraju, Nataraj, et al. Alpha Shapes: Definition and Software. Elsevier,
1995, pp. 63–66.'
short: N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:,
Elsevier, 1995, pp. 63–66.
conference:
name: 'GCG: International Computational Geometry Software Workshop'
date_created: 2018-12-11T12:03:55Z
date_published: 1995-09-11T00:00:00Z
date_updated: 2022-06-27T13:20:29Z
day: '11'
extern: '1'
language:
- iso: eng
main_file_link:
- url: http://www.geom.uiuc.edu/software/cglist/GeomDir/shapes95def/
month: '09'
oa_version: None
page: 63 - 66
publication_status: published
publisher: Elsevier
publist_id: '2833'
quality_controlled: '1'
status: public
title: 'Alpha shapes: definition and software'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '3636'
abstract:
- lang: eng
text: 'Observations on the means, variances, and covariances of quantitative traits
across hybrid zones can give information similar to that from Mendelian markers.
In addition, they can identify particular traits through which the cline is maintained.
We describe a survey of six traits across the hybrid zone between Bombina bombina
and Bombina variegata (Amphibia: Discoglossidae) near Pescenica in Croatia. We
obtained laboratory measuments of the belly pattern, skin thickness, mating call,
skeletal form, egg size, and the developmental time of tadpoles. Although offspring
from hybrid populations showed no evidence of reduced viability, a third of the
F1 families failed completely, irrespective of the direction of the cross. All
traits differed significantly between the taxa. Clines in belly pattern, skin
thickness, mating call, and skeletal form were closely concordant with clines
in four diagnostic enzyme loci. However, the cline in developmental time was displaced
towards bombina, and the cline in egg size was displaced towards variegata. This
discordance could be because the traits are not inherited additively or because
they are subject to different selection pressures. We favor the latter explanation
in the case of developmental time. We show that moderate selection acting directly
on a trait suffices to shift its position; rather stronger selection is needed
to change its width appreciably. Within hybrid populations, there are significant
associations among quantitative traits, and between traits and enzymes. Phenotypic
variances also increase in hybrid populations. These observations can be explained
by linkage disequilibria among the underlying loci. However, the average magnitude
of the covariance between traits is about half that expected from the linkage
disequilibria between enzyme loci. The discrepancy is not readily explained by
nonadditive gene action. This puzzle is now unresolved and calls for further investigation.'
acknowledgement: 'The project would not have been possible without F. Perovic''s extensive
knowledge of the natural history of the Pegdenica area, and his assistance in the
field. Particular thanks are due to the Perovie family for their generous hospitality.
The Croatian Museum of Natural History and the Croatian Ministry of the Environment
were helpful in granting all the necessary permits. J. Szymura assisted with allozyme
tech-niques and in sharing unpublished data from his original survey of the area.
M. Davidson and K. Grant prepared the histological specimens, and G. Patterson volunteered
time and expertise in X-raying our toads. All members of L. Partridge''s lab generously
provided us with toad food on a daily basis, in the form of uncountably many spare
Drosophila. G. Malarky and M. Oh stoically coped with much tedious toad care. We
thank W. G. Hill, L. Kruuk, D. Rand, J. Szymura, and an anonymous reviewer for helpful
comments on the manuscript. This research was supported by a grant from the Natural
Environment Research Council (GR3/8002) to N.B. '
article_processing_charge: No
article_type: original
author:
- first_name: Beate
full_name: Nürnberger, Beate
last_name: Nürnberger
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Catriona
full_name: Maccallum, Catriona
last_name: Maccallum
- first_name: Jason
full_name: Gilchrist, Jason
last_name: Gilchrist
- first_name: Michael
full_name: Appleby, Michael
last_name: Appleby
citation:
ama: Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection
on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238.
doi:10.1111/j.1558-5646.1995.tb04449.x
apa: Nürnberger, B., Barton, N. H., Maccallum, C., Gilchrist, J., & Appleby,
M. (1995). Natural selection on quantitative traits in the Bombina hybrid zone.
Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x
chicago: Nürnberger, Beate, Nicholas H Barton, Catriona Maccallum, Jason Gilchrist,
and Michael Appleby. “Natural Selection on Quantitative Traits in the Bombina
Hybrid Zone.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x.
ieee: B. Nürnberger, N. H. Barton, C. Maccallum, J. Gilchrist, and M. Appleby, “Natural
selection on quantitative traits in the Bombina hybrid zone,” Evolution,
vol. 49, no. 6. Wiley-Blackwell, pp. 1224–1238, 1995.
ista: Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. 1995. Natural
selection on quantitative traits in the Bombina hybrid zone. Evolution. 49(6),
1224–1238.
mla: Nürnberger, Beate, et al. “Natural Selection on Quantitative Traits in the
Bombina Hybrid Zone.” Evolution, vol. 49, no. 6, Wiley-Blackwell, 1995,
pp. 1224–38, doi:10.1111/j.1558-5646.1995.tb04449.x.
short: B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution
49 (1995) 1224–1238.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-27T12:58:02Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb04449.x
extern: '1'
intvolume: ' 49'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb04449.x
month: '12'
oa: 1
oa_version: Published Version
page: 1224 - 1238
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2747'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Natural selection on quantitative traits in the Bombina hybrid zone
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '3637'
abstract:
- lang: eng
text: 'Hybridizing taxa remain distinct for two main reasons. Natural selection
acts against hybrids either because of their incompatible genome, or because of
differential adaptation of the pure types across an environmental gradient. Here,
we provide experimental evidence that the location of the Bombina (Anura: Discoglossidae)
hybrid zone in Croatia is, at least in part, determined by differential adaptation.
B. bombina typically breeds in permanent water in the lowland, whereas B. variegata
reproduces in puddles at higher elevations. In a reciprocal translocation, pure
bombina and variegata tadpoles were introduced in equal proportions into lowland
pond enclosures and upland puddles. After three weeks, variegata exceeded bombina
in survival and growth in both habitats. The effect was most pronounced in puddles,
where the few surviving bombina tadpoles had hardly grown at all. In comparison
to variegata, the smaller hatchlings of bombina grew relatively faster in ponds,
but remained smaller in absolute terms. Nevertheless, B. bombina appears better
adapted to ponds than to puddles. The mechanisms by which variegata is excluded
from ponds remain to be demonstrated. These data show that habitat dependent selection
prevents the invasion of bombina tadpole traits into the variegata gene pool.
Given the strong linkage disequilibria in hybrid populations, differential selection
on tadpoles may be sufficient to maintain the integrity of the two gene pools.'
acknowledgement: We thank Franjo Perovioc for invaluable help in the field and the Perovioc
family for generous hospitality. Logistical and practical support was provided by the Croatian
Museum of Natural History in particular Bojan Lazar and Eduarrd Kletecki. The people
of Velesevec kindly tolerated our enclosure bags in their village pond. Stejpan
Ticeric generously provided a base for our work in Perkovec. Professor S. Jelaska of
the U niversity of Zagreb allowed us unlim ited access to her laboratory, where all tadpole
m easurem ents were taken. Loeske K ruuk carried out the electrophoretic analysis which established the taxonomic
significance of tadpole belly colour. We thank Ian Wilson for statistical advice
and Tim Halliday, Peter Jones, Loeske Kruuk, Jaroslav Pialek and two anonymous
referees for helpful comments on the manuscript. This research was supported by
a grant from the NERC (No. GR3/8002) to N.H.B.
article_processing_charge: No
article_type: original
author:
- first_name: Catriona
full_name: Maccallum, Catriona
last_name: Maccallum
- first_name: Beate
full_name: Nürnberger, Beate
last_name: Nürnberger
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Maccallum C, Nürnberger B, Barton NH. Experimental evidence for habitat dependent
selection in a Bombina hybrid zone. Proceedings of the Royal Society of London
Series B Biological Sciences. 1995;260(1359):257-264. doi:10.1098/rspb.1995.0089
apa: Maccallum, C., Nürnberger, B., & Barton, N. H. (1995). Experimental evidence
for habitat dependent selection in a Bombina hybrid zone. Proceedings of the
Royal Society of London Series B Biological Sciences. Royal Society of London.
https://doi.org/10.1098/rspb.1995.0089
chicago: Maccallum, Catriona, Beate Nürnberger, and Nicholas H Barton. “Experimental
Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings
of the Royal Society of London Series B Biological Sciences. Royal Society
of London, 1995. https://doi.org/10.1098/rspb.1995.0089.
ieee: C. Maccallum, B. Nürnberger, and N. H. Barton, “Experimental evidence for
habitat dependent selection in a Bombina hybrid zone,” Proceedings of the Royal
Society of London Series B Biological Sciences, vol. 260, no. 1359. Royal
Society of London, pp. 257–264, 1995.
ista: Maccallum C, Nürnberger B, Barton NH. 1995. Experimental evidence for habitat
dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society
of London Series B Biological Sciences. 260(1359), 257–264.
mla: Maccallum, Catriona, et al. “Experimental Evidence for Habitat Dependent Selection
in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series
B Biological Sciences, vol. 260, no. 1359, Royal Society of London, 1995,
pp. 257–64, doi:10.1098/rspb.1995.0089.
short: C. Maccallum, B. Nürnberger, N.H. Barton, Proceedings of the Royal Society
of London Series B Biological Sciences 260 (1995) 257–264.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-06-22T00:00:00Z
date_updated: 2022-06-27T10:14:02Z
day: '22'
doi: 10.1098/rspb.1995.0089
extern: '1'
intvolume: ' 260'
issue: '1359'
language:
- iso: eng
main_file_link:
- url: https://royalsocietypublishing.org/doi/10.1098/rspb.1995.0089
month: '06'
oa_version: None
page: 257 - 264
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_identifier:
issn:
- 0962-8452
publication_status: published
publisher: Royal Society of London
publist_id: '2746'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Experimental evidence for habitat dependent selection in a Bombina hybrid zone
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 260
year: '1995'
...
---
_id: '3639'
abstract:
- lang: eng
text: 'A general representation of multilocus selection is extended to allow recombination
to depend on genotype. The equations simplify if modifier alleles have small effects
on recombination. The evolution of such modifiers only depends on how they alter
recombination between the selected loci, and does not involve dominance in modifier
effects. The net selection on modifiers can be found explicitly if epistasis is
weak relative to recombination. This analysis shows that recombination can be
favoured in two ways: because it impedes the response to epistasis which fluctuates
in sign, or because it facilitates the response to directional selection. The
first mechanism is implausible, because epistasis must change sign over periods
of a few generations: faster or slower fluctuations favour reduced recombination.
The second mechanism requires weak negative epistasis between favourable alleles,
which may either be increasing, or held in check by mutation. The selection (si)
on recombination modifiers depends on the reduction in additive variance of log
(fitness) due to linkage disequilibria (υ1 < 0), and on non-additive variance
in log (fitness) (V′2, V′3,.. epistasis between 2, 3.. loci). For unlinked loci
and pairwise epistasis, si = − (υ1 + 4V2/3)δr, where δr is the average increase
in recombination caused by the modifier. The approximations are checked against
exact calculations for three loci, and against Charlesworth''s analyses of mutation/selection
balance (1990), and directional selection (1993). The analysis demonstrates a
general relation between selection on recombination and observable components
of fitness variation, which is open to experimental test.'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Barton NH. A general model for the evolution of recombination. Genetical
Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140
apa: Barton, N. H. (1995). A general model for the evolution of recombination. Genetical
Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033140
chicago: Barton, Nicholas H. “A General Model for the Evolution of Recombination.”
Genetical Research. Cambridge University Press, 1995. https://doi.org/10.1017/S0016672300033140.
ieee: N. H. Barton, “A general model for the evolution of recombination,” Genetical
Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.
ista: Barton NH. 1995. A general model for the evolution of recombination. Genetical
Research. 65(2), 123–144.
mla: Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical
Research, vol. 65, no. 2, Cambridge University Press, 1995, pp. 123–44, doi:10.1017/S0016672300033140.
short: N.H. Barton, Genetical Research 65 (1995) 123–144.
date_created: 2018-12-11T12:04:23Z
date_published: 1995-04-01T00:00:00Z
date_updated: 2022-06-24T11:54:10Z
day: '01'
doi: 10.1017/S0016672300033140
extern: '1'
external_id:
pmid:
- '7605514'
intvolume: ' 65'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/general-model-for-the-evolution-of-recombination/8CBDDF2DC779CF4B6AE9B461B80BB4AE
month: '04'
oa_version: None
page: 123 - 144
pmid: 1
publication: Genetical Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '2744'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A general model for the evolution of recombination
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 65
year: '1995'
...
---
_id: '3638'
abstract:
- lang: eng
text: 'Any sample of genes traces back to a single common ancestor. Each gene also
has other properties: its sequence, its geographic location and the phenotype
and fitness of the organism that carries it. With sexual reproduction, different
genes have different genealogies, which gives us much more information, but also
greatly complicates population genetic analysis. We review the close relation
between the distribution of genealogies and the classic theory of identity by
descent in spatially structured populations, and develop a simple diffusion approximation
to the distribution of coalescence times in a homogeneous two-dimensional habitat.
This shows that when neighbourhood size is large (as in most populations) only
a small fraction of pairs of genes are closely related, and only this fraction
gives information about current rates of gene flow. The increase of spatial dispersion
with lineage age is thus a poor estimator of gene flow. The bulk of the genealogy
depends on the long-term history of the population; we discuss ways of inferring
this history from the concordance between genealogies across loci.'
acknowledgement: This work was supported by BBSRC grant GR/H/09928 and by a Scottish Office studentship. We thank A.
W. F. Edwards and S. Otto for their helpful comments.
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: I
full_name: Wilson, I
last_name: Wilson
citation:
ama: Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions
of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59.
doi:10.1098/rstb.1995.0090
apa: Barton, N. H., & Wilson, I. (1995). Genealogies and geography. Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences.
Royal Society, The. https://doi.org/10.1098/rstb.1995.0090
chicago: Barton, Nicholas H, and I Wilson. “Genealogies and Geography.” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences.
Royal Society, The, 1995. https://doi.org/10.1098/rstb.1995.0090.
ieee: N. H. Barton and I. Wilson, “Genealogies and geography,” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences,
vol. 349, no. 1327. Royal Society, The, pp. 49–59, 1995.
ista: Barton NH, Wilson I. 1995. Genealogies and geography. Philosophical Transactions
of the Royal Society of London. Series B, Biological Sciences. 349(1327), 49–59.
mla: Barton, Nicholas H., and I. Wilson. “Genealogies and Geography.” Philosophical
Transactions of the Royal Society of London. Series B, Biological Sciences,
vol. 349, no. 1327, Royal Society, The, 1995, pp. 49–59, doi:10.1098/rstb.1995.0090.
short: N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of
London. Series B, Biological Sciences 349 (1995) 49–59.
date_created: 2018-12-11T12:04:22Z
date_published: 1995-07-29T00:00:00Z
date_updated: 2022-06-27T08:55:07Z
day: '29'
doi: 10.1098/rstb.1995.0090
extern: '1'
external_id:
pmid:
- '8748019'
intvolume: ' 349'
issue: '1327'
language:
- iso: eng
main_file_link:
- url: https://royalsocietypublishing.org/doi/10.1098/rstb.1995.0090
month: '07'
oa_version: None
page: 49 - 59
pmid: 1
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_identifier:
issn:
- 0962-8436
publication_status: published
publisher: Royal Society, The
publist_id: '2745'
quality_controlled: '1'
status: public
title: Genealogies and geography
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 349
year: '1995'
...
---
_id: '4035'
abstract:
- lang: eng
text: 'Let S be a set of n points in ℝd . A set W is a weak ε-net for (convex ranges
of)S if, for any T⊆S containing εn points, the convex hull of T intersects W.
We show the existence of weak ε-nets of size {Mathematical expression}, where
β2=0, β3=1, and βd ≈0.149·2d-1(d-1)!, improving a previous bound of Alon et al.
Such a net can be computed effectively. We also consider two special cases: when
S is a planar point set in convex position, we prove the existence of a net of
size O((1/ε) log1.6(1/ε)). In the case where S consists of the vertices of a regular
polygon, we use an argument from hyperbolic geometry to exhibit an optimal net
of size O(1/ε), which improves a previous bound of Capoyleas.'
acknowledgement: The authors wish to express their gratitude for the support and hospitality
of the DEC Palo Alto Systems Research Center.
article_processing_charge: No
article_type: original
author:
- first_name: Bernard
full_name: Chazelle, Bernard
last_name: Chazelle
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Michelangelo
full_name: Grigni, Michelangelo
last_name: Grigni
- first_name: Leonidas
full_name: Guibas, Leonidas
last_name: Guibas
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
- first_name: Emo
full_name: Welzl, Emo
last_name: Welzl
citation:
ama: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved
bounds on weak ε-nets for convex sets. Discrete & Computational Geometry.
1995;13(1):1-15. doi:10.1007/BF02574025
apa: Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl,
E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/BF02574025
chicago: Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas
Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ε-Nets for Convex
Sets.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574025.
ieee: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl,
“Improved bounds on weak ε-nets for convex sets,” Discrete & Computational
Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995.
ista: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. 1995. Improved
bounds on weak ε-nets for convex sets. Discrete & Computational Geometry.
13(1), 1–15.
mla: Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.”
Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995,
pp. 1–15, doi:10.1007/BF02574025.
short: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl,
Discrete & Computational Geometry 13 (1995) 1–15.
date_created: 2018-12-11T12:06:33Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-13T12:37:06Z
day: '01'
doi: 10.1007/BF02574025
extern: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF02574025
month: '12'
oa_version: None
page: 1 - 15
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2094'
quality_controlled: '1'
status: public
title: Improved bounds on weak ε-nets for convex sets
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1995'
...
---
_id: '4034'
abstract:
- lang: eng
text: Any arbitrary polyhedron P contained as a subset within Rd can be written
as algebraic sum of simple terms, each an integer multiple of the intersection
of d or fewer half-spaces defined by facets of P. P can be non-convex and can
have holes of any kind. Among the consequences of this result are a short boolean
formula for P, a fast parallel algorithm for point classification, and a new proof
of the Gram-Sommerville angle relation.
acknowledgement: The author thanks Bei-Fang Chen, Siu-Wing Cheng, David Dobkin, Nikolai
Dolbilin, Ping Fu, Sergei Ryshkov, and Vadim Shapiro for discussions on the topic
of this paper.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: 'Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings
of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.'
apa: 'Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra.
In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp.
248–257). Milwaukee, WI, United States of America: IEEE.'
chicago: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.”
In Proceedings of IEEE 36th Annual Foundations of Computer Science, 248–57.
IEEE, 1995.
ieee: H. Edelsbrunner, “Algebraic decomposition of non-convex polyhedra,” in Proceedings
of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United
States of America, 1995, pp. 248–257.
ista: 'Edelsbrunner H. 1995. Algebraic decomposition of non-convex polyhedra. Proceedings
of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer
Science, 248–257.'
mla: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” Proceedings
of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–57.
short: H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer
Science, IEEE, 1995, pp. 248–257.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:06:33Z
date_published: 1995-10-01T00:00:00Z
date_updated: 2022-06-13T12:27:11Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/492480
month: '10'
oa_version: None
page: 248 - 257
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '2093'
quality_controlled: '1'
status: public
title: Algebraic decomposition of non-convex polyhedra
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4153'
article_processing_charge: No
article_type: original
author:
- first_name: D.
full_name: Ransom, D.
last_name: Ransom
- first_name: Alison
full_name: Brownlie, Alison
last_name: Brownlie
- first_name: Pascal
full_name: Haffter, Pascal
last_name: Haffter
- first_name: Jörg
full_name: Odenthal, Jörg
last_name: Odenthal
- first_name: Robert
full_name: Kelsh, Robert
last_name: Kelsh
- first_name: Michael
full_name: Brand, Michael
last_name: Brand
- first_name: Makoto
full_name: Furutani Seiki, Makoto
last_name: Furutani Seiki
- first_name: Michael
full_name: Granato, Michael
last_name: Granato
- first_name: Matthias
full_name: Hammerschmidt, Matthias
last_name: Hammerschmidt
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Yunjin
full_name: Jiang, Yunjin
last_name: Jiang
- first_name: David
full_name: Kane, David
last_name: Kane
- first_name: Mary
full_name: Mullins, Mary
last_name: Mullins
- first_name: Fredericus
full_name: Van Eden, Fredericus
last_name: Van Eden
- first_name: Rachel
full_name: Warga, Rachel
last_name: Warga
- first_name: Christiane
full_name: Nüsslein Volhard, Christiane
last_name: Nüsslein Volhard
- first_name: L.
full_name: Zon, L.
last_name: Zon
citation:
ama: Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in
a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.
apa: Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M.,
… Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the
zebrafish genome. Blood. American Society of Hematology.
chicago: Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh,
Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified
in a Saturation Screen of the Zebrafish Genome.” Blood. American Society
of Hematology, 1995.
ieee: D. Ransom et al., “Hematopoietic mutants identified in a saturation
screen of the zebrafish genome,” Blood, vol. 86, no. 10. American Society
of Hematology, pp. 1912–1912, 1995.
ista: Ransom D, Brownlie A, Haffter P, Odenthal J, Kelsh R, Brand M, Furutani Seiki
M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Van
Eden F, Warga R, Nüsslein Volhard C, Zon L. 1995. Hematopoietic mutants identified
in a saturation screen of the zebrafish genome. Blood. 86(10), 1912–1912.
mla: Ransom, D., et al. “Hematopoietic Mutants Identified in a Saturation Screen
of the Zebrafish Genome.” Blood, vol. 86, no. 10, American Society of Hematology,
1995, pp. 1912–1912.
short: D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani
Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M.
Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912.
date_created: 2018-12-11T12:07:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-13T12:02:52Z
day: '01'
extern: '1'
intvolume: ' 86'
issue: '10'
language:
- iso: eng
month: '01'
oa_version: None
page: 1912 - 1912
publication: Blood
publication_identifier:
issn:
- 0006-4971
publication_status: published
publisher: American Society of Hematology
publist_id: '1965'
quality_controlled: '1'
status: public
title: Hematopoietic mutants identified in a saturation screen of the zebrafish genome
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 86
year: '1995'
...
---
_id: '3479'
abstract:
- lang: eng
text: 1. Glutamate receptor (GluR) channels were studied in basket cells in the
dentate gyrus of rat hippocampal slices. Basket cells were identified by their
location, dendritic morphology and high frequency of action potentials generated
during sustained current injection. 2. Dual-component currents were activated
by fast application of glutamate to outside-out membrane patches isolated from
basket cell somata (10 μM glycine, no external Mg2+). The fast component was selectively
blocked by 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX), the slow component by
D-2-amino-5-phosphonopentanoic acid (D-AP5). This suggests that the two components
were mediated by α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptor (AMPAR)/kainate
receptor and N-methyl-D-aspartate receptor (NMDAR) channels, respectively. The
mean ratio of the peak current of the NMDAR component to that of the AMPAR/kainate
receptor component was 0.22 (1 ms pulses of 10 mM glutamate). 3. The AMPAR/kainate
receptor component, which was studied in isolation in the presence of D-AP5, was
identified as AMPAR mediated on the basis of the preferential activation by AMPA
as compared with kainate, the weak desensitization of kainate-activated currents,
the cross-desensitization between AMPA and kainate, and the reduction of desensitization
by cyclothiazide. 4. Deactivation of basket cell AMPARs following 1 ms pulses
of glutamate occurred with a time constant (τ) of 1.2 ± 0.1 ms (mean ± S.E.M.).
During 100 ms glutamate pulses, AMPARs desensitized with a τ of 3.7 ± 0.2 ms.
5. The peak current-voltage (I-V) relation of AMPAR-mediated currents in Na+-rich
extracellular solution showed a reversal potential of -4.0 ± 2.6 mV and was characterized
by a doubly rectifying shape. The conductance of single AMPAR channels was estimated
as 22.6 ± 1.6 pS using non-stationary fluctuation analysis. AMPARs expressed in
hippocampal basket cells mere highly Ca2+ permeable (P(Ca)/P(K) = 1.79). 6. NMDARs
in hippocampal basket cells were studied in isolation in the presence of CNQX.
Deactivation of NMDARs activated by glutamate pulses occurred bi-exponentially
with mean τ values of 266 ± 23 ms (76%) and 2620 ± 383 ms (24%). 7. The peak I-V
relation of the NMDAR-mediated component in Na+-rich extracellular solution showed
a reversal potential of 1.5 ± 0.6 mV and a region of negative slope at negative
membrane potentials in the presence of external Mg2+, due to voltage-dependent
block by these ions. The conductance of single NMDAR channels in the main open
state was 50.2 ± 1.8 pS. NMDARs in hippocampal basket cells were highly permeable
to Ca2+ (P(Ca)/P(K) = 6.68). 8. AMPARs in hippocampal basket cells are characterized
by about threefold faster kinetics and twentyfold higher Ca2+ permeability than
AMPARs in hippocampal granule or pyramidal cells. Simulations show that the Ca2+
influx through basket cell AMPARs is comparable to that through NMDARs at negative
membrane potentials with physiological concentrations of Ca2+ and Mg2+. This suggests
a dual pathway of synaptically mediated Ca2+ entry into interneurones.
acknowledgement: We thank Drs M.Häusser and H.Markram for critically reading the manuscript
and M.Kaiser for technical assistance. Supported by the Deutsche Forschungsgemeinschaft
(SFB-317/B14 grant to P.J. and a Graduiertenkollegstipendium to J.R.P.G.)
article_processing_charge: No
article_type: original
author:
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- first_name: Jörg
full_name: Geiger, Jörg
last_name: Geiger
- 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: Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor
channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology.
1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737
apa: Koh, D., Geiger, J., Jonas, P. M., & Sakmann, B. (1995). Ca(2+)-permeable
AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus.
Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020737
chicago: Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable
AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.”
Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020737.
ieee: D. Koh, J. Geiger, P. M. Jonas, and B. Sakmann, “Ca(2+)-permeable AMPA and
NMDA receptor channels in basket cells of rat hippocampal dentate gyrus,” Journal
of Physiology, vol. 485, no. Pt 2. Wiley-Blackwell, pp. 383–402, 1995.
ista: Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA
receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of
Physiology. 485(Pt 2), 383–402.
mla: Koh, Duk, et al. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket
Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology, vol. 485,
no. Pt 2, Wiley-Blackwell, 1995, pp. 383–402, doi:10.1113/jphysiol.1995.sp020737.
short: D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995)
383–402.
date_created: 2018-12-11T12:03:33Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-28T07:54:44Z
day: '01'
doi: 10.1113/jphysiol.1995.sp020737
extern: '1'
external_id:
pmid:
- '7545230'
intvolume: ' 485'
issue: Pt 2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1158000/pdf/jphysiol00319-0104.pdf
month: '06'
oa: 1
oa_version: Published Version
page: 383 - 402
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2908'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal
dentate gyrus
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 485
year: '1995'
...
---
_id: '3481'
abstract:
- lang: eng
text: 1. The influence of intracellular factors on current rectification of different
subtypes of native α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptors
(AMPARs) was studied in rat brain slices by combining fast application of glutamate
with patch pipette perfusion. 2. The peak current-voltage (I-V) relation of the
AMPARs expressed in Bergmann glial cells of cerebellum and dentate gyrus (DG)
basket cells of hippocampus was weakly rectifying in outside-out patches and nystatin-perforated
vesicles, but showed a doubly rectifying shape with a region of reduced slope
between 0 and +40 mV in nucleated patches. The I-V relation of AMPARs expressed
in hippocampal CA3 pyramidal neurones was linear in all recording configurations.
3. Intracellular application of 2.5 μM spermine, a naturally occurring polyamine,
blocked outward currents in outside-oat patches from Bergmann glial cells and
DG basket cells in a voltage-dependent manner, generating I-V relations with a
doubly rectifying shape which were similar to those recorded in nucleated patches.
AMPARs in CA3 pyramidal cell patches were unaffected by 25 μM spermine. 4. The
half-maximal blocking concentration of spermine at +40 mV was 0.3 μM in Bergmann
glial cell patches and 1.5 μM in DG basket cell patches, whereas it was much higher
(≥ 100 μM) for CA3 pyramidal. cell patches. Spermidine also affected current rectification,
but with lower affinity. The block of outward current by polyamines following
voltage jumps developed within < 0.5 ms. 5. We conclude that current rectification,
rather than being an intrinsic property of the Ca2+ permeable AMPAR channel, is
generated by polyamine block.
acknowledgement: We thank Dr B.Sakmann, Dr V.Witzemann, J.Geiger, and A.Roth for helpful
discussions and Dr D.Feldmeyer and Dr A.Villarroel for reading the manuscript. We
also thank M.Kaiser for technical and H.Spiegel for secretarial assistance. Supported
by DFG grant SFB-317/B14(P.J.).
article_processing_charge: No
article_type: original
author:
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- first_name: Nail
full_name: Burnashev, Nail
last_name: Burnashev
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors
in rat brain by intracellular polyamines generates double rectification. Journal
of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813
apa: Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable
AMPA receptors in rat brain by intracellular polyamines generates double rectification.
Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813
chicago: Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable
AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.”
Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020813.
ieee: D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA
receptors in rat brain by intracellular polyamines generates double rectification,”
Journal of Physiology, vol. 486, no. Pt 2. Wiley-Blackwell, pp. 305–312,
1995.
ista: Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA
receptors in rat brain by intracellular polyamines generates double rectification.
Journal of Physiology. 486(Pt 2), 305–312.
mla: Koh, Duk, et al. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain
by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology,
vol. 486, no. Pt 2, Wiley-Blackwell, 1995, pp. 305–12, doi:10.1113/jphysiol.1995.sp020813.
short: D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
date_created: 2018-12-11T12:03:33Z
date_published: 1995-07-15T00:00:00Z
date_updated: 2022-06-27T14:53:16Z
day: '15'
doi: 10.1113/jphysiol.1995.sp020813
extern: '1'
external_id:
pmid:
- '7473198'
intvolume: ' 486'
issue: Pt 2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1156754/
month: '07'
oa: 1
oa_version: Published Version
page: 305 - 312
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2906'
quality_controlled: '1'
status: public
title: Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular
polyamines generates double rectification
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 486
year: '1995'
...
---
_id: '3480'
abstract:
- lang: eng
text: Recording of glutamate-activated currents in membrane patches was combine
with RT-PCR-mediated AMPA receptor (AMPAR) subunit mRNA analysis in single identified
cells of rat brain slices. Analysis of AMPARs in principal neurons end interneurons
of hippocampus and neocortex and in auditory relay neurons and Bergmann glial
cells indicates that the GluR-B subunit in its flip version determines formation
of receptors with relatively slow gating, whereas the GluR-D subunit promotes
assembly of more rapidly gated receptors. The relation between Ca 2+ permeability
of AMPAR channels and the relative GluR-B mRNA abundance is consistent with the
dominance of this subunit in determining the Ca 2+ permeability of native receptors.
The results suggest that differential expression of GluR-B and GluR-D subunit
genes, as well as splicing end editing of their mRNAs, account for the differences
in gating and Ca 2+ permeability of native AMPAR channels.
acknowledgement: "We thank Ulla Amtmann for efficient help with the molecular analysis.
We also thank M. Kaiser for technical assistance, Dr. J. G. G. Borst for advice
concerning preparation of brainstem slices, and Drs. N. Spruston and G. Stuart for
critically reading the manuscript. Funded in part by Bundesministerium für Forschung
und Technologie grant BCT 364 AZ 321/7291 (P. H. S.) and by Deutsche Forschungsgemeinschaftgrant
SFB-3171814(P. J.). J. R. P. G. and T. M. were supported by the graduate program
of Molecular and Cellular Neurobiology of the University of Heidelberg. The costs
of publication of this article were defrayed in part by the payment of page charges.
This article must therefore be hereby\r\nmarked “advertisement” in accordance with
18 USC Section 1734 solely to Indicate this fact."
article_processing_charge: No
article_type: original
author:
- first_name: Jörg
full_name: Geiger, Jörg
last_name: Geiger
- first_name: Thorsten
full_name: Melcher, Thorsten
last_name: Melcher
- first_name: Duk
full_name: Koh, Duk
last_name: Koh
- first_name: Bert
full_name: Sakmann, Bert
last_name: Sakmann
- first_name: Peter
full_name: Seeburg, Peter
last_name: Seeburg
- 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: Hannah
full_name: Monyer, Hannah
last_name: Monyer
citation:
ama: Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines
gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons
in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4
apa: Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., &
Monyer, H. (1995). Relative abundance of subunit mRNAs determines gating and Ca(2+)
permeability of AMPA receptors in principal neurons and interneurons in rat CNS.
Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90076-4
chicago: Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter
M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating
and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons
in Rat CNS.” Neuron. Elsevier, 1995. https://doi.org/10.1016/0896-6273(95)90076-4.
ieee: J. Geiger et al., “Relative abundance of subunit mRNAs determines gating
and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons
in rat CNS,” Neuron, vol. 15, no. 1. Elsevier, pp. 193–204, 1995.
ista: Geiger J, Melcher T, Koh D, Sakmann B, Seeburg P, Jonas PM, Monyer H. 1995.
Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability
of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 15(1),
193–204.
mla: Geiger, Jörg, et al. “Relative Abundance of Subunit MRNAs Determines Gating
and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons
in Rat CNS.” Neuron, vol. 15, no. 1, Elsevier, 1995, pp. 193–204, doi:10.1016/0896-6273(95)90076-4.
short: J. Geiger, T. Melcher, D. Koh, B. Sakmann, P. Seeburg, P.M. Jonas, H. Monyer,
Neuron 15 (1995) 193–204.
date_created: 2018-12-11T12:03:33Z
date_published: 1995-07-01T00:00:00Z
date_updated: 2022-06-28T07:47:09Z
day: '01'
doi: 10.1016/0896-6273(95)90076-4
extern: '1'
external_id:
pmid:
- '7619522'
intvolume: ' 15'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/0896627395900764?via%3Dihub
month: '07'
oa: 1
oa_version: Published Version
page: 193 - 204
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
publist_id: '2907'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability
of AMPA receptors in principal neurons and interneurons in rat CNS
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 15
year: '1995'
...
---
_id: '3597'
article_processing_charge: No
author:
- first_name: Mark
full_name: Kirkpatrick, Mark
last_name: Kirkpatrick
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389.
doi:10.1038/377388a0
apa: Kirkpatrick, M., & Barton, N. H. (1995). Déjà vu all over again. Nature.
Nature Publishing Group. https://doi.org/10.1038/377388a0
chicago: Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.” Nature.
Nature Publishing Group, 1995. https://doi.org/10.1038/377388a0.
ieee: M. Kirkpatrick and N. H. Barton, “Déjà vu all over again,” Nature,
vol. 377. Nature Publishing Group, pp. 388–389, 1995.
ista: Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389.
mla: Kirkpatrick, Mark, and Nicholas H. Barton. “Déjà vu All over Again.” Nature,
vol. 377, Nature Publishing Group, 1995, pp. 388–89, doi:10.1038/377388a0.
short: M. Kirkpatrick, N.H. Barton, Nature 377 (1995) 388–389.
date_created: 2018-12-11T12:04:09Z
date_published: 1995-10-05T00:00:00Z
date_updated: 2022-06-27T13:00:10Z
day: '05'
doi: 10.1038/377388a0
extern: '1'
external_id:
pmid:
- '7566112 '
intvolume: ' 377'
language:
- iso: eng
main_file_link:
- url: https://www.nature.com/articles/377388a0
month: '10'
oa_version: None
page: 388 - 389
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Nature Publishing Group
publist_id: '2786'
quality_controlled: '1'
status: public
title: Déjà vu all over again
type: review
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 377
year: '1995'
...
---
_id: '3640'
abstract:
- lang: eng
text: 'The probability of fixation of a favorable mutation is reduced if selection
at other loci causes inherited variation in fitness. A general method for calculating
the fixation probability of an allele that can find itself in a variety of genetic
backgrounds is applied to find the effect of substitutions, fluctuating polymorphisms,
and deleterious mutations in a large population. With loose linkage, r, the effects
depend on the additive genetic variance in relative fitness, var(W), and act by
reducing effective population size by (N/Ne) = 1 + var(W)/2r2. However, tightly
linked loci can have a substantial effect not predictable from Ne. Linked deleterious
mutations reduce the fixation probability of weakly favored alleles by exp (-2U/R),
where U is the total mutation rate and R is the map length in Morgans. Substitutions
can cause a greater reduction: an allele with advantage s < scrit = (pi 2/6)
loge (S/s) [var(W)/R] is very unlikely to be fixed. (S is the advantage of the
substitution impeding fixation.) Fluctuating polymorphisms at many (n) linked
loci can also have a substantial effect, reducing fixation probability by exp
[square root of 2Kn var(W)/R] [K = -1/E((u-u)2/uv) depending on the frequencies
(u,v) at the selected polymorphisms]. Hitchhiking due to all three kinds of selection
may substantially impede adaptation that depends on weakly favored alleles.'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841.
doi:http://www.genetics.org/content/140/2/821.long
apa: Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics.
Genetics Society of America. http://www.genetics.org/content/140/2/821.long
chicago: Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics.
Genetics Society of America, 1995. http://www.genetics.org/content/140/2/821.long.
ieee: N. H. Barton, “Linkage and the limits to natural selection,” Genetics,
vol. 140, no. 2. Genetics Society of America, pp. 821–841, 1995.
ista: Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2),
821–841.
mla: Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics,
vol. 140, no. 2, Genetics Society of America, 1995, pp. 821–41, doi:http://www.genetics.org/content/140/2/821.long.
short: N.H. Barton, Genetics 140 (1995) 821–841.
date_created: 2018-12-11T12:04:23Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-24T09:59:08Z
day: '01'
doi: http://www.genetics.org/content/140/2/821.long
extern: '1'
external_id:
pmid:
- '7498757'
intvolume: ' 140'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1206655/
month: '06'
oa: 1
oa_version: Published Version
page: 821 - 841
pmid: 1
publication: Genetics
publication_identifier:
issn:
- 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '2743'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Linkage and the limits to natural selection
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 140
year: '1995'
...
---
_id: '4028'
abstract:
- lang: eng
text: Efficient algorithms are described for computing topological, combinatorial,
and metric properties of the union of finitely many spherical balls in R(d) These
algorithms are based on a simplicial complex dual to a decomposition of the union
of balls using Voronoi cells, and on short inclusion-exclusion formulas derived
from this complex. The algorithms are most relevant in R(3) where unions of finitely
many balls are commonly used as models of molecules.
acknowledgement: This work is supported by the National Science Foundation, under
Grant ASC-9200301, and the Alan T. Waterman award, Grant CCR-9118874. Any opinions,
findings, conclusions, or recommendations expressed in this publication are those
of the author and do not necessarily reflect the view of the National Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational
Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053
apa: Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete
& Computational Geometry. Springer. https://doi.org/10.1007/BF02574053
chicago: Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete
& Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574053.
ieee: H. Edelsbrunner, “The union of balls and its dual shape,” Discrete &
Computational Geometry, vol. 13, no. 1. Springer, pp. 415–440, 1995.
ista: Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete &
Computational Geometry. 13(1), 415–440.
mla: Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete
& Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 415–40,
doi:10.1007/BF02574053.
short: H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
date_created: 2018-12-11T12:06:31Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-27T08:14:48Z
day: '01'
doi: 10.1007/BF02574053
extern: '1'
intvolume: ' 13'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/article/10.1007/BF02574053
month: '12'
oa: 1
oa_version: Published Version
page: 415 - 440
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- 0179-5376
publication_status: published
publisher: Springer
publist_id: '2095'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The union of balls and its dual shape
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 13
year: '1995'
...
---
_id: '4029'
abstract:
- lang: eng
text: A general and direct method for computing the Betti numbers of a finite simplicial
complex in Bd is given. This method is complete for d less than or equal to 3,
where versions of this method run in time O(n alpha(n)) and O(n), n the number
of simplices. An implementation of the algorithm is applied to alpha shapes, which
is a novel geometric modeling tool.
acknowledgement: This work is supported by the National Science Foundation under grant
ASC-9200301 and the Alan T. Waterman award, grant CCR-9118874. Any opinions, findings,
conclusions, or recommendations expressed in this publication are those of the authors
and do not necessarily reflect the view of the National Science Foundation.
article_processing_charge: No
article_type: original
author:
- first_name: Cecil
full_name: Delfinado, Cecil
last_name: Delfinado
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of
simplicial complexes on the 3-sphere. Computer Aided Geometric Design.
1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y
apa: Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for
Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric
Design. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y
chicago: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for
Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric
Design. Elsevier, 1995. https://doi.org/10.1016/0167-8396(95)00016-Y.
ieee: C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers
of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design,
vol. 12, no. 7. Elsevier, pp. 771–784, 1995.
ista: Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers
of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7),
771–784.
mla: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti
Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric
Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y.
short: C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995)
771–784.
date_created: 2018-12-11T12:06:32Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2022-06-24T09:49:32Z
day: '01'
doi: 10.1016/0167-8396(95)00016-Y
extern: '1'
intvolume: ' 12'
issue: '7'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/016783969500016Y?via%3Dihub
month: '11'
oa_version: None
page: 771 - 784
publication: Computer Aided Geometric Design
publication_identifier:
issn:
- 0167-8396
publication_status: published
publisher: Elsevier
publist_id: '2096'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '1995'
...
---
_id: '4297'
abstract:
- lang: eng
text: The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus
complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized
by steep concordant clines among three diagnostic chromosome markers across a
straight-line distance of about 2 km. Here, we show that this zone is actually
structured into local patches in which hybridization extends over an extremely
irregular front. The distribution of hybrid-index (HI) scores across the transect
reveals some hybridization at almost all localities mapped in a central 7 km x
3 km area. Pooling the central samples produces both a strong heterozygote deficit
for all diagnostic markers and strong linkage disequilibria between all pairwise
combinations of these (unlinked) markers. Moreover, a highly significant association
exists between the habitat on which each individual was caught and its karyotype
(F5 chromosomes are more likely to be found on oak). Analysis of genotype frequencies
over a range of spatial scales shows that there is no significant heterozygote
deficit or habitat association within local areas of less than about 200 m; however,
there is significant linkage disequilibrium over the smallest scales (R = D (pquv)1/2
= 0.29, support limits, 0.18-0.36) over 100 m. These patterns suggest that lizards
mate and choose habitats randomly within local patches. This conclusion is supported
by mark-recapture estimates of dispersal (≈ 80 m in a generation) and by inference
of matings from embryo and maternal karyotypes. Closer examination of the two-dimensional
pattern reveals a convoluted cline for all three markers, with a width of 830
m (support limits 770 m-930 m). This cline width, combined with the strength of
local linkage disequilibrium, implies a dispersal rate of σ = 160 m in a generation
and an effective selection pressure of 30% on each chromosome marker. The proportion
of inviable embryos is greater in females from the center of the hybrid zone;
this is caused by effects associated with both karyotype and location. The hybrid
zone is likely to be maintained by selection against chromosomal heterozygotes,
by other kinds of selection against hybrids, and by selection adapting the chromosome
races to different habitats. The structure of the contact may be caused by both
random drift and by selection in relation to habitat.
acknowledgement: For field assistance in collecting and mapping of the zone, we thank
E. Arevalo, I. Goyenechea, D. Hutchison, M. Man- cilia, F. Mendoza, D. Mink, and
J. and H. Sites. The mark- recapture work was carried out by M. Mancilla,
F Mendoza, and A. Gonzales. J.W.S. also thanks T. Hinckley and D. Stevens of the Brigham Young University Department of
Geography for lessons in surveying and map making and use of the field equipment and planimeter. B. Nürnberger provided
the digitized coordinates for individual lizards and assisted with the analysis of
spatial structure and viability. B. Nürnberger, C. MacCallum, J. Mallet, and
J. Searle also provided helpful comments on the manuscript. This work was
supported by National Science Foundation grants BSR 85- 09092 and 88-22751 to
J.W.S., and grants from the Science and Engineering Research Council (GR/H09929)
and Natural Environment Research Council (GR3/8002) and the DarwinTrust to N.H.B.
The Mexican agency Secretaria de DesarrolloUrbano y Ecologia (now Secretaria de Desarrollo Social)
kindly provided scientific collecting permits (to E. Arévalo) for field work in 1989 and 1991.
article_processing_charge: No
article_type: original
author:
- first_name: Jack
full_name: Sites, Jack
last_name: Sites
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kent
full_name: Reed, Kent
last_name: Reed
citation:
ama: Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between
two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae)
in central Mexico. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x
apa: Sites, J., Barton, N. H., & Reed, K. (1995). The genetic structure of a
mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex
(Sauria, Phrynosomatidae) in central Mexico. Evolution. Wiley-Blackwell.
https://doi.org/10.1111/j.1558-5646.1995.tb05955.x
chicago: Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of
a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus
Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution. Wiley-Blackwell,
1995. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x.
ieee: J. Sites, N. H. Barton, and K. Reed, “The genetic structure of a mosaic hybrid
zone between two chromosome races of the Sceloporus grammicus complex (Sauria,
Phrynosomatidae) in central Mexico,” Evolution, vol. 49, no. 1. Wiley-Blackwell,
pp. 9–36, 1995.
ista: Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid
zone between two chromosome races of the Sceloporus grammicus complex (Sauria,
Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
mla: Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between
Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae)
in Central Mexico.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp.
9–36, doi:10.1111/j.1558-5646.1995.tb05955.x.
short: J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-02-01T00:00:00Z
date_updated: 2022-06-13T09:24:40Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb05955.x
extern: '1'
external_id:
pmid:
- '28593667'
intvolume: ' 49'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x
month: '02'
oa: 1
oa_version: Published Version
page: 9 - 36
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1779'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The genetic structure of a mosaic hybrid zone between two chromosome races
of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4296'
abstract:
- lang: eng
text: Three replicate lines of Drosophila melanogaster were cultured at each of
two temperatures (16.5⚬C and 25⚬C) in population cages for 4 yr. The lifespans
of both sexes and the fecundity and fertility of the females were then measured
at both experimental temperatures. The characters showed evidence of adaptation;
flies of both sexes from each selection regime showed higher longevity, and females
showed higher fecundity and fertility, than flies from the other selection regime
when they were tested at the experimental temperature at which they had evolved.
Calculation of intrinsic rates of increase under different assumptions about the
rate of population increase showed that the difference between the lines from
the two selection regimes became less the higher the rate of population increase,
because the lines were more similar in early adulthood than they were later. Despite
the increased adaptation of the low-temperature lines to the low temperature,
like the high temperature lines they produced progeny at a higher rate at the
higher temperature. The lines may have independently evolved adaptations to their
respective thermal regimes during the experiment, or there may have been a trade-off
between adaptation to the two temperatures, or mutation pressure may have lowered
adaptation to the temperature that the flies no longer encountered.
acknowledgement: We thank Natural Environment Research Council and the Royal Society
for financial support.
article_processing_charge: No
article_type: original
author:
- first_name: Linda
full_name: Partridge, Linda
last_name: Partridge
- first_name: Brian
full_name: Barrie, Brian
last_name: Barrie
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Kevin
full_name: Fowler, Kevin
last_name: Fowler
- first_name: Vernon
full_name: French, Vernon
last_name: French
citation:
ama: Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution
of adult life history traits in Drosophila melanogaster in response to temperature.
Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x
apa: Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995).
Rapid laboratory evolution of adult life history traits in Drosophila melanogaster
in response to temperature. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x
chicago: Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon
French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila
Melanogaster in Response to Temperature.” Evolution. Wiley-Blackwell, 1995.
https://doi.org/10.1111/j.1558-5646.1995.tb02285.x.
ieee: L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory
evolution of adult life history traits in Drosophila melanogaster in response
to temperature,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544,
1995.
ista: Partridge L, Barrie B, Barton NH, Fowler K, French V. 1995. Rapid laboratory
evolution of adult life history traits in Drosophila melanogaster in response
to temperature. Evolution. 49(3), 538–544.
mla: Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History
Traits in Drosophila Melanogaster in Response to Temperature.” Evolution,
vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:10.1111/j.1558-5646.1995.tb02285.x.
short: L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49
(1995) 538–544.
date_created: 2018-12-11T12:08:06Z
date_published: 1995-06-01T00:00:00Z
date_updated: 2022-06-13T08:42:11Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb02285.x
extern: '1'
external_id:
pmid:
- '28565092 '
intvolume: ' 49'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x
month: '06'
oa: 1
oa_version: Published Version
page: 538 - 544
pmid: 1
publication: Evolution
publication_identifier:
issn:
- 0014-3820
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1778'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rapid laboratory evolution of adult life history traits in Drosophila melanogaster
in response to temperature
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4298'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird.
Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x
apa: Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines”
by S J E Baird. Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
chicago: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’
by S J E Baird.” Evolution. Wiley, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x.
ieee: N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S
J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.
ista: Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by
S J E Baird. Evolution. 49(6), 1038–1045.
mla: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’
by S J E Baird.” Evolution, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:10.1111/j.1558-5646.1995.tb04431.x.
short: N.H. Barton, Evolution 49 (1995) 1038–1045.
date_created: 2018-12-11T12:08:07Z
date_published: 1995-12-01T00:00:00Z
date_updated: 2022-06-28T07:47:30Z
day: '01'
doi: 10.1111/j.1558-5646.1995.tb04431.x
extern: '1'
intvolume: ' 49'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
month: '12'
oa: 1
oa_version: Published Version
page: 1038 - 1045
publication: Evolution
publication_identifier:
issn:
- 1558-5646
publication_status: published
publisher: Wiley
publist_id: '1773'
quality_controlled: '1'
status: public
title: Appendix to "A simulation study of multilocus clines" by S J E Baird
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '1995'
...
---
_id: '4428'
abstract:
- lang: eng
text: "Hybrid systems are real-time systems that react to both discrete and continuous
activities (such as analog signals, time, temperature, and speed). Typical examples
of hybrid systems are embedded systems, timing-based communication protocols,
and digital circuits at the transistor level. Due to the rapid development of
microprocessor technology, hybrid systems directly control much of what we depend
on in our daily lives. Consequently, the formal specification and verification
of hybrid systems has become an active area of research. This dissertation presents
the first general framework for the formal specification and verification of hybrid
systems, as well as the first hybrid-system analysis tool--HyTech. The framework
consists of a graphical finite-state-machine-like language for modeling hybrid
systems, a temporal logic for modeling the requirements of hybrid systems, and
a computer procedure that verifies modeled hybrid systems against modeled requirements.
The tool HyTech is the implementation of the framework using C++ and Mathematica.\r\n\r\nMore
specifically, our hybrid-system modeling language, Hybrid Automata, is an extension
of timed automata with discrete and continuous variables whose dynamics are governed
by differential equations. Our requirement modeling language, ICTL, is a branching-time
temporal logic, and is an extension of TCTL with stop-watch variables. Our verification
procedure is a symbolic model-checking procedure that verifies linear hybrid automata
against ICTL formulas. To make HyTech more efficient and effective, we use model-checking
strategies and abstract operators that can expedite the verification process.
To enable HyTech to verify nonlinear hybrid automata, we introduce two translations
from nonlinear hybrid automata to linear hybrid automata. We have applied HyTech
to analyze more than 30 hybrid-system benchmarks. In this dissertation, we present
the application of HyTech to three nontrivial hybrid systems taken from the literature."
article_processing_charge: No
author:
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: Ho P. Automatic analysis of hybrid systems. 1995:1-188.
apa: Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
chicago: Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.
ieee: P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.
ista: Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.
mla: Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995,
pp. 1–188.
short: P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
date_created: 2018-12-11T12:08:48Z
date_published: 1995-08-01T00:00:00Z
date_updated: 2022-06-28T07:30:34Z
day: '01'
degree_awarded: PhD
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hdl.handle.net/1813/7193
month: '08'
oa: 1
oa_version: Published Version
page: 1 - 188
publication_status: published
publisher: Cornell University
publist_id: '304'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Automatic analysis of hybrid systems
type: dissertation
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4450'
abstract:
- lang: eng
text: "Hybrid systems model discrete programs that are embedded in continuous environments.
Model-checking tools are available for the analysis of linear hybrid systems,
whose continuous variables are bounded by piecewise-linear trajectories. Most
embedded programs, however, operate in nonlinear environments. We present, analyze,
and apply two algorithms for translating nonlinear hybrid systems into linear
hybrid systems.\r\nThe clock translation replaces nonlinear variables by clock
variables; the rate translation approximates nonlinear variables by piecewise-linear
envelopes. Both translations are sound for reachability; that is, if we establish
a safety property of the translated linear system, we may conclude that the original
nonlinear system satisfies the property. The clock translation is also complete
for reachability; that is, the original system and the translated system satisfy
the same safety properties. The two translations apply to incomparable classes
of nonlinear hybrid systems. From the clock translation we obtain a new decidability
result for hybrid systems.\r\nWith the help of Hytech, a symbolic model checker
for linear hybrid systems, we automatically verify a nonlinear railroad gate control
program using the clock translation, and a nonlinear temperature control program
using the rate translation."
acknowledgement: This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In:
7th International Conference on Computer Aided Verification. Vol 939. Springer;
1995:225-238. doi:10.1007/3-540-60045-0_53'
apa: 'Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid
systems. In 7th International Conference on Computer Aided Verification
(Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53'
chicago: Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” In 7th International Conference on Computer Aided Verification,
939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
ieee: T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,”
in 7th International Conference on Computer Aided Verification, Liege,
Belgium, 1995, vol. 939, pp. 225–238.
ista: 'Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems.
7th International Conference on Computer Aided Verification. CAV: Computer Aided
Verification, LNCS, vol. 939, 225–238.'
mla: Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid
Systems.” 7th International Conference on Computer Aided Verification,
vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
short: T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided
Verification, Springer, 1995, pp. 225–238.
conference:
end_date: 1995-07-05
location: Liege, Belgium
name: 'CAV: Computer Aided Verification'
start_date: 1995-07-03
date_created: 2018-12-11T12:08:55Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:48:52Z
day: '01'
doi: 10.1007/3-540-60045-0_53
extern: '1'
intvolume: ' 939'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60045-0_53
month: '01'
oa_version: None
page: 225 - 238
publication: 7th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540494133'
publication_status: published
publisher: Springer
publist_id: '280'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Algorithmic analysis of nonlinear hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 939
year: '1995'
...
---
_id: '4448'
abstract:
- lang: eng
text: We report on several abstract interpretation strategies that are designed
to improve the performance of HyTech, a symbolic model checker for linear hybrid
systems. We (1) simultaneously compute the target region from different directions,
(2) conservatively approximate the target region by dropping constraints, and
(3) iteratively refine the approximation until sufficient precision is obtained.
We consider the standard abstract convex-hull operator and a novel abstract extrapolation
operator.
acknowledgement: ' National Science Foundation under grant CCR-9200794, by the Air
Force Office of Scientific Research under contract F49620-93-1-0056, by the Office
of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced
Research Projects Agency under grant NAG2-892.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid
automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid
Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13'
apa: 'Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies
for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.),
3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca,
NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13'
chicago: Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies
for Hybrid Automata.” In 3rd International Hybrid Systems Workshop, edited
by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer,
1995. https://doi.org/10.1007/3-540-60472-3_13.
ieee: T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for
hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca,
NY, United States of America, 1995, vol. 999, pp. 252–264.
ista: Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for
hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II,
LNCS, vol. 999, 252–264.
mla: Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies
for Hybrid Automata.” 3rd International Hybrid Systems Workshop, edited
by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
conference:
end_date: 1994-10-30
location: Ithaca, NY, United States of America
name: Hybrid Systems II
start_date: 1994-10-28
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:48:59Z
day: '01'
doi: 10.1007/3-540-60472-3_13
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_13
month: '01'
oa_version: None
page: 252 - 264
publication: 3rd International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540604723'
publication_status: published
publisher: Springer
publist_id: '282'
quality_controlled: '1'
status: public
title: A note on abstract-interpretation strategies for hybrid automata
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...
---
_id: '4447'
abstract:
- lang: eng
text: This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology
Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies
that have been incorporated into HyTech, and we illustrate the use of HyTech with
three nontrivial case studies.
acknowledgement: This research was supported in part by the National Science Foundation
under grant CCR-9200794, by the Air Force Office of Scientific Research under contract
F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520,
and by the Defense Advanced Research Projects Agency under grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos
A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop.
Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14'
apa: 'Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology
Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International
Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United
States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14'
chicago: 'Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology
Tool.” In 4th International Hybrid Systems Workshop, edited by Antsaklis
Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer,
1995. https://doi.org/10.1007/3-540-60472-3_14.'
ieee: 'T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,”
in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United
States of America, 1995, vol. 999, pp. 265–293.'
ista: 'Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th
International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999,
265–293.'
mla: 'Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”
4th International Hybrid Systems Workshop, edited by Antsaklis Panos et
al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.'
short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.),
4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
conference:
end_date: 1955-10-25
location: ' New Brunswick, NJ, United States of America'
name: Hybrid Systems III
start_date: 1995-10-22
date_created: 2018-12-11T12:08:54Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T11:24:15Z
day: '01'
doi: 10.1007/3-540-60472-3_14
editor:
- first_name: Antsaklis
full_name: Panos, Antsaklis
last_name: Panos
- first_name: Wolf
full_name: Kohn, Wolf
last_name: Kohn
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Shankar
full_name: Sastry, Shankar
last_name: Sastry
extern: '1'
intvolume: ' 999'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60472-3_14
month: '01'
oa_version: None
page: 265 - 293
publication: 4th International Hybrid Systems Workshop
publication_identifier:
isbn:
- '9783540683346'
publication_status: published
publisher: Springer
publist_id: '281'
quality_controlled: '1'
series_title: LNCS
status: public
title: 'HyTech: The Cornell Hybrid Technology Tool'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 999
year: '1995'
...
---
_id: '4497'
abstract:
- lang: eng
text: "HyTech is a tool for the automated analysis of embedded systems. This document,
designed for the first-time user of HyTech, guides the reader through the underlying
system model, and through the input language for describing and analyzing systems.
The guide gives several examples of usage, and some hints for gaining maximal
computational efficiency from the tool.\r\nThe version of HyTech described in
this guide was released in August 1995, and is available through anonymous ftp
from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide
Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html."
acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520,
by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469,
by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3'
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech.
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer.
https://doi.org/10.1007/3-540-60630-0_3'
chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”
In 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st
International Workshop on Tools and Algorithms for the Construction and Analysis
of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems.
TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
vol. 1019, 41–71.'
mla: Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International
Workshop on Tools and Algorithms for the Construction and Analysis of Systems,
vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools
and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp.
41–71.
conference:
end_date: 1995-05-20
location: Aarhus, Denmark
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 1995-05-19
date_created: 2018-12-11T12:09:09Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:00:05Z
day: '01'
doi: 10.1007/3-540-60630-0_3
extern: '1'
intvolume: ' 1019'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60630-0_3
month: '01'
oa_version: None
page: 41 - 71
publication: 1st International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
isbn:
- '9783540606307'
publication_status: published
publisher: Springer
publist_id: '230'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A user guide to HyTech
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1019
year: '1995'
...
---
_id: '4499'
abstract:
- lang: eng
text: We describe a new implementation of HYTECH, a symbolic model checker for hybrid
systems. Given a parametric description of an embedded system as a collection
of communicating automata, HYTECH automatically computes the conditions on the
parameters under which the system satisfies its safety and timing requirements.
While the original HYTECH prototype was based on the symbolic algebra tool Mathematica,
the new implementation is written in C++ and builds on geometric algorithms instead
of formula manipulation. The new HYTECH offers a cleaner and more expressive input
language, greater portability, superior performance (typically two to three orders
of magnitude), and new features such as diagnostic error-trace generation. We
illustrate the effectiveness of the new implementation by applying HYTECH to the
automatic parametric analysis of the generic railroad crossing benchmark problem
and to an active structure control algorithm
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings
16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196 '
apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation.
In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa,
Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196
'
chicago: 'Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”
In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995.
https://doi.org/10.1109/REAL.1995.495196
.'
ieee: 'T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in
Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp.
56–65.'
ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings
16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.'
mla: 'Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings
16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .'
short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time
Systems Symposium, IEEE, 1995, pp. 56–65.
conference:
end_date: 1995-12-07
location: Pisa, Italy
name: 'RTSS: Real-Time Systems Symposium'
start_date: 1995-12-05
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:33:19Z
day: '01'
doi: '10.1109/REAL.1995.495196 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/495196
month: '01'
oa_version: None
page: 56 - 65
publication: Proceedings 16th IEEE Real-Time Systems Symposium
publication_identifier:
isbn:
- '0818673370'
publication_status: published
publisher: IEEE
publist_id: '232'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'HyTech: The next generation'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4498'
abstract:
- lang: eng
text: We present algorithms for computing similarity relations of labeled graphs.
Similarity relations have applications for the refinement and verification of
reactive systems. For finite graphs, we present an O(mn) algorithm for computing
the similarity relation of a graph with n vertices and m edges (assuming m⩾n).
For effectively presented infinite graphs, we present a symbolic similarity-checking
procedure that terminates if a finite similarity relation exists. We show that
2D rectangular automata, which model discrete reactive systems with continuous
environments, define effectively presented infinite graphs with finite similarity
relations. It follows that the refinement problem and the ∀CTL* model-checking
problem are decidable for 2D rectangular automata
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
- 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: Peter
full_name: Kopke, Peter
last_name: Kopke
citation:
ama: 'Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite
graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science.
IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576'
apa: 'Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations
on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations
of Computer Science (pp. 453–462). Milwaukee, WI, United States of America:
IEEE. https://doi.org/10.1109/SFCS.1995.492576'
chicago: Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations
on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations
of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
ieee: M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on
finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations
of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.
ista: 'Henzinger MH, Henzinger TA, Kopke P. 1995. Computing simulations on finite
and infinite graphs. Proceedings of IEEE 36th Annual Foundations of Computer Science.
FOCS: Foundations of Computer Science, 453–462.'
mla: Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite
Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science,
IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
short: M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual
Foundations of Computer Science, IEEE, 1995, pp. 453–462.
conference:
end_date: 1995-10-25
location: Milwaukee, WI, United States of America
name: 'FOCS: Foundations of Computer Science'
start_date: 1995-10-23
date_created: 2018-12-11T12:09:10Z
date_published: 1995-11-01T00:00:00Z
date_updated: 2023-02-09T08:43:48Z
day: '01'
doi: 10.1109/SFCS.1995.492576
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 453 - 462
publication: Proceedings of IEEE 36th Annual Foundations of Computer Science
publication_identifier:
isbn:
- '0818671831'
issn:
- 0272-5428
publication_status: published
publisher: IEEE
publist_id: '231'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing simulations on finite and infinite graphs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '1995'
...
---
_id: '4502'
abstract:
- lang: eng
text: "Hybrid automata model systems with both digital and analog components, such
as embedded control programs. Many verification tasks for such programs can be
expressed as reachability problems for hybrid automata. By improving on previous
decidability and undecidability results, we identify the precise boundary between
decidability and undecidability of the reachability problem for hybrid automata.\r\n\r\nOn
the positive side, we give an (optimal) PSPACE reachability algorithm for the
case of initialized rectangular automata, where all analog variables follow trajectories
within piecewise-linear envelopes and are reinitialized whenever the envelope
changes. Our algorithm is based on the construction of a timed automaton that
contains all reachability information about a given initialized rectangular automaton.
The translation has practical significance for verification, because it guarantees
the termination of symbolic procedures for the reachability analysis of initialized
rectangular automata. The translation also preserves the omega-languages of initialized
rectangular automata with bounded nondeterminism.\r\n\r\nOn the negative side,
we show that several slight generalizations of initialized rectangular automata
lead to an undecidable reachability problem. In particular, we prove that the
reachability problem is undecidable for timed automata augmented with a single
stopwatch."
acknowledgement: "We thank Howard Wong-Toi for a careful reading.\r\n"
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: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Anuj
full_name: Puri, Anuj
last_name: Puri
- first_name: P.
full_name: Varaiya, P.
last_name: Varaiya
citation:
ama: 'Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata?
In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing.
ACM; 1995:373-382. doi:10.1145/225058.225162'
apa: 'Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable
about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory
of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM.
https://doi.org/10.1145/225058.225162'
chicago: Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable
about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on
Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
ieee: T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about
hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory
of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
ista: 'Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid
automata? Proceedings of the 27th annual ACM symposium on Theory of computing.
STOC: Symposium on the Theory of Computing, 373–382.'
mla: Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings
of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82,
doi:10.1145/225058.225162.
short: T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th
Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
conference:
end_date: 1995-06-01
location: Las Vegas, NV, United States of America
name: 'STOC: Symposium on the Theory of Computing'
start_date: 1995-05-29
date_created: 2018-12-11T12:09:11Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:40:29Z
day: '01'
doi: 10.1145/225058.225162
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.1145/225058.225162
month: '01'
oa: 1
oa_version: Published Version
page: 373 - 382
publication: Proceedings of the 27th annual ACM symposium on Theory of computing
publication_identifier:
isbn:
- '9780897917186'
publication_status: published
publisher: ACM
publist_id: '228'
quality_controlled: '1'
status: public
title: What's decidable about hybrid automata?
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...
---
_id: '4500'
abstract:
- lang: eng
text: 'We investigate the expressive power of timing restrictions on labeled transition
systems. In particular, we show how constraints on clock variables together with
a uniform liveness condition—the divergence of time—can express Büchi, Muller,
Streett, Rabin, and weak and strong fairness conditions on a given labeled transition
system. We then consider the effect, on both timed and time-abstract expressiveness,
of varying the following parameters: time domain (discrete or dense), number of
clocks, number of states, and size of constants used in timing restrictions.'
acknowledgement: "This research was supported in part by the National Science Foundation
under grant CCR-9200794, by the United States Air Force Office of Scientific Research
under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency
under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical
Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe
full version of this paper is available from the Department of Computer Science,
Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496."
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: Peter
full_name: Kopke, Peter
last_name: Kopke
- first_name: Howard
full_name: Wong Toi, Howard
last_name: Wong Toi
citation:
ama: 'Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd
International Colloquium on Automata, Languages and Programming . Vol 944.
Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93'
apa: 'Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power
of clocks. In 22nd International Colloquium on Automata, Languages and Programming
(Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93'
chicago: Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive
Power of Clocks.” In 22nd International Colloquium on Automata, Languages and
Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
ieee: T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,”
in 22nd International Colloquium on Automata, Languages and Programming ,
Szeged, Hungary, 1995, vol. 944, pp. 417–428.
ista: 'Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks.
22nd International Colloquium on Automata, Languages and Programming . ICALP:
Automata, Languages and Programming, LNCS, vol. 944, 417–428.'
mla: Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 417–28, doi:10.1007/3-540-60084-1_93.
short: T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium
on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:58:31Z
day: '01'
doi: 10.1007/3-540-60084-1_93
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_93
month: '01'
oa_version: None
page: 417 - 428
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '229'
quality_controlled: '1'
status: public
title: The expressive power of clocks
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '4518'
abstract:
- lang: eng
text: The analysis, verification, and control of hybrid automata with finite bisimulations
can be reduced to finite-state problems. We advocate a time-abstract, phase-based
methodology for checking if a given hybrid automaton has a finite bisimulation.
First, we factor the automaton into two components, a boolean automaton with a
discrete dynamics on the finite state space B m and a euclidean automaton with
a continuous dynamics on the infinite state space n . Second, we investigate
the phase portrait of the euclidean component. In this fashion, we obtain new
decidability results for hybrid systems as well as new, uniform proofs of known
decidability results.
acknowledgement: "This research was supported in part by the NSF grant CCR-9200794,
by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.\r\n"
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
citation:
ama: 'Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International
Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335.
doi:10.1007/3-540-60084-1_85'
apa: 'Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd
International Colloquium on Automata, Languages and Programming (Vol. 944,
pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85'
chicago: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd
International Colloquium on Automata, Languages and Programming , 944:324–35.
Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.
ieee: T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International
Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995,
vol. 944, pp. 324–335.
ista: 'Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International
Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages
and Programming, LNCS, vol. 944, 324–335.'
mla: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International
Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995,
pp. 324–35, doi:10.1007/3-540-60084-1_85.
short: T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages
and Programming , Springer, 1995, pp. 324–335.
conference:
end_date: 1995-07-14
location: Szeged, Hungary
name: 'ICALP: Automata, Languages and Programming'
start_date: 1995-07-10
date_created: 2018-12-11T12:09:16Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:21:08Z
day: '01'
doi: 10.1007/3-540-60084-1_85
extern: '1'
intvolume: ' 944'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60084-1_85
month: '01'
oa_version: None
page: 324 - 335
publication: '22nd International Colloquium on Automata, Languages and Programming '
publication_identifier:
isbn:
- '9783540600848'
publication_status: published
publisher: Springer
publist_id: '212'
quality_controlled: '1'
status: public
title: Hybrid automata with finite bisimulations
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 944
year: '1995'
...
---
_id: '4587'
abstract:
- lang: eng
text: We argue that the standard constraints on liveness conditions in nonblocking
trace models—machine closure for closed systems, and receptiveness for open systems—are
unnecessarily weak and complex, and that liveness should, instead, be specified
by augmenting transition systems with acceptance conditions that satisfy a locality
constraint. First, locality implies machine closure and receptiveness, and thus
permits the composition and modular verification of live transition systems. Second,
while machine closure and receptiveness are based on infinite games, locality
is based on repeated finite games, and thus easier to check. Third, no expressive
power is lost by the restriction to local liveness conditions. We illustrate the
appeal of local liveness using the model of Fair Reactive Systems, a nonblocking
trace model of communicating processes.
acknowledgement: Supported in part by the NSF grant CCR-9200794, by the AFOSR contract
F49620-93-1-0056, and by the DARPA grant NAG2-892.
alternative_title:
- LNCS
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. Local liveness for compositional modeling of fair reactive
systems. In: 7th International Conference on Computer Aided Verification.
Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49'
apa: 'Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional
modeling of fair reactive systems. In 7th International Conference on Computer
Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49'
chicago: Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional
Modeling of Fair Reactive Systems.” In 7th International Conference on Computer
Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
ieee: R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of
fair reactive systems,” in 7th International Conference on Computer Aided Verification,
Liege, Belgium, 1995, vol. 939, pp. 166–179.
ista: 'Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of
fair reactive systems. 7th International Conference on Computer Aided Verification.
CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.'
mla: Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling
of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification,
vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
short: R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided
Verification, Springer, 1995, pp. 166–179.
conference:
end_date: 1995-07-05
location: Liege, Belgium
name: 'CAV: Computer Aided Verification'
start_date: 1995-07-03
date_created: 2018-12-11T12:09:37Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-09T14:05:04Z
day: '01'
doi: 10.1007/3-540-60045-0_49
extern: '1'
intvolume: ' 939'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-60045-0_49
month: '01'
oa_version: None
page: 166 - 179
publication: 7th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- 978-3-540-60045-9
publication_status: published
publisher: Springer
publist_id: '120'
quality_controlled: '1'
status: public
title: Local liveness for compositional modeling of fair reactive systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 939
year: '1995'
...
---
_id: '4613'
abstract:
- lang: eng
text: We present a general framework for the formal specification and algorithmic
analysis of hybrid systems. A hybrid system consists of a discrete program with
an analog environment. We model hybrid systems as finite automata equipped with
variables that evolve continuously with time according to dynamical laws. For
verification purposes, we restrict ourselves to linear hybrid systems, where all
variables follow piecewise-linear trajectories. We provide decidability and undecidability
results for classes of linear hybrid systems, and we show that standard program-analysis
techniques can be adapted to linear hybrid systems. In particular, we consider
symbolic model-checking and minimization procedures that are based on the reachability
analysis of an infinite state space. The procedures iteratively compute state
sets that are definable as unions of convex polyhedra in multidimensional real
space. We also present approximation techniques for dealing with systems for which
the iterative procedures do not converge.
article_processing_charge: No
article_type: original
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- first_name: Nicolas
full_name: Halbwachs, Nicolas
last_name: Halbwachs
- 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, Halbwachs N, et al. The algorithmic analysis of hybrid
systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
apa: Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin,
X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical
Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T
chicago: Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger,
Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The
Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science.
Elsevier, 1995. https://doi.org/10.1016/0304-3975(94)00202-T.
ieee: R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical
Computer Science, vol. 138, no. 1. Elsevier, pp. 3–34, 1995.
ista: Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero
A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical
Computer Science. 138(1), 3–34.
mla: Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical
Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
short: R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin,
A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
date_created: 2018-12-11T12:09:45Z
date_published: 1995-02-06T00:00:00Z
date_updated: 2022-06-09T13:40:48Z
day: '06'
doi: 10.1016/0304-3975(94)00202-T
extern: '1'
intvolume: ' 138'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/030439759400202T?via%3Dihub
month: '02'
oa_version: None
page: 3 - 34
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
publisher: Elsevier
publist_id: '94'
quality_controlled: '1'
status: public
title: The algorithmic analysis of hybrid systems
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 138
year: '1995'
...
---
_id: '6162'
abstract:
- lang: eng
text: 'The tra-1 gene is the terminal global selector of somatic sex in Caenorhabditis
elegans: High tra-1 activity elicits female somatic development while low tra-1
activity elicits male development. Previous genetic studies defined a cascade
of negatively interacting genes that regulates tra-1 activity in response to the
primary sex-determining signal. Here, we investigate the last step in this regulatory
cascade, by studying rare gain-of-function (gf) mutations of tra-1 that direct
female somatic development irrespective of the upstream sex-determining signal.
These mutations appear to abolish negative regulation of tra-1 in male tissues.
We identify the lesions associated with 29 of these mutations and find that all
affect a short stretch of amino acid residues present in both protein products
of the tra-1 gene. Twenty-six alleles are associated with single nonconservative
amino acid substitutions. Two alleles affect tra-1 RNA splicing and generate messages
that omit part or all of the exon encoding this short stretch. These results suggest
that sexual regulation of tra-1 is achieved post-translationally, by an inhibitory
protein-protein interaction. The amino acid stretch altered by the tra-1(gf) mutations
may define a site of interaction for negative regulators of tra-1. The stretch
includes a potential phosphorylation site for glycogen synthase kinase 3 and may
be conserved in the human gene GLI3, a homolog of tra-1 identified previously.'
author:
- 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: D.
full_name: Zarkower, D.
last_name: Zarkower
- first_name: J.
full_name: Hodgkin, J.
last_name: Hodgkin
citation:
ama: de Bono M, Zarkower D, Hodgkin J. Dominant feminizing mutations implicate protein-protein
interactions as the main mode of regulation of the nematode sex-determining gene
tra-1. Genes and Development. 1995;9(2):155-167. doi:10.1101/gad.9.2.155
apa: de Bono, M., Zarkower, D., & Hodgkin, J. (1995). Dominant feminizing mutations
implicate protein-protein interactions as the main mode of regulation of the nematode
sex-determining gene tra-1. Genes and Development. CSH Press. https://doi.org/10.1101/gad.9.2.155
chicago: Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations
Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode
Sex-Determining Gene Tra-1.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155.
ieee: M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate
protein-protein interactions as the main mode of regulation of the nematode sex-determining
gene tra-1,” Genes and Development, vol. 9, no. 2. CSH Press, pp. 155–167,
1995.
ista: de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate
protein-protein interactions as the main mode of regulation of the nematode sex-determining
gene tra-1. Genes and Development. 9(2), 155–167.
mla: de Bono, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein
Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene
Tra-1.” Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67,
doi:10.1101/gad.9.2.155.
short: M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
date_created: 2019-03-21T11:57:40Z
date_published: 1995-01-15T00:00:00Z
date_updated: 2021-01-12T08:06:29Z
day: '15'
doi: 10.1101/gad.9.2.155
extern: '1'
external_id:
pmid:
- '7851791'
intvolume: ' 9'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 155-167
pmid: 1
publication: Genes and Development
publication_identifier:
issn:
- '08909369'
publication_status: published
publisher: CSH Press
quality_controlled: '1'
status: public
title: Dominant feminizing mutations implicate protein-protein interactions as the
main mode of regulation of the nematode sex-determining gene tra-1
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '1995'
...