[{"publisher":"Springer","status":"public","type":"journal_article","date_published":"2004-08-19T00:00:00Z","page":"275 - 278","extern":"1","volume":51,"month":"08","oa_version":"None","day":"19","abstract":[{"text":"Wingless (ergatoid) males of the tramp ant Cardiocondyla minutior attack and kill their young ergatoid rivals and thus attempt to monopolize mating with female sexuals reared in the colony. Because of the different strength of local mate competition in colonies with one or several reproductive queens, we expected the production of new ergatoid males to vary with queen number. Sex ratios were mostly female-biased, but in contrast to the sympatric species C. obscurior (Cremer and Heinze, 2002) neither the percentage of ergatoid males nor of female sexuals among the first 20 sexuals produced varied considerably with queen number. As in C. obscurior, experimental colony fragmentation led to the production of winged males, whereas in unfragmented control colonies only ergatoid males eclosed.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Heinze, Jürgen","first_name":"Jürgen","last_name":"Heinze"},{"last_name":"Böttcher","first_name":"A.","full_name":"Böttcher, A."},{"full_name":"Cremer, Sylvia","first_name":"Sylvia","orcid":"0000-0002-2193-3868","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"publication_status":"published","publication":"Insectes Sociaux","doi":"10.1007/s00040-004-0740-6","_id":"3918","language":[{"iso":"eng"}],"intvolume":"        51","date_updated":"2021-01-12T07:53:11Z","year":"2004","issue":"3","title":"Production of winged and wingless males in the ant, Cardiocondyla minutior","publist_id":"2236","citation":{"apa":"Heinze, J., Böttcher, A., &#38; Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. <i>Insectes Sociaux</i>. Springer. <a href=\"https://doi.org/10.1007/s00040-004-0740-6\">https://doi.org/10.1007/s00040-004-0740-6</a>","ista":"Heinze J, Böttcher A, Cremer S. 2004. Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. 51(3), 275–278.","mla":"Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” <i>Insectes Sociaux</i>, vol. 51, no. 3, Springer, 2004, pp. 275–78, doi:<a href=\"https://doi.org/10.1007/s00040-004-0740-6\">10.1007/s00040-004-0740-6</a>.","chicago":"Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” <i>Insectes Sociaux</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00040-004-0740-6\">https://doi.org/10.1007/s00040-004-0740-6</a>.","short":"J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.","ieee":"J. Heinze, A. Böttcher, and S. Cremer, “Production of winged and wingless males in the ant, Cardiocondyla minutior,” <i>Insectes Sociaux</i>, vol. 51, no. 3. Springer, pp. 275–278, 2004.","ama":"Heinze J, Böttcher A, Cremer S. Production of winged and wingless males in the ant, Cardiocondyla minutior. <i>Insectes Sociaux</i>. 2004;51(3):275-278. doi:<a href=\"https://doi.org/10.1007/s00040-004-0740-6\">10.1007/s00040-004-0740-6</a>"},"date_created":"2018-12-11T12:05:53Z"},{"intvolume":"        13","issue":"2","year":"2004","date_updated":"2021-01-12T07:53:16Z","publist_id":"2197","title":"HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane","date_created":"2018-12-11T12:05:56Z","citation":{"apa":"Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, G., … Baur, A. (2004). HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. <i>Molecular Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/S1097-2765(04)00004-8\">https://doi.org/10.1016/S1097-2765(04)00004-8</a>","short":"V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.","ama":"Witte V, Laffert B, Rosorius O, et al. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. <i>Molecular Cell</i>. 2004;13(2):179-190. doi:<a href=\"https://doi.org/10.1016/S1097-2765(04)00004-8\">10.1016/S1097-2765(04)00004-8</a>","ieee":"V. Witte <i>et al.</i>, “HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane,” <i>Molecular Cell</i>, vol. 13, no. 2. Cell Press, pp. 179–190, 2004.","mla":"Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” <i>Molecular Cell</i>, vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:<a href=\"https://doi.org/10.1016/S1097-2765(04)00004-8\">10.1016/S1097-2765(04)00004-8</a>.","chicago":"Witte, Vanessa, Bernd Laffert, Olaf Rosorius, Peter Lischka, Katja Blume, Gunther Galler, Andrea Stilper, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” <i>Molecular Cell</i>. Cell Press, 2004. <a href=\"https://doi.org/10.1016/S1097-2765(04)00004-8\">https://doi.org/10.1016/S1097-2765(04)00004-8</a>.","ista":"Witte V, Laffert B, Rosorius O, Lischka P, Blume K, Galler G, Stilper A, Willbold D, D’Aloja P, Sixt MK, Kolanus J, Ott M, Kolanus W, Schuler G, Baur A. 2004. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 13(2), 179–190."},"publication":"Molecular Cell","doi":"10.1016/S1097-2765(04)00004-8","_id":"3929","month":"01","abstract":[{"lang":"eng","text":"The Nef protein of human and simian immunodeficiency virus (HIV/SIV) is believed to interfere with T cell activation signals by forming a signaling complex at the plasma membrane. Composition and function of the complex are not fully understood. Here we report that Nef recruits the Polycomb Group (PcG) protein Eed, so far known as a nuclear factor and repressor of transcription, to the membrane of cells. The Nef-induced translocation of Eed led to a potent stimulation of Tat-dependent HIV transcription, implying that Eed removal from the nucleus is required for optimal Tat function. Similar to Nef action, activation of integrin receptors recruited Eed to the plasma membrane, also leading to enhanced Tat/Nef-mediated transcription. Our results suggest a link between membrane-associated activation processes and transcriptional derepression and demonstrate how HIV exploits this mechanism."}],"day":"30","author":[{"full_name":"Witte, Vanessa","first_name":"Vanessa","last_name":"Witte"},{"last_name":"Laffert","full_name":"Laffert, Bernd","first_name":"Bernd"},{"last_name":"Rosorius","full_name":"Rosorius, Olaf","first_name":"Olaf"},{"last_name":"Lischka","first_name":"Peter","full_name":"Lischka, Peter"},{"last_name":"Blume","first_name":"Katja","full_name":"Blume, Katja"},{"full_name":"Galler, Gunther","first_name":"Gunther","last_name":"Galler"},{"last_name":"Stilper","full_name":"Stilper, Andrea","first_name":"Andrea"},{"last_name":"Willbold","first_name":"Dieter","full_name":"Willbold, Dieter"},{"last_name":"D'Aloja","full_name":"D'Aloja, Paola","first_name":"Paola"},{"orcid":"0000-0002-6620-9179","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Michael Sixt","first_name":"Michael K"},{"last_name":"Kolanus","first_name":"Johanna","full_name":"Kolanus, Johanna"},{"full_name":"Ott, Melanie","first_name":"Melanie","last_name":"Ott"},{"last_name":"Kolanus","full_name":"Kolanus, Waldemar","first_name":"Waldemar"},{"first_name":"Gerold","full_name":"Schuler, Gerold","last_name":"Schuler"},{"last_name":"Baur","full_name":"Baur, Andreas S","first_name":"Andreas"}],"publication_status":"published","status":"public","type":"journal_article","date_published":"2004-01-30T00:00:00Z","publisher":"Cell Press","volume":13,"quality_controlled":0,"page":"179 - 190","extern":1},{"issue":"7","year":"2004","date_updated":"2021-01-12T07:53:17Z","date_created":"2018-12-11T12:05:57Z","title":"Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells","publist_id":"2196","citation":{"apa":"Zhang, H., Baader, S., Sixt, M. K., Kappler, J., &#38; Rauch, U. (2004). Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. <i>Journal of Histochemistry and Cytochemistry</i>. Histochemical Society. <a href=\"https://doi.org/10.1369/jhc.3A6221.2004\">https://doi.org/10.1369/jhc.3A6221.2004</a>","short":"H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.","ieee":"H. Zhang, S. Baader, M. K. Sixt, J. Kappler, and U. Rauch, “Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells,” <i>Journal of Histochemistry and Cytochemistry</i>, vol. 52, no. 7. Histochemical Society, pp. 915–922, 2004.","ama":"Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. <i>Journal of Histochemistry and Cytochemistry</i>. 2004;52(7):915-922. doi:<a href=\"https://doi.org/10.1369/jhc.3A6221.2004\">10.1369/jhc.3A6221.2004</a>","ista":"Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. 2004. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. 52(7), 915–922.","chicago":"Zhang, Hui, Stephan Baader, Michael K Sixt, Joachim Kappler, and Uwe Rauch. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” <i>Journal of Histochemistry and Cytochemistry</i>. Histochemical Society, 2004. <a href=\"https://doi.org/10.1369/jhc.3A6221.2004\">https://doi.org/10.1369/jhc.3A6221.2004</a>.","mla":"Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” <i>Journal of Histochemistry and Cytochemistry</i>, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22, doi:<a href=\"https://doi.org/10.1369/jhc.3A6221.2004\">10.1369/jhc.3A6221.2004</a>."},"intvolume":"        52","_id":"3931","publication":"Journal of Histochemistry and Cytochemistry","doi":"10.1369/jhc.3A6221.2004","publication_status":"published","author":[{"last_name":"Zhang","full_name":"Zhang, Hui","first_name":"Hui"},{"last_name":"Baader","first_name":"Stephan","full_name":"Baader, Stephan L"},{"orcid":"0000-0002-6620-9179","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","full_name":"Michael Sixt"},{"full_name":"Kappler, Joachim","first_name":"Joachim","last_name":"Kappler"},{"last_name":"Rauch","first_name":"Uwe","full_name":"Rauch, Uwe"}],"month":"01","abstract":[{"text":"Hyaluronan is an unsulfated glycosaminoglycan (GAG) that is ubiquitously expressed in the extracellular matrix (ECM) of all vertebrates, where hyaluronan rich matrices constitute a particular permissive environment for the development of complex biological structures and also for tumor progression. Because of its conserved structure and ubiquitous expression, antibodies for its histochemical detection cannot be produced. We have engineered a fusion protein, neurocan-GFP, and expressed it as a secreted molecule in mammalian cells. Neurocan-GFP fusion protein specifically binds to hyaluronan and directly visualizes hyaluronan on tissue sections, revealing a very detailed picture of hyaluronan distribution. The fluorescent fusion protein can be used in combination with antibodies and nuclear markers for double or triple staining. In addition, it is suitable to visualize hyaluronan on living cells by time-lapse video microscopy. The successful production and application of the neurocan-GFP fusion protein opens up new perspectives for using GFP fusion proteins as detection tools in histological and cytological studies complementing conventional antibody and biotin/avidin techniques.","lang":"eng"}],"day":"01","type":"journal_article","date_published":"2004-01-01T00:00:00Z","status":"public","publisher":"Histochemical Society","volume":52,"quality_controlled":0,"extern":1,"page":"915 - 922"},{"date_updated":"2021-01-12T07:53:39Z","issue":"4","year":"2004","date_created":"2018-12-11T12:06:16Z","citation":{"apa":"Bremer, P., Edelsbrunner, H., Hamann, B., &#38; Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. <i>IEEE Transactions on Visualization and Computer Graphics</i>. IEEE. <a href=\"https://doi.org/10.1109/TVCG.2004.3\">https://doi.org/10.1109/TVCG.2004.3</a>","mla":"Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.” <i>IEEE Transactions on Visualization and Computer Graphics</i>, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:<a href=\"https://doi.org/10.1109/TVCG.2004.3\">10.1109/TVCG.2004.3</a>.","ista":"Bremer P, Edelsbrunner H, Hamann B, Pascucci V. 2004. A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. 10(4), 385–396.","chicago":"Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.” <i>IEEE Transactions on Visualization and Computer Graphics</i>. IEEE, 2004. <a href=\"https://doi.org/10.1109/TVCG.2004.3\">https://doi.org/10.1109/TVCG.2004.3</a>.","ama":"Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A topological hierarchy for functions on triangulated surfaces. <i>IEEE Transactions on Visualization and Computer Graphics</i>. 2004;10(4):385-396. doi:<a href=\"https://doi.org/10.1109/TVCG.2004.3\">10.1109/TVCG.2004.3</a>","ieee":"P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A topological hierarchy for functions on triangulated surfaces,” <i>IEEE Transactions on Visualization and Computer Graphics</i>, vol. 10, no. 4. IEEE, pp. 385–396, 2004.","short":"P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396."},"title":"A topological hierarchy for functions on triangulated surfaces","publist_id":"2139","intvolume":"        10","_id":"3984","publication":"IEEE Transactions on Visualization and Computer Graphics","doi":"10.1109/TVCG.2004.3","publication_status":"published","author":[{"last_name":"Bremer","first_name":"Peer","full_name":"Bremer, Peer-Timo"},{"full_name":"Herbert Edelsbrunner","first_name":"Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner"},{"first_name":"Bernd","full_name":"Hamann, Bernd","last_name":"Hamann"},{"last_name":"Pascucci","first_name":"Valerio","full_name":"Pascucci, Valerio"}],"month":"07","day":"01","abstract":[{"text":"We combine topological and geometric methods to construct a multiresolution representation for a function over a two-dimensional domain. In a preprocessing stage, we create the Morse-Smale complex of the function and progressively simplify its topology by cancelling pairs of critical points. Based on a simple notion of dependency among these cancellations, we construct a hierarchical data structure supporting traversal and reconstruction operations similarly to traditional geometry-based representations. We use this data structure to extract topologically valid approximations that satisfy error bounds provided at runtime.","lang":"eng"}],"publisher":"IEEE","type":"journal_article","date_published":"2004-07-01T00:00:00Z","status":"public","extern":1,"page":"385 - 396","volume":10,"quality_controlled":0},{"volume":32,"quality_controlled":0,"extern":1,"page":"231 - 244","date_published":"2004-07-01T00:00:00Z","status":"public","type":"journal_article","publisher":"Springer","abstract":[{"text":"Given a Morse function f over a 2-manifold with or without boundary, the Reeb graph is obtained by contracting the connected components of the level sets to points. We prove tight upper and lower bounds on the number of loops in the Reeb graph that depend on the genus, the number of boundary components, and whether or not the 2-manifold is orientable. We also give an algorithm that constructs the Reeb graph in time O(n log n), where n is the number of edges in the triangulation used to represent the 2-manifold and the Morse function.","lang":"eng"}],"day":"01","month":"07","author":[{"first_name":"Kree","full_name":"Cole-McLaughlin, Kree","last_name":"Cole Mclaughlin"},{"first_name":"Herbert","full_name":"Herbert Edelsbrunner","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833"},{"full_name":"Harer, John","first_name":"John","last_name":"Harer"},{"first_name":"Vijay","full_name":"Natarajan, Vijay","last_name":"Natarajan"},{"last_name":"Pascucci","first_name":"Valerio","full_name":"Pascucci, Valerio"}],"publication_status":"published","doi":"10.1007/s00454-004-1122-6","publication":"Discrete & Computational Geometry","_id":"3985","intvolume":"        32","publist_id":"2140","citation":{"apa":"Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., &#38; Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-004-1122-6\">https://doi.org/10.1007/s00454-004-1122-6</a>","short":"K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete &#38; Computational Geometry 32 (2004) 231–244.","ama":"Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Loops in Reeb graphs of 2-manifolds. <i>Discrete &#38; Computational Geometry</i>. 2004;32(2):231-244. doi:<a href=\"https://doi.org/10.1007/s00454-004-1122-6\">10.1007/s00454-004-1122-6</a>","ieee":"K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Loops in Reeb graphs of 2-manifolds,” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2. Springer, pp. 231–244, 2004.","ista":"Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2004. Loops in Reeb graphs of 2-manifolds. Discrete &#38; Computational Geometry. 32(2), 231–244.","chicago":"Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00454-004-1122-6\">https://doi.org/10.1007/s00454-004-1122-6</a>.","mla":"Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:<a href=\"https://doi.org/10.1007/s00454-004-1122-6\">10.1007/s00454-004-1122-6</a>."},"title":"Loops in Reeb graphs of 2-manifolds","date_created":"2018-12-11T12:06:16Z","year":"2004","issue":"2","acknowledgement":"Partially supported by NSF under Grants EIA-99-72879 and CCR-00-86013.","date_updated":"2021-01-12T07:53:39Z"},{"_id":"3986","doi":"10.1007/s00454-004-1099-1","publication":"Discrete & Computational Geometry","title":"The area derivative of a space-filling diagram","date_created":"2018-12-11T12:06:17Z","publist_id":"2141","citation":{"short":"R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete &#38; Computational Geometry 32 (2004) 293–308.","ieee":"R. Bryant, H. Edelsbrunner, P. Koehl, and M. Levitt, “The area derivative of a space-filling diagram,” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 3. Springer, pp. 293–308, 2004.","ama":"Bryant R, Edelsbrunner H, Koehl P, Levitt M. The area derivative of a space-filling diagram. <i>Discrete &#38; Computational Geometry</i>. 2004;32(3):293-308. doi:<a href=\"https://doi.org/10.1007/s00454-004-1099-1\">10.1007/s00454-004-1099-1</a>","mla":"Bryant, Robert, et al. “The Area Derivative of a Space-Filling Diagram.” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 3, Springer, 2004, pp. 293–308, doi:<a href=\"https://doi.org/10.1007/s00454-004-1099-1\">10.1007/s00454-004-1099-1</a>.","chicago":"Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00454-004-1099-1\">https://doi.org/10.1007/s00454-004-1099-1</a>.","ista":"Bryant R, Edelsbrunner H, Koehl P, Levitt M. 2004. The area derivative of a space-filling diagram. Discrete &#38; Computational Geometry. 32(3), 293–308.","apa":"Bryant, R., Edelsbrunner, H., Koehl, P., &#38; Levitt, M. (2004). The area derivative of a space-filling diagram. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-004-1099-1\">https://doi.org/10.1007/s00454-004-1099-1</a>"},"date_updated":"2021-01-12T07:53:40Z","acknowledgement":"Partially supported by NSF under grant CCR-00-86013 and NSF under grant CCR-97-12088.","year":"2004","issue":"3","intvolume":"        32","extern":1,"page":"293 - 308","quality_controlled":0,"volume":32,"publisher":"Springer","date_published":"2004-09-01T00:00:00Z","status":"public","type":"journal_article","publication_status":"published","author":[{"first_name":"Robert","full_name":"Bryant, Robert","last_name":"Bryant"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Herbert Edelsbrunner","first_name":"Herbert"},{"full_name":"Koehl, Patrice","first_name":"Patrice","last_name":"Koehl"},{"full_name":"Levitt, Michael","first_name":"Michael","last_name":"Levitt"}],"day":"01","abstract":[{"lang":"eng","text":"The motion of a biomolecule greatly depends on the engulfing solution, which is mostly water. Instead of representing individual water molecules, it is desirable to develop implicit solvent models that nevertheless accurately represent the contribution of the solvent interaction to the motion. In such models, hydrophobicity is expressed as a weighted sum of atomic surface areas. The derivatives of these weighted areas contribute to the force that drives the motion. In this paper we give formulas for the weighted and unweighted area derivatives of a molecule modeled as a space-filling diagram made up of balls in motion. Other than the radii and the centers of the balls, the formulas are given in terms of the sizes of circular arcs of the boundary and edges of the power diagram. We also give inclusion-exclusion formulas for these sizes."}],"month":"09"},{"_id":"3987","publication":"IEEE Transactions on Visualization and Computer Graphics","doi":"10.1109/TVCG.2004.32","date_updated":"2021-01-12T07:53:40Z","year":"2004","issue":"5","date_created":"2018-12-11T12:06:17Z","citation":{"chicago":"Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” <i>IEEE Transactions on Visualization and Computer Graphics</i>. IEEE, 2004. <a href=\"https://doi.org/10.1109/TVCG.2004.32\">https://doi.org/10.1109/TVCG.2004.32</a>.","mla":"Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” <i>IEEE Transactions on Visualization and Computer Graphics</i>, vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:<a href=\"https://doi.org/10.1109/TVCG.2004.32\">10.1109/TVCG.2004.32</a>.","ista":"Natarajan V, Edelsbrunner H. 2004. Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. 10(5), 587–597.","short":"V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.","ieee":"V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density maps,” <i>IEEE Transactions on Visualization and Computer Graphics</i>, vol. 10, no. 5. IEEE, pp. 587–597, 2004.","ama":"Natarajan V, Edelsbrunner H. Simplification of three-dimensional density maps. <i>IEEE Transactions on Visualization and Computer Graphics</i>. 2004;10(5):587-597. doi:<a href=\"https://doi.org/10.1109/TVCG.2004.32\">10.1109/TVCG.2004.32</a>","apa":"Natarajan, V., &#38; Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. <i>IEEE Transactions on Visualization and Computer Graphics</i>. IEEE. <a href=\"https://doi.org/10.1109/TVCG.2004.32\">https://doi.org/10.1109/TVCG.2004.32</a>"},"publist_id":"2142","title":"Simplification of three-dimensional density maps","intvolume":"        10","publisher":"IEEE","type":"journal_article","date_published":"2004-07-12T00:00:00Z","status":"public","page":"587 - 597","extern":1,"volume":10,"quality_controlled":0,"author":[{"last_name":"Natarajan","full_name":"Natarajan, Vijay","first_name":"Vijay"},{"first_name":"Herbert","full_name":"Herbert Edelsbrunner","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833"}],"publication_status":"published","month":"07","day":"12","abstract":[{"lang":"eng","text":"We consider scientific data sets that describe density functions over three-dimensional geometric domains. Such data sets are often large and coarsened representations are needed for visualization and analysis. Assuming a tetrahedral mesh representation, we construct such representations with a simplification algorithm that combines three goals: the approximation of the function, the preservation of the mesh topology, and the improvement of the mesh quality. The third goal is achieved with a novel extension of the well-known quadric error metric. We perform a number of computational experiments to understand the effect of mesh quality improvement on the density map approximation. In addition, we study the effect of geometric simplification on the topological features of the function by monitoring its critical points."}]},{"quality_controlled":0,"volume":3240,"page":"218 - 229","extern":1,"type":"conference","date_published":"2004-01-01T00:00:00Z","status":"public","publisher":"Springer","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"We give an algorithm that locally improves the fit between two proteins modeled as space-filling diagrams. The algorithm defines the fit in purely geometric terms and improves by applying a rigid motion to one of the two proteins. Our implementation of the algorithm takes between three and ten seconds and converges with high likelihood to the correct docked configuration, provided it starts at a position away from the correct one by at most 18 degrees of rotation and at most 3.0Angstrom of translation. The speed and convergence radius make this an attractive algorithm to use in combination with a coarse sampling of the six-dimensional space of rigid motions."}],"day":"01","month":"01","conference":{"name":"WABI: 4th International Workshop on Algorithms in Bioinformatics"},"author":[{"last_name":"Choi","first_name":"Vicky","full_name":"Choi, Vicky"},{"last_name":"Agarwal","first_name":"Pankaj","full_name":"Agarwal, Pankaj K"},{"full_name":"Herbert Edelsbrunner","first_name":"Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner"},{"full_name":"Rudolph, Johannes","first_name":"Johannes","last_name":"Rudolph"}],"publication_status":"published","doi":"10.1007/978-3-540-30219-3_19","_id":"3988","intvolume":"      3240","date_created":"2018-12-11T12:06:17Z","title":"Local search heuristic for rigid protein docking","citation":{"apa":"Choi, V., Agarwal, P., Edelsbrunner, H., &#38; Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. <a href=\"https://doi.org/10.1007/978-3-540-30219-3_19\">https://doi.org/10.1007/978-3-540-30219-3_19</a>","mla":"Choi, Vicky, et al. <i>Local Search Heuristic for Rigid Protein Docking</i>. Vol. 3240, Springer, 2004, pp. 218–29, doi:<a href=\"https://doi.org/10.1007/978-3-540-30219-3_19\">10.1007/978-3-540-30219-3_19</a>.","ista":"Choi V, Agarwal P, Edelsbrunner H, Rudolph J. 2004. Local search heuristic for rigid protein docking. WABI: 4th International Workshop on Algorithms in Bioinformatics, LNCS, vol. 3240, 218–229.","chicago":"Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30219-3_19\">https://doi.org/10.1007/978-3-540-30219-3_19</a>.","ieee":"V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.","ama":"Choi V, Agarwal P, Edelsbrunner H, Rudolph J. Local search heuristic for rigid protein docking. In: Vol 3240. Springer; 2004:218-229. doi:<a href=\"https://doi.org/10.1007/978-3-540-30219-3_19\">10.1007/978-3-540-30219-3_19</a>","short":"V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229."},"publist_id":"2136","year":"2004","date_updated":"2021-01-12T07:53:41Z","acknowledgement":"Supported by NSF under grant CCR-00-86013, BGT Postdoc Program from Duke University and NIH under grant R01 GM61822-01."},{"status":"public","type":"conference","date_published":"2004-10-01T00:00:00Z","publisher":"IEEE","quality_controlled":0,"page":"275 - 280","extern":1,"month":"10","conference":{"name":"VIS: IEEE Visualization"},"abstract":[{"text":"We introduce local and global comparison measures for a collection of k less than or equal to d real-valued smooth functions on a common d-dimensional Riemannian manifold. For k = d = 2 we relate the measures to the set of critical points of one function restricted to the level sets of the other. The definition of the measures extends to piecewise linear functions for which they ace easy to compute. The computation of the measures forms the centerpiece of a software tool which we use to study scientific datasets.","lang":"eng"}],"day":"01","author":[{"orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Herbert Edelsbrunner","first_name":"Herbert"},{"last_name":"Harer","full_name":"Harer, John","first_name":"John"},{"last_name":"Natarajan","first_name":"Vijay","full_name":"Natarajan, Vijay"},{"last_name":"Pascucci","first_name":"Valerio","full_name":"Pascucci, Valerio"}],"publication_status":"published","doi":"10.1109/VISUAL.2004.68","_id":"3989","year":"2004","date_updated":"2021-01-12T07:53:41Z","citation":{"apa":"Edelsbrunner, H., Harer, J., Natarajan, V., &#38; Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. <a href=\"https://doi.org/10.1109/VISUAL.2004.68\">https://doi.org/10.1109/VISUAL.2004.68</a>","chicago":"Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. <a href=\"https://doi.org/10.1109/VISUAL.2004.68\">https://doi.org/10.1109/VISUAL.2004.68</a>.","mla":"Edelsbrunner, Herbert, et al. <i>Local and Global Comparison of Continuous Functions</i>. IEEE, 2004, pp. 275–80, doi:<a href=\"https://doi.org/10.1109/VISUAL.2004.68\">10.1109/VISUAL.2004.68</a>.","ista":"Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2004. Local and global comparison of continuous functions. VIS: IEEE Visualization, 275–280.","ama":"Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Local and global comparison of continuous functions. In: IEEE; 2004:275-280. doi:<a href=\"https://doi.org/10.1109/VISUAL.2004.68\">10.1109/VISUAL.2004.68</a>","ieee":"H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global comparison of continuous functions,” presented at the VIS: IEEE Visualization, 2004, pp. 275–280.","short":"H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280."},"publist_id":"2137","title":"Local and global comparison of continuous functions","date_created":"2018-12-11T12:06:18Z"},{"intvolume":"        32","issue":"1","year":"2004","date_updated":"2021-01-12T07:53:42Z","acknowledgement":"Partially supported by NSF under grants CCR-00-86013, EIA-9972879 and NSF under grant CCR-97-12088.","citation":{"short":"P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete &#38; Computational Geometry 32 (2004) 37–53.","ieee":"P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 1. Springer, pp. 37–53, 2004.","ama":"Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. <i>Discrete &#38; Computational Geometry</i>. 2004;32(1):37-53. doi:<a href=\"https://doi.org/10.1007/s00454-004-2864-x\">10.1007/s00454-004-2864-x</a>","mla":"Agarwal, Pankaj, et al. “Computing the Writhing Number of a Polygonal Knot.” <i>Discrete &#38; Computational Geometry</i>, vol. 32, no. 1, Springer, 2004, pp. 37–53, doi:<a href=\"https://doi.org/10.1007/s00454-004-2864-x\">10.1007/s00454-004-2864-x</a>.","chicago":"Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2004. <a href=\"https://doi.org/10.1007/s00454-004-2864-x\">https://doi.org/10.1007/s00454-004-2864-x</a>.","ista":"Agarwal P, Edelsbrunner H, Wang Y. 2004. Computing the writhing number of a polygonal knot. Discrete &#38; Computational Geometry. 32(1), 37–53.","apa":"Agarwal, P., Edelsbrunner, H., &#38; Wang, Y. (2004). Computing the writhing number of a polygonal knot. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-004-2864-x\">https://doi.org/10.1007/s00454-004-2864-x</a>"},"date_created":"2018-12-11T12:06:18Z","title":"Computing the writhing number of a polygonal knot","publist_id":"2138","publication":"Discrete & Computational Geometry","doi":"10.1007/s00454-004-2864-x","_id":"3990","month":"05","abstract":[{"text":"The writhing number measures the global geometry of a closed space curve or knot. We show that this measure is related to the average winding number of its Gauss map. Using this relationship, we give an algorithm for computing the writhing number for a polygonal knot with n edges in time roughly proportional to n(1.6). We also implement a different, simple algorithm and provide experimental evidence for its practical efficiency.","lang":"eng"}],"day":"01","author":[{"full_name":"Agarwal, Pankaj K","first_name":"Pankaj","last_name":"Agarwal"},{"full_name":"Herbert Edelsbrunner","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Wang","full_name":"Wang, Yusu","first_name":"Yusu"}],"publication_status":"published","date_published":"2004-05-01T00:00:00Z","type":"journal_article","status":"public","publisher":"Springer","volume":32,"quality_controlled":0,"page":"37 - 53","extern":1},{"status":"public","type":"journal_article","date_published":"2004-11-01T00:00:00Z","publisher":"Cell Press","volume":14,"page":"620 - 627","extern":"1","month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"During vertebrate gastrulation, a relatively limited number of blastodermal cells undergoes a stereotypical set of cellular movements that leads to formation of the three germ layers: ectoderm, mesoderm and endoderm. Gastrulation, therefore, provides a unique developmental system in which to study cell movements in vivo in a fairly simple cellular context. Recent advances have been made in elucidating the cellular and molecular mechanisms that underlie cell movements during zebrafish gastrulation. These findings can be compared with observations made in other model systems to identify potential general mechanisms of cell migration during development."}],"day":"01","oa_version":"None","publication_status":"published","author":[{"full_name":"Montero, Juan","first_name":"Juan","last_name":"Montero"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J"}],"publication":"Trends in Cell Biology","doi":"10.1016/j.tcb.2004.09.008","language":[{"iso":"eng"}],"_id":"4172","intvolume":"        14","article_processing_charge":"No","issue":"11","year":"2004","date_updated":"2021-01-12T07:55:02Z","date_created":"2018-12-11T12:07:23Z","citation":{"short":"J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.","ama":"Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus. <i>Trends in Cell Biology</i>. 2004;14(11):620-627. doi:<a href=\"https://doi.org/10.1016/j.tcb.2004.09.008\">10.1016/j.tcb.2004.09.008</a>","ieee":"J. Montero and C.-P. J. Heisenberg, “Gastrulation dynamics: cells move into focus,” <i>Trends in Cell Biology</i>, vol. 14, no. 11. Cell Press, pp. 620–627, 2004.","ista":"Montero J, Heisenberg C-PJ. 2004. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 14(11), 620–627.","chicago":"Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” <i>Trends in Cell Biology</i>. Cell Press, 2004. <a href=\"https://doi.org/10.1016/j.tcb.2004.09.008\">https://doi.org/10.1016/j.tcb.2004.09.008</a>.","mla":"Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” <i>Trends in Cell Biology</i>, vol. 14, no. 11, Cell Press, 2004, pp. 620–27, doi:<a href=\"https://doi.org/10.1016/j.tcb.2004.09.008\">10.1016/j.tcb.2004.09.008</a>.","apa":"Montero, J., &#38; Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. <i>Trends in Cell Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.tcb.2004.09.008\">https://doi.org/10.1016/j.tcb.2004.09.008</a>"},"publist_id":"1948","title":"Gastrulation dynamics: cells move into focus"},{"publication":"Development","doi":"10.1242/dev.01335","language":[{"iso":"eng"}],"_id":"4224","intvolume":"       131","issue":"19","article_processing_charge":"No","year":"2004","date_updated":"2021-01-12T07:55:26Z","title":"Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model","citation":{"ista":"Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. 2004. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 131(19), 4843–4856.","chicago":"Kruse, Karsten, Periklis Pantazis, Mark Tobias Bollenbach, Frank Julicher, and Marcos Gonzalez Gaitan. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.” <i>Development</i>. Company of Biologists, 2004. <a href=\"https://doi.org/10.1242/dev.01335\">https://doi.org/10.1242/dev.01335</a>.","mla":"Kruse, Karsten, et al. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.” <i>Development</i>, vol. 131, no. 19, Company of Biologists, 2004, pp. 4843–56, doi:<a href=\"https://doi.org/10.1242/dev.01335\">10.1242/dev.01335</a>.","ieee":"K. Kruse, P. Pantazis, M. T. Bollenbach, F. Julicher, and M. Gonzalez Gaitan, “Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model,” <i>Development</i>, vol. 131, no. 19. Company of Biologists, pp. 4843–4856, 2004.","ama":"Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. <i>Development</i>. 2004;131(19):4843-4856. doi:<a href=\"https://doi.org/10.1242/dev.01335\">10.1242/dev.01335</a>","short":"K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.","apa":"Kruse, K., Pantazis, P., Bollenbach, M. T., Julicher, F., &#38; Gonzalez Gaitan, M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.01335\">https://doi.org/10.1242/dev.01335</a>"},"publist_id":"1893","date_created":"2018-12-11T12:07:41Z","type":"journal_article","date_published":"2004-01-01T00:00:00Z","status":"public","publisher":"Company of Biologists","volume":131,"extern":"1","page":"4843 - 4856","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Developing cells acquire positional information by reading the graded distribution of morphogens. In Drosophila, the Dpp morphogen forms a long-range concentration gradient by spreading from a restricted source in the developing wing. It has been assumed that Dpp spreads by extracellular diffusion. Under this assumption, the main role of endocytosis in gradient formation is to downregulate receptors at the cell surface. These surface receptors bind to the ligand and thereby interfere with its long-range movement. Recent experiments indicate that Dpp spreading is mediated by Dynamin-dependent endocytosis in the target tissue, suggesting that extracellular diffusion alone cannot account for Dpp dispersal. Here, we perform a theoretical study of a model for morphogen spreading based on extracellular diffusion, which takes into account receptor binding and trafficking. We compare profiles of ligand and surface receptors obtained in this model with experimental data. To this end, we monitored directly the pool of surface receptors and extracellular Dpp with specific antibodies. We conclude that current models considering pure extracellular diffusion cannot explain the observed role of endocytosis during Dpp long-range movement.","lang":"eng"}],"day":"01","oa_version":"None","author":[{"last_name":"Kruse","first_name":"Karsten","full_name":"Kruse, Karsten"},{"last_name":"Pantazis","first_name":"Periklis","full_name":"Pantazis, Periklis"},{"first_name":"Mark Tobias","full_name":"Bollenbach, Mark Tobias","orcid":"0000-0003-4398-476X","last_name":"Bollenbach","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Julicher, Frank","first_name":"Frank","last_name":"Julicher"},{"last_name":"Gonzalez Gaitan","full_name":"Gonzalez Gaitan, Marcos","first_name":"Marcos"}],"publication_status":"published"},{"day":"31","month":"12","author":[{"first_name":"Harold","full_name":"Harold Vladar","last_name":"Vladar","id":"2A181218-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5985-7653"},{"last_name":"Cipriani","first_name":"Roberto","full_name":"Cipriani, Roberto"},{"full_name":"Scharifker, Benjamin","first_name":"Benjamin","last_name":"Scharifker"},{"full_name":"Bubis, Jose","first_name":"Jose","last_name":"Bubis"}],"publication_status":"published","page":"83 - 87","extern":1,"quality_controlled":0,"alternative_title":["Cellular Origin and Life in Extreme Habitats and Astrobiology"],"publisher":"Springer","type":"book_chapter","date_published":"2004-12-31T00:00:00Z","status":"public","editor":[{"first_name":"A.","full_name":"Hanslmeier,A.","last_name":"Hanslmeier"},{"full_name":"Kempe,S.","first_name":"S.","last_name":"Kempe"},{"full_name":"Seckbach,J.","first_name":"J.","last_name":"Seckbach"}],"date_created":"2018-12-11T12:07:44Z","publist_id":"1884","title":"A mechanism for the prebiotic emergence of proteins","citation":{"ieee":"H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A mechanism for the prebiotic emergence of proteins,” in <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, A. Hanslmeier, S. Kempe, and J. Seckbach, Eds. Springer, 2004, pp. 83–87.","ama":"de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>. Springer; 2004:83-87.","short":"H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.","chicago":"Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.","mla":"de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.","ista":"de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A mechanism for the prebiotic emergence of proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin and Life in Extreme Habitats and Astrobiology, , 83–87.","apa":"de Vladar, H., Cipriani, R., Scharifker, B., &#38; Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, &#38; J. Seckbach (Eds.), <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i> (pp. 83–87). Springer."},"date_updated":"2021-01-12T07:55:28Z","year":"2004","publication":"Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds","_id":"4230"},{"doi":"3810","_id":"4236","language":[{"iso":"eng"}],"date_created":"2018-12-11T12:07:46Z","publist_id":"1877","title":"Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares","citation":{"apa":"de Vladar, H. (2004). <i>Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares</i>. Centro de estudios avazados, IVIC. <a href=\"https://doi.org/3810\">https://doi.org/3810</a>","ieee":"H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.","ama":"de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:<a href=\"https://doi.org/3810\">3810</a>","short":"H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.","mla":"de Vladar, Harold. <i>Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares</i>. Centro de estudios avazados, IVIC, 2004, doi:<a href=\"https://doi.org/3810\">3810</a>.","chicago":"Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.” Centro de estudios avazados, IVIC, 2004. <a href=\"https://doi.org/3810\">https://doi.org/3810</a>.","ista":"de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC."},"article_processing_charge":"No","year":"2004","date_updated":"2021-01-12T07:55:30Z","extern":"1","date_published":"2004-01-01T00:00:00Z","type":"dissertation","status":"public","publisher":"Centro de estudios avazados, IVIC","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","oa_version":"None","month":"01","publication_status":"published","author":[{"full_name":"de Vladar, Harold","first_name":"Harold","id":"2A181218-F248-11E8-B48F-1D18A9856A87","last_name":"de Vladar","orcid":"0000-0002-5985-7653"}]},{"title":"Dynamic response of cancer under the influence of immunological activity and therapy","date_created":"2018-12-11T12:07:46Z","publist_id":"1876","citation":{"short":"H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.","ama":"de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. <i>Journal of Theoretical Biology</i>. 2004;227(3):335-348. doi:<a href=\"https://doi.org/3801\">3801</a>","ieee":"H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” <i>Journal of Theoretical Biology</i>, vol. 227, no. 3. Elsevier, pp. 335–348, 2004.","chicago":"Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” <i>Journal of Theoretical Biology</i>. Elsevier, 2004. <a href=\"https://doi.org/3801\">https://doi.org/3801</a>.","ista":"de Vladar H, González J. 2004. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 227(3), 335–348.","mla":"de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” <i>Journal of Theoretical Biology</i>, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:<a href=\"https://doi.org/3801\">3801</a>.","apa":"de Vladar, H., &#38; González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. <i>Journal of Theoretical Biology</i>. Elsevier. <a href=\"https://doi.org/3801\">https://doi.org/3801</a>"},"date_updated":"2021-01-12T07:55:31Z","article_processing_charge":"No","issue":"3","year":"2004","intvolume":"       227","language":[{"iso":"eng"}],"_id":"4238","doi":"3801","publication":"Journal of Theoretical Biology","author":[{"last_name":"de Vladar","id":"2A181218-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5985-7653","full_name":"de Vladar, Harold","first_name":"Harold"},{"full_name":"González, J.","first_name":"J.","last_name":"González"}],"publication_status":"published","day":"01","oa_version":"None","abstract":[{"lang":"eng","text":"The dynamical basis of tumoral growth has been controversial. Many models have been proposed to explain cancer development. The descriptions employ exponential, potential, logistic or Gompertzian growth laws. Some of these models are concerned with the interaction between cancer and the immunological, system. Among other properties, these models are concerned with the microscopic behavior of tumors and the emergence of cancer. We propose a modification of a previous model by Stepanova, which describes the specific immunological response against cancer. The modification consists of the substitution of a Gompertian law for the exponential rate used for tumoral growth. This modification is motivated by the numerous works confirming that Gompertz's equation correctly describes solid tumor growth. The modified model predicts that near zero, tumors always tend to grow. Immunological contraposition never suffices to induce a complete regression of the tumor. Instead, a stable microscopic equilibrium between cancer and immunological activity can be attained. In other words, our model predicts that the theory of immune surveillance is plausible. A macroscopic equilibrium in which the system develops cancer is also possible. In this case, immunological activity is depleted. This is consistent with the phenomena of cancer tolerance. Both equilibrium points can coexist or can exist without the other. In all cases the fixed point at zero tumor size is unstable. Since immunity cannot induce a complete tumor regression, a therapy is required. We include constant-dose therapies and show that they are insufficient. Final levels of immunocompetent cells and tumoral cells are finite, thus post-treatment regrowth of the tumor is certain. We also evaluate late-intensification therapies which are successful. They induce an asymptotic regression to zero tumor size. Immune response is also suppressed by the therapy, and thus plays a negligible role in the remission. We conclude that treatment evaluation should be successful without taking into account immunological effects. (C) 2003 Elsevier Ltd. All rights reserved."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"01","page":"335 - 348","extern":"1","volume":227,"publisher":"Elsevier","date_published":"2004-01-01T00:00:00Z","type":"journal_article","status":"public"},{"author":[{"last_name":"Vladar","id":"2A181218-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5985-7653","full_name":"Harold Vladar","first_name":"Harold"},{"last_name":"Cipriani","full_name":"Cipriani, Roberto ","first_name":"Roberto"},{"first_name":"Benjamin","full_name":"Scharifker, Benjamin","last_name":"Scharifker"},{"last_name":"Bubis","full_name":"Bubis, Jose","first_name":"Jose"}],"publication_status":"published","month":"01","day":"01","status":"public","date_published":"2004-01-01T00:00:00Z","type":"book_chapter","alternative_title":["Cellular Origin, Life in Extreme Habitats and Astrobiology"],"publisher":"Springer","volume":7,"quality_controlled":0,"extern":1,"page":"83 - 87","year":"2004","date_updated":"2021-01-12T07:55:32Z","publist_id":"1875","citation":{"apa":"de Vladar, H., Cipriani, R., Scharifker, B., &#38; Bubis, J. (2004). A Mechanism for the Prebiotic Emergence of Proteins. In J. Seckbach, J. Chela Flores, T. Owen, &#38; F. Raulin (Eds.), <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i> (Vol. 7, pp. 83–87). Springer. <a href=\"https://doi.org/3807\">https://doi.org/3807</a>","mla":"de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, edited by J. Seckbach et al., vol. 7, Springer, 2004, pp. 83–87, doi:<a href=\"https://doi.org/3807\">3807</a>.","chicago":"Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. <a href=\"https://doi.org/3807\">https://doi.org/3807</a>.","ista":"de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A Mechanism for the Prebiotic Emergence of Proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin, Life in Extreme Habitats and Astrobiology, vol. 7, 83–87.","short":"H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J. Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.","ieee":"H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the Prebiotic Emergence of Proteins,” in <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.","ama":"de Vladar H, Cipriani R, Scharifker B, Bubis J. A Mechanism for the Prebiotic Emergence of Proteins. In: Seckbach J, Chela Flores J, Owen T, Raulin F, eds. <i>Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds</i>. Vol 7. Springer; 2004:83-87. doi:<a href=\"https://doi.org/3807\">3807</a>"},"date_created":"2018-12-11T12:07:47Z","title":"A Mechanism for the Prebiotic Emergence of Proteins","editor":[{"full_name":"Seckbach,J.","first_name":"J.","last_name":"Seckbach"},{"last_name":"Chela Flores","first_name":"J.","full_name":"Chela-Flores,J."},{"last_name":"Owen","full_name":"Owen,T.","first_name":"T."},{"full_name":"Raulin,F.","first_name":"F.","last_name":"Raulin"}],"intvolume":"         7","_id":"4239","publication":"Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds","doi":"3807"},{"_id":"4253","publication":"Annals of Applied Probability","publist_id":"1842","date_created":"2018-12-11T12:07:52Z","title":"Coalescence in a Random Background","citation":{"apa":"Barton, N. H., Etheridge, A., &#38; Sturm, A. (2004). Coalescence in a Random Background. <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics.","mla":"Barton, Nicholas H., et al. “Coalescence in a Random Background.” <i>Annals of Applied Probability</i>, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.","chicago":"Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2004.","ista":"Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785.","short":"N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.","ama":"Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. <i>Annals of Applied Probability</i>. 2004;14(2):754-785.","ieee":"N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” <i>Annals of Applied Probability</i>, vol. 14, no. 2. Institute of Mathematical Statistics, pp. 754–785, 2004."},"date_updated":"2021-01-12T07:55:38Z","issue":"2","year":"2004","intvolume":"        14","extern":1,"page":"754 - 785","quality_controlled":0,"volume":14,"publisher":"Institute of Mathematical Statistics","type":"journal_article","date_published":"2004-05-01T00:00:00Z","status":"public","publication_status":"published","author":[{"orcid":"0000-0002-8548-5240","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Nicholas Barton","first_name":"Nicholas H"},{"full_name":"Etheridge, Alison M","first_name":"Alison","last_name":"Etheridge"},{"last_name":"Sturm","first_name":"Anja","full_name":"Sturm, Anja K"}],"main_file_link":[{"open_access":"0","url":"http://www.jstor.org/stable/4140427"}],"day":"01","abstract":[{"lang":"eng","text":"We consider a single genetic locus which carries two alleles, labelled P and Q. This locus experiences selection and mutation. It is linked to a second neutral locus with recombination rate r. If r = 0, this reduces to the study of a single selected locus. Assuming a Moran model for the population dynamics, we pass to a diffusion approximation and, assuming that the allele frequencies at the selected locus have reached stationarity, establish the joint generating function for the genealogy of a sample from the population and the frequency of the P allele. In essence this is the joint generating function for a coalescent and the random background in which it evolves. We use this to characterize, for the diffusion approximation, the probability of identity in state at the neutral locus of a sample of two individuals (whose type at the selected locus is known) as solutions to a system of ordinary differential equations. The only subtlety is to find the boundary conditions for this system. Finally, numerical examples are presented that illustrate the accuracy and predictions of the diffusion approximation. In particular, a comparison is made between this approach and one in which the frequencies at the selected locus are estimated by their value in the absence of fluctuations and a classical structured coalescent model is used."}],"month":"05"},{"_id":"4372","doi":"1572","date_created":"2018-12-11T12:08:31Z","publist_id":"1088","title":"Monitoring Temporal Properties of Continuous Signals","citation":{"apa":"Maler, O., &#38; Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/1572\">https://doi.org/1572</a>","ieee":"O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.","ama":"Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:<a href=\"https://doi.org/1572\">1572</a>","short":"O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.","mla":"Maler, Oded, and Dejan Nickovic. <i>Monitoring Temporal Properties of Continuous Signals</i>. Springer, 2004, pp. 152–66, doi:<a href=\"https://doi.org/1572\">1572</a>.","ista":"Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.","chicago":"Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. <a href=\"https://doi.org/1572\">https://doi.org/1572</a>."},"year":"2004","date_updated":"2021-01-12T07:56:29Z","quality_controlled":0,"extern":1,"page":"152 - 166","status":"public","type":"conference","date_published":"2004-12-14T00:00:00Z","alternative_title":["LNCS"],"publisher":"Springer","author":[{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"full_name":"Dejan Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"}],"publication_status":"published","day":"14","month":"12","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"}},{"date_published":"2004-12-01T00:00:00Z","supervisor":[{"orcid":"0000-0002-2985-7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A"}],"status":"public","type":"dissertation","publisher":"University of California, Berkeley","page":"1 - 165","extern":"1","author":[{"full_name":"Jhala, Ranjit","first_name":"Ranjit","last_name":"Jhala"}],"publication_status":"published","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"The enormous cost and ubiquity of software errors necessitates the need for techniques and tools that can precisely analyze large systems and prove that they meet given specifications, or if they don't, return counterexample behaviors showing how the system fails. Recent advances in model checking, decision procedures, program analysis and type systems, and a shift of focus to partial specifications common to several systems (e.g., memory safety and race freedom) have resulted in several practical verification methods. However, these methods are either precise or they are scalable, depending on whether they track the values of variables or only a fixed small set of dataflow facts (e.g., types), and are usually insufficient for precisely verifying large programs.\r\n\r\nWe describe a new technique called Lazy Abstraction (LA) which achieves both precision and scalability by localizing the use of precise information. LA automatically builds, explores and refines a single abstract model of the program in a way that different parts of the model exhibit different degrees of precision, namely just enough to verify the desired property. The algorithm automatically mines the information required by partitioning mechanical proofs of unsatisfiability of spurious counterexamples into Craig Interpolants. For multithreaded systems, we give a new technique based on analyzing the behavior of a single thread executing in a context which is an abstraction of the other (arbitrarily many) threads. We define novel context models and show how to automatically infer them and analyze the full system (thread + context) using LA.\r\n\r\nLA is implemented in BLAST. We have run BLAST on Windows and Linux Device Drivers to verify API conformance properties, and have used it to find (or guarantee the absence of) data races in multithreaded Networked Embedded Systems (NESC) applications. BLAST is able to prove the absence of races in several cases where earlier methods, which depend on lock-based synchronization, fail.","lang":"eng"}],"oa_version":"None","day":"01","language":[{"iso":"eng"}],"_id":"4424","year":"2004","article_processing_charge":"No","date_updated":"2021-01-12T07:56:52Z","date_created":"2018-12-11T12:08:47Z","title":"Program verification by lazy abstraction","publist_id":"307","citation":{"ama":"Jhala R. Program verification by lazy abstraction. 2004:1-165.","ieee":"R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.","short":"R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.","mla":"Jhala, Ranjit. <i>Program Verification by Lazy Abstraction</i>. University of California, Berkeley, 2004, pp. 1–165.","ista":"Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.","chicago":"Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.","apa":"Jhala, R. (2004). <i>Program verification by lazy abstraction</i>. University of California, Berkeley."}},{"year":"2004","acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327 and by the NSF grants CCR- 0208875 and CCR-0225610.","date_updated":"2021-01-12T07:57:01Z","date_created":"2018-12-11T12:08:53Z","publist_id":"285","citation":{"apa":"Henzinger, T. A., &#38; Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. <a href=\"https://doi.org/10.1145/1017753.1017774\">https://doi.org/10.1145/1017753.1017774</a>","mla":"Henzinger, Thomas A., and Christoph Kirsch. <i>A Typed Assembly Language for Real-Time Programs</i>. ACM, 2004, pp. 104–13, doi:<a href=\"https://doi.org/10.1145/1017753.1017774\">10.1145/1017753.1017774</a>.","chicago":"Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. <a href=\"https://doi.org/10.1145/1017753.1017774\">https://doi.org/10.1145/1017753.1017774</a>.","ista":"Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.","short":"T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.","ama":"Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:<a href=\"https://doi.org/10.1145/1017753.1017774\">10.1145/1017753.1017774</a>","ieee":"T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113."},"title":"A typed assembly language for real-time programs","doi":"10.1145/1017753.1017774","_id":"4445","month":"09","conference":{"name":"EMSOFT: Embedded Software "},"abstract":[{"lang":"eng","text":"We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each task, and the type system ensures that the deadlines are path-insensitive. We show that typed E programs allow, for given worst-case execution times of tasks, a simple schedulability analysis. Moreover, the real-time programming language Giotto can be compiled into typed E~code. This shows that typed E~code identifies an easily schedulable yet expressive class of real-time programs. We have extended the Giotto compiler to generate typed E code, and enabled the run-time system for E code to perform a type and schedulability check before executing the code."}],"day":"01","publication_status":"published","author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger"},{"first_name":"Christoph","full_name":"Kirsch, Christoph M","last_name":"Kirsch"}],"status":"public","type":"conference","date_published":"2004-09-01T00:00:00Z","publisher":"ACM","quality_controlled":0,"extern":1,"page":"104 - 113"}]