[{"publication_status":"published","month":"08","abstract":[{"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 λ.","lang":"eng"}],"issue":"2","date_published":"2004-08-01T00:00:00Z","publisher":"American Physical Society","volume":70,"title":"Bose-Einstein quantum phase transition in an optical lattice model","quality_controlled":0,"extern":1,"date_updated":"2021-01-12T06:57:01Z","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.","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>","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>","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.","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>.","short":"M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2."},"author":[{"full_name":"Aizenman, Michael","last_name":"Aizenman","first_name":"Michael"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Robert Seiringer","last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521"},{"full_name":"Solovej, Jan P","first_name":"Jan","last_name":"Solovej"},{"full_name":"Yngvason, Jakob","last_name":"Yngvason","first_name":"Jakob"}],"publist_id":"4567","intvolume":"        70","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","date_created":"2018-12-11T11:57:12Z","oa":1,"type":"journal_article","_id":"2360","page":"023612 - 1-0236121-2","doi":"10.1103/PhysRevA.70.023612","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/cond-mat/0403240"}],"year":"2004","day":"01","status":"public"},{"title":"Convex quadrilaterals and k-sets ","volume":342,"publisher":"American Mathematical Society","date_published":"2004-01-01T00:00:00Z","publication_status":"published","month":"01","alternative_title":["Contemporary Mathematics "],"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"},{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Uli Wagner","last_name":"Wagner","first_name":"Uli","orcid":"0000-0002-1494-0568"},{"last_name":"Welzl","first_name":"Emo","full_name":"Welzl, Emo"}],"citation":{"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>.","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.","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>","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.","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>.","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>","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."},"date_updated":"2021-01-12T06:57:21Z","extern":1,"quality_controlled":0,"publication":"Towards a Theory of Geometric Graphs","intvolume":"       342","publist_id":"4508","editor":[{"last_name":"Pach","first_name":"János","full_name":"Pach, János"}],"day":"01","doi":"10.1090/conm/342","page":"139 - 148","status":"public","year":"2004","type":"book_chapter","_id":"2417","date_created":"2018-12-11T11:57:32Z"},{"type":"journal_article","_id":"2425","date_created":"2018-12-11T11:57:35Z","doi":"10.1007/s00454-004-1116-4","page":"195 - 206","day":"01","status":"public","year":"2004","publication":"Discrete & Computational Geometry","intvolume":"        32","publist_id":"4500","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.","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>.","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>","ista":"Matoušek J, Wagner U. 2004. New constructions of weak ε-nets. Discrete &#38; Computational Geometry. 32(2), 195–206.","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>","short":"J. Matoušek, U. Wagner, Discrete &#38; Computational Geometry 32 (2004) 195–206.","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>."},"date_updated":"2021-01-12T06:57:24Z","extern":1,"quality_controlled":0,"author":[{"first_name":"Jiří","last_name":"Matoušek","full_name":"Matoušek, Jiří"},{"orcid":"0000-0002-1494-0568","last_name":"Wagner","first_name":"Uli","full_name":"Uli Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"issue":"2","abstract":[{"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/ε)).","lang":"eng"}],"publication_status":"published","month":"07","volume":32,"title":"New constructions of weak ε-nets","publisher":"Springer","date_published":"2004-07-01T00:00:00Z"},{"date_created":"2018-12-11T11:57:35Z","type":"journal_article","_id":"2426","year":"2004","status":"public","day":"01","page":"245 - 267","doi":"10.1007/s00454-004-1120-8","intvolume":"        32","publist_id":"4499","publication":"Discrete & Computational Geometry","date_updated":"2021-01-12T06:57:25Z","quality_controlled":0,"extern":1,"citation":{"short":"J. Giesen, U. Wagner, Discrete &#38; Computational Geometry 32 (2004) 245–267.","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>.","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>","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>","ista":"Giesen J, Wagner U. 2004. Shape dimension and intrinsic metric from samples of manifolds. Discrete &#38; Computational Geometry. 32(2), 245–267."},"author":[{"full_name":"Giesen, Joachim","last_name":"Giesen","first_name":"Joachim"},{"orcid":"0000-0002-1494-0568","first_name":"Uli","last_name":"Wagner","full_name":"Uli Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"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."}],"publication_status":"published","month":"09","issue":"2","date_published":"2004-09-01T00:00:00Z","publisher":"Springer","volume":32,"title":"Shape dimension and intrinsic metric from samples of manifolds"},{"issue":"3","month":"08","publication_status":"published","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."}],"volume":4,"title":"Modular stack-internal air humidification concept-verification in a 1 kW stack","article_processing_charge":"No","publisher":"Wiley","date_published":"2004-08-01T00:00:00Z","language":[{"iso":"eng"}],"citation":{"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>","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>.","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.","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>","short":"M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.","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>."},"oa_version":"None","extern":"1","quality_controlled":"1","date_updated":"2021-01-12T08:13:08Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Santis, M.","first_name":"M.","last_name":"Santis"},{"last_name":"Schmid","first_name":"D.","full_name":"Schmid, D."},{"last_name":"Ruge","first_name":"M.","full_name":"Ruge, M."},{"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":"F.N.","full_name":"Büchi, F.N."}],"publication":"Fuel Cells","intvolume":"         4","article_type":"original","_id":"7333","type":"journal_article","date_created":"2020-01-15T12:24:14Z","publication_identifier":{"issn":["1615-6846","1615-6854"]},"doi":"10.1002/fuce.200400028","day":"01","page":"214-218","year":"2004","status":"public"},{"intvolume":"        58","publication":"CHIMIA International Journal for Chemistry","date_created":"2020-01-15T12:24:23Z","article_type":"original","_id":"7334","type":"journal_article","publication_identifier":{"issn":["0009-4293"]},"doi":"10.2533/000942904777677029","status":"public","page":"857-868","year":"2004","day":"01","publication_status":"published","month":"12","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. "}],"issue":"12","date_published":"2004-12-01T00:00:00Z","publisher":"Swiss Chemical Society","language":[{"iso":"eng"}],"volume":58,"title":"Fuel cell modeling and simulations","article_processing_charge":"No","extern":"1","quality_controlled":"1","date_updated":"2021-01-12T08:13:09Z","citation":{"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.","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>.","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>","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>","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>.","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."},"oa_version":"None","author":[{"first_name":"John","last_name":"Mantzaras","full_name":"Mantzaras, John"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","last_name":"Freunberger"},{"full_name":"Büchi, Felix N.","first_name":"Felix N.","last_name":"Büchi"},{"full_name":"Roos, Markus","first_name":"Markus","last_name":"Roos"},{"full_name":"Brandstätter, Wilhelm","last_name":"Brandstätter","first_name":"Wilhelm"},{"full_name":"Prestat, Michel","last_name":"Prestat","first_name":"Michel"},{"full_name":"Gauckler, Ludwig J.","last_name":"Gauckler","first_name":"Ludwig J."},{"full_name":"Andreaus, Bernhard","last_name":"Andreaus","first_name":"Bernhard"},{"full_name":"Hajbolouri, Faegheh","first_name":"Faegheh","last_name":"Hajbolouri"},{"full_name":"Senn, Stephan M.","first_name":"Stephan M.","last_name":"Senn"},{"first_name":"Dimos","last_name":"Poulikakos","full_name":"Poulikakos, Dimos"},{"full_name":"Chaniotis, Andreas K.","first_name":"Andreas K.","last_name":"Chaniotis"},{"last_name":"Larrain","first_name":"Diego","full_name":"Larrain, Diego"},{"first_name":"Nordahl","last_name":"Autissier","full_name":"Autissier, Nordahl"},{"full_name":"Maréchal, François","last_name":"Maréchal","first_name":"François"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"author":[{"last_name":"Brunet","first_name":"Anne","full_name":"Brunet, Anne"},{"id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","full_name":"Sweeney, Lora Beatrice Jaeger","first_name":"Lora Beatrice Jaeger","last_name":"Sweeney","orcid":"0000-0001-9242-5601"},{"full_name":"Sturgill, J Fitzhugh ","last_name":"Sturgill","first_name":"J Fitzhugh "},{"last_name":"Chua","first_name":"Katrin","full_name":"Chua, Katrin"},{"last_name":"Greer","first_name":"Paul","full_name":"Greer, Paul"},{"last_name":"Lin","first_name":"Yingxi","full_name":"Lin, Yingxi"},{"full_name":"Tran, Hien","first_name":"Hien","last_name":"Tran"},{"full_name":"Ross, Sarah","last_name":"Ross","first_name":"Sarah"},{"full_name":"Mostoslavsky, Raul","last_name":"Mostoslavsky","first_name":"Raul"},{"full_name":"Cohen, Haim","last_name":"Cohen","first_name":"Haim"},{"full_name":"Hu, Linda","first_name":"Linda","last_name":"Hu"},{"full_name":"Chen, Hwei-Ling","last_name":"Chen","first_name":"Hwei-Ling"},{"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","first_name":"Frederick","last_name":"Alt"},{"full_name":"Greenberg, Michael","first_name":"Michael","last_name":"Greenberg"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-01-31T10:14:17Z","extern":"1","quality_controlled":"1","citation":{"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.","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>.","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>","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.","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>.","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."},"oa_version":"None","publisher":"American Association for the Advancement of Science","date_published":"2004-03-26T00:00:00Z","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":303,"title":"Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase","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."}],"month":"03","publication_status":"published","issue":"5666","status":"public","day":"26","year":"2004","publication_identifier":{"issn":["0036-8075","1095-9203"]},"page":"2011-2015","doi":"10.1126/science.1094637","date_created":"2020-04-30T10:37:41Z","_id":"7706","type":"journal_article","article_type":"original","intvolume":"       303","publication":"Science"},{"date_created":"2018-12-11T12:09:34Z","_id":"4577","type":"conference","acknowledgement":"This research was supported in part by the NSF grants CCR-0085949, CCR-0234690, and ITR-0326577.","page":"251 - 255","doi":"10.1109/WPC.2004.1311069  ","status":"public","year":"2004","day":"12","publist_id":"129","conference":{"name":"IWPC: Program Comprehension"},"extern":1,"quality_controlled":0,"date_updated":"2021-01-12T07:59:50Z","citation":{"short":"D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.","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>","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>","ista":"Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.","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>.","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."},"author":[{"full_name":"Beyer, Dirk","last_name":"Beyer","first_name":"Dirk"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger","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"}],"month":"07","publication_status":"published","abstract":[{"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.","lang":"eng"}],"publisher":"IEEE","date_published":"2004-07-12T00:00:00Z","title":"An eclipse plug-in for model checking"},{"abstract":[{"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. ","lang":"eng"}],"month":"08","publication_status":"published","volume":3148,"title":"The BLAST query language for software verification","publisher":"Springer","date_published":"2004-08-17T00:00:00Z","citation":{"short":"D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, 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>.","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.","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>.","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.","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>","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>"},"date_updated":"2021-01-12T07:59:50Z","quality_controlled":0,"extern":1,"alternative_title":["LNCS"],"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","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Jhala, Ranjit","last_name":"Jhala","first_name":"Ranjit"},{"full_name":"Majumdar, Ritankar S","last_name":"Majumdar","first_name":"Ritankar"}],"intvolume":"      3148","publist_id":"130","conference":{"name":"SAS: Static Analysis Symposium"},"type":"conference","_id":"4578","date_created":"2018-12-11T12:09:34Z","doi":"10.1007/978-3-540-27864-1_2","page":"2 - 18","status":"public","day":"17","year":"2004","acknowledgement":"This research was supported in part by the NSF grants CCR-0085949, CCR-0234690, and ITR-0326577."},{"_id":"4581","type":"conference","date_created":"2018-12-11T12:09:35Z","status":"public","page":"326 - 335","year":"2004","day":"26","doi":"10.1109/ICSE.2004.1317455","conference":{"name":"ICSE: Software Engineering"},"publist_id":"128","citation":{"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.","ista":"Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.","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>.","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>","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>.","short":"D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335."},"date_updated":"2021-01-12T07:59:52Z","quality_controlled":0,"extern":1,"author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"full_name":"Chlipala, Adam J","last_name":"Chlipala","first_name":"Adam"},{"full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Jhala","first_name":"Ranjit","full_name":"Jhala, Ranjit"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar S"}],"abstract":[{"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).","lang":"eng"}],"publication_status":"published","month":"07","title":"Generating tests from counterexamples","publisher":"IEEE","date_published":"2004-07-26T00:00:00Z"},{"alternative_title":["LNCS"],"author":[{"full_name":"de Alfaro, Luca","last_name":"De Alfaro","first_name":"Luca"},{"last_name":"Faella","first_name":"Marco","full_name":"Faella, Marco"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar S"},{"last_name":"Stoelinga","first_name":"Mariëlle","full_name":"Stoelinga, Mariëlle"}],"citation":{"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>.","short":"L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.","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.","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>","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>.","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>","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."},"date_updated":"2021-01-12T08:00:38Z","extern":1,"quality_controlled":0,"volume":2988,"title":"Model checking discounted temporal properties","date_published":"2004-03-18T00:00:00Z","publisher":"Springer","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"}],"publication_status":"published","month":"03","status":"public","day":"18","doi":"10.1007/978-3-540-24730-2_6","year":"2004","page":"77 - 92","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.","type":"conference","_id":"4629","date_created":"2018-12-11T12:09:50Z","intvolume":"      2988","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"publist_id":"79"},{"year":"2004","day":"22","status":"public","page":"1105-1111","publication_identifier":{"issn":["0960-9822"]},"doi":"10.1016/j.cub.2004.06.027","_id":"6155","type":"journal_article","date_created":"2019-03-21T09:42:01Z","publication":"Current Biology","intvolume":"        14","external_id":{"pmid":["15203005"]},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","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"},{"last_name":"de Bono","first_name":"Mario","orcid":"0000-0001-8347-0443","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario"}],"oa_version":"None","citation":{"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>","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>","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>.","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.","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.","short":"B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.","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>."},"extern":"1","quality_controlled":"1","date_updated":"2021-01-12T08:06:25Z","volume":14,"title":"Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior","pmid":1,"date_published":"2004-06-22T00:00:00Z","language":[{"iso":"eng"}],"publisher":"Elsevier","issue":"12","month":"06","publication_status":"published","abstract":[{"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.","lang":"eng"}]},{"day":"15","year":"2004","page":"485 - 548","status":"public","doi":"10.1215/S0012-7094-04-12233-X","main_file_link":[{"url":"http://arxiv.org/abs/math/0207169","open_access":"1"}],"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.","_id":"1456","type":"journal_article","date_created":"2018-12-11T11:52:08Z","oa":1,"publication":"Duke Mathematical Journal","intvolume":"       122","publist_id":"5737","author":[{"last_name":"Hausel","first_name":"Tamas","full_name":"Tamas Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hunsicker","first_name":"Eugénie","full_name":"Hunsicker, Eugénie"},{"full_name":"Mazzeo, Rafe R","last_name":"Mazzeo","first_name":"Rafe"}],"citation":{"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>.","short":"T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.","ista":"Hausel T, Hunsicker E, Mazzeo R. 2004. Hodge cohomology of gravitational instantons. Duke Mathematical Journal. 122(3), 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>.","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."},"date_updated":"2021-01-12T06:50:52Z","quality_controlled":0,"extern":1,"volume":122,"title":"Hodge cohomology of gravitational instantons","date_published":"2004-04-15T00:00:00Z","publisher":"Duke University Press","issue":"3","abstract":[{"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.","lang":"eng"}],"publication_status":"published","month":"04"},{"citation":{"mla":"Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” <i>Proceedings of the London Mathematical Society</i>, vol. 88, no. 3, Oxford University Press, 2004, pp. 632–58, doi:<a href=\"https://doi.org/10.1112/S0024611503014618\">10.1112/S0024611503014618</a>.","short":"T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.","ieee":"T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” <i>Proceedings of the London Mathematical Society</i>, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.","chicago":"Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” <i>Proceedings of the London Mathematical Society</i>. Oxford University Press, 2004. <a href=\"https://doi.org/10.1112/S0024611503014618\">https://doi.org/10.1112/S0024611503014618</a>.","ista":"Hausel T, Thaddeus M. 2004. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 88(3), 632–658.","ama":"Hausel T, Thaddeus M. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. <i>Proceedings of the London Mathematical Society</i>. 2004;88(3):632-658. doi:<a href=\"https://doi.org/10.1112/S0024611503014618\">10.1112/S0024611503014618</a>","apa":"Hausel, T., &#38; Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. <i>Proceedings of the London Mathematical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1112/S0024611503014618\">https://doi.org/10.1112/S0024611503014618</a>"},"date_updated":"2021-01-12T06:50:55Z","extern":1,"quality_controlled":0,"author":[{"first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Tamas Hausel"},{"full_name":"Thaddeus, Michael","last_name":"Thaddeus","first_name":"Michael"}],"issue":"3","abstract":[{"text":"The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah and Bott asserts that its rational cohomology ring is generated by the universal classes, that is, by the Kunneth components of the Chern classes of the universal bundle.\n\nThis paper studies the larger, non-compact moduli space of Higgs bundles, as introduced by Hitchin and Simpson, with values in the canonical bundle K. This is diffeomorphic to the space of all connections of central constant curvature, whether unitary or not. The main result of the paper is that, in the rank 2 case, the rational cohomology ring of this space is again generated by universal classes.\n\nThe spaces of Higgs bundles with values in K(n) for n &gt; 0 turn out to be essential to the story. Indeed, we show that their direct limit has the homotopy type of the classifying space of the gauge group, and hence has cohomology generated by universal classes. 2000 Mathematics Subject Classification 14H60 (primary), 14D20, 14H81, 32Q55, 58D27 (secondary). ","lang":"eng"}],"publication_status":"published","month":"05","volume":88,"title":"Generators for the cohomology ring of the moduli space of rank 2 higgs bundles","publisher":"Oxford University Press","date_published":"2004-05-01T00:00:00Z","type":"journal_article","_id":"1464","oa":1,"date_created":"2018-12-11T11:52:10Z","status":"public","year":"2004","day":"01","doi":"10.1112/S0024611503014618","page":"632 - 658","main_file_link":[{"url":"http://arxiv.org/abs/math/0003093","open_access":"1"}],"publication":"Proceedings of the London Mathematical Society","intvolume":"        88","publist_id":"5736"},{"status":"public","publication_identifier":{"eissn":["1521-4095"],"issn":["0935-9648"]},"date_created":"2023-08-01T10:39:09Z","article_type":"original","type":"journal_article","_id":"13434","author":[{"last_name":"Campbell","first_name":"C. J.","full_name":"Campbell, C. J."},{"full_name":"Fialkowski, M.","first_name":"M.","last_name":"Fialkowski"},{"last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"},{"first_name":"I. T.","last_name":"Bensemann","full_name":"Bensemann, I. T."},{"first_name":"B. A.","last_name":"Grzybowski","full_name":"Grzybowski, B. A."}],"quality_controlled":"1","oa_version":"None","language":[{"iso":"eng"}],"volume":16,"article_processing_charge":"No","month":"11","issue":"21","page":"1912-1917","doi":"10.1002/adma.200400383","day":"14","year":"2004","intvolume":"        16","publication":"Advanced Materials","keyword":["Mechanical Engineering","Mechanics of Materials","General Materials Science"],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2023-08-08T12:41:23Z","citation":{"ieee":"C. J. Campbell, M. Fialkowski, R. Klajn, I. T. Bensemann, and B. A. Grzybowski, “Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts,” <i>Advanced Materials</i>, vol. 16, no. 21. Wiley, pp. 1912–1917, 2004.","apa":"Campbell, C. J., Fialkowski, M., Klajn, R., Bensemann, I. T., &#38; Grzybowski, B. A. (2004). Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. <i>Advanced Materials</i>. Wiley. <a href=\"https://doi.org/10.1002/adma.200400383\">https://doi.org/10.1002/adma.200400383</a>","ista":"Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. 2004. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 16(21), 1912–1917.","ama":"Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. <i>Advanced Materials</i>. 2004;16(21):1912-1917. doi:<a href=\"https://doi.org/10.1002/adma.200400383\">10.1002/adma.200400383</a>","chicago":"Campbell, C. J., M. Fialkowski, Rafal Klajn, I. T. Bensemann, and B. A. Grzybowski. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.” <i>Advanced Materials</i>. Wiley, 2004. <a href=\"https://doi.org/10.1002/adma.200400383\">https://doi.org/10.1002/adma.200400383</a>.","short":"C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.","mla":"Campbell, C. J., et al. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.” <i>Advanced Materials</i>, vol. 16, no. 21, Wiley, 2004, pp. 1912–17, doi:<a href=\"https://doi.org/10.1002/adma.200400383\">10.1002/adma.200400383</a>."},"publisher":"Wiley","date_published":"2004-11-14T00:00:00Z","title":"Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts","publication_status":"published","abstract":[{"text":"Thin films of ionically doped gelatin have been color-patterned with submicrometer precision using the wet-stamping technique. Inorganic salts are delivered onto the gelatin surface from an agarose stamp, and diffuse into the gelatine layer, producting deeply colored precipitates. Reaction fronts originating from different features of the stamp cease within < 1 μm of each other, leaving sharp, transparent regions in between.","lang":"eng"}]},{"external_id":{"pmid":["15378052"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2023-08-08T12:42:51Z","citation":{"short":"R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.","mla":"Klajn, Rafal, et al. “Multicolour Micropatterning of Thin Films of Dry Gels.” <i>Nature Materials</i>, vol. 3, Springer Nature, 2004, pp. 729–35, doi:<a href=\"https://doi.org/10.1038/nmat1231\">10.1038/nmat1231</a>.","ieee":"R. Klajn <i>et al.</i>, “Multicolour micropatterning of thin films of dry gels,” <i>Nature Materials</i>, vol. 3. Springer Nature, pp. 729–735, 2004.","chicago":"Klajn, Rafal, Marcin Fialkowski, Igor T. Bensemann, Agnieszka Bitner, C. J. Campbell, Kyle Bishop, Stoyan Smoukov, and Bartosz A. Grzybowski. “Multicolour Micropatterning of Thin Films of Dry Gels.” <i>Nature Materials</i>. Springer Nature, 2004. <a href=\"https://doi.org/10.1038/nmat1231\">https://doi.org/10.1038/nmat1231</a>.","ista":"Klajn R, Fialkowski M, Bensemann IT, Bitner A, Campbell CJ, Bishop K, Smoukov S, Grzybowski BA. 2004. Multicolour micropatterning of thin films of dry gels. Nature Materials. 3, 729–735.","ama":"Klajn R, Fialkowski M, Bensemann IT, et al. Multicolour micropatterning of thin films of dry gels. <i>Nature Materials</i>. 2004;3:729-735. doi:<a href=\"https://doi.org/10.1038/nmat1231\">10.1038/nmat1231</a>","apa":"Klajn, R., Fialkowski, M., Bensemann, I. T., Bitner, A., Campbell, C. J., Bishop, K., … Grzybowski, B. A. (2004). Multicolour micropatterning of thin films of dry gels. <i>Nature Materials</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nmat1231\">https://doi.org/10.1038/nmat1231</a>"},"pmid":1,"publisher":"Springer Nature","date_published":"2004-09-19T00:00:00Z","title":"Multicolour micropatterning of thin films of dry gels","publication_status":"published","abstract":[{"text":"Micropatterning of surfaces with several chemicals at different spatial locations usually requires multiple stamping and registration steps. Here, we describe an experimental method based on reaction–diffusion phenomena that allows for simultaneous micropatterning of a substrate with several coloured chemicals. In this method, called wet stamping (WETS), aqueous solutions of two or more inorganic salts are delivered onto a film of dry, ionically doped gelatin from an agarose stamp patterned in bas relief. Once in conformal contact, these salts diffuse into the gelatin, where they react to give deeply coloured precipitates. Separation of colours in the plane of the surface is the consequence of the differences in the diffusion coefficients, the solubility products, and the amounts of different salts delivered from the stamp, and is faithfully reproduced by a theoretical model based on a system of reaction–diffusion partial differential equations. The multicolour micropatterns are useful as non-binary optical elements, and could potentially form the basis of new applications in microseparations and in controlled delivery.","lang":"eng"}],"year":"2004","page":"729-735","doi":"10.1038/nmat1231","day":"19","intvolume":"         3","publication":"Nature Materials","scopus_import":"1","keyword":["Mechanical Engineering","Mechanics of Materials","Condensed Matter Physics","General Materials Science","General Chemistry"],"author":[{"last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"},{"first_name":"Marcin","last_name":"Fialkowski","full_name":"Fialkowski, Marcin"},{"first_name":"Igor T.","last_name":"Bensemann","full_name":"Bensemann, Igor T."},{"first_name":"Agnieszka","last_name":"Bitner","full_name":"Bitner, Agnieszka"},{"full_name":"Campbell, C. J.","first_name":"C. J.","last_name":"Campbell"},{"first_name":"Kyle","last_name":"Bishop","full_name":"Bishop, Kyle"},{"last_name":"Smoukov","first_name":"Stoyan","full_name":"Smoukov, Stoyan"},{"first_name":"Bartosz A.","last_name":"Grzybowski","full_name":"Grzybowski, Bartosz A."}],"quality_controlled":"1","oa_version":"None","language":[{"iso":"eng"}],"volume":3,"article_processing_charge":"No","month":"09","publication_identifier":{"eissn":["1476-4660"],"issn":["1476-1122"]},"status":"public","date_created":"2023-08-01T10:39:23Z","article_type":"original","type":"journal_article","_id":"13435"},{"date_created":"2018-12-11T11:49:06Z","_id":"902","type":"journal_article","acknowledgement":"We thank all members of the Hartl lab for their friendly support and Guillaume Achaz for valuable comments. We also thank the Sanger Institute and the Genome Sequencing Center at Wash- ington University, St. Louis and Lincoln Stein for providing un- finished C. briggsae sequence. Special thanks to the Bauer Center for Genomics Research at Harvard University and Gordon Kindl- mann at the University of Utah Scientific Computing and Imag- ing Institute for computational resources. R.J.K. is financially supported by a postdoctoral fellowship from the Natural Sciences and Engineering Research Council of Canada.\nThe publication costs of this article were defrayed in part by payment of page charges. This article must therefore be hereby marked “advertisement” in accordance with 18 USC section 1734 solely to indicate this fact.","doi":"10.1101/gr.2195604","day":"01","page":"802 - 811","status":"public","year":"2004","publist_id":"6750","intvolume":"        14","publication":"Genome Research","extern":1,"quality_controlled":0,"date_updated":"2021-01-12T08:21:47Z","citation":{"ieee":"C. Castillo Davis, F. Kondrashov, D. Hartl, and R. Kulathinal, “The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint,” <i>Genome Research</i>, vol. 14, no. 5. Cold Spring Harbor Laboratory Press, pp. 802–811, 2004.","ama":"Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. <i>Genome Research</i>. 2004;14(5):802-811. doi:<a href=\"https://doi.org/10.1101/gr.2195604\">10.1101/gr.2195604</a>","ista":"Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. 2004. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 14(5), 802–811.","chicago":"Castillo Davis, Cristian, Fyodor Kondrashov, Daniel Hartl, and Rob Kulathinal. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.” <i>Genome Research</i>. Cold Spring Harbor Laboratory Press, 2004. <a href=\"https://doi.org/10.1101/gr.2195604\">https://doi.org/10.1101/gr.2195604</a>.","apa":"Castillo Davis, C., Kondrashov, F., Hartl, D., &#38; Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. <i>Genome Research</i>. Cold Spring Harbor Laboratory Press. <a href=\"https://doi.org/10.1101/gr.2195604\">https://doi.org/10.1101/gr.2195604</a>","mla":"Castillo Davis, Cristian, et al. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.” <i>Genome Research</i>, vol. 14, no. 5, Cold Spring Harbor Laboratory Press, 2004, pp. 802–11, doi:<a href=\"https://doi.org/10.1101/gr.2195604\">10.1101/gr.2195604</a>.","short":"C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811."},"author":[{"full_name":"Castillo-Davis, Cristian I","first_name":"Cristian","last_name":"Castillo Davis"},{"last_name":"Kondrashov","first_name":"Fyodor","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","full_name":"Fyodor Kondrashov"},{"first_name":"Daniel","last_name":"Hartl","full_name":"Hartl, Daniel L"},{"last_name":"Kulathinal","first_name":"Rob","full_name":"Kulathinal, Rob J"}],"publication_status":"published","month":"05","abstract":[{"lang":"eng","text":"We compare the functional spectrum of protein evolution in two separate animal lineages with respect to two hypotheses: (1) rates of divergence are distributed similarly among functional classes within both lineages, indicating that selective pressure on the proteome is largely independent of organismic-level biological requirements; and (2) rates of divergence are distributed differently among functional classes within each lineage, indicating species-specific selective regimes impact genome-wide substitutional patterns. Integrating comparative genome sequence with data from tissue-specific expressed-sequence-tag (EST) libraries and detailed database annotations, we find a functional genomic signature of rapid evolution and selective constraint shared between mammalian and nematode lineages despite their extensive morphological and ecological differences and distant common ancestry. In both phyla, we find evidence of accelerated evolution among components of molecular systems involved in coevolutionary change. In mammals, lineage-specific fast evolving genes include those involved in reproduction, immunity, and possibly, maternal-fetal conflict. Likelihood ratio tests provide evidence for positive selection in these rapidly evolving functional categories in mammals. In contrast, slowly evolving genes, in terms of amino acid or insertion/deletion (indel) change, in both phyla are involved in core molecular processes such as transcription, translation, and protein transport. Thus, strong purifying selection appears to act on the same core cellular processes in both mammalian and nematode lineages, whereas positive and/or relaxed selection acts on different biological processes in each lineage."}],"issue":"5","publisher":"Cold Spring Harbor Laboratory Press","date_published":"2004-05-01T00:00:00Z","volume":14,"title":"The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint"},{"day":"27","year":"2004","doi":"10.1126/science.1095989","page":"1336","scopus_import":"1","keyword":["Multidisciplinary"],"publication":"Science","intvolume":"       303","citation":{"short":"S.W.-L. Chan, D. Zilberman,  Zhixin Xie,  Lisa K. Johansen, J.C. Carrington, S.E. Jacobsen, Science 303 (2004) 1336.","mla":"Chan, Simon W. L., et al. “RNA Silencing Genes Control de Novo DNA Methylation.” <i>Science</i>, vol. 303, no. 5662, American Association for the Advancement of Science, 2004, p. 1336, doi:<a href=\"https://doi.org/10.1126/science.1095989\">10.1126/science.1095989</a>.","ieee":"S. W.-L. Chan, D. Zilberman,  Zhixin Xie,  Lisa K. Johansen, J. C. Carrington, and S. E. Jacobsen, “RNA silencing genes control de novo DNA methylation,” <i>Science</i>, vol. 303, no. 5662. American Association for the Advancement of Science, p. 1336, 2004.","apa":"Chan, S. W.-L., Zilberman, D., Xie,  Zhixin, Johansen,  Lisa K., Carrington, J. C., &#38; Jacobsen, S. E. (2004). RNA silencing genes control de novo DNA methylation. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1095989\">https://doi.org/10.1126/science.1095989</a>","ista":"Chan SW-L, Zilberman D, Xie  Zhixin, Johansen  Lisa K., Carrington JC, Jacobsen SE. 2004. RNA silencing genes control de novo DNA methylation. Science. 303(5662), 1336.","ama":"Chan SW-L, Zilberman D, Xie  Zhixin, Johansen  Lisa K., Carrington JC, Jacobsen SE. RNA silencing genes control de novo DNA methylation. <i>Science</i>. 2004;303(5662):1336. doi:<a href=\"https://doi.org/10.1126/science.1095989\">10.1126/science.1095989</a>","chicago":"Chan, Simon W.-L., Daniel Zilberman,  Zhixin Xie,  Lisa K. Johansen, James C. Carrington, and Steven E. Jacobsen. “RNA Silencing Genes Control de Novo DNA Methylation.” <i>Science</i>. American Association for the Advancement of Science, 2004. <a href=\"https://doi.org/10.1126/science.1095989\">https://doi.org/10.1126/science.1095989</a>."},"department":[{"_id":"DaZi"}],"extern":"1","date_updated":"2021-12-14T09:13:53Z","external_id":{"pmid":["14988555"]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"published","title":"RNA silencing genes control de novo DNA methylation","pmid":1,"date_published":"2004-02-27T00:00:00Z","publisher":"American Association for the Advancement of Science","article_type":"original","type":"journal_article","_id":"9454","date_created":"2021-06-04T11:12:35Z","publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"status":"public","oa_version":"None","quality_controlled":"1","author":[{"full_name":"Chan, Simon W.-L.","last_name":"Chan","first_name":"Simon W.-L."},{"full_name":"Zilberman, Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","orcid":"0000-0002-0123-8649","last_name":"Zilberman","first_name":"Daniel"},{"full_name":"Xie,  Zhixin","first_name":" Zhixin","last_name":"Xie"},{"full_name":"Johansen,  Lisa K.","first_name":" Lisa K.","last_name":"Johansen"},{"full_name":"Carrington, James C.","first_name":"James C.","last_name":"Carrington"},{"full_name":"Jacobsen, Steven E.","last_name":"Jacobsen","first_name":"Steven E."}],"issue":"5662","month":"02","volume":303,"article_processing_charge":"No","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"article_processing_charge":"No","volume":14,"month":"07","issue":"13","author":[{"orcid":"0000-0002-0123-8649","last_name":"Zilberman","first_name":"Daniel","full_name":"Zilberman, Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"},{"full_name":"Cao, Xiaofeng","first_name":"Xiaofeng","last_name":"Cao"},{"full_name":"Johansen, Lisa K.","last_name":"Johansen","first_name":"Lisa K."},{"first_name":"Zhixin","last_name":"Xie","full_name":"Xie, Zhixin"},{"full_name":"Carrington, James C.","last_name":"Carrington","first_name":"James C."},{"full_name":"Jacobsen, Steven E.","last_name":"Jacobsen","first_name":"Steven E."}],"quality_controlled":"1","oa_version":"Published Version","status":"public","publication_identifier":{"issn":["0960-9822"],"eissn":["1879-0445"]},"main_file_link":[{"url":"https://doi.org/10.1016/j.cub.2004.06.055","open_access":"1"}],"date_created":"2021-06-07T10:33:00Z","type":"journal_article","_id":"9493","article_type":"original","publisher":"Elsevier","date_published":"2004-07-13T00:00:00Z","pmid":1,"title":"Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats","abstract":[{"lang":"eng","text":"In a number of organisms, transgenes containing transcribed inverted repeats (IRs) that produce hairpin RNA can trigger RNA-mediated silencing, which is associated with 21-24 nucleotide small interfering RNAs (siRNAs). In plants, IR-driven RNA silencing also causes extensive cytosine methylation of homologous DNA in both the transgene \"trigger\" and any other homologous DNA sequences--\"targets\". Endogenous genomic sequences, including transposable elements and repeated elements, are also subject to RNA-mediated silencing. The RNA silencing gene ARGONAUTE4 (AGO4) is required for maintenance of DNA methylation at several endogenous loci and for the establishment of methylation at the FWA gene. Here, we show that mutation of AGO4 substantially reduces the maintenance of DNA methylation triggered by IR transgenes, but AGO4 loss-of-function does not block the initiation of DNA methylation by IRs. AGO4 primarily affects non-CG methylation of the target sequences, while the IR trigger sequences lose methylation in all sequence contexts. Finally, we find that AGO4 and the DRM methyltransferase genes are required for maintenance of siRNAs at a subset of endogenous sequences, but AGO4 is not required for the accumulation of IR-induced siRNAs or a number of endogenous siRNAs, suggesting that AGO4 may function downstream of siRNA production."}],"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","external_id":{"pmid":["15242620 "]},"date_updated":"2021-12-14T08:52:00Z","extern":"1","department":[{"_id":"DaZi"}],"citation":{"ieee":"D. Zilberman, X. Cao, L. K. Johansen, Z. Xie, J. C. Carrington, and S. E. Jacobsen, “Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats,” <i>Current Biology</i>, vol. 14, no. 13. Elsevier, pp. 1214–1220, 2004.","apa":"Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., &#38; Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2004.06.055\">https://doi.org/10.1016/j.cub.2004.06.055</a>","ama":"Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. <i>Current Biology</i>. 2004;14(13):1214-1220. doi:<a href=\"https://doi.org/10.1016/j.cub.2004.06.055\">10.1016/j.cub.2004.06.055</a>","ista":"Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. 2004. Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 14(13), 1214–1220.","chicago":"Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” <i>Current Biology</i>. Elsevier, 2004. <a href=\"https://doi.org/10.1016/j.cub.2004.06.055\">https://doi.org/10.1016/j.cub.2004.06.055</a>.","mla":"Zilberman, Daniel, et al. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” <i>Current Biology</i>, vol. 14, no. 13, Elsevier, 2004, pp. 1214–20, doi:<a href=\"https://doi.org/10.1016/j.cub.2004.06.055\">10.1016/j.cub.2004.06.055</a>.","short":"D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220."},"intvolume":"        14","publication":"Current Biology","scopus_import":"1","doi":"10.1016/j.cub.2004.06.055","page":"1214-1220","year":"2004","day":"13","oa":1},{"article_processing_charge":"No","volume":5,"language":[{"iso":"eng"}],"issue":"12","article_number":"249","month":"11","author":[{"orcid":"0000-0002-0123-8649","first_name":"Daniel","last_name":"Zilberman","full_name":"Zilberman, Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"},{"first_name":"Steven","last_name":"Henikoff","full_name":"Henikoff, Steven"}],"oa_version":"Published Version","quality_controlled":"1","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1186/gb-2004-5-12-249"}],"publication_identifier":{"eissn":["1465-6906"],"issn":["1474-760X"]},"type":"journal_article","_id":"9511","article_type":"review","date_created":"2021-06-07T12:58:06Z","title":"Silencing of transposons in plant genomes: kick them when they're down","publisher":"Springer Nature","date_published":"2004-11-16T00:00:00Z","pmid":1,"abstract":[{"lang":"eng","text":"Recent progress in understanding the silencing of transposable elements in the model plant Arabidopsis has revealed an interplay between DNA methylation, histone methylation and small interfering RNAs. DNA and histone methylation are not always sufficient to maintain silencing, and RNA-based reinforcement can be needed to maintain as well as initiate it."}],"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","external_id":{"pmid":["15575975"]},"citation":{"short":"D. Zilberman, S. Henikoff, Genome Biology 5 (2004).","mla":"Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.” <i>Genome Biology</i>, vol. 5, no. 12, 249, Springer Nature, 2004, doi:<a href=\"https://doi.org/10.1186/gb-2004-5-12-249\">10.1186/gb-2004-5-12-249</a>.","ieee":"D. Zilberman and S. Henikoff, “Silencing of transposons in plant genomes: kick them when they’re down,” <i>Genome Biology</i>, vol. 5, no. 12. Springer Nature, 2004.","apa":"Zilberman, D., &#38; Henikoff, S. (2004). Silencing of transposons in plant genomes: kick them when they’re down. <i>Genome Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1186/gb-2004-5-12-249\">https://doi.org/10.1186/gb-2004-5-12-249</a>","ista":"Zilberman D, Henikoff S. 2004. Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. 5(12), 249.","chicago":"Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.” <i>Genome Biology</i>. Springer Nature, 2004. <a href=\"https://doi.org/10.1186/gb-2004-5-12-249\">https://doi.org/10.1186/gb-2004-5-12-249</a>.","ama":"Zilberman D, Henikoff S. Silencing of transposons in plant genomes: kick them when they’re down. <i>Genome Biology</i>. 2004;5(12). doi:<a href=\"https://doi.org/10.1186/gb-2004-5-12-249\">10.1186/gb-2004-5-12-249</a>"},"date_updated":"2021-12-14T08:44:24Z","department":[{"_id":"DaZi"}],"extern":"1","publication":"Genome Biology","intvolume":"         5","scopus_import":"1","year":"2004","day":"16","doi":"10.1186/gb-2004-5-12-249","oa":1}]