[{"month":"07","external_id":{"pmid":["31270129"],"isi":["000478792500008"]},"isi":1,"language":[{"iso":"eng"}],"type":"journal_article","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."}],"_id":"7398","has_accepted_license":"1","issue":"8","file_date_updated":"2020-07-14T12:47:57Z","scopus_import":"1","pmid":1,"status":"public","oa_version":"Published Version","date_updated":"2023-09-07T14:52:23Z","oa":1,"volume":151,"publication_identifier":{"issn":["0022-1295"],"eissn":["1540-7748"]},"article_type":"original","date_created":"2020-01-29T16:06:29Z","intvolume":"       151","ddc":["570"],"citation":{"mla":"Erdem, Fatma Asli, et al. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” <i>The Journal of General Physiology</i>, vol. 151, no. 8, Rockefeller University Press, 2019, pp. 1035–50, doi:<a href=\"https://doi.org/10.1085/jgp.201912318\">10.1085/jgp.201912318</a>.","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.","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.","apa":"Erdem, F. A., Ilic, M., Koppensteiner, P., Gołacki, J., Lubec, G., Freissmuth, M., &#38; Sandtner, W. (2019). A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. <i>The Journal of General Physiology</i>. Rockefeller University Press. <a href=\"https://doi.org/10.1085/jgp.201912318\">https://doi.org/10.1085/jgp.201912318</a>","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.” <i>The Journal of General Physiology</i>. Rockefeller University Press, 2019. <a href=\"https://doi.org/10.1085/jgp.201912318\">https://doi.org/10.1085/jgp.201912318</a>.","ieee":"F. A. Erdem <i>et al.</i>, “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” <i>The Journal of General Physiology</i>, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019.","ama":"Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. <i>The Journal of General Physiology</i>. 2019;151(8):1035-1050. doi:<a href=\"https://doi.org/10.1085/jgp.201912318\">10.1085/jgp.201912318</a>"},"publication":"The Journal of General Physiology","publisher":"Rockefeller University Press","page":"1035-1050","quality_controlled":"1","doi":"10.1085/jgp.201912318","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:57Z","file_name":"2019_JGP_Erdem.pdf","file_id":"7450","access_level":"open_access","content_type":"application/pdf","checksum":"5706b4ccd74ee3e50bf7ecb2a203df71","relation":"main_file","date_created":"2020-02-05T07:20:32Z","file_size":2641297}],"title":"A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2","department":[{"_id":"RySh"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2019","publication_status":"published","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","article_processing_charge":"No","date_published":"2019-07-03T00:00:00Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png"},"author":[{"last_name":"Erdem","full_name":"Erdem, Fatma Asli","first_name":"Fatma Asli"},{"last_name":"Ilic","first_name":"Marija","full_name":"Ilic, Marija"},{"full_name":"Koppensteiner, Peter","first_name":"Peter","orcid":"0000-0002-3509-1948","id":"3B8B25A8-F248-11E8-B48F-1D18A9856A87","last_name":"Koppensteiner"},{"last_name":"Gołacki","first_name":"Jakub","full_name":"Gołacki, Jakub"},{"last_name":"Lubec","first_name":"Gert","full_name":"Lubec, Gert"},{"first_name":"Michael","full_name":"Freissmuth, Michael","last_name":"Freissmuth"},{"first_name":"Walter","full_name":"Sandtner, Walter","last_name":"Sandtner"}],"day":"03"},{"year":"2019","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","arxiv":1,"article_processing_charge":"No","author":[{"last_name":"Sokolowski","orcid":"0000-0002-1287-3779","id":"3E999752-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas R","full_name":"Sokolowski, Thomas R"},{"last_name":"Paijmans","full_name":"Paijmans, Joris","first_name":"Joris"},{"full_name":"Bossen, Laurens","first_name":"Laurens","last_name":"Bossen"},{"last_name":"Miedema","full_name":"Miedema, Thomas","first_name":"Thomas"},{"first_name":"Martijn","full_name":"Wehrens, Martijn","last_name":"Wehrens"},{"last_name":"Becker","first_name":"Nils B.","full_name":"Becker, Nils B."},{"last_name":"Kaizu","first_name":"Kazunari","full_name":"Kaizu, Kazunari"},{"first_name":"Koichi","full_name":"Takahashi, Koichi","last_name":"Takahashi"},{"last_name":"Dogterom","first_name":"Marileen","full_name":"Dogterom, Marileen"},{"first_name":"Pieter Rein","full_name":"ten Wolde, Pieter Rein","last_name":"ten Wolde"}],"day":"07","date_published":"2019-02-07T00:00:00Z","quality_controlled":"1","doi":"10.1063/1.5064867","department":[{"_id":"GaTk"}],"title":"eGFRD in all dimensions","oa_version":"Preprint","oa":1,"date_updated":"2023-09-06T14:59:28Z","article_type":"original","main_file_link":[{"url":"https://arxiv.org/abs/1708.09364","open_access":"1"}],"volume":150,"publication_identifier":{"eissn":["1089-7690"],"issn":["0021-9606"]},"intvolume":"       150","date_created":"2020-01-30T10:34:36Z","citation":{"ieee":"T. R. Sokolowski <i>et al.</i>, “eGFRD in all dimensions,” <i>The Journal of Chemical Physics</i>, vol. 150, no. 5. AIP Publishing, 2019.","ama":"Sokolowski TR, Paijmans J, Bossen L, et al. eGFRD in all dimensions. <i>The Journal of Chemical Physics</i>. 2019;150(5). doi:<a href=\"https://doi.org/10.1063/1.5064867\">10.1063/1.5064867</a>","apa":"Sokolowski, T. R., Paijmans, J., Bossen, L., Miedema, T., Wehrens, M., Becker, N. B., … ten Wolde, P. R. (2019). eGFRD in all dimensions. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.5064867\">https://doi.org/10.1063/1.5064867</a>","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.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2019. <a href=\"https://doi.org/10.1063/1.5064867\">https://doi.org/10.1063/1.5064867</a>.","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.","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).","mla":"Sokolowski, Thomas R., et al. “EGFRD in All Dimensions.” <i>The Journal of Chemical Physics</i>, vol. 150, no. 5, 054108, AIP Publishing, 2019, doi:<a href=\"https://doi.org/10.1063/1.5064867\">10.1063/1.5064867</a>."},"publisher":"AIP Publishing","publication":"The Journal of Chemical Physics","isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000458109300009"],"arxiv":["1708.09364"]},"article_number":"054108","month":"02","abstract":[{"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.","lang":"eng"}],"_id":"7422","type":"journal_article","issue":"5","status":"public"},{"status":"public","title":"Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction","department":[{"_id":"FyKo"}],"month":"09","type":"research_data_reference","doi":"10.6084/m9.figshare.9808850.v1","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)"}],"_id":"9897","main_file_link":[{"url":"https://doi.org/10.6084/m9.figshare.9808850.v1","open_access":"1"}],"article_processing_charge":"No","citation":{"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. <a href=\"https://doi.org/10.6084/m9.figshare.9808850.v1\">https://doi.org/10.6084/m9.figshare.9808850.v1</a>.","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. <a href=\"https://doi.org/10.6084/m9.figshare.9808850.v1\">https://doi.org/10.6084/m9.figshare.9808850.v1</a>","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, <a href=\"https://doi.org/10.6084/m9.figshare.9808850.v1\">10.6084/m9.figshare.9808850.v1</a>.","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:<a href=\"https://doi.org/10.6084/m9.figshare.9808850.v1\">10.6084/m9.figshare.9808850.v1</a>","ieee":"O. M. Sigalova <i>et al.</i>, “Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.","mla":"Sigalova, Olga M., et al. <i>Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction</i>. Springer Nature, 2019, doi:<a href=\"https://doi.org/10.6084/m9.figshare.9808850.v1\">10.6084/m9.figshare.9808850.v1</a>.","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","publisher":"Springer Nature","author":[{"last_name":"Sigalova","full_name":"Sigalova, Olga M.","first_name":"Olga M."},{"last_name":"Chaplin","first_name":"Andrei V.","full_name":"Chaplin, Andrei V."},{"last_name":"Bochkareva","id":"C4558D3C-6102-11E9-A62E-F418E6697425","orcid":"0000-0003-1006-6639","first_name":"Olga","full_name":"Bochkareva, Olga"},{"last_name":"Shelyakin","first_name":"Pavel V.","full_name":"Shelyakin, Pavel V."},{"last_name":"Filaretov","full_name":"Filaretov, Vsevolod A.","first_name":"Vsevolod A."},{"first_name":"Evgeny E.","full_name":"Akkuratov, Evgeny E.","last_name":"Akkuratov"},{"full_name":"Burskaia, Valentina","first_name":"Valentina","last_name":"Burskaia"},{"first_name":"Mikhail S.","full_name":"Gelfand, Mikhail S.","last_name":"Gelfand"}],"day":"12","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","oa_version":"Published Version","year":"2019","oa":1,"date_updated":"2026-04-03T09:39:41Z","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"6898"}]}},{"external_id":{"arxiv":["1707.09051"]},"language":[{"iso":"eng"}],"month":"02","_id":"22066","OA_place":"repository","abstract":[{"text":"We prove almost sure global existence and scattering for the energy-critical nonlinear Schrödinger equation with randomized spherically symmetric initial data in 𝐻𝑠⁡(ℝ4) with \r\n5/6<𝑠<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.","lang":"eng"}],"type":"journal_article","scopus_import":"1","issue":"1","status":"public","oa_version":"Preprint","extern":"1","oa":1,"date_updated":"2026-06-30T07:16:06Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1707.09051"}],"article_type":"original","publication_identifier":{"eissn":["1532-4133"],"issn":["0360-5302"]},"volume":44,"page":"51-71","publisher":"Informa UK Limited","publication":"Communications in Partial Differential Equations","OA_type":"green","date_created":"2026-06-19T08:13:26Z","intvolume":"        44","citation":{"mla":"Killip, Rowan, et al. “Almost Sure Scattering for the Energy-Critical NLS with Radial Data below H1(R4).” <i>Communications in Partial Differential Equations</i>, vol. 44, no. 1, Informa UK Limited, 2019, pp. 51–71, doi:<a href=\"https://doi.org/10.1080/03605302.2018.1541904\">10.1080/03605302.2018.1541904</a>.","short":"R. Killip, J. Murphy, M. Vişan, Communications in Partial Differential Equations 44 (2019) 51–71.","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.","apa":"Killip, R., Murphy, J., &#38; Vişan, M. (2019). Almost sure scattering for the energy-critical NLS with radial data below H1(R4). <i>Communications in Partial Differential Equations</i>. Informa UK Limited. <a href=\"https://doi.org/10.1080/03605302.2018.1541904\">https://doi.org/10.1080/03605302.2018.1541904</a>","chicago":"Killip, Rowan, Jason Murphy, and Monica Vişan. “Almost Sure Scattering for the Energy-Critical NLS with Radial Data below H1(R4).” <i>Communications in Partial Differential Equations</i>. Informa UK Limited, 2019. <a href=\"https://doi.org/10.1080/03605302.2018.1541904\">https://doi.org/10.1080/03605302.2018.1541904</a>.","ama":"Killip R, Murphy J, Vişan M. Almost sure scattering for the energy-critical NLS with radial data below H1(R4). <i>Communications in Partial Differential Equations</i>. 2019;44(1):51-71. doi:<a href=\"https://doi.org/10.1080/03605302.2018.1541904\">10.1080/03605302.2018.1541904</a>","ieee":"R. Killip, J. Murphy, and M. Vişan, “Almost sure scattering for the energy-critical NLS with radial data below H1(R4),” <i>Communications in Partial Differential Equations</i>, vol. 44, no. 1. Informa UK Limited, pp. 51–71, 2019."},"doi":"10.1080/03605302.2018.1541904","quality_controlled":"1","title":"Almost sure scattering for the energy-critical NLS with radial data below H1(R4)","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","mathsc":["35Q55"],"publication_status":"published","article_processing_charge":"No","arxiv":1,"day":"15","author":[{"last_name":"Killip","first_name":"Rowan","full_name":"Killip, Rowan"},{"last_name":"Murphy","full_name":"Murphy, Jason","first_name":"Jason"},{"full_name":"Visan, Monica","first_name":"Monica","id":"056daca0-b8d1-11f0-964f-f91054abf8ca","last_name":"Visan"}],"das_tickbox":"1","date_published":"2019-02-15T00:00:00Z"},{"isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["001333747500001"]},"month":"09","has_accepted_license":"1","_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."}],"type":"conference","file_date_updated":"2020-07-14T12:47:41Z","scopus_import":"1","conference":{"start_date":"2019-09-11","end_date":"2019-09-13","location":"Brussels, Belgium","name":"RP: Reachability Problems"},"status":"public","oa_version":"Submitted Version","alternative_title":["LNCS"],"oa":1,"date_updated":"2026-07-07T13:29:21Z","publication_identifier":{"isbn":["978-303030805-6"],"issn":["0302-9743"]},"volume":11674,"page":"1-12","publication":"Proceedings of the 13th International Conference of Reachability Problems","publisher":"Springer","intvolume":"     11674","citation":{"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.","mla":"Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” <i>Proceedings of the 13th International Conference of Reachability Problems</i>, vol. 11674, Springer, 2019, pp. 1–12, doi:<a href=\"https://doi.org/10.1007/978-3-030-30806-3_1\">10.1007/978-3-030-30806-3_1</a>.","ama":"Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: <i>Proceedings of the 13th International Conference of Reachability Problems</i>. Vol 11674. Springer; 2019:1-12. doi:<a href=\"https://doi.org/10.1007/978-3-030-30806-3_1\">10.1007/978-3-030-30806-3_1</a>","ieee":"G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in <i>Proceedings of the 13th International Conference of Reachability Problems</i>, 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.","chicago":"Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In <i>Proceedings of the 13th International Conference of Reachability Problems</i>, 11674:1–12. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-30806-3_1\">https://doi.org/10.1007/978-3-030-30806-3_1</a>.","apa":"Avni, G., Henzinger, T. A., Ibsen-Jensen, R., &#38; Novotny, P. (2019). Bidding games on Markov decision processes. In <i>Proceedings of the 13th International Conference of Reachability Problems</i> (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. <a href=\"https://doi.org/10.1007/978-3-030-30806-3_1\">https://doi.org/10.1007/978-3-030-30806-3_1</a>"},"date_created":"2019-08-19T07:58:10Z","ddc":["000"],"project":[{"call_identifier":"FWF","name":"Formal Methods meets Algorithmic Game Theory","_id":"264B3912-B435-11E9-9278-68D0E5697425","grant_number":"M02369"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"doi":"10.1007/978-3-030-30806-3_1","quality_controlled":"1","file":[{"file_name":"prob.pdf","file_id":"6823","access_level":"open_access","creator":"gavni","date_updated":"2020-07-14T12:47:41Z","file_size":436635,"content_type":"application/pdf","checksum":"45ebbc709af2b247d28c7c293c01504b","relation":"main_file","date_created":"2019-08-19T07:56:40Z"}],"department":[{"_id":"ToHe"}],"title":"Bidding games on Markov decision processes","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","day":"06","das_tickbox":"1","author":[{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5588-8287","last_name":"Avni","full_name":"Avni, Guy","first_name":"Guy"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"last_name":"Ibsen-Jensen","id":"3B699956-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4783-0389","first_name":"Rasmus","full_name":"Ibsen-Jensen, Rasmus"},{"first_name":"Petr","full_name":"Novotny, Petr","last_name":"Novotny"}],"date_published":"2019-09-06T00:00:00Z"},{"department":[{"_id":"KrCh"}],"title":"The treewidth of smart contracts","file":[{"file_size":6937138,"relation":"main_file","date_created":"2020-05-14T09:50:11Z","content_type":"application/pdf","checksum":"dddc20f6d9881f23b8755eb720ec9d6f","file_name":"2019_ACM_Chatterjee.pdf","file_id":"7827","access_level":"open_access","date_updated":"2020-07-14T12:47:32Z","creator":"dernst"}],"quality_controlled":"1","doi":"10.1145/3297280.3297322","pubrep_id":"1070","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"full_name":"Goharshady, Amir Kafshdar","first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584","last_name":"Goharshady"},{"first_name":"Ehsan Kafshdar","full_name":"Goharshady, Ehsan Kafshdar","last_name":"Goharshady"}],"day":"01","date_published":"2019-04-01T00:00:00Z","corr_author":"1","article_processing_charge":"No","publication_status":"published","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","file_date_updated":"2020-07-14T12:47:32Z","scopus_import":"1","conference":{"start_date":"2019-04-08","end_date":"2019-04-12","location":"Limassol, Cyprus","name":"SAC: Symposium on Applied Computing"},"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"}],"_id":"6490","has_accepted_license":"1","type":"conference","external_id":{"isi":["000474685800052"]},"isi":1,"language":[{"iso":"eng"}],"month":"04","page":"400-408","ddc":["000"],"date_created":"2019-05-26T21:59:15Z","citation":{"short":"K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 400–408.","mla":"Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, vol. Part F147772, ACM, 2019, pp. 400–08, doi:<a href=\"https://doi.org/10.1145/3297280.3297322\">10.1145/3297280.3297322</a>.","ieee":"K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, Limassol, Cyprus, 2019, vol. Part F147772, pp. 400–408.","ama":"Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>. Vol Part F147772. ACM; 2019:400-408. doi:<a href=\"https://doi.org/10.1145/3297280.3297322\">10.1145/3297280.3297322</a>","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In <i>Proceedings of the 34th ACM Symposium on Applied Computing</i>, Part F147772:400–408. ACM, 2019. <a href=\"https://doi.org/10.1145/3297280.3297322\">https://doi.org/10.1145/3297280.3297322</a>.","apa":"Chatterjee, K., Goharshady, A. K., &#38; Goharshady, E. K. (2019). The treewidth of smart contracts. In <i>Proceedings of the 34th ACM Symposium on Applied Computing</i> (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. <a href=\"https://doi.org/10.1145/3297280.3297322\">https://doi.org/10.1145/3297280.3297322</a>","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."},"publisher":"ACM","publication":"Proceedings of the 34th ACM Symposium on Applied Computing","publication_identifier":{"isbn":["9781450359337"]},"volume":"Part F147772","date_updated":"2026-07-21T22:30:55Z","oa":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8934"}]},"oa_version":"Submitted Version"},{"scopus_import":"1","status":"public","pmid":1,"external_id":{"pmid":["30567591"]},"language":[{"iso":"eng"}],"article_number":"221","month":"12","abstract":[{"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.","lang":"eng"}],"_id":"11064","type":"journal_article","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1186/s13059-018-1599-6"}],"volume":19,"publication_identifier":{"issn":["1474-760X"]},"date_created":"2022-04-07T07:45:40Z","citation":{"mla":"Fleischer, Jason G., et al. “Predicting Age from the Transcriptome of Human Dermal Fibroblasts.” <i>Genome Biology</i>, vol. 19, 221, BioMed Central, 2018, doi:<a href=\"https://doi.org/10.1186/s13059-018-1599-6\">10.1186/s13059-018-1599-6</a>.","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).","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.” <i>Genome Biology</i>. BioMed Central, 2018. <a href=\"https://doi.org/10.1186/s13059-018-1599-6\">https://doi.org/10.1186/s13059-018-1599-6</a>.","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. <i>Genome Biology</i>. BioMed Central. <a href=\"https://doi.org/10.1186/s13059-018-1599-6\">https://doi.org/10.1186/s13059-018-1599-6</a>","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.","ama":"Fleischer JG, Schulte R, Tsai HH, et al. Predicting age from the transcriptome of human dermal fibroblasts. <i>Genome Biology</i>. 2018;19. doi:<a href=\"https://doi.org/10.1186/s13059-018-1599-6\">10.1186/s13059-018-1599-6</a>","ieee":"J. G. Fleischer <i>et al.</i>, “Predicting age from the transcriptome of human dermal fibroblasts,” <i>Genome Biology</i>, vol. 19. BioMed Central, 2018."},"intvolume":"        19","publisher":"BioMed Central","publication":"Genome Biology","oa_version":"Published Version","extern":"1","date_updated":"2024-10-14T11:20:00Z","oa":1,"title":"Predicting age from the transcriptome of human dermal fibroblasts","quality_controlled":"1","doi":"10.1186/s13059-018-1599-6","article_processing_charge":"No","author":[{"last_name":"Fleischer","first_name":"Jason G.","full_name":"Fleischer, Jason G."},{"last_name":"Schulte","full_name":"Schulte, Roberta","first_name":"Roberta"},{"last_name":"Tsai","full_name":"Tsai, Hsiao H.","first_name":"Hsiao H."},{"last_name":"Tyagi","full_name":"Tyagi, Swati","first_name":"Swati"},{"last_name":"Ibarra","first_name":"Arkaitz","full_name":"Ibarra, Arkaitz"},{"full_name":"Shokhirev, Maxim N.","first_name":"Maxim N.","last_name":"Shokhirev"},{"full_name":"Huang, Ling","first_name":"Ling","last_name":"Huang"},{"last_name":"HETZER","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","orcid":"0000-0002-2111-992X","first_name":"Martin W","full_name":"HETZER, Martin W"},{"first_name":"Saket","full_name":"Navlakha, Saket","last_name":"Navlakha"}],"day":"20","date_published":"2018-12-20T00:00:00Z","year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published"},{"title":"Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe","quality_controlled":"1","doi":"10.1051/0004-6361/201833528","arxiv":1,"article_processing_charge":"No","date_published":"2018-11-19T00:00:00Z","author":[{"full_name":"Matthee, Jorryt J","first_name":"Jorryt J","id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","last_name":"Matthee"},{"full_name":"Sobral, David","first_name":"David","last_name":"Sobral"},{"full_name":"Gronke, Max","first_name":"Max","last_name":"Gronke"},{"first_name":"Ana","full_name":"Paulino-Afonso, Ana","last_name":"Paulino-Afonso"},{"last_name":"Stefanon","first_name":"Mauro","full_name":"Stefanon, Mauro"},{"full_name":"Röttgering, Huub","first_name":"Huub","last_name":"Röttgering"}],"day":"19","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","publication_status":"published","scopus_import":"1","keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: high-redshift / galaxies: formation / dark ages / reionization / first stars / techniques: spectroscopic / intergalactic medium"],"status":"public","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).","month":"11","language":[{"iso":"eng"}],"external_id":{"arxiv":["1805.11621"]},"article_number":"A136","type":"journal_article","abstract":[{"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.","lang":"eng"}],"_id":"11508","volume":619,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"article_type":"original","main_file_link":[{"url":"https://arxiv.org/abs/1805.11621","open_access":"1"}],"date_created":"2022-07-06T11:14:23Z","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. <i>Astronomy &#38; Astrophysics</i>. 2018;619. doi:<a href=\"https://doi.org/10.1051/0004-6361/201833528\">10.1051/0004-6361/201833528</a>","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,” <i>Astronomy &#38; Astrophysics</i>, vol. 619. EDP Sciences, 2018.","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.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2018. <a href=\"https://doi.org/10.1051/0004-6361/201833528\">https://doi.org/10.1051/0004-6361/201833528</a>.","apa":"Matthee, J. J., Sobral, D., Gronke, M., Paulino-Afonso, A., Stefanon, M., &#38; 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. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/201833528\">https://doi.org/10.1051/0004-6361/201833528</a>","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 &#38; Astrophysics. 619, A136.","short":"J.J. Matthee, D. Sobral, M. Gronke, A. Paulino-Afonso, M. Stefanon, H. Röttgering, Astronomy &#38; Astrophysics 619 (2018).","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.” <i>Astronomy &#38; Astrophysics</i>, vol. 619, A136, EDP Sciences, 2018, doi:<a href=\"https://doi.org/10.1051/0004-6361/201833528\">10.1051/0004-6361/201833528</a>."},"intvolume":"       619","publisher":"EDP Sciences","publication":"Astronomy & Astrophysics","extern":"1","oa_version":"Published Version","oa":1,"date_updated":"2024-10-14T11:31:36Z"},{"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.","keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: evolution","galaxies: high-redshift","galaxies: ISM","galaxies: formation"],"status":"public","issue":"1","scopus_import":"1","type":"journal_article","_id":"11555","abstract":[{"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.","lang":"eng"}],"month":"07","language":[{"iso":"eng"}],"external_id":{"arxiv":["1712.03985"]},"publication":"Monthly Notices of the Royal Astronomical Society","publisher":"Oxford University Press","citation":{"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.","mla":"Carniani, S., et al. “Kiloparsec-Scale Gaseous Clumps and Star Formation at z = 5–7.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 478, no. 1, Oxford University Press, 2018, pp. 1170–84, doi:<a href=\"https://doi.org/10.1093/mnras/sty1088\">10.1093/mnras/sty1088</a>.","ama":"Carniani S, Maiolino R, Amorin R, et al. Kiloparsec-scale gaseous clumps and star formation at z = 5–7. <i>Monthly Notices of the Royal Astronomical Society</i>. 2018;478(1):1170-1184. doi:<a href=\"https://doi.org/10.1093/mnras/sty1088\">10.1093/mnras/sty1088</a>","ieee":"S. Carniani <i>et al.</i>, “Kiloparsec-scale gaseous clumps and star formation at z = 5–7,” <i>Monthly Notices of the Royal Astronomical Society</i>, 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.","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. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/sty1088\">https://doi.org/10.1093/mnras/sty1088</a>","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.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2018. <a href=\"https://doi.org/10.1093/mnras/sty1088\">https://doi.org/10.1093/mnras/sty1088</a>."},"date_created":"2022-07-11T08:05:42Z","intvolume":"       478","page":"1170-1184","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"volume":478,"main_file_link":[{"url":"https://arxiv.org/abs/1712.03985","open_access":"1"}],"article_type":"original","date_updated":"2022-08-19T06:58:06Z","oa":1,"extern":"1","oa_version":"Preprint","title":"Kiloparsec-scale gaseous clumps and star formation at z = 5–7","doi":"10.1093/mnras/sty1088","quality_controlled":"1","date_published":"2018-07-01T00:00:00Z","day":"01","author":[{"first_name":"S","full_name":"Carniani, S","last_name":"Carniani"},{"last_name":"Maiolino","first_name":"R","full_name":"Maiolino, R"},{"last_name":"Amorin","full_name":"Amorin, R","first_name":"R"},{"last_name":"Pentericci","first_name":"L","full_name":"Pentericci, L"},{"last_name":"Pallottini","first_name":"A","full_name":"Pallottini, A"},{"full_name":"Ferrara, A","first_name":"A","last_name":"Ferrara"},{"full_name":"Willott, C J","first_name":"C J","last_name":"Willott"},{"full_name":"Smit, R","first_name":"R","last_name":"Smit"},{"id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","last_name":"Matthee","full_name":"Matthee, Jorryt J","first_name":"Jorryt J"},{"first_name":"D","full_name":"Sobral, D","last_name":"Sobral"},{"last_name":"Santini","full_name":"Santini, P","first_name":"P"},{"first_name":"M","full_name":"Castellano, M","last_name":"Castellano"},{"full_name":"De Barros, S","first_name":"S","last_name":"De Barros"},{"last_name":"Fontana","first_name":"A","full_name":"Fontana, A"},{"last_name":"Grazian","first_name":"A","full_name":"Grazian, A"},{"first_name":"L","full_name":"Guaita, L","last_name":"Guaita"}],"arxiv":1,"article_processing_charge":"No","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018"},{"type":"journal_article","abstract":[{"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.","lang":"eng"}],"_id":"11558","month":"06","language":[{"iso":"eng"}],"external_id":{"arxiv":["1712.04451"]},"status":"public","keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: evolution","galaxies: formation","galaxies: high-redshift","galaxies: luminosity function","mass function","galaxies: statistics"],"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).","issue":"4","scopus_import":"1","oa":1,"date_updated":"2022-08-19T07:04:45Z","extern":"1","oa_version":"Preprint","citation":{"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.","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.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 476, no. 4, Oxford University Press, 2018, pp. 4725–52, doi:<a href=\"https://doi.org/10.1093/mnras/sty378\">10.1093/mnras/sty378</a>.","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. <i>Monthly Notices of the Royal Astronomical Society</i>. 2018;476(4):4725-4752. doi:<a href=\"https://doi.org/10.1093/mnras/sty378\">10.1093/mnras/sty378</a>","ieee":"D. Sobral <i>et al.</i>, “Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6,” <i>Monthly Notices of the Royal Astronomical Society</i>, 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.","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.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2018. <a href=\"https://doi.org/10.1093/mnras/sty378\">https://doi.org/10.1093/mnras/sty378</a>.","apa":"Sobral, D., Santos, S., Matthee, J. J., Paulino-Afonso, A., Ribeiro, B., Calhau, J., &#38; Khostovan, A. A. (2018). Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/sty378\">https://doi.org/10.1093/mnras/sty378</a>"},"date_created":"2022-07-12T10:41:08Z","intvolume":"       476","publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","page":"4725-4752","volume":476,"publication_identifier":{"eissn":["1365-2966"],"issn":["0035-8711"]},"article_type":"original","main_file_link":[{"url":"https://arxiv.org/abs/1712.04451","open_access":"1"}],"quality_controlled":"1","doi":"10.1093/mnras/sty378","title":"Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","date_published":"2018-06-01T00:00:00Z","author":[{"last_name":"Sobral","first_name":"David","full_name":"Sobral, David"},{"last_name":"Santos","first_name":"Sérgio","full_name":"Santos, Sérgio"},{"first_name":"Jorryt J","full_name":"Matthee, Jorryt J","last_name":"Matthee","orcid":"0000-0003-2871-127X","id":"7439a258-f3c0-11ec-9501-9df22fe06720"},{"first_name":"Ana","full_name":"Paulino-Afonso, Ana","last_name":"Paulino-Afonso"},{"last_name":"Ribeiro","full_name":"Ribeiro, Bruno","first_name":"Bruno"},{"last_name":"Calhau","first_name":"João","full_name":"Calhau, João"},{"last_name":"Khostovan","first_name":"Ali A","full_name":"Khostovan, Ali A"}],"day":"01","arxiv":1,"article_processing_charge":"No"},{"title":"Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss","doi":"10.1029/2018gl079678","quality_controlled":"1","article_processing_charge":"No","day":"18","author":[{"full_name":"Miles, Evan S.","first_name":"Evan S.","last_name":"Miles"},{"last_name":"Willis","full_name":"Willis, Ian","first_name":"Ian"},{"last_name":"Buri","full_name":"Buri, Pascal","first_name":"Pascal"},{"full_name":"Steiner, Jakob F.","first_name":"Jakob F.","last_name":"Steiner"},{"first_name":"Neil S.","full_name":"Arnold, Neil S.","last_name":"Arnold"},{"first_name":"Francesca","full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70"}],"date_published":"2018-10-18T00:00:00Z","year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","scopus_import":"1","issue":"19","status":"public","keyword":["General Earth and Planetary Sciences","Geophysics"],"language":[{"iso":"eng"}],"month":"10","_id":"12604","abstract":[{"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.","lang":"eng"}],"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2018GL079678"}],"article_type":"letter_note","volume":45,"publication_identifier":{"issn":["0094-8276"],"eissn":["1944-8007"]},"page":"10464-10473","publisher":"American Geophysical Union","publication":"Geophysical Research Letters","citation":{"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.” <i>Geophysical Research Letters</i>. American Geophysical Union, 2018. <a href=\"https://doi.org/10.1029/2018gl079678\">https://doi.org/10.1029/2018gl079678</a>.","apa":"Miles, E. S., Willis, I., Buri, P., Steiner, J. F., Arnold, N. S., &#38; Pellicciotti, F. (2018). Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. <i>Geophysical Research Letters</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2018gl079678\">https://doi.org/10.1029/2018gl079678</a>","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.","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,” <i>Geophysical Research Letters</i>, vol. 45, no. 19. American Geophysical Union, pp. 10464–10473, 2018.","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. <i>Geophysical Research Letters</i>. 2018;45(19):10464-10473. doi:<a href=\"https://doi.org/10.1029/2018gl079678\">10.1029/2018gl079678</a>","mla":"Miles, Evan S., et al. “Surface Pond Energy Absorption across Four Himalayan Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” <i>Geophysical Research Letters</i>, vol. 45, no. 19, American Geophysical Union, 2018, pp. 10464–73, doi:<a href=\"https://doi.org/10.1029/2018gl079678\">10.1029/2018gl079678</a>.","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","intvolume":"        45","oa_version":"Published Version","extern":"1","oa":1,"date_updated":"2023-02-28T11:46:48Z"},{"title":"Clicks for doughnuts","status":"public","issue":"8","doi":"10.1038/s41567-018-0160-6","type":"journal_article","abstract":[{"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.","lang":"eng"}],"publist_id":"7926","_id":"127","month":"05","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:44:46Z","citation":{"short":"S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.","mla":"Waitukaitis, Scott R. “Clicks for Doughnuts.” <i>Nature Physics</i>, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 777–78, doi:<a href=\"https://doi.org/10.1038/s41567-018-0160-6\">10.1038/s41567-018-0160-6</a>.","ieee":"S. R. Waitukaitis, “Clicks for doughnuts,” <i>Nature Physics</i>, vol. 14, no. 8. Nature Publishing Group, pp. 777–778, 2018.","ama":"Waitukaitis SR. Clicks for doughnuts. <i>Nature Physics</i>. 2018;14(8):777-778. doi:<a href=\"https://doi.org/10.1038/s41567-018-0160-6\">10.1038/s41567-018-0160-6</a>","chicago":"Waitukaitis, Scott R. “Clicks for Doughnuts.” <i>Nature Physics</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41567-018-0160-6\">https://doi.org/10.1038/s41567-018-0160-6</a>.","apa":"Waitukaitis, S. R. (2018). Clicks for doughnuts. <i>Nature Physics</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41567-018-0160-6\">https://doi.org/10.1038/s41567-018-0160-6</a>","ista":"Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778."},"intvolume":"        14","publisher":"Nature Publishing Group","date_published":"2018-05-28T00:00:00Z","publication":"Nature Physics","author":[{"full_name":"Waitukaitis, Scott R","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","last_name":"Waitukaitis"}],"page":"777 - 778","day":"28","volume":14,"date_updated":"2021-01-12T06:49:31Z","publication_status":"published","extern":"1","user_id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","oa_version":"None","year":"2018"},{"year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","arxiv":1,"author":[{"last_name":"Massuda","full_name":"Massuda, Aviram","first_name":"Aviram"},{"id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82","last_name":"Roques-Carmes","full_name":"Roques-Carmes, Charles","first_name":"Charles"},{"last_name":"Yang","full_name":"Yang, Yujia","first_name":"Yujia"},{"last_name":"Kooi","first_name":"Steven E.","full_name":"Kooi, Steven E."},{"last_name":"Yang","first_name":"Yi","full_name":"Yang, Yi"},{"first_name":"Chitraang","full_name":"Murdia, Chitraang","last_name":"Murdia"},{"last_name":"Berggren","full_name":"Berggren, Karl K.","first_name":"Karl K."},{"last_name":"Kaminer","full_name":"Kaminer, Ido","first_name":"Ido"},{"last_name":"Soljačić","first_name":"Marin","full_name":"Soljačić, Marin"}],"day":"30","date_published":"2018-08-30T00:00:00Z","quality_controlled":"1","doi":"10.1021/acsphotonics.8b00743","title":"Smith–Purcell radiation from low-energy electrons","oa_version":"Preprint","extern":"1","date_updated":"2026-04-15T11:48:45Z","oa":1,"article_type":"letter_note","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1710.05358"}],"volume":5,"publication_identifier":{"eissn":["2330-4022"]},"page":"3513-3518","date_created":"2026-03-30T12:22:47Z","intvolume":"         5","ddc":["530"],"citation":{"ieee":"A. Massuda <i>et al.</i>, “Smith–Purcell radiation from low-energy electrons,” <i>ACS Photonics</i>, vol. 5, no. 9. American Chemical Society , pp. 3513–3518, 2018.","ama":"Massuda A, Roques-Carmes C, Yang Y, et al. Smith–Purcell radiation from low-energy electrons. <i>ACS Photonics</i>. 2018;5(9):3513-3518. doi:<a href=\"https://doi.org/10.1021/acsphotonics.8b00743\">10.1021/acsphotonics.8b00743</a>","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.","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.” <i>ACS Photonics</i>. American Chemical Society , 2018. <a href=\"https://doi.org/10.1021/acsphotonics.8b00743\">https://doi.org/10.1021/acsphotonics.8b00743</a>.","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. <i>ACS Photonics</i>. American Chemical Society . <a href=\"https://doi.org/10.1021/acsphotonics.8b00743\">https://doi.org/10.1021/acsphotonics.8b00743</a>","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.","mla":"Massuda, Aviram, et al. “Smith–Purcell Radiation from Low-Energy Electrons.” <i>ACS Photonics</i>, vol. 5, no. 9, American Chemical Society , 2018, pp. 3513–18, doi:<a href=\"https://doi.org/10.1021/acsphotonics.8b00743\">10.1021/acsphotonics.8b00743</a>."},"OA_type":"green","publication":"ACS Photonics","publisher":"American Chemical Society ","language":[{"iso":"eng"}],"external_id":{"arxiv":["1710.05358"]},"month":"08","abstract":[{"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.","lang":"eng"}],"_id":"21533","OA_place":"repository","type":"journal_article","scopus_import":"1","issue":"9","keyword":["light−matter interactions","periodic structures","nanophotonics","free-electron light sources"],"status":"public"},{"keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"status":"public","pmid":1,"scopus_import":"1","type":"journal_article","abstract":[{"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.","lang":"eng"}],"_id":"13374","month":"02","external_id":{"pmid":["29440687"]},"language":[{"iso":"eng"}],"article_number":"641","date_created":"2023-08-01T09:39:32Z","citation":{"ama":"Samanta D, Galaktionova D, Gemen J, et al. Reversible chromism of spiropyran in the cavity of a flexible coordination cage. <i>Nature Communications</i>. 2018;9. doi:<a href=\"https://doi.org/10.1038/s41467-017-02715-6\">10.1038/s41467-017-02715-6</a>","ieee":"D. Samanta <i>et al.</i>, “Reversible chromism of spiropyran in the cavity of a flexible coordination cage,” <i>Nature Communications</i>, 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.","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.” <i>Nature Communications</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41467-017-02715-6\">https://doi.org/10.1038/s41467-017-02715-6</a>.","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. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-017-02715-6\">https://doi.org/10.1038/s41467-017-02715-6</a>","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).","mla":"Samanta, Dipak, et al. “Reversible Chromism of Spiropyran in the Cavity of a Flexible Coordination Cage.” <i>Nature Communications</i>, vol. 9, 641, Springer Nature, 2018, doi:<a href=\"https://doi.org/10.1038/s41467-017-02715-6\">10.1038/s41467-017-02715-6</a>."},"intvolume":"         9","publisher":"Springer Nature","publication":"Nature Communications","publication_identifier":{"eissn":["2041-1723"]},"volume":9,"article_type":"original","main_file_link":[{"url":"https://doi.org/10.1038/s41467-017-02715-6","open_access":"1"}],"date_updated":"2024-10-14T12:14:34Z","oa":1,"related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41467-018-03701-2"}]},"extern":"1","oa_version":"Published Version","title":"Reversible chromism of spiropyran in the cavity of a flexible coordination cage","quality_controlled":"1","doi":"10.1038/s41467-017-02715-6","date_published":"2018-02-13T00:00:00Z","author":[{"full_name":"Samanta, Dipak","first_name":"Dipak","last_name":"Samanta"},{"full_name":"Galaktionova, Daria","first_name":"Daria","last_name":"Galaktionova"},{"full_name":"Gemen, Julius","first_name":"Julius","last_name":"Gemen"},{"first_name":"Linda J. W.","full_name":"Shimon, Linda J. W.","last_name":"Shimon"},{"full_name":"Diskin-Posner, Yael","first_name":"Yael","last_name":"Diskin-Posner"},{"full_name":"Avram, Liat","first_name":"Liat","last_name":"Avram"},{"last_name":"Král","full_name":"Král, Petr","first_name":"Petr"},{"first_name":"Rafal","full_name":"Klajn, Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b"}],"day":"13","article_processing_charge":"No","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018"},{"quality_controlled":"1","doi":"10.1051/0004-6361/201732274","title":"Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","publication_status":"published","arxiv":1,"article_processing_charge":"No","date_published":"2018-07-17T00:00:00Z","author":[{"first_name":"Ylva Louise Linsdotter","full_name":"Götberg, Ylva Louise Linsdotter","last_name":"Götberg","orcid":"0000-0002-6960-6911","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d"},{"last_name":"de Mink","first_name":"S. E.","full_name":"de Mink, S. E."},{"last_name":"Groh","full_name":"Groh, J. H.","first_name":"J. H."},{"first_name":"T.","full_name":"Kupfer, T.","last_name":"Kupfer"},{"full_name":"Crowther, P. A.","first_name":"P. A.","last_name":"Crowther"},{"last_name":"Zapartas","first_name":"E.","full_name":"Zapartas, E."},{"last_name":"Renzo","full_name":"Renzo, M.","first_name":"M."}],"day":"17","month":"07","external_id":{"arxiv":["1802.03018"]},"language":[{"iso":"eng"}],"article_number":"A78","type":"journal_article","abstract":[{"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.","lang":"eng"}],"_id":"13475","scopus_import":"1","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"status":"public","extern":"1","oa_version":"Published Version","date_updated":"2024-10-14T12:22:18Z","oa":1,"volume":615,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"article_type":"original","main_file_link":[{"url":"https://doi.org/10.1051/0004-6361/201732274","open_access":"1"}],"intvolume":"       615","citation":{"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.” <i>Astronomy &#38;amp; Astrophysics</i>. EDP Sciences, 2018. <a href=\"https://doi.org/10.1051/0004-6361/201732274\">https://doi.org/10.1051/0004-6361/201732274</a>.","apa":"Götberg, Y. L. L., de Mink, S. E., Groh, J. H., Kupfer, T., Crowther, P. A., Zapartas, E., &#38; Renzo, M. (2018). Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. <i>Astronomy &#38;amp; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/201732274\">https://doi.org/10.1051/0004-6361/201732274</a>","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 &#38;amp; Astrophysics. 615, A78.","ieee":"Y. L. L. Götberg <i>et al.</i>, “Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars,” <i>Astronomy &#38;amp; Astrophysics</i>, vol. 615. EDP Sciences, 2018.","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. <i>Astronomy &#38;amp; Astrophysics</i>. 2018;615. doi:<a href=\"https://doi.org/10.1051/0004-6361/201732274\">10.1051/0004-6361/201732274</a>","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.” <i>Astronomy &#38;amp; Astrophysics</i>, vol. 615, A78, EDP Sciences, 2018, doi:<a href=\"https://doi.org/10.1051/0004-6361/201732274\">10.1051/0004-6361/201732274</a>.","short":"Y.L.L. Götberg, S.E. de Mink, J.H. Groh, T. Kupfer, P.A. Crowther, E. Zapartas, M. Renzo, Astronomy &#38;amp; Astrophysics 615 (2018)."},"date_created":"2023-08-03T10:15:00Z","publication":"Astronomy &amp; Astrophysics","publisher":"EDP Sciences"},{"volume":8,"publication_identifier":{"eissn":["2160-3308"]},"article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1103/PhysRevX.8.031060"}],"date_created":"2023-08-10T06:34:48Z","intvolume":"         8","citation":{"short":"D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>, vol. 8, no. 3, 031060, American Physical Society, 2018, doi:<a href=\"https://doi.org/10.1103/physrevx.8.031060\">10.1103/physrevx.8.031060</a>.","ama":"Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic spectroscopy. <i>Physical Review X</i>. 2018;8(3). doi:<a href=\"https://doi.org/10.1103/physrevx.8.031060\">10.1103/physrevx.8.031060</a>","ieee":"D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical high-harmonic spectroscopy,” <i>Physical Review X</i>, vol. 8, no. 3. American Physical Society, 2018.","chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>. American Physical Society, 2018. <a href=\"https://doi.org/10.1103/physrevx.8.031060\">https://doi.org/10.1103/physrevx.8.031060</a>.","apa":"Baykusheva, D. R., &#38; Wörner, H. J. (2018). Chiral discrimination through bielliptical high-harmonic spectroscopy. <i>Physical Review X</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevx.8.031060\">https://doi.org/10.1103/physrevx.8.031060</a>","ista":"Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 8(3), 031060."},"publisher":"American Physical Society","publication":"Physical Review X","extern":"1","oa_version":"Published Version","date_updated":"2023-08-22T07:42:07Z","oa":1,"issue":"3","scopus_import":"1","keyword":["General Physics and Astronomy"],"status":"public","month":"07","language":[{"iso":"eng"}],"article_number":"031060","type":"journal_article","abstract":[{"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.","lang":"eng"}],"_id":"14003","article_processing_charge":"No","date_published":"2018-07-01T00:00:00Z","author":[{"last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","full_name":"Baykusheva, Denitsa Rangelova"},{"full_name":"Wörner, Hans Jakob","first_name":"Hans Jakob","last_name":"Wörner"}],"day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","publication_status":"published","title":"Chiral discrimination through bielliptical high-harmonic spectroscopy","quality_controlled":"1","doi":"10.1103/physrevx.8.031060"},{"doi":"10.1145/3209108.3209194","type":"conference","quality_controlled":"1","_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."}],"publist_id":"7779","month":"07","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000545262800041"]},"title":"A theory of register monitors","status":"public","department":[{"_id":"ToHe"}],"conference":{"end_date":"2018-07-12","location":"Oxford, UK","start_date":"2018-07-09","name":"LICS: Logic in Computer Science"},"scopus_import":"1","date_updated":"2023-09-08T11:49:13Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["ACM/IEEE Symposium on Logic in Computer Science"],"year":"2018","oa_version":"None","date_published":"2018-07-09T00:00:00Z","publisher":"IEEE","date_created":"2018-12-11T11:44:52Z","citation":{"ama":"Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:<a href=\"https://doi.org/10.1145/3209108.3209194\">10.1145/3209108.3209194</a>","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.","apa":"Ferrere, T., Henzinger, T. A., &#38; 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. <a href=\"https://doi.org/10.1145/3209108.3209194\">https://doi.org/10.1145/3209108.3209194</a>","chicago":"Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,” Part F138033:394–403. IEEE, 2018. <a href=\"https://doi.org/10.1145/3209108.3209194\">https://doi.org/10.1145/3209108.3209194</a>.","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.","short":"T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.","mla":"Ferrere, Thomas, et al. <i>A Theory of Register Monitors</i>. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:<a href=\"https://doi.org/10.1145/3209108.3209194\">10.1145/3209108.3209194</a>."},"day":"09","page":"394 - 403","author":[{"full_name":"Ferrere, Thomas","first_name":"Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","last_name":"Ferrere"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"full_name":"Saraç, Ege","first_name":"Ege","last_name":"Saraç"}],"volume":"Part F138033","article_processing_charge":"No"},{"oa_version":"Preprint","extern":"1","date_updated":"2025-07-10T11:51:49Z","oa":1,"article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1706.05919"}],"publication_identifier":{"issn":["0002-9890"],"eissn":["1930-0972"]},"volume":125,"page":"689-703","citation":{"mla":"Chan, Stephanie. “Rational Right Triangles of a given Area.” <i>The American Mathematical Monthly</i>, vol. 125, no. 8, Taylor &#38; Francis, 2018, pp. 689–703, doi:<a href=\"https://doi.org/10.1080/00029890.2018.1495491\">10.1080/00029890.2018.1495491</a>.","short":"S. Chan, The American Mathematical Monthly 125 (2018) 689–703.","ista":"Chan S. 2018. Rational right triangles of a given area. The American Mathematical Monthly. 125(8), 689–703.","apa":"Chan, S. (2018). Rational right triangles of a given area. <i>The American Mathematical Monthly</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/00029890.2018.1495491\">https://doi.org/10.1080/00029890.2018.1495491</a>","chicago":"Chan, Stephanie. “Rational Right Triangles of a given Area.” <i>The American Mathematical Monthly</i>. Taylor &#38; Francis, 2018. <a href=\"https://doi.org/10.1080/00029890.2018.1495491\">https://doi.org/10.1080/00029890.2018.1495491</a>.","ieee":"S. Chan, “Rational right triangles of a given area,” <i>The American Mathematical Monthly</i>, vol. 125, no. 8. Taylor &#38; Francis, pp. 689–703, 2018.","ama":"Chan S. Rational right triangles of a given area. <i>The American Mathematical Monthly</i>. 2018;125(8):689-703. doi:<a href=\"https://doi.org/10.1080/00029890.2018.1495491\">10.1080/00029890.2018.1495491</a>"},"date_created":"2025-04-05T10:51:16Z","intvolume":"       125","OA_type":"green","publisher":"Taylor & Francis","publication":"The American Mathematical Monthly","language":[{"iso":"eng"}],"external_id":{"arxiv":["1706.05919"]},"month":"09","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."}],"_id":"19494","OA_place":"repository","type":"journal_article","scopus_import":"1","issue":"8","status":"public","year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","arxiv":1,"article_processing_charge":"No","author":[{"first_name":"Yik Tung","full_name":"Chan, Yik Tung","last_name":"Chan","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","orcid":"0000-0001-8467-4106"}],"day":"28","date_published":"2018-09-28T00:00:00Z","quality_controlled":"1","doi":"10.1080/00029890.2018.1495491","title":"Rational right triangles of a given area"},{"ddc":["000"],"date_created":"2018-12-12T11:39:26Z","citation":{"ista":"Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p.","chicago":"Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>. IST Austria, 2018.","apa":"Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, &#38; Anonymous, 6. (2018). <i>Cost analysis of nondeterministic probabilistic programs</i>. IST Austria.","ama":"Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>. IST Austria; 2018.","ieee":"1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, <i>Cost analysis of nondeterministic probabilistic programs</i>. IST Austria, 2018.","mla":"Anonymous, 1, et al. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>. 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."},"publisher":"IST Austria","date_published":"2018-11-11T00:00:00Z","page":"27","pubrep_id":"1066","author":[{"last_name":"Anonymous","full_name":"Anonymous, 1","first_name":"1"},{"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"},{"full_name":"Anonymous, 5","first_name":"5","last_name":"Anonymous"},{"first_name":"6","full_name":"Anonymous, 6","last_name":"Anonymous"}],"day":"11","publication_identifier":{"issn":["2664-1690"]},"corr_author":"1","date_updated":"2025-04-15T08:11:42Z","oa":1,"related_material":{"record":[{"id":"6175","status":"public","relation":"later_version"}]},"publication_status":"published","alternative_title":["IST Austria Technical Report"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","oa_version":"Published Version","title":"Cost analysis of nondeterministic probabilistic programs","status":"public","file":[{"relation":"main_file","date_created":"2018-12-12T11:53:32Z","content_type":"application/pdf","checksum":"ba3adafd36fe200385ccda583063b9eb","file_size":4202966,"date_updated":"2020-07-14T12:47:00Z","creator":"system","file_name":"IST-2018-1066-v1+1_techreport.pdf","file_id":"5493","access_level":"open_access"},{"file_size":322,"checksum":"6cf3a19164bb8e5048a9c8c84dfd9fa3","content_type":"text/plain","date_created":"2019-05-10T13:22:12Z","relation":"main_file","access_level":"closed","file_id":"6402","file_name":"authors-names.txt","creator":"dernst","date_updated":"2020-07-14T12:47:00Z"}],"file_date_updated":"2020-07-14T12:47:00Z","scopus_import":1,"type":"technical_report","abstract":[{"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.","lang":"eng"}],"_id":"5457","has_accepted_license":"1","month":"11","language":[{"iso":"eng"}]},{"scopus_import":"1","title":"A micro-CT-based method for characterising lesions and locating electrodes in small animal brains","status":"public","department":[{"_id":"MaJö"}],"month":"11","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000456469400103"]},"doi":"10.3791/58585","type":"journal_article","quality_controlled":"1","_id":"6","publist_id":"8050","abstract":[{"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.","lang":"eng"}],"volume":141,"article_processing_charge":"No","date_published":"2018-11-08T00:00:00Z","publication":"Journal of visualized experiments","publisher":"MyJove Corporation","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. <i>Journal of visualized experiments</i>. 2018;141. doi:<a href=\"https://doi.org/10.3791/58585\">10.3791/58585</a>","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,” <i>Journal of visualized experiments</i>, 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.","apa":"Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., &#38; Cox, D. (2018). A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. <i>Journal of Visualized Experiments</i>. MyJove Corporation. <a href=\"https://doi.org/10.3791/58585\">https://doi.org/10.3791/58585</a>","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.” <i>Journal of Visualized Experiments</i>. MyJove Corporation, 2018. <a href=\"https://doi.org/10.3791/58585\">https://doi.org/10.3791/58585</a>.","short":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).","mla":"Masís, Javier, et al. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” <i>Journal of Visualized Experiments</i>, vol. 141, MyJove Corporation, 2018, doi:<a href=\"https://doi.org/10.3791/58585\">10.3791/58585</a>."},"intvolume":"       141","date_created":"2018-12-11T11:44:07Z","day":"08","author":[{"last_name":"Masís","full_name":"Masís, Javier","first_name":"Javier"},{"full_name":"Mankus, David","first_name":"David","last_name":"Mankus"},{"last_name":"Wolff","first_name":"Steffen","full_name":"Wolff, Steffen"},{"full_name":"Guitchounts, Grigori","first_name":"Grigori","last_name":"Guitchounts"},{"full_name":"Jösch, Maximilian A","first_name":"Maximilian A","orcid":"0000-0002-3937-1330","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","last_name":"Jösch"},{"first_name":"David","full_name":"Cox, David","last_name":"Cox"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","year":"2018","date_updated":"2023-10-17T11:49:25Z","publication_status":"published"}]