[{"_id":"7010","scopus_import":"1","external_id":{"isi":["000535353000023"]},"type":"conference","author":[{"full_name":"Davies, Heather S.","first_name":"Heather S.","last_name":"Davies"},{"orcid":"0000-0002-3086-9124","full_name":"Baranova, Natalia S.","first_name":"Natalia S.","id":"38661662-F248-11E8-B48F-1D18A9856A87","last_name":"Baranova"},{"first_name":"Nouha","full_name":"El Amri, Nouha","last_name":"El Amri"},{"first_name":"Liliane","full_name":"Coche-Guérente, Liliane","last_name":"Coche-Guérente"},{"last_name":"Verdier","full_name":"Verdier, Claude","first_name":"Claude"},{"first_name":"Lionel","full_name":"Bureau, Lionel","last_name":"Bureau"},{"last_name":"Richter","full_name":"Richter, Ralf P.","first_name":"Ralf P."},{"last_name":"Débarre","full_name":"Débarre, Delphine","first_name":"Delphine"}],"oa":1,"citation":{"ieee":"H. S. Davies <i>et al.</i>, “Blood cell-vessel wall interactions probed by reflection interference contrast microscopy,” in <i>Advances in Microscopic Imaging II</i>, Munich, Germany, 2019, vol. 11076.","short":"H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, in:, Advances in Microscopic Imaging II, SPIE, 2019.","ama":"Davies HS, Baranova NS, El Amri N, et al. Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. In: <i>Advances in Microscopic Imaging II</i>. Vol 11076. SPIE; 2019. doi:<a href=\"https://doi.org/10.1117/12.2527058\">10.1117/12.2527058</a>","chicago":"Davies, Heather S., Natalia S. Baranova, Nouha El Amri, Liliane Coche-Guérente, Claude Verdier, Lionel Bureau, Ralf P. Richter, and Delphine Débarre. “Blood Cell-Vessel Wall Interactions Probed by Reflection Interference Contrast Microscopy.” In <i>Advances in Microscopic Imaging II</i>, Vol. 11076. SPIE, 2019. <a href=\"https://doi.org/10.1117/12.2527058\">https://doi.org/10.1117/12.2527058</a>.","ista":"Davies HS, Baranova NS, El Amri N, Coche-Guérente L, Verdier C, Bureau L, Richter RP, Débarre D. 2019. Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. Advances in Microscopic Imaging II. European Conferences on Biomedical Optics vol. 11076, 110760V.","apa":"Davies, H. S., Baranova, N. S., El Amri, N., Coche-Guérente, L., Verdier, C., Bureau, L., … Débarre, D. (2019). Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. In <i>Advances in Microscopic Imaging II</i> (Vol. 11076). Munich, Germany: SPIE. <a href=\"https://doi.org/10.1117/12.2527058\">https://doi.org/10.1117/12.2527058</a>","mla":"Davies, Heather S., et al. “Blood Cell-Vessel Wall Interactions Probed by Reflection Interference Contrast Microscopy.” <i>Advances in Microscopic Imaging II</i>, vol. 11076, 110760V, SPIE, 2019, doi:<a href=\"https://doi.org/10.1117/12.2527058\">10.1117/12.2527058</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"MaLo"}],"date_updated":"2023-08-29T06:54:38Z","oa_version":"Published Version","conference":{"start_date":"2019-06-26","location":"Munich, Germany","end_date":"2019-06-27","name":"European Conferences on Biomedical Optics"},"quality_controlled":"1","title":"Blood cell-vessel wall interactions probed by reflection interference contrast microscopy","date_published":"2019-07-22T00:00:00Z","date_created":"2019-11-12T15:10:18Z","article_processing_charge":"No","volume":11076,"publication":"Advances in Microscopic Imaging II","year":"2019","main_file_link":[{"open_access":"1","url":"https://hal.archives-ouvertes.fr/hal-02368135/file/110760V.pdf"}],"publication_identifier":{"isbn":["9781510628458"],"issn":["1605-7422"]},"status":"public","abstract":[{"text":"Numerous biophysical questions require the quantification of short-range interactions between (functionalized) surfaces and synthetic or biological objects such as cells. Here, we present an original, custom built setup for reflection interference contrast microscopy that can assess distances between a substrate and a flowing object at high speed with nanometric accuracy. We demonstrate its use to decipher the complex biochemical and mechanical interplay regulating blood cell homing at the vessel wall in the microcirculation using an in vitro approach. We show that in the absence of specific biochemical interactions, flowing cells are repelled from the soft layer lining the vessel wall, contributing to red blood cell repulsion in vivo. In contrast, this so-called glycocalyx stabilizes rolling of cells under flow in the presence of a specific receptor naturally present on activated leucocytes and a number of cancer cell lines.","lang":"eng"}],"doi":"10.1117/12.2527058","month":"07","isi":1,"day":"22","publication_status":"published","publisher":"SPIE","intvolume":"     11076","article_number":"110760V","language":[{"iso":"eng"}]},{"date_created":"2019-11-13T08:25:48Z","year":"2019","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1907.04043"}],"publication":"Physical Review B","article_processing_charge":"No","volume":100,"date_published":"2019-10-01T00:00:00Z","title":"Probing the many-body localization phase transition with superconducting circuits","quality_controlled":"1","type":"journal_article","date_updated":"2024-02-28T13:13:13Z","oa_version":"Preprint","department":[{"_id":"MaSe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ama":"Orell T, Michailidis A, Serbyn M, Silveri M. Probing the many-body localization phase transition with superconducting circuits. <i>Physical Review B</i>. 2019;100(13). doi:<a href=\"https://doi.org/10.1103/physrevb.100.134504\">10.1103/physrevb.100.134504</a>","short":"T. Orell, A. Michailidis, M. Serbyn, M. Silveri, Physical Review B 100 (2019).","chicago":"Orell, Tuure, Alexios Michailidis, Maksym Serbyn, and Matti Silveri. “Probing the Many-Body Localization Phase Transition with Superconducting Circuits.” <i>Physical Review B</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/physrevb.100.134504\">https://doi.org/10.1103/physrevb.100.134504</a>.","ieee":"T. Orell, A. Michailidis, M. Serbyn, and M. Silveri, “Probing the many-body localization phase transition with superconducting circuits,” <i>Physical Review B</i>, vol. 100, no. 13. American Physical Society, 2019.","ista":"Orell T, Michailidis A, Serbyn M, Silveri M. 2019. Probing the many-body localization phase transition with superconducting circuits. Physical Review B. 100(13), 134504.","apa":"Orell, T., Michailidis, A., Serbyn, M., &#38; Silveri, M. (2019). Probing the many-body localization phase transition with superconducting circuits. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.100.134504\">https://doi.org/10.1103/physrevb.100.134504</a>","mla":"Orell, Tuure, et al. “Probing the Many-Body Localization Phase Transition with Superconducting Circuits.” <i>Physical Review B</i>, vol. 100, no. 13, 134504, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/physrevb.100.134504\">10.1103/physrevb.100.134504</a>."},"oa":1,"author":[{"last_name":"Orell","first_name":"Tuure","full_name":"Orell, Tuure"},{"first_name":"Alexios","full_name":"Michailidis, Alexios","id":"36EBAD38-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8443-1064","last_name":"Michailidis"},{"full_name":"Serbyn, Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","orcid":"0000-0002-2399-5827","last_name":"Serbyn"},{"first_name":"Matti","full_name":"Silveri, Matti","last_name":"Silveri"}],"_id":"7013","external_id":{"isi":["000489036500004"],"arxiv":["1907.04043"]},"scopus_import":"1","article_number":"134504","intvolume":"       100","article_type":"original","arxiv":1,"language":[{"iso":"eng"}],"publisher":"American Physical Society","isi":1,"month":"10","publication_status":"published","day":"01","status":"public","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"issue":"13","doi":"10.1103/physrevb.100.134504","abstract":[{"lang":"eng","text":"Chains of superconducting circuit devices provide a natural platform for studies of synthetic bosonic quantum matter. Motivated by the recent experimental progress in realizing disordered and interacting chains of superconducting transmon devices, we study the bosonic many-body localization phase transition using the methods of exact diagonalization as well as matrix product state dynamics. We estimate the location of transition separating the ergodic and the many-body localized phases as a function of the disorder strength and the many-body on-site interaction strength. The main difference between the bosonic model realized by superconducting circuits and similar fermionic model is that the effect of the on-site interaction is stronger due to the possibility of multiple excitations occupying the same site. The phase transition is found to be robust upon including longer-range hopping and interaction terms present in the experiments. Furthermore, we calculate experimentally relevant local observables and show that their temporal fluctuations can be used to distinguish between the dynamics of Anderson insulator, many-body localization, and delocalized phases. While we consider unitary dynamics, neglecting the effects of dissipation, decoherence, and measurement back action, the timescales on which the dynamics is unitary are sufficient for observation of characteristic dynamics in the many-body localized phase. Moreover, the experimentally available disorder strength and interactions allow for tuning the many-body localization phase transition, thus making the arrays of superconducting circuit devices a promising platform for exploring localization physics and phase transition."}]},{"external_id":{"isi":["000564108400001"],"arxiv":["1705.00317"]},"scopus_import":"1","_id":"7014","department":[{"_id":"KrCh"}],"date_updated":"2025-06-02T08:53:47Z","oa_version":"Preprint","oa":1,"author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"Hongfei","full_name":"Fu, Hongfei","last_name":"Fu"},{"orcid":"0000-0003-1702-6584","full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar","last_name":"Goharshady"}],"citation":{"mla":"Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 41, no. 4, 20, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3339984\">10.1145/3339984</a>.","apa":"Chatterjee, K., Fu, H., &#38; Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. <i>ACM Transactions on Programming Languages and Systems</i>. ACM. <a href=\"https://doi.org/10.1145/3339984\">https://doi.org/10.1145/3339984</a>","ista":"Chatterjee K, Fu H, Goharshady AK. 2019. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 41(4), 20.","ieee":"K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 41, no. 4. ACM, 2019.","chicago":"Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” <i>ACM Transactions on Programming Languages and Systems</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3339984\">https://doi.org/10.1145/3339984</a>.","short":"K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).","ama":"Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive programs. <i>ACM Transactions on Programming Languages and Systems</i>. 2019;41(4). doi:<a href=\"https://doi.org/10.1145/3339984\">10.1145/3339984</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","date_published":"2019-10-01T00:00:00Z","title":"Non-polynomial worst-case analysis of recursive programs","project":[{"grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"}],"quality_controlled":"1","year":"2019","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1705.00317"}],"article_processing_charge":"No","volume":41,"publication":"ACM Transactions on Programming Languages and Systems","date_created":"2019-11-13T08:33:43Z","issue":"4","abstract":[{"text":"We study the problem of developing efficient approaches for proving\r\nworst-case bounds of non-deterministic recursive programs. Ranking functions\r\nare sound and complete for proving termination and worst-case bounds of\r\nnonrecursive programs. First, we apply ranking functions to recursion,\r\nresulting in measure functions. We show that measure functions provide a sound\r\nand complete approach to prove worst-case bounds of non-deterministic recursive\r\nprograms. Our second contribution is the synthesis of measure functions in\r\nnonpolynomial forms. We show that non-polynomial measure functions with\r\nlogarithm and exponentiation can be synthesized through abstraction of\r\nlogarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem\r\nusing linear programming. While previous methods obtain worst-case polynomial\r\nbounds, our approach can synthesize bounds of the form $\\mathcal{O}(n\\log n)$\r\nas well as $\\mathcal{O}(n^r)$ where $r$ is not an integer. We present\r\nexperimental results to demonstrate that our approach can obtain efficiently\r\nworst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the\r\ndivide-and-conquer algorithm for the Closest-Pair problem, where we obtain\r\n$\\mathcal{O}(n \\log n)$ worst-case bound, and (ii) Karatsuba's algorithm for\r\npolynomial multiplication and Strassen's algorithm for matrix multiplication,\r\nwhere we obtain $\\mathcal{O}(n^r)$ bound such that $r$ is not an integer and\r\nclose to the best-known bounds for the respective algorithms.","lang":"eng"}],"doi":"10.1145/3339984","status":"public","publication_status":"published","ec_funded":1,"day":"01","month":"10","related_material":{"record":[{"id":"639","relation":"earlier_version","status":"public"},{"status":"public","id":"8934","relation":"dissertation_contains"}]},"isi":1,"publisher":"ACM","language":[{"iso":"eng"}],"arxiv":1,"intvolume":"        41","article_number":"20","article_type":"original"},{"publisher":"American Physical Society","article_type":"original","article_number":"035127","intvolume":"       100","arxiv":1,"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"status":"public","abstract":[{"text":"We modify the \"floating crystal\" trial state for the classical homogeneous electron gas (also known as jellium), in order to suppress the boundary charge fluctuations that are known to lead to a macroscopic increase of the energy. The argument is to melt a thin layer of the crystal close to the boundary and consequently replace it by an incompressible fluid. With the aid of this trial state we show that three different definitions of the ground-state energy of jellium coincide. In the first point of view the electrons are placed in a neutralizing uniform background. In the second definition there is no background but the electrons are submitted to the constraint that their density is constant, as is appropriate in density functional theory. Finally, in the third system each electron interacts with a periodic image of itself; that is, periodic boundary conditions are imposed on the interaction potential.","lang":"eng"}],"doi":"10.1103/physrevb.100.035127","issue":"3","isi":1,"month":"07","day":"25","ec_funded":1,"publication_status":"published","quality_controlled":"1","project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","name":"Analysis of quantum many-body systems"}],"date_published":"2019-07-25T00:00:00Z","title":"Floating Wigner crystal with no boundary charge fluctuations","date_created":"2019-11-13T08:41:48Z","publication":"Physical Review B","article_processing_charge":"No","volume":100,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1905.09138"}],"year":"2019","_id":"7015","scopus_import":"1","external_id":{"isi":["000477888200001"],"arxiv":["1905.09138"]},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Floating Wigner Crystal with No Boundary Charge Fluctuations.” <i>Physical Review B</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/physrevb.100.035127\">https://doi.org/10.1103/physrevb.100.035127</a>.","ama":"Lewin M, Lieb EH, Seiringer R. Floating Wigner crystal with no boundary charge fluctuations. <i>Physical Review B</i>. 2019;100(3). doi:<a href=\"https://doi.org/10.1103/physrevb.100.035127\">10.1103/physrevb.100.035127</a>","short":"M. Lewin, E.H. Lieb, R. Seiringer, Physical Review B 100 (2019).","ieee":"M. Lewin, E. H. Lieb, and R. Seiringer, “Floating Wigner crystal with no boundary charge fluctuations,” <i>Physical Review B</i>, vol. 100, no. 3. American Physical Society, 2019.","mla":"Lewin, Mathieu, et al. “Floating Wigner Crystal with No Boundary Charge Fluctuations.” <i>Physical Review B</i>, vol. 100, no. 3, 035127, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/physrevb.100.035127\">10.1103/physrevb.100.035127</a>.","apa":"Lewin, M., Lieb, E. H., &#38; Seiringer, R. (2019). Floating Wigner crystal with no boundary charge fluctuations. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.100.035127\">https://doi.org/10.1103/physrevb.100.035127</a>","ista":"Lewin M, Lieb EH, Seiringer R. 2019. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 100(3), 035127."},"author":[{"last_name":"Lewin","full_name":"Lewin, Mathieu","first_name":"Mathieu"},{"full_name":"Lieb, Elliott H.","first_name":"Elliott H.","last_name":"Lieb"},{"last_name":"Seiringer","first_name":"Robert","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"}],"oa":1,"date_updated":"2024-02-28T13:13:23Z","oa_version":"Preprint","department":[{"_id":"RoSe"}]},{"publisher":"Institute of Science and Technology Austria","keyword":["Escherichia coli","gene amplification","galactose","DOG","experimental evolution","Illumina sequence data","FACS data","microfluidics data"],"title":"Data for the paper \"Gene amplification as a form of population-level gene expression regulation\"","date_published":"2019-11-13T00:00:00Z","ddc":["576"],"date_created":"2019-11-13T09:07:31Z","article_processing_charge":"No","contributor":[{"first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_leader","orcid":"0000-0001-6220-2052","last_name":"Guet"}],"year":"2019","status":"public","_id":"7016","abstract":[{"lang":"eng","text":"Organisms cope with change by employing transcriptional regulators. However, when faced with rare environments, the evolution of transcriptional regulators and their promoters may be too slow. We ask whether the intrinsic instability of gene duplication and amplification provides a generic alternative to canonical gene regulation. By real-time monitoring of gene copy number mutations in E. coli, we show that gene duplications and amplifications enable adaptation to fluctuating environments by rapidly generating copy number, and hence expression level, polymorphism. This ‘amplification-mediated gene expression tuning’ occurs on timescales similar to canonical gene regulation and can deal with rapid environmental changes. Mathematical modeling shows that amplifications also tune gene expression in stochastic environments where transcription factor-based schemes are hard to evolve or maintain. The fleeting nature of gene amplifications gives rise to a generic population-level mechanism that relies on genetic heterogeneity to rapidly tune expression of any gene, without leaving any genomic signature."}],"file_date_updated":"2020-07-14T12:47:47Z","doi":"10.15479/AT:ISTA:7016","type":"research_data","month":"11","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"7652"}]},"has_accepted_license":"1","citation":{"ista":"Tomanek I. 2019. Data for the paper ‘Gene amplification as a form of population-level gene expression regulation’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:7016\">10.15479/AT:ISTA:7016</a>.","mla":"Tomanek, Isabella. <i>Data for the Paper “Gene Amplification as a Form of Population-Level Gene Expression Regulation.”</i> Institute of Science and Technology Austria, 2019, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7016\">10.15479/AT:ISTA:7016</a>.","apa":"Tomanek, I. (2019). Data for the paper “Gene amplification as a form of population-level gene expression regulation.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:7016\">https://doi.org/10.15479/AT:ISTA:7016</a>","ieee":"I. Tomanek, “Data for the paper ‘Gene amplification as a form of population-level gene expression regulation.’” Institute of Science and Technology Austria, 2019.","ama":"Tomanek I. Data for the paper “Gene amplification as a form of population-level gene expression regulation.” 2019. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7016\">10.15479/AT:ISTA:7016</a>","short":"I. Tomanek, (2019).","chicago":"Tomanek, Isabella. “Data for the Paper ‘Gene Amplification as a Form of Population-Level Gene Expression Regulation.’” Institute of Science and Technology Austria, 2019. <a href=\"https://doi.org/10.15479/AT:ISTA:7016\">https://doi.org/10.15479/AT:ISTA:7016</a>."},"day":"13","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"author":[{"last_name":"Tomanek","first_name":"Isabella","id":"3981F020-F248-11E8-B48F-1D18A9856A87","full_name":"Tomanek, Isabella","orcid":"0000-0001-6197-363X"}],"date_updated":"2024-02-21T12:45:25Z","oa_version":"Published Version","file":[{"date_updated":"2020-07-14T12:47:47Z","content_type":"application/octet-stream","file_size":2456192500,"file_name":"D8_S35_R2_001.fastq","file_id":"7017","date_created":"2019-11-13T08:52:21Z","access_level":"open_access","creator":"itomanek","title":"Locus1_amplified","checksum":"72441055043eda4cbf1398a422e2c118","relation":"main_file","description":"Illumina whole genome sequence data for Locus 1 - amplified."},{"access_level":"open_access","date_created":"2019-11-13T08:52:59Z","file_id":"7018","file_name":"IT028_S11_R2_001.fastq","file_size":2833452234,"date_updated":"2020-07-14T12:47:47Z","content_type":"application/octet-stream","description":"Illumina whole genome sequence data for Locus 1 - ancestral.","relation":"main_file","checksum":"a4ac50bf655d9c751f0305ade5c2ee16","title":"Locus1_ancestral","creator":"itomanek"},{"access_level":"open_access","file_id":"7019","date_created":"2019-11-13T08:54:10Z","file_name":"D8-DOG1_S47_R2_001.fastq","content_type":"application/octet-stream","date_updated":"2020-07-14T12:47:47Z","file_size":2878017264,"description":"Illumina whole genome sequence data for Locus 1 - amplified, after DOG-selection.","checksum":"5b227708ff478ca06e3f0448a4efdc2f","relation":"main_file","creator":"itomanek","title":"Locus1_amplified_DOG"},{"access_level":"open_access","date_created":"2019-11-13T08:54:27Z","file_id":"7020","file_name":"D4_S71_R2_001.fastq","file_size":2180826995,"date_updated":"2020-07-14T12:47:47Z","content_type":"application/octet-stream","description":"Illumina whole genome sequence data for Locus 2 - amplified.","relation":"main_file","checksum":"d9550a4c044116075fa83f8f2ea31d6f","creator":"itomanek","title":"Locus2_amplified"},{"description":"Illumina whole genome sequence data for Locus 2 - ancestral.","creator":"itomanek","title":"Locus2_ancestral","relation":"main_file","checksum":"466ceb302c020ac013007a879fcde69d","date_created":"2019-11-13T08:55:58Z","file_id":"7021","access_level":"open_access","file_size":2108826444,"content_type":"application/octet-stream","date_updated":"2020-07-14T12:47:47Z","file_name":"IT030_S23_R2_001.fastq"},{"description":"Illumina whole genome sequence data for Locus 2 - amplified, after DOG-selection.","title":"Locus2_amplified_DOG","creator":"itomanek","relation":"main_file","checksum":"8aeb1da771713c7baa5a847eff889604","date_created":"2019-11-21T12:31:01Z","file_id":"7092","access_level":"open_access","file_size":3144330494,"content_type":"application/octet-stream","date_updated":"2020-07-14T12:47:47Z","file_name":"D4-DOG1_S83_R2_001.fastq"},{"relation":"main_file","checksum":"bf7d4b053f14af4655fb5574209fdb2d","title":"DNA sequence of the chromosomal reporter gene cassette","creator":"itomanek","description":"Compressed genbank file format containing the sequence of the chromosomal reporter gene cassette.","file_name":"galK_dual_reporter_cassette.gb.zip","file_size":4179,"date_updated":"2020-07-14T12:47:47Z","content_type":"application/zip","access_level":"open_access","date_created":"2020-01-14T11:22:27Z","file_id":"7273"},{"relation":"main_file","checksum":"5e91cee2eff6f4a7cde456c6fb07c2ff","creator":"dernst","title":"Read_me_sequence_data","access_level":"open_access","date_created":"2020-01-15T14:15:55Z","file_id":"7335","file_name":"Readme_7016.txt","file_size":435,"date_updated":"2020-07-14T12:47:47Z","content_type":"text/plain"},{"content_type":"application/zip","date_updated":"2020-07-14T12:47:47Z","file_size":3765861,"file_name":"FACS_data.xlsx.zip","file_id":"7351","date_created":"2020-01-22T15:44:16Z","access_level":"open_access","creator":"itomanek","title":"FACS data","checksum":"5e6745dcfb9c1b11dd935ac3ee45fe33","relation":"main_file","description":"FACS data associated with Fig. 2c - see read_me_FACS"},{"creator":"itomanek","relation":"main_file","checksum":"a85caf092ae4b17668f70af2d93fad00","date_created":"2020-01-22T15:44:16Z","file_id":"7352","access_level":"open_access","file_size":4996,"date_updated":"2020-07-14T12:47:47Z","content_type":"text/rtf","file_name":"read_me_FACS.rtf"},{"file_name":"read_me_microfluidics.rtf","content_type":"text/rtf","date_updated":"2020-07-14T12:47:47Z","file_size":868,"access_level":"open_access","file_id":"7353","date_created":"2020-01-22T15:44:16Z","checksum":"fd8ba5d75d24e47ddf7e70bfdadb40d4","relation":"main_file","creator":"itomanek"},{"file_name":"microfuidics_data.zip","content_type":"application/zip","date_updated":"2020-07-14T12:47:47Z","file_size":8141727,"access_level":"open_access","file_id":"7354","date_created":"2020-01-22T15:44:17Z","checksum":"69c5dc5ca5c069a138183c934acc1778","relation":"main_file","title":"microfluidics data","creator":"itomanek","description":"microfluidics time trace data - see read_me_microfluidics"}],"department":[{"_id":"CaGu"}]},{"quality_controlled":"1","date_published":"2019-11-27T00:00:00Z","title":"Emergent gene expression responses to drug combinations predict higher-order drug interactions","project":[{"name":"Revealing the mechanisms underlying drug interactions","grant_number":"P27201-B22","call_identifier":"FWF","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425"},{"_id":"25EB3A80-B435-11E9-9278-68D0E5697425","grant_number":"RGP0042/2013","name":"Revealing the fundamental limits of cell growth"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":9,"article_processing_charge":"No","publication":"Cell Systems","year":"2019","date_created":"2019-11-15T10:51:42Z","ddc":["570"],"scopus_import":"1","file_date_updated":"2020-07-14T12:47:48Z","external_id":{"isi":["000499495400003"]},"_id":"7026","author":[{"last_name":"Lukacisin","orcid":"0000-0001-6549-4177","first_name":"Martin","id":"298FFE8C-F248-11E8-B48F-1D18A9856A87","full_name":"Lukacisin, Martin"},{"last_name":"Bollenbach","first_name":"Tobias","full_name":"Bollenbach, Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4398-476X"}],"oa":1,"has_accepted_license":"1","citation":{"mla":"Lukacisin, Martin, and Mark Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” <i>Cell Systems</i>, vol. 9, no. 5, Cell Press, 2019, pp. 423-433.e1-e3, doi:<a href=\"https://doi.org/10.1016/j.cels.2019.10.004\">10.1016/j.cels.2019.10.004</a>.","apa":"Lukacisin, M., &#38; Bollenbach, M. T. (2019). Emergent gene expression responses to drug combinations predict higher-order drug interactions. <i>Cell Systems</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cels.2019.10.004\">https://doi.org/10.1016/j.cels.2019.10.004</a>","ista":"Lukacisin M, Bollenbach MT. 2019. Emergent gene expression responses to drug combinations predict higher-order drug interactions. Cell Systems. 9(5), 423-433.e1-e3.","ieee":"M. Lukacisin and M. T. Bollenbach, “Emergent gene expression responses to drug combinations predict higher-order drug interactions,” <i>Cell Systems</i>, vol. 9, no. 5. Cell Press, pp. 423-433.e1-e3, 2019.","chicago":"Lukacisin, Martin, and Mark Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” <i>Cell Systems</i>. Cell Press, 2019. <a href=\"https://doi.org/10.1016/j.cels.2019.10.004\">https://doi.org/10.1016/j.cels.2019.10.004</a>.","ama":"Lukacisin M, Bollenbach MT. Emergent gene expression responses to drug combinations predict higher-order drug interactions. <i>Cell Systems</i>. 2019;9(5):423-433.e1-e3. doi:<a href=\"https://doi.org/10.1016/j.cels.2019.10.004\">10.1016/j.cels.2019.10.004</a>","short":"M. Lukacisin, M.T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"checksum":"7a11d6c2f9523d65b049512d61733178","relation":"main_file","creator":"dernst","file_name":"2019_CellSystems_Lukacisin.pdf","date_updated":"2020-07-14T12:47:48Z","content_type":"application/pdf","file_size":4238460,"access_level":"open_access","file_id":"7027","date_created":"2019-11-15T10:57:42Z"}],"department":[{"_id":"ToBo"}],"date_updated":"2023-08-30T07:24:58Z","oa_version":"Published Version","type":"journal_article","publisher":"Cell Press","language":[{"iso":"eng"}],"article_type":"original","page":"423-433.e1-e3","intvolume":"         9","abstract":[{"text":"Effective design of combination therapies requires understanding the changes in cell physiology that result from drug interactions. Here, we show that the genome-wide transcriptional response to combinations of two drugs, measured at a rigorously controlled growth rate, can predict higher-order antagonism with a third drug in Saccharomyces cerevisiae. Using isogrowth profiling, over 90% of the variation in cellular response can be decomposed into three principal components (PCs) that have clear biological interpretations. We demonstrate that the third PC captures emergent transcriptional programs that are dependent on both drugs and can predict antagonism with a third drug targeting the emergent pathway. We further show that emergent gene expression patterns are most pronounced at a drug ratio where the drug interaction is strongest, providing a guideline for future measurements. Our results provide a readily applicable recipe for uncovering emergent responses in other systems and for higher-order drug combinations. A record of this paper’s transparent peer review process is included in the Supplemental Information.","lang":"eng"}],"doi":"10.1016/j.cels.2019.10.004","acknowledged_ssus":[{"_id":"LifeSc"}],"issue":"5","publication_identifier":{"issn":["2405-4712"]},"status":"public","day":"27","publication_status":"published","month":"11","isi":1},{"publication":"2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference","language":[{"iso":"eng"}],"article_processing_charge":"No","year":"2019","article_number":"8873300","date_created":"2019-11-18T13:58:22Z","quality_controlled":"1","date_published":"2019-10-17T00:00:00Z","title":"Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators","publisher":"IEEE","conference":{"name":"CLEO: Conference on Lasers and Electro-Optics Europe","location":"Munich, Germany","start_date":"2019-06-23","end_date":"2019-06-27"},"day":"17","citation":{"chicago":"Rueda Sanchez, Alfredo R, Florian Sedlmeir, Gerd Leuchs, Madhuri Kuamri, and Harald G. L. Schwefel. “Electro-Optic Frequency Comb Generation in Lithium Niobate Whispering Gallery Mode Resonators.” In <i>2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/cleoe-eqec.2019.8873300\">https://doi.org/10.1109/cleoe-eqec.2019.8873300</a>.","ama":"Rueda Sanchez AR, Sedlmeir F, Leuchs G, Kuamri M, Schwefel HGL. Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators. In: <i>2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/cleoe-eqec.2019.8873300\">10.1109/cleoe-eqec.2019.8873300</a>","short":"A.R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kuamri, H.G.L. Schwefel, in:, 2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference, IEEE, 2019.","ieee":"A. R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kuamri, and H. G. L. Schwefel, “Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators,” in <i>2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference</i>, Munich, Germany, 2019.","apa":"Rueda Sanchez, A. R., Sedlmeir, F., Leuchs, G., Kuamri, M., &#38; Schwefel, H. G. L. (2019). Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators. In <i>2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference</i>. Munich, Germany: IEEE. <a href=\"https://doi.org/10.1109/cleoe-eqec.2019.8873300\">https://doi.org/10.1109/cleoe-eqec.2019.8873300</a>","mla":"Rueda Sanchez, Alfredo R., et al. “Electro-Optic Frequency Comb Generation in Lithium Niobate Whispering Gallery Mode Resonators.” <i>2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference</i>, 8873300, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/cleoe-eqec.2019.8873300\">10.1109/cleoe-eqec.2019.8873300</a>.","ista":"Rueda Sanchez AR, Sedlmeir F, Leuchs G, Kuamri M, Schwefel HGL. 2019. Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators. 2019 Conference on Lasers and Electro-Optics Europe &#38; European Quantum Electronics Conference. CLEO: Conference on Lasers and Electro-Optics Europe, 8873300."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"last_name":"Rueda Sanchez","orcid":"0000-0001-6249-5860","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","first_name":"Alfredo R","full_name":"Rueda Sanchez, Alfredo R"},{"full_name":"Sedlmeir, Florian","first_name":"Florian","last_name":"Sedlmeir"},{"last_name":"Leuchs","first_name":"Gerd","full_name":"Leuchs, Gerd"},{"first_name":"Madhuri","full_name":"Kuamri, Madhuri","last_name":"Kuamri"},{"full_name":"Schwefel, Harald G. L.","first_name":"Harald G. L.","last_name":"Schwefel"}],"date_updated":"2023-08-30T07:26:01Z","publication_status":"published","oa_version":"None","department":[{"_id":"JoFi"}],"isi":1,"type":"conference","month":"10","abstract":[{"text":"Optical frequency combs (OFCs) are light sources whose spectra consists of equally spaced frequency lines in the optical domain [1]. They have great potential for improving high-capacity data transfer, all-optical atomic clocks, spectroscopy, and high-precision measurements [2].","lang":"eng"}],"doi":"10.1109/cleoe-eqec.2019.8873300","scopus_import":"1","external_id":{"isi":["000630002701617"]},"publication_identifier":{"isbn":["9781728104690"]},"status":"public","_id":"7032"},{"status":"public","publication_identifier":{"issn":["0209-9683"],"eissn":["1439-6912"]},"issue":"6","abstract":[{"lang":"eng","text":"We find a graph of genus 5 and its drawing on the orientable surface of genus 4 with every pair of independent edges crossing an even number of times. This shows that the strong Hanani–Tutte theorem cannot be extended to the orientable surface of genus 4. As a base step in the construction we use a counterexample to an extension of the unified Hanani–Tutte theorem on the torus."}],"doi":"10.1007/s00493-019-3905-7","isi":1,"month":"10","publication_status":"published","day":"29","ec_funded":1,"publisher":"Springer Nature","intvolume":"        39","article_type":"original","page":"1267-1279","arxiv":1,"language":[{"iso":"eng"}],"_id":"7034","external_id":{"isi":["000493267200003"],"arxiv":["1709.00508"]},"scopus_import":"1","type":"journal_article","date_updated":"2023-08-30T07:26:25Z","oa_version":"Preprint","department":[{"_id":"UlWa"}],"citation":{"ista":"Fulek R, Kynčl J. 2019. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica. 39(6), 1267–1279.","apa":"Fulek, R., &#38; Kynčl, J. (2019). Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. <i>Combinatorica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00493-019-3905-7\">https://doi.org/10.1007/s00493-019-3905-7</a>","mla":"Fulek, Radoslav, and Jan Kynčl. “Counterexample to an Extension of the Hanani-Tutte Theorem on the Surface of Genus 4.” <i>Combinatorica</i>, vol. 39, no. 6, Springer Nature, 2019, pp. 1267–79, doi:<a href=\"https://doi.org/10.1007/s00493-019-3905-7\">10.1007/s00493-019-3905-7</a>.","ama":"Fulek R, Kynčl J. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. <i>Combinatorica</i>. 2019;39(6):1267-1279. doi:<a href=\"https://doi.org/10.1007/s00493-019-3905-7\">10.1007/s00493-019-3905-7</a>","short":"R. Fulek, J. Kynčl, Combinatorica 39 (2019) 1267–1279.","chicago":"Fulek, Radoslav, and Jan Kynčl. “Counterexample to an Extension of the Hanani-Tutte Theorem on the Surface of Genus 4.” <i>Combinatorica</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/s00493-019-3905-7\">https://doi.org/10.1007/s00493-019-3905-7</a>.","ieee":"R. Fulek and J. Kynčl, “Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4,” <i>Combinatorica</i>, vol. 39, no. 6. Springer Nature, pp. 1267–1279, 2019."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"author":[{"orcid":"0000-0001-8485-1774","full_name":"Fulek, Radoslav","first_name":"Radoslav","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","last_name":"Fulek"},{"full_name":"Kynčl, Jan","first_name":"Jan","last_name":"Kynčl"}],"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"},{"_id":"261FA626-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"M02281","name":"Eliminating intersections in drawings of graphs"}],"date_published":"2019-10-29T00:00:00Z","title":"Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4","quality_controlled":"1","date_created":"2019-11-18T14:29:50Z","main_file_link":[{"url":"https://arxiv.org/abs/1709.00508","open_access":"1"}],"year":"2019","publication":"Combinatorica","article_processing_charge":"No","volume":39},{"publication_status":"published","date_updated":"2021-01-12T08:11:33Z","oa_version":"Submitted Version","department":[{"_id":"LaEr"}],"day":"30","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Geher, G. P., Titkos, T., &#38; Virosztek, D. (2019). Dirac masses and isometric rigidity. In <i>Kyoto RIMS Kôkyûroku</i> (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.","mla":"Geher, Gyorgy Pal, et al. “Dirac Masses and Isometric Rigidity.” <i>Kyoto RIMS Kôkyûroku</i>, vol. 2125, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.","ista":"Geher GP, Titkos T, Virosztek D. 2019. Dirac masses and isometric rigidity. Kyoto RIMS Kôkyûroku. Research on isometries as preserver problems and related topics vol. 2125, 34–41.","chicago":"Geher, Gyorgy Pal, Tamas Titkos, and Daniel Virosztek. “Dirac Masses and Isometric Rigidity.” In <i>Kyoto RIMS Kôkyûroku</i>, 2125:34–41. Research Institute for Mathematical Sciences, Kyoto University, 2019.","ama":"Geher GP, Titkos T, Virosztek D. Dirac masses and isometric rigidity. In: <i>Kyoto RIMS Kôkyûroku</i>. Vol 2125. Research Institute for Mathematical Sciences, Kyoto University; 2019:34-41.","short":"G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.","ieee":"G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in <i>Kyoto RIMS Kôkyûroku</i>, Kyoto, Japan, 2019, vol. 2125, pp. 34–41."},"oa":1,"author":[{"last_name":"Geher","first_name":"Gyorgy Pal","full_name":"Geher, Gyorgy Pal"},{"full_name":"Titkos, Tamas","first_name":"Tamas","last_name":"Titkos"},{"id":"48DB45DA-F248-11E8-B48F-1D18A9856A87","first_name":"Daniel","full_name":"Virosztek, Daniel","orcid":"0000-0003-1109-5511","last_name":"Virosztek"}],"type":"conference","month":"01","abstract":[{"lang":"eng","text":"The aim of this short note is to expound one particular issue that was discussed during the talk [10] given at the symposium ”Researches on isometries as preserver problems and related topics” at Kyoto RIMS. That is,  the role of Dirac masses by  describing  the  isometry group of various metric spaces  of probability  measures.   This  article  is  of  survey  character,  and  it  does  not  contain  any  essentially  new results.From an isometric point of view, in some cases, metric spaces of measures are similar to C(K)-type function  spaces.   Similarity  means  here  that  their  isometries  are  driven  by  some  nice  transformations of  the  underlying  space.   Of  course,  it  depends  on  the  particular  choice  of  the  metric  how  nice  these transformations should be.  Sometimes, as we will see, being a homeomorphism is enough to generate an isometry.  But sometimes we need more:  the transformation must preserve the underlying distance as well.  Statements claiming that isometries in questions are necessarily induced by homeomorphisms are called Banach-Stone-type results, while results asserting that the underlying transformation is necessarily an isometry are termed as isometric rigidity results.As  Dirac  masses  can  be  considered  as  building  bricks  of  the  set  of  all  Borel  measures,  a  natural question arises:Is it enough to understand how an isometry acts on the set of Dirac masses?  Does this action extend uniquely to all measures?In what follows, we will thoroughly investigate this question."}],"status":"public","_id":"7035","main_file_link":[{"url":"http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2125.html","open_access":"1"}],"year":"2019","publication":"Kyoto RIMS Kôkyûroku","article_processing_charge":"No","language":[{"iso":"eng"}],"volume":2125,"intvolume":"      2125","date_created":"2019-11-18T15:39:53Z","page":"34-41","title":"Dirac masses and isometric rigidity","date_published":"2019-01-30T00:00:00Z","quality_controlled":"1","conference":{"name":"Research on isometries as preserver problems and related topics","end_date":"2019-01-30","location":"Kyoto, Japan","start_date":"2019-01-28"},"publisher":"Research Institute for Mathematical Sciences, Kyoto University"},{"publication_identifier":{"issn":["1920-180X"]},"status":"public","doi":"10.20382/JOGC.V10I2A5","abstract":[{"lang":"eng","text":"In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how \"simple\" or \"thin\" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth.\r\nIn view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs).\r\nWe derive these results from work of Agol, of Scharlemann and Thompson, and of Scharlemann, Schultens and Saito by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 18(k+1) (resp. 4(3k+1))."}],"issue":"2","month":"11","related_material":{"record":[{"status":"public","id":"285","relation":"earlier_version"},{"status":"public","id":"8032","relation":"part_of_dissertation"}]},"day":"01","publication_status":"published","publisher":"Computational Geometry Laborartoy","article_type":"original","page":"70–98","intvolume":"        10","language":[{"iso":"eng"}],"arxiv":1,"_id":"7093","file_date_updated":"2020-07-14T12:47:49Z","external_id":{"arxiv":["1712.00434"]},"type":"journal_article","citation":{"chicago":"Huszár, Kristóf, Jonathan Spreer, and Uli Wagner. “On the Treewidth of Triangulated 3-Manifolds.” <i>Journal of Computational Geometry</i>. Computational Geometry Laborartoy, 2019. <a href=\"https://doi.org/10.20382/JOGC.V10I2A5\">https://doi.org/10.20382/JOGC.V10I2A5</a>.","ama":"Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. <i>Journal of Computational Geometry</i>. 2019;10(2):70–98. doi:<a href=\"https://doi.org/10.20382/JOGC.V10I2A5\">10.20382/JOGC.V10I2A5</a>","short":"K. Huszár, J. Spreer, U. Wagner, Journal of Computational Geometry 10 (2019) 70–98.","ieee":"K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” <i>Journal of Computational Geometry</i>, vol. 10, no. 2. Computational Geometry Laborartoy, pp. 70–98, 2019.","mla":"Huszár, Kristóf, et al. “On the Treewidth of Triangulated 3-Manifolds.” <i>Journal of Computational Geometry</i>, vol. 10, no. 2, Computational Geometry Laborartoy, 2019, pp. 70–98, doi:<a href=\"https://doi.org/10.20382/JOGC.V10I2A5\">10.20382/JOGC.V10I2A5</a>.","apa":"Huszár, K., Spreer, J., &#38; Wagner, U. (2019). On the treewidth of triangulated 3-manifolds. <i>Journal of Computational Geometry</i>. Computational Geometry Laborartoy. <a href=\"https://doi.org/10.20382/JOGC.V10I2A5\">https://doi.org/10.20382/JOGC.V10I2A5</a>","ista":"Huszár K, Spreer J, Wagner U. 2019. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 10(2), 70–98."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","has_accepted_license":"1","oa":1,"author":[{"orcid":"0000-0002-5445-5057","full_name":"Huszár, Kristóf","first_name":"Kristóf","id":"33C26278-F248-11E8-B48F-1D18A9856A87","last_name":"Huszár"},{"full_name":"Spreer, Jonathan","first_name":"Jonathan","last_name":"Spreer"},{"orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","last_name":"Wagner"}],"oa_version":"Published Version","date_updated":"2023-09-07T13:18:26Z","file":[{"file_size":857590,"date_updated":"2020-07-14T12:47:49Z","content_type":"application/pdf","file_name":"479-1917-1-PB.pdf","date_created":"2019-11-23T12:35:16Z","file_id":"7094","access_level":"open_access","creator":"khuszar","relation":"main_file","checksum":"c872d590d38d538404782bca20c4c3f5"}],"department":[{"_id":"UlWa"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"quality_controlled":"1","title":"On the treewidth of triangulated 3-manifolds","date_published":"2019-11-01T00:00:00Z","ddc":["514"],"date_created":"2019-11-23T12:14:09Z","publication":"Journal of Computational Geometry","volume":10,"article_processing_charge":"No","year":"2019"},{"publication_identifier":{"eissn":["2045-2322"]},"pmid":1,"status":"public","doi":"10.1038/s41598-019-53049-w","abstract":[{"text":"BAX, a member of the BCL2 gene family, controls the committed step of the intrinsic apoptotic program. Mitochondrial fragmentation is a commonly observed feature of apoptosis, which occurs through the process of mitochondrial fission. BAX has consistently been associated with mitochondrial fission, yet how BAX participates in the process of mitochondrial fragmentation during apoptosis remains to be tested. Time-lapse imaging of BAX recruitment and mitochondrial fragmentation demonstrates that rapid mitochondrial fragmentation during apoptosis occurs after the complete recruitment of BAX to the mitochondrial outer membrane (MOM). The requirement of a fully functioning BAX protein for the fission process was demonstrated further in BAX/BAK-deficient HCT116 cells expressing a P168A mutant of BAX. The mutant performed fusion to restore the mitochondrial network. but was not demonstrably recruited to the MOM after apoptosis induction. Under these conditions, mitochondrial fragmentation was blocked. Additionally, we show that loss of the fission protein, dynamin-like protein 1 (DRP1), does not temporally affect the initiation time or rate of BAX recruitment, but does reduce the final level of BAX recruited to the MOM during the late phase of BAX recruitment. These correlative observations suggest a model where late-stage BAX oligomers play a functional part of the mitochondrial fragmentation machinery in apoptotic cells.","lang":"eng"}],"month":"11","isi":1,"day":"12","publication_status":"published","publisher":"Springer Nature","article_type":"original","intvolume":"         9","article_number":"16565","language":[{"iso":"eng"}],"_id":"7095","scopus_import":"1","file_date_updated":"2020-07-14T12:47:49Z","external_id":{"pmid":["31719602"],"isi":["000495857600019"]},"type":"journal_article","author":[{"last_name":"Maes","orcid":"0000-0001-9642-1085","first_name":"Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87","full_name":"Maes, Margaret E"},{"last_name":"Grosser","first_name":"J. A.","full_name":"Grosser, J. A."},{"last_name":"Fehrman","first_name":"R. L.","full_name":"Fehrman, R. L."},{"last_name":"Schlamp","first_name":"C. L.","full_name":"Schlamp, C. L."},{"first_name":"R. W.","full_name":"Nickells, R. W.","last_name":"Nickells"}],"oa":1,"citation":{"mla":"Maes, Margaret E., et al. “Completion of BAX Recruitment Correlates with Mitochondrial Fission during Apoptosis.” <i>Scientific Reports</i>, vol. 9, 16565, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s41598-019-53049-w\">10.1038/s41598-019-53049-w</a>.","apa":"Maes, M. E., Grosser, J. A., Fehrman, R. L., Schlamp, C. L., &#38; Nickells, R. W. (2019). Completion of BAX recruitment correlates with mitochondrial fission during apoptosis. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-019-53049-w\">https://doi.org/10.1038/s41598-019-53049-w</a>","ista":"Maes ME, Grosser JA, Fehrman RL, Schlamp CL, Nickells RW. 2019. Completion of BAX recruitment correlates with mitochondrial fission during apoptosis. Scientific Reports. 9, 16565.","ieee":"M. E. Maes, J. A. Grosser, R. L. Fehrman, C. L. Schlamp, and R. W. Nickells, “Completion of BAX recruitment correlates with mitochondrial fission during apoptosis,” <i>Scientific Reports</i>, vol. 9. Springer Nature, 2019.","chicago":"Maes, Margaret E, J. A. Grosser, R. L. Fehrman, C. L. Schlamp, and R. W. Nickells. “Completion of BAX Recruitment Correlates with Mitochondrial Fission during Apoptosis.” <i>Scientific Reports</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41598-019-53049-w\">https://doi.org/10.1038/s41598-019-53049-w</a>.","short":"M.E. Maes, J.A. Grosser, R.L. Fehrman, C.L. Schlamp, R.W. Nickells, Scientific Reports 9 (2019).","ama":"Maes ME, Grosser JA, Fehrman RL, Schlamp CL, Nickells RW. Completion of BAX recruitment correlates with mitochondrial fission during apoptosis. <i>Scientific Reports</i>. 2019;9. doi:<a href=\"https://doi.org/10.1038/s41598-019-53049-w\">10.1038/s41598-019-53049-w</a>"},"has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"file_id":"7096","date_created":"2019-11-25T07:49:52Z","access_level":"open_access","content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_size":6467393,"file_name":"2019_ScientificReports_Maes.pdf","creator":"dernst","checksum":"9ab397ed9c1c454b34bffb8cc863d734","relation":"main_file"}],"department":[{"_id":"SaSi"}],"date_updated":"2023-08-30T07:26:54Z","oa_version":"Published Version","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"quality_controlled":"1","date_published":"2019-11-12T00:00:00Z","title":"Completion of BAX recruitment correlates with mitochondrial fission during apoptosis","date_created":"2019-11-25T07:45:17Z","ddc":["570"],"volume":9,"article_processing_charge":"No","publication":"Scientific Reports","year":"2019"},{"publication_status":"published","day":"15","isi":1,"month":"11","issue":"1","doi":"10.1038/s42003-019-0670-5","abstract":[{"text":"Early endosomes, also called sorting endosomes, are known to mature into late endosomesvia the Rab5-mediated endolysosomal trafficking pathway. Thus, early endosome existence isthought to be maintained by the continual fusion of transport vesicles from the plasmamembrane and thetrans-Golgi network (TGN). Here we show instead that endocytosis isdispensable and post-Golgi vesicle transport is crucial for the formation of endosomes andthe subsequent endolysosomal traffic regulated by yeast Rab5 Vps21p. Fittingly, all threeproteins required for endosomal nucleotide exchange on Vps21p arefirst recruited to theTGN  before  transport  to  the  endosome,  namely  the  GEF  Vps9p and  the  epsin-relatedadaptors Ent3/5p. The TGN recruitment of these components is distinctly controlled, withVps9p appearing to require the Arf1p GTPase, and the Rab11s, Ypt31p/32p. These resultsprovide a different view of endosome formation and identify the TGN as a critical location forregulating progress through the endolysosomal trafficking pathway.","lang":"eng"}],"status":"public","publication_identifier":{"issn":["2399-3642"]},"language":[{"iso":"eng"}],"article_number":"419","intvolume":"         2","article_type":"original","publisher":"Springer Nature","oa_version":"Published Version","date_updated":"2023-08-30T07:27:55Z","department":[{"_id":"DaSi"}],"file":[{"access_level":"open_access","file_id":"7098","date_created":"2019-11-25T07:58:05Z","file_name":"2019_CommunicBiology_Nagano.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_size":2626069,"checksum":"c63c69a264fc8a0e52f2b0d482f3bdae","relation":"main_file","creator":"dernst"}],"citation":{"ista":"Nagano M, Toshima JY, Siekhaus DE, Toshima J. 2019. Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology. 2(1), 419.","apa":"Nagano, M., Toshima, J. Y., Siekhaus, D. E., &#38; Toshima, J. (2019). Rab5-mediated endosome formation is regulated at the trans-Golgi network. <i>Communications Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42003-019-0670-5\">https://doi.org/10.1038/s42003-019-0670-5</a>","mla":"Nagano, Makoto, et al. “Rab5-Mediated Endosome Formation Is Regulated at the Trans-Golgi Network.” <i>Communications Biology</i>, vol. 2, no. 1, 419, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s42003-019-0670-5\">10.1038/s42003-019-0670-5</a>.","ieee":"M. Nagano, J. Y. Toshima, D. E. Siekhaus, and J. Toshima, “Rab5-mediated endosome formation is regulated at the trans-Golgi network,” <i>Communications Biology</i>, vol. 2, no. 1. Springer Nature, 2019.","short":"M. Nagano, J.Y. Toshima, D.E. Siekhaus, J. Toshima, Communications Biology 2 (2019).","ama":"Nagano M, Toshima JY, Siekhaus DE, Toshima J. Rab5-mediated endosome formation is regulated at the trans-Golgi network. <i>Communications Biology</i>. 2019;2(1). doi:<a href=\"https://doi.org/10.1038/s42003-019-0670-5\">10.1038/s42003-019-0670-5</a>","chicago":"Nagano, Makoto, Junko Y. Toshima, Daria E Siekhaus, and Jiro Toshima. “Rab5-Mediated Endosome Formation Is Regulated at the Trans-Golgi Network.” <i>Communications Biology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s42003-019-0670-5\">https://doi.org/10.1038/s42003-019-0670-5</a>."},"has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"author":[{"first_name":"Makoto","full_name":"Nagano, Makoto","last_name":"Nagano"},{"last_name":"Toshima","full_name":"Toshima, Junko Y.","first_name":"Junko Y."},{"orcid":"0000-0001-8323-8353","first_name":"Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","full_name":"Siekhaus, Daria E","last_name":"Siekhaus"},{"first_name":"Jiro","full_name":"Toshima, Jiro","last_name":"Toshima"}],"type":"journal_article","external_id":{"isi":["000496767800005"]},"file_date_updated":"2020-07-14T12:47:49Z","scopus_import":"1","_id":"7097","year":"2019","publication":"Communications Biology","article_processing_charge":"No","volume":2,"ddc":["570"],"date_created":"2019-11-25T07:55:01Z","date_published":"2019-11-15T00:00:00Z","title":"Rab5-mediated endosome formation is regulated at the trans-Golgi network","quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"issue":"4","doi":"10.1016/j.neuron.2019.08.013","pmid":1,"status":"public","publication_identifier":{"issn":["0896-6273"]},"publication_status":"published","acknowledgement":"The authors thank Gabi Schmid for excellent technical support. We also thank\r\nDr. H. Harada, Dr. W. Kaufmann, and Dr. B. Kapelari for testing the specificity\r\nof some of the antibodies used in this study on replicas. Funding was provided\r\nby the Austrian Science Fund (Fonds zur Fo¨ rderung der Wissenschaftlichen\r\nForschung) Sonderforschungsbereich grants F44-17 (to F.jF.), F44-10 and\r\nP25375-B24 (to N.S.), and P26680 (to G.S.) and by the Novartis Research\r\nFoundation and the Swiss National Science Foundation (to A.L). We also thank\r\nProf. M. Capogna for reading a previous version of the manuscript.","day":"20","month":"11","isi":1,"publisher":"Elsevier","language":[{"iso":"eng"}],"intvolume":"       104","page":"781-794.e4","article_type":"original","external_id":{"pmid":["31543297"],"isi":["000497963500017"]},"scopus_import":"1","_id":"7099","department":[{"_id":"RySh"}],"date_updated":"2023-08-30T07:28:22Z","oa_version":"Published Version","oa":1,"author":[{"first_name":"Yu","full_name":"Kasugai, Yu","last_name":"Kasugai"},{"last_name":"Vogel","first_name":"Elisabeth","full_name":"Vogel, Elisabeth"},{"full_name":"Hörtnagl, Heide","first_name":"Heide","last_name":"Hörtnagl"},{"last_name":"Schönherr","full_name":"Schönherr, Sabine","first_name":"Sabine"},{"full_name":"Paradiso, Enrica","first_name":"Enrica","last_name":"Paradiso"},{"first_name":"Markus","full_name":"Hauschild, Markus","last_name":"Hauschild"},{"first_name":"Georg","full_name":"Göbel, Georg","last_name":"Göbel"},{"last_name":"Milenkovic","full_name":"Milenkovic, Ivan","first_name":"Ivan"},{"last_name":"Peterschmitt","first_name":"Yvan","full_name":"Peterschmitt, Yvan"},{"full_name":"Tasan, Ramon","first_name":"Ramon","last_name":"Tasan"},{"last_name":"Sperk","first_name":"Günther","full_name":"Sperk, Günther"},{"last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Sieghart, Werner","first_name":"Werner","last_name":"Sieghart"},{"last_name":"Singewald","full_name":"Singewald, Nicolas","first_name":"Nicolas"},{"full_name":"Lüthi, Andreas","first_name":"Andreas","last_name":"Lüthi"},{"last_name":"Ferraguti","full_name":"Ferraguti, Francesco","first_name":"Francesco"}],"citation":{"ieee":"Y. Kasugai <i>et al.</i>, “Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning,” <i>Neuron</i>, vol. 104, no. 4. Elsevier, p. 781–794.e4, 2019.","chicago":"Kasugai, Yu, Elisabeth Vogel, Heide Hörtnagl, Sabine Schönherr, Enrica Paradiso, Markus Hauschild, Georg Göbel, et al. “Structural and Functional Remodeling of Amygdala GABAergic Synapses in Associative Fear Learning.” <i>Neuron</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">https://doi.org/10.1016/j.neuron.2019.08.013</a>.","ama":"Kasugai Y, Vogel E, Hörtnagl H, et al. Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. <i>Neuron</i>. 2019;104(4):781-794.e4. doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">10.1016/j.neuron.2019.08.013</a>","short":"Y. Kasugai, E. Vogel, H. Hörtnagl, S. Schönherr, E. Paradiso, M. Hauschild, G. Göbel, I. Milenkovic, Y. Peterschmitt, R. Tasan, G. Sperk, R. Shigemoto, W. Sieghart, N. Singewald, A. Lüthi, F. Ferraguti, Neuron 104 (2019) 781–794.e4.","mla":"Kasugai, Yu, et al. “Structural and Functional Remodeling of Amygdala GABAergic Synapses in Associative Fear Learning.” <i>Neuron</i>, vol. 104, no. 4, Elsevier, 2019, p. 781–794.e4, doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">10.1016/j.neuron.2019.08.013</a>.","apa":"Kasugai, Y., Vogel, E., Hörtnagl, H., Schönherr, S., Paradiso, E., Hauschild, M., … Ferraguti, F. (2019). Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">https://doi.org/10.1016/j.neuron.2019.08.013</a>","ista":"Kasugai Y, Vogel E, Hörtnagl H, Schönherr S, Paradiso E, Hauschild M, Göbel G, Milenkovic I, Peterschmitt Y, Tasan R, Sperk G, Shigemoto R, Sieghart W, Singewald N, Lüthi A, Ferraguti F. 2019. Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. Neuron. 104(4), 781–794.e4."},"has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","title":"Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning","date_published":"2019-11-20T00:00:00Z","quality_controlled":"1","year":"2019","main_file_link":[{"url":"https://doi.org/10.1016/j.neuron.2019.08.013","open_access":"1"}],"volume":104,"article_processing_charge":"No","publication":"Neuron","date_created":"2019-11-25T08:02:39Z","ddc":["571","599"]},{"publisher":"Springer Nature","language":[{"iso":"eng"}],"article_type":"original","page":"1-69","intvolume":"       372","abstract":[{"text":"We present microscopic derivations of the defocusing two-dimensional cubic nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman interacting N-particle system of bosons. We consider the interaction potential to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx), for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R). In both cases we prove the convergence of the reduced density corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in trace norm. For the latter potential VN we show that it is crucial to take the microscopic structure of the condensate into account in order to obtain the correct dynamics.","lang":"eng"}],"doi":"10.1007/s00220-019-03599-x","issue":"1","publication_identifier":{"issn":["0010-3616"],"eissn":["1432-0916"]},"status":"public","ec_funded":1,"day":"08","publication_status":"published","acknowledgement":"OA fund by IST Austria","month":"11","isi":1,"quality_controlled":"1","title":"Derivation of the time dependent Gross–Pitaevskii equation in two dimensions","date_published":"2019-11-08T00:00:00Z","project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","name":"Analysis of quantum many-body systems"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":372,"article_processing_charge":"Yes (via OA deal)","publication":"Communications in Mathematical Physics","year":"2019","date_created":"2019-11-25T08:08:02Z","ddc":["510"],"scopus_import":"1","file_date_updated":"2020-07-14T12:47:49Z","external_id":{"isi":["000495193700002"]},"_id":"7100","oa":1,"author":[{"first_name":"Maximilian","full_name":"Jeblick, Maximilian","last_name":"Jeblick"},{"id":"4BC40BEC-F248-11E8-B48F-1D18A9856A87","first_name":"Nikolai K","full_name":"Leopold, Nikolai K","orcid":"0000-0002-0495-6822","last_name":"Leopold"},{"last_name":"Pickl","first_name":"Peter","full_name":"Pickl, Peter"}],"citation":{"chicago":"Jeblick, Maximilian, Nikolai K Leopold, and Peter Pickl. “Derivation of the Time Dependent Gross–Pitaevskii Equation in Two Dimensions.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/s00220-019-03599-x\">https://doi.org/10.1007/s00220-019-03599-x</a>.","ama":"Jeblick M, Leopold NK, Pickl P. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. <i>Communications in Mathematical Physics</i>. 2019;372(1):1-69. doi:<a href=\"https://doi.org/10.1007/s00220-019-03599-x\">10.1007/s00220-019-03599-x</a>","short":"M. Jeblick, N.K. Leopold, P. Pickl, Communications in Mathematical Physics 372 (2019) 1–69.","ieee":"M. Jeblick, N. K. Leopold, and P. Pickl, “Derivation of the time dependent Gross–Pitaevskii equation in two dimensions,” <i>Communications in Mathematical Physics</i>, vol. 372, no. 1. Springer Nature, pp. 1–69, 2019.","mla":"Jeblick, Maximilian, et al. “Derivation of the Time Dependent Gross–Pitaevskii Equation in Two Dimensions.” <i>Communications in Mathematical Physics</i>, vol. 372, no. 1, Springer Nature, 2019, pp. 1–69, doi:<a href=\"https://doi.org/10.1007/s00220-019-03599-x\">10.1007/s00220-019-03599-x</a>.","apa":"Jeblick, M., Leopold, N. K., &#38; Pickl, P. (2019). Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-019-03599-x\">https://doi.org/10.1007/s00220-019-03599-x</a>","ista":"Jeblick M, Leopold NK, Pickl P. 2019. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 372(1), 1–69."},"has_accepted_license":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"RoSe"}],"file":[{"file_size":884469,"content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_name":"2019_CommMathPhys_Jeblick.pdf","date_created":"2019-11-25T08:11:11Z","file_id":"7101","access_level":"open_access","creator":"dernst","relation":"main_file","checksum":"cd283b475dd739e04655315abd46f528"}],"oa_version":"Published Version","date_updated":"2023-09-06T10:47:43Z","type":"journal_article"},{"language":[{"iso":"eng"}],"intvolume":"        15","article_number":"e1007268","article_type":"original","publisher":"Public Library of Science","publication_status":"published","ec_funded":1,"day":"01","month":"11","isi":1,"issue":"11","doi":"10.1371/journal.pcbi.1007268","abstract":[{"text":"Origin and functions of intermittent transitions among sleep stages, including short awakenings and arousals, constitute a challenge to the current homeostatic framework for sleep regulation, focusing on factors modulating sleep over large time scales. Here we propose that the complex micro-architecture characterizing the sleep-wake cycle results from an underlying non-equilibrium critical dynamics, bridging collective behaviors across spatio-temporal scales. We investigate θ and δ wave dynamics in control rats and in rats with lesions of sleep-promoting neurons in the parafacial zone. We demonstrate that intermittent bursts in θ and δ rhythms exhibit a complex temporal organization, with long-range power-law correlations and a robust duality of power law (θ-bursts, active phase) and exponential-like (δ-bursts, quiescent phase) duration distributions, typical features of non-equilibrium systems self-organizing at criticality. Crucially, such temporal organization relates to anti-correlated coupling between θ- and δ-bursts, and is independent of the dominant physiologic state and lesions, a solid indication of a basic principle in sleep dynamics.","lang":"eng"}],"pmid":1,"status":"public","publication_identifier":{"issn":["1553-7358"]},"year":"2019","article_processing_charge":"No","volume":15,"publication":"PLoS Computational Biology","date_created":"2019-11-25T08:20:47Z","ddc":["570","000"],"date_published":"2019-11-01T00:00:00Z","title":"Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"department":[{"_id":"GaTk"}],"file":[{"creator":"dernst","relation":"main_file","checksum":"2a096a9c6dcc6eaa94077b2603bc6c12","date_created":"2019-11-25T08:24:01Z","file_id":"7104","access_level":"open_access","file_size":3982516,"content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_name":"2019_PLOSComBio_Wang.pdf"}],"oa_version":"Published Version","date_updated":"2023-10-17T12:30:07Z","author":[{"last_name":"Wang","full_name":"Wang, Jilin W. J. L.","first_name":"Jilin W. J. L."},{"last_name":"Lombardi","id":"A057D288-3E88-11E9-986D-0CF4E5697425","first_name":"Fabrizio","full_name":"Lombardi, Fabrizio","orcid":"0000-0003-2623-5249"},{"full_name":"Zhang, Xiyun","first_name":"Xiyun","last_name":"Zhang"},{"last_name":"Anaclet","first_name":"Christelle","full_name":"Anaclet, Christelle"},{"last_name":"Ivanov","full_name":"Ivanov, Plamen Ch.","first_name":"Plamen Ch."}],"oa":1,"citation":{"chicago":"Wang, Jilin W. J. L., Fabrizio Lombardi, Xiyun Zhang, Christelle Anaclet, and Plamen Ch. Ivanov. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” <i>PLoS Computational Biology</i>. Public Library of Science, 2019. <a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">https://doi.org/10.1371/journal.pcbi.1007268</a>.","short":"J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLoS Computational Biology 15 (2019).","ama":"Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. <i>PLoS Computational Biology</i>. 2019;15(11). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">10.1371/journal.pcbi.1007268</a>","ieee":"J. W. J. L. Wang, F. Lombardi, X. Zhang, C. Anaclet, and P. C. Ivanov, “Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture,” <i>PLoS Computational Biology</i>, vol. 15, no. 11. Public Library of Science, 2019.","mla":"Wang, Jilin W. J. L., et al. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” <i>PLoS Computational Biology</i>, vol. 15, no. 11, e1007268, Public Library of Science, 2019, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">10.1371/journal.pcbi.1007268</a>.","apa":"Wang, J. W. J. L., Lombardi, F., Zhang, X., Anaclet, C., &#38; Ivanov, P. C. (2019). Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">https://doi.org/10.1371/journal.pcbi.1007268</a>","ista":"Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. 2019. Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. PLoS Computational Biology. 15(11), e1007268."},"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","external_id":{"isi":["000500976100014"],"pmid":["31725712"]},"scopus_import":"1","file_date_updated":"2020-07-14T12:47:49Z","_id":"7103"},{"_id":"7105","external_id":{"pmid":["31685997"],"isi":["000495888300009"]},"scopus_import":"1","type":"journal_article","department":[{"_id":"MiSi"}],"oa_version":"Submitted Version","date_updated":"2023-09-06T11:08:52Z","author":[{"last_name":"Yolland","full_name":"Yolland, Lawrence","first_name":"Lawrence"},{"full_name":"Burki, Mubarik","first_name":"Mubarik","last_name":"Burki"},{"last_name":"Marcotti","full_name":"Marcotti, Stefania","first_name":"Stefania"},{"full_name":"Luchici, Andrei","first_name":"Andrei","last_name":"Luchici"},{"last_name":"Kenny","full_name":"Kenny, Fiona N.","first_name":"Fiona N."},{"full_name":"Davis, John Robert","first_name":"John Robert","last_name":"Davis"},{"last_name":"Serna-Morales","full_name":"Serna-Morales, Eduardo","first_name":"Eduardo"},{"last_name":"Müller","first_name":"Jan","full_name":"Müller, Jan","id":"AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D"},{"first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","last_name":"Sixt"},{"full_name":"Davidson, Andrew","first_name":"Andrew","last_name":"Davidson"},{"last_name":"Wood","first_name":"Will","full_name":"Wood, Will"},{"full_name":"Schumacher, Linus J.","first_name":"Linus J.","last_name":"Schumacher"},{"full_name":"Endres, Robert G.","first_name":"Robert G.","last_name":"Endres"},{"last_name":"Miodownik","first_name":"Mark","full_name":"Miodownik, Mark"},{"first_name":"Brian M.","full_name":"Stramer, Brian M.","last_name":"Stramer"}],"oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ieee":"L. Yolland <i>et al.</i>, “Persistent and polarized global actin flow is essential for directionality during cell migration,” <i>Nature Cell Biology</i>, vol. 21, no. 11. Springer Nature, pp. 1370–1381, 2019.","short":"L. Yolland, M. Burki, S. Marcotti, A. Luchici, F.N. Kenny, J.R. Davis, E. Serna-Morales, J. Müller, M.K. Sixt, A. Davidson, W. Wood, L.J. Schumacher, R.G. Endres, M. Miodownik, B.M. Stramer, Nature Cell Biology 21 (2019) 1370–1381.","ama":"Yolland L, Burki M, Marcotti S, et al. Persistent and polarized global actin flow is essential for directionality during cell migration. <i>Nature Cell Biology</i>. 2019;21(11):1370-1381. doi:<a href=\"https://doi.org/10.1038/s41556-019-0411-5\">10.1038/s41556-019-0411-5</a>","chicago":"Yolland, Lawrence, Mubarik Burki, Stefania Marcotti, Andrei Luchici, Fiona N. Kenny, John Robert Davis, Eduardo Serna-Morales, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” <i>Nature Cell Biology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41556-019-0411-5\">https://doi.org/10.1038/s41556-019-0411-5</a>.","ista":"Yolland L, Burki M, Marcotti S, Luchici A, Kenny FN, Davis JR, Serna-Morales E, Müller J, Sixt MK, Davidson A, Wood W, Schumacher LJ, Endres RG, Miodownik M, Stramer BM. 2019. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 21(11), 1370–1381.","mla":"Yolland, Lawrence, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” <i>Nature Cell Biology</i>, vol. 21, no. 11, Springer Nature, 2019, pp. 1370–81, doi:<a href=\"https://doi.org/10.1038/s41556-019-0411-5\">10.1038/s41556-019-0411-5</a>.","apa":"Yolland, L., Burki, M., Marcotti, S., Luchici, A., Kenny, F. N., Davis, J. R., … Stramer, B. M. (2019). Persistent and polarized global actin flow is essential for directionality during cell migration. <i>Nature Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41556-019-0411-5\">https://doi.org/10.1038/s41556-019-0411-5</a>"},"title":"Persistent and polarized global actin flow is essential for directionality during cell migration","date_published":"2019-11-01T00:00:00Z","quality_controlled":"1","date_created":"2019-11-25T08:55:00Z","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7025891","open_access":"1"}],"year":"2019","article_processing_charge":"No","volume":21,"publication":"Nature Cell Biology","pmid":1,"status":"public","publication_identifier":{"issn":["1465-7392"],"eissn":["1476-4679"]},"issue":"11","abstract":[{"lang":"eng","text":"Cell migration is hypothesized to involve a cycle of behaviours beginning with leading edge extension. However, recent evidence suggests that the leading edge may be dispensable for migration, raising the question of what actually controls cell directionality. Here, we exploit the embryonic migration of Drosophila macrophages to bridge the different temporal scales of the behaviours controlling motility. This approach reveals that edge fluctuations during random motility are not persistent and are weakly correlated with motion. In contrast, flow of the actin network behind the leading edge is highly persistent. Quantification of actin flow structure during migration reveals a stable organization and asymmetry in the cell-wide flowfield that strongly correlates with cell directionality. This organization is regulated by a gradient of actin network compression and destruction, which is controlled by myosin contraction and cofilin-mediated disassembly. It is this stable actin-flow polarity, which integrates rapid fluctuations of the leading edge, that controls inherent cellular persistence."}],"doi":"10.1038/s41556-019-0411-5","month":"11","isi":1,"publication_status":"published","day":"01","publisher":"Springer Nature","intvolume":"        21","article_type":"original","page":"1370-1381","language":[{"iso":"eng"}]},{"external_id":{"isi":["000496526100010"],"pmid":["31712756"]},"scopus_import":"1","file_date_updated":"2020-10-14T08:54:49Z","_id":"7106","file":[{"file_name":"2019_NaturePlants_Skokan_accepted.pdf","file_size":1980851,"content_type":"application/pdf","date_updated":"2020-10-14T08:54:49Z","access_level":"open_access","date_created":"2020-10-14T08:54:49Z","success":1,"file_id":"8660","relation":"main_file","checksum":"94e0426856aad9a9bd0135d5436efbf1","creator":"dernst"}],"department":[{"_id":"JiFr"}],"date_updated":"2023-09-06T11:09:49Z","oa_version":"Submitted Version","oa":1,"author":[{"last_name":"Skokan","first_name":"Roman","full_name":"Skokan, Roman"},{"last_name":"Medvecká","full_name":"Medvecká, Eva","first_name":"Eva"},{"last_name":"Viaene","first_name":"Tom","full_name":"Viaene, Tom"},{"last_name":"Vosolsobě","first_name":"Stanislav","full_name":"Vosolsobě, Stanislav"},{"full_name":"Zwiewka, Marta","first_name":"Marta","last_name":"Zwiewka"},{"full_name":"Müller, Karel","first_name":"Karel","last_name":"Müller"},{"last_name":"Skůpa","full_name":"Skůpa, Petr","first_name":"Petr"},{"last_name":"Karady","first_name":"Michal","full_name":"Karady, Michal"},{"last_name":"Zhang","first_name":"Yuzhou","full_name":"Zhang, Yuzhou"},{"last_name":"Janacek","full_name":"Janacek, Dorina P.","first_name":"Dorina P."},{"last_name":"Hammes","full_name":"Hammes, Ulrich Z.","first_name":"Ulrich Z."},{"full_name":"Ljung, Karin","first_name":"Karin","last_name":"Ljung"},{"first_name":"Tomasz","full_name":"Nodzyński, Tomasz","last_name":"Nodzyński"},{"last_name":"Petrášek","full_name":"Petrášek, Jan","first_name":"Jan"},{"last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596"}],"has_accepted_license":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Skokan, Roman, Eva Medvecká, Tom Viaene, Stanislav Vosolsobě, Marta Zwiewka, Karel Müller, Petr Skůpa, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” <i>Nature Plants</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41477-019-0542-5\">https://doi.org/10.1038/s41477-019-0542-5</a>.","short":"R. Skokan, E. Medvecká, T. Viaene, S. Vosolsobě, M. Zwiewka, K. Müller, P. Skůpa, M. Karady, Y. Zhang, D.P. Janacek, U.Z. Hammes, K. Ljung, T. Nodzyński, J. Petrášek, J. Friml, Nature Plants 5 (2019) 1114–1119.","ama":"Skokan R, Medvecká E, Viaene T, et al. PIN-driven auxin transport emerged early in streptophyte evolution. <i>Nature Plants</i>. 2019;5(11):1114-1119. doi:<a href=\"https://doi.org/10.1038/s41477-019-0542-5\">10.1038/s41477-019-0542-5</a>","ieee":"R. Skokan <i>et al.</i>, “PIN-driven auxin transport emerged early in streptophyte evolution,” <i>Nature Plants</i>, vol. 5, no. 11. Springer Nature, pp. 1114–1119, 2019.","mla":"Skokan, Roman, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” <i>Nature Plants</i>, vol. 5, no. 11, Springer Nature, 2019, pp. 1114–19, doi:<a href=\"https://doi.org/10.1038/s41477-019-0542-5\">10.1038/s41477-019-0542-5</a>.","apa":"Skokan, R., Medvecká, E., Viaene, T., Vosolsobě, S., Zwiewka, M., Müller, K., … Friml, J. (2019). PIN-driven auxin transport emerged early in streptophyte evolution. <i>Nature Plants</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41477-019-0542-5\">https://doi.org/10.1038/s41477-019-0542-5</a>","ista":"Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P, Karady M, Zhang Y, Janacek DP, Hammes UZ, Ljung K, Nodzyński T, Petrášek J, Friml J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 5(11), 1114–1119."},"type":"journal_article","date_published":"2019-11-01T00:00:00Z","title":"PIN-driven auxin transport emerged early in streptophyte evolution","project":[{"grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020","_id":"261099A6-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","year":"2019","volume":5,"article_processing_charge":"No","publication":"Nature Plants","date_created":"2019-11-25T09:08:04Z","ddc":["580"],"issue":"11","doi":"10.1038/s41477-019-0542-5","abstract":[{"lang":"eng","text":"PIN-FORMED (PIN) transporters mediate directional, intercellular movement of the phytohormone auxin in land plants. To elucidate the evolutionary origins of this developmentally crucial mechanism, we analysed the single PIN homologue of a simple green alga Klebsormidium flaccidum. KfPIN functions as a plasma membrane-localized auxin exporter in land plants and heterologous models. While its role in algae remains unclear, PIN-driven auxin export is probably an ancient and conserved trait within streptophytes."}],"status":"public","pmid":1,"publication_identifier":{"issn":["2055-0278"]},"publication_status":"published","ec_funded":1,"day":"01","month":"11","isi":1,"publisher":"Springer Nature","language":[{"iso":"eng"}],"intvolume":"         5","article_type":"original","page":"1114-1119"},{"type":"journal_article","department":[{"_id":"UlWa"}],"oa_version":"Preprint","date_updated":"2023-09-06T11:10:58Z","author":[{"last_name":"Goaoc","full_name":"Goaoc, Xavier","first_name":"Xavier"},{"first_name":"Pavel","full_name":"Patak, Pavel","id":"B593B804-1035-11EA-B4F1-947645A5BB83","last_name":"Patak"},{"orcid":"0000-0002-3975-1683","first_name":"Zuzana","id":"48B57058-F248-11E8-B48F-1D18A9856A87","full_name":"Patakova, Zuzana","last_name":"Patakova"},{"last_name":"Tancer","first_name":"Martin","full_name":"Tancer, Martin"},{"orcid":"0000-0002-1494-0568","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli","last_name":"Wagner"}],"oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3), 21.","apa":"Goaoc, X., Patak, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2019). Shellability is NP-complete. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3314024\">https://doi.org/10.1145/3314024</a>","mla":"Goaoc, Xavier, et al. “Shellability Is NP-Complete.” <i>Journal of the ACM</i>, vol. 66, no. 3, 21, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3314024\">10.1145/3314024</a>.","ama":"Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. <i>Journal of the ACM</i>. 2019;66(3). doi:<a href=\"https://doi.org/10.1145/3314024\">10.1145/3314024</a>","short":"X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).","chicago":"Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” <i>Journal of the ACM</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3314024\">https://doi.org/10.1145/3314024</a>.","ieee":"X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019."},"_id":"7108","external_id":{"arxiv":["1711.08436"],"isi":["000495406300007"]},"scopus_import":"1","date_created":"2019-11-26T10:13:59Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/pdf/1711.08436.pdf"}],"year":"2019","article_processing_charge":"No","volume":66,"publication":"Journal of the ACM","title":"Shellability is NP-complete","date_published":"2019-06-01T00:00:00Z","quality_controlled":"1","month":"06","related_material":{"record":[{"id":"184","relation":"earlier_version","status":"public"}]},"isi":1,"publication_status":"published","day":"01","status":"public","publication_identifier":{"issn":["0004-5411"]},"issue":"3","doi":"10.1145/3314024","abstract":[{"text":"We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable.","lang":"eng"}],"intvolume":"        66","article_number":"21","article_type":"original","language":[{"iso":"eng"}],"arxiv":1,"publisher":"ACM"},{"abstract":[{"lang":"eng","text":"We show how to construct temporal testers for the logic MITL, a prominent linear-time logic for real-time systems. A temporal tester is a transducer that inputs a signal holding the Boolean value of atomic propositions and outputs the truth value of a formula along time. Here we consider testers over continuous-time Boolean signals that use clock variables to enforce duration constraints, as in timed automata. We first rewrite the MITL formula into a “simple” formula using a limited set of temporal modalities. We then build testers for these specific modalities and show how to compose testers for simple formulae into complex ones. Temporal testers can be turned into acceptors, yielding a compositional translation from MITL to timed automata. This construction is much simpler than previously known and remains asymptotically optimal. It supports both past and future operators and can easily be extended."}],"doi":"10.1145/3286976","issue":"3","publication_identifier":{"issn":["0004-5411"]},"status":"public","day":"01","publication_status":"published","isi":1,"month":"05","publisher":"ACM","language":[{"iso":"eng"}],"article_type":"original","article_number":"19","intvolume":"        66","scopus_import":"1","external_id":{"isi":["000495406300005"]},"_id":"7109","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"apa":"Ferrere, T., Maler, O., Ničković, D., &#38; Pnueli, A. (2019). From real-time logic to timed automata. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3286976\">https://doi.org/10.1145/3286976</a>","mla":"Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” <i>Journal of the ACM</i>, vol. 66, no. 3, 19, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3286976\">10.1145/3286976</a>.","ista":"Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed automata. Journal of the ACM. 66(3), 19.","chicago":"Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” <i>Journal of the ACM</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3286976\">https://doi.org/10.1145/3286976</a>.","short":"T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).","ama":"Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. <i>Journal of the ACM</i>. 2019;66(3). doi:<a href=\"https://doi.org/10.1145/3286976\">10.1145/3286976</a>","ieee":"T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to timed automata,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019."},"author":[{"last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"last_name":"Ničković","full_name":"Ničković, Dejan","first_name":"Dejan"},{"first_name":"Amir","full_name":"Pnueli, Amir","last_name":"Pnueli"}],"oa_version":"None","date_updated":"2023-09-06T11:11:56Z","department":[{"_id":"ToHe"}],"type":"journal_article","quality_controlled":"1","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize"}],"date_published":"2019-05-01T00:00:00Z","title":"From real-time logic to timed automata","publication":"Journal of the ACM","volume":66,"article_processing_charge":"No","year":"2019","date_created":"2019-11-26T10:22:32Z"},{"abstract":[{"lang":"eng","text":"We propose a novel generic shape optimization method for CAD models based on the eXtended Finite Element Method (XFEM). Our method works directly on the intersection between the model and a regular simulation grid, without the need to mesh or remesh, thus removing a bottleneck of classical shape optimization strategies. This is made possible by a novel hierarchical integration scheme that accurately integrates finite element quantities with sub-element precision. For optimization, we efficiently compute analytical shape derivatives of the entire framework, from model intersection to integration rule generation and XFEM simulation. Moreover, we describe a differentiable projection of shape parameters onto a constraint manifold spanned by user-specified shape preservation, consistency, and manufacturability constraints. We demonstrate the utility of our approach by optimizing mass distribution, strength-to-weight ratio, and inverse elastic shape design objectives directly on parameterized 3D CAD models."}],"doi":"10.1145/3355089.3356576","issue":"6","publication_identifier":{"issn":["0730-0301"]},"status":"public","day":"06","ec_funded":1,"publication_status":"published","isi":1,"month":"11","related_material":{"record":[{"status":"public","id":"12897","relation":"dissertation_contains"}]},"publisher":"ACM","language":[{"iso":"eng"}],"article_type":"original","article_number":"157","intvolume":"        38","file_date_updated":"2020-07-14T12:47:49Z","scopus_import":"1","external_id":{"isi":["000498397300007"]},"_id":"7117","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger, Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” <i>ACM Transactions on Graphics</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3355089.3356576\">https://doi.org/10.1145/3355089.3356576</a>.","short":"C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).","ama":"Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. X-CAD: Optimizing CAD Models with Extended Finite Elements. <i>ACM Transactions on Graphics</i>. 2019;38(6). doi:<a href=\"https://doi.org/10.1145/3355089.3356576\">10.1145/3355089.3356576</a>","ieee":"C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, and M. Bächer, “X-CAD: Optimizing CAD Models with Extended Finite Elements,” <i>ACM Transactions on Graphics</i>, vol. 38, no. 6. ACM, 2019.","mla":"Hafner, Christian, et al. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” <i>ACM Transactions on Graphics</i>, vol. 38, no. 6, 157, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3355089.3356576\">10.1145/3355089.3356576</a>.","apa":"Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., &#38; Bächer, M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3355089.3356576\">https://doi.org/10.1145/3355089.3356576</a>","ista":"Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. 2019. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 38(6), 157."},"has_accepted_license":"1","oa":1,"author":[{"last_name":"Hafner","id":"400429CC-F248-11E8-B48F-1D18A9856A87","full_name":"Hafner, Christian","first_name":"Christian"},{"full_name":"Schumacher, Christian","first_name":"Christian","last_name":"Schumacher"},{"first_name":"Espen","full_name":"Knoop, Espen","last_name":"Knoop"},{"full_name":"Auzinger, Thomas","first_name":"Thomas","id":"4718F954-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1546-3265","last_name":"Auzinger"},{"orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","last_name":"Bickel"},{"last_name":"Bächer","first_name":"Moritz","full_name":"Bächer, Moritz"}],"oa_version":"Submitted Version","date_updated":"2024-03-25T23:30:26Z","file":[{"relation":"supplementary_material","checksum":"56a2fb019adcb556d2b022f5e5acb68c","title":"X-CAD Supplemental Material","creator":"bbickel","file_name":"xcad_sup_mat_siga19.pdf","file_size":1673176,"content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","access_level":"open_access","date_created":"2019-11-26T14:24:26Z","file_id":"7119"},{"file_name":"XCAD_authors_version.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_size":14563618,"access_level":"open_access","file_id":"7120","date_created":"2019-11-26T14:24:27Z","checksum":"5f29d76aceb5102e766cbab9b17d776e","relation":"main_file","creator":"bbickel","title":"X-CAD: Optimizing CAD Models with Extended Finite Elements","description":"This is the author's version of the work."},{"date_created":"2019-11-26T14:27:37Z","file_id":"7121","access_level":"open_access","file_size":259979129,"content_type":"video/mp4","date_updated":"2020-07-14T12:47:49Z","file_name":"XCAD_video.mp4","creator":"bbickel","relation":"main_file","checksum":"0d31e123286cbec9e28b2001c2bb0d55"}],"department":[{"_id":"BeBi"}],"type":"journal_article","quality_controlled":"1","project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"date_published":"2019-11-06T00:00:00Z","title":"X-CAD: Optimizing CAD Models with Extended Finite Elements","publication":"ACM Transactions on Graphics","volume":38,"article_processing_charge":"No","year":"2019","ddc":["000"],"date_created":"2019-11-26T14:22:09Z"}]
