[{"pubrep_id":"622","doi":"10.4230/LIPIcs.SoCG.2016.24","quality_controlled":"1","conference":{"name":"SoCG: Symposium on Computational Geometry","location":"Medford, MA, USA","start_date":"2016-06-14","end_date":"2016-06-17"},"language":[{"iso":"eng"}],"author":[{"first_name":"Benjamin","last_name":"Burton","full_name":"Burton, Benjamin"},{"first_name":"Arnaud N","last_name":"De Mesmay","id":"3DB2F25C-F248-11E8-B48F-1D18A9856A87","full_name":"De Mesmay, Arnaud N"},{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli","last_name":"Wagner","first_name":"Uli"}],"file":[{"file_name":"IST-2016-622-v1+1_LIPIcs-SoCG-2016-24.pdf","creator":"system","relation":"main_file","content_type":"application/pdf","file_size":574770,"checksum":"f04248a61c24297cfabd30c5f8e0deb9","date_updated":"2020-07-14T12:44:47Z","file_id":"4930","access_level":"open_access","date_created":"2018-12-12T10:12:12Z"}],"license":"https://creativecommons.org/licenses/by/4.0/","day":"01","title":"Finding non-orientable surfaces in 3-manifolds","publist_id":"5832","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing","department":[{"_id":"UlWa"}],"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,"publication_status":"published","oa":1,"has_accepted_license":"1","date_published":"2016-06-01T00:00:00Z","ddc":["510"],"alternative_title":["LIPIcs"],"status":"public","related_material":{"record":[{"relation":"later_version","id":"534","status":"public"}]},"intvolume":" 51","citation":{"short":"B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.","ieee":"B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.","chicago":"Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.","mla":"Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.","ista":"Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.","apa":"Burton, B., de Mesmay, A. N., & Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.24","ama":"Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24"},"page":"24.1 - 24.15","month":"06","type":"conference","oa_version":"Published Version","date_updated":"2023-02-23T12:23:20Z","abstract":[{"text":"We investigate the complexity of finding an embedded non-orientable surface of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case.","lang":"eng"}],"volume":51,"date_created":"2018-12-11T11:51:41Z","file_date_updated":"2020-07-14T12:44:47Z","year":"2016","_id":"1379"},{"status":"public","intvolume":" 63","citation":{"short":"V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).","chicago":"Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Complexity of the Orbit Problem.” Journal of the ACM. ACM, 2016. https://doi.org/10.1145/2857050.","ieee":"V. K. Chonev, J. Ouaknine, and J. Worrell, “On the complexity of the orbit problem,” Journal of the ACM, vol. 63, no. 3. ACM, 2016.","apa":"Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the complexity of the orbit problem. Journal of the ACM. ACM. https://doi.org/10.1145/2857050","mla":"Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.” Journal of the ACM, vol. 63, no. 3, 23, ACM, 2016, doi:10.1145/2857050.","ista":"Chonev VK, Ouaknine J, Worrell J. 2016. On the complexity of the orbit problem. Journal of the ACM. 63(3), 23.","ama":"Chonev VK, Ouaknine J, Worrell J. On the complexity of the orbit problem. Journal of the ACM. 2016;63(3). doi:10.1145/2857050"},"language":[{"iso":"eng"}],"issue":"3","oa":1,"publication_status":"published","date_published":"2016-06-01T00:00:00Z","doi":"10.1145/2857050","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1303.2981"}],"quality_controlled":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","department":[{"_id":"KrCh"}],"year":"2016","publication":"Journal of the ACM","_id":"1380","scopus_import":1,"author":[{"last_name":"Chonev","first_name":"Ventsislav K","id":"36CBE2E6-F248-11E8-B48F-1D18A9856A87","full_name":"Chonev, Ventsislav K"},{"first_name":"Joël","last_name":"Ouaknine","full_name":"Ouaknine, Joël"},{"first_name":"James","last_name":"Worrell","full_name":"Worrell, James"}],"date_updated":"2021-01-12T06:50:17Z","abstract":[{"lang":"eng","text":"We consider higher-dimensional versions of Kannan and Lipton's Orbit Problem - determining whether a target vector space V may be reached from a starting point x under repeated applications of a linear transformation A. Answering two questions posed by Kannan and Lipton in the 1980s, we show that when V has dimension one, this problem is solvable in polynomial time, and when V has dimension two or three, the problem is in NPRP."}],"day":"01","type":"journal_article","oa_version":"Preprint","month":"06","volume":63,"title":"On the complexity of the orbit problem","article_number":"23","publist_id":"5831","date_created":"2018-12-11T11:51:41Z"},{"ddc":["510"],"date_published":"2016-06-01T00:00:00Z","has_accepted_license":"1","publication_status":"published","oa":1,"citation":{"short":"I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.","chicago":"Mabillard, Isaac, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range,” 51:51.1-51.12. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.51.","ieee":"I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.","apa":"Mabillard, I., & Wagner, U. (2016). Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range (Vol. 51, p. 51.1-51.12). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/LIPIcs.SoCG.2016.51","ista":"Mabillard I, Wagner U. 2016. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 51.1-51.12.","mla":"Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.","ama":"Mabillard I, Wagner U. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH; 2016:51.1-51.12. doi:10.4230/LIPIcs.SoCG.2016.51"},"intvolume":" 51","status":"public","alternative_title":["LIPIcs"],"date_created":"2018-12-11T11:51:41Z","file_date_updated":"2020-07-14T12:44:47Z","volume":51,"abstract":[{"text":"Motivated by Tverberg-type problems in topological combinatorics and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into double-struck Rd without higher-multiplicity intersections. We focus on conditions for the existence of almost r-embeddings, i.e., maps f : K → double-struck Rd such that f(σ1) ∩ ⋯ ∩ f(σr) = ∅ whenever σ1, ..., σr are pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber embeddability criterion, we show that a well-known necessary deleted product condition for the existence of almost r-embeddings is sufficient in a suitable r-metastable range of dimensions: If rd ≥ (r + 1) dim K + 3, then there exists an almost r-embedding K → double-struck Rd if and only if there exists an equivariant map (K)Δ r → Sr Sd(r-1)-1, where (K)Δ r is the deleted r-fold product of K, the target Sd(r-1)-1 is the sphere of dimension d(r - 1) - 1, and Sr is the symmetric group. This significantly extends one of the main results of our previous paper (which treated the special case where d = rk and dim K = (r - 1)k for some k ≥ 3), and settles an open question raised there.","lang":"eng"}],"date_updated":"2021-01-12T06:50:17Z","month":"06","type":"conference","oa_version":"Published Version","page":"51.1 - 51.12","_id":"1381","year":"2016","quality_controlled":"1","doi":"10.4230/LIPIcs.SoCG.2016.51","pubrep_id":"621","language":[{"iso":"eng"}],"conference":{"end_date":"2016-06-17","start_date":"2016-06-14","name":"SoCG: Symposium on Computational Geometry","location":"Medford, MA, USA"},"project":[{"_id":"25FA3206-B435-11E9-9278-68D0E5697425","name":"Embeddings in Higher Dimensions: Algorithms and Combinatorics","grant_number":"PP00P2_138948"}],"publist_id":"5830","title":"Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range","day":"01","file":[{"file_size":622969,"content_type":"application/pdf","relation":"main_file","creator":"system","file_name":"IST-2016-621-v1+1_LIPIcs-SoCG-2016-51.pdf","date_created":"2018-12-12T10:10:06Z","access_level":"open_access","file_id":"4791","date_updated":"2020-07-14T12:44:47Z","checksum":"92c0c3735fe908f8ded6e484005cb3b1"}],"author":[{"full_name":"Mabillard, Isaac","id":"32BF9DAA-F248-11E8-B48F-1D18A9856A87","last_name":"Mabillard","first_name":"Isaac"},{"full_name":"Wagner, Uli","orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","last_name":"Wagner"}],"scopus_import":1,"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)"},"department":[{"_id":"UlWa"}],"publisher":"Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},{"_id":"1386","year":"2016","volume":9779,"date_created":"2018-12-11T11:51:43Z","page":"3 - 22","date_updated":"2024-03-25T23:30:18Z","abstract":[{"lang":"eng","text":"We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and assignments. Our approach is through synthesis of polynomial ranking supermartingales, that on one hand significantly generalizes linear ranking supermartingales and on the other hand is a counterpart of polynomial ranking-functions for proving termination of nonprobabilistic programs. The approach synthesizes polynomial ranking-supermartingales through Positivstellensatz's, yielding an efficient method which is not only sound, but also semi-complete over a large subclass of programs. We show experimental results to demonstrate that our approach can handle several classical programs with complex polynomial guards and assignments, and can synthesize efficient quadratic ranking-supermartingales when a linear one does not exist even for simple affine programs."}],"oa_version":"Preprint","type":"conference","month":"07","intvolume":" 9779","related_material":{"record":[{"status":"public","id":"8934","relation":"dissertation_contains"}]},"citation":{"short":"K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.","chicago":"Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.","ieee":"K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.","apa":"Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1","mla":"Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.","ista":"Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779, 3–22.","ama":"Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1"},"alternative_title":["LNCS"],"status":"public","date_published":"2016-07-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1604.07169"}],"publication_status":"published","oa":1,"ec_funded":1,"scopus_import":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","department":[{"_id":"KrCh"}],"title":"Termination analysis of probabilistic programs through Positivstellensatz's","publist_id":"5824","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Fu, Hongfei","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","last_name":"Fu","first_name":"Hongfei"},{"full_name":"Goharshady, Amir","orcid":"0000-0003-1702-6584","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir","last_name":"Goharshady"}],"day":"01","conference":{"start_date":"2016-07-17","location":"Toronto, Canada","name":"CAV: Computer Aided Verification","end_date":"2016-07-23"},"language":[{"iso":"eng"}],"project":[{"grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989"}],"doi":"10.1007/978-3-319-41528-4_1","quality_controlled":"1"},{"author":[{"full_name":"Chonev, Ventsislav K","id":"36CBE2E6-F248-11E8-B48F-1D18A9856A87","first_name":"Ventsislav K","last_name":"Chonev"},{"last_name":"Ouaknine","first_name":"Joël","full_name":"Ouaknine, Joël"},{"last_name":"Worrell","first_name":"James","full_name":"Worrell, James"}],"page":"515 - 524","date_updated":"2021-01-12T06:50:20Z","day":"05","abstract":[{"lang":"eng","text":"The continuous evolution of a wide variety of systems, including continous-time Markov chains and linear hybrid automata, can be\r\ndescribed in terms of linear differential equations. In this paper we study the decision problem of whether the solution x(t) of a system of linear differential equations dx/dt = Ax reaches a target halfspace infinitely often. This recurrent reachability problem can\r\nequivalently be formulated as the following Infinite Zeros Problem: does a real-valued function f:R≥0 --> R satisfying a given linear\r\ndifferential equation have infinitely many zeros? Our main decidability result is that if the differential equation has order at most 7, then the Infinite Zeros Problem is decidable. On the other hand, we show that a decision procedure for the Infinite Zeros Problem at order 9 (and above) would entail a major breakthrough in Diophantine Approximation, specifically an algorithm for computing the Lagrange constants of arbitrary real algebraic numbers to arbitrary precision."}],"type":"conference","oa_version":"Preprint","month":"07","title":"On recurrent reachability for continuous linear dynamical systems","publist_id":"5820","date_created":"2018-12-11T11:51:44Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"IEEE","year":"2016","department":[{"_id":"KrCh"}],"publication":"LICS '16","_id":"1389","ec_funded":1,"scopus_import":1,"oa":1,"publication_status":"published","date_published":"2016-07-05T00:00:00Z","doi":"10.1145/2933575.2934548","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1507.03632"}],"quality_controlled":"1","project":[{"name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling"}],"status":"public","conference":{"end_date":"2018-07-08","location":"New York, NY, USA","name":"LICS: Logic in Computer Science","start_date":"2018-07-05"},"language":[{"iso":"eng"}],"citation":{"short":"V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.","chicago":"Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” In LICS ’16, 515–24. IEEE, 2016. https://doi.org/10.1145/2933575.2934548.","ieee":"V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.","apa":"Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934548","mla":"Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.","ista":"Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.","ama":"Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous linear dynamical systems. In: LICS ’16. IEEE; 2016:515-524. doi:10.1145/2933575.2934548"}},{"ec_funded":1,"scopus_import":1,"department":[{"_id":"ToHe"}],"publisher":"Springer","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"5818","title":"Array folds logic","day":"13","author":[{"last_name":"Daca","first_name":"Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","full_name":"Daca, Przemyslaw"},{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"id":"2C311BF8-F248-11E8-B48F-1D18A9856A87","full_name":"Kupriyanov, Andrey","last_name":"Kupriyanov","first_name":"Andrey"}],"language":[{"iso":"eng"}],"conference":{"start_date":"2016-07-17","location":"Toronto, Canada","name":"CAV: Computer Aided Verification","end_date":"2016-07-23"},"project":[{"grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"quality_controlled":"1","doi":"10.1007/978-3-319-41540-6_13","_id":"1391","year":"2016","date_created":"2018-12-11T11:51:45Z","volume":9780,"month":"07","oa_version":"Preprint","type":"conference","abstract":[{"lang":"eng","text":"We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statements such as "the first array cell contains the array length," and "the array contains equally many minimal and maximal elements." These properties cannot be expressed in quantified fragments of the theory of arrays, nor in the theory of concatenation. Using reduction to counter machines, we show that the satisfiability problem of AFL is PSPACE-complete, and with a natural restriction the complexity decreases to NP. We also show that adding either universal quantifiers or concatenation leads to undecidability.\r\nAFL contains terms that fold a function over an array. We demonstrate that folding, a well-known concept from functional languages, allows us to concisely summarize loops that count over arrays, which occurs frequently in real-life programs. We provide a tool that can discharge proof obligations in AFL, and we demonstrate on practical examples that our decision procedure can solve a broad range of problems in symbolic testing and program verification."}],"date_updated":"2023-09-07T11:58:33Z","page":"230 - 248","citation":{"short":"P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.","ieee":"P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.","chicago":"Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,” 9780:230–48. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6_13.","mla":"Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.","ista":"Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.","apa":"Daca, P., Henzinger, T. A., & Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_13","ama":"Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13"},"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1155"}]},"intvolume":" 9780","status":"public","alternative_title":["LNCS"],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1603.06850"}],"date_published":"2016-07-13T00:00:00Z","oa":1,"publication_status":"published"},{"_id":"1394","year":"2016","acknowledgement":"The research leading to these results has received funding from the from the Marie\r\nCurie Action ITN NETADIS, grant agreement no. 290038.","date_created":"2018-12-11T11:51:46Z","volume":13,"type":"journal_article","month":"05","oa_version":"Preprint","date_updated":"2021-01-12T06:50:23Z","abstract":[{"lang":"eng","text":"The solution space of genome-scale models of cellular metabolism provides a map between physically\r\nviable flux configurations and cellular metabolic phenotypes described, at the most basic level, by the\r\ncorresponding growth rates. By sampling the solution space of E. coliʼs metabolic network, we show\r\nthat empirical growth rate distributions recently obtained in experiments at single-cell resolution can\r\nbe explained in terms of a trade-off between the higher fitness of fast-growing phenotypes and the\r\nhigher entropy of slow-growing ones. Based on this, we propose a minimal model for the evolution of\r\na large bacterial population that captures this trade-off. The scaling relationships observed in\r\nexperiments encode, in such frameworks, for the same distance from the maximum achievable growth\r\nrate, the same degree of growth rate maximization, and/or the same rate of phenotypic change. Being\r\ngrounded on genome-scale metabolic network reconstructions, these results allow for multiple\r\nimplications and extensions in spite of the underlying conceptual simplicity."}],"citation":{"chicago":"De Martino, Daniele, Fabrizio Capuani, and Andrea De Martino. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1478-3975/13/3/036005.","ieee":"D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli,” Physical Biology, vol. 13, no. 3. IOP Publishing Ltd., 2016.","short":"D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).","ama":"De Martino D, Capuani F, De Martino A. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 2016;13(3). doi:10.1088/1478-3975/13/3/036005","apa":"De Martino, D., Capuani, F., & De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/3/036005","mla":"De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology, vol. 13, no. 3, 036005, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/3/036005.","ista":"De Martino D, Capuani F, De Martino A. 2016. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 13(3), 036005."},"intvolume":" 13","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1601.03243"}],"date_published":"2016-05-27T00:00:00Z","oa":1,"publication_status":"published","ec_funded":1,"scopus_import":1,"publication":"Physical Biology","department":[{"_id":"GaTk"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"IOP Publishing Ltd.","publist_id":"5815","article_number":"036005","title":"Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli","day":"27","author":[{"last_name":"De Martino","first_name":"Daniele","orcid":"0000-0002-5214-4706","id":"3FF5848A-F248-11E8-B48F-1D18A9856A87","full_name":"De Martino, Daniele"},{"full_name":"Capuani, Fabrizio","first_name":"Fabrizio","last_name":"Capuani"},{"full_name":"De Martino, Andrea","last_name":"De Martino","first_name":"Andrea"}],"issue":"3","language":[{"iso":"eng"}],"project":[{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"291734"}],"quality_controlled":"1","doi":"10.1088/1478-3975/13/3/036005"},{"publication_identifier":{"issn":["2663-337X"]},"language":[{"iso":"eng"}],"file":[{"file_name":"Thesis_Mishra_Rajiv (Final).pdf","creator":"dernst","content_type":"application/pdf","relation":"main_file","file_size":2407572,"checksum":"5a010a838faf040f7064f3cfb802f743","date_updated":"2020-07-14T12:44:48Z","file_id":"6782","access_level":"closed","date_created":"2019-08-09T12:14:46Z"},{"date_updated":"2021-02-22T11:48:44Z","file_id":"9183","checksum":"81b26d9ede92c99f1d8cc6fa1d04cbbb","date_created":"2021-02-22T11:48:44Z","access_level":"open_access","success":1,"file_name":"2016_RajivMishra_Thesis.pdf","content_type":"application/pdf","relation":"main_file","file_size":2407572,"creator":"dernst"}],"day":"01","author":[{"full_name":"Mishra, Rajiv Kumar","id":"46CB58F2-F248-11E8-B48F-1D18A9856A87","last_name":"Mishra","first_name":"Rajiv Kumar"}],"degree_awarded":"PhD","publist_id":"5811","title":"Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus","department":[{"_id":"PeJo"}],"publisher":"Institute of Science and Technology Austria","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","has_accepted_license":"1","oa":1,"publication_status":"published","supervisor":[{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","first_name":"Peter M","last_name":"Jonas"}],"ddc":["570"],"date_published":"2016-03-01T00:00:00Z","status":"public","alternative_title":["ISTA Thesis"],"citation":{"apa":"Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.","ista":"Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.","mla":"Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. Institute of Science and Technology Austria, 2016.","ama":"Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 2016.","short":"R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.","chicago":"Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.","ieee":"R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus,” Institute of Science and Technology Austria, 2016."},"related_material":{"record":[{"status":"public","id":"1432","relation":"part_of_dissertation"}]},"date_updated":"2023-09-07T11:55:26Z","abstract":[{"text":"CA3 pyramidal neurons are thought to pay a key role in memory storage and pattern completion by activity-dependent synaptic plasticity between CA3-CA3 recurrent excitatory synapses. To examine the induction rules of synaptic plasticity at CA3-CA3 synapses, we performed whole-cell patch-clamp recordings in acute hippocampal slices from rats (postnatal 21-24 days) at room temperature. Compound excitatory postsynaptic potentials (ESPSs) were recorded by tract stimulation in stratum oriens in the presence of 10 µM gabazine. High-frequency stimulation (HFS) induced N-methyl-D-aspartate (NMDA) receptor-dependent long-term potentiation (LTP). Although LTP by HFS did not requier postsynaptic spikes, it was blocked by Na+-channel blockers suggesting that local active processes (e.g.) dendritic spikes) may contribute to LTP induction without requirement of a somatic action potential (AP). We next examined the properties of spike timing-dependent plasticity (STDP) at CA3-CA3 synapses. Unexpectedly, low-frequency pairing of EPSPs and backpropagated action potentialy (bAPs) induced LTP, independent of temporal order. The STDP curve was symmetric and broad, with a half-width of ~150 ms. Consistent with these specific STDP induction properties, post-presynaptic sequences led to a supralinear summation of spine [Ca2+] transients. Furthermore, in autoassociative network models, storage and recall was substantially more robust with symmetric than with asymmetric STDP rules. In conclusion, we found associative forms of LTP at CA3-CA3 recurrent collateral synapses with distinct induction rules. LTP induced by HFS may be associated with dendritic spikes. In contrast, low frequency pairing of pre- and postsynaptic activity induced LTP only if EPSP-AP were temporally very close. Together, these induction mechanisms of synaptiic plasticity may contribute to memory storage in the CA3-CA3 microcircuit at different ranges of activity.","lang":"eng"}],"oa_version":"Published Version","type":"dissertation","month":"03","page":"83","date_created":"2018-12-11T11:51:46Z","file_date_updated":"2021-02-22T11:48:44Z","year":"2016","_id":"1396"},{"degree_awarded":"PhD","publist_id":"5809","title":"The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone","day":"18","file":[{"checksum":"a89b17ff27cf92c9a15f6b3d46bd7e53","date_updated":"2020-07-14T12:44:48Z","file_id":"5106","access_level":"open_access","date_created":"2018-12-12T10:14:51Z","file_name":"IST-2016-526-v1+1_Ellis_signed_thesis.pdf","creator":"system","content_type":"application/pdf","relation":"main_file","file_size":11928241}],"author":[{"first_name":"Thomas","last_name":"Ellis","full_name":"Ellis, Thomas","id":"3153D6D4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8511-0254"}],"article_processing_charge":"No","department":[{"_id":"NiBa"}],"publisher":"Institute of Science and Technology Austria","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","doi":"10.15479/AT:ISTA:TH_526 ","pubrep_id":"526","publication_identifier":{"issn":["2663-337X"]},"language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:44:48Z","date_created":"2018-12-11T11:51:47Z","date_updated":"2024-02-21T13:51:39Z","abstract":[{"lang":"eng","text":"Hybrid zones represent evolutionary laboratories, where recombination brings together alleles in combinations which have not previously been tested by selection. This provides an excellent opportunity to test the effect of molecular variation on fitness, and how this variation is able to spread through populations in a natural context. The snapdragon Antirrhinum majus is polymorphic in the wild for two loci controlling the distribution of yellow and magenta floral pigments. Where the yellow A. m. striatum and the magenta A. m. pseudomajus meet along a valley in the Spanish Pyrenees they form a stable hybrid zone Alleles at these loci recombine to give striking transgressive variation for flower colour. The sharp transition in phenotype over ~1km implies strong selection maintaining the hybrid zone. An indirect assay of pollinator visitation in the field found that pollinators forage in a positive-frequency dependent manner on Antirrhinum, matching previous data on fruit set. Experimental arrays and paternity analysis of wild-pollinated seeds demonstrated assortative mating for pigmentation alleles, and that pollinator behaviour alone is sufficient to explain this pattern. Selection by pollinators should be sufficiently strong to maintain the hybrid zone, although other mechanisms may be at work. At a broader scale I examined evolutionary transitions between yellow and anthocyanin pigmentation in the tribe Antirrhinae, and found that selection has acted strate that pollinators are a major determinant of reproductive success and mating patterns in wild Antirrhinum."}],"month":"02","oa_version":"Published Version","type":"dissertation","page":"130","_id":"1398","year":"2016","acknowledgement":"I am indebted to many people for their support during my PhD, but I particularly wish to thank Nick Barton for his guidance and intuition, and for encouraging me to take the time to look beyond the immediate topic of my PhD to understand the broader context. I am also especially grateful to David Field his bottomless patience, invaluable advice on experimental design, analysis and scientific writing, and for tireless work on the population surveys and genomic work without most of my thesis could not have happened. \r\n\r\nIt has been a pleasure to work with the combined strengths of the groups at The John Innes Centre, University of Toulouse and IST Austria. Thanks to Enrico Coen and his group for hosting me in Norwich in 2011 and especially for setting up the tag experiment. \r\n\r\nI thank David Field, Desmond Bradley and Maria Clara Melo-Hurtado for organising field collections, as well as Monique Burrus and Christophe Andalo and a large number of volunteers for their e ff orts helping with the field work. Furthermore I thank Coline Jaworski for providing seeds and for her input into the design of the experimental arrays, and Matthew Couchman for maintaining the database of. \r\n\r\nIn addition to those mentioned above, I am grateful to Melinda Pickup, Spencer Barrett, and four anonymous reviewers for their insightful comments on sections of this manuscript. I also thank Jana Porsche for her e ff orts in tracking down the more obscure references for chapter 5, and Jon Bollback for his advice about the analysis. \r\n\r\nI am indebted to Jon Ågren for his patience whilst I finished this thesis, and to Sylvia Cremer and Magnus Nordborg for taking the time to read and evaluate the thesis given a shorter deadline than was fair. \r\n\r\nA very positive aspect of my PhD has been the supportive atmosphere of IST. In particular, I have come to appreciate the enormous support from our group assistants Nicole Hotzy, Julia Asimakis, Christine Ostermann and Jerneja Beslagic. I also thank Christian Chaloupka and Stefan Hipfinger for their enthusiasm and readiness to help where possible in setting up our greenhouse and experiments. ","supervisor":[{"last_name":"Barton","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"}],"date_published":"2016-02-18T00:00:00Z","ddc":["576"],"has_accepted_license":"1","oa":1,"publication_status":"published","citation":{"apa":"Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_526 ","mla":"Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .","ista":"Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute of Science and Technology Austria.","ama":"Ellis T. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. 2016. doi:10.15479/AT:ISTA:TH_526 ","short":"T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.","chicago":"Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .","ieee":"T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” Institute of Science and Technology Austria, 2016."},"related_material":{"record":[{"relation":"popular_science","id":"5553","status":"public"},{"id":"5551","status":"public","relation":"popular_science"},{"relation":"popular_science","id":"5552","status":"public"}]},"status":"public","alternative_title":["ISTA Thesis"]},{"year":"2016","_id":"14010","type":"journal_article","oa_version":"Preprint","month":"08","date_updated":"2023-08-22T08:42:50Z","abstract":[{"lang":"eng","text":"We report measurements of energy-dependent attosecond photoionization delays between the two outer-most valence shells of N2O and H2O. The combination of single-shot signal referencing with the use of different metal foils to filter the attosecond pulse train enables us to extract delays from congested spectra. Remarkably large delays up to 160 as are observed in N2O, whereas the delays in H2O are all smaller than 50 as in the photon-energy range of 20-40 eV. These results are interpreted by developing a theory of molecular photoionization delays. The long delays measured in N2O are shown to reflect the population of molecular shape resonances that trap the photoelectron for a duration of up to ∼110 as. The unstructured continua of H2O result in much smaller delays at the same photon energies. Our experimental and theoretical methods make the study of molecular attosecond photoionization dynamics accessible."}],"date_created":"2023-08-10T06:37:07Z","volume":117,"status":"public","external_id":{"pmid":["27610849"],"arxiv":["1607.07435"]},"citation":{"mla":"Huppert, Martin, et al. “Attosecond Delays in Molecular Photoionization.” Physical Review Letters, vol. 117, no. 9, 093001, American Physical Society, 2016, doi:10.1103/physrevlett.117.093001.","ista":"Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. 2016. Attosecond delays in molecular photoionization. Physical Review Letters. 117(9), 093001.","apa":"Huppert, M., Jordan, I., Baykusheva, D. R., von Conta, A., & Wörner, H. J. (2016). Attosecond delays in molecular photoionization. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.117.093001","ama":"Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. Attosecond delays in molecular photoionization. Physical Review Letters. 2016;117(9). doi:10.1103/physrevlett.117.093001","short":"M. Huppert, I. Jordan, D.R. Baykusheva, A. von Conta, H.J. Wörner, Physical Review Letters 117 (2016).","ieee":"M. Huppert, I. Jordan, D. R. Baykusheva, A. von Conta, and H. J. Wörner, “Attosecond delays in molecular photoionization,” Physical Review Letters, vol. 117, no. 9. American Physical Society, 2016.","chicago":"Huppert, Martin, Inga Jordan, Denitsa Rangelova Baykusheva, Aaron von Conta, and Hans Jakob Wörner. “Attosecond Delays in Molecular Photoionization.” Physical Review Letters. American Physical Society, 2016. https://doi.org/10.1103/physrevlett.117.093001."},"intvolume":" 117","extern":"1","oa":1,"publication_status":"published","main_file_link":[{"url":"https://arxiv.org/abs/1607.07435","open_access":"1"}],"date_published":"2016-08-26T00:00:00Z","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Physical Society","article_type":"original","scopus_import":"1","article_processing_charge":"No","publication":"Physical Review Letters","day":"26","author":[{"first_name":"Martin","last_name":"Huppert","full_name":"Huppert, Martin"},{"last_name":"Jordan","first_name":"Inga","full_name":"Jordan, Inga"},{"id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova","last_name":"Baykusheva","first_name":"Denitsa Rangelova"},{"last_name":"von Conta","first_name":"Aaron","full_name":"von Conta, Aaron"},{"full_name":"Wörner, Hans Jakob","last_name":"Wörner","first_name":"Hans Jakob"}],"article_number":"093001","arxiv":1,"title":"Attosecond delays in molecular photoionization","issue":"9","language":[{"iso":"eng"}],"keyword":["General Physics and Astronomy"],"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"quality_controlled":"1","doi":"10.1103/physrevlett.117.093001"},{"page":"e16170-e16170","type":"journal_article","oa_version":"Published Version","month":"11","date_updated":"2023-08-22T08:46:05Z","abstract":[{"text":"Monochromatization of high-harmonic sources has opened fascinating perspectives regarding time-resolved photoemission from all phases of matter. Such studies have invariably involved the use of spectral filters or spectrally dispersive optical components that are inherently lossy and technically complex. Here we present a new technique for the spectral selection of near-threshold harmonics and their spatial separation from the driving beams without any optical elements. We discover the existence of a narrow phase-matching gate resulting from the combination of the non-collinear generation geometry in an extended medium, atomic resonances and absorption. Our technique offers a filter contrast of up to 104 for the selected harmonics against the adjacent ones and offers multiple temporally synchronized beamlets in a single unified scheme. We demonstrate the selective generation of 133, 80 or 56 nm femtosecond pulses from a 400-nm driver, which is specific to the target gas. These results open new pathways towards phase-sensitive multi-pulse spectroscopy in the vacuum- and extreme-ultraviolet, and frequency-selective output coupling from enhancement cavities.","lang":"eng"}],"volume":5,"date_created":"2023-08-10T06:37:25Z","year":"2016","_id":"14012","publication_status":"published","oa":1,"date_published":"2016-11-01T00:00:00Z","main_file_link":[{"url":"https://doi.org/10.1038/lsa.2016.170","open_access":"1"}],"status":"public","external_id":{"pmid":["30167130"]},"intvolume":" 5","extern":"1","citation":{"chicago":"Rajeev, Rajendran, Johannes Hellwagner, Anne Schumacher, Inga Jordan, Martin Huppert, Andres Tehlar, Bhargava Ram Niraghatam, et al. “In Situ Frequency Gating and Beam Splitting of Vacuum- and Extreme-Ultraviolet Pulses.” Light: Science & Applications. Springer Nature, 2016. https://doi.org/10.1038/lsa.2016.170.","ieee":"R. Rajeev et al., “In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses,” Light: Science & Applications, vol. 5, no. 11. Springer Nature, pp. e16170–e16170, 2016.","short":"R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar, B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science & Applications 5 (2016) e16170–e16170.","ama":"Rajeev R, Hellwagner J, Schumacher A, et al. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. 2016;5(11):e16170-e16170. doi:10.1038/lsa.2016.170","apa":"Rajeev, R., Hellwagner, J., Schumacher, A., Jordan, I., Huppert, M., Tehlar, A., … Wörner, H. J. (2016). In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. Springer Nature. https://doi.org/10.1038/lsa.2016.170","ista":"Rajeev R, Hellwagner J, Schumacher A, Jordan I, Huppert M, Tehlar A, Niraghatam BR, Baykusheva DR, Lin N, von Conta A, Wörner HJ. 2016. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. 5(11), e16170–e16170.","mla":"Rajeev, Rajendran, et al. “In Situ Frequency Gating and Beam Splitting of Vacuum- and Extreme-Ultraviolet Pulses.” Light: Science & Applications, vol. 5, no. 11, Springer Nature, 2016, pp. e16170–e16170, doi:10.1038/lsa.2016.170."},"author":[{"full_name":"Rajeev, Rajendran","first_name":"Rajendran","last_name":"Rajeev"},{"full_name":"Hellwagner, Johannes","last_name":"Hellwagner","first_name":"Johannes"},{"first_name":"Anne","last_name":"Schumacher","full_name":"Schumacher, Anne"},{"first_name":"Inga","last_name":"Jordan","full_name":"Jordan, Inga"},{"first_name":"Martin","last_name":"Huppert","full_name":"Huppert, Martin"},{"last_name":"Tehlar","first_name":"Andres","full_name":"Tehlar, Andres"},{"full_name":"Niraghatam, Bhargava Ram","last_name":"Niraghatam","first_name":"Bhargava Ram"},{"full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva","first_name":"Denitsa Rangelova"},{"full_name":"Lin, Nan","last_name":"Lin","first_name":"Nan"},{"last_name":"von Conta","first_name":"Aaron","full_name":"von Conta, Aaron"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"day":"01","title":"In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses","publisher":"Springer Nature","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"publication":"Light: Science & Applications","article_type":"original","scopus_import":"1","article_processing_charge":"No","publication_identifier":{"eissn":["2047-7538"]},"doi":"10.1038/lsa.2016.170","quality_controlled":"1","keyword":["Atomic and Molecular Physics","and Optics","Electronic","Optical and Magnetic Materials"],"issue":"11","language":[{"iso":"eng"}]},{"status":"public","related_material":{"record":[{"status":"public","id":"1510","relation":"earlier_version"}]},"intvolume":" 56","citation":{"ama":"Franek P, Krcál M. On computability and triviality of well groups. Discrete & Computational Geometry. 2016;56(1):126-164. doi:10.1007/s00454-016-9794-2","apa":"Franek, P., & Krcál, M. (2016). On computability and triviality of well groups. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9794-2","mla":"Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry, vol. 56, no. 1, Springer, 2016, pp. 126–64, doi:10.1007/s00454-016-9794-2.","ista":"Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete & Computational Geometry. 56(1), 126–164.","chicago":"Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-016-9794-2.","ieee":"P. Franek and M. Krcál, “On computability and triviality of well groups,” Discrete & Computational Geometry, vol. 56, no. 1. Springer, pp. 126–164, 2016.","short":"P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164."},"oa":1,"publication_status":"published","has_accepted_license":"1","ddc":["510"],"date_published":"2016-07-01T00:00:00Z","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). ","year":"2016","_id":"1408","page":"126 - 164","date_updated":"2023-02-23T10:02:11Z","abstract":[{"lang":"eng","text":"The concept of well group in a special but important case captures homological properties of the zero set of a continuous map (Formula presented.) on a compact space K that are invariant with respect to perturbations of f. The perturbations are arbitrary continuous maps within (Formula presented.) distance r from f for a given (Formula presented.). The main drawback of the approach is that the computability of well groups was shown only when (Formula presented.) or (Formula presented.). Our contribution to the theory of well groups is twofold: on the one hand we improve on the computability issue, but on the other hand we present a range of examples where the well groups are incomplete invariants, that is, fail to capture certain important robust properties of the zero set. For the first part, we identify a computable subgroup of the well group that is obtained by cap product with the pullback of the orientation of (Formula presented.) by f. In other words, well groups can be algorithmically approximated from below. When f is smooth and (Formula presented.), our approximation of the (Formula presented.)th well group is exact. For the second part, we find examples of maps (Formula presented.) with all well groups isomorphic but whose perturbations have different zero sets. We discuss on a possible replacement of the well groups of vector valued maps by an invariant of a better descriptive power and computability status."}],"month":"07","oa_version":"Published Version","type":"journal_article","volume":56,"file_date_updated":"2020-07-14T12:44:53Z","date_created":"2018-12-11T11:51:51Z","project":[{"name":"Robust invariants of Nonlinear Systems","_id":"25F8B9BC-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"M01980"},{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"language":[{"iso":"eng"}],"issue":"1","pubrep_id":"614","doi":"10.1007/s00454-016-9794-2","quality_controlled":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","department":[{"_id":"UlWa"},{"_id":"HeEd"}],"publication":"Discrete & Computational Geometry","ec_funded":1,"scopus_import":1,"article_processing_charge":"Yes (via OA deal)","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)"},"author":[{"first_name":"Peter","last_name":"Franek","full_name":"Franek, Peter","id":"473294AE-F248-11E8-B48F-1D18A9856A87"},{"id":"33E21118-F248-11E8-B48F-1D18A9856A87","full_name":"Krcál, Marek","first_name":"Marek","last_name":"Krcál"}],"file":[{"creator":"system","content_type":"application/pdf","relation":"main_file","file_size":905303,"file_name":"IST-2016-614-v1+1_s00454-016-9794-2.pdf","access_level":"open_access","date_created":"2018-12-12T10:10:55Z","checksum":"e0da023abf6b72abd8c6a8c76740d53c","date_updated":"2020-07-14T12:44:53Z","file_id":"4846"}],"day":"01","title":"On computability and triviality of well groups","publist_id":"5799"},{"language":[{"iso":"eng"}],"issue":"11","quality_controlled":"1","doi":"10.1111/mec.13685","pubrep_id":"772","scopus_import":1,"publication":"Molecular Ecology","department":[{"_id":"NiBa"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"Wiley-Blackwell","publist_id":"5798","title":"Genomics of hybridization and its evolutionary consequences","day":"08","file":[{"checksum":"ede7d0b8a471754f71f17e2b20f3135b","file_id":"4797","date_updated":"2020-07-14T12:44:53Z","access_level":"open_access","date_created":"2018-12-12T10:10:12Z","file_name":"IST-2017-772-v1+1_AbbotEtAl2016-3.pdf","creator":"system","file_size":226137,"content_type":"application/pdf","relation":"main_file"}],"author":[{"full_name":"Abbott, Richard","first_name":"Richard","last_name":"Abbott"},{"last_name":"Barton","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"},{"last_name":"Good","first_name":"Jeffrey","full_name":"Good, Jeffrey"}],"citation":{"ama":"Abbott R, Barton NH, Good J. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 2016;25(11):2325-2332. doi:10.1111/mec.13685","apa":"Abbott, R., Barton, N. H., & Good, J. (2016). Genomics of hybridization and its evolutionary consequences. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.13685","mla":"Abbott, Richard, et al. “Genomics of Hybridization and Its Evolutionary Consequences.” Molecular Ecology, vol. 25, no. 11, Wiley-Blackwell, 2016, pp. 2325–32, doi:10.1111/mec.13685.","ista":"Abbott R, Barton NH, Good J. 2016. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 25(11), 2325–2332.","chicago":"Abbott, Richard, Nicholas H Barton, and Jeffrey Good. “Genomics of Hybridization and Its Evolutionary Consequences.” Molecular Ecology. Wiley-Blackwell, 2016. https://doi.org/10.1111/mec.13685.","ieee":"R. Abbott, N. H. Barton, and J. Good, “Genomics of hybridization and its evolutionary consequences,” Molecular Ecology, vol. 25, no. 11. Wiley-Blackwell, pp. 2325–2332, 2016.","short":"R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332."},"intvolume":" 25","status":"public","ddc":["576"],"date_published":"2016-06-08T00:00:00Z","has_accepted_license":"1","publication_status":"published","oa":1,"_id":"1409","year":"2016","date_created":"2018-12-11T11:51:51Z","file_date_updated":"2020-07-14T12:44:53Z","volume":25,"date_updated":"2021-01-12T06:50:33Z","type":"journal_article","oa_version":"Submitted Version","month":"06","page":"2325 - 2332"},{"publication_status":"published","oa":1,"has_accepted_license":"1","ddc":["581"],"date_published":"2016-09-01T00:00:00Z","status":"public","external_id":{"pmid":["27457979"]},"intvolume":" 250","citation":{"ama":"Ugalde J, Rodríguez Furlán C, De Rycke R, et al. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 2016;250:10-19. doi:10.1016/j.plantsci.2016.05.014","ista":"Ugalde J, Rodríguez Furlán C, De Rycke R, Norambuena L, Friml J, León G, Tejos R. 2016. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 250, 10–19.","mla":"Ugalde, José, et al. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen Development.” Plant Science, vol. 250, Elsevier, 2016, pp. 10–19, doi:10.1016/j.plantsci.2016.05.014.","apa":"Ugalde, J., Rodríguez Furlán, C., De Rycke, R., Norambuena, L., Friml, J., León, G., & Tejos, R. (2016). Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. Elsevier. https://doi.org/10.1016/j.plantsci.2016.05.014","ieee":"J. Ugalde et al., “Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development,” Plant Science, vol. 250. Elsevier, pp. 10–19, 2016.","chicago":"Ugalde, José, Cecilia Rodríguez Furlán, Riet De Rycke, Lorena Norambuena, Jiří Friml, Gabriel León, and Ricardo Tejos. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen Development.” Plant Science. Elsevier, 2016. https://doi.org/10.1016/j.plantsci.2016.05.014.","short":"J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G. León, R. Tejos, Plant Science 250 (2016) 10–19."},"page":"10 - 19","oa_version":"Submitted Version","type":"journal_article","month":"09","date_updated":"2021-01-12T06:50:33Z","abstract":[{"text":"The pollen grains arise after meiosis of pollen mother cells within the anthers. A series of complex structural changes follows, generating mature pollen grains capable of performing the double fertilization of the female megasporophyte. Several signaling molecules, including hormones and lipids, have been involved in the regulation and appropriate control of pollen development. Phosphatidylinositol 4-phophate 5-kinases (PIP5K), which catalyze the biosynthesis of the phosphoinositide PtdIns(4,5)P2, are important for tip polar growth of root hairs and pollen tubes, embryo development, vegetative plant growth, and responses to the environment. Here, we report a role of PIP5Ks during microgametogenesis. PIP5K1 and PIP5K2 are expressed during early stages of pollen development and their transcriptional activity respond to auxin in pollen grains. Early male gametophytic lethality to certain grade was observed in both pip5k1-/- and pip5k2-/- single mutants. The number of pip5k mutant alleles is directly related to the frequency of aborted pollen grains suggesting the two genes are involved in the same function. Indeed PIP5K1 and PIP5K2 are functionally redundant since homozygous double mutants did not render viable pollen grains. The loss of function of PIP5K1 and PIP5K2results in defects in vacuole morphology in pollen at the later stages and epidermal root cells. Our results show that PIP5K1, PIP5K2 and phosphoinositide signaling are important cues for early developmental stages and vacuole formation during microgametogenesis.","lang":"eng"}],"volume":250,"file_date_updated":"2020-07-14T12:44:53Z","date_created":"2018-12-11T11:51:51Z","acknowledgement":"the Odysseus Program of the Research Foundation-Flanders [G091608] to JF.","year":"2016","_id":"1410","pubrep_id":"1005","doi":"10.1016/j.plantsci.2016.05.014","quality_controlled":"1","language":[{"iso":"eng"}],"author":[{"last_name":"Ugalde","first_name":"José","full_name":"Ugalde, José"},{"full_name":"Rodríguez Furlán, Cecilia","first_name":"Cecilia","last_name":"Rodríguez Furlán"},{"first_name":"Riet","last_name":"De Rycke","full_name":"De Rycke, Riet"},{"full_name":"Norambuena, Lorena","last_name":"Norambuena","first_name":"Lorena"},{"last_name":"Friml","first_name":"Jirí","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"León","first_name":"Gabriel","full_name":"León, Gabriel"},{"last_name":"Tejos","first_name":"Ricardo","full_name":"Tejos, Ricardo"}],"file":[{"date_created":"2019-04-17T07:41:57Z","access_level":"open_access","file_id":"6331","date_updated":"2020-07-14T12:44:53Z","checksum":"ca08de036e6ddc81e6f760e0ccdebd3f","file_size":4338545,"content_type":"application/pdf","relation":"main_file","creator":"dernst","file_name":"2016_PlantScience_Ugalde.pdf"}],"day":"01","title":"Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development","publist_id":"5797","publisher":"Elsevier","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"JiFr"}],"pmid":1,"publication":"Plant Science","scopus_import":1},{"language":[{"iso":"eng"}],"issue":"1","project":[{"grant_number":"PP00P2_138948","_id":"25FA3206-B435-11E9-9278-68D0E5697425","name":"Embeddings in Higher Dimensions: Algorithms and Combinatorics"}],"quality_controlled":"1","doi":"10.1007/s11856-016-1294-9","scopus_import":1,"publication":"Israel Journal of Mathematics","department":[{"_id":"UlWa"}],"publisher":"Springer","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"5796","title":"Untangling two systems of noncrossing curves","day":"01","author":[{"full_name":"Matoušek, Jiří","last_name":"Matoušek","first_name":"Jiří"},{"full_name":"Sedgwick, Eric","last_name":"Sedgwick","first_name":"Eric"},{"full_name":"Tancer, Martin","orcid":"0000-0002-1191-6714","id":"38AC689C-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","last_name":"Tancer"},{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli","last_name":"Wagner","first_name":"Uli"}],"citation":{"mla":"Matoušek, Jiří, et al. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:10.1007/s11856-016-1294-9.","ista":"Matoušek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.","apa":"Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1294-9","ama":"Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 2016;212(1):37-79. doi:10.1007/s11856-016-1294-9","short":"J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.","ieee":"J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1. Springer, pp. 37–79, 2016.","chicago":"Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics. Springer, 2016. https://doi.org/10.1007/s11856-016-1294-9."},"related_material":{"record":[{"relation":"earlier_version","id":"2244","status":"public"}]},"intvolume":" 212","status":"public","main_file_link":[{"url":"http://arxiv.org/abs/1302.6475","open_access":"1"}],"date_published":"2016-05-01T00:00:00Z","oa":1,"publication_status":"published","_id":"1411","year":"2016","acknowledgement":"Supported by the ERC Adv anced Grant No. 267165. ","date_created":"2018-12-11T11:51:52Z","volume":212,"abstract":[{"text":"We consider two systems (α1, …, αm) and (β1, …,βn) of simple curves drawn on a compact two-dimensional surface M with boundary. Each αi and each βj is either an arc meeting the boundary of M at its two endpoints, or a closed curve. The αi are pairwise disjoint except for possibly sharing endpoints, and similarly for the βj. We want to “untangle” the βj from the ai by a self-homeomorphism of M; more precisely, we seek a homeomorphism φ:M→M fixing the boundary of M pointwise such that the total number of crossings of the ai with the φ(βj) is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if M is planar, i.e., a sphere with h ≥ 0 boundary components (“holes”), then O(mn) crossings can be achieved (independently of h), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface M with h holes and of (orientable or nonorientable) genus g ≥ 0, we obtain an O((m + n)4) upper bound, again independent of h and g. The proofs rely, among other things, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.","lang":"eng"}],"date_updated":"2023-02-23T10:34:31Z","type":"journal_article","oa_version":"Preprint","month":"05","page":"37 - 79"},{"oa":1,"publication_status":"published","has_accepted_license":"1","date_published":"2016-05-27T00:00:00Z","ddc":["000"],"status":"public","intvolume":" 35","citation":{"ieee":"R. Goldade, C. Batty, and C. Wojtan, “A practical method for high-resolution embedded liquid surfaces,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 233–242, 2016.","chicago":"Goldade, Ryan, Christopher Batty, and Chris Wojtan. “A Practical Method for High-Resolution Embedded Liquid Surfaces.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12826.","short":"R. Goldade, C. Batty, C. Wojtan, Computer Graphics Forum 35 (2016) 233–242.","ama":"Goldade R, Batty C, Wojtan C. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 2016;35(2):233-242. doi:10.1111/cgf.12826","ista":"Goldade R, Batty C, Wojtan C. 2016. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 35(2), 233–242.","mla":"Goldade, Ryan, et al. “A Practical Method for High-Resolution Embedded Liquid Surfaces.” Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 233–42, doi:10.1111/cgf.12826.","apa":"Goldade, R., Batty, C., & Wojtan, C. (2016). A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12826"},"page":"233 - 242","date_updated":"2023-02-21T10:38:30Z","abstract":[{"lang":"eng","text":"Combining high-resolution level set surface tracking with lower resolution physics is an inexpensive method for achieving highly detailed liquid animations. Unfortunately, the inherent resolution mismatch introduces several types of disturbing visual artifacts. We identify the primary sources of these artifacts and present simple, efficient, and practical solutions to address them. First, we propose an unconditionally stable filtering method that selectively removes sub-grid surface artifacts not seen by the fluid physics, while preserving fine detail in dynamic splashing regions. It provides comparable results to recent error-correction techniques at lower cost, without substepping, and with better scaling behavior. Second, we show how a modified narrow-band scheme can ensure accurate free surface boundary conditions in the presence of large resolution mismatches. Our scheme preserves the efficiency of the narrow-band methodology, while eliminating objectionable stairstep artifacts observed in prior work. Third, we demonstrate that the use of linear interpolation of velocity during advection of the high-resolution level set surface is responsible for visible grid-aligned kinks; we therefore advocate higher-order velocity interpolation, and show that it dramatically reduces this artifact. While these three contributions are orthogonal, our results demonstrate that taken together they efficiently address the dominant sources of visual artifacts arising with high-resolution embedded liquid surfaces; the proposed approach offers improved visual quality, a straightforward implementation, and substantially greater scalability than competing methods."}],"month":"05","oa_version":"Submitted Version","type":"journal_article","volume":35,"file_date_updated":"2020-07-14T12:44:53Z","date_created":"2018-12-11T11:51:52Z","acknowledgement":"This research was supported by NSERC (RGPIN-04360-2014) and IST Austria. ","year":"2016","_id":"1412","pubrep_id":"612","doi":"10.1111/cgf.12826","quality_controlled":"1","project":[{"grant_number":"638176","_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales"}],"language":[{"iso":"eng"}],"issue":"2","author":[{"first_name":"Ryan","last_name":"Goldade","full_name":"Goldade, Ryan"},{"last_name":"Batty","first_name":"Christopher","full_name":"Batty, Christopher"},{"last_name":"Wojtan","first_name":"Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J"}],"file":[{"file_size":15873858,"relation":"main_file","content_type":"application/pdf","creator":"system","file_name":"IST-2016-612-v1+2_Wojtan_APracticalMethod_PostPrint_2016.pdf","date_created":"2018-12-12T10:13:18Z","access_level":"open_access","file_id":"5000","date_updated":"2020-07-14T12:44:53Z","checksum":"8e61387ee2e3bd0e776fbe301629bfd9"}],"day":"27","title":"A practical method for high-resolution embedded liquid surfaces","publist_id":"5795","publisher":"Wiley-Blackwell","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ChWo"}],"publication":"Computer Graphics Forum","scopus_import":1,"ec_funded":1},{"_id":"1415","year":"2016","volume":35,"file_date_updated":"2020-07-14T12:44:53Z","date_created":"2018-12-11T11:51:53Z","page":"225 - 232","abstract":[{"text":"The Fluid Implicit Particle method (FLIP) for liquid simulations uses particles to reduce numerical dissipation and provide important visual cues for events like complex splashes and small-scale features near the liquid surface. Unfortunately, FLIP simulations can be computationally expensive, because they require a dense sampling of particles to fill the entire liquid volume. Furthermore, the vast majority of these FLIP particles contribute nothing to the fluid's visual appearance, especially for larger volumes of liquid. We present a method that only uses FLIP particles within a narrow band of the liquid surface, while efficiently representing the remaining inner volume on a regular grid. We show that a naïve realization of this idea introduces unstable and uncontrollable energy fluctuations, and we propose a novel coupling scheme between FLIP particles and regular grid which overcomes this problem. Our method drastically reduces the particle count and simulation times while yielding results that are nearly indistinguishable from regular FLIP simulations. Our approach is easy to integrate into any existing FLIP implementation.","lang":"eng"}],"date_updated":"2023-02-21T10:38:38Z","month":"05","type":"journal_article","oa_version":"Submitted Version","intvolume":" 35","citation":{"apa":"Ferstl, F., Ando, R., Wojtan, C., Westermann, R., & Thuerey, N. (2016). Narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12825","mla":"Ferstl, Florian, et al. “Narrow Band FLIP for Liquid Simulations.” Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 225–32, doi:10.1111/cgf.12825.","ista":"Ferstl F, Ando R, Wojtan C, Westermann R, Thuerey N. 2016. Narrow band FLIP for liquid simulations. Computer Graphics Forum. 35(2), 225–232.","ama":"Ferstl F, Ando R, Wojtan C, Westermann R, Thuerey N. Narrow band FLIP for liquid simulations. Computer Graphics Forum. 2016;35(2):225-232. doi:10.1111/cgf.12825","short":"F. Ferstl, R. Ando, C. Wojtan, R. Westermann, N. Thuerey, Computer Graphics Forum 35 (2016) 225–232.","chicago":"Ferstl, Florian, Ryoichi Ando, Chris Wojtan, Rüdiger Westermann, and Nils Thuerey. “Narrow Band FLIP for Liquid Simulations.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12825.","ieee":"F. Ferstl, R. Ando, C. Wojtan, R. Westermann, and N. Thuerey, “Narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 225–232, 2016."},"status":"public","date_published":"2016-05-01T00:00:00Z","ddc":["000"],"publication_status":"published","oa":1,"has_accepted_license":"1","publication":"Computer Graphics Forum","scopus_import":1,"publisher":"Wiley-Blackwell","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ChWo"}],"title":"Narrow band FLIP for liquid simulations","publist_id":"5793","author":[{"full_name":"Ferstl, Florian","first_name":"Florian","last_name":"Ferstl"},{"first_name":"Ryoichi","last_name":"Ando","full_name":"Ando, Ryoichi"},{"last_name":"Wojtan","first_name":"Christopher J","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6646-5546"},{"first_name":"Rüdiger","last_name":"Westermann","full_name":"Westermann, Rüdiger"},{"last_name":"Thuerey","first_name":"Nils","full_name":"Thuerey, Nils"}],"file":[{"access_level":"open_access","date_created":"2018-12-12T10:12:22Z","checksum":"984afbe510ed48019025dff1dcc7baad","file_id":"4940","date_updated":"2020-07-14T12:44:53Z","creator":"system","file_size":5938324,"relation":"main_file","content_type":"application/pdf","file_name":"IST-2016-611-v1+3_CW_nbflip_postprint_2016.pdf"}],"day":"01","language":[{"iso":"eng"}],"issue":"2","doi":"10.1111/cgf.12825","quality_controlled":"1","pubrep_id":"611"},{"publication_status":"published","oa":1,"main_file_link":[{"url":"http://arxiv.org/abs/1603.09358","open_access":"1"}],"quality_controlled":"1","doi":"10.1103/PhysRevB.93.195145","date_published":"2016-05-15T00:00:00Z","status":"public","citation":{"short":"E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 93 (2016).","ieee":"E. Van Loon, M. Katsnelson, L. Chomaz, and M. Lemeshko, “Interaction-driven Lifshitz transition with dipolar fermions in optical lattices,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19. American Physical Society, 2016.","chicago":"Van Loon, Erik, Mikhail Katsnelson, Lauriane Chomaz, and Mikhail Lemeshko. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2016. https://doi.org/10.1103/PhysRevB.93.195145.","ista":"Van Loon E, Katsnelson M, Chomaz L, Lemeshko M. 2016. Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. 93(19), 195145.","mla":"Van Loon, Erik, et al. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19, 195145, American Physical Society, 2016, doi:10.1103/PhysRevB.93.195145.","apa":"Van Loon, E., Katsnelson, M., Chomaz, L., & Lemeshko, M. (2016). Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.93.195145","ama":"Van Loon E, Katsnelson M, Chomaz L, Lemeshko M. Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. 2016;93(19). doi:10.1103/PhysRevB.93.195145"},"language":[{"iso":"eng"}],"issue":"19","intvolume":" 93","abstract":[{"lang":"eng","text":"Anisotropic dipole-dipole interactions between ultracold dipolar fermions break the symmetry of the Fermi surface and thereby deform it. Here we demonstrate that such a Fermi surface deformation induces a topological phase transition - the so-called Lifshitz transition - in the regime accessible to present-day experiments. We describe the impact of the Lifshitz transition on observable quantities such as the Fermi surface topology, the density-density correlation function, and the excitation spectrum of the system. The Lifshitz transition in ultracold atoms can be controlled by tuning the dipole orientation and, in contrast to the transition studied in crystalline solids, is completely interaction driven."}],"date_updated":"2021-01-12T06:50:36Z","day":"15","type":"journal_article","oa_version":"Preprint","month":"05","author":[{"last_name":"Van Loon","first_name":"Erik","full_name":"Van Loon, Erik"},{"full_name":"Katsnelson, Mikhail","first_name":"Mikhail","last_name":"Katsnelson"},{"full_name":"Chomaz, Lauriane","first_name":"Lauriane","last_name":"Chomaz"},{"full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","first_name":"Mikhail"}],"publist_id":"5791","date_created":"2018-12-11T11:51:54Z","volume":93,"title":"Interaction-driven Lifshitz transition with dipolar fermions in optical lattices","article_number":"195145","department":[{"_id":"MiLe"}],"year":"2016","publisher":"American Physical Society","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","scopus_import":1,"publication":"Physical Review B - Condensed Matter and Materials Physics","_id":"1416"},{"publication":"New Phytologist","scopus_import":1,"publisher":"Wiley-Blackwell","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"JiFr"}],"title":"PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis","publist_id":"5790","author":[{"full_name":"Simon, Sibu","id":"4542EF9A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1998-6741","first_name":"Sibu","last_name":"Simon"},{"first_name":"Petr","last_name":"Skůpa","full_name":"Skůpa, Petr"},{"full_name":"Viaene, Tom","first_name":"Tom","last_name":"Viaene"},{"first_name":"Marta","last_name":"Zwiewka","full_name":"Zwiewka, Marta"},{"first_name":"Ricardo","last_name":"Tejos","full_name":"Tejos, Ricardo"},{"first_name":"Petr","last_name":"Klíma","full_name":"Klíma, Petr"},{"full_name":"Čarná, Mária","last_name":"Čarná","first_name":"Mária"},{"full_name":"Rolčík, Jakub","first_name":"Jakub","last_name":"Rolčík"},{"last_name":"De Rycke","first_name":"Riet","full_name":"De Rycke, Riet"},{"first_name":"Ignacio","last_name":"Moreno","full_name":"Moreno, Ignacio"},{"first_name":"Petre","last_name":"Dobrev","full_name":"Dobrev, Petre"},{"last_name":"Orellana","first_name":"Ariel","full_name":"Orellana, Ariel"},{"last_name":"Zažímalová","first_name":"Eva","full_name":"Zažímalová, Eva"},{"orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí","last_name":"Friml","first_name":"Jirí"}],"day":"01","file":[{"file_name":"IST-2018-1004-v1+1_Simon_NewPhytol_2016_proof.pdf","creator":"system","content_type":"application/pdf","relation":"main_file","file_size":3828383,"checksum":"23522ced3508ffe7a4f247c4230e6493","date_updated":"2020-07-14T12:44:53Z","file_id":"5016","access_level":"open_access","date_created":"2018-12-12T10:13:32Z"}],"issue":"1","language":[{"iso":"eng"}],"doi":"10.1111/nph.14019","quality_controlled":"1","pubrep_id":"1004","_id":"1417","acknowledgement":"This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP, project CEITEC (CZ.1.05/1.1.00/02.0068) and the Czech Science Foundation GACR (project no. 13-4063 7S to J.F.)","year":"2016","volume":211,"date_created":"2018-12-11T11:51:54Z","file_date_updated":"2020-07-14T12:44:53Z","page":"65 - 74","oa_version":"Submitted Version","month":"07","type":"journal_article","abstract":[{"lang":"eng","text":"Plant development mediated by the phytohormone auxin depends on tightly controlled cellular auxin levels at its target tissue that are largely established by intercellular and intracellular auxin transport mediated by PIN auxin transporters. Among the eight members of the Arabidopsis PIN family, PIN6 is the least characterized candidate. In this study we generated functional, fluorescent protein-tagged PIN6 proteins and performed comprehensive analysis of their subcellular localization and also performed a detailed functional characterization of PIN6 and its developmental roles. The localization study of PIN6 revealed a dual localization at the plasma membrane (PM) and endoplasmic reticulum (ER). Transport and metabolic profiling assays in cultured cells and Arabidopsis strongly suggest that PIN6 mediates both auxin transport across the PM and intracellular auxin homeostasis, including the regulation of free auxin and auxin conjugates levels. As evidenced by the loss- and gain-of-function analysis, the complex function of PIN6 in auxin transport and homeostasis is required for auxin distribution during lateral and adventitious root organogenesis and for progression of these developmental processes. These results illustrate a unique position of PIN6 within the family of PIN auxin transporters and further add complexity to the developmentally crucial process of auxin transport."}],"date_updated":"2021-01-12T06:50:36Z","intvolume":" 211","citation":{"ama":"Simon S, Skůpa P, Viaene T, et al. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 2016;211(1):65-74. doi:10.1111/nph.14019","ista":"Simon S, Skůpa P, Viaene T, Zwiewka M, Tejos R, Klíma P, Čarná M, Rolčík J, De Rycke R, Moreno I, Dobrev P, Orellana A, Zažímalová E, Friml J. 2016. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 211(1), 65–74.","mla":"Simon, Sibu, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.” New Phytologist, vol. 211, no. 1, Wiley-Blackwell, 2016, pp. 65–74, doi:10.1111/nph.14019.","apa":"Simon, S., Skůpa, P., Viaene, T., Zwiewka, M., Tejos, R., Klíma, P., … Friml, J. (2016). PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. Wiley-Blackwell. https://doi.org/10.1111/nph.14019","ieee":"S. Simon et al., “PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis,” New Phytologist, vol. 211, no. 1. Wiley-Blackwell, pp. 65–74, 2016.","chicago":"Simon, Sibu, Petr Skůpa, Tom Viaene, Marta Zwiewka, Ricardo Tejos, Petr Klíma, Mária Čarná, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.” New Phytologist. Wiley-Blackwell, 2016. https://doi.org/10.1111/nph.14019.","short":"S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná, J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml, New Phytologist 211 (2016) 65–74."},"status":"public","date_published":"2016-07-01T00:00:00Z","ddc":["581"],"oa":1,"publication_status":"published","has_accepted_license":"1"},{"status":"public","external_id":{"arxiv":["1510.08344"]},"intvolume":" 202","citation":{"ista":"Bodova K, Tkačik G, Barton NH. 2016. A general approximation for the dynamics of quantitative traits. Genetics. 202(4), 1523–1548.","mla":"Bodova, Katarina, et al. “A General Approximation for the Dynamics of Quantitative Traits.” Genetics, vol. 202, no. 4, Genetics Society of America, 2016, pp. 1523–48, doi:10.1534/genetics.115.184127.","apa":"Bodova, K., Tkačik, G., & Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.184127","ama":"Bodova K, Tkačik G, Barton NH. A general approximation for the dynamics of quantitative traits. Genetics. 2016;202(4):1523-1548. doi:10.1534/genetics.115.184127","short":"K. Bodova, G. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.","ieee":"K. Bodova, G. Tkačik, and N. H. Barton, “A general approximation for the dynamics of quantitative traits,” Genetics, vol. 202, no. 4. Genetics Society of America, pp. 1523–1548, 2016.","chicago":"Bodova, Katarina, Gašper Tkačik, and Nicholas H Barton. “A General Approximation for the Dynamics of Quantitative Traits.” Genetics. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.184127."},"oa":1,"publication_status":"published","date_published":"2016-04-06T00:00:00Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1510.08344"}],"year":"2016","_id":"1420","page":"1523 - 1548","oa_version":"Preprint","month":"04","type":"journal_article","date_updated":"2025-05-28T11:42:47Z","abstract":[{"text":"Selection, mutation, and random drift affect the dynamics of allele frequencies and consequently of quantitative traits. While the macroscopic dynamics of quantitative traits can be measured, the underlying allele frequencies are typically unobserved. Can we understand how the macroscopic observables evolve without following these microscopic processes? This problem has been studied previously by analogy with statistical mechanics: the allele frequency distribution at each time point is approximated by the stationary form, which maximizes entropy. We explore the limitations of this method when mutation is small (4Nμ < 1) so that populations are typically close to fixation, and we extend the theory in this regime to account for changes in mutation strength. We consider a single diallelic locus either under directional selection or with overdominance and then generalize to multiple unlinked biallelic loci with unequal effects. We find that the maximum-entropy approximation is remarkably accurate, even when mutation and selection change rapidly. ","lang":"eng"}],"volume":202,"date_created":"2018-12-11T11:51:55Z","project":[{"name":"Limits to selection in biology and in evolutionary computation","_id":"25B07788-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"250152"},{"grant_number":"RGP0065/2012","name":"Information processing and computation in fish groups","_id":"255008E4-B435-11E9-9278-68D0E5697425"}],"issue":"4","language":[{"iso":"eng"}],"doi":"10.1534/genetics.115.184127","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Genetics Society of America","department":[{"_id":"GaTk"},{"_id":"NiBa"}],"publication":"Genetics","scopus_import":"1","article_processing_charge":"No","ec_funded":1,"author":[{"id":"2BA24EA0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7214-0171","full_name":"Bod'ová, Katarína","first_name":"Katarína","last_name":"Bod'ová"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","first_name":"Gasper","last_name":"Tkacik"},{"first_name":"Nicholas H","last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"day":"06","arxiv":1,"title":"A general approximation for the dynamics of quantitative traits","publist_id":"5787"}]