[{"date_published":"2019-12-01T00:00:00Z","publication":"Cell Research","citation":{"apa":"Sinclair, S. A., & Friml, J. (2019). Defying gravity: a plant’s quest for moisture. Cell Research. Springer Nature. https://doi.org/10.1038/s41422-019-0254-4","ieee":"S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,” Cell Research, vol. 29. Springer Nature, pp. 965–966, 2019.","ista":"Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture. Cell Research. 29, 965–966.","ama":"Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell Research. 2019;29:965-966. doi:10.1038/s41422-019-0254-4","chicago":"Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research. Springer Nature, 2019. https://doi.org/10.1038/s41422-019-0254-4.","short":"S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.","mla":"Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research, vol. 29, Springer Nature, 2019, pp. 965–66, doi:10.1038/s41422-019-0254-4."},"article_type":"original","page":"965-966","day":"01","article_processing_charge":"No","scopus_import":"1","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"7143","title":"Defying gravity: a plant's quest for moisture","status":"public","intvolume":" 29","abstract":[{"text":"Roots grow downwards parallel to the gravity vector, to anchor a plant in soil and acquire water and nutrients, using a gravitropic mechanism dependent on the asymmetric distribution of the phytohormone auxin. Recently, Chang et al. demonstrate that asymmetric distribution of another phytohormone, cytokinin, directs root growth towards higher water content.","lang":"eng"}],"type":"journal_article","doi":"10.1038/s41422-019-0254-4","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41422-019-0254-4"}],"external_id":{"isi":["000500749600001"],"pmid":["31745287"]},"oa":1,"isi":1,"quality_controlled":"1","month":"12","publication_identifier":{"eissn":["1748-7838"],"issn":["1001-0602"]},"author":[{"id":"2D99FE6A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4566-0593","first_name":"Scott A","last_name":"Sinclair","full_name":"Sinclair, Scott A"},{"full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596"}],"date_created":"2019-12-02T12:30:48Z","date_updated":"2023-09-06T11:20:58Z","volume":29,"year":"2019","pmid":1,"publication_status":"published","department":[{"_id":"JiFr"}],"publisher":"Springer Nature"},{"doi":"10.1038/s41534-019-0220-5","language":[{"iso":"eng"}],"external_id":{"isi":["000502996200003"],"arxiv":["1909.01470"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"isi":1,"quality_controlled":"1","project":[{"call_identifier":"H2020","name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053","_id":"26336814-B435-11E9-9278-68D0E5697425"},{"grant_number":"707438","_id":"258047B6-B435-11E9-9278-68D0E5697425","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","call_identifier":"H2020"},{"_id":"257EB838-B435-11E9-9278-68D0E5697425","grant_number":"732894","name":"Hybrid Optomechanical Technologies","call_identifier":"H2020"},{"name":"Integrating superconducting quantum circuits","call_identifier":"FWF","_id":"26927A52-B435-11E9-9278-68D0E5697425","grant_number":"F07105"}],"month":"12","publication_identifier":{"issn":["2056-6387"]},"author":[{"full_name":"Rueda Sanchez, Alfredo R","last_name":"Rueda Sanchez","first_name":"Alfredo R","orcid":"0000-0001-6249-5860","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-9868-2166","id":"29705398-F248-11E8-B48F-1D18A9856A87","last_name":"Hease","first_name":"William J","full_name":"Hease, William J"},{"full_name":"Barzanjeh, Shabir","first_name":"Shabir","last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0415-1423"},{"last_name":"Fink","first_name":"Johannes M","orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M"}],"date_created":"2019-12-09T08:18:56Z","date_updated":"2023-09-06T11:22:39Z","volume":5,"year":"2019","publication_status":"published","department":[{"_id":"JoFi"}],"publisher":"Springer Nature","file_date_updated":"2020-07-14T12:47:50Z","ec_funded":1,"article_number":"108","date_published":"2019-12-01T00:00:00Z","publication":"npj Quantum Information","citation":{"ama":"Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 2019;5. doi:10.1038/s41534-019-0220-5","ista":"Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 5, 108.","apa":"Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., & Fink, J. M. (2019). Electro-optic entanglement source for microwave to telecom quantum state transfer. Npj Quantum Information. Springer Nature. https://doi.org/10.1038/s41534-019-0220-5","ieee":"A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic entanglement source for microwave to telecom quantum state transfer,” npj Quantum Information, vol. 5. Springer Nature, 2019.","mla":"Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information, vol. 5, 108, Springer Nature, 2019, doi:10.1038/s41534-019-0220-5.","short":"A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019).","chicago":"Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information. Springer Nature, 2019. https://doi.org/10.1038/s41534-019-0220-5."},"article_type":"original","day":"01","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","oa_version":"Published Version","file":[{"file_name":"2019_NPJ_Rueda.pdf","access_level":"open_access","creator":"dernst","file_size":1580132,"content_type":"application/pdf","file_id":"7157","relation":"main_file","date_created":"2019-12-09T08:25:06Z","date_updated":"2020-07-14T12:47:50Z","checksum":"13e0ea1d4f9b5f5710780d9473364f58"}],"_id":"7156","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Electro-optic entanglement source for microwave to telecom quantum state transfer","ddc":["530"],"status":"public","intvolume":" 5","abstract":[{"lang":"eng","text":"We propose an efficient microwave-photonic modulator as a resource for stationary entangled microwave-optical fields and develop the theory for deterministic entanglement generation and quantum state transfer in multi-resonant electro-optic systems. The device is based on a single crystal whispering gallery mode resonator integrated into a 3D-microwave cavity. The specific design relies on a new combination of thin-film technology and conventional machining that is optimized for the lowest dissipation rates in the microwave, optical, and mechanical domains. We extract important device properties from finite-element simulations and predict continuous variable entanglement generation rates on the order of a Mebit/s for optical pump powers of only a few tens of microwatts. We compare the quantum state transfer fidelities of coherent, squeezed, and non-Gaussian cat states for both teleportation and direct conversion protocols under realistic conditions. Combining the unique capabilities of circuit quantum electrodynamics with the resilience of fiber optic communication could facilitate long-distance solid-state qubit networks, new methods for quantum signal synthesis, quantum key distribution, and quantum enhanced detection, as well as more power-efficient classical sensing and modulation."}],"type":"journal_article"},{"project":[{"_id":"B6FC0238-B512-11E9-945C-1524E6697425","grant_number":"680037","call_identifier":"H2020","name":"Coordination of Patterning And Growth In the Spinal Cord"}],"quality_controlled":"1","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000507575700004"],"pmid":["31784457"]},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1242/dev.176297","publication_identifier":{"eissn":["1477-9129"],"issn":["0950-1991"]},"month":"12","publisher":"The Company of Biologists","department":[{"_id":"AnKi"}],"publication_status":"published","pmid":1,"year":"2019","volume":146,"date_created":"2019-12-10T14:39:50Z","date_updated":"2023-09-06T11:26:36Z","author":[{"full_name":"Guerrero, Pilar","first_name":"Pilar","last_name":"Guerrero"},{"last_name":"Perez-Carrasco","first_name":"Ruben","full_name":"Perez-Carrasco, Ruben"},{"full_name":"Zagórski, Marcin P","first_name":"Marcin P","last_name":"Zagórski","id":"343DA0DC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7896-7762"},{"first_name":"David","last_name":"Page","full_name":"Page, David"},{"full_name":"Kicheva, Anna","id":"3959A2A0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4509-4998","first_name":"Anna","last_name":"Kicheva"},{"last_name":"Briscoe","first_name":"James","full_name":"Briscoe, James"},{"first_name":"Karen M.","last_name":"Page","full_name":"Page, Karen M."}],"article_number":"dev176297","ec_funded":1,"file_date_updated":"2020-07-14T12:47:50Z","article_type":"original","citation":{"short":"P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).","mla":"Guerrero, Pilar, et al. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development, vol. 146, no. 23, dev176297, The Company of Biologists, 2019, doi:10.1242/dev.176297.","chicago":"Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.176297.","ama":"Guerrero P, Perez-Carrasco R, Zagórski MP, et al. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 2019;146(23). doi:10.1242/dev.176297","ieee":"P. Guerrero et al., “Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium,” Development, vol. 146, no. 23. The Company of Biologists, 2019.","apa":"Guerrero, P., Perez-Carrasco, R., Zagórski, M. P., Page, D., Kicheva, A., Briscoe, J., & Page, K. M. (2019). Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. The Company of Biologists. https://doi.org/10.1242/dev.176297","ista":"Guerrero P, Perez-Carrasco R, Zagórski MP, Page D, Kicheva A, Briscoe J, Page KM. 2019. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 146(23), dev176297."},"publication":"Development","date_published":"2019-12-04T00:00:00Z","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"04","intvolume":" 146","title":"Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium","status":"public","ddc":["570"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"7165","oa_version":"Published Version","file":[{"checksum":"b6533c37dc8fbd803ffeca216e0a8b8a","date_updated":"2020-07-14T12:47:50Z","date_created":"2019-12-13T07:34:06Z","file_id":"7177","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":7797881,"access_level":"open_access","file_name":"2019_Development_Guerrero.pdf"}],"type":"journal_article","issue":"23","abstract":[{"text":"Cell division, movement and differentiation contribute to pattern formation in developing tissues. This is the case in the vertebrate neural tube, in which neurons differentiate in a characteristic pattern from a highly dynamic proliferating pseudostratified epithelium. To investigate how progenitor proliferation and differentiation affect cell arrangement and growth of the neural tube, we used experimental measurements to develop a mechanical model of the apical surface of the neuroepithelium that incorporates the effect of interkinetic nuclear movement and spatially varying rates of neuronal differentiation. Simulations predict that tissue growth and the shape of lineage-related clones of cells differ with the rate of differentiation. Growth is isotropic in regions of high differentiation, but dorsoventrally biased in regions of low differentiation. This is consistent with experimental observations. The absence of directional signalling in the simulations indicates that global mechanical constraints are sufficient to explain the observed differences in anisotropy. This provides insight into how the tissue growth rate affects cell dynamics and growth anisotropy and opens up possibilities to study the coupling between mechanics, pattern formation and growth in the neural tube.","lang":"eng"}]},{"citation":{"chicago":"Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.","short":"D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.","mla":"Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.","ieee":"D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.","apa":"Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17","ista":"Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.","ama":"Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17"},"publication":"19th International Conference on Runtime Verification","page":"292-309","date_published":"2019-10-01T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"01","_id":"7159","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 11757","status":"public","title":"Shape expressions for specifying and extracting signal features","oa_version":"None","type":"conference","alternative_title":["LNCS"],"abstract":[{"text":"Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a tremendous amount of generated, measured and recorded time-series data. Extracting temporal segments that encode patterns with useful information out of these huge amounts of data is an extremely difficult problem. We propose shape expressions as a declarative formalism for specifying, querying and extracting sophisticated temporal patterns from possibly noisy data. Shape expressions are regular expressions with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters as atomic predicates and additional constraints on these parameters. We equip shape expressions with a novel noisy semantics that combines regular expression matching semantics with statistical regression. We characterize essential properties of the formalism and propose an efficient approximate shape expression matching procedure. We demonstrate the wide applicability of this technique on two case studies. ","lang":"eng"}],"external_id":{"isi":["000570006300017"]},"project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23","call_identifier":"FWF","name":"Rigorous Systems Engineering"}],"isi":1,"quality_controlled":"1","doi":"10.1007/978-3-030-32079-9_17","conference":{"name":"RV: Runtime Verification","location":"Porto, Portugal","start_date":"2019-10-08","end_date":"2019-10-11"},"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783030320782","9783030320799"]},"month":"10","year":"2019","department":[{"_id":"ToHe"}],"publisher":"Springer Nature","publication_status":"published","author":[{"last_name":"Ničković","first_name":"Dejan","full_name":"Ničković, Dejan"},{"full_name":"Qin, Xin","last_name":"Qin","first_name":"Xin"},{"full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","first_name":"Thomas"},{"full_name":"Mateis, Cristinel","first_name":"Cristinel","last_name":"Mateis"},{"last_name":"Deshmukh","first_name":"Jyotirmoy","full_name":"Deshmukh, Jyotirmoy"}],"volume":11757,"date_updated":"2023-09-06T11:24:10Z","date_created":"2019-12-09T08:47:55Z"},{"year":"2019","publisher":"Springer Nature","department":[{"_id":"KrCh"}],"publication_status":"published","author":[{"last_name":"Brázdil","first_name":"Tomás","full_name":"Brázdil, Tomás"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Kucera","first_name":"Antonín","full_name":"Kucera, Antonín"},{"first_name":"Petr","last_name":"Novotný","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotný, Petr"},{"first_name":"Dominik","last_name":"Velan","full_name":"Velan, Dominik"}],"volume":11781,"date_updated":"2023-09-06T12:40:58Z","date_created":"2019-12-15T23:00:44Z","publication_identifier":{"issn":["03029743"],"eissn":["16113349"],"isbn":["9783030317836"]},"month":"10","oa":1,"external_id":{"arxiv":["1907.11010"],"isi":["000723515700027"]},"main_file_link":[{"url":"https://arxiv.org/abs/1907.11010","open_access":"1"}],"project":[{"name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"doi":"10.1007/978-3-030-31784-3_27","conference":{"end_date":"2019-10-31","start_date":"2019-10-28","location":"Taipei, Taiwan","name":"ATVA: Automated TEchnology for Verification and Analysis"},"language":[{"iso":"eng"}],"type":"conference","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented during each state transition, blocking any behaviour that would cause a counter to decrease below zero. The pVASS can be used as abstractions of probabilistic programs with many decidable properties. The use of pVASS as abstractions requires the presence of nondeterminism in the model. In this paper, we develop techniques for checking fast termination of pVASS with nondeterminism. That is, for every initial configuration of size n, we consider the worst expected number of transitions needed to reach a configuration with some counter negative (the expected termination time). We show that the problem whether the asymptotic expected termination time is linear is decidable in polynomial time for a certain natural class of pVASS with nondeterminism. Furthermore, we show the following dichotomy: if the asymptotic expected termination time is not linear, then it is at least quadratic, i.e., in Ω(n2)."}],"_id":"7183","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 11781","title":"Deciding fast termination for probabilistic VASS with nondeterminism","status":"public","oa_version":"Preprint","scopus_import":"1","article_processing_charge":"No","day":"21","citation":{"ista":"Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. 2019. Deciding fast termination for probabilistic VASS with nondeterminism. International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated TEchnology for Verification and Analysis, LNCS, vol. 11781, 462–478.","apa":"Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-030-31784-3_27","ieee":"T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.","ama":"Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27","chicago":"Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.","mla":"Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.","short":"T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478."},"publication":"International Symposium on Automated Technology for Verification and Analysis","page":"462-478","date_published":"2019-10-21T00:00:00Z"}]