[{"type":"journal_article","issue":"2","page":"132-138","month":"04","intvolume":"        22","publication_status":"published","article_type":"review","quality_controlled":"1","citation":{"mla":"Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.” <i>Current Opinion in Genetics and Development</i>, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:<a href=\"https://doi.org/10.1016/j.gde.2012.01.007\">10.1016/j.gde.2012.01.007</a>.","short":"J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.","ieee":"J. T. Huff and D. Zilberman, “Regulation of biological accuracy, precision, and memory by plant chromatin organization,” <i>Current Opinion in Genetics and Development</i>, vol. 22, no. 2. Elsevier, pp. 132–138, 2012.","ista":"Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.","apa":"Huff, J. T., &#38; Zilberman, D. (2012). Regulation of biological accuracy, precision, and memory by plant chromatin organization. <i>Current Opinion in Genetics and Development</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.gde.2012.01.007\">https://doi.org/10.1016/j.gde.2012.01.007</a>","chicago":"Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.” <i>Current Opinion in Genetics and Development</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.gde.2012.01.007\">https://doi.org/10.1016/j.gde.2012.01.007</a>.","ama":"Huff JT, Zilberman D. Regulation of biological accuracy, precision, and memory by plant chromatin organization. <i>Current Opinion in Genetics and Development</i>. 2012;22(2):132-138. doi:<a href=\"https://doi.org/10.1016/j.gde.2012.01.007\">10.1016/j.gde.2012.01.007</a>"},"scopus_import":"1","publication":"Current Opinion in Genetics and Development","publisher":"Elsevier","department":[{"_id":"DaZi"}],"language":[{"iso":"eng"}],"abstract":[{"text":"Accumulating evidence points toward diverse functions for plant chromatin. Remarkable progress has been made over the last few years in elucidating the mechanisms for a number of these functions. Activity of the histone demethylase IBM1 accurately targets DNA methylation to silent repeats and transposable elements, not to genes. A genetic screen uncovered the surprising role of H2A.Z-containing nucleosomes in sensing precise differences in ambient temperature and consequent gene regulation. Precise maintenance of chromosome number is assured by a histone modification that suppresses inappropriate DNA replication and by centromeric histone H3 regulation of chromosome segregation. Histones and noncoding RNAs regulate FLOWERING LOCUS C, the expression of which quantitatively measures the duration of cold exposure, functioning as memory of winter. These findings are a testament to the power of using plants to research chromatin organization, and demonstrate examples of how chromatin functions to achieve biological accuracy, precision, and memory.","lang":"eng"}],"date_updated":"2021-12-14T08:32:38Z","_id":"9528","title":"Regulation of biological accuracy, precision, and memory by plant chromatin organization","article_processing_charge":"No","publication_identifier":{"issn":["0959-437X"]},"year":"2012","date_created":"2021-06-08T08:58:52Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","volume":22,"pmid":1,"doi":"10.1016/j.gde.2012.01.007","author":[{"first_name":"Jason T.","full_name":"Huff, Jason T.","last_name":"Huff"},{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","last_name":"Zilberman","first_name":"Daniel","full_name":"Zilberman, Daniel","orcid":"0000-0002-0123-8649"}],"status":"public","extern":"1","oa_version":"None","date_published":"2012-04-01T00:00:00Z","external_id":{"pmid":["22336527"]}},{"main_file_link":[{"url":"https://doi.org/10.1101/sqb.2012.77.014944","open_access":"1"}],"type":"journal_article","month":"12","intvolume":"        77","page":"147-154","quality_controlled":"1","citation":{"short":"D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.","mla":"Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” <i>Cold Spring Harbor Symposia on Quantitative Biology</i>, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:<a href=\"https://doi.org/10.1101/sqb.2012.77.014944\">10.1101/sqb.2012.77.014944</a>.","ieee":"D. Coleman-Derr and D. Zilberman, “DNA methylation, H2A.Z, and the regulation of constitutive expression,” <i>Cold Spring Harbor Symposia on Quantitative Biology</i>, vol. 77. Cold Spring Harbor Laboratory Press, pp. 147–154, 2012.","ista":"Coleman-Derr D, Zilberman D. 2012. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.","chicago":"Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” <i>Cold Spring Harbor Symposia on Quantitative Biology</i>. Cold Spring Harbor Laboratory Press, 2012. <a href=\"https://doi.org/10.1101/sqb.2012.77.014944\">https://doi.org/10.1101/sqb.2012.77.014944</a>.","apa":"Coleman-Derr, D., &#38; Zilberman, D. (2012). DNA methylation, H2A.Z, and the regulation of constitutive expression. <i>Cold Spring Harbor Symposia on Quantitative Biology</i>. Cold Spring Harbor Laboratory Press. <a href=\"https://doi.org/10.1101/sqb.2012.77.014944\">https://doi.org/10.1101/sqb.2012.77.014944</a>","ama":"Coleman-Derr D, Zilberman D. DNA methylation, H2A.Z, and the regulation of constitutive expression. <i>Cold Spring Harbor Symposia on Quantitative Biology</i>. 2012;77:147-154. doi:<a href=\"https://doi.org/10.1101/sqb.2012.77.014944\">10.1101/sqb.2012.77.014944</a>"},"publication_status":"published","article_type":"review","language":[{"iso":"eng"}],"department":[{"_id":"DaZi"}],"abstract":[{"lang":"eng","text":"The most well-studied function of DNA methylation in eukaryotic cells is the transcriptional silencing of genes and transposons. More recent results showed that many eukaryotes methylate the bodies of genes as well and that this methylation correlates with transcriptional activity rather than repression. The purpose of gene body methylation remains mysterious, but is potentially related to the histone variant H2A.Z. Studies in plants and animals have shown that the genome-wide distributions of H2A.Z and DNA methylation are strikingly anticorrelated. Furthermore, we and other investigators have shown that this relationship is likely to be the result of an ancient but unknown mechanism by which DNA methylation prevents the incorporation of H2A.Z. Recently, we discovered strong correlations between the presence of H2A.Z within gene bodies, the degree to which a gene's expression varies across tissue types or environmental conditions, and transcriptional misregulation in an h2a.z mutant. We propose that one basal function of gene body methylation is the establishment of constitutive expression patterns within housekeeping genes by excluding H2A.Z from their bodies."}],"publication":"Cold Spring Harbor Symposia on Quantitative Biology","scopus_import":"1","publisher":"Cold Spring Harbor Laboratory Press","article_processing_charge":"No","title":"DNA methylation, H2A.Z, and the regulation of constitutive expression","date_updated":"2021-12-14T08:33:09Z","_id":"9535","year":"2012","publication_identifier":{"eissn":["1943-4456"],"issn":["0091-7451"]},"oa":1,"author":[{"first_name":"D.","full_name":"Coleman-Derr, D.","last_name":"Coleman-Derr"},{"first_name":"Daniel","full_name":"Zilberman, Daniel","orcid":"0000-0002-0123-8649","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","last_name":"Zilberman"}],"status":"public","extern":"1","oa_version":"Published Version","date_created":"2021-06-08T13:01:23Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","volume":77,"doi":"10.1101/sqb.2012.77.014944","pmid":1,"external_id":{"pmid":["23250988"]},"date_published":"2012-12-18T00:00:00Z","day":"18"},{"oa":1,"issue":"22","intvolume":"        86","year":"2012","acknowledgement":"We thank Kuang-Ting Chen, Rebecca Flint, Dmitri Ivanov, Z.-X. Liu, Tai-Kai Ng, Lara Thompson, Tamás Tóth, and Fa Wang for helpful discussions. T.S. is supported by NSF DMR 1005434. P.A.L. is supported by NSF DMR 1104498. S.B. acknowledges support from the Swiss National Science Foundation (SNSF).","month":"12","date_updated":"2021-01-12T08:22:18Z","type":"journal_article","_id":"966","main_file_link":[{"url":"https://arxiv.org/abs/1208.3231","open_access":"1"}],"title":"Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice","day":"13","publisher":"American Physical Society","date_published":"2012-12-13T00:00:00Z","publication":"Physical Review B - Condensed Matter and Materials Physics","abstract":[{"text":"Motivated by recent experiments on Ba3NiSb2O 9, we investigate possible quantum spin liquid ground states for spin S=1 Heisenberg models on the triangular lattice. We use variational Monte Carlo techniques to calculate the energies of microscopic spin liquid wave functions where spin is represented by three flavors of fermionic spinon operators. These energies are compared with the energies of various competing three-sublattice ordered states. Our approach shows that the antiferromagnetic Heisenberg model with biquadratic term and single-ion anisotropy does not have a low-temperature spin liquid phase. However, for an SU(3)-invariant model with sufficiently strong ring-exchange terms, we find a paired chiral quantum spin liquid with a Fermi surface of deconfined spinons that is stable against all types of ordering patterns we considered. We discuss the physics of this exotic spin liquid state in relation to the recent experiment and suggest new ways to test this scenario.","lang":"eng"}],"publist_id":"6431","doi":"10.1103/PhysRevB.86.224409","date_created":"2018-12-11T11:49:27Z","publication_status":"published","volume":86,"quality_controlled":0,"author":[{"full_name":"Bieri, Samuel","first_name":"Samuel","last_name":"Bieri"},{"full_name":"Maksym Serbyn","first_name":"Maksym","orcid":"0000-0002-2399-5827","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","last_name":"Serbyn"},{"last_name":"Senthil","first_name":"Todadri","full_name":"Senthil, Todadri S"},{"full_name":"Lee, Patrick","first_name":"Patrick","last_name":"Lee"}],"status":"public","citation":{"ista":"Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22).","ieee":"S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 86, no. 22. American Physical Society, 2012.","mla":"Bieri, Samuel, et al. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 86, no. 22, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevB.86.224409\">10.1103/PhysRevB.86.224409</a>.","short":"S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).","ama":"Bieri S, Serbyn M, Senthil T, Lee P. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. <i>Physical Review B - Condensed Matter and Materials Physics</i>. 2012;86(22). doi:<a href=\"https://doi.org/10.1103/PhysRevB.86.224409\">10.1103/PhysRevB.86.224409</a>","apa":"Bieri, S., Serbyn, M., Senthil, T., &#38; Lee, P. (2012). Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.86.224409\">https://doi.org/10.1103/PhysRevB.86.224409</a>","chicago":"Bieri, Samuel, Maksym Serbyn, Todadri Senthil, and Patrick Lee. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevB.86.224409\">https://doi.org/10.1103/PhysRevB.86.224409</a>."},"extern":1},{"year":"2012","month":"09","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.sv37s"}],"title":"Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies","article_processing_charge":"No","date_updated":"2023-02-23T11:18:41Z","_id":"9755","type":"research_data_reference","related_material":{"record":[{"id":"3242","status":"public","relation":"used_in_publication"}]},"abstract":[{"text":"Due to the omnipresent risk of epidemics, insect societies have evolved sophisticated disease defences at the individual and colony level. An intriguing yet little understood phenomenon is that social contact to pathogen-exposed individuals reduces susceptibility of previously naive nestmates to this pathogen. We tested whether such social immunisation in Lasius ants against the entomopathogenic fungus Metarhizium anisopliae is based on active upregulation of the immune system of nestmates following contact to an infectious individual or passive protection via transfer of immune effectors among group members—that is, active versus passive immunisation. We found no evidence for involvement of passive immunisation via transfer of antimicrobials among colony members. Instead, intensive allogrooming behaviour between naive and pathogen-exposed ants before fungal conidia firmly attached to their cuticle suggested passage of the pathogen from the exposed individuals to their nestmates. By tracing fluorescence-labelled conidia we indeed detected frequent pathogen transfer to the nestmates, where they caused low-level infections as revealed by growth of small numbers of fungal colony forming units from their dissected body content. These infections rarely led to death, but instead promoted an enhanced ability to inhibit fungal growth and an active upregulation of immune genes involved in antifungal defences (defensin and prophenoloxidase, PPO). Contrarily, there was no upregulation of the gene cathepsin L, which is associated with antibacterial and antiviral defences, and we found no increased antibacterial activity of nestmates of fungus-exposed ants. This indicates that social immunisation after fungal exposure is specific, similar to recent findings for individual-level immune priming in invertebrates. Epidemiological modeling further suggests that active social immunisation is adaptive, as it leads to faster elimination of the disease and lower death rates than passive immunisation. Interestingly, humans have also utilised the protective effect of low-level infections to fight smallpox by intentional transfer of low pathogen doses (“variolation” or “inoculation”).","lang":"eng"}],"department":[{"_id":"SyCr"}],"publisher":"Dryad","day":"27","date_published":"2012-09-27T00:00:00Z","oa_version":"Published Version","status":"public","author":[{"full_name":"Konrad, Matthias","first_name":"Matthias","last_name":"Konrad","id":"46528076-F248-11E8-B48F-1D18A9856A87"},{"id":"418901AA-F248-11E8-B48F-1D18A9856A87","last_name":"Vyleta","full_name":"Vyleta, Meghan","first_name":"Meghan"},{"last_name":"Theis","first_name":"Fabian","full_name":"Theis, Fabian"},{"first_name":"Miriam","full_name":"Stock, Miriam","last_name":"Stock","id":"42462816-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Martina","full_name":"Klatt, Martina","last_name":"Klatt","id":"E60F29C6-E9AE-11E9-AF6E-D190C7302F38"},{"last_name":"Drescher","first_name":"Verena","full_name":"Drescher, Verena"},{"last_name":"Marr","full_name":"Marr, Carsten","first_name":"Carsten"},{"full_name":"Ugelvig, Line V","first_name":"Line V","orcid":"0000-0003-1832-8883","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","last_name":"Ugelvig"},{"last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","first_name":"Sylvia"}],"citation":{"ama":"Konrad M, Vyleta M, Theis F, et al. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. 2012. doi:<a href=\"https://doi.org/10.5061/dryad.sv37s\">10.5061/dryad.sv37s</a>","apa":"Konrad, M., Vyleta, M., Theis, F., Stock, M., Klatt, M., Drescher, V., … Cremer, S. (2012). Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. Dryad. <a href=\"https://doi.org/10.5061/dryad.sv37s\">https://doi.org/10.5061/dryad.sv37s</a>","chicago":"Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” Dryad, 2012. <a href=\"https://doi.org/10.5061/dryad.sv37s\">https://doi.org/10.5061/dryad.sv37s</a>.","ista":"Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, <a href=\"https://doi.org/10.5061/dryad.sv37s\">10.5061/dryad.sv37s</a>.","ieee":"M. Konrad <i>et al.</i>, “Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies.” Dryad, 2012.","mla":"Konrad, Matthias, et al. <i>Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies</i>. Dryad, 2012, doi:<a href=\"https://doi.org/10.5061/dryad.sv37s\">10.5061/dryad.sv37s</a>.","short":"M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012)."},"doi":"10.5061/dryad.sv37s","date_created":"2021-07-30T08:39:13Z","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf"},{"related_material":{"record":[{"id":"2926","status":"public","relation":"used_in_publication"}]},"type":"research_data_reference","_id":"9757","date_updated":"2023-02-23T11:04:28Z","article_processing_charge":"No","title":"Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison","main_file_link":[{"url":"https://doi.org/10.5061/dryad.61649","open_access":"1"}],"oa":1,"month":"12","year":"2012","date_created":"2021-07-30T12:31:31Z","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","doi":"10.5061/dryad.61649","citation":{"ieee":"S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison.” Dryad, 2012.","ista":"Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, <a href=\"https://doi.org/10.5061/dryad.61649\">10.5061/dryad.61649</a>.","mla":"Tragust, Simon, et al. <i>Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison</i>. Dryad, 2012, doi:<a href=\"https://doi.org/10.5061/dryad.61649\">10.5061/dryad.61649</a>.","short":"S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).","ama":"Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:<a href=\"https://doi.org/10.5061/dryad.61649\">10.5061/dryad.61649</a>","chicago":"Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Dryad, 2012. <a href=\"https://doi.org/10.5061/dryad.61649\">https://doi.org/10.5061/dryad.61649</a>.","apa":"Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., &#38; Cremer, S. (2012). Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Dryad. <a href=\"https://doi.org/10.5061/dryad.61649\">https://doi.org/10.5061/dryad.61649</a>"},"author":[{"full_name":"Tragust, Simon","first_name":"Simon","last_name":"Tragust","id":"35A7A418-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Barbara","full_name":"Mitteregger, Barbara","last_name":"Mitteregger","id":"479DDAAC-E9CD-11E9-9B5F-82450873F7A1"},{"full_name":"Barone, Vanessa","first_name":"Vanessa","orcid":"0000-0003-2676-3367","id":"419EECCC-F248-11E8-B48F-1D18A9856A87","last_name":"Barone"},{"first_name":"Matthias","full_name":"Konrad, Matthias","last_name":"Konrad","id":"46528076-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ugelvig","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1832-8883","full_name":"Ugelvig, Line V","first_name":"Line V"},{"orcid":"0000-0002-2193-3868","first_name":"Sylvia","full_name":"Cremer, Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"status":"public","oa_version":"Published Version","date_published":"2012-12-14T00:00:00Z","publisher":"Dryad","day":"14","department":[{"_id":"SyCr"}],"abstract":[{"lang":"eng","text":"To fight infectious diseases, host immune defences are employed at multiple levels. Sanitary behaviour, such as pathogen avoidance and removal, acts as a first line of defence to prevent infection [1] before activation of the physiological immune system. Insect societies have evolved a wide range of collective hygiene measures and intensive health care towards pathogen-exposed group members [2]. One of the most common behaviours is allogrooming, in which nestmates remove infectious particles from the body surfaces of exposed individuals [3]. Here we show that, in invasive garden ants, grooming of fungus-exposed brood is effective beyond the sheer mechanical removal of fungal conidiospores as it also includes chemical disinfection through the application of poison produced by the ants themselves. Formic acid is the main active component of the poison. It inhibits fungal growth of conidiospores remaining on the brood surface after grooming and also those collected in the mouth of the grooming ant. This dual function is achieved by uptake of the poison droplet into the mouth through acidopore self-grooming and subsequent application onto the infectious brood via brood grooming. This extraordinary behaviour extends current understanding of grooming and the establishment of social immunity in insect societies."}]},{"abstract":[{"lang":"eng","text":"We propose a two-step procedure for estimating multiple migration rates in an approximate Bayesian computation (ABC) framework, accounting for global nuisance parameters. The approach is not limited to migration, but generally of interest for inference problems with multiple parameters and a modular structure (e.g. independent sets of demes or loci). We condition on a known, but complex demographic model of a spatially subdivided population, motivated by the reintroduction of Alpine ibex (Capra ibex) into Switzerland. In the first step, the global parameters ancestral mutation rate and male mating skew have been estimated for the whole population in Aeschbacher et al. (Genetics 2012; 192: 1027). In the second step, we estimate in this study the migration rates independently for clusters of demes putatively connected by migration. For large clusters (many migration rates), ABC faces the problem of too many summary statistics. We therefore assess by simulation if estimation per pair of demes is a valid alternative. We find that the trade-off between reduced dimensionality for the pairwise estimation on the one hand and lower accuracy due to the assumption of pairwise independence on the other depends on the number of migration rates to be inferred: the accuracy of the pairwise approach increases with the number of parameters, relative to the joint estimation approach. To distinguish between low and zero migration, we perform ABC-type model comparison between a model with migration and one without. Applying the approach to microsatellite data from Alpine ibex, we find no evidence for substantial gene flow via migration, except for one pair of demes in one direction."}],"department":[{"_id":"NiBa"}],"publisher":"Dryad","day":"14","date_published":"2012-11-14T00:00:00Z","oa_version":"Published Version","author":[{"last_name":"Aeschbacher","id":"2D35326E-F248-11E8-B48F-1D18A9856A87","full_name":"Aeschbacher, Simon","first_name":"Simon"},{"first_name":"Andreas","full_name":"Futschik, Andreas","last_name":"Futschik"},{"last_name":"Beaumont","first_name":"Mark","full_name":"Beaumont, Mark"}],"status":"public","citation":{"ama":"Aeschbacher S, Futschik A, Beaumont M. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 2012. doi:<a href=\"https://doi.org/10.5061/dryad.274b1\">10.5061/dryad.274b1</a>","apa":"Aeschbacher, S., Futschik, A., &#38; Beaumont, M. (2012). Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. Dryad. <a href=\"https://doi.org/10.5061/dryad.274b1\">https://doi.org/10.5061/dryad.274b1</a>","chicago":"Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates.” Dryad, 2012. <a href=\"https://doi.org/10.5061/dryad.274b1\">https://doi.org/10.5061/dryad.274b1</a>.","ista":"Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, <a href=\"https://doi.org/10.5061/dryad.274b1\">10.5061/dryad.274b1</a>.","ieee":"S. Aeschbacher, A. Futschik, and M. Beaumont, “Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.” Dryad, 2012.","short":"S. Aeschbacher, A. Futschik, M. Beaumont, (2012).","mla":"Aeschbacher, Simon, et al. <i>Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates</i>. Dryad, 2012, doi:<a href=\"https://doi.org/10.5061/dryad.274b1\">10.5061/dryad.274b1</a>."},"doi":"10.5061/dryad.274b1","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","date_created":"2021-07-30T12:36:39Z","year":"2012","month":"11","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.274b1"}],"article_processing_charge":"No","title":"Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates","date_updated":"2023-02-23T11:05:19Z","_id":"9758","type":"research_data_reference","related_material":{"record":[{"relation":"used_in_publication","id":"2944","status":"public"}]}},{"title":"The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books","article_processing_charge":"No","_id":"10896","type":"book_chapter","date_updated":"2022-06-21T11:51:58Z","place":"New York","acknowledgement":"We are grateful to Research into Ageing/Ageing UK and The Dunhill Trust for funding SzN’s graduate studies, and to Prof Nicholas Dale for his valuable input.","year":"2012","month":"07","page":"109-129","edition":"1","publication_identifier":{"eisbn":["9781461439035"],"isbn":["9781461439028"]},"oa_version":"None","citation":{"ama":"zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. <i>Adenosine</i>. 1st ed. New York: Springer; 2012:109-129. doi:<a href=\"https://doi.org/10.1007/978-1-4614-3903-5_6\">10.1007/978-1-4614-3903-5_6</a>","apa":"zur Nedden, S., Doney, A. S., &#38; Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino &#38; D. Boison (Eds.), <i>Adenosine</i> (1st ed., pp. 109–129). New York: Springer. <a href=\"https://doi.org/10.1007/978-1-4614-3903-5_6\">https://doi.org/10.1007/978-1-4614-3903-5_6</a>","chicago":"Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In <i>Adenosine</i>, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. <a href=\"https://doi.org/10.1007/978-1-4614-3903-5_6\">https://doi.org/10.1007/978-1-4614-3903-5_6</a>.","ista":"zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.","ieee":"S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in <i>Adenosine</i>, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.","short":"S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.","mla":"zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” <i>Adenosine</i>, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:<a href=\"https://doi.org/10.1007/978-1-4614-3903-5_6\">10.1007/978-1-4614-3903-5_6</a>."},"status":"public","quality_controlled":"1","author":[{"full_name":"zur Nedden, Stephanie","first_name":"Stephanie","last_name":"zur Nedden","id":"3C77F464-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Doney","first_name":"Alexander S.","full_name":"Doney, Alexander S."},{"last_name":"Frenguelli","full_name":"Frenguelli, Bruno G.","first_name":"Bruno G."}],"doi":"10.1007/978-1-4614-3903-5_6","date_created":"2022-03-21T07:16:12Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","abstract":[{"text":"Under physiological conditions the brain, via the purine salvage pathway, reuses the preformed purine bases hypoxanthine, derived from ATP degradation, and adenine (Ade), derived from polyamine synthesis, to restore its ATP pool. However, the massive degradation of ATP during ischemia, although providing valuable neuroprotective adenosine, results in the accumulation and loss of diffusible purine metabolites and thereby leads to a protracted reduction in the post-ischemic ATP pool size. In vivo, this may both limit the ability to deploy ATP-dependent reparative mechanisms and reduce the subsequent availability of adenosine, whilst in brain slices results in tissue with substantially lower levels of ATP than in vivo. In the present review, we describe the mechanisms by which brain tissue replenishes its ATP, how this can be improved with the clinically tolerated chemicals D-ribose and adenine, and the functional, and potential therapeutic, implications of doing so.","lang":"eng"}],"editor":[{"last_name":"Masino","full_name":"Masino, Susan","first_name":"Susan"},{"first_name":"Detlev","full_name":"Boison, Detlev","last_name":"Boison"}],"department":[{"_id":"HaJa"}],"language":[{"iso":"eng"}],"publisher":"Springer","day":"23","publication":"Adenosine","scopus_import":"1","date_published":"2012-07-23T00:00:00Z"},{"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783642333859"],"eisbn":["9783642333866"]},"year":"2012","acknowledgement":"This work has been partially supported by the French ANR project Veridyc","place":"Berlin, Heidelberg","conference":{"location":"Thiruvananthapuram, India","name":"ATVA: Automated Technology for Verification and Analysis","start_date":"2012-10-03","end_date":"2012-10-06"},"_id":"10903","date_updated":"2023-09-05T14:07:24Z","title":"Accurate invariant checking for programs manipulating lists and arrays with infinite data","article_processing_charge":"No","date_published":"2012-10-15T00:00:00Z","day":"15","volume":7561,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2022-03-21T07:58:39Z","doi":"10.1007/978-3-642-33386-6_14","status":"public","author":[{"full_name":"Bouajjani, Ahmed","first_name":"Ahmed","last_name":"Bouajjani"},{"full_name":"Dragoi, Cezara","first_name":"Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","last_name":"Dragoi"},{"first_name":"Constantin","full_name":"Enea, Constantin","last_name":"Enea"},{"first_name":"Mihaela","full_name":"Sighireanu, Mihaela","last_name":"Sighireanu"}],"oa_version":"None","page":"167-182","month":"10","intvolume":"      7561","type":"conference","scopus_import":"1","publication":"Automated Technology for Verification and Analysis","publisher":"Springer","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"abstract":[{"text":"We propose a logic-based framework for automated reasoning about sequential programs manipulating singly-linked lists and arrays with unbounded data. We introduce the logic SLAD, which allows combining shape constraints, written in a fragment of Separation Logic, with data and size constraints. We address the problem of checking the entailment between SLAD formulas, which is crucial in performing pre-post condition reasoning. Although this problem is undecidable in general for SLAD, we propose a sound and powerful procedure that is able to solve this problem for a large class of formulas, beyond the capabilities of existing techniques and tools. We prove that this procedure is complete, i.e., it is actually a decision procedure for this problem, for an important fragment of SLAD including known decidable logics. We implemented this procedure and shown its preciseness and its efficiency on a significant benchmark of formulas.","lang":"eng"}],"publication_status":"published","citation":{"short":"A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.","mla":"Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” <i>Automated Technology for Verification and Analysis</i>, vol. 7561, Springer, 2012, pp. 167–82, doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_14\">10.1007/978-3-642-33386-6_14</a>.","ista":"Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.","ieee":"A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in <i>Automated Technology for Verification and Analysis</i>, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.","chicago":"Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” In <i>Automated Technology for Verification and Analysis</i>, 7561:167–82. LNCS. Berlin, Heidelberg: Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_14\">https://doi.org/10.1007/978-3-642-33386-6_14</a>.","apa":"Bouajjani, A., Dragoi, C., Enea, C., &#38; Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In <i>Automated Technology for Verification and Analysis</i> (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_14\">https://doi.org/10.1007/978-3-642-33386-6_14</a>","ama":"Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: <i>Automated Technology for Verification and Analysis</i>. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_14\">10.1007/978-3-642-33386-6_14</a>"},"series_title":"LNCS","quality_controlled":"1","alternative_title":["LNCS"]},{"oa_version":"Preprint","status":"public","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"first_name":"Mickael","full_name":"Randour, Mickael","last_name":"Randour"},{"last_name":"Raskin","first_name":"Jean-François","full_name":"Raskin, Jean-François"}],"doi":"10.1007/978-3-642-32940-1_10","date_created":"2022-03-21T08:00:21Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":7454,"external_id":{"arxiv":["1201.5073"]},"day":"15","date_published":"2012-09-15T00:00:00Z","article_processing_charge":"No","title":"Strategy synthesis for multi-dimensional quantitative objectives","date_updated":"2023-02-23T10:55:06Z","_id":"10904","related_material":{"record":[{"id":"2716","status":"public","relation":"later_version"}]},"conference":{"location":"Newcastle upon Tyne, United Kingdom","name":"CONCUR: Conference on Concurrency Theory","end_date":"2012-09-07","start_date":"2012-09-04"},"place":"Berlin, Heidelberg","acknowledgement":"Author supported by Austrian Science Fund (FWF) Grant No P 23499-N23, FWF NFN Grant No S11407 (RiSE), ERC Start Grant (279307: Graph Games), Microsoft faculty fellowship.","year":"2012","project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","call_identifier":"FWF"},{"grant_number":"S11407","call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642329395"],"eisbn":["9783642329401"]},"quality_controlled":"1","alternative_title":["LNCS"],"citation":{"ieee":"K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in <i>CONCUR 2012 - Concurrency Theory</i>, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.","ista":"Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.","short":"K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.","mla":"Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” <i>CONCUR 2012 - Concurrency Theory</i>, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:<a href=\"https://doi.org/10.1007/978-3-642-32940-1_10\">10.1007/978-3-642-32940-1_10</a>.","ama":"Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. <i>CONCUR 2012 - Concurrency Theory</i>. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:<a href=\"https://doi.org/10.1007/978-3-642-32940-1_10\">10.1007/978-3-642-32940-1_10</a>","apa":"Chatterjee, K., Randour, M., &#38; Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny &#38; I. Ulidowski (Eds.), <i>CONCUR 2012 - Concurrency Theory</i> (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-32940-1_10\">https://doi.org/10.1007/978-3-642-32940-1_10</a>","chicago":"Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” In <i>CONCUR 2012 - Concurrency Theory</i>, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31. Berlin, Heidelberg: Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-32940-1_10\">https://doi.org/10.1007/978-3-642-32940-1_10</a>."},"publication_status":"published","editor":[{"first_name":"Maciej","full_name":"Koutny, Maciej","last_name":"Koutny"},{"last_name":"Ulidowski","first_name":"Irek","full_name":"Ulidowski, Irek"}],"abstract":[{"text":"Multi-dimensional mean-payoff and energy games provide the mathematical foundation for the quantitative study of reactive systems, and play a central role in the emerging quantitative theory of verification and synthesis. In this work, we study the strategy synthesis problem for games with such multi-dimensional objectives along with a parity condition, a canonical way to express ω-regular conditions. While in general, the winning strategies in such games may require infinite memory, for synthesis the most relevant problem is the construction of a finite-memory winning strategy (if one exists). Our main contributions are as follows. First, we show a tight exponential bound (matching upper and lower bounds) on the memory required for finite-memory winning strategies in both multi-dimensional mean-payoff and energy games along with parity objectives. This significantly improves the triple exponential upper bound for multi energy games (without parity) that could be derived from results in literature for games on VASS (vector addition systems with states). Second, we present an optimal symbolic and incremental algorithm to compute a finite-memory winning strategy (if one exists) in such games. Finally, we give a complete characterization of when finite memory of strategies can be traded off for randomness. In particular, we show that for one-dimension mean-payoff parity games, randomized memoryless strategies are as powerful as their pure finite-memory counterparts.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"publisher":"Springer","publication":"CONCUR 2012 - Concurrency Theory","scopus_import":"1","arxiv":1,"type":"conference","intvolume":"      7454","month":"09","page":"115-131","ec_funded":1},{"publisher":"Springer","publication":"Algorithms – ESA 2012","scopus_import":"1","abstract":[{"lang":"eng","text":"Energy games belong to a class of turn-based two-player infinite-duration games played on a weighted directed graph. It is one of the rare and intriguing combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While the existence of polynomial-time algorithms has been a major open problem for decades, there is no algorithm that solves any non-trivial subclass in polynomial time.\r\nIn this paper, we give several results based on the weight structures of the graph. First, we identify a notion of penalty and present a polynomial-time algorithm when the penalty is large. Our algorithm is the first polynomial-time algorithm on a large class of weighted graphs. It includes several counter examples that show that many previous algorithms, such as value iteration and random facet algorithms, require at least sub-exponential time. Our main technique is developing the first non-trivial approximation algorithm and showing how to convert it to an exact algorithm. Moreover, we show that in a practical case in verification where weights are clustered around a constant number of values, the energy game problem can be solved in polynomial time. We also show that the problem is still as hard as in general when the clique-width is bounded or the graph is strongly ergodic, suggesting that restricting graph structures need not help."}],"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"publication_status":"published","alternative_title":["LNCS"],"quality_controlled":"1","citation":{"short":"K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.","mla":"Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” <i>Algorithms – ESA 2012</i>, vol. 7501, Springer, 2012, pp. 301–12, doi:<a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">10.1007/978-3-642-33090-2_27</a>.","ista":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.","ieee":"K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in <i>Algorithms – ESA 2012</i>, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” In <i>Algorithms – ESA 2012</i>, 7501:301–12. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">https://doi.org/10.1007/978-3-642-33090-2_27</a>.","apa":"Chatterjee, K., Henzinger, M. H., Krinninger, S., &#38; Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In <i>Algorithms – ESA 2012</i> (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">https://doi.org/10.1007/978-3-642-33090-2_27</a>","ama":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: <i>Algorithms – ESA 2012</i>. Vol 7501. Springer; 2012:301-312. doi:<a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">10.1007/978-3-642-33090-2_27</a>"},"page":"301-312","ec_funded":1,"intvolume":"      7501","month":"10","type":"conference","main_file_link":[{"url":"https://arxiv.org/abs/1604.08234","open_access":"1"}],"arxiv":1,"day":"01","date_published":"2012-10-01T00:00:00Z","external_id":{"arxiv":["1604.08234"]},"doi":"10.1007/978-3-642-33090-2_27","date_created":"2022-03-21T08:01:45Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","volume":7501,"oa_version":"Preprint","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"first_name":"Sebastian","full_name":"Krinninger, Sebastian","last_name":"Krinninger"},{"full_name":"Nanongkai, Danupon","first_name":"Danupon","last_name":"Nanongkai"}],"status":"public","oa":1,"publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783642330896"],"eisbn":["9783642330902"]},"year":"2012","project":[{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"acknowledgement":"Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games), and a Microsoft Faculty Fellows Award","date_updated":"2023-09-05T14:09:30Z","_id":"10905","conference":{"location":"Ljubljana, Slovenia","name":"ESA: European Symposium on Algorithms","end_date":"2012-09-12","start_date":"2012-09-10"},"related_material":{"record":[{"relation":"later_version","status":"public","id":"535"}]},"article_processing_charge":"No","title":"Polynomial-time algorithms for energy games with special weight structures"},{"day":"01","date_published":"2012-04-01T00:00:00Z","oa_version":"Published Version","author":[{"last_name":"Grebenshchikov","first_name":"Sergey","full_name":"Grebenshchikov, Sergey"},{"full_name":"Gupta, Ashutosh","first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","last_name":"Gupta"},{"last_name":"Lopes","first_name":"Nuno P.","full_name":"Lopes, Nuno P."},{"last_name":"Popeea","first_name":"Corneliu","full_name":"Popeea, Corneliu"},{"full_name":"Rybalchenko, Andrey","first_name":"Andrey","last_name":"Rybalchenko"}],"status":"public","doi":"10.1007/978-3-642-28756-5_46","date_created":"2022-03-21T08:03:30Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","volume":7214,"year":"2012","oa":1,"publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783642287565"],"isbn":["9783642287558"]},"article_processing_charge":"No","title":"HSF(C): A software verifier based on Horn clauses","date_updated":"2023-09-05T14:09:54Z","_id":"10906","conference":{"location":"Tallinn, Estonia","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2012-04-01","start_date":"2012-03-24"},"place":"Berlin, Heidelberg","editor":[{"full_name":"Flanagan, Cormac","first_name":"Cormac","last_name":"Flanagan"},{"last_name":"König","first_name":"Barbara","full_name":"König, Barbara"}],"abstract":[{"lang":"eng","text":"HSF(C) is a tool that automates verification of safety and liveness properties for C programs. This paper describes the verification approach taken by HSF(C) and provides instructions on how to install and use the tool."}],"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"publisher":"Springer","publication":"Tools and Algorithms for the Construction and Analysis of Systems","scopus_import":"1","quality_controlled":"1","series_title":"LNCS","alternative_title":["LNCS"],"citation":{"ista":"Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.","ieee":"S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.","mla":"Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:<a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">10.1007/978-3-642-28756-5_46</a>.","short":"S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.","ama":"Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:<a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">10.1007/978-3-642-28756-5_46</a>","chicago":"Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">https://doi.org/10.1007/978-3-642-28756-5_46</a>.","apa":"Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., &#38; Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan &#38; B. König (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">https://doi.org/10.1007/978-3-642-28756-5_46</a>"},"publication_status":"published","intvolume":"      7214","month":"04","page":"549-551","main_file_link":[{"url":"https://doi.org/10.1007/978-3-642-28756-5_46","open_access":"1"}],"type":"conference"},{"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The Nuclear Envelope (NE) contains over 100 different proteins that associate with nuclear components such as chromatin, the lamina and the transcription machinery. Mutations in genes encoding NE proteins have been shown to result in tissue-specific defects and disease, suggesting cell-type specific differences in NE composition and function. Consistent with these observations, recent studies have revealed unexpected functions for numerous NE associated proteins during cell differentiation and development. Here we review the latest insights into the roles played by the NE in cell differentiation, development, disease and aging, focusing primarily on inner nuclear membrane (INM) proteins and nuclear pore components."}],"scopus_import":"1","publication":"Current Opinion in Cell Biology","publisher":"Elsevier","quality_controlled":"1","citation":{"short":"J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012) 775–783.","mla":"Gomez-Cavazos, J. Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” <i>Current Opinion in Cell Biology</i>, vol. 24, no. 6, Elsevier, 2012, pp. 775–83, doi:<a href=\"https://doi.org/10.1016/j.ceb.2012.08.008\">10.1016/j.ceb.2012.08.008</a>.","ista":"Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.","ieee":"J. S. Gomez-Cavazos and M. Hetzer, “Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins,” <i>Current Opinion in Cell Biology</i>, vol. 24, no. 6. Elsevier, pp. 775–783, 2012.","apa":"Gomez-Cavazos, J. S., &#38; Hetzer, M. (2012). Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. <i>Current Opinion in Cell Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ceb.2012.08.008\">https://doi.org/10.1016/j.ceb.2012.08.008</a>","chicago":"Gomez-Cavazos, J Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” <i>Current Opinion in Cell Biology</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.ceb.2012.08.008\">https://doi.org/10.1016/j.ceb.2012.08.008</a>.","ama":"Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. <i>Current Opinion in Cell Biology</i>. 2012;24(6):775-783. doi:<a href=\"https://doi.org/10.1016/j.ceb.2012.08.008\">10.1016/j.ceb.2012.08.008</a>"},"keyword":["Cell Biology"],"publication_status":"published","article_type":"original","month":"12","intvolume":"        24","issue":"6","page":"775-783","type":"journal_article","external_id":{"pmid":["22995343"]},"date_published":"2012-12-01T00:00:00Z","day":"01","status":"public","author":[{"full_name":"Gomez-Cavazos, J Sebastian","first_name":"J Sebastian","last_name":"Gomez-Cavazos"},{"orcid":"0000-0002-2111-992X","full_name":"HETZER, Martin W","first_name":"Martin W","last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"extern":"1","oa_version":"None","date_created":"2022-04-07T07:51:37Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","volume":24,"doi":"10.1016/j.ceb.2012.08.008","pmid":1,"year":"2012","publication_identifier":{"issn":["0955-0674"]},"article_processing_charge":"No","title":"Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins","date_updated":"2022-07-18T08:38:47Z","_id":"11089"},{"external_id":{"pmid":["22579277"]},"date_published":"2012-05-11T00:00:00Z","day":"11","author":[{"last_name":"Hatch","first_name":"Emily M.","full_name":"Hatch, Emily M."},{"orcid":"0000-0002-2111-992X","full_name":"HETZER, Martin W","first_name":"Martin W","last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"status":"public","extern":"1","oa_version":"Published Version","date_created":"2022-04-07T07:51:45Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","volume":149,"doi":"10.1016/j.cell.2012.04.018","pmid":1,"year":"2012","publication_identifier":{"issn":["0092-8674"]},"oa":1,"title":"RNP export by nuclear envelope budding","article_processing_charge":"No","date_updated":"2022-07-18T08:58:48Z","_id":"11090","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Nuclear export of mRNAs is thought to occur exclusively through nuclear pore complexes. In this issue of Cell, Speese et al. identify an alternate pathway for mRNA export in muscle cells where ribonucleoprotein complexes involved in forming neuromuscular junctions transit the nuclear envelope by fusing with and budding through the nuclear membrane."}],"scopus_import":"1","publication":"Cell","publisher":"Elsevier","quality_controlled":"1","citation":{"short":"E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.","mla":"Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” <i>Cell</i>, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:<a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">10.1016/j.cell.2012.04.018</a>.","ista":"Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.","ieee":"E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” <i>Cell</i>, vol. 149, no. 4. Elsevier, pp. 733–735, 2012.","apa":"Hatch, E. M., &#38; Hetzer, M. (2012). RNP export by nuclear envelope budding. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">https://doi.org/10.1016/j.cell.2012.04.018</a>","chicago":"Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” <i>Cell</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">https://doi.org/10.1016/j.cell.2012.04.018</a>.","ama":"Hatch EM, Hetzer M. RNP export by nuclear envelope budding. <i>Cell</i>. 2012;149(4):733-735. doi:<a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">10.1016/j.cell.2012.04.018</a>"},"keyword":["General Biochemistry","Genetics and Molecular Biology"],"publication_status":"published","article_type":"letter_note","month":"05","intvolume":"       149","issue":"4","page":"733-735","main_file_link":[{"url":"https://doi.org/10.1016/j.cell.2012.04.018","open_access":"1"}],"type":"journal_article"},{"type":"journal_article","page":"88-100","issue":"1","intvolume":"         3","month":"01","article_type":"original","publication_status":"published","quality_controlled":"1","citation":{"ama":"Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing during interphase in human cancer cells. <i>Nucleus</i>. 2012;3(1):88-100. doi:<a href=\"https://doi.org/10.4161/nucl.18954\">10.4161/nucl.18954</a>","apa":"Vargas, J. D., Hatch, E. M., Anderson, D. J., &#38; Hetzer, M. (2012). Transient nuclear envelope rupturing during interphase in human cancer cells. <i>Nucleus</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.4161/nucl.18954\">https://doi.org/10.4161/nucl.18954</a>","chicago":"Vargas, Jesse D., Emily M. Hatch, Daniel J. Anderson, and Martin Hetzer. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” <i>Nucleus</i>. Taylor &#38; Francis, 2012. <a href=\"https://doi.org/10.4161/nucl.18954\">https://doi.org/10.4161/nucl.18954</a>.","ista":"Vargas JD, Hatch EM, Anderson DJ, Hetzer M. 2012. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100.","ieee":"J. D. Vargas, E. M. Hatch, D. J. Anderson, and M. Hetzer, “Transient nuclear envelope rupturing during interphase in human cancer cells,” <i>Nucleus</i>, vol. 3, no. 1. Taylor &#38; Francis, pp. 88–100, 2012.","mla":"Vargas, Jesse D., et al. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” <i>Nucleus</i>, vol. 3, no. 1, Taylor &#38; Francis, 2012, pp. 88–100, doi:<a href=\"https://doi.org/10.4161/nucl.18954\">10.4161/nucl.18954</a>.","short":"J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100."},"keyword":["Cell Biology"],"publisher":"Taylor & Francis","publication":"Nucleus","scopus_import":"1","abstract":[{"text":"Neoplastic cells are often characterized by specific morphological abnormalities of the nuclear envelope (NE), which have been used for cancer diagnosis for more than a century. The NE is a double phospholipid bilayer that encapsulates the nuclear genome, regulates all nuclear trafficking of RNAs and proteins and prevents the passive diffusion of macromolecules between the nucleoplasm and the cytoplasm. Whether there is a consequence to the proper functioning of the cell and loss of structural integrity of the nucleus remains unclear. Using live cell imaging, we characterize a phenomenon wherein nuclei of several proliferating human cancer cell lines become temporarily ruptured during interphase. Strikingly, NE rupturing was associated with the mislocalization of nucleoplasmic and cytoplasmic proteins and, in the most extreme cases, the entrapment of cytoplasmic organelles in the nuclear interior. In addition, we observed the formation of micronuclei-like structures during interphase and the movement of chromatin out of the nuclear space. The frequency of these NE rupturing events was higher in cells in which the nuclear lamina, a network of intermediate filaments providing mechanical support to the NE, was not properly formed. Our data uncover the existence of a NE instability that has the potential to change the genomic landscape of cancer cells.","lang":"eng"}],"language":[{"iso":"eng"}],"date_updated":"2022-07-18T08:52:53Z","_id":"11091","title":"Transient nuclear envelope rupturing during interphase in human cancer cells","article_processing_charge":"No","publication_identifier":{"eissn":["1949-1042"],"issn":["1949-1034"]},"year":"2012","pmid":1,"doi":"10.4161/nucl.18954","date_created":"2022-04-07T07:51:53Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","volume":3,"oa_version":"None","author":[{"last_name":"Vargas","full_name":"Vargas, Jesse D.","first_name":"Jesse D."},{"last_name":"Hatch","full_name":"Hatch, Emily M.","first_name":"Emily M."},{"last_name":"Anderson","first_name":"Daniel J.","full_name":"Anderson, Daniel J."},{"orcid":"0000-0002-2111-992X","first_name":"Martin W","full_name":"HETZER, Martin W","last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"status":"public","extern":"1","day":"01","date_published":"2012-01-01T00:00:00Z","external_id":{"pmid":["22567193"]}},{"intvolume":"       335","month":"02","page":"942-942","issue":"6071","type":"journal_article","abstract":[{"lang":"eng","text":"To combat the functional decline of the proteome, cells use the process of protein turnover to replace potentially impaired polypeptides with new functional copies. We found that extremely long-lived proteins (ELLPs) did not turn over in postmitotic cells of the rat central nervous system. These ELLPs were associated with chromatin and the nuclear pore complex, the central transport channels that mediate all molecular trafficking in and out of the nucleus. The longevity of these proteins would be expected to expose them to potentially harmful metabolites, putting them at risk of accumulating damage over extended periods of time. Thus, it is possible that failure to maintain proper levels and functional integrity of ELLPs in nonproliferative cells might contribute to age-related deterioration in cell and tissue function."}],"language":[{"iso":"eng"}],"publisher":"American Association for the Advancement of Science","publication":"Science","scopus_import":"1","quality_controlled":"1","citation":{"chicago":"Savas, Jeffrey N., Brandon H. Toyama, Tao Xu, John R. Yates, and Martin Hetzer. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” <i>Science</i>. American Association for the Advancement of Science, 2012. <a href=\"https://doi.org/10.1126/science.1217421\">https://doi.org/10.1126/science.1217421</a>.","apa":"Savas, J. N., Toyama, B. H., Xu, T., Yates, J. R., &#38; Hetzer, M. (2012). Extremely long-lived nuclear pore proteins in the rat brain. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1217421\">https://doi.org/10.1126/science.1217421</a>","ama":"Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. <i>Science</i>. 2012;335(6071):942-942. doi:<a href=\"https://doi.org/10.1126/science.1217421\">10.1126/science.1217421</a>","short":"J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942.","mla":"Savas, Jeffrey N., et al. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” <i>Science</i>, vol. 335, no. 6071, American Association for the Advancement of Science, 2012, pp. 942–942, doi:<a href=\"https://doi.org/10.1126/science.1217421\">10.1126/science.1217421</a>.","ista":"Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. 2012. Extremely long-lived nuclear pore proteins in the rat brain. Science. 335(6071), 942–942.","ieee":"J. N. Savas, B. H. Toyama, T. Xu, J. R. Yates, and M. Hetzer, “Extremely long-lived nuclear pore proteins in the rat brain,” <i>Science</i>, vol. 335, no. 6071. American Association for the Advancement of Science, pp. 942–942, 2012."},"keyword":["Multidisciplinary"],"article_type":"letter_note","publication_status":"published","year":"2012","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"title":"Extremely long-lived nuclear pore proteins in the rat brain","article_processing_charge":"No","date_updated":"2022-07-18T08:53:06Z","_id":"11092","external_id":{"pmid":["22300851"]},"day":"02","date_published":"2012-02-02T00:00:00Z","oa_version":"None","author":[{"first_name":"Jeffrey N.","full_name":"Savas, Jeffrey N.","last_name":"Savas"},{"last_name":"Toyama","first_name":"Brandon H.","full_name":"Toyama, Brandon H."},{"last_name":"Xu","full_name":"Xu, Tao","first_name":"Tao"},{"full_name":"Yates, John R.","first_name":"John R.","last_name":"Yates"},{"last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","orcid":"0000-0002-2111-992X","first_name":"Martin W","full_name":"HETZER, Martin W"}],"status":"public","extern":"1","pmid":1,"doi":"10.1126/science.1217421","date_created":"2022-04-07T07:52:01Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","volume":335},{"_id":"11093","date_updated":"2022-07-18T08:53:16Z","title":"A change in nuclear pore complex composition regulates cell differentiation","article_processing_charge":"No","oa":1,"publication_identifier":{"issn":["1534-5807"]},"year":"2012","pmid":1,"doi":"10.1016/j.devcel.2011.11.021","volume":22,"date_created":"2022-04-07T07:52:10Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","oa_version":"Published Version","extern":"1","author":[{"last_name":"D'Angelo","full_name":"D'Angelo, Maximiliano A.","first_name":"Maximiliano A."},{"last_name":"Gomez-Cavazos","full_name":"Gomez-Cavazos, J. Sebastian","first_name":"J. Sebastian"},{"first_name":"Arianna","full_name":"Mei, Arianna","last_name":"Mei"},{"first_name":"Daniel H.","full_name":"Lackner, Daniel H.","last_name":"Lackner"},{"orcid":"0000-0002-2111-992X","first_name":"Martin W","full_name":"HETZER, Martin W","last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"status":"public","day":"19","date_published":"2012-01-19T00:00:00Z","external_id":{"pmid":["22264802"]},"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1016/j.devcel.2011.11.021","open_access":"1"}],"page":"446-458","issue":"2","intvolume":"        22","month":"01","article_type":"original","publication_status":"published","citation":{"ieee":"M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer, “A change in nuclear pore complex composition regulates cell differentiation,” <i>Developmental Cell</i>, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.","ista":"D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.","short":"M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.","mla":"D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” <i>Developmental Cell</i>, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">10.1016/j.devcel.2011.11.021</a>.","ama":"D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. <i>Developmental Cell</i>. 2012;22(2):446-458. doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">10.1016/j.devcel.2011.11.021</a>","chicago":"D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H. Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” <i>Developmental Cell</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">https://doi.org/10.1016/j.devcel.2011.11.021</a>.","apa":"D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., &#38; Hetzer, M. (2012). A change in nuclear pore complex composition regulates cell differentiation. <i>Developmental Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">https://doi.org/10.1016/j.devcel.2011.11.021</a>"},"keyword":["Developmental Biology","Cell Biology","General Biochemistry","Genetics and Molecular Biology","Molecular Biology"],"quality_controlled":"1","publisher":"Elsevier","publication":"Developmental Cell","scopus_import":"1","abstract":[{"text":"Nuclear pore complexes (NPCs) are built from ∼30 different proteins called nucleoporins or Nups. Previous studies have shown that several Nups exhibit cell-type-specific expression and that mutations in NPC components result in tissue-specific diseases. Here we show that a specific change in NPC composition is required for both myogenic and neuronal differentiation. The transmembrane nucleoporin Nup210 is absent in proliferating myoblasts and embryonic stem cells (ESCs) but becomes expressed and incorporated into NPCs during cell differentiation. Preventing Nup210 production by RNAi blocks myogenesis and the differentiation of ESCs into neuroprogenitors. We found that the addition of Nup210 to NPCs does not affect nuclear transport but is required for the induction of genes that are essential for cell differentiation. Our results identify a single change in NPC composition as an essential step in cell differentiation and establish a role for Nup210 in gene expression regulation and cell fate determination.","lang":"eng"}],"language":[{"iso":"eng"}]},{"publication":"Nature","date_published":"2012-07-12T00:00:00Z","day":"12","publisher":"Nature Publishing Group","language":[{"iso":"eng"}],"publist_id":"7941","abstract":[{"lang":"eng","text":"Although liquids typically flow around intruding objects, a counterintuitive phenomenon occurs in dense suspensions of micrometre-sized particles: they become liquid-like when perturbed lightly, but harden when driven strongly. Rheological experiments have investigated how such thickening arises under shear, and linked it to hydrodynamic interactions or granular dilation. However, neither of these mechanisms alone can explain the ability of suspensions to generate very large, positive normal stresses under impact. To illustrate the phenomenon, such stresses can be large enough to allow a person to run across a suspension without sinking, and far exceed the upper limit observed under shear or extension. Here we show that these stresses originate from an impact-generated solidification front that transforms an initially compressible particle matrix into a rapidly growing jammed region, ultimately leading to extraordinary amounts of momentum absorption. Using high-speed videography, embedded force sensing and X-ray imaging, we capture the detailed dynamics of this process as it decelerates a metal rod hitting a suspension of cornflour (cornstarch) in water. We develop a model for the dynamic solidification and its effect on the surrounding suspension that reproduces the observed behaviour quantitatively. Our findings suggest that prior interpretations of the impact resistance as dominated by shear thickening need to be revisited."}],"volume":487,"publication_status":"published","date_created":"2018-12-11T11:44:42Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","doi":"10.1038/nature11187","extern":"1","citation":{"ista":"Waitukaitis SR, Jaeger H. 2012. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 487(7406), 205–209.","ieee":"S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense suspensions via dynamic jamming fronts,” <i>Nature</i>, vol. 487, no. 7406. Nature Publishing Group, pp. 205–209, 2012.","short":"S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.","mla":"Waitukaitis, Scott R., and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” <i>Nature</i>, vol. 487, no. 7406, Nature Publishing Group, 2012, pp. 205–09, doi:<a href=\"https://doi.org/10.1038/nature11187\">10.1038/nature11187</a>.","ama":"Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. <i>Nature</i>. 2012;487(7406):205-209. doi:<a href=\"https://doi.org/10.1038/nature11187\">10.1038/nature11187</a>","apa":"Waitukaitis, S. R., &#38; Jaeger, H. (2012). Impact-activated solidification of dense suspensions via dynamic jamming fronts. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature11187\">https://doi.org/10.1038/nature11187</a>","chicago":"Waitukaitis, Scott R, and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” <i>Nature</i>. Nature Publishing Group, 2012. <a href=\"https://doi.org/10.1038/nature11187\">https://doi.org/10.1038/nature11187</a>."},"status":"public","author":[{"first_name":"Scott R","full_name":"Waitukaitis, Scott R","orcid":"0000-0002-2299-3176","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","last_name":"Waitukaitis"},{"last_name":"Jaeger","first_name":"Heinrich","full_name":"Jaeger, Heinrich"}],"oa_version":"None","issue":"7406","page":"205 - 209","month":"07","acknowledgement":"This work was supported by NSF through its MRSEC programme (DMR-0820054) and by the US Army Research Office through grant number W911NF-12-1-0182. S.R.W. acknowledges support from a Millikan fellowship.","intvolume":"       487","year":"2012","type":"journal_article","_id":"113","date_updated":"2021-01-12T06:48:30Z","title":"Impact-activated solidification of dense suspensions via dynamic jamming fronts"},{"title":"Solidification of a cornstarch and water suspension","_id":"114","date_updated":"2021-01-12T06:48:34Z","has_accepted_license":"1","acknowledgement":"This work was supported by the NSF through its MRSEC program (DMR-0820054). S. R. W. acknowledges support from a Millikan fellowship.","year":"2012","oa":1,"extern":"1","tmp":{"short":"CC BY-NC (4.0)","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"author":[{"last_name":"Waitukaitis","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","full_name":"Waitukaitis, Scott R","first_name":"Scott R"},{"last_name":"Jaeger","full_name":"Jaeger, Heinrich","first_name":"Heinrich"}],"status":"public","oa_version":"Published Version","volume":29,"date_created":"2018-12-11T11:44:42Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_published":"2012-08-14T00:00:00Z","day":"14","type":"journal_article","ddc":["530"],"month":"08","intvolume":"        29","issue":"1E","page":"1E31 - 1E33","citation":{"chicago":"Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” <i>Revista Cubana de Fisica</i>. Universidad de La Habana, 2012.","apa":"Waitukaitis, S. R., &#38; Jaeger, H. (2012). Solidification of a cornstarch and water suspension. <i>Revista Cubana de Fisica</i>. Universidad de La Habana.","ama":"Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. <i>Revista Cubana de Fisica</i>. 2012;29(1E):1E31-1E33.","mla":"Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” <i>Revista Cubana de Fisica</i>, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1E31-1E33.","short":"S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.","ista":"Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.","ieee":"S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” <i>Revista Cubana de Fisica</i>, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012."},"quality_controlled":"1","publication_status":"published","license":"https://creativecommons.org/licenses/by-nc/4.0/","language":[{"iso":"eng"}],"publist_id":"7940","abstract":[{"lang":"eng","text":"We report on an investigation of the solidification of a cornstarch and water suspension during normal impact on its surface. We find that a finite time after impact, the suspension displays characteristics reminiscent of a solid, including localized stress transmission, the development of a yield stress, and some elastic energy storage. The time dependence of these characteristics depends on the thickness of the cornstarch layer, showing that the solidification is a dynamic process driven by the impacting object. These findings confirm previous speculations that rapidly applied normal stress transforms the normally fluid-like suspension into a temporarily jammed solid and draw a clear distinction between the effects of normal stress and shear stress in dense suspensions."}],"publication":"Revista Cubana de Fisica","file_date_updated":"2019-05-16T11:08:52Z","file":[{"success":1,"date_created":"2019-05-16T11:08:52Z","file_size":589776,"file_name":"2012_RCF_Waitukaitis.pdf","date_updated":"2019-05-16T11:08:52Z","relation":"main_file","file_id":"6461","content_type":"application/pdf","creator":"kschuh","access_level":"open_access"}],"publisher":"Universidad de La Habana"},{"title":"Maximizing revenue from strategic recommendations under decaying trust","article_processing_charge":"No","_id":"11656","type":"conference","date_updated":"2023-02-09T09:19:49Z","conference":{"location":"Maui, HI, United States","name":"CIKM: Conference on Information and Knowledge Management","start_date":"2012-10-29","end_date":"2012-11-02"},"year":"2012","month":"10","page":"2268-2286","publication_identifier":{"isbn":["9781450311564"]},"oa_version":"None","citation":{"mla":"Dütting, Paul, et al. “Maximizing Revenue from Strategic Recommendations under Decaying Trust.” <i>Proceedings of the 21st ACM International Conference on Information and Knowledge Management</i>, Association for Computing Machinery, 2012, pp. 2268–86, doi:<a href=\"https://doi.org/10.1145/2396761.2398621\">10.1145/2396761.2398621</a>.","short":"P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286.","ieee":"P. Dütting, M. H. Henzinger, and I. Weber, “Maximizing revenue from strategic recommendations under decaying trust,” in <i>Proceedings of the 21st ACM international conference on Information and knowledge management</i>, Maui, HI, United States, 2012, pp. 2268–2286.","ista":"Dütting P, Henzinger MH, Weber I. 2012. Maximizing revenue from strategic recommendations under decaying trust. Proceedings of the 21st ACM international conference on Information and knowledge management. CIKM: Conference on Information and Knowledge Management, 2268–2286.","chicago":"Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Maximizing Revenue from Strategic Recommendations under Decaying Trust.” In <i>Proceedings of the 21st ACM International Conference on Information and Knowledge Management</i>, 2268–86. Association for Computing Machinery, 2012. <a href=\"https://doi.org/10.1145/2396761.2398621\">https://doi.org/10.1145/2396761.2398621</a>.","apa":"Dütting, P., Henzinger, M. H., &#38; Weber, I. (2012). Maximizing revenue from strategic recommendations under decaying trust. In <i>Proceedings of the 21st ACM international conference on Information and knowledge management</i> (pp. 2268–2286). Maui, HI, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/2396761.2398621\">https://doi.org/10.1145/2396761.2398621</a>","ama":"Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations under decaying trust. In: <i>Proceedings of the 21st ACM International Conference on Information and Knowledge Management</i>. Association for Computing Machinery; 2012:2268-2286. doi:<a href=\"https://doi.org/10.1145/2396761.2398621\">10.1145/2396761.2398621</a>"},"extern":"1","author":[{"full_name":"Dütting, Paul","first_name":"Paul","last_name":"Dütting"},{"orcid":"0000-0002-5008-6530","first_name":"Monika H","full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"first_name":"Ingmar","full_name":"Weber, Ingmar","last_name":"Weber"}],"status":"public","quality_controlled":"1","doi":"10.1145/2396761.2398621","publication_status":"published","date_created":"2022-07-27T06:47:53Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Suppose your sole interest in recommending a product to me is to maximize the amount paid to you by the seller for a sequence of recommendations. How should you recommend optimally if I become more inclined to ignore you with each irrelevant recommendation you make? Finding an answer to this question is a key challenge in all forms of marketing that rely on and explore social ties; ranging from personal recommendations to viral marketing.\r\n\r\nWe prove that even if the recommendee regains her initial trust on each successful recommendation, the expected revenue the recommender can make over an infinite period due to payments by the seller is bounded. This can only be overcome when the recommendee also incrementally regains trust during periods without any recommendation. Here, we see a connection to \"banner blindness,\" suggesting that showing fewer ads can lead to a higher long-term revenue.","lang":"eng"}],"language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","day":"29","publication":"Proceedings of the 21st ACM international conference on Information and knowledge management","scopus_import":"1","date_published":"2012-10-29T00:00:00Z"},{"intvolume":"        47","month":"08","page":"5729-5734","issue":"15","arxiv":1,"type":"journal_article","abstract":[{"text":"The Seebeck coefficients, electrical resistivities, total thermal conductivities, and magnetization are reported for temperatures between 5 and 350 K for n-type Bi0.88Sb0.12 nano-composite alloys made by Ho-doping at the 0, 1, and 3 % atomic levels. The alloys were prepared using a dc hot-pressing method, and are shown to be single phase for both Ho contents with grain sizes on the average of 900 nm. We find the parent compound has a maximum of ZT = 0.28 at 231 K, while doping 1 % Ho increases the maximum ZT to 0.31 at 221 K and the 3 % doped sample suppresses the maximum ZT = 0.24 at a temperature of 260 K.","lang":"eng"}],"language":[{"iso":"eng"}],"publisher":"Springer Nature","publication":"Journal of Materials Science","scopus_import":"1","citation":{"ama":"Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. <i>Journal of Materials Science</i>. 2012;47(15):5729-5734. doi:<a href=\"https://doi.org/10.1007/s10853-012-6463-6\">10.1007/s10853-012-6463-6</a>","apa":"Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., &#38; Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. <i>Journal of Materials Science</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10853-012-6463-6\">https://doi.org/10.1007/s10853-012-6463-6</a>","chicago":"Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” <i>Journal of Materials Science</i>. Springer Nature, 2012. <a href=\"https://doi.org/10.1007/s10853-012-6463-6\">https://doi.org/10.1007/s10853-012-6463-6</a>.","ista":"Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.","ieee":"K. C. Lukas, G. Joshi, K. A. Modic, Z. F. Ren, and C. P. Opeil, “Thermoelectric properties of Ho-doped Bi0.88Sb0.12,” <i>Journal of Materials Science</i>, vol. 47, no. 15. Springer Nature, pp. 5729–5734, 2012.","mla":"Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” <i>Journal of Materials Science</i>, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:<a href=\"https://doi.org/10.1007/s10853-012-6463-6\">10.1007/s10853-012-6463-6</a>.","short":"K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734."},"quality_controlled":"1","article_type":"original","publication_status":"published","year":"2012","publication_identifier":{"eissn":["1573-4803"],"issn":["0022-2461"]},"title":"Thermoelectric properties of Ho-doped Bi0.88Sb0.12","article_processing_charge":"No","_id":"11751","date_updated":"2022-08-11T09:34:39Z","external_id":{"arxiv":["1201.6304"]},"day":"01","date_published":"2012-08-01T00:00:00Z","oa_version":"Preprint","extern":"1","author":[{"full_name":"Lukas, K. C.","first_name":"K. C.","last_name":"Lukas"},{"last_name":"Joshi","full_name":"Joshi, G.","first_name":"G."},{"last_name":"Modic","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","orcid":"0000-0001-9760-3147","full_name":"Modic, Kimberly A","first_name":"Kimberly A"},{"full_name":"Ren, Z. F.","first_name":"Z. F.","last_name":"Ren"},{"last_name":"Opeil","full_name":"Opeil, C. P.","first_name":"C. P."}],"status":"public","doi":"10.1007/s10853-012-6463-6","volume":47,"date_created":"2022-08-08T08:28:20Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"}]