---
_id: '2546'
abstract:
- lang: eng
text: 'Immunochemical characteristics of neostriatal neurons producing substance
P receptor (SPR) were examined in adult rats by double- and triple-immunofluorescence
methods. In the neostriatum, SPR immunoreactivity was detected in large and medium-sized
aspiny neurons. Virtually all SPR-immunoreactive neurons in the neostriatum contained
somatostatin (SS) or choline acetyltransferase (ChAT), but not parvalbumin. All
SS- and ChAT-immunoreactive neurons in the neostriatum showed SPR immunoreactivity.
The co-existence of SS and ChAT was, however, not found in single neurons expressing
SPR immunoreactivity. The present results indicate that neostriatal neurons immunoreactive
for SPR are segregated into 2 groups: (1) medium-sized, aspiny somatostatinergic,
and (2) large, aspiny cholinergic neurons.'
article_processing_charge: No
article_type: original
author:
- first_name: Takeshi
full_name: Kaneko, Takeshi
last_name: Kaneko
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Shigetada
full_name: Nakanishi, Shigetada
last_name: Nakanishi
- first_name: Noboru
full_name: Mizuno, Noboru
last_name: Mizuno
citation:
ama: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Substance P receptor-immunoreactive
neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic
aspiny neurons. Brain Research. 1993;631(2):297-303. doi:10.1016/0006-8993(93)91548-7
apa: Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Substance
P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic
and cholinergic aspiny neurons. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(93)91548-7
chicago: Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno.
“Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated
into Somatostatinergic and Cholinergic Aspiny Neurons.” Brain Research.
Elsevier, 1993. https://doi.org/10.1016/0006-8993(93)91548-7.
ieee: T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Substance P receptor-immunoreactive
neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic
aspiny neurons,” Brain Research, vol. 631, no. 2. Elsevier, pp. 297–303,
1993.
ista: Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1993. Substance P receptor-immunoreactive
neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic
aspiny neurons. Brain Research. 631(2), 297–303.
mla: Kaneko, Takeshi, et al. “Substance P Receptor-Immunoreactive Neurons in the
Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.”
Brain Research, vol. 631, no. 2, Elsevier, 1993, pp. 297–303, doi:10.1016/0006-8993(93)91548-7.
short: T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Brain Research 631 (1993)
297–303.
date_created: 2018-12-11T11:58:18Z
date_published: 1993-12-24T00:00:00Z
date_updated: 2022-03-31T09:14:23Z
day: '24'
doi: 10.1016/0006-8993(93)91548-7
extern: '1'
external_id:
pmid:
- '7907524'
intvolume: ' 631'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/0006899393915487?via%3Dihub
month: '12'
oa_version: None
page: 297 - 303
pmid: 1
publication: Brain Research
publication_identifier:
issn:
- 0006-8993
publication_status: published
publisher: Elsevier
publist_id: '4353'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated
into somatostatinergic and cholinergic aspiny neurons
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 631
year: '1993'
...
---
_id: '2723'
abstract:
- lang: eng
text: 'The ground-state density of the Pauli operator in the case of a nonconstant
magnetic field with constant direction is studied. It is shown that in the large
field limit, the naturally rescaled ground-state density function is bounded from
above by the megnetic field, and under some additional conditions, the limit density
function is equal to the magnetic field. A restatement of this result yields an
estimate on the density of complex orthogonal polynomials with respect to a fairly
general weight function. We also prove a special case of the paramagnetic inequality. '
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. Ground-state density of the Pauli operator in the large field limit.
Letters in Mathematical Physics. 1993;29(3):219-240. doi:10.1007/BF00761110
apa: Erdös, L. (1993). Ground-state density of the Pauli operator in the large field
limit. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/BF00761110
chicago: Erdös, László. “Ground-State Density of the Pauli Operator in the Large
Field Limit.” Letters in Mathematical Physics. Springer, 1993. https://doi.org/10.1007/BF00761110.
ieee: L. Erdös, “Ground-state density of the Pauli operator in the large field limit,”
Letters in Mathematical Physics, vol. 29, no. 3. Springer, pp. 219–240,
1993.
ista: Erdös L. 1993. Ground-state density of the Pauli operator in the large field
limit. Letters in Mathematical Physics. 29(3), 219–240.
mla: Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field
Limit.” Letters in Mathematical Physics, vol. 29, no. 3, Springer, 1993,
pp. 219–40, doi:10.1007/BF00761110.
short: L. Erdös, Letters in Mathematical Physics 29 (1993) 219–240.
date_created: 2018-12-11T11:59:16Z
date_published: 1993-11-01T00:00:00Z
date_updated: 2022-03-30T15:02:00Z
day: '01'
doi: 10.1007/BF00761110
extern: '1'
intvolume: ' 29'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007/BF00761110
month: '11'
oa_version: None
page: 219 - 240
publication: Letters in Mathematical Physics
publication_identifier:
issn:
- 0377-9017
publication_status: published
publisher: Springer
publist_id: '4169'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ground-state density of the Pauli operator in the large field limit
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 29
year: '1993'
...
---
_id: '1947'
abstract:
- lang: eng
text: Mitochondrial transhydrogenase has been reported previously to be inhibited
by high, rather non-physiological concentrations (in the range of 2-20 mM) of
divalent cations. We show that the enzyme could be activated by low (from about
1 μM to 1 mM) concentrations of Ca2+ and Mg2+, which are within physiological
range. These results bring in line the effects observed with mitochondrial enzyme
to the findings with bacterial transhydrogenases. The activation of transhydrogenase
by divalent cations is interpreted as an increase in affinity of the NADP(H)-binding
site of the enzyme-NAD(H) complex. Reported effects of the metal ions could be
important for the enzyme function in vivo.
acknowledgement: 'This work was supported by a Wellcome Trust fellowship to L.A.S. '
article_processing_charge: No
article_type: original
author:
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
- first_name: Julie
full_name: Jackson, Julie
last_name: Jackson
citation:
ama: Sazanov LA, Jackson J. Activation and inhibition of mitochondrial transhydrogenase
by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1993;1144(2):225-228.
doi:10.1016/0005-2728(93)90177-H
apa: Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial
transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics.
Elsevier. https://doi.org/10.1016/0005-2728(93)90177-H
chicago: Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial
Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics.
Elsevier, 1993. https://doi.org/10.1016/0005-2728(93)90177-H.
ieee: L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial
transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics,
vol. 1144, no. 2. Elsevier, pp. 225–228, 1993.
ista: Sazanov LA, Jackson J. 1993. Activation and inhibition of mitochondrial transhydrogenase
by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1144(2), 225–228.
mla: Sazanov, Leonid A., and Julie Jackson. “Activation and Inhibition of Mitochondrial
Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics,
vol. 1144, no. 2, Elsevier, 1993, pp. 225–28, doi:10.1016/0005-2728(93)90177-H.
short: L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144
(1993) 225–228.
date_created: 2018-12-11T11:54:52Z
date_published: 1993-09-13T00:00:00Z
date_updated: 2022-06-01T12:51:32Z
day: '13'
doi: 10.1016/0005-2728(93)90177-H
extern: '1'
external_id:
pmid:
- '8369341 '
intvolume: ' 1144'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/science/article/pii/000527289390177H?via%3Dihub
month: '09'
oa_version: None
page: 225 - 228
pmid: 1
publication: Biochimica et Biophysica Acta - Bioenergetics
publication_identifier:
issn:
- 0005-2728
publication_status: published
publisher: Elsevier
publist_id: '5136'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Activation and inhibition of mitochondrial transhydrogenase by metal ions
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1144
year: '1993'
...
---
_id: '1948'
acknowledgement: 'We acknowledge financial support from the Wellcome Trust (fellowship
to L.A.S) '
article_processing_charge: No
article_type: original
author:
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
- first_name: Julie
full_name: Jackson, Julie
last_name: Jackson
citation:
ama: Sazanov LA, Jackson J. Possible functions of the NADP-linked isocitrate dehydrogenase
and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions.
1993;21(3):260. doi:10.1042/bst021260s
apa: Sazanov, L. A., & Jackson, J. (1993). Possible functions of the NADP-linked
isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical
Society Transactions. Portland Press. https://doi.org/10.1042/bst021260s
chicago: Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked
Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical
Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst021260s.
ieee: L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate
dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” Biochemical
Society Transactions, vol. 21, no. 3. Portland Press, p. 260, 1993.
ista: Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate
dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society
Transactions. 21(3), 260.
mla: Sazanov, Leonid A., and Julie Jackson. “Possible Functions of the NADP-Linked
Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical
Society Transactions, vol. 21, no. 3, Portland Press, 1993, p. 260, doi:10.1042/bst021260s.
short: L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993) 260.
date_created: 2018-12-11T11:54:52Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-06-01T13:17:02Z
day: '01'
doi: 10.1042/bst021260s
extern: '1'
external_id:
pmid:
- '8224412 '
intvolume: ' 21'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://portlandpress.com/biochemsoctrans/article-abstract/21/3/260S/83260/Possible-functions-of-the-NADP-linked-isocitrate?redirectedFrom=fulltext
month: '01'
oa_version: None
page: '260'
pmid: 1
publication: Biochemical Society Transactions
publication_identifier:
issn:
- 0300-5127
publication_status: published
publisher: Portland Press
publist_id: '5137'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase
in heart mitochondria '
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 21
year: '1993'
...
---
_id: '1950'
article_processing_charge: No
article_type: original
author:
- first_name: Julie
full_name: Jackson, Julie
last_name: Jackson
- first_name: N P J
full_name: Cotton, N P J
last_name: Cotton
- first_name: Ross
full_name: Williams, Ross
last_name: Williams
- first_name: Tania
full_name: Bizouarn, Tania
last_name: Bizouarn
- first_name: Mike
full_name: Hutton, Mike
last_name: Hutton
- 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: Christopher
full_name: Thomas, Christopher
last_name: Thomas
citation:
ama: Jackson J, Cotton NPJ, Williams R, et al. Proton-translocating transhydrogenase
in bacteria. Biochemical Society Transactions. 1993;21(4):1010-1013. doi:10.1042/bst0211010
apa: Jackson, J., Cotton, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov,
L. A., & Thomas, C. (1993). Proton-translocating transhydrogenase in bacteria.
Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0211010
chicago: Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton,
Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase
in Bacteria.” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst0211010.
ieee: J. Jackson et al., “Proton-translocating transhydrogenase in bacteria,”
Biochemical Society Transactions, vol. 21, no. 4. Portland Press, pp. 1010–1013,
1993.
ista: Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas
C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society
Transactions. 21(4), 1010–1013.
mla: Jackson, Julie, et al. “Proton-Translocating Transhydrogenase in Bacteria.”
Biochemical Society Transactions, vol. 21, no. 4, Portland Press, 1993,
pp. 1010–13, doi:10.1042/bst0211010.
short: J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov,
C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.
date_created: 2018-12-11T11:54:52Z
date_published: 1993-11-01T00:00:00Z
date_updated: 2022-06-01T12:16:19Z
day: '01'
doi: 10.1042/bst0211010
extern: '1'
external_id:
pmid:
- '8131888'
intvolume: ' 21'
issue: '4'
language:
- iso: eng
main_file_link:
- url: https://portlandpress.com/biochemsoctrans/article-abstract/21/4/1010/86733/Proton-translocating-transhydrogenase-in-bacteria?redirectedFrom=fulltext
month: '11'
oa_version: None
page: 1010 - 1013
pmid: 1
publication: Biochemical Society Transactions
publication_identifier:
issn:
- 0300-5127
publication_status: published
publisher: Portland Press
publist_id: '5135'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Proton-translocating transhydrogenase in bacteria
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 21
year: '1993'
...
---
_id: '4589'
abstract:
- lang: eng
text: "The theory of the natural numbers with linear order and monadic predicates
underlies propositional linear temporal logic. To study temporal logics that are
suitable for reasoning about real-time systems, we combine this classical theory
of infinite state sequences with a theory of discrete time, via a monotonic function
that maps every state to its time. The resulting theory of timed state sequences
is shown to be decidable, albeit nonelementary, and its expressive power is characterized
by ω-regular sets. Several more expressive variants are proved to be highly undecidable.
This framework allows us to classify a wide variety of real-time logics according
to their complexity and expressiveness. Indeed, it follows that most formalisms
proposed in the literature cannot be decided. We are, however, able to identify
two elementary real-time temporal logics as expressively complete fragments of
the theory of timed state sequences, and we present tableau-based decision procedures
for checking validity. Consequently, these two formalisms are well-suited for
the specification and verification of real-time systems.\r\n\r\nCopyright © 1993
Academic Press. All rights reserved."
acknowledgement: We thank David Dill, Zohar Manna, and Amir Pnueli for helpful discussion.
article_processing_charge: No
article_type: original
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information
and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025'
apa: 'Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and
expressiveness. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1993.1025'
chicago: 'Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and
Expressiveness.” Information and Computation. Elsevier, 1993. https://doi.org/10.1006/inco.1993.1025.'
ieee: 'R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,”
Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.'
ista: 'Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness.
Information and Computation. 104(1), 35–77.'
mla: 'Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.”
Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77,
doi:10.1006/inco.1993.1025.'
short: R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
date_created: 2018-12-11T12:09:38Z
date_published: 1993-05-01T00:00:00Z
date_updated: 2022-03-23T13:08:27Z
day: '01'
doi: 10.1006/inco.1993.1025
extern: '1'
intvolume: ' 104'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/S0890540183710254?via%3Dihub
month: '05'
oa: 1
oa_version: Published Version
page: 35 - 77
publication: Information and Computation
publication_identifier:
eissn:
- 0890-5401
publication_status: published
publisher: Elsevier
publist_id: '116'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Real-time logics: Complexity and expressiveness'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 104
year: '1993'
...
---
_id: '4616'
abstract:
- lang: eng
text: We present a model checking procedure and its implementation for the automatic
verification of embedded systems. Systems are represented by hybrid automata -
machines with finite control and real-valued variables modeling continuous environment
parameters such as time, pressure, and temperature. System properties are specified
in a real-time temporal logic and verified by symbolic computation. The verification
procedure, implemented in Mathematica, is used to prove digital controllers and
distributed algorithms correct. The verifier checks safety, liveness, time-bounded,
and duration properties of hybrid automata
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
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems.
In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520 '
apa: 'Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification
of embedded systems. In 1993 Proceedings Real-Time Systems Symposium (pp.
2–11). Raleigh, NC, United States of America: IEEE. https://doi.org/10.1109/REAL.1993.393520 '
chicago: Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification
of Embedded Systems.” In 1993 Proceedings Real-Time Systems Symposium,
2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520
.
ieee: R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded
systems,” in 1993 Proceedings Real-Time Systems Symposium, Raleigh, NC,
United States of America, 1993, pp. 2–11.
ista: 'Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded
systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems
Symposium, 2–11.'
mla: Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.”
1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
short: R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium,
IEEE, 1993, pp. 2–11.
conference:
end_date: 1993-12-03
location: Raleigh, NC, United States of America
name: 'RTSS: Real-Time Systems Symposium'
start_date: 1993-12-01
date_created: 2018-12-11T12:09:46Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-23T13:01:41Z
day: '01'
doi: '10.1109/REAL.1993.393520 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/393520
month: '01'
oa_version: None
page: 2 - 11
publication: 1993 Proceedings Real-Time Systems Symposium
publication_identifier:
isbn:
- 0-8186-4480-X
publication_status: published
publisher: IEEE
publist_id: '90'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Automatic symbolic verification of embedded systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1993'
...
---
_id: '4618'
abstract:
- lang: eng
text: We introduce the framework of hybrid automata as a model and specification
language for hybrid systems. Hybrid automata can be viewed as a generalization
of timed automata, in which the behavior of variables is governed in each state
by a set of differential equations. We show that many of the examples considered
in the workshop can be defined by hybrid automata. While the reachability problem
is undecidable even for very restricted classes of hybrid automata, we present
two semidecision procedures for verifying safety properties of piecewiselinear
hybrid automata, in which all variables change at constant rates. The two procedures
are based, respectively, on minimizing and computing fixpoints on generally infinite
state spaces. We show that if the procedures terminate, then they give correct
answers. We then demonstrate that for many of the typical workshop examples, the
procedures do terminate and thus provide an automatic way for verifying their
properties.
acknowledgement: BRA ESPRIT project REACT, National Science Foundation under grant
CCR-9200794 , United States Air Force Office of Scientific Research contract F49620-93-1-0056.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Pei
full_name: Ho, Pei
last_name: Ho
citation:
ama: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic
approach to the specification and verification of hybrid systems. In: Grossman
R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer;
1993:209-229. doi:10.1007/3-540-57318-6_30'
apa: 'Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid
automata: An algorithmic approach to the specification and verification of hybrid
systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid
Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30'
chicago: 'Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid
Automata: An Algorithmic Approach to the Specification and Verification of Hybrid
Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders
Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.'
ieee: 'R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An
algorithmic approach to the specification and verification of hybrid systems,”
in Hybrid Systems, 1993, vol. 736, pp. 209–229.'
ista: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic
approach to the specification and verification of hybrid systems. Hybrid Systems.
, LNCS, vol. 736, 209–229.'
mla: 'Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification
and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman
et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.'
short: R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode,
A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
date_created: 2018-12-11T12:09:47Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-21T11:04:54Z
day: '01'
doi: 10.1007/3-540-57318-6_30
editor:
- first_name: Robert
full_name: Grossman, Robert
last_name: Grossman
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Anders
full_name: Ravn, Anders
last_name: Ravn
- first_name: Hans
full_name: Rischel, Hans
last_name: Rischel
extern: '1'
intvolume: ' 736'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-57318-6_30
month: '01'
oa_version: None
page: 209 - 229
publication: Hybrid Systems
publication_status: published
publisher: Springer
publist_id: '87'
quality_controlled: '1'
status: public
title: 'Hybrid automata: An algorithmic approach to the specification and verification
of hybrid systems'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 736
year: '1993'
...
---
_id: '4619'
abstract:
- lang: eng
text: Traditional approaches to the algorithmic verification of real-time systems
are limited to checking program correctness with respect to concrete timing properties
(e.g., "message delivery within 10 milliseconds"). We address the more
realistic and more ambitious problem of deriving symbolic constraints on the timing
properties required of real-time systems (e.g., "message delivery within
the time it takes to execute two assignment statements"). To model this problem,
we introduce parametric timed automata -- finite-state machines whose transitions
are constrained with parametric timing requirements. The emptiness question for
parametric timed automata is central to the verification problem. On the negative
side, we show that in general this question is undecidable. On the positive side,
we provide algorithms for checking the emptiness of restricted classes of parametric
timed automata. The practical relevance of these classes is illustrated with several
verification examples. There remains a gap between the automata classes for which
we know that emptiness is decidable and undecidable, respectively, and this gap
is related to various hard and open problems of logic and automata theory.
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
- first_name: Moshe
full_name: Vardi, Moshe
last_name: Vardi
citation:
ama: 'Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: Proceedings
of the 25th Annual ACM Symposium on Theory of Computing. ACM; 1993:592-601.
doi:10.1145/167088.167242'
apa: 'Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning.
In Proceedings of the 25th annual ACM symposium on Theory of Computing
(pp. 592–601). San Diego, CA, United States of America: ACM. https://doi.org/10.1145/167088.167242'
chicago: Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time
Reasoning.” In Proceedings of the 25th Annual ACM Symposium on Theory of Computing,
592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
ieee: R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,”
in Proceedings of the 25th annual ACM symposium on Theory of Computing,
San Diego, CA, United States of America, 1993, pp. 592–601.
ista: 'Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings
of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the
Theory of Computing, 592–601.'
mla: Alur, Rajeev, et al. “Parametric Real-Time Reasoning.” Proceedings of the
25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601,
doi:10.1145/167088.167242.
short: R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM
Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
conference:
end_date: 1993-05-18
location: San Diego, CA, United States of America
name: 'STOC: Symposium on the Theory of Computing'
start_date: 1993-05-16
date_created: 2018-12-11T12:09:47Z
date_published: 1993-06-01T00:00:00Z
date_updated: 2022-03-21T11:11:37Z
day: '01'
doi: 10.1145/167088.167242
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/10.1145/167088.167242
month: '06'
oa_version: None
page: 592 - 601
publication: Proceedings of the 25th annual ACM symposium on Theory of Computing
publication_status: published
publisher: ACM
publist_id: '88'
quality_controlled: '1'
status: public
title: Parametric real-time reasoning
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1993'
...
---
_id: '4620'
abstract:
- lang: eng
text: We present a verification algorithm for duration properties of finite-state
real-time systems. While simple real-time properties constrain the total elapsed
time between events, duration properties constrain the accumulated time during
which certain state predicates hold. We formalize the concept of durations by
introducing duration measures for (dense-time) timed automata. Given a timed automaton
with a duration measure, a start and a target state, and a duration constraint,
the duration-bounded reachability problem asks if there is a run of the automaton
from the start state to the target state such that the accumulated duration along
the run satisfies the constraint. Our main result is a novel decision procedure
for solving the duration-bounded reachability problem. We also prove that the
problem is PSPACE-complete and demonstrate how the solution can be used to verify
interesting duration properties of real-time systems.
acknowledgement: BRA ESPRIT project REACT, National Science Foundation grant CCR-9200794
United States Air Force Office of Scientific Research contract F49620-93-1-0056
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Costas
full_name: Courcoubetis, Costas
last_name: Courcoubetis
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time
systems. In: 5th International Conference on Computer Aided Verification.
Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16'
apa: 'Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated
delays in real-time systems. In 5th International Conference on Computer Aided
Verification (Vol. 697, pp. 181–193). Elounda, Greece: Springer. https://doi.org/10.1007/3-540-56922-7_16'
chicago: Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated
Delays in Real-Time Systems.” In 5th International Conference on Computer Aided
Verification, 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
ieee: R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays
in real-time systems,” in 5th International Conference on Computer Aided Verification,
Elounda, Greece, 1993, vol. 697, pp. 181–193.
ista: 'Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays
in real-time systems. 5th International Conference on Computer Aided Verification.
CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.'
mla: Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” 5th
International Conference on Computer Aided Verification, vol. 697, Springer,
1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
short: R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference
on Computer Aided Verification, Springer, 1993, pp. 181–193.
conference:
end_date: 1993-07-01
location: Elounda, Greece
name: 'CAV: Computer Aided Verification'
start_date: 1993-06-28
date_created: 2018-12-11T12:09:47Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-21T13:55:53Z
day: '01'
doi: 10.1007/3-540-56922-7_16
extern: '1'
intvolume: ' 697'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-56922-7_16
month: '01'
oa_version: None
page: 181 - 193
publication: 5th International Conference on Computer Aided Verification
publication_status: published
publisher: Springer
publist_id: '89'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing accumulated delays in real-time systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 697
year: '1993'
...
---
_id: '3446'
abstract:
- lang: eng
text: An effective character recognition procedure implemented on a new type of
hardware system and using a new architecture called CNND is proposed. This CNND
contains one or more analog cellular neural networks (CNNs) and some digital logic,
combining the advantages of the fast analog CNN signal processing and the fast
and easy decision capability of digital logic. It is shown that the CNND system
can be used for recognition of multifont printed or handwritten characters and
could recognize 100,000 char/s with a recognition rate of more than 95%. The more
advantage of the system over competing types is that there is not an extra feature
extraction procedure implemented in slow hardware
article_processing_charge: No
article_type: original
author:
- first_name: Tamas
full_name: Sziranyi, Tamas
last_name: Sziranyi
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: 'Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular
neural network architecture (CNND). IEEE Transactions on Circuits and Systems
II: Analog and Digital Signal Processing. 1993;40(3):223-231. doi:10.1109/82.222823'
apa: 'Sziranyi, T., & Csicsvari, J. L. (1993). High-speed character recognition
using a dual cellular neural network architecture (CNND). IEEE Transactions
on Circuits and Systems II: Analog and Digital Signal Processing. IEEE. https://doi.org/10.1109/82.222823'
chicago: 'Sziranyi, Tamas, and Jozsef L Csicsvari. “High-Speed Character Recognition
Using a Dual Cellular Neural Network Architecture (CNND).” IEEE Transactions
on Circuits and Systems II: Analog and Digital Signal Processing. IEEE, 1993.
https://doi.org/10.1109/82.222823.'
ieee: 'T. Sziranyi and J. L. Csicsvari, “High-speed character recognition using
a dual cellular neural network architecture (CNND),” IEEE Transactions on Circuits
and Systems II: Analog and Digital Signal Processing, vol. 40, no. 3. IEEE,
pp. 223–231, 1993.'
ista: 'Sziranyi T, Csicsvari JL. 1993. High-speed character recognition using a
dual cellular neural network architecture (CNND). IEEE Transactions on Circuits
and Systems II: Analog and Digital Signal Processing. 40(3), 223–231.'
mla: 'Sziranyi, Tamas, and Jozsef L. Csicsvari. “High-Speed Character Recognition
Using a Dual Cellular Neural Network Architecture (CNND).” IEEE Transactions
on Circuits and Systems II: Analog and Digital Signal Processing, vol. 40,
no. 3, IEEE, 1993, pp. 223–31, doi:10.1109/82.222823.'
short: 'T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II:
Analog and Digital Signal Processing 40 (1993) 223–231.'
date_created: 2018-12-11T12:03:22Z
date_published: 1993-03-01T00:00:00Z
date_updated: 2022-03-30T14:44:44Z
day: '01'
doi: 10.1109/82.222823
extern: '1'
intvolume: ' 40'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/222823
month: '03'
oa_version: None
page: 223 - 231
publication: 'IEEE Transactions on Circuits and Systems II: Analog and Digital Signal
Processing'
publication_identifier:
issn:
- 1057-7130
publication_status: published
publisher: IEEE
publist_id: '2941'
quality_controlled: '1'
scopus_import: '1'
status: public
title: High-speed character recognition using a dual cellular neural network architecture
(CNND)
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 40
year: '1993'
...
---
_id: '3451'
acknowledgement: I thank Prof. B. Sakmann for generous support and Drs. M. Häusser
and A. Villarroel for critically reading the manuscript.
alternative_title:
- 'Annals of the New York Academy of Sciences '
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. Glutamate receptors in the central nervous system. In: Molecular
Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission,
and Muscle Contraction. Vol 707. Annals of the New York Academy of Sciences.
New York Academy of Sciences; 1993:126-135. doi:10.1111/j.1749-6632.1993.tb38048.x'
apa: Jonas, P. M. (1993). Glutamate receptors in the central nervous system. In
Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation,
Synaptic Transmission, and Muscle Contraction (Vol. 707, pp. 126–135). New
York Academy of Sciences. https://doi.org/10.1111/j.1749-6632.1993.tb38048.x
chicago: Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” In
Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation,
Synaptic Transmission, and Muscle Contraction, 707:126–35. Annals of the New
York Academy of Sciences. New York Academy of Sciences, 1993. https://doi.org/10.1111/j.1749-6632.1993.tb38048.x.
ieee: P. M. Jonas, “Glutamate receptors in the central nervous system,” in Molecular
Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission,
and Muscle Contraction, vol. 707, New York Academy of Sciences, 1993, pp.
126–135.
ista: 'Jonas PM. 1993.Glutamate receptors in the central nervous system. In: Molecular
Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission,
and Muscle Contraction. Annals of the New York Academy of Sciences , vol. 707,
126–135.'
mla: Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” Molecular
Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission,
and Muscle Contraction, vol. 707, New York Academy of Sciences, 1993, pp.
126–35, doi:10.1111/j.1749-6632.1993.tb38048.x.
short: P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in
Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy
of Sciences, 1993, pp. 126–135.
date_created: 2018-12-11T12:03:24Z
date_published: 1993-12-20T00:00:00Z
date_updated: 2022-03-30T12:35:23Z
day: '20'
doi: 10.1111/j.1749-6632.1993.tb38048.x
extern: '1'
external_id:
pmid:
- '9729204'
intvolume: ' 707'
language:
- iso: eng
main_file_link:
- url: https://nyaspubs.onlinelibrary.wiley.com/doi/10.1111/j.1749-6632.1993.tb38048.x
month: '12'
oa_version: None
page: 126 - 135
pmid: 1
publication: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation,
Synaptic Transmission, and Muscle Contraction
publication_status: published
publisher: New York Academy of Sciences
publist_id: '2936'
quality_controlled: '1'
scopus_import: '1'
series_title: Annals of the New York Academy of Sciences
status: public
title: Glutamate receptors in the central nervous system
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 707
year: '1993'
...
---
_id: '3452'
abstract:
- lang: eng
text: In recent years, considerable progress in our understanding of the molecular
events underlying excitatory synaptic transmission has been made. This progress
was mainly achieved by technical advances, among them the patch-clamp technique
in brain slices (Edwards et al., 1989), fast application of agonists (Franke et
al., 1987), and cloning and functional expression of GluR channels of the nonNMDA
type (e.g., Hollmann et al., 1989). A suitable model for studying excitatory postsynaptic
currents (EPSCs) in the brain slice with patch-clamp techniques is the mossy fiber
synapse on CA3 pyramidal cells of rat hippocampus (MF-CA3 synapse). This synapse
is located close to the cell soma and should provide almost ideal space-clamp
conditions. A comparison of MF-CA3 EPSCs with the currents activated by fast application
of glutamate on membrane patches isolated from CA3 cell somata suggests that the
concentration of glutamate in the synaptic cleft during excitatory synaptic transmission
is high (about 1 mM) and that the transmitter remains in the synaptic cleft only
briefly (about 1 ms). It seems likely that desensitization influences the peak
amplitude of the EPSC in several ways. Brief pulses of glutamate cause desensitization,
from which the glutamate receptor channels recover only slowly, and micromolar
ambient glutamate concentrations produce desensitization at equilibrium. From
the functional properties of recombinant GluR channels, in situ hybridization
data, and patch-clamp experiments on different neuronal and nonneuronal cell types,
a picture of the molecular identity of native channels emerges. In neurons of
the hippocampus the pharmacological features of these channels were similar to
recombinant channels assembled from subunits of the AMPA/kainate subtype which
are strongly expressed in these cells. The native channels are characterized by
outward rectification of the steady-state I-V and low Ca permeability, similar
to recombinant channels containing the GluR-B subunit. This is consistent with
the ubiquitous expression of this subunit in hippocampal neurones. In contrast,
GluR channels from cerebellar glial cells, which uniquely in the central nervous
system lack the expression of GluR-B subunits, show double rectification and high
Ca permeability. The results suggest that the native functional nonNMDA glutamate
receptor channels in the CNS are assembled form subunits of the AMPA/kainate subtype
in a cell-specific way, with the functional properties of GluR channels in neurones
being dominated by the GluR-B subunit.
alternative_title:
- EXS
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. AMPA-type glutamate receptors - nonselective cation channels mediating
fast excitatory transmission in the CNS. In: Siemen D, ed. Nonselective Cation
Channels: Pharmacology, Physiology and Biophysics. Vol 66. Birkhäuser; 1993:61-76.
doi:10.1007/978-3-0348-7327-7_4'
apa: 'Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels
mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective
cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76).
Birkhäuser. https://doi.org/10.1007/978-3-0348-7327-7_4'
chicago: 'Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels
Mediating Fast Excitatory Transmission in the CNS.” In Nonselective Cation
Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen,
66:61–76. Birkhäuser, 1993. https://doi.org/10.1007/978-3-0348-7327-7_4.'
ieee: 'P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels
mediating fast excitatory transmission in the CNS,” in Nonselective cation
channels: Pharmacology, Physiology and Biophysics., vol. 66, D. Siemen, Ed.
Birkhäuser, 1993, pp. 61–76.'
ista: 'Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels
mediating fast excitatory transmission in the CNS. In: Nonselective cation channels:
Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.'
mla: 'Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels
Mediating Fast Excitatory Transmission in the CNS.” Nonselective Cation Channels:
Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, vol. 66,
Birkhäuser, 1993, pp. 61–76, doi:10.1007/978-3-0348-7327-7_4.'
short: 'P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology,
Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.'
date_created: 2018-12-11T12:03:24Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-30T11:46:44Z
day: '01'
doi: 10.1007/978-3-0348-7327-7_4
editor:
- first_name: Detlef
full_name: Siemen, Detlef
last_name: Siemen
extern: '1'
external_id:
pmid:
- '7505664'
intvolume: ' 66'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-0348-7327-7_4
month: '01'
oa_version: None
page: 61 - 76
pmid: 1
publication: 'Nonselective cation channels: Pharmacology, Physiology and Biophysics.'
publication_identifier:
isbn:
- 978-3-0348-7327-7
publication_status: published
publisher: Birkhäuser
publist_id: '2935'
quality_controlled: '1'
scopus_import: '1'
status: public
title: AMPA-type glutamate receptors - nonselective cation channels mediating fast
excitatory transmission in the CNS
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 66
year: '1993'
...
---
_id: '3473'
abstract:
- lang: eng
text: Sixteen different K+ channel subtypes have been cloned from mammalian tissue.
Considering their sequence homology to Drosophila Shaker, Shab, Shaw and Shal
channels, they were classified into four corresponding classes Kv1-4. All K+ channels
belonging to these classes consist of four subunits with each six hydrophobic
segments (S1-S6) and a characteristic structure-function relationship of certain
domains in their amino acid sequence. These domains are, the inactivation gate
in the N-terminal region of the sequence, the voltage sensor in the fourth hydrophobic
segment (S4), and the pore-region in the H5 segment between S5 and S6. In some
functional properties K+ channels cloned from the mammalian brain, however, differ
from Drosophila K+ channels. These are pharmacological differences, differences
in the threshold of activation and in regulation of inactivation. Part of these
differences are important to understand their physiological role in the brain.
Based on their functional characteristics the expression pattern of cloned K+
channels in the rat brain can be correlated with the properties of K+ currents
measured in central neurones.
article_processing_charge: No
article_type: original
author:
- first_name: Peter
full_name: Ruppersberg, Peter
last_name: Ruppersberg
- first_name: Mamfred
full_name: Ermler, Mamfred
last_name: Ermler
- first_name: Martin
full_name: Knopf, Martin
last_name: Knopf
- first_name: Wilfried
full_name: Kues, Wilfried
last_name: Kues
- 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: Michael
full_name: Koenen, Michael
last_name: Koenen
citation:
ama: Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of
Shaker-homologous potassium channels expressed in the mammalian brain. Cellular
Physiology and Biochemistry. 1993;3:250-269. doi:10.1159/000154691
apa: Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., & Koenen,
M. (1993). Properties of Shaker-homologous potassium channels expressed in the
mammalian brain. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000154691
chicago: Ruppersberg, Peter, Mamfred Ermler, Martin Knopf, Wilfried Kues, Peter
M Jonas, and Michael Koenen. “Properties of Shaker-Homologous Potassium Channels
Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry.
S. Karger AG, 1993. https://doi.org/10.1159/000154691.
ieee: P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen,
“Properties of Shaker-homologous potassium channels expressed in the mammalian
brain.,” Cellular Physiology and Biochemistry, vol. 3. S. Karger AG, pp.
250–269, 1993.
ista: Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. 1993. Properties
of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular
Physiology and Biochemistry. 3, 250–269.
mla: Ruppersberg, Peter, et al. “Properties of Shaker-Homologous Potassium Channels
Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry,
vol. 3, S. Karger AG, 1993, pp. 250–69, doi:10.1159/000154691.
short: P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular
Physiology and Biochemistry 3 (1993) 250–269.
date_created: 2018-12-11T12:03:31Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-30T10:21:04Z
day: '01'
doi: 10.1159/000154691
extern: '1'
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- url: https://www.karger.com/Article/Abstract/154691
month: '01'
oa_version: None
page: 250 - 269
publication: Cellular Physiology and Biochemistry
publication_identifier:
issn:
- 1015-8987
publication_status: published
publisher: S. Karger AG
publist_id: '2914'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Properties of Shaker-homologous potassium channels expressed in the mammalian
brain.
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 3
year: '1993'
...
---
_id: '3474'
abstract:
- lang: eng
text: 1. Excitatory postsynaptic currents (EPSCs) were recorded in CA3 pyramidal
cells of hippocampal slices of 15- to 24-day-old rats (22 degrees C) using the
whole-cell configuration of the patch clamp technique. 2. Composite EPSCs were
evoked by extracellular stimulation of the mossy fibre tract. Using the selective
blockers 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX) and D-2-amino-5-phosphonopentanoic
acid (APV), a major alpha-amino-3-hydroxy-5-methylisoxazole-4-propionate (AMPA)/kainate
receptor-mediated component and a minor NMDA receptor-mediated component with
slower time course were distinguished. For the AMPA/kainate receptor-mediated
component, the peak current-voltage (I-V) relation was linear, with a reversal
potential close to 0 mV. The half-maximal blocking concentration of CNQX was 353
nM. 3. Unitary EPSCs of the mossy fibre terminal (MF)-CA3 pyramidal cell synapse
were evoked at membrane potentials of -70 to -90 mV by low-intensity extracellular
stimulation of granule cell somata using fine-tipped pipettes. The EPSC peak amplitude
as a function of stimulus intensity showed all-or-none behaviour. The region of
low threshold was restricted to a few micrometres. This suggests that extracellular
stimulation was focal, and that the stimulus-evoked EPSCs were unitary. 4. Latency
and rise time histograms of EPSCs evoked by granule cell stimulation showed narrow
unimodal distributions within each experiment. The mean latency was 4.2 +/- 1.0
ms, and the mean 20-80% rise time was 0.6 +/- 0.1 ms (23 cells). When fitted within
the range 0.7 ms to 20 ms after the peak, the decay of the EPSCs with the fastest
rise (rise time 0.5 ms or less) could be described by a single exponential function;
the mean time constant was in the range 3.0-6.6 ms with a mean of 4.8 ms (8 cells).
5. Peak amplitudes of the EPSCs evoked by suprathreshold granule cell stimulation
fluctuated between trials. The apparent EPSC peak conductance in normal extracellular
solution (2 mM Ca2+, 1 mM Mg2+), excluding failures, was 1 nS. Reducing the Ca2+
concentration and increasing the Mg2+ concentration reduced the mean peak amplitude
in a concentration-dependent manner. 6. Peaks in EPSC peak amplitude distributions
were apparent in low Ca2+ and high Mg2+. Using the criteria of equidistance and
the presence of peaks and dips in the autocorrelation function, five of nine EPSC
peak amplitude distributions were judged to be quantal.
acknowledgement: "We are indebted to Professor B. Katz for critically reading the
manuscript and for helpful suggestions. We especially thank Professor D. Colquhoun
for several discussions, for generously providing the source codes of programs for
maximum-likelihood fit with sums of Gaussian functions, a routine for calculating
the error function and for critically reading the manuscript. We also thank Drs
A. Larkman, P. Ruppersberg, N. Spuston and G. Stuart for critically reading the
manuscript, P. Andersen, B. Betz, J. Evans, K. Harris, E. v. Kitzing, R. Rahamimov
and K. Stratford for helpful discussions, and J. J. B. Jack for much-needed advice
and guidance to G.M. We thank K. Bauer, F. Helmchen, M. Huke, B. Manz and especially
A. Roth for computer programming, B. Werner for typing the manuscript, and M. Kaiser
for excellent technical assistance. Part of the project was supported by the Deutsche
Forschungsgemeinschaft (SFB-317)\r\nand the Wellcome Trust."
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: Guy
full_name: Major, Guy
last_name: Major
- first_name: Bert
full_name: Sakmann, Bert
last_name: Sakmann
citation:
ama: Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy
fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology.
1993;472:615-663. doi:10.1113/jphysiol.1993.sp019965
apa: Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary
EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal
of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1993.sp019965
chicago: Jonas, Peter M, Guy Major, and Bert Sakmann. “Quantal Components of Unitary
EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal
of Physiology. Wiley-Blackwell, 1993. https://doi.org/10.1113/jphysiol.1993.sp019965.
ieee: P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs
at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal
of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
ista: Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at
the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of
Physiology. 472, 615–663.
mla: Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre
Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology,
vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:10.1113/jphysiol.1993.sp019965.
short: P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
date_created: 2018-12-11T12:03:31Z
date_published: 1993-12-01T00:00:00Z
date_updated: 2022-03-30T09:33:19Z
day: '01'
doi: 10.1113/jphysiol.1993.sp019965
extern: '1'
external_id:
pmid:
- '7908327'
intvolume: ' 472'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1160505
month: '12'
oa: 1
oa_version: Published Version
page: 615 - 663
pmid: 1
publication: Journal of Physiology
publication_identifier:
issn:
- 0022-3751
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2913'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal
cells of rat hippocampus
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 472
year: '1993'
...
---
_id: '3568'
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. Geometric algorithms. In: Handbook of Convex Geometry.
North Holland; 1993:699-735. doi:10.1016/C2009-0-15705-7'
apa: Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry
(pp. 699–735). North Holland. https://doi.org/10.1016/C2009-0-15705-7
chicago: Edelsbrunner, Herbert. “Geometric Algorithms.” In Handbook of Convex
Geometry, 699–735. North Holland, 1993. https://doi.org/10.1016/C2009-0-15705-7.
ieee: H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry,
North Holland, 1993, pp. 699–735.
ista: 'Edelsbrunner H. 1993.Geometric algorithms. In: Handbook of Convex Geometry.
, 699–735.'
mla: Edelsbrunner, Herbert. “Geometric Algorithms.” Handbook of Convex Geometry,
North Holland, 1993, pp. 699–735, doi:10.1016/C2009-0-15705-7.
short: H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp.
699–735.
date_created: 2018-12-11T12:04:00Z
date_published: 1993-08-24T00:00:00Z
date_updated: 2022-03-30T09:30:11Z
day: '24'
doi: 10.1016/C2009-0-15705-7
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://www.sciencedirect.com/book/9780444895967/handbook-of-convex-geometry
month: '08'
oa_version: None
page: 699 - 735
publication: Handbook of Convex Geometry
publication_identifier:
isbn:
- 978-0-444-89596-7
publication_status: published
publisher: North Holland
publist_id: '2817'
status: public
title: Geometric algorithms
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1993'
...
---
_id: '3569'
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. Computational geometry. In: Current Trends in Theoretical
Computer Science, Essays and Tutorials. World Scientific Publishing; 1993:1-48.'
apa: Edelsbrunner, H. (1993). Computational geometry. In Current Trends in Theoretical
Computer Science, Essays and Tutorials (pp. 1–48). World Scientific Publishing.
chicago: Edelsbrunner, Herbert. “Computational Geometry.” In Current Trends in
Theoretical Computer Science, Essays and Tutorials, 1–48. World Scientific
Publishing, 1993.
ieee: H. Edelsbrunner, “Computational geometry,” in Current Trends in Theoretical
Computer Science, Essays and Tutorials, World Scientific Publishing, 1993,
pp. 1–48.
ista: 'Edelsbrunner H. 1993.Computational geometry. In: Current Trends in Theoretical
Computer Science, Essays and Tutorials. , 1–48.'
mla: Edelsbrunner, Herbert. “Computational Geometry.” Current Trends in Theoretical
Computer Science, Essays and Tutorials, World Scientific Publishing, 1993,
pp. 1–48.
short: H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays
and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
date_created: 2018-12-11T12:04:01Z
date_published: 1993-08-01T00:00:00Z
date_updated: 2022-03-30T08:46:20Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://books.google.at/books?hl=en&lr=&id=fr_sCgAAQBAJ&oi=fnd&pg=PR5&ots=XAust-LAGl&sig=FQTlA5rrM25y5EZ8ZmrorT7SaMo&redir_esc=y#v=onepage&q&f=false
month: '08'
oa_version: None
page: 1 - 48
publication: Current Trends in Theoretical Computer Science, Essays and Tutorials
publication_identifier:
isbn:
- 978-9810214623
publication_status: published
publisher: World Scientific Publishing
publist_id: '2816'
status: public
title: Computational geometry
type: book_chapter
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1993'
...
---
_id: '3643'
abstract:
- lang: eng
text: 'We investigate the establishment and spread of new adaptive peaks within
Wright''s ‘shifting balance’. The third phase of the ‘shifting balance’ involves
a kind of group selection, since demes in which a superior peak has been established
contain more individuals, and so send out more migrants. We assume that population
size, N, increases with mean fitness, , according to the exponential relation,
. Here, k is a measure of the weakness of density-dependent regulation, and equals
the inverse of the regression of log (fitness) on log(N). In the island model,
we find that just as with soft selection (k = 0), two distinct types of behaviour
exist: group selection makes no qualitative difference. With low numbers of migrants,
demes fluctuate almost independently, and only one equilibrium exists. With large
numbers of migrants, all the demes evolve towards the same adaptive peak, and
so the whole population can move towards one or other of the peaks. Group selection
can be understood in terms of an effective mean fitness function. Its main consequence
is to increase the effect of selection relative to drift (Ns), and so increase
the bias towards the fitter peak. However, this increased bias depends on the
ratio between k and the deme size (k/N), and so is very small when density-dependence
is reasonably strong.'
acknowledgement: 'This work was supported by the Darwin Trust, by a Science and Engineering
Research Council grant (GR/E/08507), and by an SERC Visiting Fellowship to S.Rouhani. '
article_processing_charge: No
article_type: original
author:
- first_name: Shahin
full_name: Rouhani, Shahin
last_name: Rouhani
- 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: Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical
Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
apa: Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting
balance.” Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031232
chicago: Rouhani, Shahin, and Nicholas H Barton. “Group Selection and the ‘Shifting
Balance.’” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S0016672300031232.
ieee: S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’”
Genetical Research, vol. 61, no. 2. Cambridge University Press, pp. 127–136,
1993.
ista: Rouhani S, Barton NH. 1993. Group selection and the ‘shifting balance’. Genetical
Research. 61(2), 127–136.
mla: Rouhani, Shahin, and Nicholas H. Barton. “Group Selection and the ‘Shifting
Balance.’” Genetical Research, vol. 61, no. 2, Cambridge University Press,
1993, pp. 127–36, doi:10.1017/S0016672300031232.
short: S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
date_created: 2018-12-11T12:04:24Z
date_published: 1993-04-01T00:00:00Z
date_updated: 2022-03-30T08:28:54Z
day: '01'
doi: 10.1017/S0016672300031232
extern: '1'
intvolume: ' 61'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/group-selection-and-the-shifting-balance/CFDE26EA7125957545F9A0AA37755BC4
month: '04'
oa_version: None
page: 127 - 136
publication: Genetical Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '2740'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Group selection and the 'shifting balance'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 61
year: '1993'
...
---
_id: '3644'
abstract:
- lang: eng
text: "Wright proposed that there is a ' shifting balance' between selection within
demes, random drift, and selection between demes at different 'adaptive peaks'.
We investigate the establishment and spread of new adaptive peaks, considering
a chromosome rearrangement, and a polygenic character under disruptive selection.
When the number of migrants (Nm) is small, demes fluctuate independently, with
a bias towards the fitter peak. When Nm is large, the whole population can\r\nmove
to one of two stable equilibria, and so can be trapped near the lower peak. These
two regimes are separated by a sharp transition at a critical Nm of order 1. Just
below this critical point, adaptation is most efficient, since the shifting balance
greatly increases the proportion of demes that reach the global optimum. This
is so even if one peak is only slightly fitter than the other (AWx \\/N), and
for both strong and weak selection (Ns <§ 1 or Ns > 1). Provided that Nm\r\nvaries
sufficiently gradually from place to place, the fitter peak can be established
in regions where Nm « 1, and can then spread through the rest of the range. Our
analysis confirms Wright's argument that if selection, migration and drift are
of the same order, the ' shifting balance' leads to efficient evolution towards
the global optimum."
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: Shahin
full_name: Rouhani, Shahin
last_name: Rouhani
citation:
ama: Barton NH, Rouhani S. Adaptation and the “shifting balance.” Genetical Research.
1993;61(1):57-74. doi:10.1017/S0016672300031098
apa: Barton, N. H., & Rouhani, S. (1993). Adaptation and the “shifting balance.”
Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031098
chicago: Barton, Nicholas H, and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’”
Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S0016672300031098 .
ieee: N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical
Research, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.
ista: Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical
Research. 61(1), 57–74.
mla: Barton, Nicholas H., and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’”
Genetical Research, vol. 61, no. 1, Cambridge University Press, 1993, pp.
57–74, doi:10.1017/S0016672300031098
.
short: N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
date_created: 2018-12-11T12:04:24Z
date_published: 1993-02-01T00:00:00Z
date_updated: 2022-03-30T08:18:58Z
day: '01'
doi: '10.1017/S0016672300031098 '
extern: '1'
intvolume: ' 61'
issue: '1'
language:
- iso: eng
main_file_link:
- url: https://www.cambridge.org/core/journals/genetics-research/article/adaptation-and-the-shifting-balance/2E15452B3AFCA97E77743E0C7E108064
month: '02'
oa_version: None
page: 57 - 74
publication: Genetical Research
publication_identifier:
issn:
- 0016-6723
publication_status: published
publisher: Cambridge University Press
publist_id: '2739'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adaptation and the 'shifting balance'
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 61
year: '1993'
...
---
_id: '4036'
abstract:
- lang: eng
text: This paper presents a randomized incremental algorithm for computing a single
face in an arrangement of n line segments in the plane that is fairly simple to
implement. The expected running time of the algorithm is O(nα(n)log n). The analysis
of the algorithm uses a novel approach that generalizes and extends the Clarkson-Shor
analysis technique [in Discrete Comput. Geom., 4(1989), pp. 387-421]. A few extensions
of the technique, obtaining efficient randomized incremental algorithms for constructing
the entire arrangement of a collection of line segments and for computing a single
face in an arrangement of Jordan arcs are also presented.
acknowledgement: The authors wish to express their gratitude for the generous 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: Leonidas
full_name: Guibas, Leonidas
last_name: Guibas
- first_name: Micha
full_name: Sharir, Micha
last_name: Sharir
- first_name: Jack
full_name: Snoeyink, Jack
last_name: Snoeyink
citation:
ama: Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face
in an arrangement of line segments and related problems. SIAM Journal on Computing.
1993;22(6):1286-1302. doi:10.1137/0222077
apa: Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Snoeyink, J.
(1993). Computing a face in an arrangement of line segments and related problems.
SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222077
chicago: Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir,
and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related
Problems.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/10.1137/0222077 .
ieee: B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing
a face in an arrangement of line segments and related problems,” SIAM Journal
on Computing, vol. 22, no. 6. SIAM, pp. 1286–1302, 1993.
ista: Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1993. Computing
a face in an arrangement of line segments and related problems. SIAM Journal on
Computing. 22(6), 1286–1302.
mla: Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments
and Related Problems.” SIAM Journal on Computing, vol. 22, no. 6, SIAM,
1993, pp. 1286–302, doi:10.1137/0222077
.
short: B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal
on Computing 22 (1993) 1286–1302.
date_created: 2018-12-11T12:06:34Z
date_published: 1993-12-01T00:00:00Z
date_updated: 2022-03-30T08:07:21Z
day: '01'
doi: '10.1137/0222077 '
extern: '1'
intvolume: ' 22'
issue: '6'
language:
- iso: eng
main_file_link:
- url: https://epubs.siam.org/doi/10.1137/0222077
month: '12'
oa_version: None
page: 1286 - 1302
publication: SIAM Journal on Computing
publication_identifier:
issn:
- 0097-5397
publication_status: published
publisher: SIAM
publist_id: '2087'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing a face in an arrangement of line segments and related problems
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 22
year: '1993'
...