[{"citation":{"chicago":"Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL). ACM, 2017. https://doi.org/10.1145/3060139.","ista":"Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.","mla":"Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.","apa":"Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/3060139","ama":"Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139","ieee":"P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2. ACM, 2017.","short":"P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017)."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"49351290-F248-11E8-B48F-1D18A9856A87","first_name":"Przemyslaw","full_name":"Daca, Przemyslaw","last_name":"Daca"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"first_name":"Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","last_name":"Kretinsky","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881"},{"id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","first_name":"Tatjana","full_name":"Petrov, Tatjana","orcid":"0000-0002-9041-0905","last_name":"Petrov"}],"publist_id":"7349","title":"Faster statistical model checking for unbounded temporal properties","article_number":"12","project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"},{"call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23"},{"grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"year":"2017","publication":"ACM Transactions on Computational Logic (TOCL)","day":"01","date_created":"2018-12-11T11:46:39Z","date_published":"2017-05-01T00:00:00Z","doi":"10.1145/3060139","oa":1,"publisher":"ACM","quality_controlled":"1","date_updated":"2023-02-21T16:48:11Z","department":[{"_id":"ToHe"}],"_id":"471","type":"journal_article","status":"public","publication_status":"published","publication_identifier":{"issn":["15293785"]},"language":[{"iso":"eng"}],"ec_funded":1,"volume":18,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"1234"}]},"issue":"2","abstract":[{"text":"We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear temporal logic. The main idea is that we monitor each simulation run on the fly, in order to detect quickly if a bottom strongly connected component is entered with high probability, in which case the simulation run can be terminated early. As a result, our simulation runs are often much shorter than required by termination bounds that are computed a priori for a desired level of confidence on a large state space. In comparison to previous algorithms for statistical model checking our method is not only faster in many cases but also requires less information about the system, namely, only the minimum transition probability that occurs in the Markov chain. In addition, our method can be generalised to unbounded quantitative properties such as mean-payoff bounds. ","lang":"eng"}],"oa_version":"Submitted Version","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1504.05739"}],"scopus_import":1,"intvolume":" 18","month":"05"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.","chicago":"Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2017. https://doi.org/10.1142/S0218195916600050.","apa":"Biedl, T., Huber, S., & Palfrader, P. (2017). Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195916600050","ama":"Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229. doi:10.1142/S0218195916600050","ieee":"T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.","short":"T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.","mla":"Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050."},"title":"Planar matchings for weighted straight skeletons","publist_id":"7338","author":[{"first_name":"Therese","full_name":"Biedl, Therese","last_name":"Biedl"},{"last_name":"Huber","orcid":"0000-0002-8871-5814","full_name":"Huber, Stefan","first_name":"Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Peter","full_name":"Palfrader, Peter","last_name":"Palfrader"}],"acknowledgement":"Supported by NSERC and the Ross and Muriel Cheriton Fellowship. Research supported by Austrian Science Fund (FWF): P25816-N15.","oa":1,"publisher":"World Scientific Publishing","quality_controlled":"1","publication":"International Journal of Computational Geometry and Applications","day":"13","year":"2017","has_accepted_license":"1","date_created":"2018-12-11T11:46:43Z","doi":"10.1142/S0218195916600050","date_published":"2017-04-13T00:00:00Z","page":"211 - 229","_id":"481","pubrep_id":"949","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","ddc":["004","514","516"],"date_updated":"2023-02-21T16:06:22Z","file_date_updated":"2020-07-14T12:46:35Z","department":[{"_id":"HeEd"}],"oa_version":"Published Version","abstract":[{"text":"We introduce planar matchings on directed pseudo-line arrangements, which yield a planar set of pseudo-line segments such that only matching-partners are adjacent. By translating the planar matching problem into a corresponding stable roommates problem we show that such matchings always exist. Using our new framework, we establish, for the first time, a complete, rigorous definition of weighted straight skeletons, which are based on a so-called wavefront propagation process. We present a generalized and unified approach to treat structural changes in the wavefront that focuses on the restoration of weak planarity by finding planar matchings.","lang":"eng"}],"intvolume":" 26","month":"04","scopus_import":1,"language":[{"iso":"eng"}],"file":[{"file_size":769296,"date_updated":"2020-07-14T12:46:35Z","creator":"system","file_name":"IST-2018-949-v1+1_2016_huber_PLanar_matchings.pdf","date_created":"2018-12-12T10:09:34Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_id":"4758","checksum":"f79e8558bfe4b368dfefeb8eec2e3a5e"}],"publication_status":"published","license":"https://creativecommons.org/licenses/by/4.0/","volume":26,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"10892"}]},"issue":"3-4"},{"author":[{"last_name":"Nam","full_name":"Nam, Phan","first_name":"Phan","id":"404092F4-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Marcin M","id":"4197AD04-F248-11E8-B48F-1D18A9856A87","full_name":"Napiórkowski, Marcin M","last_name":"Napiórkowski"}],"publist_id":"7336","title":"Bogoliubov correction to the mean-field dynamics of interacting bosons","citation":{"ieee":"P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics of interacting bosons,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 683–738, 2017.","short":"P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.","ama":"Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 2017;21(3):683-738. doi:10.4310/ATMP.2017.v21.n3.a4","apa":"Nam, P., & Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a4","mla":"Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.","ista":"Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.","chicago":"Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics. International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a4."},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","project":[{"call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"},{"name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","grant_number":"P27533_N27","_id":"25C878CE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"page":"683 - 738","doi":"10.4310/ATMP.2017.v21.n3.a4","date_published":"2017-01-01T00:00:00Z","date_created":"2018-12-11T11:46:43Z","year":"2017","day":"01","publication":"Advances in Theoretical and Mathematical Physics","publisher":"International Press","quality_controlled":"1","oa":1,"department":[{"_id":"RoSe"}],"date_updated":"2021-01-12T08:00:58Z","type":"journal_article","status":"public","_id":"484","volume":21,"issue":"3","ec_funded":1,"publication_identifier":{"issn":["10950761"]},"publication_status":"published","language":[{"iso":"eng"}],"scopus_import":1,"main_file_link":[{"url":"https://arxiv.org/abs/1509.04631","open_access":"1"}],"month":"01","intvolume":" 21","abstract":[{"text":"We consider the dynamics of a large quantum system of N identical bosons in 3D interacting via a two-body potential of the form N3β-1w(Nβ(x - y)). For fixed 0 = β < 1/3 and large N, we obtain a norm approximation to the many-body evolution in the Nparticle Hilbert space. The leading order behaviour of the dynamics is determined by Hartree theory while the second order is given by Bogoliubov theory.","lang":"eng"}],"oa_version":"Submitted Version"},{"page":"739 - 800","doi":"10.4310/ATMP.2017.v21.n3.a5","date_published":"2017-08-25T00:00:00Z","date_created":"2018-12-11T11:46:43Z","year":"2017","day":"25","publication":"Advances in Theoretical and Mathematical Physics","quality_controlled":"1","publisher":"International Press","oa":1,"author":[{"first_name":"Paul","last_name":"Bourgade","full_name":"Bourgade, Paul"},{"full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Horng","last_name":"Yau","full_name":"Yau, Horng"},{"first_name":"Jun","last_name":"Yin","full_name":"Yin, Jun"}],"publist_id":"7337","title":"Universality for a class of random band matrices","citation":{"apa":"Bourgade, P., Erdös, L., Yau, H., & Yin, J. (2017). Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a5","ama":"Bourgade P, Erdös L, Yau H, Yin J. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 2017;21(3):739-800. doi:10.4310/ATMP.2017.v21.n3.a5","ieee":"P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random band matrices,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 739–800, 2017.","short":"P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.","mla":"Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.","ista":"Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.","chicago":"Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics. International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a5."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"volume":21,"issue":"3","ec_funded":1,"publication_identifier":{"issn":["10950761"]},"publication_status":"published","language":[{"iso":"eng"}],"scopus_import":1,"main_file_link":[{"url":"https://arxiv.org/abs/1602.02312","open_access":"1"}],"month":"08","intvolume":" 21","abstract":[{"text":"We prove the universality for the eigenvalue gap statistics in the bulk of the spectrum for band matrices, in the regime where the band width is comparable with the dimension of the matrix, W ~ N. All previous results concerning universality of non-Gaussian random matrices are for mean-field models. By relying on a new mean-field reduction technique, we deduce universality from quantum unique ergodicity for band matrices.","lang":"eng"}],"oa_version":"Submitted Version","department":[{"_id":"LaEr"}],"date_updated":"2021-01-12T08:00:57Z","type":"journal_article","status":"public","_id":"483"},{"volume":8,"publication_identifier":{"issn":["20411723"]},"publication_status":"published","file":[{"access_level":"open_access","relation":"main_file","content_type":"application/pdf","checksum":"76d8a2b72a58e56adb410ec37dfa7eee","file_id":"5083","creator":"system","date_updated":"2020-07-14T12:46:36Z","file_size":2948357,"date_created":"2018-12-12T10:14:31Z","file_name":"IST-2018-937-v1+1_2017_Stella_Activity_dependent.pdf"}],"language":[{"iso":"eng"}],"scopus_import":1,"month":"07","intvolume":" 8","abstract":[{"text":"Orientation in space is represented in specialized brain circuits. Persistent head direction signals are transmitted from anterior thalamus to the presubiculum, but the identity of the presubicular target neurons, their connectivity and function in local microcircuits are unknown. Here, we examine how thalamic afferents recruit presubicular principal neurons and Martinotti interneurons, and the ensuing synaptic interactions between these cells. Pyramidal neuron activation of Martinotti cells in superficial layers is strongly facilitating such that high-frequency head directional stimulation efficiently unmutes synaptic excitation. Martinotti-cell feedback plays a dual role: precisely timed spikes may not inhibit the firing of in-tune head direction cells, while exerting lateral inhibition. Autonomous attractor dynamics emerge from a modelled network implementing wiring motifs and timing sensitive synaptic interactions in the pyramidal - Martinotti-cell feedback loop. This inhibitory microcircuit is therefore tuned to refine and maintain head direction information in the presubiculum.","lang":"eng"}],"oa_version":"Published Version","department":[{"_id":"JoCs"}],"file_date_updated":"2020-07-14T12:46:36Z","date_updated":"2021-01-12T08:01:16Z","ddc":["571"],"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","pubrep_id":"937","_id":"514","doi":"10.1038/ncomms16032","date_published":"2017-07-01T00:00:00Z","date_created":"2018-12-11T11:46:54Z","has_accepted_license":"1","year":"2017","day":"01","publication":"Nature Communications","publisher":"Nature Publishing Group","quality_controlled":"1","oa":1,"author":[{"first_name":"Jean","full_name":"Simonnet, Jean","last_name":"Simonnet"},{"full_name":"Nassar, Mérie","last_name":"Nassar","first_name":"Mérie"},{"id":"39AF1E74-F248-11E8-B48F-1D18A9856A87","first_name":"Federico","orcid":"0000-0001-9439-3148","full_name":"Stella, Federico","last_name":"Stella"},{"last_name":"Cohen","full_name":"Cohen, Ivan","first_name":"Ivan"},{"full_name":"Mathon, Bertrand","last_name":"Mathon","first_name":"Bertrand"},{"orcid":"0000-0001-7237-5109","full_name":"Boccara, Charlotte","last_name":"Boccara","first_name":"Charlotte","id":"3FC06552-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Richard","last_name":"Miles","full_name":"Miles, Richard"},{"first_name":"Desdemona","full_name":"Fricker, Desdemona","last_name":"Fricker"}],"publist_id":"7305","title":"Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum","citation":{"ista":"Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker D. 2017. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 8, 16032.","chicago":"Simonnet, Jean, Mérie Nassar, Federico Stella, Ivan Cohen, Bertrand Mathon, Charlotte N. Boccara, Richard Miles, and Desdemona Fricker. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms16032.","ama":"Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 2017;8. doi:10.1038/ncomms16032","apa":"Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N., … Fricker, D. (2017). Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms16032","short":"J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).","ieee":"J. Simonnet et al., “Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum,” Nature Communications, vol. 8. Nature Publishing Group, 2017.","mla":"Simonnet, Jean, et al. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.” Nature Communications, vol. 8, 16032, Nature Publishing Group, 2017, doi:10.1038/ncomms16032."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"16032"},{"scopus_import":1,"month":"10","intvolume":" 24","abstract":[{"lang":"eng","text":"The oxidative phosphorylation electron transport chain (OXPHOS-ETC) of the inner mitochondrial membrane is composed of five large protein complexes, named CI-CV. These complexes convert energy from the food we eat into ATP, a small molecule used to power a multitude of essential reactions throughout the cell. OXPHOS-ETC complexes are organized into supercomplexes (SCs) of defined stoichiometry: CI forms a supercomplex with CIII2 and CIV (SC I+III2+IV, known as the respirasome), as well as with CIII2 alone (SC I+III2). CIII2 forms a supercomplex with CIV (SC III2+IV) and CV forms dimers (CV2). Recent cryo-EM studies have revealed the structures of SC I+III2+IV and SC I+III2. Furthermore, recent work has shed light on the assembly and function of the SCs. Here we review and compare these recent studies and discuss how they have advanced our understanding of mitochondrial electron transport."}],"oa_version":"Submitted Version","issue":"10","volume":24,"ec_funded":1,"publication_identifier":{"issn":["15459993"]},"publication_status":"published","file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_id":"6993","checksum":"9bc7e8c41b43636dd7566289e511f096","date_updated":"2020-07-14T12:46:36Z","file_size":4118385,"creator":"lsazanov","date_created":"2019-11-07T12:51:07Z","file_name":"29893_2_merged_1501257589_red.pdf"}],"language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","status":"public","_id":"515","department":[{"_id":"LeSa"}],"file_date_updated":"2020-07-14T12:46:36Z","date_updated":"2021-01-12T08:01:17Z","ddc":["572"],"publisher":"Nature Publishing Group","quality_controlled":"1","oa":1,"page":"800 - 808","date_published":"2017-10-05T00:00:00Z","doi":"10.1038/nsmb.3460","date_created":"2018-12-11T11:46:54Z","has_accepted_license":"1","year":"2017","day":"05","publication":"Nature Structural and Molecular Biology","project":[{"_id":"2590DB08-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (H2020)","grant_number":"701309"}],"publist_id":"7304","author":[{"first_name":"James A","id":"322DA418-F248-11E8-B48F-1D18A9856A87","last_name":"Letts","full_name":"Letts, James A","orcid":"0000-0002-9864-3586"},{"first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989","last_name":"Sazanov"}],"title":"Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain","citation":{"mla":"Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature Structural and Molecular Biology, vol. 24, no. 10, Nature Publishing Group, 2017, pp. 800–08, doi:10.1038/nsmb.3460.","ama":"Letts JA, Sazanov LA. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 2017;24(10):800-808. doi:10.1038/nsmb.3460","apa":"Letts, J. A., & Sazanov, L. A. (2017). Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.3460","short":"J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808.","ieee":"J. A. Letts and L. A. Sazanov, “Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain,” Nature Structural and Molecular Biology, vol. 24, no. 10. Nature Publishing Group, pp. 800–808, 2017.","chicago":"Letts, James A, and Leonid A Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature Structural and Molecular Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/nsmb.3460.","ista":"Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 24(10), 800–808."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"abstract":[{"text":"We present an experimental setup that creates a shear flow with zero mean advection velocity achieved by counterbalancing the nonzero streamwise pressure gradient by moving boundaries, which generates plane Couette-Poiseuille flow. We obtain experimental results in the transitional regime for this flow. Using flow visualization, we characterize the subcritical transition to turbulence in Couette-Poiseuille flow and show the existence of turbulent spots generated by a permanent perturbation. Due to the zero mean advection velocity of the base profile, these turbulent structures are nearly stationary. We distinguish two regions of the turbulent spot: the active turbulent core, which is characterized by waviness of the streaks similar to traveling waves, and the surrounding region, which includes in addition the weak undisturbed streaks and oblique waves at the laminar-turbulent interface. We also study the dependence of the size of these two regions on Reynolds number. Finally, we show that the traveling waves move in the downstream (Poiseuille) direction.","lang":"eng"}],"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1704.02619"}],"oa":1,"scopus_import":1,"quality_controlled":"1","publisher":"American Physical Society","intvolume":" 2","month":"04","publication_status":"published","year":"2017","publication":"Physical Review Fluids","language":[{"iso":"eng"}],"day":"01","date_created":"2018-12-11T11:46:54Z","volume":2,"issue":"4","date_published":"2017-04-01T00:00:00Z","doi":"10.1103/PhysRevFluids.2.043904","_id":"513","article_number":"043904","type":"journal_article","status":"public","citation":{"mla":"Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.","short":"L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).","ieee":"L. Klotz, G. M. Lemoult, I. Frontczak, L. Tuckerman, and J. Wesfreid, “Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence,” Physical Review Fluids, vol. 2, no. 4. American Physical Society, 2017.","apa":"Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., & Wesfreid, J. (2017). Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.2.043904","ama":"Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2017;2(4). doi:10.1103/PhysRevFluids.2.043904","chicago":"Klotz, Lukasz, Grégoire M Lemoult, Idalia Frontczak, Laurette Tuckerman, and José Wesfreid. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids. American Physical Society, 2017. https://doi.org/10.1103/PhysRevFluids.2.043904.","ista":"Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2(4), 043904."},"date_updated":"2021-01-12T08:01:16Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7306","author":[{"id":"2C9AF1C2-F248-11E8-B48F-1D18A9856A87","first_name":"Lukasz","last_name":"Klotz","full_name":"Klotz, Lukasz","orcid":"0000-0003-1740-7635"},{"id":"4787FE80-F248-11E8-B48F-1D18A9856A87","first_name":"Grégoire M","full_name":"Lemoult, Grégoire M","last_name":"Lemoult"},{"first_name":"Idalia","last_name":"Frontczak","full_name":"Frontczak, Idalia"},{"first_name":"Laurette","full_name":"Tuckerman, Laurette","last_name":"Tuckerman"},{"full_name":"Wesfreid, José","last_name":"Wesfreid","first_name":"José"}],"department":[{"_id":"BjHo"}],"title":"Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence"},{"publication":"Topology and its Applications","language":[{"iso":"eng"}],"day":"01","year":"2017","publication_status":"published","publication_identifier":{"issn":["01668641"]},"date_created":"2018-12-11T11:46:56Z","date_published":"2017-01-01T00:00:00Z","doi":"10.1016/j.topol.2016.10.005","volume":215,"page":"45 - 57","oa_version":"Submitted Version","abstract":[{"text":"Let X and Y be proper metric spaces. We show that a coarsely n-to-1 map f:X→Y induces an n-to-1 map of Higson coronas. This viewpoint turns out to be successful in showing that the classical dimension raising theorems hold in large scale; that is, if f:X→Y is a coarsely n-to-1 map between proper metric spaces X and Y then asdim(Y)≤asdim(X)+n−1. Furthermore we introduce coarsely open coarsely n-to-1 maps, which include the natural quotient maps via a finite group action, and prove that they preserve the asymptotic dimension.","lang":"eng"}],"intvolume":" 215","month":"01","oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1608.03954v1"}],"quality_controlled":"1","publisher":"Elsevier","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:01:21Z","citation":{"ista":"Austin K, Virk Z. 2017. Higson compactification and dimension raising. Topology and its Applications. 215, 45–57.","chicago":"Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” Topology and Its Applications. Elsevier, 2017. https://doi.org/10.1016/j.topol.2016.10.005.","short":"K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.","ieee":"K. Austin and Z. Virk, “Higson compactification and dimension raising,” Topology and its Applications, vol. 215. Elsevier, pp. 45–57, 2017.","apa":"Austin, K., & Virk, Z. (2017). Higson compactification and dimension raising. Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2016.10.005","ama":"Austin K, Virk Z. Higson compactification and dimension raising. Topology and its Applications. 2017;215:45-57. doi:10.1016/j.topol.2016.10.005","mla":"Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” Topology and Its Applications, vol. 215, Elsevier, 2017, pp. 45–57, doi:10.1016/j.topol.2016.10.005."},"title":"Higson compactification and dimension raising","department":[{"_id":"HeEd"}],"author":[{"last_name":"Austin","full_name":"Austin, Kyle","first_name":"Kyle"},{"full_name":"Virk, Ziga","last_name":"Virk","first_name":"Ziga","id":"2E36B656-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"7299","_id":"521","status":"public","type":"journal_article"},{"date_updated":"2021-01-12T08:01:23Z","citation":{"mla":"von Wangenheim, Daniel, et al. “Plant Biology: Building Barriers… in Roots.” Current Biology, vol. 27, no. 5, Cell Press, 2017, pp. R172–74, doi:10.1016/j.cub.2017.01.060.","short":"D. von Wangenheim, T. Goh, D. Dietrich, M. Bennett, Current Biology 27 (2017) R172–R174.","ieee":"D. von Wangenheim, T. Goh, D. Dietrich, and M. Bennett, “Plant biology: Building barriers… in roots,” Current Biology, vol. 27, no. 5. Cell Press, pp. R172–R174, 2017.","apa":"von Wangenheim, D., Goh, T., Dietrich, D., & Bennett, M. (2017). Plant biology: Building barriers… in roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.01.060","ama":"von Wangenheim D, Goh T, Dietrich D, Bennett M. Plant biology: Building barriers… in roots. Current Biology. 2017;27(5):R172-R174. doi:10.1016/j.cub.2017.01.060","chicago":"Wangenheim, Daniel von, Tatsuaki Goh, Daniela Dietrich, and Malcolm Bennett. “Plant Biology: Building Barriers… in Roots.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.01.060.","ista":"von Wangenheim D, Goh T, Dietrich D, Bennett M. 2017. Plant biology: Building barriers… in roots. Current Biology. 27(5), R172–R174."},"extern":1,"publist_id":"7294","author":[{"full_name":"Daniel von Wangenheim","orcid":"0000-0002-6862-1247","last_name":"Von Wangenheim","id":"49E91952-F248-11E8-B48F-1D18A9856A87","first_name":"Daniel"},{"full_name":"Goh, Tatsuaki","last_name":"Goh","first_name":"Tatsuaki"},{"last_name":"Dietrich","full_name":"Dietrich, Daniela","first_name":"Daniela"},{"last_name":"Bennett","full_name":"Bennett, Malcolm J","first_name":"Malcolm"}],"title":"Plant biology: Building barriers… in roots","file_date_updated":"2020-07-14T12:46:38Z","_id":"525","type":"journal_article","status":"public","pubrep_id":"983","publication_status":"published","year":"2017","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"5330","checksum":"81fd4475c5a2a2c6f4313beeab215ed9","creator":"system","file_size":2840413,"date_updated":"2020-07-14T12:46:38Z","file_name":"IST-2018-983-v1+1_Plant_biology_Building_barriers__in_roots.pdf","date_created":"2018-12-12T10:18:11Z"}],"day":"06","publication":"Current Biology","page":"R172 - R174","doi":"10.1016/j.cub.2017.01.060","issue":"5","date_published":"2017-03-06T00:00:00Z","volume":27,"date_created":"2018-12-11T11:46:58Z","abstract":[{"text":"The Casparian strip is an important barrier regulating water and nutrient uptake into root tissues. New research reveals two peptide signals and their co-receptors play critical roles patterning and maintaining barrier integrity. ","lang":"eng"}],"acknowledgement":"Biotechnology and Biological Sciences Research Council:\tBBSRC BB/M001806/1 and BB/H020314/1\t","quality_controlled":0,"publisher":"Cell Press","main_file_link":[{"open_access":"1","url":"https://repository.ist.ac.at/id/eprint/983"}],"oa":1,"month":"03","intvolume":" 27"},{"page":"871 - 888","date_created":"2018-12-11T11:47:01Z","doi":"10.1007/s00454-017-9900-0","date_published":"2017-06-09T00:00:00Z","year":"2017","publication":"Discrete & Computational Geometry","day":"09","oa":1,"quality_controlled":"1","publisher":"Springer","external_id":{"arxiv":["1602.07907"]},"article_processing_charge":"No","author":[{"full_name":"Burton, Benjamin","last_name":"Burton","first_name":"Benjamin"},{"first_name":"Arnaud N","id":"3DB2F25C-F248-11E8-B48F-1D18A9856A87","last_name":"De Mesmay","full_name":"De Mesmay, Arnaud N"},{"first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","full_name":"Wagner, Uli","orcid":"0000-0002-1494-0568"}],"publist_id":"7283","title":"Finding non-orientable surfaces in 3-Manifolds","citation":{"mla":"Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.","apa":"Burton, B., de Mesmay, A. N., & Wagner, U. (2017). Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-017-9900-0","ama":"Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 2017;58(4):871-888. doi:10.1007/s00454-017-9900-0","ieee":"B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-Manifolds,” Discrete & Computational Geometry, vol. 58, no. 4. Springer, pp. 871–888, 2017.","short":"B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.","chicago":"Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry. Springer, 2017. https://doi.org/10.1007/s00454-017-9900-0.","ista":"Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 58(4), 871–888."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"relation":"earlier_version","id":"1379","status":"public"}]},"issue":"4","volume":58,"publication_status":"published","publication_identifier":{"issn":["01795376"]},"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/1602.07907","open_access":"1"}],"scopus_import":1,"intvolume":" 58","month":"06","abstract":[{"lang":"eng","text":"We investigate the complexity of finding an embedded non-orientable surface of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case."}],"oa_version":"Preprint","department":[{"_id":"UlWa"}],"date_updated":"2023-02-21T17:01:34Z","type":"journal_article","article_type":"original","status":"public","_id":"534"}]