[{"year":"2004","status":"public","publication":"Discrete & Computational Geometry","title":"Computing the writhing number of a polygonal knot","acknowledgement":"Partially supported by NSF under grants CCR-00-86013, EIA-9972879 and NSF under grant CCR-97-12088.","publisher":"Springer","doi":"10.1007/s00454-004-2864-x","citation":{"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>.","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>.","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.","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>","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>","ista":"Agarwal P, Edelsbrunner H, Wang Y. 2004. Computing the writhing number of a polygonal knot. Discrete &#38; Computational Geometry. 32(1), 37–53.","short":"P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete &#38; Computational Geometry 32 (2004) 37–53."},"publist_id":"2138","day":"01","type":"journal_article","author":[{"full_name":"Agarwal, Pankaj K","first_name":"Pankaj","last_name":"Agarwal"},{"full_name":"Herbert Edelsbrunner","first_name":"Herbert","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833"},{"full_name":"Wang, Yusu","first_name":"Yusu","last_name":"Wang"}],"date_updated":"2021-01-12T07:53:42Z","issue":"1","extern":1,"page":"37 - 53","intvolume":"        32","volume":32,"date_created":"2018-12-11T12:06:18Z","quality_controlled":0,"date_published":"2004-05-01T00:00:00Z","_id":"3990","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"}],"publication_status":"published","month":"05"},{"_id":"4172","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."}],"month":"11","publication_status":"published","article_processing_charge":"No","date_updated":"2021-01-12T07:55:02Z","page":"620 - 627","extern":"1","issue":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":14,"language":[{"iso":"eng"}],"intvolume":"        14","date_created":"2018-12-11T12:07:23Z","date_published":"2004-11-01T00:00:00Z","day":"01","type":"journal_article","author":[{"full_name":"Montero, Juan","last_name":"Montero","first_name":"Juan"},{"orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","first_name":"Carl-Philipp J"}],"title":"Gastrulation dynamics: cells move into focus","status":"public","publication":"Trends in Cell Biology","year":"2004","citation":{"ista":"Montero J, Heisenberg C-PJ. 2004. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 14(11), 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>","short":"J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 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>.","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.","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>"},"doi":"10.1016/j.tcb.2004.09.008","publisher":"Cell Press","oa_version":"None","publist_id":"1948"},{"date_updated":"2021-01-12T07:55:26Z","page":"4843 - 4856","extern":"1","issue":"19","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"volume":131,"intvolume":"       131","date_created":"2018-12-11T12:07:41Z","date_published":"2004-01-01T00:00:00Z","_id":"4224","abstract":[{"lang":"eng","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."}],"month":"01","publication_status":"published","article_processing_charge":"No","year":"2004","title":"Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model","publication":"Development","status":"public","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.","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.","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.","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>"},"doi":"10.1242/dev.01335","publisher":"Company of Biologists","oa_version":"None","publist_id":"1893","day":"01","type":"journal_article","author":[{"full_name":"Kruse, Karsten","first_name":"Karsten","last_name":"Kruse"},{"full_name":"Pantazis, Periklis","last_name":"Pantazis","first_name":"Periklis"},{"id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias","first_name":"Mark Tobias","last_name":"Bollenbach","orcid":"0000-0003-4398-476X"},{"full_name":"Julicher, Frank","first_name":"Frank","last_name":"Julicher"},{"last_name":"Gonzalez Gaitan","first_name":"Marcos","full_name":"Gonzalez Gaitan, Marcos"}]},{"author":[{"id":"2A181218-F248-11E8-B48F-1D18A9856A87","full_name":"Harold Vladar","last_name":"Vladar","first_name":"Harold","orcid":"0000-0002-5985-7653"},{"first_name":"Roberto","last_name":"Cipriani","full_name":"Cipriani, Roberto"},{"first_name":"Benjamin","last_name":"Scharifker","full_name":"Scharifker, Benjamin"},{"first_name":"Jose","last_name":"Bubis","full_name":"Bubis, Jose"}],"type":"book_chapter","alternative_title":["Cellular Origin and Life in Extreme Habitats and Astrobiology"],"day":"31","publist_id":"1884","citation":{"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.","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.","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.","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.","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.","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.","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."},"publisher":"Springer","title":"A mechanism for the prebiotic emergence of proteins","status":"public","year":"2004","publication":"Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds","editor":[{"full_name":"Hanslmeier,A.","first_name":"A.","last_name":"Hanslmeier"},{"last_name":"Kempe","first_name":"S.","full_name":"Kempe,S."},{"first_name":"J.","last_name":"Seckbach","full_name":"Seckbach,J."}],"month":"12","publication_status":"published","_id":"4230","date_published":"2004-12-31T00:00:00Z","date_created":"2018-12-11T12:07:44Z","quality_controlled":0,"page":"83 - 87","extern":1,"date_updated":"2021-01-12T07:55:28Z"},{"type":"dissertation","day":"01","author":[{"orcid":"0000-0002-5985-7653","id":"2A181218-F248-11E8-B48F-1D18A9856A87","last_name":"de Vladar","first_name":"Harold","full_name":"de Vladar, Harold"}],"citation":{"short":"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>","ista":"de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.","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>.","ieee":"H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.","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>"},"doi":"3810","publisher":"Centro de estudios avazados, IVIC","status":"public","title":"Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares","year":"2004","publist_id":"1877","oa_version":"None","publication_status":"published","month":"01","article_processing_charge":"No","_id":"4236","extern":"1","date_updated":"2021-01-12T07:55:30Z","date_created":"2018-12-11T12:07:46Z","date_published":"2004-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}]},{"day":"01","type":"journal_article","author":[{"orcid":"0000-0002-5985-7653","full_name":"de Vladar, Harold","first_name":"Harold","last_name":"de Vladar","id":"2A181218-F248-11E8-B48F-1D18A9856A87"},{"first_name":"J.","last_name":"González","full_name":"González, J."}],"title":"Dynamic response of cancer under the influence of immunological activity and therapy","year":"2004","status":"public","publication":"Journal of Theoretical Biology","publisher":"Elsevier","citation":{"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>","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.","short":"H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.","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>","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>.","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>."},"doi":"3801","publist_id":"1876","oa_version":"None","_id":"4238","article_processing_charge":"No","month":"01","abstract":[{"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.","lang":"eng"}],"publication_status":"published","date_updated":"2021-01-12T07:55:31Z","page":"335 - 348","issue":"3","extern":"1","language":[{"iso":"eng"}],"volume":227,"intvolume":"       227","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T12:07:46Z","date_published":"2004-01-01T00:00:00Z"},{"date_updated":"2021-01-12T07:55:32Z","extern":1,"page":"83 - 87","intvolume":"         7","volume":7,"quality_controlled":0,"date_created":"2018-12-11T12:07:47Z","date_published":"2004-01-01T00:00:00Z","_id":"4239","publication_status":"published","month":"01","editor":[{"full_name":"Seckbach,J.","last_name":"Seckbach","first_name":"J."},{"last_name":"Chela Flores","first_name":"J.","full_name":"Chela-Flores,J."},{"full_name":"Owen,T.","first_name":"T.","last_name":"Owen"},{"last_name":"Raulin","first_name":"F.","full_name":"Raulin,F."}],"title":"A Mechanism for the Prebiotic Emergence of Proteins","year":"2004","publication":"Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds","status":"public","doi":"3807","citation":{"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>.","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>.","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.","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>","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>","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."},"publisher":"Springer","publist_id":"1875","day":"01","alternative_title":["Cellular Origin, Life in Extreme Habitats and Astrobiology"],"type":"book_chapter","author":[{"full_name":"Harold Vladar","first_name":"Harold","last_name":"Vladar","id":"2A181218-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5985-7653"},{"full_name":"Cipriani, Roberto ","first_name":"Roberto","last_name":"Cipriani"},{"full_name":"Scharifker, Benjamin","first_name":"Benjamin","last_name":"Scharifker"},{"last_name":"Bubis","first_name":"Jose","full_name":"Bubis, Jose"}]},{"_id":"4253","month":"05","publication_status":"published","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."}],"date_updated":"2021-01-12T07:55:38Z","page":"754 - 785","extern":1,"issue":"2","intvolume":"        14","volume":14,"quality_controlled":0,"date_published":"2004-05-01T00:00:00Z","date_created":"2018-12-11T12:07:52Z","day":"01","type":"journal_article","main_file_link":[{"open_access":"0","url":"http://www.jstor.org/stable/4140427"}],"author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Nicholas Barton","last_name":"Barton","first_name":"Nicholas H","orcid":"0000-0002-8548-5240"},{"full_name":"Etheridge, Alison M","first_name":"Alison","last_name":"Etheridge"},{"full_name":"Sturm, Anja K","last_name":"Sturm","first_name":"Anja"}],"publication":"Annals of Applied Probability","title":"Coalescence in a Random Background","year":"2004","status":"public","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.","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.","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.","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.","ista":"Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785."},"publisher":"Institute of Mathematical Statistics","publist_id":"1842"},{"author":[{"full_name":"Maler, Oded","last_name":"Maler","first_name":"Oded"},{"id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan","last_name":"Nickovic","full_name":"Dejan Nickovic"}],"alternative_title":["LNCS"],"day":"14","type":"conference","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"publist_id":"1088","year":"2004","title":"Monitoring Temporal Properties of Continuous Signals","status":"public","doi":"1572","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.","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>.","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>.","short":"O. Maler, D. Nickovic, in:, Springer, 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>","ista":"Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166."},"publisher":"Springer","_id":"4372","month":"12","publication_status":"published","quality_controlled":0,"date_published":"2004-12-14T00:00:00Z","date_created":"2018-12-11T12:08:31Z","date_updated":"2021-01-12T07:56:29Z","extern":1,"page":"152 - 166"},{"publisher":"University of California, Berkeley","citation":{"apa":"Jhala, R. (2004). <i>Program verification by lazy abstraction</i>. University of California, Berkeley.","ieee":"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.","chicago":"Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.","short":"R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.","ista":"Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.","ama":"Jhala R. Program verification by lazy abstraction. 2004:1-165."},"year":"2004","title":"Program verification by lazy abstraction","status":"public","oa_version":"None","publist_id":"307","type":"dissertation","day":"01","author":[{"first_name":"Ranjit","last_name":"Jhala","full_name":"Jhala, Ranjit"}],"page":"1 - 165","extern":"1","date_updated":"2021-01-12T07:56:52Z","date_published":"2004-12-01T00:00:00Z","date_created":"2018-12-11T12:08:47Z","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","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"}],"month":"12","publication_status":"published","_id":"4424","supervisor":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"}]},{"publist_id":"285","doi":"10.1145/1017753.1017774","citation":{"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>","ista":"Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.","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>.","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>","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."},"publisher":"ACM","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.","status":"public","year":"2004","title":"A typed assembly language for real-time programs","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Kirsch, Christoph M","first_name":"Christoph","last_name":"Kirsch"}],"conference":{"name":"EMSOFT: Embedded Software "},"type":"conference","day":"01","quality_controlled":0,"date_created":"2018-12-11T12:08:53Z","date_published":"2004-09-01T00:00:00Z","page":"104 - 113","extern":1,"date_updated":"2021-01-12T07:57:01Z","publication_status":"published","abstract":[{"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.","lang":"eng"}],"month":"09","_id":"4445"},{"date_updated":"2021-01-12T07:57:06Z","extern":1,"page":"232 - 244","date_published":"2004-04-01T00:00:00Z","date_created":"2018-12-11T12:08:57Z","quality_controlled":0,"_id":"4458","publication_status":"published","month":"04","abstract":[{"lang":"eng","text":"The success of model checking for large programs depends crucially on the ability to efficiently construct parsimonious abstractions. A predicate abstraction is parsimonious if at each control location, it specifies only relationships between current values of variables, and only those which are required for proving correctness. Previous methods for automatically refining predicate abstractions until sufficient precision is obtained do not systematically construct parsimonious abstractions: predicates usually contain symbolic variables, and are added heuristically and often uniformly to many or all control locations at once. We use Craig interpolation to efficiently construct, from a given abstract error trace which cannot be concretized, a parsominous abstraction that removes the trace. At each location of the trace, we infer the relevant predicates as an interpolant between the two formulas that define the past and the future segment of the trace. Each interpolant is a relationship between current values of program variables, and is relevant only at that particular program location. It can be found by a linear scan of the proof of infeasibility of the trace.We develop our method for programs with arithmetic and pointer expressions, and call-by-value function calls. For function calls, Craig interpolation offers a systematic way of generating relevant predicates that contain only the local variables of the function and the values of the formal parameters when the function was called. We have extended our model checker Blast with predicate discovery by Craig interpolation, and applied it successfully to C programs with more than 130,000 lines of code, which was not possible with approaches that build less parsimonious abstractions."}],"year":"2004","title":"Abstractions from proofs","status":"public","citation":{"mla":"Henzinger, Thomas A., et al. <i>Abstractions from Proofs</i>. ACM, 2004, pp. 232–44, doi:<a href=\"https://doi.org/10.1145/964001.964021\">10.1145/964001.964021</a>.","chicago":"Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. <a href=\"https://doi.org/10.1145/964001.964021\">https://doi.org/10.1145/964001.964021</a>.","apa":"Henzinger, T. A., Jhala, R., Majumdar, R., &#38; Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. <a href=\"https://doi.org/10.1145/964001.964021\">https://doi.org/10.1145/964001.964021</a>","ieee":"T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.","short":"T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.","ista":"Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.","ama":"Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:<a href=\"https://doi.org/10.1145/964001.964021\">10.1145/964001.964021</a>"},"doi":"10.1145/964001.964021","publisher":"ACM","publist_id":"270","day":"01","conference":{"name":"POPL: Principles of Programming Languages"},"type":"conference","author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","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"},{"last_name":"Mcmillan","first_name":"Kenneth","full_name":"McMillan, Kenneth L"}]},{"_id":"4459","abstract":[{"text":"Software model checking has been successful for sequential programs, where predicate abstraction offers suitable models, and counterexample-guided abstraction refinement permits the automatic inference of models. When checking concurrent programs, we need to abstract threads as well as the contexts in which they execute. Stateless context models, such as predicates on global variables, prove insufficient for showing the absence of race conditions in many examples. We therefore use richer context models, which combine (1) predicates for abstracting data state, (2) control flow quotients for abstracting control state, and (3) counters for abstracting an unbounded number of threads. We infer suitable context models automatically by a combination of counterexample-guided abstraction refinement, bisimulation minimization, circular assume-guarantee reasoning, and parametric reasoning about an unbounded number of threads. This algorithm, called CIRC, has been implemented in BLAST and succeeds in checking many examples of NESC code for data races. In particular, BLAST proves the absence of races in several cases where previous race checkers give false positives.","lang":"eng"}],"month":"06","publication_status":"published","date_updated":"2021-01-12T07:57:07Z","page":"1 - 13","extern":1,"date_published":"2004-06-01T00:00:00Z","quality_controlled":0,"date_created":"2018-12-11T12:08:57Z","day":"01","conference":{"name":"PLDI: Programming Languages Design and Implementation"},"type":"conference","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Jhala, Ranjit","first_name":"Ranjit","last_name":"Jhala"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"}],"title":"Race checking by context inference","year":"2004","status":"public","publisher":"ACM","doi":"10.1145/996841.996844","citation":{"apa":"Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. <a href=\"https://doi.org/10.1145/996841.996844\">https://doi.org/10.1145/996841.996844</a>","ieee":"T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.","mla":"Henzinger, Thomas A., et al. <i>Race Checking by Context Inference</i>. ACM, 2004, pp. 1–13, doi:<a href=\"https://doi.org/10.1145/996841.996844\">10.1145/996841.996844</a>.","chicago":"Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. <a href=\"https://doi.org/10.1145/996841.996844\">https://doi.org/10.1145/996841.996844</a>.","short":"T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.","ama":"Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:<a href=\"https://doi.org/10.1145/996841.996844\">10.1145/996841.996844</a>","ista":"Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13."},"publist_id":"271"},{"status":"public","year":"2004","publication":"Verification: Theory and Practice","title":"Extreme model checking","acknowledgement":"This work was supported in part by the NSF grants CCR-9988172, CCR-0085949, and CCR-0234690, the ONR grant N00014-02-1-0671, the DARPA grant F33615-00-C-1693, and the MARCO grant 98-DT-660. ","publisher":"Springer","citation":{"short":"T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.","ama":"Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: <i>Verification: Theory and Practice</i>. Vol 2772. Springer; 2004:332-358. doi:<a href=\"https://doi.org/10.1007/978-3-540-39910-0_16\">10.1007/978-3-540-39910-0_16</a>","ista":"Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.","apa":"Henzinger, T. A., Jhala, R., Majumdar, R., &#38; Sanvido, M. (2004). Extreme model checking. In <i>Verification: Theory and Practice</i> (Vol. 2772, pp. 332–358). Springer. <a href=\"https://doi.org/10.1007/978-3-540-39910-0_16\">https://doi.org/10.1007/978-3-540-39910-0_16</a>","ieee":"T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in <i>Verification: Theory and Practice</i>, vol. 2772, Springer, 2004, pp. 332–358.","mla":"Henzinger, Thomas A., et al. “Extreme Model Checking.” <i>Verification: Theory and Practice</i>, vol. 2772, Springer, 2004, pp. 332–58, doi:<a href=\"https://doi.org/10.1007/978-3-540-39910-0_16\">10.1007/978-3-540-39910-0_16</a>.","chicago":"Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In <i>Verification: Theory and Practice</i>, 2772:332–58. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-39910-0_16\">https://doi.org/10.1007/978-3-540-39910-0_16</a>."},"doi":"10.1007/978-3-540-39910-0_16","publist_id":"269","alternative_title":["LNCS"],"day":"24","type":"book_chapter","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"last_name":"Jhala","first_name":"Ranjit","full_name":"Jhala, Ranjit"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"},{"last_name":"Sanvido","first_name":"Marco","full_name":"Sanvido, Marco A"}],"date_updated":"2021-01-12T07:57:08Z","page":"332 - 358","extern":1,"intvolume":"      2772","volume":2772,"date_created":"2018-12-11T12:08:58Z","quality_controlled":0,"date_published":"2004-02-24T00:00:00Z","_id":"4461","publication_status":"published","abstract":[{"text":"One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checking, it has become possible to supplement this process with automatic checks for behavioral safety properties of programs, such as conformance with locking idioms and other programming protocols and patterns. For efficiency reasons, all checks must be incremental, i.e., they must reuse partial results from previous checks in order to avoid all unnecessary repetition of expensive verification tasks. We show that the lazy-abstraction algorithm, and its implementation in Blast, can be extended to support the fully automatic and incremental checking of temporal safety properties during software development.","lang":"eng"}],"month":"02"},{"_id":"4525","abstract":[{"text":"We present a new high-level programming language, called xGiotto, for programming applications with hard real-time constraints. Like its predecessor, xGiotto is based on the LET (logical execution time) assumption: the programmer specifies when the outputs of a task become available, and the compiler checks if the specification can be implemented on a given platform. However, while the predecessor language xGiotto was purely time-triggered, xGiotto accommodates also asynchronous events. Indeed, through a mechanism called event scoping, events are the main structuring principle of the new language. The xGiotto compiler and run-time system implement event scoping through a tree-based event filter. The compiler also checks programs for determinism (absence of race conditions).","lang":"eng"}],"month":"03","publication_status":"published","date_updated":"2021-01-12T07:59:26Z","extern":1,"page":"167 - 170","intvolume":"      2993","volume":2993,"quality_controlled":0,"date_created":"2018-12-11T12:09:18Z","date_published":"2004-03-12T00:00:00Z","day":"12","alternative_title":["LNCS"],"conference":{"name":"HSCC: Hybrid Systems - Computation and Control"},"type":"conference","author":[{"first_name":"Arkadeb","last_name":"Ghosal","full_name":"Ghosal, Arkadeb"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Kirsch, Christoph M","last_name":"Kirsch","first_name":"Christoph"},{"last_name":"Sanvido","first_name":"Marco","full_name":"Sanvido, Marco A"}],"title":"Event-driven programming with logical execution times","year":"2004","status":"public","acknowledgement":"This research is supported by the AFOSR MURI grant F49620-00-1-0327, the DARPA SEC grant F33615-C-98-3614, the MARCO GSRC grant 98-DT-660, and the NSF grants CCR-0208875 and CCR-0225610.","publisher":"Springer","doi":"10.1007/978-3-540-24743-2_24","citation":{"apa":"Ghosal, A., Henzinger, T. A., Kirsch, C., &#38; Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. <a href=\"https://doi.org/10.1007/978-3-540-24743-2_24\">https://doi.org/10.1007/978-3-540-24743-2_24</a>","ieee":"A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.","mla":"Ghosal, Arkadeb, et al. <i>Event-Driven Programming with Logical Execution Times</i>. Vol. 2993, Springer, 2004, pp. 167–70, doi:<a href=\"https://doi.org/10.1007/978-3-540-24743-2_24\">10.1007/978-3-540-24743-2_24</a>.","chicago":"Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-24743-2_24\">https://doi.org/10.1007/978-3-540-24743-2_24</a>.","short":"A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.","ama":"Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:<a href=\"https://doi.org/10.1007/978-3-540-24743-2_24\">10.1007/978-3-540-24743-2_24</a>","ista":"Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170."},"publist_id":"200"},{"publication_status":"published","month":"09","abstract":[{"text":"Strategies in repeated games can be classified as to whether or not they use memory and/or randomization. We consider Markov decision processes and 2-player graph games, both of the deterministic and probabilistic varieties. We characterize when memory and/or randomization are required for winning with respect to various classes of w-regular objectives, noting particularly when the use of memory can be traded for the use of randomization. In particular, we show that Markov decision processes allow randomized memoryless optimal strategies for all M?ller objectives. Furthermore, we show that 2-player probabilistic graph games allow randomized memoryless strategies for winning with probability 1 those M?ller objectives which are upward-closed. Upward-closure means that if a set α of infinitely repeating vertices is winning, then all supersets of α are also winning.","lang":"eng"}],"_id":"4555","date_created":"2018-12-11T12:09:27Z","date_published":"2004-09-30T00:00:00Z","quality_controlled":0,"page":"206 - 217","extern":1,"date_updated":"2021-01-12T07:59:40Z","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Krishnendu Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"first_name":"Luca","last_name":"De Alfaro","full_name":"de Alfaro, Luca"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"type":"conference","conference":{"name":"QEST: Quantitative Evaluation of Systems"},"day":"30","publist_id":"155","publisher":"IEEE","doi":"10.1109/QEST.2004.10051","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>Trading Memory for Randomness</i>. IEEE, 2004, pp. 206–17, doi:<a href=\"https://doi.org/10.1109/QEST.2004.10051\">10.1109/QEST.2004.10051</a>.","chicago":"Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. <a href=\"https://doi.org/10.1109/QEST.2004.10051\">https://doi.org/10.1109/QEST.2004.10051</a>.","apa":"Chatterjee, K., De Alfaro, L., &#38; Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. <a href=\"https://doi.org/10.1109/QEST.2004.10051\">https://doi.org/10.1109/QEST.2004.10051</a>","ieee":"K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.","short":"K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.","ama":"Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:<a href=\"https://doi.org/10.1109/QEST.2004.10051\">10.1109/QEST.2004.10051</a>","ista":"Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217."},"year":"2004","title":"Trading memory for randomness","status":"public"},{"day":"11","type":"journal_article","author":[{"full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Ma, Di","last_name":"Ma","first_name":"Di"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"},{"first_name":"Tian","last_name":"Zhao","full_name":"Zhao, Tian"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Palsberg, Jens","first_name":"Jens","last_name":"Palsberg"}],"year":"2004","title":"Stack size analysis for interrupt-driven programs","publication":"Information and Computation","status":"public","citation":{"short":"K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.","ama":"Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. <i>Information and Computation</i>. 2004;194(2):144-174. doi:<a href=\"https://doi.org/10.1016/j.ic.2004.06.001\">10.1016/j.ic.2004.06.001</a>","ista":"Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.","mla":"Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” <i>Information and Computation</i>, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:<a href=\"https://doi.org/10.1016/j.ic.2004.06.001\">10.1016/j.ic.2004.06.001</a>.","chicago":"Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” <i>Information and Computation</i>. Elsevier, 2004. <a href=\"https://doi.org/10.1016/j.ic.2004.06.001\">https://doi.org/10.1016/j.ic.2004.06.001</a>.","ieee":"K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” <i>Information and Computation</i>, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.","apa":"Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., &#38; Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ic.2004.06.001\">https://doi.org/10.1016/j.ic.2004.06.001</a>"},"doi":"10.1016/j.ic.2004.06.001","publisher":"Elsevier","publist_id":"156","_id":"4556","publication_status":"published","abstract":[{"lang":"eng","text":"We study the problem of determining stack boundedness and the exact maximum stack size for three classes of interrupt-driven programs. Interrupt-driven programs are used in many real-time applications that require responsive interrupt handling. In order to ensure responsiveness, programmers often enable interrupt processing in the body of lower-priority interrupt handlers. In such programs a programming error can allow interrupt handlers to be interrupted in a cyclic fashion to lead to an unbounded stack, causing the system to crash. For a restricted class of interrupt-driven programs, we show that there is a polynomial-time procedure to check stack boundedness, while determining the exact maximum stack size is PSPACE-complete. For a larger class of programs, the two problems are both PSPACE-complete, and for the largest class of programs we consider, the two problems are PSPACE-hard and can be solved in exponential time. While the complexities are high, our algorithms are exponential only in the number of handlers, and polynomial in the size of the program."}],"month":"08","date_updated":"2021-01-12T07:59:40Z","extern":1,"issue":"2","page":"144 - 174","intvolume":"       194","volume":194,"date_created":"2018-12-11T12:09:28Z","date_published":"2004-08-11T00:00:00Z","quality_controlled":0},{"day":"01","type":"conference","conference":{"name":"SODA: Symposium on Discrete Algorithms"},"author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Krishnendu Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"first_name":"Marcin","last_name":"Jurdziński","full_name":"Jurdziński, Marcin"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger"}],"title":"Quantitative stochastic parity games","year":"2004","status":"public","citation":{"ieee":"K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.","apa":"Chatterjee, K., Jurdziński, M., &#38; Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.","mla":"Chatterjee, Krishnendu, et al. <i>Quantitative Stochastic Parity Games</i>. SIAM, 2004, pp. 121–30.","chicago":"Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.","short":"K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.","ista":"Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.","ama":"Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130."},"publisher":"SIAM","publist_id":"153","_id":"4558","abstract":[{"text":"We study perfect-information stochastic parity games. These are two-player nonterminating games which are played on a graph with turn-based probabilistic transitions. A play results in an infinite path and the conflicting goals of the two players are ω-regular path properties, formalized as parity winning conditions. The qualitative solution of such a game amounts to computing the set of vertices from which a player has a strategy to win with probability 1 (or with positive probability). The quantitative solution amounts to computing the value of the game in every vertex, i.e., the highest probability with which a player can guarantee satisfaction of his own objective in a play that starts from the vertex.For the important special case of one-player stochastic parity games (parity Markov decision processes) we give polynomial-time algorithms both for the qualitative and the quantitative solution. The running time of the qualitative solution is O(d · m3/2) for graphs with m edges and d priorities. The quantitative solution is based on a linear-programming formulation.For the two-player case, we establish the existence of optimal pure memoryless strategies. This has several important ramifications. First, it implies that the values of the games are rational. This is in contrast to the concurrent stochastic parity games of de Alfaro et al.; there, values are in general algebraic numbers, optimal strategies do not exist, and ε-optimal strategies have to be mixed and with infinite memory. Second, the existence of optimal pure memoryless strategies together with the polynomial-time solution forone-player case implies that the quantitative two-player stochastic parity game problem is in NP ∩ co-NP. This generalizes a result of Condon for stochastic games with reachability objectives. It also constitutes an exponential improvement over the best previous algorithm, which is based on a doubly exponential procedure of de Alfaro and Majumdar for concurrent stochastic parity games and provides only ε-approximations of the values.","lang":"eng"}],"publication_status":"published","month":"01","date_updated":"2021-01-12T07:59:41Z","page":"121 - 130","extern":1,"quality_controlled":0,"date_created":"2018-12-11T12:09:28Z","date_published":"2004-01-01T00:00:00Z"},{"_id":"2623","publication_status":"published","abstract":[{"text":"Patients with Hodgkin's disease can develop paraneoplastic cerebellar ataxia because of the generation of autoantibodies against mGluR1 (mGluR1-Abs). Yet, the pathophysiological mechanisms underlying their motor coordination deficits remain to be elucidated. Here, we show that application of IgG purified from the patients' serum to cerebellar slices of mice acutely reduces the basal activity of Purkinje cells, whereas application to the flocculus of mice in vivo evokes acute disturbances in the performance of their compensatory eye movements. In addition, the mGluR1-Abs block induction of long-term depression in cultured mouse Purkinje cells, whereas the cerebellar motor learning behavior of the patients is affected in that they show impaired adaptation of their saccadic eye movements. Finally, postmortem analysis of the cerebellum of a paraneoplastic cerebellar ataxia patient showed that the number of Purkinje cells was significantly reduced by approximately two thirds compared with three controls. We conclude that autoantibodies against mGluR1 can cause cerebellar motor coordination deficits caused by a combination of rapid effects on both acute and plastic responses of Purkinje cells and chronic degenerative effects.","lang":"eng"}],"month":"03","volume":53,"intvolume":"        53","date_created":"2018-12-11T11:58:44Z","date_published":"2003-03-01T00:00:00Z","quality_controlled":0,"date_updated":"2021-01-12T06:58:39Z","issue":"3","extern":1,"page":"325 - 336","author":[{"full_name":"Coesmans, Michiel P","last_name":"Coesmans","first_name":"Michiel"},{"full_name":"Sillevis-Smitt, Peter A","first_name":"Peter","last_name":"Sillevis Smitt"},{"first_name":"David","last_name":"Linden","full_name":"Linden, David J"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","orcid":"0000-0001-8761-9444"},{"full_name":"Hirano, Tomoo","last_name":"Hirano","first_name":"Tomoo"},{"full_name":"Yamakawa, Yoshinori","last_name":"Yamakawa","first_name":"Yoshinori"},{"full_name":"Van Alphen, Adriaan M","first_name":"Adriaan","last_name":"Van Alphen"},{"full_name":"Luo, Chongde","first_name":"Chongde","last_name":"Luo"},{"first_name":"Jos","last_name":"Van Der Geest","full_name":"Van Der Geest, Jos N"},{"full_name":"Kros, Johan M","first_name":"Johan","last_name":"Kros"},{"full_name":"Gaillard, Carlo A","last_name":"Gaillard","first_name":"Carlo"},{"full_name":"Frens, Maarten A","last_name":"Frens","first_name":"Maarten"},{"last_name":"De Zeeuw","first_name":"Chris","full_name":"De Zeeuw, Chris I"}],"day":"01","type":"journal_article","publist_id":"4274","year":"2003","title":"Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies","status":"public","publication":"Annals of Neurology","citation":{"apa":"Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. <i>Annals of Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/ana.10451\">https://doi.org/10.1002/ana.10451</a>","ieee":"M. Coesmans <i>et al.</i>, “Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies,” <i>Annals of Neurology</i>, vol. 53, no. 3. Wiley-Blackwell, pp. 325–336, 2003.","chicago":"Coesmans, Michiel, Peter Sillevis Smitt, David Linden, Ryuichi Shigemoto, Tomoo Hirano, Yoshinori Yamakawa, Adriaan Van Alphen, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” <i>Annals of Neurology</i>. Wiley-Blackwell, 2003. <a href=\"https://doi.org/10.1002/ana.10451\">https://doi.org/10.1002/ana.10451</a>.","mla":"Coesmans, Michiel, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” <i>Annals of Neurology</i>, vol. 53, no. 3, Wiley-Blackwell, 2003, pp. 325–36, doi:<a href=\"https://doi.org/10.1002/ana.10451\">10.1002/ana.10451</a>.","ista":"Coesmans M, Sillevis Smitt P, Linden D, Shigemoto R, Hirano T, Yamakawa Y, Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C. 2003. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 53(3), 325–336.","ama":"Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. <i>Annals of Neurology</i>. 2003;53(3):325-336. doi:<a href=\"https://doi.org/10.1002/ana.10451\">10.1002/ana.10451</a>","short":"M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336."},"doi":"10.1002/ana.10451","publisher":"Wiley-Blackwell"},{"date_published":"2003-03-01T00:00:00Z","quality_controlled":0,"date_created":"2018-12-11T11:58:44Z","intvolume":"        17","volume":17,"extern":1,"page":"1023 - 1032","issue":"5","date_updated":"2021-01-12T06:58:39Z","publication_status":"published","month":"03","abstract":[{"text":"Metabotropic glutamate receptor 1 (mGluR1) plays a crucial role in synaptic plasticity and motor learning in the cerebellum. We have studied activity-dependent changes in mGluR1 function in mouse cultured Purkinje neurons. Depolarizing stimulation potentiated Ca2+ and current responses to an mGluR1 agonist for several hours in the cultured Purkinje neurons. It also blocked internalization of mGluR1 and increased the number of mGluR1s on the cell membrane. We found that depolarization simultaneously increased transcription of Homer1a in Purkinje neurons. Homer1a inhibited internalization and increased cell-surface expression of mGluR1 when coexpressed in human embryonic kidney (HEK)-293 cells. Depolarization-induced Homer1a expression in Purkinje neurons was blocked by a mitogen-activated protein kinase (MAPK) inhibitor. Changes in internalization and mGluR1-mediated Ca2+ response were also blocked by inhibition of MAPK activity, suggesting that localization and activity of mGluR1 were regulated in the same signalling pathway as Homer1a expression. It is thus suggested that depolarization of the Purkinje neuron leads to the increment in mGluR1 responsiveness through MAPK activity and induction of Homer1a expression, which increases active mGluR1 on the cell surface by blocking internalization of mGluR1.","lang":"eng"}],"_id":"2625","publist_id":"4273","doi":"10.1046/j.1460-9568.2003.02499.x","citation":{"apa":"Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., &#38; Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1046/j.1460-9568.2003.02499.x\">https://doi.org/10.1046/j.1460-9568.2003.02499.x</a>","ieee":"I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, and T. Hirano, “Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons,” <i>European Journal of Neuroscience</i>, vol. 17, no. 5. Wiley-Blackwell, pp. 1023–1032, 2003.","mla":"Minami, Itsunari, et al. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” <i>European Journal of Neuroscience</i>, vol. 17, no. 5, Wiley-Blackwell, 2003, pp. 1023–32, doi:<a href=\"https://doi.org/10.1046/j.1460-9568.2003.02499.x\">10.1046/j.1460-9568.2003.02499.x</a>.","chicago":"Minami, Itsunari, Mineko Kengaku, Sillevis Smitt, Ryuichi Shigemoto, and Tomoo Hirano. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2003. <a href=\"https://doi.org/10.1046/j.1460-9568.2003.02499.x\">https://doi.org/10.1046/j.1460-9568.2003.02499.x</a>.","short":"I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.","ama":"Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. <i>European Journal of Neuroscience</i>. 2003;17(5):1023-1032. doi:<a href=\"https://doi.org/10.1046/j.1460-9568.2003.02499.x\">10.1046/j.1460-9568.2003.02499.x</a>","ista":"Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. 2003. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 17(5), 1023–1032."},"publisher":"Wiley-Blackwell","publication":"European Journal of Neuroscience","title":"Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons","status":"public","year":"2003","author":[{"last_name":"Minami","first_name":"Itsunari","full_name":"Minami, Itsunari"},{"first_name":"Mineko","last_name":"Kengaku","full_name":"Kengaku, Mineko"},{"full_name":"Smitt, Sillevis P","last_name":"Smitt","first_name":"Sillevis"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Ryuichi Shigemoto","orcid":"0000-0001-8761-9444"},{"first_name":"Tomoo","last_name":"Hirano","full_name":"Hirano, Tomoo"}],"type":"journal_article","day":"01"}]