---
_id: '11124'
abstract:
- lang: eng
text: Ran GTPase plays important roles in nucleocytoplasmic transport in interphase
[1, 2] and in both spindle formation and nuclear envelope (NE) assembly during
mitosis [3, 4, 5]. The latter functions rely on the presence of high local concentrations
of GTP-bound Ran near mitotic chromatin [3, 4, 5]. RanGTP localization has been
proposed to result from the association of Ran's GDP/GTP exchange factor, RCC1,
with chromatin [6, 7, 8, 9], but Ran is shown here to bind directly to chromatin
in two modes, either dependent or independent of RCC1, and, where bound, to increase
the affinity of chromatin for NE membranes. We propose that the Ran binding capacity
of chromatin contributes to localized spindle and NE assembly.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Daniel
full_name: Bilbao-Cortés, Daniel
last_name: Bilbao-Cortés
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
- first_name: Gernot
full_name: Längst, Gernot
last_name: Längst
- first_name: Peter B.
full_name: Becker, Peter B.
last_name: Becker
- first_name: Iain W.
full_name: Mattaj, Iain W.
last_name: Mattaj
citation:
ama: Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. Ran binds to chromatin
by two distinct mechanisms. Current Biology. 2002;12(13):1151-1156. doi:10.1016/s0960-9822(02)00927-2
apa: Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I.
W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology.
Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
chicago: Bilbao-Cortés, Daniel, Martin Hetzer, Gernot Längst, Peter B. Becker, and
Iain W. Mattaj. “Ran Binds to Chromatin by Two Distinct Mechanisms.” Current
Biology. Elsevier BV, 2002. https://doi.org/10.1016/s0960-9822(02)00927-2.
ieee: D. Bilbao-Cortés, M. Hetzer, G. Längst, P. B. Becker, and I. W. Mattaj, “Ran
binds to chromatin by two distinct mechanisms,” Current Biology, vol. 12,
no. 13. Elsevier BV, pp. 1151–1156, 2002.
ista: Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds
to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
mla: Bilbao-Cortés, Daniel, et al. “Ran Binds to Chromatin by Two Distinct Mechanisms.”
Current Biology, vol. 12, no. 13, Elsevier BV, 2002, pp. 1151–56, doi:10.1016/s0960-9822(02)00927-2.
short: D. Bilbao-Cortés, M. Hetzer, G. Längst, P.B. Becker, I.W. Mattaj, Current
Biology 12 (2002) 1151–1156.
date_created: 2022-04-07T07:57:31Z
date_published: 2002-07-09T00:00:00Z
date_updated: 2022-07-18T08:58:05Z
day: '09'
doi: 10.1016/s0960-9822(02)00927-2
extern: '1'
external_id:
pmid:
- '12121625'
intvolume: ' 12'
issue: '13'
keyword:
- General Agricultural and Biological Sciences
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/S0960-9822(02)00927-2
month: '07'
oa: 1
oa_version: Published Version
page: 1151-1156
pmid: 1
publication: Current Biology
publication_identifier:
issn:
- 0960-9822
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ran binds to chromatin by two distinct mechanisms
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 12
year: '2002'
...
---
_id: '11123'
abstract:
- lang: eng
text: The small GTPase Ran is a key regulator of nucleocytoplasmic transport during
interphase. The asymmetric distribution of the GTP-bound form of Ran across the
nuclear envelope — that is, large quantities in the nucleus compared with small
quantities in the cytoplasm — determines the directionality of many nuclear transport
processes. Recent findings that Ran also functions in spindle formation and nuclear
envelope assembly during mitosis suggest that Ran has a general role in chromatin-centred
processes. Ran functions in these events as a signal for chromosome position.
article_processing_charge: No
article_type: original
author:
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
- first_name: Oliver J.
full_name: Gruss, Oliver J.
last_name: Gruss
- first_name: Iain W.
full_name: Mattaj, Iain W.
last_name: Mattaj
citation:
ama: Hetzer M, Gruss OJ, Mattaj IW. The Ran GTPase as a marker of chromosome position
in spindle formation and nuclear envelope assembly. Nature Cell Biology.
2002;4(7):E177-E184. doi:10.1038/ncb0702-e177
apa: Hetzer, M., Gruss, O. J., & Mattaj, I. W. (2002). The Ran GTPase as a marker
of chromosome position in spindle formation and nuclear envelope assembly. Nature
Cell Biology. Springer Nature. https://doi.org/10.1038/ncb0702-e177
chicago: Hetzer, Martin, Oliver J. Gruss, and Iain W. Mattaj. “The Ran GTPase as
a Marker of Chromosome Position in Spindle Formation and Nuclear Envelope Assembly.”
Nature Cell Biology. Springer Nature, 2002. https://doi.org/10.1038/ncb0702-e177.
ieee: M. Hetzer, O. J. Gruss, and I. W. Mattaj, “The Ran GTPase as a marker of chromosome
position in spindle formation and nuclear envelope assembly,” Nature Cell Biology,
vol. 4, no. 7. Springer Nature, pp. E177–E184, 2002.
ista: Hetzer M, Gruss OJ, Mattaj IW. 2002. The Ran GTPase as a marker of chromosome
position in spindle formation and nuclear envelope assembly. Nature Cell Biology.
4(7), E177–E184.
mla: Hetzer, Martin, et al. “The Ran GTPase as a Marker of Chromosome Position in
Spindle Formation and Nuclear Envelope Assembly.” Nature Cell Biology,
vol. 4, no. 7, Springer Nature, 2002, pp. E177–84, doi:10.1038/ncb0702-e177.
short: M. Hetzer, O.J. Gruss, I.W. Mattaj, Nature Cell Biology 4 (2002) E177–E184.
date_created: 2022-04-07T07:57:19Z
date_published: 2002-07-01T00:00:00Z
date_updated: 2022-07-18T08:58:03Z
day: '01'
doi: 10.1038/ncb0702-e177
extern: '1'
external_id:
pmid:
- '12105431'
intvolume: ' 4'
issue: '7'
keyword:
- Cell Biology
language:
- iso: eng
month: '07'
oa_version: None
page: E177-E184
pmid: 1
publication: Nature Cell Biology
publication_identifier:
eissn:
- 1476-4679
issn:
- 1465-7392
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Ran GTPase as a marker of chromosome position in spindle formation and
nuclear envelope assembly
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 4
year: '2002'
...
---
_id: '12659'
abstract:
- lang: eng
text: "For many years considerable efforts have been put into investigating and
modelling hydrological processes of mountainous catchments. On the one hand, the
complexity and intrinsically high variability of the involved processes as well
as insufficient knowledge of the underlying physical mechanisms still induce large
uncertainties in understanding observed phenomena and predicting the behaviour
of the system. On the other hand, the demand for models that are able to simulate
mountainous water resource systems is increasing because of the needs related
to both water exploitation and water conservation, which clearly call for an integrated
vision and modelling of these systems.\r\nAccordingly, this paper moves from a
brief survey of the most significant achievements in mountain hydrology to discuss
what could be future challenging issues related to the broader spectrum of questions,
which hydrologic modelling of mountainous river systems may face in the next decades.
Firstly, reference is made to existing methodologies for modelling alpine water
systems, focussing on some specific aspects that provide a basis for the discussion
of the weaknesses and perspectives of present simulation tools. The future is
thus discussed, delineating some of the research challenges that may foster a
comprehensive and integrated vision of water related issues in mountainous regions."
article_processing_charge: No
article_type: original
author:
- first_name: Paolo
full_name: Burlando, Paolo
last_name: Burlando
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Ulrich
full_name: Strasser, Ulrich
last_name: Strasser
citation:
ama: Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems
between learning and speculating looking for challenges. Hydrology Research.
2002;33(1):47-74. doi:10.2166/nh.2002.0004
apa: Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous
water systems between learning and speculating looking for challenges. Hydrology
Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
chicago: Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling
Mountainous Water Systems between Learning and Speculating Looking for Challenges.”
Hydrology Research. IWA Publishing, 2002. https://doi.org/10.2166/nh.2002.0004.
ieee: P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water
systems between learning and speculating looking for challenges,” Hydrology
Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
ista: Burlando P, Pellicciotti F, Strasser U. 2002. Modelling mountainous water
systems between learning and speculating looking for challenges. Hydrology Research.
33(1), 47–74.
mla: Burlando, Paolo, et al. “Modelling Mountainous Water Systems between Learning
and Speculating Looking for Challenges.” Hydrology Research, vol. 33, no.
1, IWA Publishing, 2002, pp. 47–74, doi:10.2166/nh.2002.0004.
short: P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
date_created: 2023-02-20T08:19:02Z
date_published: 2002-02-01T00:00:00Z
date_updated: 2023-02-20T08:30:15Z
day: '01'
doi: 10.2166/nh.2002.0004
extern: '1'
intvolume: ' 33'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.2166/nh.2002.0004
month: '02'
oa: 1
oa_version: Published Version
page: 47-74
publication: Hydrology Research
publication_identifier:
eissn:
- 2224-7955
issn:
- 0029-1277
publication_status: published
publisher: IWA Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modelling mountainous water systems between learning and speculating looking
for challenges
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2002'
...
---
_id: '1738'
abstract:
- lang: eng
text: New dyes of the type Ru(II)(bdmpp)(bpy) [where bdmpp is 2,6-bis(3,5-dimethyl-N-pyrazoyl)pyridine
and bpy is 2,2′-bipyridine-4,4′-dicarboxylic acid] are prepared and characterized
by infra-red (IR), mass (MS) and electrospray mass spectroscopy (ES-MS) as well
as 1H NMR (1D and 2D) spectroscopies. The compounds present broad and very high
intensity MLCT absorption bands in the visible and can be chemically anchored
on TiO2 films via ester-like linkage involving carboxylato groups. These complexes
have been tested with success as potential molecular antennas in dye-sensitized
solar cells. Both opaque and transparent nanocrystalline TiO2 thin film electrodes
obtained by a doctor blade technique sensitized by these complexes were incorporated
in a sandwich type regenerative photoelectrochemical solar cell containing 0.1M
LiI +0.01M I2 in propylene carbonate as well as a platinized conductive glass
counter electrode. The cell was characterized by Raman spectroscopy under anodic
and cathodic bias. Two new vibration bands were observed in the lower frequency
region. The first one at 112 cm-1 is due to tri-iodide formed on the photoactive
electrode, and the second one at 167 cm-1 is a sign of the dye/iodide interaction
and corresponds to a vibration in a chemically stable "DI" intermediate
species. Under direct sunlight illumination (solar irradiance of 60 mW/cm2) by
using a composite polymer solid state electrolyte, the cell ITO/TiO2/[Ru(II)(bdmpp)(bpy)(NCS)](PF6)/electrolyte/Pt-ITO
produced a continuous photocurrent as high as 4.29mA/cm2, and gave IPCE values
about half of the corresponding values obtained by the standard N3 dye under the
same conditions. The photovoltage is about 600 mV and the overall energy conversion
cell's efficiency is as high as 1.72%.
author:
- first_name: Polycarpos
full_name: Falaras, Polycarpos
last_name: Falaras
- first_name: Katerina
full_name: Chryssou, Katerina
last_name: Chryssou
- first_name: Thomas
full_name: Stergiopoulos, Thomas
last_name: Stergiopoulos
- first_name: Ioannis
full_name: Arabatzis, Ioannis M
last_name: Arabatzis
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Vincent
full_name: Catalano, Vincent J
last_name: Catalano
- first_name: Raif
full_name: Kurtaran, Raif
last_name: Kurtaran
- first_name: Anne
full_name: Hugot-Le Goff, Anne
last_name: Hugot Le Goff
- first_name: Marie
full_name: Bernard, Marie C
last_name: Bernard
citation:
ama: 'Falaras P, Chryssou K, Stergiopoulos T, et al. Dye-sensitization of titanium
dioxide thin films by Ru(II)-bpp-bpy complexes. In: Vol 4801. SPIE; 2002:125-135.
doi:10.1117/12.452446'
apa: Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G.,
Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin
films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic
Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
chicago: Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis,
Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie
Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,”
4801:125–35. SPIE, 2002. https://doi.org/10.1117/12.452446.
ieee: P. Falaras et al., “Dye-sensitization of titanium dioxide thin films
by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol.
4801, pp. 125–135.
ista: Falaras P, Chryssou K, Stergiopoulos T, Arabatzis I, Katsaros G, Catalano
V, Kurtaran R, Hugot Le Goff A, Bernard M. 2002. Dye-sensitization of titanium
dioxide thin films by Ru(II)-bpp-bpy complexes. Organic Photovoltaics vol. 4801,
125–135.
mla: Falaras, Polycarpos, et al. Dye-Sensitization of Titanium Dioxide Thin Films
by Ru(II)-Bpp-Bpy Complexes. Vol. 4801, SPIE, 2002, pp. 125–35, doi:10.1117/12.452446.
short: P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V.
Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
conference:
name: Organic Photovoltaics
date_created: 2018-12-11T11:53:45Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2021-01-12T06:52:53Z
day: '01'
doi: 10.1117/12.452446
extern: 1
intvolume: ' 4801'
month: '01'
page: 125 - 135
publication_status: published
publisher: SPIE
publist_id: '5385'
quality_controlled: 0
status: public
title: Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
type: conference
volume: 4801
year: '2002'
...
---
_id: '1739'
abstract:
- lang: eng
text: Poly(ethylene oxide)/titania polymer electrolyte based photoelectrochemical
cells have been fabricated with Ru(dcbpy)2(NCS)2 complex as the sensitizer and
nanoporous TiO2 films as photoanodes. The introduction of the titania filler into
the poly(ethylene oxide) matrix reduces the crystallinity of the polymer and enhances
the mobility of the 1-/13 - redox couple, resulting in outstanding overall conversion
efficiency (4.2% under direct sunlight illumination) of the corresponding dye-sensitized
nanocrystalline TiO2 solar cell, one of the best efficiencies reported to date
for a solid-state device.
acknowledgement: 'Financial support from NCSR “Demokritos” and GSRT-Greece is greatly
acknowledged. '
author:
- first_name: Thomas
full_name: Stergiopoulos, Thomas
last_name: Stergiopoulos
- first_name: Iannis
full_name: Arabatzis, Iannis M
last_name: Arabatzis
- first_name: Georgios
full_name: Georgios Katsaros
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
- first_name: Polycarpos
full_name: Falaras, Polycarpos
last_name: Falaras
citation:
ama: Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. Binary Polyethylene Oxide/Titania
Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical
Cells. Nano Letters. 2002;2(11):1259-1261. doi:10.1021/nl025798u
apa: Stergiopoulos, T., Arabatzis, I., Katsaros, G., & Falaras, P. (2002). Binary
Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient
Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. American
Chemical Society. https://doi.org/10.1021/nl025798u
chicago: Stergiopoulos, Thomas, Iannis Arabatzis, Georgios Katsaros, and Polycarpos
Falaras. “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for
Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells.” Nano Letters.
American Chemical Society, 2002. https://doi.org/10.1021/nl025798u.
ieee: T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene
Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline
TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11. American
Chemical Society, pp. 1259–1261, 2002.
ista: Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. 2002. Binary Polyethylene
Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline
TiO2 Photoelectrochemical Cells. Nano Letters. 2(11), 1259–1261.
mla: Stergiopoulos, Thomas, et al. “Binary Polyethylene Oxide/Titania Solid-State
Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical
Cells.” Nano Letters, vol. 2, no. 11, American Chemical Society, 2002,
pp. 1259–61, doi:10.1021/nl025798u.
short: T. Stergiopoulos, I. Arabatzis, G. Katsaros, P. Falaras, Nano Letters 2 (2002)
1259–1261.
date_created: 2018-12-11T11:53:45Z
date_published: 2002-11-01T00:00:00Z
date_updated: 2021-01-12T06:52:53Z
day: '01'
doi: 10.1021/nl025798u
extern: 1
intvolume: ' 2'
issue: '11'
month: '11'
page: 1259 - 1261
publication: Nano Letters
publication_status: published
publisher: American Chemical Society
publist_id: '5386'
quality_controlled: 0
status: public
title: Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly
Efficient Nanocrystalline TiO2 Photoelectrochemical Cells
type: journal_article
volume: 2
year: '2002'
...
---
_id: '2339'
alternative_title:
- Contemporary Mathematics
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Seiringer R. Symmetry breaking in a model of a rotating Bose gas. In: Weder
R, Exner P, Grébert B, eds. Vol 307. World Scientific Publishing; 2002:281-286.
doi:10.1090/conm/307'
apa: 'Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas.
In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented
at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing.
https://doi.org/10.1090/conm/307'
chicago: Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.”
edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific
Publishing, 2002. https://doi.org/10.1090/conm/307.
ieee: 'R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented
at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286.'
ista: 'Seiringer R. 2002. Symmetry breaking in a model of a rotating Bose gas. QMath:
Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 281–286.'
mla: Seiringer, Robert. Symmetry Breaking in a Model of a Rotating Bose Gas.
Edited by Richardo Weder et al., vol. 307, World Scientific Publishing, 2002,
pp. 281–86, doi:10.1090/conm/307.
short: R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific
Publishing, 2002, pp. 281–286.
conference:
name: 'QMath: Mathematical Results in Quantum Physics'
date_created: 2018-12-11T11:57:05Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:53Z
day: '01'
doi: 10.1090/conm/307
editor:
- first_name: Richardo
full_name: Weder, Richardo
last_name: Weder
- first_name: Pavel
full_name: Exner, Pavel
last_name: Exner
- first_name: Benoit
full_name: Grébert, Benoit
last_name: Grébert
extern: 1
intvolume: ' 307'
month: '01'
page: 281 - 286
publication_status: published
publisher: World Scientific Publishing
publist_id: '4587'
quality_controlled: 0
status: public
title: Symmetry breaking in a model of a rotating Bose gas
type: conference
volume: 307
year: '2002'
...
---
_id: '2351'
abstract:
- lang: eng
text: We study the Gross-Pitaevskii functional for a rotating two-dimensional Bose
gas in a trap. We prove that there is a breaking of the rotational symmetry in
the ground state; more precisely, for any value of the angular velocity and for
large enough values of the interaction strength, the ground state of the functional
is not an eigenfunction of the angular momentum. This has interesting consequences
on the Bose gas with spin; in particular, the ground state energy depends non-trivially
on the number of spin components, and the different components do not have the
same wave function. For the special case of a harmonic trap potential, we give
explicit upper and lower bounds on the critical coupling constant for symmetry
breaking.
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Seiringer R. Gross-Pitaevskii theory of the rotating Bose gas. Communications
in Mathematical Physics. 2002;229(3):491-509. doi:10.1007/s00220-002-0695-2
apa: Seiringer, R. (2002). Gross-Pitaevskii theory of the rotating Bose gas. Communications
in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-002-0695-2
chicago: Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.”
Communications in Mathematical Physics. Springer, 2002. https://doi.org/10.1007/s00220-002-0695-2.
ieee: R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” Communications
in Mathematical Physics, vol. 229, no. 3. Springer, pp. 491–509, 2002.
ista: Seiringer R. 2002. Gross-Pitaevskii theory of the rotating Bose gas. Communications
in Mathematical Physics. 229(3), 491–509.
mla: Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” Communications
in Mathematical Physics, vol. 229, no. 3, Springer, 2002, pp. 491–509, doi:10.1007/s00220-002-0695-2.
short: R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
date_created: 2018-12-11T11:57:09Z
date_published: 2002-09-01T00:00:00Z
date_updated: 2021-01-12T06:56:57Z
day: '01'
doi: 10.1007/s00220-002-0695-2
extern: 1
intvolume: ' 229'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0110010
month: '09'
oa: 1
page: 491 - 509
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4575'
quality_controlled: 0
status: public
title: Gross-Pitaevskii theory of the rotating Bose gas
type: journal_article
volume: 229
year: '2002'
...
---
_id: '2349'
abstract:
- lang: eng
text: The Bose-Einstein condensation (BEC) of the ground state of bosonic atoms
in a trap was discussed. The BEC was proved for bosons with two-body repulsive
interaction potentials in the dilute limit, starting from the basic Schrodinger
equation. The BEC was 100% into the state which minimized the Gross-Pitaevskii
energy functional. The analysis also included rigorous proof of BEC in a physically
realistic, continuum model.
author:
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped
gases. Physical Review Letters. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409
apa: Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for
dilute trapped gases. Physical Review Letters. American Physical Society.
https://doi.org/10.1103/PhysRevLett.88.170409
chicago: Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation
for Dilute Trapped Gases.” Physical Review Letters. American Physical Society,
2002. https://doi.org/10.1103/PhysRevLett.88.170409.
ieee: É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute
trapped gases,” Physical Review Letters, vol. 88, no. 17. American Physical
Society, pp. 1704091–1704094, 2002.
ista: Lieb É, Seiringer R. 2002. Proof of Bose-Einstein condensation for dilute
trapped gases. Physical Review Letters. 88(17), 1704091–1704094.
mla: Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for
Dilute Trapped Gases.” Physical Review Letters, vol. 88, no. 17, American
Physical Society, 2002, pp. 1704091–94, doi:10.1103/PhysRevLett.88.170409.
short: É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
date_created: 2018-12-11T11:57:08Z
date_published: 2002-04-29T00:00:00Z
date_updated: 2021-01-12T06:56:56Z
day: '29'
doi: 10.1103/PhysRevLett.88.170409
extern: 1
intvolume: ' 88'
issue: '17'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0112032
month: '04'
oa: 1
page: 1704091 - 1704094
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4577'
quality_controlled: 0
status: public
title: Proof of Bose-Einstein condensation for dilute trapped gases
type: journal_article
volume: 88
year: '2002'
...
---
_id: '2352'
abstract:
- lang: eng
text: We present a generalization of the Fefferman-de la Llave decomposition of
the Coulomb potential to quite arbitrary radial functions V on ℝn going to zero
at infinity. This generalized decomposition can be used to extend previous results
on N-body quantum systems with Coulomb interaction to a more general class of
interactions. As an example of such an application, we derive the high density
asymptotics of the ground state energy of jellium with Yukawa interaction in the
thermodynamic limit, using a correlation estimate by Graf and Solovej.
author:
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Hainzl C, Seiringer R. General decomposition of radial functions on ℝn and
applications to N-body quantum systems. Letters in Mathematical Physics.
2002;61(1):75-84. doi:10.1023/A:1020204818938
apa: Hainzl, C., & Seiringer, R. (2002). General decomposition of radial functions
on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics.
Springer. https://doi.org/10.1023/A:1020204818938
chicago: Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial
Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical
Physics. Springer, 2002. https://doi.org/10.1023/A:1020204818938.
ieee: C. Hainzl and R. Seiringer, “General decomposition of radial functions on
ℝn and applications to N-body quantum systems,” Letters in Mathematical Physics,
vol. 61, no. 1. Springer, pp. 75–84, 2002.
ista: Hainzl C, Seiringer R. 2002. General decomposition of radial functions on
ℝn and applications to N-body quantum systems. Letters in Mathematical Physics.
61(1), 75–84.
mla: Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions
on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical
Physics, vol. 61, no. 1, Springer, 2002, pp. 75–84, doi:10.1023/A:1020204818938.
short: C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.
date_created: 2018-12-11T11:57:09Z
date_published: 2002-07-01T00:00:00Z
date_updated: 2021-01-12T06:56:58Z
day: '01'
doi: 10.1023/A:1020204818938
extern: 1
intvolume: ' 61'
issue: '1'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0107011
month: '07'
oa: 1
page: 75 - 84
publication: Letters in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4576'
quality_controlled: 0
status: public
title: General decomposition of radial functions on ℝn and applications to N-body
quantum systems
type: journal_article
volume: 61
year: '2002'
...
---
_id: '2617'
abstract:
- lang: eng
text: Synapses exhibit different short-term plasticity patterns and this behaviour
influences information processing in neuronal networks. We tested how the short-term
plasticity of excitatory postsynaptic currents (EPSCs) depends on the postsynaptic
cell type, identified by axonal arborizations and molecular markers in the hippocampal
CA1 area. Three distinct types of short-term synaptic behaviour (facilitating,
depressing and combined facilitating-depressing) were defined by fitting a dynamic
neurotransmission model to the data. Approximately 75 % of the oriens-lacunosum-moleculare
(O-LM) interneurones received facilitating EPSCs, but in three of 12 O-LM cells
EPSCs also showed significant depression. Over 90 % of the O-LM cells were immunopositive
for somatostatin and mGluR1α and all tested cells were decorated by strongly mGluR7a
positive axon terminals. Responses in eight of 12 basket cells were described
well with a model involving only depression, but the other cells displayed combined
facilitating-depressing EPSCs. No apparent difference was found between the plasticity
of EPSCs in cholecystokinin- or parvalbumin-containing basket cells. In oriens-bistratified
cells (O-Bi), two of nine cells showed facilitating EPSCs, another two depressing,
and the remaining five cells combined facilitating-depressing EPSCs. Seven of
10 cells tested for somatostatin were immunopositive, but mGluR1α was detectable
only in two of 11 tested cells. Furthermore, most O-Bi cells projected to the
CA3 area and the subiculum, as well as outside the hippocampal formation. Postsynaptic
responses to action potentials recorded in vivo from a CA1 place cell were modelled,
and revealed great differences between and within cell types. Our results demonstrate
that the short-term plasticity of EPSCs is cell type dependent, but with significant
heterogeneity within all three interneurone populations.
author:
- first_name: Attila
full_name: Losonczy, Attila
last_name: Losonczy
- first_name: Limei
full_name: Zhang, Limei
last_name: Zhang
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Péter
full_name: Somogyi, Péter
last_name: Somogyi
- first_name: Zoltán
full_name: Nusser, Zoltán
last_name: Nusser
citation:
ama: Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. Cell type dependence
and variability in the short-term plasticity of EPSCs in identified mouse hippocampal
interneurones. Journal of Physiology. 2002;542(1):193-210. doi:10.1113/jphysiol.2002.020024
apa: Losonczy, A., Zhang, L., Shigemoto, R., Somogyi, P., & Nusser, Z. (2002).
Cell type dependence and variability in the short-term plasticity of EPSCs in
identified mouse hippocampal interneurones. Journal of Physiology. Wiley-Blackwell.
https://doi.org/10.1113/jphysiol.2002.020024
chicago: Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán
Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of
EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology.
Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2002.020024.
ieee: A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type
dependence and variability in the short-term plasticity of EPSCs in identified
mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no.
1. Wiley-Blackwell, pp. 193–210, 2002.
ista: Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. 2002. Cell type dependence
and variability in the short-term plasticity of EPSCs in identified mouse hippocampal
interneurones. Journal of Physiology. 542(1), 193–210.
mla: Losonczy, Attila, et al. “Cell Type Dependence and Variability in the Short-Term
Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal
of Physiology, vol. 542, no. 1, Wiley-Blackwell, 2002, pp. 193–210, doi:10.1113/jphysiol.2002.020024.
short: A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology
542 (2002) 193–210.
date_created: 2018-12-11T11:58:42Z
date_published: 2002-07-01T00:00:00Z
date_updated: 2021-01-12T06:58:36Z
day: '01'
doi: 10.1113/jphysiol.2002.020024
extern: 1
intvolume: ' 542'
issue: '1'
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2290398/
month: '07'
oa: 1
page: 193 - 210
publication: Journal of Physiology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4281'
quality_controlled: 0
status: public
title: Cell type dependence and variability in the short-term plasticity of EPSCs
in identified mouse hippocampal interneurones
type: journal_article
volume: 542
year: '2002'
...
---
_id: '2708'
alternative_title:
- Contemporary Mathematics
author:
- first_name: László
full_name: László Erdös
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: 'Erdös L. Two dimensional Pauli operator via scalar potential. In: Vol 307.
World Scientific Publishing; 2002:129-133. doi:10.1090/conm/307'
apa: 'Erdös, L. (2002). Two dimensional Pauli operator via scalar potential (Vol.
307, pp. 129–133). Presented at the QMath: Mathematical Results in Quantum Physics,
World Scientific Publishing. https://doi.org/10.1090/conm/307'
chicago: Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,” 307:129–33.
World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
ieee: 'L. Erdös, “Two dimensional Pauli operator via scalar potential,” presented
at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 129–133.'
ista: 'Erdös L. 2002. Two dimensional Pauli operator via scalar potential. QMath:
Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 129–133.'
mla: Erdös, László. Two Dimensional Pauli Operator via Scalar Potential.
Vol. 307, World Scientific Publishing, 2002, pp. 129–33, doi:10.1090/conm/307.
short: L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
conference:
name: 'QMath: Mathematical Results in Quantum Physics'
date_created: 2018-12-11T11:59:11Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2021-01-12T06:59:11Z
day: '01'
doi: 10.1090/conm/307
extern: 1
intvolume: ' 307'
month: '01'
page: 129 - 133
publication_status: published
publisher: World Scientific Publishing
publist_id: '4188'
quality_controlled: 0
status: public
title: Two dimensional Pauli operator via scalar potential
type: conference
volume: 307
year: '2002'
...
---
_id: '2991'
abstract:
- lang: eng
text: Polar auxin transport controls multiple aspects of plant development including
differential growth, embryo and root patterning and vascular tissue differentiation.
Identification of proteins involved in this process and availability of new tools
enabling `visualization' of auxin and auxin routes in planta largely contributed
to the significant progress that has recently been made. New data support classical
concepts, but several recent findings are likely to challenge our view on the
mechanism of auxin transport. The aim of this review is to provide a comprehensive
overview of the polar auxin transport field. It starts with classical models resulting
from physiological studies, describes the genetic contributions and discusses
the molecular basis of auxin influx and efflux. Finally, selected questions are
presented in the context of developmental biology, integrating available data
from different fields.
author:
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Klaus
full_name: Palme, Klaus
last_name: Palme
citation:
ama: Friml J, Palme K. Polar auxin transport - Old questions and new concepts? Plant
Molecular Biology. 2002;49(3-4):273-284. doi:10.1023/A:1015248926412
apa: Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and
new concepts? Plant Molecular Biology. Springer. https://doi.org/10.1023/A:1015248926412
chicago: Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and
New Concepts?” Plant Molecular Biology. Springer, 2002. https://doi.org/10.1023/A:1015248926412.
ieee: J. Friml and K. Palme, “Polar auxin transport - Old questions and new concepts?,”
Plant Molecular Biology, vol. 49, no. 3–4. Springer, pp. 273–284, 2002.
ista: Friml J, Palme K. 2002. Polar auxin transport - Old questions and new concepts?
Plant Molecular Biology. 49(3–4), 273–284.
mla: Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and New
Concepts?” Plant Molecular Biology, vol. 49, no. 3–4, Springer, 2002, pp.
273–84, doi:10.1023/A:1015248926412.
short: J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
date_created: 2018-12-11T12:00:44Z
date_published: 2002-06-01T00:00:00Z
date_updated: 2021-01-12T07:40:17Z
day: '01'
doi: 10.1023/A:1015248926412
extern: '1'
intvolume: ' 49'
issue: 3-4
language:
- iso: eng
month: '06'
oa_version: None
page: 273 - 284
publication: Plant Molecular Biology
publication_status: published
publisher: Springer
publist_id: '3712'
quality_controlled: '1'
status: public
title: Polar auxin transport - Old questions and new concepts?
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 49
year: '2002'
...
---
_id: '3508'
abstract:
- lang: eng
text: A method of automatic conversion of a physical object into a three-dimensional
digital model. The method acquires a set of measured data points on the surface
of a physical model. From the measured data points, the method reconstructs a
digital model of the physical object using a Delaunay complex of the points, a
flow strcuture of the simplicies in the Delaunay complex and retracting the Delaunay
complex into a digital model of the physical object using the flow structure.
The method then outputs the digital model of the physical object.
applicant:
- Raindrop Geomagic, Inc.
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: Ping
full_name: Fu, Ping
last_name: Fu
citation:
ama: Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models
of objects by wrapping point cloud data points. 2002.
apa: Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional
digital models of objects by wrapping point cloud data points.
chicago: Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional
Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.
ieee: H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital
models of objects by wrapping point cloud data points.” 2002.
ista: Edelsbrunner H, Fu P. 2002. Methods of generating three-dimensional digital
models of objects by wrapping point cloud data points.
mla: Edelsbrunner, Herbert, and Ping Fu. Methods of Generating Three-Dimensional
Digital Models of Objects by Wrapping Point Cloud Data Points. 2002.
short: H. Edelsbrunner, P. Fu, (2002).
date_created: 2018-12-11T12:03:42Z
date_published: 2002-04-23T00:00:00Z
date_updated: 2022-01-05T14:09:36Z
day: '23'
extern: '1'
ipc: G16Z99/00 ; G06K9/28 ; G06T17/10 ; G06T17/20
ipn: US6377865B1
main_file_link:
- open_access: '1'
url: https://patents.google.com/patent/US6377865B1
month: '04'
oa: 1
oa_version: Published Version
publication_date: 2002-04-23
publist_id: '2879'
status: public
title: Methods of generating three-dimensional digital models of objects by wrapping
point cloud data points
type: patent
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2002'
...
---
_id: '3448'
author:
- first_name: Sanhita
full_name: Mallick, Sanhita
last_name: Mallick
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Arif
full_name: Merchant, Arif N
last_name: Merchant
- first_name: Pallab
full_name: Dasgupta, Pallab
last_name: Dasgupta
citation:
ama: 'Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar
for plan analysis. In: Elsevier; 2002.'
apa: 'Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation
of shape grammar for plan analysis. Presented at the IT-Built: Information Technology
For Built Environment, Elsevier.'
chicago: Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta.
“Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
ieee: 'S. Mallick, K. Chatterjee, A. Merchant, and P. Dasgupta, “Implementation
of shape grammar for plan analysis,” presented at the IT-Built: Information Technology
For Built Environment, 2002.'
ista: 'Mallick S, Chatterjee K, Merchant A, Dasgupta P. 2002. Implementation of
shape grammar for plan analysis. IT-Built: Information Technology For Built Environment.'
mla: Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis.
Elsevier, 2002.
short: S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
conference:
name: 'IT-Built: Information Technology For Built Environment'
date_created: 2018-12-11T12:03:23Z
date_published: 2002-01-15T00:00:00Z
date_updated: 2021-01-12T07:43:31Z
day: '15'
extern: 1
month: '01'
publication_status: published
publisher: Elsevier
publist_id: '2939'
quality_controlled: 0
status: public
title: Implementation of shape grammar for plan analysis
type: conference
year: '2002'
...
---
_id: '4414'
abstract:
- lang: eng
text: "This dissertation investigates game-theoretic approaches to the algorithmic
analysis of concurrent, reactive systems. A concurrent system comprises a number
of components working concurrently; a reactive system maintains an ongoing interaction
with its environment. Traditional approaches to the formal analysis of concurrent
reactive systems usually view the system as an unstructured state-transition graphs;
instead, we view them as collections of interacting components, where each one
is an open system which accepts inputs from the other components. The interactions
among the components are naturally modeled as games.\r\n\r\nAdopting this game-theoretic
view, we study three related problems pertaining to the verification and synthesis
of systems. Firstly, we propose two novel game-theoretic techniques for the model-checking
of concurrent reactive systems, and improve the performance of model-checking.
The first technique discovers an error as soon as it cannot be prevented, which
can be long before it actually occurs. This technique is based on the key observation
that "unpreventability" is a local property to a module: an error is
unpreventable in a module state if no environment can prevent it. The second technique
attempts to decompose a model-checking proof into smaller proof obligations by
constructing abstract modules automatically, using reachability and "unpreventability"
information about the concrete modules. Three increasingly powerful proof decomposition
rules are proposed and we show that in practice, the resulting abstract modules
are often significantly smaller than the concrete modules and can drastically
reduce the space and time requirements for verification. Both techniques fall
into the category of compositional reasoning.\r\n\r\nSecondly, we investigate
the composition and control of synchronous systems. An essential property of synchronous
systems for compositional reasoning is non-blocking. In the composition of synchronous
systems, however, due to circular causal dependency of input and output signals,
non-blocking is not always guaranteed. Blocking compositions of systems can be
ruled out semantically, by insisting on the existence of certain fixed points,
or syntactically, by equipping systems with types, which make the dependencies
between input and output signals transparent. We characterize various typing mechanisms
in game-theoretic terms, and study their effects on the controller synthesis problem.
We show that our typing systems are general enough to capture interesting real-life
synchronous systems such as all delay-insensitive digital circuits. We then study
their corresponding single-step control problems --a restricted form of controller
synthesis problem whose solutions can be iterated in appropriate manners to solve
all LTL controller synthesis problems. We also consider versions of the controller
synthesis problem in which the type of the controller is given. We show that the
solution of these fixed-type control problems requires the evaluation of partially
ordered (Henkin) quantifiers on boolean formulas, and is therefore harder (nondeterministic
exponential time) than more traditional control questions.\r\n\r\nThirdly, we
study the synthesis of a class of open systems, namely, uninitialized state machines.
The sequential synthesis problem, which is closely related to Church's solvability
problem, asks, given a specification in the form of a binary relation between
input and output streams, for the construction of a finite-state stream transducer
that converts inputs to appropriate outputs. For efficiency reasons, practical
sequential hardware is often designed to operate without prior initialization.
Such hardware designs can be modeled by uninitialized state machines, which are
required to satisfy their specification if started from any state. We solve the
sequential synthesis problem for uninitialized systems, that is, we construct
uninitialized finite-state stream transducers. We consider specifications given
by LTL formulas, deterministic, nondeterministic, universal, and alternating Buechi
automata. We solve this uninitialized synthesis problem by reducing it to the
well-understood initialized synthesis problem. While our solution is straightforward,
it leads, for some specification formalisms, to upper bounds that are exponentially
worse than the complexity of the corresponding initialized problems. However,
we prove lower bounds to show that our simple solutions are optimal for all considered
specification formalisms. The lower bound proofs require nontrivial generic reductions."
article_processing_charge: No
author:
- first_name: Freddy
full_name: Mang, Freddy
last_name: Mang
citation:
ama: Mang F. Games in open systems verification and synthesis. 2002:1-116.
apa: Mang, F. (2002). Games in open systems verification and synthesis. University
of California, Berkeley.
chicago: Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University
of California, Berkeley, 2002.
ieee: F. Mang, “Games in open systems verification and synthesis,” University of
California, Berkeley, 2002.
ista: Mang F. 2002. Games in open systems verification and synthesis. University
of California, Berkeley.
mla: Mang, Freddy. Games in Open Systems Verification and Synthesis. University
of California, Berkeley, 2002, pp. 1–116.
short: F. Mang, Games in Open Systems Verification and Synthesis, University of
California, Berkeley, 2002.
date_created: 2018-12-11T12:08:44Z
date_published: 2002-05-01T00:00:00Z
date_updated: 2021-01-12T07:56:48Z
day: '01'
extern: '1'
language:
- iso: eng
month: '05'
oa_version: None
page: 1 - 116
publication_status: published
publisher: University of California, Berkeley
publist_id: '315'
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: Games in open systems verification and synthesis
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2002'
...
---
_id: '6158'
abstract:
- lang: eng
text: Wild isolates of Caenorhabditis elegans can feed either alone or in groups1,2.
This natural variation in behaviour is associated with a single residue difference
in NPR-1, a predicted G-protein-coupled neuropeptide receptor related to Neuropeptide
Y receptors2. Here we show that the NPR-1 isoform associated with solitary feeding
acts in neurons exposed to the body fluid to inhibit social feeding. Furthermore,
suppressing the activity of these neurons, called AQR, PQR and URX, using an activated
K+ channel, inhibits social feeding. NPR-1 activity in AQR, PQR and URX neurons
seems to suppress social feeding by antagonizing signalling through a cyclic GMP-gated
ion channel encoded by tax-2 and tax-4. We show that mutations in tax-2 or tax-4
disrupt social feeding, and that tax-4 is required in several neurons for social
feeding, including one or more of AQR, PQR and URX. The AQR, PQR and URX neurons
are unusual in C. elegans because they are directly exposed to the pseudocoelomic
body fluid3. Our data suggest a model in which these neurons integrate antagonistic
signals to control the choice between social and solitary feeding behaviour.
author:
- first_name: Juliet C.
full_name: Coates, Juliet C.
last_name: Coates
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid
regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929.
doi:10.1038/nature01170
apa: Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed
to body fluid regulate social feeding in Caenorhabditis elegans. Nature.
Springer Nature. https://doi.org/10.1038/nature01170
chicago: Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons
Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature.
Springer Nature, 2002. https://doi.org/10.1038/nature01170.
ieee: J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to
body fluid regulate social feeding in Caenorhabditis elegans,” Nature,
vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
ista: Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body
fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
mla: Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed
to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature,
vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.
short: J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
date_created: 2019-03-21T10:09:20Z
date_published: 2002-10-31T00:00:00Z
date_updated: 2021-01-12T08:06:26Z
day: '31'
doi: 10.1038/nature01170
extern: '1'
external_id:
pmid:
- '12410311'
intvolume: ' 419'
issue: '6910'
language:
- iso: eng
month: '10'
oa_version: None
page: 925-929
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Antagonistic pathways in neurons exposed to body fluid regulate social feeding
in Caenorhabditis elegans
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 419
year: '2002'
...
---
_id: '6159'
abstract:
- lang: eng
text: 'Natural Caenorhabditis elegans isolates exhibit either social or solitary
feeding on bacteria. We show here that social feeding is induced by nociceptive
neurons that detect adverse or stressful conditions. Ablation of the nociceptive
neurons ASH and ADL transforms social animals into solitary feeders. Social feeding
is probably due to the sensation of noxious chemicals by ASH and ADL neurons;
it requires the genes ocr-2 and osm-9, which encode TRP-related transduction channels,
and odr-4 and odr-8, which are required to localize sensory chemoreceptors to
cilia. Other sensory neurons may suppress social feeding, as social feeding in
ocr-2 and odr-4 mutants is restored by mutations in osm-3, a gene required for
the development of 26 ciliated sensory neurons. Our data suggest a model for regulation
of social feeding by opposing sensory inputs: aversive inputs to nociceptive neurons
promote social feeding, whereas antagonistic inputs from neurons that express
osm-3 inhibit aggregation.'
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: David M.
full_name: Tobin, David M.
last_name: Tobin
- first_name: M. Wayne
full_name: Davis, M. Wayne
last_name: Davis
- first_name: Leon
full_name: Avery, Leon
last_name: Avery
- first_name: Cornelia I.
full_name: Bargmann, Cornelia I.
last_name: Bargmann
citation:
ama: de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis
elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903.
doi:10.1038/nature01169
apa: de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002).
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive
stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
chicago: Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia
I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That
Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
ieee: M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social
feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,”
Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
ista: de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding
in Caenorhabditis elegans is induced by neurons that detect aversive stimuli.
Nature. 419(6910), 899–903.
mla: de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced
by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer
Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
short: M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002)
899–903.
date_created: 2019-03-21T10:27:04Z
date_published: 2002-10-31T00:00:00Z
date_updated: 2021-01-12T08:06:27Z
day: '31'
doi: 10.1038/nature01169
extern: '1'
external_id:
pmid:
- '12410303'
intvolume: ' 419'
issue: '6910'
language:
- iso: eng
month: '10'
oa_version: None
page: 899-903
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Social feeding in Caenorhabditis elegans is induced by neurons that detect
aversive stimuli
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 419
year: '2002'
...
---
_id: '4631'
abstract:
- lang: eng
text: We present a theory of timed interfaces, which is capable of specifying both
the timing of the inputs a component expects from the environment, and the timing
of the outputs it can produce. Two timed interfaces are compatible if there is
a way to use them together such that their timing expectations are met. Our theory
provides algorithms for checking the compatibility between two interfaces and
for deriving the composite interface; the theory can thus be viewed as a type
system for real-time interaction. Technically, a timed interface is encoded as
a timed game between two players, representing the inputs and outputs of the component.
The algorithms for compatibility checking and interface composition are thus derived
from algorithms for solving timed games.
acknowledgement: This research was supported in part by the NSF CAREER award CCR-0132780,
the NSF grant CCR-9988172 the AFOSR MURI grant F49620-00-1-0327, the DARPA PCES
grant F33615-00-C-1693, the MARCO GSRC grant 98-DT-660, and the ONR grant N00014-02-1-0671.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- 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: Mariëlle
full_name: Stoelinga, Mariëlle
last_name: Stoelinga
citation:
ama: 'De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings
of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122.
doi:10.1007/3-540-45828-X_9'
apa: 'De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces.
In Proceedings of the 2nd International Conference on Embedded Software
(Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9'
chicago: De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”
In Proceedings of the 2nd International Conference on Embedded Software,
2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
ieee: L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings
of the 2nd International Conference on Embedded Software, Grenoble, France,
2002, vol. 2491, pp. 108–122.
ista: 'De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings
of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software
, LNCS, vol. 2491, 108–122.'
mla: De Alfaro, Luca, et al. “Timed Interfaces.” Proceedings of the 2nd International
Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
short: L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International
Conference on Embedded Software, ACM, 2002, pp. 108–122.
conference:
end_date: 2002-10-09
location: Grenoble, France
name: 'EMSOFT: Embedded Software '
start_date: 2002-10-07
date_created: 2018-12-11T12:09:51Z
date_published: 2002-10-24T00:00:00Z
date_updated: 2023-06-02T10:00:32Z
day: '24'
doi: 10.1007/3-540-45828-X_9
extern: '1'
intvolume: ' 2491'
language:
- iso: eng
month: '10'
oa_version: None
page: 108 - 122
publication: Proceedings of the 2nd International Conference on Embedded Software
publication_identifier:
isbn:
- '9783540443070'
publication_status: published
publisher: ACM
publist_id: '76'
quality_controlled: '1'
status: public
title: Timed interfaces
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2491
year: '2002'
...
---
_id: '4562'
abstract:
- lang: eng
text: We present interface models that describe both the input assumptions of a
component, and its output behavior. By enabling us to check that the input assumptions
of a component are met in a design, interface models provide a compatibility check
for component-based design. When refining a design into an implementation, interface
models require that the output behavior of a component satisfies the design specification
only when the input assumptions of the specification are satisfied, yielding greater
flexibility in the choice of implementations. Technically, our interface models
are games between two players, Input and Output; the duality of the players accounts
for the dual roles of inputs and outputs in composition and refinement. We present
two interface models in detail, one for a simple synchronous form of interaction
between components typical in hardware, and the other for more complex synchronous
interactions on bidirectional connections. As an example, we specify the interface
of a bidirectional bus, with the input assumption that at any time at most one
component has write access to the bus. For these interface models, we present
algorithms for compatibility and refinement checking, and we describe efficient
symbolic implementations.
acknowledgement: This research was supported in part by the AFOSR grant F49620-00-1-0327,
the DARPA grant F33615-00-C-1693, the MARCO grant 98-DT-660, the NSF grant CCR-9988172,
the SRC grant 99-TJ-683.003, and the NSF CAREER award CCR-0132780.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Arindam
full_name: Chakrabarti, Arindam
last_name: Chakrabarti
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- 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: Freddy
full_name: Mang, Freddy
last_name: Mang
citation:
ama: 'Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional
component interfaces. In: Proceedings of the 14th International Conference
on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34'
apa: 'Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous
and bidirectional component interfaces. In Proceedings of the 14th International
Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen,
Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34'
chicago: Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang.
“Synchronous and Bidirectional Component Interfaces.” In Proceedings of the
14th International Conference on Computer Aided Verification, 2404:414–27.
Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
ieee: A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and
bidirectional component interfaces,” in Proceedings of the 14th International
Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol.
2404, pp. 414–427.
ista: 'Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional
component interfaces. Proceedings of the 14th International Conference on Computer
Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.'
mla: Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.”
Proceedings of the 14th International Conference on Computer Aided Verification,
vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
short: A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of
the 14th International Conference on Computer Aided Verification, Springer, 2002,
pp. 414–427.
conference:
end_date: 2002-07-31
location: Copenhagen, Denmark
name: 'CAV: Computer Aided Verification'
start_date: 2002-07-27
date_created: 2018-12-11T12:09:29Z
date_published: 2002-06-19T00:00:00Z
date_updated: 2023-06-02T12:01:22Z
day: '19'
doi: 10.1007/3-540-45657-0_34
extern: '1'
intvolume: ' 2404'
language:
- iso: eng
month: '06'
oa_version: None
page: 414 - 427
publication: Proceedings of the 14th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540439974'
publication_status: published
publisher: Springer
publist_id: '146'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synchronous and bidirectional component interfaces
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2404
year: '2002'
...
---
_id: '4565'
abstract:
- lang: eng
text: "In the literature, we find several formulations of the control\r\nproblem
for timed and hybrid systems. We argue that formulations where\r\na controller
can cause an action at any point in dense (rational or real)\r\ntime are problematic,
by presenting an example where the controller\r\nmust act faster and faster, yet
causes no Zeno effects (say, the control\r\nactions are at times 0, 1/2, 1, 1
1/4, 2, 2 1/8, 3, 3 1/16 ,...). Such a controller is,\r\nof course, not implementable
in software. Such controllers are avoided by formulations where the controller
can cause actions only at discrete (integer) points in time. While the resulting
control problem is well- understood if the time unit, or “sampling rate” of the
controller, is fixed a priori, we define a novel, stronger formulation: the discrete-time
control problem with unknown sampling rate asks if a sampling controller exists
for some sampling rate. We prove that this problem is undecidable even in the
special case of timed automata."
acknowledgement: "Partially supported by the FNRS, Belgium, under grant 1.5.096.01.\r\nPartially
supported by the DARPA SEC grant F33615-C-98-3614, the AFOSR MURI grant F49620-00-1-0327,
the NSF Theory grant CCR-9988172, and the MARCO GSRC grant 98-DT-660.\r\nPartially
supported by a “Crédit aux chercheurs” from the Belgian National Fund for Scientific
Research."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Franck
full_name: Cassez, Franck
last_name: Cassez
- 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: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: 'Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed
and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid
Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13'
apa: 'Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control
problems for timed and hybrid systems. In Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148).
Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13'
chicago: 'Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of
Control Problems for Timed and Hybrid Systems.” In Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer,
2002. https://doi.org/10.1007/3-540-45873-5_13.'
ieee: 'F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems
for timed and hybrid systems,” in Proceedings of the 5th International Workshop
on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol.
2289, pp. 134–148.'
ista: 'Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems
for timed and hybrid systems. Proceedings of the 5th International Workshop on
Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and
Control, LNCS, vol. 2289, 134–148.'
mla: 'Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid
Systems.” Proceedings of the 5th International Workshop on Hybrid Systems:
Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.'
short: 'F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.'
conference:
end_date: 2002-03-27
location: Stanford, CA, USA
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2002-03-25
date_created: 2018-12-11T12:09:30Z
date_published: 2002-03-14T00:00:00Z
date_updated: 2023-06-02T10:29:10Z
day: '14'
doi: 10.1007/3-540-45873-5_13
extern: '1'
intvolume: ' 2289'
language:
- iso: eng
month: '03'
oa_version: None
page: 134 - 148
publication: 'Proceedings of the 5th International Workshop on Hybrid Systems: Computation
and Control'
publication_identifier:
isbn:
- '9783540433217'
publication_status: published
publisher: Springer
publist_id: '144'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A comparison of control problems for timed and hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2289
year: '2002'
...