--- _id: '7398' abstract: - lang: eng text: 'Transporters of the solute carrier 6 (SLC6) family translocate their cognate substrate together with Na+ and Cl−. Detailed kinetic models exist for the transporters of GABA (GAT1/SLC6A1) and the monoamines dopamine (DAT/SLC6A3) and serotonin (SERT/SLC6A4). Here, we posited that the transport cycle of individual SLC6 transporters reflects the physiological requirements they operate under. We tested this hypothesis by analyzing the transport cycle of glycine transporter 1 (GlyT1/SLC6A9) and glycine transporter 2 (GlyT2/SLC6A5). GlyT2 is the only SLC6 family member known to translocate glycine, Na+, and Cl− in a 1:3:1 stoichiometry. We analyzed partial reactions in real time by electrophysiological recordings. Contrary to monoamine transporters, both GlyTs were found to have a high transport capacity driven by rapid return of the empty transporter after release of Cl− on the intracellular side. Rapid cycling of both GlyTs was further supported by highly cooperative binding of cosubstrate ions and substrate such that their forward transport mode was maintained even under conditions of elevated intracellular Na+ or Cl−. The most important differences in the transport cycle of GlyT1 and GlyT2 arose from the kinetics of charge movement and the resulting voltage-dependent rate-limiting reactions: the kinetics of GlyT1 were governed by transition of the substrate-bound transporter from outward- to inward-facing conformations, whereas the kinetics of GlyT2 were governed by Na+ binding (or a related conformational change). Kinetic modeling showed that the kinetics of GlyT1 are ideally suited for supplying the extracellular glycine levels required for NMDA receptor activation.' article_processing_charge: No article_type: original author: - first_name: Fatma Asli full_name: Erdem, Fatma Asli last_name: Erdem - first_name: Marija full_name: Ilic, Marija last_name: Ilic - first_name: Peter full_name: Koppensteiner, Peter id: 3B8B25A8-F248-11E8-B48F-1D18A9856A87 last_name: Koppensteiner orcid: 0000-0002-3509-1948 - first_name: Jakub full_name: Gołacki, Jakub last_name: Gołacki - first_name: Gert full_name: Lubec, Gert last_name: Lubec - first_name: Michael full_name: Freissmuth, Michael last_name: Freissmuth - first_name: Walter full_name: Sandtner, Walter last_name: Sandtner citation: ama: Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 2019;151(8):1035-1050. doi:10.1085/jgp.201912318 apa: Erdem, F. A., Ilic, M., Koppensteiner, P., Gołacki, J., Lubec, G., Freissmuth, M., & Sandtner, W. (2019). A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. Rockefeller University Press. https://doi.org/10.1085/jgp.201912318 chicago: Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology. Rockefeller University Press, 2019. https://doi.org/10.1085/jgp.201912318. ieee: F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019. ista: Erdem FA, Ilic M, Koppensteiner P, Gołacki J, Lubec G, Freissmuth M, Sandtner W. 2019. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 151(8), 1035–1050. mla: Erdem, Fatma Asli, et al. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology, vol. 151, no. 8, Rockefeller University Press, 2019, pp. 1035–50, doi:10.1085/jgp.201912318. short: F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050. date_created: 2020-01-29T16:06:29Z date_published: 2019-07-03T00:00:00Z date_updated: 2023-09-07T14:52:23Z day: '03' ddc: - '570' department: - _id: RySh doi: 10.1085/jgp.201912318 external_id: isi: - '000478792500008' pmid: - '31270129' file: - access_level: open_access checksum: 5706b4ccd74ee3e50bf7ecb2a203df71 content_type: application/pdf creator: dernst date_created: 2020-02-05T07:20:32Z date_updated: 2020-07-14T12:47:57Z file_id: '7450' file_name: 2019_JGP_Erdem.pdf file_size: 2641297 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 151' isi: 1 issue: '8' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 1035-1050 pmid: 1 publication: The Journal of General Physiology publication_identifier: eissn: - 1540-7748 issn: - 0022-1295 publication_status: published publisher: Rockefeller University Press quality_controlled: '1' scopus_import: '1' status: public title: A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2 tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 151 year: '2019' ... --- _id: '7422' abstract: - lang: eng text: Biochemical reactions often occur at low copy numbers but at once in crowded and diverse environments. Space and stochasticity therefore play an essential role in biochemical networks. Spatial-stochastic simulations have become a prominent tool for understanding how stochasticity at the microscopic level influences the macroscopic behavior of such systems. While particle-based models guarantee the level of detail necessary to accurately describe the microscopic dynamics at very low copy numbers, the algorithms used to simulate them typically imply trade-offs between computational efficiency and biochemical accuracy. eGFRD (enhanced Green’s Function Reaction Dynamics) is an exact algorithm that evades such trade-offs by partitioning the N-particle system into M ≤ N analytically tractable one- and two-particle systems; the analytical solutions (Green’s functions) then are used to implement an event-driven particle-based scheme that allows particles to make large jumps in time and space while retaining access to their state variables at arbitrary simulation times. Here we present “eGFRD2,” a new eGFRD version that implements the principle of eGFRD in all dimensions, thus enabling efficient particle-based simulation of biochemical reaction-diffusion processes in the 3D cytoplasm, on 2D planes representing membranes, and on 1D elongated cylinders representative of, e.g., cytoskeletal tracks or DNA; in 1D, it also incorporates convective motion used to model active transport. We find that, for low particle densities, eGFRD2 is up to 6 orders of magnitude faster than conventional Brownian dynamics. We exemplify the capabilities of eGFRD2 by simulating an idealized model of Pom1 gradient formation, which involves 3D diffusion, active transport on microtubules, and autophosphorylation on the membrane, confirming recent experimental and theoretical results on this system to hold under genuinely stochastic conditions. article_number: '054108' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Thomas R full_name: Sokolowski, Thomas R id: 3E999752-F248-11E8-B48F-1D18A9856A87 last_name: Sokolowski orcid: 0000-0002-1287-3779 - first_name: Joris full_name: Paijmans, Joris last_name: Paijmans - first_name: Laurens full_name: Bossen, Laurens last_name: Bossen - first_name: Thomas full_name: Miedema, Thomas last_name: Miedema - first_name: Martijn full_name: Wehrens, Martijn last_name: Wehrens - first_name: Nils B. full_name: Becker, Nils B. last_name: Becker - first_name: Kazunari full_name: Kaizu, Kazunari last_name: Kaizu - first_name: Koichi full_name: Takahashi, Koichi last_name: Takahashi - first_name: Marileen full_name: Dogterom, Marileen last_name: Dogterom - first_name: Pieter Rein full_name: ten Wolde, Pieter Rein last_name: ten Wolde citation: ama: Sokolowski TR, Paijmans J, Bossen L, et al. eGFRD in all dimensions. The Journal of Chemical Physics. 2019;150(5). doi:10.1063/1.5064867 apa: Sokolowski, T. R., Paijmans, J., Bossen, L., Miedema, T., Wehrens, M., Becker, N. B., … ten Wolde, P. R. (2019). eGFRD in all dimensions. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5064867 chicago: Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.” The Journal of Chemical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5064867. ieee: T. R. Sokolowski et al., “eGFRD in all dimensions,” The Journal of Chemical Physics, vol. 150, no. 5. AIP Publishing, 2019. ista: Sokolowski TR, Paijmans J, Bossen L, Miedema T, Wehrens M, Becker NB, Kaizu K, Takahashi K, Dogterom M, ten Wolde PR. 2019. eGFRD in all dimensions. The Journal of Chemical Physics. 150(5), 054108. mla: Sokolowski, Thomas R., et al. “EGFRD in All Dimensions.” The Journal of Chemical Physics, vol. 150, no. 5, 054108, AIP Publishing, 2019, doi:10.1063/1.5064867. short: T.R. Sokolowski, J. Paijmans, L. Bossen, T. Miedema, M. Wehrens, N.B. Becker, K. Kaizu, K. Takahashi, M. Dogterom, P.R. ten Wolde, The Journal of Chemical Physics 150 (2019). date_created: 2020-01-30T10:34:36Z date_published: 2019-02-07T00:00:00Z date_updated: 2023-09-06T14:59:28Z day: '07' department: - _id: GaTk doi: 10.1063/1.5064867 external_id: arxiv: - '1708.09364' isi: - '000458109300009' intvolume: ' 150' isi: 1 issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1708.09364 month: '02' oa: 1 oa_version: Preprint publication: The Journal of Chemical Physics publication_identifier: eissn: - 1089-7690 issn: - 0021-9606 publication_status: published publisher: AIP Publishing quality_controlled: '1' status: public title: eGFRD in all dimensions type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 150 year: '2019' ... --- _id: '9897' abstract: - lang: eng text: Frameshift and nonsense mutations near homopolymeric tracts of OG1 genes. Only 374 genes with typical length and domain composition were considered. (CSV 6 kb) article_processing_charge: No author: - first_name: Olga M. full_name: Sigalova, Olga M. last_name: Sigalova - first_name: Andrei V. full_name: Chaplin, Andrei V. last_name: Chaplin - first_name: Olga full_name: Bochkareva, Olga id: C4558D3C-6102-11E9-A62E-F418E6697425 last_name: Bochkareva orcid: 0000-0003-1006-6639 - first_name: Pavel V. full_name: Shelyakin, Pavel V. last_name: Shelyakin - first_name: Vsevolod A. full_name: Filaretov, Vsevolod A. last_name: Filaretov - first_name: Evgeny E. full_name: Akkuratov, Evgeny E. last_name: Akkuratov - first_name: Valentina full_name: Burskaia, Valentina last_name: Burskaia - first_name: Mikhail S. full_name: Gelfand, Mikhail S. last_name: Gelfand citation: ama: Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808850.v1 apa: Sigalova, O. M., Chaplin, A. V., Bochkareva, O., Shelyakin, P. V., Filaretov, V. A., Akkuratov, E. E., … Gelfand, M. S. (2019). Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. Springer Nature. https://doi.org/10.6084/m9.figshare.9808850.v1 chicago: Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808850.v1. ieee: O. M. Sigalova et al., “Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019. ista: Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov EE, Burskaia V, Gelfand MS. 2019. Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction, Springer Nature, 10.6084/m9.figshare.9808850.v1. mla: Sigalova, Olga M., et al. Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808850.v1. short: O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019). date_created: 2021-08-12T07:58:15Z date_published: 2019-09-12T00:00:00Z date_updated: 2026-04-03T09:39:41Z day: '12' department: - _id: FyKo doi: 10.6084/m9.figshare.9808850.v1 main_file_link: - open_access: '1' url: https://doi.org/10.6084/m9.figshare.9808850.v1 month: '09' oa: 1 oa_version: Published Version publisher: Springer Nature related_material: record: - id: '6898' relation: used_in_publication status: public status: public title: Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- OA_place: repository OA_type: green _id: '22066' abstract: - lang: eng text: "We prove almost sure global existence and scattering for the energy-critical nonlinear Schrödinger equation with randomized spherically symmetric initial data in \U0001D43B\U0001D460⁡(ℝ4) with \r\n5/6<\U0001D460<1. We were inspired to consider this problem by the recent work of Dodson–Lührmann–Mendelson, which treated the analogous problem for the energy-critical wave equation." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Rowan full_name: Killip, Rowan last_name: Killip - first_name: Jason full_name: Murphy, Jason last_name: Murphy - first_name: Monica full_name: Visan, Monica id: 056daca0-b8d1-11f0-964f-f91054abf8ca last_name: Visan citation: ama: Killip R, Murphy J, Vişan M. Almost sure scattering for the energy-critical NLS with radial data below H1(R4). Communications in Partial Differential Equations. 2019;44(1):51-71. doi:10.1080/03605302.2018.1541904 apa: Killip, R., Murphy, J., & Vişan, M. (2019). Almost sure scattering for the energy-critical NLS with radial data below H1(R4). Communications in Partial Differential Equations. Informa UK Limited. https://doi.org/10.1080/03605302.2018.1541904 chicago: Killip, Rowan, Jason Murphy, and Monica Vişan. “Almost Sure Scattering for the Energy-Critical NLS with Radial Data below H1(R4).” Communications in Partial Differential Equations. Informa UK Limited, 2019. https://doi.org/10.1080/03605302.2018.1541904. ieee: R. Killip, J. Murphy, and M. Vişan, “Almost sure scattering for the energy-critical NLS with radial data below H1(R4),” Communications in Partial Differential Equations, vol. 44, no. 1. Informa UK Limited, pp. 51–71, 2019. ista: Killip R, Murphy J, Vişan M. 2019. Almost sure scattering for the energy-critical NLS with radial data below H1(R4). Communications in Partial Differential Equations. 44(1), 51–71. mla: Killip, Rowan, et al. “Almost Sure Scattering for the Energy-Critical NLS with Radial Data below H1(R4).” Communications in Partial Differential Equations, vol. 44, no. 1, Informa UK Limited, 2019, pp. 51–71, doi:10.1080/03605302.2018.1541904. short: R. Killip, J. Murphy, M. Vişan, Communications in Partial Differential Equations 44 (2019) 51–71. das_tickbox: '1' date_created: 2026-06-19T08:13:26Z date_published: 2019-02-15T00:00:00Z date_updated: 2026-06-30T07:16:06Z day: '15' doi: 10.1080/03605302.2018.1541904 extern: '1' external_id: arxiv: - '1707.09051' intvolume: ' 44' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1707.09051 mathsc: - 35Q55 month: '02' oa: 1 oa_version: Preprint page: 51-71 publication: Communications in Partial Differential Equations publication_identifier: eissn: - 1532-4133 issn: - 0360-5302 publication_status: published publisher: Informa UK Limited quality_controlled: '1' scopus_import: '1' status: public title: Almost sure scattering for the energy-critical NLS with radial data below H1(R4) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 44 year: '2019' ... --- _id: '6822' abstract: - lang: eng text: "In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the qualitative winner or quantitative payoff of the game. In bidding games, in each turn, we hold an auction between the two players to determine which player moves the token. Bidding games have largely been studied with concrete bidding mechanisms that are variants of a first-price auction: in each turn both players simultaneously submit bids, the higher\r\nbidder moves the token, and pays his bid to the lower bidder in Richman bidding, to the bank in poorman bidding, and in taxman bidding, the bid is split between the other player and the bank according to a predefined constant factor. Bidding games are deterministic games. They have an intriguing connection with a fragment of stochastic games called \r\n randomturn games. We study, for the first time, a combination of bidding games with probabilistic behavior; namely, we study bidding games that are played on Markov decision processes, where the players bid for the right to choose the next action, which determines the probability distribution according to which the next vertex is chosen. We study parity and meanpayoff bidding games on MDPs and extend results from the deterministic bidding setting to the probabilistic one." alternative_title: - LNCS article_processing_charge: No author: - first_name: Guy full_name: Avni, Guy id: 463C8BC2-F248-11E8-B48F-1D18A9856A87 last_name: Avni orcid: 0000-0001-5588-8287 - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Rasmus full_name: Ibsen-Jensen, Rasmus id: 3B699956-F248-11E8-B48F-1D18A9856A87 last_name: Ibsen-Jensen orcid: 0000-0003-4783-0389 - first_name: Petr full_name: Novotny, Petr last_name: Novotny citation: ama: 'Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1' apa: 'Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1' chicago: Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1. ieee: G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12. ista: 'Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674, 1–12.' mla: Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, vol. 11674, Springer, 2019, pp. 1–12, doi:10.1007/978-3-030-30806-3_1. short: G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12. conference: end_date: 2019-09-13 location: Brussels, Belgium name: 'RP: Reachability Problems' start_date: 2019-09-11 das_tickbox: '1' date_created: 2019-08-19T07:58:10Z date_published: 2019-09-06T00:00:00Z date_updated: 2026-07-07T13:29:21Z day: '06' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-030-30806-3_1 external_id: isi: - '001333747500001' file: - access_level: open_access checksum: 45ebbc709af2b247d28c7c293c01504b content_type: application/pdf creator: gavni date_created: 2019-08-19T07:56:40Z date_updated: 2020-07-14T12:47:41Z file_id: '6823' file_name: prob.pdf file_size: 436635 relation: main_file file_date_updated: 2020-07-14T12:47:41Z has_accepted_license: '1' intvolume: ' 11674' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Submitted Version page: 1-12 project: - _id: 264B3912-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02369 name: Formal Methods meets Algorithmic Game Theory - _id: 25F2ACDE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Rigorous Systems Engineering - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: Proceedings of the 13th International Conference of Reachability Problems publication_identifier: isbn: - 978-303030805-6 issn: - 0302-9743 publication_status: published publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: Bidding games on Markov decision processes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 11674 year: '2019' ... --- _id: '6490' abstract: - lang: eng text: "Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money (cryptocurrency units). Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars and their code is immutable after deployment. Hence, an undetected bug can cause significant financial losses. Compiler optimization is also crucial, because every action of a smart contract has to be executed by every node in the Blockchain network. Therefore, optimizations in compiling smart contracts can lead to significant savings in computation, time and energy.\r\n\r\nTwo classical approaches in program analysis and compiler optimization are intraprocedural and interprocedural analysis. In intraprocedural analysis, each function is analyzed separately, while interprocedural analysis considers the entire program. In both cases, the analyses are usually reduced to graph problems over the control flow graph (CFG) of the program. These graph problems are often computationally expensive. Hence, there has been ample research on exploiting structural properties of CFGs for efficient algorithms. One such well-studied property is the treewidth, which is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs of structured programs have treewidth at most 6, whereas the interprocedural treewidth cannot be bounded. This result has been used as a basis for many efficient intraprocedural analyses.\r\n\r\nIn this paper, we explore the idea of exploiting the treewidth of smart contracts for formal analysis and compiler optimization. First, similar to classical programs, we show that the intraprocedural treewidth of structured Solidity and Vyper smart contracts is at most 9. Second, for global analysis, we prove that the interprocedural treewidth of structured smart contracts is bounded by 10 and, in sharp contrast with classical programs, treewidth-based algorithms can be easily applied for interprocedural analysis. Finally, we supplement our theoretical results with experiments using a tool we implemented for computing treewidth of smart contracts and show that the treewidth is much lower in practice. We use 36,764 real-world Ethereum smart contracts as benchmarks and find that they have an average treewidth of at most 3.35 for the intraprocedural case and 3.65 for the interprocedural case.\r\n" article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Amir Kafshdar full_name: Goharshady, Amir Kafshdar id: 391365CE-F248-11E8-B48F-1D18A9856A87 last_name: Goharshady orcid: 0000-0003-1702-6584 - first_name: Ehsan Kafshdar full_name: Goharshady, Ehsan Kafshdar last_name: Goharshady citation: ama: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:400-408. doi:10.1145/3297280.3297322' apa: 'Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (2019). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322' chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, 2019. https://doi.org/10.1145/3297280.3297322. ieee: K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 400–408. ista: 'Chatterjee K, Goharshady AK, Goharshady EK. 2019. The treewidth of smart contracts. Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on Applied Computing vol. Part F147772, 400–408.' mla: Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 400–08, doi:10.1145/3297280.3297322. short: K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 400–408. conference: end_date: 2019-04-12 location: Limassol, Cyprus name: 'SAC: Symposium on Applied Computing' start_date: 2019-04-08 corr_author: '1' date_created: 2019-05-26T21:59:15Z date_published: 2019-04-01T00:00:00Z date_updated: 2026-07-21T22:30:55Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1145/3297280.3297322 external_id: isi: - '000474685800052' file: - access_level: open_access checksum: dddc20f6d9881f23b8755eb720ec9d6f content_type: application/pdf creator: dernst date_created: 2020-05-14T09:50:11Z date_updated: 2020-07-14T12:47:32Z file_id: '7827' file_name: 2019_ACM_Chatterjee.pdf file_size: 6937138 relation: main_file file_date_updated: 2020-07-14T12:47:32Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Submitted Version page: 400-408 publication: Proceedings of the 34th ACM Symposium on Applied Computing publication_identifier: isbn: - '9781450359337' publication_status: published publisher: ACM pubrep_id: '1070' quality_controlled: '1' related_material: record: - id: '8934' relation: dissertation_contains status: public scopus_import: '1' status: public title: The treewidth of smart contracts type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: Part F147772 year: '2019' ... --- _id: '11064' abstract: - lang: eng text: Biomarkers of aging can be used to assess the health of individuals and to study aging and age-related diseases. We generate a large dataset of genome-wide RNA-seq profiles of human dermal fibroblasts from 133 people aged 1 to 94 years old to test whether signatures of aging are encoded within the transcriptome. We develop an ensemble machine learning method that predicts age to a median error of 4 years, outperforming previous methods used to predict age. The ensemble was further validated by testing it on ten progeria patients, and our method is the only one that predicts accelerated aging in these patients. article_number: '221' article_processing_charge: No article_type: original author: - first_name: Jason G. full_name: Fleischer, Jason G. last_name: Fleischer - first_name: Roberta full_name: Schulte, Roberta last_name: Schulte - first_name: Hsiao H. full_name: Tsai, Hsiao H. last_name: Tsai - first_name: Swati full_name: Tyagi, Swati last_name: Tyagi - first_name: Arkaitz full_name: Ibarra, Arkaitz last_name: Ibarra - first_name: Maxim N. full_name: Shokhirev, Maxim N. last_name: Shokhirev - first_name: Ling full_name: Huang, Ling last_name: Huang - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X - first_name: Saket full_name: Navlakha, Saket last_name: Navlakha citation: ama: Fleischer JG, Schulte R, Tsai HH, et al. Predicting age from the transcriptome of human dermal fibroblasts. Genome Biology. 2018;19. doi:10.1186/s13059-018-1599-6 apa: Fleischer, J. G., Schulte, R., Tsai, H. H., Tyagi, S., Ibarra, A., Shokhirev, M. N., … Navlakha, S. (2018). Predicting age from the transcriptome of human dermal fibroblasts. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-018-1599-6 chicago: Fleischer, Jason G., Roberta Schulte, Hsiao H. Tsai, Swati Tyagi, Arkaitz Ibarra, Maxim N. Shokhirev, Ling Huang, Martin Hetzer, and Saket Navlakha. “Predicting Age from the Transcriptome of Human Dermal Fibroblasts.” Genome Biology. BioMed Central, 2018. https://doi.org/10.1186/s13059-018-1599-6. ieee: J. G. Fleischer et al., “Predicting age from the transcriptome of human dermal fibroblasts,” Genome Biology, vol. 19. BioMed Central, 2018. ista: Fleischer JG, Schulte R, Tsai HH, Tyagi S, Ibarra A, Shokhirev MN, Huang L, Hetzer M, Navlakha S. 2018. Predicting age from the transcriptome of human dermal fibroblasts. Genome Biology. 19, 221. mla: Fleischer, Jason G., et al. “Predicting Age from the Transcriptome of Human Dermal Fibroblasts.” Genome Biology, vol. 19, 221, BioMed Central, 2018, doi:10.1186/s13059-018-1599-6. short: J.G. Fleischer, R. Schulte, H.H. Tsai, S. Tyagi, A. Ibarra, M.N. Shokhirev, L. Huang, M. Hetzer, S. Navlakha, Genome Biology 19 (2018). date_created: 2022-04-07T07:45:40Z date_published: 2018-12-20T00:00:00Z date_updated: 2024-10-14T11:20:00Z day: '20' doi: 10.1186/s13059-018-1599-6 extern: '1' external_id: pmid: - '30567591' intvolume: ' 19' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1186/s13059-018-1599-6 month: '12' oa: 1 oa_version: Published Version pmid: 1 publication: Genome Biology publication_identifier: issn: - 1474-760X publication_status: published publisher: BioMed Central quality_controlled: '1' scopus_import: '1' status: public title: Predicting age from the transcriptome of human dermal fibroblasts type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 19 year: '2018' ... --- _id: '11508' abstract: - lang: eng text: Distant luminous Lyman-α emitters (LAEs) are excellent targets for spectroscopic observations of galaxies in the epoch of reionisation (EoR). We present deep high-resolution (R = 5000) VLT/X-shooter observations, along with an extensive collection of photometric data of COLA1, a proposed double peaked LAE at z = 6.6. We rule out the possibility that COLA1’s emission line is an [OII] doublet at z = 1.475 on the basis of i) the asymmetric red line-profile and flux ratio of the peaks (blue/red=0.31 ± 0.03) and ii) an unphysical [OII]/Hα ratio ([OII]/Hα >  22). We show that COLA1’s observed B-band flux is explained by a faint extended foreground LAE, for which we detect Lyα and [OIII] at z = 2.142. We thus conclude that COLA1 is a real double-peaked LAE at z = 6.593, the first discovered at z >  6. COLA1 is UV luminous (M1500 = −21.6 ± 0.3), has a high equivalent width (EW0,Lyα = 120−40+50 Å) and very compact Lyα emission (r50,Lyα = 0.33−0.04+0.07 kpc). Relatively weak inferred Hβ+[OIII] line-emission from Spitzer/IRAC indicates an extremely low metallicity of Z <  1/20 Z⊙ or reduced strength of nebular lines due to high escape of ionising photons. The small Lyα peak separation of 220 ± 20 km s−1 implies a low HI column density and an ionising photon escape fraction of ≈15 − 30%, providing the first direct evidence that such galaxies contribute actively to the reionisation of the Universe at z >  6. Based on simple estimates, we find that COLA1 could have provided just enough photons to reionise its own ≈0.3 pMpc (2.3 cMpc) bubble, allowing the blue Lyα line to be observed. However, we also discuss alternative scenarios explaining the detected double peaked nature of COLA1. Our results show that future high-resolution observations of statistical samples of double peaked LAEs at z >  5 are a promising probe of the occurrence of ionised regions around galaxies in the EoR. acknowledgement: JM acknowledges the award of a Huygens PhD fellowship from Leiden University. MG acknowledges support from NASA grant NNX17AK58G. APA, PhD::SPACE fellow, acknowledges support from the FCT through the fellowship PD/BD/52706/2014. Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme IDs 294.A-5018, 098.A-0819, 099.A-0254 and 0100.A-0213. We are grateful for the excellent data-sets from the COSMOS and UltraVISTA survey teams. This research was supported by the Munich Institute for Astro- and Particle Physics (MIAPP) of the DFG cluster of excellence “Origin and Structure of the Universe”. We thank the referee for their comments that improved the paper. We also thank Christoph Behrens, Len Cowie, Koki Kakiichi, Peter Laursen, Charlotte Mason, Eros Vanzella, Lewis Weinberger and Johannes Zabl for discussions. We have benefited from the public available programming language Python, including the numpy, matplotlib, scipy and astropy packages (Hunter 2007; Astropy Collaboration 2013), the astronomical imaging tools Swarp (Bertin 2010) and ds9 and the Topcat analysis tool (Taylor 2013). article_number: A136 article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Max full_name: Gronke, Max last_name: Gronke - first_name: Ana full_name: Paulino-Afonso, Ana last_name: Paulino-Afonso - first_name: Mauro full_name: Stefanon, Mauro last_name: Stefanon - first_name: Huub full_name: Röttgering, Huub last_name: Röttgering citation: ama: 'Matthee JJ, Sobral D, Gronke M, Paulino-Afonso A, Stefanon M, Röttgering H. Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe. Astronomy & Astrophysics. 2018;619. doi:10.1051/0004-6361/201833528' apa: 'Matthee, J. J., Sobral, D., Gronke, M., Paulino-Afonso, A., Stefanon, M., & Röttgering, H. (2018). Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201833528' chicago: 'Matthee, Jorryt J, David Sobral, Max Gronke, Ana Paulino-Afonso, Mauro Stefanon, and Huub Röttgering. “Confirmation of Double Peaked Lyα Emission at z = 6.593: Witnessing a Galaxy Directly Contributing to the Reionisation of the Universe.” Astronomy & Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201833528.' ieee: 'J. J. Matthee, D. Sobral, M. Gronke, A. Paulino-Afonso, M. Stefanon, and H. Röttgering, “Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe,” Astronomy & Astrophysics, vol. 619. EDP Sciences, 2018.' ista: 'Matthee JJ, Sobral D, Gronke M, Paulino-Afonso A, Stefanon M, Röttgering H. 2018. Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe. Astronomy & Astrophysics. 619, A136.' mla: 'Matthee, Jorryt J., et al. “Confirmation of Double Peaked Lyα Emission at z = 6.593: Witnessing a Galaxy Directly Contributing to the Reionisation of the Universe.” Astronomy & Astrophysics, vol. 619, A136, EDP Sciences, 2018, doi:10.1051/0004-6361/201833528.' short: J.J. Matthee, D. Sobral, M. Gronke, A. Paulino-Afonso, M. Stefanon, H. Röttgering, Astronomy & Astrophysics 619 (2018). date_created: 2022-07-06T11:14:23Z date_published: 2018-11-19T00:00:00Z date_updated: 2024-10-14T11:31:36Z day: '19' doi: 10.1051/0004-6361/201833528 extern: '1' external_id: arxiv: - '1805.11621' intvolume: ' 619' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: high-redshift / galaxies: formation / dark ages / reionization / first stars / techniques: spectroscopic / intergalactic medium' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1805.11621 month: '11' oa: 1 oa_version: Published Version publication: Astronomy & Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: 'Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 619 year: '2018' ... --- _id: '11555' abstract: - lang: eng text: We investigate the morphology of the [C II] emission in a sample of ‘normal’ star-forming galaxies at 5 < z < 7.2 in relation to their UV (rest-frame) counterpart. We use new Atacama Large Millimetre/submillimetre Array (ALMA) observations of galaxies at z ∼ 6–7, as well as a careful re-analysis of archival ALMA data. In total 29 galaxies were analysed, 21 of which are detected in [C II]. For several of the latter the [C II] emission breaks into multiple components. Only a fraction of these [C II] components, if any, is associated with the primary UV systems, while the bulk of the [C II] emission is associated either with fainter UV components, or not associated with any UV counterpart at the current limits. By taking into account the presence of all these components, we find that the L[CII]–SFR (star formation rate) relation at early epochs is fully consistent with the local relation, but it has a dispersion of 0.48 ± 0.07 dex, which is about two times larger than observed locally. We also find that the deviation from the local L[CII]–SFR relation has a weak anticorrelation with the EW(Ly α). The morphological analysis also reveals that [C II] emission is generally much more extended than the UV emission. As a consequence, these primordial galaxies are characterized by a [C II] surface brightness generally much lower than expected from the local Σ[CII]−ΣSFR relation. These properties are likely a consequence of a combination of different effects, namely gas metallicity, [C II] emission from obscured star-forming regions, strong variations of the ionization parameter, and circumgalactic gas in accretion or ejected by these primeval galaxies. acknowledgement: "This paper makes use of the following ALMA data:\r\nADS/JAO.ALMA#2012.1.00719.S, ADS/JAO.ALMA#2012.A.00040.S,\r\nADS/JAO.ALMA#2013.A.00433.S, ADS/JAO.ALMA#2011.0.00115.S,\r\nADS/JAO.ALMA#2012.1.00033.S, ADS/JAO.ALMA#2012.1.00523.S,\r\nADS/JAO.ALMA#2013.1.00815.S, ADS/JAO.ALMA#2015.1.00834.S.,\r\nADS/JAO.ALMA#2015.1.01105.S, AND ADS/JAO.ALMA#2016.1.01240.S\r\nwhich can be retrieved from the ALMA data archive:\r\nhttps://almascience.eso.org/ alma-data/archive. ALMA is a partnership of ESO (representing its member states), NSF (USA) and NINS (Japan), together with NRC (Canada) and NSC and ASIAA (Taiwan), in cooperation with the Republic of Chile. The Joint ALMA Observatory is operated by ESO, AUI/NRAO, and NAOJ. We are grateful to G. Jones to for providing his [C II] flux maps. RM and SC acknowledge support by the Science and Technology Facilities Council (STFC). RM acknowledges ERC Advanced Grant 695671 ‘QUENCH’. AF acknowledges support from the ERC Advanced Grant INTERSTELLAR H2020/740120." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: S full_name: Carniani, S last_name: Carniani - first_name: R full_name: Maiolino, R last_name: Maiolino - first_name: R full_name: Amorin, R last_name: Amorin - first_name: L full_name: Pentericci, L last_name: Pentericci - first_name: A full_name: Pallottini, A last_name: Pallottini - first_name: A full_name: Ferrara, A last_name: Ferrara - first_name: C J full_name: Willott, C J last_name: Willott - first_name: R full_name: Smit, R last_name: Smit - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: D full_name: Sobral, D last_name: Sobral - first_name: P full_name: Santini, P last_name: Santini - first_name: M full_name: Castellano, M last_name: Castellano - first_name: S full_name: De Barros, S last_name: De Barros - first_name: A full_name: Fontana, A last_name: Fontana - first_name: A full_name: Grazian, A last_name: Grazian - first_name: L full_name: Guaita, L last_name: Guaita citation: ama: Carniani S, Maiolino R, Amorin R, et al. Kiloparsec-scale gaseous clumps and star formation at z = 5–7. Monthly Notices of the Royal Astronomical Society. 2018;478(1):1170-1184. doi:10.1093/mnras/sty1088 apa: Carniani, S., Maiolino, R., Amorin, R., Pentericci, L., Pallottini, A., Ferrara, A., … Guaita, L. (2018). Kiloparsec-scale gaseous clumps and star formation at z = 5–7. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty1088 chicago: Carniani, S, R Maiolino, R Amorin, L Pentericci, A Pallottini, A Ferrara, C J Willott, et al. “Kiloparsec-Scale Gaseous Clumps and Star Formation at z = 5–7.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty1088. ieee: S. Carniani et al., “Kiloparsec-scale gaseous clumps and star formation at z = 5–7,” Monthly Notices of the Royal Astronomical Society, vol. 478, no. 1. Oxford University Press, pp. 1170–1184, 2018. ista: Carniani S, Maiolino R, Amorin R, Pentericci L, Pallottini A, Ferrara A, Willott CJ, Smit R, Matthee JJ, Sobral D, Santini P, Castellano M, De Barros S, Fontana A, Grazian A, Guaita L. 2018. Kiloparsec-scale gaseous clumps and star formation at z = 5–7. Monthly Notices of the Royal Astronomical Society. 478(1), 1170–1184. mla: Carniani, S., et al. “Kiloparsec-Scale Gaseous Clumps and Star Formation at z = 5–7.” Monthly Notices of the Royal Astronomical Society, vol. 478, no. 1, Oxford University Press, 2018, pp. 1170–84, doi:10.1093/mnras/sty1088. short: S. Carniani, R. Maiolino, R. Amorin, L. Pentericci, A. Pallottini, A. Ferrara, C.J. Willott, R. Smit, J.J. Matthee, D. Sobral, P. Santini, M. Castellano, S. De Barros, A. Fontana, A. Grazian, L. Guaita, Monthly Notices of the Royal Astronomical Society 478 (2018) 1170–1184. date_created: 2022-07-11T08:05:42Z date_published: 2018-07-01T00:00:00Z date_updated: 2022-08-19T06:58:06Z day: '01' doi: 10.1093/mnras/sty1088 extern: '1' external_id: arxiv: - '1712.03985' intvolume: ' 478' issue: '1' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: evolution' - 'galaxies: high-redshift' - 'galaxies: ISM' - 'galaxies: formation' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1712.03985 month: '07' oa: 1 oa_version: Preprint page: 1170-1184 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: Kiloparsec-scale gaseous clumps and star formation at z = 5–7 type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 478 year: '2018' ... --- _id: '11558' abstract: - lang: eng text: We present and explore deep narrow- and medium-band data obtained with the Subaru and the Isaac Newton Telescopes in the ∼2 deg2 COSMOS field. We use these data as an extremely wide, low-resolution (R ∼ 20–80) Integral Field Unit survey to slice through the COSMOS field and obtain a large sample of ∼4000 Ly α emitters (LAEs) from z ∼ 2 to 6 in 16 redshift slices (SC4K). We present new Ly α luminosity functions (LFs) covering a comoving volume of ∼108 Mpc3. SC4K extensively complements ultradeep surveys, jointly covering over 4 dex in Ly α luminosity and revealing a global (2.5 < z < 6) synergy LF with α=−1.93+0.12−0.12⁠, log10Φ∗Lyα=−3.45+0.22−0.29 Mpc−3, and log10L∗Lyα=42.93+0.15−0.11 erg s−1. The Schechter component of the Ly α LF reveals a factor ∼5 rise in L∗Lyα and a ∼7 × decline in Φ∗Lyα from z ∼ 2 to 6. The data reveal an extra power-law (or Schechter) component above LLy α ≈ 1043.3 erg s−1 at z ∼ 2.2–3.5 and we show that it is partially driven by X-ray and radio active galactic nucleus (AGN), as their Ly α LF resembles the excess. The power-law component vanishes and/or is below our detection limits above z > 3.5, likely linked with the evolution of the AGN population. The Ly α luminosity density rises by a factor ∼2 from z ∼ 2 to 3 but is then found to be roughly constant (⁠1.1+0.2−0.2×1040 erg s−1 Mpc−3) to z ∼ 6, despite the ∼0.7 dex drop in ultraviolet (UV) luminosity density. The Ly α/UV luminosity density ratio rises from 4 ± 1 per cent to 30 ± 6 per cent from z ∼ 2.2 to 6. Our results imply a rise of a factor of ≈2 in the global ionization efficiency (ξion) and a factor ≈4 ± 1 in the Ly α escape fraction from z ∼ 2 to 6, hinting for evolution in both the typical burstiness/stellar populations and even more so in the typical interstellar medium conditions allowing Ly α photons to escape. acknowledgement: "We thank the anonymous referee for their constructive comments that helped us improve the manuscript. DS acknowledges the hospitality of the IAC and a Severo Ochoa visiting grant. SS and JC acknowledge studentships from the Lancaster University. JM acknowledges a Huygens PhD fellowship from Leiden University. APA acknowledges financial support from the Science and Technology Foundation (FCT, Portugal) through research grants UID/FIS/04434/2013 and fellowship PD/BD/52706/2014. The authors thank Alyssa Drake, Kimihiko Nakajima, Yuichi Harikane, Max Gronke, Irene Shivaei, Helmut Dannerbauer, Huub Rottgering, ¨ Marius Eide, and Masami Ouchi for many engaging and stimulating discussions. We also thank Sara Perez, Alex Bennett, and Tom Rose for their involvement in the early stages of this project. Based on data products from observations made with European Southern Observatory (ESO) Telescopes at the La Silla Paranal Observatory under ESO programme IDs 294.A-5018, 097.A 0943,\r\n098.A-0819, 099.A-0254, and 179.A-2005 and on data products produced by TERAPIX and the Cambridge Astronomy Survey Unit on behalf of the UltraVISTA consortium. Based on observations using the WFC on the 2.5 m INT, as part of programmes 2013AN002, 2013BN008, 2014AC88, 2014AN002, 2014BN006, 2014BC118, and 2016AN001. The INT is operated on the island of La Palma by the Isaac Newton Group in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias. This work is based in part on data products produced at TERAPIX available at the Canadian Astronomy Data Centre as part of the Canada–France– Hawaii Telescope Legacy Survey (CFHTLS), a collaborative project of NRC and CNRS.\r\nWe are grateful to the CFHTLS, COSMOS-UltraVISTA, and COSMOS survey teams. We are also unmeasurably thankful to the pioneering and continuous work from previous Ly α surveys’ teams. Without these previous Ly α and the wider reach legacy surveys, this research would have been impossible. We also thank the VUDS team for making available spectroscopic redshifts from data obtained with VIMOS at the European Southern Observatory Very Large Telescope, Paranal, Chile, under Large Programme 185.A-0791. Finally, the authors acknowledge the unique value of the publicly available programming language PYTHON, including the NUMPY and SCIPY (Van Der Walt, Colbert & Varoquaux 2011; Jones et al. 2001), MATPLOTLIB (Hunter 2007), ASTROPY (Astropy Collaboration et al. 2013), and the TOPCAT analysis program (Taylor 2005). We publicly release a catalogue with all LAEs used in this paper (SC4K), so it can be freely explored by the community (see five example entries in Table A1)." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Sérgio full_name: Santos, Sérgio last_name: Santos - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Ana full_name: Paulino-Afonso, Ana last_name: Paulino-Afonso - first_name: Bruno full_name: Ribeiro, Bruno last_name: Ribeiro - first_name: João full_name: Calhau, João last_name: Calhau - first_name: Ali A full_name: Khostovan, Ali A last_name: Khostovan citation: ama: 'Sobral D, Santos S, Matthee JJ, et al. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 2018;476(4):4725-4752. doi:10.1093/mnras/sty378' apa: 'Sobral, D., Santos, S., Matthee, J. J., Paulino-Afonso, A., Ribeiro, B., Calhau, J., & Khostovan, A. A. (2018). Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty378' chicago: 'Sobral, David, Sérgio Santos, Jorryt J Matthee, Ana Paulino-Afonso, Bruno Ribeiro, João Calhau, and Ali A Khostovan. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty378.' ieee: 'D. Sobral et al., “Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4. Oxford University Press, pp. 4725–4752, 2018.' ista: 'Sobral D, Santos S, Matthee JJ, Paulino-Afonso A, Ribeiro B, Calhau J, Khostovan AA. 2018. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 476(4), 4725–4752.' mla: 'Sobral, David, et al. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4, Oxford University Press, 2018, pp. 4725–52, doi:10.1093/mnras/sty378.' short: D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752. date_created: 2022-07-12T10:41:08Z date_published: 2018-06-01T00:00:00Z date_updated: 2022-08-19T07:04:45Z day: '01' doi: 10.1093/mnras/sty378 extern: '1' external_id: arxiv: - '1712.04451' intvolume: ' 476' issue: '4' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: evolution' - 'galaxies: formation' - 'galaxies: high-redshift' - 'galaxies: luminosity function' - mass function - 'galaxies: statistics' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1712.04451 month: '06' oa: 1 oa_version: Preprint page: 4725-4752 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 476 year: '2018' ... --- _id: '12604' abstract: - lang: eng text: Glaciers in the high mountains of Asia provide an important water resource for millions of people. Many of these glaciers are partially covered by rocky debris, which protects the ice from solar radiation and warm air. However, studies have found that the surface of these debris-covered glaciers is actually lowering as fast as glaciers without debris. Water ponded on the surface of the glaciers may be partially responsible, as water can absorb atmospheric energy very efficiently. However, the overall effect of these ponds has not been thoroughly assessed yet. We study a valley in Nepal for which we have extensive weather measurements, and we use a numerical model to calculate the energy absorbed by ponds on the surface of the glaciers over 6 months. As we have not observed each individual pond thoroughly, we run the model 5,000 times with different setups. We find that ponds are extremely important for glacier melt and absorb energy 14 times as quickly as the debris-covered ice. Although the ponds account for 1% of the glacier area covered by rocks, and only 0.3% of the total glacier area, they absorb enough energy to account for one eighth of the whole valley's ice loss. article_processing_charge: No article_type: letter_note author: - first_name: Evan S. full_name: Miles, Evan S. last_name: Miles - first_name: Ian full_name: Willis, Ian last_name: Willis - first_name: Pascal full_name: Buri, Pascal last_name: Buri - first_name: Jakob F. full_name: Steiner, Jakob F. last_name: Steiner - first_name: Neil S. full_name: Arnold, Neil S. last_name: Arnold - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti citation: ama: Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. 2018;45(19):10464-10473. doi:10.1029/2018gl079678 apa: Miles, E. S., Willis, I., Buri, P., Steiner, J. F., Arnold, N. S., & Pellicciotti, F. (2018). Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2018gl079678 chicago: Miles, Evan S., Ian Willis, Pascal Buri, Jakob F. Steiner, Neil S. Arnold, and Francesca Pellicciotti. “Surface Pond Energy Absorption across Four Himalayan Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” Geophysical Research Letters. American Geophysical Union, 2018. https://doi.org/10.1029/2018gl079678. ieee: E. S. Miles, I. Willis, P. Buri, J. F. Steiner, N. S. Arnold, and F. Pellicciotti, “Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss,” Geophysical Research Letters, vol. 45, no. 19. American Geophysical Union, pp. 10464–10473, 2018. ista: Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. 2018. Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. 45(19), 10464–10473. mla: Miles, Evan S., et al. “Surface Pond Energy Absorption across Four Himalayan Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” Geophysical Research Letters, vol. 45, no. 19, American Geophysical Union, 2018, pp. 10464–73, doi:10.1029/2018gl079678. short: E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473. date_created: 2023-02-20T08:13:18Z date_published: 2018-10-18T00:00:00Z date_updated: 2023-02-28T11:46:48Z day: '18' doi: 10.1029/2018gl079678 extern: '1' intvolume: ' 45' issue: '19' keyword: - General Earth and Planetary Sciences - Geophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1029/2018GL079678 month: '10' oa: 1 oa_version: Published Version page: 10464-10473 publication: Geophysical Research Letters publication_identifier: eissn: - 1944-8007 issn: - 0094-8276 publication_status: published publisher: American Geophysical Union quality_controlled: '1' scopus_import: '1' status: public title: Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 45 year: '2018' ... --- _id: '127' abstract: - lang: eng text: The ideas of topology are breaking ground in origami-based metamaterials. Experiments now show that certain shapes — doughnuts included — exhibit topological bistability, and can be made to click between different topologically stable states. author: - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 citation: ama: Waitukaitis SR. Clicks for doughnuts. Nature Physics. 2018;14(8):777-778. doi:10.1038/s41567-018-0160-6 apa: Waitukaitis, S. R. (2018). Clicks for doughnuts. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/s41567-018-0160-6 chicago: Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics. Nature Publishing Group, 2018. https://doi.org/10.1038/s41567-018-0160-6. ieee: S. R. Waitukaitis, “Clicks for doughnuts,” Nature Physics, vol. 14, no. 8. Nature Publishing Group, pp. 777–778, 2018. ista: Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778. mla: Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 777–78, doi:10.1038/s41567-018-0160-6. short: S.R. Waitukaitis, Nature Physics 14 (2018) 777–778. date_created: 2018-12-11T11:44:46Z date_published: 2018-05-28T00:00:00Z date_updated: 2021-01-12T06:49:31Z day: '28' doi: 10.1038/s41567-018-0160-6 extern: '1' intvolume: ' 14' issue: '8' language: - iso: eng month: '05' oa_version: None page: 777 - 778 publication: Nature Physics publication_status: published publisher: Nature Publishing Group publist_id: '7926' status: public title: Clicks for doughnuts type: journal_article user_id: 2EBD1598-F248-11E8-B48F-1D18A9856A87 volume: 14 year: '2018' ... --- OA_place: repository OA_type: green _id: '21533' abstract: - lang: eng text: Recent advances in the fabrication of nanostructures and nanoscale features in metasurfaces offer new prospects for generating visible light emission from low-energy electrons. Here we present the experimental observation of visible light emission from low-energy free electrons interacting with nanoscale periodic surfaces through the Smith–Purcell (SP) effect. We demonstrate SP light emission from nanoscale gratings with periodicity as small as 50 nm, enabling the observation of tunable visible radiation from low-energy electrons (1.5 to 6 keV), an order of magnitude lower in energy than previously reported. We study the emission wavelength and intensity dependence on the grating pitch and electron energy, showing agreement between experiment and theory. Our results open the way to the production of SP-based nanophotonics integrated devices. Built inside electron microscopes, SP sources could enable the development of novel electron–optical correlated spectroscopic techniques and facilitate the observation of new quantum effects in light sources. article_processing_charge: No article_type: letter_note arxiv: 1 author: - first_name: Aviram full_name: Massuda, Aviram last_name: Massuda - first_name: Charles full_name: Roques-Carmes, Charles id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82 last_name: Roques-Carmes - first_name: Yujia full_name: Yang, Yujia last_name: Yang - first_name: Steven E. full_name: Kooi, Steven E. last_name: Kooi - first_name: Yi full_name: Yang, Yi last_name: Yang - first_name: Chitraang full_name: Murdia, Chitraang last_name: Murdia - first_name: Karl K. full_name: Berggren, Karl K. last_name: Berggren - first_name: Ido full_name: Kaminer, Ido last_name: Kaminer - first_name: Marin full_name: Soljačić, Marin last_name: Soljačić citation: ama: Massuda A, Roques-Carmes C, Yang Y, et al. Smith–Purcell radiation from low-energy electrons. ACS Photonics. 2018;5(9):3513-3518. doi:10.1021/acsphotonics.8b00743 apa: Massuda, A., Roques-Carmes, C., Yang, Y., Kooi, S. E., Yang, Y., Murdia, C., … Soljačić, M. (2018). Smith–Purcell radiation from low-energy electrons. ACS Photonics. American Chemical Society . https://doi.org/10.1021/acsphotonics.8b00743 chicago: Massuda, Aviram, Charles Roques-Carmes, Yujia Yang, Steven E. Kooi, Yi Yang, Chitraang Murdia, Karl K. Berggren, Ido Kaminer, and Marin Soljačić. “Smith–Purcell Radiation from Low-Energy Electrons.” ACS Photonics. American Chemical Society , 2018. https://doi.org/10.1021/acsphotonics.8b00743. ieee: A. Massuda et al., “Smith–Purcell radiation from low-energy electrons,” ACS Photonics, vol. 5, no. 9. American Chemical Society , pp. 3513–3518, 2018. ista: Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK, Kaminer I, Soljačić M. 2018. Smith–Purcell radiation from low-energy electrons. ACS Photonics. 5(9), 3513–3518. mla: Massuda, Aviram, et al. “Smith–Purcell Radiation from Low-Energy Electrons.” ACS Photonics, vol. 5, no. 9, American Chemical Society , 2018, pp. 3513–18, doi:10.1021/acsphotonics.8b00743. short: A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K. Berggren, I. Kaminer, M. Soljačić, ACS Photonics 5 (2018) 3513–3518. date_created: 2026-03-30T12:22:47Z date_published: 2018-08-30T00:00:00Z date_updated: 2026-04-15T11:48:45Z day: '30' ddc: - '530' doi: 10.1021/acsphotonics.8b00743 extern: '1' external_id: arxiv: - '1710.05358' intvolume: ' 5' issue: '9' keyword: - light−matter interactions - periodic structures - nanophotonics - free-electron light sources language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1710.05358 month: '08' oa: 1 oa_version: Preprint page: 3513-3518 publication: ACS Photonics publication_identifier: eissn: - 2330-4022 publication_status: published publisher: 'American Chemical Society ' quality_controlled: '1' scopus_import: '1' status: public title: Smith–Purcell radiation from low-energy electrons type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 5 year: '2018' ... --- _id: '13374' abstract: - lang: eng text: Confining molecules to volumes only slightly larger than the molecules themselves can profoundly alter their properties. Molecular switches—entities that can be toggled between two or more forms upon exposure to an external stimulus—often require conformational freedom to isomerize. Therefore, placing these switches in confined spaces can render them non-operational. To preserve the switchability of these species under confinement, we work with a water-soluble coordination cage that is flexible enough to adapt its shape to the conformation of the encapsulated guest. We show that owing to its flexibility, the cage is not only capable of accommodating—and solubilizing in water—several light-responsive spiropyran-based molecular switches, but, more importantly, it also provides an environment suitable for the efficient, reversible photoisomerization of the bound guests. Our findings pave the way towards studying various molecular switching processes in confined environments. article_number: '641' article_processing_charge: No article_type: original author: - first_name: Dipak full_name: Samanta, Dipak last_name: Samanta - first_name: Daria full_name: Galaktionova, Daria last_name: Galaktionova - first_name: Julius full_name: Gemen, Julius last_name: Gemen - first_name: Linda J. W. full_name: Shimon, Linda J. W. last_name: Shimon - first_name: Yael full_name: Diskin-Posner, Yael last_name: Diskin-Posner - first_name: Liat full_name: Avram, Liat last_name: Avram - first_name: Petr full_name: Král, Petr last_name: Král - first_name: Rafal full_name: Klajn, Rafal id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b last_name: Klajn citation: ama: Samanta D, Galaktionova D, Gemen J, et al. Reversible chromism of spiropyran in the cavity of a flexible coordination cage. Nature Communications. 2018;9. doi:10.1038/s41467-017-02715-6 apa: Samanta, D., Galaktionova, D., Gemen, J., Shimon, L. J. W., Diskin-Posner, Y., Avram, L., … Klajn, R. (2018). Reversible chromism of spiropyran in the cavity of a flexible coordination cage. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-017-02715-6 chicago: Samanta, Dipak, Daria Galaktionova, Julius Gemen, Linda J. W. Shimon, Yael Diskin-Posner, Liat Avram, Petr Král, and Rafal Klajn. “Reversible Chromism of Spiropyran in the Cavity of a Flexible Coordination Cage.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-017-02715-6. ieee: D. Samanta et al., “Reversible chromism of spiropyran in the cavity of a flexible coordination cage,” Nature Communications, vol. 9. Springer Nature, 2018. ista: Samanta D, Galaktionova D, Gemen J, Shimon LJW, Diskin-Posner Y, Avram L, Král P, Klajn R. 2018. Reversible chromism of spiropyran in the cavity of a flexible coordination cage. Nature Communications. 9, 641. mla: Samanta, Dipak, et al. “Reversible Chromism of Spiropyran in the Cavity of a Flexible Coordination Cage.” Nature Communications, vol. 9, 641, Springer Nature, 2018, doi:10.1038/s41467-017-02715-6. short: D. Samanta, D. Galaktionova, J. Gemen, L.J.W. Shimon, Y. Diskin-Posner, L. Avram, P. Král, R. Klajn, Nature Communications 9 (2018). date_created: 2023-08-01T09:39:32Z date_published: 2018-02-13T00:00:00Z date_updated: 2024-10-14T12:14:34Z day: '13' doi: 10.1038/s41467-017-02715-6 extern: '1' external_id: pmid: - '29440687' intvolume: ' 9' keyword: - General Physics and Astronomy - General Biochemistry - Genetics and Molecular Biology - General Chemistry - Multidisciplinary language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1038/s41467-017-02715-6 month: '02' oa: 1 oa_version: Published Version pmid: 1 publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - relation: erratum url: https://doi.org/10.1038/s41467-018-03701-2 scopus_import: '1' status: public title: Reversible chromism of spiropyran in the cavity of a flexible coordination cage type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 9 year: '2018' ... --- _id: '13475' abstract: - lang: eng text: Stars stripped of their hydrogen-rich envelope through interaction with a binary companion are generally not considered when accounting for ionizing radiation from stellar populations, despite the expectation that stripped stars emit hard ionizing radiation, form frequently, and live 10–100 times longer than single massive stars. We compute the first grid of evolutionary and spectral models specially made for stars stripped in binaries for a range of progenitor masses (2–20 M⊙) and metallicities ranging from solar to values representative for pop II stars. For stripped stars with masses in the range 0.3–7 M⊙, we find consistently high effective temperatures (20 000–100 000 K, increasing with mass), small radii (0.2–1 R⊙), and high bolometric luminosities, comparable to that of their progenitor before stripping. The spectra show a continuous sequence that naturally bridges subdwarf-type stars at the low-mass end and Wolf-Rayet-like spectra at the high-mass end. For intermediate masses we find hybrid spectral classes showing a mixture of absorption and emission lines. These appear for stars with mass-loss rates of 10−8−10−6 M⊙ yr−1, which have semi-transparent atmospheres. At low metallicity, substantial hydrogen-rich layers are left at the surface and we predict spectra that resemble O-type stars instead. We obtain spectra undistinguishable from subdwarfs for stripped stars with masses up to 1.7 M⊙, which questions whether the widely adopted canonical value of 0.47 M⊙ is uniformly valid. Only a handful of stripped stars of intermediate mass have currently been identified observationally. Increasing this sample will provide necessary tests for the physics of interaction, internal mixing, and stellar winds. We use our model spectra to investigate the feasibility to detect stripped stars next to an optically bright companion and recommend systematic searches for their UV excess and possible emission lines, most notably HeII λ4686 in the optical and HeII λ1640 in the UV. Our models are publicly available for further investigations or inclusion in spectral synthesis simulations. article_number: A78 article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Ylva Louise Linsdotter full_name: Götberg, Ylva Louise Linsdotter id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d last_name: Götberg orcid: 0000-0002-6960-6911 - first_name: S. E. full_name: de Mink, S. E. last_name: de Mink - first_name: J. H. full_name: Groh, J. H. last_name: Groh - first_name: T. full_name: Kupfer, T. last_name: Kupfer - first_name: P. A. full_name: Crowther, P. A. last_name: Crowther - first_name: E. full_name: Zapartas, E. last_name: Zapartas - first_name: M. full_name: Renzo, M. last_name: Renzo citation: ama: 'Götberg YLL, de Mink SE, Groh JH, et al. Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. Astronomy &amp; Astrophysics. 2018;615. doi:10.1051/0004-6361/201732274' apa: 'Götberg, Y. L. L., de Mink, S. E., Groh, J. H., Kupfer, T., Crowther, P. A., Zapartas, E., & Renzo, M. (2018). Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. Astronomy &amp; Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201732274' chicago: 'Götberg, Ylva Louise Linsdotter, S. E. de Mink, J. H. Groh, T. Kupfer, P. A. Crowther, E. Zapartas, and M. Renzo. “Spectral Models for Binary Products: Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.” Astronomy &amp; Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201732274.' ieee: 'Y. L. L. Götberg et al., “Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars,” Astronomy &amp; Astrophysics, vol. 615. EDP Sciences, 2018.' ista: 'Götberg YLL, de Mink SE, Groh JH, Kupfer T, Crowther PA, Zapartas E, Renzo M. 2018. Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. Astronomy &amp; Astrophysics. 615, A78.' mla: 'Götberg, Ylva Louise Linsdotter, et al. “Spectral Models for Binary Products: Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.” Astronomy &amp; Astrophysics, vol. 615, A78, EDP Sciences, 2018, doi:10.1051/0004-6361/201732274.' short: Y.L.L. Götberg, S.E. de Mink, J.H. Groh, T. Kupfer, P.A. Crowther, E. Zapartas, M. Renzo, Astronomy &amp; Astrophysics 615 (2018). date_created: 2023-08-03T10:15:00Z date_published: 2018-07-17T00:00:00Z date_updated: 2024-10-14T12:22:18Z day: '17' doi: 10.1051/0004-6361/201732274 extern: '1' external_id: arxiv: - '1802.03018' intvolume: ' 615' keyword: - Space and Planetary Science - Astronomy and Astrophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1051/0004-6361/201732274 month: '07' oa: 1 oa_version: Published Version publication: Astronomy & Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: 'Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 615 year: '2018' ... --- _id: '14003' abstract: - lang: eng text: "Molecular chirality plays an essential role in most biochemical processes. The observation and quantification of chirality-sensitive signals, however, remains extremely challenging, especially on ultrafast timescales and in dilute media. Here, we describe the experimental realization of an all-optical and ultrafast scheme for detecting chiral dynamics in molecules. This technique is based on high-harmonic generation by a combination of two-color counterrotating femtosecond laser pulses with polarization states tunable from linear to circular. We demonstrate two different implementations of chiral-sensitive high-harmonic spectroscopy on an ensemble of randomly oriented methyloxirane molecules in the gas phase. Using two elliptically polarized fields, we observe that the ellipticities maximizing the harmonic signal reach up to \r\n4.4\r\n±\r\n0.2\r\n%\r\n (at 17.6 eV). Using two circularly polarized fields, we observe circular dichroisms ranging up to \r\n13\r\n±\r\n6\r\n%\r\n (28.3–33.1 eV). Our theoretical analysis confirms that the observed chiral response originates from subfemtosecond electron dynamics driven by the magnetic component of the driving laser field. This assignment is supported by the experimental observation of a strong intensity dependence of the chiral effects and its agreement with theory. We moreover report and explain a pronounced variation of the signal strength and dichroism with the driving-field ellipticities and harmonic orders. Finally, we demonstrate the sensitivity of the experimental observables to the shape of the electron hole. This technique for chiral discrimination will yield femtosecond temporal resolution when integrated in a pump-probe scheme and subfemtosecond resolution on chiral charge migration in a self-probing scheme." article_number: '031060' article_processing_charge: No article_type: original author: - first_name: Denitsa Rangelova full_name: Baykusheva, Denitsa Rangelova id: 71b4d059-2a03-11ee-914d-dfa3beed6530 last_name: Baykusheva - first_name: Hans Jakob full_name: Wörner, Hans Jakob last_name: Wörner citation: ama: Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 2018;8(3). doi:10.1103/physrevx.8.031060 apa: Baykusheva, D. R., & Wörner, H. J. (2018). Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.8.031060 chicago: Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” Physical Review X. American Physical Society, 2018. https://doi.org/10.1103/physrevx.8.031060. ieee: D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical high-harmonic spectroscopy,” Physical Review X, vol. 8, no. 3. American Physical Society, 2018. ista: Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 8(3), 031060. mla: Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” Physical Review X, vol. 8, no. 3, 031060, American Physical Society, 2018, doi:10.1103/physrevx.8.031060. short: D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018). date_created: 2023-08-10T06:34:48Z date_published: 2018-07-01T00:00:00Z date_updated: 2023-08-22T07:42:07Z day: '01' doi: 10.1103/physrevx.8.031060 extern: '1' intvolume: ' 8' issue: '3' keyword: - General Physics and Astronomy language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1103/PhysRevX.8.031060 month: '07' oa: 1 oa_version: Published Version publication: Physical Review X publication_identifier: eissn: - 2160-3308 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: Chiral discrimination through bielliptical high-harmonic spectroscopy type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2018' ... --- _id: '144' abstract: - lang: eng text: The task of a monitor is to watch, at run-time, the execution of a reactive system, and signal the occurrence of a safety violation in the observed sequence of events. While finite-state monitors have been studied extensively, in practice, monitoring software also makes use of unbounded memory. We define a model of automata equipped with integer-valued registers which can execute only a bounded number of instructions between consecutive events, and thus can form the theoretical basis for the study of infinite-state monitors. We classify these register monitors according to the number k of available registers, and the type of register instructions. In stark contrast to the theory of computability for register machines, we prove that for every k 1, monitors with k + 1 counters (with instruction set 〈+1, =〉) are strictly more expressive than monitors with k counters. We also show that adder monitors (with instruction set 〈1, +, =〉) are strictly more expressive than counter monitors, but are complete for monitoring all computable safety -languages for k = 6. Real-time monitors are further required to signal the occurrence of a safety violation as soon as it occurs. The expressiveness hierarchy for counter monitors carries over to real-time monitors. We then show that 2 adders cannot simulate 3 counters in real-time. Finally, we show that real-time adder monitors with inequalities are as expressive as real-time Turing machines. alternative_title: - ACM/IEEE Symposium on Logic in Computer Science article_processing_charge: No author: - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Ege full_name: Saraç, Ege last_name: Saraç citation: ama: 'Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194' apa: 'Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194' chicago: Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,” Part F138033:394–403. IEEE, 2018. https://doi.org/10.1145/3209108.3209194. ieee: 'T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,” presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part F138033, pp. 394–403.' ista: 'Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033, 394–403.' mla: Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194. short: T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403. conference: end_date: 2018-07-12 location: Oxford, UK name: 'LICS: Logic in Computer Science' start_date: 2018-07-09 date_created: 2018-12-11T11:44:52Z date_published: 2018-07-09T00:00:00Z date_updated: 2023-09-08T11:49:13Z day: '09' department: - _id: ToHe doi: 10.1145/3209108.3209194 external_id: isi: - '000545262800041' isi: 1 language: - iso: eng month: '07' oa_version: None page: 394 - 403 publication_status: published publisher: IEEE publist_id: '7779' quality_controlled: '1' scopus_import: '1' status: public title: A theory of register monitors type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: Part F138033 year: '2018' ... --- OA_place: repository OA_type: green _id: '19494' abstract: - lang: eng text: Starting from any given rational-sided, right triangle, for example, the (3,4,5)-triangle with area 6, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show further that the set of all such triangles of a given area is finitely generated under our geometric construction. Such areas are known as “congruent numbers” and have a rich history in which all the results in this article have been proved and far more. Yet, as far as we can tell, this seems to be the first exploration using this kind of geometric technique. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Yik Tung full_name: Chan, Yik Tung id: c4c0afc8-9262-11ed-9231-d8b0bc743af1 last_name: Chan orcid: 0000-0001-8467-4106 citation: ama: Chan S. Rational right triangles of a given area. The American Mathematical Monthly. 2018;125(8):689-703. doi:10.1080/00029890.2018.1495491 apa: Chan, S. (2018). Rational right triangles of a given area. The American Mathematical Monthly. Taylor & Francis. https://doi.org/10.1080/00029890.2018.1495491 chicago: Chan, Stephanie. “Rational Right Triangles of a given Area.” The American Mathematical Monthly. Taylor & Francis, 2018. https://doi.org/10.1080/00029890.2018.1495491. ieee: S. Chan, “Rational right triangles of a given area,” The American Mathematical Monthly, vol. 125, no. 8. Taylor & Francis, pp. 689–703, 2018. ista: Chan S. 2018. Rational right triangles of a given area. The American Mathematical Monthly. 125(8), 689–703. mla: Chan, Stephanie. “Rational Right Triangles of a given Area.” The American Mathematical Monthly, vol. 125, no. 8, Taylor & Francis, 2018, pp. 689–703, doi:10.1080/00029890.2018.1495491. short: S. Chan, The American Mathematical Monthly 125 (2018) 689–703. date_created: 2025-04-05T10:51:16Z date_published: 2018-09-28T00:00:00Z date_updated: 2025-07-10T11:51:49Z day: '28' doi: 10.1080/00029890.2018.1495491 extern: '1' external_id: arxiv: - '1706.05919' intvolume: ' 125' issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1706.05919 month: '09' oa: 1 oa_version: Preprint page: 689-703 publication: The American Mathematical Monthly publication_identifier: eissn: - 1930-0972 issn: - 0002-9890 publication_status: published publisher: Taylor & Francis quality_controlled: '1' scopus_import: '1' status: public title: Rational right triangles of a given area type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 125 year: '2018' ... --- _id: '5457' abstract: - lang: eng text: "We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well.\r\n\r\nIn this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework.\r\n\r\nMoreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach by presenting experimental results on a variety of programs, motivated by real-world applications, for which we efficiently synthesize tight resource-usage bounds." alternative_title: - IST Austria Technical Report author: - first_name: '1' full_name: Anonymous, 1 last_name: Anonymous - first_name: '2' full_name: Anonymous, 2 last_name: Anonymous - first_name: '3' full_name: Anonymous, 3 last_name: Anonymous - first_name: '4' full_name: Anonymous, 4 last_name: Anonymous - first_name: '5' full_name: Anonymous, 5 last_name: Anonymous - first_name: '6' full_name: Anonymous, 6 last_name: Anonymous citation: ama: Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria; 2018. apa: Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, & Anonymous, 6. (2018). Cost analysis of nondeterministic probabilistic programs. IST Austria. chicago: Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018. ieee: 1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018. ista: Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p. mla: Anonymous, 1, et al. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018. short: 1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018. corr_author: '1' date_created: 2018-12-12T11:39:26Z date_published: 2018-11-11T00:00:00Z date_updated: 2025-04-15T08:11:42Z day: '11' ddc: - '000' file: - access_level: open_access checksum: ba3adafd36fe200385ccda583063b9eb content_type: application/pdf creator: system date_created: 2018-12-12T11:53:32Z date_updated: 2020-07-14T12:47:00Z file_id: '5493' file_name: IST-2018-1066-v1+1_techreport.pdf file_size: 4202966 relation: main_file - access_level: closed checksum: 6cf3a19164bb8e5048a9c8c84dfd9fa3 content_type: text/plain creator: dernst date_created: 2019-05-10T13:22:12Z date_updated: 2020-07-14T12:47:00Z file_id: '6402' file_name: authors-names.txt file_size: 322 relation: main_file file_date_updated: 2020-07-14T12:47:00Z has_accepted_license: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '27' publication_identifier: issn: - 2664-1690 publication_status: published publisher: IST Austria pubrep_id: '1066' related_material: record: - id: '6175' relation: later_version status: public scopus_import: 1 status: public title: Cost analysis of nondeterministic probabilistic programs type: technical_report user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2018' ... --- _id: '6' abstract: - lang: eng text: Lesion and electrode location verification are traditionally done via histological examination of stained brain slices, a time-consuming procedure that requires manual estimation. Here, we describe a simple, straightforward method for quantifying lesions and locating electrodes in the brain that is less laborious and yields more detailed results. Whole brains are stained with osmium tetroxide, embedded in resin, and imaged with a micro-CT scanner. The scans result in 3D digital volumes of the brains with resolutions and virtual section thicknesses dependent on the sample size (12-15 and 5-6 µm per voxel for rat and zebra finch brains, respectively). Surface and deep lesions can be characterized, and single tetrodes, tetrode arrays, electrolytic lesions, and silicon probes can also be localized. Free and proprietary software allows experimenters to examine the sample volume from any plane and segment the volume manually or automatically. Because this method generates whole brain volume, lesions and electrodes can be quantified to a much higher degree than in current methods, which will help standardize comparisons within and across studies. article_processing_charge: No author: - first_name: Javier full_name: Masís, Javier last_name: Masís - first_name: David full_name: Mankus, David last_name: Mankus - first_name: Steffen full_name: Wolff, Steffen last_name: Wolff - first_name: Grigori full_name: Guitchounts, Grigori last_name: Guitchounts - first_name: Maximilian A full_name: Jösch, Maximilian A id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 - first_name: David full_name: Cox, David last_name: Cox citation: ama: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 2018;141. doi:10.3791/58585 apa: Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/58585 chicago: Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments. MyJove Corporation, 2018. https://doi.org/10.3791/58585. ieee: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for characterising lesions and locating electrodes in small animal brains,” Journal of visualized experiments, vol. 141. MyJove Corporation, 2018. ista: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 141. mla: Masís, Javier, et al. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments, vol. 141, MyJove Corporation, 2018, doi:10.3791/58585. short: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018). date_created: 2018-12-11T11:44:07Z date_published: 2018-11-08T00:00:00Z date_updated: 2023-10-17T11:49:25Z day: '08' department: - _id: MaJö doi: 10.3791/58585 external_id: isi: - '000456469400103' intvolume: ' 141' isi: 1 language: - iso: eng month: '11' oa_version: None publication: Journal of visualized experiments publication_status: published publisher: MyJove Corporation publist_id: '8050' quality_controlled: '1' scopus_import: '1' status: public title: A micro-CT-based method for characterising lesions and locating electrodes in small animal brains type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 141 year: '2018' ...