--- _id: '7232' abstract: - lang: eng text: 'We present Mixed-time Signal Temporal Logic (STL−MX), a specification formalism which extends STL by capturing the discrete/ continuous time duality found in many cyber-physical systems (CPS), as well as mixed-signal electronic designs. In STL−MX, properties of components with continuous dynamics are expressed in STL, while specifications of components with discrete dynamics are written in LTL. To combine the two layers, we evaluate formulas on two traces, discrete- and continuous-time, and introduce two interface operators that map signals, properties and their satisfaction signals across the two time domains. We show that STL-mx has the expressive power of STL supplemented with an implicit T-periodic clock signal. We develop and implement an algorithm for monitoring STL-mx formulas and illustrate the approach using a mixed-signal example. ' alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Oded full_name: Maler, Oded last_name: Maler - first_name: Dejan full_name: Nickovic, Dejan id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87 last_name: Nickovic citation: ama: 'Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4' apa: 'Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4' chicago: Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_4. ieee: T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75. ista: 'Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750, 59–75.' mla: Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4. short: T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75. conference: end_date: 2019-08-29 location: Amsterdam, The Netherlands name: 'FORMATS: Formal Modeling and Anaysis of Timed Systems' start_date: 2019-08-27 date_created: 2020-01-05T23:00:48Z date_published: 2019-08-13T00:00:00Z date_updated: 2025-04-15T06:26:06Z day: '13' department: - _id: ToHe doi: 10.1007/978-3-030-29662-9_4 external_id: isi: - '000611677700004' intvolume: ' 11750' isi: 1 language: - iso: eng month: '08' oa_version: None page: 59-75 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: 17th International Conference on Formal Modeling and Analysis of Timed Systems publication_identifier: eissn: - 1611-3349 isbn: - 978-3-0302-9661-2 issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Mixed-time signal temporal logic type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 11750 year: '2019' ... --- _id: '7398' abstract: - lang: eng text: 'Transporters of the solute carrier 6 (SLC6) family translocate their cognate substrate together with Na+ and Cl−. Detailed kinetic models exist for the transporters of GABA (GAT1/SLC6A1) and the monoamines dopamine (DAT/SLC6A3) and serotonin (SERT/SLC6A4). Here, we posited that the transport cycle of individual SLC6 transporters reflects the physiological requirements they operate under. We tested this hypothesis by analyzing the transport cycle of glycine transporter 1 (GlyT1/SLC6A9) and glycine transporter 2 (GlyT2/SLC6A5). GlyT2 is the only SLC6 family member known to translocate glycine, Na+, and Cl− in a 1:3:1 stoichiometry. We analyzed partial reactions in real time by electrophysiological recordings. Contrary to monoamine transporters, both GlyTs were found to have a high transport capacity driven by rapid return of the empty transporter after release of Cl− on the intracellular side. Rapid cycling of both GlyTs was further supported by highly cooperative binding of cosubstrate ions and substrate such that their forward transport mode was maintained even under conditions of elevated intracellular Na+ or Cl−. The most important differences in the transport cycle of GlyT1 and GlyT2 arose from the kinetics of charge movement and the resulting voltage-dependent rate-limiting reactions: the kinetics of GlyT1 were governed by transition of the substrate-bound transporter from outward- to inward-facing conformations, whereas the kinetics of GlyT2 were governed by Na+ binding (or a related conformational change). Kinetic modeling showed that the kinetics of GlyT1 are ideally suited for supplying the extracellular glycine levels required for NMDA receptor activation.' article_processing_charge: No article_type: original author: - first_name: Fatma Asli full_name: Erdem, Fatma Asli last_name: Erdem - first_name: Marija full_name: Ilic, Marija last_name: Ilic - first_name: Peter full_name: Koppensteiner, Peter id: 3B8B25A8-F248-11E8-B48F-1D18A9856A87 last_name: Koppensteiner orcid: 0000-0002-3509-1948 - first_name: Jakub full_name: Gołacki, Jakub last_name: Gołacki - first_name: Gert full_name: Lubec, Gert last_name: Lubec - first_name: Michael full_name: Freissmuth, Michael last_name: Freissmuth - first_name: Walter full_name: Sandtner, Walter last_name: Sandtner citation: ama: Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 2019;151(8):1035-1050. doi:10.1085/jgp.201912318 apa: Erdem, F. A., Ilic, M., Koppensteiner, P., Gołacki, J., Lubec, G., Freissmuth, M., & Sandtner, W. (2019). A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. Rockefeller University Press. https://doi.org/10.1085/jgp.201912318 chicago: Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology. Rockefeller University Press, 2019. https://doi.org/10.1085/jgp.201912318. ieee: F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019. ista: Erdem FA, Ilic M, Koppensteiner P, Gołacki J, Lubec G, Freissmuth M, Sandtner W. 2019. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 151(8), 1035–1050. mla: Erdem, Fatma Asli, et al. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology, vol. 151, no. 8, Rockefeller University Press, 2019, pp. 1035–50, doi:10.1085/jgp.201912318. short: F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050. date_created: 2020-01-29T16:06:29Z date_published: 2019-07-03T00:00:00Z date_updated: 2023-09-07T14:52:23Z day: '03' ddc: - '570' department: - _id: RySh doi: 10.1085/jgp.201912318 external_id: isi: - '000478792500008' pmid: - '31270129' file: - access_level: open_access checksum: 5706b4ccd74ee3e50bf7ecb2a203df71 content_type: application/pdf creator: dernst date_created: 2020-02-05T07:20:32Z date_updated: 2020-07-14T12:47:57Z file_id: '7450' file_name: 2019_JGP_Erdem.pdf file_size: 2641297 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 151' isi: 1 issue: '8' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '07' oa: 1 oa_version: Published Version page: 1035-1050 pmid: 1 publication: The Journal of General Physiology publication_identifier: eissn: - 1540-7748 issn: - 0022-1295 publication_status: published publisher: Rockefeller University Press quality_controlled: '1' scopus_import: '1' status: public title: A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2 tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 151 year: '2019' ... --- _id: '7401' abstract: - lang: eng text: 'The genus g(G) of a graph G is the minimum g such that G has an embedding on the orientable surface M_g of genus g. A drawing of a graph on a surface is independently even if every pair of nonadjacent edges in the drawing crosses an even number of times. The Z_2-genus of a graph G, denoted by g_0(G), is the minimum g such that G has an independently even drawing on M_g. By a result of Battle, Harary, Kodama and Youngs from 1962, the graph genus is additive over 2-connected blocks. In 2013, Schaefer and Stefankovic proved that the Z_2-genus of a graph is additive over 2-connected blocks as well, and asked whether this result can be extended to so-called 2-amalgamations, as an analogue of results by Decker, Glover, Huneke, and Stahl for the genus. We give the following partial answer. If G=G_1 cup G_2, G_1 and G_2 intersect in two vertices u and v, and G-u-v has k connected components (among which we count the edge uv if present), then |g_0(G)-(g_0(G_1)+g_0(G_2))|<=k+1. For complete bipartite graphs K_{m,n}, with n >= m >= 3, we prove that g_0(K_{m,n})/g(K_{m,n})=1-O(1/n). Similar results are proved also for the Euler Z_2-genus. We express the Z_2-genus of a graph using the minimum rank of partial symmetric matrices over Z_2; a problem that might be of independent interest. ' alternative_title: - LIPIcs article_number: '39' article_processing_charge: No arxiv: 1 author: - first_name: Radoslav full_name: Fulek, Radoslav id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87 last_name: Fulek orcid: 0000-0001-8485-1774 - first_name: Jan full_name: Kyncl, Jan last_name: Kyncl citation: ama: 'Fulek R, Kyncl J. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.SOCG.2019.39' apa: 'Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39' chicago: Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” In 35th International Symposium on Computational Geometry (SoCG 2019), Vol. 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.39. ieee: R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129. ista: 'Fulek R, Kyncl J. 2019. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 39.' mla: Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” 35th International Symposium on Computational Geometry (SoCG 2019), vol. 129, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.SOCG.2019.39. short: R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. conference: end_date: 2019-06-21 location: Portland, OR, United States name: 'SoCG: Symposium on Computational Geometry' start_date: 2019-06-18 corr_author: '1' date_created: 2020-01-29T16:17:05Z date_published: 2019-06-01T00:00:00Z date_updated: 2024-10-09T20:59:14Z day: '01' ddc: - '000' department: - _id: UlWa doi: 10.4230/LIPICS.SOCG.2019.39 external_id: arxiv: - '1903.08637' file: - access_level: open_access checksum: aac37b09118cc0ab58cf77129e691f8c content_type: application/pdf creator: dernst date_created: 2020-02-04T09:14:31Z date_updated: 2020-07-14T12:47:57Z file_id: '7445' file_name: 2019_LIPIcs_Fulek.pdf file_size: 628347 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 129' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '06' oa: 1 oa_version: Published Version project: - _id: 261FA626-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02281 name: Eliminating intersections in drawings of graphs publication: 35th International Symposium on Computational Geometry (SoCG 2019) publication_identifier: isbn: - 978-3-95977-104-7 issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: 1 status: public title: Z_2-Genus of graphs and minimum rank of partial symmetric matrices tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 129 year: '2019' ... --- _id: '7404' abstract: - lang: eng text: The formation of neuronal dendrite branches is fundamental for the wiring and function of the nervous system. Indeed, dendrite branching enhances the coverage of the neuron's receptive field and modulates the initial processing of incoming stimuli. Complex dendrite patterns are achieved in vivo through a dynamic process of de novo branch formation, branch extension and retraction. The first step towards branch formation is the generation of a dynamic filopodium-like branchlet. The mechanisms underlying the initiation of dendrite branchlets are therefore crucial to the shaping of dendrites. Through in vivo time-lapse imaging of the subcellular localization of actin during the process of branching of Drosophila larva sensory neurons, combined with genetic analysis and electron tomography, we have identified the Actin-related protein (Arp) 2/3 complex as the major actin nucleator involved in the initiation of dendrite branchlet formation, under the control of the activator WAVE and of the small GTPase Rac1. Transient recruitment of an Arp2/3 component marks the site of branchlet initiation in vivo. These data position the activation of Arp2/3 as an early hub for the initiation of branchlet formation. article_number: dev171397 article_processing_charge: No article_type: original author: - first_name: Tomke full_name: Stürner, Tomke last_name: Stürner - first_name: Anastasia full_name: Tatarnikova, Anastasia last_name: Tatarnikova - first_name: Jan full_name: Müller, Jan id: AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D last_name: Müller - first_name: Barbara full_name: Schaffran, Barbara last_name: Schaffran - first_name: Hermann full_name: Cuntz, Hermann last_name: Cuntz - first_name: Yun full_name: Zhang, Yun last_name: Zhang - first_name: Maria full_name: Nemethova, Maria id: 34E27F1C-F248-11E8-B48F-1D18A9856A87 last_name: Nemethova - first_name: Sven full_name: Bogdan, Sven last_name: Bogdan - first_name: Vic full_name: Small, Vic last_name: Small - first_name: Gaia full_name: Tavosanis, Gaia last_name: Tavosanis citation: ama: Stürner T, Tatarnikova A, Müller J, et al. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 2019;146(7). doi:10.1242/dev.171397 apa: Stürner, T., Tatarnikova, A., Müller, J., Schaffran, B., Cuntz, H., Zhang, Y., … Tavosanis, G. (2019). Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. The Company of Biologists. https://doi.org/10.1242/dev.171397 chicago: Stürner, Tomke, Anastasia Tatarnikova, Jan Müller, Barbara Schaffran, Hermann Cuntz, Yun Zhang, Maria Nemethova, Sven Bogdan, Vic Small, and Gaia Tavosanis. “Transient Localization of the Arp2/3 Complex Initiates Neuronal Dendrite Branching in Vivo.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.171397. ieee: T. Stürner et al., “Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo,” Development, vol. 146, no. 7. The Company of Biologists, 2019. ista: Stürner T, Tatarnikova A, Müller J, Schaffran B, Cuntz H, Zhang Y, Nemethova M, Bogdan S, Small V, Tavosanis G. 2019. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 146(7), dev171397. mla: Stürner, Tomke, et al. “Transient Localization of the Arp2/3 Complex Initiates Neuronal Dendrite Branching in Vivo.” Development, vol. 146, no. 7, dev171397, The Company of Biologists, 2019, doi:10.1242/dev.171397. short: T. Stürner, A. Tatarnikova, J. Müller, B. Schaffran, H. Cuntz, Y. Zhang, M. Nemethova, S. Bogdan, V. Small, G. Tavosanis, Development 146 (2019). date_created: 2020-01-29T16:27:10Z date_published: 2019-04-04T00:00:00Z date_updated: 2026-06-18T19:20:32Z day: '04' ddc: - '570' department: - _id: MiSi doi: 10.1242/dev.171397 external_id: isi: - '000464583200006' pmid: - '30910826' intvolume: ' 146' isi: 1 issue: '7' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1242/dev.171397 month: '04' oa: 1 oa_version: Published Version pmid: 1 publication: Development publication_identifier: eissn: - 1477-9129 issn: - 0950-1991 publication_status: published publisher: The Company of Biologists quality_controlled: '1' scopus_import: '1' status: public title: Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 146 year: '2019' ... --- _id: '7411' abstract: - lang: eng text: "Proofs of sequential work (PoSW) are proof systems where a prover, upon receiving a statement χ and a time parameter T computes a proof ϕ(χ,T) which is efficiently and publicly verifiable. The proof can be computed in T sequential steps, but not much less, even by a malicious party having large parallelism. A PoSW thus serves as a proof that T units of time have passed since χ\r\n\r\nwas received.\r\n\r\nPoSW were introduced by Mahmoody, Moran and Vadhan [MMV11], a simple and practical construction was only recently proposed by Cohen and Pietrzak [CP18].\r\n\r\nIn this work we construct a new simple PoSW in the random permutation model which is almost as simple and efficient as [CP18] but conceptually very different. Whereas the structure underlying [CP18] is a hash tree, our construction is based on skip lists and has the interesting property that computing the PoSW is a reversible computation.\r\nThe fact that the construction is reversible can potentially be used for new applications like constructing proofs of replication. We also show how to “embed” the sloth function of Lenstra and Weselowski [LW17] into our PoSW to get a PoSW where one additionally can verify correctness of the output much more efficiently than recomputing it (though recent constructions of “verifiable delay functions” subsume most of the applications this construction was aiming at)." alternative_title: - LNCS article_processing_charge: No author: - first_name: Hamza M full_name: Abusalah, Hamza M id: 40297222-F248-11E8-B48F-1D18A9856A87 last_name: Abusalah - first_name: Chethan full_name: Kamath Hosdurg, Chethan id: 4BD3F30E-F248-11E8-B48F-1D18A9856A87 last_name: Kamath Hosdurg orcid: 0009-0006-6812-7317 - first_name: Karen full_name: Klein, Karen id: 3E83A2F8-F248-11E8-B48F-1D18A9856A87 last_name: Klein - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 - first_name: Michael full_name: Walter, Michael id: 488F98B0-F248-11E8-B48F-1D18A9856A87 last_name: Walter orcid: 0000-0003-3186-2482 citation: ama: 'Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10' apa: 'Abusalah, H. M., Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2019). Reversible proofs of sequential work. In Advances in Cryptology – EUROCRYPT 2019 (Vol. 11477, pp. 277–291). Darmstadt, Germany: Springer International Publishing. https://doi.org/10.1007/978-3-030-17656-3_10' chicago: Abusalah, Hamza M, Chethan Kamath Hosdurg, Karen Klein, Krzysztof Z Pietrzak, and Michael Walter. “Reversible Proofs of Sequential Work.” In Advances in Cryptology – EUROCRYPT 2019, 11477:277–91. Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17656-3_10. ieee: H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291. ista: 'Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. 2019. Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 11477, 277–291.' mla: Abusalah, Hamza M., et al. “Reversible Proofs of Sequential Work.” Advances in Cryptology – EUROCRYPT 2019, vol. 11477, Springer International Publishing, 2019, pp. 277–91, doi:10.1007/978-3-030-17656-3_10. short: H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291. conference: end_date: 2019-05-23 location: Darmstadt, Germany name: 'EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques' start_date: 2019-05-19 date_created: 2020-01-30T09:26:14Z date_published: 2019-04-24T00:00:00Z date_updated: 2026-04-16T10:27:47Z day: '24' department: - _id: KrPi doi: 10.1007/978-3-030-17656-3_10 ec_funded: 1 external_id: isi: - '000483516200010' intvolume: ' 11477' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2019/252 month: '04' oa: 1 oa_version: Submitted Version page: 277-291 project: - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication: Advances in Cryptology – EUROCRYPT 2019 publication_identifier: eisbn: - '9783030176563' eissn: - 1611-3349 isbn: - '9783030176556' issn: - 0302-9743 publication_status: published publisher: Springer International Publishing quality_controlled: '1' scopus_import: '1' status: public title: Reversible proofs of sequential work type: conference user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 11477 year: '2019' ... --- _id: '7453' abstract: - lang: eng text: We illustrate the ingredients of the state-of-the-art of model-based approach for the formal design and verification of cyber-physical systems. To capture the interaction between a discrete controller and its continuously evolving environment, we use the formal models of timed and hybrid automata. We explain the steps of modeling and verification in the tools Uppaal and SpaceEx using a case study based on a dual-chamber implantable pacemaker monitoring a human heart. We show how to design a model as a composition of components, how to construct models at varying levels of detail, how to establish that one model is an abstraction of another, how to specify correctness requirements using temporal logic, and how to verify that a model satisfies a logical requirement. acknowledgement: This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23(RiSE/SHiNE) and Z211-N23 (Wittgenstein Award). This research has received funding from the Sino-Danish Basic Research Centre, IDEA4CPS, funded by the Danish National Research Foundation and the National Science Foundation, China, the Innovation Fund Denmark centre DiCyPS, as well as the ERC Advanced Grant LASSO. alternative_title: - Lecture Notes in Computer Science article_processing_charge: No author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Mirco full_name: Giacobbe, Mirco id: 3444EA5E-F248-11E8-B48F-1D18A9856A87 last_name: Giacobbe orcid: 0000-0001-8180-0904 - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Kim G. full_name: Larsen, Kim G. last_name: Larsen - first_name: Marius full_name: Mikučionis, Marius last_name: Mikučionis citation: ama: 'Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22' apa: Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen & G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22 chicago: Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019. https://doi.org/10.1007/978-3-319-91908-9_22. ieee: R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477. ista: 'Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. Lecture Notes in Computer Science, vol. 10000, 452–477.' mla: Alur, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.” Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, vol. 10000, Springer Nature, 2019, pp. 452–77, doi:10.1007/978-3-319-91908-9_22. short: R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477. date_created: 2020-02-05T10:51:44Z date_published: 2019-10-05T00:00:00Z date_updated: 2026-06-18T19:21:28Z day: '05' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-319-91908-9_22 editor: - first_name: Bernhard full_name: Steffen, Bernhard last_name: Steffen - first_name: Gerhard full_name: Woeginger, Gerhard last_name: Woeginger intvolume: ' 10000' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1007/978-3-319-91908-9_22 month: '10' oa: 1 oa_version: Published Version page: 452-477 project: - _id: 25F2ACDE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Rigorous Systems Engineering - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: Computing and Software Science publication_identifier: eisbn: - '9783319919089' eissn: - 0302-9743 isbn: - '9783319919072' issn: - 1611-3349 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' series_title: LNCS status: public title: Continuous-time models for system design and analysis type: book_chapter user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10000 year: '2019' ... --- _id: '7459' abstract: - lang: eng text: We report the fabrication of BaTiO3-Ni magnetoelectric nanocomposites comprising of BaTiO3 nanotubes surrounded by Ni matrix. BaTiO3 nanotubes obtained from the hydrothermal transformation of TiO2 have both inner and outer surfaces, which facilitates greater magnetoelectric coupling with the surrounding Ni matrix. The magnetoelectric coupling was studied by measuring the piezoelectric behavior in the presence of an in-plane direct magnetic field. A higher magnetoelectric voltage coefficient of 110 mV/cm·Oe was obtained, because of better coupling between Ni and BaTiO3 through the walls of the nanotubes. Such nanocomposite developed directly on Ti substrate may lead to efficient fabrication of magnetoelectric devices. article_processing_charge: No article_type: original author: - first_name: Samba Siva full_name: Vadla, Samba Siva last_name: Vadla - first_name: Tommaso full_name: Costanzo, Tommaso id: D93824F4-D9BA-11E9-BB12-F207E6697425 last_name: Costanzo orcid: 0000-0001-9732-3815 - first_name: Subish full_name: John, Subish last_name: John - first_name: Gabriel full_name: Caruntu, Gabriel last_name: Caruntu - first_name: Somnath C. full_name: Roy, Somnath C. last_name: Roy citation: ama: Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 2019;159:33-36. doi:10.1016/j.scriptamat.2018.09.003 apa: Vadla, S. S., Costanzo, T., John, S., Caruntu, G., & Roy, S. C. (2019). Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. Elsevier. https://doi.org/10.1016/j.scriptamat.2018.09.003 chicago: Vadla, Samba Siva, Tommaso Costanzo, Subish John, Gabriel Caruntu, and Somnath C. Roy. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni 1–3 Composites.” Scripta Materialia. Elsevier, 2019. https://doi.org/10.1016/j.scriptamat.2018.09.003. ieee: S. S. Vadla, T. Costanzo, S. John, G. Caruntu, and S. C. Roy, “Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites,” Scripta Materialia, vol. 159. Elsevier, pp. 33–36, 2019. ista: Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. 2019. Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 159, 33–36. mla: Vadla, Samba Siva, et al. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni 1–3 Composites.” Scripta Materialia, vol. 159, Elsevier, 2019, pp. 33–36, doi:10.1016/j.scriptamat.2018.09.003. short: S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia 159 (2019) 33–36. date_created: 2020-02-05T14:19:17Z date_published: 2019-01-15T00:00:00Z date_updated: 2023-02-23T13:08:31Z day: '15' doi: 10.1016/j.scriptamat.2018.09.003 extern: '1' intvolume: ' 159' language: - iso: eng month: '01' oa_version: None page: 33-36 publication: Scripta Materialia publication_identifier: issn: - 1359-6462 publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 159 year: '2019' ... --- _id: '9900' abstract: - lang: eng text: Pan-genome statistics by species. (CSV 3 kb) article_processing_charge: No author: - first_name: Olga M. full_name: Sigalova, Olga M. last_name: Sigalova - first_name: Andrei V. full_name: Chaplin, Andrei V. last_name: Chaplin - first_name: Olga full_name: Bochkareva, Olga id: C4558D3C-6102-11E9-A62E-F418E6697425 last_name: Bochkareva orcid: 0000-0003-1006-6639 - first_name: Pavel V. full_name: Shelyakin, Pavel V. last_name: Shelyakin - first_name: Vsevolod A. full_name: Filaretov, Vsevolod A. last_name: Filaretov - first_name: Evgeny E. full_name: Akkuratov, Evgeny E. last_name: Akkuratov - first_name: Valentina full_name: Burskaia, Valentina last_name: Burskaia - first_name: Mikhail S. full_name: Gelfand, Mikhail S. last_name: Gelfand citation: ama: Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808886.v1 apa: Sigalova, O. M., Chaplin, A. V., Bochkareva, O., Shelyakin, P. V., Filaretov, V. A., Akkuratov, E. E., … Gelfand, M. S. (2019). Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. Springer Nature. https://doi.org/10.6084/m9.figshare.9808886.v1 chicago: Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808886.v1. ieee: O. M. Sigalova et al., “Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019. ista: Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov EE, Burskaia V, Gelfand MS. 2019. Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction, Springer Nature, 10.6084/m9.figshare.9808886.v1. mla: Sigalova, Olga M., et al. Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808886.v1. short: O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019). date_created: 2021-08-12T08:44:49Z date_published: 2019-09-12T00:00:00Z date_updated: 2026-04-03T09:39:41Z day: '12' department: - _id: FyKo doi: 10.6084/m9.figshare.9808886.v1 main_file_link: - open_access: '1' url: https://doi.org/10.6084/m9.figshare.9808886.v1 month: '09' oa: 1 oa_version: Published Version publisher: Springer Nature related_material: record: - id: '6898' relation: used_in_publication status: public status: public title: Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2019' ... --- _id: '6392' abstract: - lang: eng text: "The regulation of gene expression is one of the most fundamental processes in living systems. In recent years, thanks to advances in sequencing technology and automation, it has become possible to study gene expression quantitatively, genome-wide and in high-throughput. This leads to the possibility of exploring changes in gene expression in the context of many external perturbations and their combinations, and thus of characterising the basic principles governing gene regulation. In this thesis, I present quantitative experimental approaches to studying transcriptional and protein level changes in response to combinatorial drug treatment, as well as a theoretical data-driven approach to analysing thermodynamic principles guiding transcription of protein coding genes. \r\nIn the first part of this work, I present a novel methodological framework for quantifying gene expression changes in drug combinations, termed isogrowth profiling. External perturbations through small molecule drugs influence the growth rate of the cell, leading to wide-ranging changes in cellular physiology and gene expression. This confounds the gene expression changes specifically elicited by the particular drug. Combinatorial perturbations, owing to the increased stress they exert, influence the growth rate even more strongly and hence suffer the convolution problem to a greater extent when measuring gene expression changes. Isogrowth profiling is a way to experimentally abstract non-specific, growth rate related changes, by performing the measurement using varying ratios of two drugs at such concentrations that the overall inhibition rate is constant. Using a robotic setup for automated high-throughput re-dilution culture of Saccharomyces cerevisiae, the budding yeast, I investigate all pairwise interactions of four small molecule drugs through sequencing RNA along a growth isobole. Through principal component analysis, I demonstrate here that isogrowth profiling can uncover drug-specific as well as drug-interaction-specific gene expression changes. I show that drug-interaction-specific gene expression changes can be used for prediction of higher-order drug interactions. I propose a simplified generalised framework of isogrowth profiling, with few measurements needed for each drug pair, enabling the broad application of isogrowth profiling to high-throughput screening of inhibitors of cellular growth and beyond. Such high-throughput screenings of gene expression changes specific to pairwise drug interactions will be instrumental for predicting the higher-order interactions of the drugs.\r\n\r\nIn the second part of this work, I extend isogrowth profiling to single-cell measurements of gene expression, characterising population heterogeneity in the budding yeast in response to combinatorial drug perturbation while controlling for non-specific growth rate effects. Through flow cytometry of strains with protein products fused to green fluorescent protein, I discover multiple proteins with bi-modally distributed expression levels in the population in response to drug treatment. I characterize more closely the effect of an ionic stressor, lithium chloride, and find that it inhibits the splicing of mRNA, most strongly affecting ribosomal protein transcripts and leading to a bi-stable behaviour of a small ribosomal subunit protein Rps22B. Time-lapse microscopy of a microfluidic culture system revealed that the induced Rps22B heterogeneity leads to preferential survival of Rps22B-low cells after long starvation, but to preferential proliferation of Rps22B-high cells after short starvation. Overall, this suggests that yeast cells might use splicing of ribosomal genes for bet-hedging in fluctuating environments. I give specific examples of how further exploration of cellular heterogeneity in yeast in response to external perturbation has the potential to reveal yet-undiscovered gene regulation circuitry.\r\n\r\nIn the last part of this thesis, a re-analysis of a published sequencing dataset of nascent elongating transcripts is used to characterise the thermodynamic constraints for RNA polymerase II (RNAP) elongation. Population-level data on RNAP position throughout the transcribed genome with single nucleotide resolution are used to infer the sequence specific thermodynamic determinants of RNAP pausing and backtracking. This analysis reveals that the basepairing strength of the eight nucleotide-long RNA:DNA duplex relative to the basepairing strength of the same sequence when in DNA:DNA duplex, and the change in this quantity during RNA polymerase movement, is the key determinant of RNAP pausing. This is true for RNAP pausing while elongating, but also of RNAP pausing while backtracking and of the backtracking length. The quantitative dependence of RNAP pausing on basepairing energetics is used to infer the increase in pausing due to transcriptional mismatches, leading to a hypothesis that pervasive RNA polymerase II pausing is due to basepairing energetics, as an evolutionary cost for increased RNA polymerase II fidelity.\r\n\r\nThis work advances our understanding of the general principles governing gene expression, with the goal of making computational predictions of single-cell gene expression responses to combinatorial perturbations based on the individual perturbations possible. This ability would substantially facilitate the design of drug combination treatments and, in the long term, lead to our increased ability to more generally design targeted manipulations to any biological system. " acknowledged_ssus: - _id: LifeSc - _id: M-Shop - _id: Bio alternative_title: - IST Austria Thesis author: - first_name: Martin full_name: Lukacisin, Martin id: 298FFE8C-F248-11E8-B48F-1D18A9856A87 last_name: Lukacisin orcid: 0000-0001-6549-4177 citation: ama: Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392 apa: Lukacisin, M. (2019). Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria. https://doi.org/10.15479/AT:ISTA:6392 chicago: Lukacisin, Martin. “Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6392. ieee: M. Lukacisin, “Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory,” IST Austria, 2019. ista: Lukacisin M. 2019. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria. mla: Lukacisin, Martin. Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory. IST Austria, 2019, doi:10.15479/AT:ISTA:6392. short: M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019. date_created: 2019-05-09T19:53:00Z date_published: 2019-05-09T00:00:00Z date_updated: 2025-07-10T11:49:51Z day: '09' ddc: - '570' department: - _id: ToBo doi: 10.15479/AT:ISTA:6392 extern: '1' file: - access_level: closed checksum: 829bda074444857c7935171237bb7c0c content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: mlukacisin date_created: 2019-05-10T13:51:49Z date_updated: 2020-07-14T12:47:29Z embargo_to: open_access file_id: '6409' file_name: Thesis_Draft_v3.4Final.docx file_size: 43740796 relation: hidden - access_level: open_access checksum: 56cb5e97f5f8fc41692401b53832d8e0 content_type: application/pdf creator: mlukacisin date_created: 2019-05-10T14:13:42Z date_updated: 2021-02-11T11:17:16Z embargo: 2020-04-17 file_id: '6410' file_name: Thesis_Draft_v3.4FinalA.pdf file_size: 35228388 relation: main_file file_date_updated: 2021-02-11T11:17:16Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '103' publication_identifier: isbn: - 978-3-99078-001-5 issn: - 2663-337X publication_status: published publisher: IST Austria related_material: record: - id: '1029' relation: part_of_dissertation status: public status: public supervisor: - first_name: Mark Tobias full_name: Bollenbach, Mark Tobias id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87 last_name: Bollenbach orcid: 0000-0003-4398-476X title: Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2019' ... --- OA_place: publisher _id: '6363' abstract: - lang: eng text: "Distinguishing between similar experiences is achieved by the brain \ in a process called pattern separation. In the hippocampus, pattern \ separation reduces the interference of memories and increases the storage capacity by decorrelating similar inputs patterns of neuronal activity into \ non-overlapping output firing patterns. Winners-take-all (WTA) mechanism \ is a theoretical model for pattern separation in which a \"winner\" \ cell suppresses the activity of the neighboring neurons through feedback inhibition. However, if the network properties of the dentate gyrus support WTA as a biologically conceivable model remains unknown. Here, we showed that the connectivity rules of PV+interneurons and their synaptic properties are optimizedfor efficient pattern separation. We found using multiple whole-cell in vitrorecordings that PV+interneurons mainly connect to granule cells (GC) through lateral inhibition, a form of feedback inhibition in which a GC inhibits other GCs but not \ itself through the activation of PV+interneurons. Thus, lateral inhibition between GC–PV+interneurons was ~10 times more abundant than recurrent connections. Furthermore, the GC–PV+interneuron connectivity was more spatially confined \ but less abundant than PV+interneurons–GC connectivity, leading to an \ asymmetrical distribution of excitatory and inhibitory connectivity. Our network model of the dentate gyrus with incorporated real connectivity rules efficiently decorrelates neuronal activity patterns using WTA as the primary mechanism. \ This process relied on lateral inhibition, fast-signaling properties of \ PV+interneurons and the asymmetrical distribution of excitatory and inhibitory connectivity. Finally, we found that silencing the activity of PV+interneurons in vivoleads to acute deficits in discrimination between similar environments, suggesting that PV+interneuron networks are necessary for behavioral relevant computations. Our results demonstrate that PV+interneurons possess unique connectivity and fast signaling properties that confer to the dentate \ gyrus network properties that allow the emergence of pattern separation. Thus, our results contribute to the knowledge of how specific forms of network organization underlie sophisticated types of information processing. \r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: 'Claudia ' full_name: 'Espinoza Martinez, Claudia ' id: 31FFEE2E-F248-11E8-B48F-1D18A9856A87 last_name: Espinoza Martinez orcid: 0000-0003-4710-2082 citation: ama: Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363 apa: Espinoza Martinez, C. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6363 chicago: Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363. ieee: C. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits,” Institute of Science and Technology Austria, 2019. ista: Espinoza Martinez C. 2019. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria. mla: Espinoza Martinez, Claudia. Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6363. short: C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, Institute of Science and Technology Austria, 2019. corr_author: '1' date_created: 2019-04-30T11:56:10Z date_published: 2019-04-30T00:00:00Z date_updated: 2026-04-08T13:57:19Z day: '30' ddc: - '570' degree_awarded: PhD department: - _id: PeJo doi: 10.15479/AT:ISTA:6363 file: - access_level: open_access checksum: 77c6c05cfe8b58c8abcf1b854375d084 content_type: application/pdf creator: cespinoza date_created: 2019-05-07T16:00:39Z date_updated: 2021-02-11T11:17:15Z embargo: 2020-05-09 file_id: '6389' file_name: Espinozathesis_all2.pdf file_size: 13966891 relation: main_file - access_level: closed checksum: f6aa819f127691a2b0fc21c76eb09746 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: cespinoza date_created: 2019-05-07T16:00:48Z date_updated: 2020-07-14T12:47:28Z embargo_to: open_access file_id: '6390' file_name: Espinoza_Thesis.docx file_size: 11159900 relation: source_file file_date_updated: 2021-02-11T11:17:15Z has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '140' publication_identifier: isbn: - 978-3-99078-000-8 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '21' relation: part_of_dissertation status: public status: public supervisor: - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 title: Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2019' ... --- OA_place: publisher _id: '6849' abstract: - lang: eng text: 'Brain function is mediated by complex dynamical interactions between excitatory and inhibitory cell types. The Cholecystokinin-expressing inhibitory cells (CCK-interneurons) are one of the least studied types, despite being suspected to play important roles in cognitive processes. We studied the network effects of optogenetic silencing of CCK-interneurons in the CA1 hippocampal area during exploration and sleep states. The cell firing pattern in response to light pulses allowed us to classify the recorded neurons in 5 classes, including disinhibited and non-responsive pyramidal cell and interneurons, and the inhibited interneurons corresponding to the CCK group. The light application, which inhibited the activity of CCK interneurons triggered wider changes in the firing dynamics of cells. We observed rate changes (i.e. remapping) of pyramidal cells during the exploration session in which the light was applied relative to the previous control session that was not restricted neither in time nor space to the light delivery. Also, the disinhibited pyramidal cells had higher increase in bursting than in single spike firing rate as a result of CCK silencing. In addition, the firing activity patterns during exploratory periods were more weakly reactivated in sleep for those periods in which CCK-interneuron were silenced than in the unaffected periods. Furthermore, light pulses during sleep disrupted the reactivation of recent waking patterns. Hence, silencing CCK neurons during exploration suppressed the reactivation of waking firing patterns in sleep and CCK interneuron activity was also required during sleep for the normal reactivation of waking patterns. These findings demonstrate the involvement of CCK cells in reactivation-related memory consolidation. An important part of our analysis was to test the relationship of the identified CCKinterneurons to brain oscillations. Our findings showed that these cells exhibited different oscillatory behaviour during anaesthesia and natural waking and sleep conditions. We showed that: 1) Contrary to the past studies performed under anaesthesia, the identified CCKinterneurons fired on the descending portion of the theta phase in waking exploration. 2) CCKinterneuron preferred phases around the trough of gamma oscillations. 3) Contrary to anaesthesia conditions, the average firing rate of the CCK-interneurons increased around the peak activity of the sharp-wave ripple (SWR) events in natural sleep, which is congruent with new reports about their functional connectivity. We also found that light driven CCK-interneuron silencing altered the dynamics on the CA1 network oscillatory activity: 1) Pyramidal cells negatively shifted their preferred theta phases when the light was applied, while interneurons responses were less consistent. 2) As a population, pyramidal cells negatively shifted their preferred activity during gamma oscillations, albeit we did not find gamma modulation differences related to the light application when pyramidal cells were subdivided into the disinhibited and unaffected groups. 3) During the peak of SWR events, all but the CCK-interneurons had a reduction in their relative firing rate change during the light application as compared to the change observed at SWR initiation. Finally, regarding to the place field activity of the recorded pyramidal neurons, we showed that the disinhibited pyramidal cells had reduced place field similarity, coherence and spatial information, but only during the light application. The mechanisms behind such observed behaviours might involve eCB signalling and plastic changes in CCK-interneuron synapses. In conclusion, the observed changes related to the light-mediated silencing of CCKinterneurons have unravelled characteristics of this interneuron subpopulation that might change the understanding not only of their particular network interactions, but also of the current theories about the emergence of certain cognitive processes such as place coding needed for navigation or hippocampus-dependent memory consolidation. ' acknowledged_ssus: - _id: Bio - _id: PreCl - _id: M-Shop alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Dámaris K full_name: Rangel Guerrero, Dámaris K id: 4871BCE6-F248-11E8-B48F-1D18A9856A87 last_name: Rangel Guerrero orcid: 0000-0002-8602-4374 citation: ama: Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849 apa: Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating hippocampal network dynamics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6849 chicago: Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6849. ieee: D. K. Rangel Guerrero, “The role of CCK-interneurons in regulating hippocampal network dynamics,” Institute of Science and Technology Austria, 2019. ista: Rangel Guerrero DK. 2019. The role of CCK-interneurons in regulating hippocampal network dynamics. Institute of Science and Technology Austria. mla: Rangel Guerrero, Dámaris K. The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6849. short: D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019. corr_author: '1' date_created: 2019-09-06T06:54:16Z date_published: 2019-09-09T00:00:00Z date_updated: 2026-04-08T13:56:53Z day: '09' ddc: - '570' degree_awarded: PhD department: - _id: JoCs doi: 10.15479/AT:ISTA:6849 file: - access_level: closed checksum: 244dc4f74dbfc94f414156092298831f content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: drangel date_created: 2019-09-09T13:09:45Z date_updated: 2021-02-10T23:30:09Z embargo_to: open_access file_id: '6865' file_name: Thesis_Damaris_Rangel_source.docx file_size: 18253100 relation: source_file - access_level: open_access checksum: 59c73be40eeaa1c4db24067270151555 content_type: application/pdf creator: drangel date_created: 2019-09-09T13:09:52Z date_updated: 2020-09-11T22:30:04Z embargo: 2020-09-10 file_id: '6866' file_name: Thesis_Damaris_Rangel_pdfa.pdf file_size: 2160109 relation: main_file request_a_copy: 0 file_date_updated: 2021-02-10T23:30:09Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '97' publication_identifier: isbn: - 978-3-99078-003-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '5914' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 title: The role of CCK-interneurons in regulating hippocampal network dynamics type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2019' ... --- OA_place: publisher _id: '6891' abstract: - lang: eng text: "While cells of mesenchymal or epithelial origin perform their effector functions in a purely anchorage dependent manner, cells derived from the hematopoietic lineage are not committed to operate only within a specific niche. Instead, these cells are able to function autonomously of the molecular composition in a broad range of tissue compartments. By this means, cells of the hematopoietic lineage retain the capacity to disseminate into connective tissue and recirculate between organs, building the foundation for essential processes such as tissue regeneration or immune surveillance. \r\nCells of the immune system, specifically leukocytes, are extraordinarily good at performing this task. These cells are able to flexibly shift their mode of migration between an adhesion-mediated and an adhesion-independent manner, instantaneously accommodating for any changes in molecular composition of the external scaffold. The key component driving directed leukocyte migration is the chemokine receptor 7, which guides the cell along gradients of chemokine ligand. Therefore, the physical destination of migrating leukocytes is purely deterministic, i.e. given by global directional cues such as chemokine gradients. \r\nNevertheless, these cells typically reside in three-dimensional scaffolds of inhomogeneous complexity, raising the question whether cells are able to locally discriminate between multiple optional migration routes. Current literature provides evidence that leukocytes, specifically dendritic cells, do indeed probe their surrounding by virtue of multiple explorative protrusions. However, it remains enigmatic how these cells decide which one is the more favorable route to follow and what are the key players involved in performing this task. Due to the heterogeneous environment of most tissues, and the vast adaptability of migrating leukocytes, at this time it is not clear to what extent leukocytes are able to optimize their migratory strategy by adapting their level of adhesiveness. And, given the fact that leukocyte migration is characterized by branched cell shapes in combination with high migration velocities, it is reasonable to assume that these cells require fine tuned shape maintenance mechanisms that tightly coordinate protrusion and adhesion dynamics in a spatiotemporal manner. \r\nTherefore, this study aimed to elucidate how rapidly migrating leukocytes opt for an ideal migratory path while maintaining a continuous cell shape and balancing adhesive forces to efficiently navigate through complex microenvironments. \r\nThe results of this study unraveled a role for the microtubule cytoskeleton in promoting the decision making process during path finding and for the first time point towards a microtubule-mediated function in cell shape maintenance of highly ramified cells such as dendritic cells. Furthermore, we found that migrating low-adhesive leukocytes are able to instantaneously adapt to increased tensile load by engaging adhesion receptors. This response was only occurring tangential to the substrate while adhesive properties in the vertical direction were not increased. As leukocytes are primed for rapid migration velocities, these results demonstrate that leukocyte integrins are able to confer a high level of traction forces parallel to the cell membrane along the direction of migration without wasting energy in gluing the cell to the substrate. \r\nThus, the data in the here presented thesis provide new insights into the pivotal role of cytoskeletal dynamics and the mechanisms of force transduction during leukocyte migration. \r\nThereby the here presented results help to further define fundamental principles underlying leukocyte migration and open up potential therapeutic avenues of clinical relevance.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Aglaja full_name: Kopf, Aglaja id: 31DAC7B6-F248-11E8-B48F-1D18A9856A87 last_name: Kopf orcid: 0000-0002-2187-6656 citation: ama: Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891 apa: Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6891 chicago: Kopf, Aglaja. “The Implication of Cytoskeletal Dynamics on Leukocyte Migration.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891. ieee: A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” Institute of Science and Technology Austria, 2019. ista: Kopf A. 2019. The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria. mla: Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6891. short: A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, Institute of Science and Technology Austria, 2019. corr_author: '1' date_created: 2019-09-19T08:19:44Z date_published: 2019-07-24T00:00:00Z date_updated: 2026-06-18T17:44:11Z day: '24' ddc: - '570' degree_awarded: PhD department: - _id: MiSi doi: 10.15479/AT:ISTA:6891 file: - access_level: closed checksum: 00d100d6468e31e583051e0a006b640c content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: akopf date_created: 2019-10-15T05:28:42Z date_updated: 2020-10-17T22:30:03Z embargo_to: open_access file_id: '6950' file_name: Kopf_PhD_Thesis.docx file_size: 74735267 relation: source_file - access_level: open_access checksum: 5d1baa899993ae6ca81aebebe1797000 content_type: application/pdf creator: akopf date_created: 2019-10-15T05:28:47Z date_updated: 2020-10-17T22:30:03Z embargo: 2020-10-16 file_id: '6951' file_name: Kopf_PhD_Thesis1.pdf file_size: 52787224 relation: main_file file_date_updated: 2020-10-17T22:30:03Z has_accepted_license: '1' keyword: - cell biology - immunology - leukocyte - migration - microfluidics language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '171' project: - _id: 265E2996-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W01250-B20 name: Nano-Analytics of Cellular Systems publication_identifier: eissn: - 2663-337X isbn: - 978-3-99078-002-2 publication_status: published publisher: Institute of Science and Technology Austria related_material: link: - relation: press_release url: https://ist.ac.at/en/news/feeling-like-a-cell/ record: - id: '6877' relation: part_of_dissertation status: public - id: '6328' relation: part_of_dissertation status: public - id: '15' relation: part_of_dissertation status: public status: public supervisor: - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 title: The implication of cytoskeletal dynamics on leukocyte migration type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2019' ... --- _id: '10864' abstract: - lang: eng text: We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original Jónsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in congruence distributive and congruence modular varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof of a result by P. Lipparini about the existence of a chain of terms (which we call Pixley terms) in varieties that are at the same time congruence distributive and k-permutable for some k. acknowledgement: The second author was supported by National Science Center grant DEC-2011-/01/B/ST6/01006. article_processing_charge: No arxiv: 1 author: - first_name: Alexandr full_name: Kazda, Alexandr id: 3B32BAA8-F248-11E8-B48F-1D18A9856A87 last_name: Kazda - first_name: Marcin full_name: Kozik, Marcin last_name: Kozik - first_name: Ralph full_name: McKenzie, Ralph last_name: McKenzie - first_name: Matthew full_name: Moore, Matthew last_name: Moore citation: ama: 'Kazda A, Kozik M, McKenzie R, Moore M. Absorption and directed Jónsson terms. In: Czelakowski J, ed. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Vol 16. OCTR. Cham: Springer Nature; 2018:203-220. doi:10.1007/978-3-319-74772-9_7' apa: 'Kazda, A., Kozik, M., McKenzie, R., & Moore, M. (2018). Absorption and directed Jónsson terms. In J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Vol. 16, pp. 203–220). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-74772-9_7' chicago: 'Kazda, Alexandr, Marcin Kozik, Ralph McKenzie, and Matthew Moore. “Absorption and Directed Jónsson Terms.” In Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, edited by J Czelakowski, 16:203–20. OCTR. Cham: Springer Nature, 2018. https://doi.org/10.1007/978-3-319-74772-9_7.' ieee: 'A. Kazda, M. Kozik, R. McKenzie, and M. Moore, “Absorption and directed Jónsson terms,” in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, vol. 16, J. Czelakowski, Ed. Cham: Springer Nature, 2018, pp. 203–220.' ista: 'Kazda A, Kozik M, McKenzie R, Moore M. 2018.Absorption and directed Jónsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. vol. 16, 203–220.' mla: Kazda, Alexandr, et al. “Absorption and Directed Jónsson Terms.” Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, edited by J Czelakowski, vol. 16, Springer Nature, 2018, pp. 203–20, doi:10.1007/978-3-319-74772-9_7. short: A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220. corr_author: '1' date_created: 2022-03-18T10:30:32Z date_published: 2018-03-21T00:00:00Z date_updated: 2024-10-09T21:01:50Z day: '21' department: - _id: VlKo doi: 10.1007/978-3-319-74772-9_7 editor: - first_name: J full_name: Czelakowski, J last_name: Czelakowski external_id: arxiv: - '1502.01072' intvolume: ' 16' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1502.01072 month: '03' oa: 1 oa_version: Preprint page: 203-220 place: Cham publication: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science publication_identifier: eisbn: - '9783319747729' eissn: - 2211-2766 isbn: - '9783319747712' issn: - 2211-2758 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' series_title: OCTR status: public title: Absorption and directed Jónsson terms type: book_chapter user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 16 year: '2018' ... --- _id: '10882' abstract: - lang: eng text: 'We introduce Intelligent Annotation Dialogs for bounding box annotation. We train an agent to automatically choose a sequence of actions for a human annotator to produce a bounding box in a minimal amount of time. Specifically, we consider two actions: box verification [34], where the annotator verifies a box generated by an object detector, and manual box drawing. We explore two kinds of agents, one based on predicting the probability that a box will be positively verified, and the other based on reinforcement learning. We demonstrate that (1) our agents are able to learn efficient annotation strategies in several scenarios, automatically adapting to the image difficulty, the desired quality of the boxes, and the detector strength; (2) in all scenarios the resulting annotation dialogs speed up annotation compared to manual box drawing alone and box verification alone, while also outperforming any fixed combination of verification and drawing in most scenarios; (3) in a realistic scenario where the detector is iteratively re-trained, our agents evolve a series of strategies that reflect the shifting trade-off between verification and drawing as the detector grows stronger.' article_processing_charge: No arxiv: 1 author: - first_name: Jasper full_name: Uijlings, Jasper last_name: Uijlings - first_name: Ksenia full_name: Konyushkova, Ksenia last_name: Konyushkova - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Vittorio full_name: Ferrari, Vittorio last_name: Ferrari citation: ama: 'Uijlings J, Konyushkova K, Lampert C, Ferrari V. Learning intelligent dialogs for bounding box annotation. In: 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE; 2018:9175-9184. doi:10.1109/cvpr.2018.00956' apa: 'Uijlings, J., Konyushkova, K., Lampert, C., & Ferrari, V. (2018). Learning intelligent dialogs for bounding box annotation. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 9175–9184). Salt Lake City, UT, United States: IEEE. https://doi.org/10.1109/cvpr.2018.00956' chicago: Uijlings, Jasper, Ksenia Konyushkova, Christoph Lampert, and Vittorio Ferrari. “Learning Intelligent Dialogs for Bounding Box Annotation.” In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 9175–84. IEEE, 2018. https://doi.org/10.1109/cvpr.2018.00956. ieee: J. Uijlings, K. Konyushkova, C. Lampert, and V. Ferrari, “Learning intelligent dialogs for bounding box annotation,” in 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Salt Lake City, UT, United States, 2018, pp. 9175–9184. ista: 'Uijlings J, Konyushkova K, Lampert C, Ferrari V. 2018. Learning intelligent dialogs for bounding box annotation. 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF: Conference on Computer Vision and Pattern Recognition, 9175–9184.' mla: Uijlings, Jasper, et al. “Learning Intelligent Dialogs for Bounding Box Annotation.” 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–84, doi:10.1109/cvpr.2018.00956. short: J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184. conference: end_date: 2018-06-23 location: Salt Lake City, UT, United States name: 'CVF: Conference on Computer Vision and Pattern Recognition' start_date: 2018-06-18 corr_author: '1' date_created: 2022-03-18T12:45:09Z date_published: 2018-12-17T00:00:00Z date_updated: 2024-10-09T21:02:26Z day: '17' department: - _id: ChLa doi: 10.1109/cvpr.2018.00956 external_id: arxiv: - '1712.08087' isi: - '000457843609036' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.1712.08087' month: '12' oa: 1 oa_version: Preprint page: 9175-9184 publication: 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition publication_identifier: eissn: - 2575-7075 isbn: - '9781538664209' publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Learning intelligent dialogs for bounding box annotation type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2018' ... --- _id: '10883' abstract: - lang: eng text: 'Solving parity games, which are equivalent to modal μ-calculus model checking, is a central algorithmic problem in formal methods, with applications in reactive synthesis, program repair, verification of branching-time properties, etc. Besides the standard compu- tation model with the explicit representation of games, another important theoretical model of computation is that of set-based symbolic algorithms. Set-based symbolic algorithms use basic set operations and one-step predecessor operations on the implicit description of games, rather than the explicit representation. The significance of symbolic algorithms is that they provide scalable algorithms for large finite-state systems, as well as for infinite-state systems with finite quotient. Consider parity games on graphs with n vertices and parity conditions with d priorities. While there is a rich literature of explicit algorithms for parity games, the main results for set-based symbolic algorithms are as follows: (a) the basic algorithm that requires O(nd) symbolic operations and O(d) symbolic space; and (b) an improved algorithm that requires O(nd/3+1) symbolic operations and O(n) symbolic space. In this work, our contributions are as follows: (1) We present a black-box set-based symbolic algorithm based on the explicit progress measure algorithm. Two important consequences of our algorithm are as follows: (a) a set-based symbolic algorithm for parity games that requires quasi-polynomially many symbolic operations and O(n) symbolic space; and (b) any future improvement in progress measure based explicit algorithms immediately imply an efficiency improvement in our set-based symbolic algorithm for parity games. (2) We present a set-based symbolic algorithm that requires quasi-polynomially many symbolic operations and O(d · log n) symbolic space. Moreover, for the important special case of d ≤ log n, our algorithm requires only polynomially many symbolic operations and poly-logarithmic symbolic space.' acknowledgement: 'A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15-003. K.C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and an ERC Starting grant (279307: Graph Games). For M.H the research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) /ERC Grant Agreement no. 340506.' alternative_title: - EPiC Series in Computing article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Wolfgang full_name: Dvořák, Wolfgang last_name: Dvořák - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Alexander full_name: Svozil, Alexander last_name: Svozil citation: ama: 'Chatterjee K, Dvořák W, Henzinger M, Svozil A. Quasipolynomial set-based symbolic algorithms for parity games. In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Vol 57. EasyChair; 2018:233-253. doi:10.29007/5z5k' apa: 'Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2018). Quasipolynomial set-based symbolic algorithms for parity games. In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Vol. 57, pp. 233–253). Awassa, Ethiopia: EasyChair. https://doi.org/10.29007/5z5k' chicago: Chatterjee, Krishnendu, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.” In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 57:233–53. EasyChair, 2018. https://doi.org/10.29007/5z5k. ieee: K. Chatterjee, W. Dvořák, M. Henzinger, and A. Svozil, “Quasipolynomial set-based symbolic algorithms for parity games,” in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 2018, vol. 57, pp. 233–253. ista: 'Chatterjee K, Dvořák W, Henzinger M, Svozil A. 2018. Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR: Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing, vol. 57, 233–253.' mla: Chatterjee, Krishnendu, et al. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.” 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 57, EasyChair, 2018, pp. 233–53, doi:10.29007/5z5k. short: K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253. conference: end_date: 2018-11-21 location: Awassa, Ethiopia name: 'LPAR: Logic for Programming, Artificial Intelligence and Reasoning' start_date: 2018-11-17 date_created: 2022-03-18T12:46:32Z date_published: 2018-10-23T00:00:00Z date_updated: 2025-07-10T11:50:02Z day: '23' ddc: - '000' department: - _id: KrCh doi: 10.29007/5z5k ec_funded: 1 external_id: arxiv: - '1909.04983' file: - access_level: open_access checksum: 1229aa8640bd6db610c85decf2265480 content_type: application/pdf creator: dernst date_created: 2022-05-17T07:51:08Z date_updated: 2022-05-17T07:51:08Z file_id: '11392' file_name: 2018_EPiCs_Chatterjee.pdf file_size: 720893 relation: main_file success: 1 file_date_updated: 2022-05-17T07:51:08Z has_accepted_license: '1' intvolume: ' 57' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 233-253 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' publication: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning publication_identifier: issn: - 2398-7340 publication_status: published publisher: EasyChair quality_controlled: '1' scopus_import: '1' status: public title: Quasipolynomial set-based symbolic algorithms for parity games type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 57 year: '2018' ... --- _id: '11' abstract: - lang: eng text: We report on a novel strategy to derive mean-field limits of quantum mechanical systems in which a large number of particles weakly couple to a second-quantized radiation field. The technique combines the method of counting and the coherent state approach to study the growth of the correlations among the particles and in the radiation field. As an instructional example, we derive the Schrödinger–Klein–Gordon system of equations from the Nelson model with ultraviolet cutoff and possibly massless scalar field. In particular, we prove the convergence of the reduced density matrices (of the nonrelativistic particles and the field bosons) associated with the exact time evolution to the projectors onto the solutions of the Schrödinger–Klein–Gordon equations in trace norm. Furthermore, we derive explicit bounds on the rate of convergence of the one-particle reduced density matrix of the nonrelativistic particles in Sobolev norm. arxiv: 1 author: - first_name: Nikolai K full_name: Leopold, Nikolai K id: 4BC40BEC-F248-11E8-B48F-1D18A9856A87 last_name: Leopold orcid: 0000-0002-0495-6822 - first_name: Peter full_name: Pickl, Peter last_name: Pickl citation: ama: 'Leopold NK, Pickl P. Mean-field limits of particles in interaction with quantised radiation fields. In: Vol 270. Springer; 2018:185-214. doi:10.1007/978-3-030-01602-9_9' apa: 'Leopold, N. K., & Pickl, P. (2018). Mean-field limits of particles in interaction with quantised radiation fields (Vol. 270, pp. 185–214). Presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany: Springer. https://doi.org/10.1007/978-3-030-01602-9_9' chicago: Leopold, Nikolai K, and Peter Pickl. “Mean-Field Limits of Particles in Interaction with Quantised Radiation Fields,” 270:185–214. Springer, 2018. https://doi.org/10.1007/978-3-030-01602-9_9. ieee: 'N. K. Leopold and P. Pickl, “Mean-field limits of particles in interaction with quantised radiation fields,” presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany, 2018, vol. 270, pp. 185–214.' ista: 'Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270, 185–214.' mla: Leopold, Nikolai K., and Peter Pickl. Mean-Field Limits of Particles in Interaction with Quantised Radiation Fields. Vol. 270, Springer, 2018, pp. 185–214, doi:10.1007/978-3-030-01602-9_9. short: N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214. conference: end_date: 2017-04-01 location: Munich, Germany name: 'MaLiQS: Macroscopic Limits of Quantum Systems' start_date: 2017-03-30 date_created: 2018-12-11T11:44:08Z date_published: 2018-10-27T00:00:00Z date_updated: 2021-01-12T06:48:16Z day: '27' department: - _id: RoSe doi: 10.1007/978-3-030-01602-9_9 ec_funded: 1 external_id: arxiv: - '1806.10843' intvolume: ' 270' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1806.10843 month: '10' oa: 1 oa_version: Preprint page: 185 - 214 project: - _id: 25C6DC12-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694227' name: Analysis of quantum many-body systems publication_status: published publisher: Springer publist_id: '8045' quality_controlled: '1' scopus_import: 1 status: public title: Mean-field limits of particles in interaction with quantised radiation fields type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 270 year: '2018' ... --- _id: '11557' abstract: - lang: eng text: Deep narrow-band surveys have revealed a large population of faint Ly α emitters (LAEs) in the distant Universe, but relatively little is known about the most luminous sources (⁠LLyα≳1042.7 erg s−1; LLyα≳L∗Lyα⁠). Here we present the spectroscopic follow-up of 21 luminous LAEs at z ∼ 2–3 found with panoramic narrow-band surveys over five independent extragalactic fields (≈4 × 106 Mpc3 surveyed at z ∼ 2.2 and z ∼ 3.1). We use WHT/ISIS, Keck/DEIMOS, and VLT/X-SHOOTER to study these sources using high ionization UV lines. Luminous LAEs at z ∼ 2–3 have blue UV slopes (⁠β=−2.0+0.3−0.1⁠) and high Ly α escape fractions (⁠50+20−15 per cent) and span five orders of magnitude in UV luminosity (MUV ≈ −19 to −24). Many (70 per cent) show at least one high ionization rest-frame UV line such as C IV, N V, C III], He II or O III], typically blue-shifted by ≈100–200 km s−1 relative to Ly α. Their Ly α profiles reveal a wide variety of shapes, including significant blue-shifted components and widths from 200 to 4000 km s−1. Overall, 60 ± 11 per cent appear to be active galactic nucleus (AGN) dominated, and at LLyα > 1043.3 erg s−1 and/or MUV < −21.5 virtually all LAEs are AGNs with high ionization parameters (log U = 0.6 ± 0.5) and with metallicities of ≈0.5 − 1 Z⊙. Those lacking signatures of AGNs (40 ± 11 per cent) have lower ionization parameters (⁠logU=−3.0+1.6−0.9 and log ξion = 25.4 ± 0.2) and are apparently metal-poor sources likely powered by young, dust-poor ‘maximal’ starbursts. Our results show that luminous LAEs at z ∼ 2–3 are a diverse population and that 2×L∗Lyα and 2×M∗UV mark a sharp transition in the nature of LAEs, from star formation dominated to AGN dominated. acknowledgement: 'We thank the anonymous reviewer for their timely and constructive comments that greatly helped us to improve the manuscript. DS acknowledges financial support from the Netherlands Organization for Scientific research (NWO) through a Veni fellowship and from Lancaster University through an Early Career Internal Grant A100679. JM acknowledges the support of a Huygens PhD fellowship from Leiden University. BD acknowledges financial support from NASA through the Astrophysics Data Analysis Program (ADAP), grant number NNX12AE20G, and the National Science Foundation, grant number 1716907. IRS acknowledges support from the ERC Advanced Grant DUSTYGAL (321334), STFC (ST/P000541/1), and a Royal Society/Wolfson Merit Award. PNB is grateful for support from STFC via grant ST/M001229/1. We thank Anne Verhamme, Kimihiko Nakajima, Ryan Trainor, Sangeeta Malhotra, Max Gronke, James Rhoads, Fang Xia An, Matthew Hayes, Takashi Kojima, Mark Dijkstra, and Anne Jaskot for many helpful and engaging discussions, particularly during the SnowCLAW Ly α workshop. We thank Bruno Ribeiro, Stephane Charlot, and Joseph Caruana for comments on the manuscript. The authors would also like to thank Ingrid Tengs, Meg Singleton, Ali Khostovan, and Sara Perez for participating in part of the observations. We also thank Joao Calhau, Leah Morabito, Sergio Santos, and Aayush Saxena for their assistance with the narrow-band observations which allowed to select some of the sour ces. Based on observations obtained with the William Herschel Telescope, program: W16AN004; the Very Large Telescope, programs: 098.A-0819 & 099.A-0254; and the Keck II telescope, program: C267D. Based on data products from observations made with ESO Telescopes at the La Silla Paranal Observatory under ESO programme IDs 294.A-5018, 294.A-5039, 092.A-0786, 093.A-0561, 097.A-0943, 098.A-0819, 099.A-0254 and 179.A-2005. The authors acknowledge the award of service time (SW2014b20) on the WHT. WHT and its service programme are 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. The authors would also like to thank all the extremely helpful observatory staff that have greatly contributed towards our observations, particularly Fiona Riddick, Lilian Dominguez, Florencia Jimenez, and Ian Skillen. We have benefited greatly from the publicly available programming language PYTHON, including the NUMPY & 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 2013). This research has made use of the VizieR catalogue access tool, CDS, Strasbourg, France.' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Behnam full_name: Darvish, Behnam last_name: Darvish - first_name: Ian full_name: Smail, Ian last_name: Smail - first_name: Philip N full_name: Best, Philip N last_name: Best - first_name: Lara full_name: Alegre, Lara last_name: Alegre - first_name: Huub full_name: Röttgering, Huub last_name: Röttgering - first_name: Bahram full_name: Mobasher, Bahram last_name: Mobasher - first_name: Ana full_name: Paulino-Afonso, Ana last_name: Paulino-Afonso - first_name: Andra full_name: Stroe, Andra last_name: Stroe - first_name: Iván full_name: Oteo, Iván last_name: Oteo citation: ama: 'Sobral D, Matthee JJ, Darvish B, et al. The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN. Monthly Notices of the Royal Astronomical Society. 2018;477(2):2817-2840. doi:10.1093/mnras/sty782' apa: 'Sobral, D., Matthee, J. J., Darvish, B., Smail, I., Best, P. N., Alegre, L., … Oteo, I. (2018). The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty782' chicago: 'Sobral, David, Jorryt J Matthee, Behnam Darvish, Ian Smail, Philip N Best, Lara Alegre, Huub Röttgering, et al. “The Nature of Luminous Ly α Emitters at z ∼ 2–3: Maximal Dust-Poor Starbursts and Highly Ionizing AGN.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty782.' ieee: 'D. Sobral et al., “The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN,” Monthly Notices of the Royal Astronomical Society, vol. 477, no. 2. Oxford University Press, pp. 2817–2840, 2018.' ista: 'Sobral D, Matthee JJ, Darvish B, Smail I, Best PN, Alegre L, Röttgering H, Mobasher B, Paulino-Afonso A, Stroe A, Oteo I. 2018. The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN. Monthly Notices of the Royal Astronomical Society. 477(2), 2817–2840.' mla: 'Sobral, David, et al. “The Nature of Luminous Ly α Emitters at z ∼ 2–3: Maximal Dust-Poor Starbursts and Highly Ionizing AGN.” Monthly Notices of the Royal Astronomical Society, vol. 477, no. 2, Oxford University Press, 2018, pp. 2817–40, doi:10.1093/mnras/sty782.' short: D. Sobral, J.J. Matthee, B. Darvish, I. Smail, P.N. Best, L. Alegre, H. Röttgering, B. Mobasher, A. Paulino-Afonso, A. Stroe, I. Oteo, Monthly Notices of the Royal Astronomical Society 477 (2018) 2817–2840. date_created: 2022-07-12T07:18:02Z date_published: 2018-06-01T00:00:00Z date_updated: 2022-08-19T07:01:08Z day: '01' doi: 10.1093/mnras/sty782 extern: '1' external_id: arxiv: - '1802.10102' intvolume: ' 477' issue: '2' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: active' - 'galaxies: evolution' - 'galaxies: high-redshift' - 'galaxies: ISM' - 'galaxies: starburst' - 'cosmology: observations' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1802.10102 month: '06' oa: 1 oa_version: Preprint page: 2817-2840 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 477 year: '2018' ... --- _id: '11558' abstract: - lang: eng text: We present and explore deep narrow- and medium-band data obtained with the Subaru and the Isaac Newton Telescopes in the ∼2 deg2 COSMOS field. We use these data as an extremely wide, low-resolution (R ∼ 20–80) Integral Field Unit survey to slice through the COSMOS field and obtain a large sample of ∼4000 Ly α emitters (LAEs) from z ∼ 2 to 6 in 16 redshift slices (SC4K). We present new Ly α luminosity functions (LFs) covering a comoving volume of ∼108 Mpc3. SC4K extensively complements ultradeep surveys, jointly covering over 4 dex in Ly α luminosity and revealing a global (2.5 < z < 6) synergy LF with α=−1.93+0.12−0.12⁠, log10Φ∗Lyα=−3.45+0.22−0.29 Mpc−3, and log10L∗Lyα=42.93+0.15−0.11 erg s−1. The Schechter component of the Ly α LF reveals a factor ∼5 rise in L∗Lyα and a ∼7 × decline in Φ∗Lyα from z ∼ 2 to 6. The data reveal an extra power-law (or Schechter) component above LLy α ≈ 1043.3 erg s−1 at z ∼ 2.2–3.5 and we show that it is partially driven by X-ray and radio active galactic nucleus (AGN), as their Ly α LF resembles the excess. The power-law component vanishes and/or is below our detection limits above z > 3.5, likely linked with the evolution of the AGN population. The Ly α luminosity density rises by a factor ∼2 from z ∼ 2 to 3 but is then found to be roughly constant (⁠1.1+0.2−0.2×1040 erg s−1 Mpc−3) to z ∼ 6, despite the ∼0.7 dex drop in ultraviolet (UV) luminosity density. The Ly α/UV luminosity density ratio rises from 4 ± 1 per cent to 30 ± 6 per cent from z ∼ 2.2 to 6. Our results imply a rise of a factor of ≈2 in the global ionization efficiency (ξion) and a factor ≈4 ± 1 in the Ly α escape fraction from z ∼ 2 to 6, hinting for evolution in both the typical burstiness/stellar populations and even more so in the typical interstellar medium conditions allowing Ly α photons to escape. acknowledgement: "We thank the anonymous referee for their constructive comments that helped us improve the manuscript. DS acknowledges the hospitality of the IAC and a Severo Ochoa visiting grant. SS and JC acknowledge studentships from the Lancaster University. JM acknowledges a Huygens PhD fellowship from Leiden University. APA acknowledges financial support from the Science and Technology Foundation (FCT, Portugal) through research grants UID/FIS/04434/2013 and fellowship PD/BD/52706/2014. The authors thank Alyssa Drake, Kimihiko Nakajima, Yuichi Harikane, Max Gronke, Irene Shivaei, Helmut Dannerbauer, Huub Rottgering, ¨ Marius Eide, and Masami Ouchi for many engaging and stimulating discussions. We also thank Sara Perez, Alex Bennett, and Tom Rose for their involvement in the early stages of this project. Based on data products from observations made with European Southern Observatory (ESO) Telescopes at the La Silla Paranal Observatory under ESO programme IDs 294.A-5018, 097.A 0943,\r\n098.A-0819, 099.A-0254, and 179.A-2005 and on data products produced by TERAPIX and the Cambridge Astronomy Survey Unit on behalf of the UltraVISTA consortium. Based on observations using the WFC on the 2.5 m INT, as part of programmes 2013AN002, 2013BN008, 2014AC88, 2014AN002, 2014BN006, 2014BC118, and 2016AN001. The INT is operated on the island of La Palma by the Isaac Newton Group in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias. This work is based in part on data products produced at TERAPIX available at the Canadian Astronomy Data Centre as part of the Canada–France– Hawaii Telescope Legacy Survey (CFHTLS), a collaborative project of NRC and CNRS.\r\nWe are grateful to the CFHTLS, COSMOS-UltraVISTA, and COSMOS survey teams. We are also unmeasurably thankful to the pioneering and continuous work from previous Ly α surveys’ teams. Without these previous Ly α and the wider reach legacy surveys, this research would have been impossible. We also thank the VUDS team for making available spectroscopic redshifts from data obtained with VIMOS at the European Southern Observatory Very Large Telescope, Paranal, Chile, under Large Programme 185.A-0791. Finally, the authors acknowledge the unique value of the publicly available programming language PYTHON, including the NUMPY and SCIPY (Van Der Walt, Colbert & Varoquaux 2011; Jones et al. 2001), MATPLOTLIB (Hunter 2007), ASTROPY (Astropy Collaboration et al. 2013), and the TOPCAT analysis program (Taylor 2005). We publicly release a catalogue with all LAEs used in this paper (SC4K), so it can be freely explored by the community (see five example entries in Table A1)." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Sérgio full_name: Santos, Sérgio last_name: Santos - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Ana full_name: Paulino-Afonso, Ana last_name: Paulino-Afonso - first_name: Bruno full_name: Ribeiro, Bruno last_name: Ribeiro - first_name: João full_name: Calhau, João last_name: Calhau - first_name: Ali A full_name: Khostovan, Ali A last_name: Khostovan citation: ama: 'Sobral D, Santos S, Matthee JJ, et al. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 2018;476(4):4725-4752. doi:10.1093/mnras/sty378' apa: 'Sobral, D., Santos, S., Matthee, J. J., Paulino-Afonso, A., Ribeiro, B., Calhau, J., & Khostovan, A. A. (2018). Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty378' chicago: 'Sobral, David, Sérgio Santos, Jorryt J Matthee, Ana Paulino-Afonso, Bruno Ribeiro, João Calhau, and Ali A Khostovan. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty378.' ieee: 'D. Sobral et al., “Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4. Oxford University Press, pp. 4725–4752, 2018.' ista: 'Sobral D, Santos S, Matthee JJ, Paulino-Afonso A, Ribeiro B, Calhau J, Khostovan AA. 2018. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 476(4), 4725–4752.' mla: 'Sobral, David, et al. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4, Oxford University Press, 2018, pp. 4725–52, doi:10.1093/mnras/sty378.' short: D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752. date_created: 2022-07-12T10:41:08Z date_published: 2018-06-01T00:00:00Z date_updated: 2022-08-19T07:04:45Z day: '01' doi: 10.1093/mnras/sty378 extern: '1' external_id: arxiv: - '1712.04451' intvolume: ' 476' issue: '4' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: evolution' - 'galaxies: formation' - 'galaxies: high-redshift' - 'galaxies: luminosity function' - mass function - 'galaxies: statistics' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1712.04451 month: '06' oa: 1 oa_version: Preprint page: 4725-4752 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 476 year: '2018' ... --- _id: '11618' abstract: - lang: eng text: Asteroseismology provides global stellar parameters such as masses, radii, or surface gravities using mean global seismic parameters and effective temperature for thousands of low-mass stars (0.8 M⊙ < M < 3 M⊙). This methodology has been successfully applied to stars in which acoustic modes excited by turbulent convection are measured. Other methods such as the Flicker technique can also be used to determine stellar surface gravities, but only works for log g above 2.5 dex. In this work, we present a new metric called FliPer (Flicker in spectral power density, in opposition to the standard Flicker measurement which is computed in the time domain); it is able to extend the range for which reliable surface gravities can be obtained (0.1 < log g < 4.6 dex) without performing any seismic analysis for stars brighter than Kp < 14. FliPer takes into account the average variability of a star measured in the power density spectrum in a given range of frequencies. However, FliPer values calculated on several ranges of frequency are required to better characterize a star. Using a large set of asteroseismic targets it is possible to calibrate the behavior of surface gravity with FliPer through machine learning. This calibration made with a random forest regressor covers a wide range of surface gravities from main-sequence stars to subgiants and red giants, with very small uncertainties from 0.04 to 0.1 dex. FliPer values can be inserted in automatic global seismic pipelines to either give an estimation of the stellar surface gravity or to assess the quality of the seismic results by detecting any outliers in the obtained νmax values. FliPer also constrains the surface gravities of main-sequence dwarfs using only long-cadence data for which the Nyquist frequency is too low to measure the acoustic-mode properties. acknowledgement: We thank the anonymous referee for the very useful comments. We would also like to thank M. Benbakoura for his help in analyzing the light curves of several binary systems included in our set of stars. L.B. and R.A.G. acknowledge the support from PLATO and GOLF CNES grants. S.M. acknowledges support from the National Aeronautics and Space Administration under Grant NNX15AF13G, the National Science Foundation grant AST-1411685, and the Ramon y Cajal fellowship no. RYC-2015-17697. E.C. is funded by the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement no. 664931. O.J.H and B.M.R. acknowledge the support of the UK Science and Technology Facilities Council (STFC). Funding for the Stellar Astrophysics Centre is provided by the Danish National Research Foundation (Grant DNRF106). This research has made use of NASA’s Astrophysics Data System. Data presented in this paper were obtained from the Mikulski Archive for Space Telescopes (MAST). STScI is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS5-26555. article_number: A38 article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Lisa Annabelle full_name: Bugnet, Lisa Annabelle id: d9edb345-f866-11ec-9b37-d119b5234501 last_name: Bugnet orcid: 0000-0003-0142-4000 - first_name: R. A. full_name: García, R. A. last_name: García - first_name: G. R. full_name: Davies, G. R. last_name: Davies - first_name: S. full_name: Mathur, S. last_name: Mathur - first_name: E. full_name: Corsaro, E. last_name: Corsaro - first_name: O. J. full_name: Hall, O. J. last_name: Hall - first_name: B. M. full_name: Rendle, B. M. last_name: Rendle citation: ama: 'Bugnet LA, García RA, Davies GR, et al. FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants. Astronomy & Astrophysics. 2018;620. doi:10.1051/0004-6361/201833106' apa: 'Bugnet, L. A., García, R. A., Davies, G. R., Mathur, S., Corsaro, E., Hall, O. J., & Rendle, B. M. (2018). FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201833106' chicago: 'Bugnet, Lisa Annabelle, R. A. García, G. R. Davies, S. Mathur, E. Corsaro, O. J. Hall, and B. M. Rendle. “FliPer: A Global Measure of Power Density to Estimate Surface Gravities of Main-Sequence Solar-like Stars and Red Giants.” Astronomy & Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201833106.' ieee: 'L. A. Bugnet et al., “FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants,” Astronomy & Astrophysics, vol. 620. EDP Sciences, 2018.' ista: 'Bugnet LA, García RA, Davies GR, Mathur S, Corsaro E, Hall OJ, Rendle BM. 2018. FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants. Astronomy & Astrophysics. 620, A38.' mla: 'Bugnet, Lisa Annabelle, et al. “FliPer: A Global Measure of Power Density to Estimate Surface Gravities of Main-Sequence Solar-like Stars and Red Giants.” Astronomy & Astrophysics, vol. 620, A38, EDP Sciences, 2018, doi:10.1051/0004-6361/201833106.' short: L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, E. Corsaro, O.J. Hall, B.M. Rendle, Astronomy & Astrophysics 620 (2018). date_created: 2022-07-18T14:37:39Z date_published: 2018-12-01T00:00:00Z date_updated: 2024-10-14T11:40:17Z day: '01' doi: 10.1051/0004-6361/201833106 extern: '1' external_id: arxiv: - '1809.05105' intvolume: ' 620' keyword: - Space and Planetary Science - Astronomy and Astrophysics - asteroseismology / methods - data analysis / stars - oscillations language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1809.05105 month: '12' oa: 1 oa_version: Preprint publication: Astronomy & Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: 'FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 620 year: '2018' ... --- _id: '11872' abstract: - lang: eng text: We design fast dynamic algorithms for proper vertex and edge colorings in a graph undergoing edge insertions and deletions. In the static setting, there are simple linear time algorithms for (Δ + 1)- vertex coloring and (2Δ – 1)-edge coloring in a graph with maximum degree Δ. It is natural to ask if we can efficiently maintain such colorings in the dynamic setting as well. We get the following three results. (1) We present a randomized algorithm which maintains a (Δ + 1)-vertex coloring with O(log Δ) expected amortized update time. (2) We present a deterministic algorithm which maintains a (1 + o(1)Δ-vertex coloring with O(polylog Δ) amortized update time. (3) We present a simple, deterministic algorithm which maintains a (2Δ – 1)-edge coloring with O(log Δ) worst-case update time. This improves the recent O(Δ)-edge coloring algorithm with worst-case update time [4]. article_processing_charge: No arxiv: 1 author: - first_name: Sayan full_name: Bhattacharya, Sayan last_name: Bhattacharya - first_name: Deeparnab full_name: Chakrabarty, Deeparnab last_name: Chakrabarty - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Danupon full_name: Nanongkai, Danupon last_name: Nanongkai citation: ama: 'Bhattacharya S, Chakrabarty D, Henzinger M, Nanongkai D. Dynamic algorithms for graph coloring. In: 29th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2018:1-20. doi:10.1137/1.9781611975031.1' apa: 'Bhattacharya, S., Chakrabarty, D., Henzinger, M., & Nanongkai, D. (2018). Dynamic algorithms for graph coloring. In 29th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1–20). New Orleans, LA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975031.1' chicago: Bhattacharya, Sayan, Deeparnab Chakrabarty, Monika Henzinger, and Danupon Nanongkai. “Dynamic Algorithms for Graph Coloring.” In 29th Annual ACM-SIAM Symposium on Discrete Algorithms, 1–20. Society for Industrial and Applied Mathematics, 2018. https://doi.org/10.1137/1.9781611975031.1. ieee: S. Bhattacharya, D. Chakrabarty, M. Henzinger, and D. Nanongkai, “Dynamic algorithms for graph coloring,” in 29th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2018, pp. 1–20. ista: 'Bhattacharya S, Chakrabarty D, Henzinger M, Nanongkai D. 2018. Dynamic algorithms for graph coloring. 29th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1–20.' mla: Bhattacharya, Sayan, et al. “Dynamic Algorithms for Graph Coloring.” 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20, doi:10.1137/1.9781611975031.1. short: S. Bhattacharya, D. Chakrabarty, M. Henzinger, D. Nanongkai, in:, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20. conference: end_date: 2018-01-10 location: New Orleans, LA, United States name: 'SODA: Symposium on Discrete Algorithms' start_date: 2018-01-07 date_created: 2022-08-16T12:07:14Z date_published: 2018-01-01T00:00:00Z date_updated: 2024-11-06T12:20:35Z day: '01' doi: 10.1137/1.9781611975031.1 extern: '1' external_id: arxiv: - '1711.04355' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1711.04355 month: '01' oa: 1 oa_version: Preprint page: 1 - 20 publication: 29th Annual ACM-SIAM Symposium on Discrete Algorithms publication_identifier: eisbn: - 978-161197503-1 publication_status: published publisher: Society for Industrial and Applied Mathematics quality_controlled: '1' scopus_import: '1' status: public title: Dynamic algorithms for graph coloring type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2018' ...