[{"year":"2004","issue":"11","day":"01","type":"journal_article","author":[{"first_name":"Andrew","last_name":"Kern","full_name":"Kern, Andrew D"},{"full_name":"Fyodor Kondrashov","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov","orcid":"0000-0001-8243-4694","first_name":"Fyodor"}],"extern":1,"date_created":"2018-12-11T11:49:02Z","publication_status":"published","volume":36,"publication":"Nature Genetics","publist_id":"6759","date_published":"2004-11-01T00:00:00Z","_id":"889","date_updated":"2021-01-12T08:21:17Z","month":"11","status":"public","acknowledgement":"We thank J. Gillespie, M. Hahn, L. Horth, A. Kondrashov, A. Kopp, S. Nuzhdin, M. Turelli and D. Weinreich for their contributions. The authors were supported by a grant from the US National Institutes of Health to S. Nuzhdin, and A.D.K. is a Howard Hughes","doi":"10.1038/ng1451","abstract":[{"text":"The function of protein and RNA molecules depends on complex epistatic interactions between sites. Therefore, the deleterious effect of a mutation can be suppressed by a compensatory second-site substitution. In relating a list of 86 pathogenic mutations in human IRNAs encoded by mitochondrial genes to the sequences of their mammalian orthologs, we noted that 52 pathogenic mutations were present in normal tRNAs of one or several nonhuman mammals. We found at least five mechanisms of compensation for 32 pathogenic mutations that destroyed a Watson-Crick pair in one of the four tRNA stems: restoration of the affected Watson-Crick interaction (25 cases), strengthening of another pair (4 cases), creation of a new pair (8 cases), changes of multiple interactions in the affected stem (11 cases) and changes involving the interaction between the loop and stem structures (3 cases). A pathogenic mutation and its compensating substitution are fixed in a lineage in rapid succession, and often a compensatory interaction evolves convergently in different clades. At least 10%, and perhaps as many as 50%, of all nucleotide substitutions in evolving mammalian (RNAs participate in such interactions, indicating that the evolution of tRNAs proceeds along highly epistatic fitness ridges.","lang":"eng"}],"citation":{"chicago":"Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” <i>Nature Genetics</i>. Nature Publishing Group, 2004. <a href=\"https://doi.org/10.1038/ng1451\">https://doi.org/10.1038/ng1451</a>.","short":"A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.","ama":"Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. <i>Nature Genetics</i>. 2004;36(11):1207-1212. doi:<a href=\"https://doi.org/10.1038/ng1451\">10.1038/ng1451</a>","apa":"Kern, A., &#38; Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. <i>Nature Genetics</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ng1451\">https://doi.org/10.1038/ng1451</a>","mla":"Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” <i>Nature Genetics</i>, vol. 36, no. 11, Nature Publishing Group, 2004, pp. 1207–12, doi:<a href=\"https://doi.org/10.1038/ng1451\">10.1038/ng1451</a>.","ieee":"A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” <i>Nature Genetics</i>, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.","ista":"Kern A, Kondrashov F. 2004. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 36(11), 1207–1212."},"intvolume":"        36","quality_controlled":0,"title":"Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs","publisher":"Nature Publishing Group","page":"1207 - 1212"},{"page":"558 - 562","publisher":"Nature Publishing Group","title":"Positive selection at sites of multiple amino acid replacements since rat-mouse divergence","quality_controlled":0,"intvolume":"       429","abstract":[{"lang":"eng","text":"New alleles become fixed owing to random drift of nearly neutral mutations or to positive selection of substantially advantageous mutations. After decades of debate, the fraction of fixations driven by selection remains uncertain. Within 9,390 genes, we analysed 28,196 codons at which rat and mouse differ from each other at two nucleotide sites and 1,982 codons with three differences. At codons where rat-mouse divergence involved two non-synonymous substitutions, both of them occurred in the same lineage, either rat or mouse, in 64% of cases; however, independent substitutions would occur in the same lineage with a probability of only 50%. All three non-synonymous substitutions occurred in the same lineage for 46% of codons, instead of the 25% expected. Furthermore, comparison of 12 pairs of prokaryotic genomes also shows clumping of multiple non-synonymous substitutions in the same lineage. This pattern cannot be explained by correlated mutation or episodes of relaxed negative selection, but instead indicates that positive selection acts at many sites of rapid, successive amino acid replacement."}],"citation":{"chicago":"Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev, and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.” <i>Nature</i>. Nature Publishing Group, 2004. <a href=\"https://doi.org/10.1038/nature02601\">https://doi.org/10.1038/nature02601</a>.","ama":"Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. <i>Nature</i>. 2004;429(6991):558-562. doi:<a href=\"https://doi.org/10.1038/nature02601\">10.1038/nature02601</a>","short":"G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.","apa":"Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., &#38; Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature02601\">https://doi.org/10.1038/nature02601</a>","mla":"Bazykin, Georgii, et al. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.” <i>Nature</i>, vol. 429, no. 6991, Nature Publishing Group, 2004, pp. 558–62, doi:<a href=\"https://doi.org/10.1038/nature02601\">10.1038/nature02601</a>.","ieee":"G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive selection at sites of multiple amino acid replacements since rat-mouse divergence,” <i>Nature</i>, vol. 429, no. 6991. Nature Publishing Group, pp. 558–562, 2004.","ista":"Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. 2004. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 429(6991), 558–562."},"acknowledgement":"We thank N. Bierne for a number of suggestions. G.A.B. was supported by a BWF graduate fellowship. S.S. was supported by Genome Canada Foundation.","doi":"10.1038/nature02601","status":"public","month":"06","date_updated":"2021-01-12T08:21:37Z","_id":"898","date_published":"2004-06-03T00:00:00Z","publication":"Nature","publist_id":"6746","volume":429,"date_created":"2018-12-11T11:49:05Z","publication_status":"published","extern":1,"author":[{"last_name":"Bazykin","first_name":"Georgii","full_name":"Bazykin, Georgii A"},{"id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov","orcid":"0000-0001-8243-4694","first_name":"Fyodor","full_name":"Fyodor Kondrashov"},{"full_name":"Ogurtsov, Aleksey Yu","first_name":"Aleksey","last_name":"Ogurtsov"},{"full_name":"Sunyaev, Shamil R","first_name":"Shamil","last_name":"Sunyaev"},{"first_name":"Alexey","last_name":"Kondrashov","full_name":"Kondrashov, Alexey S"}],"day":"03","type":"journal_article","year":"2004","issue":"6991"},{"date_created":"2018-12-11T11:54:56Z","publication_status":"published","volume":279,"extern":1,"type":"journal_article","day":"28","author":[{"last_name":"Mamedova","first_name":"Aygun","full_name":"Mamedova, Aygun A"},{"last_name":"Holt","first_name":"Peter","full_name":"Holt, Peter J"},{"first_name":"Joe","last_name":"Carroll","full_name":"Carroll, Joe D"},{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989","full_name":"Leonid Sazanov"}],"issue":"22","year":"2004","publisher":"American Society for Biochemistry and Molecular Biology","page":"23830 - 23836","quality_controlled":0,"title":"Substrate-induced conformational change in bacterial complex I","intvolume":"       279","acknowledgement":"This work was supported by the Medical Research Council and by a Royal Society/North Atlantic Treaty Organization postdoctoral fellowship (to A. A. M.)","doi":"10.1074/jbc.M401539200","abstract":[{"text":"The mechanism coupling electron transfer and proton pumping in respiratory complex I (NADH-ubiquinone oxidoreductase) has not been established, but it has been suggested that it involves conformational changes. Here, the influence of substrates on the conformation of purified complex I from Escherichia coli was studied by cross-linking and electron microscopy. When a zero-length cross-linking reagent was used, the presence of NAD(P)H, in contrast to that of NAD+, prevented the formation of cross-links between the hydrophilic subunits of the complex, including NuoB, NuoI, and NuoCD. Comparisons using different cross-linkers suggested that NuoB, which is likely to coordinate the key iron-sulfur cluster N2, is the most mobile subunit. The presence of NAD(P)H led also to enhanced proteolysis of subunit NuoG. These data indicate that upon NAD(P)H binding, the peripheral arm of the complex adopts a more open conformation, with increased distances between subunits. Single particle analysis showed the nature of this conformational change. The enzyme retains its L-shape in the presence of NADH, but exhibits a significantly more open or expanded structure both in the peripheral arm and, unexpectedly, in the membrane domain also.","lang":"eng"}],"citation":{"ista":"Mamedova A, Holt P, Carroll J, Sazanov LA. 2004. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 279(22), 23830–23836.","ieee":"A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” <i>Journal of Biological Chemistry</i>, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.","mla":"Mamedova, Aygun, et al. “Substrate-Induced Conformational Change in Bacterial Complex I.” <i>Journal of Biological Chemistry</i>, vol. 279, no. 22, American Society for Biochemistry and Molecular Biology, 2004, pp. 23830–36, doi:<a href=\"https://doi.org/10.1074/jbc.M401539200\">10.1074/jbc.M401539200</a>.","apa":"Mamedova, A., Holt, P., Carroll, J., &#38; Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1074/jbc.M401539200\">https://doi.org/10.1074/jbc.M401539200</a>","short":"A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.","ama":"Mamedova A, Holt P, Carroll J, Sazanov LA. Substrate-induced conformational change in bacterial complex I. <i>Journal of Biological Chemistry</i>. 2004;279(22):23830-23836. doi:<a href=\"https://doi.org/10.1074/jbc.M401539200\">10.1074/jbc.M401539200</a>","chicago":"Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 2004. <a href=\"https://doi.org/10.1074/jbc.M401539200\">https://doi.org/10.1074/jbc.M401539200</a>."},"status":"public","date_updated":"2021-01-12T06:54:22Z","month":"05","_id":"1963","date_published":"2004-05-28T00:00:00Z","publist_id":"5123","publication":"Journal of Biological Chemistry"},{"title":"Equal sums of three powers","quality_controlled":0,"page":"553 - 573","publisher":"Unknown","citation":{"apa":"Browning, T. D., &#38; Heath Brown, R. (2004). Equal sums of three powers. <i>Inventiones Mathematicae</i>. Unknown. <a href=\"https://doi.org/10.1007/s00222-004-0360-9\">https://doi.org/10.1007/s00222-004-0360-9</a>","mla":"Browning, Timothy D., and Roger Heath Brown. “Equal Sums of Three Powers.” <i>Inventiones Mathematicae</i>, vol. 157, no. 3, Unknown, 2004, pp. 553–73, doi:<a href=\"https://doi.org/10.1007/s00222-004-0360-9\">10.1007/s00222-004-0360-9</a>.","chicago":"Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” <i>Inventiones Mathematicae</i>. Unknown, 2004. <a href=\"https://doi.org/10.1007/s00222-004-0360-9\">https://doi.org/10.1007/s00222-004-0360-9</a>.","short":"T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.","ama":"Browning TD, Heath Brown R. Equal sums of three powers. <i>Inventiones Mathematicae</i>. 2004;157(3):553-573. doi:<a href=\"https://doi.org/10.1007/s00222-004-0360-9\">10.1007/s00222-004-0360-9</a>","ista":"Browning TD, Heath Brown R. 2004. Equal sums of three powers. Inventiones Mathematicae. 157(3), 553–573.","ieee":"T. D. Browning and R. Heath Brown, “Equal sums of three powers,” <i>Inventiones Mathematicae</i>, vol. 157, no. 3. Unknown, pp. 553–573, 2004."},"doi":"10.1007/s00222-004-0360-9","intvolume":"       157","month":"03","date_updated":"2021-01-12T06:55:14Z","status":"public","publication":"Inventiones Mathematicae","publist_id":"7703","date_published":"2004-03-17T00:00:00Z","_id":"209","volume":157,"publication_status":"published","date_created":"2018-12-11T11:45:13Z","extern":1,"issue":"3","year":"2004","author":[{"full_name":"Timothy Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","last_name":"Browning","orcid":"0000-0002-8314-0177"},{"full_name":"Heath-Brown, Roger","last_name":"Heath Brown","first_name":"Roger"}],"type":"journal_article","day":"17"},{"page":"5322 - 5330","publisher":"Society for Neuroscience","title":"Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity","quality_controlled":0,"intvolume":"        24","abstract":[{"lang":"eng","text":"It is widely believed that the inflammatory events mediated by microglial activation contribute to several neurodegenerative processes. Alzheimer's disease, for example, is characterized by an accumulation of β-amyloid protein (Aβ) in neuritic plaques that are infiltrated by reactive microglia and astrocytes. Although Aβ and its fragment 25-35 exert a direct toxic effect on neurons, they also activate microglia. Microglial activation is accompanied by morphological changes, cell proliferation, and release of various cytokines and growth factors. A number of scientific reports suggest that the increased proliferation of microglial cells is dependent on ionic membrane currents and in particular on chloride conductances. An unusual chloride ion channel known to be associated with macrophage activation is the chloride intracellular channel-1 (CLIC1). Here we show that Aβ stimulation of neonatal rat microglia specifically leads to the increase in CLIC1 protein and to the functional expression of CLIC1 chloride conductance, both barely detectable on the plasma membrane of quiescent cells. CLIC1 protein expression in microglia increases after 24 hr of incubation with Aβ, simultaneously with the production of reactive nitrogen intermediates and of tumor necrosis factor-α (TNF-α). We demonstrate that reducing CLIC1 chloride conductance by a specific blocker [IAA-94 (R(+)-[(6,7-dichloro-2-cyclopentyl-2,3-dihydro-2-methyl-1-oxo-1H-inden-5yl)-oxy] acetic acid)] prevents neuronal apoptosis in neurons cocultured with Aβ-treated microglia. Furthermore, we show that small interfering RNAs used to knock down CLIC1 expression prevent TNF-α release induced by Aβ stimulation. These results provide a direct link between Aβ-induced microglial activation and CLIC1 functional expression."}],"citation":{"chicago":"Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2004. <a href=\"https://doi.org/10.1523/JNEUROSCI.1170-04.2004\">https://doi.org/10.1523/JNEUROSCI.1170-04.2004</a>.","short":"G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.","ama":"Novarino G, Fabrizi C, Tonini R, et al. Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. <i>Journal of Neuroscience</i>. 2004;24(23):5322-5330. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1170-04.2004\">10.1523/JNEUROSCI.1170-04.2004</a>","apa":"Novarino, G., Fabrizi, C., Tonini, R., Denti, M., Malchiodi, A., Lauro, G., … Mazzanti, M. (2004). Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.1170-04.2004\">https://doi.org/10.1523/JNEUROSCI.1170-04.2004</a>","mla":"Novarino, Gaia, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” <i>Journal of Neuroscience</i>, vol. 24, no. 23, Society for Neuroscience, 2004, pp. 5322–30, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1170-04.2004\">10.1523/JNEUROSCI.1170-04.2004</a>.","ieee":"G. Novarino <i>et al.</i>, “Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity,” <i>Journal of Neuroscience</i>, vol. 24, no. 23. Society for Neuroscience, pp. 5322–5330, 2004.","ista":"Novarino G, Fabrizi C, Tonini R, Denti M, Malchiodi A, Lauro G, Sacchetti B, Paradisi S, Ferroni A, Curmi P, Breit S, Mazzanti M. 2004. Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. 24(23), 5322–5330."},"doi":"10.1523/JNEUROSCI.1170-04.2004","status":"public","month":"06","date_updated":"2021-01-12T06:56:41Z","_id":"2308","publist_id":"4620","publication":"Journal of Neuroscience","date_published":"2004-06-09T00:00:00Z","volume":24,"publication_status":"published","date_created":"2018-12-11T11:56:54Z","extern":1,"author":[{"full_name":"Gaia Novarino","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","last_name":"Novarino","first_name":"Gaia"},{"first_name":"Cinzia","last_name":"Fabrizi","full_name":"Fabrizi, Cinzia"},{"full_name":"Tonini, Raffaella","last_name":"Tonini","first_name":"Raffaella"},{"last_name":"Denti","first_name":"Michela","full_name":"Denti, Michela A"},{"full_name":"Malchiodi, Albedi F","first_name":"Albedi","last_name":"Malchiodi"},{"full_name":"Lauro, Giuliana M","first_name":"Giuliana","last_name":"Lauro"},{"first_name":"Benedetto","last_name":"Sacchetti","full_name":"Sacchetti, Benedetto"},{"full_name":"Paradisi, Silvia","first_name":"Silvia","last_name":"Paradisi"},{"last_name":"Ferroni","first_name":"Arnaldo","full_name":"Ferroni, Arnaldo"},{"full_name":"Curmi, Paul M G","first_name":"Paul","last_name":"Curmi"},{"full_name":"Breit, Samuel N","first_name":"Samuel","last_name":"Breit"},{"full_name":"Mazzanti, Michele","last_name":"Mazzanti","first_name":"Michele"}],"day":"09","type":"journal_article","year":"2004","issue":"23"},{"year":"2004","issue":"1-2","author":[{"last_name":"Lieb","first_name":"Élliott","full_name":"Lieb, Élliott H"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer"}],"day":"01","type":"journal_article","extern":1,"volume":115,"publication_status":"published","date_created":"2018-12-11T11:57:11Z","date_published":"2004-04-01T00:00:00Z","publist_id":"4568","publication":"Journal of Statistical Physics","_id":"2355","month":"04","date_updated":"2021-01-12T06:56:59Z","status":"public","abstract":[{"lang":"eng","text":"The BMV conjecture for traces, which states that Tr exp(A - λB) is the Laplace transform of a positive measure, is shown to be equivalent to two other statements: (i) The polynomial λ → Tr(A + λB) p has only non-negative coefficients for all A, B ≥ 0, p ∈ ℕ and (ii) λ → Tr(A + λB)-p is the Laplace transform of a positive measure for A, B ≥ 0, p &gt; 0."}],"citation":{"chicago":"Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” <i>Journal of Statistical Physics</i>. Springer, 2004. <a href=\"https://doi.org/10.1023/B:JOSS.0000019811.15510.27\">https://doi.org/10.1023/B:JOSS.0000019811.15510.27</a>.","ama":"Lieb É, Seiringer R.  Equivalent forms of the Bessis-Moussa-Villani conjecture. <i>Journal of Statistical Physics</i>. 2004;115(1-2):185-190. doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000019811.15510.27\">10.1023/B:JOSS.0000019811.15510.27</a>","short":"É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.","apa":"Lieb, É., &#38; Seiringer, R. (2004).  Equivalent forms of the Bessis-Moussa-Villani conjecture. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1023/B:JOSS.0000019811.15510.27\">https://doi.org/10.1023/B:JOSS.0000019811.15510.27</a>","mla":"Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” <i>Journal of Statistical Physics</i>, vol. 115, no. 1–2, Springer, 2004, pp. 185–90, doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000019811.15510.27\">10.1023/B:JOSS.0000019811.15510.27</a>.","ieee":"É. Lieb and R. Seiringer, “ Equivalent forms of the Bessis-Moussa-Villani conjecture,” <i>Journal of Statistical Physics</i>, vol. 115, no. 1–2. Springer, pp. 185–190, 2004.","ista":"Lieb É, Seiringer R. 2004.  Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 115(1–2), 185–190."},"doi":"10.1023/B:JOSS.0000019811.15510.27","intvolume":"       115","title":" Equivalent forms of the Bessis-Moussa-Villani conjecture","quality_controlled":0,"page":"185 - 190","main_file_link":[{"url":"http://arxiv.org/abs/math-ph/0210027","open_access":"1"}],"oa":1,"publisher":"Springer"},{"issue":"2","year":"2004","author":[{"full_name":"Lieb, Élliott H","last_name":"Lieb","first_name":"Élliott"},{"full_name":"Robert Seiringer","first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Yngvason","first_name":"Jakob","full_name":"Yngvason, Jakob"}],"type":"journal_article","day":"01","volume":244,"date_created":"2018-12-11T11:57:11Z","publication_status":"published","extern":1,"month":"01","date_updated":"2021-01-12T06:56:59Z","status":"public","publist_id":"4569","date_published":"2004-01-01T00:00:00Z","publication":"Communications in Mathematical Physics","_id":"2356","title":"One-dimensional behavior of dilute, trapped Bose gases","quality_controlled":0,"page":"347 - 393","main_file_link":[{"url":"http://arxiv.org/abs/math-ph/0305025","open_access":"1"}],"publisher":"Springer","oa":1,"citation":{"ieee":"É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases,” <i>Communications in Mathematical Physics</i>, vol. 244, no. 2. Springer, pp. 347–393, 2004.","ista":"Lieb É, Seiringer R, Yngvason J. 2004. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 244(2), 347–393.","ama":"Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases. <i>Communications in Mathematical Physics</i>. 2004;244(2):347-393. doi:<a href=\"https://doi.org/10.1007/s00220-003-0993-3\">10.1007/s00220-003-0993-3</a>","short":"É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.","chicago":"Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” <i>Communications in Mathematical Physics</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00220-003-0993-3\">https://doi.org/10.1007/s00220-003-0993-3</a>.","mla":"Lieb, Élliott, et al. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” <i>Communications in Mathematical Physics</i>, vol. 244, no. 2, Springer, 2004, pp. 347–93, doi:<a href=\"https://doi.org/10.1007/s00220-003-0993-3\">10.1007/s00220-003-0993-3</a>.","apa":"Lieb, É., Seiringer, R., &#38; Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-003-0993-3\">https://doi.org/10.1007/s00220-003-0993-3</a>"},"abstract":[{"text":"Recent experimental and theoretical work has shown that there are conditions in which a trapped, low-density Bose gas behaves like the one-dimensional delta-function Bose gas solved years ago by Lieb and Liniger. This is an intrinsically quantum-mechanical phenomenon because it is not necessary to have a trap width that is the size of an atom - as might have been supposed - but it suffices merely to have a trap width such that the energy gap for motion in the transverse direction is large compared to the energy associated with the motion along the trap. Up to now the theoretical arguments have been based on variational - perturbative ideas or numerical investigations. In contrast, this paper gives a rigorous proof of the one-dimensional behavior as far as the ground state energy and particle density are concerned. There are four parameters involved: the particle number, N, transverse and longitudinal dimensions of the trap, r and L, and the scattering length a of the interaction potential. Our main result is that if r/L → 0 and N → ∞ the ground state energy and density can be obtained by minimizing a one-dimensional density functional involving the Lieb-Liniger energy density with coupling constant ∼ a/r 2. This density functional simplifies in various limiting cases and we identify five asymptotic parameter regions altogether. Three of these, corresponding to the weak coupling regime, can also be obtained as limits of a three-dimensional Gross-Pitaevskii theory. We also show that Bose-Einstein condensation in the ground state persists in a part of this regime. In the strong coupling regime the longitudinal motion of the particles is strongly correlated. The Gross-Pitaevskii description is not valid in this regime and new mathematical methods come into play.","lang":"eng"}],"doi":"10.1007/s00220-003-0993-3","intvolume":"       244"},{"month":"08","date_updated":"2021-01-12T06:57:01Z","status":"public","publist_id":"4567","date_published":"2004-08-01T00:00:00Z","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","_id":"2360","title":"Bose-Einstein quantum phase transition in an optical lattice model","quality_controlled":0,"page":"023612 - 1-0236121-2","publisher":"American Physical Society","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/cond-mat/0403240"}],"oa":1,"citation":{"ista":"Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. 2004. Bose-Einstein quantum phase transition in an optical lattice model. Physical Review A - Atomic, Molecular, and Optical Physics. 70(2), 023612-1-0236121-2.","ieee":"M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, and J. Yngvason, “Bose-Einstein quantum phase transition in an optical lattice model,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 70, no. 2. American Physical Society, pp. 023612-1-0236121-2, 2004.","apa":"Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., &#38; Yngvason, J. (2004). Bose-Einstein quantum phase transition in an optical lattice model. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.70.023612\">https://doi.org/10.1103/PhysRevA.70.023612</a>","mla":"Aizenman, Michael, et al. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 70, no. 2, American Physical Society, 2004, pp. 023612-1-0236121-2, doi:<a href=\"https://doi.org/10.1103/PhysRevA.70.023612\">10.1103/PhysRevA.70.023612</a>.","chicago":"Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2004. <a href=\"https://doi.org/10.1103/PhysRevA.70.023612\">https://doi.org/10.1103/PhysRevA.70.023612</a>.","ama":"Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein quantum phase transition in an optical lattice model. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2004;70(2):023612-1-0236121-2. doi:<a href=\"https://doi.org/10.1103/PhysRevA.70.023612\">10.1103/PhysRevA.70.023612</a>","short":"M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2."},"abstract":[{"lang":"eng","text":"An optical lattice model developed that is similar to the Bose-Hubbard model to describe the transition between Bose-Einstein condensation (BEC) and a Mott insulator state was analyzed. It was found that the system was a hard core lattice gas at half of the maximum density and the optical lattice was modeled by a periodic potential of strength λ. It was also observed that the interparticle interaction was essential for this transition that occurred even in the ground state. The results show that all the essential features could be proved rigorously such as the existence of BEC for small λ and its suppression for a large λ."}],"doi":"10.1103/PhysRevA.70.023612","intvolume":"        70","issue":"2","year":"2004","author":[{"full_name":"Aizenman, Michael","last_name":"Aizenman","first_name":"Michael"},{"last_name":"Lieb","first_name":"Élliott","full_name":"Lieb, Élliott H"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","last_name":"Seiringer","full_name":"Robert Seiringer"},{"last_name":"Solovej","first_name":"Jan","full_name":"Solovej, Jan P"},{"first_name":"Jakob","last_name":"Yngvason","full_name":"Yngvason, Jakob"}],"type":"journal_article","day":"01","volume":70,"publication_status":"published","date_created":"2018-12-11T11:57:12Z","extern":1},{"editor":[{"first_name":"János","last_name":"Pach","full_name":"Pach, János"}],"year":"2004","type":"book_chapter","day":"01","author":[{"first_name":"László","last_name":"Lovász","full_name":"Lovász, László"},{"last_name":"Vesztergombi","first_name":"Katalin","full_name":"Vesztergombi, Katalin"},{"full_name":"Uli Wagner","orcid":"0000-0002-1494-0568","last_name":"Wagner","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Welzl, Emo","last_name":"Welzl","first_name":"Emo"}],"publication_status":"published","date_created":"2018-12-11T11:57:32Z","volume":342,"extern":1,"date_updated":"2021-01-12T06:57:21Z","month":"01","status":"public","date_published":"2004-01-01T00:00:00Z","publication":"Towards a Theory of Geometric Graphs","publist_id":"4508","_id":"2417","quality_controlled":0,"title":"Convex quadrilaterals and k-sets ","publisher":"American Mathematical Society","page":"139 - 148","doi":"10.1090/conm/342","citation":{"short":"L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.","ama":"Lovász L, Vesztergombi K, Wagner U, Welzl E. Convex quadrilaterals and k-sets . In: Pach J, ed. <i>Towards a Theory of Geometric Graphs</i>. Vol 342. American Mathematical Society; 2004:139-148. doi:<a href=\"https://doi.org/10.1090/conm/342\">10.1090/conm/342</a>","chicago":"Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .” In <i>Towards a Theory of Geometric Graphs</i>, edited by János Pach, 342:139–48. American Mathematical Society, 2004. <a href=\"https://doi.org/10.1090/conm/342\">https://doi.org/10.1090/conm/342</a>.","mla":"Lovász, László, et al. “Convex Quadrilaterals and K-Sets .” <i>Towards a Theory of Geometric Graphs</i>, edited by János Pach, vol. 342, American Mathematical Society, 2004, pp. 139–48, doi:<a href=\"https://doi.org/10.1090/conm/342\">10.1090/conm/342</a>.","apa":"Lovász, L., Vesztergombi, K., Wagner, U., &#38; Welzl, E. (2004). Convex quadrilaterals and k-sets . In J. Pach (Ed.), <i>Towards a Theory of Geometric Graphs</i> (Vol. 342, pp. 139–148). American Mathematical Society. <a href=\"https://doi.org/10.1090/conm/342\">https://doi.org/10.1090/conm/342</a>","ieee":"L. Lovász, K. Vesztergombi, U. Wagner, and E. Welzl, “Convex quadrilaterals and k-sets ,” in <i>Towards a Theory of Geometric Graphs</i>, vol. 342, J. Pach, Ed. American Mathematical Society, 2004, pp. 139–148.","ista":"Lovász L, Vesztergombi K, Wagner U, Welzl E. 2004.Convex quadrilaterals and k-sets . In: Towards a Theory of Geometric Graphs. Contemporary Mathematics , vol. 342, 139–148."},"alternative_title":["Contemporary Mathematics "],"intvolume":"       342"},{"status":"public","date_updated":"2021-01-12T06:57:24Z","month":"07","_id":"2425","publication":"Discrete & Computational Geometry","date_published":"2004-07-01T00:00:00Z","publist_id":"4500","publisher":"Springer","page":"195 - 206","quality_controlled":0,"title":"New constructions of weak ε-nets","intvolume":"        32","doi":"10.1007/s00454-004-1116-4","citation":{"ieee":"J. Matoušek and U. Wagner, “New constructions of weak ε-nets,” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2. Springer, pp. 195–206, 2004.","ista":"Matoušek J, Wagner U. 2004. New constructions of weak ε-nets. Discrete &#38; Computational Geometry. 32(2), 195–206.","short":"J. Matoušek, U. Wagner, Discrete &#38; Computational Geometry 32 (2004) 195–206.","ama":"Matoušek J, Wagner U. New constructions of weak ε-nets. <i>Discrete &#38; Computational Geometry</i>. 2004;32(2):195-206. doi:<a href=\"https://doi.org/10.1007/s00454-004-1116-4\">10.1007/s00454-004-1116-4</a>","chicago":"Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00454-004-1116-4\">https://doi.org/10.1007/s00454-004-1116-4</a>.","mla":"Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2, Springer, 2004, pp. 195–206, doi:<a href=\"https://doi.org/10.1007/s00454-004-1116-4\">10.1007/s00454-004-1116-4</a>.","apa":"Matoušek, J., &#38; Wagner, U. (2004). New constructions of weak ε-nets. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-004-1116-4\">https://doi.org/10.1007/s00454-004-1116-4</a>"},"abstract":[{"lang":"eng","text":"A finite set N ⊂ Rd is a weak ε-net for an n-point set X ⊂ Rd (with respect to convex sets) if N intersects every convex set K with |K ∩ X| ≥ εn. We give an alternative, and arguably simpler, proof of the fact, first shown by Chazelle et al., that every point set X in Rd admits a weak ε-net of cardinality O(ε-dpolylog(1/ε)). Moreover, for a number of special point sets (e.g., for points on the moment curve), our method gives substantially better bounds. The construction yields an algorithm to construct such weak ε-nets in time O(n ln(1/ε))."}],"type":"journal_article","day":"01","author":[{"full_name":"Matoušek, Jiří","first_name":"Jiří","last_name":"Matoušek"},{"full_name":"Uli Wagner","last_name":"Wagner","orcid":"0000-0002-1494-0568","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"year":"2004","issue":"2","date_created":"2018-12-11T11:57:35Z","publication_status":"published","volume":32,"extern":1},{"author":[{"full_name":"Giesen, Joachim","first_name":"Joachim","last_name":"Giesen"},{"full_name":"Uli Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","last_name":"Wagner","orcid":"0000-0002-1494-0568"}],"day":"01","type":"journal_article","year":"2004","issue":"2","volume":32,"publication_status":"published","date_created":"2018-12-11T11:57:35Z","extern":1,"status":"public","month":"09","date_updated":"2021-01-12T06:57:25Z","_id":"2426","publication":"Discrete & Computational Geometry","publist_id":"4499","date_published":"2004-09-01T00:00:00Z","page":"245 - 267","publisher":"Springer","title":"Shape dimension and intrinsic metric from samples of manifolds","quality_controlled":0,"intvolume":"        32","abstract":[{"lang":"eng","text":"We introduce the adaptive neighborhood graph as a data structure for modeling a smooth manifold M embedded in some Euclidean space ℝ d. We assume that M is known to us only through a finite sample P ⊂ M, as is often the case in applications. The adaptive neighborhood graph is a geometric graph on P. Its complexity is at most min{2O(k)n, n2}, where n = P and k = dim M, as opposed to the n[d/2] complexity of the Delaunay triangulation, which is often used to model manifolds. We prove that we can correctly infer the connected components and the dimension of M from the adaptive neighborhood graph provided a certain standard sampling condition is fulfilled. The running time of the dimension detection algorithm is d20(k7 log k) for each connected component of M. If the dimension is considered constant, this is a constant-time operation, and the adaptive neighborhood graph is of linear size. Moreover, the exponential dependence of the constants is only on the intrinsic dimension k, not on the ambient dimension d. This is of particular interest if the co-dimension is high, i.e., if k is much smaller than d, as is the case in many applications. The adaptive neighborhood graph also allows us to approximate the geodesic distances between the points in P."}],"citation":{"ista":"Giesen J, Wagner U. 2004. Shape dimension and intrinsic metric from samples of manifolds. Discrete &#38; Computational Geometry. 32(2), 245–267.","ieee":"J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds,” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2. Springer, pp. 245–267, 2004.","apa":"Giesen, J., &#38; Wagner, U. (2004). Shape dimension and intrinsic metric from samples of manifolds. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-004-1120-8\">https://doi.org/10.1007/s00454-004-1120-8</a>","mla":"Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2, Springer, 2004, pp. 245–67, doi:<a href=\"https://doi.org/10.1007/s00454-004-1120-8\">10.1007/s00454-004-1120-8</a>.","chicago":"Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00454-004-1120-8\">https://doi.org/10.1007/s00454-004-1120-8</a>.","ama":"Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds. <i>Discrete &#38; Computational Geometry</i>. 2004;32(2):245-267. doi:<a href=\"https://doi.org/10.1007/s00454-004-1120-8\">10.1007/s00454-004-1120-8</a>","short":"J. Giesen, U. Wagner, Discrete &#38; Computational Geometry 32 (2004) 245–267."},"doi":"10.1007/s00454-004-1120-8"},{"extern":"1","article_type":"original","date_created":"2020-01-15T12:24:14Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","volume":4,"oa_version":"None","issue":"3","article_processing_charge":"No","year":"2004","day":"01","type":"journal_article","author":[{"last_name":"Santis","first_name":"M.","full_name":"Santis, M."},{"last_name":"Schmid","first_name":"D.","full_name":"Schmid, D."},{"first_name":"M.","last_name":"Ruge","full_name":"Ruge, M."},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander"},{"full_name":"Büchi, F.N.","last_name":"Büchi","first_name":"F.N."}],"doi":"10.1002/fuce.200400028","language":[{"iso":"eng"}],"citation":{"ista":"Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. 2004. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 4(3), 214–218.","ieee":"M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1 kW stack,” <i>Fuel Cells</i>, vol. 4, no. 3. Wiley, pp. 214–218, 2004.","apa":"Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., &#38; Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. <i>Fuel Cells</i>. Wiley. <a href=\"https://doi.org/10.1002/fuce.200400028\">https://doi.org/10.1002/fuce.200400028</a>","mla":"Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” <i>Fuel Cells</i>, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:<a href=\"https://doi.org/10.1002/fuce.200400028\">10.1002/fuce.200400028</a>.","chicago":"Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” <i>Fuel Cells</i>. Wiley, 2004. <a href=\"https://doi.org/10.1002/fuce.200400028\">https://doi.org/10.1002/fuce.200400028</a>.","short":"M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.","ama":"Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal air humidification concept-verification in a 1 kW stack. <i>Fuel Cells</i>. 2004;4(3):214-218. doi:<a href=\"https://doi.org/10.1002/fuce.200400028\">10.1002/fuce.200400028</a>"},"abstract":[{"lang":"eng","text":"The analysis of the complete H2/air polymer electrolyte fuel cell system shows that process air humidification is one of the biggest obstacles for a high performance portable system in the kW range. Therefore, a new concept, with passive process air humidification integrated into the stack, has been developed. Humidification in each cell makes the process independent from the number of cells and the operation mode, thus making the concept fully scalable. Without external humidification the system is simpler, smaller, and cheaper. The humidification of the process air is achieved by transfer of product water from the exhaust air, through part of the membrane, to the dry intake air. Tests have shown that cells using the concept of internal humidification and operated with dry air at 70 ° have almost the same performance as when operated with external humidification. A 42‐cell stack with this internal humidification concept was built and integrated into a portable 1 kW power generator system."}],"intvolume":"         4","quality_controlled":"1","title":"Modular stack-internal air humidification concept-verification in a 1 kW stack","publisher":"Wiley","page":"214-218","date_published":"2004-08-01T00:00:00Z","publication":"Fuel Cells","_id":"7333","date_updated":"2021-01-12T08:13:08Z","month":"08","publication_identifier":{"issn":["1615-6846","1615-6854"]},"status":"public"},{"day":"01","type":"journal_article","author":[{"last_name":"Mantzaras","first_name":"John","full_name":"Mantzaras, John"},{"first_name":"Stefan Alexander","last_name":"Freunberger","orcid":"0000-0003-2902-5319","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","full_name":"Freunberger, Stefan Alexander"},{"last_name":"Büchi","first_name":"Felix N.","full_name":"Büchi, Felix N."},{"last_name":"Roos","first_name":"Markus","full_name":"Roos, Markus"},{"first_name":"Wilhelm","last_name":"Brandstätter","full_name":"Brandstätter, Wilhelm"},{"last_name":"Prestat","first_name":"Michel","full_name":"Prestat, Michel"},{"full_name":"Gauckler, Ludwig J.","last_name":"Gauckler","first_name":"Ludwig J."},{"full_name":"Andreaus, Bernhard","first_name":"Bernhard","last_name":"Andreaus"},{"full_name":"Hajbolouri, Faegheh","first_name":"Faegheh","last_name":"Hajbolouri"},{"first_name":"Stephan M.","last_name":"Senn","full_name":"Senn, Stephan M."},{"first_name":"Dimos","last_name":"Poulikakos","full_name":"Poulikakos, Dimos"},{"last_name":"Chaniotis","first_name":"Andreas K.","full_name":"Chaniotis, Andreas K."},{"full_name":"Larrain, Diego","last_name":"Larrain","first_name":"Diego"},{"full_name":"Autissier, Nordahl","first_name":"Nordahl","last_name":"Autissier"},{"last_name":"Maréchal","first_name":"François","full_name":"Maréchal, François"}],"year":"2004","article_processing_charge":"No","issue":"12","article_type":"original","extern":"1","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-15T12:24:23Z","publication_status":"published","volume":58,"_id":"7334","publication":"CHIMIA International Journal for Chemistry","date_published":"2004-12-01T00:00:00Z","publication_identifier":{"issn":["0009-4293"]},"status":"public","date_updated":"2021-01-12T08:13:09Z","month":"12","intvolume":"        58","doi":"10.2533/000942904777677029","citation":{"apa":"Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. <i>CHIMIA International Journal for Chemistry</i>. Swiss Chemical Society. <a href=\"https://doi.org/10.2533/000942904777677029\">https://doi.org/10.2533/000942904777677029</a>","mla":"Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.” <i>CHIMIA International Journal for Chemistry</i>, vol. 58, no. 12, Swiss Chemical Society, 2004, pp. 857–68, doi:<a href=\"https://doi.org/10.2533/000942904777677029\">10.2533/000942904777677029</a>.","chicago":"Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” <i>CHIMIA International Journal for Chemistry</i>. Swiss Chemical Society, 2004. <a href=\"https://doi.org/10.2533/000942904777677029\">https://doi.org/10.2533/000942904777677029</a>.","short":"J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.","ama":"Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. <i>CHIMIA International Journal for Chemistry</i>. 2004;58(12):857-868. doi:<a href=\"https://doi.org/10.2533/000942904777677029\">10.2533/000942904777677029</a>","ista":"Mantzaras J, Freunberger SA, Büchi FN, Roos M, Brandstätter W, Prestat M, Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 58(12), 857–868.","ieee":"J. Mantzaras <i>et al.</i>, “Fuel cell modeling and simulations,” <i>CHIMIA International Journal for Chemistry</i>, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004."},"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Fundamental and phenomenological models for cells, stacks, and complete systems of PEFC and SOFC are reviewed and their predictive power is assessed by comparing model simulations against experiments. Computationally efficient models suited for engineering design include the (1+1) dimensionality approach, which decouples the membrane in-plane and through-plane processes, and the volume-averaged-method (VAM) that considers only the lumped effect of pre-selected system components. The former model was shown to capture the measured lateral current density inhomogeneities in a PEFC and the latter was used for the optimization of commercial SOFC systems. State Space Modeling (SSM) was used to identify the main reaction pathways in SOFC and, in conjunction with the implementation of geometrically well-defined electrodes, has opened a new direction for the understanding of electrochemical reactions. Furthermore, SSM has advanced the understanding of the COpoisoning-induced anode impedance in PEFC. Detailed numerical models such as the Lattice Boltzmann (LB) method for transport in porous media and the full 3-D Computational Fluid Dynamics (CFD) Navier-Stokes simulations are addressed. These models contain all components of the relevant physics and they can improve the understanding of the related phenomena, a necessary condition for the development of both appropriate simplified models as well as reliable technologies. Within the LB framework, a technique for the characterization and computer-reconstruction of the porous electrode structure was developed using advanced pattern recognition algorithms. In CFD modeling, 3-D simulations were used to investigate SOFC with internal methane steam reforming and have exemplified the significance of porous and novel fractal channel distributors for the fuel and oxidant delivery, as well as for the cooling of PEFC. As importantly, the novel concept has been put forth of functionally designed, fractal-shaped fuel cells, showing promise of significant performance improvements over the conventional rectangular shaped units. Thermo-economic modeling for the optimization of PEFC is finally addressed. "}],"publisher":"Swiss Chemical Society","page":"857-868","quality_controlled":"1","title":"Fuel cell modeling and simulations"},{"language":[{"iso":"eng"}],"citation":{"apa":"Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1094637\">https://doi.org/10.1126/science.1094637</a>","mla":"Brunet, Anne, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” <i>Science</i>, vol. 303, no. 5666, American Association for the Advancement of Science, 2004, pp. 2011–15, doi:<a href=\"https://doi.org/10.1126/science.1094637\">10.1126/science.1094637</a>.","chicago":"Brunet, Anne, Lora B. Sweeney, J Fitzhugh  Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” <i>Science</i>. American Association for the Advancement of Science, 2004. <a href=\"https://doi.org/10.1126/science.1094637\">https://doi.org/10.1126/science.1094637</a>.","short":"A. Brunet, L.B. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran, S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi, D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.","ama":"Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. <i>Science</i>. 2004;303(5666):2011-2015. doi:<a href=\"https://doi.org/10.1126/science.1094637\">10.1126/science.1094637</a>","ista":"Brunet A, Sweeney LB, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S, Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.","ieee":"A. Brunet <i>et al.</i>, “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” <i>Science</i>, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004."},"abstract":[{"lang":"eng","text":"The Sir2 deacetylase modulates organismal life-span in various species. However, the molecular mechanisms by which Sir2 increases longevity are largely unknown. We show that in mammalian cells, the Sir2 homolog SIRT1 appears to control the cellular response to stress by regulating the FOXO family of Forkhead transcription factors, a family of proteins that function as sensors of the insulin signaling pathway and as regulators of organismal longevity. SIRT1 and the FOXO transcription factor FOXO3 formed a complex in cells in response to oxidative stress, and SIRT1 deacetylated FOXO3 in vitro and within cells. SIRT1 had a dual effect on FOXO3 function: SIRT1 increased FOXO3's ability to induce cell cycle arrest and resistance to oxidative stress but inhibited FOXO3's ability to induce cell death. Thus, one way in which members of the Sir2 family of proteins may increase organismal longevity is by tipping FOXO-dependent responses away from apoptosis and toward stress resistance."}],"doi":"10.1126/science.1094637","intvolume":"       303","title":"Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase","quality_controlled":"1","page":"2011-2015","publisher":"American Association for the Advancement of Science","publication":"Science","date_published":"2004-03-26T00:00:00Z","_id":"7706","month":"03","date_updated":"2024-01-31T10:14:17Z","publication_identifier":{"issn":["0036-8075","1095-9203"]},"status":"public","extern":"1","article_type":"original","volume":303,"date_created":"2020-04-30T10:37:41Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa_version":"None","year":"2004","issue":"5666","article_processing_charge":"No","author":[{"full_name":"Brunet, Anne","first_name":"Anne","last_name":"Brunet"},{"id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","first_name":"Lora Beatrice Jaeger","orcid":"0000-0001-9242-5601","last_name":"Sweeney","full_name":"Sweeney, Lora Beatrice Jaeger"},{"first_name":"J Fitzhugh ","last_name":"Sturgill","full_name":"Sturgill, J Fitzhugh "},{"last_name":"Chua","first_name":"Katrin","full_name":"Chua, Katrin"},{"first_name":"Paul","last_name":"Greer","full_name":"Greer, Paul"},{"last_name":"Lin","first_name":"Yingxi","full_name":"Lin, Yingxi"},{"full_name":"Tran, Hien","first_name":"Hien","last_name":"Tran"},{"first_name":"Sarah","last_name":"Ross","full_name":"Ross, Sarah"},{"first_name":"Raul","last_name":"Mostoslavsky","full_name":"Mostoslavsky, Raul"},{"first_name":"Haim","last_name":"Cohen","full_name":"Cohen, Haim"},{"full_name":"Hu, Linda","first_name":"Linda","last_name":"Hu"},{"full_name":"Chen, Hwei-Ling","first_name":"Hwei-Ling","last_name":"Chen"},{"full_name":"Jedrychowski, Mark","first_name":"Mark","last_name":"Jedrychowski"},{"full_name":"Gygi, Steven","first_name":"Steven","last_name":"Gygi"},{"full_name":"Sinclair, David","last_name":"Sinclair","first_name":"David"},{"full_name":"Alt, Frederick","last_name":"Alt","first_name":"Frederick"},{"full_name":"Greenberg, Michael","last_name":"Greenberg","first_name":"Michael"}],"type":"journal_article","day":"26"},{"year":"2004","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger"},{"full_name":"Jhala, Ranjit","first_name":"Ranjit","last_name":"Jhala"},{"full_name":"Majumdar, Ritankar S","first_name":"Ritankar","last_name":"Majumdar"}],"conference":{"name":"IWPC: Program Comprehension"},"type":"conference","day":"12","extern":1,"date_created":"2018-12-11T12:09:34Z","publication_status":"published","date_published":"2004-07-12T00:00:00Z","publist_id":"129","_id":"4577","month":"07","date_updated":"2021-01-12T07:59:50Z","status":"public","abstract":[{"lang":"eng","text":"While model checking has been successful in uncovering subtle bugs in code, its adoption in software engineering practice has been hampered by the absence of a simple interface to the programmer in an integrated development environment. We describe an integration of the software model checker BLAST into the Eclipse development environment. We provide a verification interface for practical solutions for some typical program analysis problems - assertion checking, reachability analysis, dead code analysis, and test generation - directly on the source code. The analysis is completely automatic, and assumes no knowledge of model checking or formal notation. Moreover, the interface supports incremental program verification to support incremental design and evolution of code."}],"citation":{"short":"D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.","ama":"Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:<a href=\"https://doi.org/10.1109/WPC.2004.1311069  \">10.1109/WPC.2004.1311069  </a>","chicago":"Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. <a href=\"https://doi.org/10.1109/WPC.2004.1311069  \">https://doi.org/10.1109/WPC.2004.1311069  </a>.","mla":"Beyer, Dirk, et al. <i>An Eclipse Plug-in for Model Checking</i>. IEEE, 2004, pp. 251–55, doi:<a href=\"https://doi.org/10.1109/WPC.2004.1311069  \">10.1109/WPC.2004.1311069  </a>.","apa":"Beyer, D., Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. <a href=\"https://doi.org/10.1109/WPC.2004.1311069  \">https://doi.org/10.1109/WPC.2004.1311069  </a>","ieee":"D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.","ista":"Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255."},"acknowledgement":"This research was supported in part by the NSF grants CCR-0085949, CCR-0234690, and ITR-0326577.","doi":"10.1109/WPC.2004.1311069  ","title":"An eclipse plug-in for model checking","quality_controlled":0,"page":"251 - 255","publisher":"IEEE"},{"_id":"4578","date_published":"2004-08-17T00:00:00Z","publist_id":"130","status":"public","month":"08","date_updated":"2021-01-12T07:59:50Z","intvolume":"      3148","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"BLAST is an automatic verification tool for checking temporal safety properties of C programs. Blast is based on lazy predicate abstraction driven by interpolation-based predicate discovery. In this paper, we present the Blast specification language. The language specifies program properties at two levels of precision. At the lower level, monitor automata are used to specify temporal safety properties of program executions (traces). At the higher level, relational reachability queries over program locations are used to combine lower-level trace properties. The two-level specification language can be used to break down a verification task into several independent calls of the model-checking engine. In this way, each call to the model checker may have to analyze only part of the program, or part of the specification, and may thus succeed in a reduction of the number of predicates needed for the analysis. In addition, the two-level specification language provides a means for structuring and maintaining specifications. "}],"citation":{"ista":"Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.","ieee":"D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.","mla":"Beyer, Dirk, et al. <i>The BLAST Query Language for Software Verification</i>. Vol. 3148, Springer, 2004, pp. 2–18, doi:<a href=\"https://doi.org/10.1007/978-3-540-27864-1_2\">10.1007/978-3-540-27864-1_2</a>.","apa":"Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. <a href=\"https://doi.org/10.1007/978-3-540-27864-1_2\">https://doi.org/10.1007/978-3-540-27864-1_2</a>","short":"D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.","ama":"Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:<a href=\"https://doi.org/10.1007/978-3-540-27864-1_2\">10.1007/978-3-540-27864-1_2</a>","chicago":"Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-27864-1_2\">https://doi.org/10.1007/978-3-540-27864-1_2</a>."},"acknowledgement":"This research was supported in part by the NSF grants CCR-0085949, CCR-0234690, and ITR-0326577.","doi":"10.1007/978-3-540-27864-1_2","page":"2 - 18","publisher":"Springer","title":"The BLAST query language for software verification","quality_controlled":0,"author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"full_name":"Chlipala, Adam J","first_name":"Adam","last_name":"Chlipala"},{"full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jhala, Ranjit","first_name":"Ranjit","last_name":"Jhala"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"}],"type":"conference","day":"17","conference":{"name":"SAS: Static Analysis Symposium"},"year":"2004","extern":1,"volume":3148,"date_created":"2018-12-11T12:09:34Z","publication_status":"published"},{"doi":"10.1109/ICSE.2004.1317455","citation":{"ista":"Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.","ieee":"D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.","apa":"Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. <a href=\"https://doi.org/10.1109/ICSE.2004.1317455\">https://doi.org/10.1109/ICSE.2004.1317455</a>","mla":"Beyer, Dirk, et al. <i>Generating Tests from Counterexamples</i>. IEEE, 2004, pp. 326–35, doi:<a href=\"https://doi.org/10.1109/ICSE.2004.1317455\">10.1109/ICSE.2004.1317455</a>.","chicago":"Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. <a href=\"https://doi.org/10.1109/ICSE.2004.1317455\">https://doi.org/10.1109/ICSE.2004.1317455</a>.","short":"D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.","ama":"Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:<a href=\"https://doi.org/10.1109/ICSE.2004.1317455\">10.1109/ICSE.2004.1317455</a>"},"abstract":[{"lang":"eng","text":"We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C program and a target predicate p, BLAST determines the set L of program locations which program execution can reach with p true, and automatically generates a set of test vectors that exhibit the truth of p at all locations in L. We have used BLAST to generate test suites and to detect dead code in C programs with up to 30 K lines of code. The analysis and test vector generation is fully automatic (no user intervention) and exact (no false positives)."}],"publisher":"IEEE","page":"326 - 335","quality_controlled":0,"title":"Generating tests from counterexamples","_id":"4581","date_published":"2004-07-26T00:00:00Z","publist_id":"128","status":"public","date_updated":"2021-01-12T07:59:52Z","month":"07","extern":1,"publication_status":"published","date_created":"2018-12-11T12:09:35Z","conference":{"name":"ICSE: Software Engineering"},"day":"26","type":"conference","author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"last_name":"Chlipala","first_name":"Adam","full_name":"Chlipala, Adam J"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger"},{"full_name":"Jhala, Ranjit","last_name":"Jhala","first_name":"Ranjit"},{"full_name":"Majumdar, Ritankar S","last_name":"Majumdar","first_name":"Ritankar"}],"year":"2004"},{"date_published":"2004-03-18T00:00:00Z","publist_id":"79","_id":"4629","month":"03","date_updated":"2021-01-12T08:00:38Z","status":"public","alternative_title":["LNCS"],"abstract":[{"text":"Temporal logic is two-valued: a property is either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, temporal logic is therefore fragile: even small changes in the model can lead to opposite truth values for a specification. We present a generalization of the branching-time logic Ctl which achieves robustness with respect to model perturbations by giving a quantitative interpretation to predicates and logical operators, and by discounting the importance of events according to how late they occur. In every state, the value of a formula is a real number in the interval [0,1], where 1 corresponds to truth and 0 to falsehood. The boolean operators and and or are replaced by min and max, the path quantifiers ∃ and ∀ determine sup and inf over all paths from a given state, and the temporal operators and □ specify sup and inf over a given path; a new operator averages all values along a path. Furthermore, all path operators are discounted by a parameter that can be chosen to give more weight to states that are closer to the beginning of the path. We interpret the resulting logic Dctl over transition systems, Markov chains, and Markov decision processes. We present two semantics for Dctl: a path semantics, inspired by the standard interpretation of state and path formulas in CTL, and a fixpoint semantics, inspired by the μ-calculus evaluation of CTL formulas. We show that, while these semantics coincide for CTL, they differ for Dctl, and we provide model-checking algorithms for both semantics.","lang":"eng"}],"citation":{"short":"L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.","ama":"De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:<a href=\"https://doi.org/10.1007/978-3-540-24730-2_6\">10.1007/978-3-540-24730-2_6</a>","chicago":"De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-24730-2_6\">https://doi.org/10.1007/978-3-540-24730-2_6</a>.","mla":"De Alfaro, Luca, et al. <i>Model Checking Discounted Temporal Properties</i>. Vol. 2988, Springer, 2004, pp. 77–92, doi:<a href=\"https://doi.org/10.1007/978-3-540-24730-2_6\">10.1007/978-3-540-24730-2_6</a>.","apa":"De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &#38; Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-540-24730-2_6\">https://doi.org/10.1007/978-3-540-24730-2_6</a>","ieee":"L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.","ista":"De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92."},"doi":"10.1007/978-3-540-24730-2_6","acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, the ONR grant N00014-02-1-0671, and the NSF grants CCR-0132780, CCR-9988172, CCR-0225610, and CCR-0234690.","intvolume":"      2988","title":"Model checking discounted temporal properties","quality_controlled":0,"page":"77 - 92","publisher":"Springer","year":"2004","author":[{"first_name":"Luca","last_name":"De Alfaro","full_name":"de Alfaro, Luca"},{"last_name":"Faella","first_name":"Marco","full_name":"Faella, Marco"},{"full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Majumdar, Ritankar S","first_name":"Ritankar","last_name":"Majumdar"},{"last_name":"Stoelinga","first_name":"Mariëlle","full_name":"Stoelinga, Mariëlle"}],"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"day":"18","type":"conference","extern":1,"volume":2988,"date_created":"2018-12-11T12:09:50Z","publication_status":"published"},{"volume":14,"publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2019-03-21T09:42:01Z","oa_version":"None","extern":"1","pmid":1,"issue":"12","year":"2004","author":[{"first_name":"Benny H.H","last_name":"Cheung","full_name":"Cheung, Benny H.H"},{"full_name":"Arellano-Carbajal, Fausto","last_name":"Arellano-Carbajal","first_name":"Fausto"},{"first_name":"Irene","last_name":"Rybicki","full_name":"Rybicki, Irene"},{"orcid":"0000-0001-8347-0443","first_name":"Mario","last_name":"de Bono","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario"}],"day":"22","type":"journal_article","title":"Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior","quality_controlled":"1","page":"1105-1111","publisher":"Elsevier","citation":{"ieee":"B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” <i>Current Biology</i>, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.","ista":"Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. 2004. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 14(12), 1105–1111.","chicago":"Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” <i>Current Biology</i>. Elsevier, 2004. <a href=\"https://doi.org/10.1016/j.cub.2004.06.027\">https://doi.org/10.1016/j.cub.2004.06.027</a>.","ama":"Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. <i>Current Biology</i>. 2004;14(12):1105-1111. doi:<a href=\"https://doi.org/10.1016/j.cub.2004.06.027\">10.1016/j.cub.2004.06.027</a>","short":"B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.","apa":"Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., &#38; de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2004.06.027\">https://doi.org/10.1016/j.cub.2004.06.027</a>","mla":"Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” <i>Current Biology</i>, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:<a href=\"https://doi.org/10.1016/j.cub.2004.06.027\">10.1016/j.cub.2004.06.027</a>."},"abstract":[{"lang":"eng","text":"The genome of the nematode Caenorhabditis elegans encodes seven soluble guanylate cyclases (sGCs) [1]. In mammals, sGCs function as α/β heterodimers activated by gaseous ligands binding to a haem prosthetic group 2, 3. The principal activator is nitric oxide, which acts through sGCs to regulate diverse cellular events. In C. elegans the function of sGCs is mysterious: the worm genome does not appear to encode nitric oxide synthase, and all C. elegans sGC subunits are more closely related to mammalian β than α subunits [1]. Here, we show that two of the seven C. elegans sGCs, GCY-35 and GCY-36, promote aggregation behavior. gcy-35 and gcy-36 are expressed in a small number of neurons. These include the body cavity neurons AQR, PQR, and URX, which are directly exposed to the blood equivalent of C. elegans and regulate aggregation behavior [4]. We show that GCY-35 and GCY-36 act as α-like and β-like sGC subunits and that their function in the URX sensory neurons is sufficient for strong nematode aggregation. Neither GCY-35 nor GCY-36 is absolutely required for C. elegans to aggregate. Instead, these molecules may transduce one of several pathways that induce C. elegans to aggregate or may modulate aggregation by responding to cues in C. elegans body fluid."}],"language":[{"iso":"eng"}],"doi":"10.1016/j.cub.2004.06.027","intvolume":"        14","month":"06","date_updated":"2021-01-12T08:06:25Z","publication_identifier":{"issn":["0960-9822"]},"status":"public","external_id":{"pmid":["15203005"]},"publication":"Current Biology","date_published":"2004-06-22T00:00:00Z","_id":"6155"},{"title":"Hodge cohomology of gravitational instantons","quality_controlled":0,"page":"485 - 548","oa":1,"main_file_link":[{"url":"http://arxiv.org/abs/math/0207169","open_access":"1"}],"publisher":"Duke University Press","abstract":[{"lang":"eng","text":"We study the space of L2 harmonic forms on complete manifolds with metrics of fibred boundary or fibred cusp type. These metrics generalize the geometric structures at infinity of several different well-known classes of metrics, including asymptotically locally Euclidean manifolds, the (known types of) gravitational instantons, and also Poincaré metrics on ℚ-rank 1 ends of locally symmetric spaces and on the complements of smooth divisors in Kähler manifolds. The answer in all cases is given in terms of intersection cohomology of a stratified compactification of the manifold. The L2 signature formula implied by our result is closely related to the one proved by Dai and more generally by Vaillant and identifies Dai's τ-invariant directly in terms of intersection cohomology of differing perversities. This work is also closely related to a recent paper of Carron and the forthcoming paper of Cheeger and Dai. We apply our results to a number of examples, gravitational instantons among them, arising in predictions about L2 harmonic forms in duality theories in string theory."}],"citation":{"short":"T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.","ama":"Hausel T, Hunsicker E, Mazzeo R. Hodge cohomology of gravitational instantons. <i>Duke Mathematical Journal</i>. 2004;122(3):485-548. doi:<a href=\"https://doi.org/10.1215/S0012-7094-04-12233-X\">10.1215/S0012-7094-04-12233-X</a>","chicago":"Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.” <i>Duke Mathematical Journal</i>. Duke University Press, 2004. <a href=\"https://doi.org/10.1215/S0012-7094-04-12233-X\">https://doi.org/10.1215/S0012-7094-04-12233-X</a>.","mla":"Hausel, Tamás, et al. “Hodge Cohomology of Gravitational Instantons.” <i>Duke Mathematical Journal</i>, vol. 122, no. 3, Duke University Press, 2004, pp. 485–548, doi:<a href=\"https://doi.org/10.1215/S0012-7094-04-12233-X\">10.1215/S0012-7094-04-12233-X</a>.","apa":"Hausel, T., Hunsicker, E., &#38; Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. <i>Duke Mathematical Journal</i>. Duke University Press. <a href=\"https://doi.org/10.1215/S0012-7094-04-12233-X\">https://doi.org/10.1215/S0012-7094-04-12233-X</a>","ieee":"T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” <i>Duke Mathematical Journal</i>, vol. 122, no. 3. Duke University Press, pp. 485–548, 2004.","ista":"Hausel T, Hunsicker E, Mazzeo R. 2004. Hodge cohomology of gravitational instantons. Duke Mathematical Journal. 122(3), 485–548."},"doi":"10.1215/S0012-7094-04-12233-X","acknowledgement":"Hausel’s work supported by a Miller Research Fellowship at the University of California, Berkeley.\nHunsicker’s work partially supported by Stanford University.\nMazzeo’s work supported by National Science Foundation grant numbers DMS-991975 and DMS-0204730 and\nby the Mathematical Sciences Research Institute.","intvolume":"       122","month":"04","date_updated":"2021-01-12T06:50:52Z","status":"public","publication":"Duke Mathematical Journal","publist_id":"5737","date_published":"2004-04-15T00:00:00Z","_id":"1456","volume":122,"date_created":"2018-12-11T11:52:08Z","publication_status":"published","extern":1,"issue":"3","year":"2004","author":[{"full_name":"Tamas Hausel","first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hunsicker, Eugénie","first_name":"Eugénie","last_name":"Hunsicker"},{"full_name":"Mazzeo, Rafe R","last_name":"Mazzeo","first_name":"Rafe"}],"day":"15","type":"journal_article"}]