[{"_id":"745","date_updated":"2023-09-27T12:28:12Z","abstract":[{"text":"Fluid flows in nature and applications are frequently subject to periodic velocity modulations. Surprisingly, even for the generic case of flow through a straight pipe, there is little consensus regarding the influence of pulsation on the transition threshold to turbulence: while most studies predict a monotonically increasing threshold with pulsation frequency (i.e. Womersley number, ), others observe a decreasing threshold for identical parameters and only observe an increasing threshold at low . In the present study we apply recent advances in the understanding of transition in steady shear flows to pulsating pipe flow. For moderate pulsation amplitudes we find that the first instability encountered is subcritical (i.e. requiring finite amplitude disturbances) and gives rise to localized patches of turbulence ('puffs') analogous to steady pipe flow. By monitoring the impact of pulsation on the lifetime of turbulence we map the onset of turbulence in parameter space. Transition in pulsatile flow can be separated into three regimes. At small Womersley numbers the dynamics is dominated by the decay turbulence suffers during the slower part of the cycle and hence transition is delayed significantly. As shown in this regime thresholds closely agree with estimates based on a quasi-steady flow assumption only taking puff decay rates into account. The transition point predicted in the zero limit equals to the critical point for steady pipe flow offset by the oscillation Reynolds number (i.e. the dimensionless oscillation amplitude). In the high frequency limit on the other hand, puff lifetimes are identical to those in steady pipe flow and hence the transition threshold appears to be unaffected by flow pulsation. In the intermediate frequency regime the transition threshold sharply drops (with increasing ) from the decay dominated (quasi-steady) threshold to the steady pipe flow level.","lang":"eng"}],"year":"2017","month":"11","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["00221120"]},"oa_version":"Submitted Version","date_published":"2017-11-25T00:00:00Z","publication_status":"published","doi":"10.1017/jfm.2017.620","citation":{"mla":"Xu, Duo, et al. “Transition to Turbulence in Pulsating Pipe Flow.” <i>Journal of Fluid Mechanics</i>, vol. 831, Cambridge University Press, 2017, pp. 418–32, doi:<a href=\"https://doi.org/10.1017/jfm.2017.620\">10.1017/jfm.2017.620</a>.","ista":"Xu D, Warnecke S, Song B, Ma X, Hof B. 2017. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 831, 418–432.","apa":"Xu, D., Warnecke, S., Song, B., Ma, X., &#38; Hof, B. (2017). Transition to turbulence in pulsating pipe flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2017.620\">https://doi.org/10.1017/jfm.2017.620</a>","chicago":"Xu, Duo, Sascha Warnecke, Baofang Song, Xingyu Ma, and Björn Hof. “Transition to Turbulence in Pulsating Pipe Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2017. <a href=\"https://doi.org/10.1017/jfm.2017.620\">https://doi.org/10.1017/jfm.2017.620</a>.","short":"D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.","ama":"Xu D, Warnecke S, Song B, Ma X, Hof B. Transition to turbulence in pulsating pipe flow. <i>Journal of Fluid Mechanics</i>. 2017;831:418-432. doi:<a href=\"https://doi.org/10.1017/jfm.2017.620\">10.1017/jfm.2017.620</a>","ieee":"D. Xu, S. Warnecke, B. Song, X. Ma, and B. Hof, “Transition to turbulence in pulsating pipe flow,” <i>Journal of Fluid Mechanics</i>, vol. 831. Cambridge University Press, pp. 418–432, 2017."},"intvolume":"       831","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1709.03738","open_access":"1"}],"project":[{"grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Decoding the complexity of turbulence at its origin"}],"author":[{"first_name":"Duo","id":"3454D55E-F248-11E8-B48F-1D18A9856A87","last_name":"Xu","full_name":"Xu, Duo"},{"full_name":"Warnecke, Sascha","last_name":"Warnecke","first_name":"Sascha"},{"full_name":"Song, Baofang","first_name":"Baofang","last_name":"Song"},{"last_name":"Ma","id":"34BADBA6-F248-11E8-B48F-1D18A9856A87","first_name":"Xingyu","orcid":"0000-0002-0179-9737","full_name":"Ma, Xingyu"},{"last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn"}],"isi":1,"day":"25","publisher":"Cambridge University Press","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Transition to turbulence in pulsating pipe flow","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"BjHo"}],"page":"418 - 432","date_created":"2018-12-11T11:48:17Z","publication":"Journal of Fluid Mechanics","external_id":{"isi":["000412934800005"]},"volume":831,"quality_controlled":"1","publist_id":"6922","article_processing_charge":"No"},{"month":"12","status":"public","oa":1,"publication_identifier":{"issn":["20411723"]},"article_number":"1103","_id":"746","issue":"1","abstract":[{"text":"Metabotropic glutamate receptor subtype 5 (mGluR5) is crucially implicated in the pathophysiology of Fragile X Syndrome (FXS); however, its dysfunction at the sub-cellular level, and related synaptic and cognitive phenotypes are unexplored. Here, we probed the consequences of mGluR5/Homer scaffold disruption for mGluR5 cell-surface mobility, synaptic N-methyl-D-Aspartate receptor (NMDAR) function, and behavioral phenotypes in the second-generation Fmr1 knockout (KO) mouse. Using single-molecule tracking, we found that mGluR5 was significantly more mobile at synapses in hippocampal Fmr1 KO neurons, causing an increased synaptic surface co-clustering of mGluR5 and NMDAR. This correlated with a reduced amplitude of synaptic NMDAR currents, a lack of their mGluR5-Activated long-Term depression, and NMDAR/hippocampus dependent cognitive deficits. These synaptic and behavioral phenomena were reversed by knocking down Homer1a in Fmr1 KO mice. Our study provides a mechanistic link between changes of mGluR5 dynamics and pathological phenotypes of FXS, unveiling novel targets for mGluR5-based therapeutics.","lang":"eng"}],"date_updated":"2023-09-27T12:27:30Z","year":"2017","citation":{"chicago":"Aloisi, Elisabetta, Katy Le Corf, Julien Dupuis, Pei Zhang, Melanie Ginger, Virginie Labrousse, Michela Spatuzza, et al. “Altered Surface MGluR5 Dynamics Provoke Synaptic NMDAR Dysfunction and Cognitive Defects in Fmr1 Knockout Mice.” <i>Nature Communications</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/s41467-017-01191-2\">https://doi.org/10.1038/s41467-017-01191-2</a>.","ista":"Aloisi E, Le Corf K, Dupuis J, Zhang P, Ginger M, Labrousse V, Spatuzza M, Georg Haberl M, Costa L, Shigemoto R, Tappe Theodor A, Drago F, Vincenzo Piazza P, Mulle C, Groc L, Ciranna L, Catania M, Frick A. 2017. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 8(1), 1103.","mla":"Aloisi, Elisabetta, et al. “Altered Surface MGluR5 Dynamics Provoke Synaptic NMDAR Dysfunction and Cognitive Defects in Fmr1 Knockout Mice.” <i>Nature Communications</i>, vol. 8, no. 1, 1103, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/s41467-017-01191-2\">10.1038/s41467-017-01191-2</a>.","apa":"Aloisi, E., Le Corf, K., Dupuis, J., Zhang, P., Ginger, M., Labrousse, V., … Frick, A. (2017). Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41467-017-01191-2\">https://doi.org/10.1038/s41467-017-01191-2</a>","ama":"Aloisi E, Le Corf K, Dupuis J, et al. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. <i>Nature Communications</i>. 2017;8(1). doi:<a href=\"https://doi.org/10.1038/s41467-017-01191-2\">10.1038/s41467-017-01191-2</a>","ieee":"E. Aloisi <i>et al.</i>, “Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice,” <i>Nature Communications</i>, vol. 8, no. 1. Nature Publishing Group, 2017.","short":"E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017)."},"intvolume":"         8","file_date_updated":"2020-07-14T12:47:58Z","scopus_import":"1","ddc":["571"],"oa_version":"Published Version","date_published":"2017-12-01T00:00:00Z","doi":"10.1038/s41467-017-01191-2","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Nature Publishing Group","title":"Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice","author":[{"full_name":"Aloisi, Elisabetta","first_name":"Elisabetta","last_name":"Aloisi"},{"last_name":"Le Corf","first_name":"Katy","full_name":"Le Corf, Katy"},{"first_name":"Julien","last_name":"Dupuis","full_name":"Dupuis, Julien"},{"last_name":"Zhang","first_name":"Pei","full_name":"Zhang, Pei"},{"full_name":"Ginger, Melanie","first_name":"Melanie","last_name":"Ginger"},{"last_name":"Labrousse","first_name":"Virginie","full_name":"Labrousse, Virginie"},{"full_name":"Spatuzza, Michela","last_name":"Spatuzza","first_name":"Michela"},{"full_name":"Georg Haberl, Matthias","first_name":"Matthias","last_name":"Georg Haberl"},{"first_name":"Lara","last_name":"Costa","full_name":"Costa, Lara"},{"first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi"},{"full_name":"Tappe Theodor, Anke","last_name":"Tappe Theodor","first_name":"Anke"},{"last_name":"Drago","first_name":"Fillippo","full_name":"Drago, Fillippo"},{"full_name":"Vincenzo Piazza, Pier","last_name":"Vincenzo Piazza","first_name":"Pier"},{"last_name":"Mulle","first_name":"Christophe","full_name":"Mulle, Christophe"},{"last_name":"Groc","first_name":"Laurent","full_name":"Groc, Laurent"},{"full_name":"Ciranna, Lucia","last_name":"Ciranna","first_name":"Lucia"},{"full_name":"Catania, Maria","last_name":"Catania","first_name":"Maria"},{"first_name":"Andreas","last_name":"Frick","full_name":"Frick, Andreas"}],"isi":1,"file":[{"relation":"main_file","content_type":"application/pdf","file_size":1841650,"file_id":"5287","creator":"system","checksum":"99ceee57549dc0461e3adfc037ec70a9","access_level":"open_access","file_name":"IST-2017-915-v1+1_s41467-017-01191-2.pdf","date_updated":"2020-07-14T12:47:58Z","date_created":"2018-12-12T10:17:32Z"}],"day":"01","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","volume":8,"external_id":{"isi":["000413571300004"]},"pubrep_id":"915","article_processing_charge":"No","publist_id":"6921","type":"journal_article","department":[{"_id":"RySh"}],"language":[{"iso":"eng"}],"has_accepted_license":"1","publication":"Nature Communications","date_created":"2018-12-11T11:48:17Z"},{"scopus_import":"1","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5798458","open_access":"1"}],"intvolume":"       365","citation":{"ama":"Brǎiloiu E, Mcguire M, Shuler S, et al. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. <i>Neuroscience</i>. 2017;365:23-32. doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2017.09.034\">10.1016/j.neuroscience.2017.09.034</a>","ieee":"E. Brǎiloiu <i>et al.</i>, “Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus,” <i>Neuroscience</i>, vol. 365. Elsevier, pp. 23–32, 2017.","short":"E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.","chicago":"Brǎiloiu, Eugen, Matthew Mcguire, Shadaria Shuler, Elena Deliu, Jeffrey Barr, Mary Abood, and Gabriela Brailoiu. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” <i>Neuroscience</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.neuroscience.2017.09.034\">https://doi.org/10.1016/j.neuroscience.2017.09.034</a>.","apa":"Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., &#38; Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. <i>Neuroscience</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuroscience.2017.09.034\">https://doi.org/10.1016/j.neuroscience.2017.09.034</a>","mla":"Brǎiloiu, Eugen, et al. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” <i>Neuroscience</i>, vol. 365, Elsevier, 2017, pp. 23–32, doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2017.09.034\">10.1016/j.neuroscience.2017.09.034</a>.","ista":"Brǎiloiu E, Mcguire M, Shuler S, Deliu E, Barr J, Abood M, Brailoiu G. 2017. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 365, 23–32."},"doi":"10.1016/j.neuroscience.2017.09.034","publication_status":"published","oa_version":"Submitted Version","date_published":"2017-12-04T00:00:00Z","status":"public","oa":1,"publication_identifier":{"issn":["03064522"]},"month":"12","abstract":[{"lang":"eng","text":"Bradykinin (BK), a component of the kallikrein-kininogen-kinin system exerts multiple effects via B1 and B2 receptor activation. In the cardiovascular system, bradykinin has cardioprotective and vasodilator properties. We investigated the effect of BK on cardiac-projecting neurons of nucleus ambiguus, a key site for the parasympathetic cardiac regulation. BK produced a dose-dependent increase in cytosolic Ca2+ concentration. Pretreatment with HOE140, a B2 receptor antagonist, but not with R715, a B1 receptor antagonist, abolished the response to BK. A selective B2 receptor agonist, but not a B1 receptor agonist, elicited an increase in cytosolic Ca2+ similarly to BK. Inhibition of N-type voltage-gated Ca2+ channels with ω-conotoxin GVIA had no effect on the Ca2+ signal produced by BK, while pretreatment with ω-conotoxin MVIIC, a blocker of P/Q-type of Ca2+ channels, significantly diminished the effect of BK. Pretreatment with xestospongin C and 2-aminoethoxydiphenyl borate, antagonists of inositol 1,4,5-trisphosphate receptors, abolished the response to BK. Inhibition of ryanodine receptors reduced the BK-induced Ca2+ increase, while disruption of lysosomal Ca2+ stores with bafilomycin A1 did not affect the response. BK produced a dose-dependent depolarization of nucleus ambiguus neurons, which was prevented by the B2 receptor antagonist. In vivo studies indicate that microinjection of BK into nucleus ambiguus elicited bradycardia in conscious rats via B2 receptors. In summary, in cardiac vagal neurons of nucleus ambiguus, BK activates B2 receptors promoting Ca2+ influx and Ca2+ release from endoplasmic reticulum, and membrane depolarization; these effects are translated in vivo by bradycardia."}],"date_updated":"2023-09-27T12:26:59Z","year":"2017","_id":"747","article_type":"original","article_processing_charge":"No","publist_id":"6911","volume":365,"quality_controlled":"1","external_id":{"pmid":["28951324"],"isi":["000415966200003"]},"publication":"Neuroscience","date_created":"2018-12-11T11:48:17Z","page":"23 - 32","type":"journal_article","department":[{"_id":"GaNo"}],"language":[{"iso":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Elsevier","title":"Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus","pmid":1,"day":"04","isi":1,"author":[{"last_name":"Brǎiloiu","first_name":"Eugen","full_name":"Brǎiloiu, Eugen"},{"last_name":"Mcguire","first_name":"Matthew","full_name":"Mcguire, Matthew"},{"last_name":"Shuler","first_name":"Shadaria","full_name":"Shuler, Shadaria"},{"full_name":"Deliu, Elena","id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","last_name":"Deliu","first_name":"Elena","orcid":"0000-0002-7370-5293"},{"first_name":"Jeffrey","last_name":"Barr","full_name":"Barr, Jeffrey"},{"first_name":"Mary","last_name":"Abood","full_name":"Abood, Mary"},{"full_name":"Brailoiu, Gabriela","first_name":"Gabriela","last_name":"Brailoiu"}]},{"ec_funded":1,"month":"11","publication_identifier":{"issn":["22111247"]},"oa":1,"status":"public","_id":"749","acknowledged_ssus":[{"_id":"PreCl"}],"year":"2017","date_updated":"2023-09-27T12:26:04Z","abstract":[{"text":"Synaptotagmin 7 (Syt7) is thought to be a Ca2+ sensor that mediates asynchronous transmitter release and facilitation at synapses. However, Syt7 is strongly expressed in fast-spiking, parvalbumin-expressing GABAergic interneurons, and the output synapses of these neurons produce only minimal asynchronous release and show depression rather than facilitation. To resolve this apparent contradiction, we examined the effects of genetic elimination of Syt7 on synaptic transmission at the GABAergic basket cell (BC)-Purkinje cell (PC) synapse in cerebellum. Our results indicate that at the BC-PC synapse, Syt7 contributes to asynchronous release, pool replenishment, and facilitation. In combination, these three effects ensure efficient transmitter release during high-frequency activity and guarantee frequency independence of inhibition. Our results identify a distinct function of Syt7: ensuring the efficiency of high-frequency inhibitory synaptic transmission","lang":"eng"}],"issue":"8","intvolume":"        21","citation":{"ieee":"C. Chen, R. Satterfield, S. Young, and P. M. Jonas, “Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses,” <i>Cell Reports</i>, vol. 21, no. 8. Cell Press, pp. 2082–2089, 2017.","ama":"Chen C, Satterfield R, Young S, Jonas PM. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. <i>Cell Reports</i>. 2017;21(8):2082-2089. doi:<a href=\"https://doi.org/10.1016/j.celrep.2017.10.122\">10.1016/j.celrep.2017.10.122</a>","short":"C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.","mla":"Chen, Chong, et al. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” <i>Cell Reports</i>, vol. 21, no. 8, Cell Press, 2017, pp. 2082–89, doi:<a href=\"https://doi.org/10.1016/j.celrep.2017.10.122\">10.1016/j.celrep.2017.10.122</a>.","ista":"Chen C, Satterfield R, Young S, Jonas PM. 2017. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 21(8), 2082–2089.","apa":"Chen, C., Satterfield, R., Young, S., &#38; Jonas, P. M. (2017). Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. <i>Cell Reports</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.celrep.2017.10.122\">https://doi.org/10.1016/j.celrep.2017.10.122</a>","chicago":"Chen, Chong, Rachel Satterfield, Samuel Young, and Peter M Jonas. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” <i>Cell Reports</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.celrep.2017.10.122\">https://doi.org/10.1016/j.celrep.2017.10.122</a>."},"ddc":["570","571"],"file_date_updated":"2020-07-14T12:47:59Z","scopus_import":"1","date_published":"2017-11-21T00:00:00Z","oa_version":"Published Version","publication_status":"published","doi":"10.1016/j.celrep.2017.10.122","title":"Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses","publisher":"Cell Press","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"access_level":"open_access","file_id":"4737","creator":"system","checksum":"a6afa3764909bf6edafa07982d8e1cee","date_created":"2018-12-12T10:09:14Z","date_updated":"2020-07-14T12:47:59Z","file_name":"IST-2017-874-v1+1_PIIS2211124717316029.pdf","file_size":2759195,"relation":"main_file","content_type":"application/pdf"}],"project":[{"call_identifier":"FWF","name":"Mechanisms of transmitter release at GABAergic synapses","grant_number":"P24909-B24","_id":"25C26B1E-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","name":"Biophysics and circuit function of a giant cortical glumatergic synapse","grant_number":"692692","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Chen, Chong","last_name":"Chen","id":"3DFD581A-F248-11E8-B48F-1D18A9856A87","first_name":"Chong"},{"full_name":"Satterfield, Rachel","last_name":"Satterfield","first_name":"Rachel"},{"last_name":"Young","first_name":"Samuel","full_name":"Young, Samuel"},{"last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M"}],"isi":1,"day":"21","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"324"}]},"external_id":{"isi":["000416216700007"]},"volume":21,"quality_controlled":"1","publist_id":"6907","article_processing_charge":"No","pubrep_id":"874","language":[{"iso":"eng"}],"department":[{"_id":"PeJo"}],"type":"journal_article","page":"2082 - 2089","date_created":"2018-12-11T11:48:18Z","publication":"Cell Reports","has_accepted_license":"1"},{"scopus_import":1,"publist_id":"6906","quality_controlled":"1","citation":{"chicago":"Pielorz, Jasmin, Matthias Prandtstetter, Markus Straub, and Christoph Lampert. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” In <i>2017 IEEE International Conference on Big Data</i>, 3760–63. IEEE, 2017. <a href=\"https://doi.org/10.1109/BigData.2017.8258375\">https://doi.org/10.1109/BigData.2017.8258375</a>.","apa":"Pielorz, J., Prandtstetter, M., Straub, M., &#38; Lampert, C. (2017). Optimal geospatial volunteer allocation needs realistic distances. In <i>2017 IEEE International Conference on Big Data</i> (pp. 3760–3763). Boston, MA, United States: IEEE. <a href=\"https://doi.org/10.1109/BigData.2017.8258375\">https://doi.org/10.1109/BigData.2017.8258375</a>","mla":"Pielorz, Jasmin, et al. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” <i>2017 IEEE International Conference on Big Data</i>, IEEE, 2017, pp. 3760–63, doi:<a href=\"https://doi.org/10.1109/BigData.2017.8258375\">10.1109/BigData.2017.8258375</a>.","ista":"Pielorz J, Prandtstetter M, Straub M, Lampert C. 2017. Optimal geospatial volunteer allocation needs realistic distances. 2017 IEEE International Conference on Big Data. Big Data, 3760–3763.","short":"J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.","ieee":"J. Pielorz, M. Prandtstetter, M. Straub, and C. Lampert, “Optimal geospatial volunteer allocation needs realistic distances,” in <i>2017 IEEE International Conference on Big Data</i>, Boston, MA, United States, 2017, pp. 3760–3763.","ama":"Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: <i>2017 IEEE International Conference on Big Data</i>. IEEE; 2017:3760-3763. doi:<a href=\"https://doi.org/10.1109/BigData.2017.8258375\">10.1109/BigData.2017.8258375</a>"},"publication_status":"published","conference":{"location":"Boston, MA, United States","end_date":"2017-12-14","name":"Big Data","start_date":"2017-12-11"},"doi":"10.1109/BigData.2017.8258375","page":"3760 - 3763","date_created":"2018-12-11T11:48:18Z","publication":"2017 IEEE International Conference on Big Data","type":"conference","oa_version":"None","language":[{"iso":"eng"}],"date_published":"2017-12-01T00:00:00Z","department":[{"_id":"ChLa"}],"publisher":"IEEE","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Optimal geospatial volunteer allocation needs realistic distances","publication_identifier":{"isbn":["978-153862714-3"]},"month":"12","date_updated":"2021-01-12T08:13:55Z","abstract":[{"text":"Modern communication technologies allow first responders to contact thousands of potential volunteers simultaneously for support during a crisis or disaster event. However, such volunteer efforts must be well coordinated and monitored, in order to offer an effective relief to the professionals. In this paper we extend earlier work on optimally assigning volunteers to selected landmark locations. In particular, we emphasize the aspect that obtaining good assignments requires not only advanced computational tools, but also a realistic measure of distance between volunteers and landmarks. Specifically, we propose the use of the Open Street Map (OSM) driving distance instead of he previously used flight distance. We find the OSM driving distance to be better aligned with the interests of volunteers and first responders. Furthermore, we show that relying on the flying distance leads to a substantial underestimation of the number of required volunteers, causing negative side effects in case of an actual crisis situation.","lang":"eng"}],"day":"01","year":"2017","author":[{"full_name":"Pielorz, Jasmin","id":"49BC895A-F248-11E8-B48F-1D18A9856A87","last_name":"Pielorz","first_name":"Jasmin"},{"last_name":"Prandtstetter","first_name":"Matthias","full_name":"Prandtstetter, Matthias"},{"full_name":"Straub, Markus","last_name":"Straub","first_name":"Markus"},{"full_name":"Lampert, Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","orcid":"0000-0001-8622-7887"}],"_id":"750"},{"_id":"751","year":"2017","date_updated":"2023-09-27T12:25:31Z","issue":"22","abstract":[{"lang":"eng","text":"The basement membrane (BM) is a thin layer of extracellular matrix (ECM) beneath nearly all epithelial cell types that is critical for cellular and tissue function. It is composed of numerous components conserved among all bilaterians [1]; however, it is unknown how all of these components are generated and subsequently constructed to form a fully mature BM in the living animal. Although BM formation is thought to simply involve a process of self-assembly [2], this concept suffers from a number of logistical issues when considering its construction in vivo. First, incorporation of BM components appears to be hierarchical [3-5], yet it is unclear whether their production during embryogenesis must also be regulated in a temporal fashion. Second, many BM proteins are produced not only by the cells residing on the BM but also by surrounding cell types [6-9], and it is unclear how large, possibly insoluble protein complexes [10] are delivered into the matrix. Here we exploit our ability to live image and genetically dissect de novo BM formation during Drosophila development. This reveals that there is a temporal hierarchy of BM protein production that is essential for proper component incorporation. Furthermore, we show that BM components require secretion by migrating macrophages (hemocytes) during their developmental dispersal, which is critical for embryogenesis. Indeed, hemocyte migration is essential to deliver a subset of ECM components evenly throughout the embryo. This reveals that de novo BM construction requires a combination of both production and distribution logistics allowing for the timely delivery of core components."}],"month":"11","publication_identifier":{"issn":["09609822"]},"oa":1,"status":"public","date_published":"2017-11-09T00:00:00Z","oa_version":"Published Version","publication_status":"published","doi":"10.1016/j.cub.2017.10.001","citation":{"ieee":"Y. Matsubayashi <i>et al.</i>, “A moving source of matrix components is essential for De Novo basement membrane formation,” <i>Current Biology</i>, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.","ama":"Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. 2017;27(22):3526-3534e.4. doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>","short":"Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.","chicago":"Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>.","apa":"Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>","ista":"Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.","mla":"Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>."},"intvolume":"        27","ddc":["570","576"],"file_date_updated":"2020-07-14T12:47:59Z","scopus_import":"1","file":[{"file_name":"IST-2017-875-v1+1_1-s2.0-S0960982217312691-main.pdf","date_updated":"2020-07-14T12:47:59Z","date_created":"2018-12-12T10:09:45Z","creator":"system","file_id":"4770","checksum":"264cf6c6c3551486ba5ea786850e000a","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_size":4770657}],"author":[{"full_name":"Matsubayashi, Yutaka","last_name":"Matsubayashi","first_name":"Yutaka"},{"first_name":"Adam","last_name":"Louani","full_name":"Louani, Adam"},{"full_name":"Dragu, Anca","last_name":"Dragu","first_name":"Anca"},{"last_name":"Sanchez Sanchez","first_name":"Besaiz","full_name":"Sanchez Sanchez, Besaiz"},{"full_name":"Serna Morales, Eduardo","first_name":"Eduardo","last_name":"Serna Morales"},{"last_name":"Yolland","first_name":"Lawrence","full_name":"Yolland, Lawrence"},{"full_name":"György, Attila","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87","last_name":"György","orcid":"0000-0002-1819-198X","first_name":"Attila"},{"first_name":"Gema","last_name":"Vizcay","full_name":"Vizcay, Gema"},{"full_name":"Fleck, Roland","first_name":"Roland","last_name":"Fleck"},{"last_name":"Heddleston","first_name":"John","full_name":"Heddleston, John"},{"full_name":"Chew, Teng","last_name":"Chew","first_name":"Teng"},{"full_name":"Siekhaus, Daria E","last_name":"Siekhaus","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","first_name":"Daria E","orcid":"0000-0001-8323-8353"},{"full_name":"Stramer, Brian","first_name":"Brian","last_name":"Stramer"}],"isi":1,"day":"09","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"A moving source of matrix components is essential for De Novo basement membrane formation","publisher":"Cell Press","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","language":[{"iso":"eng"}],"department":[{"_id":"DaSi"}],"type":"journal_article","date_created":"2018-12-11T11:48:18Z","page":"3526 - 3534e.4","publication":"Current Biology","has_accepted_license":"1","external_id":{"isi":["000415815800031"]},"quality_controlled":"1","volume":27,"publist_id":"6905","article_processing_charge":"No","pubrep_id":"875"},{"license":"https://creativecommons.org/licenses/by-nd/4.0/","title":"Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern","publisher":"Verlag Dr. Friedrich Pfeil","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_size":1711131,"content_type":"application/pdf","relation":"main_file","date_created":"2018-12-12T10:15:52Z","file_name":"IST-2018-962-v1+1_044676698_07_Cremer__Invasive_Ameisen_in_Europa_...__BY-ND_.pdf","date_updated":"2020-07-14T12:46:32Z","access_level":"open_access","creator":"system","file_id":"5175","checksum":"4919baf9050415ca151fe22497379f78"}],"author":[{"orcid":"0000-0002-2193-3868","first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia"}],"day":"04","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png","short":"CC BY-ND (4.0)"},"volume":46,"quality_controlled":"1","publist_id":"7362","pubrep_id":"962","article_processing_charge":"No","language":[{"iso":"eng"}],"department":[{"_id":"SyCr"}],"type":"journal_article","page":"105 - 116","date_created":"2018-12-11T11:46:35Z","publication":"Rundgespräche Forum Ökologie","has_accepted_license":"1","month":"04","oa":1,"publication_identifier":{"issn":["2366-2875"]},"status":"public","_id":"459","year":"2017","date_updated":"2023-10-17T12:28:13Z","abstract":[{"lang":"eng","text":"The social insects bees, wasps, ants, and termites are species-rich, occur in many habitats, and often constitute a large part of the biomass. Many are also invasive, including species of termites, the red imported fire ant, and the Argentine ant. While invasive social insects have been a problem in Southern Europe for some time, Central Europa was free of invasive ant species until recently because most ants are adapted to warmer climates. Only in the 1990s, did Lasius neglectus, a close relative of the common black garden ant, arrive in Germany. First described in 1990 based on individuals collected in Budapest, the species has since been detected for example in France, Germany, Spain, England, and Kyrgyzstan. The species is spread with soil during construction work or plantings, and L. neglectus therefore is often found in parks and botanical gardens. Another invasive ant now spreading in southern Germany is Formica fuscocinerea, which occurs along rivers, including in the sandy floodplains of the river Isar. As is typical of pioneer species, F. fuscocinerea quickly becomes extremely abundant and therefore causes problems for example on playgrounds in Munich. All invasive ant species are characterized by cooperation across nests, leading to strongly interconnected, very large super-colonies. The resulting dominance results in the extinction of native ant species as well as other arthropod species and thus in the reduction of biodiversity."}],"citation":{"short":"S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.","ama":"Cremer S. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. <i>Rundgespräche Forum Ökologie</i>. 2017;46:105-116.","ieee":"S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” <i>Rundgespräche Forum Ökologie</i>, vol. 46. Verlag Dr. Friedrich Pfeil, pp. 105–116, 2017.","ista":"Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.","mla":"Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” <i>Rundgespräche Forum Ökologie</i>, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.","apa":"Cremer, S. (2017). Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. <i>Rundgespräche Forum Ökologie</i>. Verlag Dr. Friedrich Pfeil.","chicago":"Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” <i>Rundgespräche Forum Ökologie</i>. Verlag Dr. Friedrich Pfeil, 2017."},"intvolume":"        46","ddc":["592"],"file_date_updated":"2020-07-14T12:46:32Z","date_published":"2017-04-04T00:00:00Z","oa_version":"Published Version","publication_status":"published"},{"doi":"10.1063/1.5002771","publication_status":"published","oa_version":"Published Version","date_published":"2017-11-01T00:00:00Z","file_date_updated":"2020-07-14T12:46:32Z","scopus_import":"1","ddc":["530"],"intvolume":"        27","citation":{"short":"S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).","ieee":"S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” <i>Chaos</i>, vol. 27, no. 11. AIP Publishing, 2017.","ama":"Altmeyer S, Do Y, Ryu S. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. <i>Chaos</i>. 2017;27(11). doi:<a href=\"https://doi.org/10.1063/1.5002771\">10.1063/1.5002771</a>","apa":"Altmeyer, S., Do, Y., &#38; Ryu, S. (2017). Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. <i>Chaos</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.5002771\">https://doi.org/10.1063/1.5002771</a>","mla":"Altmeyer, Sebastian, et al. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” <i>Chaos</i>, vol. 27, no. 11, 113112, AIP Publishing, 2017, doi:<a href=\"https://doi.org/10.1063/1.5002771\">10.1063/1.5002771</a>.","ista":"Altmeyer S, Do Y, Ryu S. 2017. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 27(11), 113112.","chicago":"Altmeyer, Sebastian, Younghae Do, and Soorok Ryu. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” <i>Chaos</i>. AIP Publishing, 2017. <a href=\"https://doi.org/10.1063/1.5002771\">https://doi.org/10.1063/1.5002771</a>."},"issue":"11","abstract":[{"lang":"eng","text":"We investigate transient behaviors induced by magnetic fields on the dynamics of the flow of a ferrofluid in the gap between two concentric, independently rotating cylinders. Without applying any magnetic fields, we uncover emergence of flow states constituted by a combination of a localized spiral state (SPIl) in the top and bottom of the annulus and different multi-cell flow states (SPI2v, SPI3v) with toroidally closed vortices in the interior of the bulk (SPIl+2v = SPIl + SPI2v and SPIl+3v = SPIl + SPI3v). However, when a magnetic field is presented, we observe the transient behaviors between multi-cell states passing through two critical thresholds in a strength of an axial (transverse) magnetic field. Before the first critical threshold of a magnetic field strength, multi-stable states with different number of cells could be observed. After the first critical threshold, we find the transient behavior between the three- and two-cell flow states. For more strength of magnetic field or after the second critical threshold, we discover that multi-cell states are disappeared and a localized spiral state remains to be stimulated. The studied transient behavior could be understood by the investigation of various quantities including a modal kinetic energy, a mode amplitude of the radial velocity, wavenumber, angular momentum, and torque. In addition, the emergence of new flow states and the transient behavior between their states in ferrofluidic flows indicate that richer and potentially controllable dynamics through magnetic fields could be possible in ferrofluic flow."}],"date_updated":"2024-02-28T13:02:12Z","year":"2017","article_number":"113112","_id":"463","status":"public","publication_identifier":{"issn":["10541500"]},"oa":1,"month":"11","has_accepted_license":"1","publication":"Chaos","date_created":"2018-12-11T11:46:37Z","type":"journal_article","department":[{"_id":"BjHo"}],"language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","publist_id":"7358","quality_controlled":"1","volume":27,"day":"01","author":[{"full_name":"Altmeyer, Sebastian","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87","last_name":"Altmeyer","orcid":"0000-0001-5964-0203","first_name":"Sebastian"},{"full_name":"Do, Younghae","last_name":"Do","first_name":"Younghae"},{"first_name":"Soorok","last_name":"Ryu","full_name":"Ryu, Soorok"}],"file":[{"file_size":7714020,"content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_id":"6970","creator":"dernst","checksum":"0731f9d416760c1062db258ca51f8bdc","date_created":"2019-10-24T15:14:30Z","date_updated":"2020-07-14T12:46:32Z","file_name":"2017_Chaos_Altmeyer.pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"AIP Publishing","title":"Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow"},{"type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"has_accepted_license":"1","date_created":"2018-12-11T11:46:37Z","publication":"Logical Methods in Computer Science","external_id":{"arxiv":["1410.0833"]},"quality_controlled":"1","volume":13,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"1661"}]},"publist_id":"7357","article_processing_charge":"No","pubrep_id":"956","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"},{"name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"}],"author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","orcid":"0000-0002-5008-6530","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"full_name":"Loitzenbauer, Veronika","last_name":"Loitzenbauer","first_name":"Veronika"}],"file":[{"relation":"main_file","content_type":"application/pdf","file_size":582940,"file_id":"5010","creator":"system","checksum":"12d469ae69b80361333d7dead965cf5d","access_level":"open_access","file_name":"IST-2018-956-v1+1_2017_Chatterjee_Improved_algorithms.pdf","date_updated":"2020-07-14T12:46:32Z","date_created":"2018-12-12T10:13:27Z"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png","short":"CC BY-ND (4.0)"},"day":"26","publisher":"International Federation of Computational Logic","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Improved algorithms for parity and Streett objectives","oa_version":"Published Version","date_published":"2017-09-26T00:00:00Z","publication_status":"published","doi":"10.23638/LMCS-13(3:26)2017","citation":{"apa":"Chatterjee, K., Henzinger, M. H., &#38; Loitzenbauer, V. (2017). Improved algorithms for parity and Streett objectives. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.23638/LMCS-13(3:26)2017\">https://doi.org/10.23638/LMCS-13(3:26)2017</a>","mla":"Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” <i>Logical Methods in Computer Science</i>, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:<a href=\"https://doi.org/10.23638/LMCS-13(3:26)2017\">10.23638/LMCS-13(3:26)2017</a>.","ista":"Chatterjee K, Henzinger MH, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2017. <a href=\"https://doi.org/10.23638/LMCS-13(3:26)2017\">https://doi.org/10.23638/LMCS-13(3:26)2017</a>.","short":"K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).","ama":"Chatterjee K, Henzinger MH, Loitzenbauer V. Improved algorithms for parity and Streett objectives. <i>Logical Methods in Computer Science</i>. 2017;13(3). doi:<a href=\"https://doi.org/10.23638/LMCS-13(3:26)2017\">10.23638/LMCS-13(3:26)2017</a>","ieee":"K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” <i>Logical Methods in Computer Science</i>, vol. 13, no. 3. International Federation of Computational Logic, 2017."},"intvolume":"        13","scopus_import":"1","file_date_updated":"2020-07-14T12:46:32Z","ddc":["004"],"article_number":"26","_id":"464","date_updated":"2025-06-02T08:53:41Z","issue":"3","arxiv":1,"abstract":[{"text":"The computation of the winning set for parity objectives and for Streett objectives in graphs as well as in game graphs are central problems in computer-aided verification, with application to the verification of closed systems with strong fairness conditions, the verification of open systems, checking interface compatibility, well-formedness of specifications, and the synthesis of reactive systems. We show how to compute the winning set on n vertices for (1) parity-3 (aka one-pair Streett) objectives in game graphs in time O(n5/2) and for (2) k-pair Streett objectives in graphs in time O(n2+nklogn). For both problems this gives faster algorithms for dense graphs and represents the first improvement in asymptotic running time in 15 years.","lang":"eng"}],"year":"2017","month":"09","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["1860-5974"]}},{"doi":"10.23638/LMCS-13(3:23)2017","publication_status":"published","oa_version":"Published Version","date_published":"2017-09-13T00:00:00Z","file_date_updated":"2020-07-14T12:46:33Z","scopus_import":1,"ddc":["004"],"citation":{"chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2017. <a href=\"https://doi.org/10.23638/LMCS-13(3:23)2017\">https://doi.org/10.23638/LMCS-13(3:23)2017</a>.","apa":"Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &#38; Otop, J. (2017). Edit distance for pushdown automata. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.23638/LMCS-13(3:23)2017\">https://doi.org/10.23638/LMCS-13(3:23)2017</a>","mla":"Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” <i>Logical Methods in Computer Science</i>, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:<a href=\"https://doi.org/10.23638/LMCS-13(3:23)2017\">10.23638/LMCS-13(3:23)2017</a>.","ista":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).","ieee":"K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” <i>Logical Methods in Computer Science</i>, vol. 13, no. 3. International Federation of Computational Logic, 2017.","ama":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. <i>Logical Methods in Computer Science</i>. 2017;13(3). doi:<a href=\"https://doi.org/10.23638/LMCS-13(3:23)2017\">10.23638/LMCS-13(3:23)2017</a>","short":"K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017)."},"intvolume":"        13","issue":"3","abstract":[{"lang":"eng","text":"The edit distance between two words w 1 , w 2 is the minimal number of word operations (letter insertions, deletions, and substitutions) necessary to transform w 1 to w 2 . The edit distance generalizes to languages L 1 , L 2 , where the edit distance from L 1 to L 2 is the minimal number k such that for every word from L 1 there exists a word in L 2 with edit distance at most k . We study the edit distance computation problem between pushdown automata and their subclasses. The problem of computing edit distance to a pushdown automaton is undecidable, and in practice, the interesting question is to compute the edit distance from a pushdown automaton (the implementation, a standard model for programs with recursion) to a regular language (the specification). In this work, we present a complete picture of decidability and complexity for the following problems: (1) deciding whether, for a given threshold k , the edit distance from a pushdown automaton to a finite automaton is at most k , and (2) deciding whether the edit distance from a pushdown automaton to a finite automaton is finite. "}],"date_updated":"2023-02-23T12:26:25Z","year":"2017","_id":"465","status":"public","oa":1,"publication_identifier":{"issn":["18605974"]},"month":"09","ec_funded":1,"has_accepted_license":"1","publication":"Logical Methods in Computer Science","date_created":"2018-12-11T11:46:37Z","type":"journal_article","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"language":[{"iso":"eng"}],"pubrep_id":"955","publist_id":"7356","volume":13,"quality_controlled":"1","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"1610"},{"status":"public","relation":"earlier_version","id":"5438"}]},"day":"13","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png","short":"CC BY-ND (4.0)"},"author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87","last_name":"Ibsen-Jensen","first_name":"Rasmus","orcid":"0000-0003-4783-0389"},{"full_name":"Otop, Jan","first_name":"Jan","last_name":"Otop"}],"project":[{"call_identifier":"FWF","name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407"}],"file":[{"relation":"main_file","content_type":"application/pdf","file_size":279071,"file_name":"IST-2015-321-v1+1_main.pdf","date_updated":"2020-07-14T12:46:33Z","date_created":"2018-12-12T10:14:37Z","creator":"system","file_id":"5090","checksum":"08041379ba408d40664f449eb5907a8f","access_level":"open_access"},{"date_created":"2018-12-12T10:14:38Z","file_name":"IST-2018-955-v1+1_2017_Chatterjee_Edit_distance.pdf","date_updated":"2020-07-14T12:46:33Z","access_level":"open_access","file_id":"5091","creator":"system","checksum":"08041379ba408d40664f449eb5907a8f","file_size":279071,"relation":"main_file","content_type":"application/pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"International Federation of Computational Logic","title":"Edit distance for pushdown automata"},{"publisher":"International Federation of Computational Logic","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Unifying two views on multiple mean-payoff objectives in Markov decision processes","project":[{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"grant_number":"701309","_id":"2590DB08-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (H2020)"}],"author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"last_name":"Křetínská","first_name":"Zuzana","full_name":"Křetínská, Zuzana"},{"full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","first_name":"Jan","last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"}],"file":[{"content_type":"application/pdf","relation":"main_file","file_size":511832,"file_name":"IST-2018-957-v1+1_2017_Chatterjee_Unifying_two.pdf","date_updated":"2020-07-14T12:46:33Z","date_created":"2018-12-12T10:18:32Z","creator":"system","checksum":"bfa405385ec6229ad5ead89ab5751639","file_id":"5354","access_level":"open_access"}],"day":"03","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png","short":"CC BY-ND (4.0)"},"quality_controlled":"1","volume":13,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"1657"},{"relation":"earlier_version","status":"public","id":"5429"},{"relation":"earlier_version","status":"public","id":"5435"}]},"publist_id":"7355","pubrep_id":"957","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"has_accepted_license":"1","date_created":"2018-12-11T11:46:38Z","publication":"Logical Methods in Computer Science","month":"07","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["18605974"]},"article_number":"15","_id":"466","date_updated":"2023-02-23T12:26:16Z","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector. We consider optimization with respect to both objectives at once, thus unifying the existing semantics. Precisely, the goal is to optimize the expectation while ensuring the satisfaction constraint. Our problem captures the notion of optimization with respect to strategies that are risk-averse (i.e., ensure certain probabilistic guarantee). Our main results are as follows: First, we present algorithms for the decision problems which are always polynomial in the size of the MDP. We also show that an approximation of the Pareto-curve can be computed in time polynomial in the size of the MDP, and the approximation factor, but exponential in the number of dimensions. Second, we present a complete characterization of the strategy complexity (in terms of memory bounds and randomization) required to solve our problem. "}],"issue":"2","year":"2017","citation":{"apa":"Chatterjee, K., Křetínská, Z., &#38; Kretinsky, J. (2017). Unifying two views on multiple mean-payoff objectives in Markov decision processes. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.23638/LMCS-13(2:15)2017\">https://doi.org/10.23638/LMCS-13(2:15)2017</a>","mla":"Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” <i>Logical Methods in Computer Science</i>, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:<a href=\"https://doi.org/10.23638/LMCS-13(2:15)2017\">10.23638/LMCS-13(2:15)2017</a>.","ista":"Chatterjee K, Křetínská Z, Kretinsky J. 2017. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 13(2), 15.","chicago":"Chatterjee, Krishnendu, Zuzana Křetínská, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2017. <a href=\"https://doi.org/10.23638/LMCS-13(2:15)2017\">https://doi.org/10.23638/LMCS-13(2:15)2017</a>.","short":"K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).","ama":"Chatterjee K, Křetínská Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. <i>Logical Methods in Computer Science</i>. 2017;13(2). doi:<a href=\"https://doi.org/10.23638/LMCS-13(2:15)2017\">10.23638/LMCS-13(2:15)2017</a>","ieee":"K. Chatterjee, Z. Křetínská, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes,” <i>Logical Methods in Computer Science</i>, vol. 13, no. 2. International Federation of Computational Logic, 2017."},"intvolume":"        13","file_date_updated":"2020-07-14T12:46:33Z","scopus_import":1,"ddc":["004"],"oa_version":"Published Version","date_published":"2017-07-03T00:00:00Z","publication_status":"published","doi":"10.23638/LMCS-13(2:15)2017"},{"status":"public","oa":1,"publication_identifier":{"issn":["15293785"]},"month":"12","ec_funded":1,"date_updated":"2023-02-23T12:26:19Z","abstract":[{"text":"Recently there has been a significant effort to handle quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide a natural and flexible framework to express quantitative properties, perhaps surprisingly, some basic system properties such as average response time cannot be expressed using weighted automata or in any other known decidable formalism. In this work, we introduce nested weighted automata as a natural extension of weighted automata, which makes it possible to express important quantitative properties such as average response time. In nested weighted automata, a master automaton spins off and collects results from weighted slave automata, each of which computes a quantity along a finite portion of an infinite word. Nested weighted automata can be viewed as the quantitative analogue of monitor automata, which are used in runtime verification. We establish an almost-complete decidability picture for the basic decision problems about nested weighted automata and illustrate their applicability in several domains. In particular, nested weighted automata can be used to decide average response time properties.","lang":"eng"}],"arxiv":1,"issue":"4","year":"2017","article_number":"31","_id":"467","main_file_link":[{"url":"https://arxiv.org/abs/1606.03598","open_access":"1"}],"scopus_import":1,"intvolume":"        18","citation":{"ista":"Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2017). Nested weighted automata. <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM. <a href=\"https://doi.org/10.1145/3152769\">https://doi.org/10.1145/3152769</a>","mla":"Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 18, no. 4, 31, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3152769\">10.1145/3152769</a>.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM, 2017. <a href=\"https://doi.org/10.1145/3152769\">https://doi.org/10.1145/3152769</a>.","ama":"Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. <i>ACM Transactions on Computational Logic (TOCL)</i>. 2017;18(4). doi:<a href=\"https://doi.org/10.1145/3152769\">10.1145/3152769</a>","ieee":"K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 18, no. 4. ACM, 2017.","short":"K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017)."},"publication_status":"published","doi":"10.1145/3152769","oa_version":"Preprint","date_published":"2017-12-01T00:00:00Z","publisher":"ACM","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Nested weighted automata","day":"01","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Otop, Jan","first_name":"Jan","last_name":"Otop","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"7354","external_id":{"arxiv":["1606.03598"]},"quality_controlled":"1","volume":18,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"1656"},{"id":"5415","relation":"earlier_version","status":"public"},{"status":"public","relation":"earlier_version","id":"5436"}]},"date_created":"2018-12-11T11:46:38Z","publication":"ACM Transactions on Computational Logic (TOCL)","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}]},{"title":"Water wave packets","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","day":"01","file":[{"access_level":"open_access","checksum":"82a3b2bfeee4ddef16ecc21675d1a48a","creator":"wojtan","file_id":"7359","date_created":"2020-01-24T09:32:35Z","file_name":"wavepackets_final.pdf","date_updated":"2020-07-14T12:46:34Z","file_size":13131683,"relation":"main_file","content_type":"application/pdf"}],"author":[{"last_name":"Jeschke","id":"44D6411A-F248-11E8-B48F-1D18A9856A87","first_name":"Stefan","full_name":"Jeschke, Stefan"},{"full_name":"Wojtan, Christopher J","orcid":"0000-0001-6646-5546","first_name":"Christopher J","last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"}],"project":[{"name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","call_identifier":"H2020","_id":"2533E772-B435-11E9-9278-68D0E5697425","grant_number":"638176"}],"article_type":"original","article_processing_charge":"Yes (in subscription journal)","publist_id":"7350","quality_controlled":"1","volume":36,"publication":"ACM Transactions on Graphics","date_created":"2018-12-11T11:46:39Z","has_accepted_license":"1","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"type":"journal_article","publication_identifier":{"issn":["07300301"]},"oa":1,"status":"public","ec_funded":1,"month":"07","year":"2017","abstract":[{"text":"This paper presents a method for simulating water surface waves as a displacement field on a 2D domain. Our method relies on Lagrangian particles that carry packets of water wave energy; each packet carries information about an entire group of wave trains, as opposed to only a single wave crest. Our approach is unconditionally stable and can simulate high resolution geometric details. This approach also presents a straightforward interface for artistic control, because it is essentially a particle system with intuitive parameters like wavelength and amplitude. Our implementation parallelizes well and runs in real time for moderately challenging scenarios.","lang":"eng"}],"issue":"4","date_updated":"2023-02-23T12:20:26Z","_id":"470","acknowledged_ssus":[{"_id":"ScienComp"}],"article_number":"103","ddc":["006"],"file_date_updated":"2020-07-14T12:46:34Z","scopus_import":1,"citation":{"ista":"Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.","apa":"Jeschke, S., &#38; Wojtan, C. (2017). Water wave packets. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3072959.3073678\">https://doi.org/10.1145/3072959.3073678</a>","mla":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” <i>ACM Transactions on Graphics</i>, vol. 36, no. 4, 103, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073678\">10.1145/3072959.3073678</a>.","chicago":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” <i>ACM Transactions on Graphics</i>. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073678\">https://doi.org/10.1145/3072959.3073678</a>.","short":"S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).","ieee":"S. Jeschke and C. Wojtan, “Water wave packets,” <i>ACM Transactions on Graphics</i>, vol. 36, no. 4. ACM, 2017.","ama":"Jeschke S, Wojtan C. Water wave packets. <i>ACM Transactions on Graphics</i>. 2017;36(4). doi:<a href=\"https://doi.org/10.1145/3072959.3073678\">10.1145/3072959.3073678</a>"},"intvolume":"        36","doi":"10.1145/3072959.3073678","publication_status":"published","date_published":"2017-07-01T00:00:00Z","oa_version":"Published Version"},{"scopus_import":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1504.05739"}],"intvolume":"        18","citation":{"chicago":"Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.” <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM, 2017. <a href=\"https://doi.org/10.1145/3060139\">https://doi.org/10.1145/3060139</a>.","ista":"Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.","apa":"Daca, P., Henzinger, T. A., Kretinsky, J., &#38; Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM. <a href=\"https://doi.org/10.1145/3060139\">https://doi.org/10.1145/3060139</a>","mla":"Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 18, no. 2, 12, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3060139\">10.1145/3060139</a>.","short":"P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).","ama":"Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. <i>ACM Transactions on Computational Logic (TOCL)</i>. 2017;18(2). doi:<a href=\"https://doi.org/10.1145/3060139\">10.1145/3060139</a>","ieee":"P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 18, no. 2. ACM, 2017."},"doi":"10.1145/3060139","publication_status":"published","date_published":"2017-05-01T00:00:00Z","oa_version":"Submitted Version","publication_identifier":{"issn":["15293785"]},"oa":1,"status":"public","ec_funded":1,"month":"05","year":"2017","issue":"2","abstract":[{"text":"We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear temporal logic. The main idea is that we monitor each simulation run on the fly, in order to detect quickly if a bottom strongly connected component is entered with high probability, in which case the simulation run can be terminated early. As a result, our simulation runs are often much shorter than required by termination bounds that are computed a priori for a desired level of confidence on a large state space. In comparison to previous algorithms for statistical model checking our method is not only faster in many cases but also requires less information about the system, namely, only the minimum transition probability that occurs in the Markov chain. In addition, our method can be generalised to unbounded quantitative properties such as mean-payoff bounds. ","lang":"eng"}],"date_updated":"2023-02-21T16:48:11Z","_id":"471","article_number":"12","publist_id":"7349","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"1234"}]},"volume":18,"quality_controlled":"1","publication":"ACM Transactions on Computational Logic (TOCL)","date_created":"2018-12-11T11:46:39Z","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"type":"journal_article","title":"Faster statistical model checking for unbounded temporal properties","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","day":"01","author":[{"full_name":"Daca, Przemyslaw","last_name":"Daca","id":"49351290-F248-11E8-B48F-1D18A9856A87","first_name":"Przemyslaw"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8122-2881","first_name":"Jan","full_name":"Kretinsky, Jan"},{"orcid":"0000-0002-9041-0905","first_name":"Tatjana","last_name":"Petrov","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","full_name":"Petrov, Tatjana"}],"project":[{"name":"Quantitative Reactive Modeling","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989"},{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"}]},{"publist_id":"7338","pubrep_id":"949","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"10892"}]},"volume":26,"quality_controlled":"1","page":"211 - 229","date_created":"2018-12-11T11:46:43Z","publication":"International Journal of Computational Geometry and Applications","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"HeEd"}],"type":"journal_article","title":"Planar matchings for weighted straight skeletons","publisher":"World Scientific Publishing","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"13","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"acknowledgement":"Supported by NSERC and the Ross and Muriel Cheriton Fellowship. Research supported by Austrian Science Fund (FWF): P25816-N15.","file":[{"creator":"system","file_id":"4758","checksum":"f79e8558bfe4b368dfefeb8eec2e3a5e","access_level":"open_access","date_updated":"2020-07-14T12:46:35Z","file_name":"IST-2018-949-v1+1_2016_huber_PLanar_matchings.pdf","date_created":"2018-12-12T10:09:34Z","content_type":"application/pdf","relation":"main_file","file_size":769296}],"author":[{"last_name":"Biedl","first_name":"Therese","full_name":"Biedl, Therese"},{"full_name":"Huber, Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87","last_name":"Huber","first_name":"Stefan","orcid":"0000-0002-8871-5814"},{"last_name":"Palfrader","first_name":"Peter","full_name":"Palfrader, Peter"}],"ddc":["004","514","516"],"scopus_import":1,"file_date_updated":"2020-07-14T12:46:35Z","citation":{"apa":"Biedl, T., Huber, S., &#38; Palfrader, P. (2017). Planar matchings for weighted straight skeletons. <i>International Journal of Computational Geometry and Applications</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0218195916600050\">https://doi.org/10.1142/S0218195916600050</a>","mla":"Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” <i>International Journal of Computational Geometry and Applications</i>, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:<a href=\"https://doi.org/10.1142/S0218195916600050\">10.1142/S0218195916600050</a>.","ista":"Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.","chicago":"Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” <i>International Journal of Computational Geometry and Applications</i>. World Scientific Publishing, 2017. <a href=\"https://doi.org/10.1142/S0218195916600050\">https://doi.org/10.1142/S0218195916600050</a>.","ama":"Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. <i>International Journal of Computational Geometry and Applications</i>. 2017;26(3-4):211-229. doi:<a href=\"https://doi.org/10.1142/S0218195916600050\">10.1142/S0218195916600050</a>","ieee":"T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” <i>International Journal of Computational Geometry and Applications</i>, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.","short":"T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229."},"intvolume":"        26","publication_status":"published","doi":"10.1142/S0218195916600050","date_published":"2017-04-13T00:00:00Z","oa_version":"Published Version","oa":1,"status":"public","month":"04","year":"2017","date_updated":"2023-02-21T16:06:22Z","abstract":[{"lang":"eng","text":"We introduce planar matchings on directed pseudo-line arrangements, which yield a planar set of pseudo-line segments such that only matching-partners are adjacent. By translating the planar matching problem into a corresponding stable roommates problem we show that such matchings always exist. Using our new framework, we establish, for the first time, a complete, rigorous definition of weighted straight skeletons, which are based on a so-called wavefront propagation process. We present a generalized and unified approach to treat structural changes in the wavefront that focuses on the restoration of weak planarity by finding planar matchings."}],"issue":"3-4","_id":"481"},{"volume":21,"quality_controlled":"1","publist_id":"7337","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"LaEr"}],"date_created":"2018-12-11T11:46:43Z","page":"739 - 800","publication":"Advances in Theoretical and Mathematical Physics","publisher":"International Press","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Universality for a class of random band matrices","project":[{"name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"author":[{"first_name":"Paul","last_name":"Bourgade","full_name":"Bourgade, Paul"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László","full_name":"Erdös, László"},{"full_name":"Yau, Horng","last_name":"Yau","first_name":"Horng"},{"full_name":"Yin, Jun","last_name":"Yin","first_name":"Jun"}],"day":"25","intvolume":"        21","citation":{"apa":"Bourgade, P., Erdös, L., Yau, H., &#38; Yin, J. (2017). Universality for a class of random band matrices. <i>Advances in Theoretical and Mathematical Physics</i>. International Press. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">https://doi.org/10.4310/ATMP.2017.v21.n3.a5</a>","ista":"Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.","mla":"Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">10.4310/ATMP.2017.v21.n3.a5</a>.","chicago":"Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.” <i>Advances in Theoretical and Mathematical Physics</i>. International Press, 2017. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">https://doi.org/10.4310/ATMP.2017.v21.n3.a5</a>.","ama":"Bourgade P, Erdös L, Yau H, Yin J. Universality for a class of random band matrices. <i>Advances in Theoretical and Mathematical Physics</i>. 2017;21(3):739-800. doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">10.4310/ATMP.2017.v21.n3.a5</a>","ieee":"P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random band matrices,” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3. International Press, pp. 739–800, 2017.","short":"P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800."},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1602.02312"}],"scopus_import":1,"oa_version":"Submitted Version","date_published":"2017-08-25T00:00:00Z","publication_status":"published","doi":"10.4310/ATMP.2017.v21.n3.a5","month":"08","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["10950761"]},"_id":"483","date_updated":"2021-01-12T08:00:57Z","abstract":[{"text":"We prove the universality for the eigenvalue gap statistics in the bulk of the spectrum for band matrices, in the regime where the band width is comparable with the dimension of the matrix, W ~ N. All previous results concerning universality of non-Gaussian random matrices are for mean-field models. By relying on a new mean-field reduction technique, we deduce universality from quantum unique ergodicity for band matrices.","lang":"eng"}],"issue":"3","year":"2017"},{"intvolume":"        21","citation":{"short":"P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.","ieee":"P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics of interacting bosons,” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3. International Press, pp. 683–738, 2017.","ama":"Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. <i>Advances in Theoretical and Mathematical Physics</i>. 2017;21(3):683-738. doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">10.4310/ATMP.2017.v21.n3.a4</a>","mla":"Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">10.4310/ATMP.2017.v21.n3.a4</a>.","ista":"Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.","apa":"Nam, P., &#38; Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. <i>Advances in Theoretical and Mathematical Physics</i>. International Press. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">https://doi.org/10.4310/ATMP.2017.v21.n3.a4</a>","chicago":"Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” <i>Advances in Theoretical and Mathematical Physics</i>. International Press, 2017. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">https://doi.org/10.4310/ATMP.2017.v21.n3.a4</a>."},"main_file_link":[{"url":"https://arxiv.org/abs/1509.04631","open_access":"1"}],"scopus_import":1,"oa_version":"Submitted Version","date_published":"2017-01-01T00:00:00Z","doi":"10.4310/ATMP.2017.v21.n3.a4","publication_status":"published","month":"01","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["10950761"]},"_id":"484","abstract":[{"text":"We consider the dynamics of a large quantum system of N identical bosons in 3D interacting via a two-body potential of the form N3β-1w(Nβ(x - y)). For fixed 0 = β &lt; 1/3 and large N, we obtain a norm approximation to the many-body evolution in the Nparticle Hilbert space. The leading order behaviour of the dynamics is determined by Hartree theory while the second order is given by Bogoliubov theory.","lang":"eng"}],"issue":"3","date_updated":"2021-01-12T08:00:58Z","year":"2017","volume":21,"quality_controlled":"1","publist_id":"7336","type":"journal_article","department":[{"_id":"RoSe"}],"language":[{"iso":"eng"}],"publication":"Advances in Theoretical and Mathematical Physics","date_created":"2018-12-11T11:46:43Z","page":"683 - 738","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publisher":"International Press","title":"Bogoliubov correction to the mean-field dynamics of interacting bosons","author":[{"first_name":"Phan","id":"404092F4-F248-11E8-B48F-1D18A9856A87","last_name":"Nam","full_name":"Nam, Phan"},{"full_name":"Napiórkowski, Marcin M","first_name":"Marcin M","id":"4197AD04-F248-11E8-B48F-1D18A9856A87","last_name":"Napiórkowski"}],"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"},{"name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF","grant_number":"P27533_N27","_id":"25C878CE-B435-11E9-9278-68D0E5697425"}],"day":"01"},{"article_processing_charge":"No","publist_id":"7335","scopus_import":"1","citation":{"ista":"Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. F54, NM3A.1.","apa":"Rueda Sanchez, A. R., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2017). Single sideband microwave to optical photon conversion-an-electro-optic-realization. In <i>Optics InfoBase Conference Papers</i> (Vol. F54). Waikoloa, HI, United States: Optica  Publishing Group. <a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">https://doi.org/10.1364/NLO.2017.NM3A.1</a>","mla":"Rueda Sanchez, Alfredo R., et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” <i>Optics InfoBase Conference Papers</i>, vol. F54, NM3A.1, Optica  Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">10.1364/NLO.2017.NM3A.1</a>.","chicago":"Rueda Sanchez, Alfredo R, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” In <i>Optics InfoBase Conference Papers</i>, Vol. F54. Optica  Publishing Group, 2017. <a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">https://doi.org/10.1364/NLO.2017.NM3A.1</a>.","short":"A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optics InfoBase Conference Papers, Optica  Publishing Group, 2017.","ama":"Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: <i>Optics InfoBase Conference Papers</i>. Vol F54. Optica  Publishing Group; 2017. doi:<a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">10.1364/NLO.2017.NM3A.1</a>","ieee":"A. R. Rueda Sanchez <i>et al.</i>, “Single sideband microwave to optical photon conversion-an-electro-optic-realization,” in <i>Optics InfoBase Conference Papers</i>, Waikoloa, HI, United States, 2017, vol. F54."},"quality_controlled":"1","volume":"F54","doi":"10.1364/NLO.2017.NM3A.1","publication_status":"published","conference":{"location":"Waikoloa, HI, United States","end_date":"2017-07-21","name":"NLO: Nonlinear Optics","start_date":"2017-07-17"},"publication":"Optics InfoBase Conference Papers","date_created":"2018-12-11T11:46:44Z","type":"conference","oa_version":"None","date_published":"2017-07-01T00:00:00Z","department":[{"_id":"JoFi"}],"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Optica  Publishing Group","status":"public","publication_identifier":{"isbn":["978-155752820-9"]},"title":"Single sideband microwave to optical photon conversion-an-electro-optic-realization","month":"07","abstract":[{"lang":"eng","text":"We present results on nonlinear electro-optical conversion of microwave radiation into the optical telecommunication band with more than 0.1% photon number conversion efficiency with MHz bandwidth, in a crystalline whispering gallery mode resonator"}],"date_updated":"2023-10-17T12:15:38Z","year":"2017","day":"01","author":[{"full_name":"Rueda Sanchez, Alfredo R","orcid":"0000-0001-6249-5860","first_name":"Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","last_name":"Rueda Sanchez"},{"first_name":"Florian","last_name":"Sedlmeir","full_name":"Sedlmeir, Florian"},{"full_name":"Collodo, Michele","last_name":"Collodo","first_name":"Michele"},{"full_name":"Vogl, Ulrich","first_name":"Ulrich","last_name":"Vogl"},{"full_name":"Stiller, Birgit","first_name":"Birgit","last_name":"Stiller"},{"first_name":"Gerhard","last_name":"Schunk","full_name":"Schunk, Gerhard"},{"last_name":"Strekalov","first_name":"Dmitry","full_name":"Strekalov, Dmitry"},{"last_name":"Marquardt","first_name":"Christoph","full_name":"Marquardt, Christoph"},{"full_name":"Fink, Johannes M","first_name":"Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Painter","first_name":"Oskar","full_name":"Painter, Oskar"},{"full_name":"Leuchs, Gerd","first_name":"Gerd","last_name":"Leuchs"},{"full_name":"Schwefel, Harald","first_name":"Harald","last_name":"Schwefel"}],"article_number":"NM3A.1","_id":"485"},{"publist_id":"7334","article_processing_charge":"No","pubrep_id":"1052","article_type":"original","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8386"}]},"quality_controlled":"1","volume":36,"date_created":"2018-12-11T11:46:44Z","publication":"ACM Transactions on Graphics","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"BeBi"}],"type":"journal_article","title":"Scattering-aware texture reproduction for 3D printing","publisher":"ACM","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"20","file":[{"file_id":"4836","checksum":"48386fa6956c3645fc89594dc898b147","creator":"system","access_level":"open_access","file_name":"IST-2018-1052-v1+1_ElekSumin2017SGA.pdf","date_updated":"2020-07-14T12:46:35Z","date_created":"2018-12-12T10:10:46Z","content_type":"application/pdf","relation":"main_file","file_size":107349827},{"file_size":4683145,"content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"21c89c28fb8d70f6602f752bf997aa0f","file_id":"7189","creator":"bbickel","date_created":"2019-12-16T14:48:57Z","file_name":"ElekSumin2017SGA_reduced_file_size.pdf","date_updated":"2020-07-14T12:46:35Z"}],"project":[{"call_identifier":"H2020","name":"Distributed 3D Object Design","grant_number":"642841","_id":"2508E324-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425"},{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"}],"author":[{"full_name":"Elek, Oskar","last_name":"Elek","first_name":"Oskar"},{"first_name":"Denis","last_name":"Sumin","full_name":"Sumin, Denis"},{"full_name":"Zhang, Ran","orcid":"0000-0002-3808-281X","first_name":"Ran","id":"4DDBCEB0-F248-11E8-B48F-1D18A9856A87","last_name":"Zhang"},{"full_name":"Weyrich, Tim","first_name":"Tim","last_name":"Weyrich"},{"full_name":"Myszkowski, Karol","last_name":"Myszkowski","first_name":"Karol"},{"orcid":"0000-0001-6511-9385","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","full_name":"Bickel, Bernd"},{"full_name":"Wilkie, Alexander","first_name":"Alexander","last_name":"Wilkie"},{"last_name":"Krivanek","first_name":"Jaroslav","full_name":"Krivanek, Jaroslav"}],"ddc":["003","000","005"],"scopus_import":1,"file_date_updated":"2020-07-14T12:46:35Z","intvolume":"        36","citation":{"ama":"Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. <i>ACM Transactions on Graphics</i>. 2017;36(6). doi:<a href=\"https://doi.org/10.1145/3130800.3130890\">10.1145/3130800.3130890</a>","ieee":"O. Elek <i>et al.</i>, “Scattering-aware texture reproduction for 3D printing,” <i>ACM Transactions on Graphics</i>, vol. 36, no. 6. ACM, 2017.","short":"O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).","apa":"Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., … Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3130800.3130890\">https://doi.org/10.1145/3130800.3130890</a>","ista":"Elek O, Sumin D, Zhang R, Weyrich T, Myszkowski K, Bickel B, Wilkie A, Krivanek J. 2017. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 36(6), 241.","mla":"Elek, Oskar, et al. “Scattering-Aware Texture Reproduction for 3D Printing.” <i>ACM Transactions on Graphics</i>, vol. 36, no. 6, 241, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3130800.3130890\">10.1145/3130800.3130890</a>.","chicago":"Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.” <i>ACM Transactions on Graphics</i>. ACM, 2017. <a href=\"https://doi.org/10.1145/3130800.3130890\">https://doi.org/10.1145/3130800.3130890</a>."},"publication_status":"published","doi":"10.1145/3130800.3130890","date_published":"2017-11-20T00:00:00Z","oa_version":"Submitted Version","oa":1,"publication_identifier":{"issn":["07300301"]},"status":"public","ec_funded":1,"month":"11","year":"2017","date_updated":"2023-09-07T13:11:15Z","abstract":[{"text":"Color texture reproduction in 3D printing commonly ignores volumetric light transport (cross-talk) between surface points on a 3D print. Such light diffusion leads to significant blur of details and color bleeding, and is particularly severe for highly translucent resin-based print materials. Given their widely varying scattering properties, this cross-talk between surface points strongly depends on the internal structure of the volume surrounding each surface point. Existing scattering-aware methods use simplified models for light diffusion, and often accept the visual blur as an immutable property of the print medium. In contrast, our work counteracts heterogeneous scattering to obtain the impression of a crisp albedo texture on top of the 3D print, by optimizing for a fully volumetric material distribution that preserves the target appearance. Our method employs an efficient numerical optimizer on top of a general Monte-Carlo simulation of heterogeneous scattering, supported by a practical calibration procedure to obtain scattering parameters from a given set of printer materials. Despite the inherent translucency of the medium, we reproduce detailed surface textures on 3D prints. We evaluate our system using a commercial, five-tone 3D print process and compare against the printer’s native color texturing mode, demonstrating that our method preserves high-frequency features well without having to compromise on color gamut.","lang":"eng"}],"issue":"6","_id":"486","article_number":"241"},{"author":[{"last_name":"Baig","first_name":"Ghufran","full_name":"Baig, Ghufran"},{"full_name":"Radunovic, Bozidar","first_name":"Bozidar","last_name":"Radunovic"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh"},{"first_name":"Matthew","last_name":"Balkwill","full_name":"Balkwill, Matthew"},{"full_name":"Karagiannis, Thomas","first_name":"Thomas","last_name":"Karagiannis"},{"first_name":"Lili","last_name":"Qiu","full_name":"Qiu, Lili"}],"_id":"487","abstract":[{"lang":"eng","text":"In this paper we study network architecture for unlicensed cellular networking for outdoor coverage in TV white spaces. The main technology proposed for TV white spaces is 802.11af, a Wi-Fi variant adapted for TV frequencies. However, 802.11af is originally designed for improved indoor propagation. We show that long links, typical for outdoor use, exacerbate known Wi-Fi issues, such as hidden and exposed terminal, and significantly reduce its efficiency. Instead, we propose CellFi, an alternative architecture based on LTE. LTE is designed for long-range coverage and throughput efficiency, but it is also designed to operate in tightly controlled and centrally managed networks. CellFi overcomes these problems by designing an LTE-compatible spectrum database component, mandatory for TV white space networking, and introducing an interference management component for distributed coordination. CellFi interference management is compatible with existing LTE mechanisms, requires no explicit communication between base stations, and is more efficient than CSMA for long links. We evaluate our design through extensive real world evaluation on of-the-shelf LTE equipment and simulations. We show that, compared to 802.11af, it increases coverage by 40% and reduces median flow completion times by 2.3x."}],"date_updated":"2023-02-23T12:21:11Z","year":"2017","day":"28","month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","status":"public","publication_identifier":{"isbn":["978-145035422-6"]},"title":"Towards unlicensed cellular networks in TV white spaces","oa_version":"None","type":"conference","date_published":"2017-11-28T00:00:00Z","department":[{"_id":"DaAl"}],"language":[{"iso":"eng"}],"doi":"10.1145/3143361.3143367","publication_status":"published","conference":{"location":"Incheon, South Korea","end_date":"2017-12-15","name":"CoNEXT: Conference on emerging Networking EXperiments and Technologies","start_date":"2017-12-12"},"publication":"Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies","date_created":"2018-12-11T11:46:45Z","page":"2 - 14","citation":{"short":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.","ama":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>. ACM; 2017:2-14. doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>","ieee":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, and L. Qiu, “Towards unlicensed cellular networks in TV white spaces,” in <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i>, Incheon, South Korea, 2017, pp. 2–14.","ista":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.","apa":"Baig, G., Radunovic, B., Alistarh, D.-A., Balkwill, M., Karagiannis, T., &#38; Qiu, L. (2017). Towards unlicensed cellular networks in TV white spaces. In <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i> (pp. 2–14). Incheon, South Korea: ACM. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>","mla":"Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, ACM, 2017, pp. 2–14, doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>.","chicago":"Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.” In <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, 2–14. ACM, 2017. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>."},"quality_controlled":"1","publist_id":"7333","scopus_import":1}]