--- _id: '11959' abstract: - lang: eng text: No catalyst required! A highly efficient, catalyst-free process to generate diimide in situ from hydrazine monohydrate and molecular oxygen for the selective reduction of alkenes has been developed. The use of a gas–liquid segmented flow system allowed safe operating conditions and dramatically enhanced this atom-economical reaction, resulting in short processing times. article_processing_charge: No article_type: letter_note author: - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X - first_name: Sabrina Teixeira full_name: Martinez, Sabrina Teixeira last_name: Martinez - first_name: David full_name: Cantillo, David last_name: Cantillo - first_name: C. Oliver full_name: Kappe, C. Oliver last_name: Kappe citation: ama: 'Pieber B, Martinez ST, Cantillo D, Kappe CO. In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. 2013;52(39):10241-10244. doi:10.1002/anie.201303528' apa: 'Pieber, B., Martinez, S. T., Cantillo, D., & Kappe, C. O. (2013). In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201303528' chicago: 'Pieber, Bartholomäus, Sabrina Teixeira Martinez, David Cantillo, and C. Oliver Kappe. “In Situ Generation of Diimide from Hydrazine and Oxygen: Continuous-Flow Transfer Hydrogenation of Olefins.” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/10.1002/anie.201303528.' ieee: 'B. Pieber, S. T. Martinez, D. Cantillo, and C. O. Kappe, “In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins,” Angewandte Chemie International Edition, vol. 52, no. 39. Wiley, pp. 10241–10244, 2013.' ista: 'Pieber B, Martinez ST, Cantillo D, Kappe CO. 2013. In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. 52(39), 10241–10244.' mla: 'Pieber, Bartholomäus, et al. “In Situ Generation of Diimide from Hydrazine and Oxygen: Continuous-Flow Transfer Hydrogenation of Olefins.” Angewandte Chemie International Edition, vol. 52, no. 39, Wiley, 2013, pp. 10241–44, doi:10.1002/anie.201303528.' short: B. Pieber, S.T. Martinez, D. Cantillo, C.O. Kappe, Angewandte Chemie International Edition 52 (2013) 10241–10244. date_created: 2022-08-24T11:01:47Z date_published: 2013-09-23T00:00:00Z date_updated: 2023-02-21T10:09:21Z day: '23' doi: 10.1002/anie.201303528 extern: '1' intvolume: ' 52' issue: '39' language: - iso: eng month: '09' oa_version: None page: 10241-10244 publication: Angewandte Chemie International Edition publication_identifier: eissn: - 1521-3773 issn: - 1433-7851 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: 'In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 52 year: '2013' ... --- _id: '11960' abstract: - lang: eng text: It's not magic! The effects observed in microwave-irradiated chemical transformations can in most cases be rationalized by purely bulk thermal phenomena associated with rapid heating to elevated temperatures. As discussed in this Essay, the existence of so-called nonthermal or specific microwave effects is highly doubtful. article_processing_charge: No article_type: letter_note author: - first_name: C. Oliver full_name: Kappe, C. Oliver last_name: Kappe - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X - first_name: Doris full_name: Dallinger, Doris last_name: Dallinger citation: ama: 'Kappe CO, Pieber B, Dallinger D. Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. 2013;52(4):1088-1094. doi:10.1002/anie.201204103' apa: 'Kappe, C. O., Pieber, B., & Dallinger, D. (2013). Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201204103' chicago: 'Kappe, C. Oliver, Bartholomäus Pieber, and Doris Dallinger. “Microwave Effects in Organic Synthesis: Myth or Reality?” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/10.1002/anie.201204103.' ieee: 'C. O. Kappe, B. Pieber, and D. Dallinger, “Microwave effects in organic synthesis: Myth or reality?,” Angewandte Chemie International Edition, vol. 52, no. 4. Wiley, pp. 1088–1094, 2013.' ista: 'Kappe CO, Pieber B, Dallinger D. 2013. Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. 52(4), 1088–1094.' mla: 'Kappe, C. Oliver, et al. “Microwave Effects in Organic Synthesis: Myth or Reality?” Angewandte Chemie International Edition, vol. 52, no. 4, Wiley, 2013, pp. 1088–94, doi:10.1002/anie.201204103.' short: C.O. Kappe, B. Pieber, D. Dallinger, Angewandte Chemie International Edition 52 (2013) 1088–1094. date_created: 2022-08-24T11:05:04Z date_published: 2013-01-21T00:00:00Z date_updated: 2023-02-21T10:09:26Z day: '21' doi: 10.1002/anie.201204103 extern: '1' intvolume: ' 52' issue: '4' language: - iso: eng month: '01' oa_version: None page: 1088-1094 publication: Angewandte Chemie International Edition publication_identifier: eissn: - 1521-3773 issn: - 1433-7851 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: 'Microwave effects in organic synthesis: Myth or reality?' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 52 year: '2013' ... --- _id: '11973' abstract: - lang: eng text: The use of high-temperature/pressure gas–liquid continuous flow conditions dramatically enhances the iron-catalyzed aerobic oxidation of 2-benzylpyridines to their corresponding ketones. Pressurized air serves as a readily available oxygen source and propylene carbonate as a green solvent in this radically intensified preparation of synthetically valuable 2-aroylpyridines. article_processing_charge: No article_type: letter_note author: - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X - first_name: C. Oliver full_name: Kappe, C. Oliver last_name: Kappe citation: ama: Pieber B, Kappe CO. Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. 2013;15(2):320-324. doi:10.1039/c2gc36896j apa: Pieber, B., & Kappe, C. O. (2013). Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. Royal Society of Chemistry. https://doi.org/10.1039/c2gc36896j chicago: Pieber, Bartholomäus, and C. Oliver Kappe. “Direct Aerobic Oxidation of 2-Benzylpyridines in a Gas-Liquid Continuous-Flow Regime Using Propylene Carbonate as a Solvent.” Green Chemistry. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36896j. ieee: B. Pieber and C. O. Kappe, “Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent,” Green Chemistry, vol. 15, no. 2. Royal Society of Chemistry, pp. 320–324, 2013. ista: Pieber B, Kappe CO. 2013. Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. 15(2), 320–324. mla: Pieber, Bartholomäus, and C. Oliver Kappe. “Direct Aerobic Oxidation of 2-Benzylpyridines in a Gas-Liquid Continuous-Flow Regime Using Propylene Carbonate as a Solvent.” Green Chemistry, vol. 15, no. 2, Royal Society of Chemistry, 2013, pp. 320–24, doi:10.1039/c2gc36896j. short: B. Pieber, C.O. Kappe, Green Chemistry 15 (2013) 320–324. date_created: 2022-08-25T10:29:21Z date_published: 2013-02-01T00:00:00Z date_updated: 2023-02-21T10:09:54Z day: '01' doi: 10.1039/c2gc36896j extern: '1' intvolume: ' 15' issue: '2' language: - iso: eng month: '02' oa_version: None page: 320-324 publication: Green Chemistry publication_identifier: eissn: - 1463-9270 issn: - 1463-9262 publication_status: published publisher: Royal Society of Chemistry quality_controlled: '1' scopus_import: '1' status: public title: Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15 year: '2013' ... --- _id: '12642' abstract: - lang: eng text: Near-surface air temperature, typically measured at a height of 2 m, is the most important control on the energy exchange and the melt rate at a snow or ice surface. It is distributed in a simplistic manner in most glacier melt models by using constant linear lapse rates, which poorly represent the actual spatial and temporal variability of air temperature. In this paper, we test a simple thermodynamic model proposed by Greuell and Böhm in 1998 as an alternative, using a new dataset of air temperature measurements from along the flowline of Haut Glacier d’Arolla, Switzerland. The unmodified model performs little better than assuming a constant linear lapse rate. When modified to allow the ratio of the boundary layer height to the bulk heat transfer coefficient to vary along the flowline, the model matches measured air temperatures better, and a further reduction of the root-mean-square error is obtained, although there is still considerable scope for improvement. The modified model is shown to perform best under conditions favourable to the development of katabatic winds – few clouds, positive ambient air temperature, limited influence of synoptic or valley winds and a long fetch – but its performance is poor under cloudy conditions. article_processing_charge: No article_type: original author: - first_name: Lene full_name: Petersen, Lene last_name: Petersen - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: Inge full_name: Juszak, Inge last_name: Juszak - first_name: Marco full_name: Carenzo, Marco last_name: Carenzo - first_name: Ben full_name: Brock, Ben last_name: Brock citation: ama: 'Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. 2013;54(63):120-130. doi:10.3189/2013aog63a477' apa: 'Petersen, L., Pellicciotti, F., Juszak, I., Carenzo, M., & Brock, B. (2013). Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. International Glaciological Society. https://doi.org/10.3189/2013aog63a477' chicago: 'Petersen, Lene, Francesca Pellicciotti, Inge Juszak, Marco Carenzo, and Ben Brock. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.” Annals of Glaciology. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a477.' ieee: 'L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, and B. Brock, “Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative,” Annals of Glaciology, vol. 54, no. 63. International Glaciological Society, pp. 120–130, 2013.' ista: 'Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 2013. Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. 54(63), 120–130.' mla: 'Petersen, Lene, et al. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 120–30, doi:10.3189/2013aog63a477.' short: L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130. date_created: 2023-02-20T08:17:29Z date_published: 2013-08-01T00:00:00Z date_updated: 2023-02-21T10:18:24Z day: '01' doi: 10.3189/2013aog63a477 extern: '1' intvolume: ' 54' issue: '63' keyword: - Earth-Surface Processes language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3189/2013aog63a477 month: '08' oa: 1 oa_version: Published Version page: 120-130 publication: Annals of Glaciology publication_identifier: eissn: - 1727-5644 issn: - 0260-3055 publication_status: published publisher: International Glaciological Society quality_controlled: '1' scopus_import: '1' status: public title: 'Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 54 year: '2013' ... --- _id: '12643' abstract: - lang: eng text: Parameterizations of incoming longwave radiation are increasingly receiving attention for both low and high elevation glacierized sites. In this paper, we test 13 clear-sky parameterizations combined with seven cloud corrections for all-sky atmospheric emissivity at one location on Haut Glacier d'Arolla. We also analyze the four seasons separately and conduct a cross-validation to test the parameters’ robustness. The best parameterization is the one by Dilley and O'Brien, B for clear-sky conditions combined with Unsworth and Monteith cloud correction. This model is also the most robust when tested in cross-validation. When validated at different sites in the southern Alps of Switzerland and north-western Italian Alps, all parameterizations show a substantial decrease in performance, except for one site, thus suggesting that it is important to recalibrate parameterizations of incoming longwave radiation for different locations. We argue that this is due to differences in the structure of the atmosphere at the sites. We also quantify the effect that the incoming longwave radiation parameterizations have on energy-balance melt modeling, and show that recalibration of model parameters is needed. Using parameters from other sites leads to a significant underestimation of melt and to an error that is larger than that associated with using different parameterizations. Once recalibrated, however, the parameters of most models seem to be stable over seasons and years at the location on Haut Glacier d'Arolla. article_processing_charge: No article_type: original author: - first_name: I. full_name: Juszak, I. last_name: Juszak - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti citation: ama: 'Juszak I, Pellicciotti F. A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. 2013;118(8):3066-3084. doi:10.1002/jgrd.50277' apa: 'Juszak, I., & Pellicciotti, F. (2013). A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1002/jgrd.50277' chicago: 'Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2013. https://doi.org/10.1002/jgrd.50277.' ieee: 'I. Juszak and F. Pellicciotti, “A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability,” Journal of Geophysical Research: Atmospheres, vol. 118, no. 8. American Geophysical Union, pp. 3066–3084, 2013.' ista: 'Juszak I, Pellicciotti F. 2013. A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. 118(8), 3066–3084.' mla: 'Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.” Journal of Geophysical Research: Atmospheres, vol. 118, no. 8, American Geophysical Union, 2013, pp. 3066–84, doi:10.1002/jgrd.50277.' short: 'I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.' date_created: 2023-02-20T08:17:34Z date_published: 2013-04-27T00:00:00Z date_updated: 2023-02-21T10:10:46Z day: '27' doi: 10.1002/jgrd.50277 extern: '1' intvolume: ' 118' issue: '8' keyword: - Space and Planetary Science - Earth and Planetary Sciences (miscellaneous) - Atmospheric Science - Geophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1002/jgrd.50277 month: '04' oa: 1 oa_version: Published Version page: 3066-3084 publication: 'Journal of Geophysical Research: Atmospheres' publication_identifier: issn: - 2169-897X publication_status: published publisher: American Geophysical Union quality_controlled: '1' scopus_import: '1' status: public title: 'A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 118 year: '2013' ... --- _id: '12640' abstract: - lang: eng text: Greater Himalayan glaciers are retreating and losing mass at rates comparable to glaciers in other regions of the world1,2,3,4,5. Assessments of future changes and their associated hydrological impacts are scarce, oversimplify glacier dynamics or include a limited number of climate models6,7,8,9. Here, we use results from the latest ensemble of climate models in combination with a high-resolution glacio-hydrological model to assess the hydrological impact of climate change on two climatically contrasting watersheds in the Greater Himalaya, the Baltoro and Langtang watersheds that drain into the Indus and Ganges rivers, respectively. We show that the largest uncertainty in future runoff is a result of variations in projected precipitation between climate models. In both watersheds, strong, but highly variable, increases in future runoff are projected and, despite the different characteristics of the watersheds, their responses are surprisingly similar. In both cases, glaciers will recede but net glacier melt runoff is on a rising limb at least until 2050. In combination with a positive change in precipitation, water availability during this century is not likely to decline. We conclude that river basins that depend on monsoon rains and glacier melt will continue to sustain the increasing water demands expected in these areas10. article_processing_charge: No article_type: letter_note author: - first_name: W. W. full_name: Immerzeel, W. W. last_name: Immerzeel - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: M. F. P. full_name: Bierkens, M. F. P. last_name: Bierkens citation: ama: Immerzeel WW, Pellicciotti F, Bierkens MFP. Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. 2013;6(9):742-745. doi:10.1038/ngeo1896 apa: Immerzeel, W. W., Pellicciotti, F., & Bierkens, M. F. P. (2013). Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. Springer Nature. https://doi.org/10.1038/ngeo1896 chicago: Immerzeel, W. W., Francesca Pellicciotti, and M. F. P. Bierkens. “Rising River Flows throughout the Twenty-First Century in Two Himalayan Glacierized Watersheds.” Nature Geoscience. Springer Nature, 2013. https://doi.org/10.1038/ngeo1896. ieee: W. W. Immerzeel, F. Pellicciotti, and M. F. P. Bierkens, “Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds,” Nature Geoscience, vol. 6, no. 9. Springer Nature, pp. 742–745, 2013. ista: Immerzeel WW, Pellicciotti F, Bierkens MFP. 2013. Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. 6(9), 742–745. mla: Immerzeel, W. W., et al. “Rising River Flows throughout the Twenty-First Century in Two Himalayan Glacierized Watersheds.” Nature Geoscience, vol. 6, no. 9, Springer Nature, 2013, pp. 742–45, doi:10.1038/ngeo1896. short: W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745. date_created: 2023-02-20T08:17:17Z date_published: 2013-09-13T00:00:00Z date_updated: 2023-02-21T10:46:37Z day: '13' doi: 10.1038/ngeo1896 extern: '1' intvolume: ' 6' issue: '9' keyword: - General Earth and Planetary Sciences language: - iso: eng month: '09' oa_version: None page: 742-745 publication: Nature Geoscience publication_identifier: eissn: - 1752-0908 issn: - 1752-0894 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 6 year: '2013' ... --- _id: '12641' abstract: - lang: eng text: We investigate the sensitivity of a distributed enhanced temperature-index (ETI) melt model, in order to understand which parameters have the largest influence on model outputs and thus need to be accurately known. We use melt and meteorological data from two Alpine glaciers and one glacier in the Andes of Chile. Sensitivity analysis is conducted in a systematic way in terms of parameters and the different conditions (day, night, clear-sky, overcast), melt seasons and glaciers examined. The sensitivity of total melt to changes in individual parameters is calculated using a local method around the optimal value of the parameters. We verify that the parameters are optimal at the distributed scale and assess the model uncertainty induced by uncertainty in the parameters using a Monte Carlo technique. Model sensitivity to parameters is consistent across melt seasons, glaciers, different conditions and the daily statistics examined. The parameters to which the model is most sensitive are the shortwave-radiation factor, the temperature lapse rate for extrapolation of air temperature, the albedo parameters, the temperature threshold and the cloud transmittance factor parameters. A parameter uncertainty of 5% results in a model uncertainty of 5.6% of mean melt on Haut Glacier d’Arolla, Switzerland. article_processing_charge: No article_type: original author: - first_name: Martin full_name: Heynen, Martin last_name: Heynen - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: Marco full_name: Carenzo, Marco last_name: Carenzo citation: ama: Heynen M, Pellicciotti F, Carenzo M. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 2013;54(63):311-321. doi:10.3189/2013aog63a537 apa: Heynen, M., Pellicciotti, F., & Carenzo, M. (2013). Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. International Glaciological Society. https://doi.org/10.3189/2013aog63a537 chicago: Heynen, Martin, Francesca Pellicciotti, and Marco Carenzo. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a537. ieee: M. Heynen, F. Pellicciotti, and M. Carenzo, “Parameter sensitivity of a distributed enhanced temperature-index melt model,” Annals of Glaciology, vol. 54, no. 63. International Glaciological Society, pp. 311–321, 2013. ista: Heynen M, Pellicciotti F, Carenzo M. 2013. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 54(63), 311–321. mla: Heynen, Martin, et al. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 311–21, doi:10.3189/2013aog63a537. short: M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321. date_created: 2023-02-20T08:17:21Z date_published: 2013-08-01T00:00:00Z date_updated: 2023-02-21T10:43:42Z day: '01' doi: 10.3189/2013aog63a537 extern: '1' intvolume: ' 54' issue: '63' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3189/2013aog63a537 month: '08' oa: 1 oa_version: Published Version page: 311-321 publication: Annals of Glaciology publication_identifier: eissn: - 1727-5644 issn: - 0260-3055 publication_status: published publisher: International Glaciological Society quality_controlled: '1' scopus_import: '1' status: public title: Parameter sensitivity of a distributed enhanced temperature-index melt model type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 54 year: '2013' ... --- _id: '1304' abstract: - lang: eng text: When confronted with a large-field stimulus rotating around the vertical body axis, flies display a following behavior called "optomotor response." As neural control elements, the large tangential horizontal system (HS) cells of the lobula plate have been prime candidates for long. Here, we applied optogenetic stimulation of HS cells to evaluate their behavioral role in Drosophila. To minimize interference of the optical activation of channelrhodopsin-2 with the visual perception of the flies, we used a bistable variant called ChR2-C128S. By applying pulses of blue and yellow light, we first demonstrate electrophysiologically that lobula plate tangential cells can be activated and deactivated repeatedly with no evident change in depolarization strength over trials. We next show that selective optogenetic activation of HS cells elicits robust yaw head movements and yaw turning responses in fixed and tethered flying flies, respectively. acknowledgement: 'This work was supported by the Max Planck Society. ' author: - first_name: Väinö full_name: Haikala, Väinö last_name: Haikala - first_name: Maximilian A full_name: Maximilian Jösch id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 - first_name: Alexander full_name: Borst, Alexander last_name: Borst - first_name: Alex full_name: Mauss, Alex S last_name: Mauss citation: ama: Haikala V, Jösch MA, Borst A, Mauss A. Optogenetic control of fly optomotor responses. Journal of Neuroscience. 2013;33(34):13927-13934. doi:10.1523/JNEUROSCI.0340-13.2013 apa: Haikala, V., Jösch, M. A., Borst, A., & Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0340-13.2013 chicago: Haikala, Väinö, Maximilian A Jösch, Alexander Borst, and Alex Mauss. “Optogenetic Control of Fly Optomotor Responses.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/10.1523/JNEUROSCI.0340-13.2013. ieee: V. Haikala, M. A. Jösch, A. Borst, and A. Mauss, “Optogenetic control of fly optomotor responses,” Journal of Neuroscience, vol. 33, no. 34. Society for Neuroscience, pp. 13927–13934, 2013. ista: Haikala V, Jösch MA, Borst A, Mauss A. 2013. Optogenetic control of fly optomotor responses. Journal of Neuroscience. 33(34), 13927–13934. mla: Haikala, Väinö, et al. “Optogenetic Control of Fly Optomotor Responses.” Journal of Neuroscience, vol. 33, no. 34, Society for Neuroscience, 2013, pp. 13927–34, doi:10.1523/JNEUROSCI.0340-13.2013. short: V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934. date_created: 2018-12-11T11:51:16Z date_published: 2013-01-01T00:00:00Z date_updated: 2021-01-12T06:49:45Z day: '01' doi: 10.1523/JNEUROSCI.0340-13.2013 extern: 1 intvolume: ' 33' issue: '34' month: '01' page: 13927 - 13934 publication: Journal of Neuroscience publication_status: published publisher: Society for Neuroscience publist_id: '5967' quality_controlled: 0 status: public title: Optogenetic control of fly optomotor responses type: journal_article volume: 33 year: '2013' ... --- _id: '1305' abstract: - lang: eng text: In the fly Drosophila melanogaster, photoreceptor input to motion vision is split into two parallel pathways as represented by first-order interneurons L1 and L2 (Rister et al., 2007; Joesch et al., 2010). However, how these pathways are functionally specialized remains controversial. One study (Eichner et al., 2011) proposed that the L1-pathway evaluates only sequences of brightness increments (ON-ON), while the L2-pathway processes exclusively brightness decrements (OFF-OFF). Another study (Clark et al., 2011) proposed that each of the two pathways evaluates both ON-ON and OFF-OFF sequences. To decide between these alternatives, we recorded from motionsensitive neurons in flies in which the output from either L1 or L2 was genetically blocked. We found that blocking L1 abolishes ON-ON responses but leaves OFF-OFF responses intact. The opposite was true, when the output from L2 was blocked. We conclude that the L1 and L2 pathways are functionally specialized to detect ON-ON and OFF-OFF sequences, respectively. acknowledgement: This work was supported by the Max-Planck-Society and the SFB 870 of the Deutsche Forschungsgemeinschaft. author: - first_name: Maximilian A full_name: Maximilian Jösch id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 - first_name: Franz full_name: Weber, Franz last_name: Weber - first_name: Hubert full_name: Eichner, Hubert last_name: Eichner - first_name: Alexander full_name: Borst, Alexander last_name: Borst citation: ama: Jösch MA, Weber F, Eichner H, Borst A. Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. 2013;33(3):902-905. doi:10.1523/JNEUROSCI.3374-12.2013 apa: Jösch, M. A., Weber, F., Eichner, H., & Borst, A. (2013). Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3374-12.2013 chicago: Jösch, Maximilian A, Franz Weber, Hubert Eichner, and Alexander Borst. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/10.1523/JNEUROSCI.3374-12.2013. ieee: M. A. Jösch, F. Weber, H. Eichner, and A. Borst, “Functional specialization of parallel motion detection circuits in the fly,” Journal of Neuroscience, vol. 33, no. 3. Society for Neuroscience, pp. 902–905, 2013. ista: Jösch MA, Weber F, Eichner H, Borst A. 2013. Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. 33(3), 902–905. mla: Jösch, Maximilian A., et al. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.” Journal of Neuroscience, vol. 33, no. 3, Society for Neuroscience, 2013, pp. 902–05, doi:10.1523/JNEUROSCI.3374-12.2013. short: M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905. date_created: 2018-12-11T11:51:16Z date_published: 2013-01-16T00:00:00Z date_updated: 2021-01-12T06:49:45Z day: '16' doi: 10.1523/JNEUROSCI.3374-12.2013 extern: 1 intvolume: ' 33' issue: '3' month: '01' page: 902 - 905 publication: Journal of Neuroscience publication_status: published publisher: Society for Neuroscience publist_id: '5968' quality_controlled: 0 status: public title: Functional specialization of parallel motion detection circuits in the fly type: journal_article volume: 33 year: '2013' ... --- _id: '1308' abstract: - lang: eng text: We derive sufficient conditions for advection-driven backward motion of the free boundary in a chemotaxis model with degenerate mobility. In this model, a porous-medium-type diffusive term and an advection term are in competition. The former induces forward motion, the latter may induce backward motion of the free boundary depending on the direction of advection. We deduce conditions on the growth of the initial data at the free boundary which ensure that at least initially the advection term is dominant. This implies local backward motion of the free boundary provided the advection is (locally) directed appropriately. Our result is based on a new class of moving test functions and Stampacchia's lemma. As a by-product of our estimates, we obtain quantitative bounds on the spreading of the support of solutions for the chemotaxis model and provide a proof for the finite speed of the support propagation property of solutions. author: - first_name: Julian L full_name: Julian Fischer id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87 last_name: Fischer orcid: 0000-0002-0479-558X citation: ama: Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 2013;45(3):1585-1615. doi:10.1137/120874291 apa: Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120874291 chicago: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120874291. ieee: J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no. 3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013. ista: Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615. mla: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291. short: J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615. date_created: 2018-12-11T11:51:17Z date_published: 2013-01-01T00:00:00Z date_updated: 2021-01-12T06:49:46Z day: '01' doi: 10.1137/120874291 extern: 1 intvolume: ' 45' issue: '3' month: '01' page: 1585 - 1615 publication: SIAM Journal on Mathematical Analysis publication_status: published publisher: 'Society for Industrial and Applied Mathematics ' publist_id: '5963' quality_controlled: 0 status: public title: Advection-driven support shrinking in a chemotaxis model with degenerate mobility type: journal_article volume: 45 year: '2013' ... --- _id: '1307' abstract: - lang: eng text: We prove uniqueness of solutions of the DLSS equation in a class of sufficiently regular functions. The global weak solutions of the DLSS equation constructed by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness of solutions for the quantum drift-diffusion equation, which contains additional drift and second-order diffusion terms. The results hold in case of periodic or Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property of the DLSS operator and sophisticated approximation arguments; we derive a PDE satisfied by the pointwise square root of the solution, which enables us to exploit the monotonicity property of the operator. author: - first_name: Julian L full_name: Julian Fischer id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87 last_name: Fischer orcid: 0000-0002-0479-558X citation: ama: Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 2013;38(11):2004-2047. doi:10.1080/03605302.2013.823548 apa: Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2013.823548 chicago: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations. Taylor & Francis, 2013. https://doi.org/10.1080/03605302.2013.823548. ieee: J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models,” Communications in Partial Differential Equations, vol. 38, no. 11. Taylor & Francis, pp. 2004–2047, 2013. ista: Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 38(11), 2004–2047. mla: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548. short: J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047. date_created: 2018-12-11T11:51:17Z date_published: 2013-11-01T00:00:00Z date_updated: 2021-01-12T06:49:46Z day: '01' doi: 10.1080/03605302.2013.823548 extern: 1 intvolume: ' 38' issue: '11' month: '11' page: 2004 - 2047 publication: Communications in Partial Differential Equations publication_status: published publisher: Taylor & Francis publist_id: '5962' quality_controlled: 0 status: public title: Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models type: journal_article volume: 38 year: '2013' ... --- _id: '1310' abstract: - lang: eng text: We derive lower bounds on asymptotic support propagation rates for strong solutions of the Cauchy problem for the thin-film equation. The bounds coincide up to a constant factor with the previously known upper bounds and thus are sharp. Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92). The result is established using weighted backward entropy inequalities with singular weight functions to yield a differential inequality; combined with some entropy production estimates, the optimal rate of propagation is obtained. To the best of our knowledge, these are the first lower bounds on asymptotic support propagation rates for higher-order nonnegativity-preserving parabolic equations. author: - first_name: Julian L full_name: Julian Fischer id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87 last_name: Fischer orcid: 0000-0002-0479-558X citation: ama: Fischer JL. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 2013;255(10):3127-3149. doi:10.1016/j.jde.2013.07.028 apa: Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press. https://doi.org/10.1016/j.jde.2013.07.028 chicago: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations. Academic Press, 2013. https://doi.org/10.1016/j.jde.2013.07.028. ieee: J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” Journal of Differential Equations, vol. 255, no. 10. Academic Press, pp. 3127–3149, 2013. ista: Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149. mla: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028. short: J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149. date_created: 2018-12-11T11:51:18Z date_published: 2013-11-15T00:00:00Z date_updated: 2021-01-12T06:49:47Z day: '15' doi: 10.1016/j.jde.2013.07.028 extern: 1 intvolume: ' 255' issue: '10' month: '11' page: 3127 - 3149 publication: Journal of Differential Equations publication_status: published publisher: Academic Press publist_id: '5961' quality_controlled: 0 status: public title: Optimal lower bounds on asymptotic support propagation rates for the thin-film equation type: journal_article volume: 255 year: '2013' ... --- _id: '1374' abstract: - lang: eng text: 'We study two-player zero-sum games over infinite-state graphs equipped with ωB and finitary conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory suffices for finitary parity games. We then study pushdown games with boundedness conditions, with two contributions. First we prove a collapse result for pushdown games with ωB-conditions, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete.' alternative_title: - LIPIcs author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Nathanaël full_name: Fijalkow, Nathanaël last_name: Fijalkow citation: ama: 'Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181' apa: 'Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181' chicago: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181. ieee: K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196. ista: 'Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.' mla: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181. short: K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196. conference: end_date: 2013-09-05 location: Torino, Italy name: 'CSL: Computer Science Logic' start_date: 203-09-02 date_created: 2018-12-11T11:51:39Z date_published: 2013-09-01T00:00:00Z date_updated: 2021-01-12T06:50:14Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.CSL.2013.181 ec_funded: 1 file: - access_level: open_access checksum: b7091a3866db573c0db5ec486952255e content_type: application/pdf creator: system date_created: 2018-12-12T10:13:38Z date_updated: 2020-07-14T12:44:47Z file_id: '5023' file_name: IST-2016-624-v1+1_ChKr_Infinite-state_games_2013_17.pdf file_size: 547296 relation: main_file file_date_updated: 2020-07-14T12:44:47Z has_accepted_license: '1' intvolume: ' 23' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 181 - 196 project: - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: 22nd EACSL Annual Conference on Computer Science Logic publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik publist_id: '5837' pubrep_id: '624' quality_controlled: '1' scopus_import: 1 series_title: Leibniz International Proceedings in Informatics status: public title: Infinite-state games with finitary conditions tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 23 year: '2013' ... --- _id: '1385' abstract: - lang: eng text: It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controller. For instance, for a pipelined processor it suffices to state that the visible behavior of the pipelined system should be identical to a non-pipelined reference system (Burch-Dill paradigm). We present a novel procedure to efficiently synthesize multiple Boolean control signals from a specification given as a quantified first-order formula (with a specific quantifier structure). Our approach uses uninterpreted functions to abstract details of the design. We construct an unsatisfiable SMT formula from the given specification. Then, from just one proof of unsatisfiability, we use a variant of Craig interpolation to compute multiple coordinated interpolants that implement the Boolean control signals. Our method avoids iterative learning and back-substitution of the control functions. We applied our approach to synthesize a controller for a simple two-stage pipelined processor, and present first experimental results. acknowledgement: "This research was supported by the European Commission through project\r\nDIAMOND \ (FP7-2009-IST-4-248613), and QUAINT (I774-N23), " author: - first_name: Georg full_name: Hofferek, Georg last_name: Hofferek - first_name: Ashutosh full_name: Gupta, Ashutosh id: 335E5684-F248-11E8-B48F-1D18A9856A87 last_name: Gupta - first_name: Bettina full_name: Könighofer, Bettina last_name: Könighofer - first_name: Jie full_name: Jiang, Jie last_name: Jiang - first_name: Roderick full_name: Bloem, Roderick last_name: Bloem citation: ama: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394' apa: 'Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394' chicago: Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394. ieee: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84. ista: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.' mla: Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394. short: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84. conference: end_date: 2013-10-23 location: Portland, OR, United States name: 'FMCAD: Formal Methods in Computer-Aided Design' start_date: 2013-10-20 date_created: 2018-12-11T11:51:43Z date_published: 2013-12-11T00:00:00Z date_updated: 2021-01-12T06:50:19Z day: '11' department: - _id: ToHe doi: 10.1109/FMCAD.2013.6679394 ec_funded: 1 external_id: arxiv: - '1308.4767' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1308.4767 month: '12' oa: 1 oa_version: Preprint page: 77 - 84 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling publication: 2013 Formal Methods in Computer-Aided Design publication_status: published publisher: IEEE publist_id: '5825' quality_controlled: '1' status: public title: Synthesizing multiple boolean functions using interpolation on a single proof type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2013' ... --- _id: '1387' abstract: - lang: eng text: Choices made by nondeterministic word automata depend on both the past (the prefix of the word read so far) and the future (the suffix yet to be read). In several applications, most notably synthesis, the future is diverse or unknown, leading to algorithms that are based on deterministic automata. Hoping to retain some of the advantages of nondeterministic automata, researchers have studied restricted classes of nondeterministic automata. Three such classes are nondeterministic automata that are good for trees (GFT; i.e., ones that can be expanded to tree automata accepting the derived tree languages, thus whose choices should satisfy diverse futures), good for games (GFG; i.e., ones whose choices depend only on the past), and determinizable by pruning (DBP; i.e., ones that embody equivalent deterministic automata). The theoretical properties and relative merits of the different classes are still open, having vagueness on whether they really differ from deterministic automata. In particular, while DBP ⊆ GFG ⊆ GFT, it is not known whether every GFT automaton is GFG and whether every GFG automaton is DBP. Also open is the possible succinctness of GFG and GFT automata compared to deterministic automata. We study these problems for ω-regular automata with all common acceptance conditions. We show that GFT=GFG⊃DBP, and describe a determinization construction for GFG automata. acknowledgement: and ERC Grant QUALITY. alternative_title: - LNCS article_processing_charge: No author: - first_name: Udi full_name: Boker, Udi id: 31E297B6-F248-11E8-B48F-1D18A9856A87 last_name: Boker - first_name: Denis full_name: Kuperberg, Denis last_name: Kuperberg - first_name: Orna full_name: Kupferman, Orna last_name: Kupferman - first_name: Michał full_name: Skrzypczak, Michał last_name: Skrzypczak citation: ama: Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11 apa: 'Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11' chicago: Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11. ieee: U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013. ista: Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100. mla: Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11. short: U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100. conference: end_date: 2013-07-12 location: Riga, Latvia name: 'ICALP: Automata, Languages and Programming' start_date: 2013-07-08 date_created: 2018-12-11T11:51:44Z date_published: 2013-07-01T00:00:00Z date_updated: 2020-08-11T10:09:09Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-642-39212-2_11 ec_funded: 1 file: - access_level: open_access checksum: 98bc02e3793072e279ec8d364b381ff3 content_type: application/pdf creator: dernst date_created: 2020-05-15T11:05:50Z date_updated: 2020-07-14T12:44:48Z file_id: '7857' file_name: 2013_ICALP_Boker.pdf file_size: 276982 relation: main_file file_date_updated: 2020-07-14T12:44:48Z has_accepted_license: '1' intvolume: ' 7966' issue: PART 2 language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 89 - 100 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling publication_status: published publisher: Springer publist_id: '5823' quality_controlled: '1' scopus_import: 1 series_title: Lecture Notes in Computer Science status: public title: Nondeterminism in the presence of a diverse or unknown future type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 7966 year: '2013' ... --- _id: '1442' abstract: - lang: eng text: We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas-invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich-Soibelman. Thisis achieved by computing, via an arithmetic Fourier transform, the dimensions of the isotypical components of the cohomology of associated Nakajima quiver varieties under the action of a Weyl group. The generating function of the corresponding Poincare polynomials is an extension of Hua's formula for Kac polynomials of quivers involving Hall-Littlewood symmetric functions. The resulting formulae contain a wide range of information on the geometry of the quiver varieties. acknowledgement: |- The first author thanks the Royal Society for funding his research 2005-2012 in the form of a Royal Society University Research Fellowship as well as the Mathematical Institute and Wadham College in Oxford for a very productive environment. The second author is supported by Agence Nationale de la Recherche grant ANR-09-JCJC-0102-01. The third author is supported by the NSF grant DMS-1101484 and a Research Scholarship from the Clay Mathematical Institute. author: - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Emmanuel full_name: Letellier, Emmanuel last_name: Letellier - first_name: Fernando full_name: Rodríguez Villegas, Fernando last_name: Rodríguez Villegas citation: ama: Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8 apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2013.177.3.8 chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics. Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8. ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3. Princeton University Press, pp. 1147–1168, 2013. ista: Hausel T, Letellier E, Rodríguez Villegas F. 2013. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 177(3), 1147–1168. mla: Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8. short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168. date_created: 2018-12-11T11:52:02Z date_published: 2013-01-01T00:00:00Z date_updated: 2021-01-12T06:50:47Z day: '01' doi: 10.4007/annals.2013.177.3.8 extern: 1 intvolume: ' 177' issue: '3' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1204.2375 month: '01' oa: 1 page: 1147 - 1168 publication: Annals of Mathematics publication_status: published publisher: Princeton University Press publist_id: '5754' quality_controlled: 0 status: public title: Positivity for Kac polynomials and DT-invariants of quivers type: journal_article volume: 177 year: '2013' ... --- _id: '1443' abstract: - lang: eng text: 'Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory.' alternative_title: - Advanced Lectures in Mathematics author: - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel citation: ama: 'Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.' apa: 'Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of Moduli: Volume II (Vol. 25, pp. 29–70). International Press.' chicago: 'Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.' ieee: 'T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.' ista: 'Hausel T. 2013.Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Advanced Lectures in Mathematics, vol. 25, 29–70.' mla: 'Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.' short: 'T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.' date_created: 2018-12-11T11:52:03Z date_published: 2013-03-15T00:00:00Z date_updated: 2021-01-12T06:50:47Z day: '15' extern: 1 intvolume: ' 25' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1102.1717 month: '03' oa: 1 page: 29 - 70 publication: 'Handbook of Moduli: Volume II' publication_status: published publisher: International Press publist_id: '5753' quality_controlled: 0 status: public title: Global topology of the Hitchin system type: book_chapter volume: 25 year: '2013' ... --- _id: '1469' abstract: - lang: eng text: We study connections between the topology of generic character varieties of fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities in tensor products of irreducible characters of finite general linear groups. acknowledgement: During the preparation of this paper TH was supported by a Royal Society University Research Fellowship at the University of Oxford. EL was supported by ANR-09-JCJC-0102-01. FRV was supported by NSF grant DMS-0200605, an FRA from the University of Texas at Austin, EPSRC grant EP/G027110/1, Visiting Fellowships at All Souls and Wadham Colleges in Oxford and a Research Scholarship from the Clay Mathematical Institute. author: - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Emmanuel full_name: Letellier, Emmanuel last_name: Letellier - first_name: Fernando full_name: Rodríguez Villegas, Fernando last_name: Rodríguez Villegas citation: ama: Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 2013;234:85-128. doi:10.1016/j.aim.2012.10.009 apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2012.10.009 chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics. Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009. ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” Advances in Mathematics, vol. 234. Academic Press, pp. 85–128, 2013. ista: Hausel T, Letellier E, Rodríguez Villegas F. 2013. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 234, 85–128. mla: Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009. short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128. date_created: 2018-12-11T11:52:12Z date_published: 2013-02-15T00:00:00Z date_updated: 2021-01-12T06:50:57Z day: '15' doi: 10.1016/j.aim.2012.10.009 extern: 1 intvolume: ' 234' month: '02' page: 85 - 128 publication: Advances in Mathematics publication_status: published publisher: Academic Press publist_id: '5724' quality_controlled: 0 status: public title: Arithmetic harmonic analysis on character and quiver varieties II type: journal_article volume: 234 year: '2013' ... --- _id: '1470' abstract: - lang: eng text: We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena. 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" author: - first_name: Mark full_name: De Cataldo, Mark A last_name: De Cataldo - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Luca full_name: Migliorini, Luca last_name: Migliorini citation: ama: De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c apa: De Cataldo, M., Hausel, T., & Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. Worldwide Center of Mathematics. https://doi.org/10.5427/jsing.2013.7c chicago: De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c. ieee: M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” Journal of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013. ista: De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 7, 23–38. mla: De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c. short: M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38. date_created: 2018-12-11T11:52:12Z date_published: 2013-01-01T00:00:00Z date_updated: 2021-01-12T06:50:58Z day: '01' doi: 10.5427/jsing.2013.7c extern: 1 intvolume: ' 7' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1012.2583 month: '01' oa: 1 page: 23 - 38 publication: Journal of Singularities publication_status: published publisher: Worldwide Center of Mathematics publist_id: '5725' quality_controlled: 0 status: public title: Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces type: journal_article volume: 7 year: '2013' ... --- _id: '11758' article_processing_charge: No article_type: letter_note author: - first_name: Luca full_name: Aceto, Luca last_name: Aceto - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Jiří full_name: Sgall, Jiří last_name: Sgall citation: ama: Aceto L, Henzinger MH, Sgall J. 38th International Colloquium on Automata, Languages and Programming. Information and Computation. 2013;222(1):1. doi:10.1016/j.ic.2012.11.002 apa: Aceto, L., Henzinger, M. H., & Sgall, J. (2013). 38th International Colloquium on Automata, Languages and Programming. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2012.11.002 chicago: Aceto, Luca, Monika H Henzinger, and Jiří Sgall. “38th International Colloquium on Automata, Languages and Programming.” Information and Computation. Elsevier, 2013. https://doi.org/10.1016/j.ic.2012.11.002. ieee: L. Aceto, M. H. Henzinger, and J. Sgall, “38th International Colloquium on Automata, Languages and Programming,” Information and Computation, vol. 222, no. 1. Elsevier, p. 1, 2013. ista: Aceto L, Henzinger MH, Sgall J. 2013. 38th International Colloquium on Automata, Languages and Programming. Information and Computation. 222(1), 1. mla: Aceto, Luca, et al. “38th International Colloquium on Automata, Languages and Programming.” Information and Computation, vol. 222, no. 1, Elsevier, 2013, p. 1, doi:10.1016/j.ic.2012.11.002. short: L. Aceto, M.H. Henzinger, J. Sgall, Information and Computation 222 (2013) 1. date_created: 2022-08-08T11:25:34Z date_published: 2013-01-01T00:00:00Z date_updated: 2023-02-23T10:09:19Z day: '01' doi: 10.1016/j.ic.2012.11.002 extern: '1' intvolume: ' 222' issue: '1' language: - iso: eng month: '01' oa_version: None page: '1' publication: Information and Computation publication_identifier: issn: - 0890-5401 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 38th International Colloquium on Automata, Languages and Programming type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 222 year: '2013' ...