[{"type":"journal_article","volume":29,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1016/j.devcel.2014.04.025","date_published":"2014-06-23T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"        29","extern":"1","page":"P729-739","scopus_import":"1","publisher":"Elsevier","month":"06","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.devcel.2014.04.025"}],"citation":{"short":"H.F. Hofbauer, F.H. Schopf, H. Schleifer, O.L. Knittelfelder, B. Pieber, G.N. Rechberger, H. Wolinski, M.L. Gaspar, C.O. Kappe, J. Stadlmann, K. Mechtler, A. Zenz, K. Lohner, O. Tehlivets, S.A. Henry, S.D. Kohlwein, Developmental Cell 29 (2014) P729-739.","chicago":"Hofbauer, Harald F., Florian H. Schopf, Hannes Schleifer, Oskar L. Knittelfelder, Bartholomäus Pieber, Gerald N. Rechberger, Heimo Wolinski, et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.” <i>Developmental Cell</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.devcel.2014.04.025\">https://doi.org/10.1016/j.devcel.2014.04.025</a>.","ista":"Hofbauer HF, Schopf FH, Schleifer H, Knittelfelder OL, Pieber B, Rechberger GN, Wolinski H, Gaspar ML, Kappe CO, Stadlmann J, Mechtler K, Zenz A, Lohner K, Tehlivets O, Henry SA, Kohlwein SD. 2014. Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. Developmental Cell. 29(6), P729-739.","mla":"Hofbauer, Harald F., et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.” <i>Developmental Cell</i>, vol. 29, no. 6, Elsevier, 2014, pp. P729-739, doi:<a href=\"https://doi.org/10.1016/j.devcel.2014.04.025\">10.1016/j.devcel.2014.04.025</a>.","ieee":"H. F. Hofbauer <i>et al.</i>, “Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids,” <i>Developmental Cell</i>, vol. 29, no. 6. Elsevier, pp. P729-739, 2014.","ama":"Hofbauer HF, Schopf FH, Schleifer H, et al. Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. <i>Developmental Cell</i>. 2014;29(6):P729-739. doi:<a href=\"https://doi.org/10.1016/j.devcel.2014.04.025\">10.1016/j.devcel.2014.04.025</a>","apa":"Hofbauer, H. F., Schopf, F. H., Schleifer, H., Knittelfelder, O. L., Pieber, B., Rechberger, G. N., … Kohlwein, S. D. (2014). Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. <i>Developmental Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.devcel.2014.04.025\">https://doi.org/10.1016/j.devcel.2014.04.025</a>"},"date_updated":"2023-02-21T10:09:45Z","author":[{"last_name":"Hofbauer","first_name":"Harald F.","full_name":"Hofbauer, Harald F."},{"first_name":"Florian H.","last_name":"Schopf","full_name":"Schopf, Florian H."},{"full_name":"Schleifer, Hannes","first_name":"Hannes","last_name":"Schleifer"},{"last_name":"Knittelfelder","first_name":"Oskar L.","full_name":"Knittelfelder, Oskar L."},{"first_name":"Bartholomäus","last_name":"Pieber","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","full_name":"Pieber, Bartholomäus","orcid":"0000-0001-8689-388X"},{"first_name":"Gerald N.","last_name":"Rechberger","full_name":"Rechberger, Gerald N."},{"full_name":"Wolinski, Heimo","last_name":"Wolinski","first_name":"Heimo"},{"full_name":"Gaspar, Maria L.","last_name":"Gaspar","first_name":"Maria L."},{"full_name":"Kappe, C. Oliver","first_name":"C. Oliver","last_name":"Kappe"},{"last_name":"Stadlmann","first_name":"Johannes","full_name":"Stadlmann, Johannes"},{"last_name":"Mechtler","first_name":"Karl","full_name":"Mechtler, Karl"},{"first_name":"Alexandra","last_name":"Zenz","full_name":"Zenz, Alexandra"},{"full_name":"Lohner, Karl","first_name":"Karl","last_name":"Lohner"},{"last_name":"Tehlivets","first_name":"Oksana","full_name":"Tehlivets, Oksana"},{"last_name":"Henry","first_name":"Susan A.","full_name":"Henry, Susan A."},{"full_name":"Kohlwein, Sepp D.","first_name":"Sepp D.","last_name":"Kohlwein"}],"day":"23","publication_identifier":{"issn":["1534-5807"],"eissn":["1878-1551"]},"publication":"Developmental Cell","oa":1,"title":"Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids","external_id":{"pmid":["24960695"]},"issue":"6","pmid":1,"date_created":"2022-08-25T08:42:42Z","year":"2014","_id":"11968","article_type":"original","publication_status":"published","abstract":[{"text":"Membrane phospholipids typically contain fatty acids (FAs) of 16 and 18 carbon atoms. This particular chain length is evolutionarily highly conserved and presumably provides maximum stability and dynamic properties to biological membranes in response to nutritional or environmental cues. Here, we show that the relative proportion of C16 versus C18 FAs is regulated by the activity of acetyl-CoA carboxylase (Acc1), the first and rate-limiting enzyme of FA de novo synthesis. Acc1 activity is attenuated by AMPK/Snf1-dependent phosphorylation, which is required to maintain an appropriate acyl-chain length distribution. Moreover, we find that the transcriptional repressor Opi1 preferentially binds to C16 over C18 phosphatidic acid (PA) species: thus, C16-chain containing PA sequesters Opi1 more effectively to the ER, enabling AMPK/Snf1 control of PA acyl-chain length to determine the degree of derepression of Opi1 target genes. These findings reveal an unexpected regulatory link between the major energy-sensing kinase, membrane lipid composition, and transcription.","lang":"eng"}],"quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"No"},{"abstract":[{"text":"A method for the direct lithiation of terminal alkynes and heterocycles with subsequent carboxylation in a continuous flow format was developed. This method provides carboxylic acids at ambient conditions within less than five seconds with only little excess of the organometallic base and CO2.","lang":"eng"}],"publication_status":"published","article_type":"letter_note","publisher":"Royal Society of Chemistry","month":"03","oa_version":"None","article_processing_charge":"No","quality_controlled":"1","year":"2014","scopus_import":"1","_id":"11987","date_created":"2022-08-25T11:48:19Z","language":[{"iso":"eng"}],"title":"Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow","status":"public","doi":"10.1039/c4ra01442a","date_published":"2014-03-03T00:00:00Z","intvolume":"         4","issue":"26","article_number":"13430","extern":"1","volume":4,"citation":{"short":"B. Pieber, T. Glasnov, C.O. Kappe, RSC Advances 4 (2014).","chicago":"Pieber, Bartholomäus, Toma Glasnov, and C. O. Kappe. “Flash Carboxylation: Fast Lithiation–Carboxylation Sequence at Room Temperature in Continuous Flow.” <i>RSC Advances</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c4ra01442a\">https://doi.org/10.1039/c4ra01442a</a>.","ista":"Pieber B, Glasnov T, Kappe CO. 2014. Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow. RSC Advances. 4(26), 13430.","mla":"Pieber, Bartholomäus, et al. “Flash Carboxylation: Fast Lithiation–Carboxylation Sequence at Room Temperature in Continuous Flow.” <i>RSC Advances</i>, vol. 4, no. 26, 13430, Royal Society of Chemistry, 2014, doi:<a href=\"https://doi.org/10.1039/c4ra01442a\">10.1039/c4ra01442a</a>.","ama":"Pieber B, Glasnov T, Kappe CO. Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow. <i>RSC Advances</i>. 2014;4(26). doi:<a href=\"https://doi.org/10.1039/c4ra01442a\">10.1039/c4ra01442a</a>","apa":"Pieber, B., Glasnov, T., &#38; Kappe, C. O. (2014). Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow. <i>RSC Advances</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c4ra01442a\">https://doi.org/10.1039/c4ra01442a</a>","ieee":"B. Pieber, T. Glasnov, and C. O. Kappe, “Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow,” <i>RSC Advances</i>, vol. 4, no. 26. Royal Society of Chemistry, 2014."},"date_updated":"2023-02-21T10:10:31Z","type":"journal_article","author":[{"id":"93e5e5b2-0da6-11ed-8a41-af589a024726","full_name":"Pieber, Bartholomäus","orcid":"0000-0001-8689-388X","first_name":"Bartholomäus","last_name":"Pieber"},{"first_name":"Toma","last_name":"Glasnov","full_name":"Glasnov, Toma"},{"first_name":"C. O.","last_name":"Kappe","full_name":"Kappe, C. O."}],"publication":"RSC Advances","publication_identifier":{"eissn":["2046-2069"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"03"},{"scopus_import":"1","page":"1140-1154","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3189/2014JoG14J011"}],"publisher":"International Glaciological Society","month":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":60,"intvolume":"        60","extern":"1","doi":"10.3189/2014jog14j011","date_published":"2014-08-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","date_created":"2023-02-20T08:16:34Z","year":"2014","_id":"12632","quality_controlled":"1","oa_version":"Published Version","keyword":["Earth-Surface Processes"],"article_processing_charge":"No","article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"We investigate the performance of five glacier melt models over a multi-decadal period in order to assess their ability to model future glacier response. The models range from a simple degree-day model, based solely on air temperature, to more-sophisticated models, including the full shortwave radiation balance. In addition to the empirical models, the performance of a physically based energy-balance (EB) model is examined. The melt models are coupled to an accumulation and a surface evolution model and applied in a distributed manner to Rhonegletscher, Switzerland, over the period 1929–2012 at hourly resolution. For calibration, seasonal mass-balance measurements (2006–12) are used. Decadal ice volume changes for six periods in the years 1929–2012 serve for model validation. Over the period 2006–12, there are almost no differences in performance between the models, except for EB, which is less consistent with observations, likely due to lack of meteorological in situ data. However, simulations over the long term (1929–2012) reveal that models which include a separate term for shortwave radiation agree best with the observed ice volume changes, indicating that their melt relationships are robust in time and thus suitable for long-term modelling, in contrast to more empirical approaches that are oversensitive to temperature fluctuations."}],"day":"01","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]},"publication":"Journal of Glaciology","oa":1,"citation":{"chicago":"Gabbi, Jeannette, Marco Carenzo, Francesca Pellicciotti, Andreas Bauder, and Martin Funk. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.” <i>Journal of Glaciology</i>. International Glaciological Society, 2014. <a href=\"https://doi.org/10.3189/2014jog14j011\">https://doi.org/10.3189/2014jog14j011</a>.","ista":"Gabbi J, Carenzo M, Pellicciotti F, Bauder A, Funk M. 2014. A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. 60(224), 1140–1154.","mla":"Gabbi, Jeannette, et al. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.” <i>Journal of Glaciology</i>, vol. 60, no. 224, International Glaciological Society, 2014, pp. 1140–54, doi:<a href=\"https://doi.org/10.3189/2014jog14j011\">10.3189/2014jog14j011</a>.","ama":"Gabbi J, Carenzo M, Pellicciotti F, Bauder A, Funk M. A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. <i>Journal of Glaciology</i>. 2014;60(224):1140-1154. doi:<a href=\"https://doi.org/10.3189/2014jog14j011\">10.3189/2014jog14j011</a>","ieee":"J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, and M. Funk, “A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response,” <i>Journal of Glaciology</i>, vol. 60, no. 224. International Glaciological Society, pp. 1140–1154, 2014.","apa":"Gabbi, J., Carenzo, M., Pellicciotti, F., Bauder, A., &#38; Funk, M. (2014). A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. <i>Journal of Glaciology</i>. International Glaciological Society. <a href=\"https://doi.org/10.3189/2014jog14j011\">https://doi.org/10.3189/2014jog14j011</a>","short":"J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, M. Funk, Journal of Glaciology 60 (2014) 1140–1154."},"author":[{"full_name":"Gabbi, Jeannette","last_name":"Gabbi","first_name":"Jeannette"},{"full_name":"Carenzo, Marco","first_name":"Marco","last_name":"Carenzo"},{"full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti","first_name":"Francesca"},{"last_name":"Bauder","first_name":"Andreas","full_name":"Bauder, Andreas"},{"full_name":"Funk, Martin","first_name":"Martin","last_name":"Funk"}],"date_updated":"2023-02-24T08:56:35Z","issue":"224","title":"A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response"},{"keyword":["Pollution","Waste Management and Disposal","Environmental Chemistry","Environmental Engineering"],"article_processing_charge":"No","oa_version":"None","quality_controlled":"1","abstract":[{"lang":"eng","text":"Glaciers in the Andes of Chile seem to be shrinking and possibly loosing mass, but the number and types of studies conducted, constrained mainly by data availability, are not sufficient to provide a synopsis of glacier changes for the past or future or explain in an explicit way causes of the observed changes. In this paper, we provide a systematic review of changes in glaciers for the entire country, followed by a discussion of the studies that have provided evidence of such changes. We identify a missing type of work in distributed, physically-oriented modelling studies that are needed to bridge the gap between the numerous remote sensing studies and the specific, point scale works focused on process understanding. We use an advanced mass balance model applied to one of the best monitored glaciers in the region to investigate four main research issues that should be addressed in modelling studies for a sound assessment of glacier changes: 1) the use of physically-based models of glacier ablation (energy balance models) versus more empirical models (enhanced temperature index approaches); 2) the importance of the correct extrapolation of air temperature forcing on glaciers and in high elevation areas and the large uncertainty in model outputs associated with it; 3) the role played by snow gravitational redistribution; and 4) the uncertainty associated with future climate scenarios. We quantify differences in model outputs associated with each of these choices, and conclude with suggestions for future work directions."}],"month":"09","publication_status":"published","publisher":"Elsevier","article_type":"review","_id":"12634","scopus_import":"1","year":"2014","date_created":"2023-02-20T08:16:46Z","page":"1197-1210","extern":"1","intvolume":"       493","title":"Changes of glaciers in the Andes of Chile and priorities for future work","status":"public","language":[{"iso":"eng"}],"date_published":"2014-09-15T00:00:00Z","doi":"10.1016/j.scitotenv.2013.10.055","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["0048-9697"]},"publication":"Science of The Total Environment","day":"15","volume":493,"author":[{"first_name":"Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca"},{"first_name":"S.","last_name":"Ragettli","full_name":"Ragettli, S."},{"full_name":"Carenzo, M.","last_name":"Carenzo","first_name":"M."},{"first_name":"J.","last_name":"McPhee","full_name":"McPhee, J."}],"type":"journal_article","date_updated":"2023-02-24T08:37:57Z","citation":{"chicago":"Pellicciotti, Francesca, S. Ragettli, M. Carenzo, and J. McPhee. “Changes of Glaciers in the Andes of Chile and Priorities for Future Work.” <i>Science of The Total Environment</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.scitotenv.2013.10.055\">https://doi.org/10.1016/j.scitotenv.2013.10.055</a>.","ista":"Pellicciotti F, Ragettli S, Carenzo M, McPhee J. 2014. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 493, 1197–1210.","mla":"Pellicciotti, Francesca, et al. “Changes of Glaciers in the Andes of Chile and Priorities for Future Work.” <i>Science of The Total Environment</i>, vol. 493, Elsevier, 2014, pp. 1197–210, doi:<a href=\"https://doi.org/10.1016/j.scitotenv.2013.10.055\">10.1016/j.scitotenv.2013.10.055</a>.","ama":"Pellicciotti F, Ragettli S, Carenzo M, McPhee J. Changes of glaciers in the Andes of Chile and priorities for future work. <i>Science of The Total Environment</i>. 2014;493:1197-1210. doi:<a href=\"https://doi.org/10.1016/j.scitotenv.2013.10.055\">10.1016/j.scitotenv.2013.10.055</a>","ieee":"F. Pellicciotti, S. Ragettli, M. Carenzo, and J. McPhee, “Changes of glaciers in the Andes of Chile and priorities for future work,” <i>Science of The Total Environment</i>, vol. 493. Elsevier, pp. 1197–1210, 2014.","apa":"Pellicciotti, F., Ragettli, S., Carenzo, M., &#38; McPhee, J. (2014). Changes of glaciers in the Andes of Chile and priorities for future work. <i>Science of The Total Environment</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.scitotenv.2013.10.055\">https://doi.org/10.1016/j.scitotenv.2013.10.055</a>","short":"F. Pellicciotti, S. Ragettli, M. Carenzo, J. McPhee, Science of The Total Environment 493 (2014) 1197–1210."}},{"page":"1152-1170","scopus_import":"1","year":"2014","_id":"12635","date_created":"2023-02-20T08:16:51Z","abstract":[{"text":"Switzerland is one of the countries with some of the longest and best glaciological data sets. Its glaciers and their changes in response to climate have been extensively investigated, and the number and quality of related studies are notable. However, a comprehensive review of glacier changes and their impact on the hydrology of glacierised catchments for Switzerland is missing and we use the opportunity provided by the EU-FP7 ACQWA project to review the current state of knowledge about past changes and future projections. We examine the type of models that have been applied to infer glacier evolution and identify knowledge gaps that should be addressed in future research in addition to those indicated in previous publications. Common characteristics in long-term series of projected future glacier runoff are an initial peak followed by a decline, associated with shifts in seasonality, earlier melt onset and reduced summer runoff. However, the quantitative predictions are difficult to compare, as studies differ in terms of model structure, calibration strategies, input data, temporal and spatial resolution as well as future scenarios used for impact studies. We identify two sources of uncertainties among those emerging from recent research, and use simulations over four glaciers to: i) quantify the importance of the correct extrapolation of air temperature, and ii) point at the key role played by debris cover in modulating glacier response.","lang":"eng"}],"publisher":"Elsevier","article_type":"review","publication_status":"published","month":"09","oa_version":"None","keyword":["Pollution","Waste Management and Disposal","Environmental Chemistry","Environmental Engineering"],"article_processing_charge":"No","quality_controlled":"1","volume":493,"type":"journal_article","citation":{"chicago":"Pellicciotti, Francesca, M. Carenzo, R. Bordoy, and M. Stoffel. “Changes in Glaciers in the Swiss Alps and Impact on Basin Hydrology: Current State of the Art and Future Research.” <i>Science of The Total Environment</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.scitotenv.2014.04.022\">https://doi.org/10.1016/j.scitotenv.2014.04.022</a>.","ista":"Pellicciotti F, Carenzo M, Bordoy R, Stoffel M. 2014. Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research. Science of The Total Environment. 493, 1152–1170.","mla":"Pellicciotti, Francesca, et al. “Changes in Glaciers in the Swiss Alps and Impact on Basin Hydrology: Current State of the Art and Future Research.” <i>Science of The Total Environment</i>, vol. 493, Elsevier, 2014, pp. 1152–70, doi:<a href=\"https://doi.org/10.1016/j.scitotenv.2014.04.022\">10.1016/j.scitotenv.2014.04.022</a>.","apa":"Pellicciotti, F., Carenzo, M., Bordoy, R., &#38; Stoffel, M. (2014). Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research. <i>Science of The Total Environment</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.scitotenv.2014.04.022\">https://doi.org/10.1016/j.scitotenv.2014.04.022</a>","ieee":"F. Pellicciotti, M. Carenzo, R. Bordoy, and M. Stoffel, “Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research,” <i>Science of The Total Environment</i>, vol. 493. Elsevier, pp. 1152–1170, 2014.","ama":"Pellicciotti F, Carenzo M, Bordoy R, Stoffel M. Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research. <i>Science of The Total Environment</i>. 2014;493:1152-1170. doi:<a href=\"https://doi.org/10.1016/j.scitotenv.2014.04.022\">10.1016/j.scitotenv.2014.04.022</a>","short":"F. Pellicciotti, M. Carenzo, R. Bordoy, M. Stoffel, Science of The Total Environment 493 (2014) 1152–1170."},"author":[{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti","first_name":"Francesca"},{"first_name":"M.","last_name":"Carenzo","full_name":"Carenzo, M."},{"first_name":"R.","last_name":"Bordoy","full_name":"Bordoy, R."},{"full_name":"Stoffel, M.","last_name":"Stoffel","first_name":"M."}],"date_updated":"2023-02-24T08:36:04Z","publication":"Science of The Total Environment","publication_identifier":{"issn":["0048-9697"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"15","language":[{"iso":"eng"}],"status":"public","title":"Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research","doi":"10.1016/j.scitotenv.2014.04.022","date_published":"2014-09-15T00:00:00Z","intvolume":"       493","extern":"1"},{"_id":"12636","year":"2014","date_created":"2023-02-20T08:16:56Z","abstract":[{"lang":"eng","text":"Himalayan glacier tongues are commonly debris covered and they are an important source of melt water. However, they remain relatively unstudied because of the inaccessibility of the terrain and the difficulties in field work caused by the thick debris mantles. Observations of debris-covered glaciers are therefore scarce and airborne remote sensing may bridge the gap between scarce field observations and coarse resolution space-borne remote sensing. In this study we deploy an Unmanned Aerial Vehicle (UAV) before and after the melt and monsoon season (May and October 2013) over the debris-covered tongue of the Lirung Glacier in Nepal. Based on stereo-imaging and the structure for motion algorithm we derive highly detailed ortho-mosaics and digital elevation models (DEMs), which we geometrically correct using differential GPS observations collected in the field. Based on DEM differencing and manual feature tracking we derive the mass loss and the surface velocity of the glacier at a high spatial accuracy. On average, mass loss is limited and the surface velocity is very small. However, the spatial variability of melt rates is very high, and ice cliffs and supra-glacial ponds show mass losses that can be an order of magnitude higher than the average. We suggest that future research should focus on the interaction between supra-glacial ponds, ice cliffs and englacial hydrology to further understand the dynamics of debris-covered glaciers. Finally, we conclude that UAV deployment has large potential in glaciology and it may revolutionize methods currently applied in studying glacier surface features."}],"article_type":"original","publication_status":"published","article_processing_charge":"No","keyword":["Computers in Earth Sciences","Geology","Soil Science"],"oa_version":"None","quality_controlled":"1","citation":{"mla":"Immerzeel, W. W., et al. “High-Resolution Monitoring of Himalayan Glacier Dynamics Using Unmanned Aerial Vehicles.” <i>Remote Sensing of Environment</i>, vol. 150, no. 7, Elsevier, 2014, pp. 93–103, doi:<a href=\"https://doi.org/10.1016/j.rse.2014.04.025\">10.1016/j.rse.2014.04.025</a>.","apa":"Immerzeel, W. W., Kraaijenbrink, P. D. A., Shea, J. M., Shrestha, A. B., Pellicciotti, F., Bierkens, M. F. P., &#38; de Jong, S. M. (2014). High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. <i>Remote Sensing of Environment</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.rse.2014.04.025\">https://doi.org/10.1016/j.rse.2014.04.025</a>","ieee":"W. W. Immerzeel <i>et al.</i>, “High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles,” <i>Remote Sensing of Environment</i>, vol. 150, no. 7. Elsevier, pp. 93–103, 2014.","ama":"Immerzeel WW, Kraaijenbrink PDA, Shea JM, et al. High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. <i>Remote Sensing of Environment</i>. 2014;150(7):93-103. doi:<a href=\"https://doi.org/10.1016/j.rse.2014.04.025\">10.1016/j.rse.2014.04.025</a>","chicago":"Immerzeel, W.W., P.D.A. Kraaijenbrink, J.M. Shea, A.B. Shrestha, Francesca Pellicciotti, M.F.P. Bierkens, and S.M. de Jong. “High-Resolution Monitoring of Himalayan Glacier Dynamics Using Unmanned Aerial Vehicles.” <i>Remote Sensing of Environment</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.rse.2014.04.025\">https://doi.org/10.1016/j.rse.2014.04.025</a>.","ista":"Immerzeel WW, Kraaijenbrink PDA, Shea JM, Shrestha AB, Pellicciotti F, Bierkens MFP, de Jong SM. 2014. High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. Remote Sensing of Environment. 150(7), 93–103.","short":"W.W. Immerzeel, P.D.A. Kraaijenbrink, J.M. Shea, A.B. Shrestha, F. Pellicciotti, M.F.P. Bierkens, S.M. de Jong, Remote Sensing of Environment 150 (2014) 93–103."},"author":[{"full_name":"Immerzeel, W.W.","first_name":"W.W.","last_name":"Immerzeel"},{"full_name":"Kraaijenbrink, P.D.A.","first_name":"P.D.A.","last_name":"Kraaijenbrink"},{"last_name":"Shea","first_name":"J.M.","full_name":"Shea, J.M."},{"first_name":"A.B.","last_name":"Shrestha","full_name":"Shrestha, A.B."},{"full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti","first_name":"Francesca"},{"full_name":"Bierkens, M.F.P.","first_name":"M.F.P.","last_name":"Bierkens"},{"first_name":"S.M.","last_name":"de Jong","full_name":"de Jong, S.M."}],"date_updated":"2023-02-24T08:32:39Z","publication":"Remote Sensing of Environment","publication_identifier":{"issn":["0034-4257"]},"day":"01","title":"High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles","issue":"7","page":"93-103","scopus_import":"1","month":"07","publisher":"Elsevier","volume":150,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","language":[{"iso":"eng"}],"date_published":"2014-07-01T00:00:00Z","doi":"10.1016/j.rse.2014.04.025","extern":"1","intvolume":"       150"},{"issue":"3","title":"The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas","oa":1,"publication_identifier":{"eissn":["1944-7973"],"issn":["0043-1397"]},"publication":"Water Resources Research","day":"01","author":[{"full_name":"Immerzeel, W. W.","first_name":"W. W.","last_name":"Immerzeel"},{"full_name":"Petersen, L.","first_name":"L.","last_name":"Petersen"},{"last_name":"Ragettli","first_name":"S.","full_name":"Ragettli, S."},{"last_name":"Pellicciotti","first_name":"Francesca","full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70"}],"date_updated":"2023-02-24T08:28:23Z","citation":{"mla":"Immerzeel, W. W., et al. “The Importance of Observed Gradients of Air Temperature and Precipitation for Modeling Runoff from a Glacierized Watershed in the Nepalese Himalayas.” <i>Water Resources Research</i>, vol. 50, no. 3, American Geophysical Union, 2014, pp. 2212–26, doi:<a href=\"https://doi.org/10.1002/2013wr014506\">10.1002/2013wr014506</a>.","apa":"Immerzeel, W. W., Petersen, L., Ragettli, S., &#38; Pellicciotti, F. (2014). The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. <i>Water Resources Research</i>. American Geophysical Union. <a href=\"https://doi.org/10.1002/2013wr014506\">https://doi.org/10.1002/2013wr014506</a>","ama":"Immerzeel WW, Petersen L, Ragettli S, Pellicciotti F. The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. <i>Water Resources Research</i>. 2014;50(3):2212-2226. doi:<a href=\"https://doi.org/10.1002/2013wr014506\">10.1002/2013wr014506</a>","ieee":"W. W. Immerzeel, L. Petersen, S. Ragettli, and F. Pellicciotti, “The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas,” <i>Water Resources Research</i>, vol. 50, no. 3. American Geophysical Union, pp. 2212–2226, 2014.","chicago":"Immerzeel, W. W., L. Petersen, S. Ragettli, and Francesca Pellicciotti. “The Importance of Observed Gradients of Air Temperature and Precipitation for Modeling Runoff from a Glacierized Watershed in the Nepalese Himalayas.” <i>Water Resources Research</i>. American Geophysical Union, 2014. <a href=\"https://doi.org/10.1002/2013wr014506\">https://doi.org/10.1002/2013wr014506</a>.","ista":"Immerzeel WW, Petersen L, Ragettli S, Pellicciotti F. 2014. The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. 50(3), 2212–2226.","short":"W.W. Immerzeel, L. Petersen, S. Ragettli, F. Pellicciotti, Water Resources Research 50 (2014) 2212–2226."},"article_processing_charge":"No","keyword":["Water Science and Technology"],"oa_version":"Published Version","quality_controlled":"1","abstract":[{"lang":"eng","text":"The performance of glaciohydrological models which simulate catchment response to climate variability depends to a large degree on the data used to force the models. The forcing data become increasingly important in high-elevation, glacierized catchments where the interplay between extreme topography, climate, and the cryosphere is complex. It is challenging to generate a reliable forcing data set that captures this spatial heterogeneity. In this paper, we analyze the results of a 1 year field campaign focusing on air temperature and precipitation observations in the Langtang valley in the Nepalese Himalayas. We use the observed time series to characterize both temperature lapse rates (LRs) and precipitation gradients (PGs). We study their spatial and temporal variability, and we attempt to identify possible controlling factors. We show that very clear LRs exist in the valley and that there are strong seasonal differences related to the water vapor content in the atmosphere. Results also show that the LRs are generally shallower than the commonly used environmental lapse rates. The analysis of the precipitation observations reveals that there is great variability in precipitation over short horizontal distances. A uniform valley wide PG cannot be established, and several scale-dependent mechanisms may explain our observations. We complete our analysis by showing the impact of the observed LRs and PGs on the outputs of the TOPKAPI-ETH glaciohydrological model. We conclude that LRs and PGs have a very large impact on the water balance composition and that short-term monitoring campaigns have the potential to improve model quality considerably."}],"publication_status":"published","article_type":"original","_id":"12637","year":"2014","date_created":"2023-02-20T08:17:01Z","extern":"1","intvolume":"        50","status":"public","language":[{"iso":"eng"}],"date_published":"2014-03-01T00:00:00Z","doi":"10.1002/2013wr014506","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":50,"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1002/2013WR014506"}],"month":"03","publisher":"American Geophysical Union","scopus_import":"1","page":"2212-2226"},{"year":"2014","_id":"1309","date_created":"2018-12-11T11:51:17Z","page":"27 - 50","quality_controlled":0,"abstract":[{"lang":"eng","text":"We show that weak solutions of the Derrida-Lebowitz-Speer-Spohn (DLSS) equation display infinite speed of support propagation. We apply our method to the case of the quantum drift-diffusion equation which augments the DLSS equation with a drift term and possibly a second-order diffusion term. The proof is accomplished using weighted entropy estimates, Hardy's inequality and a family of singular weight functions to derive a differential inequality; the differential inequality shows exponential growth of the weighted entropy, with the growth constant blowing up very fast as the singularity of the weight becomes sharper. To the best of our knowledge, this is the first example of a nonnegativity-preserving higher-order parabolic equation displaying infinite speed of support propagation."}],"publisher":"Birkhäuser","publication_status":"published","month":"01","publication":"Nonlinear Differential Equations and Applications","day":"01","publist_id":"5960","volume":21,"author":[{"first_name":"Julian L","last_name":"Fischer","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Julian Fischer"}],"date_updated":"2021-01-12T06:49:47Z","citation":{"mla":"Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” <i>Nonlinear Differential Equations and Applications</i>, vol. 21, no. 1, Birkhäuser, 2014, pp. 27–50, doi:<a href=\"https://doi.org/10.1007/s00030-013-0235-0\">10.1007/s00030-013-0235-0</a>.","apa":"Fischer, J. L. (2014). Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. <i>Nonlinear Differential Equations and Applications</i>. Birkhäuser. <a href=\"https://doi.org/10.1007/s00030-013-0235-0\">https://doi.org/10.1007/s00030-013-0235-0</a>","ama":"Fischer JL. Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. <i>Nonlinear Differential Equations and Applications</i>. 2014;21(1):27-50. doi:<a href=\"https://doi.org/10.1007/s00030-013-0235-0\">10.1007/s00030-013-0235-0</a>","ieee":"J. L. Fischer, “Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models,” <i>Nonlinear Differential Equations and Applications</i>, vol. 21, no. 1. Birkhäuser, pp. 27–50, 2014.","chicago":"Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” <i>Nonlinear Differential Equations and Applications</i>. Birkhäuser, 2014. <a href=\"https://doi.org/10.1007/s00030-013-0235-0\">https://doi.org/10.1007/s00030-013-0235-0</a>.","ista":"Fischer JL. 2014. Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. Nonlinear Differential Equations and Applications. 21(1), 27–50.","short":"J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50."},"type":"journal_article","issue":"1","intvolume":"        21","extern":1,"status":"public","title":"Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models","doi":"10.1007/s00030-013-0235-0","date_published":"2014-01-01T00:00:00Z"},{"volume":211,"citation":{"short":"J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.","mla":"Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” <i>Archive for Rational Mechanics and Analysis</i>, vol. 211, no. 3, Springer, 2014, pp. 771–818, doi:<a href=\"https://doi.org/10.1007/s00205-013-0690-0\">10.1007/s00205-013-0690-0</a>.","ieee":"J. L. Fischer, “Upper bounds on waiting times for the Thin-film equation: The case of weak slippage,” <i>Archive for Rational Mechanics and Analysis</i>, vol. 211, no. 3. Springer, pp. 771–818, 2014.","apa":"Fischer, J. L. (2014). Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. <i>Archive for Rational Mechanics and Analysis</i>. Springer. <a href=\"https://doi.org/10.1007/s00205-013-0690-0\">https://doi.org/10.1007/s00205-013-0690-0</a>","ama":"Fischer JL. Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. <i>Archive for Rational Mechanics and Analysis</i>. 2014;211(3):771-818. doi:<a href=\"https://doi.org/10.1007/s00205-013-0690-0\">10.1007/s00205-013-0690-0</a>","chicago":"Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” <i>Archive for Rational Mechanics and Analysis</i>. Springer, 2014. <a href=\"https://doi.org/10.1007/s00205-013-0690-0\">https://doi.org/10.1007/s00205-013-0690-0</a>.","ista":"Fischer JL. 2014. Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. 211(3), 771–818."},"type":"journal_article","author":[{"last_name":"Fischer","first_name":"Julian L","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Julian Fischer"}],"date_updated":"2021-01-12T06:49:48Z","publication":"Archive for Rational Mechanics and Analysis","day":"01","publist_id":"5959","status":"public","title":"Upper bounds on waiting times for the Thin-film equation: The case of weak slippage","doi":"10.1007/s00205-013-0690-0","date_published":"2014-01-01T00:00:00Z","issue":"3","intvolume":"       211","extern":1,"page":"771 - 818","year":"2014","_id":"1312","date_created":"2018-12-11T11:51:18Z","abstract":[{"text":"We derive upper bounds on the waiting time of solutions to the thin-film equation in the regime of weak slippage n ∈ [2, 32\\11). In particular, we give sufficient conditions on the initial data for instantaneous forward motion of the free boundary. For n ∈ (2, 32\\11), our estimates are sharp, for n = 2, they are sharp up to a logarithmic correction term. Note that the case n = 2 corresponds-with a grain of salt-to the assumption of the Navier slip condition at the fluid-solid interface. We also obtain results in the regime of strong slippage n ∈ (1,2); however, in this regime we expect them not to be optimal. Our method is based on weighted backward entropy estimates, Hardy's inequality and singular weight functions; we deduce a differential inequality which would enforce blowup of the weighted entropy if the contact line were to remain stationary for too long.","lang":"eng"}],"publisher":"Springer","publication_status":"published","month":"01","quality_controlled":0},{"status":"public","language":[{"iso":"eng"}],"date_published":"2014-12-23T00:00:00Z","doi":"10.1021/nn506656r","extern":"1","intvolume":"         8","volume":8,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","publisher":"American Chemical Society","page":"11913-11916","scopus_import":"1","title":"Watching single molecules move in response to light","external_id":{"pmid":["25474733"]},"issue":"12","date_updated":"2023-08-08T07:18:58Z","author":[{"last_name":"Kundu","first_name":"Pintu K.","full_name":"Kundu, Pintu K."},{"first_name":"Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"}],"citation":{"ista":"Kundu PK, Klajn R. 2014. Watching single molecules move in response to light. ACS Nano. 8(12), 11913–11916.","chicago":"Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response to Light.” <i>ACS Nano</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/nn506656r\">https://doi.org/10.1021/nn506656r</a>.","apa":"Kundu, P. K., &#38; Klajn, R. (2014). Watching single molecules move in response to light. <i>ACS Nano</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/nn506656r\">https://doi.org/10.1021/nn506656r</a>","ama":"Kundu PK, Klajn R. Watching single molecules move in response to light. <i>ACS Nano</i>. 2014;8(12):11913-11916. doi:<a href=\"https://doi.org/10.1021/nn506656r\">10.1021/nn506656r</a>","ieee":"P. K. Kundu and R. Klajn, “Watching single molecules move in response to light,” <i>ACS Nano</i>, vol. 8, no. 12. American Chemical Society, pp. 11913–11916, 2014.","mla":"Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response to Light.” <i>ACS Nano</i>, vol. 8, no. 12, American Chemical Society, 2014, pp. 11913–16, doi:<a href=\"https://doi.org/10.1021/nn506656r\">10.1021/nn506656r</a>.","short":"P.K. Kundu, R. Klajn, ACS Nano 8 (2014) 11913–11916."},"publication":"ACS Nano","publication_identifier":{"issn":["1936-0851"],"eissn":["1936-086X"]},"day":"23","abstract":[{"lang":"eng","text":"Nature has long inspired scientists with its seemingly unlimited ability to harness solar energy and to utilize it to drive various physiological processes. With the help of man-made molecular photoswitches, we now have the potential to outperform natural systems in many ways, with the ultimate goal of fabricating multifunctional materials that operate at different light wavelengths. An important challenge in developing light-controlled artificial molecular machines lies in attaining a detailed understanding of the photoisomerization-coupled conformational changes that occur in macromolecules and molecular assemblies. In this issue of ACS Nano, Bléger, Rabe, and co-workers use force microscopy to provide interesting insights into the behavior of individual photoresponsive molecules and to identify contraction, extension, and crawling events accompanying light-induced isomerization."}],"publication_status":"published","article_type":"original","article_processing_charge":"No","keyword":["General Physics and Astronomy","General Engineering","General Materials Science"],"oa_version":"None","quality_controlled":"1","_id":"13399","year":"2014","date_created":"2023-08-01T09:45:42Z","pmid":1},{"pmid":1,"date_created":"2023-08-01T09:45:56Z","_id":"13400","year":"2014","article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"Organizing inorganic nanocrystals into complex architectures is challenging and typically relies on preexisting templates, such as properly folded DNA or polypeptide chains. We found that under carefully controlled conditions, cubic nanocrystals of magnetite self-assemble into arrays of helical superstructures in a template-free manner with >99% yield. Computer simulations revealed that the formation of helices is determined by the interplay of van der Waals and magnetic dipole-dipole interactions, Zeeman coupling, and entropic forces and can be attributed to spontaneous formation of chiral nanocube clusters. Neighboring helices within their densely packed ensembles tended to adopt the same handedness in order to maximize packing, thus revealing a novel mechanism of symmetry breaking and chirality amplification."}],"quality_controlled":"1","article_processing_charge":"No","keyword":["Multidisciplinary"],"oa_version":"None","citation":{"short":"G. Singh, H. Chan, A. Baskin, E. Gelman, N. Repnin, P. Král, R. Klajn, Science 345 (2014) 1149–1153.","mla":"Singh, Gurvinder, et al. “Self-Assembly of Magnetite Nanocubes into Helical Superstructures.” <i>Science</i>, vol. 345, no. 6201, American Association for the Advancement of Science, 2014, pp. 1149–53, doi:<a href=\"https://doi.org/10.1126/science.1254132\">10.1126/science.1254132</a>.","ieee":"G. Singh <i>et al.</i>, “Self-assembly of magnetite nanocubes into helical superstructures,” <i>Science</i>, vol. 345, no. 6201. American Association for the Advancement of Science, pp. 1149–1153, 2014.","ama":"Singh G, Chan H, Baskin A, et al. Self-assembly of magnetite nanocubes into helical superstructures. <i>Science</i>. 2014;345(6201):1149-1153. doi:<a href=\"https://doi.org/10.1126/science.1254132\">10.1126/science.1254132</a>","apa":"Singh, G., Chan, H., Baskin, A., Gelman, E., Repnin, N., Král, P., &#38; Klajn, R. (2014). Self-assembly of magnetite nanocubes into helical superstructures. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1254132\">https://doi.org/10.1126/science.1254132</a>","chicago":"Singh, Gurvinder, Henry Chan, Artem Baskin, Elijah Gelman, Nikita Repnin, Petr Král, and Rafal Klajn. “Self-Assembly of Magnetite Nanocubes into Helical Superstructures.” <i>Science</i>. American Association for the Advancement of Science, 2014. <a href=\"https://doi.org/10.1126/science.1254132\">https://doi.org/10.1126/science.1254132</a>.","ista":"Singh G, Chan H, Baskin A, Gelman E, Repnin N, Král P, Klajn R. 2014. Self-assembly of magnetite nanocubes into helical superstructures. Science. 345(6201), 1149–1153."},"date_updated":"2023-08-08T07:23:05Z","author":[{"full_name":"Singh, Gurvinder","first_name":"Gurvinder","last_name":"Singh"},{"full_name":"Chan, Henry","first_name":"Henry","last_name":"Chan"},{"full_name":"Baskin, Artem","last_name":"Baskin","first_name":"Artem"},{"full_name":"Gelman, Elijah","last_name":"Gelman","first_name":"Elijah"},{"last_name":"Repnin","first_name":"Nikita","full_name":"Repnin, Nikita"},{"full_name":"Král, Petr","first_name":"Petr","last_name":"Král"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","first_name":"Rafal","last_name":"Klajn"}],"day":"24","publication":"Science","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"title":"Self-assembly of magnetite nanocubes into helical superstructures","external_id":{"pmid":["25061133"]},"issue":"6201","page":"1149-1153","scopus_import":"1","month":"07","publisher":"American Association for the Advancement of Science","type":"journal_article","volume":345,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2014-07-24T00:00:00Z","doi":"10.1126/science.1254132","status":"public","language":[{"iso":"eng"}],"extern":"1","intvolume":"       345"},{"external_id":{"pmid":["25072292"]},"title":"Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran","issue":"32","date_updated":"2023-08-08T07:25:37Z","author":[{"full_name":"Kundu, Pintu K.","first_name":"Pintu K.","last_name":"Kundu"},{"full_name":"Lerner, Avishai","first_name":"Avishai","last_name":"Lerner"},{"full_name":"Kučanda, Kristina","first_name":"Kristina","last_name":"Kučanda"},{"full_name":"Leitus, Gregory","last_name":"Leitus","first_name":"Gregory"},{"first_name":"Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"}],"citation":{"apa":"Kundu, P. K., Lerner, A., Kučanda, K., Leitus, G., &#38; Klajn, R. (2014). Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja505948q\">https://doi.org/10.1021/ja505948q</a>","ieee":"P. K. Kundu, A. Lerner, K. Kučanda, G. Leitus, and R. Klajn, “Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 32. American Chemical Society, pp. 11276–11279, 2014.","ama":"Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. <i>Journal of the American Chemical Society</i>. 2014;136(32):11276-11279. doi:<a href=\"https://doi.org/10.1021/ja505948q\">10.1021/ja505948q</a>","mla":"Kundu, Pintu K., et al. “Cyclic Kinetics during Thermal Equilibration of an Axially Chiral Bis-Spiropyran.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 32, American Chemical Society, 2014, pp. 11276–79, doi:<a href=\"https://doi.org/10.1021/ja505948q\">10.1021/ja505948q</a>.","ista":"Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. 2014. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. Journal of the American Chemical Society. 136(32), 11276–11279.","chicago":"Kundu, Pintu K., Avishai Lerner, Kristina Kučanda, Gregory Leitus, and Rafal Klajn. “Cyclic Kinetics during Thermal Equilibration of an Axially Chiral Bis-Spiropyran.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/ja505948q\">https://doi.org/10.1021/ja505948q</a>.","short":"P.K. Kundu, A. Lerner, K. Kučanda, G. Leitus, R. Klajn, Journal of the American Chemical Society 136 (2014) 11276–11279."},"day":"13","publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"publication":"Journal of the American Chemical Society","publication_status":"published","article_type":"original","abstract":[{"lang":"eng","text":"A compound combining the features of a molecular rotor and a photoswitch was synthesized and was shown to exist as three diastereomers, which interconvert via a reversible cyclic reaction scheme. Each of the three diastereomers was isolated, and by following the equilibration kinetics, activation barriers for all reactions were calculated. The results indicate that the properties of molecular switches depend heavily on their immediate chemical environment. The conclusions are important in the context of designing new switchable molecules and materials."}],"quality_controlled":"1","oa_version":"None","article_processing_charge":"No","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"date_created":"2023-08-01T09:46:12Z","pmid":1,"year":"2014","_id":"13401","doi":"10.1021/ja505948q","date_published":"2014-08-13T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"       136","extern":"1","type":"journal_article","volume":136,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Chemical Society","month":"08","page":"11276-11279","scopus_import":"1"},{"title":"Nanoporous frameworks exhibiting multiple stimuli responsiveness","external_id":{"pmid":["24709950"]},"article_number":"3588","author":[{"full_name":"Kundu, Pintu K.","last_name":"Kundu","first_name":"Pintu K."},{"full_name":"Olsen, Gregory L.","last_name":"Olsen","first_name":"Gregory L."},{"full_name":"Kiss, Vladimir","last_name":"Kiss","first_name":"Vladimir"},{"last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"}],"date_updated":"2023-08-08T07:28:10Z","citation":{"short":"P.K. Kundu, G.L. Olsen, V. Kiss, R. Klajn, Nature Communications 5 (2014).","mla":"Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” <i>Nature Communications</i>, vol. 5, 3588, Springer Nature, 2014, doi:<a href=\"https://doi.org/10.1038/ncomms4588\">10.1038/ncomms4588</a>.","ama":"Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple stimuli responsiveness. <i>Nature Communications</i>. 2014;5. doi:<a href=\"https://doi.org/10.1038/ncomms4588\">10.1038/ncomms4588</a>","apa":"Kundu, P. K., Olsen, G. L., Kiss, V., &#38; Klajn, R. (2014). Nanoporous frameworks exhibiting multiple stimuli responsiveness. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/ncomms4588\">https://doi.org/10.1038/ncomms4588</a>","ieee":"P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” <i>Nature Communications</i>, vol. 5. Springer Nature, 2014.","chicago":"Kundu, Pintu K., Gregory L. Olsen, Vladimir Kiss, and Rafal Klajn. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” <i>Nature Communications</i>. Springer Nature, 2014. <a href=\"https://doi.org/10.1038/ncomms4588\">https://doi.org/10.1038/ncomms4588</a>.","ista":"Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 5, 3588."},"oa":1,"publication_identifier":{"eissn":["2041-1723"]},"publication":"Nature Communications","day":"07","abstract":[{"lang":"eng","text":"Nanoporous frameworks are polymeric materials built from rigid molecules, which give rise to their nanoporous structures with applications in gas sorption and storage, catalysis and others. Conceptually new applications could emerge, should these beneficial properties be manipulated by external stimuli in a reversible manner. One approach to render nanoporous frameworks responsive to external signals would be to immobilize molecular switches within their nanopores. Although the majority of molecular switches require conformational freedom to isomerize, and switching in the solid state is prohibited, the nanopores may provide enough room for the switches to efficiently isomerize. Here we describe two families of nanoporous materials incorporating the spiropyran molecular switch. These materials exhibit a variety of interesting properties, including reversible photochromism and acidochromism under solvent-free conditions, light-controlled capture and release of metal ions, as well reversible chromism induced by solvation/desolvation."}],"publication_status":"published","article_type":"original","article_processing_charge":"No","keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"oa_version":"Published Version","quality_controlled":"1","_id":"13402","year":"2014","date_created":"2023-08-01T09:46:27Z","pmid":1,"status":"public","language":[{"iso":"eng"}],"date_published":"2014-04-07T00:00:00Z","doi":"10.1038/ncomms4588","extern":"1","intvolume":"         5","volume":5,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"04","publisher":"Springer Nature","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/ncomms4588"}],"scopus_import":"1"},{"scopus_import":"1","page":"2711-2714","month":"02","publisher":"American Chemical Society","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":136,"type":"journal_article","extern":"1","intvolume":"       136","status":"public","language":[{"iso":"eng"}],"date_published":"2014-02-19T00:00:00Z","doi":"10.1021/ja411573a","_id":"13403","year":"2014","date_created":"2023-08-01T09:46:44Z","pmid":1,"article_processing_charge":"No","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"oa_version":"None","quality_controlled":"1","abstract":[{"lang":"eng","text":"We show that bimolecular reactions between species confined to the surfaces of nanoparticles can be manipulated by the nature of the linker, as well as by the curvature of the underlying particles."}],"article_type":"original","publication_status":"published","publication_identifier":{"issn":["0002-7863"],"eissn":["1520-5126"]},"publication":"Journal of the American Chemical Society","day":"19","author":[{"full_name":"Zdobinsky, Tino","last_name":"Zdobinsky","first_name":"Tino"},{"full_name":"Sankar Maiti, Pradipta","last_name":"Sankar Maiti","first_name":"Pradipta"},{"full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal","last_name":"Klajn"}],"date_updated":"2023-08-08T07:32:11Z","citation":{"chicago":"Zdobinsky, Tino, Pradipta Sankar Maiti, and Rafal Klajn. “Support Curvature and Conformational Freedom Control Chemical Reactivity of Immobilized Species.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/ja411573a\">https://doi.org/10.1021/ja411573a</a>.","ista":"Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.","mla":"Zdobinsky, Tino, et al. “Support Curvature and Conformational Freedom Control Chemical Reactivity of Immobilized Species.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 7, American Chemical Society, 2014, pp. 2711–14, doi:<a href=\"https://doi.org/10.1021/ja411573a\">10.1021/ja411573a</a>.","ama":"Zdobinsky T, Sankar Maiti P, Klajn R. Support curvature and conformational freedom control chemical reactivity of immobilized species. <i>Journal of the American Chemical Society</i>. 2014;136(7):2711-2714. doi:<a href=\"https://doi.org/10.1021/ja411573a\">10.1021/ja411573a</a>","ieee":"T. Zdobinsky, P. Sankar Maiti, and R. Klajn, “Support curvature and conformational freedom control chemical reactivity of immobilized species,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 7. American Chemical Society, pp. 2711–2714, 2014.","apa":"Zdobinsky, T., Sankar Maiti, P., &#38; Klajn, R. (2014). Support curvature and conformational freedom control chemical reactivity of immobilized species. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja411573a\">https://doi.org/10.1021/ja411573a</a>","short":"T. Zdobinsky, P. Sankar Maiti, R. Klajn, Journal of the American Chemical Society 136 (2014) 2711–2714."},"issue":"7","title":"Support curvature and conformational freedom control chemical reactivity of immobilized species","external_id":{"pmid":["24320557"]}},{"issue":"1","external_id":{"pmid":["23979515"]},"title":"Spiropyran-based dynamic materials","oa":1,"publication_identifier":{"eissn":["1460-4744"],"issn":["0306-0012"]},"publication":"Chemical Society Reviews","day":"27","author":[{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","last_name":"Klajn","first_name":"Rafal"}],"date_updated":"2023-08-08T07:41:38Z","citation":{"chicago":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” <i>Chemical Society Reviews</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c3cs60181a\">https://doi.org/10.1039/c3cs60181a</a>.","ista":"Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184.","mla":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” <i>Chemical Society Reviews</i>, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:<a href=\"https://doi.org/10.1039/c3cs60181a\">10.1039/c3cs60181a</a>.","apa":"Klajn, R. (2014). Spiropyran-based dynamic materials. <i>Chemical Society Reviews</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c3cs60181a\">https://doi.org/10.1039/c3cs60181a</a>","ieee":"R. Klajn, “Spiropyran-based dynamic materials,” <i>Chemical Society Reviews</i>, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.","ama":"Klajn R. Spiropyran-based dynamic materials. <i>Chemical Society Reviews</i>. 2014;43(1):148-184. doi:<a href=\"https://doi.org/10.1039/c3cs60181a\">10.1039/c3cs60181a</a>","short":"R. Klajn, Chemical Society Reviews 43 (2014) 148–184."},"article_processing_charge":"No","keyword":["General Chemistry"],"oa_version":"Published Version","quality_controlled":"1","abstract":[{"lang":"eng","text":"In the past few years, spiropyran has emerged as the molecule-of-choice for the construction of novel dynamic materials. This unique molecular switch undergoes structural isomerisation in response to a variety of orthogonal stimuli, e.g. light, temperature, metal ions, redox potential, and mechanical stress. Incorporation of this switch onto macromolecular supports or inorganic scaffolds allows for the creation of robust dynamic materials. This review discusses the synthesis, switching conditions, and use of dynamic materials in which spiropyran has been attached to the surfaces of polymers, biomacromolecules, inorganic nanoparticles, as well as solid surfaces. The resulting materials show fascinating properties whereby the state of the switch intimately affects a multitude of useful properties of the support. The utility of the spiropyran switch will undoubtedly endow these materials with far-reaching applications in the near future."}],"article_type":"original","publication_status":"published","_id":"13404","year":"2014","date_created":"2023-08-01T09:47:03Z","pmid":1,"extern":"1","intvolume":"        43","status":"public","language":[{"iso":"eng"}],"date_published":"2014-01-27T00:00:00Z","doi":"10.1039/c3cs60181a","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":43,"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1039/C3CS60181A","open_access":"1"}],"month":"01","publisher":"Royal Society of Chemistry","scopus_import":"1","page":"148-184"},{"project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"name":"Game Theory","call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_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"}],"title":"Approximating the minimum cycle mean","external_id":{"arxiv":["1307.4473"]},"issue":"C","date_updated":"2022-09-09T11:50:58Z","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","first_name":"Monika H","last_name":"Henzinger"},{"full_name":"Krinninger, Sebastian","first_name":"Sebastian","last_name":"Krinninger"},{"full_name":"Loitzenbauer, Veronika","first_name":"Veronika","last_name":"Loitzenbauer"},{"first_name":"Michael","last_name":"Raskin","full_name":"Raskin, Michael"}],"citation":{"mla":"Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” <i>Theoretical Computer Science</i>, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">10.1016/j.tcs.2014.06.031</a>.","apa":"Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., &#38; Raskin, M. (2014). Approximating the minimum cycle mean. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">https://doi.org/10.1016/j.tcs.2014.06.031</a>","ama":"Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. <i>Theoretical Computer Science</i>. 2014;547(C):104-116. doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">10.1016/j.tcs.2014.06.031</a>","ieee":"K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” <i>Theoretical Computer Science</i>, vol. 547, no. C. Elsevier, pp. 104–116, 2014.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” <i>Theoretical Computer Science</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">https://doi.org/10.1016/j.tcs.2014.06.031</a>.","ista":"Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.","short":"K. Chatterjee, M.H. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116."},"day":"28","publist_id":"5836","publication":"Theoretical Computer Science","oa":1,"article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that the algorithmic question is reducible to the problem of a logarithmic number of min-plus matrix multiplications of n×n-matrices, where n is the number of vertices of the graph. (2) Second, when the weights are nonnegative, we present the first (1+ε)-approximation algorithm for the problem and the running time of our algorithm is Õ(nωlog3(nW/ε)/ε),1 where O(nω) is the time required for the classic n×n-matrix multiplication and W is the maximum value of the weights. With an additional O(log(nW/ε)) factor in space a cycle with approximately optimal weight can be computed within the same time bound."}],"quality_controlled":"1","oa_version":"Preprint","article_processing_charge":"No","ec_funded":1,"date_created":"2018-12-11T11:51:40Z","year":"2014","_id":"1375","doi":"10.1016/j.tcs.2014.06.031","date_published":"2014-08-28T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"       547","type":"journal_article","volume":547,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"publisher":"Elsevier","month":"08","main_file_link":[{"url":"http://arxiv.org/abs/1307.4473","open_access":"1"}],"arxiv":1,"page":"104 - 116","scopus_import":"1"},{"_id":"1392","year":"2014","ec_funded":1,"date_created":"2018-12-11T11:51:45Z","abstract":[{"text":"Fault-tolerant distributed algorithms play an important role in ensuring the reliability of many software applications. In this paper we consider distributed algorithms whose computations are organized in rounds. To verify the correctness of such algorithms, we reason about (i) properties (such as invariants) of the state, (ii) the transitions controlled by the algorithm, and (iii) the communication graph. We introduce a logic that addresses these points, and contains set comprehensions with cardinality constraints, function symbols to describe the local states of each process, and a limited form of quantifier alternation to express the verification conditions. We show its use in automating the verification of consensus algorithms. In particular, we give a semi-decision procedure for the unsatisfiability problem of the logic and identify a decidable fragment. We successfully applied our framework to verify the correctness of a variety of consensus algorithms tolerant to both benign faults (message loss, process crashes) and value faults (message corruption).","lang":"eng"}],"file":[{"checksum":"bffa33d39be77df0da39defe97eabf84","file_size":444138,"content_type":"application/pdf","access_level":"open_access","creator":"system","file_name":"IST-2014-179-v1+1_vmcai14.pdf","file_id":"4859","date_created":"2018-12-12T10:11:06Z","relation":"main_file","date_updated":"2020-07-14T12:44:48Z"}],"publication_status":"published","oa_version":"Submitted Version","quality_controlled":"1","date_updated":"2021-01-12T06:50:22Z","author":[{"full_name":"Dragoi, Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","first_name":"Cezara","last_name":"Dragoi"},{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Veith, Helmut","first_name":"Helmut","last_name":"Veith"},{"full_name":"Widder, Josef","last_name":"Widder","first_name":"Josef"},{"id":"4397AC76-F248-11E8-B48F-1D18A9856A87","full_name":"Zufferey, Damien","orcid":"0000-0002-3197-8736","last_name":"Zufferey","first_name":"Damien"}],"citation":{"chicago":"Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">https://doi.org/10.1007/978-3-642-54013-4_10</a>.","ista":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.","mla":"Dragoi, Cezara, et al. <i>A Logic-Based Framework for Verifying Consensus Algorithms</i>. Vol. 8318, Springer, 2014, pp. 161–81, doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">10.1007/978-3-642-54013-4_10</a>.","apa":"Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., &#38; Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">https://doi.org/10.1007/978-3-642-54013-4_10</a>","ieee":"C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.","ama":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">10.1007/978-3-642-54013-4_10</a>","short":"C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181."},"oa":1,"publist_id":"5817","day":"01","title":"A logic-based framework for verifying consensus algorithms","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"}],"has_accepted_license":"1","conference":{"end_date":"2014-01-21","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","start_date":"2014-01-19","location":"San Diego, USA"},"page":"161 - 181","scopus_import":1,"acknowledgement":"Supported by the Vienna Science and Technology Fund (WWTF) through grant PROSEED.","month":"01","department":[{"_id":"ToHe"}],"publisher":"Springer","volume":8318,"type":"conference","pubrep_id":"179","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:44:48Z","status":"public","language":[{"iso":"eng"}],"date_published":"2014-01-01T00:00:00Z","doi":"10.1007/978-3-642-54013-4_10","ddc":["000","005"],"alternative_title":["LNCS"],"intvolume":"      8318"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","doi":"10.1145/2593882.2593900","date_published":"2014-05-31T00:00:00Z","language":[{"iso":"eng"}],"status":"public","scopus_import":1,"conference":{"end_date":"2014-06-07","name":"FOSE: Future of Software Engineering","start_date":"2014-05-31","location":"Hyderabad, India"},"page":"167 - 181","main_file_link":[{"url":"https://doi.org/10.1145/2593882.2593900","open_access":"1"}],"department":[{"_id":"ToHe"}],"publisher":"ACM","month":"05","day":"31","publist_id":"5816","publication":"Proceedings of the on Future of Software Engineering","oa":1,"citation":{"apa":"Gordon, A., Henzinger, T. A., Nori, A., &#38; Rajamani, S. (2014). Probabilistic programming. In <i>Proceedings of the on Future of Software Engineering</i> (pp. 167–181). Hyderabad, India: ACM. <a href=\"https://doi.org/10.1145/2593882.2593900\">https://doi.org/10.1145/2593882.2593900</a>","ieee":"A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in <i>Proceedings of the on Future of Software Engineering</i>, Hyderabad, India, 2014, pp. 167–181.","ama":"Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: <i>Proceedings of the on Future of Software Engineering</i>. ACM; 2014:167-181. doi:<a href=\"https://doi.org/10.1145/2593882.2593900\">10.1145/2593882.2593900</a>","mla":"Gordon, Andrew, et al. “Probabilistic Programming.” <i>Proceedings of the on Future of Software Engineering</i>, ACM, 2014, pp. 167–81, doi:<a href=\"https://doi.org/10.1145/2593882.2593900\">10.1145/2593882.2593900</a>.","ista":"Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.","chicago":"Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In <i>Proceedings of the on Future of Software Engineering</i>, 167–81. ACM, 2014. <a href=\"https://doi.org/10.1145/2593882.2593900\">https://doi.org/10.1145/2593882.2593900</a>.","short":"A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181."},"date_updated":"2021-01-12T06:50:22Z","author":[{"last_name":"Gordon","first_name":"Andrew","full_name":"Gordon, Andrew"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Nori","first_name":"Aditya","full_name":"Nori, Aditya"},{"first_name":"Sriram","last_name":"Rajamani","full_name":"Rajamani, Sriram"}],"project":[{"name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","call_identifier":"FP7"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"title":"Probabilistic programming","ec_funded":1,"date_created":"2018-12-11T11:51:45Z","year":"2014","_id":"1393","quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"No","publication_status":"published","abstract":[{"lang":"eng","text":"Probabilistic programs are usual functional or imperative programs with two added constructs: (1) the ability to draw values at random from distributions, and (2) the ability to condition values of variables in a program via observations. Models from diverse application areas such as computer vision, coding theory, cryptographic protocols, biology and reliability analysis can be written as probabilistic programs. Probabilistic inference is the problem of computing an explicit representation of the probability distribution implicitly specified by a probabilistic program. Depending on the application, the desired output from inference may vary-we may want to estimate the expected value of some function f with respect to the distribution, or the mode of the distribution, or simply a set of samples drawn from the distribution. In this paper, we describe connections this research area called \\Probabilistic Programming&quot; has with programming languages and software engineering, and this includes language design, and the static and dynamic analysis of programs. We survey current state of the art and speculate on promising directions for future research."}]},{"date_published":"2014-02-01T00:00:00Z","title":"Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus","status":"public","language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"type":"dissertation","citation":{"ista":"Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.","chicago":"Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” Institute of Science and Technology Austria, 2014.","ama":"Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.","ieee":"M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” Institute of Science and Technology Austria, 2014.","apa":"Konrad, M. (2014). <i>Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus</i>. Institute of Science and Technology Austria.","mla":"Konrad, Matthias. <i>Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus</i>. Institute of Science and Technology Austria, 2014.","short":"M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014."},"date_updated":"2023-09-07T11:38:56Z","author":[{"full_name":"Konrad, Matthias","id":"46528076-F248-11E8-B48F-1D18A9856A87","last_name":"Konrad","first_name":"Matthias"}],"supervisor":[{"last_name":"Cremer","first_name":"Sylvia M","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia M","orcid":"0000-0002-2193-3868"}],"publist_id":"5814","day":"01","publication_identifier":{"issn":["2663-337X"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"02","publication_status":"published","publisher":"Institute of Science and Technology Austria","department":[{"_id":"SyCr"}],"abstract":[{"lang":"eng","text":"In this thesis I studied various individual and social immune defences employed by the invasive garden ant Lasius neglectus mostly against entomopathogenic fungi.  The first two chapters of this thesis address the phenomenon of 'social immunisation'. Social immunisation, that is the immunological protection of group members due to social contact to a pathogen-exposed nestmate, has been described in various social insect species against different types of pathogens. However, in the case of entomopathogenic fungi it has, so far, only been demonstrated that social immunisation exists at all. Its underlying mechanisms r any other properties were, however, unknown. In the first chapter of this thesis I identified the mechanistic basis of social immunisation in L. neglectus against the entomopathogenous fungus Metarhizium. I could show that nestmates of a pathogen-exposed individual contract low-level infections due to social interactions. These low-level infections are, however, non-lethal and cause an active stimulation of the immune system, which protects the nestmates upon subsequent pathogen encounters. In the second chapter of this thesis I investigated the specificity and colony level effects of social immunisation. I demonstrated that the protection conferred by social immunisation is highly specific, protecting ants only against the same pathogen strain. In addition, depending on the respective context, social immunisation may even cause fitness costs. I further showed that social immunisation crucially affects sanitary behaviour and disease dynamics within ant groups. In the third chapter of this thesis I studied the effects of the ectosymbiotic fungus Laboulbenia formicarum on its host L. neglectus. Although Laboulbeniales are the largest order of insect-parasitic fungi, research concerning host fitness consequence is sparse. I showed that highly Laboulbenia-infected ants sustain fitness costs under resource limitation, however, gain fitness benefits when exposed to an entomopathogenus fungus. These effects are probably cause by a prophylactic upregulation of behavioural as well as physiological immune defences in highly infected ants."}],"article_processing_charge":"No","degree_awarded":"PhD","oa_version":"None","page":"131","date_created":"2018-12-11T11:51:46Z","_id":"1395","year":"2014"},{"month":"04","publisher":"Royal Society of Chemistry","scopus_import":"1","page":"113-132","extern":"1","intvolume":"       171","date_published":"2014-04-14T00:00:00Z","doi":"10.1039/c4fd00018h","status":"public","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":171,"quality_controlled":"1","keyword":["Physical and Theoretical Chemistry"],"article_processing_charge":"No","oa_version":"None","article_type":"original","publication_status":"published","abstract":[{"text":"The sensitivities of high-harmonic generation (HHG) and strong-field ionization (SFI) to coupled electronic and nuclear dynamics are studied, using the nitric oxide (NO) molecule as an example. A coherent superposition of electronic and rotational states of NO is prepared by impulsive stimulated Raman scattering and probed by simultaneous detection of HHG and SFI yields. We observe a fourfold higher sensitivity of high-harmonic generation to electronic dynamics and attribute it to the presence of inelastic quantum paths connecting coherently related electronic states [Kraus et al., Phys. Rev. Lett.111, 243005 (2013)]. Whereas different harmonic orders display very different sensitivities to rotational or electronic dynamics, strong-field ionization is found to be most sensitive to electronic motion. We introduce a general theoretical formalism for high-harmonic generation from coupled nuclear-electronic wave packets. We show that the unequal sensitivities of different harmonic orders to electronic or rotational dynamics result from the angle dependence of the photorecombination matrix elements which encode several autoionizing and shape resonances in the photoionization continuum of NO. We further study the dependence of rotational and electronic coherences on the intensity of the excitation pulse and support the observations with calculations.","lang":"eng"}],"date_created":"2023-08-10T06:38:19Z","pmid":1,"_id":"14018","year":"2014","external_id":{"pmid":["25415558"]},"title":"The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics","day":"14","publication_identifier":{"issn":["1359-6640"],"eissn":["1364-5498"]},"publication":"Faraday Discussions","author":[{"id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova","last_name":"Baykusheva","first_name":"Denitsa Rangelova"},{"last_name":"Kraus","first_name":"Peter M.","full_name":"Kraus, Peter M."},{"full_name":"Zhang, Song Bin","first_name":"Song Bin","last_name":"Zhang"},{"full_name":"Rohringer, Nina","last_name":"Rohringer","first_name":"Nina"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"date_updated":"2023-08-22T08:58:12Z","citation":{"short":"D.R. Baykusheva, P.M. Kraus, S.B. Zhang, N. Rohringer, H.J. Wörner, Faraday Discussions 171 (2014) 113–132.","mla":"Baykusheva, Denitsa Rangelova, et al. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” <i>Faraday Discussions</i>, vol. 171, Royal Society of Chemistry, 2014, pp. 113–32, doi:<a href=\"https://doi.org/10.1039/c4fd00018h\">10.1039/c4fd00018h</a>.","ieee":"D. R. Baykusheva, P. M. Kraus, S. B. Zhang, N. Rohringer, and H. J. Wörner, “The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics,” <i>Faraday Discussions</i>, vol. 171. Royal Society of Chemistry, pp. 113–132, 2014.","apa":"Baykusheva, D. R., Kraus, P. M., Zhang, S. B., Rohringer, N., &#38; Wörner, H. J. (2014). The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. <i>Faraday Discussions</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c4fd00018h\">https://doi.org/10.1039/c4fd00018h</a>","ama":"Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. <i>Faraday Discussions</i>. 2014;171:113-132. doi:<a href=\"https://doi.org/10.1039/c4fd00018h\">10.1039/c4fd00018h</a>","chicago":"Baykusheva, Denitsa Rangelova, Peter M. Kraus, Song Bin Zhang, Nina Rohringer, and Hans Jakob Wörner. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” <i>Faraday Discussions</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c4fd00018h\">https://doi.org/10.1039/c4fd00018h</a>.","ista":"Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 171, 113–132."}}]