[{"publication":"Chemistry – A European Journal","citation":{"mla":"Pieber, Bartholomäus, et al. “Direct Arylation of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal, vol. 18, no. 16, Wiley, 2012, pp. 5047–55, doi:10.1002/chem.201103748.","short":"B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055.","chicago":"Pieber, Bartholomäus, David Cantillo, and C. Oliver Kappe. “Direct Arylation of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201103748.","ama":"Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055. doi:10.1002/chem.201103748","ista":"Pieber B, Cantillo D, Kappe CO. 2012. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 18(16), 5047–5055.","apa":"Pieber, B., Cantillo, D., & Kappe, C. O. (2012). Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. Wiley. https://doi.org/10.1002/chem.201103748","ieee":"B. Pieber, D. Cantillo, and C. O. Kappe, “Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry,” Chemistry – A European Journal, vol. 18, no. 16. Wiley, pp. 5047–5055, 2012."},"article_type":"original","page":"5047-5055","date_published":"2012-04-16T00:00:00Z","scopus_import":"1","day":"16","article_processing_charge":"No","_id":"11964","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry","status":"public","intvolume":" 18","oa_version":"None","type":"journal_article","abstract":[{"lang":"eng","text":"A detailed investigation on the direct arylation of benzene with aryl bromides by using first-row transition metals under high-temperature/high-pressure (high-T/p) conditions is described. By employing a parallel reactor platform for rapid reaction screening and discovery at elevated temperatures, various metal/ligand/base combinations were evaluated for their ability to enable biaryl formation through C-H activation. The combination of cobalt(III) acetylacetonate and lithium bis(trimethylsilyl)amide was subjected to further process intensification at 200 °C (15 bar), allowing a significant reduction of the catalyst/base loading and a dramatic increase in catalytic efficiency (turnover frequency) by a factor of 1000 compared to traditional protocols. The high-throughput screening additionally identified novel nickel- and copper-based metal/ligand combinations that favored an amination pathway competing with C-H activation, with the addition of ligands, such as 1,10-phenanthroline, having a profound influence on the selectivity. In addition to metal-based catalysts, high-T/p process windows were also successfully applied to transition-metal-free systems, utilizing 1,10-phenanthroline as organocatalyst."}],"issue":"16","external_id":{"pmid":["22396386"]},"quality_controlled":"1","doi":"10.1002/chem.201103748","language":[{"iso":"eng"}],"month":"04","publication_identifier":{"issn":["0947-6539"],"eissn":["1521-3765"]},"year":"2012","pmid":1,"publication_status":"published","publisher":"Wiley","author":[{"full_name":"Pieber, Bartholomäus","first_name":"Bartholomäus","last_name":"Pieber","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","orcid":"0000-0001-8689-388X"},{"full_name":"Cantillo, David","first_name":"David","last_name":"Cantillo"},{"last_name":"Kappe","first_name":"C. Oliver","full_name":"Kappe, C. Oliver"}],"date_created":"2022-08-24T12:48:28Z","date_updated":"2023-02-21T10:09:35Z","volume":18,"extern":"1"},{"article_processing_charge":"No","day":"14","scopus_import":"1","date_published":"2012-05-14T00:00:00Z","page":"6124-6128","article_type":"letter_note","citation":{"ama":"Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128. doi:10.1002/chem.201200815","ieee":"G. S. Kumar, B. Pieber, K. R. Reddy, and C. O. Kappe, “Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats,” Chemistry - A European Journal, vol. 18, no. 20. Wiley, pp. 6124–6128, 2012.","apa":"Kumar, G. S., Pieber, B., Reddy, K. R., & Kappe, C. O. (2012). Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. Wiley. https://doi.org/10.1002/chem.201200815","ista":"Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 18(20), 6124–6128.","short":"G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.","mla":"Kumar, G. Sathish, et al. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal, vol. 18, no. 20, Wiley, 2012, pp. 6124–28, doi:10.1002/chem.201200815.","chicago":"Kumar, G. Sathish, Bartholomäus Pieber, K. Rajender Reddy, and C. Oliver Kappe. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201200815."},"publication":"Chemistry - A European Journal","issue":"20","abstract":[{"text":"Peroxides and ethers in flow: 2-Carbonyl-substituted phenols and β-ketoesters react safely with ethers in a microreactor environment using a copper catalyst and an organic peroxide (TBHP). This protocol results in unsymmetrical acetal scaffolds not easily available otherwise (see scheme).","lang":"eng"}],"type":"journal_article","oa_version":"None","intvolume":" 18","status":"public","title":"Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats","_id":"11963","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1521-3765"],"issn":["0947-6539"]},"month":"05","language":[{"iso":"eng"}],"doi":"10.1002/chem.201200815","quality_controlled":"1","external_id":{"pmid":["22492535"]},"extern":"1","volume":18,"date_created":"2022-08-24T12:33:05Z","date_updated":"2023-02-21T10:09:33Z","author":[{"last_name":"Kumar","first_name":"G. Sathish","full_name":"Kumar, G. Sathish"},{"full_name":"Pieber, Bartholomäus","last_name":"Pieber","first_name":"Bartholomäus","orcid":"0000-0001-8689-388X","id":"93e5e5b2-0da6-11ed-8a41-af589a024726"},{"first_name":"K. Rajender","last_name":"Reddy","full_name":"Reddy, K. Rajender"},{"first_name":"C. Oliver","last_name":"Kappe","full_name":"Kappe, C. Oliver"}],"publisher":"Wiley","publication_status":"published","pmid":1,"year":"2012"},{"article_type":"original","publication":"Water Resources Research","citation":{"ama":"Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 2012;48(3). doi:10.1029/2011wr010559","apa":"Ragettli, S., & Pellicciotti, F. (2012). Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2011wr010559","ieee":"S. Ragettli and F. Pellicciotti, “Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters,” Water Resources Research, vol. 48, no. 3. American Geophysical Union, 2012.","ista":"Ragettli S, Pellicciotti F. 2012. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 48(3), W03509.","short":"S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012).","mla":"Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.” Water Resources Research, vol. 48, no. 3, W03509, American Geophysical Union, 2012, doi:10.1029/2011wr010559.","chicago":"Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.” Water Resources Research. American Geophysical Union, 2012. https://doi.org/10.1029/2011wr010559."},"date_published":"2012-03-01T00:00:00Z","scopus_import":"1","day":"01","article_processing_charge":"No","title":"Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters","status":"public","intvolume":" 48","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12644","oa_version":"Published Version","type":"journal_article","abstract":[{"text":"In the Dry Andes of central Chile, summer water resources originate mostly from snowmelt and ice melt. We use the physically based, spatially distributed hydrological model TOPKAPI to study the exchange between glaciers and climate in the upper Aconcagua River Basin during the summer season and identify the model parameters that are robust and transferable and those that are more dependent on calibration. TOPKAPI has recently been adapted to incorporate an enhanced temperature index approach for snow and ice melting. We suggest a calibration procedure that allows calibration of parameters in three steps by separating parameters governing distinct processes. We evaluate the parameters' transferability in time and in space by applying the model at two spatial scales. TOPKAPI's ability to simulate the relevant processes is tested against meteorological, ablation, and glacier runoff data measured on Juncal Norte Glacier during two glacier ablation seasons. The model was applied successfully to the climatic setting of the Dry Andes once its parameters were recalibrated. We found a clear distinction between parameters that are stable in time and those that need recalibration. The parameters of the melt model are transferable from one season to the other, while the parameters governing the extrapolation of meteorological input data and the routing of glacier meltwater need recalibration from one season to the other. Sensitivity analysis revealed that the model is most sensitive to the temperature lapse rate governing the extrapolation of air temperature from point measurements to the glacier scale and to the melt parameter that multiplies the shortwave radiation balance.","lang":"eng"}],"issue":"3","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.1029/2011WR010559","open_access":"1"}],"oa":1,"language":[{"iso":"eng"}],"doi":"10.1029/2011wr010559","month":"03","publication_identifier":{"issn":["0043-1397"]},"publication_status":"published","publisher":"American Geophysical Union","year":"2012","date_created":"2023-02-20T08:17:39Z","date_updated":"2023-02-21T09:38:36Z","volume":48,"author":[{"last_name":"Ragettli","first_name":"S.","full_name":"Ragettli, S."},{"first_name":"Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca"}],"article_number":"W03509","extern":"1"},{"_id":"12646","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies","intvolume":" 32","oa_version":"Published Version","type":"journal_article","abstract":[{"lang":"eng","text":"Assessment of water resources from remote mountainous catchments plays a crucial role for the development of rural areas in or in the vicinity of mountain ranges. The scarcity of data, however, prevents the application of standard approaches that are based on data-driven models. The Hindu Kush–Karakoram–Himalaya mountain range is a crucial area in terms of water resources, but our understanding of the response of its high-elevation catchments to a changing climate is hindered by lack of hydro-meteorological and cryospheric data. Hydrological modeling is challenging here because internal inconsistencies—such as an underestimation of precipitation input that can be compensated for by an overestimation of meltwater—might be hidden due to the complexity of feedback mechanisms that govern melt and runoff generation in such basins. Data scarcity adds to this difficulty by preventing the application of systematic calibration procedures that would allow identification of the parameter set that could guarantee internal consistency in the simulation of the single hydrological components. In this work, we use simulations from the Hunza River Basin in the Karakoram region obtained with the hydrological model TOPKAPI to quantify the predictive power of discharge and snow-cover data sets, as well as the combination of both. We also show that short-term measurements of meteorological variables such as radiative fluxes, wind speed, relative humidity, and air temperature from glacio-meteorological experiments are crucial for a correct parameterization of surface melt processes. They enable detailed simulations of the energy fluxes governing glacier–atmosphere interaction and the resulting ablation through energy-balance modeling. These simulations are used to derive calibrated parameters for the simplified snow and glacier routines in TOPKAPI. We demonstrate that such parameters are stable in space and time in similar climatic regions, thus reducing the number of parameters requiring calibration."}],"issue":"1","publication":"Mountain Research and Development","citation":{"chicago":"Pellicciotti, Francesca, Cyrill Buergi, Walter Willem Immerzeel, Markus Konz, and Arun B. Shrestha. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00092.1.","short":"F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain Research and Development 32 (2012) 39–50.","mla":"Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.","apa":"Pellicciotti, F., Buergi, C., Immerzeel, W. W., Konz, M., & Shrestha, A. B. (2012). Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. International Mountain Society. https://doi.org/10.1659/mrd-journal-d-11-00092.1","ieee":"F. Pellicciotti, C. Buergi, W. W. Immerzeel, M. Konz, and A. B. Shrestha, “Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 39–50, 2012.","ista":"Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. 2012. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 32(1), 39–50.","ama":"Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1"},"article_type":"original","page":"39-50","date_published":"2012-02-01T00:00:00Z","scopus_import":"1","day":"01","article_processing_charge":"No","year":"2012","publication_status":"published","publisher":"International Mountain Society","author":[{"full_name":"Pellicciotti, Francesca","first_name":"Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70"},{"first_name":"Cyrill","last_name":"Buergi","full_name":"Buergi, Cyrill"},{"first_name":"Walter Willem","last_name":"Immerzeel","full_name":"Immerzeel, Walter Willem"},{"last_name":"Konz","first_name":"Markus","full_name":"Konz, Markus"},{"full_name":"Shrestha, Arun B.","last_name":"Shrestha","first_name":"Arun B."}],"date_updated":"2023-02-21T09:31:54Z","date_created":"2023-02-20T08:17:47Z","volume":32,"extern":"1","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1659/MRD-JOURNAL-D-11-00092.1"}],"quality_controlled":"1","doi":"10.1659/mrd-journal-d-11-00092.1","language":[{"iso":"eng"}],"month":"02","publication_identifier":{"issn":["0276-4741"],"eissn":["1994-7151"]}},{"month":"02","publication_identifier":{"issn":["0276-4741"],"eissn":["1994-7151"]},"language":[{"iso":"eng"}],"doi":"10.1659/mrd-journal-d-11-00097.1","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.1659/MRD-JOURNAL-D-11-00097.1","open_access":"1"}],"oa":1,"extern":"1","date_updated":"2023-02-21T08:56:29Z","date_created":"2023-02-20T08:17:52Z","volume":32,"author":[{"full_name":"Immerzeel, Walter Willem","last_name":"Immerzeel","first_name":"Walter Willem"},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti","first_name":"Francesca","full_name":"Pellicciotti, Francesca"},{"full_name":"Shrestha, Arun B.","first_name":"Arun B.","last_name":"Shrestha"}],"publication_status":"published","publisher":"International Mountain Society","year":"2012","day":"01","article_processing_charge":"No","keyword":["General Environmental Science","Development","Environmental Chemistry"],"scopus_import":"1","date_published":"2012-02-01T00:00:00Z","article_type":"original","page":"30-38","publication":"Mountain Research and Development","citation":{"ama":"Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1","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.","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,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 30–38, 2012.","apa":"Immerzeel, W. W., Pellicciotti, F., & Shrestha, A. B. (2012). Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. International Mountain Society. https://doi.org/10.1659/mrd-journal-d-11-00097.1","mla":"Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.","short":"W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.","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.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00097.1."},"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"}],"issue":"1","type":"journal_article","oa_version":"Published Version","title":"Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin","status":"public","intvolume":" 32","_id":"12647","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"month":"09","publication_identifier":{"issn":["0148-0227"]},"oa":1,"main_file_link":[{"url":"https://doi.org/10.1029/2012JD017795","open_access":"1"}],"quality_controlled":"1","doi":"10.1029/2012jd017795","language":[{"iso":"eng"}],"article_number":"D18105","extern":"1","year":"2012","publication_status":"published","publisher":"American Geophysical Union","author":[{"first_name":"T. D.","last_name":"Reid","full_name":"Reid, T. D."},{"full_name":"Carenzo, M.","last_name":"Carenzo","first_name":"M."},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","last_name":"Pellicciotti","full_name":"Pellicciotti, Francesca"},{"full_name":"Brock, B. W.","first_name":"B. W.","last_name":"Brock"}],"date_created":"2023-02-20T08:17:57Z","date_updated":"2023-02-20T10:57:31Z","volume":117,"scopus_import":"1","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"],"day":"27","article_processing_charge":"No","publication":"Journal of Geophysical Research: Atmospheres","citation":{"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.","apa":"Reid, T. D., Carenzo, M., Pellicciotti, F., & Brock, B. W. (2012). Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2012jd017795","ieee":"T. D. Reid, M. Carenzo, F. Pellicciotti, and B. W. Brock, “Including debris cover effects in a distributed model of glacier ablation,” Journal of Geophysical Research: Atmospheres, 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. Journal of Geophysical Research: Atmospheres. 2012;117(D18). doi:10.1029/2012jd017795","chicago":"Reid, T. D., M. Carenzo, Francesca Pellicciotti, and B. W. Brock. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2012. https://doi.org/10.1029/2012jd017795.","mla":"Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18, D18105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.","short":"T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012)."},"article_type":"original","date_published":"2012-09-27T00:00:00Z","type":"journal_article","abstract":[{"lang":"eng","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%."}],"issue":"D18","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12648","title":"Including debris cover effects in a distributed model of glacier ablation","status":"public","intvolume":" 117","oa_version":"Published Version"},{"day":"01","scopus_import":1,"date_published":"2012-11-01T00:00:00Z","publication":"Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering","citation":{"apa":"Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664","ieee":"D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.","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.","ama":"Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664","chicago":"Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.","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.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664."},"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"}],"type":"conference","oa_version":"Preprint","title":"Conditional model checking: A technique to pass information between verifiers","status":"public","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"1384","month":"11","language":[{"iso":"eng"}],"conference":{"start_date":"2012-11-11","location":"Cary, NC, USA","end_date":"2012-11-16","name":"FSE: Foundations of Software Engineering"},"doi":"10.1145/2393596.2393664","quality_controlled":"1","project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1109.6926"}],"ec_funded":1,"publist_id":"5826","article_number":"57","date_updated":"2021-01-12T06:50:18Z","date_created":"2018-12-11T11:51:42Z","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Mehmet","last_name":"Keremoglu","full_name":"Keremoglu, Mehmet"},{"last_name":"Wendler","first_name":"Philipp","full_name":"Wendler, Philipp"}],"publication_status":"published","publisher":"ACM","department":[{"_id":"ToHe"}],"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.","year":"2012"},{"date_published":"2012-05-01T00:00:00Z","doi":"10.4007/annals.2012.175.3.7","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.","apa":"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. Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7","ieee":"M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, 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. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7","chicago":"De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.","mla":"De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.","short":"M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407."},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1004.1420"}],"oa":1,"publication":"Annals of Mathematics","page":"1329 - 1407","quality_controlled":0,"day":"01","month":"05","author":[{"full_name":"De Cataldo, Mark A","last_name":"De Cataldo","first_name":"Mark"},{"last_name":"Hausel","first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Tamas Hausel"},{"full_name":"Migliorini, Luca","last_name":"Migliorini","first_name":"Luca"}],"volume":175,"date_created":"2018-12-11T11:52:13Z","date_updated":"2021-01-12T06:50:59Z","_id":"1472","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\"","year":"2012","publisher":"Princeton University Press","intvolume":" 175","publication_status":"published","title":"Topology of hitchin systems and Hodge theory of character varieties: The case A 1","status":"public","issue":"3","publist_id":"5727","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"}],"extern":1,"type":"journal_article"},{"day":"01","month":"08","doi":"10.2140/gt.2012.16.1609","date_published":"2012-08-01T00:00:00Z","page":"1609 - 1638","quality_controlled":0,"main_file_link":[{"url":"http://arxiv.org/abs/1012.4748","open_access":"1"}],"citation":{"chicago":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.","short":"T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.","mla":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.","ieee":"T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.","apa":"Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609","ista":"Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.","ama":"Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609"},"oa":1,"publication":"Geometry and Topology","extern":1,"issue":"3","publist_id":"5726","abstract":[{"lang":"eng","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."}],"type":"journal_article","volume":16,"date_updated":"2021-01-12T06:50:58Z","date_created":"2018-12-11T11:52:13Z","author":[{"full_name":"Tamas Hausel","last_name":"Hausel","first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pauly, Christian","last_name":"Pauly","first_name":"Christian"}],"intvolume":" 16","publisher":"University of Warwick","publication_status":"published","status":"public","title":"Prym varieties of spectral covers","year":"2012","_id":"1471"},{"abstract":[{"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 ℚ.","lang":"eng"}],"publist_id":"7750","issue":"680","extern":1,"type":"journal_article","author":[{"full_name":"Timothy Browning","last_name":"Browning","first_name":"Timothy D","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Baier, Stephan","last_name":"Baier","first_name":"Stephan"}],"date_created":"2018-12-11T11:45:00Z","date_updated":"2021-01-12T06:52:41Z","volume":2013,"_id":"171","year":"2012","publication_status":"published","title":"Inhomogeneous cubic congruences and rational points on del Pezzo surfaces","status":"public","publisher":"Walter de Gruyter","intvolume":" 2013","day":"03","month":"04","date_published":"2012-04-03T00:00:00Z","doi":"https://doi.org/10.1515/crelle.2012.039","publication":"Journal fur die Reine und Angewandte Mathematik","main_file_link":[{"url":"https://arxiv.org/abs/1011.3434","open_access":"1"}],"oa":1,"citation":{"ama":"Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039","apa":"Browning, T. D., & Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039","ieee":"T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012.","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.","short":"T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.","mla":"Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.","chicago":"Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039."},"quality_controlled":0,"page":"1 - 65"}]