[{"citation":{"mla":"Amir, Ariel, et al. “Surprises in Numerical Expressions of Physical Constants.” <i>American Mathematical Monthly</i>, vol. 123, no. 6, Mathematical Association of America, 2016, pp. 609–12, doi:<a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">10.4169/amer.math.monthly.123.6.609</a>.","short":"A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.","ieee":"A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions of physical constants,” <i>American Mathematical Monthly</i>, vol. 123, no. 6. Mathematical Association of America, pp. 609–612, 2016.","ista":"Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 123(6), 609–612.","chicago":"Amir, Ariel, Mikhail Lemeshko, and Tadashi Tokieda. “Surprises in Numerical Expressions of Physical Constants.” <i>American Mathematical Monthly</i>. Mathematical Association of America, 2016. <a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>.","ama":"Amir A, Lemeshko M, Tokieda T. Surprises in numerical expressions of physical constants. <i>American Mathematical Monthly</i>. 2016;123(6):609-612. doi:<a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">10.4169/amer.math.monthly.123.6.609</a>","apa":"Amir, A., Lemeshko, M., &#38; Tokieda, T. (2016). Surprises in numerical expressions of physical constants. <i>American Mathematical Monthly</i>. Mathematical Association of America. <a href=\"https://doi.org/10.4169/amer.math.monthly.123.6.609\">https://doi.org/10.4169/amer.math.monthly.123.6.609</a>"},"oa_version":"Preprint","date_updated":"2021-01-12T06:49:04Z","quality_controlled":"1","department":[{"_id":"MiLe"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Amir","first_name":"Ariel","full_name":"Amir, Ariel"},{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","first_name":"Mikhail","full_name":"Lemeshko, Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Tokieda, Tadashi","first_name":"Tadashi","last_name":"Tokieda"}],"issue":"6","abstract":[{"lang":"eng","text":"In science, as in life, &quot;surprises&quot; can be adequately appreciated only in the presence of a null model, what we expect a priori. In physics, theories sometimes express the values of dimensionless physical constants as combinations of mathematical constants like π or e. The inverse problem also arises, whereby the measured value of a physical constant admits a &quot;surprisingly&quot; simple approximation in terms of well-known mathematical constants. Can we estimate the probability for this to be a mere coincidence, rather than an inkling of some theory? We answer the question in the most naive form."}],"month":"06","publication_status":"published","title":"Surprises in numerical expressions of physical constants","volume":123,"publisher":"Mathematical Association of America","language":[{"iso":"eng"}],"date_published":"2016-06-01T00:00:00Z","type":"journal_article","_id":"1204","date_created":"2018-12-11T11:50:42Z","oa":1,"status":"public","year":"2016","day":"01","main_file_link":[{"url":"https://arxiv.org/abs/1603.00299","open_access":"1"}],"doi":"10.4169/amer.math.monthly.123.6.609","page":"609 - 612","scopus_import":1,"publication":"American Mathematical Monthly","intvolume":"       123","publist_id":"6143"},{"scopus_import":1,"related_material":{"record":[{"relation":"later_version","id":"434","status":"public"}]},"publist_id":"6144","intvolume":"      9995","oa":1,"acknowledgement":"This research is sponsored in part by NSFC Program (No. 91218302, No. 61527812), National Science and Technology Major Project (No. 2016ZX01038101), Tsinghua University Initiative Scientific Research Program (20131089331), MIIT IT funds (Research and application of TCN key technologies) of China, and the National Key Technology R&D Program (No. 2015BAG14B01-02), Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23.\r\n","page":"757 - 763","day":"08","year":"2016","doi":"10.1007/978-3-319-48989-6_47","publication_status":"published","abstract":[{"lang":"eng","text":"In this paper, we present a formal model-driven engineering approach to establishing a safety-assured implementation of Multifunction vehicle bus controller (MVBC) based on the generic reference models and requirements described in the International Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models described in IEC-61375 are translated into a network of timed automata, and some safety requirements tested in IEC-61375 are formalized as timed computation tree logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the timed automata satisfy the formulas or not. Within this step, several logic inconsistencies in the original standard are detected and corrected. Then, we apply the tool Times to generate C code from the verified model, which was later synthesized into a real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify some safety requirements at the implementation level. We set up a real platform with worldwide mostly used MVBC D113, and verify the correctness and the scalability of the synthesized MVBC chip more comprehensively. The errors in the standard has been confirmed and the resulted MVBC has been deployed in real train communication network."}],"ddc":["004"],"file_date_updated":"2020-07-14T12:44:39Z","publisher":"Springer","date_published":"2016-11-08T00:00:00Z","title":"Safety assured formal model driven design of the multifunction vehicle bus controller","department":[{"_id":"ToHe"}],"date_updated":"2023-09-18T08:12:48Z","citation":{"mla":"Jiang, Yu, et al. <i>Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller</i>. Vol. 9995, Springer, 2016, pp. 757–63, doi:<a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">10.1007/978-3-319-48989-6_47</a>.","short":"Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.","ieee":"Y. Jiang <i>et al.</i>, “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.","apa":"Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., &#38; Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. <a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">https://doi.org/10.1007/978-3-319-48989-6_47</a>","chicago":"Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">https://doi.org/10.1007/978-3-319-48989-6_47</a>.","ama":"Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:<a href=\"https://doi.org/10.1007/978-3-319-48989-6_47\">10.1007/978-3-319-48989-6_47</a>","ista":"Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763."},"alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","pubrep_id":"783","conference":{"end_date":"2016-11-11","start_date":"2016-11-09","name":"FM: International Symposium on Formal Methods","location":"Limassol, Cyprus"},"date_created":"2018-12-11T11:50:42Z","_id":"1205","type":"conference","status":"public","has_accepted_license":"1","month":"11","file":[{"date_created":"2018-12-12T10:08:13Z","date_updated":"2020-07-14T12:44:39Z","content_type":"application/pdf","file_name":"IST-2017-783-v1+1_FM-Safety-Assured-Development-of-MVBC.pdf","relation":"main_file","access_level":"open_access","file_size":281501,"checksum":"fea0b3fae9a2a42e8bfec59840e30d8c","file_id":"4673","creator":"system"}],"language":[{"iso":"eng"}],"volume":9995,"project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"quality_controlled":"1","oa_version":"Submitted Version","author":[{"last_name":"Jiang","first_name":"Yu","full_name":"Jiang, Yu"},{"last_name":"Liu","first_name":"Han","full_name":"Liu, Han"},{"first_name":"Houbing","last_name":"Song","full_name":"Song, Houbing"},{"full_name":"Kong, Hui","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3066-6941","first_name":"Hui","last_name":"Kong"},{"last_name":"Gu","first_name":"Ming","full_name":"Gu, Ming"},{"first_name":"Jiaguang","last_name":"Sun","full_name":"Sun, Jiaguang"},{"last_name":"Sha","first_name":"Lui","full_name":"Sha, Lui"}]},{"date_updated":"2021-01-12T06:49:05Z","department":[{"_id":"JoFi"},{"_id":"MiLe"}],"citation":{"mla":"Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” <i>ChemPhysChem</i>, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:<a href=\"https://doi.org/10.1002/cphc.201601042\">10.1002/cphc.201601042</a>.","short":"E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.","apa":"Redchenko, E., &#38; Lemeshko, M. (2016). Libration of strongly oriented polar molecules inside a superfluid. <i>ChemPhysChem</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cphc.201601042\">https://doi.org/10.1002/cphc.201601042</a>","chicago":"Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” <i>ChemPhysChem</i>. Wiley-Blackwell, 2016. <a href=\"https://doi.org/10.1002/cphc.201601042\">https://doi.org/10.1002/cphc.201601042</a>.","ista":"Redchenko E, Lemeshko M. 2016. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 17(22), 3649–3654.","ama":"Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside a superfluid. <i>ChemPhysChem</i>. 2016;17(22):3649-3654. doi:<a href=\"https://doi.org/10.1002/cphc.201601042\">10.1002/cphc.201601042</a>","ieee":"E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules inside a superfluid,” <i>ChemPhysChem</i>, vol. 17, no. 22. Wiley-Blackwell, pp. 3649–3654, 2016."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"We study a polar molecule immersed in a superfluid environment, such as a helium nanodroplet or a Bose–Einstein condensate, in the presence of a strong electrostatic field. We show that coupling of the molecular pendular motion, induced by the field, to the fluctuating bath leads to formation of pendulons—spherical harmonic librators dressed by a field of many-particle excitations. We study the behavior of the pendulon in a broad range of molecule–bath and molecule–field interaction strengths, and reveal that its spectrum features a series of instabilities which are absent in the field-free case of the angulon quasiparticle. Furthermore, we show that an external field allows to fine-tune the positions of these instabilities in the molecular rotational spectrum. This opens the door to detailed experimental studies of redistribution of orbital angular momentum in many-particle systems. © 2016 Wiley-VCH Verlag GmbH &amp; Co. KGaA, Weinheim","lang":"eng"}],"publication_status":"published","publisher":"Wiley-Blackwell","date_published":"2016-09-18T00:00:00Z","title":"Libration of strongly oriented polar molecules inside a superfluid","oa":1,"doi":"10.1002/cphc.201601042","page":"3649 - 3654","year":"2016","day":"18","scopus_import":1,"intvolume":"        17","publist_id":"6140","publication":"ChemPhysChem","quality_controlled":"1","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"}],"oa_version":"Preprint","author":[{"id":"2C21D6E8-F248-11E8-B48F-1D18A9856A87","full_name":"Redchenko, Elena","last_name":"Redchenko","first_name":"Elena"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","first_name":"Mikhail","orcid":"0000-0002-6990-7802"}],"month":"09","issue":"22","language":[{"iso":"eng"}],"volume":17,"date_created":"2018-12-11T11:50:43Z","_id":"1206","type":"journal_article","main_file_link":[{"url":"https://arxiv.org/abs/1609.08161","open_access":"1"}],"status":"public","ec_funded":1},{"language":[{"iso":"eng"}],"volume":291,"month":"11","issue":"47","author":[{"id":"322DA418-F248-11E8-B48F-1D18A9856A87","full_name":"Letts, James A","first_name":"James A","last_name":"Letts","orcid":"0000-0002-9864-3586"},{"last_name":"Degliesposti","first_name":"Gianluca","full_name":"Degliesposti, Gianluca"},{"last_name":"Fiedorczuk","first_name":"Karol","id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0","full_name":"Fiedorczuk, Karol"},{"last_name":"Skehel","first_name":"Mark","full_name":"Skehel, Mark"},{"first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"}],"project":[{"_id":"2593EBD6-B435-11E9-9278-68D0E5697425","name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (FEBS)"},{"name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (H2020)","grant_number":"701309","_id":"2590DB08-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"quality_controlled":"1","oa_version":"Submitted Version","ec_funded":1,"status":"public","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5114416/"}],"date_created":"2018-12-11T11:50:44Z","type":"journal_article","_id":"1209","publisher":"American Society for Biochemistry and Molecular Biology","date_published":"2016-11-18T00:00:00Z","title":"Purification of ovine respiratory complex i results in a highly active and stable preparation","publication_status":"published","abstract":[{"lang":"eng","text":"NADH-ubiquinone oxidoreductase (complex I) is the largest (∼1 MDa) and the least characterized complex of the mitochondrial electron transport chain. Because of the ease of sample availability, previous work has focused almost exclusively on bovine complex I. However, only medium resolution structural analyses of this complex have been reported. Working with other mammalian complex I homologues is a potential approach for overcoming these limitations. Due to the inherent difficulty of expressing large membrane protein complexes, screening of complex I homologues is limited to large mammals reared for human consumption. The high sequence identity among these available sources may preclude the benefits of screening. Here, we report the characterization of complex I purified from Ovis aries (ovine) heart mitochondria. All 44 unique subunits of the intact complex were identified by mass spectrometry. We identified differences in the subunit composition of subcomplexes of ovine complex I as compared with bovine, suggesting differential stability of inter-subunit interactions within the complex. Furthermore, the 42-kDa subunit, which is easily lost from the bovine enzyme, remains tightly bound to ovine complex I. Additionally, we developed a novel purification protocol for highly active and stable mitochondrial complex I using the branched-chain detergent lauryl maltose neopentyl glycol. Our data demonstrate that, although closely related, significant differences exist between the biochemical properties of complex I prepared from ovine and bovine mitochondria and that ovine complex I represents a suitable alternative target for further structural studies. "}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"LeSa"}],"date_updated":"2021-01-12T06:49:06Z","citation":{"short":"J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.","mla":"Letts, James A., et al. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” <i>Journal of Biological Chemistry</i>, vol. 291, no. 47, American Society for Biochemistry and Molecular Biology, 2016, pp. 24657–75, doi:<a href=\"https://doi.org/10.1074/jbc.M116.735142\">10.1074/jbc.M116.735142</a>.","apa":"Letts, J. A., Degliesposti, G., Fiedorczuk, K., Skehel, M., &#38; Sazanov, L. A. (2016). Purification of ovine respiratory complex i results in a highly active and stable preparation. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1074/jbc.M116.735142\">https://doi.org/10.1074/jbc.M116.735142</a>","ista":"Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. 2016. Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. 291(47), 24657–24675.","ama":"Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. Purification of ovine respiratory complex i results in a highly active and stable preparation. <i>Journal of Biological Chemistry</i>. 2016;291(47):24657-24675. doi:<a href=\"https://doi.org/10.1074/jbc.M116.735142\">10.1074/jbc.M116.735142</a>","chicago":"Letts, James A, Gianluca Degliesposti, Karol Fiedorczuk, Mark Skehel, and Leonid A Sazanov. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 2016. <a href=\"https://doi.org/10.1074/jbc.M116.735142\">https://doi.org/10.1074/jbc.M116.735142</a>.","ieee":"J. A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, and L. A. Sazanov, “Purification of ovine respiratory complex i results in a highly active and stable preparation,” <i>Journal of Biological Chemistry</i>, vol. 291, no. 47. American Society for Biochemistry and Molecular Biology, pp. 24657–24675, 2016."},"publist_id":"6139","intvolume":"       291","publication":"Journal of Biological Chemistry","scopus_import":1,"acknowledgement":"J.A.S supported in part by a Medical Research D.G.Council UK Ph.D. fellowship.\r\nThis work was supported in part by European Union's 2020 Research and Innovation Program under Grant 701309. \r\n","page":"24657 - 24675","day":"18","year":"2016","doi":"10.1074/jbc.M116.735142","oa":1},{"oa_version":"Submitted Version","quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Polarity and subcellular dynamics in plants","grant_number":"282300","_id":"25716A02-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Rakusová, Hana","last_name":"Rakusová","first_name":"Hana"},{"last_name":"Abbas","first_name":"Mohamad","id":"47E8FC1C-F248-11E8-B48F-1D18A9856A87","full_name":"Abbas, Mohamad"},{"full_name":"Han, Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","last_name":"Han","first_name":"Huibin"},{"first_name":"Siyuan","last_name":"Song","full_name":"Song, Siyuan"},{"full_name":"Robert, Hélène","first_name":"Hélène","last_name":"Robert"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí","last_name":"Friml","first_name":"Jirí","orcid":"0000-0002-8302-7596"}],"file":[{"file_size":5391923,"access_level":"open_access","creator":"system","checksum":"79ed2498185a027cf51a8f88100379e6","file_id":"4757","relation":"main_file","file_name":"IST-2018-1008-v1+1_Rakusova_CurrBiol_2016_proof.pdf","date_updated":"2020-07-14T12:44:39Z","date_created":"2018-12-12T10:09:33Z","content_type":"application/pdf"}],"issue":"22","month":"11","has_accepted_license":"1","volume":26,"language":[{"iso":"eng"}],"_id":"1212","type":"journal_article","date_created":"2018-12-11T11:50:44Z","status":"public","pubrep_id":"1008","ec_funded":1,"citation":{"apa":"Rakusová, H., Abbas, M., Han, H., Song, S., Robert, H., &#38; Friml, J. (2016). Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2016.08.067\">https://doi.org/10.1016/j.cub.2016.08.067</a>","ama":"Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. <i>Current Biology</i>. 2016;26(22):3026-3032. doi:<a href=\"https://doi.org/10.1016/j.cub.2016.08.067\">10.1016/j.cub.2016.08.067</a>","ista":"Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. 2016. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 26(22), 3026–3032.","chicago":"Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” <i>Current Biology</i>. Cell Press, 2016. <a href=\"https://doi.org/10.1016/j.cub.2016.08.067\">https://doi.org/10.1016/j.cub.2016.08.067</a>.","ieee":"H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” <i>Current Biology</i>, vol. 26, no. 22. Cell Press, pp. 3026–3032, 2016.","mla":"Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” <i>Current Biology</i>, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:<a href=\"https://doi.org/10.1016/j.cub.2016.08.067\">10.1016/j.cub.2016.08.067</a>.","short":"H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032."},"department":[{"_id":"JiFr"}],"date_updated":"2021-01-12T06:49:08Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","ddc":["581"],"publication_status":"published","abstract":[{"text":"Plants adjust their growth according to gravity. Gravitropism involves gravity perception, signal transduction, and asymmetric growth response, with organ bending as a consequence [1]. Asymmetric growth results from the asymmetric distribution of the plant-specific signaling molecule auxin [2] that is generated by lateral transport, mediated in the hypocotyl predominantly by the auxin transporter PIN-FORMED3 (PIN3) [3–5]. Gravity stimulation polarizes PIN3 to the bottom sides of endodermal cells, correlating with increased auxin accumulation in adjacent tissues at the lower side of the stimulated organ, where auxin induces cell elongation and, hence, organ bending. A curvature response allows the hypocotyl to resume straight growth at a defined angle [6], implying that at some point auxin symmetry is restored to prevent overbending. Here, we present initial insights into cellular and molecular mechanisms that lead to the termination of the tropic response. We identified an auxin feedback on PIN3 polarization as underlying mechanism that restores symmetry of the PIN3-dependent auxin flow. Thus, two mechanistically distinct PIN3 polarization events redirect auxin fluxes at different time points of the gravity response: first, gravity-mediated redirection of PIN3-mediated auxin flow toward the lower hypocotyl side, where auxin gradually accumulates and promotes growth, and later PIN3 polarization to the opposite cell side, depleting this auxin maximum to end the bending. Accordingly, genetic or pharmacological interference with the late PIN3 polarization prevents termination of the response and leads to hypocotyl overbending. This observation reveals a role of auxin feedback on PIN polarity in the termination of the tropic response. © 2016 Elsevier Ltd","lang":"eng"}],"title":"Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity","file_date_updated":"2020-07-14T12:44:39Z","publisher":"Cell Press","date_published":"2016-11-21T00:00:00Z","oa":1,"page":"3026 - 3032","doi":"10.1016/j.cub.2016.08.067","year":"2016","day":"21","acknowledgement":"We thank Dr. Jie Li (Key Laboratory of Plant Molecular Physiology, Chinese Academy of Science, China) for the pPIN3::PIN3-GFP/DII::VENUS line and Martine De Cock for help in preparing the manuscript. This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP), by the Czech Science Foundation GAČR (GA13-40637S) to J.F., and by the Ministry of Education, Youth and Sports of the Czech Republic under the project CEITEC 2020 (LQ1601) to H.S.R. H.R. is indebted to the Agency for Innovation by Science and Technology (IWT) for a predoctoral fellowship.\r\n","scopus_import":1,"publication":"Current Biology","publist_id":"6138","intvolume":"        26"},{"title":"Acceleration feature points of unsteady shear flows","volume":68,"language":[{"iso":"eng"}],"date_published":"2016-01-01T00:00:00Z","publisher":"Polish Academy of Sciences Publishing House","issue":"1","publication_status":"published","month":"01","abstract":[{"lang":"eng","text":"A framework fo r extracting features in 2D transient flows, based on the acceleration field to ensure Galilean invariance is proposed in this paper. The minima of the acceleration magnitude (a superset of acceleration zeros) are extracted and discriminated into vortices and saddle points, based on the spectral properties of the velocity Jacobian. The extraction of topological features is performed with purely combinatorial algorithms from discrete computational topology. The feature points are prioritized with persistence, as a physically meaningful importance measure. These feature points are tracked in time with a robust algorithm for tracking features. Thus, a space-time hierarchy of the minima is built and vortex merging events are detected. We apply the acceleration feature extraction strategy to three two-dimensional shear flows: (1) an incompressible periodic cylinder wake, (2) an incompressible planar mixing layer and (3) a weakly compressible planar jet. The vortex-like acceleration feature points are shown to be well aligned with acceleration zeros, maxima of the vorticity magnitude, minima of the pressure field and minima of λ2."}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Jens","last_name":"Kasten","full_name":"Kasten, Jens"},{"first_name":"Jan","last_name":"Reininghaus","id":"4505473A-F248-11E8-B48F-1D18A9856A87","full_name":"Reininghaus, Jan"},{"first_name":"Ingrid","last_name":"Hotz","full_name":"Hotz, Ingrid"},{"full_name":"Hege, Hans","first_name":"Hans","last_name":"Hege"},{"full_name":"Noack, Bernd","first_name":"Bernd","last_name":"Noack"},{"last_name":"Daviller","first_name":"Guillaume","full_name":"Daviller, Guillaume"},{"last_name":"Morzyński","first_name":"Marek","full_name":"Morzyński, Marek"}],"oa_version":"Published Version","citation":{"mla":"Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” <i>Archives of Mechanics</i>, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.","short":"J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyński, Archives of Mechanics 68 (2016) 55–80.","ieee":"J. Kasten <i>et al.</i>, “Acceleration feature points of unsteady shear flows,” <i>Archives of Mechanics</i>, vol. 68, no. 1. Polish Academy of Sciences Publishing House, pp. 55–80, 2016.","chicago":"Kasten, Jens, Jan Reininghaus, Ingrid Hotz, Hans Hege, Bernd Noack, Guillaume Daviller, and Marek Morzyński. “Acceleration Feature Points of Unsteady Shear Flows.” <i>Archives of Mechanics</i>. Polish Academy of Sciences Publishing House, 2016.","ama":"Kasten J, Reininghaus J, Hotz I, et al. Acceleration feature points of unsteady shear flows. <i>Archives of Mechanics</i>. 2016;68(1):55-80.","ista":"Kasten J, Reininghaus J, Hotz I, Hege H, Noack B, Daviller G, Morzyński M. 2016. Acceleration feature points of unsteady shear flows. Archives of Mechanics. 68(1), 55–80.","apa":"Kasten, J., Reininghaus, J., Hotz, I., Hege, H., Noack, B., Daviller, G., &#38; Morzyński, M. (2016). Acceleration feature points of unsteady shear flows. <i>Archives of Mechanics</i>. Polish Academy of Sciences Publishing House."},"department":[{"_id":"HeEd"}],"quality_controlled":"1","date_updated":"2021-01-12T06:49:09Z","publication":"Archives of Mechanics","publist_id":"6118","intvolume":"        68","scopus_import":1,"main_file_link":[{"url":"http://am.ippt.pan.pl/am/article/viewFile/v68p55/pdf","open_access":"1"}],"status":"public","year":"2016","day":"01","page":"55 - 80","acknowledgement":"The authors acknowledge funding of the German Re-\r\nsearch  Foundation  (DFG)  via  the  Collaborative  Re-\r\nsearch  Center  (SFB  557)  \\Control  of  Complex  Turbu-\r\nlent  Shear  Flows\"  and  the  Emmy  Noether  Program.\r\nFurther  funding  was  provided  by  the  Zuse  Institute\r\nBerlin  (ZIB),  the  DFG-CNRS  research  group  \\Noise\r\nGeneration in Turbulent Flows\" (2003{2010), the Chaire\r\nd'Excellence 'Closed-loop control of turbulent shear  ows\r\nusing reduced-order models' (TUCOROM) of the French\r\nAgence Nationale de la Recherche (ANR), and the Eu-\r\nropean  Social  Fund  (ESF  App.   No.   100098251).   We\r\nthank  the  Ambrosys  Ltd.  Society  for  Complex  Sys-\r\ntems  Management  and  the  Bernd  R.  Noack  Cybernet-\r\nics  Foundation  for  additional  support.   A  part  of  this\r\nwork was performed using HPC resources from GENCI-[CCRT/CINES/IDRIS]  supported  by  the  Grant  2011-\r\n[x2011020912","_id":"1216","type":"journal_article","date_created":"2018-12-11T11:50:46Z","oa":1},{"acknowledgement":"Dutch Ministry of Economic Affairs, Agriculture, and Innovation through the program BioSolar CellsS. Andreas Angermayr,Pascal van Alphen, Klaas J. Hellingwerf\r\nWe thank Naira Quintana (presently at Rousselot, Belgium) for the ini-\r\ntiative  at  the  10th  Cyanobacterial  Molecular  Biology  Workshop\r\n(CMBW), June 2010, Lake Arrowhead, Los Angeles, CA, USA, to start the\r\ncollaborative endeavor reported here. We thank Timo Maarleveld from\r\nCWI/VU (Amsterdam) for a custom-made Python script handling the output from the NMR analysis and for evaluating and visualizing the\r\nseparate metabolites for their evaluation. We thank Rob Verpoorte from\r\nLeiden University (metabolome analysis) and Hans Aerts from the AMC\r\n(proteome analysis) for lab space and equipment. We thank Robert Leh-\r\nmann (Humboldt University Berlin) and Ilka Axmann (University of\r\nDüsseldorf) for sharing the R-code for the LOS transformation of the\r\ntranscript data. We thank Hans C. P. Matthijs from IBED for inspiring\r\ndialogues and insightful thoughts on continuous culturing of cyanobac-\r\nteria. We thank Sandra Waaijenborg for performing the transcript nor-\r\nmalization and Johan Westerhuis from BDA, Jeroen van der Steen and\r\nFilipe Branco dos Santos from MMP, and Lucas Stal from IBED/NIOZ for\r\nhelpful discussions. We thank Milou Schuurmans from MMP for help\r\nwith sampling and glycogen determination. We thank the members of the\r\nRNA Biology & Applied Bioinformatics group at SILS, in particular Selina\r\nvan Leeuwen, Elisa Hoekstra, and Martijs Jonker, for the microarray anal-\r\nysis. We thank the reviewers of this work for their insightful comments\r\nwhich improved the quality of the manuscript. This work, including the efforts of S. Andreas Angermayr, Pascal van\r\nAlphen, and Klaas J. Hellingwerf, was funded by Dutch Ministry of Eco-\r\nnomic Affairs, Agriculture, and Innovation through the program BioSolar\r\nCells.","year":"2016","page":"4180 - 4189","doi":"10.1128/AEM.00256-16","day":"01","oa":1,"publist_id":"6117","intvolume":"        82","publication":"Applied and Environmental Microbiology","scopus_import":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToBo"}],"date_updated":"2021-01-12T06:49:10Z","citation":{"mla":"Angermayr, Andreas, et al. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” <i>Applied and Environmental Microbiology</i>, vol. 82, no. 14, American Society for Microbiology, 2016, pp. 4180–89, doi:<a href=\"https://doi.org/10.1128/AEM.00256-16\">10.1128/AEM.00256-16</a>.","short":"A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.","ama":"Angermayr A, Van Alphen P, Hasdemir D, et al. Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. <i>Applied and Environmental Microbiology</i>. 2016;82(14):4180-4189. doi:<a href=\"https://doi.org/10.1128/AEM.00256-16\">10.1128/AEM.00256-16</a>","ista":"Angermayr A, Van Alphen P, Hasdemir D, Kramer G, Iqbal M, Van Grondelle W, Hoefsloot H, Choi Y, Hellingwerf K. 2016. Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. Applied and Environmental Microbiology. 82(14), 4180–4189.","chicago":"Angermayr, Andreas, Pascal Van Alphen, Dicle Hasdemir, Gertjan Kramer, Muzamal Iqbal, Wilmar Van Grondelle, Huub Hoefsloot, Younghae Choi, and Klaas Hellingwerf. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” <i>Applied and Environmental Microbiology</i>. American Society for Microbiology, 2016. <a href=\"https://doi.org/10.1128/AEM.00256-16\">https://doi.org/10.1128/AEM.00256-16</a>.","apa":"Angermayr, A., Van Alphen, P., Hasdemir, D., Kramer, G., Iqbal, M., Van Grondelle, W., … Hellingwerf, K. (2016). Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. <i>Applied and Environmental Microbiology</i>. American Society for Microbiology. <a href=\"https://doi.org/10.1128/AEM.00256-16\">https://doi.org/10.1128/AEM.00256-16</a>","ieee":"A. Angermayr <i>et al.</i>, “Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs,” <i>Applied and Environmental Microbiology</i>, vol. 82, no. 14. American Society for Microbiology, pp. 4180–4189, 2016."},"date_published":"2016-07-01T00:00:00Z","publisher":"American Society for Microbiology","title":"Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs","publication_status":"published","abstract":[{"lang":"eng","text":"Investigating the physiology of cyanobacteria cultured under a diel light regime is relevant for a better understanding of the resulting growth characteristics and for specific biotechnological applications that are foreseen for these photosynthetic organisms. Here, we present the results of a multiomics study of the model cyanobacterium Synechocystis sp. strain PCC 6803, cultured in a lab-scale photobioreactor in physiological conditions relevant for large-scale culturing. The culture was sparged withN2 andCO2, leading to an anoxic environment during the dark period. Growth followed the availability of light. Metabolite analysis performed with 1Hnuclear magnetic resonance analysis showed that amino acids involved in nitrogen and sulfur assimilation showed elevated levels in the light. Most protein levels, analyzed through mass spectrometry, remained rather stable. However, several high-light-response proteins and stress-response proteins showed distinct changes at the onset of the light period. Microarray-based transcript analysis found common patterns of~56% of the transcriptome following the diel regime. These oscillating transcripts could be grouped coarsely into genes that were upregulated and downregulated in the dark period. The accumulated glycogen was degraded in the anaerobic environment in the dark. A small part was degraded gradually, reflecting basic maintenance requirements of the cells in darkness. Surprisingly, the largest part was degraded rapidly in a short time span at the end of the dark period. This degradation could allow rapid formation of metabolic intermediates at the end of the dark period, preparing the cells for the resumption of growth at the start of the light period."}],"status":"public","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4959195/"}],"date_created":"2018-12-11T11:50:46Z","_id":"1218","type":"journal_article","author":[{"full_name":"Angermayr, Andreas","id":"4677C796-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8619-2223","first_name":"Andreas","last_name":"Angermayr"},{"last_name":"Van Alphen","first_name":"Pascal","full_name":"Van Alphen, Pascal"},{"full_name":"Hasdemir, Dicle","last_name":"Hasdemir","first_name":"Dicle"},{"full_name":"Kramer, Gertjan","first_name":"Gertjan","last_name":"Kramer"},{"first_name":"Muzamal","last_name":"Iqbal","full_name":"Iqbal, Muzamal"},{"first_name":"Wilmar","last_name":"Van Grondelle","full_name":"Van Grondelle, Wilmar"},{"first_name":"Huub","last_name":"Hoefsloot","full_name":"Hoefsloot, Huub"},{"full_name":"Choi, Younghae","first_name":"Younghae","last_name":"Choi"},{"last_name":"Hellingwerf","first_name":"Klaas","full_name":"Hellingwerf, Klaas"}],"quality_controlled":"1","oa_version":"Submitted Version","language":[{"iso":"eng"}],"volume":82,"month":"07","issue":"14"},{"type":"journal_article","_id":"1219","date_created":"2018-12-11T11:50:47Z","main_file_link":[{"url":"https://arxiv.org/abs/1405.6634","open_access":"1"}],"status":"public","ec_funded":1,"oa_version":"Preprint","quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"author":[{"first_name":"Jioon","last_name":"Lee","full_name":"Lee, Jioon"},{"id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","full_name":"Schnelli, Kevin","last_name":"Schnelli","first_name":"Kevin","orcid":"0000-0003-0954-3231"},{"full_name":"Stetler, Ben","last_name":"Stetler","first_name":"Ben"},{"first_name":"Horngtzer","last_name":"Yau","full_name":"Yau, Horngtzer"}],"issue":"3","month":"01","volume":44,"language":[{"iso":"eng"}],"oa":1,"doi":"10.1214/15-AOP1023","page":"2349 - 2425","day":"01","year":"2016","acknowledgement":"J.C. was supported in part by National Research Foundation of Korea Grant 2011-0013474 and TJ Park Junior Faculty Fellowship.\r\nK.S. was supported by ERC Advanced Grant RANMAT, No. 338804, and the \"Fund for Math.\"\r\nB.S. was supported by NSF GRFP Fellowship DGE-1144152.\r\nH.Y. was supported in part by NSF Grant DMS-13-07444 and Simons investigator fellowship. We thank Paul Bourgade, László Erd ̋os and Antti Knowles for helpful comments. We are grateful to the Taida Institute for Mathematical\r\nSciences and National Taiwan Universality for their hospitality during part of this\r\nresearch. We thank Thomas Spencer and the Institute for Advanced Study for their\r\nhospitality during the academic year 2013–2014.  ","scopus_import":1,"publication":"Annals of Probability","intvolume":"        44","publist_id":"6115","citation":{"mla":"Lee, Jioon, et al. “Bulk Universality for Deformed Wigner Matrices.” <i>Annals of Probability</i>, vol. 44, no. 3, Institute of Mathematical Statistics, 2016, pp. 2349–425, doi:<a href=\"https://doi.org/10.1214/15-AOP1023\">10.1214/15-AOP1023</a>.","short":"J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.","ieee":"J. Lee, K. Schnelli, B. Stetler, and H. Yau, “Bulk universality for deformed wigner matrices,” <i>Annals of Probability</i>, vol. 44, no. 3. Institute of Mathematical Statistics, pp. 2349–2425, 2016.","chicago":"Lee, Jioon, Kevin Schnelli, Ben Stetler, and Horngtzer Yau. “Bulk Universality for Deformed Wigner Matrices.” <i>Annals of Probability</i>. Institute of Mathematical Statistics, 2016. <a href=\"https://doi.org/10.1214/15-AOP1023\">https://doi.org/10.1214/15-AOP1023</a>.","ista":"Lee J, Schnelli K, Stetler B, Yau H. 2016. Bulk universality for deformed wigner matrices. Annals of Probability. 44(3), 2349–2425.","ama":"Lee J, Schnelli K, Stetler B, Yau H. Bulk universality for deformed wigner matrices. <i>Annals of Probability</i>. 2016;44(3):2349-2425. doi:<a href=\"https://doi.org/10.1214/15-AOP1023\">10.1214/15-AOP1023</a>","apa":"Lee, J., Schnelli, K., Stetler, B., &#38; Yau, H. (2016). Bulk universality for deformed wigner matrices. <i>Annals of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/15-AOP1023\">https://doi.org/10.1214/15-AOP1023</a>"},"date_updated":"2021-01-12T06:49:10Z","department":[{"_id":"LaEr"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We consider N×N random matrices of the form H = W + V where W is a real symmetric or complex Hermitian Wigner matrix and V is a random or deterministic, real, diagonal matrix whose entries are independent of W. We assume subexponential decay for the matrix entries of W, and we choose V so that the eigenvalues ofW and V are typically of the same order. For a large class of diagonal matrices V , we show that the local statistics in the bulk of the spectrum are universal in the limit of large N."}],"publication_status":"published","title":"Bulk universality for deformed wigner matrices","date_published":"2016-01-01T00:00:00Z","publisher":"Institute of Mathematical Statistics"},{"publication":"Physical Review E - Statistical, Nonlinear, and Soft Matter Physics","intvolume":"        93","publist_id":"7932","arxiv":1,"year":"2016","doi":"10.1103/PhysRevE.93.023003","day":"03","acknowledgement":"This work is part of the research programme of the Foundation for Fundamental Research on Matter (FOM), which is part of the Netherlands Organisation for Scientific Research (NWO).","oa":1,"title":"Origami building blocks: Generic and special four-vertices","publisher":"American Physiological Society","date_published":"2016-02-03T00:00:00Z","abstract":[{"lang":"eng","text":"Four rigid panels connected by hinges that meet at a point form a four-vertex, the fundamental building block of origami metamaterials. Most materials designed so far are based on the same four-vertex geometry, and little is known regarding how different geometries affect folding behavior. Here we systematically categorize and analyze the geometries and resulting folding motions of Euclidean four-vertices. Comparing the relative sizes of sector angles, we identify three types of generic vertices and two accompanying subtypes. We determine which folds can fully close and the possible mountain-valley assignments. Next, we consider what occurs when sector angles or sums thereof are set equal, which results in 16 special vertex types. One of these, flat-foldable vertices, has been studied extensively, but we show that a wide variety of qualitatively different folding motions exist for the other 15 special and 3 generic types. Our work establishes a straightforward set of rules for understanding the folding motion of both generic and special four-vertices and serves as a roadmap for designing origami metamaterials."}],"publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1507.08442"]},"citation":{"short":"S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).","mla":"Waitukaitis, Scott R., and Martin Van Hecke. “Origami Building Blocks: Generic and Special Four-Vertices.” <i>Physical Review E - Statistical, Nonlinear, and Soft Matter Physics</i>, vol. 93, no. 2, 023003, American Physiological Society, 2016, doi:<a href=\"https://doi.org/10.1103/PhysRevE.93.023003\">10.1103/PhysRevE.93.023003</a>.","ieee":"S. R. Waitukaitis and M. Van Hecke, “Origami building blocks: Generic and special four-vertices,” <i>Physical Review E - Statistical, Nonlinear, and Soft Matter Physics</i>, vol. 93, no. 2. American Physiological Society, 2016.","apa":"Waitukaitis, S. R., &#38; Van Hecke, M. (2016). Origami building blocks: Generic and special four-vertices. <i>Physical Review E - Statistical, Nonlinear, and Soft Matter Physics</i>. American Physiological Society. <a href=\"https://doi.org/10.1103/PhysRevE.93.023003\">https://doi.org/10.1103/PhysRevE.93.023003</a>","ista":"Waitukaitis SR, Van Hecke M. 2016. Origami building blocks: Generic and special four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 93(2), 023003.","ama":"Waitukaitis SR, Van Hecke M. Origami building blocks: Generic and special four-vertices. <i>Physical Review E - Statistical, Nonlinear, and Soft Matter Physics</i>. 2016;93(2). doi:<a href=\"https://doi.org/10.1103/PhysRevE.93.023003\">10.1103/PhysRevE.93.023003</a>","chicago":"Waitukaitis, Scott R, and Martin Van Hecke. “Origami Building Blocks: Generic and Special Four-Vertices.” <i>Physical Review E - Statistical, Nonlinear, and Soft Matter Physics</i>. American Physiological Society, 2016. <a href=\"https://doi.org/10.1103/PhysRevE.93.023003\">https://doi.org/10.1103/PhysRevE.93.023003</a>."},"date_updated":"2021-01-12T06:49:10Z","extern":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1507.08442"}],"status":"public","_id":"122","type":"journal_article","date_created":"2018-12-11T11:44:44Z","volume":93,"language":[{"iso":"eng"}],"issue":"2","article_number":"023003","month":"02","author":[{"first_name":"Scott R","last_name":"Waitukaitis","orcid":"0000-0002-2299-3176","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","full_name":"Waitukaitis, Scott R"},{"last_name":"Van Hecke","first_name":"Martin","full_name":"Van Hecke, Martin"}],"oa_version":"Preprint","quality_controlled":"1"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Mikić, Gregor","last_name":"Mikić","first_name":"Gregor"},{"last_name":"Stoll","first_name":"Alex","full_name":"Stoll, Alex"},{"first_name":"Joe","last_name":"Bevirt","full_name":"Bevirt, Joe"},{"full_name":"Grah, Rok","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2539-3560","first_name":"Rok","last_name":"Grah"},{"full_name":"Moore, Mark","first_name":"Mark","last_name":"Moore"}],"citation":{"apa":"Mikić, G., Stoll, A., Bevirt, J., Grah, R., &#38; Moore, M. (2016). Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency (pp. 1–19). Presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA: AIAA. <a href=\"https://doi.org/10.2514/6.2016-3764\">https://doi.org/10.2514/6.2016-3764</a>","chicago":"Mikić, Gregor, Alex Stoll, Joe Bevirt, Rok Grah, and Mark Moore. “Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency,” 1–19. AIAA, 2016. <a href=\"https://doi.org/10.2514/6.2016-3764\">https://doi.org/10.2514/6.2016-3764</a>.","ama":"Mikić G, Stoll A, Bevirt J, Grah R, Moore M. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. In: AIAA; 2016:1-19. doi:<a href=\"https://doi.org/10.2514/6.2016-3764\">10.2514/6.2016-3764</a>","ista":"Mikić G, Stoll A, Bevirt J, Grah R, Moore M. 2016. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. AIAA: Aviation Technology, Integration, and Operations Conference, 1–19.","ieee":"G. Mikić, A. Stoll, J. Bevirt, R. Grah, and M. Moore, “Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency,” presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA, 2016, pp. 1–19.","short":"G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.","mla":"Mikić, Gregor, et al. <i>Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency</i>. AIAA, 2016, pp. 1–19, doi:<a href=\"https://doi.org/10.2514/6.2016-3764\">10.2514/6.2016-3764</a>."},"oa_version":"Preprint","date_updated":"2023-02-21T10:17:50Z","quality_controlled":"1","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"title":"Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency","date_published":"2016-06-01T00:00:00Z","publisher":"AIAA","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Theoretical and numerical aspects of aerodynamic efficiency of propulsion systems coupled to the boundary layer of a fuselage are studied. We discuss the effects of local flow fields, which are affected both by conservative flow acceleration as well as total pressure losses, on the efficiency of boundary layer immersed propulsion devices. We introduce the concept of a boundary layer retardation turbine that helps reduce skin friction over the fuselage. We numerically investigate efficiency gains offered by boundary layer and wake interacting devices. We discuss the results in terms of a total energy consumption framework and show that efficiency gains of any device depend on all the other elements of the propulsion system."}],"month":"06","publication_status":"published","year":"2016","day":"01","status":"public","page":"1 - 19","doi":"10.2514/6.2016-3764","main_file_link":[{"url":"https://ntrs.nasa.gov/search.jsp?R=20160010167&amp;hterms=Fuselage+boundary+layer+ingestion+propulsion+applied+thin+haul+commuter+aircraft+optimal+efficiency&amp;qs=N%3D0%26Ntk%3DAll%26Ntt%3DFuselage%2520boundary%2520layer%2520ingestion%2520propulsion%2520applied%2520to%2520a%2520thin%2520haul%2520commuter%2520aircraft%2520for%2520optimal%2520efficiency%26Ntx%3Dmode%2520matchallpartial%26Nm%3D123%7CCollection%7CNASA%2520STI%7C%7C17%7CCollection%7CNACA","open_access":"1"}],"type":"conference","_id":"1220","oa":1,"date_created":"2018-12-11T11:50:47Z","conference":{"start_date":"2016-06-13","end_date":"2016-06-17","location":"Washington, D.C., USA","name":"AIAA: Aviation Technology, Integration, and Operations Conference"},"publist_id":"6114","scopus_import":1},{"article_type":"original","type":"journal_article","_id":"1221","date_created":"2018-12-11T11:50:47Z","status":"public","license":"https://creativecommons.org/licenses/by/4.0/","pubrep_id":"711","ec_funded":1,"oa_version":"Published Version","quality_controlled":"1","project":[{"grant_number":"282300","_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7"}],"author":[{"id":"483727CA-F248-11E8-B48F-1D18A9856A87","full_name":"Michalko, Jaroslav","first_name":"Jaroslav","last_name":"Michalko"},{"full_name":"Glanc, Matous","id":"1AE1EA24-02D0-11E9-9BAA-DAF4881429F2","orcid":"0000-0003-0619-7783","last_name":"Glanc","first_name":"Matous"},{"first_name":"Catherine","last_name":"Perrot Rechenmann","full_name":"Perrot Rechenmann, Catherine"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jirí","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"article_number":"86","file":[{"relation":"main_file","access_level":"open_access","file_size":2990459,"checksum":"c9e50bb6096a7ba4a832969935820f19","file_id":"5154","creator":"system","date_created":"2018-12-12T10:15:33Z","date_updated":"2020-07-14T12:44:39Z","content_type":"application/pdf","file_name":"IST-2016-711-v1+1_770cf1e0-612f-4e85-a500-54b6349fbbab_7654_-_jaroslav_michalko.pdf"}],"has_accepted_license":"1","month":"01","volume":5,"article_processing_charge":"No","language":[{"iso":"eng"}],"oa":1,"year":"2016","day":"20","doi":"10.12688/f1000research.7654.1","acknowledgement":"This work was supported by ERC Independent Research grant (ERC-2011-StG-20101109-PSDP to JF). JM internship was supported by the grant “Action Austria – Slovakia”. MG was supported by the scholarship \"Stipendien der Stipendienstiftung der Republik Österreich\". Work by EH and CPR were supported by ANR blanc ANR-14-CE11-0018. We would like to thank Mark Estelle and Yunde Zhao for provid\r\n-\r\ning \r\nabp1-c1\r\n, \r\nabp1-TD1 \r\nand \r\nabp1-WTc1 \r\nseeds. We thank Emeline \r\nHuault for technical assistance.","scopus_import":"1","publication":"F1000 Research ","publist_id":"6113","intvolume":"         5","citation":{"ieee":"J. Michalko, M. Glanc, C. Perrot Rechenmann, and J. Friml, “Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein,” <i>F1000 Research </i>, vol. 5. F1000 Research, 2016.","ama":"Michalko J, Glanc M, Perrot Rechenmann C, Friml J. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. <i>F1000 Research </i>. 2016;5. doi:<a href=\"https://doi.org/10.12688/f1000research.7654.1\">10.12688/f1000research.7654.1</a>","ista":"Michalko J, Glanc M, Perrot Rechenmann C, Friml J. 2016. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . 5, 86.","chicago":"Michalko, Jaroslav, Matous Glanc, Catherine Perrot Rechenmann, and Jiří Friml. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” <i>F1000 Research </i>. F1000 Research, 2016. <a href=\"https://doi.org/10.12688/f1000research.7654.1\">https://doi.org/10.12688/f1000research.7654.1</a>.","apa":"Michalko, J., Glanc, M., Perrot Rechenmann, C., &#38; Friml, J. (2016). Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. <i>F1000 Research </i>. F1000 Research. <a href=\"https://doi.org/10.12688/f1000research.7654.1\">https://doi.org/10.12688/f1000research.7654.1</a>","short":"J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, F1000 Research  5 (2016).","mla":"Michalko, Jaroslav, et al. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” <i>F1000 Research </i>, vol. 5, 86, F1000 Research, 2016, doi:<a href=\"https://doi.org/10.12688/f1000research.7654.1\">10.12688/f1000research.7654.1</a>."},"department":[{"_id":"JiFr"}],"date_updated":"2025-05-07T11:12:30Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["581"],"publication_status":"published","abstract":[{"lang":"eng","text":"The Auxin Binding Protein 1 (ABP1) is one of the most studied proteins in plants. Since decades ago, it has been the prime receptor candidate for the plant hormone auxin with a plethora of described functions in auxin signaling and development. The developmental importance of ABP1 has recently been questioned by identification of Arabidopsis thaliana abp1 knock-out alleles that show no obvious phenotypes under normal growth conditions. In this study, we examined the contradiction between the normal growth and development of the abp1 knock-outs and the strong morphological defects observed in three different ethanol-inducible abp1 knock-down mutants ( abp1-AS, SS12K, SS12S). By analyzing segregating populations of abp1 knock-out vs. abp1 knock-down crosses we show that the strong morphological defects that were believed to be the result of conditional down-regulation of ABP1 can be reproduced also in the absence of the functional ABP1 protein. This data suggests that the phenotypes in abp1 knock-down lines are due to the off-target effects and asks for further reflections on the biological function of ABP1 or alternative explanations for the missing phenotypic defects in the abp1 loss-of-function alleles."}],"title":"Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein","file_date_updated":"2020-07-14T12:44:39Z","publisher":"F1000 Research","date_published":"2016-01-20T00:00:00Z"},{"author":[{"full_name":"Musin, Oleg","last_name":"Musin","first_name":"Oleg"},{"id":"3E4FF1BA-F248-11E8-B48F-1D18A9856A87","full_name":"Nikitenko, Anton","first_name":"Anton","last_name":"Nikitenko"}],"oa_version":"Preprint","quality_controlled":"1","volume":55,"language":[{"iso":"eng"}],"issue":"1","month":"01","main_file_link":[{"url":"https://arxiv.org/abs/1212.0649","open_access":"1"}],"status":"public","_id":"1222","type":"journal_article","date_created":"2018-12-11T11:50:48Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Musin, O., &#38; Nikitenko, A. (2016). Optimal packings of congruent circles on a square flat torus. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-015-9742-6\">https://doi.org/10.1007/s00454-015-9742-6</a>","ista":"Musin O, Nikitenko A. 2016. Optimal packings of congruent circles on a square flat torus. Discrete &#38; Computational Geometry. 55(1), 1–20.","chicago":"Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00454-015-9742-6\">https://doi.org/10.1007/s00454-015-9742-6</a>.","ama":"Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. <i>Discrete &#38; Computational Geometry</i>. 2016;55(1):1-20. doi:<a href=\"https://doi.org/10.1007/s00454-015-9742-6\">10.1007/s00454-015-9742-6</a>","ieee":"O. Musin and A. Nikitenko, “Optimal packings of congruent circles on a square flat torus,” <i>Discrete &#38; Computational Geometry</i>, vol. 55, no. 1. Springer, pp. 1–20, 2016.","mla":"Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” <i>Discrete &#38; Computational Geometry</i>, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:<a href=\"https://doi.org/10.1007/s00454-015-9742-6\">10.1007/s00454-015-9742-6</a>.","short":"O. Musin, A. Nikitenko, Discrete &#38; Computational Geometry 55 (2016) 1–20."},"date_updated":"2021-01-12T06:49:11Z","department":[{"_id":"HeEd"}],"title":"Optimal packings of congruent circles on a square flat torus","date_published":"2016-01-01T00:00:00Z","publisher":"Springer","abstract":[{"text":"We consider packings of congruent circles on a square flat torus, i.e., periodic (w.r.t. a square lattice) planar circle packings, with the maximal circle radius. This problem is interesting due to a practical reason—the problem of “super resolution of images.” We have found optimal arrangements for N=6, 7 and 8 circles. Surprisingly, for the case N=7 there are three different optimal arrangements. Our proof is based on a computer enumeration of toroidal irreducible contact graphs.","lang":"eng"}],"publication_status":"published","doi":"10.1007/s00454-015-9742-6","day":"01","year":"2016","page":"1 - 20","acknowledgement":"We wish to thank Alexey Tarasov, Vladislav Volkov and Brittany Fasy for some useful comments and remarks, and especially Thom Sulanke for modifying surftri to suit our purposes. Oleg R. Musin was partially supported by the NSF Grant DMS-1400876 and by the RFBR Grant 15-01-99563. Anton V. Nikitenko was supported by the Chebyshev Laboratory (Department of Mathematics and Mechanics, St. Petersburg State University) under RF Government Grant 11.G34.31.0026.","oa":1,"publication":"Discrete & Computational Geometry","intvolume":"        55","publist_id":"6111","scopus_import":1},{"scopus_import":1,"publication":"Journal of Spectral Theory","publist_id":"6112","intvolume":"         6","type":"journal_article","_id":"1223","oa":1,"date_created":"2018-12-11T11:50:48Z","page":"557 - 600","status":"public","year":"2016","day":"01","main_file_link":[{"url":"https://arxiv.org/abs/1408.3961","open_access":"1"}],"doi":"10.4171/JST/132","issue":"3","month":"01","publication_status":"published","abstract":[{"text":"We consider a random Schrödinger operator on the binary tree with a random potential which is the sum of a random radially symmetric potential, Qr, and a random transversally periodic potential, κQt, with coupling constant κ. Using a new one-dimensional dynamical systems approach combined with Jensen's inequality in hyperbolic space (our key estimate) we obtain a fractional moment estimate proving localization for small and large κ. Together with a previous result we therefore obtain a model with two Anderson transitions, from localization to delocalization and back to localization, when increasing κ. As a by-product we also have a partially new proof of one-dimensional Anderson localization at any disorder.","lang":"eng"}],"volume":6,"title":"Localization for transversally periodic random potentials on binary trees","publisher":"European Mathematical Society","language":[{"iso":"eng"}],"date_published":"2016-01-01T00:00:00Z","oa_version":"Preprint","citation":{"mla":"Froese, Richard, et al. “Localization for Transversally Periodic Random Potentials on Binary Trees.” <i>Journal of Spectral Theory</i>, vol. 6, no. 3, European Mathematical Society, 2016, pp. 557–600, doi:<a href=\"https://doi.org/10.4171/JST/132\">10.4171/JST/132</a>.","short":"R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.","apa":"Froese, R., Lee, D., Sadel, C., Spitzer, W., &#38; Stolz, G. (2016). Localization for transversally periodic random potentials on binary trees. <i>Journal of Spectral Theory</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/JST/132\">https://doi.org/10.4171/JST/132</a>","ista":"Froese R, Lee D, Sadel C, Spitzer W, Stolz G. 2016. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 6(3), 557–600.","ama":"Froese R, Lee D, Sadel C, Spitzer W, Stolz G. Localization for transversally periodic random potentials on binary trees. <i>Journal of Spectral Theory</i>. 2016;6(3):557-600. doi:<a href=\"https://doi.org/10.4171/JST/132\">10.4171/JST/132</a>","chicago":"Froese, Richard, Darrick Lee, Christian Sadel, Wolfgang Spitzer, and Günter Stolz. “Localization for Transversally Periodic Random Potentials on Binary Trees.” <i>Journal of Spectral Theory</i>. European Mathematical Society, 2016. <a href=\"https://doi.org/10.4171/JST/132\">https://doi.org/10.4171/JST/132</a>.","ieee":"R. Froese, D. Lee, C. Sadel, W. Spitzer, and G. Stolz, “Localization for transversally periodic random potentials on binary trees,” <i>Journal of Spectral Theory</i>, vol. 6, no. 3. European Mathematical Society, pp. 557–600, 2016."},"department":[{"_id":"LaEr"}],"quality_controlled":"1","date_updated":"2021-01-12T06:49:12Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Froese","first_name":"Richard","full_name":"Froese, Richard"},{"full_name":"Lee, Darrick","first_name":"Darrick","last_name":"Lee"},{"full_name":"Sadel, Christian","id":"4760E9F8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8255-3968","last_name":"Sadel","first_name":"Christian"},{"first_name":"Wolfgang","last_name":"Spitzer","full_name":"Spitzer, Wolfgang"},{"full_name":"Stolz, Günter","last_name":"Stolz","first_name":"Günter"}]},{"alternative_title":["LNCS"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., &#38; Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-319-44618-9_21\">https://doi.org/10.1007/978-3-319-44618-9_21</a>","chicago":"Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,” 9841:391–408. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-44618-9_21\">https://doi.org/10.1007/978-3-319-44618-9_21</a>.","ama":"Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. Practical round-optimal blind signatures in the standard model from weaker assumptions. In: Vol 9841. Springer; 2016:391-408. doi:<a href=\"https://doi.org/10.1007/978-3-319-44618-9_21\">10.1007/978-3-319-44618-9_21</a>","ista":"Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841, 391–408.","ieee":"G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, and D. Slamanig, “Practical round-optimal blind signatures in the standard model from weaker assumptions,” presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy, 2016, vol. 9841, pp. 391–408.","mla":"Fuchsbauer, Georg, et al. <i>Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions</i>. Vol. 9841, Springer, 2016, pp. 391–408, doi:<a href=\"https://doi.org/10.1007/978-3-319-44618-9_21\">10.1007/978-3-319-44618-9_21</a>.","short":"G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408."},"department":[{"_id":"KrPi"}],"date_updated":"2023-02-23T10:08:16Z","title":"Practical round-optimal blind signatures in the standard model from weaker assumptions","date_published":"2016-08-11T00:00:00Z","publisher":"Springer","publication_status":"published","abstract":[{"lang":"eng","text":"At Crypto 2015 Fuchsbauer, Hanser and Slamanig (FHS) presented the first standard-model construction of efficient roundoptimal blind signatures that does not require complexity leveraging. It is conceptually simple and builds on the primitive of structure-preserving signatures on equivalence classes (SPS-EQ). FHS prove the unforgeability of their scheme assuming EUF-CMA security of the SPS-EQ scheme and hardness of a version of the DH inversion problem. Blindness under adversarially chosen keys is proven under an interactive variant of the DDH assumption. We propose a variant of their scheme whose blindness can be proven under a non-interactive assumption, namely a variant of the bilinear DDH assumption. We moreover prove its unforgeability assuming only unforgeability of the underlying SPS-EQ but no additional assumptions as needed for the FHS scheme."}],"doi":"10.1007/978-3-319-44618-9_21","page":"391 - 408","year":"2016","day":"11","oa":1,"publist_id":"6109","intvolume":"      9841","scopus_import":1,"related_material":{"record":[{"id":"1647","relation":"earlier_version","status":"public"}]},"author":[{"full_name":"Fuchsbauer, Georg","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87","first_name":"Georg","last_name":"Fuchsbauer"},{"full_name":"Hanser, Christian","last_name":"Hanser","first_name":"Christian"},{"first_name":"Chethan","last_name":"Kamath Hosdurg","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","full_name":"Kamath Hosdurg, Chethan"},{"full_name":"Slamanig, Daniel","first_name":"Daniel","last_name":"Slamanig"}],"oa_version":"Submitted Version","project":[{"name":"Provable Security for Physical Cryptography","grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020"}],"quality_controlled":"1","volume":9841,"language":[{"iso":"eng"}],"month":"08","status":"public","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2016/662"}],"type":"conference","_id":"1225","date_created":"2018-12-11T11:50:49Z","conference":{"name":"SCN: Security and Cryptography for Networks","location":"Amalfi, Italy","end_date":"2016-09-02","start_date":"2016-08-31"},"ec_funded":1},{"publication":"Nature","publist_id":"6108","intvolume":"       538","scopus_import":1,"doi":"10.1038/nature19794","year":"2016","page":"406 - 410","day":"20","oa":1,"title":"Atomic structure of the entire mammalian mitochondrial complex i","pmid":1,"date_published":"2016-10-20T00:00:00Z","publisher":"Nature Publishing Group","publication_status":"published","abstract":[{"text":"Mitochondrial complex I (also known as NADH:ubiquinone oxidoreductase) contributes to cellular energy production by transferring electrons from NADH to ubiquinone coupled to proton translocation across the membrane. It is the largest protein assembly of the respiratory chain with a total mass of 970 kilodaltons. Here we present a nearly complete atomic structure of ovine (Ovis aries) mitochondrial complex I at 3.9 Å resolution, solved by cryo-electron microscopy with cross-linking and mass-spectrometry mapping experiments. All 14 conserved core subunits and 31 mitochondria-specific supernumerary subunits are resolved within the L-shaped molecule. The hydrophilic matrix arm comprises flavin mononucleotide and 8 iron-sulfur clusters involved in electron transfer, and the membrane arm contains 78 transmembrane helices, mostly contributed by antiporter-like subunits involved in proton translocation. Supernumerary subunits form an interlinked, stabilizing shell around the conserved core. Tightly bound lipids (including cardiolipins) further stabilize interactions between the hydrophobic subunits. Subunits with possible regulatory roles contain additional cofactors, NADPH and two phosphopantetheine molecules, which are shown to be involved in inter-subunit interactions. We observe two different conformations of the complex, which may be related to the conformationally driven coupling mechanism and to the active-deactive transition of the enzyme. Our structure provides insight into the mechanism, assembly, maturation and dysfunction of mitochondrial complex I, and allows detailed molecular analysis of disease-causing mutations.","lang":"eng"}],"external_id":{"pmid":["27595392"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"K. Fiedorczuk, J. A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, and L. A. Sazanov, “Atomic structure of the entire mammalian mitochondrial complex i,” <i>Nature</i>, vol. 538, no. 7625. Nature Publishing Group, pp. 406–410, 2016.","ista":"Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. 2016. Atomic structure of the entire mammalian mitochondrial complex i. Nature. 538(7625), 406–410.","chicago":"Fiedorczuk, Karol, James A Letts, Gianluca Degliesposti, Karol Kaszuba, Mark Skehel, and Leonid A Sazanov. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” <i>Nature</i>. Nature Publishing Group, 2016. <a href=\"https://doi.org/10.1038/nature19794\">https://doi.org/10.1038/nature19794</a>.","ama":"Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. Atomic structure of the entire mammalian mitochondrial complex i. <i>Nature</i>. 2016;538(7625):406-410. doi:<a href=\"https://doi.org/10.1038/nature19794\">10.1038/nature19794</a>","apa":"Fiedorczuk, K., Letts, J. A., Degliesposti, G., Kaszuba, K., Skehel, M., &#38; Sazanov, L. A. (2016). Atomic structure of the entire mammalian mitochondrial complex i. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature19794\">https://doi.org/10.1038/nature19794</a>","short":"K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.","mla":"Fiedorczuk, Karol, et al. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” <i>Nature</i>, vol. 538, no. 7625, Nature Publishing Group, 2016, pp. 406–10, doi:<a href=\"https://doi.org/10.1038/nature19794\">10.1038/nature19794</a>."},"department":[{"_id":"LeSa"}],"date_updated":"2021-01-12T06:49:13Z","ec_funded":1,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5164932/","open_access":"1"}],"status":"public","article_type":"original","type":"journal_article","_id":"1226","date_created":"2018-12-11T11:50:49Z","volume":538,"article_processing_charge":"No","language":[{"iso":"eng"}],"issue":"7625","month":"10","author":[{"id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0","full_name":"Fiedorczuk, Karol","first_name":"Karol","last_name":"Fiedorczuk"},{"first_name":"James A","last_name":"Letts","orcid":"0000-0002-9864-3586","id":"322DA418-F248-11E8-B48F-1D18A9856A87","full_name":"Letts, James A"},{"full_name":"Degliesposti, Gianluca","last_name":"Degliesposti","first_name":"Gianluca"},{"id":"3FDF9472-F248-11E8-B48F-1D18A9856A87","full_name":"Kaszuba, Karol","last_name":"Kaszuba","first_name":"Karol"},{"last_name":"Skehel","first_name":"Mark","full_name":"Skehel, Mark"},{"full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","first_name":"Leonid A","last_name":"Sazanov"}],"oa_version":"Submitted Version","project":[{"name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (FEBS)","_id":"2593EBD6-B435-11E9-9278-68D0E5697425"},{"_id":"2590DB08-B435-11E9-9278-68D0E5697425","grant_number":"701309","name":"Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes (H2020)","call_identifier":"H2020"}],"quality_controlled":"1"},{"date_created":"2018-12-11T11:50:49Z","type":"conference","_id":"1227","status":"public","pubrep_id":"781","conference":{"name":"HSB: Hybrid Systems Biology","location":"Grenoble, France","start_date":"2016-10-20","end_date":"2016-10-21"},"quality_controlled":"1","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"oa_version":"Submitted Version","author":[{"first_name":"Hui","last_name":"Kong","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","full_name":"Kong, Hui"},{"full_name":"Bartocci, Ezio","first_name":"Ezio","last_name":"Bartocci"},{"full_name":"Bogomolov, Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0686-0365","last_name":"Bogomolov","first_name":"Sergiy"},{"first_name":"Radu","last_name":"Grosu","full_name":"Grosu, Radu"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jiang, Yu","first_name":"Yu","last_name":"Jiang"},{"orcid":"0000-0003-3658-1065","last_name":"Schilling","first_name":"Christian","full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"}],"has_accepted_license":"1","month":"09","file":[{"checksum":"994e164b558c47bacf8dc066dd27c8fc","file_id":"4840","creator":"system","access_level":"open_access","file_size":683955,"relation":"main_file","file_name":"IST-2017-781-v1+1_main.pdf","content_type":"application/pdf","date_created":"2018-12-12T10:10:49Z","date_updated":"2020-07-14T12:44:39Z"}],"language":[{"iso":"eng"}],"volume":9957,"oa":1,"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23, S11405-N23 and S11412-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award).","day":"25","doi":"10.1007/978-3-319-47151-8_9","year":"2016","page":"128 - 144","scopus_import":1,"intvolume":"      9957","publist_id":"6107","date_updated":"2021-01-12T06:49:13Z","department":[{"_id":"ToHe"}],"citation":{"ieee":"H. Kong <i>et al.</i>, “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.","apa":"Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., &#38; Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/978-3-319-47151-8_9\">https://doi.org/10.1007/978-3-319-47151-8_9</a>","ista":"Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957, 128–144.","ama":"Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:<a href=\"https://doi.org/10.1007/978-3-319-47151-8_9\">10.1007/978-3-319-47151-8_9</a>","chicago":"Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-47151-8_9\">https://doi.org/10.1007/978-3-319-47151-8_9</a>.","short":"H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.","mla":"Kong, Hui, et al. <i>Discrete Abstraction of Multiaffine Systems</i>. Vol. 9957, Springer, 2016, pp. 128–44, doi:<a href=\"https://doi.org/10.1007/978-3-319-47151-8_9\">10.1007/978-3-319-47151-8_9</a>."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Many biological systems can be modeled as multiaffine hybrid systems. Due to the nonlinearity of multiaffine systems, it is difficult to verify their properties of interest directly. A common strategy to tackle this problem is to construct and analyze a discrete overapproximation of the original system. However, the conservativeness of a discrete abstraction significantly determines the level of confidence we can have in the properties of the original system. In this paper, in order to reduce the conservativeness of a discrete abstraction, we propose a new method based on a sufficient and necessary decision condition for computing discrete transitions between states in the abstract system. We assume the state space partition of a multiaffine system to be based on a set of multivariate polynomials. Hence, a rectangular partition defined in terms of polynomials of the form (xi − c) is just a simple case of multivariate polynomial partition, and the new decision condition applies naturally. We analyze and demonstrate the improvement of our method over the existing methods using some examples."}],"publication_status":"published","ddc":["005"],"publisher":"Springer","file_date_updated":"2020-07-14T12:44:39Z","date_published":"2016-09-25T00:00:00Z","title":"Discrete abstraction of multiaffine systems"},{"page":"285 - 303","year":"2016","day":"09","doi":"10.1007/978-3-319-39555-5_16","acknowledgement":"Research  supported  by  the  European  Research  Council,  ERC  starting  grant (259668-PSPC) and ERC consolidator grant (682815 - TOCNeT).","oa":1,"publist_id":"6105","intvolume":"      9696","scopus_import":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"83"}]},"alternative_title":["LNCS"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.","mla":"Abusalah, Hamza M., et al. <i>Offline Witness Encryption</i>. Vol. 9696, Springer, 2016, pp. 285–303, doi:<a href=\"https://doi.org/10.1007/978-3-319-39555-5_16\">10.1007/978-3-319-39555-5_16</a>.","ama":"Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi:<a href=\"https://doi.org/10.1007/978-3-319-39555-5_16\">10.1007/978-3-319-39555-5_16</a>","ista":"Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.","chicago":"Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,” 9696:285–303. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-39555-5_16\">https://doi.org/10.1007/978-3-319-39555-5_16</a>.","apa":"Abusalah, H. M., Fuchsbauer, G., &#38; Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-319-39555-5_16\">https://doi.org/10.1007/978-3-319-39555-5_16</a>","ieee":"H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303."},"department":[{"_id":"KrPi"}],"date_updated":"2023-09-07T12:30:22Z","title":"Offline witness encryption","file_date_updated":"2020-07-14T12:44:39Z","date_published":"2016-06-09T00:00:00Z","publisher":"Springer","ddc":["005","600"],"publication_status":"published","abstract":[{"text":"Witness encryption (WE) was introduced by Garg et al. [GGSW13]. A WE scheme is defined for some NP language L and lets a sender encrypt messages relative to instances x. A ciphertext for x can be decrypted using w witnessing x ∈ L, but hides the message if x ∈ L. Garg et al. construct WE from multilinear maps and give another construction [GGH+13b] using indistinguishability obfuscation (iO) for circuits. Due to the reliance on such heavy tools, WE can cur- rently hardly be implemented on powerful hardware and will unlikely be realizable on constrained devices like smart cards any time soon. We construct a WE scheme where encryption is done by simply computing a Naor-Yung ciphertext (two CPA encryptions and a NIZK proof). To achieve this, our scheme has a setup phase, which outputs public parameters containing an obfuscated circuit (only required for decryption), two encryption keys and a common reference string (used for encryption). This setup need only be run once, and the parame- ters can be used for arbitrary many encryptions. Our scheme can also be turned into a functional WE scheme, where a message is encrypted w.r.t. a statement and a function f, and decryption with a witness w yields f (m, w). Our construction is inspired by the functional encryption scheme by Garg et al. and we prove (selective) security assuming iO and statistically simulation-sound NIZK. We give a construction of the latter in bilinear groups and combining it with ElGamal encryption, our ciphertexts are of size 1.3 kB at a 128-bit security level and can be computed on a smart card.","lang":"eng"}],"status":"public","type":"conference","_id":"1229","date_created":"2018-12-11T11:50:50Z","conference":{"location":"Guildford, UK","name":"ACNS: Applied Cryptography and Network Security","start_date":"2016-06-19","end_date":"2016-06-22"},"ec_funded":1,"pubrep_id":"765","author":[{"full_name":"Abusalah, Hamza M","id":"40297222-F248-11E8-B48F-1D18A9856A87","last_name":"Abusalah","first_name":"Hamza M"},{"last_name":"Fuchsbauer","first_name":"Georg","full_name":"Fuchsbauer, Georg","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Submitted Version","quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668"},{"name":"Teaching Old Crypto New Tricks","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"volume":9696,"language":[{"iso":"eng"}],"file":[{"file_size":515000,"access_level":"open_access","creator":"system","file_id":"5273","checksum":"34fa9ce681da845a1ba945ba3dc57867","relation":"main_file","file_name":"IST-2017-765-v1+1_838.pdf","date_updated":"2020-07-14T12:44:39Z","date_created":"2018-12-12T10:17:20Z","content_type":"application/pdf"}],"month":"06","has_accepted_license":"1"},{"oa_version":"Preprint","quality_controlled":"1","project":[{"call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"author":[{"last_name":"Daca","first_name":"Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","full_name":"Daca, Przemyslaw"},{"last_name":"Gupta","first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"}],"month":"01","volume":9583,"language":[{"iso":"eng"}],"type":"conference","_id":"1230","date_created":"2018-12-11T11:50:50Z","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1511.02615"}],"ec_funded":1,"conference":{"end_date":"2016-01-19","start_date":"2016-01-17","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","location":"St. Petersburg, FL, USA"},"citation":{"short":"P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.","mla":"Daca, Przemyslaw, et al. <i>Abstraction-Driven Concolic Testing</i>. Vol. 9583, Springer, 2016, pp. 328–47, doi:<a href=\"https://doi.org/10.1007/978-3-662-49122-5_16\">10.1007/978-3-662-49122-5_16</a>.","ieee":"P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.","chicago":"Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-662-49122-5_16\">https://doi.org/10.1007/978-3-662-49122-5_16</a>.","ama":"Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:<a href=\"https://doi.org/10.1007/978-3-662-49122-5_16\">10.1007/978-3-662-49122-5_16</a>","ista":"Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.","apa":"Daca, P., Gupta, A., &#38; Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-662-49122-5_16\">https://doi.org/10.1007/978-3-662-49122-5_16</a>"},"date_updated":"2023-09-07T11:58:33Z","department":[{"_id":"ToHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover difficult-to-reach parts of programs. In contrast, model checkers based on counterexample-guided abstraction refinement explore programs exhaustively, while failing to scale on large programs with precision. In this paper, we present a novel method that iteratively combines concolic testing and model checking to find a test suite for a given coverage criterion. If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing. We have implemented our method on top of the concolictesting tool Crest and the model checker CpaChecker. We evaluated our tool on a collection of programs and a category of SvComp benchmarks. In our experiments, we observed an improvement in branch coverage compared to Crest from 48% to 63% in the best case, and from 66% to 71% on average."}],"publication_status":"published","title":"Abstraction-driven concolic testing","date_published":"2016-01-01T00:00:00Z","publisher":"Springer","oa":1,"year":"2016","page":"328 - 347","doi":"10.1007/978-3-662-49122-5_16","day":"01","acknowledgement":"We thank Andrey Kupriyanov for feedback on the manuscript,\r\nand Michael Tautschnig for help with preparing the experiments. This research was supported in part by the European Research Council (ERC) under grant 267989 (QUAREM) and by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award).","related_material":{"record":[{"relation":"dissertation_contains","id":"1155","status":"public"}]},"scopus_import":1,"intvolume":"      9583","publist_id":"6104"},{"date_published":"2016-04-28T00:00:00Z","publisher":"Springer","title":"On the complexity of scrypt and proofs of space in the parallel random oracle model","publication_status":"published","abstract":[{"lang":"eng","text":"We study the time-and memory-complexities of the problem of computing labels of (multiple) randomly selected challenge-nodes in a directed acyclic graph. The w-bit label of a node is the hash of the labels of its parents, and the hash function is modeled as a random oracle. Specific instances of this problem underlie both proofs of space [Dziembowski et al. CRYPTO’15] as well as popular memory-hard functions like scrypt. As our main tool, we introduce the new notion of a probabilistic parallel entangled pebbling game, a new type of combinatorial pebbling game on a graph, which is closely related to the labeling game on the same graph. As a first application of our framework, we prove that for scrypt, when the underlying hash function is invoked n times, the cumulative memory complexity (CMC) (a notion recently introduced by Alwen and Serbinenko (STOC’15) to capture amortized memory-hardness for parallel adversaries) is at least Ω(w · (n/ log(n))2). This bound holds for adversaries that can store many natural functions of the labels (e.g., linear combinations), but still not arbitrary functions thereof. We then introduce and study a combinatorial quantity, and show how a sufficiently small upper bound on it (which we conjecture) extends our CMC bound for scrypt to hold against arbitrary adversaries. We also show that such an upper bound solves the main open problem for proofs-of-space protocols: namely, establishing that the time complexity of computing the label of a random node in a graph on n nodes (given an initial kw-bit state) reduces tightly to the time complexity for black pebbling on the same graph (given an initial k-node pebbling)."}],"alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrPi"},{"_id":"VlKo"}],"date_updated":"2021-01-12T06:49:15Z","citation":{"apa":"Alwen, J. F., Chen, B., Kamath Hosdurg, C., Kolmogorov, V., Pietrzak, K. Z., &#38; Tessaro, S. (2016). On the complexity of scrypt and proofs of space in the parallel random oracle model (Vol. 9666, pp. 358–387). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria: Springer. <a href=\"https://doi.org/10.1007/978-3-662-49896-5_13\">https://doi.org/10.1007/978-3-662-49896-5_13</a>","ama":"Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:<a href=\"https://doi.org/10.1007/978-3-662-49896-5_13\">10.1007/978-3-662-49896-5_13</a>","ista":"Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. 2016. On the complexity of scrypt and proofs of space in the parallel random oracle model. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9666, 358–387.","chicago":"Alwen, Joel F, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-662-49896-5_13\">https://doi.org/10.1007/978-3-662-49896-5_13</a>.","ieee":"J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.","mla":"Alwen, Joel F., et al. <i>On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model</i>. Vol. 9666, Springer, 2016, pp. 358–87, doi:<a href=\"https://doi.org/10.1007/978-3-662-49896-5_13\">10.1007/978-3-662-49896-5_13</a>.","short":"J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387."},"publist_id":"6103","intvolume":"      9666","scopus_import":1,"acknowledgement":"Joël Alwen, Chethan Kamath, and Krzysztof Pietrzak’s research is partially supported by an ERC starting grant (259668-PSPC). Vladimir Kolmogorov is partially supported by an ERC consolidator grant (616160-DOICV). Binyi Chen was partially supported by NSF grants CNS-1423566 and CNS-1514526, and a gift from the Gareatis Foundation. Stefano Tessaro was partially supported by NSF grants CNS-1423566, CNS-1528178, a Hellman Fellowship, and the Glen and Susanne Culler Chair.\r\n\r\nThis work was done in part while the authors were visiting the Simons Institute for the Theory of Computing, supported by the Simons Foundation and by the DIMACS/Simons Collaboration in Cryptography through NSF grant CNS-1523467.","year":"2016","doi":"10.1007/978-3-662-49896-5_13","page":"358 - 387","day":"28","oa":1,"language":[{"iso":"eng"}],"volume":9666,"month":"04","author":[{"full_name":"Alwen, Joel F","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","last_name":"Alwen","first_name":"Joel F"},{"full_name":"Chen, Binyi","last_name":"Chen","first_name":"Binyi"},{"first_name":"Chethan","last_name":"Kamath Hosdurg","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","full_name":"Kamath Hosdurg, Chethan"},{"id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir"},{"orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Tessaro, Stefano","first_name":"Stefano","last_name":"Tessaro"}],"quality_controlled":"1","project":[{"name":"Provable Security for Physical Cryptography","grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"call_identifier":"FP7","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","name":"Discrete Optimization in Computer Vision: Theory and Practice"}],"oa_version":"Submitted Version","conference":{"end_date":"2016-05-12","start_date":"2016-05-08","location":"Vienna, Austria","name":"EUROCRYPT: Theory and Applications of Cryptographic Techniques"},"ec_funded":1,"status":"public","main_file_link":[{"url":"https://eprint.iacr.org/2016/100","open_access":"1"}],"date_created":"2018-12-11T11:50:51Z","_id":"1231","type":"conference"},{"month":"01","volume":9562,"language":[{"iso":"eng"}],"oa_version":"Submitted Version","quality_controlled":"1","project":[{"grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","name":"Provable Security for Physical Cryptography","call_identifier":"FP7"}],"author":[{"first_name":"Georg","last_name":"Fuchsbauer","full_name":"Fuchsbauer, Georg","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Heuer","first_name":"Felix","full_name":"Heuer, Felix"},{"last_name":"Kiltz","first_name":"Eike","full_name":"Kiltz, Eike"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654"}],"conference":{"name":"TCC: Theory of Cryptography Conference","location":"Tel Aviv, Israel","start_date":"2016-01-10","end_date":"2016-01-13"},"ec_funded":1,"type":"conference","_id":"1233","date_created":"2018-12-11T11:50:51Z","status":"public","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2015/853"}],"publication_status":"published","abstract":[{"lang":"eng","text":"About three decades ago it was realized that implementing private channels between parties which can be adaptively corrupted requires an encryption scheme that is secure against selective opening attacks. Whether standard (IND-CPA) security implies security against selective opening attacks has been a major open question since. The only known reduction from selective opening to IND-CPA security loses an exponential factor. A polynomial reduction is only known for the very special case where the distribution considered in the selective opening security experiment is a product distribution, i.e., the messages are sampled independently from each other. In this paper we give a reduction whose loss is quantified via the dependence graph (where message dependencies correspond to edges) of the underlying message distribution. In particular, for some concrete distributions including Markov distributions, our reduction is polynomial."}],"title":"Standard security does imply security against selective opening for markov distributions","date_published":"2016-01-01T00:00:00Z","publisher":"Springer","citation":{"apa":"Fuchsbauer, G., Heuer, F., Kiltz, E., &#38; Pietrzak, K. Z. (2016). Standard security does imply security against selective opening for markov distributions (Vol. 9562, pp. 282–305). Presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel: Springer. <a href=\"https://doi.org/10.1007/978-3-662-49096-9_12\">https://doi.org/10.1007/978-3-662-49096-9_12</a>","chicago":"Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-662-49096-9_12\">https://doi.org/10.1007/978-3-662-49096-9_12</a>.","ista":"Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. 2016. Standard security does imply security against selective opening for markov distributions. TCC: Theory of Cryptography Conference, LNCS, vol. 9562, 282–305.","ama":"Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:<a href=\"https://doi.org/10.1007/978-3-662-49096-9_12\">10.1007/978-3-662-49096-9_12</a>","ieee":"G. Fuchsbauer, F. Heuer, E. Kiltz, and K. Z. Pietrzak, “Standard security does imply security against selective opening for markov distributions,” presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel, 2016, vol. 9562, pp. 282–305.","short":"G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.","mla":"Fuchsbauer, Georg, et al. <i>Standard Security Does Imply Security against Selective Opening for Markov Distributions</i>. Vol. 9562, Springer, 2016, pp. 282–305, doi:<a href=\"https://doi.org/10.1007/978-3-662-49096-9_12\">10.1007/978-3-662-49096-9_12</a>."},"department":[{"_id":"KrPi"}],"date_updated":"2021-01-12T06:49:16Z","alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","scopus_import":1,"publist_id":"6100","intvolume":"      9562","oa":1,"doi":"10.1007/978-3-662-49096-9_12","year":"2016","page":"282 - 305","day":"01","acknowledgement":"G. Fuchsbauer and K. Pietrzak are supported by the European Research Council, ERC Starting Grant (259668-PSPC). F. Heuer is funded by a Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation and DFG SPP 1736, Algorithms for BIG DATA. E. Kiltz is supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation, the German Israel Foundation, and ERC Project ERCC (FP7/615074)."}]