[{"year":"2014","acknowledgement":"While working on this paper the first two authors were supported by EPSRC grant EP/E053262/1, and the first author was further supported by ERC grant 306457.","publisher":"John Hopkins University Press","_id":"248","publication":"Annals of Mathematics","type":"journal_article","month":"07","day":"01","abstract":[{"text":"For any pencil of conics or higher-dimensional quadrics over ℚ, with all degenerate fibres defined over ℚ, we show that the Brauer–Manin obstruction controls weak approximation. The proof is based on the Hasse principle and weak approximation for some special intersections of quadrics over ℚ, which is a consequence of recent advances in additive combinatorics.","lang":"eng"}],"date_updated":"2021-01-12T06:57:44Z","page":"381 - 402","author":[{"full_name":"Timothy Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","last_name":"Browning","first_name":"Timothy D"},{"last_name":"Matthiesen","first_name":"Lilian","full_name":"Matthiesen, Lilian"},{"last_name":"Skorobogatov","first_name":"Alexei","full_name":"Skorobogatov, Alexei N"}],"date_created":"2018-12-11T11:45:25Z","publist_id":"7655","title":"Rational points on pencils of conics and quadrics with many degenerate fibres","volume":180,"status":"public","issue":"1","citation":{"ama":"Browning TD, Matthiesen L, Skorobogatov A. Rational points on pencils of conics and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>. 2014;180(1):381-402. doi:<a href=\"https://doi.org/10.4007/annals.2014.180.1.8\">https://doi.org/10.4007/annals.2014.180.1.8</a>","ista":"Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1), 381–402.","mla":"Browning, Timothy D., et al. “Rational Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” <i>Annals of Mathematics</i>, vol. 180, no. 1, John Hopkins University Press, 2014, pp. 381–402, doi:<a href=\"https://doi.org/10.4007/annals.2014.180.1.8\">https://doi.org/10.4007/annals.2014.180.1.8</a>.","apa":"Browning, T. D., Matthiesen, L., &#38; Skorobogatov, A. (2014). Rational points on pencils of conics and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>. John Hopkins University Press. <a href=\"https://doi.org/10.4007/annals.2014.180.1.8\">https://doi.org/10.4007/annals.2014.180.1.8</a>","ieee":"T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils of conics and quadrics with many degenerate fibres,” <i>Annals of Mathematics</i>, vol. 180, no. 1. John Hopkins University Press, pp. 381–402, 2014.","chicago":"Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” <i>Annals of Mathematics</i>. John Hopkins University Press, 2014. <a href=\"https://doi.org/10.4007/annals.2014.180.1.8\">https://doi.org/10.4007/annals.2014.180.1.8</a>.","short":"T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402."},"extern":1,"intvolume":"       180","oa":1,"publication_status":"published","quality_controlled":0,"main_file_link":[{"url":"https://arxiv.org/abs/1209.0207","open_access":"1"}],"doi":"https://doi.org/10.4007/annals.2014.180.1.8","date_published":"2014-07-01T00:00:00Z"},{"publication_status":"published","doi":"10.1215/00127094-2738530","date_published":"2014-07-01T00:00:00Z","quality_controlled":0,"status":"public","intvolume":"       163","extern":1,"issue":"10","citation":{"ama":"Browning TD, Vishe P. Cubic hypersurfaces and a version of the circle method for number fields. <i>Duke Mathematical Journal</i>. 2014;163(10):1825-1883. doi:<a href=\"https://doi.org/10.1215/00127094-2738530\">10.1215/00127094-2738530</a>","ista":"Browning TD, Vishe P. 2014. Cubic hypersurfaces and a version of the circle method for number fields. Duke Mathematical Journal. 163(10), 1825–1883.","mla":"Browning, Timothy D., and Pankaj Vishe. “Cubic Hypersurfaces and a Version of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>, vol. 163, no. 10, Duke University Press, 2014, pp. 1825–83, doi:<a href=\"https://doi.org/10.1215/00127094-2738530\">10.1215/00127094-2738530</a>.","apa":"Browning, T. D., &#38; Vishe, P. (2014). Cubic hypersurfaces and a version of the circle method for number fields. <i>Duke Mathematical Journal</i>. Duke University Press. <a href=\"https://doi.org/10.1215/00127094-2738530\">https://doi.org/10.1215/00127094-2738530</a>","ieee":"T. D. Browning and P. Vishe, “Cubic hypersurfaces and a version of the circle method for number fields,” <i>Duke Mathematical Journal</i>, vol. 163, no. 10. Duke University Press, pp. 1825–1883, 2014.","chicago":"Browning, Timothy D, and Pankaj Vishe. “Cubic Hypersurfaces and a Version of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>. Duke University Press, 2014. <a href=\"https://doi.org/10.1215/00127094-2738530\">https://doi.org/10.1215/00127094-2738530</a>.","short":"T.D. Browning, P. Vishe, Duke Mathematical Journal 163 (2014) 1825–1883."},"page":"1825 - 1883","author":[{"last_name":"Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Timothy Browning"},{"last_name":"Vishe","first_name":"Pankaj","full_name":"Vishe, Pankaj"}],"type":"journal_article","month":"07","abstract":[{"text":"A version of the Hardy-Littlewood circle method is developed for number fields K/ℚ and is used to show that nonsingular projective cubic hypersurfaces over K always have a K-rational point when they have dimension at least 8. ","lang":"eng"}],"date_updated":"2021-01-12T06:57:47Z","day":"01","title":"Cubic hypersurfaces and a version of the circle method for number fields","volume":163,"publist_id":"7653","date_created":"2018-12-11T11:45:26Z","publisher":"Duke University Press","year":"2014","_id":"249","publication":"Duke Mathematical Journal"},{"status":"public","citation":{"ama":"Browning TD, Jones M. Counting rational points on del Pezzo surfaces with a conic bundle structure. <i>Acta Arithmetica</i>. 2014;163(3):271-298. doi:<a href=\"https://doi.org/10.4064/aa163-3-6\">10.4064/aa163-3-6</a>","ista":"Browning TD, Jones M. 2014. Counting rational points on del Pezzo surfaces with a conic bundle structure. Acta Arithmetica. 163(3), 271–298.","mla":"Browning, Timothy D., and Michael Jones. “Counting Rational Points on Del Pezzo Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>, vol. 163, no. 3, Instytut Matematyczny, 2014, pp. 271–98, doi:<a href=\"https://doi.org/10.4064/aa163-3-6\">10.4064/aa163-3-6</a>.","apa":"Browning, T. D., &#38; Jones, M. (2014). Counting rational points on del Pezzo surfaces with a conic bundle structure. <i>Acta Arithmetica</i>. Instytut Matematyczny. <a href=\"https://doi.org/10.4064/aa163-3-6\">https://doi.org/10.4064/aa163-3-6</a>","ieee":"T. D. Browning and M. Jones, “Counting rational points on del Pezzo surfaces with a conic bundle structure,” <i>Acta Arithmetica</i>, vol. 163, no. 3. Instytut Matematyczny, pp. 271–298, 2014.","chicago":"Browning, Timothy D, and Michael Jones. “Counting Rational Points on Del Pezzo Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>. Instytut Matematyczny, 2014. <a href=\"https://doi.org/10.4064/aa163-3-6\">https://doi.org/10.4064/aa163-3-6</a>.","short":"T.D. Browning, M. Jones, Acta Arithmetica 163 (2014) 271–298."},"issue":"3","extern":1,"intvolume":"       163","publication_status":"published","quality_controlled":0,"date_published":"2014-01-01T00:00:00Z","doi":"10.4064/aa163-3-6","year":"2014","publisher":"Instytut Matematyczny","publication":"Acta Arithmetica","_id":"252","abstract":[{"lang":"eng","text":"For any number field k, upper bounds are established for the number of k-rational points of bounded height on non-singular del Pezzo surfaces defined over k, which are equipped with suitable conic bundle structures over k."}],"day":"01","date_updated":"2021-01-12T06:57:59Z","month":"01","type":"journal_article","author":[{"orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Timothy Browning","first_name":"Timothy D","last_name":"Browning"},{"last_name":"Jones","first_name":"Michael","full_name":"Jones, Michael S"}],"page":"271 - 298","date_created":"2018-12-11T11:45:26Z","publist_id":"7650","volume":163,"title":"Counting rational points on del Pezzo surfaces with a conic bundle structure"},{"date_published":"2014-01-31T00:00:00Z","doi":"10.1093/imrn/rnt350","quality_controlled":0,"publication_status":"published","intvolume":"      2015","extern":1,"citation":{"ama":"Browning TD. The polynomial sieve and equal sums of like polynomials. <i>International Mathematics Research Notices</i>. 2014;2015(7):1987-2019. doi:<a href=\"https://doi.org/10.1093/imrn/rnt350\">10.1093/imrn/rnt350</a>","apa":"Browning, T. D. (2014). The polynomial sieve and equal sums of like polynomials. <i>International Mathematics Research Notices</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/imrn/rnt350\">https://doi.org/10.1093/imrn/rnt350</a>","ista":"Browning TD. 2014. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2015(7), 1987–2019.","mla":"Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” <i>International Mathematics Research Notices</i>, vol. 2015, no. 7, Oxford University Press, 2014, pp. 1987–2019, doi:<a href=\"https://doi.org/10.1093/imrn/rnt350\">10.1093/imrn/rnt350</a>.","chicago":"Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” <i>International Mathematics Research Notices</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/imrn/rnt350\">https://doi.org/10.1093/imrn/rnt350</a>.","ieee":"T. D. Browning, “The polynomial sieve and equal sums of like polynomials,” <i>International Mathematics Research Notices</i>, vol. 2015, no. 7. Oxford University Press, pp. 1987–2019, 2014.","short":"T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019."},"issue":"7","status":"public","title":"The polynomial sieve and equal sums of like polynomials","volume":2015,"date_created":"2018-12-11T11:45:27Z","publist_id":"7648","page":"1987 - 2019","author":[{"first_name":"Timothy D","last_name":"Browning","full_name":"Timothy Browning","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87"}],"day":"31","date_updated":"2021-01-12T06:58:07Z","abstract":[{"lang":"eng","text":"A new &quot;polynomial sieve&quot; is presented and used to show that almost all integers have at most one representation as a sum of two values of a given polynomial of degree at least 3."}],"type":"journal_article","month":"01","publication":"International Mathematics Research Notices","_id":"254","publisher":"Oxford University Press","acknowledgement":"While working on this paper, the author was supported by ERC grant 306457 and a Philip Leverhulme Prize.","year":"2014"},{"publication_status":"published","doi":"10.1017/S1474748014000127","date_published":"2014-01-05T00:00:00Z","status":"public","language":[{"iso":"eng"}],"citation":{"ama":"Browning TD, Dietmann R, Heath Brown R. Rational points on intersections of cubic and quadric hypersurfaces. <i>Journal of the Institute of Mathematics of Jussieu</i>. 2014;14(4):703-749. doi:<a href=\"https://doi.org/10.1017/S1474748014000127\">10.1017/S1474748014000127</a>","apa":"Browning, T. D., Dietmann, R., &#38; Heath Brown, R. (2014). Rational points on intersections of cubic and quadric hypersurfaces. <i>Journal of the Institute of Mathematics of Jussieu</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S1474748014000127\">https://doi.org/10.1017/S1474748014000127</a>","ista":"Browning TD, Dietmann R, Heath Brown R. 2014. Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu. 14(4), 703–749.","mla":"Browning, Timothy D., et al. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>, vol. 14, no. 4, Cambridge University Press, 2014, pp. 703–49, doi:<a href=\"https://doi.org/10.1017/S1474748014000127\">10.1017/S1474748014000127</a>.","chicago":"Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>. Cambridge University Press, 2014. <a href=\"https://doi.org/10.1017/S1474748014000127\">https://doi.org/10.1017/S1474748014000127</a>.","ieee":"T. D. Browning, R. Dietmann, and R. Heath Brown, “Rational points on intersections of cubic and quadric hypersurfaces,” <i>Journal of the Institute of Mathematics of Jussieu</i>, vol. 14, no. 4. Cambridge University Press, pp. 703–749, 2014.","short":"T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics of Jussieu 14 (2014) 703–749."},"issue":"4","intvolume":"        14","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1017/S1474748014000279"}]},"extern":"1","date_updated":"2021-11-16T08:07:06Z","day":"05","abstract":[{"text":"We investigate the Hasse principle for complete intersections cut out by a quadric hypersurface and a cubic hypersurface defined over the rational numbers.","lang":"eng"}],"type":"journal_article","oa_version":"None","month":"01","author":[{"first_name":"Timothy D","last_name":"Browning","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Dietmann, Rainer","first_name":"Rainer","last_name":"Dietmann"},{"last_name":"Heath Brown","first_name":"Roger","full_name":"Heath Brown, Roger"}],"page":"703 - 749","publist_id":"7647","date_created":"2018-12-11T11:45:27Z","title":"Rational points on intersections of cubic and quadric hypersurfaces","volume":14,"year":"2014","publisher":"Cambridge University Press","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","publication":"Journal of the Institute of Mathematics of Jussieu","_id":"255"},{"publication_status":"published","oa":1,"date_published":"2014-04-01T00:00:00Z","doi":"10.1215/00127094-2649752","quality_controlled":"1","main_file_link":[{"url":"http://arxiv.org/abs/1104.2272","open_access":"1"}],"status":"public","intvolume":"       163","issue":"6","citation":{"apa":"Erdös, L., Bourgade, P., &#38; Yau, H. (2014). Universality of general β-ensembles. <i>Duke Mathematical Journal</i>. Duke University Press. <a href=\"https://doi.org/10.1215/00127094-2649752\">https://doi.org/10.1215/00127094-2649752</a>","ista":"Erdös L, Bourgade P, Yau H. 2014. Universality of general β-ensembles. Duke Mathematical Journal. 163(6), 1127–1190.","mla":"Erdös, László, et al. “Universality of General β-Ensembles.” <i>Duke Mathematical Journal</i>, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:<a href=\"https://doi.org/10.1215/00127094-2649752\">10.1215/00127094-2649752</a>.","ama":"Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. <i>Duke Mathematical Journal</i>. 2014;163(6):1127-1190. doi:<a href=\"https://doi.org/10.1215/00127094-2649752\">10.1215/00127094-2649752</a>","short":"L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.","chicago":"Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.” <i>Duke Mathematical Journal</i>. Duke University Press, 2014. <a href=\"https://doi.org/10.1215/00127094-2649752\">https://doi.org/10.1215/00127094-2649752</a>.","ieee":"L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,” <i>Duke Mathematical Journal</i>, vol. 163, no. 6. Duke University Press, pp. 1127–1190, 2014."},"language":[{"iso":"eng"}],"author":[{"full_name":"Erdös, László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","first_name":"László"},{"full_name":"Bourgade, Paul","first_name":"Paul","last_name":"Bourgade"},{"full_name":"Yau, Horng","first_name":"Horng","last_name":"Yau"}],"page":"1127 - 1190","oa_version":"Preprint","type":"journal_article","month":"04","day":"01","abstract":[{"text":"We prove the universality of the β-ensembles with convex analytic potentials and for any β &gt;\r\n0, i.e. we show that the spacing distributions of log-gases at any inverse temperature β coincide with those of the Gaussian β-ensembles.","lang":"eng"}],"date_updated":"2021-01-12T06:59:07Z","volume":163,"title":"Universality of general β-ensembles","publist_id":"4197","date_created":"2018-12-11T11:59:08Z","publisher":"Duke University Press","user_id":"3FFCCD3A-F248-11E8-B48F-1D18A9856A87","year":"2014","department":[{"_id":"LaEr"}],"_id":"2699","publication":"Duke Mathematical Journal","scopus_import":1},{"year":"2014","acknowledgement":"Krishnendu Chatterjee is supported by Austrian Science Fund (FWF) Grant No P 23499-N23, FWF NFN Grant No S11407 (RiSE), ERC Starting Grant (279307: Graph Games) and Microsoft faculty fellowship. Mickael Randour is supported by F.R.S.-FNRS. fellowship. \r\nJean-François Raskin is supported by ERC Starting Grant (279499: inVEST).Thanks to D. Sbabo for useful pointers, V. Bruyère for comments on a preliminary draft, and A. Bohy for fruitful discussions about the Acacia+ tool. We are grateful to the anonymous reviewers for their insightful comments. ","_id":"2716","oa_version":"Preprint","month":"06","type":"journal_article","date_updated":"2023-02-21T16:06:56Z","abstract":[{"text":"Multi-dimensional mean-payoff and energy games provide the mathematical foundation for the quantitative study of reactive systems, and play a central role in the emerging quantitative theory of verification and synthesis. In this work, we study the strategy synthesis problem for games with such multi-dimensional objectives along with a parity condition, a canonical way to express ω ω -regular conditions. While in general, the winning strategies in such games may require infinite memory, for synthesis the most relevant problem is the construction of a finite-memory winning strategy (if one exists). Our main contributions are as follows. First, we show a tight exponential bound (matching upper and lower bounds) on the memory required for finite-memory winning strategies in both multi-dimensional mean-payoff and energy games along with parity objectives. This significantly improves the triple exponential upper bound for multi energy games (without parity) that could be derived from results in literature for games on vector addition systems with states. Second, we present an optimal symbolic and incremental algorithm to compute a finite-memory winning strategy (if one exists) in such games. Finally, we give a complete characterization of when finite memory of strategies can be traded off for randomness. In particular, we show that for one-dimension mean-payoff parity games, randomized memoryless strategies are as powerful as their pure finite-memory counterparts.","lang":"eng"}],"page":"129 - 163","date_created":"2018-12-11T11:59:14Z","volume":51,"status":"public","external_id":{"arxiv":["1201.5073"]},"citation":{"ama":"Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. <i>Acta Informatica</i>. 2014;51(3-4):129-163. doi:<a href=\"https://doi.org/10.1007/s00236-013-0182-6\">10.1007/s00236-013-0182-6</a>","mla":"Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” <i>Acta Informatica</i>, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:<a href=\"https://doi.org/10.1007/s00236-013-0182-6\">10.1007/s00236-013-0182-6</a>.","ista":"Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.","apa":"Chatterjee, K., Randour, M., &#38; Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. <i>Acta Informatica</i>. Springer. <a href=\"https://doi.org/10.1007/s00236-013-0182-6\">https://doi.org/10.1007/s00236-013-0182-6</a>","ieee":"K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” <i>Acta Informatica</i>, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.","chicago":"Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” <i>Acta Informatica</i>. Springer, 2014. <a href=\"https://doi.org/10.1007/s00236-013-0182-6\">https://doi.org/10.1007/s00236-013-0182-6</a>.","short":"K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163."},"related_material":{"record":[{"id":"10904","status":"public","relation":"earlier_version"}]},"intvolume":"        51","oa":1,"publication_status":"published","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1201.5073"}],"date_published":"2014-06-01T00:00:00Z","department":[{"_id":"KrCh"}],"publisher":"Springer","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","scopus_import":"1","article_processing_charge":"No","publication":"Acta Informatica","day":"01","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"first_name":"Mickael","last_name":"Randour","full_name":"Randour, Mickael"},{"full_name":"Raskin, Jean","first_name":"Jean","last_name":"Raskin"}],"publist_id":"4176","title":"Strategy synthesis for multi-dimensional quantitative objectives","arxiv":1,"project":[{"name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11407"}],"issue":"3-4","language":[{"iso":"eng"}],"quality_controlled":"1","doi":"10.1007/s00236-013-0182-6"},{"publication_status":"published","date_published":"2014-07-01T00:00:00Z","doi":"10.1007/s00145-013-9148-7","quality_controlled":"1","status":"public","intvolume":"        27","related_material":{"record":[{"status":"public","id":"3225","relation":"earlier_version"}]},"language":[{"iso":"eng"}],"citation":{"ama":"Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. <i>Journal of Cryptology</i>. 2014;27(3):397-428. doi:<a href=\"https://doi.org/10.1007/s00145-013-9148-7\">10.1007/s00145-013-9148-7</a>","apa":"Fischlin, M., Lehmann, A., &#38; Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. <i>Journal of Cryptology</i>. Springer. <a href=\"https://doi.org/10.1007/s00145-013-9148-7\">https://doi.org/10.1007/s00145-013-9148-7</a>","mla":"Fischlin, Marc, et al. “Robust Multi-Property Combiners for Hash Functions.” <i>Journal of Cryptology</i>, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:<a href=\"https://doi.org/10.1007/s00145-013-9148-7\">10.1007/s00145-013-9148-7</a>.","ista":"Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.","chicago":"Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.” <i>Journal of Cryptology</i>. Springer, 2014. <a href=\"https://doi.org/10.1007/s00145-013-9148-7\">https://doi.org/10.1007/s00145-013-9148-7</a>.","ieee":"M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” <i>Journal of Cryptology</i>, vol. 27, no. 3. Springer, pp. 397–428, 2014.","short":"M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428."},"issue":"3","page":"397 - 428","author":[{"last_name":"Fischlin","first_name":"Marc","full_name":"Fischlin, Marc"},{"full_name":"Lehmann, Anja","first_name":"Anja","last_name":"Lehmann"},{"first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z"}],"date_updated":"2023-02-23T11:17:53Z","abstract":[{"text":"A robust combiner for hash functions takes two candidate implementations and constructs a hash function which is secure as long as at least one of the candidates is secure. So far, hash function combiners only aim at preserving a single property such as collision-resistance or pseudorandomness. However, when hash functions are used in protocols like TLS they are often required to provide several properties simultaneously. We therefore put forward the notion of robust multi-property combiners and elaborate on different definitions for such combiners. We then propose a combiner that provably preserves (target) collision-resistance, pseudorandomness, and being a secure message authentication code. This combiner satisfies the strongest notion we propose, which requires that the combined function satisfies every security property which is satisfied by at least one of the underlying hash function. If the underlying hash functions have output length n, the combiner has output length 2 n. This basically matches a known lower bound for black-box combiners for collision-resistance only, thus the other properties can be achieved without penalizing the length of the hash values. We then propose a combiner which also preserves the property of being indifferentiable from a random oracle, slightly increasing the output length to 2 n+ω(log n). Moreover, we show how to augment our constructions in order to make them also robust for the one-wayness property, but in this case require an a priory upper bound on the input length.","lang":"eng"}],"day":"01","type":"journal_article","month":"07","oa_version":"None","volume":27,"title":"Robust multi-property combiners for hash functions","publist_id":"3940","date_created":"2018-12-11T11:59:56Z","user_id":"3FFCCD3A-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","year":"2014","department":[{"_id":"KrPi"}],"publication":"Journal of Cryptology","_id":"2852","scopus_import":1},{"language":[{"iso":"eng"}],"conference":{"end_date":"2012-07-07","start_date":"2012-07-02","name":"ECM: European Congress of Mathematics","location":"Kraków, Poland"},"quality_controlled":"1","doi":"10.4171/120-1/3","pubrep_id":"544","article_processing_charge":"No","department":[{"_id":"HeEd"}],"publisher":"European Mathematical Society Publishing House","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"3842","title":"Persistent homology: Theory and practice","file":[{"creator":"system","file_size":435320,"content_type":"application/pdf","relation":"main_file","file_name":"IST-2016-544-v1+1_2012-P-11-PHTheoryPractice.pdf","access_level":"open_access","date_created":"2018-12-12T10:16:43Z","checksum":"1d4a046f1af945c407c5c4d411d4c5e4","file_id":"5232","date_updated":"2020-07-14T12:45:52Z"}],"day":"01","author":[{"last_name":"Edelsbrunner","first_name":"Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"},{"first_name":"Dmitriy","last_name":"Morozovy","full_name":"Morozovy, Dmitriy"}],"citation":{"short":"H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.","ieee":"H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.","chicago":"Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,” 31–50. European Mathematical Society Publishing House, 2014. <a href=\"https://doi.org/10.4171/120-1/3\">https://doi.org/10.4171/120-1/3</a>.","mla":"Edelsbrunner, Herbert, and Dmitriy Morozovy. <i>Persistent Homology: Theory and Practice</i>. European Mathematical Society Publishing House, 2014, pp. 31–50, doi:<a href=\"https://doi.org/10.4171/120-1/3\">10.4171/120-1/3</a>.","ista":"Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.","apa":"Edelsbrunner, H., &#38; Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House. <a href=\"https://doi.org/10.4171/120-1/3\">https://doi.org/10.4171/120-1/3</a>","ama":"Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:<a href=\"https://doi.org/10.4171/120-1/3\">10.4171/120-1/3</a>"},"status":"public","ddc":["000"],"date_published":"2014-01-01T00:00:00Z","has_accepted_license":"1","publication_status":"published","oa":1,"_id":"2905","year":"2014","acknowledgement":"This research is partially supported by NSF under grant DBI-0820624, by ESF under the Research Networking Programme, and by the Russian Government Project 11.G34.31.0053.","file_date_updated":"2020-07-14T12:45:52Z","date_created":"2018-12-11T12:00:16Z","date_updated":"2021-01-12T07:00:36Z","abstract":[{"text":"Persistent homology is a recent grandchild of homology that has found use in\r\nscience and engineering as well as in mathematics. This paper surveys the method as well\r\nas the applications, neglecting completeness in favor of highlighting ideas and directions.","lang":"eng"}],"oa_version":"Submitted Version","month":"01","type":"conference","page":"31 - 50"},{"oa_version":"Published Version","type":"journal_article","month":"01","date_updated":"2021-01-12T07:42:14Z","abstract":[{"lang":"eng","text":"Adaptation in the retina is thought to optimize the encoding of natural light signals into sequences of spikes sent to the brain. While adaptive changes in retinal processing to the variations of the mean luminance level and second-order stimulus statistics have been documented before, no such measurements have been performed when higher-order moments of the light distribution change. We therefore measured the ganglion cell responses in the tiger salamander retina to controlled changes in the second (contrast), third (skew) and fourth (kurtosis) moments of the light intensity distribution of spatially uniform temporally independent stimuli. The skew and kurtosis of the stimuli were chosen to cover the range observed in natural scenes. We quantified adaptation in ganglion cells by studying linear-nonlinear models that capture well the retinal encoding properties across all stimuli. We found that the encoding properties of retinal ganglion cells change only marginally when higher-order statistics change, compared to the changes observed in response to the variation in contrast. By analyzing optimal coding in LN-type models, we showed that neurons can maintain a high information rate without large dynamic adaptation to changes in skew or kurtosis. This is because, for uncorrelated stimuli, spatio-temporal summation within the receptive field averages away non-gaussian aspects of the light intensity distribution."}],"volume":9,"file_date_updated":"2020-07-14T12:46:06Z","date_created":"2018-12-11T12:02:20Z","acknowledgement":"This work was supported by The Israel Science Foundation and The Human Frontiers Science Program.\r\nWe thank the referees for helping significantly improve this paper. We also thank Vijay Balasubramanian, Kristina Simmons, and Jason Prentice for stimulating discussions. GT wishes to thank the faculty and students of the “Methods in Computational Neuroscience” course at Marine Biological Laboratory, Woods Hole.\r\n","year":"2014","_id":"3263","oa":1,"publication_status":"published","has_accepted_license":"1","date_published":"2014-01-21T00:00:00Z","ddc":["570"],"status":"public","intvolume":"         9","citation":{"ieee":"G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” <i>PLoS One</i>, vol. 9, no. 1. Public Library of Science, 2014.","chicago":"Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” <i>PLoS One</i>. Public Library of Science, 2014. <a href=\"https://doi.org/10.1371/journal.pone.0085841\">https://doi.org/10.1371/journal.pone.0085841</a>.","short":"G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).","ama":"Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. <i>PLoS One</i>. 2014;9(1). doi:<a href=\"https://doi.org/10.1371/journal.pone.0085841\">10.1371/journal.pone.0085841</a>","mla":"Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” <i>PLoS One</i>, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:<a href=\"https://doi.org/10.1371/journal.pone.0085841\">10.1371/journal.pone.0085841</a>.","ista":"Tkačik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.","apa":"Tkačik, G., Ghosh, A., Schneidman, E., &#38; Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0085841\">https://doi.org/10.1371/journal.pone.0085841</a>"},"author":[{"first_name":"Gasper","last_name":"Tkacik","full_name":"Tkacik, Gasper","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Ghosh, Anandamohan","first_name":"Anandamohan","last_name":"Ghosh"},{"full_name":"Schneidman, Elad","last_name":"Schneidman","first_name":"Elad"},{"last_name":"Segev","first_name":"Ronen","full_name":"Segev, Ronen"}],"license":"https://creativecommons.org/licenses/by/4.0/","day":"21","file":[{"date_created":"2018-12-12T10:13:28Z","access_level":"open_access","file_id":"5011","date_updated":"2020-07-14T12:46:06Z","checksum":"1d5816b343abe5eadc3eb419bcece971","file_size":1568524,"relation":"main_file","content_type":"application/pdf","creator":"system","file_name":"IST-2016-432-v1+1_journal.pone.0085841.pdf"}],"article_number":"e85841","title":"Adaptation to changes in higher-order stimulus statistics in the salamander retina","publist_id":"3385","user_id":"3FFCCD3A-F248-11E8-B48F-1D18A9856A87","publisher":"Public Library of Science","department":[{"_id":"GaTk"}],"publication":"PLoS One","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"scopus_import":1,"pubrep_id":"432","doi":"10.1371/journal.pone.0085841","quality_controlled":"1","issue":"1","language":[{"iso":"eng"}]},{"doi":"10.1021/ja502076b","date_published":"2014-06-11T00:00:00Z","quality_controlled":"1","publication_status":"published","extern":"1","intvolume":"       136","issue":"26","citation":{"apa":"Yu, X., Shavel, A., An, X., Luo, Z., Ibáñez, M., &#38; Cabot, A. (2014). Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. <i>Journal of the American Chemical Society</i>. ACS. <a href=\"https://doi.org/10.1021/ja502076b\">https://doi.org/10.1021/ja502076b</a>","mla":"Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 26, ACS, 2014, pp. 9236–39, doi:<a href=\"https://doi.org/10.1021/ja502076b\">10.1021/ja502076b</a>.","ista":"Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. Journal of the American Chemical Society. 136(26), 9236–9239.","ama":"Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. <i>Journal of the American Chemical Society</i>. 2014;136(26):9236-9239. doi:<a href=\"https://doi.org/10.1021/ja502076b\">10.1021/ja502076b</a>","short":"X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.","chicago":"Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” <i>Journal of the American Chemical Society</i>. ACS, 2014. <a href=\"https://doi.org/10.1021/ja502076b\">https://doi.org/10.1021/ja502076b</a>.","ieee":"X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 26. ACS, pp. 9236–9239, 2014."},"language":[{"iso":"eng"}],"status":"public","title":"Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation","volume":136,"date_created":"2018-12-11T11:45:52Z","publist_id":"7513","author":[{"last_name":"Yu","first_name":"Xuelian","full_name":"Yu, Xuelian"},{"full_name":"Shavel, Alexey","last_name":"Shavel","first_name":"Alexey"},{"full_name":"An, Xiaoqiang","last_name":"An","first_name":"Xiaoqiang"},{"last_name":"Luo","first_name":"Zhishan","full_name":"Luo, Zhishan"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria","first_name":"Maria","last_name":"Ibáñez"},{"first_name":"Andreu","last_name":"Cabot","full_name":"Cabot, Andreu"}],"page":"9236 - 9239","oa_version":"None","type":"journal_article","month":"06","day":"11","date_updated":"2021-01-12T07:42:37Z","abstract":[{"text":"Cu2ZnSnS4, based on abundant and environmental friendly elements and with a direct band gap of 1.5 eV, is a main candidate material for solar energy conversion through both photovoltaics and photocatalysis. We detail here the synthesis of quasi-spherical Cu 2ZnSnS4 nanoparticles with unprecedented narrow size distributions. We further detail their use as seeds to produce CZTS-Au and CZTS-Pt heterostructured nanoparticles. Such heterostructured nanoparticles are shown to have excellent photocatalytic properties toward degradation of Rhodamine B and hydrogen generation by water splitting. ","lang":"eng"}],"_id":"332","publication":"Journal of the American Chemical Society","article_type":"original","article_processing_charge":"No","publisher":"ACS","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2014"},{"status":"public","external_id":{"arxiv":["1305.4519"]},"alternative_title":["LNCS"],"citation":{"short":"R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.","ieee":"R. Fulek, J. Kynčl, I. Malinović, and D. Pálvölgyi, “Clustered planarity testing revisited,” in <i>International Symposium on Graph Drawing</i>, 2014, vol. 8871, pp. 428–436.","chicago":"Fulek, Radoslav, Jan Kynčl, Igor Malinović, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” In <i>International Symposium on Graph Drawing</i>, 8871:428–36. Cham: Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-662-45803-7_36\">https://doi.org/10.1007/978-3-662-45803-7_36</a>.","ista":"Fulek R, Kynčl J, Malinović I, Pálvölgyi D. 2014. Clustered planarity testing revisited. International Symposium on Graph Drawing. , LNCS, vol. 8871, 428–436.","mla":"Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” <i>International Symposium on Graph Drawing</i>, vol. 8871, Springer Nature, 2014, pp. 428–36, doi:<a href=\"https://doi.org/10.1007/978-3-662-45803-7_36\">10.1007/978-3-662-45803-7_36</a>.","apa":"Fulek, R., Kynčl, J., Malinović, I., &#38; Pálvölgyi, D. (2014). Clustered planarity testing revisited. In <i>International Symposium on Graph Drawing</i> (Vol. 8871, pp. 428–436). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-662-45803-7_36\">https://doi.org/10.1007/978-3-662-45803-7_36</a>","ama":"Fulek R, Kynčl J, Malinović I, Pálvölgyi D. Clustered planarity testing revisited. In: <i>International Symposium on Graph Drawing</i>. Vol 8871. Cham: Springer Nature; 2014:428-436. doi:<a href=\"https://doi.org/10.1007/978-3-662-45803-7_36\">10.1007/978-3-662-45803-7_36</a>"},"intvolume":"      8871","related_material":{"record":[{"status":"public","id":"1642","relation":"later_version"}]},"publication_status":"published","date_published":"2014-01-01T00:00:00Z","year":"2014","_id":"10793","month":"01","type":"conference","oa_version":"Preprint","abstract":[{"lang":"eng","text":"The Hanani–Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this classical result to clustered graphs with two disjoint clusters, and show that a straightforward extension of our result to flat clustered graphs with three or more disjoint clusters is not possible.\r\n\r\nWe also give a new and short proof for a related result by Di Battista and Frati based on the matroid intersection algorithm."}],"date_updated":"2023-02-23T10:08:04Z","page":"428-436","date_created":"2022-02-25T10:32:14Z","volume":8871,"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743"]},"quality_controlled":"1","doi":"10.1007/978-3-662-45803-7_36","department":[{"_id":"UlWa"}],"place":"Cham","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","article_processing_charge":"No","scopus_import":"1","publication":"International Symposium on Graph Drawing","day":"01","author":[{"orcid":"0000-0001-8485-1774","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","full_name":"Fulek, Radoslav","first_name":"Radoslav","last_name":"Fulek"},{"full_name":"Kynčl, Jan","first_name":"Jan","last_name":"Kynčl"},{"full_name":"Malinović, Igor","last_name":"Malinović","first_name":"Igor"},{"last_name":"Pálvölgyi","first_name":"Dömötör","full_name":"Pálvölgyi, Dömötör"}],"arxiv":1,"title":"Clustered planarity testing revisited"},{"_id":"10811","article_processing_charge":"No","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","department":[{"_id":"EvBe"}],"year":"2014","place":"Vienna","title":"Auxin and Its Role in Plant Development","date_created":"2022-03-03T11:52:44Z","page":"444","month":"04","oa_version":"None","type":"book_editor","date_updated":"2022-03-04T07:38:15Z","day":"01","abstract":[{"lang":"eng","text":"Auxin is an important signaling compound in plants and vital for plant development and growth. The present book, Auxin and its Role in Plant Development, provides the reader with detailed and comprehensive insight into the functioning of the molecule on the whole and specifically in plant development. In the first part, the functioning, metabolism and signaling pathways of auxin in plants are explained, the second part depicts the specific role of auxin in plant development and the third part describes the interaction and functioning of the signaling compound  upon stimuli of the environment. Each chapter is written by international experts in the respective field and designed for scientists and researchers in plant biology, plant development and cell biology to summarize the recent progress in understanding the role of auxin and suggest future perspectives for auxin research."}],"citation":{"ama":"Zažímalová E, Petrášek J, Benková E, eds. <i>Auxin and Its Role in Plant Development</i>. 1st ed. Vienna: Springer Nature; 2014. doi:<a href=\"https://doi.org/10.1007/978-3-7091-1526-8\">10.1007/978-3-7091-1526-8</a>","apa":"Zažímalová, E., Petrášek, J., &#38; Benková, E. (Eds.). (2014). <i>Auxin and Its Role in Plant Development</i> (1st ed.). Vienna: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-7091-1526-8\">https://doi.org/10.1007/978-3-7091-1526-8</a>","ista":"Zažímalová E, Petrášek J, Benková E eds. 2014. Auxin and Its Role in Plant Development 1st ed., Vienna: Springer Nature, 444p.","mla":"Zažímalová, Eva, et al., editors. <i>Auxin and Its Role in Plant Development</i>. 1st ed., Springer Nature, 2014, doi:<a href=\"https://doi.org/10.1007/978-3-7091-1526-8\">10.1007/978-3-7091-1526-8</a>.","chicago":"Zažímalová, Eva, Jan Petrášek, and Eva Benková, eds. <i>Auxin and Its Role in Plant Development</i>. 1st ed. Vienna: Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-7091-1526-8\">https://doi.org/10.1007/978-3-7091-1526-8</a>.","ieee":"E. Zažímalová, J. Petrášek, and E. Benková, Eds., <i>Auxin and Its Role in Plant Development</i>, 1st ed. Vienna: Springer Nature, 2014.","short":"E. Zažímalová, J. Petrášek, E. Benková, eds., Auxin and Its Role in Plant Development, 1st ed., Springer Nature, Vienna, 2014."},"language":[{"iso":"eng"}],"edition":"1","status":"public","editor":[{"full_name":"Zažímalová, Eva","first_name":"Eva","last_name":"Zažímalová"},{"full_name":"Petrášek, Jan","first_name":"Jan","last_name":"Petrášek"},{"first_name":"Eva","last_name":"Benková","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.1007/978-3-7091-1526-8","date_published":"2014-04-01T00:00:00Z","quality_controlled":"1","publication_identifier":{"isbn":["9783709115251"],"eisbn":["9783709115268"]},"publication_status":"published"},{"status":"public","intvolume":"       116","keyword":["General Medicine"],"language":[{"iso":"eng"}],"citation":{"short":"R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.","chicago":"Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.” <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>. Springer Nature, 2014. <a href=\"https://doi.org/10.1365/s13291-014-0083-9\">https://doi.org/10.1365/s13291-014-0083-9</a>.","ieee":"R. Seiringer, “The excitation spectrum for Bose fluids with weak interactions,” <i>Jahresbericht der Deutschen Mathematiker-Vereinigung</i>, vol. 116. Springer Nature, pp. 21–41, 2014.","apa":"Seiringer, R. (2014). The excitation spectrum for Bose fluids with weak interactions. <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>. Springer Nature. <a href=\"https://doi.org/10.1365/s13291-014-0083-9\">https://doi.org/10.1365/s13291-014-0083-9</a>","mla":"Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.” <i>Jahresbericht Der Deutschen Mathematiker-Vereinigung</i>, vol. 116, Springer Nature, 2014, pp. 21–41, doi:<a href=\"https://doi.org/10.1365/s13291-014-0083-9\">10.1365/s13291-014-0083-9</a>.","ista":"Seiringer R. 2014. The excitation spectrum for Bose fluids with weak interactions. Jahresbericht der Deutschen Mathematiker-Vereinigung. 116, 21–41.","ama":"Seiringer R. The excitation spectrum for Bose fluids with weak interactions. <i>Jahresbericht der Deutschen Mathematiker-Vereinigung</i>. 2014;116:21-41. doi:<a href=\"https://doi.org/10.1365/s13291-014-0083-9\">10.1365/s13291-014-0083-9</a>"},"publication_status":"published","publication_identifier":{"issn":["0012-0456"],"eissn":["1869-7135"]},"doi":"10.1365/s13291-014-0083-9","date_published":"2014-03-01T00:00:00Z","quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Springer Nature","year":"2014","department":[{"_id":"RoSe"}],"publication":"Jahresbericht der Deutschen Mathematiker-Vereinigung","_id":"10814","scopus_import":"1","article_processing_charge":"No","article_type":"original","page":"21-41","author":[{"orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","first_name":"Robert","last_name":"Seiringer"}],"abstract":[{"lang":"eng","text":"We review recent progress towards a rigorous understanding of the excitation spectrum of bosonic quantum many-body systems. In particular, we explain how one can rigorously establish the predictions resulting from the Bogoliubov approximation in the mean field limit. The latter predicts that the spectrum is made up of elementary excitations, whose energy behaves linearly in the momentum for small momentum. This property is crucial for the superfluid behavior of the system. We also discuss a list of open problems in this field."}],"day":"01","date_updated":"2023-09-05T14:19:47Z","oa_version":"None","type":"journal_article","month":"03","title":"The excitation spectrum for Bose fluids with weak interactions","volume":116,"date_created":"2022-03-04T07:54:39Z"},{"publication_status":"published","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/cga.12039"}],"date_published":"2014-02-01T00:00:00Z","status":"public","external_id":{"pmid":["24666178"]},"citation":{"short":"M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.","ieee":"M. Hashimoto, H. Morita, and N. Ueno, “Molecular and cellular mechanisms of development underlying congenital diseases,” <i>Congenital Anomalies</i>, vol. 54, no. 1. Wiley, pp. 1–7, 2014.","chicago":"Hashimoto, Masakazu, Hitoshi Morita, and Naoto Ueno. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.” <i>Congenital Anomalies</i>. Wiley, 2014. <a href=\"https://doi.org/10.1111/cga.12039\">https://doi.org/10.1111/cga.12039</a>.","ista":"Hashimoto M, Morita H, Ueno N. 2014. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 54(1), 1–7.","mla":"Hashimoto, Masakazu, et al. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.” <i>Congenital Anomalies</i>, vol. 54, no. 1, Wiley, 2014, pp. 1–7, doi:<a href=\"https://doi.org/10.1111/cga.12039\">10.1111/cga.12039</a>.","apa":"Hashimoto, M., Morita, H., &#38; Ueno, N. (2014). Molecular and cellular mechanisms of development underlying congenital diseases. <i>Congenital Anomalies</i>. Wiley. <a href=\"https://doi.org/10.1111/cga.12039\">https://doi.org/10.1111/cga.12039</a>","ama":"Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development underlying congenital diseases. <i>Congenital Anomalies</i>. 2014;54(1):1-7. doi:<a href=\"https://doi.org/10.1111/cga.12039\">10.1111/cga.12039</a>"},"intvolume":"        54","abstract":[{"lang":"eng","text":"In the last several decades, developmental biology has clarified the molecular mechanisms of embryogenesis and organogenesis. In particular, it has demonstrated that the “tool-kit genes” essential for regulating developmental processes are not only highly conserved among species, but are also used as systems at various times and places in an organism to control distinct developmental events. Therefore, mutations in many of these tool-kit genes may cause congenital diseases involving morphological abnormalities. This link between genes and abnormal morphological phenotypes underscores the importance of understanding how cells behave and contribute to morphogenesis as a result of gene function. Recent improvements in live imaging and in quantitative analyses of cellular dynamics will advance our understanding of the cellular pathogenesis of congenital diseases associated with aberrant morphologies. In these studies, it is critical to select an appropriate model organism for the particular phenomenon of interest."}],"date_updated":"2022-03-04T08:26:05Z","oa_version":"None","type":"journal_article","month":"02","page":"1-7","date_created":"2022-03-04T08:17:25Z","volume":54,"year":"2014","acknowledgement":"The authors thank all the members of the Division of Morphogenesis, National Institute for Basic Biology, for their contributions to the research, their encouragement, and helpful discussions, particularly Dr M. Suzuki for his critical reading of the manuscript. We also thank the Model Animal Research and Spectrography and Bioimaging Facilities, NIBB Core Research Facilities, for technical support. M.H. was supported by a research fellowship from the Japan Society for the Promotion of Science (JSPS). Our work introduced in this review was supported by a Grant-in-Aid for Scientific Research on Innovative Areas from the Ministry of Education, Culture, Sports, Science, and Technology (MEXT), Japan, to N.U.","_id":"10815","publication_identifier":{"issn":["0914-3505"]},"quality_controlled":"1","doi":"10.1111/cga.12039","language":[{"iso":"eng"}],"issue":"1","keyword":["Developmental Biology","Embryology","General Medicine","Pediatrics","Perinatology","and Child Health"],"day":"01","author":[{"last_name":"Hashimoto","first_name":"Masakazu","full_name":"Hashimoto, Masakazu"},{"full_name":"Morita, Hitoshi","id":"4C6E54C6-F248-11E8-B48F-1D18A9856A87","last_name":"Morita","first_name":"Hitoshi"},{"first_name":"Naoto","last_name":"Ueno","full_name":"Ueno, Naoto"}],"title":"Molecular and cellular mechanisms of development underlying congenital diseases","pmid":1,"department":[{"_id":"CaHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Wiley","scopus_import":"1","article_processing_charge":"No","article_type":"original","publication":"Congenital Anomalies"},{"publication_status":"published","date_published":"2014-03-19T00:00:00Z","editor":[{"first_name":"Peer-Timo","last_name":"Bremer","full_name":"Bremer, Peer-Timo"},{"last_name":"Hotz","first_name":"Ingrid","full_name":"Hotz, Ingrid"},{"full_name":"Pascucci, Valerio","last_name":"Pascucci","first_name":"Valerio"},{"first_name":"Ronald","last_name":"Peikert","full_name":"Peikert, Ronald"}],"status":"public","citation":{"ama":"Günther D, Reininghaus J, Seidel H-P, Weinkauf T. Notes on the simplification of the Morse-Smale complex. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. <i>Topological Methods in Data Analysis and Visualization III.</i> Mathematics and Visualization. Cham: Springer Nature; 2014:135-150. doi:<a href=\"https://doi.org/10.1007/978-3-319-04099-8_9\">10.1007/978-3-319-04099-8_9</a>","apa":"Günther, D., Reininghaus, J., Seidel, H.-P., &#38; Weinkauf, T. (2014). Notes on the simplification of the Morse-Smale complex. In P.-T. Bremer, I. Hotz, V. Pascucci, &#38; R. Peikert (Eds.), <i>Topological Methods in Data Analysis and Visualization III.</i> (pp. 135–150). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-04099-8_9\">https://doi.org/10.1007/978-3-319-04099-8_9</a>","ista":"Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization III. , 135–150.","mla":"Günther, David, et al. “Notes on the Simplification of the Morse-Smale Complex.” <i>Topological Methods in Data Analysis and Visualization III.</i>, edited by Peer-Timo Bremer et al., Springer Nature, 2014, pp. 135–50, doi:<a href=\"https://doi.org/10.1007/978-3-319-04099-8_9\">10.1007/978-3-319-04099-8_9</a>.","chicago":"Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf. “Notes on the Simplification of the Morse-Smale Complex.” In <i>Topological Methods in Data Analysis and Visualization III.</i>, edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization. Cham: Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-319-04099-8_9\">https://doi.org/10.1007/978-3-319-04099-8_9</a>.","ieee":"D. Günther, J. Reininghaus, H.-P. Seidel, and T. Weinkauf, “Notes on the simplification of the Morse-Smale complex,” in <i>Topological Methods in Data Analysis and Visualization III.</i>, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer Nature, 2014, pp. 135–150.","short":"D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150."},"date_updated":"2023-09-05T15:33:45Z","abstract":[{"lang":"eng","text":"The Morse-Smale complex can be either explicitly or implicitly represented. Depending on the type of representation, the simplification of the Morse-Smale complex works differently. In the explicit representation, the Morse-Smale complex is directly simplified by explicitly reconnecting the critical points during the simplification. In the implicit representation, on the other hand, the Morse-Smale complex is given by a combinatorial gradient field. In this setting, the simplification changes the combinatorial flow, which yields an indirect simplification of the Morse-Smale complex. The topological complexity of the Morse-Smale complex is reduced in both representations. However, the simplifications generally yield different results. In this chapter, we emphasize properties of the two representations that cause these differences. We also provide a complexity analysis of the two schemes with respect to running time and memory consumption."}],"oa_version":"None","month":"03","type":"book_chapter","page":"135-150","date_created":"2022-03-04T08:33:57Z","year":"2014","acknowledgement":"This research is supported and funded by the Digiteo unTopoVis project, the TOPOSYS project FP7-ICT-318493-STREP, and MPC-VCC.","_id":"10817","publication_identifier":{"issn":["1612-3786"],"eisbn":["9783319040998"],"eissn":["2197-666X"],"isbn":["9783319040981"]},"quality_controlled":"1","doi":"10.1007/978-3-319-04099-8_9","project":[{"grant_number":"318493","call_identifier":"FP7","_id":"255D761E-B435-11E9-9278-68D0E5697425","name":"Topological Complex Systems"}],"language":[{"iso":"eng"}],"series_title":"Mathematics and Visualization","day":"19","author":[{"first_name":"David","last_name":"Günther","full_name":"Günther, David"},{"full_name":"Reininghaus, Jan","id":"4505473A-F248-11E8-B48F-1D18A9856A87","last_name":"Reininghaus","first_name":"Jan"},{"full_name":"Seidel, Hans-Peter","last_name":"Seidel","first_name":"Hans-Peter"},{"last_name":"Weinkauf","first_name":"Tino","full_name":"Weinkauf, Tino"}],"title":"Notes on the simplification of the Morse-Smale complex","place":"Cham","department":[{"_id":"HeEd"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Springer Nature","scopus_import":"1","article_processing_charge":"No","ec_funded":1,"publication":"Topological Methods in Data Analysis and Visualization III."},{"_id":"10884","acknowledgement":"This work was supported by the Austrian Science Fund through grant P23499-N23\r\nand through the RiSE network (S11403, S11405, S11406, S11407-N23); ERC Starting Grant (279307: Graph Games); Vienna Science and Technology Fund (WWTF)\r\ngrants PROSEED, ICT12-059, and VRG11-005.","year":"2014","volume":8318,"date_created":"2022-03-18T13:01:22Z","page":"262-281","date_updated":"2022-05-17T08:36:01Z","abstract":[{"lang":"eng","text":"We revisit the parameterized model checking problem for token-passing systems and specifications in indexed CTL  ∗ \\X. Emerson and Namjoshi (1995, 2003) have shown that parameterized model checking of indexed CTL  ∗ \\X in uni-directional token rings can be reduced to checking rings up to some cutoff size. Clarke et al. (2004) have shown a similar result for general topologies and indexed LTL \\X, provided processes cannot choose the directions for sending or receiving the token.\r\nWe unify and substantially extend these results by systematically exploring fragments of indexed CTL  ∗ \\X with respect to general topologies. For each fragment we establish whether a cutoff exists, and for some concrete topologies, such as rings, cliques and stars, we infer small cutoffs. Finally, we show that the problem becomes undecidable, and thus no cutoffs exist, if processes are allowed to choose the directions in which they send or from which they receive the token."}],"oa_version":"Preprint","month":"01","type":"conference","intvolume":"      8318","citation":{"short":"B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.","chicago":"Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized Model Checking of Token-Passing Systems.” In <i>Verification, Model Checking, and Abstract Interpretation</i>, 8318:262–81. Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_15\">https://doi.org/10.1007/978-3-642-54013-4_15</a>.","ieee":"B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in <i>Verification, Model Checking, and Abstract Interpretation</i>, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.","apa":"Aminof, B., Jacobs, S., Khalimov, A., &#38; Rubin, S. (2014). Parameterized model checking of token-passing systems. In <i>Verification, Model Checking, and Abstract Interpretation</i> (Vol. 8318, pp. 262–281). San Diego, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_15\">https://doi.org/10.1007/978-3-642-54013-4_15</a>","mla":"Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.” <i>Verification, Model Checking, and Abstract Interpretation</i>, vol. 8318, Springer Nature, 2014, pp. 262–81, doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_15\">10.1007/978-3-642-54013-4_15</a>.","ista":"Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.","ama":"Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing systems. In: <i>Verification, Model Checking, and Abstract Interpretation</i>. Vol 8318. Springer Nature; 2014:262-281. doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_15\">10.1007/978-3-642-54013-4_15</a>"},"alternative_title":["LNCS"],"status":"public","external_id":{"arxiv":["1311.4425"]},"date_published":"2014-01-30T00:00:00Z","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1311.4425","open_access":"1"}],"publication_status":"published","oa":1,"publication":"Verification, Model Checking, and Abstract Interpretation","article_processing_charge":"No","scopus_import":"1","ec_funded":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","department":[{"_id":"KrCh"}],"arxiv":1,"title":"Parameterized model checking of token-passing systems","author":[{"last_name":"Aminof","first_name":"Benjamin","full_name":"Aminof, Benjamin","id":"4A55BD00-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jacobs, Swen","first_name":"Swen","last_name":"Jacobs"},{"full_name":"Khalimov, Ayrat","last_name":"Khalimov","first_name":"Ayrat"},{"first_name":"Sasha","last_name":"Rubin","full_name":"Rubin, Sasha","id":"2EC51194-F248-11E8-B48F-1D18A9856A87"}],"day":"30","conference":{"end_date":"2014-01-21","location":"San Diego, CA, United States","name":"VMCAI: Verifcation, Model Checking, and Abstract Interpretation","start_date":"2014-01-19"},"language":[{"iso":"eng"}],"project":[{"grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"}],"doi":"10.1007/978-3-642-54013-4_15","quality_controlled":"1","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783642540127"],"eisbn":["9783642540134"],"issn":["0302-9743"]}},{"publication_status":"published","date_published":"2014-01-30T00:00:00Z","external_id":{"arxiv":["1311.3238"]},"status":"public","alternative_title":["LNCS"],"citation":{"ista":"Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.","mla":"Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_5\">10.1007/978-3-642-54013-4_5</a>.","apa":"Chatterjee, K., Doyen, L., Filiot, E., &#38; Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i> (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_5\">https://doi.org/10.1007/978-3-642-54013-4_5</a>","ama":"Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular games. In: <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>. Vol 8318. Springer Nature; 2014:78-97. doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_5\">10.1007/978-3-642-54013-4_5</a>","short":"K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.","ieee":"K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.” In <i>VMCAI 2014: Verification, Model Checking, and Abstract Interpretation</i>, 8318:78–97. Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_5\">https://doi.org/10.1007/978-3-642-54013-4_5</a>."},"intvolume":"      8318","related_material":{"record":[{"relation":"later_version","status":"public","id":"681"}]},"date_updated":"2023-02-23T12:52:24Z","abstract":[{"text":"Two-player games on graphs provide the theoretical framework for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has been extended to multi-player games with several notions of equilibria, they are decidable only for perfect-information games, whereas several applications require imperfect-information games.\r\nIn this paper we propose a new notion of equilibria, called doomsday equilibria, which is a strategy profile such that all players satisfy their own objective, and if any coalition of players deviates and violates even one of the players objective, then the objective of every player is violated.\r\nWe present algorithms and complexity results for deciding the existence of doomsday equilibria for various classes of ω-regular objectives, both for imperfect-information games, and for perfect-information games.We provide optimal complexity bounds for imperfect-information games, and in most cases for perfect-information games.","lang":"eng"}],"month":"01","oa_version":"Preprint","type":"conference","page":"78-97","date_created":"2022-03-18T13:03:15Z","volume":8318,"year":"2014","acknowledgement":" Supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No\r\nS11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","_id":"10885","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783642540127"],"eisbn":["9783642540134"]},"quality_controlled":"1","doi":"10.1007/978-3-642-54013-4_5","project":[{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Game Theory","grant_number":"S11407"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"language":[{"iso":"eng"}],"conference":{"location":"San Diego, CA, United States","name":"VMCAI: Verifcation, Model Checking, and Abstract Interpretation","start_date":"2014-01-19","end_date":"2014-01-21"},"day":"30","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"full_name":"Filiot, Emmanuel","first_name":"Emmanuel","last_name":"Filiot"},{"full_name":"Raskin, Jean-François","first_name":"Jean-François","last_name":"Raskin"}],"title":"Doomsday equilibria for omega-regular games","arxiv":1,"department":[{"_id":"KrCh"}],"publisher":"Springer Nature","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","ec_funded":1,"scopus_import":"1","publication":"VMCAI 2014: Verification, Model Checking, and Abstract Interpretation"},{"quality_controlled":"1","date_published":"2014-03-19T00:00:00Z","doi":"10.1007/978-3-319-04099-8_16","publication_identifier":{"isbn":["9783319040981"],"eissn":["2197-666X"],"eisbn":["9783319040998"],"issn":["1612-3786"]},"publication_status":"published","citation":{"ama":"Zobel V, Reininghaus J, Hotz I. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In: <i>Topological Methods in Data Analysis and Visualization III </i>. Springer; 2014:249-262. doi:<a href=\"https://doi.org/10.1007/978-3-319-04099-8_16\">10.1007/978-3-319-04099-8_16</a>","apa":"Zobel, V., Reininghaus, J., &#38; Hotz, I. (2014). Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In <i>Topological Methods in Data Analysis and Visualization III </i> (pp. 249–262). Springer. <a href=\"https://doi.org/10.1007/978-3-319-04099-8_16\">https://doi.org/10.1007/978-3-319-04099-8_16</a>","ista":"Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.","mla":"Zobel, Valentin, et al. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” <i>Topological Methods in Data Analysis and Visualization III </i>, Springer, 2014, pp. 249–62, doi:<a href=\"https://doi.org/10.1007/978-3-319-04099-8_16\">10.1007/978-3-319-04099-8_16</a>.","chicago":"Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” In <i>Topological Methods in Data Analysis and Visualization III </i>, 249–62. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-04099-8_16\">https://doi.org/10.1007/978-3-319-04099-8_16</a>.","ieee":"V. Zobel, J. Reininghaus, and I. Hotz, “Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature,” in <i>Topological Methods in Data Analysis and Visualization III </i>, 2014, pp. 249–262.","short":"V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262."},"language":[{"iso":"eng"}],"status":"public","alternative_title":["Mathematics and Visualization"],"date_created":"2022-03-18T13:05:39Z","title":"Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature","type":"conference","oa_version":"None","month":"03","day":"19","abstract":[{"lang":"eng","text":"We propose a method for visualizing two-dimensional symmetric positive definite tensor fields using the Heat Kernel Signature (HKS). The HKS is derived from the heat kernel and was originally introduced as an isometry invariant shape signature. Each positive definite tensor field defines a Riemannian manifold by considering the tensor field as a Riemannian metric. On this Riemmanian manifold we can apply the definition of the HKS. The resulting scalar quantity is used for the visualization of tensor fields. The HKS is closely related to the Gaussian curvature of the Riemannian manifold and the time parameter of the heat kernel allows a multiscale analysis in a natural way. In this way, the HKS represents field related scale space properties, enabling a level of detail analysis of tensor fields. This makes the HKS an interesting new scalar quantity for tensor fields, which differs significantly from usual tensor invariants like the trace or the determinant. A method for visualization and a numerical realization of the HKS for tensor fields is proposed in this chapter. To validate the approach we apply it to some illustrating simple examples as isolated critical points and to a medical diffusion tensor data set."}],"date_updated":"2023-09-05T14:13:16Z","author":[{"full_name":"Zobel, Valentin","first_name":"Valentin","last_name":"Zobel"},{"id":"4505473A-F248-11E8-B48F-1D18A9856A87","full_name":"Reininghaus, Jan","first_name":"Jan","last_name":"Reininghaus"},{"first_name":"Ingrid","last_name":"Hotz","full_name":"Hotz, Ingrid"}],"page":"249-262","article_processing_charge":"No","scopus_import":"1","_id":"10886","publication":"Topological Methods in Data Analysis and Visualization III ","year":"2014","department":[{"_id":"HeEd"}],"acknowledgement":"This research is partially supported by the TOPOSYS project FP7-ICT-318493-STREP.","publisher":"Springer","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"article_processing_charge":"No","scopus_import":"1","publication":"25th International Symposium, ISAAC 2014","department":[{"_id":"HeEd"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","title":"Planar matchings for weighted straight skeletons","day":"08","author":[{"full_name":"Biedl, Therese","last_name":"Biedl","first_name":"Therese"},{"full_name":"Huber, Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8871-5814","first_name":"Stefan","last_name":"Huber"},{"full_name":"Palfrader, Peter","first_name":"Peter","last_name":"Palfrader"}],"language":[{"iso":"eng"}],"conference":{"end_date":"2014-12-17","location":"Jeonju, Korea","name":"ISAAC: International Symposium on Algorithms and Computation","start_date":"2014-12-15"},"quality_controlled":"1","doi":"10.1007/978-3-319-13075-0_10","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783319130750"],"isbn":["9783319130743"],"eissn":["1611-3349"]},"_id":"10892","year":"2014","acknowledgement":"T. Biedl was supported by NSERC and the Ross and Muriel Cheriton Fellowship. P. Palfrader was supported by Austrian Science Fund (FWF): P25816-N15.","date_created":"2022-03-21T07:09:03Z","volume":8889,"date_updated":"2023-02-23T12:20:55Z","abstract":[{"text":"In this paper, 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.\r\nUsing 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.","lang":"eng"}],"oa_version":"None","type":"conference","month":"11","page":"117-127","citation":{"ama":"Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: <i>25th International Symposium, ISAAC 2014</i>. Vol 8889. Springer Nature; 2014:117-127. doi:<a href=\"https://doi.org/10.1007/978-3-319-13075-0_10\">10.1007/978-3-319-13075-0_10</a>","mla":"Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” <i>25th International Symposium, ISAAC 2014</i>, vol. 8889, Springer Nature, 2014, pp. 117–27, doi:<a href=\"https://doi.org/10.1007/978-3-319-13075-0_10\">10.1007/978-3-319-13075-0_10</a>.","ista":"Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 8889, 117–127.","apa":"Biedl, T., Huber, S., &#38; Palfrader, P. (2014). Planar matchings for weighted straight skeletons. In <i>25th International Symposium, ISAAC 2014</i> (Vol. 8889, pp. 117–127). Jeonju, Korea: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-13075-0_10\">https://doi.org/10.1007/978-3-319-13075-0_10</a>","ieee":"T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” in <i>25th International Symposium, ISAAC 2014</i>, Jeonju, Korea, 2014, vol. 8889, pp. 117–127.","chicago":"Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” In <i>25th International Symposium, ISAAC 2014</i>, 8889:117–27. Springer Nature, 2014. <a href=\"https://doi.org/10.1007/978-3-319-13075-0_10\">https://doi.org/10.1007/978-3-319-13075-0_10</a>.","short":"T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127."},"intvolume":"      8889","related_material":{"record":[{"status":"public","id":"481","relation":"later_version"}]},"status":"public","alternative_title":["LNCS"],"date_published":"2014-11-08T00:00:00Z","publication_status":"published"}]