--- _id: '678' abstract: - lang: eng text: The seminal observation that mechanical signals can elicit changes in biochemical signalling within cells, a process commonly termed mechanosensation and mechanotransduction, has revolutionized our understanding of the role of cell mechanics in various fundamental biological processes, such as cell motility, adhesion, proliferation and differentiation. In this Review, we will discuss how the interplay and feedback between mechanical and biochemical signals control tissue morphogenesis and cell fate specification in embryonic development. author: - first_name: Nicoletta full_name: Petridou, Nicoletta id: 2A003F6C-F248-11E8-B48F-1D18A9856A87 last_name: Petridou orcid: 0000-0002-8451-1195 - first_name: Zoltan P full_name: Spiro, Zoltan P id: 426AD026-F248-11E8-B48F-1D18A9856A87 last_name: Spiro - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 citation: ama: Petridou N, Spiro ZP, Heisenberg C-PJ. Multiscale force sensing in development. Nature Cell Biology. 2017;19(6):581-588. doi:10.1038/ncb3524 apa: Petridou, N., Spiro, Z. P., & Heisenberg, C.-P. J. (2017). Multiscale force sensing in development. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3524 chicago: Petridou, Nicoletta, Zoltan P Spiro, and Carl-Philipp J Heisenberg. “Multiscale Force Sensing in Development.” Nature Cell Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/ncb3524. ieee: N. Petridou, Z. P. Spiro, and C.-P. J. Heisenberg, “Multiscale force sensing in development,” Nature Cell Biology, vol. 19, no. 6. Nature Publishing Group, pp. 581–588, 2017. ista: Petridou N, Spiro ZP, Heisenberg C-PJ. 2017. Multiscale force sensing in development. Nature Cell Biology. 19(6), 581–588. mla: Petridou, Nicoletta, et al. “Multiscale Force Sensing in Development.” Nature Cell Biology, vol. 19, no. 6, Nature Publishing Group, 2017, pp. 581–88, doi:10.1038/ncb3524. short: N. Petridou, Z.P. Spiro, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 581–588. date_created: 2018-12-11T11:47:53Z date_published: 2017-05-31T00:00:00Z date_updated: 2021-01-12T08:08:59Z day: '31' department: - _id: CaHe doi: 10.1038/ncb3524 intvolume: ' 19' issue: '6' language: - iso: eng month: '05' oa_version: None page: 581 - 588 project: - _id: 25236028-B435-11E9-9278-68D0E5697425 grant_number: ALTF534-2016 name: The generation and function of anisotropic tissue tension in zebrafish epiboly (EMBO Fellowship) publication: Nature Cell Biology publication_identifier: issn: - '14657392' publication_status: published publisher: Nature Publishing Group publist_id: '7040' quality_controlled: '1' scopus_import: 1 status: public title: Multiscale force sensing in development type: journal_article user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87 volume: 19 year: '2017' ... --- _id: '681' abstract: - lang: eng text: Two-player games on graphs provide the theoretical framework for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has been extended to multi-player games with several notions of equilibria, they are decidable only for perfect-information games, whereas several applications require imperfect-information. In this paper we propose a new notion of equilibria, called doomsday equilibria, which is a strategy profile where all players satisfy their own objective, and if any coalition of players deviates and violates even one of the players' objective, then the objective of every player is violated. We present algorithms and complexity results for deciding the existence of doomsday equilibria for various classes of ω-regular objectives, both for imperfect-information games, and for perfect-information games. We provide optimal complexity bounds for imperfect-information games, and in most cases for perfect-information games. article_processing_charge: No article_type: original 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: Emmanuel full_name: Filiot, Emmanuel last_name: Filiot - first_name: Jean full_name: Raskin, Jean last_name: Raskin citation: ama: Chatterjee K, Doyen L, Filiot E, Raskin J. Doomsday equilibria for omega-regular games. Information and Computation. 2017;254:296-315. doi:10.1016/j.ic.2016.10.012 apa: Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J. (2017). Doomsday equilibria for omega-regular games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.012 chicago: Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation. Elsevier, 2017. https://doi.org/10.1016/j.ic.2016.10.012. ieee: K. Chatterjee, L. Doyen, E. Filiot, and J. Raskin, “Doomsday equilibria for omega-regular games,” Information and Computation, vol. 254. Elsevier, pp. 296–315, 2017. ista: Chatterjee K, Doyen L, Filiot E, Raskin J. 2017. Doomsday equilibria for omega-regular games. Information and Computation. 254, 296–315. mla: Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi:10.1016/j.ic.2016.10.012. short: K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315. date_created: 2018-12-11T11:47:53Z date_published: 2017-06-01T00:00:00Z date_updated: 2023-02-21T16:06:02Z day: '01' department: - _id: KrCh doi: 10.1016/j.ic.2016.10.012 ec_funded: 1 external_id: arxiv: - '1311.3238' intvolume: ' 254' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1311.3238 month: '06' oa: 1 oa_version: Submitted Version page: 296 - 315 project: - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Information and Computation publication_identifier: issn: - '08905401' publication_status: published publisher: Elsevier publist_id: '7036' quality_controlled: '1' related_material: record: - id: '10885' relation: earlier_version status: public scopus_import: '1' status: public title: Doomsday equilibria for omega-regular games type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 254 year: '2017' ... --- _id: '6841' abstract: - lang: eng text: In classical machine learning, regression is treated as a black box process of identifying a suitable function from a hypothesis set without attempting to gain insight into the mechanism connecting inputs and outputs. In the natural sciences, however, finding an interpretable function for a phenomenon is the prime goal as it allows to understand and generalize results. This paper proposes a novel type of function learning network, called equation learner (EQL), that can learn analytical expressions and is able to extrapolate to unseen domains. It is implemented as an end-to-end differentiable feed-forward network and allows for efficient gradient based training. Due to sparsity regularization concise interpretable expressions can be obtained. Often the true underlying source expression is identified. author: - first_name: Georg S full_name: Martius, Georg S id: 3A276B68-F248-11E8-B48F-1D18A9856A87 last_name: Martius - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Martius GS, Lampert C. Extrapolation and learning equations. In: 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations; 2017.' apa: 'Martius, G. S., & Lampert, C. (2017). Extrapolation and learning equations. In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. Toulon, France: International Conference on Learning Representations.' chicago: Martius, Georg S, and Christoph Lampert. “Extrapolation and Learning Equations.” In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations, 2017. ieee: G. S. Martius and C. Lampert, “Extrapolation and learning equations,” in 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, Toulon, France, 2017. ista: 'Martius GS, Lampert C. 2017. Extrapolation and learning equations. 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. ICLR: International Conference on Learning Representations.' mla: Martius, Georg S., and Christoph Lampert. “Extrapolation and Learning Equations.” 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017. short: G.S. Martius, C. Lampert, in:, 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017. conference: end_date: 2017-04-26 location: Toulon, France name: 'ICLR: International Conference on Learning Representations' start_date: 2017-04-24 date_created: 2019-09-01T22:01:00Z date_published: 2017-02-21T00:00:00Z date_updated: 2021-01-12T08:09:17Z day: '21' department: - _id: ChLa ec_funded: 1 external_id: arxiv: - '1610.02995' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1610.02995 month: '02' oa: 1 oa_version: Preprint project: - _id: 2532554C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '308036' name: Lifelong Learning of Visual Scene Understanding publication: 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings publication_status: published publisher: International Conference on Learning Representations quality_controlled: '1' scopus_import: 1 status: public title: Extrapolation and learning equations type: conference user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 year: '2017' ... --- _id: '684' abstract: - lang: eng text: We generalize winning conditions in two-player games by adding a structural acceptance condition called obligations. Obligations are orthogonal to the linear winning conditions that define whether a play is winning. Obligations are a declaration that player 0 can achieve a certain value from a configuration. If the obligation is met, the value of that configuration for player 0 is 1. We define the value in such games and show that obligation games are determined. For Markov chains with Borel objectives and obligations, and finite turn-based stochastic parity games with obligations we give an alternative and simpler characterization of the value function. Based on this simpler definition we show that the decision problem of winning finite turn-based stochastic parity games with obligations is in NP∩co-NP. We also show that obligation games provide a game framework for reasoning about p-automata. © 2017 The Association for Symbolic Logic. 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: Nir full_name: Piterman, Nir last_name: Piterman citation: ama: Chatterjee K, Piterman N. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 2017;82(2):420-452. doi:10.1017/jsl.2016.71 apa: Chatterjee, K., & Piterman, N. (2017). Obligation blackwell games and p-automata. Journal of Symbolic Logic. Cambridge University Press. https://doi.org/10.1017/jsl.2016.71 chicago: Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic. Cambridge University Press, 2017. https://doi.org/10.1017/jsl.2016.71. ieee: K. Chatterjee and N. Piterman, “Obligation blackwell games and p-automata,” Journal of Symbolic Logic, vol. 82, no. 2. Cambridge University Press, pp. 420–452, 2017. ista: Chatterjee K, Piterman N. 2017. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 82(2), 420–452. mla: Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic, vol. 82, no. 2, Cambridge University Press, 2017, pp. 420–52, doi:10.1017/jsl.2016.71. short: K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452. date_created: 2018-12-11T11:47:54Z date_published: 2017-06-01T00:00:00Z date_updated: 2021-04-16T12:10:53Z day: '01' department: - _id: KrCh doi: 10.1017/jsl.2016.71 intvolume: ' 82' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1206.5174 month: '06' oa: 1 oa_version: Submitted Version page: 420 - 452 publication: Journal of Symbolic Logic publication_identifier: eissn: - 1943-5886 issn: - 0022-4812 publication_status: published publisher: Cambridge University Press publist_id: '7026' quality_controlled: '1' scopus_import: '1' status: public title: Obligation blackwell games and p-automata type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 82 year: '2017' ... --- _id: '685' abstract: - lang: eng text: By applying methods and principles from the physical sciences to biological problems, D'Arcy Thompson's On Growth and Form demonstrated how mathematical reasoning reveals elegant, simple explanations for seemingly complex processes. This has had a profound influence on subsequent generations of developmental biologists. We discuss how this influence can be traced through twentieth century morphologists, embryologists and theoreticians to current research that explores the molecular and cellular mechanisms of tissue growth and patterning, including our own studies of the vertebrate neural tube. author: - first_name: James full_name: Briscoe, James last_name: Briscoe - first_name: Anna full_name: Kicheva, Anna id: 3959A2A0-F248-11E8-B48F-1D18A9856A87 last_name: Kicheva orcid: 0000-0003-4509-4998 citation: ama: Briscoe J, Kicheva A. The physics of development 100 years after D’Arcy Thompson’s “on growth and form.” Mechanisms of Development. 2017;145:26-31. doi:10.1016/j.mod.2017.03.005 apa: Briscoe, J., & Kicheva, A. (2017). The physics of development 100 years after D’Arcy Thompson’s “on growth and form.” Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2017.03.005 chicago: Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’” Mechanisms of Development. Elsevier, 2017. https://doi.org/10.1016/j.mod.2017.03.005. ieee: J. Briscoe and A. Kicheva, “The physics of development 100 years after D’Arcy Thompson’s ‘on growth and form,’” Mechanisms of Development, vol. 145. Elsevier, pp. 26–31, 2017. ista: Briscoe J, Kicheva A. 2017. The physics of development 100 years after D’Arcy Thompson’s “on growth and form”. Mechanisms of Development. 145, 26–31. mla: Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’” Mechanisms of Development, vol. 145, Elsevier, 2017, pp. 26–31, doi:10.1016/j.mod.2017.03.005. short: J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31. date_created: 2018-12-11T11:47:55Z date_published: 2017-06-01T00:00:00Z date_updated: 2021-01-12T08:09:20Z day: '01' ddc: - '571' department: - _id: AnKi doi: 10.1016/j.mod.2017.03.005 ec_funded: 1 external_id: pmid: - '28366718' file: - access_level: open_access checksum: 727043d2e4199fbef6b3704e6d1ac105 content_type: application/pdf creator: dernst date_created: 2019-04-17T07:58:48Z date_updated: 2020-07-14T12:47:42Z file_id: '6335' file_name: 2017_Briscoe_Kicheva_and_DArcy_accepted_version.pdf file_size: 652313 relation: main_file file_date_updated: 2020-07-14T12:47:42Z has_accepted_license: '1' intvolume: ' 145' language: - iso: eng month: '06' oa: 1 oa_version: Submitted Version page: 26 - 31 pmid: 1 project: - _id: B6FC0238-B512-11E9-945C-1524E6697425 call_identifier: H2020 grant_number: '680037' name: Coordination of Patterning And Growth In the Spinal Cord publication: Mechanisms of Development publication_identifier: issn: - '09254773' publication_status: published publisher: Elsevier publist_id: '7025' pubrep_id: '985' quality_controlled: '1' scopus_import: 1 status: public title: The physics of development 100 years after D'Arcy Thompson's “on growth and form” type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 145 year: '2017' ...