--- _id: '6983' abstract: - lang: eng text: Malaria, a disease caused by parasites of the Plasmodium genus, begins when Plasmodium-infected mosquitoes inject malaria sporozoites while searching for blood. Sporozoites migrate from the skin via blood to the liver, infect hepatocytes, and form liver stages which in mice 48 h later escape into blood and cause clinical malaria. Vaccine-induced activated or memory CD8 T cells are capable of locating and eliminating all liver stages in 48 h, thus preventing the blood-stage disease. However, the rules of how CD8 T cells are able to locate all liver stages within a relatively short time period remains poorly understood. We recently reported formation of clusters consisting of variable numbers of activated CD8 T cells around Plasmodium yoelii (Py)-infected hepatocytes. Using a combination of experimental data and mathematical models we now provide additional insights into mechanisms of formation of these clusters. First, we show that a model in which cluster formation is driven exclusively by T-cell-extrinsic factors, such as variability in “attractiveness” of different liver stages, cannot explain distribution of cluster sizes in different experimental conditions. In contrast, the model in which cluster formation is driven by the positive feedback loop (i.e., larger clusters attract more CD8 T cells) can accurately explain the available data. Second, while both Py-specific CD8 T cells and T cells of irrelevant specificity (non-specific CD8 T cells) are attracted to the clusters, we found no evidence that non-specific CD8 T cells play a role in cluster formation. Third and finally, mathematical modeling suggested that formation of clusters occurs rapidly, within few hours after adoptive transfer of CD8 T cells, thus illustrating high efficiency of CD8 T cells in locating their targets in complex peripheral organs, such as the liver. Taken together, our analysis provides novel insights into and attempts to discriminate between alternative mechanisms driving the formation of clusters of antigen-specific CD8 T cells in the liver. article_number: '2153' article_processing_charge: No article_type: original author: - first_name: Réka K full_name: Kelemen, Réka K id: 48D3F8DE-F248-11E8-B48F-1D18A9856A87 last_name: Kelemen orcid: 0000-0002-8489-9281 - first_name: H full_name: Rajakaruna, H last_name: Rajakaruna - first_name: IA full_name: Cockburn, IA last_name: Cockburn - first_name: VV full_name: Ganusov, VV last_name: Ganusov citation: ama: Kelemen RK, Rajakaruna H, Cockburn I, Ganusov V. Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells. Frontiers in Immunology. 2019;10. doi:10.3389/fimmu.2019.02153 apa: Kelemen, R. K., Rajakaruna, H., Cockburn, I., & Ganusov, V. (2019). Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells. Frontiers in Immunology. Frontiers. https://doi.org/10.3389/fimmu.2019.02153 chicago: Kelemen, Réka K, H Rajakaruna, IA Cockburn, and VV Ganusov. “Clustering of Activated CD8 T Cells around Malaria-Infected Hepatocytes Is Rapid and Is Driven by Antigen-Specific Cells.” Frontiers in Immunology. Frontiers, 2019. https://doi.org/10.3389/fimmu.2019.02153. ieee: R. K. Kelemen, H. Rajakaruna, I. Cockburn, and V. Ganusov, “Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells,” Frontiers in Immunology, vol. 10. Frontiers, 2019. ista: Kelemen RK, Rajakaruna H, Cockburn I, Ganusov V. 2019. Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells. Frontiers in Immunology. 10, 2153. mla: Kelemen, Réka K., et al. “Clustering of Activated CD8 T Cells around Malaria-Infected Hepatocytes Is Rapid and Is Driven by Antigen-Specific Cells.” Frontiers in Immunology, vol. 10, 2153, Frontiers, 2019, doi:10.3389/fimmu.2019.02153. short: R.K. Kelemen, H. Rajakaruna, I. Cockburn, V. Ganusov, Frontiers in Immunology 10 (2019). date_created: 2019-11-04T15:50:06Z date_published: 2019-09-20T00:00:00Z date_updated: 2023-08-30T07:18:23Z day: '20' ddc: - '570' department: - _id: BeVi doi: 10.3389/fimmu.2019.02153 external_id: isi: - '000487187000001' pmid: - '31616407' file: - access_level: open_access checksum: 68d1708f7aa412544159b498ef17a6b9 content_type: application/pdf creator: dernst date_created: 2019-11-04T15:54:00Z date_updated: 2020-07-14T12:47:46Z file_id: '6984' file_name: 2019_FrontiersImmonology_Kelemen.pdf file_size: 2083061 relation: main_file file_date_updated: 2020-07-14T12:47:46Z has_accepted_license: '1' intvolume: ' 10' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version pmid: 1 publication: Frontiers in Immunology publication_identifier: issn: - 1664-3224 publication_status: published publisher: Frontiers quality_controlled: '1' scopus_import: '1' status: public title: Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells 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: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 10 year: '2019' ... --- _id: '6972' abstract: - lang: eng text: 'We give fault-tolerant algorithms for establishing synchrony in distributed systems in which each of thennodes has its own clock. Our algorithms operate in a very strong fault model: we require self-stabilisation, i.e.,the initial state of the system may be arbitrary, and there can be up to fJournal of the ACM. 2019;66(5). doi:10.1145/3339471 apa: Lenzen, C., & Rybicki, J. (2019). Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. ACM. https://doi.org/10.1145/3339471 chicago: Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3339471. ieee: C. Lenzen and J. Rybicki, “Self-stabilising Byzantine clock synchronisation is almost as easy as consensus,” Journal of the ACM, vol. 66, no. 5. ACM, 2019. ista: Lenzen C, Rybicki J. 2019. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 66(5), 32. mla: Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM, vol. 66, no. 5, 32, ACM, 2019, doi:10.1145/3339471. short: C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019). date_created: 2019-10-24T17:12:48Z date_published: 2019-09-01T00:00:00Z date_updated: 2023-08-30T07:07:23Z day: '01' ddc: - '000' department: - _id: DaAl doi: 10.1145/3339471 ec_funded: 1 external_id: arxiv: - '1705.06173' isi: - '000496514100001' file: - access_level: open_access checksum: 7e5d95c478e0e393f4927fcf7e48194e content_type: application/pdf creator: dernst date_created: 2019-10-25T12:58:38Z date_updated: 2020-07-14T12:47:46Z file_id: '6975' file_name: 2019_JACM_Lenzen.pdf file_size: 2183085 relation: main_file file_date_updated: 2020-07-14T12:47:46Z has_accepted_license: '1' intvolume: ' 66' isi: 1 issue: '5' language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Journal of the ACM publication_identifier: issn: - 0004-5411 publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: Self-stabilising Byzantine clock synchronisation is almost as easy as consensus 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: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 66 year: '2019' ... --- _id: '6942' abstract: - lang: eng text: "Graph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of \U0001D714 -regular winning conditions; e.g., safety, reachability, liveness, parity conditions; provides a robust and expressive specification formalism for properties that arise in analysis of reactive systems. The resolutions of nondeterminism in games and MDPs are represented as strategies, and we consider succinct representation of such strategies. The decision-tree data structure from machine learning retains the flavor of decisions of strategies and allows entropy-based minimization to obtain succinct trees. However, in contrast to traditional machine-learning problems where small errors are allowed, for winning strategies in graph games and MDPs no error is allowed, and the decision tree must represent the entire strategy. In this work we propose decision trees with linear classifiers for representation of strategies in graph games and MDPs. We have implemented strategy representation using this data structure and we present experimental results for problems on graph games and MDPs, which show that this new data structure presents a much more efficient strategy representation as compared to standard decision trees." alternative_title: - LNCS article_processing_charge: No author: - first_name: Pranav full_name: Ashok, Pranav last_name: Ashok - first_name: Tomáš full_name: Brázdil, Tomáš last_name: Brázdil - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Jan full_name: Křetínský, Jan last_name: Křetínský - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Viktor full_name: Toman, Viktor id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87 last_name: Toman orcid: 0000-0001-9036-063X citation: ama: 'Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7' apa: 'Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C., & Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-30281-8_7' chicago: Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7. ieee: P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128. ista: 'Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. 2019. Strategy representation by decision trees with linear classifiers. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785, 109–128.' mla: Ashok, Pranav, et al. “Strategy Representation by Decision Trees with Linear Classifiers.” 16th International Conference on Quantitative Evaluation of Systems, vol. 11785, Springer Nature, 2019, pp. 109–28, doi:10.1007/978-3-030-30281-8_7. short: P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128. conference: end_date: 2019-09-12 location: Glasgow, United Kingdom name: 'QEST: Quantitative Evaluation of Systems' start_date: 2019-09-10 date_created: 2019-10-14T06:57:49Z date_published: 2019-09-04T00:00:00Z date_updated: 2023-08-30T06:59:36Z day: '04' department: - _id: KrCh - _id: ChLa doi: 10.1007/978-3-030-30281-8_7 external_id: arxiv: - '1906.08178' isi: - '000679281300007' intvolume: ' 11785' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1906.08178 month: '09' oa: 1 oa_version: Preprint page: 109-128 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 25F2ACDE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Rigorous Systems Engineering - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication: 16th International Conference on Quantitative Evaluation of Systems publication_identifier: eisbn: - '9783030302818' isbn: - '9783030302801' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Strategy representation by decision trees with linear classifiers type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 11785 year: '2019' ... --- _id: '6955' abstract: - lang: eng text: We study few-body bound states of charged particles subject to attractive zero-range/short-range plus repulsive Coulomb interparticle forces. The characteristic length scales of the system at zero energy are set by the Coulomb length scale D and the Coulomb-modified effective range r eff. We study shallow bound states of charged particles with D >> r eff and show that these systems obey universal scaling laws different from neutral particles. An accurate description of these states requires both the Coulomb-modified scattering length and the effective range unless the Coulomb interaction is very weak (D -> ). Our findings are relevant for bound states whose spatial extent is significantly larger than the range of the attractive potential. These states enjoy universality – their character is independent of the shape of the short-range potential. article_number: '135016' article_processing_charge: No article_type: original author: - first_name: C.H. full_name: Schmickler, C.H. last_name: Schmickler - first_name: H.-W. full_name: Hammer, H.-W. last_name: Hammer - first_name: Artem full_name: Volosniev, Artem id: 37D278BC-F248-11E8-B48F-1D18A9856A87 last_name: Volosniev orcid: 0000-0003-0393-5525 citation: ama: Schmickler CH, Hammer H-W, Volosniev A. Universal physics of bound states of a few charged particles. Physics Letters B. 2019;798. doi:10.1016/j.physletb.2019.135016 apa: Schmickler, C. H., Hammer, H.-W., & Volosniev, A. (2019). Universal physics of bound states of a few charged particles. Physics Letters B. Elsevier. https://doi.org/10.1016/j.physletb.2019.135016 chicago: Schmickler, C.H., H.-W. Hammer, and Artem Volosniev. “Universal Physics of Bound States of a Few Charged Particles.” Physics Letters B. Elsevier, 2019. https://doi.org/10.1016/j.physletb.2019.135016. ieee: C. H. Schmickler, H.-W. Hammer, and A. Volosniev, “Universal physics of bound states of a few charged particles,” Physics Letters B, vol. 798. Elsevier, 2019. ista: Schmickler CH, Hammer H-W, Volosniev A. 2019. Universal physics of bound states of a few charged particles. Physics Letters B. 798, 135016. mla: Schmickler, C. H., et al. “Universal Physics of Bound States of a Few Charged Particles.” Physics Letters B, vol. 798, 135016, Elsevier, 2019, doi:10.1016/j.physletb.2019.135016. short: C.H. Schmickler, H.-W. Hammer, A. Volosniev, Physics Letters B 798 (2019). date_created: 2019-10-18T18:33:32Z date_published: 2019-11-10T00:00:00Z date_updated: 2023-08-30T07:06:42Z day: '10' ddc: - '530' department: - _id: MiLe doi: 10.1016/j.physletb.2019.135016 external_id: arxiv: - '1904.00913' isi: - '000494939000086' file: - access_level: open_access checksum: d27f983b34ea7dafdf356afbf9472fbf content_type: application/pdf creator: dernst date_created: 2019-10-25T12:47:04Z date_updated: 2020-07-14T12:47:46Z file_id: '6974' file_name: 2019_PhysicsLettersB_Schmickler.pdf file_size: 528362 relation: main_file file_date_updated: 2020-07-14T12:47:46Z has_accepted_license: '1' intvolume: ' 798' isi: 1 language: - iso: eng month: '11' oa: 1 oa_version: Published Version publication: Physics Letters B publication_identifier: issn: - 0370-2693 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Universal physics of bound states of a few charged particles 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: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 798 year: '2019' ... --- _id: '7005' abstract: - lang: eng text: Activity-dependent bulk endocytosis generates synaptic vesicles (SVs) during intense neuronal activity via a two-step process. First, bulk endosomes are formed direct from the plasma membrane from which SVs are then generated. SV generation from bulk endosomes requires the efflux of previously accumulated calcium and activation of the protein phosphatase calcineurin. However, it is still unknown how calcineurin mediates SV generation. We addressed this question using a series of acute interventions that decoupled the generation of SVs from bulk endosomes in rat primary neuronal culture. This was achieved by either disruption of protein–protein interactions via delivery of competitive peptides, or inhibition of enzyme activity by known inhibitors. SV generation was monitored using either a morphological horseradish peroxidase assay or an optical assay that monitors the replenishment of the reserve SV pool. We found that SV generation was inhibited by, (i) peptides that disrupt calcineurin interactions, (ii) an inhibitor of dynamin I GTPase activity and (iii) peptides that disrupt the phosphorylation-dependent dynamin I–syndapin I interaction. Peptides that disrupted syndapin I interactions with eps15 homology domain-containing proteins had no effect. This revealed that (i) calcineurin must be localized at bulk endosomes to mediate its effect, (ii) dynamin I GTPase activity is essential for SV fission and (iii) the calcineurin-dependent interaction between dynamin I and syndapin I is essential for SV generation. We therefore propose that a calcineurin-dependent dephosphorylation cascade that requires both dynamin I GTPase and syndapin I lipid-deforming activity is essential for SV generation from bulk endosomes. article_processing_charge: No article_type: original author: - first_name: Giselle T full_name: Cheung, Giselle T id: 471195F6-F248-11E8-B48F-1D18A9856A87 last_name: Cheung orcid: 0000-0001-8457-2572 - first_name: Michael A. full_name: Cousin, Michael A. last_name: Cousin citation: ama: Cheung GT, Cousin MA. Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction. Journal of Neurochemistry. 2019;151(5):570-583. doi:10.1111/jnc.14862 apa: Cheung, G. T., & Cousin, M. A. (2019). Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14862 chicago: Cheung, Giselle T, and Michael A. Cousin. “Synaptic Vesicle Generation from Activity‐dependent Bulk Endosomes Requires a Dephosphorylation‐dependent Dynamin–Syndapin Interaction.” Journal of Neurochemistry. Wiley, 2019. https://doi.org/10.1111/jnc.14862. ieee: G. T. Cheung and M. A. Cousin, “Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction,” Journal of Neurochemistry, vol. 151, no. 5. Wiley, pp. 570–583, 2019. ista: Cheung GT, Cousin MA. 2019. Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction. Journal of Neurochemistry. 151(5), 570–583. mla: Cheung, Giselle T., and Michael A. Cousin. “Synaptic Vesicle Generation from Activity‐dependent Bulk Endosomes Requires a Dephosphorylation‐dependent Dynamin–Syndapin Interaction.” Journal of Neurochemistry, vol. 151, no. 5, Wiley, 2019, pp. 570–83, doi:10.1111/jnc.14862. short: G.T. Cheung, M.A. Cousin, Journal of Neurochemistry 151 (2019) 570–583. date_created: 2019-11-12T14:37:08Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-08-30T07:21:50Z day: '01' ddc: - '570' department: - _id: SiHi doi: 10.1111/jnc.14862 external_id: isi: - '000490703100001' pmid: - '31479508' file: - access_level: open_access checksum: ec1fb2aebb874009bc309adaada6e1d7 content_type: application/pdf creator: dernst date_created: 2020-02-05T10:30:02Z date_updated: 2020-07-14T12:47:47Z file_id: '7452' file_name: 2019_JournNeurochemistry_Cheung.pdf file_size: 4334962 relation: main_file file_date_updated: 2020-07-14T12:47:47Z has_accepted_license: '1' intvolume: ' 151' isi: 1 issue: '5' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 570-583 pmid: 1 publication: Journal of Neurochemistry publication_identifier: eissn: - 1471-4159 issn: - 0022-3042 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction 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: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 151 year: '2019' ...