[{"publication_status":"published","citation":{"apa":"Chatterjee, K., Pavlogiannis, A., Kößler, A., &#38; Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In <i>Real-Time Systems Symposium</i> (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. <a href=\"https://doi.org/10.1109/RTSS.2014.9\">https://doi.org/10.1109/RTSS.2014.9</a>","mla":"Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” <i>Real-Time Systems Symposium</i>, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:<a href=\"https://doi.org/10.1109/RTSS.2014.9\">10.1109/RTSS.2014.9</a>.","ama":"Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In: <i>Real-Time Systems Symposium</i>. Vol 2015. IEEE; 2015:118-127. doi:<a href=\"https://doi.org/10.1109/RTSS.2014.9\">10.1109/RTSS.2014.9</a>","ieee":"K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in <i>Real-Time Systems Symposium</i>, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.","ista":"Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. 2015. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium vol. 2015, 118–127.","short":"K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.","chicago":"Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” In <i>Real-Time Systems Symposium</i>, 2015:118–27. IEEE, 2015. <a href=\"https://doi.org/10.1109/RTSS.2014.9\">https://doi.org/10.1109/RTSS.2014.9</a>."},"type":"conference","scopus_import":1,"abstract":[{"lang":"eng","text":"We present a flexible framework for the automated competitive analysis of on-line scheduling algorithms for firm-deadline real-time tasks based on multi-objective graphs: Given a task set and an on-line scheduling algorithm specified as a labeled transition system, along with some optional safety, liveness, and/or limit-average constraints for the adversary, we automatically compute the competitive ratio of the algorithm w.r.t. A clairvoyant scheduler. We demonstrate the flexibility and power of our approach by comparing the competitive ratio of several on-line algorithms, including Dover, that have been proposed in the past, for various task sets. Our experimental results reveal that none of these algorithms is universally optimal, in the sense that there are task sets where other schedulers provide better performance. Our framework is hence a very useful design tool for selecting optimal algorithms for a given application."}],"_id":"1714","quality_controlled":"1","article_processing_charge":"No","publist_id":"5417","department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"publisher":"IEEE","title":"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas","full_name":"Pavlogiannis, Andreas"},{"last_name":"Kößler","first_name":"Alexander","full_name":"Kößler, Alexander"},{"first_name":"Ulrich","last_name":"Schmid","full_name":"Schmid, Ulrich"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1109/RTSS.2014.9","publication":"Real-Time Systems Symposium","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5423"},{"id":"821","relation":"dissertation_contains","status":"public"}]},"oa_version":"None","volume":2015,"date_created":"2018-12-11T11:53:37Z","status":"public","day":"15","page":"118 - 127","conference":{"location":"Rome, Italy","name":"RTSS: Real-Time Systems Symposium","end_date":"2014-12-05","start_date":"2014-12-02"},"year":"2015","month":"01","intvolume":"      2015","date_published":"2015-01-15T00:00:00Z","date_updated":"2023-09-07T12:01:59Z","issue":"January"},{"year":"2015","series_title":"Lecture Notes in Computer Science","page":"180 - 197","conference":{"start_date":"2015-07-18","end_date":"2015-07-24","name":"CAV: Computer Aided Verification","location":"San Francisco, CA, United States"},"date_updated":"2023-09-20T11:13:50Z","month":"07","intvolume":"      9207","date_published":"2015-07-01T00:00:00Z","alternative_title":["LNCS"],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1130"},{"id":"1338","relation":"later_version","status":"public"}]},"ec_funded":1,"oa_version":"Submitted Version","doi":"10.1007/978-3-319-21668-3_11","ddc":["000"],"date_created":"2018-12-11T11:53:42Z","day":"01","status":"public","volume":9207,"language":[{"iso":"eng"}],"pubrep_id":"336","department":[{"_id":"ToHe"}],"publist_id":"5398","file":[{"file_name":"IST-2015-336-v1+1_long_version.pdf","date_updated":"2020-07-14T12:45:13Z","date_created":"2018-12-12T10:08:53Z","file_size":481922,"creator":"system","content_type":"application/pdf","file_id":"4715","access_level":"local","relation":"main_file","checksum":"6ff58ac220e2f20cb001ba35d4924495"}],"author":[{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","full_name":"Cerny, Pavol"},{"full_name":"Clarke, Edmund","last_name":"Clarke","first_name":"Edmund"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"full_name":"Radhakrishna, Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","last_name":"Radhakrishna"},{"full_name":"Ryzhyk, Leonid","first_name":"Leonid","last_name":"Ryzhyk"},{"full_name":"Samanta, Roopsha","first_name":"Roopsha","id":"3D2AAC08-F248-11E8-B48F-1D18A9856A87","last_name":"Samanta"},{"full_name":"Tarrach, Thorsten","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87","first_name":"Thorsten","orcid":"0000-0003-4409-8487","last_name":"Tarrach"}],"title":"From non-preemptive to preemptive scheduling using synchronization synthesis","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","publisher":"Springer","project":[{"call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"}],"publication_status":"published","_id":"1729","quality_controlled":"1","citation":{"ama":"Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:<a href=\"https://doi.org/10.1007/978-3-319-21668-3_11\">10.1007/978-3-319-21668-3_11</a>","short":"P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.","ista":"Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.","ieee":"P. Cerny <i>et al.</i>, “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.","chicago":"Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-21668-3_11\">https://doi.org/10.1007/978-3-319-21668-3_11</a>.","apa":"Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &#38; Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-319-21668-3_11\">https://doi.org/10.1007/978-3-319-21668-3_11</a>","mla":"Cerny, Pavol, et al. <i>From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis</i>. Vol. 9207, Springer, 2015, pp. 180–97, doi:<a href=\"https://doi.org/10.1007/978-3-319-21668-3_11\">10.1007/978-3-319-21668-3_11</a>."},"file_date_updated":"2020-07-14T12:45:13Z","type":"conference","scopus_import":1,"abstract":[{"text":"We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness specification is implicit, inferred from the non-preemptive behavior. Let us consider sequences of calls that the program makes to an external interface. The specification requires that any such sequence produced under a preemptive scheduler should be included in the set of such sequences produced under a non-preemptive scheduler. The solution is based on a finitary abstraction, an algorithm for bounded language inclusion modulo an independence relation, and rules for inserting synchronization. We apply the approach to device-driver programming, where the driver threads call the software interface of the device and the API provided by the operating system. Our experiments demonstrate that our synthesis method is precise and efficient, and, since it does not require explicit specifications, is more practical than the conventional approach based on user-provided assertions.","lang":"eng"}]},{"oa_version":"Preprint","publication_status":"published","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1408.4036"}],"doi":"10.1007/s00454-015-9679-9","publication":"Discrete & Computational Geometry","day":"02","quality_controlled":"1","status":"public","_id":"1730","date_created":"2018-12-11T11:53:42Z","type":"journal_article","scopus_import":1,"abstract":[{"lang":"eng","text":"How much cutting is needed to simplify the topology of a surface? We provide bounds for several instances of this question, for the minimum length of topologically non-trivial closed curves, pants decompositions, and cut graphs with a given combinatorial map in triangulated combinatorial surfaces (or their dual cross-metric counterpart). Our work builds upon Riemannian systolic inequalities, which bound the minimum length of non-trivial closed curves in terms of the genus and the area of the surface. We first describe a systematic way to translate Riemannian systolic inequalities to a discrete setting, and vice-versa. This implies a conjecture by Przytycka and Przytycki (Graph structure theory. Contemporary Mathematics, vol. 147, 1993), a number of new systolic inequalities in the discrete setting, and the fact that a theorem of Hutchinson on the edge-width of triangulated surfaces and Gromov’s systolic inequality for surfaces are essentially equivalent. We also discuss how these proofs generalize to higher dimensions. Then we focus on topological decompositions of surfaces. Relying on ideas of Buser, we prove the existence of pants decompositions of length O(g^(3/2)n^(1/2)) for any triangulated combinatorial surface of genus g with n triangles, and describe an O(gn)-time algorithm to compute such a decomposition. Finally, we consider the problem of embedding a cut graph (or more generally a cellular graph) with a given combinatorial map on a given surface. Using random triangulations, we prove (essentially) that, for any choice of a combinatorial map, there are some surfaces on which any cellular embedding with that combinatorial map has length superlinear in the number of triangles of the triangulated combinatorial surface. There is also a similar result for graphs embedded on polyhedral triangulations."}],"citation":{"chicago":"Colin De Verdière, Éric, Alfredo Hubard, and Arnaud N de Mesmay. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2015. <a href=\"https://doi.org/10.1007/s00454-015-9679-9\">https://doi.org/10.1007/s00454-015-9679-9</a>.","ieee":"É. Colin De Verdière, A. Hubard, and A. N. de Mesmay, “Discrete systolic inequalities and decompositions of triangulated surfaces,” <i>Discrete &#38; Computational Geometry</i>, vol. 53, no. 3. Springer, pp. 587–620, 2015.","ista":"Colin De Verdière É, Hubard A, de Mesmay AN. 2015. Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete &#38; Computational Geometry. 53(3), 587–620.","short":"É. Colin De Verdière, A. Hubard, A.N. de Mesmay, Discrete &#38; Computational Geometry 53 (2015) 587–620.","ama":"Colin De Verdière É, Hubard A, de Mesmay AN. Discrete systolic inequalities and decompositions of triangulated surfaces. <i>Discrete &#38; Computational Geometry</i>. 2015;53(3):587-620. doi:<a href=\"https://doi.org/10.1007/s00454-015-9679-9\">10.1007/s00454-015-9679-9</a>","mla":"Colin De Verdière, Éric, et al. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” <i>Discrete &#38; Computational Geometry</i>, vol. 53, no. 3, Springer, 2015, pp. 587–620, doi:<a href=\"https://doi.org/10.1007/s00454-015-9679-9\">10.1007/s00454-015-9679-9</a>.","apa":"Colin De Verdière, É., Hubard, A., &#38; de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-015-9679-9\">https://doi.org/10.1007/s00454-015-9679-9</a>"},"volume":53,"year":"2015","language":[{"iso":"eng"}],"department":[{"_id":"UlWa"}],"publist_id":"5397","page":"587 - 620","issue":"3","author":[{"full_name":"Colin De Verdière, Éric","first_name":"Éric","last_name":"Colin De Verdière"},{"full_name":"Hubard, Alfredo","first_name":"Alfredo","last_name":"Hubard"},{"first_name":"Arnaud N","id":"3DB2F25C-F248-11E8-B48F-1D18A9856A87","last_name":"De Mesmay","full_name":"De Mesmay, Arnaud N"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Discrete systolic inequalities and decompositions of triangulated surfaces","oa":1,"date_updated":"2021-01-12T06:52:49Z","publisher":"Springer","intvolume":"        53","month":"04","date_published":"2015-04-02T00:00:00Z"},{"oa_version":"Preprint","ec_funded":1,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"3856"}]},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1006.0673"}],"doi":"10.1016/j.ic.2015.06.003","publication":"Information and Computation","day":"01","status":"public","date_created":"2018-12-11T11:53:42Z","volume":245,"year":"2015","page":"3 - 16","issue":"12","oa":1,"date_updated":"2023-02-23T11:45:42Z","intvolume":"       245","month":"12","date_published":"2015-12-01T00:00:00Z","publication_status":"published","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF"},{"call_identifier":"FWF","grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"name":"COMponent-Based Embedded Systems design Techniques","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"215543"},{"grant_number":"214373","call_identifier":"FP7","_id":"25F1337C-B435-11E9-9278-68D0E5697425","name":"Design for Embedded Systems"},{"grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"}],"quality_controlled":"1","_id":"1731","type":"journal_article","scopus_import":1,"abstract":[{"lang":"eng","text":"We consider two-player zero-sum games on graphs. These games can be classified on the basis of the information of the players and on the mode of interaction between them. On the basis of information the classification is as follows: (a) partial-observation (both players have partial view of the game); (b) one-sided complete-observation (one player has complete observation); and (c) complete-observation (both players have complete view of the game). On the basis of mode of interaction we have the following classification: (a) concurrent (both players interact simultaneously); and (b) turn-based (both players interact in turn). The two sources of randomness in these games are randomness in transition function and randomness in strategies. In general, randomized strategies are more powerful than deterministic strategies, and randomness in transitions gives more general classes of games. In this work we present a complete characterization for the classes of games where randomness is not helpful in: (a) the transition function probabilistic transition can be simulated by deterministic transition); and (b) strategies (pure strategies are as powerful as randomized strategies). As consequence of our characterization we obtain new undecidability results for these games. "}],"citation":{"ama":"Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. <i>Information and Computation</i>. 2015;245(12):3-16. doi:<a href=\"https://doi.org/10.1016/j.ic.2015.06.003\">10.1016/j.ic.2015.06.003</a>","ista":"Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2015. Randomness for free. Information and Computation. 245(12), 3–16.","ieee":"K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” <i>Information and Computation</i>, vol. 245, no. 12. Elsevier, pp. 3–16, 2015.","short":"K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” <i>Information and Computation</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.ic.2015.06.003\">https://doi.org/10.1016/j.ic.2015.06.003</a>.","apa":"Chatterjee, K., Doyen, L., Gimbert, H., &#38; Henzinger, T. A. (2015). Randomness for free. <i>Information and Computation</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ic.2015.06.003\">https://doi.org/10.1016/j.ic.2015.06.003</a>","mla":"Chatterjee, Krishnendu, et al. “Randomness for Free.” <i>Information and Computation</i>, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:<a href=\"https://doi.org/10.1016/j.ic.2015.06.003\">10.1016/j.ic.2015.06.003</a>."},"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publist_id":"5395","title":"Randomness for free","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"full_name":"Gimbert, Hugo","first_name":"Hugo","last_name":"Gimbert"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"}],"publisher":"Elsevier"},{"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5424"},{"relation":"earlier_version","status":"public","id":"5426"}]},"oa_version":"Preprint","ec_funded":1,"main_file_link":[{"url":"http://arxiv.org/abs/1409.3360","open_access":"1"}],"doi":"10.1109/ICRA.2015.7139019","date_created":"2018-12-11T11:53:43Z","day":"01","status":"public","year":"2015","page":"325 - 330","external_id":{"arxiv":["1409.3360"]},"conference":{"location":"Seattle, WA, United States","name":"ICRA: International Conference on Robotics and Automation","start_date":"2015-05-26","end_date":"2015-05-30"},"date_updated":"2023-02-23T12:25:52Z","oa":1,"month":"01","date_published":"2015-01-01T00:00:00Z","project":[{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF","grant_number":"S11407"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7"}],"publication_status":"published","_id":"1732","quality_controlled":"1","citation":{"chicago":"Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,” 325–30. IEEE, 2015. <a href=\"https://doi.org/10.1109/ICRA.2015.7139019\">https://doi.org/10.1109/ICRA.2015.7139019</a>.","ama":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: IEEE; 2015:325-330. doi:<a href=\"https://doi.org/10.1109/ICRA.2015.7139019\">10.1109/ICRA.2015.7139019</a>","short":"K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.","ieee":"K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Qualitative analysis of POMDPs with temporal logic specifications for robotics applications,” presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States, 2015, pp. 325–330.","ista":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. ICRA: International Conference on Robotics and Automation, 325–330.","mla":"Chatterjee, Krishnendu, et al. <i>Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications</i>. IEEE, 2015, pp. 325–30, doi:<a href=\"https://doi.org/10.1109/ICRA.2015.7139019\">10.1109/ICRA.2015.7139019</a>.","apa":"Chatterjee, K., Chmelik, M., Gupta, R., &#38; Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. <a href=\"https://doi.org/10.1109/ICRA.2015.7139019\">https://doi.org/10.1109/ICRA.2015.7139019</a>"},"type":"conference","arxiv":1,"scopus_import":1,"abstract":[{"text":"We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-time temporal logic (LTL) can be expressed as parity objectives. We study the qualitative analysis problem for POMDPs with parity objectives that asks whether there is a controller (policy) to ensure that the objective holds with probability 1 (almost-surely). While the qualitative analysis of POMDPs with parity objectives is undecidable, recent results show that when restricted to finite-memory policies the problem is EXPTIME-complete. While the problem is intractable in theory, we present a practical approach to solve the qualitative analysis problem. We designed several heuristics to deal with the exponential complexity, and have used our implementation on a number of well-known POMDP examples for robotics applications. Our results provide the first practical approach to solve the qualitative analysis of robot motion planning with LTL properties in the presence of uncertainty.","lang":"eng"}],"language":[{"iso":"eng"}],"publist_id":"5394","department":[{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","last_name":"Chmelik","full_name":"Chmelik, Martin"},{"full_name":"Gupta, Raghav","first_name":"Raghav","last_name":"Gupta"},{"last_name":"Kanodia","first_name":"Ayush","full_name":"Kanodia, Ayush"}],"title":"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications","publisher":"IEEE"},{"department":[{"_id":"BeBi"}],"publist_id":"5391","page":"709 - 733","year":"2015","language":[{"iso":"eng"}],"publisher":"Wiley-Blackwell","date_published":"2015-05-01T00:00:00Z","intvolume":"        34","month":"05","author":[{"first_name":"Oliver","last_name":"Klehm","full_name":"Klehm, Oliver"},{"last_name":"Rousselle","first_name":"Fabrice","full_name":"Rousselle, Fabrice"},{"first_name":"Marios","last_name":"Papas","full_name":"Papas, Marios"},{"first_name":"Derek","last_name":"Bradley","full_name":"Bradley, Derek"},{"first_name":"Christophe","last_name":"Hery","full_name":"Hery, Christophe"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","orcid":"0000-0001-6511-9385","last_name":"Bickel","full_name":"Bickel, Bernd"},{"last_name":"Jarosz","first_name":"Wojciech","full_name":"Jarosz, Wojciech"},{"first_name":"Thabo","last_name":"Beeler","full_name":"Beeler, Thabo"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","title":"Recent advances in facial appearance capture","issue":"2","date_updated":"2021-01-12T06:52:52Z","publication":"Computer Graphics Forum","doi":"10.1111/cgf.12594","publication_status":"published","main_file_link":[{"url":"https://graphics.ethz.ch/~mpapas/publications/fac_star.pdf"}],"oa_version":"None","scopus_import":1,"abstract":[{"text":"Facial appearance capture is now firmly established within academic research and used extensively across various application domains, perhaps most prominently in the entertainment industry through the design of virtual characters in video games and films. While significant progress has occurred over the last two decades, no single survey currently exists that discusses the similarities, differences, and practical considerations of the available appearance capture techniques as applied to human faces. A central difficulty of facial appearance capture is the way light interacts with skin-which has a complex multi-layered structure-and the interactions that occur below the skin surface can, by definition, only be observed indirectly. In this report, we distinguish between two broad strategies for dealing with this complexity. &quot;Image-based methods&quot; try to exhaustively capture the exact face appearance under different lighting and viewing conditions, and then render the face through weighted image combinations. &quot;Parametric methods&quot; instead fit the captured reflectance data to some parametric appearance model used during rendering, allowing for a more lightweight and flexible representation but at the cost of potentially increased rendering complexity or inexact reproduction. The goal of this report is to provide an overview that can guide practitioners and researchers in assessing the tradeoffs between current approaches and identifying directions for future advances in facial appearance capture.","lang":"eng"}],"type":"journal_article","volume":34,"citation":{"mla":"Klehm, Oliver, et al. “Recent Advances in Facial Appearance Capture.” <i>Computer Graphics Forum</i>, vol. 34, no. 2, Wiley-Blackwell, 2015, pp. 709–33, doi:<a href=\"https://doi.org/10.1111/cgf.12594\">10.1111/cgf.12594</a>.","apa":"Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B., … Beeler, T. (2015). Recent advances in facial appearance capture. <i>Computer Graphics Forum</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/cgf.12594\">https://doi.org/10.1111/cgf.12594</a>","chicago":"Klehm, Oliver, Fabrice Rousselle, Marios Papas, Derek Bradley, Christophe Hery, Bernd Bickel, Wojciech Jarosz, and Thabo Beeler. “Recent Advances in Facial Appearance Capture.” <i>Computer Graphics Forum</i>. Wiley-Blackwell, 2015. <a href=\"https://doi.org/10.1111/cgf.12594\">https://doi.org/10.1111/cgf.12594</a>.","ama":"Klehm O, Rousselle F, Papas M, et al. Recent advances in facial appearance capture. <i>Computer Graphics Forum</i>. 2015;34(2):709-733. doi:<a href=\"https://doi.org/10.1111/cgf.12594\">10.1111/cgf.12594</a>","short":"O. Klehm, F. Rousselle, M. Papas, D. Bradley, C. Hery, B. Bickel, W. Jarosz, T. Beeler, Computer Graphics Forum 34 (2015) 709–733.","ieee":"O. Klehm <i>et al.</i>, “Recent advances in facial appearance capture,” <i>Computer Graphics Forum</i>, vol. 34, no. 2. Wiley-Blackwell, pp. 709–733, 2015.","ista":"Klehm O, Rousselle F, Papas M, Bradley D, Hery C, Bickel B, Jarosz W, Beeler T. 2015. Recent advances in facial appearance capture. Computer Graphics Forum. 34(2), 709–733."},"quality_controlled":"1","status":"public","day":"01","_id":"1734","date_created":"2018-12-11T11:53:43Z"},{"page":"473 - 480","year":"2015","date_published":"2015-05-01T00:00:00Z","intvolume":"        34","month":"05","acknowledgement":"The first author was supported by a JSPS Postdoctoral Fellowship for Research Abroad","date_updated":"2023-02-23T10:12:11Z","oa":1,"issue":"2","publication":"Computer Graphics Forum","doi":"10.1111/cgf.12576","oa_version":"Submitted Version","volume":34,"date_created":"2018-12-11T11:53:44Z","ddc":["000"],"status":"public","day":"01","publist_id":"5389","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"pubrep_id":"607","has_accepted_license":"1","publisher":"Wiley","title":"A dimension-reduced pressure solver for liquid simulations","author":[{"last_name":"Ando","first_name":"Ryoichi","full_name":"Ando, Ryoichi"},{"full_name":"Thürey, Nils","first_name":"Nils","last_name":"Thürey"},{"first_name":"Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","last_name":"Wojtan","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"checksum":"590752bf977855b337a80f78a9bc2404","access_level":"open_access","relation":"main_file","file_size":6312352,"creator":"system","file_id":"5218","content_type":"application/pdf","date_created":"2018-12-12T10:16:30Z","date_updated":"2020-07-14T12:45:15Z","file_name":"IST-2016-607-v1+1_coarsegrid.pdf"}],"publication_status":"published","citation":{"apa":"Ando, R., Thürey, N., &#38; Wojtan, C. (2015). A dimension-reduced pressure solver for liquid simulations. <i>Computer Graphics Forum</i>. Wiley. <a href=\"https://doi.org/10.1111/cgf.12576\">https://doi.org/10.1111/cgf.12576</a>","mla":"Ando, Ryoichi, et al. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” <i>Computer Graphics Forum</i>, vol. 34, no. 2, Wiley, 2015, pp. 473–80, doi:<a href=\"https://doi.org/10.1111/cgf.12576\">10.1111/cgf.12576</a>.","ama":"Ando R, Thürey N, Wojtan C. A dimension-reduced pressure solver for liquid simulations. <i>Computer Graphics Forum</i>. 2015;34(2):473-480. doi:<a href=\"https://doi.org/10.1111/cgf.12576\">10.1111/cgf.12576</a>","ista":"Ando R, Thürey N, Wojtan C. 2015. A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. 34(2), 473–480.","ieee":"R. Ando, N. Thürey, and C. Wojtan, “A dimension-reduced pressure solver for liquid simulations,” <i>Computer Graphics Forum</i>, vol. 34, no. 2. Wiley, pp. 473–480, 2015.","short":"R. Ando, N. Thürey, C. Wojtan, Computer Graphics Forum 34 (2015) 473–480.","chicago":"Ando, Ryoichi, Nils Thürey, and Chris Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” <i>Computer Graphics Forum</i>. Wiley, 2015. <a href=\"https://doi.org/10.1111/cgf.12576\">https://doi.org/10.1111/cgf.12576</a>."},"scopus_import":1,"abstract":[{"text":"This work presents a method for efficiently simplifying the pressure projection step in a liquid simulation. We first devise a straightforward dimension reduction technique that dramatically reduces the cost of solving the pressure projection. Next, we introduce a novel change of basis that satisfies free-surface boundary conditions exactly, regardless of the accuracy of the pressure solve. When combined, these ideas greatly reduce the computational complexity of the pressure solve without compromising free surface boundary conditions at the highest level of detail. Our techniques are easy to parallelize, and they effectively eliminate the computational bottleneck for large liquid simulations.","lang":"eng"}],"file_date_updated":"2020-07-14T12:45:15Z","type":"journal_article","_id":"1735","quality_controlled":"1"},{"quality_controlled":"1","_id":"1789","abstract":[{"lang":"eng","text":"Intellectual disability (ID) has an estimated prevalence of 2-3%. Due to its extreme heterogeneity, the genetic basis of ID remains elusive in many cases. Recently, whole exome sequencing (WES) studies revealed that a large proportion of sporadic cases are caused by de novo gene variants. To identify further genes involved in ID, we performed WES in 250 patients with unexplained ID and their unaffected parents and included exomes of 51 previously sequenced child-parents trios in the analysis. Exome analysis revealed de novo intragenic variants in SET domain-containing 5 (SETD5) in two patients. One patient carried a nonsense variant, and the other an 81 bp deletion located across a splice-donor site. Chromosomal microarray diagnostics further identified four de novo non-recurrent microdeletions encompassing SETD5. CRISPR/Cas9 mutation modelling of the two intragenic variants demonstrated nonsense-mediated decay of the resulting transcripts, pointing to a loss-of-function (LoF) and haploinsufficiency as the common disease-causing mechanism of intragenic SETD5 sequence variants and SETD5-containing microdeletions. In silico domain prediction of SETD5, a predicted SET domain-containing histone methyltransferase (HMT), substantiated the presence of a SET domain and identified a novel putative PHD domain, strengthening a functional link to well-known histone-modifying ID genes. All six patients presented with ID and certain facial dysmorphisms, suggesting that SETD5 sequence variants contribute substantially to the microdeletion 3p25.3 phenotype. The present report of two SETD5 LoF variants in 301 patients demonstrates a prevalence of 0.7% and thus SETD5 variants as a relatively frequent cause of ID."}],"type":"journal_article","citation":{"apa":"Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L., … Engels, H. (2015). Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. <i>European Journal of Human Genetics</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ejhg.2014.165\">https://doi.org/10.1038/ejhg.2014.165</a>","mla":"Kuechler, Alma, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” <i>European Journal of Human Genetics</i>, vol. 23, no. 6, Nature Publishing Group, 2015, pp. 753–60, doi:<a href=\"https://doi.org/10.1038/ejhg.2014.165\">10.1038/ejhg.2014.165</a>.","short":"A. Kuechler, A. Zink, T. Wieland, H. Lüdecke, K. Cremer, L. Salviati, P. Magini, K. Najafi, C. Zweier, J. Czeschik, S. Aretz, S. Endele, F. Tamburrino, C. Pinato, M. Clementi, J. Gundlach, C. Maylahn, L. Mazzanti, E. Wohlleber, T. Schwarzmayr, R. Kariminejad, A. Schlessinger, D. Wieczorek, T. Strom, G. Novarino, H. Engels, European Journal of Human Genetics 23 (2015) 753–760.","ista":"Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.","ieee":"A. Kuechler <i>et al.</i>, “Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome,” <i>European Journal of Human Genetics</i>, vol. 23, no. 6. Nature Publishing Group, pp. 753–760, 2015.","ama":"Kuechler A, Zink A, Wieland T, et al. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. <i>European Journal of Human Genetics</i>. 2015;23(6):753-760. doi:<a href=\"https://doi.org/10.1038/ejhg.2014.165\">10.1038/ejhg.2014.165</a>","chicago":"Kuechler, Alma, Alexander Zink, Thomas Wieland, Hermann Lüdecke, Kirsten Cremer, Leonardo Salviati, Pamela Magini, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” <i>European Journal of Human Genetics</i>. Nature Publishing Group, 2015. <a href=\"https://doi.org/10.1038/ejhg.2014.165\">https://doi.org/10.1038/ejhg.2014.165</a>."},"publication_status":"published","title":"Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome","author":[{"first_name":"Alma","last_name":"Kuechler","full_name":"Kuechler, Alma"},{"last_name":"Zink","first_name":"Alexander","full_name":"Zink, Alexander"},{"last_name":"Wieland","first_name":"Thomas","full_name":"Wieland, Thomas"},{"full_name":"Lüdecke, Hermann","first_name":"Hermann","last_name":"Lüdecke"},{"first_name":"Kirsten","last_name":"Cremer","full_name":"Cremer, Kirsten"},{"first_name":"Leonardo","last_name":"Salviati","full_name":"Salviati, Leonardo"},{"full_name":"Magini, Pamela","last_name":"Magini","first_name":"Pamela"},{"first_name":"Kimia","last_name":"Najafi","full_name":"Najafi, Kimia"},{"first_name":"Christiane","last_name":"Zweier","full_name":"Zweier, Christiane"},{"first_name":"Johanna","last_name":"Czeschik","full_name":"Czeschik, Johanna"},{"last_name":"Aretz","first_name":"Stefan","full_name":"Aretz, Stefan"},{"first_name":"Sabine","last_name":"Endele","full_name":"Endele, Sabine"},{"first_name":"Federica","last_name":"Tamburrino","full_name":"Tamburrino, Federica"},{"first_name":"Claudia","last_name":"Pinato","full_name":"Pinato, Claudia"},{"first_name":"Maurizio","last_name":"Clementi","full_name":"Clementi, Maurizio"},{"full_name":"Gundlach, Jasmin","last_name":"Gundlach","first_name":"Jasmin"},{"full_name":"Maylahn, Carina","first_name":"Carina","last_name":"Maylahn"},{"full_name":"Mazzanti, Laura","first_name":"Laura","last_name":"Mazzanti"},{"full_name":"Wohlleber, Eva","last_name":"Wohlleber","first_name":"Eva"},{"full_name":"Schwarzmayr, Thomas","first_name":"Thomas","last_name":"Schwarzmayr"},{"last_name":"Kariminejad","first_name":"Roxana","full_name":"Kariminejad, Roxana"},{"first_name":"Avner","last_name":"Schlessinger","full_name":"Schlessinger, Avner"},{"last_name":"Wieczorek","first_name":"Dagmar","full_name":"Wieczorek, Dagmar"},{"first_name":"Tim","last_name":"Strom","full_name":"Strom, Tim"},{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","last_name":"Novarino","orcid":"0000-0002-7673-7178","full_name":"Novarino, Gaia"},{"full_name":"Engels, Hartmut","first_name":"Hartmut","last_name":"Engels"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Nature Publishing Group","language":[{"iso":"eng"}],"department":[{"_id":"GaNo"}],"publist_id":"5324","day":"15","status":"public","date_created":"2018-12-11T11:54:01Z","volume":23,"pmid":1,"oa_version":"Submitted Version","publication":"European Journal of Human Genetics","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4795044/","open_access":"1"}],"doi":"10.1038/ejhg.2014.165","oa":1,"issue":"6","date_updated":"2021-01-12T06:53:12Z","date_published":"2015-06-15T00:00:00Z","month":"06","intvolume":"        23","year":"2015","external_id":{"pmid":["25138099"]},"page":"753 - 760"},{"quality_controlled":"1","day":"01","status":"public","_id":"1792","date_created":"2018-12-11T11:54:02Z","abstract":[{"text":"Motivated by recent ideas of Harman (Unif. Distrib. Theory, 2010) we develop a new concept of variation of multivariate functions on a compact Hausdorff space with respect to a collection D of subsets. We prove a general version of the Koksma-Hlawka theorem that holds for this notion of variation and discrepancy with respect to D. As special cases, we obtain Koksma-Hlawka inequalities for classical notions, such as extreme or isotropic discrepancy. For extreme discrepancy, our result coincides with the usual Koksma-Hlawka theorem. We show that the space of functions of bounded D-variation contains important discontinuous functions and is closed under natural algebraic operations. Finally, we illustrate the results on concrete integration problems from integral geometry and stereology.","lang":"eng"}],"scopus_import":1,"type":"journal_article","volume":31,"citation":{"ama":"Pausinger F, Svane A. A Koksma-Hlawka inequality for general discrepancy systems. <i>Journal of Complexity</i>. 2015;31(6):773-797. doi:<a href=\"https://doi.org/10.1016/j.jco.2015.06.002\">10.1016/j.jco.2015.06.002</a>","ieee":"F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” <i>Journal of Complexity</i>, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.","short":"F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.","ista":"Pausinger F, Svane A. 2015. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 31(6), 773–797.","chicago":"Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.” <i>Journal of Complexity</i>. Academic Press, 2015. <a href=\"https://doi.org/10.1016/j.jco.2015.06.002\">https://doi.org/10.1016/j.jco.2015.06.002</a>.","apa":"Pausinger, F., &#38; Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. <i>Journal of Complexity</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jco.2015.06.002\">https://doi.org/10.1016/j.jco.2015.06.002</a>","mla":"Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.” <i>Journal of Complexity</i>, vol. 31, no. 6, Academic Press, 2015, pp. 773–97, doi:<a href=\"https://doi.org/10.1016/j.jco.2015.06.002\">10.1016/j.jco.2015.06.002</a>."},"oa_version":"None","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1399"}]},"publication":"Journal of Complexity","publication_status":"published","doi":"10.1016/j.jco.2015.06.002","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"A Koksma-Hlawka inequality for general discrepancy systems","author":[{"last_name":"Pausinger","orcid":"0000-0002-8379-3768","id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","full_name":"Pausinger, Florian"},{"last_name":"Svane","first_name":"Anne","full_name":"Svane, Anne"}],"issue":"6","date_updated":"2023-09-07T11:41:25Z","publisher":"Academic Press","acknowledgement":"F.P. is supported by the Graduate School of IST Austria, A.M.S is supported by the Centre for Stochastic Geometry and Advanced Bioimaging funded by a grant from the Villum Foundation.","date_published":"2015-12-01T00:00:00Z","month":"12","intvolume":"        31","year":"2015","language":[{"iso":"eng"}],"publist_id":"5320","department":[{"_id":"HeEd"}],"page":"773 - 797"},{"year":"2015","date_updated":"2023-02-23T14:06:33Z","oa":1,"issue":"6","date_published":"2015-06-01T00:00:00Z","month":"06","intvolume":"        10","article_number":"e0127657","related_material":{"record":[{"id":"9737","relation":"research_data","status":"public"}]},"oa_version":"Published Version","publication":"PLoS One","doi":"10.1371/journal.pone.0127657","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2018-12-11T11:54:02Z","ddc":["000"],"status":"public","day":"01","volume":10,"language":[{"iso":"eng"}],"pubrep_id":"454","department":[{"_id":"MaJö"},{"_id":"HeEd"}],"publist_id":"5318","author":[{"full_name":"Symonova, Olga","last_name":"Symonova","first_name":"Olga","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Christopher","last_name":"Topp","full_name":"Topp, Christopher"},{"orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots","file":[{"checksum":"d20f26461ca575276ad3ed9ce4bfc787","access_level":"open_access","relation":"main_file","file_size":1850825,"creator":"system","content_type":"application/pdf","file_id":"5150","date_updated":"2020-07-14T12:45:16Z","date_created":"2018-12-12T10:15:30Z","file_name":"IST-2016-454-v1+1_journal.pone.0127657.pdf"}],"has_accepted_license":"1","publisher":"Public Library of Science","publication_status":"published","_id":"1793","quality_controlled":"1","citation":{"ama":"Symonova O, Topp C, Edelsbrunner H. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. <i>PLoS One</i>. 2015;10(6). doi:<a href=\"https://doi.org/10.1371/journal.pone.0127657\">10.1371/journal.pone.0127657</a>","ista":"Symonova O, Topp C, Edelsbrunner H. 2015. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 10(6), e0127657.","ieee":"O. Symonova, C. Topp, and H. Edelsbrunner, “DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots,” <i>PLoS One</i>, vol. 10, no. 6. Public Library of Science, 2015.","short":"O. Symonova, C. Topp, H. Edelsbrunner, PLoS One 10 (2015).","chicago":"Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.” <i>PLoS One</i>. Public Library of Science, 2015. <a href=\"https://doi.org/10.1371/journal.pone.0127657\">https://doi.org/10.1371/journal.pone.0127657</a>.","apa":"Symonova, O., Topp, C., &#38; Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0127657\">https://doi.org/10.1371/journal.pone.0127657</a>","mla":"Symonova, Olga, et al. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.” <i>PLoS One</i>, vol. 10, no. 6, e0127657, Public Library of Science, 2015, doi:<a href=\"https://doi.org/10.1371/journal.pone.0127657\">10.1371/journal.pone.0127657</a>."},"abstract":[{"text":"We present a software platform for reconstructing and analyzing the growth of a plant root system from a time-series of 3D voxelized shapes. It aligns the shapes with each other, constructs a geometric graph representation together with the function that records the time of growth, and organizes the branches into a hierarchy that reflects the order of creation. The software includes the automatic computation of structural and dynamic traits for each root in the system enabling the quantification of growth on fine-scale. These are important advances in plant phenotyping with applications to the study of genetic and environmental influences on growth.","lang":"eng"}],"scopus_import":1,"file_date_updated":"2020-07-14T12:45:16Z","type":"journal_article"},{"publication_status":"published","abstract":[{"text":"It is known that in classical fluids turbulence typically occurs at high Reynolds numbers. But can turbulence occur at low Reynolds numbers? Here we investigate the transition to turbulence in the classic Taylor-Couette system in which the rotating fluids are manufactured ferrofluids with magnetized nanoparticles embedded in liquid carriers. We find that, in the presence of a magnetic field transverse to the symmetry axis of the system, turbulence can occur at Reynolds numbers that are at least one order of magnitude smaller than those in conventional fluids. This is established by extensive computational ferrohydrodynamics through a detailed investigation of transitions in the flow structure, and characterization of behaviors of physical quantities such as the energy, the wave number, and the angular momentum through the bifurcations. A finding is that, as the magnetic field is increased, onset of turbulence can be determined accurately and reliably. Our results imply that experimental investigation of turbulence may be feasible by using ferrofluids. Our study of transition to and evolution of turbulence in the Taylor-Couette ferrofluidic flow system provides insights into the challenging problem of turbulence control.","lang":"eng"}],"scopus_import":1,"file_date_updated":"2020-07-14T12:45:16Z","type":"journal_article","citation":{"ista":"Altmeyer S, Do Y, Lai Y. 2015. Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. 5, 10781.","ieee":"S. Altmeyer, Y. Do, and Y. Lai, “Transition to turbulence in Taylor-Couette ferrofluidic flow,” <i>Scientific Reports</i>, vol. 5. Nature Publishing Group, 2015.","short":"S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).","ama":"Altmeyer S, Do Y, Lai Y. Transition to turbulence in Taylor-Couette ferrofluidic flow. <i>Scientific Reports</i>. 2015;5. doi:<a href=\"https://doi.org/10.1038/srep10781\">10.1038/srep10781</a>","chicago":"Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” <i>Scientific Reports</i>. Nature Publishing Group, 2015. <a href=\"https://doi.org/10.1038/srep10781\">https://doi.org/10.1038/srep10781</a>.","apa":"Altmeyer, S., Do, Y., &#38; Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep10781\">https://doi.org/10.1038/srep10781</a>","mla":"Altmeyer, Sebastian, et al. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” <i>Scientific Reports</i>, vol. 5, 10781, Nature Publishing Group, 2015, doi:<a href=\"https://doi.org/10.1038/srep10781\">10.1038/srep10781</a>."},"quality_controlled":"1","_id":"1804","department":[{"_id":"BjHo"}],"publist_id":"5306","pubrep_id":"450","language":[{"iso":"eng"}],"publisher":"Nature Publishing Group","has_accepted_license":"1","author":[{"full_name":"Altmeyer, Sebastian","last_name":"Altmeyer","orcid":"0000-0001-5964-0203","first_name":"Sebastian","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Do","first_name":"Younghae","full_name":"Do, Younghae"},{"first_name":"Ying","last_name":"Lai","full_name":"Lai, Ying"}],"title":"Transition to turbulence in Taylor-Couette ferrofluidic flow","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_created":"2018-12-12T10:17:26Z","date_updated":"2020-07-14T12:45:16Z","file_name":"IST-2016-450-v1+1_srep10781.pdf","access_level":"open_access","checksum":"7716f582f8c9d82d8f2bf80bf896b440","relation":"main_file","file_id":"5280","content_type":"application/pdf","file_size":2449723,"creator":"system"}],"publication":"Scientific Reports","doi":"10.1038/srep10781","oa_version":"Published Version","volume":5,"day":"12","status":"public","date_created":"2018-12-11T11:54:06Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["530"],"year":"2015","article_number":"10781","date_published":"2015-06-12T00:00:00Z","intvolume":"         5","month":"06","oa":1,"date_updated":"2021-01-12T06:53:18Z"},{"oa_version":"None","ec_funded":1,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"2812"}]},"publication":"Computational Geometry: Theory and Applications","doi":"10.1016/j.comgeo.2014.08.010","status":"public","day":"03","date_created":"2018-12-11T11:54:06Z","volume":48,"year":"2015","page":"606 - 621","issue":"8","date_updated":"2023-02-23T10:59:19Z","date_published":"2015-06-03T00:00:00Z","month":"06","intvolume":"        48","publication_status":"published","project":[{"_id":"255D761E-B435-11E9-9278-68D0E5697425","name":"Topological Complex Systems","grant_number":"318493","call_identifier":"FP7"}],"quality_controlled":"1","_id":"1805","scopus_import":1,"abstract":[{"lang":"eng","text":"We consider the problem of deciding whether the persistent homology group of a simplicial pair (K,L) can be realized as the homology H∗(X) of some complex X with L ⊂ X ⊂ K. We show that this problem is NP-complete even if K is embedded in double-struck R3. As a consequence, we show that it is NP-hard to simplify level and sublevel sets of scalar functions on double-struck S3 within a given tolerance constraint. This problem has relevance to the visualization of medical images by isosurfaces. We also show an implication to the theory of well groups of scalar functions: not every well group can be realized by some level set, and deciding whether a well group can be realized is NP-hard."}],"type":"journal_article","citation":{"chicago":"Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” <i>Computational Geometry: Theory and Applications</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.comgeo.2014.08.010\">https://doi.org/10.1016/j.comgeo.2014.08.010</a>.","ieee":"D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 8. Elsevier, pp. 606–621, 2015.","ista":"Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. 2015. Homological reconstruction and simplification in R3. Computational Geometry: Theory and Applications. 48(8), 606–621.","short":"D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, Computational Geometry: Theory and Applications 48 (2015) 606–621.","ama":"Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. Homological reconstruction and simplification in R3. <i>Computational Geometry: Theory and Applications</i>. 2015;48(8):606-621. doi:<a href=\"https://doi.org/10.1016/j.comgeo.2014.08.010\">10.1016/j.comgeo.2014.08.010</a>","mla":"Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi:<a href=\"https://doi.org/10.1016/j.comgeo.2014.08.010\">10.1016/j.comgeo.2014.08.010</a>.","apa":"Attali, D., Bauer, U., Devillers, O., Glisse, M., &#38; Lieutier, A. (2015). Homological reconstruction and simplification in R3. <i>Computational Geometry: Theory and Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.comgeo.2014.08.010\">https://doi.org/10.1016/j.comgeo.2014.08.010</a>"},"language":[{"iso":"eng"}],"publist_id":"5305","department":[{"_id":"HeEd"}],"title":"Homological reconstruction and simplification in R3","author":[{"full_name":"Attali, Dominique","first_name":"Dominique","last_name":"Attali"},{"full_name":"Bauer, Ulrich","id":"2ADD483A-F248-11E8-B48F-1D18A9856A87","first_name":"Ulrich","last_name":"Bauer","orcid":"0000-0002-9683-0724"},{"last_name":"Devillers","first_name":"Olivier","full_name":"Devillers, Olivier"},{"last_name":"Glisse","first_name":"Marc","full_name":"Glisse, Marc"},{"full_name":"Lieutier, André","last_name":"Lieutier","first_name":"André"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Elsevier"},{"day":"01","status":"public","quality_controlled":"1","_id":"1807","date_created":"2018-12-11T11:54:07Z","scopus_import":1,"abstract":[{"text":"We study a double Cahn-Hilliard type functional related to the Gross-Pitaevskii energy of two-components Bose-Einstein condensates. In the case of large but same order intercomponent and intracomponent coupling strengths, we prove Γ-convergence to a perimeter minimisation functional with an inhomogeneous surface tension. We study the asymptotic behavior of the surface tension as the ratio between the intercomponent and intracomponent coupling strengths becomes very small or very large and obtain good agreement with the physical literature. We obtain as a consequence, symmetry breaking of the minimisers for the harmonic potential.","lang":"eng"}],"type":"journal_article","volume":21,"citation":{"ieee":"M. Goldman and J. Royo-Letelier, “Sharp interface limit for two components Bose-Einstein condensates,” <i>ESAIM - Control, Optimisation and Calculus of Variations</i>, vol. 21, no. 3. EDP Sciences, pp. 603–624, 2015.","short":"M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.","ista":"Goldman M, Royo-Letelier J. 2015. Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. 21(3), 603–624.","ama":"Goldman M, Royo-Letelier J. Sharp interface limit for two components Bose-Einstein condensates. <i>ESAIM - Control, Optimisation and Calculus of Variations</i>. 2015;21(3):603-624. doi:<a href=\"https://doi.org/10.1051/cocv/2014040\">10.1051/cocv/2014040</a>","chicago":"Goldman, Michael, and Jimena Royo-Letelier. “Sharp Interface Limit for Two Components Bose-Einstein Condensates.” <i>ESAIM - Control, Optimisation and Calculus of Variations</i>. EDP Sciences, 2015. <a href=\"https://doi.org/10.1051/cocv/2014040\">https://doi.org/10.1051/cocv/2014040</a>.","apa":"Goldman, M., &#38; Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. <i>ESAIM - Control, Optimisation and Calculus of Variations</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/cocv/2014040\">https://doi.org/10.1051/cocv/2014040</a>","mla":"Goldman, Michael, and Jimena Royo-Letelier. “Sharp Interface Limit for Two Components Bose-Einstein Condensates.” <i>ESAIM - Control, Optimisation and Calculus of Variations</i>, vol. 21, no. 3, EDP Sciences, 2015, pp. 603–24, doi:<a href=\"https://doi.org/10.1051/cocv/2014040\">10.1051/cocv/2014040</a>."},"oa_version":"Preprint","publication":"ESAIM - Control, Optimisation and Calculus of Variations","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1401.1727"}],"publication_status":"published","doi":"10.1051/cocv/2014040","oa":1,"title":"Sharp interface limit for two components Bose-Einstein condensates","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Goldman, Michael","first_name":"Michael","last_name":"Goldman"},{"full_name":"Royo-Letelier, Jimena","id":"4D3BED28-F248-11E8-B48F-1D18A9856A87","first_name":"Jimena","last_name":"Royo-Letelier"}],"issue":"3","date_updated":"2021-01-12T06:53:20Z","publisher":"EDP Sciences","date_published":"2015-05-01T00:00:00Z","intvolume":"        21","month":"05","year":"2015","language":[{"iso":"eng"}],"publist_id":"5303","department":[{"_id":"RoSe"}],"page":"603 - 624"},{"year":"2015","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"publist_id":"5302","title":"Guest editors' introduction to special issue on computational methods in systems biology","author":[{"last_name":"Gupta","id":"335E5684-F248-11E8-B48F-1D18A9856A87","first_name":"Ashutosh","full_name":"Gupta, Ashutosh"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"2","date_updated":"2021-01-12T06:53:20Z","article_number":"7","publisher":"ACM","date_published":"2015-05-01T00:00:00Z","month":"05","intvolume":"        25","oa_version":"None","publication":"ACM Transactions on Modeling and Computer Simulation","publication_status":"published","doi":"10.1145/2745799","quality_controlled":"1","day":"01","status":"public","_id":"1808","date_created":"2018-12-11T11:54:07Z","type":"journal_article","volume":25,"citation":{"short":"A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).","ista":"Gupta A, Henzinger TA. 2015. Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. 25(2), 7.","ieee":"A. Gupta and T. A. Henzinger, “Guest editors’ introduction to special issue on computational methods in systems biology,” <i>ACM Transactions on Modeling and Computer Simulation</i>, vol. 25, no. 2. ACM, 2015.","ama":"Gupta A, Henzinger TA. Guest editors’ introduction to special issue on computational methods in systems biology. <i>ACM Transactions on Modeling and Computer Simulation</i>. 2015;25(2). doi:<a href=\"https://doi.org/10.1145/2745799\">10.1145/2745799</a>","chicago":"Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” <i>ACM Transactions on Modeling and Computer Simulation</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2745799\">https://doi.org/10.1145/2745799</a>.","apa":"Gupta, A., &#38; Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. <i>ACM Transactions on Modeling and Computer Simulation</i>. ACM. <a href=\"https://doi.org/10.1145/2745799\">https://doi.org/10.1145/2745799</a>","mla":"Gupta, Ashutosh, and Thomas A. Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” <i>ACM Transactions on Modeling and Computer Simulation</i>, vol. 25, no. 2, 7, ACM, 2015, doi:<a href=\"https://doi.org/10.1145/2745799\">10.1145/2745799</a>."}},{"pubrep_id":"453","language":[{"iso":"eng"}],"department":[{"_id":"NiBa"}],"publist_id":"5299","file":[{"file_id":"4730","content_type":"application/pdf","file_size":2748982,"creator":"system","relation":"main_file","checksum":"d3a4a58ef4bd3b3e2f32b7fd7af4a743","access_level":"open_access","file_name":"IST-2016-453-v1+1_journal.pone.0126907.pdf","date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:09:07Z"}],"author":[{"full_name":"Trubenova, Barbora","id":"42302D54-F248-11E8-B48F-1D18A9856A87","first_name":"Barbora","last_name":"Trubenova","orcid":"0000-0002-6873-2967"},{"full_name":"Novak, Sebastian","first_name":"Sebastian","id":"461468AE-F248-11E8-B48F-1D18A9856A87","last_name":"Novak"},{"full_name":"Hager, Reinmar","first_name":"Reinmar","last_name":"Hager"}],"title":"Indirect genetic effects and the dynamics of social interactions","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Public Library of Science","has_accepted_license":"1","publication_status":"published","quality_controlled":"1","_id":"1809","file_date_updated":"2020-07-14T12:45:17Z","type":"journal_article","scopus_import":1,"abstract":[{"lang":"eng","text":"Background: Indirect genetic effects (IGEs) occur when genes expressed in one individual alter the expression of traits in social partners. Previous studies focused on the evolutionary consequences and evolutionary dynamics of IGEs, using equilibrium solutions to predict phenotypes in subsequent generations. However, whether or not such steady states may be reached may depend on the dynamics of interactions themselves. Results: In our study, we focus on the dynamics of social interactions and indirect genetic effects and investigate how they modify phenotypes over time. Unlike previous IGE studies, we do not analyse evolutionary dynamics; rather we consider within-individual phenotypic changes, also referred to as phenotypic plasticity. We analyse iterative interactions, when individuals interact in a series of discontinuous events, and investigate the stability of steady state solutions and the dependence on model parameters, such as population size, strength, and the nature of interactions. We show that for interactions where a feedback loop occurs, the possible parameter space of interaction strength is fairly limited, affecting the evolutionary consequences of IGEs. We discuss the implications of our results for current IGE model predictions and their limitations."}],"citation":{"mla":"Trubenova, Barbora, et al. “Indirect Genetic Effects and the Dynamics of Social Interactions.” <i>PLoS One</i>, vol. 10, no. 5, Public Library of Science, 2015, doi:<a href=\"https://doi.org/10.1371/journal.pone.0126907\">10.1371/journal.pone.0126907</a>.","apa":"Trubenova, B., Novak, S., &#38; Hager, R. (2015). Indirect genetic effects and the dynamics of social interactions. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0126907\">https://doi.org/10.1371/journal.pone.0126907</a>","chicago":"Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Indirect Genetic Effects and the Dynamics of Social Interactions.” <i>PLoS One</i>. Public Library of Science, 2015. <a href=\"https://doi.org/10.1371/journal.pone.0126907\">https://doi.org/10.1371/journal.pone.0126907</a>.","ista":"Trubenova B, Novak S, Hager R. 2015. Indirect genetic effects and the dynamics of social interactions. PLoS One. 10(5).","short":"B. Trubenova, S. Novak, R. Hager, PLoS One 10 (2015).","ieee":"B. Trubenova, S. Novak, and R. Hager, “Indirect genetic effects and the dynamics of social interactions,” <i>PLoS One</i>, vol. 10, no. 5. Public Library of Science, 2015.","ama":"Trubenova B, Novak S, Hager R. Indirect genetic effects and the dynamics of social interactions. <i>PLoS One</i>. 2015;10(5). doi:<a href=\"https://doi.org/10.1371/journal.pone.0126907\">10.1371/journal.pone.0126907</a>"},"year":"2015","issue":"5","oa":1,"date_updated":"2023-02-23T14:07:48Z","intvolume":"        10","month":"05","date_published":"2015-05-18T00:00:00Z","oa_version":"Published Version","related_material":{"record":[{"id":"9715","relation":"research_data","status":"public"},{"id":"9772","relation":"research_data","status":"public"}]},"doi":"10.1371/journal.pone.0126907","publication":"PLoS One","status":"public","day":"18","date_created":"2018-12-11T11:54:07Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570","576"],"volume":10},{"publication":"Current Opinion in Microbiology","doi":"10.1016/j.mib.2015.05.008","ec_funded":1,"oa_version":"Published Version","volume":27,"status":"public","day":"01","date_created":"2018-12-11T11:54:08Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"page":"1 - 9","year":"2015","date_published":"2015-06-01T00:00:00Z","month":"06","intvolume":"        27","oa":1,"date_updated":"2021-01-12T06:53:21Z","publication_status":"published","project":[{"name":"Revealing the mechanisms underlying drug interactions","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"P27201-B22"},{"call_identifier":"FP7","grant_number":"303507","name":"Optimality principles in responses to antibiotics","_id":"25E83C2C-B435-11E9-9278-68D0E5697425"},{"grant_number":"RGP0042/2013","name":"Revealing the fundamental limits of cell growth","_id":"25EB3A80-B435-11E9-9278-68D0E5697425"}],"scopus_import":1,"abstract":[{"lang":"eng","text":"Combining antibiotics is a promising strategy for increasing treatment efficacy and for controlling resistance evolution. When drugs are combined, their effects on cells may be amplified or weakened, that is the drugs may show synergistic or antagonistic interactions. Recent work revealed the underlying mechanisms of such drug interactions by elucidating the drugs'; joint effects on cell physiology. Moreover, new treatment strategies that use drug combinations to exploit evolutionary tradeoffs were shown to affect the rate of resistance evolution in predictable ways. High throughput studies have further identified drug candidates based on their interactions with established antibiotics and general principles that enable the prediction of drug interactions were suggested. Overall, the conceptual and technical foundation for the rational design of potent drug combinations is rapidly developing."}],"file_date_updated":"2020-07-14T12:45:17Z","type":"journal_article","citation":{"ieee":"M. T. Bollenbach, “Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution,” <i>Current Opinion in Microbiology</i>, vol. 27. Elsevier, pp. 1–9, 2015.","ista":"Bollenbach MT. 2015. Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. 27, 1–9.","short":"M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.","ama":"Bollenbach MT. Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. <i>Current Opinion in Microbiology</i>. 2015;27:1-9. doi:<a href=\"https://doi.org/10.1016/j.mib.2015.05.008\">10.1016/j.mib.2015.05.008</a>","chicago":"Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.” <i>Current Opinion in Microbiology</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.mib.2015.05.008\">https://doi.org/10.1016/j.mib.2015.05.008</a>.","apa":"Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. <i>Current Opinion in Microbiology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.mib.2015.05.008\">https://doi.org/10.1016/j.mib.2015.05.008</a>","mla":"Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.” <i>Current Opinion in Microbiology</i>, vol. 27, Elsevier, 2015, pp. 1–9, doi:<a href=\"https://doi.org/10.1016/j.mib.2015.05.008\">10.1016/j.mib.2015.05.008</a>."},"quality_controlled":"1","_id":"1810","department":[{"_id":"ToBo"}],"publist_id":"5298","pubrep_id":"493","language":[{"iso":"eng"}],"publisher":"Elsevier","has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution","author":[{"full_name":"Bollenbach, Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Mark Tobias","orcid":"0000-0003-4398-476X","last_name":"Bollenbach"}],"file":[{"date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:17:23Z","file_name":"IST-2016-493-v1+1_1-s2.0-S1369527415000594-main.pdf","checksum":"1683bb0f42ef892a5b3b71a050d65d25","access_level":"open_access","relation":"main_file","file_id":"5277","content_type":"application/pdf","creator":"system","file_size":1047255}]},{"publist_id":"5295","department":[{"_id":"MiLe"}],"language":[{"iso":"eng"}],"publisher":"American Institute of Physics","title":"Analytical evaluation of atomic form factors: Application to Rayleigh scattering","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Safari","first_name":"Laleh","id":"3C325E5E-F248-11E8-B48F-1D18A9856A87","full_name":"Safari, Laleh"},{"last_name":"Santos","first_name":"José","full_name":"Santos, José"},{"last_name":"Amaro","first_name":"Pedro","full_name":"Amaro, Pedro"},{"first_name":"Kari","last_name":"Jänkälä","full_name":"Jänkälä, Kari"},{"first_name":"Filippo","last_name":"Fratini","full_name":"Fratini, Filippo"}],"project":[{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7"}],"publication_status":"published","citation":{"mla":"Safari, Laleh, et al. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” <i>Journal of Mathematical Physics</i>, vol. 56, no. 5, 052105, American Institute of Physics, 2015, doi:<a href=\"https://doi.org/10.1063/1.4921227\">10.1063/1.4921227</a>.","apa":"Safari, L., Santos, J., Amaro, P., Jänkälä, K., &#38; Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. <i>Journal of Mathematical Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.4921227\">https://doi.org/10.1063/1.4921227</a>","chicago":"Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” <i>Journal of Mathematical Physics</i>. American Institute of Physics, 2015. <a href=\"https://doi.org/10.1063/1.4921227\">https://doi.org/10.1063/1.4921227</a>.","ama":"Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. <i>Journal of Mathematical Physics</i>. 2015;56(5). doi:<a href=\"https://doi.org/10.1063/1.4921227\">10.1063/1.4921227</a>","ieee":"L. Safari, J. Santos, P. Amaro, K. Jänkälä, and F. Fratini, “Analytical evaluation of atomic form factors: Application to Rayleigh scattering,” <i>Journal of Mathematical Physics</i>, vol. 56, no. 5. American Institute of Physics, 2015.","short":"L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).","ista":"Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. 2015. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. 56(5), 052105."},"type":"journal_article","abstract":[{"lang":"eng","text":"Atomic form factors are widely used for the characterization of targets and specimens, from crystallography to biology. By using recent mathematical results, here we derive an analytical expression for the atomic form factor within the independent particle model constructed from nonrelativistic screened hydrogenic wave functions. The range of validity of this analytical expression is checked by comparing the analytically obtained form factors with the ones obtained within the Hartee-Fock method. As an example, we apply our analytical expression for the atomic form factor to evaluate the differential cross section for Rayleigh scattering off neutral atoms."}],"scopus_import":1,"_id":"1811","year":"2015","intvolume":"        56","month":"05","date_published":"2015-05-20T00:00:00Z","acknowledgement":"The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement n◦ [291734]. F.F. acknowledges support by Fundação de Amparo à Pesquisa do estado de Minas Gerais (FAPEMIG), by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), and by the Austrian Science Fund (FWF) through the START Grant No. Y 591-N16.","article_number":"052105","date_updated":"2021-01-12T06:53:21Z","issue":"5","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1409.0110"}],"doi":"10.1063/1.4921227","publication":"Journal of Mathematical Physics","oa_version":"Preprint","ec_funded":1,"volume":56,"date_created":"2018-12-11T11:54:08Z","status":"public","day":"20"},{"citation":{"chicago":"Lahrz, Martin, Mikhail Lemeshko, and Ludwig Mathey. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” <i>New Journal of Physics</i>. IOP Publishing Ltd., 2015. <a href=\"https://doi.org/10.1088/1367-2630/17/4/045005\">https://doi.org/10.1088/1367-2630/17/4/045005</a>.","ama":"Lahrz M, Lemeshko M, Mathey L. Exotic roton excitations in quadrupolar Bose–Einstein condensates . <i>New Journal of Physics</i>. 2015;17(4). doi:<a href=\"https://doi.org/10.1088/1367-2630/17/4/045005\">10.1088/1367-2630/17/4/045005</a>","ista":"Lahrz M, Lemeshko M, Mathey L. 2015. Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. 17(4), 045005.","ieee":"M. Lahrz, M. Lemeshko, and L. Mathey, “Exotic roton excitations in quadrupolar Bose–Einstein condensates ,” <i>New Journal of Physics</i>, vol. 17, no. 4. IOP Publishing Ltd., 2015.","short":"M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).","mla":"Lahrz, Martin, et al. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” <i>New Journal of Physics</i>, vol. 17, no. 4, 045005, IOP Publishing Ltd., 2015, doi:<a href=\"https://doi.org/10.1088/1367-2630/17/4/045005\">10.1088/1367-2630/17/4/045005</a>.","apa":"Lahrz, M., Lemeshko, M., &#38; Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . <i>New Journal of Physics</i>. IOP Publishing Ltd. <a href=\"https://doi.org/10.1088/1367-2630/17/4/045005\">https://doi.org/10.1088/1367-2630/17/4/045005</a>"},"file_date_updated":"2020-07-14T12:45:17Z","type":"journal_article","scopus_import":1,"abstract":[{"lang":"eng","text":"We investigate the occurrence of rotons in a quadrupolar Bose–Einstein condensate confined to two dimensions. Depending on the particle density, the ratio of the contact and quadrupole–quadrupole interactions, and the alignment of the quadrupole moments with respect to the confinement plane, the dispersion relation features two or four point-like roton minima or one ring-shaped minimum. We map out the entire parameter space of the roton behavior and identify the instability regions. We propose to observe the exotic rotons by monitoring the characteristic density wave dynamics resulting from a short local perturbation, and discuss the possibilities to detect the predicted effects in state-of-the-art experiments with ultracold homonuclear molecules.\r\n"}],"_id":"1812","quality_controlled":"1","publication_status":"published","has_accepted_license":"1","publisher":"IOP Publishing Ltd.","file":[{"file_name":"IST-2016-446-v1+1_document.pdf","date_updated":"2020-07-14T12:45:17Z","date_created":"2018-12-12T10:15:59Z","file_id":"5184","content_type":"application/pdf","creator":"system","file_size":1900925,"checksum":"551f751a75b39b89a1db2f7f498f9a49","relation":"main_file","access_level":"open_access"}],"title":"Exotic roton excitations in quadrupolar Bose–Einstein condensates ","author":[{"first_name":"Martin","last_name":"Lahrz","full_name":"Lahrz, Martin"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","last_name":"Lemeshko","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail"},{"last_name":"Mathey","first_name":"Ludwig","full_name":"Mathey, Ludwig"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","department":[{"_id":"MiLe"}],"publist_id":"5294","language":[{"iso":"eng"}],"pubrep_id":"446","volume":17,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["530"],"date_created":"2018-12-11T11:54:09Z","day":"01","status":"public","doi":"10.1088/1367-2630/17/4/045005","publication":"New Journal of Physics","oa_version":"Published Version","month":"04","intvolume":"        17","date_published":"2015-04-01T00:00:00Z","article_number":"045005","date_updated":"2021-01-12T06:53:22Z","issue":"4","oa":1,"year":"2015"},{"date_updated":"2021-01-12T06:53:22Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Rotation of quantum impurities in the presence of a many-body environment","oa":1,"author":[{"last_name":"Schmidt","first_name":"Richard","full_name":"Schmidt, Richard"},{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","full_name":"Lemeshko, Mikhail"}],"issue":"20","date_published":"2015-05-18T00:00:00Z","month":"05","intvolume":"       114","publisher":"American Physical Society","article_number":"203001","language":[{"iso":"eng"}],"year":"2015","publist_id":"5293","department":[{"_id":"MiLe"}],"_id":"1813","date_created":"2018-12-11T11:54:09Z","quality_controlled":"1","status":"public","day":"18","volume":114,"citation":{"mla":"Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.” <i>Physical Review Letters</i>, vol. 114, no. 20, 203001, American Physical Society, 2015, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.114.203001\">10.1103/PhysRevLett.114.203001</a>.","apa":"Schmidt, R., &#38; Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.114.203001\">https://doi.org/10.1103/PhysRevLett.114.203001</a>","chicago":"Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.” <i>Physical Review Letters</i>. American Physical Society, 2015. <a href=\"https://doi.org/10.1103/PhysRevLett.114.203001\">https://doi.org/10.1103/PhysRevLett.114.203001</a>.","ieee":"R. Schmidt and M. Lemeshko, “Rotation of quantum impurities in the presence of a many-body environment,” <i>Physical Review Letters</i>, vol. 114, no. 20. American Physical Society, 2015.","short":"R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).","ista":"Schmidt R, Lemeshko M. 2015. Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. 114(20), 203001.","ama":"Schmidt R, Lemeshko M. Rotation of quantum impurities in the presence of a many-body environment. <i>Physical Review Letters</i>. 2015;114(20). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.114.203001\">10.1103/PhysRevLett.114.203001</a>"},"scopus_import":1,"abstract":[{"lang":"eng","text":"We develop a microscopic theory describing a quantum impurity whose rotational degree of freedom is coupled to a many-particle bath. We approach the problem by introducing the concept of an “angulon”—a quantum rotor dressed by a quantum field—and reveal its quasiparticle properties using a combination of variational and diagrammatic techniques. Our theory predicts renormalization of the impurity rotational structure, such as that observed in experiments with molecules in superfluid helium droplets, in terms of a rotational Lamb shift induced by the many-particle environment. Furthermore, we discover a rich many-body-induced fine structure, emerging in rotational spectra due to a redistribution of angular momentum within the quantum many-body system."}],"type":"journal_article","oa_version":"Preprint","publication":"Physical Review Letters","doi":"10.1103/PhysRevLett.114.203001","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1502.03447"}],"publication_status":"published"},{"year":"2015","date_updated":"2023-02-23T10:15:40Z","oa":1,"issue":"3","date_published":"2015-04-01T00:00:00Z","intvolume":"        34","month":"04","article_number":"27","ec_funded":1,"oa_version":"Submitted Version","publication":"ACM Transactions on Graphics","doi":"10.1145/2714572","ddc":["000"],"date_created":"2018-12-11T11:54:09Z","day":"01","status":"public","volume":34,"language":[{"iso":"eng"}],"pubrep_id":"575","department":[{"_id":"ChWo"}],"publist_id":"5292","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Water wave animation via wavefront parameter interpolation","author":[{"first_name":"Stefan","id":"44D6411A-F248-11E8-B48F-1D18A9856A87","last_name":"Jeschke","full_name":"Jeschke, Stefan"},{"full_name":"Wojtan, Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546","first_name":"Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"}],"file":[{"date_created":"2018-12-12T10:12:15Z","date_updated":"2020-07-14T12:45:17Z","file_name":"IST-2016-575-v1+1_wavefront_preprint.pdf","access_level":"open_access","checksum":"67c9f4fa370def68cdf31299e48bc91f","relation":"main_file","file_id":"4933","content_type":"application/pdf","file_size":23712153,"creator":"system"}],"has_accepted_license":"1","publisher":"ACM","project":[{"grant_number":"P 24352-N23","call_identifier":"FWF","name":"Deep Pictures: Creating Visual and Haptic Vector Images","_id":"25357BD2-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","grant_number":"638176","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","_id":"2533E772-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"1814","quality_controlled":"1","citation":{"chicago":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” <i>ACM Transactions on Graphics</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2714572\">https://doi.org/10.1145/2714572</a>.","ama":"Jeschke S, Wojtan C. Water wave animation via wavefront parameter interpolation. <i>ACM Transactions on Graphics</i>. 2015;34(3). doi:<a href=\"https://doi.org/10.1145/2714572\">10.1145/2714572</a>","ieee":"S. Jeschke and C. Wojtan, “Water wave animation via wavefront parameter interpolation,” <i>ACM Transactions on Graphics</i>, vol. 34, no. 3. ACM, 2015.","short":"S. Jeschke, C. Wojtan, ACM Transactions on Graphics 34 (2015).","ista":"Jeschke S, Wojtan C. 2015. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 34(3), 27.","mla":"Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” <i>ACM Transactions on Graphics</i>, vol. 34, no. 3, 27, ACM, 2015, doi:<a href=\"https://doi.org/10.1145/2714572\">10.1145/2714572</a>.","apa":"Jeschke, S., &#38; Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/2714572\">https://doi.org/10.1145/2714572</a>"},"scopus_import":1,"abstract":[{"text":"We present an efficient wavefront tracking algorithm for animating bodies of water that interact with their environment. Our contributions include: a novel wavefront tracking technique that enables dispersion, refraction, reflection, and diffraction in the same simulation; a unique multivalued function interpolation method that enables our simulations to elegantly sidestep the Nyquist limit; a dispersion approximation for efficiently amplifying the number of simulated waves by several orders of magnitude; and additional extensions that allow for time-dependent effects and interactive artistic editing of the resulting animation. Our contributions combine to give us multitudes more wave details than similar algorithms, while maintaining high frame rates and allowing close camera zooms.","lang":"eng"}],"file_date_updated":"2020-07-14T12:45:17Z","type":"journal_article"}]