--- _id: '1405' abstract: - lang: eng text: "Motivated by the analysis of highly dynamic message-passing systems, i.e. unbounded thread creation, mobility, etc. we present a framework for the analysis of depth-bounded systems. Depth-bounded systems are one of the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. Even though they are infinite state systems depth-bounded systems are well-structured, thus can be analyzed algorithmically. We give an interpretation of depth-bounded systems as graph-rewriting systems. This gives more flexibility and ease of use to apply depth-bounded systems to other type of systems like shared memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for depth-bounded systems, a prerequisite for the effective representation of downward-closed sets. Downward-closed sets are needed by forward saturation-based algorithms to represent potentially infinite sets of states. Then, we present an abstract interpretation framework to compute the covering set of well-structured transition systems. Because, in general, the covering set is not computable, our abstraction over-approximates the actual covering set. Our abstraction captures the essence of acceleration based-algorithms while giving up enough precision to ensure convergence. We have implemented the analysis in the PICASSO tool and show that it is accurate in practice. Finally, we build some further analyses like termination using the covering set as starting point." acknowledgement: "This work was supported in part by the Austrian Science Fund NFN RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS 2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this part is mostly related to the implementation. The theory required to understand the method and its implementation is quickly recalled to make the thesis self-contained, but should not be considered as a contribution. For the details of the methods, we refer the reader to the orig- inal publication [13] and the corresponding technical report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar, and Thomas Wies. I also would like to thank the people who supported over the past 4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on projects I was interested in. My collaborators, especially Thomas Wies with whom I worked since the beginning. The members of my thesis committee, Viktor Kun- cak and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny, Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created an enjoyable environment. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Damien full_name: Zufferey, Damien id: 4397AC76-F248-11E8-B48F-1D18A9856A87 last_name: Zufferey orcid: 0000-0002-3197-8736 citation: ama: Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405 apa: Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405 chicago: Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405. ieee: D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013. ista: Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria. mla: Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405. short: D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013. date_created: 2018-12-11T11:51:50Z date_published: 2013-09-05T00:00:00Z date_updated: 2023-09-07T11:36:37Z day: '05' ddc: - '000' degree_awarded: PhD department: - _id: ToHe - _id: GradSch doi: 10.15479/at:ista:1405 ec_funded: 1 file: - access_level: open_access checksum: ed2d7b52933d134e8dc69d569baa284e content_type: application/pdf creator: dernst date_created: 2021-02-22T11:28:36Z date_updated: 2021-02-22T11:28:36Z file_id: '9176' file_name: 2013_Zufferey_thesis_final.pdf file_size: 1514906 relation: main_file success: 1 - access_level: closed checksum: cecc4c4b14225bee973d32e3dba91a55 content_type: application/pdf creator: cchlebak date_created: 2021-11-16T14:42:52Z date_updated: 2021-11-17T13:47:58Z file_id: '10298' file_name: 2013_Zufferey_thesis_final_pdfa.pdf file_size: 1378313 relation: main_file file_date_updated: 2021-11-17T13:47:58Z has_accepted_license: '1' language: - iso: eng main_file_link: - url: http://dzufferey.github.io/files/2013_thesis.pdf month: '09' oa: 1 oa_version: Published Version page: '134' project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '5802' related_material: record: - id: '2847' relation: part_of_dissertation status: public - id: '3251' relation: part_of_dissertation status: public - id: '4361' relation: part_of_dissertation status: public status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 title: Analysis of dynamic message passing programs type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2013' ... --- _id: '2847' abstract: - lang: eng text: Depth-Bounded Systems form an expressive class of well-structured transition systems. They can model a wide range of concurrent infinite-state systems including those with dynamic thread creation, dynamically changing communication topology, and complex shared heap structures. We present the first method to automatically prove fair termination of depth-bounded systems. Our method uses a numerical abstraction of the system, which we obtain by systematically augmenting an over-approximation of the system’s reachable states with a finite set of counters. This numerical abstraction can be analyzed with existing termination provers. What makes our approach unique is the way in which it exploits the well-structuredness of the analyzed system. We have implemented our work in a prototype tool and used it to automatically prove liveness properties of complex concurrent systems, including nonblocking algorithms such as Treiber’s stack and several distributed processes. Many of these examples are beyond the scope of termination analyses that are based on traditional counter abstractions. alternative_title: - LNCS author: - first_name: Kshitij full_name: Bansal, Kshitij last_name: Bansal - first_name: Eric full_name: Koskinen, Eric last_name: Koskinen - first_name: Thomas full_name: Wies, Thomas id: 447BFB88-F248-11E8-B48F-1D18A9856A87 last_name: Wies - first_name: Damien full_name: Zufferey, Damien id: 4397AC76-F248-11E8-B48F-1D18A9856A87 last_name: Zufferey orcid: 0000-0002-3197-8736 citation: ama: Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5 apa: 'Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5' chicago: Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5. ieee: K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,” vol. 7795. Springer, pp. 62–77, 2013. ista: Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77. mla: Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5. short: K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77. conference: end_date: 2013-03-24 location: Rome, Italy name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2013-03-16 date_created: 2018-12-11T11:59:54Z date_published: 2013-03-01T00:00:00Z date_updated: 2023-09-07T11:36:36Z day: '01' department: - _id: ToHe doi: 10.1007/978-3-642-36742-7_5 ec_funded: 1 editor: - first_name: Nir full_name: Piterman, Nir last_name: Piterman - first_name: Scott full_name: Smolka, Scott last_name: Smolka intvolume: ' 7795' language: - iso: eng main_file_link: - open_access: '1' url: http://arise.or.at/pubpdf/Structural_Counter_Abstraction.pdf month: '03' oa: 1 oa_version: Submitted Version page: 62 - 77 project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication_status: published publisher: Springer publist_id: '3947' quality_controlled: '1' related_material: record: - id: '1405' relation: dissertation_contains status: public scopus_import: 1 series_title: Lecture Notes in Computer Science status: public title: Structural Counter Abstraction type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 7795 year: '2013' ... --- _id: '1406' abstract: - lang: eng text: Epithelial spreading is a critical part of various developmental and wound repair processes. Here we use zebrafish epiboly as a model system to study the cellular and molecular mechanisms underlying the spreading of epithelial sheets. During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium, spreads over the embryo to eventually cover the entire yolk cell by the end of gastrulation. The EVL leading edge is anchored through tight junctions to the yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent view in the field was that the contractile ring exerts a pulling force on the EVL margin, which pulls the EVL towards the vegetal pole. However, how this force is generated and how it affects EVL morphology still remains elusive. Moreover, the cellular mechanisms mediating the increase in EVL surface area, while maintaining tissue integrity and function are still unclear. Here we show that the YSL actomyosin ring pulls on the EVL margin by two distinct force-generating mechanisms. One mechanism is based on contraction of the ring around its circumference, as previously proposed. The second mechanism is based on actomyosin retrogade flows, generating force through resistance against the substrate. The latter can function at any epiboly stage even in situations where the contraction-based mechanism is unproductive. Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic tension, which guides the orientation of EVL cell division along the main axis (animal-vegetal) of tension. The influence of tension in cell division orientation involves cell elongation and requires myosin-2 activity for proper spindle alignment. Strikingly, we reveal that tension-oriented cell divisions release anisotropic tension within the EVL and that in the absence of such divisions, EVL cells undergo ectopic fusions. We conclude that forces applied to the EVL by the action of the YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell divisions, which in turn limit tissue tension increase thereby facilitating tissue spreading. acknowledged_ssus: - _id: Bio - _id: PreCl alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Pedro full_name: Campinho, Pedro id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87 last_name: Campinho orcid: 0000-0002-8526-5416 citation: ama: 'Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.' apa: 'Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.' chicago: 'Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.' ieee: 'P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.' ista: 'Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.' mla: 'Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.' short: 'P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.' date_created: 2018-12-11T11:51:50Z date_published: 2013-10-01T00:00:00Z date_updated: 2023-09-07T11:36:07Z day: '01' degree_awarded: PhD department: - _id: CaHe language: - iso: eng month: '10' oa_version: None page: '123' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '5801' status: public supervisor: - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 title: 'Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading' type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2013' ... --- _id: '2247' abstract: - lang: eng text: Cooperative behavior, where one individual incurs a cost to help another, is a wide spread phenomenon. Here we study direct reciprocity in the context of the alternating Prisoner's Dilemma. We consider all strategies that can be implemented by one and two-state automata. We calculate the payoff matrix of all pairwise encounters in the presence of noise. We explore deterministic selection dynamics with and without mutation. Using different error rates and payoff values, we observe convergence to a small number of distinct equilibria. Two of them are uncooperative strict Nash equilibria representing always-defect (ALLD) and Grim. The third equilibrium is mixed and represents a cooperative alliance of several strategies, dominated by a strategy which we call Forgiver. Forgiver cooperates whenever the opponent has cooperated; it defects once when the opponent has defected, but subsequently Forgiver attempts to re-establish cooperation even if the opponent has defected again. Forgiver is not an evolutionarily stable strategy, but the alliance, which it rules, is asymptotically stable. For a wide range of parameter values the most commonly observed outcome is convergence to the mixed equilibrium, dominated by Forgiver. Our results show that although forgiving might incur a short-term loss it can lead to a long-term gain. Forgiveness facilitates stable cooperation in the presence of exploitation and noise. article_number: e80814 author: - first_name: Benjamin full_name: Zagorsky, Benjamin last_name: Zagorsky - first_name: Johannes full_name: Reiter, Johannes id: 4A918E98-F248-11E8-B48F-1D18A9856A87 last_name: Reiter orcid: 0000-0002-0170-7353 - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Martin full_name: Nowak, Martin last_name: Nowak citation: ama: Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814 apa: Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0080814 chicago: Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814. ieee: B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12. Public Library of Science, 2013. ista: Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814. mla: Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814. short: B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013). date_created: 2018-12-11T11:56:33Z date_published: 2013-12-12T00:00:00Z date_updated: 2023-09-07T11:40:43Z day: '12' ddc: - '000' department: - _id: KrCh doi: 10.1371/journal.pone.0080814 ec_funded: 1 file: - access_level: open_access checksum: 808e8b9e6e89658bee4ffbbfac1bd19d content_type: application/pdf creator: system date_created: 2018-12-12T10:11:15Z date_updated: 2020-07-14T12:45:34Z file_id: '4868' file_name: IST-2016-409-v1+1_journal.pone.0080814.pdf file_size: 1050042 relation: main_file file_date_updated: 2020-07-14T12:45:34Z has_accepted_license: '1' intvolume: ' 8' issue: '12' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '12' oa: 1 oa_version: Published Version project: - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: PLoS One publication_status: published publisher: Public Library of Science publist_id: '4702' pubrep_id: '409' quality_controlled: '1' related_material: record: - id: '9749' relation: research_data status: public - id: '1400' relation: dissertation_contains status: public scopus_import: 1 status: public title: 'Forgiver triumphs in alternating prisoner''s dilemma ' 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: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2013' ... --- _id: '2858' abstract: - lang: eng text: Tumor growth is caused by the acquisition of driver mutations, which enhance the net reproductive rate of cells. Driver mutations may increase cell division, reduce cell death, or allow cells to overcome density-limiting effects. We study the dynamics of tumor growth as one additional driver mutation is acquired. Our models are based on two-type branching processes that terminate in either tumor disappearance or tumor detection. In our first model, both cell types grow exponentially, with a faster rate for cells carrying the additional driver. We find that the additional driver mutation does not affect the survival probability of the lesion, but can substantially reduce the time to reach the detectable size if the lesion is slow growing. In our second model, cells lacking the additional driver cannot exceed a fixed carrying capacity, due to density limitations. In this case, the time to detection depends strongly on this carrying capacity. Our model provides a quantitative framework for studying tumor dynamics during different stages of progression. We observe that early, small lesions need additional drivers, while late stage metastases are only marginally affected by them. These results help to explain why additional driver mutations are typically not detected in fast-growing metastases. author: - first_name: Johannes full_name: Reiter, Johannes id: 4A918E98-F248-11E8-B48F-1D18A9856A87 last_name: Reiter orcid: 0000-0002-0170-7353 - first_name: Ivana full_name: Božić, Ivana last_name: Božić - first_name: Benjamin full_name: Allen, Benjamin id: 135B5B70-E9D2-11E9-BD74-BB415DA2B523 last_name: Allen - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Martin full_name: Nowak, Martin last_name: Nowak citation: ama: Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020 apa: Reiter, J., Božić, I., Allen, B., Chatterjee, K., & Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications. Wiley-Blackwell. https://doi.org/10.1111/eva.12020 chicago: Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications. Wiley-Blackwell, 2013. https://doi.org/10.1111/eva.12020. ieee: J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013. ista: Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45. mla: Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020. short: J. Reiter, I. Božić, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications 6 (2013) 34–45. date_created: 2018-12-11T11:59:58Z date_published: 2013-01-01T00:00:00Z date_updated: 2023-09-07T11:40:43Z day: '01' ddc: - '570' department: - _id: KrCh doi: 10.1111/eva.12020 ec_funded: 1 file: - access_level: open_access checksum: e2955b3889f8a823c3d5a72cb16f8957 content_type: application/pdf creator: system date_created: 2018-12-12T10:15:50Z date_updated: 2020-07-14T12:45:51Z file_id: '5173' file_name: IST-2016-415-v1+1_Reiter_et_al-2013-Evolutionary_Applications.pdf file_size: 1172037 relation: main_file file_date_updated: 2020-07-14T12:45:51Z has_accepted_license: '1' intvolume: ' 6' issue: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 34 - 45 project: - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory publication: Evolutionary Applications publication_status: published publisher: Wiley-Blackwell publist_id: '3931' pubrep_id: '415' quality_controlled: '1' related_material: record: - id: '1400' relation: dissertation_contains status: public scopus_import: 1 status: public title: The effect of one additional driver mutation on tumor progression 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: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 6 year: '2013' ... --- _id: '2816' abstract: - lang: eng text: In solid tumors, targeted treatments can lead to dramatic regressions, but responses are often short-lived because resistant cancer cells arise. The major strategy proposed for overcoming resistance is combination therapy. We present a mathematical model describing the evolutionary dynamics of lesions in response to treatment. We first studied 20 melanoma patients receiving vemurafenib. We then applied our model to an independent set of pancreatic, colorectal, and melanoma cancer patients with metastatic disease. We find that dual therapy results in long-term disease control for most patients, if there are no single mutations that cause cross-resistance to both drugs; in patients with large disease burden, triple therapy is needed. We also find that simultaneous therapy with two drugs is much more effective than sequential therapy. Our results provide realistic expectations for the efficacy of new drug combinations and inform the design of trials for new cancer therapeutics. article_number: e00747 author: - first_name: Ivana full_name: Božić, Ivana last_name: Božić - first_name: Johannes full_name: Reiter, Johannes id: 4A918E98-F248-11E8-B48F-1D18A9856A87 last_name: Reiter orcid: 0000-0002-0170-7353 - first_name: Benjamin full_name: Allen, Benjamin last_name: Allen - first_name: Tibor full_name: Antal, Tibor last_name: Antal - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Preya full_name: Shah, Preya last_name: Shah - first_name: Yo full_name: Moon, Yo last_name: Moon - first_name: Amin full_name: Yaqubie, Amin last_name: Yaqubie - first_name: Nicole full_name: Kelly, Nicole last_name: Kelly - first_name: Dung full_name: Le, Dung last_name: Le - first_name: Evan full_name: Lipson, Evan last_name: Lipson - first_name: Paul full_name: Chapman, Paul last_name: Chapman - first_name: Luis full_name: Diaz, Luis last_name: Diaz - first_name: Bert full_name: Vogelstein, Bert last_name: Vogelstein - first_name: Martin full_name: Nowak, Martin last_name: Nowak citation: ama: Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747 apa: Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.00747 chicago: Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife. eLife Sciences Publications, 2013. https://doi.org/10.7554/eLife.00747. ieee: I. Božić et al., “Evolutionary dynamics of cancer in response to targeted combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013. ista: Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747. mla: Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747. short: I. Božić, J. Reiter, B. Allen, T. Antal, K. Chatterjee, P. Shah, Y. Moon, A. Yaqubie, N. Kelly, D. Le, E. Lipson, P. Chapman, L. Diaz, B. Vogelstein, M. Nowak, ELife 2 (2013). date_created: 2018-12-11T11:59:45Z date_published: 2013-06-25T00:00:00Z date_updated: 2023-09-07T11:40:43Z day: '25' ddc: - '570' - '610' department: - _id: KrCh doi: 10.7554/eLife.00747 file: - access_level: open_access checksum: 2c38c47815eacd8fa66cb8b404cf7c61 content_type: application/pdf creator: system date_created: 2018-12-12T10:12:48Z date_updated: 2020-07-14T12:45:49Z file_id: '4967' file_name: IST-2013-134-v1+1_e00747.full.pdf file_size: 3358321 relation: main_file file_date_updated: 2020-07-14T12:45:49Z has_accepted_license: '1' intvolume: ' 2' language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: eLife publication_status: published publisher: eLife Sciences Publications publist_id: '3985' pubrep_id: '134' quality_controlled: '1' related_material: record: - id: '1400' relation: dissertation_contains status: public scopus_import: 1 status: public title: Evolutionary dynamics of cancer in response to targeted combination therapy 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: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 2 year: '2013' ... --- _id: '2000' abstract: - lang: eng text: In this work we present a flexible tool for tumor progression, which simulates the evolutionary dynamics of cancer. Tumor progression implements a multi-type branching process where the key parameters are the fitness landscape, the mutation rate, and the average time of cell division. The fitness of a cancer cell depends on the mutations it has accumulated. The input to our tool could be any fitness landscape, mutation rate, and cell division time, and the tool produces the growth dynamics and all relevant statistics. alternative_title: - LNCS author: - first_name: Johannes full_name: Reiter, Johannes id: 4A918E98-F248-11E8-B48F-1D18A9856A87 last_name: Reiter orcid: 0000-0002-0170-7353 - first_name: Ivana full_name: Božić, Ivana last_name: Božić - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Martin full_name: Nowak, Martin last_name: Nowak citation: ama: 'Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6' apa: 'Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6' chicago: 'Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.' ieee: 'J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.' ista: 'Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.' mla: 'Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.' short: J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106. conference: end_date: 2013-07-19 location: St. Petersburg, Russia name: 'CAV: Computer Aided Verification' start_date: 2013-07-13 date_created: 2018-12-11T11:55:08Z date_published: 2013-01-01T00:00:00Z date_updated: 2023-09-07T11:40:43Z day: '01' department: - _id: KrCh doi: 10.1007/978-3-642-39799-8_6 ec_funded: 1 external_id: arxiv: - '1303.5251' intvolume: ' 8044' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1303.5251 month: '01' oa: 1 oa_version: Preprint page: 101 - 106 project: - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: Proceedings of 25th Int. Conf. on Computer Aided Verification publication_status: published publisher: Springer publist_id: '5077' quality_controlled: '1' related_material: record: - id: '5399' relation: earlier_version status: public - id: '1400' relation: dissertation_contains status: public scopus_import: 1 series_title: Lecture Notes in Computer Science status: public title: 'TTP: Tool for tumor progression' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8044 year: '2013' ... --- _id: '2445' abstract: - lang: eng text: We develop program synthesis techniques that can help programmers fix concurrency-related bugs. We make two new contributions to synthesis for concurrency, the first improving the efficiency of the synthesized code, and the second improving the efficiency of the synthesis procedure itself. The first contribution is to have the synthesis procedure explore a variety of (sequential) semantics-preserving program transformations. Classically, only one such transformation has been considered, namely, the insertion of synchronization primitives (such as locks). Based on common manual bug-fixing techniques used by Linux device-driver developers, we explore additional, more efficient transformations, such as the reordering of independent instructions. The second contribution is to speed up the counterexample-guided removal of concurrency bugs within the synthesis procedure by considering partial-order traces (instead of linear traces) as counterexamples. A partial-order error trace represents a set of linear (interleaved) traces of a concurrent program all of which lead to the same error. By eliminating a partial-order error trace, we eliminate in a single iteration of the synthesis procedure all linearizations of the partial-order trace. We evaluated our techniques on several simplified examples of real concurrency bugs that occurred in Linux device drivers. alternative_title: - LNCS author: - first_name: Pavol full_name: Cerny, Pavol id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87 last_name: Cerny - 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: Arjun full_name: Radhakrishna, Arjun id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87 last_name: Radhakrishna - first_name: Leonid full_name: Ryzhyk, Leonid last_name: Ryzhyk - first_name: Thorsten full_name: Tarrach, Thorsten id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87 last_name: Tarrach orcid: 0000-0003-4409-8487 citation: ama: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68' apa: 'Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68' chicago: Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68. ieee: 'P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.' ista: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.' mla: Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68. short: P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967. conference: end_date: 2013-07-19 location: St. Petersburg, Russia name: 'CAV: Computer Aided Verification' start_date: 2013-07-13 date_created: 2018-12-11T11:57:42Z date_published: 2013-07-01T00:00:00Z date_updated: 2023-09-07T11:57:01Z day: '01' ddc: - '000' - '004' department: - _id: ToHe doi: 10.1007/978-3-642-39799-8_68 ec_funded: 1 file: - access_level: open_access checksum: 70c70ca5487faba82262c63e1b678a27 content_type: application/pdf creator: system date_created: 2018-12-12T10:15:37Z date_updated: 2020-07-14T12:45:40Z file_id: '5158' file_name: IST-2014-199-v1+1_cav2013-final.pdf file_size: 365548 relation: main_file file_date_updated: 2020-07-14T12:45:40Z has_accepted_license: '1' intvolume: ' 8044' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 951 - 967 project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication_status: published publisher: Springer publist_id: '4458' pubrep_id: '199' quality_controlled: '1' related_material: record: - id: '1130' relation: dissertation_contains status: public scopus_import: 1 status: public title: Efficient synthesis for concurrency by semantics-preserving transformations type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8044 year: '2013' ... --- _id: '2926' abstract: - lang: eng text: To fight infectious diseases, host immune defenses are employed at multiple levels. Sanitary behavior, such as pathogen avoidance and removal, acts as a first line of defense to prevent infection [1] before activation of the physiological immune system. Insect societies have evolved a wide range of collective hygiene measures and intensive health care toward pathogen-exposed group members [2]. One of the most common behaviors is allogrooming, in which nestmates remove infectious particles from the body surfaces of exposed individuals [3]. Here we show that, in invasive garden ants, grooming of fungus-exposed brood is effective beyond the sheer mechanical removal of fungal conidiospores; it also includes chemical disinfection through the application of poison produced by the ants themselves. Formic acid is the main active component of the poison. It inhibits fungal growth of conidiospores remaining on the brood surface after grooming and also those collected in the mouth of the grooming ant. This dual function is achieved by uptake of the poison droplet into the mouth through acidopore self-grooming and subsequent application onto the infectious brood via brood grooming. This extraordinary behavior extends the current understanding of grooming and the establishment of social immunity in insect societies. acknowledgement: "Funding for this project was obtained by the German Research Foundation (DFG, to S.C.) and the European Research Council (ERC, through an ERC-Starting Grant to S.C. and an Individual Marie Curie IEF fellowship to L.V.U.).\r\nWe thank Jørgen Eilenberg, Bernhardt Steinwender, Miriam Stock, and Meghan L. Vyleta for the fungal strain and its characterization; Volker Witte for chemical information; Eva Sixt for ant drawings; and Robert Hauschild for help with image analysis. We further thank Martin Kaltenpoth, Michael Sixt, Jürgen Heinze, and Joachim Ruther for discussion and Daria Siekhaus, Sophie A.O. Armitage, and Leila Masri for comments on the manuscript. \r\n" author: - first_name: Simon full_name: Tragust, Simon id: 35A7A418-F248-11E8-B48F-1D18A9856A87 last_name: Tragust - first_name: Barbara full_name: Mitteregger, Barbara id: 479DDAAC-E9CD-11E9-9B5F-82450873F7A1 last_name: Mitteregger - first_name: Vanessa full_name: Barone, Vanessa id: 419EECCC-F248-11E8-B48F-1D18A9856A87 last_name: Barone orcid: 0000-0003-2676-3367 - first_name: Matthias full_name: Konrad, Matthias id: 46528076-F248-11E8-B48F-1D18A9856A87 last_name: Konrad - first_name: Line V full_name: Ugelvig, Line V id: 3DC97C8E-F248-11E8-B48F-1D18A9856A87 last_name: Ugelvig orcid: 0000-0003-1832-8883 - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 citation: ama: Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034 apa: Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.11.034 chicago: Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034. ieee: S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Ants disinfect fungus-exposed brood by oral uptake and spread of their poison,” Current Biology, vol. 23, no. 1. Cell Press, pp. 76–82, 2013. ista: Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82. mla: Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034. short: S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82. date_created: 2018-12-11T12:00:23Z date_published: 2013-01-07T00:00:00Z date_updated: 2023-09-07T12:05:08Z day: '07' department: - _id: SyCr - _id: CaHe doi: 10.1016/j.cub.2012.11.034 ec_funded: 1 intvolume: ' 23' issue: '1' language: - iso: eng month: '01' oa_version: None page: 76 - 82 project: - _id: 25DAF0B2-B435-11E9-9278-68D0E5697425 grant_number: CR-118/3-1 name: Host-Parasite Coevolution - _id: 25DC711C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '243071' name: 'Social Vaccination in Ant Colonies: from Individual Mechanisms to Society Effects' - _id: 25DDF0F0-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '302004' name: 'Pathogen Detectors Collective disease defence and pathogen detection abilities in ant societies: a chemo-neuro-immunological approach' publication: Current Biology publication_status: published publisher: Cell Press publist_id: '3811' quality_controlled: '1' related_material: record: - id: '9757' relation: research_data status: public - id: '961' relation: dissertation_contains status: public scopus_import: 1 status: public title: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 23 year: '2013' ... --- _id: '2305' abstract: - lang: eng text: We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. e argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively. We show that a strategy ensuring both the expected mean-payoff and the variance below given bounds requires randomization and memory, under all the above semantics of variance. We then look at the problem of determining whether there is a such a strategy. For the global variance, we show that the problem is in PSPACE, and that the answer can be approximated in pseudo-polynomial time. For the hybrid variance, the analogous decision problem is in NP, and a polynomial-time approximating algorithm also exists. For local variance, we show that the decision problem is in NP. Since the overall performance can be traded for stability (and vice versa), we also present algorithms for approximating the associated Pareto curve in all the three cases. Finally, we study a special case of the decision problems, where we require a given expected mean-payoff together with zero variance. Here we show that the problems can be all solved in polynomial time. author: - 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: Vojtěch full_name: Forejt, Vojtěch last_name: Forejt - first_name: Antonín full_name: Kučera, Antonín last_name: Kučera citation: ama: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39' apa: 'Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39' chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39. ieee: T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340. ista: 'Brázdil T, Chatterjee K, Forejt V, Kučera A. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.' mla: Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39. short: T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340. conference: end_date: 2013-06-28 location: New Orleans, LA, United States name: 'LICS: Logic in Computer Science' start_date: 2013-06-25 date_created: 2018-12-11T11:56:53Z date_published: 2013-08-01T00:00:00Z date_updated: 2023-09-20T11:15:30Z day: '01' department: - _id: KrCh doi: 10.1109/LICS.2013.39 ec_funded: 1 external_id: arxiv: - '1305.4103' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1305.4103 month: '08' oa: 1 oa_version: Preprint page: 331 - 340 project: - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _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' - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: 28th Annual ACM/IEEE Symposium publication_status: published publisher: IEEE publist_id: '4622' quality_controlled: '1' related_material: record: - id: '1294' relation: later_version status: public scopus_import: 1 status: public title: Trading performance for stability in Markov decision processes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2013' ... --- _id: '2820' abstract: - lang: eng text: 'In this paper, we introduce the powerful framework of graph games for the analysis of real-time scheduling with firm deadlines. We introduce a novel instance of a partial-observation game that is suitable for this purpose, and prove decidability of all the involved decision problems. We derive a graph game that allows the automated computation of the competitive ratio (along with an optimal witness algorithm for the competitive ratio) and establish an NP-completeness proof for the graph game problem. For a given on-line algorithm, we present polynomial time solution for computing (i) the worst-case utility; (ii) the worst-case utility ratio w.r.t. a clairvoyant off-line algorithm; and (iii) the competitive ratio. A major strength of the proposed approach lies in its flexibility w.r.t. incorporating additional constraints on the adversary and/or the algorithm, including limited maximum or average load, finiteness of periods of overload, etc., which are easily added by means of additional instances of standard objective functions for graph games. ' author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Alexander full_name: Kößler, Alexander last_name: Kößler - first_name: Ulrich full_name: Schmid, Ulrich last_name: Schmid citation: ama: 'Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356' apa: 'Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356' chicago: 'Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.' ieee: 'K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.' ista: 'Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control, 163–172.' mla: 'Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.' short: 'K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.' conference: end_date: 2013-04-11 location: Philadelphia, PA, United States name: 'HSCC: Hybrid Systems - Computation and Control' start_date: 2013-04-08 date_created: 2018-12-11T11:59:46Z date_published: 2013-04-01T00:00:00Z date_updated: 2023-09-27T12:52:38Z day: '01' department: - _id: KrCh doi: 10.1145/2461328.2461356 ec_funded: 1 language: - iso: eng month: '04' oa_version: None page: 163 - 172 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: 'Proceedings of the 16th International conference on Hybrid systems: Computation and control' publication_identifier: isbn: - '978-1-4503-1567-8 ' publication_status: published publisher: ACM publist_id: '3981' quality_controlled: '1' related_material: record: - id: '738' relation: later_version status: public scopus_import: 1 status: public title: Automated analysis of real-time scheduling using graph games type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2013' ... --- _id: '2272' abstract: - lang: eng text: "We consider Conditional Random Fields (CRFs) with pattern-based potentials defined on a chain. In this model the energy of a string (labeling) x1...xn is the sum of terms over intervals [i,j] where each term is non-zero only if the substring xi...xj equals a prespecified pattern α. Such CRFs can be naturally applied to many sequence tagging problems.\r\nWe present efficient algorithms for the three standard inference tasks in a CRF, namely computing (i) the partition function, (ii) marginals, and (iii) computing the MAP. Their complexities are respectively O(nL), O(nLℓmax) and O(nLmin{|D|,log(ℓmax+1)}) where L is the combined length of input patterns, ℓmax is the maximum length of a pattern, and D is the input alphabet. This improves on the previous algorithms of (Ye et al., 2009) whose complexities are respectively O(nL|D|), O(n|Γ|L2ℓ2max) and O(nL|D|), where |Γ| is the number of input patterns.\r\nIn addition, we give an efficient algorithm for sampling. Finally, we consider the case of non-positive weights. (Komodakis & Paragios, 2009) gave an O(nL) algorithm for computing the MAP. We present a modification that has the same worst-case complexity but can beat it in the best case. " alternative_title: - JMLR article_processing_charge: No author: - first_name: Rustem full_name: Takhanov, Rustem id: 2CCAC26C-F248-11E8-B48F-1D18A9856A87 last_name: Takhanov - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov citation: ama: 'Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.' apa: 'Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.' chicago: Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. ML Research Press, 2013. ieee: R. Takhanov and V. Kolmogorov, “Inference algorithms for pattern-based CRFs on sequence data,” in ICML’13 Proceedings of the 30th International Conference on International, Atlanta, GA, USA, 2013, vol. 28, no. 3, pp. 145–153. ista: 'Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.' mla: Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53. short: R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153. conference: end_date: 2013-06-21 location: Atlanta, GA, USA name: 'ICML: International Conference on Machine Learning' start_date: 2013-06-16 date_created: 2018-12-11T11:56:41Z date_published: 2013-06-01T00:00:00Z date_updated: 2023-10-17T09:51:32Z day: '01' department: - _id: VlKo intvolume: ' 28' issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: http://proceedings.mlr.press/v28/takhanov13.pdf?CFID=105472548&CFTOKEN=5c5859b5d97b4439-27B4AC58-BA92-A964-B598CAACEE6CC515 month: '06' oa: 1 oa_version: Submitted Version page: 145 - 153 publication: ICML'13 Proceedings of the 30th International Conference on International publication_status: published publisher: ML Research Press publist_id: '4672' quality_controlled: '1' related_material: record: - id: '1794' relation: later_version status: public scopus_import: '1' status: public title: Inference algorithms for pattern-based CRFs on sequence data type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 28 year: '2013' ... --- _id: '2448' abstract: - lang: eng text: Cell-to-cell directional flow of the phytohormone auxin is primarily established by polar localization of the PIN auxin transporters, a process tightly regulated at multiple levels by auxin itself. We recently reported that, in the context of strong auxin flows, activity of the vacuolar ZIFL1.1 transporter is required for fine-tuning of polar auxin transport rates in the Arabidopsis root. In particular, ZIFL1.1 function protects plasma-membrane stability of the PIN2 carrier in epidermal root tip cells under conditions normally triggering PIN2 degradation. Here, we show that ZIFL1.1 activity at the root tip also promotes PIN1 plasma-membrane abundance in central cylinder cells, thus supporting the notion that ZIFL1.1 acts as a general positive modulator of polar auxin transport in roots. article_number: e25688 article_processing_charge: No article_type: original author: - first_name: Estelle full_name: Remy, Estelle last_name: Remy - first_name: Pawel full_name: Baster, Pawel id: 3028BD74-F248-11E8-B48F-1D18A9856A87 last_name: Baster - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Paula full_name: Duque, Paula last_name: Duque citation: ama: Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688 apa: Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor & Francis. https://doi.org/10.4161/psb.25688 chicago: Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior. Taylor & Francis, 2013. https://doi.org/10.4161/psb.25688. ieee: E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip,” Plant Signaling & Behavior, vol. 8, no. 10. Taylor & Francis, 2013. ista: Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 8(10), e25688. mla: Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Taylor & Francis, 2013, doi:10.4161/psb.25688. short: E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013). date_created: 2018-12-11T11:57:43Z date_published: 2013-07-10T00:00:00Z date_updated: 2023-10-17T11:15:14Z day: '10' department: - _id: JiFr doi: 10.4161/psb.25688 ec_funded: 1 external_id: pmid: - '23857365' intvolume: ' 8' issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4091088/ month: '07' oa: 1 oa_version: Submitted Version pmid: 1 project: - _id: 25716A02-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '282300' name: Polarity and subcellular dynamics in plants publication: Plant Signaling & Behavior publication_status: published publisher: Taylor & Francis publist_id: '4455' quality_controlled: '1' scopus_import: '1' status: public title: ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2013' ... --- _id: '2853' abstract: - lang: eng text: High relatedness among interacting individuals has generally been considered a precondition for the evolution of altruism. However, kin-selection theory also predicts the evolution of altruism when relatedness is low, as long as the cost of the altruistic act is minor compared with its benefit. Here, we demonstrate evidence for a low-cost altruistic act in bacteria. We investigated Escherichia coli responding to the attack of an obligately lytic phage by committing suicide in order to prevent parasite transmission to nearby relatives. We found that bacterial suicide provides large benefits to survivors at marginal costs to committers. The cost of suicide was low, because infected cells are moribund, rapidly dying upon phage infection, such that no more opportunity for reproduction remains. As a consequence of its marginal cost, host suicide was selectively favoured even when relatedness between committers and survivors approached zero. Altogether, our findings demonstrate that low-cost suicide can evolve with ease, represents an effective host-defence strategy, and seems to be widespread among microbes. Moreover, low-cost suicide might also occur in higher organisms as exemplified by infected social insect workers leaving the colony to die in isolation. article_processing_charge: No article_type: original author: - first_name: Dominik full_name: Refardt, Dominik last_name: Refardt - first_name: Tobias full_name: Bergmiller, Tobias id: 2C471CFA-F248-11E8-B48F-1D18A9856A87 last_name: Bergmiller orcid: 0000-0001-5396-4346 - first_name: Rolf full_name: Kümmerli, Rolf last_name: Kümmerli citation: ama: 'Refardt D, Bergmiller T, Kümmerli R. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 2013;280(1759). doi:10.1098/rspb.2012.3035' apa: 'Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2012.3035' chicago: 'Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2013. https://doi.org/10.1098/rspb.2012.3035.' ieee: 'D. Refardt, T. Bergmiller, and R. Kümmerli, “Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759. The Royal Society, 2013.' ista: 'Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).' mla: 'Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.' short: D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013). date_created: 2018-12-11T11:59:56Z date_published: 2013-05-22T00:00:00Z date_updated: 2023-10-18T06:43:23Z day: '22' department: - _id: CaGu doi: 10.1098/rspb.2012.3035 external_id: pmid: - '23516238' intvolume: ' 280' issue: '1759' language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3619501/ month: '05' oa: 1 oa_version: Submitted Version pmid: 1 publication: Proceedings of the Royal Society of London Series B Biological Sciences publication_identifier: eissn: - 1471-2954 publication_status: published publisher: The Royal Society publist_id: '3939' quality_controlled: '1' related_material: record: - id: '9751' relation: research_data status: public scopus_import: '1' status: public title: 'Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 280 year: '2013' ... --- _id: '9751' abstract: - lang: eng text: High relatedness among interacting individuals has generally been considered a precondition for the evolution of altruism. However, kin-selection theory also predicts the evolution of altruism when relatedness is low, as long as the cost of the altruistic act is minor compared to its benefit. Here, we demonstrate evidence for a low-cost altruistic act in bacteria. We investigated Escherichia coli responding to the attack of an obligately lytic phage by committing suicide in order to prevent parasite transmission to nearby relatives. We found that bacterial suicide provides large benefits to survivors at marginal costs to committers. The cost of suicide was low because infected cells are moribund, rapidly dying upon phage infection, such that no more opportunity for reproduction remains. As a consequence of its marginal cost, host suicide was selectively favoured even when relatedness between committers and survivors approached zero. Altogether, our findings demonstrate that low-cost suicide can evolve with ease, represents an effective host-defence strategy, and seems to be widespread among microbes. Moreover, low-cost suicide might also occur in higher organisms as exemplified by infected social insect workers leaving the colony to die in isolation. article_processing_charge: No author: - first_name: Dominik full_name: Refardt, Dominik last_name: Refardt - first_name: Tobias full_name: Bergmiller, Tobias id: 2C471CFA-F248-11E8-B48F-1D18A9856A87 last_name: Bergmiller orcid: 0000-0001-5396-4346 - first_name: Rolf full_name: Kümmerli, Rolf last_name: Kümmerli citation: ama: 'Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n' apa: 'Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n' chicago: 'Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Dryad, 2013. https://doi.org/10.5061/dryad.b1q2n.' ieee: 'D. Refardt, T. Bergmiller, and R. Kümmerli, “Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection.” Dryad, 2013.' ista: 'Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad, 10.5061/dryad.b1q2n.' mla: 'Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad, 2013, doi:10.5061/dryad.b1q2n.' short: D. Refardt, T. Bergmiller, R. Kümmerli, (2013). date_created: 2021-07-30T08:08:09Z date_published: 2013-03-21T00:00:00Z date_updated: 2023-10-18T06:43:22Z day: '21' department: - _id: CaGu doi: 10.5061/dryad.b1q2n main_file_link: - open_access: '1' url: https://doi.org/10.5061/dryad.b1q2n month: '03' oa: 1 oa_version: Published Version publisher: Dryad related_material: record: - id: '2853' relation: used_in_publication status: public status: public title: 'Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection' type: research_data_reference user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf year: '2013' ... --- _id: '7785' abstract: - lang: eng text: Neural circuit assembly requires selection of specific cell fates, axonal trajectories, and synaptic targets. By analyzing the function of a secreted semaphorin, Sema-2b, in Drosophila olfactory receptor neuron (ORN) development, we identified multiple molecular and cellular mechanisms that link these events. Notch signaling limits Sema-2b expression to ventromedial ORN classes, within which Sema-2b cell-autonomously sensitizes ORN axons to external semaphorins. Central-brain-derived Sema-2a and Sema-2b attract Sema-2b-expressing axons to the ventromedial trajectory. In addition, Sema-2b/PlexB-mediated axon-axon interactions consolidate this trajectory choice and promote ventromedial axon-bundle formation. Selecting the correct developmental trajectory is ultimately essential for proper target choice. These findings demonstrate that Sema-2b couples ORN axon guidance to postsynaptic target neuron dendrite patterning well before the final target selection phase, and exemplify how a single guidance molecule can drive consecutive stages of neural circuit assembly with the help of sophisticated spatial and temporal regulation. article_processing_charge: No article_type: original author: - first_name: William J. full_name: Joo, William J. last_name: Joo - first_name: Lora Beatrice Jaeger full_name: Sweeney, Lora Beatrice Jaeger id: 56BE8254-C4F0-11E9-8E45-0B23E6697425 last_name: Sweeney orcid: 0000-0001-9242-5601 - first_name: Liang full_name: Liang, Liang last_name: Liang - first_name: Liqun full_name: Luo, Liqun last_name: Luo citation: ama: 'Joo WJ, Sweeney LB, Liang L, Luo L. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 2013;78(4):673-686. doi:10.1016/j.neuron.2013.03.022' apa: 'Joo, W. J., Sweeney, L. B., Liang, L., & Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.03.022' chicago: 'Joo, William J., Lora B. Sweeney, Liang Liang, and Liqun Luo. “Linking Cell Fate, Trajectory Choice, and Target Selection: Genetic Analysis of Sema-2b in Olfactory Axon Targeting.” Neuron. Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.03.022.' ieee: 'W. J. Joo, L. B. Sweeney, L. Liang, and L. Luo, “Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting,” Neuron, vol. 78, no. 4. Elsevier, pp. 673–686, 2013.' ista: 'Joo WJ, Sweeney LB, Liang L, Luo L. 2013. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 78(4), 673–686.' mla: 'Joo, William J., et al. “Linking Cell Fate, Trajectory Choice, and Target Selection: Genetic Analysis of Sema-2b in Olfactory Axon Targeting.” Neuron, vol. 78, no. 4, Elsevier, 2013, pp. 673–86, doi:10.1016/j.neuron.2013.03.022.' short: W.J. Joo, L.B. Sweeney, L. Liang, L. Luo, Neuron 78 (2013) 673–686. date_created: 2020-04-30T13:19:59Z date_published: 2013-05-22T00:00:00Z date_updated: 2024-01-31T10:15:25Z day: '22' doi: 10.1016/j.neuron.2013.03.022 extern: '1' intvolume: ' 78' issue: '4' language: - iso: eng month: '05' oa_version: None page: 673-686 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: 'Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 78 year: '2013' ... --- _id: '2274' abstract: - lang: eng text: "Proofs of work (PoW) have been suggested by Dwork and Naor (Crypto'92) as protection to a shared resource. The basic idea is to ask the service requestor to dedicate some non-trivial amount of computational work to every request. The original applications included prevention of spam and protection against denial of service attacks. More recently, PoWs have been used to prevent double spending in the Bitcoin digital currency system.\r\n\r\nIn this work, we put forward an alternative concept for PoWs -- so-called proofs of space (PoS), where a service requestor must dedicate a significant amount of disk space as opposed to computation. We construct secure PoS schemes in the random oracle model, using graphs with high "pebbling complexity" and Merkle hash-trees. " author: - first_name: Stefan full_name: Dziembowski, Stefan last_name: Dziembowski - first_name: Sebastian full_name: Faust, Sebastian last_name: Faust - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 citation: ama: Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013. apa: Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2013). Proofs of Space. IST Austria. chicago: Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013. ieee: S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, Proofs of Space. IST Austria, 2013. ista: Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p. mla: Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013. short: S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013. date_created: 2018-12-11T11:56:42Z date_published: 2013-11-28T00:00:00Z date_updated: 2024-03-20T08:31:49Z day: '28' ddc: - '530' department: - _id: VlKo - _id: KrPi file: - access_level: open_access checksum: 37b61637b62fc079d9141c59d9f1a94f content_type: application/pdf creator: system date_created: 2018-12-12T10:16:11Z date_updated: 2020-07-14T12:45:36Z file_id: '5197' file_name: IST-2016-671-v1+1_796.pdf file_size: 405870 relation: main_file file_date_updated: 2020-07-14T12:45:36Z has_accepted_license: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version publication_status: published publisher: IST Austria publist_id: '4670' pubrep_id: '671' related_material: record: - id: '1675' relation: later_version status: public scopus_import: 1 status: public title: Proofs of Space type: report user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2013' ... --- _id: '15162' abstract: - lang: eng text: Cytological profiling (CP) is an unbiased image-based screening technique that uses automated microscopy and image analysis to profile compounds based on numerous quantifiable phenotypic features. We used CP to evaluate a library of nearly 500 compounds with documented mechanisms of action (MOAs) spanning a wide range of biological pathways. We developed informatics techniques for generating dosage-independent phenotypic “fingerprints” for each compound, and for quantifying the likelihood that a compound's CP fingerprint corresponds to its annotated MOA. We identified groups of features that distinguish classes with closely related phenotypes, such as microtubule poisons vs. HSP90 inhibitors, and DNA synthesis vs. proteasome inhibitors. We tested several cases in which cytological profiles indicated novel mechanisms, including a tyrphostin kinase inhibitor involved in mitochondrial uncoupling, novel microtubule poisons, and a nominal PPAR-gamma ligand that acts as a proteasome inhibitor, using independent biochemical assays to confirm the MOAs predicted by the CP signatures. We also applied maximal-information statistics to identify correlations between cytological features and kinase inhibitory activities by combining the CP fingerprints of 24 kinase inhibitors with published data on their specificities against a diverse panel of kinases. The resulting analysis suggests a strategy for probing the biological functions of specific kinases by compiling cytological data from inhibitors of varying specificities. article_number: '2604' article_processing_charge: No article_type: original author: - first_name: Marcos H. full_name: Woehrmann, Marcos H. last_name: Woehrmann - first_name: Walter M. full_name: Bray, Walter M. last_name: Bray - first_name: James K. full_name: Durbin, James K. last_name: Durbin - first_name: Sean C. full_name: Nisam, Sean C. last_name: Nisam - first_name: Alicia Kathleen full_name: Michael, Alicia Kathleen id: 6437c950-2a03-11ee-914d-d6476dd7b75c last_name: Michael - first_name: Emerson full_name: Glassey, Emerson last_name: Glassey - first_name: Joshua M. full_name: Stuart, Joshua M. last_name: Stuart - first_name: R. Scott full_name: Lokey, R. Scott last_name: Lokey citation: ama: Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f apa: Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K., Glassey, E., … Lokey, R. S. (2013). Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. Royal Society of Chemistry. https://doi.org/10.1039/c3mb70245f chicago: Woehrmann, Marcos H., Walter M. Bray, James K. Durbin, Sean C. Nisam, Alicia K. Michael, Emerson Glassey, Joshua M. Stuart, and R. Scott Lokey. “Large-Scale Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular BioSystems. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3mb70245f. ieee: M. H. Woehrmann et al., “Large-scale cytological profiling for functional analysis of bioactive compounds,” Molecular BioSystems, vol. 9, no. 11. Royal Society of Chemistry, 2013. ista: Woehrmann MH, Bray WM, Durbin JK, Nisam SC, Michael AK, Glassey E, Stuart JM, Lokey RS. 2013. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 9(11), 2604. mla: Woehrmann, Marcos H., et al. “Large-Scale Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular BioSystems, vol. 9, no. 11, 2604, Royal Society of Chemistry, 2013, doi:10.1039/c3mb70245f. short: M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey, J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013). date_created: 2024-03-21T07:58:57Z date_published: 2013-08-20T00:00:00Z date_updated: 2024-03-25T11:45:46Z day: '20' doi: 10.1039/c3mb70245f extern: '1' intvolume: ' 9' issue: '11' keyword: - Molecular Biology - Biotechnology language: - iso: eng month: '08' oa_version: None publication: Molecular BioSystems publication_identifier: eissn: - 1742-2051 issn: - 1742-206X publication_status: published publisher: Royal Society of Chemistry quality_controlled: '1' scopus_import: '1' status: public title: Large-scale cytological profiling for functional analysis of bioactive compounds type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 9 year: '2013' ... --- _id: '10387' abstract: - lang: eng text: We report numerical simulations of membrane tubulation driven by large colloidal particles. Using Monte Carlo simulations we study how the process depends on particle size and binding strength, and present accurate free energy calculations to sort out how tube formation compares with the competing budding process. We find that tube formation is a result of the collective behavior of the particles adhering on the surface, and it occurs for binding strengths that are smaller than those required for budding. We also find that long linear aggregates of particles forming on the membrane surface act as nucleation seeds for tubulation by lowering the free energy barrier associated to the process. article_number: '188101' article_processing_charge: No article_type: original author: - first_name: Anđela full_name: Šarić, Anđela id: bf63d406-f056-11eb-b41d-f263a6566d8b last_name: Šarić orcid: 0000-0002-7854-2139 - first_name: Angelo full_name: Cacciuto, Angelo last_name: Cacciuto citation: ama: Šarić A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101 apa: Šarić, A., & Cacciuto, A. (2012). Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.109.188101 chicago: Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.109.188101. ieee: A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012. ista: Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101. mla: Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101. short: A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012). date_created: 2021-11-29T14:08:00Z date_published: 2012-10-31T00:00:00Z date_updated: 2021-11-29T14:29:25Z day: '31' doi: 10.1103/physrevlett.109.188101 extern: '1' external_id: arxiv: - '1206.3528' pmid: - '23215334' intvolume: ' 109' issue: '18' keyword: - general physics and astronomy language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1206.3528 month: '10' oa: 1 oa_version: Preprint pmid: 1 publication: Physical Review Letters publication_identifier: eissn: - 1079-7114 issn: - 0031-9007 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: Mechanism of membrane tube formation induced by adhesive nanocomponents type: journal_article user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 109 year: '2012' ... --- _id: '10388' abstract: - lang: eng text: Using computer simulations, we show that lipid membranes can mediate linear aggregation of spherical nanoparticles binding to it for a wide range of biologically relevant bending rigidities. This result is in net contrast with the isotropic aggregation of nanoparticles on fluid interfaces or the expected clustering of isotropic insertions in biological membranes. We present a phase diagram indicating where linear aggregation is expected and compute explicitly the free-energy barriers associated with linear and isotropic aggregation. Finally, we provide simple scaling arguments to explain this phenomenology. acknowledgement: "This work was supported by the National Science Foundation under Career Grant No. DMR-0846426.\r\n" article_number: '118101' article_processing_charge: No article_type: original author: - first_name: Anđela full_name: Šarić, Anđela id: bf63d406-f056-11eb-b41d-f263a6566d8b last_name: Šarić orcid: 0000-0002-7854-2139 - first_name: Angelo full_name: Cacciuto, Angelo last_name: Cacciuto citation: ama: Šarić A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101 apa: Šarić, A., & Cacciuto, A. (2012). Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.108.118101 chicago: Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.108.118101. ieee: A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012. ista: Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101. mla: Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101. short: A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012). date_created: 2021-11-29T14:30:05Z date_published: 2012-03-14T00:00:00Z date_updated: 2021-11-29T15:12:13Z day: '14' doi: 10.1103/physrevlett.108.118101 extern: '1' external_id: arxiv: - '1201.0036' pmid: - '22540513' intvolume: ' 108' issue: '11' keyword: - general physics and astronomy language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1201.0036 month: '03' oa: 1 oa_version: Preprint pmid: 1 publication: Physical Review Letters publication_identifier: eissn: - 1079-7114 issn: - 0031-9007 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles type: journal_article user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 108 year: '2012' ... --- _id: '1055' abstract: - lang: eng text: In July, 2011, a 32-year-old man presented with thoracic pain radiating to the left arm and upper dorsum, shortness of breath, and palpitations. He had had upper back tension for 6 months. Medical history was unremarkable apart from moderate nicotine use (two pack-years). Echocardiography, electrocardiography, and laboratory tests were unremarkable, excluding a cardiac event. CT of the chest after chest radiography showed a large bulla of 16 cm diameter in the right hemithorax (figure A). We did not detect radiological evidence of underlying pulmonary disease. The bulla wall was unremarkable and no structures were seen within the bulla. acknowledgement: We thank the interdisciplinary team at the ELK Berlin Chest Hospital. article_processing_charge: No author: - first_name: Barbara full_name: Erne, Barbara last_name: Erne - first_name: Mareike full_name: Graff, Mareike last_name: Graff - first_name: Wolfram full_name: Klemm, Wolfram last_name: Klemm - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 - first_name: Gunda full_name: Leschber, Gunda last_name: Leschber citation: ama: Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4 apa: Erne, B., Graff, M., Klemm, W., Danzl, J. G., & Leschber, G. (2012). Bulla in the lung. The Lancet. Elsevier. https://doi.org/10.1016/S0140-6736(12)60690-4 chicago: Erne, Barbara, Mareike Graff, Wolfram Klemm, Johann G Danzl, and Gunda Leschber. “Bulla in the Lung.” The Lancet. Elsevier, 2012. https://doi.org/10.1016/S0140-6736(12)60690-4. ieee: B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,” The Lancet, vol. 380, no. 9849. Elsevier, 2012. ista: Erne B, Graff M, Klemm W, Danzl JG, Leschber G. 2012. Bulla in the lung. The Lancet. 380(9849). mla: Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4. short: B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012). date_created: 2018-12-11T11:49:54Z date_published: 2012-10-01T00:00:00Z date_updated: 2021-01-12T06:47:57Z day: '01' doi: 10.1016/S0140-6736(12)60690-4 extern: '1' intvolume: ' 380' issue: '9849' language: - iso: eng month: '10' oa_version: None publication: The Lancet publication_status: published publisher: Elsevier publist_id: '6333' status: public title: Bulla in the lung type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 380 year: '2012' ... --- _id: '1056' abstract: - lang: eng text: We prepare and study a metastable attractive Mott-insulator state formed with bosonic atoms in a three-dimensional optical lattice. Starting from a Mott insulator with Cs atoms at weak repulsive interactions, we use a magnetic Feshbach resonance to tune the interactions to large attractive values and produce a metastable state pinned by attractive interactions with a lifetime on the order of 10 s. We probe the (de)excitation spectrum via lattice modulation spectroscopy, measuring the interaction dependence of two- and three-body bound-state energies. As a result of increased on-site three-body loss we observe resonance broadening and suppression of tunneling processes that produce three-body occupation. acknowledgement: We are indebted to R. Grimm for generous support. We thank J. von Stecher, P. Johnson, and E. Tiesinga for fruitful discussions. We gratefully acknowledge funding by the Austrian Science Fund (FWF) within Project No. I153-N16 and within the framework of the European Science Foundation (ESF) EuroQUASAR collective research project QuDeGPM, and by the European Research Council (ERC) under Project No. 278417. article_processing_charge: No author: - first_name: Manfred full_name: Mark, Manfred last_name: Mark - first_name: Elmar full_name: Haller, Elmar last_name: Haller - first_name: Katharina full_name: Lauber, Katharina last_name: Lauber - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 - first_name: Alexander full_name: Janisch, Alexander last_name: Janisch - first_name: Hans full_name: Büchler, Hans last_name: Büchler - first_name: Andrew full_name: Daley, Andrew last_name: Daley - first_name: Hanns full_name: Nägerl, Hanns last_name: Nägerl citation: ama: Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302 apa: Mark, M., Haller, E., Lauber, K., Danzl, J. G., Janisch, A., Büchler, H., … Nägerl, H. (2012). Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.215302 chicago: Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Alexander Janisch, Hans Büchler, Andrew Daley, and Hanns Nägerl. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.215302. ieee: M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012. ista: Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21). mla: Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302. short: M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012). date_created: 2018-12-11T11:49:55Z date_published: 2012-05-25T00:00:00Z date_updated: 2021-01-12T06:47:58Z day: '25' doi: 10.1103/PhysRevLett.108.215302 extern: '1' external_id: arxiv: - '1201.1008' intvolume: ' 108' issue: '21' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1201.1008 month: '05' oa: 1 oa_version: Preprint publication: Physical Review Letters publication_status: published publisher: American Physical Society publist_id: '6334' status: public title: Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 108 year: '2012' ... --- _id: '10750' abstract: - lang: eng text: The goal of this work is to study the superconducting coherence length in the fluctuation regime in cuprate superconductors. In this work we present cantilever torque magnetometry measurements of micron-size BSCCO flakes patterned with arrays of nanometer scale rings or holes. Using ultrasensitive dynamic torque magnetometry, oscillations in magnetization are observed near Tc as a function of the applied magnetic flux threading the array. Special effort was made to detect the oscillations in magnetization at temperatures above Tc, where the Nernst effect and magnetization measurements suggest the possibility of pairing. To constrain the magnitude of the coherence length in the fluctuation regime, we will present the dependence of the amplitude of the h/2e period oscillations as a function of temperature and hole size. acknowledgement: This work was supported by the Center for Emergent Superconductivity, an Energy Frontier Research Center funded by the U.S. DOE, Office of Science, under Award No. DE-AC0298CH1088. alternative_title: - Bulletin of the American Physical Society article_number: X21.00008 article_processing_charge: No author: - first_name: Hryhoriy full_name: Polshyn, Hryhoriy id: edfc7cb1-526e-11ec-b05a-e6ecc27e4e48 last_name: Polshyn orcid: 0000-0001-8223-8896 - first_name: Raffi full_name: Budakian, Raffi last_name: Budakian citation: ama: 'Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.' apa: 'Polshyn, H., & Budakian, R. (2012). Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In APS March Meeting 2012 (Vol. 57). Boston, MA, United States: American Physical Society.' chicago: Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” In APS March Meeting 2012, Vol. 57. American Physical Society, 2012. ieee: H. Polshyn and R. Budakian, “Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc,” in APS March Meeting 2012, Boston, MA, United States, 2012, vol. 57, no. 1. ista: 'Polshyn H, Budakian R. 2012. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. APS March Meeting 2012. APS: American Physical Society, Bulletin of the American Physical Society, vol. 57, X21.00008.' mla: Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, X21.00008, American Physical Society, 2012. short: H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012. conference: end_date: 2012-03-02 location: Boston, MA, United States name: 'APS: American Physical Society' start_date: 2012-02-27 date_created: 2022-02-08T10:39:08Z date_published: 2012-02-01T00:00:00Z date_updated: 2022-02-08T10:48:01Z day: '01' extern: '1' intvolume: ' 57' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://meetings.aps.org/Meeting/MAR12/Event/167014 month: '02' oa: 1 oa_version: Published Version publication: APS March Meeting 2012 publication_identifier: issn: - 0003-0503 publication_status: published publisher: American Physical Society quality_controlled: '1' status: public title: Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 57 year: '2012' ... --- _id: '10896' abstract: - lang: eng text: Under physiological conditions the brain, via the purine salvage pathway, reuses the preformed purine bases hypoxanthine, derived from ATP degradation, and adenine (Ade), derived from polyamine synthesis, to restore its ATP pool. However, the massive degradation of ATP during ischemia, although providing valuable neuroprotective adenosine, results in the accumulation and loss of diffusible purine metabolites and thereby leads to a protracted reduction in the post-ischemic ATP pool size. In vivo, this may both limit the ability to deploy ATP-dependent reparative mechanisms and reduce the subsequent availability of adenosine, whilst in brain slices results in tissue with substantially lower levels of ATP than in vivo. In the present review, we describe the mechanisms by which brain tissue replenishes its ATP, how this can be improved with the clinically tolerated chemicals D-ribose and adenine, and the functional, and potential therapeutic, implications of doing so. acknowledgement: We are grateful to Research into Ageing/Ageing UK and The Dunhill Trust for funding SzN’s graduate studies, and to Prof Nicholas Dale for his valuable input. article_processing_charge: No author: - first_name: Stephanie full_name: zur Nedden, Stephanie id: 3C77F464-F248-11E8-B48F-1D18A9856A87 last_name: zur Nedden - first_name: Alexander S. full_name: Doney, Alexander S. last_name: Doney - first_name: Bruno G. full_name: Frenguelli, Bruno G. last_name: Frenguelli citation: ama: 'zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6' apa: 'zur Nedden, S., Doney, A. S., & Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino & D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York: Springer. https://doi.org/10.1007/978-1-4614-3903-5_6' chicago: 'Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.' ieee: 'S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.' ista: 'zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.' mla: 'zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.' short: S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129. date_created: 2022-03-21T07:16:12Z date_published: 2012-07-23T00:00:00Z date_updated: 2022-06-21T11:51:58Z day: '23' department: - _id: HaJa doi: 10.1007/978-1-4614-3903-5_6 edition: '1' editor: - first_name: Susan full_name: Masino, Susan last_name: Masino - first_name: Detlev full_name: Boison, Detlev last_name: Boison language: - iso: eng month: '07' oa_version: None page: 109-129 place: New York publication: Adenosine publication_identifier: eisbn: - '9781461439035' isbn: - '9781461439028' publication_status: published publisher: Springer quality_controlled: '1' scopus_import: '1' status: public title: 'The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books' type: book_chapter user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2012' ... --- _id: '11089' abstract: - lang: eng text: The Nuclear Envelope (NE) contains over 100 different proteins that associate with nuclear components such as chromatin, the lamina and the transcription machinery. Mutations in genes encoding NE proteins have been shown to result in tissue-specific defects and disease, suggesting cell-type specific differences in NE composition and function. Consistent with these observations, recent studies have revealed unexpected functions for numerous NE associated proteins during cell differentiation and development. Here we review the latest insights into the roles played by the NE in cell differentiation, development, disease and aging, focusing primarily on inner nuclear membrane (INM) proteins and nuclear pore components. article_processing_charge: No article_type: original author: - first_name: J Sebastian full_name: Gomez-Cavazos, J Sebastian last_name: Gomez-Cavazos - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X citation: ama: 'Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783. doi:10.1016/j.ceb.2012.08.008' apa: 'Gomez-Cavazos, J. S., & Hetzer, M. (2012). Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.08.008' chicago: 'Gomez-Cavazos, J Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell Biology. Elsevier, 2012. https://doi.org/10.1016/j.ceb.2012.08.008.' ieee: 'J. S. Gomez-Cavazos and M. Hetzer, “Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins,” Current Opinion in Cell Biology, vol. 24, no. 6. Elsevier, pp. 775–783, 2012.' ista: 'Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.' mla: 'Gomez-Cavazos, J. Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell Biology, vol. 24, no. 6, Elsevier, 2012, pp. 775–83, doi:10.1016/j.ceb.2012.08.008.' short: J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012) 775–783. date_created: 2022-04-07T07:51:37Z date_published: 2012-12-01T00:00:00Z date_updated: 2022-07-18T08:38:47Z day: '01' doi: 10.1016/j.ceb.2012.08.008 extern: '1' external_id: pmid: - '22995343' intvolume: ' 24' issue: '6' keyword: - Cell Biology language: - iso: eng month: '12' oa_version: None page: 775-783 pmid: 1 publication: Current Opinion in Cell Biology publication_identifier: issn: - 0955-0674 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 'Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins' type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 24 year: '2012' ... --- _id: '11091' abstract: - lang: eng text: Neoplastic cells are often characterized by specific morphological abnormalities of the nuclear envelope (NE), which have been used for cancer diagnosis for more than a century. The NE is a double phospholipid bilayer that encapsulates the nuclear genome, regulates all nuclear trafficking of RNAs and proteins and prevents the passive diffusion of macromolecules between the nucleoplasm and the cytoplasm. Whether there is a consequence to the proper functioning of the cell and loss of structural integrity of the nucleus remains unclear. Using live cell imaging, we characterize a phenomenon wherein nuclei of several proliferating human cancer cell lines become temporarily ruptured during interphase. Strikingly, NE rupturing was associated with the mislocalization of nucleoplasmic and cytoplasmic proteins and, in the most extreme cases, the entrapment of cytoplasmic organelles in the nuclear interior. In addition, we observed the formation of micronuclei-like structures during interphase and the movement of chromatin out of the nuclear space. The frequency of these NE rupturing events was higher in cells in which the nuclear lamina, a network of intermediate filaments providing mechanical support to the NE, was not properly formed. Our data uncover the existence of a NE instability that has the potential to change the genomic landscape of cancer cells. article_processing_charge: No article_type: original author: - first_name: Jesse D. full_name: Vargas, Jesse D. last_name: Vargas - first_name: Emily M. full_name: Hatch, Emily M. last_name: Hatch - first_name: Daniel J. full_name: Anderson, Daniel J. last_name: Anderson - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X citation: ama: Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954 apa: Vargas, J. D., Hatch, E. M., Anderson, D. J., & Hetzer, M. (2012). Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. Taylor & Francis. https://doi.org/10.4161/nucl.18954 chicago: Vargas, Jesse D., Emily M. Hatch, Daniel J. Anderson, and Martin Hetzer. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” Nucleus. Taylor & Francis, 2012. https://doi.org/10.4161/nucl.18954. ieee: J. D. Vargas, E. M. Hatch, D. J. Anderson, and M. Hetzer, “Transient nuclear envelope rupturing during interphase in human cancer cells,” Nucleus, vol. 3, no. 1. Taylor & Francis, pp. 88–100, 2012. ista: Vargas JD, Hatch EM, Anderson DJ, Hetzer M. 2012. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100. mla: Vargas, Jesse D., et al. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” Nucleus, vol. 3, no. 1, Taylor & Francis, 2012, pp. 88–100, doi:10.4161/nucl.18954. short: J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100. date_created: 2022-04-07T07:51:53Z date_published: 2012-01-01T00:00:00Z date_updated: 2022-07-18T08:52:53Z day: '01' doi: 10.4161/nucl.18954 extern: '1' external_id: pmid: - '22567193' intvolume: ' 3' issue: '1' keyword: - Cell Biology language: - iso: eng month: '01' oa_version: None page: 88-100 pmid: 1 publication: Nucleus publication_identifier: eissn: - 1949-1042 issn: - 1949-1034 publication_status: published publisher: Taylor & Francis quality_controlled: '1' scopus_import: '1' status: public title: Transient nuclear envelope rupturing during interphase in human cancer cells type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 3 year: '2012' ... --- _id: '11093' abstract: - lang: eng text: Nuclear pore complexes (NPCs) are built from ∼30 different proteins called nucleoporins or Nups. Previous studies have shown that several Nups exhibit cell-type-specific expression and that mutations in NPC components result in tissue-specific diseases. Here we show that a specific change in NPC composition is required for both myogenic and neuronal differentiation. The transmembrane nucleoporin Nup210 is absent in proliferating myoblasts and embryonic stem cells (ESCs) but becomes expressed and incorporated into NPCs during cell differentiation. Preventing Nup210 production by RNAi blocks myogenesis and the differentiation of ESCs into neuroprogenitors. We found that the addition of Nup210 to NPCs does not affect nuclear transport but is required for the induction of genes that are essential for cell differentiation. Our results identify a single change in NPC composition as an essential step in cell differentiation and establish a role for Nup210 in gene expression regulation and cell fate determination. article_processing_charge: No article_type: original author: - first_name: Maximiliano A. full_name: D'Angelo, Maximiliano A. last_name: D'Angelo - first_name: J. Sebastian full_name: Gomez-Cavazos, J. Sebastian last_name: Gomez-Cavazos - first_name: Arianna full_name: Mei, Arianna last_name: Mei - first_name: Daniel H. full_name: Lackner, Daniel H. last_name: Lackner - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X citation: ama: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021 apa: D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., & Hetzer, M. (2012). A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2011.11.021 chicago: D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H. Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” Developmental Cell. Elsevier, 2012. https://doi.org/10.1016/j.devcel.2011.11.021. ieee: M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer, “A change in nuclear pore complex composition regulates cell differentiation,” Developmental Cell, vol. 22, no. 2. Elsevier, pp. 446–458, 2012. ista: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458. mla: D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” Developmental Cell, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, doi:10.1016/j.devcel.2011.11.021. short: M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458. date_created: 2022-04-07T07:52:10Z date_published: 2012-01-19T00:00:00Z date_updated: 2022-07-18T08:53:16Z day: '19' doi: 10.1016/j.devcel.2011.11.021 extern: '1' external_id: pmid: - '22264802' intvolume: ' 22' issue: '2' keyword: - Developmental Biology - Cell Biology - General Biochemistry - Genetics and Molecular Biology - Molecular Biology language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.devcel.2011.11.021 month: '01' oa: 1 oa_version: Published Version page: 446-458 pmid: 1 publication: Developmental Cell publication_identifier: issn: - 1534-5807 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: A change in nuclear pore complex composition regulates cell differentiation type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 22 year: '2012' ... --- _id: '11092' abstract: - lang: eng text: To combat the functional decline of the proteome, cells use the process of protein turnover to replace potentially impaired polypeptides with new functional copies. We found that extremely long-lived proteins (ELLPs) did not turn over in postmitotic cells of the rat central nervous system. These ELLPs were associated with chromatin and the nuclear pore complex, the central transport channels that mediate all molecular trafficking in and out of the nucleus. The longevity of these proteins would be expected to expose them to potentially harmful metabolites, putting them at risk of accumulating damage over extended periods of time. Thus, it is possible that failure to maintain proper levels and functional integrity of ELLPs in nonproliferative cells might contribute to age-related deterioration in cell and tissue function. article_processing_charge: No article_type: letter_note author: - first_name: Jeffrey N. full_name: Savas, Jeffrey N. last_name: Savas - first_name: Brandon H. full_name: Toyama, Brandon H. last_name: Toyama - first_name: Tao full_name: Xu, Tao last_name: Xu - first_name: John R. full_name: Yates, John R. last_name: Yates - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X citation: ama: Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421 apa: Savas, J. N., Toyama, B. H., Xu, T., Yates, J. R., & Hetzer, M. (2012). Extremely long-lived nuclear pore proteins in the rat brain. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1217421 chicago: Savas, Jeffrey N., Brandon H. Toyama, Tao Xu, John R. Yates, and Martin Hetzer. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1217421. ieee: J. N. Savas, B. H. Toyama, T. Xu, J. R. Yates, and M. Hetzer, “Extremely long-lived nuclear pore proteins in the rat brain,” Science, vol. 335, no. 6071. American Association for the Advancement of Science, pp. 942–942, 2012. ista: Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. 2012. Extremely long-lived nuclear pore proteins in the rat brain. Science. 335(6071), 942–942. mla: Savas, Jeffrey N., et al. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science, vol. 335, no. 6071, American Association for the Advancement of Science, 2012, pp. 942–942, doi:10.1126/science.1217421. short: J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942. date_created: 2022-04-07T07:52:01Z date_published: 2012-02-02T00:00:00Z date_updated: 2022-07-18T08:53:06Z day: '02' doi: 10.1126/science.1217421 extern: '1' external_id: pmid: - '22300851' intvolume: ' 335' issue: '6071' keyword: - Multidisciplinary language: - iso: eng month: '02' oa_version: None page: 942-942 pmid: 1 publication: Science publication_identifier: eissn: - 1095-9203 issn: - 0036-8075 publication_status: published publisher: American Association for the Advancement of Science quality_controlled: '1' scopus_import: '1' status: public title: Extremely long-lived nuclear pore proteins in the rat brain type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 335 year: '2012' ... --- _id: '11090' abstract: - lang: eng text: Nuclear export of mRNAs is thought to occur exclusively through nuclear pore complexes. In this issue of Cell, Speese et al. identify an alternate pathway for mRNA export in muscle cells where ribonucleoprotein complexes involved in forming neuromuscular junctions transit the nuclear envelope by fusing with and budding through the nuclear membrane. article_processing_charge: No article_type: letter_note author: - first_name: Emily M. full_name: Hatch, Emily M. last_name: Hatch - first_name: Martin W full_name: HETZER, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: HETZER orcid: 0000-0002-2111-992X citation: ama: Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018 apa: Hatch, E. M., & Hetzer, M. (2012). RNP export by nuclear envelope budding. Cell. Elsevier. https://doi.org/10.1016/j.cell.2012.04.018 chicago: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” Cell. Elsevier, 2012. https://doi.org/10.1016/j.cell.2012.04.018. ieee: E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” Cell, vol. 149, no. 4. Elsevier, pp. 733–735, 2012. ista: Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735. mla: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:10.1016/j.cell.2012.04.018. short: E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735. date_created: 2022-04-07T07:51:45Z date_published: 2012-05-11T00:00:00Z date_updated: 2022-07-18T08:58:48Z day: '11' doi: 10.1016/j.cell.2012.04.018 extern: '1' external_id: pmid: - '22579277' intvolume: ' 149' issue: '4' keyword: - General Biochemistry - Genetics and Molecular Biology language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.cell.2012.04.018 month: '05' oa: 1 oa_version: Published Version page: 733-735 pmid: 1 publication: Cell publication_identifier: issn: - 0092-8674 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: RNP export by nuclear envelope budding type: journal_article user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd volume: 149 year: '2012' ... --- _id: '113' abstract: - lang: eng text: 'Although liquids typically flow around intruding objects, a counterintuitive phenomenon occurs in dense suspensions of micrometre-sized particles: they become liquid-like when perturbed lightly, but harden when driven strongly. Rheological experiments have investigated how such thickening arises under shear, and linked it to hydrodynamic interactions or granular dilation. However, neither of these mechanisms alone can explain the ability of suspensions to generate very large, positive normal stresses under impact. To illustrate the phenomenon, such stresses can be large enough to allow a person to run across a suspension without sinking, and far exceed the upper limit observed under shear or extension. Here we show that these stresses originate from an impact-generated solidification front that transforms an initially compressible particle matrix into a rapidly growing jammed region, ultimately leading to extraordinary amounts of momentum absorption. Using high-speed videography, embedded force sensing and X-ray imaging, we capture the detailed dynamics of this process as it decelerates a metal rod hitting a suspension of cornflour (cornstarch) in water. We develop a model for the dynamic solidification and its effect on the surrounding suspension that reproduces the observed behaviour quantitatively. Our findings suggest that prior interpretations of the impact resistance as dominated by shear thickening need to be revisited.' acknowledgement: This work was supported by NSF through its MRSEC programme (DMR-0820054) and by the US Army Research Office through grant number W911NF-12-1-0182. S.R.W. acknowledges support from a Millikan fellowship. author: - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 - first_name: Heinrich full_name: Jaeger, Heinrich last_name: Jaeger citation: ama: Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187 apa: Waitukaitis, S. R., & Jaeger, H. (2012). Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11187 chicago: Waitukaitis, Scott R, and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” Nature. Nature Publishing Group, 2012. https://doi.org/10.1038/nature11187. ieee: S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense suspensions via dynamic jamming fronts,” Nature, vol. 487, no. 7406. Nature Publishing Group, pp. 205–209, 2012. ista: Waitukaitis SR, Jaeger H. 2012. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 487(7406), 205–209. mla: Waitukaitis, Scott R., and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” Nature, vol. 487, no. 7406, Nature Publishing Group, 2012, pp. 205–09, doi:10.1038/nature11187. short: S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209. date_created: 2018-12-11T11:44:42Z date_published: 2012-07-12T00:00:00Z date_updated: 2021-01-12T06:48:30Z day: '12' doi: 10.1038/nature11187 extern: '1' intvolume: ' 487' issue: '7406' language: - iso: eng month: '07' oa_version: None page: 205 - 209 publication: Nature publication_status: published publisher: Nature Publishing Group publist_id: '7941' status: public title: Impact-activated solidification of dense suspensions via dynamic jamming fronts type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 487 year: '2012' ... --- _id: '114' abstract: - lang: eng text: We report on an investigation of the solidification of a cornstarch and water suspension during normal impact on its surface. We find that a finite time after impact, the suspension displays characteristics reminiscent of a solid, including localized stress transmission, the development of a yield stress, and some elastic energy storage. The time dependence of these characteristics depends on the thickness of the cornstarch layer, showing that the solidification is a dynamic process driven by the impacting object. These findings confirm previous speculations that rapidly applied normal stress transforms the normally fluid-like suspension into a temporarily jammed solid and draw a clear distinction between the effects of normal stress and shear stress in dense suspensions. acknowledgement: This work was supported by the NSF through its MRSEC program (DMR-0820054). S. R. W. acknowledges support from a Millikan fellowship. author: - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 - first_name: Heinrich full_name: Jaeger, Heinrich last_name: Jaeger citation: ama: Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1E31-1E33. apa: Waitukaitis, S. R., & Jaeger, H. (2012). Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. Universidad de La Habana. chicago: Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica. Universidad de La Habana, 2012. ieee: S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012. ista: Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33. mla: Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1E31-1E33. short: S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33. date_created: 2018-12-11T11:44:42Z date_published: 2012-08-14T00:00:00Z date_updated: 2021-01-12T06:48:34Z day: '14' ddc: - '530' extern: '1' file: - access_level: open_access content_type: application/pdf creator: kschuh date_created: 2019-05-16T11:08:52Z date_updated: 2019-05-16T11:08:52Z file_id: '6461' file_name: 2012_RCF_Waitukaitis.pdf file_size: 589776 relation: main_file success: 1 file_date_updated: 2019-05-16T11:08:52Z has_accepted_license: '1' intvolume: ' 29' issue: 1E language: - iso: eng license: https://creativecommons.org/licenses/by-nc/4.0/ month: '08' oa: 1 oa_version: Published Version page: 1E31 - 1E33 publication: Revista Cubana de Fisica publication_status: published publisher: Universidad de La Habana publist_id: '7940' quality_controlled: '1' status: public title: Solidification of a cornstarch and water suspension tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 29 year: '2012' ... --- _id: '11656' abstract: - lang: eng text: "Suppose your sole interest in recommending a product to me is to maximize the amount paid to you by the seller for a sequence of recommendations. How should you recommend optimally if I become more inclined to ignore you with each irrelevant recommendation you make? Finding an answer to this question is a key challenge in all forms of marketing that rely on and explore social ties; ranging from personal recommendations to viral marketing.\r\n\r\nWe prove that even if the recommendee regains her initial trust on each successful recommendation, the expected revenue the recommender can make over an infinite period due to payments by the seller is bounded. This can only be overcome when the recommendee also incrementally regains trust during periods without any recommendation. Here, we see a connection to \"banner blindness,\" suggesting that showing fewer ads can lead to a higher long-term revenue." article_processing_charge: No author: - first_name: Paul full_name: Dütting, Paul last_name: Dütting - 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: Ingmar full_name: Weber, Ingmar last_name: Weber citation: ama: 'Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations under decaying trust. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery; 2012:2268-2286. doi:10.1145/2396761.2398621' apa: 'Dütting, P., Henzinger, M. H., & Weber, I. (2012). Maximizing revenue from strategic recommendations under decaying trust. In Proceedings of the 21st ACM international conference on Information and knowledge management (pp. 2268–2286). Maui, HI, United States: Association for Computing Machinery. https://doi.org/10.1145/2396761.2398621' chicago: Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Maximizing Revenue from Strategic Recommendations under Decaying Trust.” In Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2268–86. Association for Computing Machinery, 2012. https://doi.org/10.1145/2396761.2398621. ieee: P. Dütting, M. H. Henzinger, and I. Weber, “Maximizing revenue from strategic recommendations under decaying trust,” in Proceedings of the 21st ACM international conference on Information and knowledge management, Maui, HI, United States, 2012, pp. 2268–2286. ista: 'Dütting P, Henzinger MH, Weber I. 2012. Maximizing revenue from strategic recommendations under decaying trust. Proceedings of the 21st ACM international conference on Information and knowledge management. CIKM: Conference on Information and Knowledge Management, 2268–2286.' mla: Dütting, Paul, et al. “Maximizing Revenue from Strategic Recommendations under Decaying Trust.” Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–86, doi:10.1145/2396761.2398621. short: P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286. conference: end_date: 2012-11-02 location: Maui, HI, United States name: 'CIKM: Conference on Information and Knowledge Management' start_date: 2012-10-29 date_created: 2022-07-27T06:47:53Z date_published: 2012-10-29T00:00:00Z date_updated: 2023-02-09T09:19:49Z day: '29' doi: 10.1145/2396761.2398621 extern: '1' language: - iso: eng month: '10' oa_version: None page: 2268-2286 publication: Proceedings of the 21st ACM international conference on Information and knowledge management publication_identifier: isbn: - '9781450311564' publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: Maximizing revenue from strategic recommendations under decaying trust type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2012' ... --- _id: '11751' abstract: - lang: eng text: The Seebeck coefficients, electrical resistivities, total thermal conductivities, and magnetization are reported for temperatures between 5 and 350 K for n-type Bi0.88Sb0.12 nano-composite alloys made by Ho-doping at the 0, 1, and 3 % atomic levels. The alloys were prepared using a dc hot-pressing method, and are shown to be single phase for both Ho contents with grain sizes on the average of 900 nm. We find the parent compound has a maximum of ZT = 0.28 at 231 K, while doping 1 % Ho increases the maximum ZT to 0.31 at 221 K and the 3 % doped sample suppresses the maximum ZT = 0.24 at a temperature of 260 K. article_processing_charge: No article_type: original author: - first_name: K. C. full_name: Lukas, K. C. last_name: Lukas - first_name: G. full_name: Joshi, G. last_name: Joshi - first_name: Kimberly A full_name: Modic, Kimberly A id: 13C26AC0-EB69-11E9-87C6-5F3BE6697425 last_name: Modic orcid: 0000-0001-9760-3147 - first_name: Z. F. full_name: Ren, Z. F. last_name: Ren - first_name: C. P. full_name: Opeil, C. P. last_name: Opeil citation: ama: Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6 apa: Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6 chicago: Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6. ieee: K. C. Lukas, G. Joshi, K. A. Modic, Z. F. Ren, and C. P. Opeil, “Thermoelectric properties of Ho-doped Bi0.88Sb0.12,” Journal of Materials Science, vol. 47, no. 15. Springer Nature, pp. 5729–5734, 2012. ista: Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734. mla: Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:10.1007/s10853-012-6463-6. short: K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734. date_created: 2022-08-08T08:28:20Z date_published: 2012-08-01T00:00:00Z date_updated: 2022-08-11T09:34:39Z day: '01' doi: 10.1007/s10853-012-6463-6 extern: '1' external_id: arxiv: - '1201.6304' intvolume: ' 47' issue: '15' language: - iso: eng month: '08' oa_version: Preprint page: 5729-5734 publication: Journal of Materials Science publication_identifier: eissn: - 1573-4803 issn: - 0022-2461 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Thermoelectric properties of Ho-doped Bi0.88Sb0.12 type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 47 year: '2012' ... --- _id: '11794' abstract: - lang: eng text: We study individual rational, Pareto optimal, and incentive compatible mechanisms for auctions with heterogeneous items and budget limits. For multi-dimensional valuations we show that there can be no deterministic mechanism with these properties for divisible items. We use this to show that there can also be no randomized mechanism that achieves this for either divisible or indivisible items. For single-dimensional valuations we show that there can be no deterministic mechanism with these properties for indivisible items, but that there is a randomized mechanism that achieves this for either divisible or indivisible items. The impossibility results hold for public budgets, while the mechanism allows private budgets, which is in both cases the harder variant to show. While all positive results are polynomial-time algorithms, all negative results hold independent of complexity considerations. alternative_title: - LNCS article_processing_charge: No author: - first_name: Paul full_name: Dütting, Paul last_name: Dütting - 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: Martin full_name: Starnberger, Martin last_name: Starnberger citation: ama: 'Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4' apa: 'Dütting, P., Henzinger, M. H., & Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-35311-6_4' chicago: Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with Heterogeneous Items and Budget Limits.” In 8th International Workshop on Internet and Network Economics, 7695:44–57. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-35311-6_4. ieee: P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous items and budget limits,” in 8th International Workshop on Internet and Network Economics, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57. ista: 'Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.' mla: Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.” 8th International Workshop on Internet and Network Economics, vol. 7695, Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4. short: P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57. conference: end_date: 2012-12-14 location: Liverpool, United Kingdom name: 'WINE: International Conference on Web and Internet Economics' start_date: 2012-12-11 date_created: 2022-08-11T11:32:25Z date_published: 2012-12-01T00:00:00Z date_updated: 2023-02-21T16:28:29Z day: '01' doi: 10.1007/978-3-642-35311-6_4 extern: '1' external_id: arxiv: - '1209.6448' intvolume: ' 7695' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1209.6448 month: '12' oa: 1 oa_version: Preprint page: 44–57 publication: 8th International Workshop on Internet and Network Economics publication_identifier: isbn: - '9783642353109' issn: - 1611-3349 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '11794' relation: later_version status: public scopus_import: '1' status: public title: Auctions with heterogeneous items and budget limits type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 7695 year: '2012' ... --- _id: '11795' abstract: - lang: eng text: "We study multiple keyword sponsored search auctions with budgets. Each keyword has multiple ad slots with a click-through rate. The bidders have additive valuations, which are linear in the click-through rates, and budgets, which are restricting their overall payments. Additionally, the number of slots per keyword assigned to a bidder is bounded.\r\n\r\nWe show the following results: (1) We give the first mechanism for multiple keywords, where click-through rates differ among slots. Our mechanism is incentive compatible in expectation, individually rational in expectation, and Pareto optimal. (2) We study the combinatorial setting, where each bidder is only interested in a subset of the keywords. We give an incentive compatible, individually rational, Pareto optimal, and deterministic mechanism for identical click-through rates. (3) We give an impossibility result for incentive compatible, individually rational, Pareto optimal, and deterministic mechanisms for bidders with diminishing marginal valuations." alternative_title: - LNCS article_processing_charge: No author: - first_name: Riccardo full_name: Colini-Baldeschi, Riccardo last_name: Colini-Baldeschi - 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: Stefano full_name: Leonardi, Stefano last_name: Leonardi - first_name: Martin full_name: Starnberger, Martin last_name: Starnberger citation: ama: 'Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1' apa: 'Colini-Baldeschi, R., Henzinger, M. H., Leonardi, S., & Starnberger, M. (2012). On multiple keyword sponsored search auctions with budgets. In 39th International Colloquium on Automata, Languages, and Programming (Vol. 7392, pp. 1–12). Warwick, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-31585-5_1' chicago: Colini-Baldeschi, Riccardo, Monika H Henzinger, Stefano Leonardi, and Martin Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” In 39th International Colloquium on Automata, Languages, and Programming, 7392:1–12. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-31585-5_1. ieee: R. Colini-Baldeschi, M. H. Henzinger, S. Leonardi, and M. Starnberger, “On multiple keyword sponsored search auctions with budgets,” in 39th International Colloquium on Automata, Languages, and Programming, Warwick, United Kingdom, 2012, vol. 7392, pp. 1–12. ista: 'Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. 2012. On multiple keyword sponsored search auctions with budgets. 39th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7392, 1–12.' mla: Colini-Baldeschi, Riccardo, et al. “On Multiple Keyword Sponsored Search Auctions with Budgets.” 39th International Colloquium on Automata, Languages, and Programming, vol. 7392, Springer Nature, 2012, pp. 1–12, doi:10.1007/978-3-642-31585-5_1. short: R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12. conference: end_date: 2012-07-13 location: Warwick, United Kingdom name: 'ICALP: International Colloquium on Automata, Languages, and Programming' start_date: 2012-07-09 date_created: 2022-08-11T11:46:51Z date_published: 2012-07-01T00:00:00Z date_updated: 2023-02-21T16:28:31Z day: '01' doi: 10.1007/978-3-642-31585-5_1 extern: '1' intvolume: ' 7392' language: - iso: eng month: '07' oa_version: None page: 1–12 publication: 39th International Colloquium on Automata, Languages, and Programming publication_identifier: isbn: - '9783642315848' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '11795' relation: later_version status: public scopus_import: '1' status: public title: On multiple keyword sponsored search auctions with budgets type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 7392 year: '2012' ... --- _id: '11964' abstract: - lang: eng text: A detailed investigation on the direct arylation of benzene with aryl bromides by using first-row transition metals under high-temperature/high-pressure (high-T/p) conditions is described. By employing a parallel reactor platform for rapid reaction screening and discovery at elevated temperatures, various metal/ligand/base combinations were evaluated for their ability to enable biaryl formation through C-H activation. The combination of cobalt(III) acetylacetonate and lithium bis(trimethylsilyl)amide was subjected to further process intensification at 200 °C (15 bar), allowing a significant reduction of the catalyst/base loading and a dramatic increase in catalytic efficiency (turnover frequency) by a factor of 1000 compared to traditional protocols. The high-throughput screening additionally identified novel nickel- and copper-based metal/ligand combinations that favored an amination pathway competing with C-H activation, with the addition of ligands, such as 1,10-phenanthroline, having a profound influence on the selectivity. In addition to metal-based catalysts, high-T/p process windows were also successfully applied to transition-metal-free systems, utilizing 1,10-phenanthroline as organocatalyst. article_processing_charge: No article_type: original author: - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X - first_name: David full_name: Cantillo, David last_name: Cantillo - first_name: C. Oliver full_name: Kappe, C. Oliver last_name: Kappe citation: ama: 'Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055. doi:10.1002/chem.201103748' apa: 'Pieber, B., Cantillo, D., & Kappe, C. O. (2012). Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. Wiley. https://doi.org/10.1002/chem.201103748' chicago: 'Pieber, Bartholomäus, David Cantillo, and C. Oliver Kappe. “Direct Arylation of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201103748.' ieee: 'B. Pieber, D. Cantillo, and C. O. Kappe, “Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry,” Chemistry – A European Journal, vol. 18, no. 16. Wiley, pp. 5047–5055, 2012.' ista: 'Pieber B, Cantillo D, Kappe CO. 2012. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 18(16), 5047–5055.' mla: 'Pieber, Bartholomäus, et al. “Direct Arylation of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal, vol. 18, no. 16, Wiley, 2012, pp. 5047–55, doi:10.1002/chem.201103748.' short: B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055. date_created: 2022-08-24T12:48:28Z date_published: 2012-04-16T00:00:00Z date_updated: 2023-02-21T10:09:35Z day: '16' doi: 10.1002/chem.201103748 extern: '1' external_id: pmid: - '22396386' intvolume: ' 18' issue: '16' language: - iso: eng month: '04' oa_version: None page: 5047-5055 pmid: 1 publication: Chemistry – A European Journal publication_identifier: eissn: - 1521-3765 issn: - 0947-6539 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: 'Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 18 year: '2012' ... --- _id: '11963' abstract: - lang: eng text: 'Peroxides and ethers in flow: 2-Carbonyl-substituted phenols and β-ketoesters react safely with ethers in a microreactor environment using a copper catalyst and an organic peroxide (TBHP). This protocol results in unsymmetrical acetal scaffolds not easily available otherwise (see scheme).' article_processing_charge: No article_type: letter_note author: - first_name: G. Sathish full_name: Kumar, G. Sathish last_name: Kumar - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X - first_name: K. Rajender full_name: Reddy, K. Rajender last_name: Reddy - first_name: C. Oliver full_name: Kappe, C. Oliver last_name: Kappe citation: ama: Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128. doi:10.1002/chem.201200815 apa: Kumar, G. S., Pieber, B., Reddy, K. R., & Kappe, C. O. (2012). Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. Wiley. https://doi.org/10.1002/chem.201200815 chicago: Kumar, G. Sathish, Bartholomäus Pieber, K. Rajender Reddy, and C. Oliver Kappe. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201200815. ieee: G. S. Kumar, B. Pieber, K. R. Reddy, and C. O. Kappe, “Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats,” Chemistry - A European Journal, vol. 18, no. 20. Wiley, pp. 6124–6128, 2012. ista: Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 18(20), 6124–6128. mla: Kumar, G. Sathish, et al. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal, vol. 18, no. 20, Wiley, 2012, pp. 6124–28, doi:10.1002/chem.201200815. short: G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128. date_created: 2022-08-24T12:33:05Z date_published: 2012-05-14T00:00:00Z date_updated: 2023-02-21T10:09:33Z day: '14' doi: 10.1002/chem.201200815 extern: '1' external_id: pmid: - '22492535' intvolume: ' 18' issue: '20' language: - iso: eng month: '05' oa_version: None page: 6124-6128 pmid: 1 publication: Chemistry - A European Journal publication_identifier: eissn: - 1521-3765 issn: - 0947-6539 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 18 year: '2012' ... --- _id: '12644' abstract: - lang: eng text: In the Dry Andes of central Chile, summer water resources originate mostly from snowmelt and ice melt. We use the physically based, spatially distributed hydrological model TOPKAPI to study the exchange between glaciers and climate in the upper Aconcagua River Basin during the summer season and identify the model parameters that are robust and transferable and those that are more dependent on calibration. TOPKAPI has recently been adapted to incorporate an enhanced temperature index approach for snow and ice melting. We suggest a calibration procedure that allows calibration of parameters in three steps by separating parameters governing distinct processes. We evaluate the parameters' transferability in time and in space by applying the model at two spatial scales. TOPKAPI's ability to simulate the relevant processes is tested against meteorological, ablation, and glacier runoff data measured on Juncal Norte Glacier during two glacier ablation seasons. The model was applied successfully to the climatic setting of the Dry Andes once its parameters were recalibrated. We found a clear distinction between parameters that are stable in time and those that need recalibration. The parameters of the melt model are transferable from one season to the other, while the parameters governing the extrapolation of meteorological input data and the routing of glacier meltwater need recalibration from one season to the other. Sensitivity analysis revealed that the model is most sensitive to the temperature lapse rate governing the extrapolation of air temperature from point measurements to the glacier scale and to the melt parameter that multiplies the shortwave radiation balance. article_number: W03509 article_processing_charge: No article_type: original author: - first_name: S. full_name: Ragettli, S. last_name: Ragettli - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti citation: ama: 'Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 2012;48(3). doi:10.1029/2011wr010559' apa: 'Ragettli, S., & Pellicciotti, F. (2012). Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2011wr010559' chicago: 'Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.” Water Resources Research. American Geophysical Union, 2012. https://doi.org/10.1029/2011wr010559.' ieee: 'S. Ragettli and F. Pellicciotti, “Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters,” Water Resources Research, vol. 48, no. 3. American Geophysical Union, 2012.' ista: 'Ragettli S, Pellicciotti F. 2012. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 48(3), W03509.' mla: 'Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.” Water Resources Research, vol. 48, no. 3, W03509, American Geophysical Union, 2012, doi:10.1029/2011wr010559.' short: S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012). date_created: 2023-02-20T08:17:39Z date_published: 2012-03-01T00:00:00Z date_updated: 2023-02-21T09:38:36Z day: '01' doi: 10.1029/2011wr010559 extern: '1' intvolume: ' 48' issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1029/2011WR010559 month: '03' oa: 1 oa_version: Published Version publication: Water Resources Research publication_identifier: issn: - 0043-1397 publication_status: published publisher: American Geophysical Union quality_controlled: '1' scopus_import: '1' status: public title: 'Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 48 year: '2012' ... --- _id: '12646' abstract: - lang: eng text: Assessment of water resources from remote mountainous catchments plays a crucial role for the development of rural areas in or in the vicinity of mountain ranges. The scarcity of data, however, prevents the application of standard approaches that are based on data-driven models. The Hindu Kush–Karakoram–Himalaya mountain range is a crucial area in terms of water resources, but our understanding of the response of its high-elevation catchments to a changing climate is hindered by lack of hydro-meteorological and cryospheric data. Hydrological modeling is challenging here because internal inconsistencies—such as an underestimation of precipitation input that can be compensated for by an overestimation of meltwater—might be hidden due to the complexity of feedback mechanisms that govern melt and runoff generation in such basins. Data scarcity adds to this difficulty by preventing the application of systematic calibration procedures that would allow identification of the parameter set that could guarantee internal consistency in the simulation of the single hydrological components. In this work, we use simulations from the Hunza River Basin in the Karakoram region obtained with the hydrological model TOPKAPI to quantify the predictive power of discharge and snow-cover data sets, as well as the combination of both. We also show that short-term measurements of meteorological variables such as radiative fluxes, wind speed, relative humidity, and air temperature from glacio-meteorological experiments are crucial for a correct parameterization of surface melt processes. They enable detailed simulations of the energy fluxes governing glacier–atmosphere interaction and the resulting ablation through energy-balance modeling. These simulations are used to derive calibrated parameters for the simplified snow and glacier routines in TOPKAPI. We demonstrate that such parameters are stable in space and time in similar climatic regions, thus reducing the number of parameters requiring calibration. article_processing_charge: No article_type: original author: - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: Cyrill full_name: Buergi, Cyrill last_name: Buergi - first_name: Walter Willem full_name: Immerzeel, Walter Willem last_name: Immerzeel - first_name: Markus full_name: Konz, Markus last_name: Konz - first_name: Arun B. full_name: Shrestha, Arun B. last_name: Shrestha citation: ama: 'Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1' apa: 'Pellicciotti, F., Buergi, C., Immerzeel, W. W., Konz, M., & Shrestha, A. B. (2012). Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. International Mountain Society. https://doi.org/10.1659/mrd-journal-d-11-00092.1' chicago: 'Pellicciotti, Francesca, Cyrill Buergi, Walter Willem Immerzeel, Markus Konz, and Arun B. Shrestha. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00092.1.' ieee: 'F. Pellicciotti, C. Buergi, W. W. Immerzeel, M. Konz, and A. B. Shrestha, “Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 39–50, 2012.' ista: 'Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. 2012. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 32(1), 39–50.' mla: 'Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.' short: F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain Research and Development 32 (2012) 39–50. date_created: 2023-02-20T08:17:47Z date_published: 2012-02-01T00:00:00Z date_updated: 2023-02-21T09:31:54Z day: '01' doi: 10.1659/mrd-journal-d-11-00092.1 extern: '1' intvolume: ' 32' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1659/MRD-JOURNAL-D-11-00092.1 month: '02' oa: 1 oa_version: Published Version page: 39-50 publication: Mountain Research and Development publication_identifier: eissn: - 1994-7151 issn: - 0276-4741 publication_status: published publisher: International Mountain Society quality_controlled: '1' scopus_import: '1' status: public title: 'Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 32 year: '2012' ... --- _id: '12647' abstract: - lang: eng text: Accurate quantification of the spatial distribution of precipitation in mountain regions is crucial for assessments of water resources and for the understanding of high-altitude hydrology, yet it is one of the largest unknowns due to the lack of high-altitude observations. The Hunza basin in Pakistan contains very large glacier systems, which, given the melt, cannot persist unless precipitation (snow input) is much higher than what is observed at the meteorological stations, mostly located in mountain valleys. Several studies, therefore, suggest strong positive vertical precipitation lapse rates; in the present study, we quantify this lapse rate by using glaciers as a proxy. We assume a neutral mass balance for the glaciers for the period from 2001 to 2003, and we inversely model the precipitation lapse by balancing the total accumulation in the catchment area and the ablation over the glacier area for the 50 largest glacier systems in the Hunza basin in the Karakoram. Our results reveal a vertical precipitation lapse rate that equals 0.21 ± 0.12% m−1, with a maximum precipitation at an elevation of 5500 masl. We showed that the total annual basin precipitation (828 mm) is 260% higher than what is estimated based on interpolated observations (319 mm); this has major consequences for hydrological modeling and water resource assessments in general. Our results were validated by using previously published studies on individual glaciers as well as the water balance of the Hunza basin. The approach is more widely applicable in mountain ranges where precipitation measurements at high altitude are lacking. article_processing_charge: No article_type: original author: - first_name: Walter Willem full_name: Immerzeel, Walter Willem last_name: Immerzeel - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: Arun B. full_name: Shrestha, Arun B. last_name: Shrestha citation: ama: Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1 apa: Immerzeel, W. W., Pellicciotti, F., & Shrestha, A. B. (2012). Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. International Mountain Society. https://doi.org/10.1659/mrd-journal-d-11-00097.1 chicago: Immerzeel, Walter Willem, Francesca Pellicciotti, and Arun B. Shrestha. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00097.1. ieee: W. W. Immerzeel, F. Pellicciotti, and A. B. Shrestha, “Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 30–38, 2012. ista: Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 32(1), 30–38. mla: Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1. short: W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38. date_created: 2023-02-20T08:17:52Z date_published: 2012-02-01T00:00:00Z date_updated: 2023-02-21T08:56:29Z day: '01' doi: 10.1659/mrd-journal-d-11-00097.1 extern: '1' intvolume: ' 32' issue: '1' keyword: - General Environmental Science - Development - Environmental Chemistry language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1659/MRD-JOURNAL-D-11-00097.1 month: '02' oa: 1 oa_version: Published Version page: 30-38 publication: Mountain Research and Development publication_identifier: eissn: - 1994-7151 issn: - 0276-4741 publication_status: published publisher: International Mountain Society quality_controlled: '1' scopus_import: '1' status: public title: Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 32 year: '2012' ... --- _id: '12648' abstract: - lang: eng text: Distributed glacier melt models generally assume that the glacier surface consists of bare exposed ice and snow. In reality, many glaciers are wholly or partially covered in layers of debris that tend to suppress ablation rates. In this paper, an existing physically based point model for the ablation of debris-covered ice is incorporated in a distributed melt model and applied to Haut Glacier d'Arolla, Switzerland, which has three large patches of debris cover on its surface. The model is based on a 10 m resolution digital elevation model (DEM) of the area; each glacier pixel in the DEM is defined as either bare or debris-covered ice, and may be covered in snow that must be melted off before ice ablation is assumed to occur. Each debris-covered pixel is assigned a debris thickness value using probability distributions based on over 1000 manual thickness measurements. Locally observed meteorological data are used to run energy balance calculations in every pixel, using an approach suitable for snow, bare ice or debris-covered ice as appropriate. The use of the debris model significantly reduces the total ablation in the debris-covered areas, however the precise reduction is sensitive to the temperature extrapolation used in the model distribution because air near the debris surface tends to be slightly warmer than over bare ice. Overall results suggest that the debris patches, which cover 10% of the glacierized area, reduce total runoff from the glacierized part of the basin by up to 7%. article_number: D18105 article_processing_charge: No article_type: original author: - first_name: T. D. full_name: Reid, T. D. last_name: Reid - first_name: M. full_name: Carenzo, M. last_name: Carenzo - first_name: Francesca full_name: Pellicciotti, Francesca id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70 last_name: Pellicciotti - first_name: B. W. full_name: Brock, B. W. last_name: Brock citation: ama: 'Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(D18). doi:10.1029/2012jd017795' apa: 'Reid, T. D., Carenzo, M., Pellicciotti, F., & Brock, B. W. (2012). Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2012jd017795' chicago: 'Reid, T. D., M. Carenzo, Francesca Pellicciotti, and B. W. Brock. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2012. https://doi.org/10.1029/2012jd017795.' ieee: 'T. D. Reid, M. Carenzo, F. Pellicciotti, and B. W. Brock, “Including debris cover effects in a distributed model of glacier ablation,” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18. American Geophysical Union, 2012.' ista: 'Reid TD, Carenzo M, Pellicciotti F, Brock BW. 2012. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 117(D18), D18105.' mla: 'Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18, D18105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.' short: 'T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012).' date_created: 2023-02-20T08:17:57Z date_published: 2012-09-27T00:00:00Z date_updated: 2023-02-20T10:57:31Z day: '27' doi: 10.1029/2012jd017795 extern: '1' intvolume: ' 117' issue: D18 keyword: - Paleontology - Space and Planetary Science - Earth and Planetary Sciences (miscellaneous) - Atmospheric Science - Earth-Surface Processes - Geochemistry and Petrology - Soil Science - Water Science and Technology - Ecology - Aquatic Science - Forestry - Oceanography - Geophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1029/2012JD017795 month: '09' oa: 1 oa_version: Published Version publication: 'Journal of Geophysical Research: Atmospheres' publication_identifier: issn: - 0148-0227 publication_status: published publisher: American Geophysical Union quality_controlled: '1' scopus_import: '1' status: public title: Including debris cover effects in a distributed model of glacier ablation type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 117 year: '2012' ... --- _id: '1384' abstract: - lang: eng text: 'Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests itself in a space-out, time-out, or one component of the verification tool giving up; in all of these failing cases, significant computation is performed by the verification tool before the failure, but no result is reported. We propose to reformulate the model-checking problem as follows, in order to have the verification tool report a summary of the performed work even in case of failure: given a program and a specification, the model checker returns a condition Ψ - usually a state predicate - such that the program satisfies the specification under the condition Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied. In our experiments, we investigated as one major application of conditional model checking the sequential combination of model checkers with information passing. We give the condition that one model checker produces, as input to a second conditional model checker, such that the verification problem for the second is restricted to the part of the state space that is not covered by the condition, i.e., the second model checker works on the problems that the first model checker could not solve. Our experiments demonstrate that repeated application of conditional model checkers, passing information from one model checker to the next, can significantly improve the verification results and performance, i.e., we can now verify programs that we could not verify before.' acknowledgement: This research was supported by the Canadian NSERC grant RGPIN 341819-07, the ERC Advanced Grant QUAREM, and the Austrian Science Fund NFN RiSE. article_number: '57' author: - first_name: Dirk full_name: Beyer, Dirk last_name: Beyer - 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: Mehmet full_name: Keremoglu, Mehmet last_name: Keremoglu - first_name: Philipp full_name: Wendler, Philipp last_name: Wendler citation: ama: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664' apa: 'Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664' chicago: 'Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.' ieee: 'D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.' ista: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.' mla: 'Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.' short: D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012. conference: end_date: 2012-11-16 location: Cary, NC, USA name: 'FSE: Foundations of Software Engineering' start_date: 2012-11-11 date_created: 2018-12-11T11:51:42Z date_published: 2012-11-01T00:00:00Z date_updated: 2021-01-12T06:50:18Z day: '01' department: - _id: ToHe doi: 10.1145/2393596.2393664 ec_funded: 1 language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1109.6926 month: '11' oa: 1 oa_version: Preprint project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering publication_status: published publisher: ACM publist_id: '5826' quality_controlled: '1' scopus_import: 1 status: public title: 'Conditional model checking: A technique to pass information between verifiers' type: conference user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 year: '2012' ... --- _id: '1472' abstract: - lang: eng text: For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated with the Hitchin map on the rational cohomology of the moduli space of twisted G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration on the rational cohomology of the twisted G character variety of C when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves. acknowledgement: Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F. Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca Migliorini was partially supported by PRIN 2007 project "Spazi di moduli e teoria di Lie" author: - first_name: Mark full_name: De Cataldo, Mark A last_name: De Cataldo - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Luca full_name: Migliorini, Luca last_name: Migliorini citation: ama: 'De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7' apa: 'De Cataldo, M., Hausel, T., & Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7' chicago: 'De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.' ieee: 'M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.' ista: 'De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.' mla: 'De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.' short: M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407. date_created: 2018-12-11T11:52:13Z date_published: 2012-05-01T00:00:00Z date_updated: 2021-01-12T06:50:59Z day: '01' doi: 10.4007/annals.2012.175.3.7 extern: 1 intvolume: ' 175' issue: '3' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1004.1420 month: '05' oa: 1 page: 1329 - 1407 publication: Annals of Mathematics publication_status: published publisher: Princeton University Press publist_id: '5727' quality_controlled: 0 status: public title: 'Topology of hitchin systems and Hodge theory of character varieties: The case A 1' type: journal_article volume: 175 year: '2012' ... --- _id: '1471' abstract: - lang: eng text: 'Given a possibly reducible and non-reduced spectral cover π: X → C over a smooth projective complex curve C we determine the group of connected components of the Prym variety Prym(X/C). As an immediate application we show that the finite group of n-torsion points of the Jacobian of C acts trivially on the cohomology of the twisted SL n-Higgs moduli space up to the degree which is predicted by topological mirror symmetry. In particular this yields a new proof of a result of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology of the twisted SL n stable bundle moduli space.' author: - first_name: Tamas full_name: Tamas Hausel id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel - first_name: Christian full_name: Pauly, Christian last_name: Pauly citation: ama: Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609 apa: Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609 chicago: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609. ieee: T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012. ista: Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638. mla: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609. short: T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638. date_created: 2018-12-11T11:52:13Z date_published: 2012-08-01T00:00:00Z date_updated: 2021-01-12T06:50:58Z day: '01' doi: 10.2140/gt.2012.16.1609 extern: 1 intvolume: ' 16' issue: '3' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1012.4748 month: '08' oa: 1 page: 1609 - 1638 publication: Geometry and Topology publication_status: published publisher: University of Warwick publist_id: '5726' quality_controlled: 0 status: public title: Prym varieties of spectral covers type: journal_article volume: 16 year: '2012' ... --- _id: '171' abstract: - lang: eng text: For given non-zero integers a, b, q we investigate the density of solutions (x, y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined over ℚ. author: - first_name: Timothy D full_name: Timothy Browning id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Stephan full_name: Baier, Stephan last_name: Baier citation: ama: Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039 apa: Browning, T. D., & Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039 chicago: Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039. ieee: T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012. ista: Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65. mla: Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039. short: T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65. date_created: 2018-12-11T11:45:00Z date_published: 2012-04-03T00:00:00Z date_updated: 2021-01-12T06:52:41Z day: '03' doi: https://doi.org/10.1515/crelle.2012.039 extern: 1 intvolume: ' 2013' issue: '680' main_file_link: - open_access: '1' url: https://arxiv.org/abs/1011.3434 month: '04' oa: 1 page: 1 - 65 publication: Journal fur die Reine und Angewandte Mathematik publication_status: published publisher: Walter de Gruyter publist_id: '7750' quality_controlled: 0 status: public title: Inhomogeneous cubic congruences and rational points on del Pezzo surfaces type: journal_article volume: 2013 year: '2012' ... --- _id: '1725' abstract: - lang: eng text: The spatial organization of cell fates during development involves the interpretation of morphogen gradients by cellular signaling cascades and transcriptional networks. Recent studies use biophysical models, genetics, and quantitative imaging to unravel how tissue-level morphogen behavior arises from subcellular events. Moreover, data from several systems show that morphogen gradients, downstream signaling, and the activity of cell-intrinsic transcriptional networks change dynamically during pattern formation. Studies from Drosophila and now also vertebrates suggest that transcriptional network dynamics are central to the generation of gene expression patterns. Together, this leads to the view that pattern formation is an emergent behavior that results from the coordination of events occurring across molecular, cellular, and tissue scales. The development of novel approaches to study this complex process remains a challenge. acknowledgement: 'Funding provided by the Medical Research Council (UK). ' author: - first_name: Anna full_name: Anna Kicheva id: 3959A2A0-F248-11E8-B48F-1D18A9856A87 last_name: Kicheva orcid: 0000-0003-4509-4998 - first_name: Michael full_name: Cohen, Michael H last_name: Cohen - first_name: James full_name: Briscoe, James last_name: Briscoe citation: ama: 'Kicheva A, Cohen M, Briscoe J. Developmental pattern formation: Insights from physics and biology. Science. 2012;338(6104):210-212. doi:10.1126/science.1225182' apa: 'Kicheva, A., Cohen, M., & Briscoe, J. (2012). Developmental pattern formation: Insights from physics and biology. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1225182' chicago: 'Kicheva, Anna, Michael Cohen, and James Briscoe. “Developmental Pattern Formation: Insights from Physics and Biology.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1225182.' ieee: 'A. Kicheva, M. Cohen, and J. Briscoe, “Developmental pattern formation: Insights from physics and biology,” Science, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 210–212, 2012.' ista: 'Kicheva A, Cohen M, Briscoe J. 2012. Developmental pattern formation: Insights from physics and biology. Science. 338(6104), 210–212.' mla: 'Kicheva, Anna, et al. “Developmental Pattern Formation: Insights from Physics and Biology.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 210–12, doi:10.1126/science.1225182.' short: A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212. date_created: 2018-12-11T11:53:40Z date_published: 2012-10-12T00:00:00Z date_updated: 2021-01-12T06:52:47Z day: '12' doi: 10.1126/science.1225182 extern: 1 intvolume: ' 338' issue: '6104' month: '10' page: 210 - 212 publication: Science publication_status: published publisher: American Association for the Advancement of Science publist_id: '5404' quality_controlled: 0 status: public title: 'Developmental pattern formation: Insights from physics and biology' type: journal_article volume: 338 year: '2012' ... --- _id: '1757' abstract: - lang: eng text: Self-assembled Ge wires with a height of only 3 unit cells and a length of up to 2 micrometers were grown on Si(001) by means of a catalyst-free method based on molecular beam epitaxy. The wires grow horizontally along either the [100] or the [010] direction. On atomically flat surfaces, they exhibit a highly uniform, triangular cross section. A simple thermodynamic model accounts for the existence of a preferential base width for longitudinal expansion, in quantitative agreement with the experimental findings. Despite the absence of intentional doping, the first transistor-type devices made from single wires show low-resistive electrical contacts and single-hole transport at sub-Kelvin temperatures. In view of their exceptionally small and self-defined cross section, these Ge wires hold promise for the realization of hole systems with exotic properties and provide a new development route for silicon-based nanoelectronics. acknowledgement: We acknowledge the financial support by the DFG SPP1386, P. Chen and D. J. Thurmer for MBE assistance, R. Wacquez for providing the ultrathin SOI wafers, and G. Bauer, Y. Hu, X. Jehl, S. Kiravittaya, C. Klöffel, E. J. H. Lee, F. Liu, D. Loss, and S. Mahapatra for helpful discussions. G. K. acknowledges support from the European commission via a Marie Curie Carrer Integration Grant. S. D. F. acknowledges support from the European Research Council through the starting grant program author: - first_name: Jianjun full_name: Zhang, Jianjun last_name: Zhang - first_name: Georgios full_name: Georgios Katsaros id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros - first_name: Francesco full_name: Montalenti, Francesco last_name: Montalenti - first_name: Daniele full_name: Scopece, Daniele last_name: Scopece - first_name: Roman full_name: Rezaev, Roman O last_name: Rezaev - first_name: Christine full_name: Mickel, Christine H last_name: Mickel - first_name: Bernd full_name: Rellinghaus, Bernd last_name: Rellinghaus - first_name: Leo full_name: Miglio, Leo P last_name: Miglio - first_name: Silvano full_name: De Franceschi, Silvano last_name: De Franceschi - first_name: Armando full_name: Rastelli, Armando last_name: Rastelli - first_name: Oliver full_name: Schmidt, Oliver G last_name: Schmidt citation: ama: Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502 apa: Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C., … Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.085502 chicago: Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece, Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502. ieee: J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” Physical Review Letters, vol. 109, no. 8. American Physical Society, 2012. ista: Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8). mla: Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters, vol. 109, no. 8, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.085502. short: J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012). date_created: 2018-12-11T11:53:51Z date_published: 2012-08-23T00:00:00Z date_updated: 2021-01-12T06:53:00Z day: '23' doi: 10.1103/PhysRevLett.109.085502 extern: 1 intvolume: ' 109' issue: '8' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1208.0666 month: '08' oa: 1 publication: Physical Review Letters publication_status: published publisher: American Physical Society publist_id: '5367' quality_controlled: 0 status: public title: 'Monolithic growth of ultrathin Ge nanowires on Si(001) ' type: journal_article volume: 109 year: '2012' ... --- _id: '1758' abstract: - lang: eng text: We studied the low-energy states of spin-1/2 quantum dots defined in InAs/InP nanowires and coupled to aluminum superconducting leads. By varying the superconducting gap Δ with a magnetic field B we investigated the transition from strong coupling Δ≪T K to weak-coupling Δ≫T K, where T K is the Kondo temperature. Below the critical field, we observe a persisting zero-bias Kondo resonance that vanishes only for low B or higher temperatures, leaving the room to more robust subgap structures at bias voltages between Δ and 2Δ. For strong and approximately symmetric tunnel couplings, a Josephson supercurrent is observed in addition to the Kondo peak. We ascribe the coexistence of a Kondo resonance and a superconducting gap to a significant density of intragap quasiparticle states, and the finite-bias subgap structures to tunneling through Shiba states. Our results, supported by numerical calculations, own relevance also in relation to tunnel-spectroscopy experiments aiming at the observation of Majorana fermions in hybrid nanostructures. acknowledgement: This work was supported by the EU Marie Curie program and by the Agence Nationale de la Recherche. R. A. acknowledges support from the Spanish Ministry of Science and Innovation through Grant No. FIS2009-08744 author: - first_name: Eduardo full_name: Lee, Eduardo J last_name: Lee - first_name: Xiaocheng full_name: Jiang, Xiaocheng last_name: Jiang - first_name: Ramón full_name: Aguado, Ramón last_name: Aguado - first_name: Georgios full_name: Georgios Katsaros id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros - first_name: Charles full_name: Lieber, Charles M last_name: Lieber - first_name: Silvano full_name: De Franceschi, Silvano last_name: De Franceschi citation: ama: Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802 apa: Lee, E., Jiang, X., Aguado, R., Katsaros, G., Lieber, C., & De Franceschi, S. (2012). Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.186802 chicago: Lee, Eduardo, Xiaocheng Jiang, Ramón Aguado, Georgios Katsaros, Charles Lieber, and Silvano De Franceschi. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.186802. ieee: E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi, “Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012. ista: Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. 2012. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 109(18). mla: Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” Physical Review Letters, vol. 109, no. 18, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.186802. short: E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012). date_created: 2018-12-11T11:53:51Z date_published: 2012-10-31T00:00:00Z date_updated: 2021-01-12T06:53:01Z day: '31' doi: 10.1103/PhysRevLett.109.186802 extern: 1 intvolume: ' 109' issue: '18' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1207.1259 month: '10' oa: 1 publication: Physical Review Letters publication_status: published publisher: American Physical Society publist_id: '5366' quality_controlled: 0 status: public title: Zero-bias anomaly in a nanowire quantum dot coupled to superconductors type: journal_article volume: 109 year: '2012' ... --- _id: '1756' abstract: - lang: eng text: We report on the electronic transport properties of multiple-gate devices fabricated from undoped silicon nanowires. Understanding and control of the relevant transport mechanisms was achieved by means of local electrostatic gating and temperature-dependent measurements. The roles of the source/drain contacts and of the silicon channel could be independently evaluated and tuned. Wrap gates surrounding the silicide-silicon contact interfaces were proved to be effective in inducing a full suppression of the contact Schottky barriers, thereby enabling carrier injection down to liquid helium temperature. By independently tuning the effective Schottky barrier heights, a variety of reconfigurable device functionalities could be obtained. In particular, the same nanowire device could be configured to work as a Schottky barrier transistor, a Schottky diode, or a p-n diode with tunable polarities. This versatility was eventually exploited to realize a NAND logic gate with gain well above one. acknowledgement: This work was supported by the Agence Nationale de la Recherche (ANR) through the ACCESS and COHESION projects and by the European Commission through the Chemtronics program MEST-CT-2005-020513 author: - first_name: Massimo full_name: Mongillo, Massimo last_name: Mongillo - first_name: Panayotis full_name: Spathis, Panayotis N last_name: Spathis - first_name: Georgios full_name: Georgios Katsaros id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros - first_name: Pascal full_name: Gentile, Pascal last_name: Gentile - first_name: Silvano full_name: De Franceschi, Silvano last_name: De Franceschi citation: ama: Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m apa: Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., & De Franceschi, S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl300930m chicago: Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile, and Silvano De Franceschi. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” Nano Letters. American Chemical Society, 2012. https://doi.org/10.1021/nl300930m. ieee: M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional devices and logic gates with undoped silicon nanowires,” Nano Letters, vol. 12, no. 6. American Chemical Society, pp. 3074–3079, 2012. ista: Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. 2012. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 12(6), 3074–3079. mla: Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” Nano Letters, vol. 12, no. 6, American Chemical Society, 2012, pp. 3074–79, doi:10.1021/nl300930m. short: M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079. date_created: 2018-12-11T11:53:50Z date_published: 2012-06-13T00:00:00Z date_updated: 2021-01-12T06:53:00Z day: '13' doi: 10.1021/nl300930m extern: 1 intvolume: ' 12' issue: '6' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1208.1465 month: '06' oa: 1 page: 3074 - 3079 publication: Nano Letters publication_status: published publisher: American Chemical Society publist_id: '5368' quality_controlled: 0 status: public title: Multifunctional devices and logic gates with undoped silicon nanowires type: journal_article volume: 12 year: '2012' ... --- _id: '1783' abstract: - lang: eng text: Nonlinearity and entanglement are two important properties by which physical systems can be identified as nonclassical. We study the dynamics of the resonant interaction of up to N=3 two-level systems and a single mode of the electromagnetic field sharing a single excitation dynamically. We observe coherent vacuum Rabi oscillations and their nonlinear √N speedup by tracking the populations of all qubits and the resonator in time. We use quantum state tomography to show explicitly that the dynamics generates maximally entangled states of the W class in a time limited only by the collective interaction rate. We use an entanglement witness and the 3-tangle to characterize the state whose fidelity F=78% is limited in our experiments by crosstalk arising during the simultaneous qubit manipulations which is absent in a sequential approach with F=91%. acknowledgement: This work was supported by the Swiss National Science Foundation (SNF) and the EU IP SOLID author: - first_name: Jonas full_name: Mlynek, Jonas A last_name: Mlynek - first_name: Abdufarrukh full_name: Abdumalikov, Abdufarrukh A last_name: Abdumalikov - first_name: Johannes M full_name: Johannes Fink id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X - first_name: L. full_name: Steffen, L. Kraig last_name: Steffen - first_name: Matthias full_name: Baur, Matthias P last_name: Baur - first_name: C full_name: Lang, C last_name: Lang - first_name: Arjan full_name: Van Loo, Arjan F last_name: Van Loo - first_name: Andreas full_name: Wallraff, Andreas last_name: Wallraff citation: ama: Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838 apa: Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C., … Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.86.053838 chicago: Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevA.86.053838. ieee: J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5. American Physical Society, 2012. ista: Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 86(5). mla: Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838. short: J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012). date_created: 2018-12-11T11:53:59Z date_published: 2012-11-30T00:00:00Z date_updated: 2021-01-12T06:53:10Z day: '30' doi: 10.1103/PhysRevA.86.053838 extern: 1 intvolume: ' 86' issue: '5' main_file_link: - open_access: '1' url: http://arxiv.org/abs/1202.5191 month: '11' oa: 1 publication: Physical Review A - Atomic, Molecular, and Optical Physics publication_status: published publisher: American Physical Society publist_id: '5332' quality_controlled: 0 status: public title: Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics type: journal_article volume: 86 year: '2012' ...