[{"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["510"],"abstract":[{"text":"In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and its environment. In bidding games the players bid for the right to move the token: in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Bidding games are known to have a clean and elegant mathematical structure that relies on the ability of the players to submit arbitrarily small bids. Many applications, however, require a fixed granularity for the bids, which can represent, for example, the monetary value expressed in cents. We study, for the first time, the combination of discrete-bidding and infinite-duration games. Our most important result proves that these games form a large determined subclass of concurrent games, where determinacy is the strong property that there always exists exactly one player who can guarantee winning the game. In particular, we show that, in contrast to non-discrete bidding games, the mechanism with which tied bids are resolved plays an important role in discrete-bidding games. We study several natural tie-breaking mechanisms and show that, while some do not admit determinacy, most natural mechanisms imply determinacy for every pair of initial budgets.","lang":"eng"}],"external_id":{"isi":["000658724600010"],"arxiv":["1905.03588"]},"publication_status":"published","date_published":"2021-02-03T00:00:00Z","publisher":"International Federation for Computational Logic","quality_controlled":"1","volume":17,"page":"10:1-10:23","department":[{"_id":"ToHe"}],"project":[{"_id":"264B3912-B435-11E9-9278-68D0E5697425","grant_number":"M02369","call_identifier":"FWF","name":"Formal Methods meets Algorithmic Game Theory"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"year":"2021","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE), Z211-N23 (Wittgenstein Award), and M 2369-N33 (Meitner fellowship).\r\n","keyword":["computer science","computer science and game theory","logic in computer science"],"date_created":"2022-01-25T16:32:13Z","citation":{"ista":"Aghajohari M, Avni G, Henzinger TA. 2021. Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. 17(1), 10:1-10:23.","chicago":"Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.” <i>Logical Methods in Computer Science</i>. International Federation for Computational Logic, 2021. <a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">https://doi.org/10.23638/LMCS-17(1:10)2021</a>.","mla":"Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” <i>Logical Methods in Computer Science</i>, vol. 17, no. 1, International Federation for Computational Logic, 2021, p. 10:1-10:23, doi:<a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">10.23638/LMCS-17(1:10)2021</a>.","ieee":"M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” <i>Logical Methods in Computer Science</i>, vol. 17, no. 1. International Federation for Computational Logic, p. 10:1-10:23, 2021.","ama":"Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. <i>Logical Methods in Computer Science</i>. 2021;17(1):10:1-10:23. doi:<a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">10.23638/LMCS-17(1:10)2021</a>","short":"M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.","apa":"Aghajohari, M., Avni, G., &#38; Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. <i>Logical Methods in Computer Science</i>. International Federation for Computational Logic. <a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">https://doi.org/10.23638/LMCS-17(1:10)2021</a>"},"doi":"10.23638/LMCS-17(1:10)2021","article_type":"original","_id":"10674","file_date_updated":"2022-01-26T08:04:50Z","publication_identifier":{"eissn":["1860-5974"]},"month":"02","file":[{"creator":"alisjak","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_size":819878,"file_id":"10690","checksum":"b35586a50ed1ca8f44767de116d18d81","file_name":"2021_LMCS_AGHAJOHAR.pdf","success":1,"date_updated":"2022-01-26T08:04:50Z","date_created":"2022-01-26T08:04:50Z"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Published Version","day":"03","arxiv":1,"author":[{"last_name":"Aghajohari","full_name":"Aghajohari, Milad","first_name":"Milad"},{"full_name":"Avni, Guy","first_name":"Guy","orcid":"0000-0001-5588-8287","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"status":"public","type":"journal_article","isi":1,"has_accepted_license":"1","scopus_import":"1","intvolume":"        17","article_processing_charge":"No","issue":"1","date_updated":"2023-08-17T06:56:42Z","oa":1,"title":"Determinacy in discrete-bidding infinite-duration games","publication":"Logical Methods in Computer Science","language":[{"iso":"eng"}]},{"type":"journal_article","status":"public","month":"03","publication_identifier":{"issn":["2476-1249"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2005.07637"}],"day":"01","arxiv":1,"author":[{"last_name":"Foerster","full_name":"Foerster, Klaus-Tycho","first_name":"Klaus-Tycho"},{"last_name":"Korhonen","id":"C5402D42-15BC-11E9-A202-CA2BE6697425","full_name":"Korhonen, Janne","first_name":"Janne"},{"full_name":"Paz, Ami","first_name":"Ami","last_name":"Paz"},{"last_name":"Rybicki","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6432-6646","full_name":"Rybicki, Joel","first_name":"Joel"},{"last_name":"Schmid","first_name":"Stefan","full_name":"Schmid, Stefan"}],"publication":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","language":[{"iso":"eng"}],"intvolume":"         5","scopus_import":"1","issue":"1","article_processing_charge":"No","oa":1,"date_updated":"2023-09-26T10:40:55Z","title":"Input-dynamic distributed algorithms for communication networks","date_published":"2021-03-01T00:00:00Z","publisher":"Association for Computing Machinery","volume":5,"quality_controlled":"1","page":"1-33","department":[{"_id":"DaAl"}],"project":[{"grant_number":"840605","_id":"26A5D39A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Coordination in constrained and natural distributed systems"},{"call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223"}],"abstract":[{"text":"Consider a distributed task where the communication network is fixed but the local inputs given to the nodes of the distributed system may change over time. In this work, we explore the following question: if some of the local inputs change, can an existing solution be updated efficiently, in a dynamic and distributed manner? To address this question, we define the batch dynamic \\congest model in which we are given a bandwidth-limited communication network and a dynamic edge labelling defines the problem input. The task is to maintain a solution to a graph problem on the labeled graph under batch changes. We investigate, when a batch of α edge label changes arrive, \\beginitemize \\item how much time as a function of α we need to update an existing solution, and \\item how much information the nodes have to keep in local memory between batches in order to update the solution quickly. \\enditemize Our work lays the foundations for the theory of input-dynamic distributed network algorithms. We give a general picture of the complexity landscape in this model, design both universal algorithms and algorithms for concrete problems, and present a general framework for lower bounds. In particular, we derive non-trivial upper bounds for two selected, contrasting problems: maintaining a minimum spanning tree and detecting cliques.","lang":"eng"}],"external_id":{"arxiv":["2005.07637"]},"publication_status":"published","doi":"10.1145/3447384","_id":"10855","article_type":"original","related_material":{"record":[{"status":"public","id":"10854","relation":"shorter_version"}]},"ec_funded":1,"year":"2021","acknowledgement":"We thank Jukka Suomela for discussions. We also thank our shepherd Mohammad Hajiesmaili\r\nand the reviewers for their time and suggestions on how to improve the paper. This project\r\nhas received funding from the European Research Council (ERC) under the European Union’s\r\nHorizon 2020 research and innovation programme (grant agreement No 805223 ScaleML), from the European Union’s Horizon 2020 research and innovation programme under the Marie\r\nSk lodowska–Curie grant agreement No. 840605, from the Vienna Science and Technology Fund (WWTF) project WHATIF, ICT19-045, 2020-2024, and from the Austrian Science Fund (FWF) and netIDEE SCIENCE project P 33775-N.","keyword":["Computer Networks and Communications","Hardware and Architecture","Safety","Risk","Reliability and Quality","Computer Science (miscellaneous)"],"date_created":"2022-03-18T09:10:27Z","citation":{"apa":"Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., &#38; Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. <i>Proceedings of the ACM on Measurement and Analysis of Computing Systems</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3447384\">https://doi.org/10.1145/3447384</a>","ista":"Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. 2021. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. 5(1), 1–33.","chicago":"Foerster, Klaus-Tycho, Janne Korhonen, Ami Paz, Joel Rybicki, and Stefan Schmid. “Input-Dynamic Distributed Algorithms for Communication Networks.” <i>Proceedings of the ACM on Measurement and Analysis of Computing Systems</i>. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3447384\">https://doi.org/10.1145/3447384</a>.","mla":"Foerster, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” <i>Proceedings of the ACM on Measurement and Analysis of Computing Systems</i>, vol. 5, no. 1, Association for Computing Machinery, 2021, pp. 1–33, doi:<a href=\"https://doi.org/10.1145/3447384\">10.1145/3447384</a>.","short":"K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.","ieee":"K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, and S. Schmid, “Input-dynamic distributed algorithms for communication networks,” <i>Proceedings of the ACM on Measurement and Analysis of Computing Systems</i>, vol. 5, no. 1. Association for Computing Machinery, pp. 1–33, 2021.","ama":"Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. <i>Proceedings of the ACM on Measurement and Analysis of Computing Systems</i>. 2021;5(1):1-33. doi:<a href=\"https://doi.org/10.1145/3447384\">10.1145/3447384</a>"}},{"author":[{"first_name":"Sergey","full_name":"Avvakumov, Sergey","id":"3827DAC8-F248-11E8-B48F-1D18A9856A87","last_name":"Avvakumov"},{"full_name":"Kudrya, Sergey","first_name":"Sergey","last_name":"Kudrya","id":"ecf01965-d252-11ea-95a5-8ada5f6c6a67"}],"arxiv":1,"oa_version":"Preprint","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10","publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"status":"public","type":"journal_article","title":"Vanishing of all equivariant obstructions and the mapping degree","date_updated":"2023-02-23T13:26:41Z","article_processing_charge":"No","issue":"3","intvolume":"        66","scopus_import":"1","language":[{"iso":"eng"}],"publication":"Discrete & Computational Geometry","publication_status":"published","external_id":{"arxiv":["1910.12628"]},"abstract":[{"lang":"eng","text":"Suppose that n is not a prime power and not twice a prime power. We prove that for any Hausdorff compactum X with a free action of the symmetric group Sn, there exists an Sn-equivariant map X→Rn whose image avoids the diagonal {(x,x,…,x)∈Rn∣x∈R}. Previously, the special cases of this statement for certain X were usually proved using the equivartiant obstruction theory. Such calculations are difficult and may become infeasible past the first (primary) obstruction. We take a different approach which allows us to prove the vanishing of all obstructions simultaneously. The essential step in the proof is classifying the possible degrees of Sn-equivariant maps from the boundary ∂Δn−1 of (n−1)-simplex to itself. Existence of equivariant maps between spaces is important for many questions arising from discrete mathematics and geometry, such as Kneser’s conjecture, the Square Peg conjecture, the Splitting Necklace problem, and the Topological Tverberg conjecture, etc. We demonstrate the utility of our result applying it to one such question, a specific instance of envy-free division problem."}],"extern":"1","page":"1202-1216","quality_controlled":"1","volume":66,"publisher":"Springer Nature","date_published":"2021-10-01T00:00:00Z","date_created":"2022-06-17T08:45:15Z","citation":{"ama":"Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping degree. <i>Discrete &#38; Computational Geometry</i>. 2021;66(3):1202-1216. doi:<a href=\"https://doi.org/10.1007/s00454-021-00299-z\">10.1007/s00454-021-00299-z</a>","ieee":"S. Avvakumov and S. Kudrya, “Vanishing of all equivariant obstructions and the mapping degree,” <i>Discrete &#38; Computational Geometry</i>, vol. 66, no. 3. Springer Nature, pp. 1202–1216, 2021.","short":"S. Avvakumov, S. Kudrya, Discrete &#38; Computational Geometry 66 (2021) 1202–1216.","mla":"Avvakumov, Sergey, and Sergey Kudrya. “Vanishing of All Equivariant Obstructions and the Mapping Degree.” <i>Discrete &#38; Computational Geometry</i>, vol. 66, no. 3, Springer Nature, 2021, pp. 1202–16, doi:<a href=\"https://doi.org/10.1007/s00454-021-00299-z\">10.1007/s00454-021-00299-z</a>.","chicago":"Avvakumov, Sergey, and Sergey Kudrya. “Vanishing of All Equivariant Obstructions and the Mapping Degree.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00454-021-00299-z\">https://doi.org/10.1007/s00454-021-00299-z</a>.","ista":"Avvakumov S, Kudrya S. 2021. Vanishing of all equivariant obstructions and the mapping degree. Discrete &#38; Computational Geometry. 66(3), 1202–1216.","apa":"Avvakumov, S., &#38; Kudrya, S. (2021). Vanishing of all equivariant obstructions and the mapping degree. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-021-00299-z\">https://doi.org/10.1007/s00454-021-00299-z</a>"},"keyword":["Computational Theory and Mathematics","Discrete Mathematics and Combinatorics","Geometry and Topology","Theoretical Computer Science"],"acknowledgement":"S. Avvakumov has received funding from the European Research Council under the European Union’s Seventh Framework Programme ERC Grant agreement ERC StG 716424–CASe. S. Kudrya was supported by the Austrian Academic Exchange Service (OeAD), ICM-2019-13577.","year":"2021","related_material":{"record":[{"id":"8182","relation":"earlier_version","status":"public"}]},"_id":"11446","article_type":"original","doi":"10.1007/s00454-021-00299-z"},{"extern":"1","page":"i919-i927","department":[{"_id":"FrLo"}],"volume":36,"quality_controlled":"1","publisher":"Oxford University Press","date_published":"2020-12-01T00:00:00Z","external_id":{"pmid":["33381818"]},"abstract":[{"lang":"eng","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."}],"publication_status":"published","doi":"10.1093/bioinformatics/btaa843","article_type":"original","_id":"14125","related_material":{"link":[{"relation":"software","url":"https://github.com/ratschlab/scim"}]},"date_created":"2023-08-21T12:28:20Z","citation":{"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.","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.","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>","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>.","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>.","ista":"Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.","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>"},"keyword":["Computational Mathematics","Computational Theory and Mathematics","Computer Science Applications","Molecular Biology","Biochemistry","Statistics and Probability"],"year":"2020","pmid":1,"status":"public","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/bioinformatics/btaa843"}],"day":"01","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1367-4811"]},"month":"12","author":[{"last_name":"Stark","first_name":"Stefan G","full_name":"Stark, Stefan G"},{"first_name":"Joanna","full_name":"Ficek, Joanna","last_name":"Ficek"},{"first_name":"Francesco","full_name":"Locatello, Francesco","last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","orcid":"0000-0002-4850-0683"},{"full_name":"Bonilla, Ximena","first_name":"Ximena","last_name":"Bonilla"},{"first_name":"Stéphane","full_name":"Chevrier, Stéphane","last_name":"Chevrier"},{"last_name":"Singer","first_name":"Franziska","full_name":"Singer, Franziska"},{"first_name":"Rudolf","full_name":"Aebersold, Rudolf","last_name":"Aebersold"},{"last_name":"Al-Quaddoomi","first_name":"Faisal S","full_name":"Al-Quaddoomi, Faisal S"},{"last_name":"Albinus","first_name":"Jonas","full_name":"Albinus, Jonas"},{"last_name":"Alborelli","full_name":"Alborelli, Ilaria","first_name":"Ilaria"},{"last_name":"Andani","first_name":"Sonali","full_name":"Andani, Sonali"},{"full_name":"Attinger, Per-Olof","first_name":"Per-Olof","last_name":"Attinger"},{"last_name":"Bacac","full_name":"Bacac, Marina","first_name":"Marina"},{"last_name":"Baumhoer","full_name":"Baumhoer, Daniel","first_name":"Daniel"},{"last_name":"Beck-Schimmer","first_name":"Beatrice","full_name":"Beck-Schimmer, Beatrice"},{"first_name":"Niko","full_name":"Beerenwinkel, Niko","last_name":"Beerenwinkel"},{"last_name":"Beisel","full_name":"Beisel, Christian","first_name":"Christian"},{"full_name":"Bernasconi, Lara","first_name":"Lara","last_name":"Bernasconi"},{"last_name":"Bertolini","first_name":"Anne","full_name":"Bertolini, Anne"},{"last_name":"Bodenmiller","first_name":"Bernd","full_name":"Bodenmiller, Bernd"},{"full_name":"Bonilla, Ximena","first_name":"Ximena","last_name":"Bonilla"},{"last_name":"Casanova","first_name":"Ruben","full_name":"Casanova, Ruben"},{"last_name":"Chevrier","full_name":"Chevrier, Stéphane","first_name":"Stéphane"},{"last_name":"Chicherova","first_name":"Natalia","full_name":"Chicherova, Natalia"},{"full_name":"D'Costa, Maya","first_name":"Maya","last_name":"D'Costa"},{"full_name":"Danenberg, Esther","first_name":"Esther","last_name":"Danenberg"},{"last_name":"Davidson","first_name":"Natalie","full_name":"Davidson, Natalie"},{"last_name":"gan","full_name":"gan, Monica-Andreea Dră","first_name":"Monica-Andreea Dră"},{"first_name":"Reinhard","full_name":"Dummer, Reinhard","last_name":"Dummer"},{"first_name":"Stefanie","full_name":"Engler, Stefanie","last_name":"Engler"},{"last_name":"Erkens","full_name":"Erkens, Martin","first_name":"Martin"},{"full_name":"Eschbach, Katja","first_name":"Katja","last_name":"Eschbach"},{"last_name":"Esposito","full_name":"Esposito, Cinzia","first_name":"Cinzia"},{"last_name":"Fedier","first_name":"André","full_name":"Fedier, André"},{"last_name":"Ferreira","full_name":"Ferreira, Pedro","first_name":"Pedro"},{"full_name":"Ficek, Joanna","first_name":"Joanna","last_name":"Ficek"},{"last_name":"Frei","full_name":"Frei, Anja L","first_name":"Anja L"},{"first_name":"Bruno","full_name":"Frey, Bruno","last_name":"Frey"},{"last_name":"Goetze","full_name":"Goetze, Sandra","first_name":"Sandra"},{"last_name":"Grob","first_name":"Linda","full_name":"Grob, Linda"},{"last_name":"Gut","first_name":"Gabriele","full_name":"Gut, Gabriele"},{"full_name":"Günther, Detlef","first_name":"Detlef","last_name":"Günther"},{"last_name":"Haberecker","full_name":"Haberecker, Martina","first_name":"Martina"},{"last_name":"Haeuptle","full_name":"Haeuptle, Pirmin","first_name":"Pirmin"},{"last_name":"Heinzelmann-Schwarz","first_name":"Viola","full_name":"Heinzelmann-Schwarz, Viola"},{"last_name":"Herter","full_name":"Herter, Sylvia","first_name":"Sylvia"},{"first_name":"Rene","full_name":"Holtackers, Rene","last_name":"Holtackers"},{"first_name":"Tamara","full_name":"Huesser, Tamara","last_name":"Huesser"},{"last_name":"Irmisch","full_name":"Irmisch, Anja","first_name":"Anja"},{"full_name":"Jacob, Francis","first_name":"Francis","last_name":"Jacob"},{"last_name":"Jacobs","full_name":"Jacobs, Andrea","first_name":"Andrea"},{"first_name":"Tim M","full_name":"Jaeger, Tim M","last_name":"Jaeger"},{"full_name":"Jahn, Katharina","first_name":"Katharina","last_name":"Jahn"},{"first_name":"Alva R","full_name":"James, Alva R","last_name":"James"},{"first_name":"Philip M","full_name":"Jermann, Philip M","last_name":"Jermann"},{"last_name":"Kahles","full_name":"Kahles, André","first_name":"André"},{"last_name":"Kahraman","first_name":"Abdullah","full_name":"Kahraman, Abdullah"},{"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","full_name":"Kuipers, Jack","last_name":"Kuipers"},{"full_name":"Kunze, Christian P","first_name":"Christian P","last_name":"Kunze"},{"last_name":"Kurzeder","first_name":"Christian","full_name":"Kurzeder, Christian"},{"full_name":"Lehmann, Kjong-Van","first_name":"Kjong-Van","last_name":"Lehmann"},{"last_name":"Levesque","first_name":"Mitchell","full_name":"Levesque, Mitchell"},{"last_name":"Lugert","full_name":"Lugert, Sebastian","first_name":"Sebastian"},{"full_name":"Maass, Gerd","first_name":"Gerd","last_name":"Maass"},{"last_name":"Manz","first_name":"Markus","full_name":"Manz, Markus"},{"last_name":"Markolin","first_name":"Philipp","full_name":"Markolin, Philipp"},{"full_name":"Mena, Julien","first_name":"Julien","last_name":"Mena"},{"full_name":"Menzel, Ulrike","first_name":"Ulrike","last_name":"Menzel"},{"last_name":"Metzler","first_name":"Julian M","full_name":"Metzler, Julian M"},{"first_name":"Nicola","full_name":"Miglino, Nicola","last_name":"Miglino"},{"last_name":"Milani","first_name":"Emanuela S","full_name":"Milani, Emanuela S"},{"full_name":"Moch, Holger","first_name":"Holger","last_name":"Moch"},{"last_name":"Muenst","full_name":"Muenst, Simone","first_name":"Simone"},{"last_name":"Murri","first_name":"Riccardo","full_name":"Murri, Riccardo"},{"last_name":"Ng","first_name":"Charlotte KY","full_name":"Ng, Charlotte KY"},{"last_name":"Nicolet","full_name":"Nicolet, Stefan","first_name":"Stefan"},{"last_name":"Nowak","full_name":"Nowak, Marta","first_name":"Marta"},{"last_name":"Pedrioli","full_name":"Pedrioli, Patrick GA","first_name":"Patrick GA"},{"first_name":"Lucas","full_name":"Pelkmans, Lucas","last_name":"Pelkmans"},{"last_name":"Piscuoglio","full_name":"Piscuoglio, Salvatore","first_name":"Salvatore"},{"last_name":"Prummer","full_name":"Prummer, Michael","first_name":"Michael"},{"first_name":"Mathilde","full_name":"Ritter, Mathilde","last_name":"Ritter"},{"full_name":"Rommel, Christian","first_name":"Christian","last_name":"Rommel"},{"last_name":"Rosano-González","full_name":"Rosano-González, María L","first_name":"María L"},{"last_name":"Rätsch","full_name":"Rätsch, Gunnar","first_name":"Gunnar"},{"full_name":"Santacroce, Natascha","first_name":"Natascha","last_name":"Santacroce"},{"first_name":"Jacobo Sarabia del","full_name":"Castillo, Jacobo Sarabia del","last_name":"Castillo"},{"full_name":"Schlenker, Ramona","first_name":"Ramona","last_name":"Schlenker"},{"first_name":"Petra C","full_name":"Schwalie, Petra C","last_name":"Schwalie"},{"full_name":"Schwan, Severin","first_name":"Severin","last_name":"Schwan"},{"first_name":"Tobias","full_name":"Schär, Tobias","last_name":"Schär"},{"full_name":"Senti, Gabriela","first_name":"Gabriela","last_name":"Senti"},{"first_name":"Franziska","full_name":"Singer, Franziska","last_name":"Singer"},{"last_name":"Sivapatham","full_name":"Sivapatham, Sujana","first_name":"Sujana"},{"first_name":"Berend","full_name":"Snijder, Berend","last_name":"Snijder"},{"first_name":"Bettina","full_name":"Sobottka, Bettina","last_name":"Sobottka"},{"last_name":"Sreedharan","full_name":"Sreedharan, Vipin T","first_name":"Vipin T"},{"full_name":"Stark, Stefan","first_name":"Stefan","last_name":"Stark"},{"first_name":"Daniel J","full_name":"Stekhoven, Daniel J","last_name":"Stekhoven"},{"last_name":"Theocharides","full_name":"Theocharides, Alexandre PA","first_name":"Alexandre PA"},{"last_name":"Thomas","full_name":"Thomas, Tinu M","first_name":"Tinu M"},{"full_name":"Tolnay, Markus","first_name":"Markus","last_name":"Tolnay"},{"last_name":"Tosevski","first_name":"Vinko","full_name":"Tosevski, Vinko"},{"last_name":"Toussaint","first_name":"Nora C","full_name":"Toussaint, Nora C"},{"full_name":"Tuncel, Mustafa A","first_name":"Mustafa A","last_name":"Tuncel"},{"full_name":"Tusup, Marina","first_name":"Marina","last_name":"Tusup"},{"last_name":"Drogen","full_name":"Drogen, Audrey Van","first_name":"Audrey Van"},{"first_name":"Marcus","full_name":"Vetter, Marcus","last_name":"Vetter"},{"first_name":"Tatjana","full_name":"Vlajnic, Tatjana","last_name":"Vlajnic"},{"last_name":"Weber","full_name":"Weber, Sandra","first_name":"Sandra"},{"last_name":"Weber","first_name":"Walter P","full_name":"Weber, Walter P"},{"first_name":"Rebekka","full_name":"Wegmann, Rebekka","last_name":"Wegmann"},{"full_name":"Weller, Michael","first_name":"Michael","last_name":"Weller"},{"full_name":"Wendt, Fabian","first_name":"Fabian","last_name":"Wendt"},{"last_name":"Wey","first_name":"Norbert","full_name":"Wey, Norbert"},{"full_name":"Wicki, Andreas","first_name":"Andreas","last_name":"Wicki"},{"full_name":"Wollscheid, Bernd","first_name":"Bernd","last_name":"Wollscheid"},{"first_name":"Shuqing","full_name":"Yu, Shuqing","last_name":"Yu"},{"full_name":"Ziegler, Johanna","first_name":"Johanna","last_name":"Ziegler"},{"last_name":"Zimmermann","full_name":"Zimmermann, Marc","first_name":"Marc"},{"last_name":"Zoche","full_name":"Zoche, Martin","first_name":"Martin"},{"full_name":"Zuend, Gregor","first_name":"Gregor","last_name":"Zuend"},{"first_name":"Gunnar","full_name":"Rätsch, Gunnar","last_name":"Rätsch"},{"first_name":"Kjong-Van","full_name":"Lehmann, Kjong-Van","last_name":"Lehmann"}],"publication":"Bioinformatics","language":[{"iso":"eng"}],"scopus_import":"1","intvolume":"        36","title":"SCIM: Universal single-cell matching with unpaired feature sets","oa":1,"date_updated":"2023-09-11T10:21:00Z","article_processing_charge":"No","issue":"Supplement_2"},{"_id":"11657","article_type":"original","doi":"10.1145/3274662","date_created":"2022-07-27T08:28:26Z","citation":{"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>","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.","short":"M.H. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.","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>.","ista":"Henzinger MH, Noe A, Schulz C, Strash D. 2018. Practical minimum cut algorithms. ACM Journal of Experimental Algorithmics. 23, 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>.","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>"},"keyword":["Theoretical Computer Science"],"year":"2018","page":"1-22","extern":"1","quality_controlled":"1","volume":23,"publisher":"Association for Computing Machinery","date_published":"2018-10-01T00:00:00Z","publication_status":"published","external_id":{"arxiv":["1708.06127"]},"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."}],"language":[{"iso":"eng"}],"publication":"ACM Journal of Experimental Algorithmics","title":"Practical minimum cut algorithms","oa":1,"date_updated":"2022-09-09T11:32:52Z","article_processing_charge":"No","scopus_import":"1","intvolume":"        23","status":"public","type":"journal_article","author":[{"first_name":"Monika H","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","orcid":"0000-0002-5008-6530"},{"last_name":"Noe","full_name":"Noe, Alexander","first_name":"Alexander"},{"last_name":"Schulz","full_name":"Schulz, Christian","first_name":"Christian"},{"last_name":"Strash","full_name":"Strash, Darren","first_name":"Darren"}],"arxiv":1,"day":"01","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1708.06127"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["1084-6654"],"eissn":["1084-6654"]},"month":"10"},{"author":[{"full_name":"Dütting, Paul","first_name":"Paul","last_name":"Dütting"},{"full_name":"Henzinger, Monika H","first_name":"Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530"},{"full_name":"Weber, Ingmar","first_name":"Ingmar","last_name":"Weber"}],"month":"12","publication_identifier":{"issn":["2167-8375"],"eissn":["2167-8383"]},"day":"02","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","status":"public","date_updated":"2023-02-09T10:08:41Z","issue":"1","article_processing_charge":"No","title":"An expressive mechanism for auctions on the web","scopus_import":"1","intvolume":"         4","language":[{"iso":"eng"}],"publication":"ACM Transactions on Economics and Computation","publication_status":"published","abstract":[{"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.","lang":"eng"}],"publisher":"Association for Computing Machinery","date_published":"2015-12-02T00:00:00Z","extern":"1","quality_controlled":"1","volume":4,"acknowledgement":"We would like to thank Veronika Loitzenbauer and the anonymous referees for their valuable feedback.","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.","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>.","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>.","short":"P. Dütting, M.H. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (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>","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.","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_created":"2022-07-27T12:43:18Z","keyword":["Computational Mathematics","Marketing","Economics and Econometrics","Statistics and Probability","Computer Science (miscellaneous)"],"article_number":"1","article_type":"original","_id":"11670","doi":"10.1145/2716312"},{"language":[{"iso":"eng"}],"publication":"Bioinformatics","title":"Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data","date_updated":"2021-01-12T08:19:25Z","issue":"15","article_processing_charge":"No","intvolume":"        30","status":"public","type":"journal_article","author":[{"last_name":"Morin","first_name":"Sébastien","full_name":"Morin, Sébastien"},{"first_name":"Troels E","full_name":"Linnet, Troels E","last_name":"Linnet"},{"last_name":"Lescanne","first_name":"Mathilde","full_name":"Lescanne, Mathilde"},{"orcid":"0000-0002-9350-7606","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","last_name":"Schanda","first_name":"Paul","full_name":"Schanda, Paul"},{"full_name":"Thompson, Gary S","first_name":"Gary S","last_name":"Thompson"},{"last_name":"Tollinger","first_name":"Martin","full_name":"Tollinger, Martin"},{"last_name":"Teilum","first_name":"Kaare","full_name":"Teilum, Kaare"},{"last_name":"Gagné","first_name":"Stéphane","full_name":"Gagné, Stéphane"},{"last_name":"Marion","first_name":"Dominique","full_name":"Marion, Dominique"},{"last_name":"Griesinger","first_name":"Christian","full_name":"Griesinger, Christian"},{"last_name":"Blackledge","full_name":"Blackledge, Martin","first_name":"Martin"},{"first_name":"Edward J","full_name":"d’Auvergne, Edward J","last_name":"d’Auvergne"}],"day":"01","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["1367-4803","1460-2059"]},"month":"08","_id":"8459","article_type":"original","doi":"10.1093/bioinformatics/btu166","citation":{"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>","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.","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.","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>","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.","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>.","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>."},"date_created":"2020-09-18T10:08:07Z","keyword":["Statistics and Probability","Computational Theory and Mathematics","Biochemistry","Molecular Biology","Computational Mathematics","Computer Science Applications"],"year":"2014","related_material":{"link":[{"url":"https://doi.org/10.1093/bioinformatics/btz397","relation":"erratum"}]},"extern":"1","page":"2219-2220","quality_controlled":"1","volume":30,"publisher":"Oxford University Press","date_published":"2014-08-01T00:00:00Z","publication_status":"published","abstract":[{"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.","lang":"eng"}]},{"publisher":"Elsevier","type":"journal_article","status":"public","date_published":"2010-05-12T00:00:00Z","extern":"1","page":"70-91","volume":34,"quality_controlled":"1","publication_status":"published","author":[{"first_name":"V.M.","full_name":"Canuto, V.M.","last_name":"Canuto"},{"last_name":"Howard","first_name":"A.M.","full_name":"Howard, A.M."},{"first_name":"Y.","full_name":"Cheng, Y.","last_name":"Cheng"},{"first_name":"Caroline J","full_name":"Muller, Caroline J","orcid":"0000-0001-5836-5350","last_name":"Muller","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"},{"last_name":"Leboissetier","full_name":"Leboissetier, A.","first_name":"A."},{"full_name":"Jayne, S.R.","first_name":"S.R.","last_name":"Jayne"}],"month":"05","publication_identifier":{"issn":["1463-5003"]},"oa_version":"None","day":"12","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","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."}],"_id":"9145","language":[{"iso":"eng"}],"article_type":"original","publication":"Ocean Modelling","doi":"10.1016/j.ocemod.2010.04.006","date_updated":"2022-01-24T13:51:35Z","year":"2010","issue":"3-4","article_processing_charge":"No","title":"Ocean turbulence, III: New GISS vertical mixing scheme","date_created":"2021-02-15T14:40:19Z","citation":{"short":"V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.","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>","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.","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>.","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.","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>"},"keyword":["Computer Science (miscellaneous)","Geotechnical Engineering and Engineering Geology","Atmospheric Science","Oceanography"],"intvolume":"        34"},{"title":"Geometry of Arnold diffusion","date_created":"2020-09-18T10:48:12Z","citation":{"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>","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>","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.","short":"V. Kaloshin, M. Levi, SIAM Review 50 (2008) 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>.","ista":"Kaloshin V, Levi M. 2008. Geometry of Arnold diffusion. SIAM Review. 50(4), 702–720.","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>."},"keyword":["Theoretical Computer Science","Applied Mathematics","Computational Mathematics"],"date_updated":"2021-01-12T08:19:46Z","year":"2008","article_processing_charge":"No","issue":"4","intvolume":"        50","_id":"8509","language":[{"iso":"eng"}],"article_type":"original","doi":"10.1137/070703235","publication":"SIAM Review","publication_status":"published","author":[{"orcid":"0000-0002-6051-2628","last_name":"Kaloshin","id":"FE553552-CDE8-11E9-B324-C0EBE5697425","first_name":"Vadim","full_name":"Kaloshin, Vadim"},{"last_name":"Levi","full_name":"Levi, Mark","first_name":"Mark"}],"oa_version":"None","day":"05","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","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} $."}],"publication_identifier":{"issn":["0036-1445","1095-7200"]},"month":"11","page":"702-720","extern":"1","quality_controlled":"1","volume":50,"publisher":"Society for Industrial & Applied Mathematics","type":"journal_article","date_published":"2008-11-05T00:00:00Z","status":"public"}]