--- _id: '1128' abstract: - lang: eng text: "The process of gene expression is central to the modern understanding of how cellular systems\r\nfunction. In this process, a special kind of regulatory proteins, called transcription factors,\r\nare important to determine how much protein is produced from a given gene. As biological\r\ninformation is transmitted from transcription factor concentration to mRNA levels to amounts of\r\nprotein, various sources of noise arise and pose limits to the fidelity of intracellular signaling.\r\nThis thesis concerns itself with several aspects of stochastic gene expression: (i) the mathematical\r\ndescription of complex promoters responsible for the stochastic production of biomolecules,\r\n(ii) fundamental limits to information processing the cell faces due to the interference from multiple\r\nfluctuating signals, (iii) how the presence of gene expression noise influences the evolution\r\nof regulatory sequences, (iv) and tools for the experimental study of origins and consequences\r\nof cell-cell heterogeneity, including an application to bacterial stress response systems." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Georg full_name: Rieckh, Georg id: 34DA8BD6-F248-11E8-B48F-1D18A9856A87 last_name: Rieckh citation: ama: Rieckh G. Studying the complexities of transcriptional regulation. 2016. apa: Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria. chicago: Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” Institute of Science and Technology Austria, 2016. ieee: G. Rieckh, “Studying the complexities of transcriptional regulation,” Institute of Science and Technology Austria, 2016. ista: Rieckh G. 2016. Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria. mla: Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. Institute of Science and Technology Austria, 2016. short: G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016. date_created: 2018-12-11T11:50:18Z date_published: 2016-08-01T00:00:00Z date_updated: 2023-09-07T11:44:34Z day: '01' ddc: - '570' degree_awarded: PhD department: - _id: GaTk file: - access_level: closed checksum: ec453918c3bf8e6f460fd1156ef7b493 content_type: application/pdf creator: dernst date_created: 2019-08-13T11:46:25Z date_updated: 2019-08-13T11:46:25Z file_id: '6815' file_name: Thesis_Georg_Rieckh_w_signature_page.pdf file_size: 2614660 relation: main_file - access_level: open_access checksum: 51ae398166370d18fd22478b6365c4da content_type: application/pdf creator: dernst date_created: 2020-09-21T11:30:40Z date_updated: 2020-09-21T11:30:40Z file_id: '8542' file_name: Thesis_Georg_Rieckh.pdf file_size: 6096178 relation: main_file success: 1 file_date_updated: 2020-09-21T11:30:40Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '114' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '6232' status: public supervisor: - first_name: Gasper full_name: Tkacik, Gasper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkacik orcid: 0000-0002-6699-1455 title: Studying the complexities of transcriptional regulation type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2016' ... --- _id: '1129' abstract: - lang: eng text: "Directed cell migration is a hallmark feature, present in almost all multi-cellular\r\norganisms. Despite its importance, basic questions regarding force transduction\r\nor directional sensing are still heavily investigated. Directed migration of cells\r\nguided by immobilized guidance cues - haptotaxis - occurs in key-processes,\r\nsuch as embryonic development and immunity (Middleton et al., 1997; Nguyen\r\net al., 2000; Thiery, 1984; Weber et al., 2013). Immobilized guidance cues\r\ncomprise adhesive ligands, such as collagen and fibronectin (Barczyk et al.,\r\n2009), or chemokines - the main guidance cues for migratory leukocytes\r\n(Middleton et al., 1997; Weber et al., 2013). While adhesive ligands serve as\r\nattachment sites guiding cell migration (Carter, 1965), chemokines instruct\r\nhaptotactic migration by inducing adhesion to adhesive ligands and directional\r\nguidance (Rot and Andrian, 2004; Schumann et al., 2010). Quantitative analysis\r\nof the cellular response to immobilized guidance cues requires in vitro assays\r\nthat foster cell migration, offer accurate control of the immobilized cues on a\r\nsubcellular scale and in the ideal case closely reproduce in vivo conditions. The\r\nexploration of haptotactic cell migration through design and employment of such\r\nassays represents the main focus of this work.\r\nDendritic cells (DCs) are leukocytes, which after encountering danger\r\nsignals such as pathogens in peripheral organs instruct naïve T-cells and\r\nconsequently the adaptive immune response in the lymph node (Mellman and\r\nSteinman, 2001). To reach the lymph node from the periphery, DCs follow\r\nhaptotactic gradients of the chemokine CCL21 towards lymphatic vessels\r\n(Weber et al., 2013). Questions about how DCs interpret haptotactic CCL21\r\ngradients have not yet been addressed. The main reason for this is the lack of\r\nan assay that offers diverse haptotactic environments, hence allowing the study\r\nof DC migration as a response to different signals of immobilized guidance cue.\r\nIn this work, we developed an in vitro assay that enables us to\r\nquantitatively assess DC haptotaxis, by combining precisely controllable\r\nchemokine photo-patterning with physically confining migration conditions. With this tool at hand, we studied the influence of CCL21 gradient properties and\r\nconcentration on DC haptotaxis. We found that haptotactic gradient sensing\r\ndepends on the absolute CCL21 concentration in combination with the local\r\nsteepness of the gradient. Our analysis suggests that the directionality of\r\nmigrating DCs is governed by the signal-to-noise ratio of CCL21 binding to its\r\nreceptor CCR7. Moreover, the haptotactic CCL21 gradient formed in vivo\r\nprovides an optimal shape for DCs to recognize haptotactic guidance cue.\r\nBy reconstitution of the CCL21 gradient in vitro we were also able to\r\nstudy the influence of CCR7 signal termination on DC haptotaxis. To this end,\r\nwe used DCs lacking the G-protein coupled receptor kinase GRK6, which is\r\nresponsible for CCL21 induced CCR7 receptor phosphorylation and\r\ndesensitization (Zidar et al., 2009). We found that CCR7 desensitization by\r\nGRK6 is crucial for maintenance of haptotactic CCL21 gradient sensing in vitro\r\nand confirm those observations in vivo.\r\nIn the context of the organism, immobilized haptotactic guidance cues\r\noften coincide and compete with soluble chemotactic guidance cues. During\r\nwound healing, fibroblasts are exposed and influenced by adhesive cues and\r\nsoluble factors at the same time (Wu et al., 2012; Wynn, 2008). Similarly,\r\nmigrating DCs are exposed to both, soluble chemokines (CCL19 and truncated\r\nCCL21) inducing chemotactic behavior as well as the immobilized CCL21. To\r\nquantitatively assess these complex coinciding immobilized and soluble\r\nguidance cues, we implemented our chemokine photo-patterning technique in a\r\nmicrofluidic system allowing for chemotactic gradient generation. To validate\r\nthe assay, we observed DC migration in competing CCL19/CCL21\r\nenvironments.\r\nAdhesiveness guided haptotaxis has been studied intensively over the\r\nlast century. However, quantitative studies leading to conceptual models are\r\nlargely missing, again due to the lack of a precisely controllable in vitro assay. A\r\nrequirement for such an in vitro assay is that it must prevent any uncontrolled\r\ncell adhesion. This can be accomplished by stable passivation of the surface. In\r\naddition, controlled adhesion must be sustainable, quantifiable and dose\r\ndependent in order to create homogenous gradients. Therefore, we developed a novel covalent photo-patterning technique satisfying all these needs. In\r\ncombination with a sustainable poly-vinyl alcohol (PVA) surface coating we\r\nwere able to generate gradients of adhesive cue to direct cell migration. This\r\napproach allowed us to characterize the haptotactic migratory behavior of\r\nzebrafish keratocytes in vitro. Furthermore, defined patterns of adhesive cue\r\nallowed us to control for cell shape and growth on a subcellular scale." acknowledged_ssus: - _id: Bio - _id: PreCl - _id: LifeSc acknowledgement: "First, I would like to thank Michael Sixt for being a great supervisor, mentor and\r\nscientist. I highly appreciate his guidance and continued support. Furthermore, I\r\nam very grateful that he gave me the exceptional opportunity to pursue many\r\nideas of which some managed to be included in this thesis.\r\nI owe sincere thanks to the members of my PhD thesis committee, Daria\r\nSiekhaus, Daniel Legler and Harald Janovjak. Especially I would like to thank\r\nDaria for her advice and encouragement during our regular progress meetings.\r\nI also want to thank the team and fellows of the Boehringer Ingelheim Fond\r\n(BIF) PhD Fellowship for amazing and inspiring meetings and the BIF for\r\nfinancial support.\r\nImportant factors for the success of this thesis were the warm, creative\r\nand helpful atmosphere as well as the team spirit of the whole Sixt Lab.\r\nTherefore I would like to thank my current and former colleagues Frank Assen,\r\nMarkus Brown, Ingrid de Vries, Michelle Duggan, Alexander Eichner, Miroslav\r\nHons, Eva Kiermaier, Aglaja Kopf, Alexander Leithner, Christine Moussion, Jan\r\nMüller, Maria Nemethova, Jörg Renkawitz, Anne Reversat, Kari Vaahtomeri,\r\nMichele Weber and Stefan Wieser. We had an amazing time with many\r\nlegendary evenings and events. Along these lines I want to thank the in vitro\r\ncrew of the lab, Jörg, Anne and Alex, for lots of ideas and productive\r\ndiscussions. I am sure, some day we will reveal the secret of the ‘splodge’.\r\nI want to thank the members of the Heisenberg Lab for a great time and\r\nthrilling kicker matches. In this regard I especially want to thank Maurizio\r\n‘Gnocci’ Monti, Gabriel Krens, Alex Eichner, Martin Behrndt, Vanessa Barone,Philipp Schmalhorst, Michael Smutny, Daniel Capek, Anne Reversat, Eva\r\nKiermaier, Frank Assen and Jan Müller for wonderful after-lunch matches.\r\nI would not have been able to analyze the thousands of cell trajectories\r\nand probably hundreds of thousands of mouse clicks without the productive\r\ncollaboration with Veronika Bierbaum and Tobias Bollenbach. Thanks Vroni for\r\ncountless meetings, discussions and graphs and of course for proofreading and\r\nadvice for this thesis. For proofreading I also want to thank Evi, Jörg, Jack and\r\nAnne.\r\nI would like to acknowledge Matthias Mehling for a very productive\r\ncollaboration and for introducing me into the wild world of microfluidics. Jack\r\nMerrin, for countless wafers, PDMS coated coverslips and help with anything\r\nmicro-fabrication related. And Maria Nemethova for establishing the ‘click’\r\npatterning approach with me. Without her it still would be just one of the ideas…\r\nMany thanks to Ekaterina Papusheva, Robert Hauschild, Doreen Milius\r\nand Nasser Darwish from the Bioimaging Facility as well as the Preclinical and\r\nthe Life Science facilities of IST Austria for excellent technical support. At this\r\npoint I especially want to thank Robert for countless image analyses and\r\ntechnical ideas. Always interested and creative he played an essential role in all\r\nof my projects.\r\nAdditionally I want to thank Ingrid and Gabby for welcoming me warmly\r\nwhen I first started at IST, for scientific and especially mental support in all\r\nthose years, countless coffee sessions and Heurigen evenings. #BioimagingFacility #LifeScienceFacility #PreClinicalFacility" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Jan full_name: Schwarz, Jan id: 346C1EC6-F248-11E8-B48F-1D18A9856A87 last_name: Schwarz citation: ama: Schwarz J. Quantitative analysis of haptotactic cell migration. 2016. apa: Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria. chicago: Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” Institute of Science and Technology Austria, 2016. ieee: J. Schwarz, “Quantitative analysis of haptotactic cell migration,” Institute of Science and Technology Austria, 2016. ista: Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria. mla: Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. Institute of Science and Technology Austria, 2016. short: J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016. date_created: 2018-12-11T11:50:18Z date_published: 2016-07-01T00:00:00Z date_updated: 2023-09-07T11:54:33Z day: '01' ddc: - '570' degree_awarded: PhD department: - _id: MiSi file: - access_level: closed checksum: e3cd6b28f9c5cccb8891855565a2dade content_type: application/pdf creator: dernst date_created: 2019-08-13T10:55:35Z date_updated: 2019-08-13T10:55:35Z file_id: '6813' file_name: Thesis_JSchwarz_final.pdf file_size: 32044069 relation: main_file - access_level: open_access checksum: c3dbe219acf87eed2f46d21d5cca00de content_type: application/pdf creator: dernst date_created: 2021-02-22T11:43:14Z date_updated: 2021-02-22T11:43:14Z file_id: '9181' file_name: 2016_Thesis_JSchwarz.pdf file_size: 8396717 relation: main_file success: 1 file_date_updated: 2021-02-22T11:43:14Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '178' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '6231' status: public supervisor: - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 title: Quantitative analysis of haptotactic cell migration type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2016' ... --- _id: '1130' abstract: - lang: eng text: "In this thesis we present a computer-aided programming approach to concurrency. Our approach helps the programmer by automatically fixing concurrency-related bugs, i.e. bugs that occur when the program is executed using an aggressive preemptive scheduler, but not when using a non-preemptive (cooperative) scheduler. Bugs are program behaviours that are incorrect w.r.t. a specification. We consider both user-provided explicit specifications in the form of assertion\r\nstatements in the code as well as an implicit specification. The implicit specification is inferred from the non-preemptive behaviour. Let us consider sequences of calls that the program makes to an external interface. The implicit specification requires that any such sequence produced under a preemptive scheduler should be included in the set of sequences produced under a non-preemptive scheduler. We consider several semantics-preserving fixes that go beyond atomic sections typically explored in the synchronisation synthesis literature. Our synthesis is able to place locks, barriers and wait-signal statements and last, but not least reorder independent statements. The latter may be useful if a thread is released to early, e.g., before some initialisation is completed. We guarantee that our synthesis does not introduce deadlocks and that the synchronisation inserted is optimal w.r.t. a given objective function. We dub our solution trace-based synchronisation synthesis and it is loosely based on counterexample-guided inductive synthesis (CEGIS). The synthesis works by discovering a trace that is incorrect w.r.t. the specification and identifying ordering constraints crucial to trigger the specification violation. Synchronisation may be placed immediately (greedy approach) or delayed until all incorrect traces are found (non-greedy approach). For the non-greedy approach we construct a set of global constraints over synchronisation placements. Each model of the global constraints set corresponds to a correctness-ensuring synchronisation placement. The placement that is optimal w.r.t. the given objective function is chosen as the synchronisation solution. We evaluate our approach on a number of realistic (albeit simplified) Linux device-driver\r\nbenchmarks. The benchmarks are versions of the drivers with known concurrency-related bugs. For the experiments with an explicit specification we added assertions that would detect the bugs in the experiments. Device drivers lend themselves to implicit specification, where the device and the operating system are the external interfaces. Our experiments demonstrate that our synthesis method is precise and efficient. We implemented objective functions for coarse-grained and fine-grained locking and observed that different synchronisation placements are produced for our experiments, favouring e.g. a minimal number of synchronisation operations or maximum concurrency." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Thorsten full_name: Tarrach, Thorsten id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87 last_name: Tarrach orcid: 0000-0003-4409-8487 citation: ama: Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130 apa: Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130 chicago: Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/at:ista:1130. ieee: T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016. ista: Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. mla: Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. Institute of Science and Technology Austria, 2016, doi:10.15479/at:ista:1130. short: T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016. date_created: 2018-12-11T11:50:19Z date_published: 2016-07-07T00:00:00Z date_updated: 2023-09-07T11:57:01Z day: '07' ddc: - '000' degree_awarded: PhD department: - _id: ToHe - _id: GradSch doi: 10.15479/at:ista:1130 ec_funded: 1 file: - access_level: open_access checksum: 319a506831650327e85376db41fc1094 content_type: application/pdf creator: dernst date_created: 2021-02-22T11:39:32Z date_updated: 2021-02-22T11:39:32Z file_id: '9179' file_name: 2016_Tarrach_Thesis.pdf file_size: 1523935 relation: main_file success: 1 - access_level: closed checksum: 39efcd789f0ad859ff15652cb7afc412 content_type: application/pdf creator: cchlebak date_created: 2021-11-16T14:14:38Z date_updated: 2021-11-17T13:46:55Z file_id: '10296' file_name: 2016_Tarrach_Thesispdfa.pdf file_size: 1306068 relation: main_file file_date_updated: 2021-11-17T13:46:55Z has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: http://thorstent.github.io/theses/phd_thorsten_tarrach.pdf month: '07' oa: 1 oa_version: Published Version page: '151' 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 - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '6230' related_material: record: - id: '1729' relation: part_of_dissertation status: public - id: '2218' relation: part_of_dissertation status: public - id: '2445' 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: Automatic synthesis of synchronisation primitives for concurrent programs type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2016' ... --- _id: '1131' abstract: - lang: eng text: "Evolution of gene regulation is important for phenotypic evolution and diversity. Sequence-specific binding of regulatory proteins is one of the key regulatory mechanisms determining gene expression. Although there has been intense interest in evolution of regulatory binding sites in the last decades, a theoretical understanding is far from being complete. In this thesis, I aim at a better understanding of the evolution of transcriptional regulatory binding sequences by using biophysical and population genetic models.\r\nIn the first part of the thesis, I discuss how to formulate the evolutionary dynamics of binding se- quences in a single isolated binding site and in promoter/enhancer regions. I develop a theoretical framework bridging between a thermodynamical model for transcription and a mutation-selection-drift model for monomorphic populations. I mainly address the typical evolutionary rates, and how they de- pend on biophysical parameters (e.g. binding length and specificity) and population genetic parameters (e.g. population size and selection strength).\r\nIn the second part of the thesis, I analyse empirical data for a better evolutionary and biophysical understanding of sequence-specific binding of bacterial RNA polymerase. First, I infer selection on regulatory and non-regulatory binding sites of RNA polymerase in the E. coli K12 genome. Second, I infer the chemical potential of RNA polymerase, an important but unknown physical parameter defining the threshold energy for strong binding. Furthermore, I try to understand the relation between the lac promoter sequence diversity and the LacZ activity variation among 20 bacterial isolates by constructing a simple but biophysically motivated gene expression model. Lastly, I lay out a statistical framework to predict adaptive point mutations in de novo promoter evolution in a selection experiment." acknowledgement: This PhD thesis may not have been completed without the help and care I received from some peo- ple during my PhD life. I am especially grateful to Tiago Paixao, Gasper Tkacik, Nick Barton, not only for their scientific advices but also for their patience and support. I thank Calin Guet and Jonathan Bollback for allowing me to “play around” in their labs and get some experience on experimental evolution. I thank Magdalena Steinrueck and Fabienne Jesse for collaborating and sharing their experimental data with me. I thank Johannes Jaeger for reviewing my thesis. I thank all members of Barton group (aka bartonians) for their feedback, and all workers of IST Austria for making the best working conditions. Lastly, I thank two special women, Nejla Sag ̆lam and Setenay Dog ̆an, for their continuous support and encouragement. I truly had a great chance of having right people around me. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Murat full_name: Tugrul, Murat id: 37C323C6-F248-11E8-B48F-1D18A9856A87 last_name: Tugrul orcid: 0000-0002-8523-0758 citation: ama: Tugrul M. Evolution of transcriptional regulatory sequences. 2016. apa: Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria. chicago: Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016. ieee: M. Tugrul, “Evolution of transcriptional regulatory sequences,” Institute of Science and Technology Austria, 2016. ista: Tugrul M. 2016. Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria. mla: Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. Institute of Science and Technology Austria, 2016. short: M. Tugrul, Evolution of Transcriptional Regulatory Sequences, Institute of Science and Technology Austria, 2016. date_created: 2018-12-11T11:50:19Z date_published: 2016-07-01T00:00:00Z date_updated: 2025-05-28T11:57:04Z day: '01' ddc: - '576' degree_awarded: PhD department: - _id: NiBa file: - access_level: closed checksum: 66cb61a59943e4fb7447c6a86be5ef51 content_type: application/pdf creator: dernst date_created: 2019-08-13T08:53:52Z date_updated: 2019-08-13T08:53:52Z file_id: '6810' file_name: Tugrul_thesis_w_signature_page.pdf file_size: 3695257 relation: main_file - access_level: open_access checksum: 293e388d70563760f6b24c3e66283dda content_type: application/pdf creator: dernst date_created: 2021-02-22T11:45:20Z date_updated: 2021-02-22T11:45:20Z file_id: '9182' file_name: 2016_Tugrul_Thesis.pdf file_size: 3880811 relation: main_file success: 1 file_date_updated: 2021-02-22T11:45:20Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '89' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publist_id: '6229' related_material: record: - id: '5554' relation: research_data status: public - id: '1666' relation: part_of_dissertation status: public status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 title: Evolution of transcriptional regulatory sequences type: dissertation user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2016' ... --- _id: '1135' abstract: - lang: eng text: 'Time-triggered (TT) switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. These networks rely on the notion of globally discretized time (i.e. time slots) and a static TT schedule that prescribes which message is sent through which link at every time slot, such that all messages reach their destination before a global timeout. These schedules are generated offline, assuming a static network with fault-free links, and entrusting all error-handling functions to the end user. Assuming the network is static is an over-optimistic view, and indeed links tend to fail in practice. We study synthesis of TT schedules on a network in which links fail over time and we assume the switches run a very simple error-recovery protocol once they detect a crashed link. We address the problem of finding a pk; qresistant schedule; namely, one that, assuming the switches run a fixed error-recovery protocol, guarantees that the number of messages that arrive at their destination by the timeout is at least no matter what sequence of at most k links fail. Thus, we maintain the simplicity of the switches while giving a guarantee on the number of messages that meet the timeout. We show how a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing fault sequence to generate a constraint that is added to the program. The newly added constraint disallows the schedule to be regenerated in a future iteration while also eliminating several other schedules that are not pk; q-resistant. We illustrate the applicability of our approach using an SMT-based implementation. © 2016 ACM.' article_number: '26' author: - first_name: Guy full_name: Avni, Guy id: 463C8BC2-F248-11E8-B48F-1D18A9856A87 last_name: Avni orcid: 0000-0001-5588-8287 - first_name: Shibashis full_name: Guha, Shibashis last_name: Guha - first_name: Guillermo full_name: Rodríguez Navas, Guillermo last_name: Rodríguez Navas citation: ama: 'Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499' apa: 'Avni, G., Guha, S., & Rodríguez Navas, G. (2016). Synthesizing time triggered schedules for switched networks with faulty links. In Proceedings of the 13th International Conference on Embedded Software . Pittsburgh, PA, USA: ACM. https://doi.org/10.1145/2968478.2968499' chicago: Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499. ieee: G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016. ista: 'Avni G, Guha S, Rodríguez Navas G. 2016. Synthesizing time triggered schedules for switched networks with faulty links. Proceedings of the 13th International Conference on Embedded Software . EMSOFT: Embedded Software , 26.' mla: Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499. short: G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016. conference: end_date: 2016-10-07 location: Pittsburgh, PA, USA name: 'EMSOFT: Embedded Software ' start_date: 2016-10-01 date_created: 2018-12-11T11:50:20Z date_published: 2016-10-01T00:00:00Z date_updated: 2021-01-12T06:48:33Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1145/2968478.2968499 ec_funded: 1 file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:09:31Z date_updated: 2018-12-12T10:09:31Z file_id: '4755' file_name: IST-2016-644-v1+1_emsoft-no-format.pdf file_size: 279240 relation: main_file file_date_updated: 2018-12-12T10:09:31Z has_accepted_license: '1' language: - iso: eng month: '10' oa: 1 oa_version: Submitted Version 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 - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize publication: 'Proceedings of the 13th International Conference on Embedded Software ' publication_status: published publisher: ACM publist_id: '6223' pubrep_id: '644' quality_controlled: '1' scopus_import: 1 status: public title: Synthesizing time triggered schedules for switched networks with faulty links type: conference user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 year: '2016' ... --- _id: '1136' abstract: - lang: eng text: We propose an interactive sculpting system for seamlessly editing pre-computed animations of liquid, without the need for any resimulation. The input is a sequence of meshes without correspondences representing the liquid surface over time. Our method enables the efficient selection of consistent space-time parts of this animation, such as moving waves or droplets, which we call space-time features. Once selected, a feature can be copied, edited, or duplicated and then pasted back anywhere in space and time in the same or in another liquid animation sequence. Our method circumvents tedious user interactions by automatically computing the spatial and temporal ranges of the selected feature. We also provide space-time shape editing tools for non-uniform scaling, rotation, trajectory changes, and temporal editing to locally speed up or slow down motion. Using our tools, the user can edit and progressively refine any input simulation result, possibly using a library of precomputed space-time features extracted from other animations. In contrast to the trial-and-error loop usually required to edit animation results through the tuning of indirect simulation parameters, our method gives the user full control over the edited space-time behaviors. © 2016 Copyright held by the owner/author(s). acknowledgement: This work was partly supported by the starting grant BigSplash, as well as the advanced grant EXPRESSIVE from the European Research Council (ERC-2014-StG 638176 , and ERC-2011-ADG 20110209). article_number: '2994261' article_processing_charge: No author: - first_name: Pierre full_name: Manteaux, Pierre last_name: Manteaux - first_name: Ulysse full_name: Vimont, Ulysse last_name: Vimont - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 - first_name: Damien full_name: Rohmer, Damien last_name: Rohmer - first_name: Marie full_name: Cani, Marie last_name: Cani citation: ama: 'Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261' apa: 'Manteaux, P., Vimont, U., Wojtan, C., Rohmer, D., & Cani, M. (2016). Space-time sculpting of liquid animation. In Proceedings of the 9th International Conference on Motion in Games . San Francisco, CA, USA: ACM. https://doi.org/10.1145/2994258.2994261' chicago: Manteaux, Pierre, Ulysse Vimont, Chris Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261. ieee: P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016. ista: 'Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. 2016. Space-time sculpting of liquid animation. Proceedings of the 9th International Conference on Motion in Games . MIG: Motion in Games, 2994261.' mla: Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.” Proceedings of the 9th International Conference on Motion in Games , 2994261, ACM, 2016, doi:10.1145/2994258.2994261. short: P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016. conference: end_date: 2016-10-12 location: San Francisco, CA, USA name: 'MIG: Motion in Games' start_date: 2016-10-10 date_created: 2018-12-11T11:50:20Z date_published: 2016-10-10T00:00:00Z date_updated: 2023-02-21T09:49:49Z day: '10' ddc: - '004' department: - _id: ChWo doi: 10.1145/2994258.2994261 ec_funded: 1 has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://hal.inria.fr/hal-01367181 month: '10' oa: 1 oa_version: Submitted Version project: - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: Efficient Simulation of Natural Phenomena at Extremely Large Scales publication: 'Proceedings of the 9th International Conference on Motion in Games ' publication_status: published publisher: ACM publist_id: '6222' quality_controlled: '1' scopus_import: '1' status: public title: Space-time sculpting of liquid animation type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2016' ... --- _id: '1137' abstract: - lang: eng text: RASGRP1 is an important guanine nucleotide exchange factor and activator of the RAS-MAPK pathway following T cell antigen receptor (TCR) signaling. The consequences of RASGRP1 mutations in humans are unknown. In a patient with recurrent bacterial and viral infections, born to healthy consanguineous parents, we used homozygosity mapping and exome sequencing to identify a biallelic stop-gain variant in RASGRP1. This variant segregated perfectly with the disease and has not been reported in genetic databases. RASGRP1 deficiency was associated in T cells and B cells with decreased phosphorylation of the extracellular-signal-regulated serine kinase ERK, which was restored following expression of wild-type RASGRP1. RASGRP1 deficiency also resulted in defective proliferation, activation and motility of T cells and B cells. RASGRP1-deficient natural killer (NK) cells exhibited impaired cytotoxicity with defective granule convergence and actin accumulation. Interaction proteomics identified the dynein light chain DYNLL1 as interacting with RASGRP1, which links RASGRP1 to cytoskeletal dynamics. RASGRP1-deficient cells showed decreased activation of the GTPase RhoA. Treatment with lenalidomide increased RhoA activity and reversed the migration and activation defects of RASGRP1-deficient lymphocytes. article_processing_charge: No article_type: original author: - first_name: Elisabeth full_name: Salzer, Elisabeth last_name: Salzer - first_name: Deniz full_name: Çaǧdaş, Deniz last_name: Çaǧdaş - first_name: Miroslav full_name: Hons, Miroslav id: 4167FE56-F248-11E8-B48F-1D18A9856A87 last_name: Hons orcid: 0000-0002-6625-3348 - first_name: Emily full_name: Mace, Emily last_name: Mace - first_name: Wojciech full_name: Garncarz, Wojciech last_name: Garncarz - first_name: Oezlem full_name: Petronczki, Oezlem last_name: Petronczki - first_name: René full_name: Platzer, René last_name: Platzer - first_name: Laurène full_name: Pfajfer, Laurène last_name: Pfajfer - first_name: Ivan full_name: Bilic, Ivan last_name: Bilic - first_name: Sol full_name: Ban, Sol last_name: Ban - first_name: Katharina full_name: Willmann, Katharina last_name: Willmann - first_name: Malini full_name: Mukherjee, Malini last_name: Mukherjee - first_name: Verena full_name: Supper, Verena last_name: Supper - first_name: Hsiangting full_name: Hsu, Hsiangting last_name: Hsu - first_name: Pinaki full_name: Banerjee, Pinaki last_name: Banerjee - first_name: Papiya full_name: Sinha, Papiya last_name: Sinha - first_name: Fabienne full_name: Mcclanahan, Fabienne last_name: Mcclanahan - first_name: Gerhard full_name: Zlabinger, Gerhard last_name: Zlabinger - first_name: Winfried full_name: Pickl, Winfried last_name: Pickl - first_name: John full_name: Gribben, John last_name: Gribben - first_name: Hannes full_name: Stockinger, Hannes last_name: Stockinger - first_name: Keiryn full_name: Bennett, Keiryn last_name: Bennett - first_name: Johannes full_name: Huppa, Johannes last_name: Huppa - first_name: Loï̈C full_name: Dupré, Loï̈C last_name: Dupré - first_name: Özden full_name: Sanal, Özden last_name: Sanal - first_name: Ulrich full_name: Jäger, Ulrich last_name: Jäger - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Ilhan full_name: Tezcan, Ilhan last_name: Tezcan - first_name: Jordan full_name: Orange, Jordan last_name: Orange - first_name: Kaan full_name: Boztug, Kaan last_name: Boztug citation: ama: Salzer E, Çaǧdaş D, Hons M, et al. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 2016;17(12):1352-1360. doi:10.1038/ni.3575 apa: Salzer, E., Çaǧdaş, D., Hons, M., Mace, E., Garncarz, W., Petronczki, O., … Boztug, K. (2016). RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3575 chicago: Salzer, Elisabeth, Deniz Çaǧdaş, Miroslav Hons, Emily Mace, Wojciech Garncarz, Oezlem Petronczki, René Platzer, et al. “RASGRP1 Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.” Nature Immunology. Nature Publishing Group, 2016. https://doi.org/10.1038/ni.3575. ieee: E. Salzer et al., “RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1352–1360, 2016. ista: Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360. mla: Salzer, Elisabeth, et al. “RASGRP1 Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.” Nature Immunology, vol. 17, no. 12, Nature Publishing Group, 2016, pp. 1352–60, doi:10.1038/ni.3575. short: E. Salzer, D. Çaǧdaş, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360. date_created: 2018-12-11T11:50:21Z date_published: 2016-12-01T00:00:00Z date_updated: 2021-01-12T06:48:33Z day: '01' department: - _id: MiSi doi: 10.1038/ni.3575 external_id: pmid: - '27776107' intvolume: ' 17' issue: '12' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6400263 month: '12' oa: 1 oa_version: Submitted Version page: 1352 - 1360 pmid: 1 publication: Nature Immunology publication_status: published publisher: Nature Publishing Group publist_id: '6221' quality_controlled: '1' scopus_import: 1 status: public title: RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2016' ... --- _id: '1138' abstract: - lang: eng text: Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions, we establish that automata with monitor counters and nested weighted automata are equivalent. We study for the first time such quantitative automata under probabilistic semantics. We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. We present a complete picture of decidability for such automata, and even an almost-complete picture of computational complexity, for the probabilistic questions we consider. © 2016 ACM. acknowledgement: This research was funded in part by the European Research Council (ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF) projects S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), FWF Grant No P23499- N23, FWF NFN Grant No S114 arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Jan full_name: Otop, Jan id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87 last_name: Otop citation: ama: 'Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588' apa: 'Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588' chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.” In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016. https://doi.org/10.1145/2933575.2933588. ieee: K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium, New York, NY, USA, 2016, pp. 76–85. ista: 'Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 76–85.' mla: Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588. short: K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85. conference: end_date: 2016-07-08 location: New York, NY, USA name: 'LICS: Logic in Computer Science' start_date: 2016-07-05 date_created: 2018-12-11T11:50:21Z date_published: 2016-07-05T00:00:00Z date_updated: 2021-01-12T06:48:34Z day: '05' department: - _id: KrCh - _id: ToHe doi: 10.1145/2933575.2933588 ec_funded: 1 external_id: arxiv: - '1604.06764' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1604.06764 month: '07' oa: 1 oa_version: Preprint page: 76 - 85 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 - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _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: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication: Proceedings of the 31st Annual ACM/IEEE Symposium publication_status: published publisher: IEEE publist_id: '6220' quality_controlled: '1' scopus_import: 1 status: public title: Quantitative automata under probabilistic semantics type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2016' ... --- _id: '1140' abstract: - lang: eng text: 'Given a model of a system and an objective, the model-checking question asks whether the model satisfies the objective. We study polynomial-time problems in two classical models, graphs and Markov Decision Processes (MDPs), with respect to several fundamental -regular objectives, e.g., Rabin and Streett objectives. For many of these problems the best-known upper bounds are quadratic or cubic, yet no super-linear lower bounds are known. In this work our contributions are two-fold: First, we present several improved algorithms, and second, we present the first conditional super-linear lower bounds based on widely believed assumptions about the complexity of CNF-SAT and combinatorial Boolean matrix multiplication. A separation result for two models with respect to an objective means a conditional lower bound for one model that is strictly higher than the existing upper bound for the other model, and similarly for two objectives with respect to a model. Our results establish the following separation results: (1) A separation of models (graphs and MDPs) for disjunctive queries of reachability and Büchi objectives. (2) Two kinds of separations of objectives, both for graphs and MDPs, namely, (2a) the separation of dual objectives such as Streett/Rabin objectives, and (2b) the separation of conjunction and disjunction of multiple objectives of the same type such as safety, Büchi, and coBüchi. In summary, our results establish the first model and objective separation results for graphs and MDPs for various classical -regular objectives. Quite strikingly, we establish conditional lower bounds for the disjunction of objectives that are strictly higher than the existing upper bounds for the conjunction of the same objectives. © 2016 ACM.' acknowledgement: "K. C., M. H., and W. D. are partially supported by the \ Vienna\r\nScience and Technology Fund (WWTF) through project ICT15-003.\r\nK. C. is partially supported by the Austrian Science Fund (FWF)\r\nNFN Grant No S11407-N23 (RiSE/SHiNE) and an ERC Start grant\r\n(279307: Graph Games). For W. D., M. H., and V. L. the research\r\nleading to these results has received funding from the European\r\nResearch Council under the European Union’s Seventh Framework\r\nProgramme (FP/2007-2013) / ERC Grant Agreement no. 340506." alternative_title: - Proceedings Symposium on Logic in Computer Science article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Wolfgang full_name: Dvoák, Wolfgang last_name: Dvoák - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Veronika full_name: Loitzenbauer, Veronika last_name: Loitzenbauer citation: ama: 'Chatterjee K, Dvoák W, Henzinger MH, Loitzenbauer V. Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2016:197-206. doi:10.1145/2933575.2935304' apa: 'Chatterjee, K., Dvoák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304' chicago: 'Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Veronika Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.' ieee: 'K. Chatterjee, W. Dvoák, M. H. Henzinger, and V. Loitzenbauer, “Model and objective separation with conditional lower bounds: disjunction is harder than conjunction,” in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA, 2016, pp. 197–206.' ista: 'Chatterjee K, Dvoák W, Henzinger MH, Loitzenbauer V. 2016. Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, , 197–206.' mla: 'Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.' short: K. Chatterjee, W. Dvoák, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206. conference: end_date: 2016-07-08 location: New York, NY, USA name: 'LICS: Logic in Computer Science' start_date: 2016-07-05 date_created: 2018-12-11T11:50:22Z date_published: 2016-07-05T00:00:00Z date_updated: 2025-06-02T08:53:44Z day: '05' department: - _id: KrCh doi: 10.1145/2933575.2935304 external_id: arxiv: - '1602.02670' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1602.02670 month: '07' oa: 1 oa_version: Preprint page: 197 - 206 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science publication_status: published publisher: IEEE publist_id: '6219' quality_controlled: '1' scopus_import: '1' status: public title: 'Model and objective separation with conditional lower bounds: disjunction is harder than conjunction' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2016' ... --- _id: '1142' abstract: - lang: eng text: Hemolysis drives susceptibility to bacterial infections and predicts poor outcome from sepsis. These detrimental effects are commonly considered to be a consequence of heme-iron serving as a nutrient for bacteria. We employed a Gram-negative sepsis model and found that elevated heme levels impaired the control of bacterial proliferation independently of heme-iron acquisition by pathogens. Heme strongly inhibited phagocytosis and the migration of human and mouse phagocytes by disrupting actin cytoskeletal dynamics via activation of the GTP-binding Rho family protein Cdc42 by the guanine nucleotide exchange factor DOCK8. A chemical screening approach revealed that quinine effectively prevented heme effects on the cytoskeleton, restored phagocytosis and improved survival in sepsis. These mechanistic insights provide potential therapeutic targets for patients with sepsis or hemolytic disorders. acknowledgement: 'Y. Fukui (Medical Institute of Bioregulation, Kyushu University) and J. Stein (Theodor Kocher Institute, University of Bern) are acknowledged for providing the DOCK8 deficient bone marrow. and H. Häcker (St. Judes Children''s Research Hospital) for providing the ERHBD-HoxB8-encoding retroviral construct. pSpCas9(BB)-2a-Puro (PX459) was a gift from F. Zhang (Massachusetts Institute of Technology) (Addgene plasmid # 48139) and pGRG36 was a gift from N. Craig (Johns Hopkins University School of Medicine) (Addgene plasmid # 16666). LifeAct-GFP-encoding retrovirus was kindly provided by A. Leithner (Institute of Science and Technology Austria). pSIM8 and TKC E. coli were gifts from D.L. Court (Center for Cancer Research, National Cancer Institute). We acknowledge M. Gröger and S. Rauscher for excellent technical support (Core imaging facility, Medical University of Vienna). We thank D.P. Barlow and L.R. Cheever for critical reading of the manuscript. This work was supported by the Austrian Academy of Sciences, the Science Fund of the Austrian National Bank (14107) and the Austrian Science Fund FWF (I1620-B22) in the Infect-ERA framework (to S.Knapp).' author: - first_name: Rui full_name: Martins, Rui last_name: Martins - first_name: Julia full_name: Maier, Julia last_name: Maier - first_name: Anna full_name: Gorki, Anna last_name: Gorki - first_name: Kilian full_name: Huber, Kilian last_name: Huber - first_name: Omar full_name: Sharif, Omar last_name: Sharif - first_name: Philipp full_name: Starkl, Philipp last_name: Starkl - first_name: Simona full_name: Saluzzo, Simona last_name: Saluzzo - first_name: Federica full_name: Quattrone, Federica last_name: Quattrone - first_name: Riem full_name: Gawish, Riem last_name: Gawish - first_name: Karin full_name: Lakovits, Karin last_name: Lakovits - first_name: Michael full_name: Aichinger, Michael last_name: Aichinger - first_name: Branka full_name: Radic Sarikas, Branka last_name: Radic Sarikas - first_name: Charles full_name: Lardeau, Charles last_name: Lardeau - first_name: Anastasiya full_name: Hladik, Anastasiya last_name: Hladik - first_name: Ana full_name: Korosec, Ana last_name: Korosec - first_name: Markus full_name: Brown, Markus id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87 last_name: Brown - first_name: Kari full_name: Vaahtomeri, Kari id: 368EE576-F248-11E8-B48F-1D18A9856A87 last_name: Vaahtomeri orcid: 0000-0001-7829-3518 - first_name: Michelle full_name: Duggan, Michelle id: 2EDEA62C-F248-11E8-B48F-1D18A9856A87 last_name: Duggan - first_name: Dontscho full_name: Kerjaschki, Dontscho last_name: Kerjaschki - first_name: Harald full_name: Esterbauer, Harald last_name: Esterbauer - first_name: Jacques full_name: Colinge, Jacques last_name: Colinge - first_name: Stephanie full_name: Eisenbarth, Stephanie last_name: Eisenbarth - first_name: Thomas full_name: Decker, Thomas last_name: Decker - first_name: Keiryn full_name: Bennett, Keiryn last_name: Bennett - first_name: Stefan full_name: Kubicek, Stefan last_name: Kubicek - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Giulio full_name: Superti Furga, Giulio last_name: Superti Furga - first_name: Sylvia full_name: Knapp, Sylvia last_name: Knapp citation: ama: Martins R, Maier J, Gorki A, et al. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 2016;17(12):1361-1372. doi:10.1038/ni.3590 apa: Martins, R., Maier, J., Gorki, A., Huber, K., Sharif, O., Starkl, P., … Knapp, S. (2016). Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3590 chicago: Martins, Rui, Julia Maier, Anna Gorki, Kilian Huber, Omar Sharif, Philipp Starkl, Simona Saluzzo, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection via Disruption of Phagocyte Functions.” Nature Immunology. Nature Publishing Group, 2016. https://doi.org/10.1038/ni.3590. ieee: R. Martins et al., “Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1361–1372, 2016. ista: Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372. mla: Martins, Rui, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection via Disruption of Phagocyte Functions.” Nature Immunology, vol. 17, no. 12, Nature Publishing Group, 2016, pp. 1361–72, doi:10.1038/ni.3590. short: R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372. date_created: 2018-12-11T11:50:22Z date_published: 2016-12-01T00:00:00Z date_updated: 2021-01-12T06:48:36Z day: '01' department: - _id: MiSi - _id: PeJo doi: 10.1038/ni.3590 intvolume: ' 17' issue: '12' language: - iso: eng main_file_link: - open_access: '1' url: https://ora.ox.ac.uk/objects/uuid:f53a464e-1e5b-4f08-a7d8-b6749b852b9d month: '12' oa: 1 oa_version: Submitted Version page: 1361 - 1372 publication: Nature Immunology publication_status: published publisher: Nature Publishing Group publist_id: '6216' quality_controlled: '1' scopus_import: 1 status: public title: Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2016' ... --- _id: '1143' abstract: - lang: eng text: We study the ground state of a dilute Bose gas in a scaling limit where the Gross-Pitaevskii functional emerges. This is a repulsive nonlinear Schrödinger functional whose quartic term is proportional to the scattering length of the interparticle interaction potential. We propose a new derivation of this limit problem, with a method that bypasses some of the technical difficulties that previous derivations had to face. The new method is based on a combination of Dyson\'s lemma, the quantum de Finetti theorem and a second moment estimate for ground states of the effective Dyson Hamiltonian. It applies equally well to the case where magnetic fields or rotation are present. author: - first_name: Phan full_name: Nam, Phan id: 404092F4-F248-11E8-B48F-1D18A9856A87 last_name: Nam - first_name: Nicolas full_name: Rougerie, Nicolas last_name: Rougerie - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: 'Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485. doi:10.2140/apde.2016.9.459' apa: 'Nam, P., Rougerie, N., & Seiringer, R. (2016). Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2016.9.459' chicago: 'Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE. Mathematical Sciences Publishers, 2016. https://doi.org/10.2140/apde.2016.9.459.' ieee: 'P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems: The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2. Mathematical Sciences Publishers, pp. 459–485, 2016.' ista: 'Nam P, Rougerie N, Seiringer R. 2016. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 9(2), 459–485.' mla: 'Nam, Phan, et al. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE, vol. 9, no. 2, Mathematical Sciences Publishers, 2016, pp. 459–85, doi:10.2140/apde.2016.9.459.' short: P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485. date_created: 2018-12-11T11:50:23Z date_published: 2016-03-24T00:00:00Z date_updated: 2021-01-12T06:48:36Z day: '24' department: - _id: RoSe doi: 10.2140/apde.2016.9.459 ec_funded: 1 intvolume: ' 9' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1503.07061 month: '03' oa: 1 oa_version: Preprint page: 459 - 485 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Analysis and PDE publication_status: published publisher: Mathematical Sciences Publishers publist_id: '6215' quality_controlled: '1' scopus_import: 1 status: public title: 'Ground states of large bosonic systems: The gross Pitaevskii limit revisited' type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 9 year: '2016' ... --- _id: '1145' abstract: - lang: eng text: Auxin directs plant ontogenesis via differential accumulation within tissues depending largely on the activity of PIN proteins that mediate auxin efflux from cells and its directional cell-to-cell transport. Regardless of the developmental importance of PINs, the structure of these transporters is poorly characterized. Here, we present experimental data concerning protein topology of plasma membrane-localized PINs. Utilizing approaches based on pH-dependent quenching of fluorescent reporters combined with immunolocalization techniques, we mapped the membrane topology of PINs and further cross-validated our results using available topology modeling software. We delineated the topology of PIN1 with two transmembrane (TM) bundles of five α-helices linked by a large intracellular loop and a C-terminus positioned outside the cytoplasm. Using constraints derived from our experimental data, we also provide an updated position of helical regions generating a verisimilitude model of PIN1. Since the canonical long PINs show a high degree of conservation in TM domains and auxin transport capacity has been demonstrated for Arabidopsis representatives of this group, this empirically enhanced topological model of PIN1 will be an important starting point for further studies on PIN structure–function relationships. In addition, we have established protocols that can be used to probe the topology of other plasma membrane proteins in plants. © 2016 The Authors acknowledgement: This research has been financially supported by the Ministry of Education, Youth and Sports of the Czech Republic under the project CEITEC 2020 (LQ1601) (T.N., M.Z., M.P., J.H.), Czech Science Foundation (13-40637S [J.F., M.Z.], 13-39982S [J.H.]); Research Foundation Flanders (Grant number FWO09/PDO/196) (S.V.) and the European Research Council (project ERC-2011-StG-20101109-PSDP) (J.F.). We thank David G. Robinson and Ranjan Swarup for sharing published material; Maria Šimášková, Mamoona Khan, Eva Benková for technical assistance; and R. Tejos, J. Kleine-Vehn, and E. Feraru for helpful discussions. author: - first_name: Tomasz full_name: Nodzyński, Tomasz last_name: Nodzyński - first_name: Steffen full_name: Vanneste, Steffen last_name: Vanneste - first_name: Marta full_name: Zwiewka, Marta last_name: Zwiewka - first_name: Markéta full_name: Pernisová, Markéta last_name: Pernisová - first_name: Jan full_name: Hejátko, Jan last_name: Hejátko - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010 apa: Nodzyński, T., Vanneste, S., Zwiewka, M., Pernisová, M., Hejátko, J., & Friml, J. (2016). Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2016.08.010 chicago: Nodzyński, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová, Jan Hejátko, and Jiří Friml. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant. Cell Press, 2016. https://doi.org/10.1016/j.molp.2016.08.010. ieee: T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml, “Enquiry into the topology of plasma membrane localized PIN auxin transport components,” Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016. ista: Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. 2016. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 9(11), 1504–1519. mla: Nodzyński, Tomasz, et al. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant, vol. 9, no. 11, Cell Press, 2016, pp. 1504–19, doi:10.1016/j.molp.2016.08.010. short: T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519. date_created: 2018-12-11T11:50:23Z date_published: 2016-11-07T00:00:00Z date_updated: 2021-01-12T06:48:37Z day: '07' ddc: - '581' department: - _id: JiFr doi: 10.1016/j.molp.2016.08.010 ec_funded: 1 file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:13:22Z date_updated: 2018-12-12T10:13:22Z file_id: '5004' file_name: IST-2017-746-v1+1_1-s2.0-S1674205216301915-main.pdf file_size: 5005876 relation: main_file file_date_updated: 2018-12-12T10:13:22Z has_accepted_license: '1' intvolume: ' 9' issue: '11' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '11' oa: 1 oa_version: Published Version page: 1504 - 1519 project: - _id: 25716A02-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '282300' name: Polarity and subcellular dynamics in plants publication: Molecular Plant publication_status: published publisher: Cell Press publist_id: '6213' pubrep_id: '746' quality_controlled: '1' scopus_import: 1 status: public title: Enquiry into the topology of plasma membrane localized PIN auxin transport components tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 9 year: '2016' ... --- _id: '1147' abstract: - lang: eng text: Apical dominance is one of the fundamental developmental phenomena in plant biology, which determines the overall architecture of aerial plant parts. Here we show apex decapitation activated competition for dominance in adjacent upper and lower axillary buds. A two-nodal-bud pea (Pisum sativum L.) was used as a model system to monitor and assess auxin flow, auxin transport channels, and dormancy and initiation status of axillary buds. Auxin flow was manipulated by lateral stem wounds or chemically by auxin efflux inhibitors 2,3,5-triiodobenzoic acid (TIBA), 1-N-naphtylphtalamic acid (NPA), or protein synthesis inhibitor cycloheximide (CHX) treatments, which served to interfere with axillary bud competition. Redirecting auxin flow to different points influenced which bud formed the outgrowing and dominant shoot. The obtained results proved that competition between upper and lower axillary buds as secondary auxin sources is based on the same auxin canalization principle that operates between the shoot apex and axillary bud. © The Author(s) 2016. acknowledgement: This research was carried out under the project CEITEC 2020 (LQ1601) with financial support from the Ministry of Education, Youth and Sports of the Czech Republic under the National Sustainability Programme II., supported by the project “CEITEC–Central European Institute of Technology” (CZ.1.05/1.1.00/02.0068) and the Agronomy faculty grant from Mendel University “IGA AF MENDELU” (IP 14/2013). article_number: '35955' author: - first_name: Jozef full_name: Balla, Jozef last_name: Balla - first_name: Zuzana full_name: Medved'Ová, Zuzana last_name: Medved'Ová - first_name: Petr full_name: Kalousek, Petr last_name: Kalousek - first_name: Natálie full_name: Matiješčuková, Natálie last_name: Matiješčuková - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Vilém full_name: Reinöhl, Vilém last_name: Reinöhl - first_name: Stanislav full_name: Procházka, Stanislav last_name: Procházka citation: ama: Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 2016;6. doi:10.1038/srep35955 apa: Balla, J., Medved’Ová, Z., Kalousek, P., Matiješčuková, N., Friml, J., Reinöhl, V., & Procházka, S. (2016). Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep35955 chicago: Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matiješčuková, Jiří Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep35955. ieee: J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016. ista: Balla J, Medved’Ová Z, Kalousek P, Matiješčuková N, Friml J, Reinöhl V, Procházka S. 2016. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 6, 35955. mla: Balla, Jozef, et al. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports, vol. 6, 35955, Nature Publishing Group, 2016, doi:10.1038/srep35955. short: J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016). date_created: 2018-12-11T11:50:24Z date_published: 2016-11-08T00:00:00Z date_updated: 2021-01-12T06:48:38Z day: '08' ddc: - '581' department: - _id: JiFr doi: 10.1038/srep35955 file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:09:28Z date_updated: 2018-12-12T10:09:28Z file_id: '4752' file_name: IST-2017-745-v1+1_srep35955.pdf file_size: 1587544 relation: main_file file_date_updated: 2018-12-12T10:09:28Z has_accepted_license: '1' intvolume: ' 6' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '11' oa: 1 oa_version: Published Version publication: Scientific Reports publication_status: published publisher: Nature Publishing Group publist_id: '6211' pubrep_id: '745' quality_controlled: '1' scopus_import: 1 status: public title: Auxin flow mediated competition between axillary buds to restore apical dominance 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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 6 year: '2016' ... --- _id: '1151' abstract: - lang: eng text: Tissue patterning in multicellular organisms is the output of precise spatio–temporal regulation of gene expression coupled with changes in hormone dynamics. In plants, the hormone auxin regulates growth and development at every stage of a plant’s life cycle. Auxin signaling occurs through binding of the auxin molecule to a TIR1/AFB F-box ubiquitin ligase, allowing interaction with Aux/IAA transcriptional repressor proteins. These are subsequently ubiquitinated and degraded via the 26S proteasome, leading to derepression of auxin response factors (ARFs). How auxin is able to elicit such a diverse range of developmental responses through a single signaling module has not yet been resolved. Here we present an alternative auxin-sensing mechanism in which the ARF ARF3/ETTIN controls gene expression through interactions with process-specific transcription factors. This noncanonical hormonesensing mechanism exhibits strong preference for the naturally occurring auxin indole 3-acetic acid (IAA) and is important for coordinating growth and patterning in diverse developmental contexts such as gynoecium morphogenesis, lateral root emergence, ovule development, and primary branch formation. Disrupting this IAA-sensing ability induces morphological aberrations with consequences for plant fitness. Therefore, our findings introduce a novel transcription factor-based mechanism of hormone perception in plants. © 2016 Simonini et al. acknowledgement: "We thank Norwich Research Park Bioimaging, Grant Calder, Roy\r\nDunford, Caroline Smith, Paul Thomas, and Mark Youles for\r\ntechnical support; Charlie Scutt, Alejandro Ferrando, and George\r\nLomonossoff for plasmids; Toshiro Ito for seeds; Brendan Davies\r\nand Barry Causier for the REGIA library; and Mark Buttner,\r\nSimona Masiero, Fabio Rossi, Doris Wagner, and Jun Xiao for\r\nhelp and material. We are also grateful to Stefano Bencivenga,\r\nMarie Brüser, Friederike Jantzen, Lukasz Langowski, Xinran Li,\r\nand Nicola Stacey for discussions and helpful comments on the\r\nmanuscript. This work was supported by grants BB/M004112/1\r\nand BB/I017232/1 (Crop Improvement Research Club) to L.Ø.\r\nfrom the Biotechnological and Biological Sciences Research\r\nCouncil, and Institute Strategic Programme grant (BB/J004553/\r\n1) to the John Innes Centre. S.S., J.D., and L.Ø conceived the ex-\r\nperiments. " author: - first_name: Sara full_name: Simonini, Sara last_name: Simonini - first_name: Joyita full_name: Deb, Joyita last_name: Deb - first_name: Laila full_name: Moubayidin, Laila last_name: Moubayidin - first_name: Pauline full_name: Stephenson, Pauline last_name: Stephenson - first_name: Manoj full_name: Valluru, Manoj last_name: Valluru - first_name: Alejandra full_name: Freire Rios, Alejandra last_name: Freire Rios - first_name: Karim full_name: Sorefan, Karim last_name: Sorefan - first_name: Dolf full_name: Weijers, Dolf last_name: Weijers - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Lars full_name: Östergaard, Lars last_name: Östergaard citation: ama: Simonini S, Deb J, Moubayidin L, et al. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 2016;30(20):2286-2296. doi:10.1101/gad.285361.116 apa: Simonini, S., Deb, J., Moubayidin, L., Stephenson, P., Valluru, M., Freire Rios, A., … Östergaard, L. (2016). A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.285361.116 chicago: Simonini, Sara, Joyita Deb, Laila Moubayidin, Pauline Stephenson, Manoj Valluru, Alejandra Freire Rios, Karim Sorefan, Dolf Weijers, Jiří Friml, and Lars Östergaard. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.285361.116. ieee: S. Simonini et al., “A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis,” Genes and Development, vol. 30, no. 20. Cold Spring Harbor Laboratory Press, pp. 2286–2296, 2016. ista: Simonini S, Deb J, Moubayidin L, Stephenson P, Valluru M, Freire Rios A, Sorefan K, Weijers D, Friml J, Östergaard L. 2016. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 30(20), 2286–2296. mla: Simonini, Sara, et al. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development, vol. 30, no. 20, Cold Spring Harbor Laboratory Press, 2016, pp. 2286–96, doi:10.1101/gad.285361.116. short: S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296. date_created: 2018-12-11T11:50:25Z date_published: 2016-10-15T00:00:00Z date_updated: 2021-01-12T06:48:39Z day: '15' ddc: - '570' department: - _id: JiFr doi: 10.1101/gad.285361.116 external_id: pmid: - '27898393' file: - access_level: open_access content_type: application/pdf creator: dernst date_created: 2019-01-25T09:32:55Z date_updated: 2019-01-25T09:32:55Z file_id: '5882' file_name: 2016_GeneDev_Simonini.pdf file_size: 1419263 relation: main_file success: 1 file_date_updated: 2019-01-25T09:32:55Z has_accepted_license: '1' intvolume: ' 30' issue: '20' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 2286 - 2296 pmid: 1 publication: Genes and Development publication_status: published publisher: Cold Spring Harbor Laboratory Press publist_id: '6207' quality_controlled: '1' scopus_import: 1 status: public title: A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis 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: 30 year: '2016' ... --- _id: '1153' abstract: - lang: eng text: Differential cell growth enables flexible organ bending in the presence of environmental signals such as light or gravity. A prominent example of the developmental processes based on differential cell growth is the formation of the apical hook that protects the fragile shoot apical meristem when it breaks through the soil during germination. Here, we combined in silico and in vivo approaches to identify a minimal mechanism producing auxin gradient-guided differential growth during the establishment of the apical hook in the model plant Arabidopsis thaliana. Computer simulation models based on experimental data demonstrate that asymmetric expression of the PIN-FORMED auxin efflux carrier at the concave (inner) versus convex (outer) side of the hook suffices to establish an auxin maximum in the epidermis at the concave side of the apical hook. Furthermore, we propose a mechanism that translates this maximum into differential growth, and thus curvature, of the apical hook. Through a combination of experimental and in silico computational approaches, we have identified the individual contributions of differential cell elongation and proliferation to defining the apical hook and reveal the role of auxin-ethylene crosstalk in balancing these two processes. © 2016 American Society of Plant Biologists. All rights reserved. acknowledgement: "We thank Martine De Cock and Annick Bleys for help in preparing the manuscript, Daniel Van Damme for sharing material and stimulating discussion, and Rudiger Simon for support during revision of the manuscript.\r\nThis work was supported by grants from the European Research Council (StartingIndependentResearchGrantERC-2007-Stg-207362-HCPO)and the Czech Science Foundation (GACR CZ.1.07/2.3.00/20.0043) to E.B.\r\nand Natural Sciences and Engineering Research Council of Canada Discovery Grant 2014-05325 to P.P. K.W. acknowledges funding from a Human Frontier Science Program Long-Term Fellowship (LT-000209-2014)." author: - first_name: Petra full_name: Žádníková, Petra last_name: Žádníková - first_name: Krzysztof T full_name: Wabnik, Krzysztof T id: 4DE369A4-F248-11E8-B48F-1D18A9856A87 last_name: Wabnik orcid: 0000-0001-7263-0560 - first_name: Anas full_name: Abuzeineh, Anas last_name: Abuzeineh - first_name: Marçal full_name: Gallemí, Marçal last_name: Gallemí - first_name: Dominique full_name: Van Der Straeten, Dominique last_name: Van Der Straeten - first_name: Richard full_name: Smith, Richard last_name: Smith - first_name: Dirk full_name: Inze, Dirk last_name: Inze - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Przemysław full_name: Prusinkiewicz, Przemysław last_name: Prusinkiewicz - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 citation: ama: Žádníková P, Wabnik KT, Abuzeineh A, et al. A model of differential growth guided apical hook formation in plants. Plant Cell. 2016;28(10):2464-2477. doi:10.1105/tpc.15.00569 apa: Žádníková, P., Wabnik, K. T., Abuzeineh, A., Gallemí, M., Van Der Straeten, D., Smith, R., … Benková, E. (2016). A model of differential growth guided apical hook formation in plants. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.15.00569 chicago: Žádníková, Petra, Krzysztof T Wabnik, Anas Abuzeineh, Marçal Gallemí, Dominique Van Der Straeten, Richard Smith, Dirk Inze, Jiří Friml, Przemysław Prusinkiewicz, and Eva Benková. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell. American Society of Plant Biologists, 2016. https://doi.org/10.1105/tpc.15.00569. ieee: P. Žádníková et al., “A model of differential growth guided apical hook formation in plants,” Plant Cell, vol. 28, no. 10. American Society of Plant Biologists, pp. 2464–2477, 2016. ista: Žádníková P, Wabnik KT, Abuzeineh A, Gallemí M, Van Der Straeten D, Smith R, Inze D, Friml J, Prusinkiewicz P, Benková E. 2016. A model of differential growth guided apical hook formation in plants. Plant Cell. 28(10), 2464–2477. mla: Žádníková, Petra, et al. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell, vol. 28, no. 10, American Society of Plant Biologists, 2016, pp. 2464–77, doi:10.1105/tpc.15.00569. short: P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477. date_created: 2018-12-11T11:50:26Z date_published: 2016-10-01T00:00:00Z date_updated: 2021-01-12T06:48:40Z day: '01' department: - _id: EvBe - _id: JiFr doi: 10.1105/tpc.15.00569 ec_funded: 1 intvolume: ' 28' issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5134968/ month: '10' oa: 1 oa_version: Submitted Version page: 2464 - 2477 project: - _id: 253FCA6A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '207362' name: Hormonal cross-talk in plant organogenesis publication: Plant Cell publication_status: published publisher: American Society of Plant Biologists publist_id: '6205' quality_controlled: '1' scopus_import: 1 status: public title: A model of differential growth guided apical hook formation in plants type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 28 year: '2016' ... --- _id: '1154' abstract: - lang: eng text: "Cellular locomotion is a central hallmark of eukaryotic life. It is governed by cell-extrinsic molecular factors, which can either emerge in the soluble phase or as immobilized, often adhesive ligands. To encode for direction, every cue must be present as a spatial or temporal gradient. Here, we developed a microfluidic chamber that allows measurement of cell migration in combined response to surface immobilized and soluble molecular gradients. As a proof of principle we study the response of dendritic cells to their major guidance cues, chemokines. The majority of data on chemokine gradient sensing is based on in vitro studies employing soluble gradients. Despite evidence suggesting that in vivo chemokines are often immobilized to sugar residues, limited information is available how cells respond to immobilized chemokines. We tracked migration of dendritic cells towards immobilized gradients of the chemokine CCL21 and varying superimposed soluble gradients of CCL19. Differential migratory patterns illustrate the potential of our setup to quantitatively study the competitive response to both types of gradients. Beyond chemokines our approach is broadly applicable to alternative systems of chemo- and haptotaxis such as cells migrating along gradients of adhesion receptor ligands vs. any soluble cue. \r\n" acknowledgement: 'This work was supported by the Swiss National Science Foundation (Ambizione fellowship; PZ00P3-154733 to M.M.), the Swiss Multiple Sclerosis Society (research support to M.M.), a fellowship from the Boehringer Ingelheim Fonds (BIF) to J.S., the European Research Council (grant ERC GA 281556) and a START award from the Austrian Science Foundation (FWF) to M.S. #BioimagingFacility' article_number: '36440' author: - first_name: Jan full_name: Schwarz, Jan id: 346C1EC6-F248-11E8-B48F-1D18A9856A87 last_name: Schwarz - first_name: Veronika full_name: Bierbaum, Veronika id: 3FD04378-F248-11E8-B48F-1D18A9856A87 last_name: Bierbaum - first_name: Jack full_name: Merrin, Jack id: 4515C308-F248-11E8-B48F-1D18A9856A87 last_name: Merrin orcid: 0000-0001-5145-4609 - first_name: Tino full_name: Frank, Tino last_name: Frank - first_name: Robert full_name: Hauschild, Robert id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87 last_name: Hauschild orcid: 0000-0001-9843-3522 - first_name: Mark Tobias full_name: Bollenbach, Mark Tobias id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87 last_name: Bollenbach orcid: 0000-0003-4398-476X - first_name: Savaş full_name: Tay, Savaş last_name: Tay - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Matthias full_name: Mehling, Matthias id: 3C23B994-F248-11E8-B48F-1D18A9856A87 last_name: Mehling orcid: 0000-0001-8599-1226 citation: ama: Schwarz J, Bierbaum V, Merrin J, et al. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 2016;6. doi:10.1038/srep36440 apa: Schwarz, J., Bierbaum, V., Merrin, J., Frank, T., Hauschild, R., Bollenbach, M. T., … Mehling, M. (2016). A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep36440 chicago: Schwarz, Jan, Veronika Bierbaum, Jack Merrin, Tino Frank, Robert Hauschild, Mark Tobias Bollenbach, Savaş Tay, Michael K Sixt, and Matthias Mehling. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep36440. ieee: J. Schwarz et al., “A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients,” Scientific Reports, vol. 6. Nature Publishing Group, 2016. ista: Schwarz J, Bierbaum V, Merrin J, Frank T, Hauschild R, Bollenbach MT, Tay S, Sixt MK, Mehling M. 2016. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 6, 36440. mla: Schwarz, Jan, et al. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports, vol. 6, 36440, Nature Publishing Group, 2016, doi:10.1038/srep36440. short: J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016). date_created: 2018-12-11T11:50:27Z date_published: 2016-11-07T00:00:00Z date_updated: 2021-01-12T06:48:41Z day: '07' ddc: - '579' department: - _id: MiSi - _id: NanoFab - _id: Bio - _id: ToBo doi: 10.1038/srep36440 ec_funded: 1 file: - access_level: open_access content_type: application/pdf creator: system date_created: 2018-12-12T10:09:32Z date_updated: 2018-12-12T10:09:32Z file_id: '4756' file_name: IST-2017-744-v1+1_srep36440.pdf file_size: 2353456 relation: main_file file_date_updated: 2018-12-12T10:09:32Z has_accepted_license: '1' intvolume: ' 6' language: - iso: eng month: '11' oa: 1 oa_version: Published Version project: - _id: 25A603A2-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '281556' name: Cytoskeletal force generation and force transduction of migrating leukocytes (EU) - _id: 25A8E5EA-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Y 564-B12 name: Cytoskeletal force generation and transduction of leukocytes (FWF) publication: Scientific Reports publication_status: published publisher: Nature Publishing Group publist_id: '6204' pubrep_id: '744' quality_controlled: '1' scopus_import: 1 status: public title: A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients 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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 6 year: '2016' ... --- _id: '1157' abstract: - lang: eng text: We consider sample covariance matrices of the form Q = ( σ1/2X)(σ1/2X)∗, where the sample X is an M ×N random matrix whose entries are real independent random variables with variance 1/N and whereσ is an M × M positive-definite deterministic matrix. We analyze the asymptotic fluctuations of the largest rescaled eigenvalue of Q when both M and N tend to infinity with N/M →d ϵ (0,∞). For a large class of populations σ in the sub-critical regime, we show that the distribution of the largest rescaled eigenvalue of Q is given by the type-1 Tracy-Widom distribution under the additional assumptions that (1) either the entries of X are i.i.d. Gaussians or (2) that σ is diagonal and that the entries of X have a sub-exponential decay. acknowledgement: "We thank Horng-Tzer Yau for numerous discussions and remarks. We are grateful to Ben Adlam, Jinho Baik, Zhigang Bao, Paul Bourgade, László Erd ̋os, Iain Johnstone and Antti Knowles for comments. We are also grate-\r\nful to the anonymous referee for carefully reading our manuscript and suggesting several improvements." author: - first_name: Ji full_name: Lee, Ji last_name: Lee - first_name: Kevin full_name: Schnelli, Kevin id: 434AD0AE-F248-11E8-B48F-1D18A9856A87 last_name: Schnelli orcid: 0000-0003-0954-3231 citation: ama: Lee J, Schnelli K. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 2016;26(6):3786-3839. doi:10.1214/16-AAP1193 apa: Lee, J., & Schnelli, K. (2016). Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AAP1193 chicago: Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/16-AAP1193. ieee: J. Lee and K. Schnelli, “Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population,” Annals of Applied Probability, vol. 26, no. 6. Institute of Mathematical Statistics, pp. 3786–3839, 2016. ista: Lee J, Schnelli K. 2016. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 26(6), 3786–3839. mla: Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability, vol. 26, no. 6, Institute of Mathematical Statistics, 2016, pp. 3786–839, doi:10.1214/16-AAP1193. short: J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839. date_created: 2018-12-11T11:50:27Z date_published: 2016-12-15T00:00:00Z date_updated: 2021-01-12T06:48:43Z day: '15' department: - _id: LaEr doi: 10.1214/16-AAP1193 ec_funded: 1 intvolume: ' 26' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1409.4979 month: '12' oa: 1 oa_version: Preprint page: 3786 - 3839 project: - _id: 258DCDE6-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '338804' name: Random matrices, universality and disordered quantum systems publication: Annals of Applied Probability publication_status: published publisher: Institute of Mathematical Statistics publist_id: '6201' quality_controlled: '1' scopus_import: 1 status: public title: Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 26 year: '2016' ... --- _id: '11574' abstract: - lang: eng text: We present new results from the widest narrow-band survey search for Lyα emitters at z = 5.7, just after reionization. We survey a total of 7 deg2 spread over the COSMOS, UDS and SA22 fields. We find over 11 000 line emitters, out of which 514 are robust Lyα candidates at z = 5.7 within a volume of 6.3 × 106 Mpc3. Our Lyα emitters span a wide range in Lyα luminosities, from faint to bright (LLyα ∼ 1042.5–44 erg s−1) and rest-frame equivalent widths (EW0 ∼ 25–1000 Å) in a single, homogeneous data set. By combining all our fields, we find that the faint end slope of the z = 5.7 Lyα luminosity function is very steep, with α=−2.3+0.4−0.3⁠. We also present an updated z = 6.6 Lyα luminosity function, based on comparable volumes and obtained with the same methods, which we directly compare with that at z = 5.7. We find a significant decline of the number density of faint Lyα emitters from z = 5.7 to 6.6 (by 0.5 ± 0.1 dex), but no evolution at the bright end/no evolution in L*. Faint Lyα emitters at z = 6.6 show much more extended haloes than those at z = 5.7, suggesting that neutral Hydrogen plays an important role, increasing the scattering and leading to observations missing faint Lyα emission within the epoch of reionization. Altogether, our results suggest that we are observing patchy reionization which happens first around the brightest Lyα emitters, allowing the number densities of those sources to remain unaffected by the increase of neutral Hydrogen fraction from z ∼ 5 to 7. acknowledgement: 'We thank the anonymous referee for useful and constructive comments and suggestions which greatly improved the quality and clarity of our work. The authors acknowledge financial support from the Netherlands Organisation for Scientific research (NWO) through a Veni fellowship. SS and DS acknowledge funding from FCT through an FCT Investigator Starting Grant and Start-up Grant (IF/01154/2012/CP0189/CT0010). SS also acknowledges support from FCT through the research grants UID/FIS/04434/2013 and PTDC/FIS-AST/2194/2012. JM acknowledges a Huygens PhD fellowship from Leiden University. Based on observations with the Subaru Telescope (Program IDs: S05B-027, S06A-025, S06B-010, S07A-013, S07B-008, S08B-008, S09A-017, S14A-086). Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme ID 294.A-5018. Based on observations obtained with MegaPrime/Megacam, a joint project of CFHT and CEA/IRFU, at the Canada–France–Hawaii Telescope (CFHT) which is operated by the National Research Council (NRC) of Canada, the Institut National des Science de l’Univers of the Centre National de la Recherche Scientifique (CNRS) of France, and the University of Hawaii. This work is based in part on data products produced at TERAPIX available at the Canadian Astronomy Data Centre as part of the Canada–France–Hawaii Telescope Legacy Survey, a collaborative project of NRC and CNRS. Based on data products from observations made with ESO Telescopes at the La Silla Paranal Observatory under ESO programme ID 179.A-2005 and on data products produced by TERAPIX and the Cambridge Astronomy Survey Unit on behalf of the UltraVISTA consortium. We are grateful to the CFHTLS, COSMOS-UltraVISTA, UKIDSS, SXDF and COSMOS survey teams. Without these legacy surveys, this research would have been impossible. The authors wish to recognize and acknowledge the very significant cultural role and reverence that the summit of Mauna Kea has always had within the indigenous Hawaiian community. We are most fortunate to have the opportunity to conduct and explore observations from this mountain. Finally, the authors acknowledge the unique value of the publicly available programming language PYTHON, including the NUMPY, PYFITS, MATPLOTLIB, SCIPY and ASTROPY (Astropy Collaboration et al.' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Sérgio full_name: Santos, Sérgio last_name: Santos - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X citation: ama: 'Santos S, Sobral D, Matthee JJ. The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 2016;463(2):1678-1691. doi:10.1093/mnras/stw2076' apa: 'Santos, S., Sobral, D., & Matthee, J. J. (2016). The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw2076' chicago: 'Santos, Sérgio, David Sobral, and Jorryt J Matthee. “The Lyα Luminosity Function at Z= 5.7–6.6 and the Steep Drop of the Faint End: Implications for Reionization.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw2076.' ieee: 'S. Santos, D. Sobral, and J. J. Matthee, “The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization,” Monthly Notices of the Royal Astronomical Society, vol. 463, no. 2. Oxford University Press, pp. 1678–1691, 2016.' ista: 'Santos S, Sobral D, Matthee JJ. 2016. The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 463(2), 1678–1691.' mla: 'Santos, Sérgio, et al. “The Lyα Luminosity Function at Z= 5.7–6.6 and the Steep Drop of the Faint End: Implications for Reionization.” Monthly Notices of the Royal Astronomical Society, vol. 463, no. 2, Oxford University Press, 2016, pp. 1678–91, doi:10.1093/mnras/stw2076.' short: S. Santos, D. Sobral, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 463 (2016) 1678–1691. date_created: 2022-07-13T10:08:20Z date_published: 2016-12-01T00:00:00Z date_updated: 2022-08-19T08:09:54Z day: '01' doi: 10.1093/mnras/stw2076 extern: '1' external_id: arxiv: - '1606.07435' intvolume: ' 463' issue: '2' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: high-redshift' - 'galaxies: luminosity function' - mass function - 'cosmology: observations' - dark ages - reionization - first stars language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1606.07435 month: '12' oa: 1 oa_version: Preprint page: 1678-1691 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 463 year: '2016' ... --- _id: '11575' abstract: - lang: eng text: We investigate correlations between different physical properties of star-forming galaxies in the ‘Evolution and Assembly of GaLaxies and their Environments’ (EAGLE) cosmological hydrodynamical simulation suite over the redshift range 0 ≤ z ≤ 4.5. A principal component analysis reveals that neutral gas fraction (fgas,neutral), stellar mass (Mstellar) and star formation rate (SFR) account for most of the variance seen in the population, with galaxies tracing a two-dimensional, nearly flat, surface in the three-dimensional space of fgas, neutral–Mstellar–SFR with little scatter. The location of this plane varies little with redshift, whereas galaxies themselves move along the plane as their fgas, neutral and SFR drop with redshift. The positions of galaxies along the plane are highly correlated with gas metallicity. The metallicity can therefore be robustly predicted from fgas, neutral, or from the Mstellar and SFR. We argue that the appearance of this ‘Fundamental Plane of star formation’ is a consequence of self-regulation, with the plane's curvature set by the dependence of the SFR on gas density and metallicity. We analyse a large compilation of observations spanning the redshift range 0 ≲ z ≲ 3, and find that such a plane is also present in the data. The properties of the observed Fundamental Plane of star formation are in good agreement with EAGLE's predictions. acknowledgement: We thank Luca Cortese, Matt Bothwell, Paola Santini and Tim Davis for providing observational data sets, and Aaron Robotham, Luca Cortese and Barbara Catinella for useful discussions. CdPL is funded by a Discovery Early Career Researcher Award (DE150100618). CdPL also thanks the MERAC Foundation for a Postdoctoral Research Award. This work used the DiRAC Data Centric system at Durham University, operated by the Institute for Computational Cosmology on behalf of the STFC DiRAC HPC Facility (www.dirac.ac.uk). This equipment was funded by BIS National E-infrastructure capital grant ST/K00042X/1, STFC capital grant ST/H008519/1, and STFC DiRAC Operations grant ST/K003267/1 and Durham University. DiRAC is part of the National E-Infrastructure. Support was also received via the Interuniversity Attraction Poles Programme initiated by the Belgian Science Policy Office ([AP P7/08 CHARM]), the National Science Foundation under grant no. NSF PHY11-25915, and the UK Science and Technology Facilities Council (grant numbers ST/F001166/1 and ST/I000976/1) via rolling and consolidating grants awarded to the ICC. The research was supported in part by the European Research Council under the European Union‘s Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement 278594-GasAroundGalaxies. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Claudia del P. full_name: Lagos, Claudia del P. last_name: Lagos - first_name: Tom full_name: Theuns, Tom last_name: Theuns - first_name: Joop full_name: Schaye, Joop last_name: Schaye - first_name: Michelle full_name: Furlong, Michelle last_name: Furlong - first_name: Richard G. full_name: Bower, Richard G. last_name: Bower - first_name: Matthieu full_name: Schaller, Matthieu last_name: Schaller - first_name: Robert A. full_name: Crain, Robert A. last_name: Crain - first_name: James W. full_name: Trayford, James W. last_name: Trayford - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X citation: ama: Lagos C del P, Theuns T, Schaye J, et al. The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. 2016;459(3):2632-2650. doi:10.1093/mnras/stw717 apa: Lagos, C. del P., Theuns, T., Schaye, J., Furlong, M., Bower, R. G., Schaller, M., … Matthee, J. J. (2016). The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw717 chicago: Lagos, Claudia del P., Tom Theuns, Joop Schaye, Michelle Furlong, Richard G. Bower, Matthieu Schaller, Robert A. Crain, James W. Trayford, and Jorryt J Matthee. “The Fundamental Plane of Star Formation in Galaxies Revealed by the EAGLE Hydrodynamical Simulations.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw717. ieee: C. del P. Lagos et al., “The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations,” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 3. Oxford University Press, pp. 2632–2650, 2016. ista: Lagos C del P, Theuns T, Schaye J, Furlong M, Bower RG, Schaller M, Crain RA, Trayford JW, Matthee JJ. 2016. The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. 459(3), 2632–2650. mla: Lagos, Claudia del P., et al. “The Fundamental Plane of Star Formation in Galaxies Revealed by the EAGLE Hydrodynamical Simulations.” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 3, Oxford University Press, 2016, pp. 2632–50, doi:10.1093/mnras/stw717. short: C. del P. Lagos, T. Theuns, J. Schaye, M. Furlong, R.G. Bower, M. Schaller, R.A. Crain, J.W. Trayford, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 459 (2016) 2632–2650. date_created: 2022-07-13T10:21:24Z date_published: 2016-07-01T00:00:00Z date_updated: 2022-08-19T08:12:07Z day: '01' doi: 10.1093/mnras/stw717 extern: '1' external_id: arxiv: - '1510.08067' intvolume: ' 459' issue: '3' keyword: - Space and Planetary Science - 'Astronomy and Astrophysics stars: formation' - 'ISM: evolution' - 'galaxies: evolution' - 'galaxies: formation' - 'galaxies: ISM' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1510.08067 month: '07' oa: 1 oa_version: Preprint page: 2632-2650 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 459 year: '2016' ... --- _id: '11576' abstract: - lang: eng text: We use new near-infrared spectroscopic observations to investigate the nature and evolution of the most luminous Hα emitters at z ∼ 0.8–2.23, which evolve strongly in number density over this period, and compare them to more typical Hα emitters. We study 59 luminous Hα emitters with LHα > L∗Hα⁠, roughly equally split per redshift slice at z ∼ 0.8, 1.47 and 2.23 from the HiZELS and CF-HiZELS surveys. We find that, overall, 30 ± 8 per cent are active galactic nuclei [AGNs; 80 ± 30 per cent of these AGNs are broad-line AGNs, BL-AGNs], and we find little to no evolution in the AGN fraction with redshift, within the errors. However, the AGN fraction increases strongly with Hα luminosity and correlates best with LHα/L∗Hα(z)⁠. While LHα ≤ L∗Hα(z) Hα emitters are largely dominated by star-forming galaxies (>80 per cent), the most luminous Hα emitters (⁠LHα>10L∗Hα(z)⁠) at any cosmic time are essentially all BL-AGN. Using our AGN-decontaminated sample of luminous star-forming galaxies, and integrating down to a fixed Hα luminosity, we find a factor of ∼1300 evolution in the star formation rate density from z = 0 to 2.23. This is much stronger than the evolution from typical Hα star-forming galaxies and in line with the evolution seen for constant luminosity cuts used to select ‘ultraluminous’ infrared galaxies and/or sub-millimetre galaxies. By taking into account the evolution in the typical Hα luminosity, we show that the most strongly star-forming Hα-selected galaxies at any epoch (⁠LHα>L∗Hα(z)⁠) contribute the same fractional amount of ≈15 per cent to the total star formation rate density, at least up to z = 2.23. acknowledgement: "The authors would like to thank the anonymous reviewer for the many helpful comments and suggestions which greatly improved the clarity and quality of this work. DS and SAK acknowledge financial support from the Netherlands Organisation for Scientific research (NWO) through a Veni fellowship. DS also acknowledges funding from FCT through an FCT Investigator Starting Grant and Start-up Grant (IF/01154/2012/CP0189/CT0010) and from FCT grant PEst-OE/FIS/UI2751/2014. Part of this project was undertaken during the inaugural Leiden/ESA Astrophysics Program for Summer Students (LEAPS). IRS acknowledges support from STFC (ST/L00075X/1), the ERC Advanced Investigator programme DUSTYGAL 321334 and a Royal Society/Wolfson merit award. CH acknowledges support from STFC. Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme ID 087.A-0337 and ID 089.A-0965. Also based on data from the Telescopio Nazionale Galileo, with time awarded through OPTICON programmes 2011A/026 and 2012A020 and the William Herschel Telescope under programme W12BN007. The William Herschel Telescope is operated on the island of La Palma by the Isaac Newton Group in the Spanish\r\nObservatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias. The authors wish to thank all the help given by the telescope staff from all the observatories used in this study: ESO staff in La Silla, and the TNG and WHT staff in La Palma. This publication makes use of data products from the Two Micron All-Sky Survey, which is a joint project of the University of Massachusetts and the Infrared Processing and Analysis Center/California Institute of Technology, funded by the National Aeronautics and Space Administration and the National Science Foundation." article_processing_charge: No article_type: original arxiv: 1 author: - first_name: David full_name: Sobral, David last_name: Sobral - first_name: Saul A. full_name: Kohn, Saul A. last_name: Kohn - first_name: Philip N. full_name: Best, Philip N. last_name: Best - first_name: Ian full_name: Smail, Ian last_name: Smail - first_name: Chris M. full_name: Harrison, Chris M. last_name: Harrison - first_name: John full_name: Stott, John last_name: Stott - first_name: João full_name: Calhau, João last_name: Calhau - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X citation: ama: 'Sobral D, Kohn SA, Best PN, et al. The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies. Monthly Notices of the Royal Astronomical Society. 2016;457(2):1739-1752. doi:10.1093/mnras/stw022' apa: 'Sobral, D., Kohn, S. A., Best, P. N., Smail, I., Harrison, C. M., Stott, J., … Matthee, J. J. (2016). The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw022' chicago: 'Sobral, David, Saul A. Kohn, Philip N. Best, Ian Smail, Chris M. Harrison, John Stott, João Calhau, and Jorryt J Matthee. “The Most Luminous H α Emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and Star-Forming Galaxies.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw022.' ieee: 'D. Sobral et al., “The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies,” Monthly Notices of the Royal Astronomical Society, vol. 457, no. 2. Oxford University Press, pp. 1739–1752, 2016.' ista: 'Sobral D, Kohn SA, Best PN, Smail I, Harrison CM, Stott J, Calhau J, Matthee JJ. 2016. The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies. Monthly Notices of the Royal Astronomical Society. 457(2), 1739–1752.' mla: 'Sobral, David, et al. “The Most Luminous H α Emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and Star-Forming Galaxies.” Monthly Notices of the Royal Astronomical Society, vol. 457, no. 2, Oxford University Press, 2016, pp. 1739–52, doi:10.1093/mnras/stw022.' short: D. Sobral, S.A. Kohn, P.N. Best, I. Smail, C.M. Harrison, J. Stott, J. Calhau, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 457 (2016) 1739–1752. date_created: 2022-07-13T12:50:36Z date_published: 2016-04-01T00:00:00Z date_updated: 2022-08-19T08:15:21Z day: '01' doi: 10.1093/mnras/stw022 extern: '1' external_id: arxiv: - '1601.02266' intvolume: ' 457' issue: '2' keyword: - Space and Planetary Science - Astronomy and Astrophysics - 'galaxies: evolution' - 'galaxies: high-redshift' - 'cosmology: observations' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1601.02266 month: '04' oa: 1 oa_version: Preprint page: 1739-1752 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: eissn: - 1365-2966 issn: - 0035-8711 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 457 year: '2016' ...