--- _id: '1605' abstract: - lang: eng text: Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model. acknowledgement: This work was partly supported by the European Research Council (ERC) under grant 267989 (QUAREM), by the Austrian Science Fund (FWF) under grants S11402-N23, S11405-N23 and S11412-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), and by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS, http://www.avacs.org/). alternative_title: - LNCS article_processing_charge: No author: - first_name: Sergiy full_name: Bogomolov, Sergiy id: 369D9A44-F248-11E8-B48F-1D18A9856A87 last_name: Bogomolov orcid: 0000-0002-0686-0365 - first_name: Christian full_name: Schilling, Christian id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87 last_name: Schilling orcid: 0000-0003-3658-1065 - first_name: Ezio full_name: Bartocci, Ezio last_name: Bartocci - first_name: Grégory full_name: Batt, Grégory last_name: Batt - first_name: Hui full_name: Kong, Hui id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87 last_name: Kong orcid: 0000-0002-3066-6941 - first_name: Radu full_name: Grosu, Radu last_name: Grosu citation: ama: 'Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:10.1007/978-3-319-26287-1_2' apa: 'Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_2' chicago: Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2. ieee: 'S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.' ista: 'Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.' mla: Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2. short: S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35. conference: end_date: 2015-11-19 location: Haifa, Israel name: 'HVC: Haifa Verification Conference' start_date: 2015-11-17 date_created: 2018-12-11T11:52:59Z date_published: 2015-11-28T00:00:00Z date_updated: 2021-01-12T06:51:56Z day: '28' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-319-26287-1_2 ec_funded: 1 file: - access_level: open_access checksum: 3aab260f3f34641d622030ba22645b3e content_type: application/pdf creator: dernst date_created: 2020-05-15T08:43:19Z date_updated: 2020-07-14T12:45:05Z file_id: '7851' file_name: 2015_LNCS_Bogomolov.pdf file_size: 1053207 relation: main_file file_date_updated: 2020-07-14T12:45:05Z has_accepted_license: '1' intvolume: ' 9434' language: - iso: eng month: '11' oa: 1 oa_version: Submitted Version page: 19 - 35 project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication_status: published publisher: Springer publist_id: '5561' quality_controlled: '1' scopus_import: 1 status: public title: Abstraction-based parameter synthesis for multiaffine systems type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 9434 year: '2015' ... --- _id: '1606' abstract: - lang: eng text: 'In this paper, we present the first steps toward a runtime verification framework for monitoring hybrid and cyber-physical systems (CPS) development tools based on randomized differential testing. The development tools include hybrid systems reachability analysis tools, model-based development environments like Simulink/Stateflow (SLSF), etc. First, hybrid automaton models are randomly generated. Next, these hybrid automaton models are translated to a number of different tools (currently, SpaceEx, dReach, Flow*, HyCreate, and the MathWorks’ Simulink/Stateflow) using the HyST source transformation and translation tool. Then, the hybrid automaton models are executed in the different tools and their outputs are parsed. The final step is the differential comparison: the outputs of the different tools are compared. If the results do not agree (in the sense that an analysis or verification result from one tool does not match that of another tool, ignoring timeouts, etc.), a candidate bug is flagged and the model is saved for future analysis by the user. The process then repeats and the monitoring continues until the user terminates the process. We present preliminary results that have been useful in identifying a few bugs in the analysis methods of different development tools, and in an earlier version of HyST.' alternative_title: - LNCS article_processing_charge: No author: - first_name: Luan full_name: Nguyen, Luan last_name: Nguyen - first_name: Christian full_name: Schilling, Christian last_name: Schilling - first_name: Sergiy full_name: Bogomolov, Sergiy id: 369D9A44-F248-11E8-B48F-1D18A9856A87 last_name: Bogomolov orcid: 0000-0002-0686-0365 - first_name: Taylor full_name: Johnson, Taylor last_name: Johnson citation: ama: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. Runtime verification for hybrid analysis tools. In: 6th International Conference. Vol 9333. Springer Nature; 2015:281-286. doi:10.1007/978-3-319-23820-3_19' apa: 'Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Runtime verification for hybrid analysis tools. In 6th International Conference (Vol. 9333, pp. 281–286). Vienna, Austria: Springer Nature. https://doi.org/10.1007/978-3-319-23820-3_19' chicago: Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.” In 6th International Conference, 9333:281–86. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-23820-3_19. ieee: L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286. ista: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. 2015. Runtime verification for hybrid analysis tools. 6th International Conference. RV: Runtime Verification, LNCS, vol. 9333, 281–286.' mla: Nguyen, Luan, et al. “Runtime Verification for Hybrid Analysis Tools.” 6th International Conference, vol. 9333, Springer Nature, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19. short: L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286. conference: end_date: 2015-09-25 location: Vienna, Austria name: 'RV: Runtime Verification' start_date: 2015-09-22 date_created: 2018-12-11T11:52:59Z date_published: 2015-11-15T00:00:00Z date_updated: 2022-02-01T14:52:59Z day: '15' department: - _id: ToHe doi: 10.1007/978-3-319-23820-3_19 ec_funded: 1 intvolume: ' 9333' language: - iso: eng month: '11' oa_version: None page: 281 - 286 project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication: 6th International Conference publication_identifier: isbn: - 978-3-319-23819-7 publication_status: published publisher: Springer Nature publist_id: '5562' quality_controlled: '1' scopus_import: '1' status: public title: Runtime verification for hybrid analysis tools type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 9333 year: '2015' ... --- _id: '1609' abstract: - lang: eng text: The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is “constructed from scratch” rather than composed from reusable components. However, this is rare in practice, and almost every non-trivial software system relies heavily on the use of libraries of reusable components. Recently, Lustig and Vardi introduced dataflow and controlflow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while controlflow synthesis is decidable. The problem of controlflow synthesis from libraries of probabilistic components was considered by Nain, Lustig and Vardi, and was shown to be decidable for qualitative analysis (that asks that the specification be satisfied with probability 1). Our main contribution for controlflow synthesis from probabilistic components is to establish better complexity bounds for the qualitative analysis problem, and to show that the more general quantitative problem is undecidable. For the qualitative analysis, we show that the problem (i) is EXPTIME-complete when the specification is given as a deterministic parity word automaton, improving the previously known 2EXPTIME upper bound; and (ii) belongs to UP ∩ coUP and is parity-games hard, when the specification is given directly as a parity condition on the components, improving the previously known EXPTIME upper bound. acknowledgement: 'This research was supported by Austrian Science Fund (FWF) Grant No P23499- N23, FWF NFN Grant No S11407-N23 (SHiNE), ERC Start grant (279307: Graph Games), EU FP7 Project Cassting, NSF grants CNS 1049862 and CCF-1139011, by NSF Expeditions in Computing project “ExCAPE: Expeditions in Computer Augmented Program Engineering”, by BSF grant 9800096, and by gift from Intel.' alternative_title: - LNCS article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Laurent full_name: Doyen, Laurent last_name: Doyen - first_name: Moshe full_name: Vardi, Moshe last_name: Vardi citation: ama: 'Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:108-120. doi:10.1007/978-3-662-47666-6_9' apa: 'Chatterjee, K., Doyen, L., & Vardi, M. (2015). The complexity of synthesis from probabilistic components. In 42nd International Colloquium (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47666-6_9' chicago: Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” In 42nd International Colloquium, 9135:108–20. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47666-6_9. ieee: K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” in 42nd International Colloquium, Kyoto, Japan, 2015, vol. 9135, pp. 108–120. ista: 'Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.' mla: Chatterjee, Krishnendu, et al. “The Complexity of Synthesis from Probabilistic Components.” 42nd International Colloquium, vol. 9135, Springer Nature, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9. short: K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120. conference: end_date: 2015-07-10 location: Kyoto, Japan name: 'ICALP: Automata, Languages and Programming' start_date: 2015-07-06 date_created: 2018-12-11T11:53:00Z date_published: 2015-06-20T00:00:00Z date_updated: 2022-02-01T15:04:44Z day: '20' department: - _id: KrCh doi: 10.1007/978-3-662-47666-6_9 ec_funded: 1 intvolume: ' 9135' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1502.04844 month: '06' oa: 1 oa_version: Preprint page: 108 - 120 project: - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' publication: 42nd International Colloquium publication_identifier: isbn: - 978-3-662-47665-9 publication_status: published publisher: Springer Nature publist_id: '5557' quality_controlled: '1' scopus_import: '1' status: public title: The complexity of synthesis from probabilistic components type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 9135 year: '2015' ... --- _id: '1615' abstract: - lang: eng text: Loss-of-function mutations in the synaptic adhesion protein Neuroligin-4 are among the most common genetic abnormalities associated with autism spectrum disorders, but little is known about the function of Neuroligin-4 and the consequences of its loss. We assessed synaptic and network characteristics in Neuroligin-4 knockout mice, focusing on the hippocampus as a model brain region with a critical role in cognition and memory, and found that Neuroligin-4 deletion causes subtle defects of the protein composition and function of GABAergic synapses in the hippocampal CA3 region. Interestingly, these subtle synaptic changes are accompanied by pronounced perturbations of γ-oscillatory network activity, which has been implicated in cognitive function and is altered in multiple psychiatric and neurodevelopmental disorders. Our data provide important insights into the mechanisms by which Neuroligin-4-dependent GABAergic synapses may contribute to autism phenotypes and indicate new strategies for therapeutic approaches. acknowledgement: This work was supported by the Max Planck Society (N.B. and H.E.), the European Commission (EU-AIMS FP7-115300, N.B. and H.E.; Marie Curie IRG, D.K.-B.), the German Research Foundation (CNMPB, N.B., H.E., and F.V.), the Alexander von Humboldt-Foundation (D.K.-B.), and the Austrian Fond zur Förderung der Wissenschaftlichen Forschung (P 24909-B24, P.J.). M.H. was a student of the doctoral program Molecular Physiology of the Brain. Dr. J.-M. Fritschy generously provided the GABAARγ2 antibody. We thank F. Benseler, I. Thanhäuser, D. Schwerdtfeger, A. Ronnenberg, and D. Winkler for valuable advice and excellent technical support. We are grateful to the staff at the animal facility of the Max Planck Institute of Experimental Medicine for mouse husbandry. author: - first_name: Matthieu full_name: Hammer, Matthieu last_name: Hammer - first_name: Dilja full_name: Krueger Burg, Dilja last_name: Krueger Burg - first_name: Liam full_name: Tuffy, Liam last_name: Tuffy - first_name: Benjamin full_name: Cooper, Benjamin last_name: Cooper - first_name: Holger full_name: Taschenberger, Holger last_name: Taschenberger - first_name: Sarit full_name: Goswami, Sarit id: 3A578F32-F248-11E8-B48F-1D18A9856A87 last_name: Goswami - first_name: Hannelore full_name: Ehrenreich, Hannelore last_name: Ehrenreich - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Frederique full_name: Varoqueaux, Frederique last_name: Varoqueaux - first_name: Jeong full_name: Rhee, Jeong last_name: Rhee - first_name: Nils full_name: Brose, Nils last_name: Brose citation: ama: Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011 apa: Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S., … Brose, N. (2015). Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2015.09.011 chicago: Hammer, Matthieu, Dilja Krueger Burg, Liam Tuffy, Benjamin Cooper, Holger Taschenberger, Sarit Goswami, Hannelore Ehrenreich, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports. Cell Press, 2015. https://doi.org/10.1016/j.celrep.2015.09.011. ieee: M. Hammer et al., “Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism,” Cell Reports, vol. 13, no. 3. Cell Press, pp. 516–523, 2015. ista: Hammer M, Krueger Burg D, Tuffy L, Cooper B, Taschenberger H, Goswami S, Ehrenreich H, Jonas PM, Varoqueaux F, Rhee J, Brose N. 2015. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 13(3), 516–523. mla: Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011. short: M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523. date_created: 2018-12-11T11:53:02Z date_published: 2015-10-20T00:00:00Z date_updated: 2021-01-12T06:52:01Z day: '20' ddc: - '570' department: - _id: PeJo doi: 10.1016/j.celrep.2015.09.011 file: - access_level: open_access checksum: 44d30fbb543774b076b4938bd36af9d7 content_type: application/pdf creator: system date_created: 2018-12-12T10:13:23Z date_updated: 2020-07-14T12:45:07Z file_id: '5005' file_name: IST-2016-470-v1+1_1-s2.0-S2211124715010220-main.pdf file_size: 2314406 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 13' issue: '3' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '10' oa: 1 oa_version: Published Version page: 516 - 523 publication: Cell Reports publication_status: published publisher: Cell Press publist_id: '5551' pubrep_id: '470' quality_controlled: '1' scopus_import: 1 status: public title: Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism 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: 13 year: '2015' ... --- _id: '1614' abstract: - lang: eng text: 'GABAergic perisoma-inhibiting fast-spiking interneurons (PIIs) effectively control the activity of large neuron populations by their wide axonal arborizations. It is generally assumed that the output of one PII to its target cells is strong and rapid. Here, we show that, unexpectedly, both strength and time course of PII-mediated perisomatic inhibition change with distance between synaptically connected partners in the rodent hippocampus. Synaptic signals become weaker due to lower contact numbers and decay more slowly with distance, very likely resulting from changes in GABAA receptor subunit composition. When distance-dependent synaptic inhibition is introduced to a rhythmically active neuronal network model, randomly driven principal cell assemblies are strongly synchronized by the PIIs, leading to higher precision in principal cell spike times than in a network with uniform synaptic inhibition. ' author: - first_name: Michael full_name: Strüber, Michael last_name: Strüber - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Marlene full_name: Bartos, Marlene last_name: Bartos citation: ama: Strüber M, Jonas PM, Bartos M. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 2015;112(4):1220-1225. doi:10.1073/pnas.1412996112 apa: Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1412996112 chicago: Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1412996112. ieee: M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4. National Academy of Sciences, pp. 1220–1225, 2015. ista: Strüber M, Jonas PM, Bartos M. 2015. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 112(4), 1220–1225. mla: Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112. short: M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225. date_created: 2018-12-11T11:53:02Z date_published: 2015-01-27T00:00:00Z date_updated: 2021-01-12T06:52:01Z day: '27' ddc: - '570' department: - _id: PeJo doi: 10.1073/pnas.1412996112 ec_funded: 1 external_id: pmid: - '25583495' file: - access_level: open_access checksum: 6703309a1f58493cf5a704211fb6ebed content_type: application/pdf creator: dernst date_created: 2019-01-17T07:52:40Z date_updated: 2020-07-14T12:45:07Z file_id: '5838' file_name: 2015_PNAS_Strueber.pdf file_size: 1280860 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 112' issue: '4' language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 1220 - 1225 pmid: 1 project: - _id: 25C26B1E-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P24909-B24 name: Mechanisms of transmitter release at GABAergic synapses - _id: 25C0F108-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '268548' name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons publication: PNAS publication_status: published publisher: National Academy of Sciences publist_id: '5552' quality_controlled: '1' scopus_import: 1 status: public title: Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 112 year: '2015' ... --- _id: '1611' abstract: - lang: eng text: Biosensors for signaling molecules allow the study of physiological processes by bringing together the fields of protein engineering, fluorescence imaging, and cell biology. Construction of genetically encoded biosensors generally relies on the availability of a binding "core" that is both specific and stable, which can then be combined with fluorescent molecules to create a sensor. However, binding proteins with the desired properties are often not available in nature and substantial improvement to sensors can be required, particularly with regard to their durability. Ancestral protein reconstruction is a powerful protein-engineering tool able to generate highly stable and functional proteins. In this work, we sought to establish the utility of ancestral protein reconstruction to biosensor development, beginning with the construction of an l-arginine biosensor. l-arginine, as the immediate precursor to nitric oxide, is an important molecule in many physiological contexts including brain function. Using a combination of ancestral reconstruction and circular permutation, we constructed a Förster resonance energy transfer (FRET) biosensor for l-arginine (cpFLIPR). cpFLIPR displays high sensitivity and specificity, with a Kd of ∼14 μM and a maximal dynamic range of 35%. Importantly, cpFLIPR was highly robust, enabling accurate l-arginine measurement at physiological temperatures. We established that cpFLIPR is compatible with two-photon excitation fluorescence microscopy and report l-arginine concentrations in brain tissue. author: - first_name: Jason full_name: Whitfield, Jason last_name: Whitfield - first_name: William full_name: Zhang, William last_name: Zhang - first_name: Michel full_name: Herde, Michel last_name: Herde - first_name: Ben full_name: Clifton, Ben last_name: Clifton - first_name: Johanna full_name: Radziejewski, Johanna last_name: Radziejewski - first_name: Harald L full_name: Janovjak, Harald L id: 33BA6C30-F248-11E8-B48F-1D18A9856A87 last_name: Janovjak orcid: 0000-0002-8023-9315 - first_name: Christian full_name: Henneberger, Christian last_name: Henneberger - first_name: Colin full_name: Jackson, Colin last_name: Jackson citation: ama: Whitfield J, Zhang W, Herde M, et al. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 2015;24(9):1412-1422. doi:10.1002/pro.2721 apa: Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L., … Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley. https://doi.org/10.1002/pro.2721 chicago: Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science. Wiley, 2015. https://doi.org/10.1002/pro.2721. ieee: J. Whitfield et al., “Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction,” Protein Science, vol. 24, no. 9. Wiley, pp. 1412–1422, 2015. ista: Whitfield J, Zhang W, Herde M, Clifton B, Radziejewski J, Janovjak HL, Henneberger C, Jackson C. 2015. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 24(9), 1412–1422. mla: Whitfield, Jason, et al. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science, vol. 24, no. 9, Wiley, 2015, pp. 1412–22, doi:10.1002/pro.2721. short: J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422. date_created: 2018-12-11T11:53:01Z date_published: 2015-09-01T00:00:00Z date_updated: 2021-01-12T06:52:00Z day: '01' department: - _id: HaJa doi: 10.1002/pro.2721 external_id: pmid: - '26061224' intvolume: ' 24' issue: '9' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4570536/ month: '09' oa: 1 oa_version: Submitted Version page: 1412 - 1422 pmid: 1 project: - _id: 255BFFFA-B435-11E9-9278-68D0E5697425 grant_number: RGY0084/2012 name: In situ real-time imaging of neurotransmitter signaling using designer optical sensors (HFSP Young Investigator) publication: Protein Science publication_status: published publisher: Wiley publist_id: '5555' quality_controlled: '1' scopus_import: 1 status: public title: Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 24 year: '2015' ... --- _id: '1624' abstract: - lang: eng text: Population structure can facilitate evolution of cooperation. In a structured population, cooperators can form clusters which resist exploitation by defectors. Recently, it was observed that a shift update rule is an extremely strong amplifier of cooperation in a one dimensional spatial model. For the shift update rule, an individual is chosen for reproduction proportional to fecundity; the offspring is placed next to the parent; a random individual dies. Subsequently, the population is rearranged (shifted) until all individual cells are again evenly spaced out. For large population size and a one dimensional population structure, the shift update rule favors cooperation for any benefit-to-cost ratio greater than one. But every attempt to generalize shift updating to higher dimensions while maintaining its strong effect has failed. The reason is that in two dimensions the clusters are fragmented by the movements caused by rearranging the cells. Here we introduce the natural phenomenon of a repulsive force between cells of different types. After a birth and death event, the cells are being rearranged minimizing the overall energy expenditure. If the repulsive force is sufficiently high, shift becomes a strong promoter of cooperation in two dimensions. acknowledgement: 'The research was supported by the Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE/SHiNE), ERC Start grant (279307: Graph Games), and Microsoft Faculty Fellows award. Support from the John Templeton foundation is gratefully acknowledged.' article_number: '17147' author: - first_name: Andreas full_name: Pavlogiannis, Andreas id: 49704004-F248-11E8-B48F-1D18A9856A87 last_name: Pavlogiannis orcid: 0000-0002-8943-0722 - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ben full_name: Adlam, Ben last_name: Adlam - first_name: Martin full_name: Nowak, Martin last_name: Nowak citation: ama: Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. Cellular cooperation with shift updating and repulsion. Scientific Reports. 2015;5. doi:10.1038/srep17147 apa: Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep17147 chicago: Pavlogiannis, Andreas, Krishnendu Chatterjee, Ben Adlam, and Martin Nowak. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports. Nature Publishing Group, 2015. https://doi.org/10.1038/srep17147. ieee: A. Pavlogiannis, K. Chatterjee, B. Adlam, and M. Nowak, “Cellular cooperation with shift updating and repulsion,” Scientific Reports, vol. 5. Nature Publishing Group, 2015. ista: Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. 2015. Cellular cooperation with shift updating and repulsion. Scientific Reports. 5, 17147. mla: Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147. short: A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015). date_created: 2018-12-11T11:53:06Z date_published: 2015-11-25T00:00:00Z date_updated: 2021-01-12T06:52:05Z day: '25' ddc: - '000' department: - _id: KrCh doi: 10.1038/srep17147 ec_funded: 1 file: - access_level: open_access checksum: 38e06d8310d2087cae5f6d4d4bfe082b content_type: application/pdf creator: system date_created: 2018-12-12T10:12:29Z date_updated: 2020-07-14T12:45:07Z file_id: '4947' file_name: IST-2016-466-v1+1_srep17147.pdf file_size: 1021931 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 5' language: - iso: eng month: '11' oa: 1 oa_version: Published Version project: - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 2587B514-B435-11E9-9278-68D0E5697425 name: Microsoft Research Faculty Fellowship publication: Scientific Reports publication_status: published publisher: Nature Publishing Group publist_id: '5536' pubrep_id: '466' quality_controlled: '1' scopus_import: 1 status: public title: Cellular cooperation with shift updating and repulsion 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: 5 year: '2015' ... --- _id: '1623' abstract: - lang: eng text: "Background\r\nPhotosynthetic cyanobacteria are attractive for a range of biotechnological applications including biofuel production. However, due to slow growth, screening of mutant libraries using microtiter plates is not feasible.\r\nResults\r\nWe present a method for high-throughput, single-cell analysis and sorting of genetically engineered l-lactate-producing strains of Synechocystis sp. PCC6803. A microfluidic device is used to encapsulate single cells in picoliter droplets, assay the droplets for l-lactate production, and sort strains with high productivity. We demonstrate the separation of low- and high-producing reference strains, as well as enrichment of a more productive l-lactate-synthesizing population after UV-induced mutagenesis. The droplet platform also revealed population heterogeneity in photosynthetic growth and lactate production, as well as the presence of metabolically stalled cells.\r\nConclusions\r\nThe workflow will facilitate metabolic engineering and directed evolution studies and will be useful in studies of cyanobacteria biochemistry and physiology.\r\n" article_number: '193' author: - first_name: Petter full_name: Hammar, Petter last_name: Hammar - first_name: Andreas full_name: Angermayr, Andreas id: 4677C796-F248-11E8-B48F-1D18A9856A87 last_name: Angermayr orcid: 0000-0001-8619-2223 - first_name: Staffan full_name: Sjostrom, Staffan last_name: Sjostrom - first_name: Josefin full_name: Van Der Meer, Josefin last_name: Van Der Meer - first_name: Klaas full_name: Hellingwerf, Klaas last_name: Hellingwerf - first_name: Elton full_name: Hudson, Elton last_name: Hudson - first_name: Hakaan full_name: Joensson, Hakaan last_name: Joensson citation: ama: Hammar P, Angermayr A, Sjostrom S, et al. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 2015;8(1). doi:10.1186/s13068-015-0380-2 apa: Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., & Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central. https://doi.org/10.1186/s13068-015-0380-2 chicago: Hammar, Petter, Andreas Angermayr, Staffan Sjostrom, Josefin Van Der Meer, Klaas Hellingwerf, Elton Hudson, and Hakaan Joensson. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels. BioMed Central, 2015. https://doi.org/10.1186/s13068-015-0380-2. ieee: P. Hammar et al., “Single-cell screening of photosynthetic growth and lactate production by cyanobacteria,” Biotechnology for Biofuels, vol. 8, no. 1. BioMed Central, 2015. ista: Hammar P, Angermayr A, Sjostrom S, Van Der Meer J, Hellingwerf K, Hudson E, Joensson H. 2015. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 8(1), 193. mla: Hammar, Petter, et al. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels, vol. 8, no. 1, 193, BioMed Central, 2015, doi:10.1186/s13068-015-0380-2. short: P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015). date_created: 2018-12-11T11:53:05Z date_published: 2015-11-25T00:00:00Z date_updated: 2021-01-12T06:52:04Z day: '25' ddc: - '570' department: - _id: ToBo doi: 10.1186/s13068-015-0380-2 file: - access_level: open_access checksum: 172b0b6f4eb2e5c22b7cec1d57dc0107 content_type: application/pdf creator: system date_created: 2018-12-12T10:10:11Z date_updated: 2020-07-14T12:45:07Z file_id: '4796' file_name: IST-2016-467-v1+1_s13068-015-0380-2.pdf file_size: 2914089 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 8' issue: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version publication: Biotechnology for Biofuels publication_status: published publisher: BioMed Central publist_id: '5537' pubrep_id: '467' quality_controlled: '1' scopus_import: 1 status: public title: Single-cell screening of photosynthetic growth and lactate production by cyanobacteria tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2015' ... --- _id: '1625' abstract: - lang: eng text: In recent years we have seen numerous improvements on 3D scanning and tracking of human faces, greatly advancing the creation of digital doubles for film and video games. However, despite the high-resolution quality of the reconstruction approaches available, current methods are unable to capture one of the most important regions of the face - the eye region. In this work we present the first method for detailed spatio-temporal reconstruction of eyelids. Tracking and reconstructing eyelids is extremely challenging, as this region exhibits very complex and unique skin deformation where skin is folded under while opening the eye. Furthermore, eyelids are often only partially visible and obstructed due to selfocclusion and eyelashes. Our approach is to combine a geometric deformation model with image data, leveraging multi-view stereo, optical flow, contour tracking and wrinkle detection from local skin appearance. Our deformation model serves as a prior that enables reconstruction of eyelids even under strong self-occlusions caused by rolling and folding skin as the eye opens and closes. The output is a person-specific, time-varying eyelid reconstruction with anatomically plausible deformations. Our high-resolution detailed eyelids couple naturally with current facial performance capture approaches. As a result, our method can largely increase the fidelity of facial capture and the creation of digital doubles. article_number: '44' author: - first_name: Amit full_name: Bermano, Amit last_name: Bermano - first_name: Thabo full_name: Beeler, Thabo last_name: Beeler - first_name: Yeara full_name: Kozlov, Yeara last_name: Kozlov - first_name: Derek full_name: Bradley, Derek last_name: Bradley - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: Markus full_name: Gross, Markus last_name: Gross citation: ama: 'Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. Detailed spatio-temporal reconstruction of eyelids. In: Vol 34. ACM; 2015. doi:10.1145/2766924' apa: 'Bermano, A., Beeler, T., Kozlov, Y., Bradley, D., Bickel, B., & Gross, M. (2015). Detailed spatio-temporal reconstruction of eyelids (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766924' chicago: Bermano, Amit, Thabo Beeler, Yeara Kozlov, Derek Bradley, Bernd Bickel, and Markus Gross. “Detailed Spatio-Temporal Reconstruction of Eyelids,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766924. ieee: 'A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, and M. Gross, “Detailed spatio-temporal reconstruction of eyelids,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.' ista: 'Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. 2015. Detailed spatio-temporal reconstruction of eyelids. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 44.' mla: Bermano, Amit, et al. Detailed Spatio-Temporal Reconstruction of Eyelids. Vol. 34, no. 4, 44, ACM, 2015, doi:10.1145/2766924. short: A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, United States name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:06Z date_published: 2015-07-27T00:00:00Z date_updated: 2021-01-12T06:52:05Z day: '27' department: - _id: BeBi doi: 10.1145/2766924 intvolume: ' 34' issue: '4' language: - iso: eng month: '07' oa_version: None publication_status: published publisher: ACM publist_id: '5535' quality_controlled: '1' scopus_import: 1 status: public title: Detailed spatio-temporal reconstruction of eyelids type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1626' abstract: - lang: eng text: This paper introduces "OmniAD," a novel data-driven pipeline to model and acquire the aerodynamics of three-dimensional rigid objects. Traditionally, aerodynamics are examined through elaborate wind tunnel experiments or expensive fluid dynamics computations, and are only measured for a small number of discrete wind directions. OmniAD allows the evaluation of aerodynamic forces, such as drag and lift, for any incoming wind direction using a novel representation based on spherical harmonics. Our datadriven technique acquires the aerodynamic properties of an object simply by capturing its falling motion using a single camera. Once model parameters are estimated, OmniAD enables realistic realtime simulation of rigid bodies, such as the tumbling and gliding of leaves, without simulating the surrounding air. In addition, we propose an intuitive user interface based on OmniAD to interactively design three-dimensional kites that actually fly. Various nontraditional kites were designed to demonstrate the physical validity of our model. alternative_title: - ACM Transactions on Graphics article_number: '113' author: - first_name: Tobias full_name: Martin, Tobias last_name: Martin - first_name: Nobuyuki full_name: Umetani, Nobuyuki last_name: Umetani - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: 'Martin T, Umetani N, Bickel B. OmniAD: Data-driven omni-directional aerodynamics. In: Vol 34. ACM; 2015. doi:10.1145/2766919' apa: 'Martin, T., Umetani, N., & Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766919' chicago: 'Martin, Tobias, Nobuyuki Umetani, and Bernd Bickel. “OmniAD: Data-Driven Omni-Directional Aerodynamics,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766919.' ieee: 'T. Martin, N. Umetani, and B. Bickel, “OmniAD: Data-driven omni-directional aerodynamics,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.' ista: 'Martin T, Umetani N, Bickel B. 2015. OmniAD: Data-driven omni-directional aerodynamics. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 113.' mla: 'Martin, Tobias, et al. OmniAD: Data-Driven Omni-Directional Aerodynamics. Vol. 34, no. 4, 113, ACM, 2015, doi:10.1145/2766919.' short: T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, United States name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:06Z date_published: 2015-07-27T00:00:00Z date_updated: 2021-01-12T06:52:05Z day: '27' department: - _id: BeBi doi: 10.1145/2766919 intvolume: ' 34' issue: '4' language: - iso: eng month: '07' oa_version: None publication_status: published publisher: ACM publist_id: '5532' quality_controlled: '1' scopus_import: 1 status: public title: 'OmniAD: Data-driven omni-directional aerodynamics' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1628' abstract: - lang: eng text: We propose a method for fabricating deformable objects with spatially varying elasticity using 3D printing. Using a single, relatively stiff printer material, our method designs an assembly of smallscale microstructures that have the effect of a softer material at the object scale, with properties depending on the microstructure used in each part of the object. We build on work in the area of metamaterials, using numerical optimization to design tiled microstructures with desired properties, but with the key difference that our method designs families of related structures that can be interpolated to smoothly vary the material properties over a wide range. To create an object with spatially varying elastic properties, we tile the object's interior with microstructures drawn from these families, generating a different microstructure for each cell using an efficient algorithm to select compatible structures for neighboring cells. We show results computed for both 2D and 3D objects, validating several 2D and 3D printed structures using standard material tests as well as demonstrating various example applications. article_number: '136' article_processing_charge: No author: - first_name: Christian full_name: Schumacher, Christian last_name: Schumacher - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: Jan full_name: Rys, Jan last_name: Rys - first_name: Steve full_name: Marschner, Steve last_name: Marschner - first_name: Chiara full_name: Daraio, Chiara last_name: Daraio - first_name: Markus full_name: Gross, Markus last_name: Gross citation: ama: 'Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. Microstructures to control elasticity in 3D printing. In: Vol 34. ACM; 2015. doi:10.1145/2766926' apa: 'Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., & Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766926' chicago: Schumacher, Christian, Bernd Bickel, Jan Rys, Steve Marschner, Chiara Daraio, and Markus Gross. “Microstructures to Control Elasticity in 3D Printing,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766926. ieee: 'C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, and M. Gross, “Microstructures to control elasticity in 3D printing,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.' ista: 'Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. 2015. Microstructures to control elasticity in 3D printing. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 136.' mla: Schumacher, Christian, et al. Microstructures to Control Elasticity in 3D Printing. Vol. 34, no. 4, 136, ACM, 2015, doi:10.1145/2766926. short: C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, USA name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:07Z date_published: 2015-08-01T00:00:00Z date_updated: 2021-01-12T06:52:06Z day: '01' department: - _id: BeBi doi: 10.1145/2766926 intvolume: ' 34' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/2766926 month: '08' oa: 1 oa_version: Published Version publication_status: published publisher: ACM publist_id: '5529' quality_controlled: '1' scopus_import: 1 status: public title: Microstructures to control elasticity in 3D printing type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1627' abstract: - lang: eng text: We present a computational tool for fabrication-oriented design of flexible rod meshes. Given a deformable surface and a set of deformed poses as input, our method automatically computes a printable rod mesh that, once manufactured, closely matches the input poses under the same boundary conditions. The core of our method is formed by an optimization scheme that adjusts the cross-sectional profiles of the rods and their rest centerline in order to best approximate the target deformations. This approach allows us to locally control the bending and stretching resistance of the surface with a single material, yielding high design flexibility and low fabrication cost. acknowledgement: This work was supported in part by grants from the Spanish Ministry of Economy (TIN2012-35840), and the European Research Council (ERC Starting Grant no. 280135 Animetrics). article_number: '138' author: - first_name: Jesús full_name: Pérez, Jesús last_name: Pérez - first_name: Bernhard full_name: Thomaszewski, Bernhard last_name: Thomaszewski - first_name: Stelian full_name: Coros, Stelian last_name: Coros - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: José full_name: Canabal, José last_name: Canabal - first_name: Robert full_name: Sumner, Robert last_name: Sumner - first_name: Miguel full_name: Otaduy, Miguel last_name: Otaduy citation: ama: 'Pérez J, Thomaszewski B, Coros S, et al. Design and fabrication of flexible rod meshes. In: Vol 34. ACM; 2015. doi:10.1145/2766998' apa: 'Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., & Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766998' chicago: Pérez, Jesús, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, José Canabal, Robert Sumner, and Miguel Otaduy. “Design and Fabrication of Flexible Rod Meshes,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766998. ieee: 'J. Pérez et al., “Design and fabrication of flexible rod meshes,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.' ista: 'Pérez J, Thomaszewski B, Coros S, Bickel B, Canabal J, Sumner R, Otaduy M. 2015. Design and fabrication of flexible rod meshes. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 138.' mla: Pérez, Jesús, et al. Design and Fabrication of Flexible Rod Meshes. Vol. 34, no. 4, 138, ACM, 2015, doi:10.1145/2766998. short: J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, United States name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:07Z date_published: 2015-07-27T00:00:00Z date_updated: 2021-01-12T06:52:06Z day: '27' department: - _id: BeBi doi: 10.1145/2766998 intvolume: ' 34' issue: '4' language: - iso: eng month: '07' oa_version: None publication_status: published publisher: ACM publist_id: '5530' quality_controlled: '1' scopus_import: 1 status: public title: Design and fabrication of flexible rod meshes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1634' abstract: - lang: eng text: Simulating the delightful dynamics of soap films, bubbles, and foams has traditionally required the use of a fully three-dimensional many-phase Navier-Stokes solver, even though their visual appearance is completely dominated by the thin liquid surface. We depart from earlier work on soap bubbles and foams by noting that their dynamics are naturally described by a Lagrangian vortex sheet model in which circulation is the primary variable. This leads us to derive a novel circulation-preserving surface-only discretization of foam dynamics driven by surface tension on a non-manifold triangle mesh. We represent the surface using a mesh-based multimaterial surface tracker which supports complex bubble topology changes, and evolve the surface according to the ambient air flow induced by a scalar circulation field stored on the mesh. Surface tension forces give rise to a simple update rule for circulation, even at non-manifold Plateau borders, based on a discrete measure of signed scalar mean curvature. We further incorporate vertex constraints to enable the interaction of soap films with wires. The result is a method that is at once simple, robust, and efficient, yet able to capture an array of soap films behaviors including foam rearrangement, catenoid collapse, blowing bubbles, and double bubbles being pulled apart. article_number: '149' author: - first_name: Fang full_name: Da, Fang last_name: Da - first_name: Christopher full_name: Batty, Christopher last_name: Batty - 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: Eitan full_name: Grinspun, Eitan last_name: Grinspun citation: ama: 'Da F, Batty C, Wojtan C, Grinspun E. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. In: Vol 34. ACM; 2015. doi:10.1145/2767003' apa: 'Da, F., Batty, C., Wojtan, C., & Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2767003' chicago: 'Da, Fang, Christopher Batty, Chris Wojtan, and Eitan Grinspun. “Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2767003.' ieee: 'F. Da, C. Batty, C. Wojtan, and E. Grinspun, “Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.' ista: 'Da F, Batty C, Wojtan C, Grinspun E. 2015. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 149.' mla: 'Da, Fang, et al. Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams. Vol. 34, no. 4, 149, ACM, 2015, doi:10.1145/2767003.' short: F. Da, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, United States name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:09Z date_published: 2015-07-27T00:00:00Z date_updated: 2023-02-23T10:07:42Z day: '27' ddc: - '000' department: - _id: ChWo doi: 10.1145/2767003 ec_funded: 1 file: - access_level: open_access checksum: 57b07d78d2d612a8052744b37d4a71fa content_type: application/pdf creator: system date_created: 2018-12-12T10:11:14Z date_updated: 2020-07-14T12:45:07Z file_id: '4867' file_name: IST-2016-608-v1+1_doublebubbles.pdf file_size: 8973215 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 34' issue: '4' language: - iso: eng month: '07' 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_status: published publisher: ACM publist_id: '5521' pubrep_id: '608' quality_controlled: '1' scopus_import: 1 status: public title: 'Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1636' abstract: - lang: eng text: "Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism R→ΓΓ between two relational structures, e.g. between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for the fixed template CSPs where the right side ΓΓ is fixed and the left side R is unconstrained.\r\n\r\nFar fewer results are known for the hybrid setting that restricts both sides simultaneously. It assumes that R belongs to a certain class of relational structures (called a structural restriction in this paper). We study which structural restrictions are effective, i.e. there exists a fixed template ΓΓ (from a certain class of languages) for which the problem is tractable when R is restricted, and NP-hard otherwise. We provide a characterization for structural restrictions that are closed under inverse homomorphisms. The criterion is based on the chromatic number of a relational structure defined in this paper; it generalizes the standard chromatic number of a graph.\r\n\r\nAs our main tool, we use the algebraic machinery developed for fixed template CSPs. To apply it to our case, we introduce a new construction called a “lifted language”. We also give a characterization for structural restrictions corresponding to minor-closed families of graphs, extend results to certain Valued CSPs (namely conservative valued languages), and state implications for (valued) CSPs with ordered variables and for the maximum weight independent set problem on some restricted families of graphs." alternative_title: - LNCS article_processing_charge: No author: - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov - first_name: Michal full_name: Rolinek, Michal id: 3CB3BC06-F248-11E8-B48F-1D18A9856A87 last_name: Rolinek - first_name: Rustem full_name: Takhanov, Rustem last_name: Takhanov citation: ama: 'Kolmogorov V, Rolinek M, Takhanov R. Effectiveness of structural restrictions for hybrid CSPs. In: 26th International Symposium. Vol 9472. Springer Nature; 2015:566-577. doi:10.1007/978-3-662-48971-0_48' apa: 'Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. In 26th International Symposium (Vol. 9472, pp. 566–577). Nagoya, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-48971-0_48' chicago: Kolmogorov, Vladimir, Michal Rolinek, and Rustem Takhanov. “Effectiveness of Structural Restrictions for Hybrid CSPs.” In 26th International Symposium, 9472:566–77. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-48971-0_48. ieee: V. Kolmogorov, M. Rolinek, and R. Takhanov, “Effectiveness of structural restrictions for hybrid CSPs,” in 26th International Symposium, Nagoya, Japan, 2015, vol. 9472, pp. 566–577. ista: 'Kolmogorov V, Rolinek M, Takhanov R. 2015. Effectiveness of structural restrictions for hybrid CSPs. 26th International Symposium. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 9472, 566–577.' mla: Kolmogorov, Vladimir, et al. “Effectiveness of Structural Restrictions for Hybrid CSPs.” 26th International Symposium, vol. 9472, Springer Nature, 2015, pp. 566–77, doi:10.1007/978-3-662-48971-0_48. short: V. Kolmogorov, M. Rolinek, R. Takhanov, in:, 26th International Symposium, Springer Nature, 2015, pp. 566–577. conference: end_date: 2015-12-11 location: Nagoya, Japan name: 'ISAAC: International Symposium on Algorithms and Computation' start_date: 2015-12-09 date_created: 2018-12-11T11:53:10Z date_published: 2015-12-01T00:00:00Z date_updated: 2022-02-01T15:12:35Z day: '01' department: - _id: VlKo doi: 10.1007/978-3-662-48971-0_48 ec_funded: 1 external_id: arxiv: - '1504.07067' intvolume: ' 9472' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1504.07067 month: '12' oa: 1 oa_version: Preprint page: 566 - 577 project: - _id: 25FBA906-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '616160' name: 'Discrete Optimization in Computer Vision: Theory and Practice' publication: 26th International Symposium publication_identifier: isbn: - 978-3-662-48970-3 publication_status: published publisher: Springer Nature publist_id: '5519' quality_controlled: '1' scopus_import: '1' status: public title: Effectiveness of structural restrictions for hybrid CSPs type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 9472 year: '2015' ... --- _id: '1632' abstract: - lang: eng text: "This paper presents a liquid simulation technique that enforces the incompressibility condition using a stream function solve instead of a pressure projection. Previous methods have used stream function techniques for the simulation of detailed single-phase flows, but a formulation for liquid simulation has proved elusive in part due to the free surface boundary conditions. In this paper, we introduce a stream function approach to liquid simulations with novel boundary conditions for free surfaces, solid obstacles, and solid-fluid coupling.\r\n\r\nAlthough our approach increases the dimension of the linear system necessary to enforce incompressibility, it provides interesting and surprising benefits. First, the resulting flow is guaranteed to be divergence-free regardless of the accuracy of the solve. Second, our free-surface boundary conditions guarantee divergence-free motion even in the un-simulated air phase, which enables two-phase flow simulation by only computing a single phase. We implemented this method using a variant of FLIP simulation which only samples particles within a narrow band of the liquid surface, and we illustrate the effectiveness of our method for detailed two-phase flow simulations with complex boundaries, detailed bubble interactions, and two-way solid-fluid coupling." acknowledgement: The first author was supported by a JSPS Postdoctoral Fellowship for Research Abroad. This work was also supported by the ERC projects ERC-2014-StG-637014 realFlow and ERC-2014- StG-638176 BigSplash. alternative_title: - ACM Transactions on Graphics article_number: '53' author: - first_name: Ryoichi full_name: Ando, Ryoichi last_name: Ando - first_name: Nils full_name: Thuerey, Nils last_name: Thuerey - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 citation: ama: 'Ando R, Thuerey N, Wojtan C. A stream function solver for liquid simulations. In: Vol 34. ACM; 2015. doi:10.1145/2766935' apa: 'Ando, R., Thuerey, N., & Wojtan, C. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766935' chicago: Ando, Ryoichi, Nils Thuerey, and Chris Wojtan. “A Stream Function Solver for Liquid Simulations,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766935. ieee: 'R. Ando, N. Thuerey, and C. Wojtan, “A stream function solver for liquid simulations,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.' ista: 'Ando R, Thuerey N, Wojtan C. 2015. A stream function solver for liquid simulations. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 53.' mla: Ando, Ryoichi, et al. A Stream Function Solver for Liquid Simulations. Vol. 34, no. 4, 53, ACM, 2015, doi:10.1145/2766935. short: R. Ando, N. Thuerey, C. Wojtan, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, USA name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:09Z date_published: 2015-07-27T00:00:00Z date_updated: 2023-02-23T10:07:37Z day: '27' ddc: - '000' department: - _id: ChWo doi: 10.1145/2766935 file: - access_level: open_access checksum: 7a9afdfaba9209157ce19376e15bc90b content_type: application/pdf creator: system date_created: 2018-12-12T10:11:52Z date_updated: 2020-07-14T12:45:07Z file_id: '4909' file_name: IST-2016-610-v1+1_vecpotential.pdf file_size: 21831121 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 34' issue: '4' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version publication_status: published publisher: ACM publist_id: '5523' pubrep_id: '610' quality_controlled: '1' scopus_import: 1 status: public title: A stream function solver for liquid simulations type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1630' abstract: - lang: eng text: We present a method to learn and propagate shape placements in 2D polygonal scenes from a few examples provided by a user. The placement of a shape is modeled as an oriented bounding box. Simple geometric relationships between this bounding box and nearby scene polygons define a feature set for the placement. The feature sets of all example placements are then used to learn a probabilistic model over all possible placements and scenes. With this model, we can generate a new set of placements with similar geometric relationships in any given scene. We introduce extensions that enable propagation and generation of shapes in 3D scenes, as well as the application of a learned modeling session to large scenes without additional user interaction. These concepts allow us to generate complex scenes with thousands of objects with relatively little user interaction. acknowledgement: This publication is based upon work supported by the KAUST Office of Competitive Research Funds (OCRF) under Award No. 62140401, the KAUST Visual Computing Center and the Austrian Science Fund (FWF) projects DEEP PICTURES (no. P24352-N23) and Data-Driven Procedural Modeling of Interiors (no. P24600-N23). article_number: '108' author: - first_name: Paul full_name: Guerrero, Paul last_name: Guerrero - first_name: Stefan full_name: Jeschke, Stefan id: 44D6411A-F248-11E8-B48F-1D18A9856A87 last_name: Jeschke - first_name: Michael full_name: Wimmer, Michael last_name: Wimmer - first_name: Peter full_name: Wonka, Peter last_name: Wonka citation: ama: 'Guerrero P, Jeschke S, Wimmer M, Wonka P. Learning shape placements by example. In: Vol 34. ACM; 2015. doi:10.1145/2766933' apa: 'Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766933' chicago: Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Learning Shape Placements by Example,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766933. ieee: 'P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Learning shape placements by example,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.' ista: 'Guerrero P, Jeschke S, Wimmer M, Wonka P. 2015. Learning shape placements by example. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 108.' mla: Guerrero, Paul, et al. Learning Shape Placements by Example. Vol. 34, no. 4, 108, ACM, 2015, doi:10.1145/2766933. short: P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015. conference: end_date: 2015-08-13 location: Los Angeles, CA, United States name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques' start_date: 2015-08-09 date_created: 2018-12-11T11:53:08Z date_published: 2015-07-27T00:00:00Z date_updated: 2021-01-12T06:52:07Z day: '27' ddc: - '000' department: - _id: ChWo doi: 10.1145/2766933 file: - access_level: open_access checksum: 8b05a51e372c9b0b5af9a00098a9538b content_type: application/pdf creator: system date_created: 2018-12-12T10:07:49Z date_updated: 2020-07-14T12:45:07Z file_id: '4647' file_name: IST-2016-576-v1+1_guerrero-2015-lsp-paper.pdf file_size: 11902290 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 34' issue: '4' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 25357BD2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 24352-N23 name: 'Deep Pictures: Creating Visual and Haptic Vector Images' publication_status: published publisher: ACM publist_id: '5525' pubrep_id: '576' quality_controlled: '1' scopus_import: 1 status: public title: Learning shape placements by example type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 34 year: '2015' ... --- _id: '1640' abstract: - lang: eng text: Auxin and cytokinin are key endogenous regulators of plant development. Although cytokinin-mediated modulation of auxin distribution is a developmentally crucial hormonal interaction, its molecular basis is largely unknown. Here we show a direct regulatory link between cytokinin signalling and the auxin transport machinery uncovering a mechanistic framework for cytokinin-auxin cross-talk. We show that the CYTOKININ RESPONSE FACTORS (CRFs), transcription factors downstream of cytokinin perception, transcriptionally control genes encoding PIN-FORMED (PIN) auxin transporters at a specific PIN CYTOKININ RESPONSE ELEMENT (PCRE) domain. Removal of this cis-regulatory element effectively uncouples PIN transcription from the CRF-mediated cytokinin regulation and attenuates plant cytokinin sensitivity. We propose that CRFs represent a missing cross-talk component that fine-tunes auxin transport capacity downstream of cytokinin signalling to control plant development. acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: This work was supported by the European Research Council Starting Independent Research grant (ERC-2007-Stg-207362-HCPO to E.B., M.S., C.C.), by the Ghent University Multidisciplinary Research Partnership ‘Biotechnology for a Sustainable Economy’ no.01MRB510W, by the Research Foundation—Flanders (grant 3G033711 to J.-A.O.), by the Austrian Science Fund (FWF01_I1774S) to K.Ö.,E.B., and by the Interuniversity Attraction Poles Programme (IUAP P7/29 ‘MARS’) initiated by the Belgian Science Policy Office. I.D.C. and S.V. are post-doctoral fellows of the Research Foundation—Flanders (FWO). This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Bioimaging Facility (BIF), the Life Science Facility (LSF). article_number: '8717' author: - first_name: Mária full_name: Šimášková, Mária last_name: Šimášková - first_name: José full_name: O'Brien, José last_name: O'Brien - first_name: Mamoona full_name: Khan-Djamei, Mamoona id: 391B5BBC-F248-11E8-B48F-1D18A9856A87 last_name: Khan-Djamei - first_name: Giel full_name: Van Noorden, Giel last_name: Van Noorden - first_name: Krisztina full_name: Ötvös, Krisztina id: 29B901B0-F248-11E8-B48F-1D18A9856A87 last_name: Ötvös orcid: 0000-0002-5503-4983 - first_name: Anne full_name: Vieten, Anne last_name: Vieten - first_name: Inge full_name: De Clercq, Inge last_name: De Clercq - first_name: Johanna full_name: Van Haperen, Johanna last_name: Van Haperen - first_name: Candela full_name: Cuesta, Candela id: 33A3C818-F248-11E8-B48F-1D18A9856A87 last_name: Cuesta orcid: 0000-0003-1923-2410 - first_name: Klára full_name: Hoyerová, Klára last_name: Hoyerová - first_name: Steffen full_name: Vanneste, Steffen last_name: Vanneste - first_name: Peter full_name: Marhavy, Peter id: 3F45B078-F248-11E8-B48F-1D18A9856A87 last_name: Marhavy orcid: 0000-0001-5227-5741 - 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: Frank full_name: Van Breusegem, Frank last_name: Van Breusegem - first_name: Moritz full_name: Nowack, Moritz last_name: Nowack - first_name: Angus full_name: Murphy, Angus last_name: Murphy - first_name: Jiřĺ full_name: Friml, Jiřĺ id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Dolf full_name: Weijers, Dolf last_name: Weijers - first_name: Tom full_name: Beeckman, Tom last_name: Beeckman - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 citation: ama: Šimášková M, O’Brien J, Khan-Djamei M, et al. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 2015;6. doi:10.1038/ncomms9717 apa: Šimášková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A., … Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms9717 chicago: Šimášková, Mária, José O’Brien, Mamoona Khan-Djamei, Giel Van Noorden, Krisztina Ötvös, Anne Vieten, Inge De Clercq, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications. Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms9717. ieee: M. Šimášková et al., “Cytokinin response factors regulate PIN-FORMED auxin transporters,” Nature Communications, vol. 6. Nature Publishing Group, 2015. ista: Šimášková M, O’Brien J, Khan-Djamei M, Van Noorden G, Ötvös K, Vieten A, De Clercq I, Van Haperen J, Cuesta C, Hoyerová K, Vanneste S, Marhavý P, Wabnik KT, Van Breusegem F, Nowack M, Murphy A, Friml J, Weijers D, Beeckman T, Benková E. 2015. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 6, 8717. mla: Šimášková, Mária, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications, vol. 6, 8717, Nature Publishing Group, 2015, doi:10.1038/ncomms9717. short: M. Šimášková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavý, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015). date_created: 2018-12-11T11:53:12Z date_published: 2015-01-01T00:00:00Z date_updated: 2021-01-12T06:52:11Z day: '01' ddc: - '580' department: - _id: EvBe - _id: JiFr doi: 10.1038/ncomms9717 ec_funded: 1 file: - access_level: open_access checksum: c2c84bca37401435fedf76bad0ba0579 content_type: application/pdf creator: system date_created: 2018-12-12T10:18:36Z date_updated: 2020-07-14T12:45:08Z file_id: '5358' file_name: IST-2018-1020-v1+1_Simaskova_et_al_NatCom_2015.pdf file_size: 1471217 relation: main_file file_date_updated: 2020-07-14T12:45:08Z has_accepted_license: '1' intvolume: ' 6' language: - iso: eng month: '01' oa: 1 oa_version: Submitted Version project: - _id: 253FCA6A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '207362' name: Hormonal cross-talk in plant organogenesis - _id: 2542D156-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I 1774-B16 name: Hormone cross-talk drives nutrient dependent plant development publication: Nature Communications publication_status: published publisher: Nature Publishing Group publist_id: '5513' pubrep_id: '1020' quality_controlled: '1' scopus_import: 1 status: public title: Cytokinin response factors regulate PIN-FORMED auxin transporters type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 6 year: '2015' ... --- _id: '1642' abstract: - lang: eng text: The Hanani-Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this result to clustered graphs with two disjoint clusters, and show that a straightforward extension to flat clustered graphs with three or more disjoint clusters is not possible. For general clustered graphs we show a variant of the Hanani-Tutte theorem in the case when each cluster induces a connected subgraph. Di Battista and Frati proved that clustered planarity of embedded clustered graphs whose every face is incident to at most five vertices can be tested in polynomial time. We give a new and short proof of this result, using the matroid intersection algorithm. acknowledgement: e research leading to these results has received funding fromthe People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme(FP7/2007-2013) under REA grant agreement no [291734], and ESF Eurogiga project GraDR as GAˇCRGIG/11/E023. article_number: 'P4.24 ' article_processing_charge: No article_type: original author: - first_name: Radoslav full_name: Fulek, Radoslav id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87 last_name: Fulek orcid: 0000-0001-8485-1774 - first_name: Jan full_name: Kynčl, Jan last_name: Kynčl - first_name: Igor full_name: Malinovič, Igor last_name: Malinovič - first_name: Dömötör full_name: Pálvölgyi, Dömötör last_name: Pálvölgyi citation: ama: Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 2015;22(4). doi:10.37236/5002 apa: Fulek, R., Kynčl, J., Malinovič, I., & Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/5002 chicago: Fulek, Radoslav, Jan Kynčl, Igor Malinovič, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2015. https://doi.org/10.37236/5002. ieee: R. Fulek, J. Kynčl, I. Malinovič, and D. Pálvölgyi, “Clustered planarity testing revisited,” Electronic Journal of Combinatorics, vol. 22, no. 4. Electronic Journal of Combinatorics, 2015. ista: Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. 2015. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 22(4), P4.24. mla: Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics, vol. 22, no. 4, P4.24, Electronic Journal of Combinatorics, 2015, doi:10.37236/5002. short: R. Fulek, J. Kynčl, I. Malinovič, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015). date_created: 2018-12-11T11:53:12Z date_published: 2015-11-13T00:00:00Z date_updated: 2023-02-21T16:03:02Z day: '13' ddc: - '514' - '516' department: - _id: UlWa doi: 10.37236/5002 ec_funded: 1 external_id: arxiv: - '1305.4519' file: - access_level: open_access checksum: 40b5920b49ee736694f59f39588ee206 content_type: application/pdf creator: system date_created: 2018-12-12T10:15:03Z date_updated: 2020-07-14T12:45:08Z file_id: '5120' file_name: IST-2016-714-v1+1_5002-15499-3-PB.pdf file_size: 443655 relation: main_file file_date_updated: 2020-07-14T12:45:08Z has_accepted_license: '1' intvolume: ' 22' issue: '4' language: - iso: eng month: '11' oa: 1 oa_version: Published Version project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Electronic Journal of Combinatorics publication_identifier: eissn: - 1077-8926 publication_status: published publisher: Electronic Journal of Combinatorics publist_id: '5511' pubrep_id: '714' quality_controlled: '1' related_material: record: - id: '10793' relation: earlier_version status: public scopus_import: '1' status: public title: Clustered planarity testing revisited type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 22 year: '2015' ... --- _id: '1639' abstract: - lang: eng text: In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image contrast and explicitly allows for sources and sinks in the transport equations which are incorporated in the metric related to the metamorphosis approach by Trouvé and Younes. In the non-viscous case with source term existence of geodesic paths is proven in the space of measures. The proposed model is explored on the range from merely optimal transport to strongly dissipative dynamics. For this model a robust and effective variational time discretization of geodesic paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals. These functionals are defined on corresponding pairs of intensity functions and on associated pairwise matching deformations. Existence of time discrete geodesics is demonstrated. Furthermore, a finite element implementation is proposed and applied to instructive test cases and to real images. In the non-viscous case this is compared to the algorithm proposed by Benamou and Brenier including a discretization of the source term. Finally, the model is generalized to define discrete weighted barycentres with applications to textures and objects. acknowledgement: The authors acknowledge support of the Collaborative Research Centre 1060 funded by the German Science foundation. This work is further supported by the King Abdullah University for Science and Technology (KAUST) Award No. KUK-I1-007-43 and the EPSRC grant Nr. EP/M00483X/1. author: - first_name: Jan full_name: Maas, Jan id: 4C5696CE-F248-11E8-B48F-1D18A9856A87 last_name: Maas orcid: 0000-0002-0845-1338 - first_name: Martin full_name: Rumpf, Martin last_name: Rumpf - first_name: Carola full_name: Schönlieb, Carola last_name: Schönlieb - first_name: Stefan full_name: Simon, Stefan last_name: Simon citation: ama: 'Maas J, Rumpf M, Schönlieb C, Simon S. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 2015;49(6):1745-1769. doi:10.1051/m2an/2015043' apa: 'Maas, J., Rumpf, M., Schönlieb, C., & Simon, S. (2015). A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences. https://doi.org/10.1051/m2an/2015043' chicago: 'Maas, Jan, Martin Rumpf, Carola Schönlieb, and Stefan Simon. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.” ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences, 2015. https://doi.org/10.1051/m2an/2015043.' ieee: 'J. Maas, M. Rumpf, C. Schönlieb, and S. Simon, “A generalized model for optimal transport of images including dissipation and density modulation,” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6. EDP Sciences, pp. 1745–1769, 2015.' ista: 'Maas J, Rumpf M, Schönlieb C, Simon S. 2015. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 49(6), 1745–1769.' mla: 'Maas, Jan, et al. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6, EDP Sciences, 2015, pp. 1745–69, doi:10.1051/m2an/2015043.' short: 'J. Maas, M. Rumpf, C. Schönlieb, S. Simon, ESAIM: Mathematical Modelling and Numerical Analysis 49 (2015) 1745–1769.' date_created: 2018-12-11T11:53:11Z date_published: 2015-11-01T00:00:00Z date_updated: 2021-01-12T06:52:10Z day: '01' department: - _id: JaMa doi: 10.1051/m2an/2015043 external_id: arxiv: - '1504.01988' intvolume: ' 49' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: http://arxiv.org/abs/1504.01988 month: '11' oa: 1 oa_version: Preprint page: 1745 - 1769 publication: 'ESAIM: Mathematical Modelling and Numerical Analysis' publication_status: published publisher: EDP Sciences publist_id: '5514' quality_controlled: '1' scopus_import: 1 status: public title: A generalized model for optimal transport of images including dissipation and density modulation type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 49 year: '2015' ... --- _id: '1638' abstract: - lang: eng text: The mitochondrial respiratory chain, also known as the electron transport chain (ETC), is crucial to life, and energy production in the form of ATP is the main mitochondrial function. Three proton-translocating enzymes of the ETC, namely complexes I, III and IV, generate proton motive force, which in turn drives ATP synthase (complex V). The atomic structures and basic mechanisms of most respiratory complexes have previously been established, with the exception of complex I, the largest complex in the ETC. Recently, the crystal structure of the entire complex I was solved using a bacterial enzyme. The structure provided novel insights into the core architecture of the complex, the electron transfer and proton translocation pathways, as well as the mechanism that couples these two processes. author: - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 citation: ama: 'Sazanov LA. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 2015;16(6):375-388. doi:10.1038/nrm3997' apa: 'Sazanov, L. A. (2015). A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. Nature Publishing Group. https://doi.org/10.1038/nrm3997' chicago: 'Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2015. https://doi.org/10.1038/nrm3997.' ieee: 'L. A. Sazanov, “A giant molecular proton pump: structure and mechanism of respiratory complex I,” Nature Reviews Molecular Cell Biology, vol. 16, no. 6. Nature Publishing Group, pp. 375–388, 2015.' ista: 'Sazanov LA. 2015. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 16(6), 375–388.' mla: 'Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology, vol. 16, no. 6, Nature Publishing Group, 2015, pp. 375–88, doi:10.1038/nrm3997.' short: L.A. Sazanov, Nature Reviews Molecular Cell Biology 16 (2015) 375–388. date_created: 2018-12-11T11:53:11Z date_published: 2015-05-22T00:00:00Z date_updated: 2021-01-12T06:52:10Z day: '22' department: - _id: LeSa doi: 10.1038/nrm3997 intvolume: ' 16' issue: '6' language: - iso: eng month: '05' oa_version: None page: 375 - 388 publication: Nature Reviews Molecular Cell Biology publication_status: published publisher: Nature Publishing Group publist_id: '5517' quality_controlled: '1' scopus_import: 1 status: public title: 'A giant molecular proton pump: structure and mechanism of respiratory complex I' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16 year: '2015' ...