[{"publication":"Mountain Research and Development","keyword":["General Environmental Science","Development","Environmental Chemistry"],"doi":"10.1659/mrd-journal-d-11-00097.1","volume":32,"oa":1,"quality_controlled":"1","oa_version":"Published Version","scopus_import":"1","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"02","status":"public","language":[{"iso":"eng"}],"year":"2012","article_processing_charge":"No","publisher":"International Mountain Society","date_created":"2023-02-20T08:17:52Z","citation":{"mla":"Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” <i>Mountain Research and Development</i>, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:<a href=\"https://doi.org/10.1659/mrd-journal-d-11-00097.1\">10.1659/mrd-journal-d-11-00097.1</a>.","chicago":"Immerzeel, Walter Willem, Francesca Pellicciotti, and Arun B. Shrestha. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” <i>Mountain Research and Development</i>. International Mountain Society, 2012. <a href=\"https://doi.org/10.1659/mrd-journal-d-11-00097.1\">https://doi.org/10.1659/mrd-journal-d-11-00097.1</a>.","short":"W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.","ieee":"W. W. Immerzeel, F. Pellicciotti, and A. B. Shrestha, “Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin,” <i>Mountain Research and Development</i>, vol. 32, no. 1. International Mountain Society, pp. 30–38, 2012.","ama":"Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. <i>Mountain Research and Development</i>. 2012;32(1):30-38. doi:<a href=\"https://doi.org/10.1659/mrd-journal-d-11-00097.1\">10.1659/mrd-journal-d-11-00097.1</a>","apa":"Immerzeel, W. W., Pellicciotti, F., &#38; Shrestha, A. B. (2012). Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. <i>Mountain Research and Development</i>. International Mountain Society. <a href=\"https://doi.org/10.1659/mrd-journal-d-11-00097.1\">https://doi.org/10.1659/mrd-journal-d-11-00097.1</a>","ista":"Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 32(1), 30–38."},"publication_status":"published","title":"Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin","_id":"12647","extern":"1","date_published":"2012-02-01T00:00:00Z","abstract":[{"text":"Accurate quantification of the spatial distribution of precipitation in mountain regions is crucial for assessments of water resources and for the understanding of high-altitude hydrology, yet it is one of the largest unknowns due to the lack of high-altitude observations. The Hunza basin in Pakistan contains very large glacier systems, which, given the melt, cannot persist unless precipitation (snow input) is much higher than what is observed at the meteorological stations, mostly located in mountain valleys. Several studies, therefore, suggest strong positive vertical precipitation lapse rates; in the present study, we quantify this lapse rate by using glaciers as a proxy. We assume a neutral mass balance for the glaciers for the period from 2001 to 2003, and we inversely model the precipitation lapse by balancing the total accumulation in the catchment area and the ablation over the glacier area for the 50 largest glacier systems in the Hunza basin in the Karakoram. Our results reveal a vertical precipitation lapse rate that equals 0.21 ± 0.12% m−1, with a maximum precipitation at an elevation of 5500 masl. We showed that the total annual basin precipitation (828 mm) is 260% higher than what is estimated based on interpolated observations (319 mm); this has major consequences for hydrological modeling and water resource assessments in general. Our results were validated by using previously published studies on individual glaciers as well as the water balance of the Hunza basin. The approach is more widely applicable in mountain ranges where precipitation measurements at high altitude are lacking.","lang":"eng"}],"page":"30-38","article_type":"original","date_updated":"2023-02-21T08:56:29Z","author":[{"full_name":"Immerzeel, Walter Willem","first_name":"Walter Willem","last_name":"Immerzeel"},{"last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","full_name":"Pellicciotti, Francesca"},{"last_name":"Shrestha","first_name":"Arun B.","full_name":"Shrestha, Arun B."}],"main_file_link":[{"url":"https://doi.org/10.1659/MRD-JOURNAL-D-11-00097.1","open_access":"1"}],"issue":"1","publication_identifier":{"issn":["0276-4741"],"eissn":["1994-7151"]},"intvolume":"        32","type":"journal_article"},{"date_updated":"2023-02-20T10:57:31Z","article_type":"original","article_number":"D18105","abstract":[{"text":"Distributed glacier melt models generally assume that the glacier surface consists of bare exposed ice and snow. In reality, many glaciers are wholly or partially covered in layers of debris that tend to suppress ablation rates. In this paper, an existing physically based point model for the ablation of debris-covered ice is incorporated in a distributed melt model and applied to Haut Glacier d'Arolla, Switzerland, which has three large patches of debris cover on its surface. The model is based on a 10 m resolution digital elevation model (DEM) of the area; each glacier pixel in the DEM is defined as either bare or debris-covered ice, and may be covered in snow that must be melted off before ice ablation is assumed to occur. Each debris-covered pixel is assigned a debris thickness value using probability distributions based on over 1000 manual thickness measurements. Locally observed meteorological data are used to run energy balance calculations in every pixel, using an approach suitable for snow, bare ice or debris-covered ice as appropriate. The use of the debris model significantly reduces the total ablation in the debris-covered areas, however the precise reduction is sensitive to the temperature extrapolation used in the model distribution because air near the debris surface tends to be slightly warmer than over bare ice. Overall results suggest that the debris patches, which cover 10% of the glacierized area, reduce total runoff from the glacierized part of the basin by up to 7%.","lang":"eng"}],"issue":"D18","author":[{"first_name":"T. D.","full_name":"Reid, T. D.","last_name":"Reid"},{"last_name":"Carenzo","full_name":"Carenzo, M.","first_name":"M."},{"first_name":"Francesca","full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70"},{"first_name":"B. W.","full_name":"Brock, B. W.","last_name":"Brock"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2012JD017795"}],"publication_identifier":{"issn":["0148-0227"]},"intvolume":"       117","type":"journal_article","publisher":"American Geophysical Union","citation":{"ieee":"T. D. Reid, M. Carenzo, F. Pellicciotti, and B. W. Brock, “Including debris cover effects in a distributed model of glacier ablation,” <i>Journal of Geophysical Research: Atmospheres</i>, vol. 117, no. D18. American Geophysical Union, 2012.","ama":"Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. <i>Journal of Geophysical Research: Atmospheres</i>. 2012;117(D18). doi:<a href=\"https://doi.org/10.1029/2012jd017795\">10.1029/2012jd017795</a>","apa":"Reid, T. D., Carenzo, M., Pellicciotti, F., &#38; Brock, B. W. (2012). Including debris cover effects in a distributed model of glacier ablation. <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2012jd017795\">https://doi.org/10.1029/2012jd017795</a>","mla":"Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” <i>Journal of Geophysical Research: Atmospheres</i>, vol. 117, no. D18, D18105, American Geophysical Union, 2012, doi:<a href=\"https://doi.org/10.1029/2012jd017795\">10.1029/2012jd017795</a>.","chicago":"Reid, T. D., M. Carenzo, Francesca Pellicciotti, and B. W. Brock. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical Union, 2012. <a href=\"https://doi.org/10.1029/2012jd017795\">https://doi.org/10.1029/2012jd017795</a>.","short":"T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012).","ista":"Reid TD, Carenzo M, Pellicciotti F, Brock BW. 2012. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 117(D18), D18105."},"publication_status":"published","date_created":"2023-02-20T08:17:57Z","date_published":"2012-09-27T00:00:00Z","_id":"12648","extern":"1","title":"Including debris cover effects in a distributed model of glacier ablation","quality_controlled":"1","scopus_import":"1","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"27","article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"year":"2012","month":"09","publication":"Journal of Geophysical Research: Atmospheres","doi":"10.1029/2012jd017795","keyword":["Paleontology","Space and Planetary Science","Earth and Planetary Sciences (miscellaneous)","Atmospheric Science","Earth-Surface Processes","Geochemistry and Petrology","Soil Science","Water Science and Technology","Ecology","Aquatic Science","Forestry","Oceanography","Geophysics"],"oa":1,"volume":117},{"date_created":"2023-05-23T17:01:02Z","citation":{"ieee":"K. Lohse, N. H. Barton, G. Stone, and G. Melika, “Data from: A likelihood-based comparison of population histories in a parasitoid guild.” Dryad, 2012.","ama":"Lohse K, Barton NH, Stone G, Melika G. Data from: A likelihood-based comparison of population histories in a parasitoid guild. 2012. doi:<a href=\"https://doi.org/10.5061/DRYAD.0G0FS\">10.5061/DRYAD.0G0FS</a>","apa":"Lohse, K., Barton, N. H., Stone, G., &#38; Melika, G. (2012). Data from: A likelihood-based comparison of population histories in a parasitoid guild. Dryad. <a href=\"https://doi.org/10.5061/DRYAD.0G0FS\">https://doi.org/10.5061/DRYAD.0G0FS</a>","mla":"Lohse, Konrad, et al. <i>Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild</i>. Dryad, 2012, doi:<a href=\"https://doi.org/10.5061/DRYAD.0G0FS\">10.5061/DRYAD.0G0FS</a>.","chicago":"Lohse, Konrad, Nicholas H Barton, Graham Stone, and George Melika. “Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild.” Dryad, 2012. <a href=\"https://doi.org/10.5061/DRYAD.0G0FS\">https://doi.org/10.5061/DRYAD.0G0FS</a>.","short":"K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).","ista":"Lohse K, Barton NH, Stone G, Melika G. 2012. Data from: A likelihood-based comparison of population histories in a parasitoid guild, Dryad, <a href=\"https://doi.org/10.5061/DRYAD.0G0FS\">10.5061/DRYAD.0G0FS</a>."},"title":"Data from: A likelihood-based comparison of population histories in a parasitoid guild","oa":1,"date_published":"2012-06-08T00:00:00Z","_id":"13075","tmp":{"image":"/images/cc_0.png","name":"Creative Commons Public Domain Dedication (CC0 1.0)","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode"},"license":"https://creativecommons.org/publicdomain/zero/1.0/","department":[{"_id":"NiBa"}],"publisher":"Dryad","doi":"10.5061/DRYAD.0G0FS","day":"08","ddc":["570"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"06","status":"public","type":"research_data_reference","year":"2012","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Little is known about the stability of trophic relationships in complex natural communities over evolutionary timescales. Here, we use sequence data from 18 nuclear loci to reconstruct and compare the intraspecific histories of major Pleistocene refugial populations in the Middle East, the Balkans and Iberia in a guild of four Chalcid parasitoids (Cecidostiba fungosa, C. semifascia, Hobbya stenonota and Mesopolobus amaenus) all attacking Cynipid oak galls. We develop a likelihood method to numerically estimate models of divergence between three populations from multilocus data. We investigate the power of this framework on simulated data, and - using triplet alignments of intronic loci - quantify the support for all possible divergence relationships between refugial populations in the four parasitoids. Although an East to West order of population divergence has highest support in all but one species, we cannot rule out alternative population tree topologies. Comparing the estimated times of population splits between species, we find that one species, M. amaenus, has a significantly older history than the rest of the guild and must have arrived in central Europe at least one glacial cycle prior to other guild members. This suggests that although all four species may share a common origin in the East, they expanded westwards into Europe at different times."}],"date_updated":"2025-05-28T11:56:58Z","author":[{"full_name":"Lohse, Konrad","first_name":"Konrad","last_name":"Lohse"},{"orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton"},{"full_name":"Stone, Graham","first_name":"Graham","last_name":"Stone"},{"last_name":"Melika","full_name":"Melika, George","first_name":"George"}],"main_file_link":[{"url":"https://doi.org/10.5061/dryad.0g0fs","open_access":"1"}],"oa_version":"Published Version","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"2968"}]}},{"month":"06","language":[{"iso":"eng"}],"status":"public","year":"2012","article_processing_charge":"No","pmid":1,"day":"29","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","oa_version":"Preprint","scopus_import":"1","quality_controlled":"1","external_id":{"pmid":["23005020"],"arxiv":["1202.6264"]},"volume":108,"oa":1,"doi":"10.1103/physrevlett.108.268303","arxiv":1,"publication":"Physical Review Letters","intvolume":"       108","type":"journal_article","publication_identifier":{"eissn":["10797114"],"issn":["00319007"]},"author":[{"last_name":"Theurkauff","full_name":"Theurkauff, I.","first_name":"I."},{"full_name":"Cottin-Bizonne, C.","first_name":"C.","last_name":"Cottin-Bizonne"},{"first_name":"Jérémie A","full_name":"Palacci, Jérémie A","orcid":"0000-0002-7253-9465","last_name":"Palacci","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d"},{"full_name":"Ybert, C.","first_name":"C.","last_name":"Ybert"},{"first_name":"L.","full_name":"Bocquet, L.","last_name":"Bocquet"}],"main_file_link":[{"url":"https://arxiv.org/abs/1202.6264","open_access":"1"}],"issue":"26","abstract":[{"lang":"eng","text":"In this Letter, we explore experimentally the phase behavior of a dense active suspension of self-propelled colloids. In addition to a solidlike and gaslike phase observed for high and low densities, a novel cluster phase is reported at intermediate densities. This takes the form of a stationary assembly of dense aggregates—resulting from a permanent dynamical merging and separation of active colloids—whose average size grows with activity as a linear function of the self-propelling velocity. While different possible scenarios can be considered to account for these observations—such as a generic velocity weakening instability recently put forward—we show that the experimental results are reproduced mathematically by a chemotactic aggregation mechanism, originally introduced to account for bacterial aggregation and accounting here for diffusiophoretic chemical interaction between colloidal swimmers."}],"article_number":"268303","article_type":"letter_note","date_updated":"2023-02-23T13:46:45Z","title":"Dynamic clustering in active colloidal suspensions with chemical signaling","_id":"9014","extern":"1","date_published":"2012-06-29T00:00:00Z","date_created":"2021-01-19T10:26:59Z","citation":{"ieee":"I. Theurkauff, C. Cottin-Bizonne, J. A. Palacci, C. Ybert, and L. Bocquet, “Dynamic clustering in active colloidal suspensions with chemical signaling,” <i>Physical Review Letters</i>, vol. 108, no. 26. American Physical Society , 2012.","ama":"Theurkauff I, Cottin-Bizonne C, Palacci JA, Ybert C, Bocquet L. Dynamic clustering in active colloidal suspensions with chemical signaling. <i>Physical Review Letters</i>. 2012;108(26). doi:<a href=\"https://doi.org/10.1103/physrevlett.108.268303\">10.1103/physrevlett.108.268303</a>","apa":"Theurkauff, I., Cottin-Bizonne, C., Palacci, J. A., Ybert, C., &#38; Bocquet, L. (2012). Dynamic clustering in active colloidal suspensions with chemical signaling. <i>Physical Review Letters</i>. American Physical Society . <a href=\"https://doi.org/10.1103/physrevlett.108.268303\">https://doi.org/10.1103/physrevlett.108.268303</a>","chicago":"Theurkauff, I., C. Cottin-Bizonne, Jérémie A Palacci, C. Ybert, and L. Bocquet. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.” <i>Physical Review Letters</i>. American Physical Society , 2012. <a href=\"https://doi.org/10.1103/physrevlett.108.268303\">https://doi.org/10.1103/physrevlett.108.268303</a>.","mla":"Theurkauff, I., et al. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.” <i>Physical Review Letters</i>, vol. 108, no. 26, 268303, American Physical Society , 2012, doi:<a href=\"https://doi.org/10.1103/physrevlett.108.268303\">10.1103/physrevlett.108.268303</a>.","short":"I. Theurkauff, C. Cottin-Bizonne, J.A. Palacci, C. Ybert, L. Bocquet, Physical Review Letters 108 (2012).","ista":"Theurkauff I, Cottin-Bizonne C, Palacci JA, Ybert C, Bocquet L. 2012. Dynamic clustering in active colloidal suspensions with chemical signaling. Physical Review Letters. 108(26), 268303."},"publication_status":"published","publisher":"American Physical Society "},{"publisher":"American Meteorological Society","publication_status":"published","citation":{"ista":"Muller CJ, Held IM. 2012. Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. Journal of the Atmospheric Sciences. 69(8), 2551–2565.","short":"C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.","chicago":"Muller, Caroline J, and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” <i>Journal of the Atmospheric Sciences</i>. American Meteorological Society, 2012. <a href=\"https://doi.org/10.1175/jas-d-11-0257.1\">https://doi.org/10.1175/jas-d-11-0257.1</a>.","mla":"Muller, Caroline J., and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” <i>Journal of the Atmospheric Sciences</i>, vol. 69, no. 8, American Meteorological Society, 2012, pp. 2551–65, doi:<a href=\"https://doi.org/10.1175/jas-d-11-0257.1\">10.1175/jas-d-11-0257.1</a>.","apa":"Muller, C. J., &#38; Held, I. M. (2012). Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. <i>Journal of the Atmospheric Sciences</i>. American Meteorological Society. <a href=\"https://doi.org/10.1175/jas-d-11-0257.1\">https://doi.org/10.1175/jas-d-11-0257.1</a>","ieee":"C. J. Muller and I. M. Held, “Detailed investigation of the self-aggregation of convection in cloud-resolving simulations,” <i>Journal of the Atmospheric Sciences</i>, vol. 69, no. 8. American Meteorological Society, pp. 2551–2565, 2012.","ama":"Muller CJ, Held IM. Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. <i>Journal of the Atmospheric Sciences</i>. 2012;69(8):2551-2565. doi:<a href=\"https://doi.org/10.1175/jas-d-11-0257.1\">10.1175/jas-d-11-0257.1</a>"},"date_created":"2021-02-15T14:39:03Z","title":"Detailed investigation of the self-aggregation of convection in cloud-resolving simulations","_id":"9142","extern":"1","date_published":"2012-08-01T00:00:00Z","article_type":"original","page":"2551-2565","abstract":[{"text":"In models of radiative–convective equilibrium it is known that convection can spontaneously aggregate into one single localized moist region if the domain is large enough. The large changes in the mean climate state and radiative fluxes accompanying this self-aggregation raise questions as to what simulations at lower resolutions with parameterized convection, in similar homogeneous geometries, should be expected to produce to be considered successful in mimicking a cloud-resolving model.\r\nThe authors investigate this self-aggregation in a nonrotating, three-dimensional cloud-resolving model on a square domain without large-scale forcing. It is found that self-aggregation is sensitive not only to the domain size, but also to the horizontal resolution. With horizontally homogeneous initial conditions, convective aggregation only occurs on domains larger than about 200km and with resolutions coarser than about 2km in the model examined. The system exhibits hysteresis, so that with aggregated initial conditions, convection remains aggregated even at our finest resolution, 500m, as long as the domain is greater than 200–300km.\r\nThe sensitivity of self-aggregation to resolution and domain size in this model is due to the sensitivity of the distribution of low clouds to these two parameters. Indeed, the mechanism responsible for the aggregation of convection is the dynamical response to the longwave radiative cooling from low clouds. Strong longwave cooling near cloud top in dry regions forces downward motion, which by continuity generates inflow near cloud top and near-surface outflow from dry regions. This circulation results in the net export of moist static energy from regions with low moist static energy, yielding a positive feedback.","lang":"eng"}],"date_updated":"2022-01-24T13:49:41Z","author":[{"last_name":"Muller","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","first_name":"Caroline J"},{"last_name":"Held","full_name":"Held, Isaac M.","first_name":"Isaac M."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1175/JAS-D-11-0257.1"}],"issue":"8","publication_identifier":{"issn":["0022-4928","1520-0469"]},"type":"journal_article","intvolume":"        69","publication":"Journal of the Atmospheric Sciences","doi":"10.1175/jas-d-11-0257.1","keyword":["Atmospheric Science"],"oa":1,"volume":69,"quality_controlled":"1","oa_version":"Published Version","day":"01","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","month":"08","article_processing_charge":"No","language":[{"iso":"eng"}],"year":"2012","status":"public"},{"main_file_link":[{"url":"https://arxiv.org/abs/1207.1516","open_access":"1"}],"oa_version":"Preprint","author":[{"last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","first_name":"Edouard B"},{"last_name":"Prost","full_name":"Prost, Jacques","first_name":"Jacques"},{"first_name":"Jean","full_name":"Joanny, Jean","last_name":"Joanny"}],"issue":"1","abstract":[{"text":"We study theoretically the morphologies of biological tubes affected by various pathologies. When epithelial cells grow, the negative tension produced by their division provokes a buckling instability. Several shapes are investigated: varicose, dilated, sinuous, or sausagelike. They are all found in pathologies of tracheal, renal tubes, or arteries. The final shape depends crucially on the mechanical parameters of the tissues: Young's modulus, wall-to-lumen ratio, homeostatic pressure. We argue that since tissues must be in quasistatic mechanical equilibrium, abnormal shapes convey information as to what causes the pathology. We calculate a phase diagram of tubular instabilities which could be a helpful guide for investigating the underlying genetic regulation.","lang":"eng"}],"date_updated":"2021-01-12T08:21:56Z","external_id":{"arxiv":["1207.1516"]},"month":"07","language":[{"iso":"eng"}],"type":"journal_article","intvolume":"       109","year":"2012","status":"public","article_processing_charge":"No","day":"03","publist_id":"6519","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1103/PhysRevLett.109.018101","publisher":"American Physical Society","arxiv":1,"publication":"Physical Review Letters","volume":109,"title":"Mechanical instabilities of biological tubes","oa":1,"extern":"1","_id":"922","date_published":"2012-07-03T00:00:00Z","date_created":"2018-12-11T11:49:13Z","citation":{"ista":"Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).","apa":"Hannezo, E. B., Prost, J., &#38; Joanny, J. (2012). Mechanical instabilities of biological tubes. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.109.018101\">https://doi.org/10.1103/PhysRevLett.109.018101</a>","ama":"Hannezo EB, Prost J, Joanny J. Mechanical instabilities of biological tubes. <i>Physical Review Letters</i>. 2012;109(1). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.018101\">10.1103/PhysRevLett.109.018101</a>","ieee":"E. B. Hannezo, J. Prost, and J. Joanny, “Mechanical instabilities of biological tubes,” <i>Physical Review Letters</i>, vol. 109, no. 1. American Physical Society, 2012.","short":"E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).","mla":"Hannezo, Edouard B., et al. “Mechanical Instabilities of Biological Tubes.” <i>Physical Review Letters</i>, vol. 109, no. 1, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.018101\">10.1103/PhysRevLett.109.018101</a>.","chicago":"Hannezo, Edouard B, Jacques Prost, and Jean Joanny. “Mechanical Instabilities of Biological Tubes.” <i>Physical Review Letters</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevLett.109.018101\">https://doi.org/10.1103/PhysRevLett.109.018101</a>."},"publication_status":"published"},{"citation":{"ista":"Vinzenz M, Nemethova M, Schur FK, Mueller J, Narita A, Urban E, Winkler C, Schmeiser C, Koestler S, Rottner K, Resch G, Maéda Y, Small J. 2012. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 125(11), 2775–2785.","short":"M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.","chicago":"Vinzenz, Marlene, Maria Nemethova, Florian KM Schur, Jan Mueller, Akihiro Narita, Edit Urban, Christoph Winkler, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” <i>Journal of Cell Science</i>. Company of Biologists, 2012. <a href=\"https://doi.org/10.1242/jcs.107623\">https://doi.org/10.1242/jcs.107623</a>.","mla":"Vinzenz, Marlene, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” <i>Journal of Cell Science</i>, vol. 125, no. 11, Company of Biologists, 2012, pp. 2775–85, doi:<a href=\"https://doi.org/10.1242/jcs.107623\">10.1242/jcs.107623</a>.","apa":"Vinzenz, M., Nemethova, M., Schur, F. K., Mueller, J., Narita, A., Urban, E., … Small, J. (2012). Actin branching in the initiation and maintenance of lamellipodia. <i>Journal of Cell Science</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.107623\">https://doi.org/10.1242/jcs.107623</a>","ieee":"M. Vinzenz <i>et al.</i>, “Actin branching in the initiation and maintenance of lamellipodia,” <i>Journal of Cell Science</i>, vol. 125, no. 11. Company of Biologists, pp. 2775–2785, 2012.","ama":"Vinzenz M, Nemethova M, Schur FK, et al. Actin branching in the initiation and maintenance of lamellipodia. <i>Journal of Cell Science</i>. 2012;125(11):2775-2785. doi:<a href=\"https://doi.org/10.1242/jcs.107623\">10.1242/jcs.107623</a>"},"publication_status":"published","date_created":"2018-12-11T11:48:37Z","title":"Actin branching in the initiation and maintenance of lamellipodia","date_published":"2012-06-01T00:00:00Z","_id":"808","extern":"1","tmp":{"short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"file":[{"creator":"kschuh","file_id":"5956","file_size":3326073,"checksum":"2f59e15cc3a85bb500a9887cef2aab67","date_updated":"2020-07-14T12:48:09Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2012_Biologists_Vinzenz.pdf","date_created":"2019-02-12T08:54:51Z"}],"publisher":"Company of Biologists","ddc":["570"],"type":"journal_article","intvolume":"       125","abstract":[{"text":"Using correlated live-cell imaging and electron tomography we found that actin branch junctions in protruding and treadmilling lamellipodia are not concentrated at the front as previously supposed, but link actin filament subsets in which there is a continuum of distances from a junction to the filament plus ends, for up to at least 1 mm. When branch sites were observed closely spaced on the same filament their separation was commonly a multiple of the actin helical repeat of 36 nm. Image averaging of branch junctions in the tomograms yielded a model for the in vivo branch at 2.9 nm resolution, which was comparable with that derived for the in vitro actin- Arp2/3 complex. Lamellipodium initiation was monitored in an intracellular wound-healing model and was found to involve branching from the sides of actin filaments oriented parallel to the plasmalemma. Many filament plus ends, presumably capped, terminated behind the lamellipodium tip and localized on the dorsal and ventral surfaces of the actin network. These findings reveal how branching events initiate and maintain a network of actin filaments of variable length, and provide the first structural model of the branch junction in vivo. A possible role of filament capping in generating the lamellipodium leaflet is discussed and a mathematical model of protrusion is also presented.","lang":"eng"}],"page":"2775 - 2785","date_updated":"2021-01-12T08:16:47Z","author":[{"last_name":"Vinzenz","first_name":"Marlene","full_name":"Vinzenz, Marlene"},{"first_name":"Maria","full_name":"Nemethova, Maria","last_name":"Nemethova","id":"34E27F1C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Schur, Florian","first_name":"Florian","orcid":"0000-0003-4790-8078","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jan","full_name":"Mueller, Jan","last_name":"Mueller"},{"full_name":"Narita, Akihiro","first_name":"Akihiro","last_name":"Narita"},{"full_name":"Urban, Edit","first_name":"Edit","last_name":"Urban"},{"full_name":"Winkler, Christoph","first_name":"Christoph","last_name":"Winkler"},{"first_name":"Christian","full_name":"Schmeiser, Christian","last_name":"Schmeiser"},{"first_name":"Stefan","full_name":"Koestler, Stefan","last_name":"Koestler"},{"first_name":"Klemens","full_name":"Rottner, Klemens","last_name":"Rottner"},{"last_name":"Resch","full_name":"Resch, Guenter","first_name":"Guenter"},{"full_name":"Maéda, Yuichiro","first_name":"Yuichiro","last_name":"Maéda"},{"last_name":"Small","full_name":"Small, John","first_name":"John"}],"acknowledgement":"This work was supported by the Austrian Science Fund [projects FWF I516-B09 and FWF P21292-B09 to J.V.S.]; the Vienna Science and Technology Fund [WWTF-grant numbers MA 09-004 to J.V.S. and C.S], ZIT - The Technology Agency of the City of Vienna [VSOE, CMCN to J.V.S. and G.P.R.]; the Deutsche Forschungsgemeinschaft [grant number RO 2414/1-2 to K.R.]; the Daiko research foundation [grant number 9134 to A.N.]; and a Grant-in-Aid for Scientific Research [S, grant number 20227008 to Y.M.] and a Grant-in-Aid for Young Scientists [B, grant number 22770145 to A.N.] (B) from The Ministry of Education, Culture, Sports, Science and Technology of the Japanese Government. Deposited in PMC for immediate release. We thank Tibor Kulcsar for assistance with graphics.","issue":"11","file_date_updated":"2020-07-14T12:48:09Z","oa":1,"volume":125,"publication":"Journal of Cell Science","doi":"10.1242/jcs.107623","day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"6842","month":"06","year":"2012","language":[{"iso":"eng"}],"status":"public","quality_controlled":"1","has_accepted_license":"1","oa_version":"None"},{"day":"03","publist_id":"7750","month":"04","status":"public","year":"2012","type":"journal_article","intvolume":"      2013","abstract":[{"lang":"eng","text":"For given non-zero integers a, b, q we investigate the density of solutions (x, y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined over ℚ."}],"quality_controlled":0,"page":"1 - 65","date_updated":"2021-01-12T06:52:41Z","author":[{"full_name":"Timothy Browning","first_name":"Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Baier","first_name":"Stephan","full_name":"Baier, Stephan"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1011.3434"}],"issue":"680","date_created":"2018-12-11T11:45:00Z","publication_status":"published","citation":{"ista":"Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65.","apa":"Browning, T. D., &#38; Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter. <a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>","ieee":"T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” <i>Journal fur die Reine und Angewandte Mathematik</i>, vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012.","ama":"Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2012;2013(680):1-65. doi:<a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>","short":"T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.","chicago":"Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter, 2012. <a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>.","mla":"Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:<a href=\"https://doi.org/10.1515/crelle.2012.039\">https://doi.org/10.1515/crelle.2012.039</a>."},"title":"Inhomogeneous cubic congruences and rational points on del Pezzo surfaces","volume":2013,"oa":1,"date_published":"2012-04-03T00:00:00Z","_id":"171","extern":1,"publication":"Journal fur die Reine und Angewandte Mathematik","publisher":"Walter de Gruyter","doi":"https://doi.org/10.1515/crelle.2012.039"},{"year":"2012","status":"public","intvolume":"        12","type":"journal_article","month":"06","publist_id":"5368","day":"13","issue":"6","author":[{"full_name":"Mongillo, Massimo","first_name":"Massimo","last_name":"Mongillo"},{"full_name":"Spathis, Panayotis N","first_name":"Panayotis","last_name":"Spathis"},{"full_name":"Georgios Katsaros","first_name":"Georgios","last_name":"Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Gentile","full_name":"Gentile, Pascal","first_name":"Pascal"},{"first_name":"Silvano","full_name":"De Franceschi, Silvano","last_name":"De Franceschi"}],"acknowledgement":"This work was supported by the Agence Nationale de la Recherche (ANR) through the ACCESS and COHESION projects and by the European Commission through the Chemtronics program MEST-CT-2005-020513","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1208.1465"}],"date_updated":"2021-01-12T06:53:00Z","page":"3074 - 3079","abstract":[{"lang":"eng","text":"We report on the electronic transport properties of multiple-gate devices fabricated from undoped silicon nanowires. Understanding and control of the relevant transport mechanisms was achieved by means of local electrostatic gating and temperature-dependent measurements. The roles of the source/drain contacts and of the silicon channel could be independently evaluated and tuned. Wrap gates surrounding the silicide-silicon contact interfaces were proved to be effective in inducing a full suppression of the contact Schottky barriers, thereby enabling carrier injection down to liquid helium temperature. By independently tuning the effective Schottky barrier heights, a variety of reconfigurable device functionalities could be obtained. In particular, the same nanowire device could be configured to work as a Schottky barrier transistor, a Schottky diode, or a p-n diode with tunable polarities. This versatility was eventually exploited to realize a NAND logic gate with gain well above one."}],"quality_controlled":0,"_id":"1756","extern":1,"date_published":"2012-06-13T00:00:00Z","title":"Multifunctional devices and logic gates with undoped silicon nanowires","volume":12,"oa":1,"date_created":"2018-12-11T11:53:50Z","citation":{"apa":"Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., &#38; De Franceschi, S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/nl300930m\">https://doi.org/10.1021/nl300930m</a>","ama":"Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. <i>Nano Letters</i>. 2012;12(6):3074-3079. doi:<a href=\"https://doi.org/10.1021/nl300930m\">10.1021/nl300930m</a>","ieee":"M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional devices and logic gates with undoped silicon nanowires,” <i>Nano Letters</i>, vol. 12, no. 6. American Chemical Society, pp. 3074–3079, 2012.","short":"M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.","mla":"Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” <i>Nano Letters</i>, vol. 12, no. 6, American Chemical Society, 2012, pp. 3074–79, doi:<a href=\"https://doi.org/10.1021/nl300930m\">10.1021/nl300930m</a>.","chicago":"Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile, and Silvano De Franceschi. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” <i>Nano Letters</i>. American Chemical Society, 2012. <a href=\"https://doi.org/10.1021/nl300930m\">https://doi.org/10.1021/nl300930m</a>.","ista":"Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. 2012. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 12(6), 3074–3079."},"publication_status":"published","publisher":"American Chemical Society","doi":"10.1021/nl300930m","publication":"Nano Letters"},{"status":"public","year":"2012","intvolume":"       109","type":"journal_article","month":"08","publist_id":"5367","day":"23","issue":"8","acknowledgement":"We acknowledge the financial support by the DFG SPP1386, P. Chen and D. J. Thurmer for MBE assistance, R. Wacquez for providing the ultrathin SOI wafers, and G. Bauer, Y. Hu, X. Jehl, S. Kiravittaya, C. Klöffel, E. J. H. Lee, F. Liu, D. Loss, and S. Mahapatra for helpful discussions. G. K. acknowledges support from the European commission via a Marie Curie Carrer Integration Grant. S. D. F. acknowledges support from the European Research Council through the starting grant program","author":[{"first_name":"Jianjun","full_name":"Zhang, Jianjun","last_name":"Zhang"},{"last_name":"Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","full_name":"Georgios Katsaros","first_name":"Georgios"},{"last_name":"Montalenti","full_name":"Montalenti, Francesco","first_name":"Francesco"},{"first_name":"Daniele","full_name":"Scopece, Daniele","last_name":"Scopece"},{"full_name":"Rezaev, Roman O","first_name":"Roman","last_name":"Rezaev"},{"full_name":"Mickel, Christine H","first_name":"Christine","last_name":"Mickel"},{"first_name":"Bernd","full_name":"Rellinghaus, Bernd","last_name":"Rellinghaus"},{"last_name":"Miglio","first_name":"Leo","full_name":"Miglio, Leo P"},{"last_name":"De Franceschi","full_name":"De Franceschi, Silvano","first_name":"Silvano"},{"full_name":"Rastelli, Armando","first_name":"Armando","last_name":"Rastelli"},{"last_name":"Schmidt","first_name":"Oliver","full_name":"Schmidt, Oliver G"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1208.0666"}],"date_updated":"2021-01-12T06:53:00Z","abstract":[{"lang":"eng","text":"Self-assembled Ge wires with a height of only 3 unit cells and a length of up to 2 micrometers were grown on Si(001) by means of a catalyst-free method based on molecular beam epitaxy. The wires grow horizontally along either the [100] or the [010] direction. On atomically flat surfaces, they exhibit a highly uniform, triangular cross section. A simple thermodynamic model accounts for the existence of a preferential base width for longitudinal expansion, in quantitative agreement with the experimental findings. Despite the absence of intentional doping, the first transistor-type devices made from single wires show low-resistive electrical contacts and single-hole transport at sub-Kelvin temperatures. In view of their exceptionally small and self-defined cross section, these Ge wires hold promise for the realization of hole systems with exotic properties and provide a new development route for silicon-based nanoelectronics."}],"quality_controlled":0,"extern":1,"_id":"1757","date_published":"2012-08-23T00:00:00Z","title":"Monolithic growth of ultrathin Ge nanowires on Si(001) ","volume":109,"oa":1,"date_created":"2018-12-11T11:53:51Z","publication_status":"published","citation":{"ista":"Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).","apa":"Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C., … Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) . <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.109.085502\">https://doi.org/10.1103/PhysRevLett.109.085502</a>","ieee":"J. Zhang <i>et al.</i>, “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” <i>Physical Review Letters</i>, vol. 109, no. 8. American Physical Society, 2012.","ama":"Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . <i>Physical Review Letters</i>. 2012;109(8). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.085502\">10.1103/PhysRevLett.109.085502</a>","short":"J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).","mla":"Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” <i>Physical Review Letters</i>, vol. 109, no. 8, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.085502\">10.1103/PhysRevLett.109.085502</a>.","chicago":"Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece, Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” <i>Physical Review Letters</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevLett.109.085502\">https://doi.org/10.1103/PhysRevLett.109.085502</a>."},"doi":"10.1103/PhysRevLett.109.085502","publisher":"American Physical Society","publication":"Physical Review Letters"},{"publist_id":"5366","day":"31","status":"public","type":"journal_article","intvolume":"       109","year":"2012","month":"10","date_updated":"2021-01-12T06:53:01Z","abstract":[{"lang":"eng","text":"We studied the low-energy states of spin-1/2 quantum dots defined in InAs/InP nanowires and coupled to aluminum superconducting leads. By varying the superconducting gap Δ with a magnetic field B we investigated the transition from strong coupling Δ≪T K to weak-coupling Δ≫T K, where T K is the Kondo temperature. Below the critical field, we observe a persisting zero-bias Kondo resonance that vanishes only for low B or higher temperatures, leaving the room to more robust subgap structures at bias voltages between Δ and 2Δ. For strong and approximately symmetric tunnel couplings, a Josephson supercurrent is observed in addition to the Kondo peak. We ascribe the coexistence of a Kondo resonance and a superconducting gap to a significant density of intragap quasiparticle states, and the finite-bias subgap structures to tunneling through Shiba states. Our results, supported by numerical calculations, own relevance also in relation to tunnel-spectroscopy experiments aiming at the observation of Majorana fermions in hybrid nanostructures."}],"quality_controlled":0,"issue":"18","acknowledgement":"This work was supported by the EU Marie Curie program and by the Agence Nationale de la Recherche. R. A. acknowledges support from the Spanish Ministry of Science and Innovation through Grant No. FIS2009-08744","main_file_link":[{"url":"http://arxiv.org/abs/1207.1259","open_access":"1"}],"author":[{"full_name":"Lee, Eduardo J","first_name":"Eduardo","last_name":"Lee"},{"first_name":"Xiaocheng","full_name":"Jiang, Xiaocheng","last_name":"Jiang"},{"last_name":"Aguado","first_name":"Ramón","full_name":"Aguado, Ramón"},{"full_name":"Georgios Katsaros","first_name":"Georgios","last_name":"Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Lieber, Charles M","first_name":"Charles","last_name":"Lieber"},{"last_name":"De Franceschi","first_name":"Silvano","full_name":"De Franceschi, Silvano"}],"date_created":"2018-12-11T11:53:51Z","publication_status":"published","citation":{"ama":"Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. <i>Physical Review Letters</i>. 2012;109(18). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.186802\">10.1103/PhysRevLett.109.186802</a>","ieee":"E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi, “Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” <i>Physical Review Letters</i>, vol. 109, no. 18. American Physical Society, 2012.","apa":"Lee, E., Jiang, X., Aguado, R., Katsaros, G., Lieber, C., &#38; De Franceschi, S. (2012). Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.109.186802\">https://doi.org/10.1103/PhysRevLett.109.186802</a>","mla":"Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” <i>Physical Review Letters</i>, vol. 109, no. 18, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.109.186802\">10.1103/PhysRevLett.109.186802</a>.","chicago":"Lee, Eduardo, Xiaocheng Jiang, Ramón Aguado, Georgios Katsaros, Charles Lieber, and Silvano De Franceschi. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” <i>Physical Review Letters</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevLett.109.186802\">https://doi.org/10.1103/PhysRevLett.109.186802</a>.","short":"E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012).","ista":"Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. 2012. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 109(18)."},"_id":"1758","date_published":"2012-10-31T00:00:00Z","extern":1,"title":"Zero-bias anomaly in a nanowire quantum dot coupled to superconductors","volume":109,"oa":1,"publication":"Physical Review Letters","doi":"10.1103/PhysRevLett.109.186802","publisher":"American Physical Society"},{"publication":"Physical Review Letters","publisher":"American Physical Society","doi":"10.1103/PhysRevLett.108.170401","citation":{"ista":"Pechal M, Berger S, Abdumalikov A, Fink JM, Mlynek J, Steffen L, Wallraff A, Filipp S. 2012. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 108(17).","chicago":"Pechal, M, Stefan Berger, Abdufarrukh Abdumalikov, Johannes M Fink, Jonas Mlynek, L. Steffen, Andreas Wallraff, and Stefan Filipp. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.” <i>Physical Review Letters</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevLett.108.170401\">https://doi.org/10.1103/PhysRevLett.108.170401</a>.","mla":"Pechal, M., et al. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.” <i>Physical Review Letters</i>, vol. 108, no. 17, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.108.170401\">10.1103/PhysRevLett.108.170401</a>.","short":"M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A. Wallraff, S. Filipp, Physical Review Letters 108 (2012).","ama":"Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. <i>Physical Review Letters</i>. 2012;108(17). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.108.170401\">10.1103/PhysRevLett.108.170401</a>","ieee":"M. Pechal <i>et al.</i>, “Geometric phase and nonadiabatic effects in an electronic harmonic oscillator,” <i>Physical Review Letters</i>, vol. 108, no. 17. American Physical Society, 2012.","apa":"Pechal, M., Berger, S., Abdumalikov, A., Fink, J. M., Mlynek, J., Steffen, L., … Filipp, S. (2012). Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.108.170401\">https://doi.org/10.1103/PhysRevLett.108.170401</a>"},"publication_status":"published","date_created":"2018-12-11T11:53:59Z","oa":1,"volume":108,"title":"Geometric phase and nonadiabatic effects in an electronic harmonic oscillator","_id":"1782","date_published":"2012-04-23T00:00:00Z","extern":1,"quality_controlled":0,"abstract":[{"lang":"eng","text":"Steering a quantum harmonic oscillator state along cyclic trajectories leads to a path-dependent geometric phase. Here we describe its experimental observation in an electronic harmonic oscillator. We use a superconducting qubit as a nonlinear probe of the phase, which is otherwise unobservable due to the linearity of the oscillator. We show that the geometric phase is, for a variety of cyclic paths, proportional to the area enclosed in the quadrature plane. At the transition to the nonadiabatic regime, we study corrections to the phase and dephasing of the qubit caused by qubit-resonator entanglement. In particular, we identify parameters for which this dephasing mechanism is negligible even in the nonadiabatic regime. The demonstrated controllability makes our system a versatile tool to study geometric phases in open quantum systems and to investigate their potential for quantum information processing."}],"date_updated":"2021-01-12T06:53:10Z","acknowledgement":"This work is supported by the EU project GEOMDISS, the Austrian Science Foundation (S. F.), and the Swiss National Science Foundation (SNSF)","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1109.1157"}],"author":[{"last_name":"Pechal","full_name":"Pechal, M","first_name":"M"},{"first_name":"Stefan","full_name":"Berger, Stefan T","last_name":"Berger"},{"full_name":"Abdumalikov, Abdufarrukh A","first_name":"Abdufarrukh","last_name":"Abdumalikov"},{"last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","full_name":"Johannes Fink","orcid":"0000-0001-8112-028X"},{"last_name":"Mlynek","first_name":"Jonas","full_name":"Mlynek, Jonas A"},{"last_name":"Steffen","first_name":"L.","full_name":"Steffen, L. Kraig"},{"last_name":"Wallraff","first_name":"Andreas","full_name":"Wallraff, Andreas"},{"full_name":"Filipp, Stefan","first_name":"Stefan","last_name":"Filipp"}],"issue":"17","day":"23","publist_id":"5333","month":"04","type":"journal_article","status":"public","year":"2012","intvolume":"       108"},{"doi":"10.1103/PhysRevA.86.053838","publisher":"American Physical Society","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","extern":1,"_id":"1783","date_published":"2012-11-30T00:00:00Z","oa":1,"volume":86,"title":"Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics","publication_status":"published","citation":{"chicago":"Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevA.86.053838\">https://doi.org/10.1103/PhysRevA.86.053838</a>.","mla":"Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 86, no. 5, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevA.86.053838\">10.1103/PhysRevA.86.053838</a>.","short":"J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).","ieee":"J. Mlynek <i>et al.</i>, “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 86, no. 5. American Physical Society, 2012.","ama":"Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2012;86(5). doi:<a href=\"https://doi.org/10.1103/PhysRevA.86.053838\">10.1103/PhysRevA.86.053838</a>","apa":"Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C., … Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.86.053838\">https://doi.org/10.1103/PhysRevA.86.053838</a>","ista":"Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 86(5)."},"date_created":"2018-12-11T11:53:59Z","issue":"5","main_file_link":[{"url":"http://arxiv.org/abs/1202.5191","open_access":"1"}],"author":[{"full_name":"Mlynek, Jonas A","first_name":"Jonas","last_name":"Mlynek"},{"last_name":"Abdumalikov","full_name":"Abdumalikov, Abdufarrukh A","first_name":"Abdufarrukh"},{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink","orcid":"0000-0001-8112-028X","first_name":"Johannes M","full_name":"Johannes Fink"},{"full_name":"Steffen, L. Kraig","first_name":"L.","last_name":"Steffen"},{"last_name":"Baur","first_name":"Matthias","full_name":"Baur, Matthias P"},{"last_name":"Lang","full_name":"Lang, C","first_name":"C"},{"first_name":"Arjan","full_name":"Van Loo, Arjan F","last_name":"Van Loo"},{"last_name":"Wallraff","full_name":"Wallraff, Andreas","first_name":"Andreas"}],"acknowledgement":"This work was supported by the Swiss National Science Foundation (SNF) and the EU IP SOLID","date_updated":"2021-01-12T06:53:10Z","quality_controlled":0,"abstract":[{"text":"Nonlinearity and entanglement are two important properties by which physical systems can be identified as nonclassical. We study the dynamics of the resonant interaction of up to N=3 two-level systems and a single mode of the electromagnetic field sharing a single excitation dynamically. We observe coherent vacuum Rabi oscillations and their nonlinear √N speedup by tracking the populations of all qubits and the resonator in time. We use quantum state tomography to show explicitly that the dynamics generates maximally entangled states of the W class in a time limited only by the collective interaction rate. We use an entanglement witness and the 3-tangle to characterize the state whose fidelity F=78% is limited in our experiments by crosstalk arising during the simultaneous qubit manipulations which is absent in a sequential approach with F=91%.","lang":"eng"}],"year":"2012","intvolume":"        86","type":"journal_article","status":"public","month":"11","publist_id":"5332","day":"30"},{"publisher":"Springer","department":[{"_id":"KrPi"}],"ec_funded":1,"title":"Practical leakage-resilient symmetric cryptography","_id":"2048","date_published":"2012-09-01T00:00:00Z","citation":{"short":"S. Faust, K.Z. Pietrzak, J. Schipper, in:,  Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.","mla":"Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” <i> Conference Proceedings CHES 2012</i>, vol. 7428, Springer, 2012, pp. 213–32, doi:<a href=\"https://doi.org/10.1007/978-3-642-33027-8_13\">10.1007/978-3-642-33027-8_13</a>.","chicago":"Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In <i> Conference Proceedings CHES 2012</i>, 7428:213–32. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33027-8_13\">https://doi.org/10.1007/978-3-642-33027-8_13</a>.","apa":"Faust, S., Pietrzak, K. Z., &#38; Schipper, J. (2012). Practical leakage-resilient symmetric cryptography. In <i> Conference proceedings CHES 2012</i> (Vol. 7428, pp. 213–232). Leuven, Belgium: Springer. <a href=\"https://doi.org/10.1007/978-3-642-33027-8_13\">https://doi.org/10.1007/978-3-642-33027-8_13</a>","ama":"Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: <i> Conference Proceedings CHES 2012</i>. Vol 7428. Springer; 2012:213-232. doi:<a href=\"https://doi.org/10.1007/978-3-642-33027-8_13\">10.1007/978-3-642-33027-8_13</a>","ieee":"S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in <i> Conference proceedings CHES 2012</i>, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.","ista":"Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography.  Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428, 213–232."},"publication_status":"published","date_created":"2018-12-11T11:55:25Z","author":[{"last_name":"Faust","first_name":"Sebastian","full_name":"Faust, Sebastian"},{"last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654"},{"first_name":"Joachim","full_name":"Schipper, Joachim","last_name":"Schipper","id":"7BE863D4-E9CF-11E9-9EDB-90527418172C"}],"main_file_link":[{"url":"http://www.iacr.org/archive/ches2012/74280211/74280211.pdf","open_access":"1"}],"acknowledgement":"Sebastian Faust acknowledges support from the Danish National Research Foundation and The National Science Foundation of China (under the grant 61061130540) for the Sino-Danish Center for the Theory of Interactive Computation, within part of this work was performed; and from the CFEM research center, supported by the Danish Strategic Research Council. \r\nSupported by the European Research Council/ERC Starting Grant 259668-PSPC.\r\n","conference":{"start_date":"2012-09-09","end_date":"2012-09-12","name":"CHES: Cryptographic Hardware and Embedded Systems","location":"Leuven, Belgium"},"page":"213 - 232","abstract":[{"text":"Leakage resilient cryptography attempts to incorporate side-channel leakage into the black-box security model and designs cryptographic schemes that are provably secure within it. Informally, a scheme is leakage-resilient if it remains secure even if an adversary learns a bounded amount of arbitrary information about the schemes internal state. Unfortunately, most leakage resilient schemes are unnecessarily complicated in order to achieve strong provable security guarantees. As advocated by Yu et al. [CCS’10], this mostly is an artefact of the security proof and in practice much simpler construction may already suffice to protect against realistic side-channel attacks. In this paper, we show that indeed for simpler constructions leakage-resilience can be obtained when we aim for relaxed security notions where the leakage-functions and/or the inputs to the primitive are chosen non-adaptively. For example, we show that a three round Feistel network instantiated with a leakage resilient PRF yields a leakage resilient PRP if the inputs are chosen non-adaptively (This complements the result of Dodis and Pietrzak [CRYPTO’10] who show that if a adaptive queries are allowed, a superlogarithmic number of rounds is necessary.) We also show that a minor variation of the classical GGM construction gives a leakage resilient PRF if both, the leakage-function and the inputs, are chosen non-adaptively.","lang":"eng"}],"date_updated":"2021-01-12T06:54:58Z","intvolume":"      7428","type":"conference","doi":"10.1007/978-3-642-33027-8_13","project":[{"name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668","call_identifier":"FP7"}],"publication":" Conference proceedings CHES 2012","oa":1,"volume":7428,"oa_version":"Preprint","scopus_import":1,"quality_controlled":"1","month":"09","status":"public","language":[{"iso":"eng"}],"year":"2012","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"publist_id":"5003"},{"intvolume":"      7549","type":"conference","acknowledgement":"Supported by the European Research Council / ERC Starting Grant (259668- PSPC)\r\nWe would like to thank the anonymous referees of this confer- ence and those of the ECRYPT Workshop on Lightweight Cryptography for very useful comments, and in particular for the suggestion that the scheme is somewhat vulnerable to a man-in-the-middle attack whenever an adversary observes two reader challenges that are the same. We hope that the attack we described in Appendix A corresponds to what the reviewer had in mind. We also thank Tanja Lange for pointing us to the pa- per of [Kir11] and for discussions of some of her recent work. ","author":[{"last_name":"Heyse","full_name":"Heyse, Stefan","first_name":"Stefan"},{"first_name":"Eike","full_name":"Kiltz, Eike","last_name":"Kiltz"},{"last_name":"Lyubashevsky","first_name":"Vadim","full_name":"Lyubashevsky, Vadim"},{"full_name":"Paar, Christof","first_name":"Christof","last_name":"Paar"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654"}],"main_file_link":[{"url":"http://www.iacr.org/archive/fse2012/75490350/75490350.pdf","open_access":"1"}],"date_updated":"2021-01-12T06:54:58Z","page":"346 - 365","abstract":[{"lang":"eng","text":"We propose a new authentication protocol that is provably secure based on a ring variant of the learning parity with noise (LPN) problem. The protocol follows the design principle of the LPN-based protocol from Eurocrypt’11 (Kiltz et al.), and like it, is a two round protocol secure against active attacks. Moreover, our protocol has small communication complexity and a very small footprint which makes it applicable in scenarios that involve low-cost, resource-constrained devices.\r\n\r\nPerformance-wise, our protocol is more efficient than previous LPN-based schemes, such as the many variants of the Hopper-Blum (HB) protocol and the aforementioned protocol from Eurocrypt’11. Our implementation results show that it is even comparable to the standard challenge-and-response protocols based on the AES block-cipher. Our basic protocol is roughly 20 times slower than AES, but with the advantage of having 10 times smaller code size. Furthermore, if a few hundred bytes of non-volatile memory are available to allow the storage of some off-line pre-computations, then the online phase of our protocols is only twice as slow as AES.\r\n"}],"conference":{"start_date":"2012-03-19","end_date":"2012-03-21","name":"FSE: Fast Software Encryption","location":"Washington, DC, USA"},"_id":"2049","date_published":"2012-03-01T00:00:00Z","ec_funded":1,"title":"Lapin: An efficient authentication protocol based on ring-LPN","date_created":"2018-12-11T11:55:25Z","citation":{"apa":"Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., &#38; Pietrzak, K. Z. (2012). Lapin: An efficient authentication protocol based on ring-LPN. In <i> Conference proceedings FSE 2012</i> (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-34047-5_20\">https://doi.org/10.1007/978-3-642-34047-5_20</a>","ama":"Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: <i> Conference Proceedings FSE 2012</i>. Vol 7549. Springer; 2012:346-365. doi:<a href=\"https://doi.org/10.1007/978-3-642-34047-5_20\">10.1007/978-3-642-34047-5_20</a>","ieee":"S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in <i> Conference proceedings FSE 2012</i>, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.","short":"S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:,  Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.","mla":"Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” <i> Conference Proceedings FSE 2012</i>, vol. 7549, Springer, 2012, pp. 346–65, doi:<a href=\"https://doi.org/10.1007/978-3-642-34047-5_20\">10.1007/978-3-642-34047-5_20</a>.","chicago":"Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In <i> Conference Proceedings FSE 2012</i>, 7549:346–65. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-34047-5_20\">https://doi.org/10.1007/978-3-642-34047-5_20</a>.","ista":"Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient authentication protocol based on ring-LPN.  Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549, 346–365."},"publication_status":"published","department":[{"_id":"KrPi"}],"publisher":"Springer","year":"2012","language":[{"iso":"eng"}],"status":"public","month":"03","publist_id":"5002","alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","scopus_import":1,"oa_version":"Preprint","quality_controlled":"1","volume":7549,"oa":1,"project":[{"grant_number":"259668","call_identifier":"FP7","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425"}],"doi":"10.1007/978-3-642-34047-5_20","publication":" Conference proceedings FSE 2012"},{"department":[{"_id":"ToHe"}],"publisher":"ACM","title":"Conditional model checking: A technique to pass information between verifiers","ec_funded":1,"_id":"1384","date_published":"2012-11-01T00:00:00Z","date_created":"2018-12-11T11:51:42Z","publication_status":"published","citation":{"ista":"Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.","apa":"Beyer, D., Henzinger, T. A., Keremoglu, M., &#38; Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>. Cary, NC, USA: ACM. <a href=\"https://doi.org/10.1145/2393596.2393664\">https://doi.org/10.1145/2393596.2393664</a>","ama":"Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>. ACM; 2012. doi:<a href=\"https://doi.org/10.1145/2393596.2393664\">10.1145/2393596.2393664</a>","ieee":"D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>, Cary, NC, USA, 2012.","short":"D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.","mla":"Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>, 57, ACM, 2012, doi:<a href=\"https://doi.org/10.1145/2393596.2393664\">10.1145/2393596.2393664</a>.","chicago":"Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>. ACM, 2012. <a href=\"https://doi.org/10.1145/2393596.2393664\">https://doi.org/10.1145/2393596.2393664</a>."},"acknowledgement":"This  research  was  supported  by  the  Canadian  NSERC grant   RGPIN   341819-07,    the   ERC   Advanced   Grant QUAREM, and the Austrian Science Fund NFN RiSE.","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1109.6926"}],"author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Keremoglu, Mehmet","first_name":"Mehmet","last_name":"Keremoglu"},{"first_name":"Philipp","full_name":"Wendler, Philipp","last_name":"Wendler"}],"article_number":"57","abstract":[{"text":"Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests itself in a space-out, time-out, or one component of the verification tool giving up; in all of these failing cases, significant computation is performed by the verification tool before the failure, but no result is reported. We propose to reformulate the model-checking problem as follows, in order to have the verification tool report a summary of the performed work even in case of failure: given a program and a specification, the model checker returns a condition Ψ - usually a state predicate - such that the program satisfies the specification under the condition Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied. In our experiments, we investigated as one major application of conditional model checking the sequential combination of model checkers with information passing. We give the condition that one model checker produces, as input to a second conditional model checker, such that the verification problem for the second is restricted to the part of the state space that is not covered by the condition, i.e., the second model checker works on the problems that the first model checker could not solve. Our experiments demonstrate that repeated application of conditional model checkers, passing information from one model checker to the next, can significantly improve the verification results and performance, i.e., we can now verify programs that we could not verify before.","lang":"eng"}],"conference":{"start_date":"2012-11-11","end_date":"2012-11-16","location":"Cary, NC, USA","name":"FSE: Foundations of Software Engineering"},"date_updated":"2021-01-12T06:50:18Z","type":"conference","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989"},{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"doi":"10.1145/2393596.2393664","publication":"Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering","oa":1,"oa_version":"Preprint","scopus_import":1,"quality_controlled":"1","month":"11","language":[{"iso":"eng"}],"status":"public","year":"2012","day":"01","publist_id":"5826","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},{"publist_id":"5726","day":"01","type":"journal_article","status":"public","intvolume":"        16","year":"2012","month":"08","date_updated":"2021-01-12T06:50:58Z","abstract":[{"text":"Given a possibly reducible and non-reduced spectral cover π: X → C over a smooth projective complex curve C we determine the group of connected components of the Prym variety Prym(X/C). As an immediate application we show that the finite group of n-torsion points of the Jacobian of C acts trivially on the cohomology of the twisted SL n-Higgs moduli space up to the degree which is predicted by topological mirror symmetry. In particular this yields a new proof of a result of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology of the twisted SL n stable bundle moduli space.","lang":"eng"}],"page":"1609 - 1638","quality_controlled":0,"issue":"3","author":[{"full_name":"Tamas Hausel","first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel"},{"full_name":"Pauly, Christian","first_name":"Christian","last_name":"Pauly"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1012.4748"}],"date_created":"2018-12-11T11:52:13Z","publication_status":"published","citation":{"short":"T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.","mla":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” <i>Geometry and Topology</i>, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:<a href=\"https://doi.org/10.2140/gt.2012.16.1609\">10.2140/gt.2012.16.1609</a>.","chicago":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” <i>Geometry and Topology</i>. University of Warwick, 2012. <a href=\"https://doi.org/10.2140/gt.2012.16.1609\">https://doi.org/10.2140/gt.2012.16.1609</a>.","apa":"Hausel, T., &#38; Pauly, C. (2012). Prym varieties of spectral covers. <i>Geometry and Topology</i>. University of Warwick. <a href=\"https://doi.org/10.2140/gt.2012.16.1609\">https://doi.org/10.2140/gt.2012.16.1609</a>","ama":"Hausel T, Pauly C. Prym varieties of spectral covers. <i>Geometry and Topology</i>. 2012;16(3):1609-1638. doi:<a href=\"https://doi.org/10.2140/gt.2012.16.1609\">10.2140/gt.2012.16.1609</a>","ieee":"T. Hausel and C. Pauly, “Prym varieties of spectral covers,” <i>Geometry and Topology</i>, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.","ista":"Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638."},"_id":"1471","extern":1,"date_published":"2012-08-01T00:00:00Z","title":"Prym varieties of spectral covers","volume":16,"oa":1,"publication":"Geometry and Topology","publisher":"University of Warwick","doi":"10.2140/gt.2012.16.1609"},{"date_published":"2012-05-01T00:00:00Z","_id":"1472","extern":1,"volume":175,"title":"Topology of hitchin systems and Hodge theory of character varieties: The case A 1","oa":1,"date_created":"2018-12-11T11:52:13Z","publication_status":"published","citation":{"ista":"De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.","mla":"De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” <i>Annals of Mathematics</i>, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:<a href=\"https://doi.org/10.4007/annals.2012.175.3.7\">10.4007/annals.2012.175.3.7</a>.","chicago":"De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” <i>Annals of Mathematics</i>. Princeton University Press, 2012. <a href=\"https://doi.org/10.4007/annals.2012.175.3.7\">https://doi.org/10.4007/annals.2012.175.3.7</a>.","short":"M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.","ieee":"M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” <i>Annals of Mathematics</i>, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.","ama":"De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. <i>Annals of Mathematics</i>. 2012;175(3):1329-1407. doi:<a href=\"https://doi.org/10.4007/annals.2012.175.3.7\">10.4007/annals.2012.175.3.7</a>","apa":"De Cataldo, M., Hausel, T., &#38; Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. <i>Annals of Mathematics</i>. Princeton University Press. <a href=\"https://doi.org/10.4007/annals.2012.175.3.7\">https://doi.org/10.4007/annals.2012.175.3.7</a>"},"doi":"10.4007/annals.2012.175.3.7","publisher":"Princeton University Press","publication":"Annals of Mathematics","type":"journal_article","intvolume":"       175","year":"2012","status":"public","month":"05","publist_id":"5727","day":"01","issue":"3","author":[{"full_name":"De Cataldo, Mark A","first_name":"Mark","last_name":"De Cataldo"},{"first_name":"Tamas","full_name":"Tamas Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel"},{"full_name":"Migliorini, Luca","first_name":"Luca","last_name":"Migliorini"}],"main_file_link":[{"url":"http://arxiv.org/abs/1004.1420","open_access":"1"}],"acknowledgement":"Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F. Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca Migliorini was partially supported by PRIN 2007 project \"Spazi di moduli e teoria di Lie\"","date_updated":"2021-01-12T06:50:59Z","abstract":[{"text":"For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated with the Hitchin map on the rational cohomology of the moduli space of twisted G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration on the rational cohomology of the twisted G character variety of C when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves.","lang":"eng"}],"page":"1329 - 1407","quality_controlled":0},{"date_published":"2012-07-23T00:00:00Z","_id":"5396","oa":1,"title":"Approximating marginals using discrete energy minimization","citation":{"ista":"Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.","mla":"Korc, Filip, et al. <i>Approximating Marginals Using Discrete Energy Minimization</i>. IST Austria, 2012, doi:<a href=\"https://doi.org/10.15479/AT:IST-2012-0003\">10.15479/AT:IST-2012-0003</a>.","chicago":"Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. <i>Approximating Marginals Using Discrete Energy Minimization</i>. IST Austria, 2012. <a href=\"https://doi.org/10.15479/AT:IST-2012-0003\">https://doi.org/10.15479/AT:IST-2012-0003</a>.","short":"F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.","ama":"Korc F, Kolmogorov V, Lampert C. <i>Approximating Marginals Using Discrete Energy Minimization</i>. IST Austria; 2012. doi:<a href=\"https://doi.org/10.15479/AT:IST-2012-0003\">10.15479/AT:IST-2012-0003</a>","ieee":"F. Korc, V. Kolmogorov, and C. Lampert, <i>Approximating marginals using discrete energy minimization</i>. IST Austria, 2012.","apa":"Korc, F., Kolmogorov, V., &#38; Lampert, C. (2012). <i>Approximating marginals using discrete energy minimization</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2012-0003\">https://doi.org/10.15479/AT:IST-2012-0003</a>"},"publication_status":"published","date_created":"2018-12-12T11:39:06Z","doi":"10.15479/AT:IST-2012-0003","publisher":"IST Austria","department":[{"_id":"VlKo"},{"_id":"ChLa"}],"file":[{"access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:46:44Z","checksum":"7e0ba85ad123b13223aaf6cdde2d288c","file_id":"5490","file_size":618744,"creator":"system","date_created":"2018-12-12T11:53:29Z","file_name":"IST-2012-0003_IST-2012-0003.pdf","content_type":"application/pdf"}],"status":"public","year":"2012","type":"technical_report","language":[{"iso":"eng"}],"month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2664-1690"]},"alternative_title":["IST Austria Technical Report"],"pubrep_id":"36","day":"23","ddc":["000"],"file_date_updated":"2020-07-14T12:46:44Z","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"3124"}]},"author":[{"first_name":"Filip","full_name":"Korc, Filip","last_name":"Korc","id":"476A2FD6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-8622-7887","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","date_updated":"2023-02-23T11:13:22Z","has_accepted_license":"1","abstract":[{"lang":"eng","text":"We consider the problem of inference in agraphical model with binary variables. While in theory it is arguably preferable to compute marginal probabilities, in practice researchers often use MAP inference due to the availability of efficient discrete optimization algorithms. We bridge the gap between the two approaches by introducing the Discrete  Marginals technique in which approximate marginals are obtained by minimizing an objective function with unary and pair-wise terms over a discretized domain. This allows the use of techniques originally devel-oped for MAP-MRF inference and learning. We explore two ways to set up the objective function - by discretizing the Bethe free energy and by learning it  from training data. Experimental results show that for certain types of graphs a learned function can out-perform the  Bethe approximation. We also establish a link between the Bethe free energy and submodular functions."}],"page":"13"},{"month":"11","year":"2012","type":"report","language":[{"iso":"eng"}],"status":"public","day":"12","ddc":["020"],"pubrep_id":"103","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","author":[{"first_name":"Jana","full_name":"Porsche, Jana","id":"3252EDC2-F248-11E8-B48F-1D18A9856A87","last_name":"Porsche"}],"file_date_updated":"2020-07-14T12:46:44Z","abstract":[{"lang":"eng","text":"This document is created as a part of the project “Repository for Research Data on IST Austria”. It summarises the actual state of research data at IST Austria, based on survey results. It supports the choice of appropriate software, which would best fit the requirements of their users, the researchers."}],"date_updated":"2020-07-14T23:04:49Z","has_accepted_license":"1","title":"Actual state of research data @ ISTAustria","oa":1,"date_published":"2012-11-12T00:00:00Z","_id":"5398","date_created":"2018-12-12T11:39:06Z","publication_status":"published","citation":{"short":"J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.","chicago":"Porsche, Jana. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria, 2012.","mla":"Porsche, Jana. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria, 2012.","apa":"Porsche, J. (2012). <i>Actual state of research data @ ISTAustria</i>. IST Austria.","ieee":"J. Porsche, <i>Actual state of research data @ ISTAustria</i>. IST Austria, 2012.","ama":"Porsche J. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria; 2012.","ista":"Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p."},"department":[{"_id":"E-Lib"}],"publisher":"IST Austria","file":[{"checksum":"e0a7c041eea1ca4b70ab6f9ec5177f4e","date_updated":"2020-07-14T12:46:44Z","access_level":"open_access","relation":"main_file","file_id":"5472","file_size":238544,"creator":"system","file_name":"IST-2012-103-v1+1_Actual_state_of_research_data_@_IST_Austria.pdf","date_created":"2018-12-12T11:53:11Z","content_type":"application/pdf"}]}]