--- _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' ...