[{"ddc":["516"],"acknowledgement":"This work has been funded by the European Research Council under the European Union’s ERC Grant Agreement Number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). The third author also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411. Open access funding provided by the Institute of Science and Technology (IST Austria).","volume":66,"external_id":{"isi":["000597770300001"]},"isi":1,"year":"2021","citation":{"ama":"Boissonnat J-D, Kachanovich S, Wintraecken M. Triangulating submanifolds: An elementary and quantified version of Whitney’s method. <i>Discrete &#38; Computational Geometry</i>. 2021;66(1):386-434. doi:<a href=\"https://doi.org/10.1007/s00454-020-00250-8\">10.1007/s00454-020-00250-8</a>","apa":"Boissonnat, J.-D., Kachanovich, S., &#38; Wintraecken, M. (2021). Triangulating submanifolds: An elementary and quantified version of Whitney’s method. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-020-00250-8\">https://doi.org/10.1007/s00454-020-00250-8</a>","ieee":"J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Triangulating submanifolds: An elementary and quantified version of Whitney’s method,” <i>Discrete &#38; Computational Geometry</i>, vol. 66, no. 1. Springer Nature, pp. 386–434, 2021.","chicago":"Boissonnat, Jean-Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Triangulating Submanifolds: An Elementary and Quantified Version of Whitney’s Method.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00454-020-00250-8\">https://doi.org/10.1007/s00454-020-00250-8</a>.","short":"J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, Discrete &#38; Computational Geometry 66 (2021) 386–434.","mla":"Boissonnat, Jean-Daniel, et al. “Triangulating Submanifolds: An Elementary and Quantified Version of Whitney’s Method.” <i>Discrete &#38; Computational Geometry</i>, vol. 66, no. 1, Springer Nature, 2021, pp. 386–434, doi:<a href=\"https://doi.org/10.1007/s00454-020-00250-8\">10.1007/s00454-020-00250-8</a>.","ista":"Boissonnat J-D, Kachanovich S, Wintraecken M. 2021. Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete &#38; Computational Geometry. 66(1), 386–434."},"date_updated":"2023-09-05T15:02:40Z","abstract":[{"text":"We quantise Whitney’s construction to prove the existence of a triangulation for any C^2 manifold, so that we get an algorithm with explicit bounds. We also give a new elementary proof, which is completely geometric.","lang":"eng"}],"day":"01","doi":"10.1007/s00454-020-00250-8","file_date_updated":"2021-08-06T09:52:29Z","ec_funded":1,"quality_controlled":"1","page":"386-434","article_type":"original","publisher":"Springer Nature","issue":"1","author":[{"full_name":"Boissonnat, Jean-Daniel","last_name":"Boissonnat","first_name":"Jean-Daniel"},{"full_name":"Kachanovich, Siargey","last_name":"Kachanovich","first_name":"Siargey"},{"id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7472-2220","full_name":"Wintraecken, Mathijs","first_name":"Mathijs","last_name":"Wintraecken"}],"_id":"8940","intvolume":"        66","title":"Triangulating submanifolds: An elementary and quantified version of Whitney’s method","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"HeEd"}],"date_created":"2020-12-12T11:07:02Z","publication_status":"published","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"success":1,"access_level":"open_access","relation":"main_file","file_id":"9795","creator":"kschuh","date_created":"2021-08-06T09:52:29Z","file_size":983307,"checksum":"c848986091e56699dc12de85adb1e39c","date_updated":"2021-08-06T09:52:29Z","content_type":"application/pdf","file_name":"2021_DescreteCompGeopmetry_Boissonnat.pdf"}],"type":"journal_article","date_published":"2021-07-01T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"keyword":["Theoretical Computer Science","Computational Theory and Mathematics","Geometry and Topology","Discrete Mathematics and Combinatorics"],"language":[{"iso":"eng"}],"has_accepted_license":"1","publication":"Discrete & Computational Geometry","month":"07","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"oa_version":"Published Version"},{"main_file_link":[{"url":"https://arxiv.org/abs/2104.07466","open_access":"1"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","status":"public","date_published":"2021-07-07T00:00:00Z","type":"conference","publication_identifier":{"issn":["1043-6871"],"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"]},"oa":1,"language":[{"iso":"eng"}],"keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"conference":{"end_date":"2021-07-02","location":"Rome, Italy","start_date":"2021-06-29","name":"LICS: Symposium on Logic in Computer Science"},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","oa_version":"Preprint","project":[{"name":"Game Theory","grant_number":"S11407","call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"month":"07","acknowledgement":"The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506.","date_updated":"2025-07-14T09:10:07Z","year":"2021","citation":{"ieee":"K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>.","ama":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>","apa":"Chatterjee, K., Dvorak, W., Henzinger, M. H., &#38; Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>","ista":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","short":"K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","mla":"Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>."},"isi":1,"external_id":{"isi":["000947350400089"],"arxiv":["2104.07466"]},"doi":"10.1109/LICS52264.2021.9470739","arxiv":1,"day":"07","abstract":[{"text":"We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with  n  vertices and  m  edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires  O(n2)  symbolic operations and  O(1)  symbolic space. The only other symbolic algorithm for the MEC decomposition requires  O(nm−−√)  symbolic operations and  O(m−−√)  symbolic space. A main open question is whether the worst-case  O(n2)  bound for symbolic operations can be beaten. We present a symbolic algorithm that requires  O˜(n1.5)  symbolic operations and  O˜(n−−√)  symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all  0<ϵ≤1/2  the symbolic algorithm requires  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space ( O˜  hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of  ω -regular objectives for MDPs. We consider the canonical parity objectives for  ω -regular objectives, and for parity objectives with  d -priorities we present an algorithm that computes the almost-sure winning region with  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space, for all  0<ϵ≤1/2 .","lang":"eng"}],"page":"1-13","quality_controlled":"1","ec_funded":1,"publisher":"Institute of Electrical and Electronics Engineers","_id":"10002","scopus_import":"1","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Wolfgang","last_name":"Dvorak","full_name":"Dvorak, Wolfgang"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H"},{"first_name":"Alexander","last_name":"Svozil","full_name":"Svozil, Alexander"}],"publication_status":"published","article_processing_charge":"No","date_created":"2021-09-12T22:01:24Z","department":[{"_id":"KrCh"}],"title":"Symbolic time and space tradeoffs for probabilistic verification"},{"publisher":"Institute of Electrical and Electronics Engineers","quality_controlled":"1","ec_funded":1,"page":"1-13","article_processing_charge":"No","department":[{"_id":"KrCh"}],"date_created":"2021-09-12T22:01:25Z","publication_status":"published","title":"Stochastic processes with expected stopping time","scopus_import":"1","_id":"10004","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"}],"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","day":"07","arxiv":1,"doi":"10.1109/LICS52264.2021.9470595","abstract":[{"lang":"eng","text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs."}],"year":"2021","citation":{"mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>.","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","apa":"Chatterjee, K., &#38; Doyen, L. (2021). Stochastic processes with expected stopping time. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>","ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>."},"date_updated":"2025-07-14T09:10:08Z","external_id":{"isi":["000947350400036"],"arxiv":["2104.07278"]},"isi":1,"conference":{"end_date":"2021-07-02","location":"Rome, Italy","name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29"},"keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"language":[{"iso":"eng"}],"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"}],"oa_version":"Preprint","month":"07","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","main_file_link":[{"url":"https://arxiv.org/abs/2104.07278","open_access":"1"}],"status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"],"eisbn":["978-1-6654-4895-6"]},"oa":1,"type":"conference","date_published":"2021-07-07T00:00:00Z"},{"publication":"Bioinformatics","month":"12","oa_version":"Published Version","keyword":["Computational Mathematics","Computational Theory and Mathematics","Computer Science Applications","Molecular Biology","Biochemistry","Statistics and Probability"],"language":[{"iso":"eng"}],"type":"journal_article","date_published":"2020-12-01T00:00:00Z","oa":1,"publication_identifier":{"eissn":["1367-4811"]},"status":"public","related_material":{"link":[{"relation":"software","url":"https://github.com/ratschlab/scim"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/bioinformatics/btaa843"}],"issue":"Supplement_2","author":[{"full_name":"Stark, Stefan G","last_name":"Stark","first_name":"Stefan G"},{"first_name":"Joanna","last_name":"Ficek","full_name":"Ficek, Joanna"},{"id":"26cfd52f-2483-11ee-8040-88983bcc06d4","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","first_name":"Francesco","last_name":"Locatello"},{"full_name":"Bonilla, Ximena","first_name":"Ximena","last_name":"Bonilla"},{"first_name":"Stéphane","last_name":"Chevrier","full_name":"Chevrier, Stéphane"},{"full_name":"Singer, Franziska","first_name":"Franziska","last_name":"Singer"},{"last_name":"Aebersold","first_name":"Rudolf","full_name":"Aebersold, Rudolf"},{"last_name":"Al-Quaddoomi","first_name":"Faisal S","full_name":"Al-Quaddoomi, Faisal S"},{"first_name":"Jonas","last_name":"Albinus","full_name":"Albinus, Jonas"},{"full_name":"Alborelli, Ilaria","last_name":"Alborelli","first_name":"Ilaria"},{"full_name":"Andani, Sonali","last_name":"Andani","first_name":"Sonali"},{"first_name":"Per-Olof","last_name":"Attinger","full_name":"Attinger, Per-Olof"},{"full_name":"Bacac, Marina","first_name":"Marina","last_name":"Bacac"},{"last_name":"Baumhoer","first_name":"Daniel","full_name":"Baumhoer, Daniel"},{"full_name":"Beck-Schimmer, Beatrice","first_name":"Beatrice","last_name":"Beck-Schimmer"},{"full_name":"Beerenwinkel, Niko","last_name":"Beerenwinkel","first_name":"Niko"},{"full_name":"Beisel, Christian","last_name":"Beisel","first_name":"Christian"},{"last_name":"Bernasconi","first_name":"Lara","full_name":"Bernasconi, Lara"},{"full_name":"Bertolini, Anne","first_name":"Anne","last_name":"Bertolini"},{"full_name":"Bodenmiller, Bernd","first_name":"Bernd","last_name":"Bodenmiller"},{"first_name":"Ximena","last_name":"Bonilla","full_name":"Bonilla, Ximena"},{"full_name":"Casanova, Ruben","last_name":"Casanova","first_name":"Ruben"},{"full_name":"Chevrier, Stéphane","first_name":"Stéphane","last_name":"Chevrier"},{"full_name":"Chicherova, Natalia","last_name":"Chicherova","first_name":"Natalia"},{"full_name":"D'Costa, Maya","last_name":"D'Costa","first_name":"Maya"},{"last_name":"Danenberg","first_name":"Esther","full_name":"Danenberg, Esther"},{"full_name":"Davidson, Natalie","last_name":"Davidson","first_name":"Natalie"},{"full_name":"gan, Monica-Andreea Dră","last_name":"gan","first_name":"Monica-Andreea Dră"},{"full_name":"Dummer, Reinhard","last_name":"Dummer","first_name":"Reinhard"},{"last_name":"Engler","first_name":"Stefanie","full_name":"Engler, Stefanie"},{"full_name":"Erkens, Martin","last_name":"Erkens","first_name":"Martin"},{"full_name":"Eschbach, Katja","last_name":"Eschbach","first_name":"Katja"},{"first_name":"Cinzia","last_name":"Esposito","full_name":"Esposito, Cinzia"},{"full_name":"Fedier, André","last_name":"Fedier","first_name":"André"},{"full_name":"Ferreira, Pedro","last_name":"Ferreira","first_name":"Pedro"},{"first_name":"Joanna","last_name":"Ficek","full_name":"Ficek, Joanna"},{"last_name":"Frei","first_name":"Anja L","full_name":"Frei, Anja L"},{"full_name":"Frey, Bruno","first_name":"Bruno","last_name":"Frey"},{"full_name":"Goetze, Sandra","first_name":"Sandra","last_name":"Goetze"},{"full_name":"Grob, Linda","last_name":"Grob","first_name":"Linda"},{"first_name":"Gabriele","last_name":"Gut","full_name":"Gut, Gabriele"},{"full_name":"Günther, Detlef","last_name":"Günther","first_name":"Detlef"},{"full_name":"Haberecker, Martina","first_name":"Martina","last_name":"Haberecker"},{"first_name":"Pirmin","last_name":"Haeuptle","full_name":"Haeuptle, Pirmin"},{"full_name":"Heinzelmann-Schwarz, Viola","first_name":"Viola","last_name":"Heinzelmann-Schwarz"},{"full_name":"Herter, Sylvia","first_name":"Sylvia","last_name":"Herter"},{"full_name":"Holtackers, Rene","last_name":"Holtackers","first_name":"Rene"},{"first_name":"Tamara","last_name":"Huesser","full_name":"Huesser, Tamara"},{"full_name":"Irmisch, Anja","last_name":"Irmisch","first_name":"Anja"},{"last_name":"Jacob","first_name":"Francis","full_name":"Jacob, Francis"},{"full_name":"Jacobs, Andrea","first_name":"Andrea","last_name":"Jacobs"},{"full_name":"Jaeger, Tim M","first_name":"Tim M","last_name":"Jaeger"},{"full_name":"Jahn, Katharina","first_name":"Katharina","last_name":"Jahn"},{"first_name":"Alva R","last_name":"James","full_name":"James, Alva R"},{"first_name":"Philip M","last_name":"Jermann","full_name":"Jermann, Philip M"},{"full_name":"Kahles, André","first_name":"André","last_name":"Kahles"},{"full_name":"Kahraman, Abdullah","first_name":"Abdullah","last_name":"Kahraman"},{"last_name":"Koelzer","first_name":"Viktor H","full_name":"Koelzer, Viktor H"},{"full_name":"Kuebler, Werner","first_name":"Werner","last_name":"Kuebler"},{"first_name":"Jack","last_name":"Kuipers","full_name":"Kuipers, Jack"},{"last_name":"Kunze","first_name":"Christian P","full_name":"Kunze, Christian P"},{"last_name":"Kurzeder","first_name":"Christian","full_name":"Kurzeder, Christian"},{"first_name":"Kjong-Van","last_name":"Lehmann","full_name":"Lehmann, Kjong-Van"},{"full_name":"Levesque, Mitchell","first_name":"Mitchell","last_name":"Levesque"},{"last_name":"Lugert","first_name":"Sebastian","full_name":"Lugert, Sebastian"},{"full_name":"Maass, Gerd","last_name":"Maass","first_name":"Gerd"},{"full_name":"Manz, Markus","first_name":"Markus","last_name":"Manz"},{"last_name":"Markolin","first_name":"Philipp","full_name":"Markolin, Philipp"},{"last_name":"Mena","first_name":"Julien","full_name":"Mena, Julien"},{"full_name":"Menzel, Ulrike","last_name":"Menzel","first_name":"Ulrike"},{"full_name":"Metzler, Julian M","first_name":"Julian M","last_name":"Metzler"},{"first_name":"Nicola","last_name":"Miglino","full_name":"Miglino, Nicola"},{"full_name":"Milani, Emanuela S","first_name":"Emanuela S","last_name":"Milani"},{"full_name":"Moch, Holger","last_name":"Moch","first_name":"Holger"},{"last_name":"Muenst","first_name":"Simone","full_name":"Muenst, Simone"},{"last_name":"Murri","first_name":"Riccardo","full_name":"Murri, Riccardo"},{"full_name":"Ng, Charlotte KY","first_name":"Charlotte KY","last_name":"Ng"},{"full_name":"Nicolet, Stefan","first_name":"Stefan","last_name":"Nicolet"},{"last_name":"Nowak","first_name":"Marta","full_name":"Nowak, Marta"},{"full_name":"Pedrioli, Patrick GA","first_name":"Patrick GA","last_name":"Pedrioli"},{"full_name":"Pelkmans, Lucas","last_name":"Pelkmans","first_name":"Lucas"},{"full_name":"Piscuoglio, Salvatore","last_name":"Piscuoglio","first_name":"Salvatore"},{"full_name":"Prummer, Michael","first_name":"Michael","last_name":"Prummer"},{"last_name":"Ritter","first_name":"Mathilde","full_name":"Ritter, Mathilde"},{"first_name":"Christian","last_name":"Rommel","full_name":"Rommel, Christian"},{"full_name":"Rosano-González, María L","last_name":"Rosano-González","first_name":"María L"},{"full_name":"Rätsch, Gunnar","first_name":"Gunnar","last_name":"Rätsch"},{"full_name":"Santacroce, Natascha","last_name":"Santacroce","first_name":"Natascha"},{"full_name":"Castillo, Jacobo Sarabia del","last_name":"Castillo","first_name":"Jacobo Sarabia del"},{"full_name":"Schlenker, Ramona","first_name":"Ramona","last_name":"Schlenker"},{"full_name":"Schwalie, Petra C","first_name":"Petra C","last_name":"Schwalie"},{"full_name":"Schwan, Severin","last_name":"Schwan","first_name":"Severin"},{"last_name":"Schär","first_name":"Tobias","full_name":"Schär, Tobias"},{"full_name":"Senti, Gabriela","last_name":"Senti","first_name":"Gabriela"},{"full_name":"Singer, Franziska","last_name":"Singer","first_name":"Franziska"},{"last_name":"Sivapatham","first_name":"Sujana","full_name":"Sivapatham, Sujana"},{"full_name":"Snijder, Berend","last_name":"Snijder","first_name":"Berend"},{"full_name":"Sobottka, Bettina","first_name":"Bettina","last_name":"Sobottka"},{"first_name":"Vipin T","last_name":"Sreedharan","full_name":"Sreedharan, Vipin T"},{"full_name":"Stark, Stefan","first_name":"Stefan","last_name":"Stark"},{"last_name":"Stekhoven","first_name":"Daniel J","full_name":"Stekhoven, Daniel J"},{"full_name":"Theocharides, Alexandre PA","first_name":"Alexandre PA","last_name":"Theocharides"},{"first_name":"Tinu M","last_name":"Thomas","full_name":"Thomas, Tinu M"},{"full_name":"Tolnay, Markus","last_name":"Tolnay","first_name":"Markus"},{"first_name":"Vinko","last_name":"Tosevski","full_name":"Tosevski, Vinko"},{"full_name":"Toussaint, Nora C","first_name":"Nora C","last_name":"Toussaint"},{"last_name":"Tuncel","first_name":"Mustafa A","full_name":"Tuncel, Mustafa A"},{"first_name":"Marina","last_name":"Tusup","full_name":"Tusup, Marina"},{"first_name":"Audrey Van","last_name":"Drogen","full_name":"Drogen, Audrey Van"},{"full_name":"Vetter, Marcus","first_name":"Marcus","last_name":"Vetter"},{"first_name":"Tatjana","last_name":"Vlajnic","full_name":"Vlajnic, Tatjana"},{"full_name":"Weber, Sandra","last_name":"Weber","first_name":"Sandra"},{"last_name":"Weber","first_name":"Walter P","full_name":"Weber, Walter P"},{"last_name":"Wegmann","first_name":"Rebekka","full_name":"Wegmann, Rebekka"},{"full_name":"Weller, Michael","first_name":"Michael","last_name":"Weller"},{"last_name":"Wendt","first_name":"Fabian","full_name":"Wendt, Fabian"},{"last_name":"Wey","first_name":"Norbert","full_name":"Wey, Norbert"},{"full_name":"Wicki, Andreas","last_name":"Wicki","first_name":"Andreas"},{"last_name":"Wollscheid","first_name":"Bernd","full_name":"Wollscheid, Bernd"},{"first_name":"Shuqing","last_name":"Yu","full_name":"Yu, Shuqing"},{"last_name":"Ziegler","first_name":"Johanna","full_name":"Ziegler, Johanna"},{"last_name":"Zimmermann","first_name":"Marc","full_name":"Zimmermann, Marc"},{"first_name":"Martin","last_name":"Zoche","full_name":"Zoche, Martin"},{"last_name":"Zuend","first_name":"Gregor","full_name":"Zuend, Gregor"},{"full_name":"Rätsch, Gunnar","last_name":"Rätsch","first_name":"Gunnar"},{"first_name":"Kjong-Van","last_name":"Lehmann","full_name":"Lehmann, Kjong-Van"}],"scopus_import":"1","_id":"14125","pmid":1,"intvolume":"        36","title":"SCIM: Universal single-cell matching with unpaired feature sets","department":[{"_id":"FrLo"}],"date_created":"2023-08-21T12:28:20Z","article_processing_charge":"No","publication_status":"published","quality_controlled":"1","page":"i919-i927","article_type":"original","publisher":"Oxford University Press","external_id":{"pmid":["33381818"]},"citation":{"ieee":"S. G. Stark <i>et al.</i>, “SCIM: Universal single-cell matching with unpaired feature sets,” <i>Bioinformatics</i>, vol. 36, no. Supplement_2. Oxford University Press, pp. i919–i927, 2020.","chicago":"Stark, Stefan G, Joanna Ficek, Francesco Locatello, Ximena Bonilla, Stéphane Chevrier, Franziska Singer, Rudolf Aebersold, et al. “SCIM: Universal Single-Cell Matching with Unpaired Feature Sets.” <i>Bioinformatics</i>. Oxford University Press, 2020. <a href=\"https://doi.org/10.1093/bioinformatics/btaa843\">https://doi.org/10.1093/bioinformatics/btaa843</a>.","ama":"Stark SG, Ficek J, Locatello F, et al. SCIM: Universal single-cell matching with unpaired feature sets. <i>Bioinformatics</i>. 2020;36(Supplement_2):i919-i927. doi:<a href=\"https://doi.org/10.1093/bioinformatics/btaa843\">10.1093/bioinformatics/btaa843</a>","apa":"Stark, S. G., Ficek, J., Locatello, F., Bonilla, X., Chevrier, S., Singer, F., … Lehmann, K.-V. (2020). SCIM: Universal single-cell matching with unpaired feature sets. <i>Bioinformatics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/bioinformatics/btaa843\">https://doi.org/10.1093/bioinformatics/btaa843</a>","ista":"Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.","mla":"Stark, Stefan G., et al. “SCIM: Universal Single-Cell Matching with Unpaired Feature Sets.” <i>Bioinformatics</i>, vol. 36, no. Supplement_2, Oxford University Press, 2020, pp. i919–27, doi:<a href=\"https://doi.org/10.1093/bioinformatics/btaa843\">10.1093/bioinformatics/btaa843</a>.","short":"S.G. Stark, J. Ficek, F. Locatello, X. Bonilla, S. Chevrier, F. Singer, R. Aebersold, F.S. Al-Quaddoomi, J. Albinus, I. Alborelli, S. Andani, P.-O. Attinger, M. Bacac, D. Baumhoer, B. Beck-Schimmer, N. Beerenwinkel, C. Beisel, L. Bernasconi, A. Bertolini, B. Bodenmiller, X. Bonilla, R. Casanova, S. Chevrier, N. Chicherova, M. D’Costa, E. Danenberg, N. Davidson, M.-A.D. gan, R. Dummer, S. Engler, M. Erkens, K. Eschbach, C. Esposito, A. Fedier, P. Ferreira, J. Ficek, A.L. Frei, B. Frey, S. Goetze, L. Grob, G. Gut, D. Günther, M. Haberecker, P. Haeuptle, V. Heinzelmann-Schwarz, S. Herter, R. Holtackers, T. Huesser, A. Irmisch, F. Jacob, A. Jacobs, T.M. Jaeger, K. Jahn, A.R. James, P.M. Jermann, A. Kahles, A. Kahraman, V.H. Koelzer, W. Kuebler, J. Kuipers, C.P. Kunze, C. Kurzeder, K.-V. Lehmann, M. Levesque, S. Lugert, G. Maass, M. Manz, P. Markolin, J. Mena, U. Menzel, J.M. Metzler, N. Miglino, E.S. Milani, H. Moch, S. Muenst, R. Murri, C.K. Ng, S. Nicolet, M. Nowak, P.G. Pedrioli, L. Pelkmans, S. Piscuoglio, M. Prummer, M. Ritter, C. Rommel, M.L. Rosano-González, G. Rätsch, N. Santacroce, J.S. del Castillo, R. Schlenker, P.C. Schwalie, S. Schwan, T. Schär, G. Senti, F. Singer, S. Sivapatham, B. Snijder, B. Sobottka, V.T. Sreedharan, S. Stark, D.J. Stekhoven, A.P. Theocharides, T.M. Thomas, M. Tolnay, V. Tosevski, N.C. Toussaint, M.A. Tuncel, M. Tusup, A.V. Drogen, M. Vetter, T. Vlajnic, S. Weber, W.P. Weber, R. Wegmann, M. Weller, F. Wendt, N. Wey, A. Wicki, B. Wollscheid, S. Yu, J. Ziegler, M. Zimmermann, M. Zoche, G. Zuend, G. Rätsch, K.-V. Lehmann, Bioinformatics 36 (2020) i919–i927."},"year":"2020","date_updated":"2023-09-11T10:21:00Z","abstract":[{"text":"Motivation: Recent technological advances have led to an increase in the production and availability of single-cell data. The ability to integrate a set of multi-technology measurements would allow the identification of biologically or clinically meaningful observations through the unification of the perspectives afforded by each technology. In most cases, however, profiling technologies consume the used cells and thus pairwise correspondences between datasets are lost. Due to the sheer size single-cell datasets can acquire, scalable algorithms that are able to universally match single-cell measurements carried out in one cell to its corresponding sibling in another technology are needed.\r\nResults: We propose Single-Cell data Integration via Matching (SCIM), a scalable approach to recover such correspondences in two or more technologies. SCIM assumes that cells share a common (low-dimensional) underlying structure and that the underlying cell distribution is approximately constant across technologies. It constructs a technology-invariant latent space using an autoencoder framework with an adversarial objective. Multi-modal datasets are integrated by pairing cells across technologies using a bipartite matching scheme that operates on the low-dimensional latent representations. We evaluate SCIM on a simulated cellular branching process and show that the cell-to-cell matches derived by SCIM reflect the same pseudotime on the simulated dataset. Moreover, we apply our method to two real-world scenarios, a melanoma tumor sample and a human bone marrow sample, where we pair cells from a scRNA dataset to their sibling cells in a CyTOF dataset achieving 90% and 78% cell-matching accuracy for each one of the samples, respectively.","lang":"eng"}],"day":"01","doi":"10.1093/bioinformatics/btaa843","extern":"1","volume":36},{"month":"10","oa_version":"Preprint","publication":"ACM Journal of Experimental Algorithmics","keyword":["Theoretical Computer Science"],"language":[{"iso":"eng"}],"oa":1,"publication_identifier":{"issn":["1084-6654"],"eissn":["1084-6654"]},"type":"journal_article","date_published":"2018-10-01T00:00:00Z","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://arxiv.org/abs/1708.06127","open_access":"1"}],"intvolume":"        23","title":"Practical minimum cut algorithms","date_created":"2022-07-27T08:28:26Z","article_processing_charge":"No","publication_status":"published","author":[{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H"},{"full_name":"Noe, Alexander","last_name":"Noe","first_name":"Alexander"},{"full_name":"Schulz, Christian","last_name":"Schulz","first_name":"Christian"},{"last_name":"Strash","first_name":"Darren","full_name":"Strash, Darren"}],"scopus_import":"1","_id":"11657","article_type":"original","publisher":"Association for Computing Machinery","quality_controlled":"1","page":"1-22","abstract":[{"lang":"eng","text":"The minimum cut problem for an undirected edge-weighted graph asks us to divide its set of nodes into two blocks while minimizing the weight sum of the cut edges. Here, we introduce a linear-time algorithm to compute near-minimum cuts. Our algorithm is based on cluster contraction using label propagation and Padberg and Rinaldi’s contraction heuristics [SIAM Review, 1991]. We give both sequential and shared-memory parallel implementations of our algorithm. Extensive experiments on both real-world and generated instances show that our algorithm finds the optimal cut on nearly all instances significantly faster than other state-of-the-art exact algorithms, and our error rate is lower than that of other heuristic algorithms. In addition, our parallel algorithm runs a factor 7.5× faster on average when using 32 threads. To further speed up computations, we also give a version of our algorithm that performs random edge contractions as preprocessing. This version achieves a lower running time and better parallel scalability at the expense of a higher error rate."}],"day":"01","doi":"10.1145/3274662","arxiv":1,"external_id":{"arxiv":["1708.06127"]},"year":"2018","citation":{"chicago":"Henzinger, Monika H, Alexander Noe, Christian Schulz, and Darren Strash. “Practical Minimum Cut Algorithms.” <i>ACM Journal of Experimental Algorithmics</i>. Association for Computing Machinery, 2018. <a href=\"https://doi.org/10.1145/3274662\">https://doi.org/10.1145/3274662</a>.","ieee":"M. H. Henzinger, A. Noe, C. Schulz, and D. Strash, “Practical minimum cut algorithms,” <i>ACM Journal of Experimental Algorithmics</i>, vol. 23. Association for Computing Machinery, pp. 1–22, 2018.","ama":"Henzinger MH, Noe A, Schulz C, Strash D. Practical minimum cut algorithms. <i>ACM Journal of Experimental Algorithmics</i>. 2018;23:1-22. doi:<a href=\"https://doi.org/10.1145/3274662\">10.1145/3274662</a>","apa":"Henzinger, M. H., Noe, A., Schulz, C., &#38; Strash, D. (2018). Practical minimum cut algorithms. <i>ACM Journal of Experimental Algorithmics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3274662\">https://doi.org/10.1145/3274662</a>","ista":"Henzinger MH, Noe A, Schulz C, Strash D. 2018. Practical minimum cut algorithms. ACM Journal of Experimental Algorithmics. 23, 1–22.","short":"M.H. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.","mla":"Henzinger, Monika H., et al. “Practical Minimum Cut Algorithms.” <i>ACM Journal of Experimental Algorithmics</i>, vol. 23, Association for Computing Machinery, 2018, pp. 1–22, doi:<a href=\"https://doi.org/10.1145/3274662\">10.1145/3274662</a>."},"date_updated":"2022-09-09T11:32:52Z","extern":"1","volume":23},{"article_type":"original","publisher":"Association for Computing Machinery","quality_controlled":"1","intvolume":"         4","title":"An expressive mechanism for auctions on the web","date_created":"2022-07-27T12:43:18Z","article_processing_charge":"No","publication_status":"published","issue":"1","author":[{"full_name":"Dütting, Paul","first_name":"Paul","last_name":"Dütting"},{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","first_name":"Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"first_name":"Ingmar","last_name":"Weber","full_name":"Weber, Ingmar"}],"scopus_import":"1","_id":"11670","extern":"1","volume":4,"acknowledgement":"We would like to thank Veronika Loitzenbauer and the anonymous referees for their valuable feedback.","abstract":[{"lang":"eng","text":"Auctions are widely used on the Web. Applications range from sponsored search to platforms such as eBay. In these and in many other applications the auctions in use are single-/multi-item auctions with unit demand. The main drawback of standard mechanisms for this type of auctions, such as VCG and GSP, is the limited expressiveness that they offer to the bidders. The General Auction Mechanism (GAM) of Aggarwal et al. [2009] takes a first step toward addressing the problem of limited expressiveness by computing a bidder optimal, envy-free outcome for linear utility functions with identical slopes and a single discontinuity per bidder-item pair. We show that in many practical situations this does not suffice to adequately model the preferences of the bidders, and we overcome this problem by presenting the first mechanism for piecewise linear utility functions with nonidentical slopes and multiple discontinuities. Our mechanism runs in polynomial time. Like GAM it is incentive compatible for inputs that fulfill a certain nondegeneracy assumption, but our requirement is more general than the requirement of GAM. For discontinuous utility functions that are nondegenerate as well as for continuous utility functions the outcome of our mechanism is a competitive equilibrium. We also show how our mechanism can be used to compute approximately bidder optimal, envy-free outcomes for a general class of continuous utility functions via piecewise linear approximation. Finally, we prove hardness results for even more expressive settings."}],"day":"02","doi":"10.1145/2716312","year":"2015","citation":{"ista":"Dütting P, Henzinger MH, Weber I. 2015. An expressive mechanism for auctions on the web. ACM Transactions on Economics and Computation. 4(1), 1.","short":"P. Dütting, M.H. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (2015).","mla":"Dütting, Paul, et al. “An Expressive Mechanism for Auctions on the Web.” <i>ACM Transactions on Economics and Computation</i>, vol. 4, no. 1, 1, Association for Computing Machinery, 2015, doi:<a href=\"https://doi.org/10.1145/2716312\">10.1145/2716312</a>.","chicago":"Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “An Expressive Mechanism for Auctions on the Web.” <i>ACM Transactions on Economics and Computation</i>. Association for Computing Machinery, 2015. <a href=\"https://doi.org/10.1145/2716312\">https://doi.org/10.1145/2716312</a>.","ieee":"P. Dütting, M. H. Henzinger, and I. Weber, “An expressive mechanism for auctions on the web,” <i>ACM Transactions on Economics and Computation</i>, vol. 4, no. 1. Association for Computing Machinery, 2015.","ama":"Dütting P, Henzinger MH, Weber I. An expressive mechanism for auctions on the web. <i>ACM Transactions on Economics and Computation</i>. 2015;4(1). doi:<a href=\"https://doi.org/10.1145/2716312\">10.1145/2716312</a>","apa":"Dütting, P., Henzinger, M. H., &#38; Weber, I. (2015). An expressive mechanism for auctions on the web. <i>ACM Transactions on Economics and Computation</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/2716312\">https://doi.org/10.1145/2716312</a>"},"date_updated":"2023-02-09T10:08:41Z","keyword":["Computational Mathematics","Marketing","Economics and Econometrics","Statistics and Probability","Computer Science (miscellaneous)"],"language":[{"iso":"eng"}],"article_number":"1","month":"12","oa_version":"None","publication":"ACM Transactions on Economics and Computation","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2167-8383"],"issn":["2167-8375"]},"type":"journal_article","date_published":"2015-12-02T00:00:00Z"},{"publication_status":"published","article_processing_charge":"No","date_created":"2020-09-18T10:08:07Z","title":"Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data","intvolume":"        30","_id":"8459","author":[{"full_name":"Morin, Sébastien","first_name":"Sébastien","last_name":"Morin"},{"first_name":"Troels E","last_name":"Linnet","full_name":"Linnet, Troels E"},{"full_name":"Lescanne, Mathilde","first_name":"Mathilde","last_name":"Lescanne"},{"orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul","first_name":"Paul","last_name":"Schanda","id":"7B541462-FAF6-11E9-A490-E8DFE5697425"},{"full_name":"Thompson, Gary S","first_name":"Gary S","last_name":"Thompson"},{"full_name":"Tollinger, Martin","last_name":"Tollinger","first_name":"Martin"},{"full_name":"Teilum, Kaare","first_name":"Kaare","last_name":"Teilum"},{"full_name":"Gagné, Stéphane","last_name":"Gagné","first_name":"Stéphane"},{"full_name":"Marion, Dominique","first_name":"Dominique","last_name":"Marion"},{"last_name":"Griesinger","first_name":"Christian","full_name":"Griesinger, Christian"},{"full_name":"Blackledge, Martin","first_name":"Martin","last_name":"Blackledge"},{"full_name":"d’Auvergne, Edward J","first_name":"Edward J","last_name":"d’Auvergne"}],"issue":"15","publisher":"Oxford University Press","article_type":"original","page":"2219-2220","quality_controlled":"1","doi":"10.1093/bioinformatics/btu166","day":"01","abstract":[{"lang":"eng","text":"Nuclear magnetic resonance (NMR) is a powerful tool for observing the motion of biomolecules at the atomic level. One technique, the analysis of relaxation dispersion phenomenon, is highly suited for studying the kinetics and thermodynamics of biological processes. Built on top of the relax computational environment for NMR dynamics is a new dispersion analysis designed to be comprehensive, accurate and easy-to-use. The software supports more models, both numeric and analytic, than current solutions. An automated protocol, available for scripting and driving the graphical user interface (GUI), is designed to simplify the analysis of dispersion data for NMR spectroscopists. Decreases in optimization time are granted by parallelization for running on computer clusters and by skipping an initial grid search by using parameters from one solution as the starting point for another —using analytic model results for the numeric models, taking advantage of model nesting, and using averaged non-clustered results for the clustered analysis."}],"date_updated":"2021-01-12T08:19:25Z","citation":{"ama":"Morin S, Linnet TE, Lescanne M, et al. Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data. <i>Bioinformatics</i>. 2014;30(15):2219-2220. doi:<a href=\"https://doi.org/10.1093/bioinformatics/btu166\">10.1093/bioinformatics/btu166</a>","apa":"Morin, S., Linnet, T. E., Lescanne, M., Schanda, P., Thompson, G. S., Tollinger, M., … d’Auvergne, E. J. (2014). Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data. <i>Bioinformatics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/bioinformatics/btu166\">https://doi.org/10.1093/bioinformatics/btu166</a>","chicago":"Morin, Sébastien, Troels E Linnet, Mathilde Lescanne, Paul Schanda, Gary S Thompson, Martin Tollinger, Kaare Teilum, et al. “Relax: The Analysis of Biomolecular Kinetics and Thermodynamics Using NMR Relaxation Dispersion Data.” <i>Bioinformatics</i>. Oxford University Press, 2014. <a href=\"https://doi.org/10.1093/bioinformatics/btu166\">https://doi.org/10.1093/bioinformatics/btu166</a>.","ieee":"S. Morin <i>et al.</i>, “Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data,” <i>Bioinformatics</i>, vol. 30, no. 15. Oxford University Press, pp. 2219–2220, 2014.","mla":"Morin, Sébastien, et al. “Relax: The Analysis of Biomolecular Kinetics and Thermodynamics Using NMR Relaxation Dispersion Data.” <i>Bioinformatics</i>, vol. 30, no. 15, Oxford University Press, 2014, pp. 2219–20, doi:<a href=\"https://doi.org/10.1093/bioinformatics/btu166\">10.1093/bioinformatics/btu166</a>.","short":"S. Morin, T.E. Linnet, M. Lescanne, P. Schanda, G.S. Thompson, M. Tollinger, K. Teilum, S. Gagné, D. Marion, C. Griesinger, M. Blackledge, E.J. d’Auvergne, Bioinformatics 30 (2014) 2219–2220.","ista":"Morin S, Linnet TE, Lescanne M, Schanda P, Thompson GS, Tollinger M, Teilum K, Gagné S, Marion D, Griesinger C, Blackledge M, d’Auvergne EJ. 2014. Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data. Bioinformatics. 30(15), 2219–2220."},"year":"2014","volume":30,"extern":"1","oa_version":"None","month":"08","publication":"Bioinformatics","language":[{"iso":"eng"}],"keyword":["Statistics and Probability","Computational Theory and Mathematics","Biochemistry","Molecular Biology","Computational Mathematics","Computer Science Applications"],"publication_identifier":{"issn":["1367-4803","1460-2059"]},"date_published":"2014-08-01T00:00:00Z","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1093/bioinformatics/btz397"}]}},{"publisher":"Elsevier","article_type":"original","quality_controlled":"1","page":"70-91","keyword":["Computer Science (miscellaneous)","Geotechnical Engineering and Engineering Geology","Atmospheric Science","Oceanography"],"language":[{"iso":"eng"}],"date_created":"2021-02-15T14:40:19Z","article_processing_charge":"No","publication_status":"published","oa_version":"None","intvolume":"        34","month":"05","title":"Ocean turbulence, III: New GISS vertical mixing scheme","_id":"9145","publication":"Ocean Modelling","issue":"3-4","author":[{"last_name":"Canuto","first_name":"V.M.","full_name":"Canuto, V.M."},{"full_name":"Howard, A.M.","last_name":"Howard","first_name":"A.M."},{"full_name":"Cheng, Y.","last_name":"Cheng","first_name":"Y."},{"full_name":"Muller, Caroline J","orcid":"0000-0001-5836-5350","last_name":"Muller","first_name":"Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"},{"first_name":"A.","last_name":"Leboissetier","full_name":"Leboissetier, A."},{"first_name":"S.R.","last_name":"Jayne","full_name":"Jayne, S.R."}],"volume":34,"status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","extern":"1","publication_identifier":{"issn":["1463-5003"]},"day":"12","doi":"10.1016/j.ocemod.2010.04.006","abstract":[{"lang":"eng","text":"We have found a new way to express the solutions of the RSM (Reynolds Stress Model) equations that allows us to present the turbulent diffusivities for heat, salt and momentum in a way that is considerably simpler and thus easier to implement than in previous work. The RSM provides the dimensionless mixing efficiencies Γα (α stands for heat, salt and momentum). However, to compute the diffusivities, one needs additional information, specifically, the dissipation ε. Since a dynamic equation for the latter that includes the physical processes relevant to the ocean is still not available, one must resort to different sources of information outside the RSM to obtain a complete Mixing Scheme usable in OGCMs.\r\nAs for the RSM results, we show that the Γα’s are functions of both Ri and Rρ (Richardson number and density ratio representing double diffusion, DD); the Γα are different for heat, salt and momentum; in the case of heat, the traditional value Γh = 0.2 is valid only in the presence of strong shear (when DD is inoperative) while when shear subsides, NATRE data show that Γh can be three times as large, a result that we reproduce. The salt Γs is given in terms of Γh. The momentum Γm has thus far been guessed with different prescriptions while the RSM provides a well defined expression for Γm(Ri, Rρ). Having tested Γh, we then test the momentum Γm by showing that the turbulent Prandtl number Γm/Γh vs. Ri reproduces the available data quite well.\r\n\r\nAs for the dissipation ε, we use different representations, one for the mixed layer (ML), one for the thermocline and one for the ocean’s bottom. For the ML, we adopt a procedure analogous to the one successfully used in PB (planetary boundary layer) studies; for the thermocline, we employ an expression for the variable εN−2 from studies of the internal gravity waves spectra which includes a latitude dependence; for the ocean bottom, we adopt the enhanced bottom diffusivity expression used by previous authors but with a state of the art internal tidal energy formulation and replace the fixed Γα = 0.2 with the RSM result that brings into the problem the Ri, Rρ dependence of the Γα; the unresolved bottom drag, which has thus far been either ignored or modeled with heuristic relations, is modeled using a formalism we previously developed and tested in PBL studies.\r\nWe carried out several tests without an OGCM. Prandtl and flux Richardson numbers vs. Ri. The RSM model reproduces both types of data satisfactorily. DD and Mixing efficiency Γh(Ri, Rρ). The RSM model reproduces well the NATRE data. Bimodal ε-distribution. NATRE data show that ε(Ri < 1) ≈ 10ε(Ri > 1), which our model reproduces. Heat to salt flux ratio. In the Ri ≫ 1 regime, the RSM predictions reproduce the data satisfactorily. NATRE mass diffusivity. The z-profile of the mass diffusivity reproduces well the measurements at NATRE. The local form of the mixing scheme is algebraic with one cubic equation to solve."}],"citation":{"ieee":"V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” <i>Ocean Modelling</i>, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.","chicago":"Canuto, V.M., A.M. Howard, Y. Cheng, Caroline J Muller, A. Leboissetier, and S.R. Jayne. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” <i>Ocean Modelling</i>. Elsevier, 2010. <a href=\"https://doi.org/10.1016/j.ocemod.2010.04.006\">https://doi.org/10.1016/j.ocemod.2010.04.006</a>.","apa":"Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., &#38; Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. <i>Ocean Modelling</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ocemod.2010.04.006\">https://doi.org/10.1016/j.ocemod.2010.04.006</a>","ama":"Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. Ocean turbulence, III: New GISS vertical mixing scheme. <i>Ocean Modelling</i>. 2010;34(3-4):70-91. doi:<a href=\"https://doi.org/10.1016/j.ocemod.2010.04.006\">10.1016/j.ocemod.2010.04.006</a>","ista":"Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. 2010. Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 34(3–4), 70–91.","short":"V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.","mla":"Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” <i>Ocean Modelling</i>, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:<a href=\"https://doi.org/10.1016/j.ocemod.2010.04.006\">10.1016/j.ocemod.2010.04.006</a>."},"year":"2010","date_updated":"2022-01-24T13:51:35Z","type":"journal_article","date_published":"2010-05-12T00:00:00Z"},{"article_type":"original","publisher":"Society for Industrial & Applied Mathematics","language":[{"iso":"eng"}],"keyword":["Theoretical Computer Science","Applied Mathematics","Computational Mathematics"],"page":"702-720","quality_controlled":"1","title":"Geometry of Arnold diffusion","month":"11","intvolume":"        50","oa_version":"None","publication_status":"published","article_processing_charge":"No","date_created":"2020-09-18T10:48:12Z","author":[{"id":"FE553552-CDE8-11E9-B324-C0EBE5697425","full_name":"Kaloshin, Vadim","orcid":"0000-0002-6051-2628","last_name":"Kaloshin","first_name":"Vadim"},{"last_name":"Levi","first_name":"Mark","full_name":"Levi, Mark"}],"issue":"4","_id":"8509","publication":"SIAM Review","extern":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":50,"abstract":[{"text":"The goal of this paper is to present to nonspecialists what is perhaps the simplest possible geometrical picture explaining the mechanism of Arnold diffusion. We choose to speak of a specific model—that of geometric rays in a periodic optical medium. This model is equivalent to that of a particle in a periodic potential in ${\\mathbb R}^{n}$ with energy prescribed and to the geodesic flow in a Riemannian metric on ${\\mathbb R}^{n} $.","lang":"eng"}],"doi":"10.1137/070703235","publication_identifier":{"issn":["0036-1445","1095-7200"]},"day":"05","date_published":"2008-11-05T00:00:00Z","type":"journal_article","date_updated":"2021-01-12T08:19:46Z","year":"2008","citation":{"chicago":"Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” <i>SIAM Review</i>. Society for Industrial &#38; Applied Mathematics, 2008. <a href=\"https://doi.org/10.1137/070703235\">https://doi.org/10.1137/070703235</a>.","ieee":"V. Kaloshin and M. Levi, “Geometry of Arnold diffusion,” <i>SIAM Review</i>, vol. 50, no. 4. Society for Industrial &#38; Applied Mathematics, pp. 702–720, 2008.","ama":"Kaloshin V, Levi M. Geometry of Arnold diffusion. <i>SIAM Review</i>. 2008;50(4):702-720. doi:<a href=\"https://doi.org/10.1137/070703235\">10.1137/070703235</a>","apa":"Kaloshin, V., &#38; Levi, M. (2008). Geometry of Arnold diffusion. <i>SIAM Review</i>. Society for Industrial &#38; Applied Mathematics. <a href=\"https://doi.org/10.1137/070703235\">https://doi.org/10.1137/070703235</a>","ista":"Kaloshin V, Levi M. 2008. Geometry of Arnold diffusion. SIAM Review. 50(4), 702–720.","mla":"Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” <i>SIAM Review</i>, vol. 50, no. 4, Society for Industrial &#38; Applied Mathematics, 2008, pp. 702–20, doi:<a href=\"https://doi.org/10.1137/070703235\">10.1137/070703235</a>.","short":"V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720."}}]