[{"department":[{"_id":"TiBr"}],"has_accepted_license":"1","article_processing_charge":"No","day":"20","publisher":"Elsevier","page":"920-940","language":[{"iso":"eng"}],"year":"2019","status":"public","oa_version":"Submitted Version","ddc":["512"],"_id":"6310","file_date_updated":"2020-07-14T12:47:27Z","month":"06","oa":1,"date_created":"2019-04-16T09:13:25Z","volume":349,"author":[{"first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D","last_name":"Browning"},{"first_name":"L.Q.","full_name":"Hu, L.Q.","last_name":"Hu"}],"intvolume":"       349","scopus_import":"1","doi":"10.1016/j.aim.2019.04.031","type":"journal_article","file":[{"file_id":"6311","file_size":379158,"content_type":"application/pdf","relation":"main_file","checksum":"a63594a3a91b4ba6e2a1b78b0720b3d0","date_created":"2019-04-16T09:12:20Z","file_name":"wliqun.pdf","date_updated":"2020-07-14T12:47:27Z","creator":"tbrownin","access_level":"open_access"}],"publication":"Advances in Mathematics","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Browning, Timothy D, and L.Q. Hu. “Counting Rational Points on Biquadratic Hypersurfaces.” <i>Advances in Mathematics</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.aim.2019.04.031\">https://doi.org/10.1016/j.aim.2019.04.031</a>.","apa":"Browning, T. D., &#38; Hu, L. Q. (2019). Counting rational points on biquadratic hypersurfaces. <i>Advances in Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.aim.2019.04.031\">https://doi.org/10.1016/j.aim.2019.04.031</a>","short":"T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.","ieee":"T. D. Browning and L. Q. Hu, “Counting rational points on biquadratic hypersurfaces,” <i>Advances in Mathematics</i>, vol. 349. Elsevier, pp. 920–940, 2019.","ama":"Browning TD, Hu LQ. Counting rational points on biquadratic hypersurfaces. <i>Advances in Mathematics</i>. 2019;349:920-940. doi:<a href=\"https://doi.org/10.1016/j.aim.2019.04.031\">10.1016/j.aim.2019.04.031</a>","mla":"Browning, Timothy D., and L. Q. Hu. “Counting Rational Points on Biquadratic Hypersurfaces.” <i>Advances in Mathematics</i>, vol. 349, Elsevier, 2019, pp. 920–40, doi:<a href=\"https://doi.org/10.1016/j.aim.2019.04.031\">10.1016/j.aim.2019.04.031</a>.","ista":"Browning TD, Hu LQ. 2019. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 349, 920–940."},"arxiv":1,"publication_identifier":{"eissn":["1090-2082"],"issn":["0001-8708"]},"abstract":[{"text":"An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariskiopen subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses the Hardy–Littlewood circle method.","lang":"eng"}],"quality_controlled":"1","date_published":"2019-06-20T00:00:00Z","isi":1,"external_id":{"isi":["000468857300025"],"arxiv":["1810.08426"]},"date_updated":"2025-07-10T11:53:19Z","title":"Counting rational points on biquadratic hypersurfaces","publication_status":"published"},{"publisher":"Elsevier","article_type":"original","day":"17","article_processing_charge":"No","department":[{"_id":"JoCs"}],"year":"2019","language":[{"iso":"eng"}],"page":"450-461","oa":1,"month":"04","_id":"6338","status":"public","oa_version":"Published Version","doi":"10.1016/j.neuron.2019.01.052","scopus_import":"1","intvolume":"       102","author":[{"orcid":"0000-0001-9439-3148","last_name":"Stella","full_name":"Stella, Federico","first_name":"Federico","id":"39AF1E74-F248-11E8-B48F-1D18A9856A87"},{"id":"361CC00E-F248-11E8-B48F-1D18A9856A87","first_name":"Peter","full_name":"Baracskay, Peter","last_name":"Baracskay"},{"full_name":"O'Neill, Joseph","last_name":"O'Neill","id":"426376DC-F248-11E8-B48F-1D18A9856A87","first_name":"Joseph"},{"orcid":"0000-0002-5193-4036","full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.neuron.2019.01.052"}],"volume":102,"date_created":"2019-04-17T08:28:59Z","related_material":{"link":[{"description":"News on IST Homepage","relation":"press_release","url":"https://ist.ac.at/en/news/memories-of-movement-are-replayed-randomly-during-sleep/"}]},"type":"journal_article","citation":{"ieee":"F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” <i>Neuron</i>, vol. 102. Elsevier, pp. 450–461, 2019.","ama":"Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. <i>Neuron</i>. 2019;102:450-461. doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.052\">10.1016/j.neuron.2019.01.052</a>","ista":"Stella F, Baracskay P, O’Neill J, Csicsvari JL. 2019. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 102, 450–461.","mla":"Stella, Federico, et al. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” <i>Neuron</i>, vol. 102, Elsevier, 2019, pp. 450–61, doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.052\">10.1016/j.neuron.2019.01.052</a>.","chicago":"Stella, Federico, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” <i>Neuron</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.052\">https://doi.org/10.1016/j.neuron.2019.01.052</a>.","apa":"Stella, F., Baracskay, P., O’Neill, J., &#38; Csicsvari, J. L. (2019). Hippocampal reactivation of random trajectories resembling Brownian diffusion. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.052\">https://doi.org/10.1016/j.neuron.2019.01.052</a>","short":"F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 450–461."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","pmid":1,"publication":"Neuron","ec_funded":1,"publication_status":"published","project":[{"name":"Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex","_id":"257A4776-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"281511"},{"call_identifier":"FWF","name":"Interneuro plasticity during spatial learning","_id":"2654F984-B435-11E9-9278-68D0E5697425","grant_number":"I 3713-B27"}],"title":"Hippocampal reactivation of random trajectories resembling Brownian diffusion","date_updated":"2025-04-15T07:21:18Z","external_id":{"pmid":["30819547"],"isi":["000465169700017"]},"date_published":"2019-04-17T00:00:00Z","isi":1,"quality_controlled":"1","abstract":[{"text":"Hippocampal activity patterns representing movement trajectories are reactivated in immobility and sleep periods, a process associated with memory recall, consolidation, and decision making. It is thought that only fixed, behaviorally relevant patterns can be reactivated, which are stored across hippocampal synaptic connections. To test whether some generalized rules govern reactivation, we examined trajectory reactivation following non-stereotypical exploration of familiar open-field environments. We found that random trajectories of varying lengths and timescales were reactivated, resembling that of Brownian motion of particles. The animals’ behavioral trajectory did not follow Brownian diffusion demonstrating that the exact behavioral experience is not reactivated. Therefore, hippocampal circuits are able to generate random trajectories of any recently active map by following diffusion dynamics. This ability of hippocampal circuits to generate representations of all behavioral outcome combinations, experienced or not, may underlie a wide variety of hippocampal-dependent cognitive functions such as learning, generalization, and planning.","lang":"eng"}]},{"intvolume":"        58","scopus_import":"1","doi":"10.1016/j.sbi.2019.03.018","date_created":"2019-04-19T11:19:13Z","volume":58,"author":[{"last_name":"Schur","full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM"}],"month":"10","status":"public","oa_version":"None","_id":"6343","language":[{"iso":"eng"}],"year":"2019","page":"1-9","day":"01","issue":"10","publisher":"Elsevier","article_type":"original","department":[{"_id":"FlSc"}],"article_processing_charge":"No","isi":1,"external_id":{"isi":["000494891800004"]},"date_published":"2019-10-01T00:00:00Z","date_updated":"2023-08-25T10:13:31Z","title":"Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging","publication_status":"published","abstract":[{"text":"Cryo-electron tomography (cryo-ET) provides unprecedented insights into the molecular constituents of biological environments. In combination with an image processing method called subtomogram averaging (STA), detailed 3D structures of biological molecules can be obtained in large, irregular macromolecular assemblies or in situ, without the need for purification. The contextual meta-information these methods also provide, such as a protein’s location within its native environment, can then be combined with functional data. This allows the derivation of a detailed view on the physiological or pathological roles of proteins from the molecular to cellular level. Despite their tremendous potential in in situ structural biology, cryo-ET and STA have been restricted by methodological limitations, such as the low obtainable resolution. Exciting progress now allows one to reach unprecedented resolutions in situ, ranging in optimal cases beyond the nanometer barrier. Here, I review current frontiers and future challenges in routinely determining high-resolution structures in in situ environments using cryo-ET and STA.","lang":"eng"}],"quality_controlled":"1","publication_identifier":{"issn":["0959-440X"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"apa":"Schur, F. K. (2019). Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. <i>Current Opinion in Structural Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.sbi.2019.03.018\">https://doi.org/10.1016/j.sbi.2019.03.018</a>","chicago":"Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” <i>Current Opinion in Structural Biology</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.sbi.2019.03.018\">https://doi.org/10.1016/j.sbi.2019.03.018</a>.","short":"F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9.","ama":"Schur FK. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. <i>Current Opinion in Structural Biology</i>. 2019;58(10):1-9. doi:<a href=\"https://doi.org/10.1016/j.sbi.2019.03.018\">10.1016/j.sbi.2019.03.018</a>","ieee":"F. K. Schur, “Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging,” <i>Current Opinion in Structural Biology</i>, vol. 58, no. 10. Elsevier, pp. 1–9, 2019.","mla":"Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” <i>Current Opinion in Structural Biology</i>, vol. 58, no. 10, Elsevier, 2019, pp. 1–9, doi:<a href=\"https://doi.org/10.1016/j.sbi.2019.03.018\">10.1016/j.sbi.2019.03.018</a>.","ista":"Schur FK. 2019. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 58(10), 1–9."},"publication":"Current Opinion in Structural Biology","type":"journal_article","acknowledgement":"The author acknowledges support from IST Austria and the Austrian Science Fund (FWF)."},{"article_processing_charge":"No","department":[{"_id":"JoFi"}],"publisher":"Springer Nature","issue":"7752","day":"18","page":"378-381","year":"2019","language":[{"iso":"eng"}],"_id":"6348","oa_version":"Preprint","status":"public","oa":1,"month":"04","author":[{"id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","first_name":"Alfredo R","full_name":"Rueda Sanchez, Alfredo R","last_name":"Rueda Sanchez","orcid":"0000-0001-6249-5860"},{"first_name":"Florian","last_name":"Sedlmeir","full_name":"Sedlmeir, Florian"},{"full_name":"Kumari, Madhuri","last_name":"Kumari","first_name":"Madhuri"},{"first_name":"Gerd","full_name":"Leuchs, Gerd","last_name":"Leuchs"},{"first_name":"Harald G.L.","full_name":"Schwefel, Harald G.L.","last_name":"Schwefel"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1808.10608"}],"volume":568,"date_created":"2019-04-28T21:59:13Z","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41586-019-1220-5"}]},"doi":"10.1038/s41586-019-1110-x","scopus_import":"1","intvolume":"       568","type":"journal_article","publication":"Nature","citation":{"ama":"Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. Resonant electro-optic frequency comb. <i>Nature</i>. 2019;568(7752):378-381. doi:<a href=\"https://doi.org/10.1038/s41586-019-1110-x\">10.1038/s41586-019-1110-x</a>","ieee":"A. R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, and H. G. L. Schwefel, “Resonant electro-optic frequency comb,” <i>Nature</i>, vol. 568, no. 7752. Springer Nature, pp. 378–381, 2019.","ista":"Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. 2019. Resonant electro-optic frequency comb. Nature. 568(7752), 378–381.","mla":"Rueda Sanchez, Alfredo R., et al. “Resonant Electro-Optic Frequency Comb.” <i>Nature</i>, vol. 568, no. 7752, Springer Nature, 2019, pp. 378–81, doi:<a href=\"https://doi.org/10.1038/s41586-019-1110-x\">10.1038/s41586-019-1110-x</a>.","chicago":"Rueda Sanchez, Alfredo R, Florian Sedlmeir, Madhuri Kumari, Gerd Leuchs, and Harald G.L. Schwefel. “Resonant Electro-Optic Frequency Comb.” <i>Nature</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41586-019-1110-x\">https://doi.org/10.1038/s41586-019-1110-x</a>.","apa":"Rueda Sanchez, A. R., Sedlmeir, F., Kumari, M., Leuchs, G., &#38; Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-019-1110-x\">https://doi.org/10.1038/s41586-019-1110-x</a>","short":"A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 568 (2019) 378–381."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","arxiv":1,"publication_identifier":{"issn":["0028-0836"],"eissn":["1476-4687"]},"quality_controlled":"1","abstract":[{"text":"High-speed optical telecommunication is enabled by wavelength-division multiplexing, whereby hundreds of individually stabilized lasers encode information within a single-mode optical fibre. Higher bandwidths require higher total optical power, but the power sent into the fibre is limited by optical nonlinearities within the fibre, and energy consumption by the light sources starts to become a substantial cost factor1. Optical frequency combs have been suggested to remedy this problem by generating numerous discrete, equidistant laser lines within a monolithic device; however, at present their stability and coherence allow them to operate only within small parameter ranges2,3,4. Here we show that a broadband frequency comb realized through the electro-optic effect within a high-quality whispering-gallery-mode resonator can operate at low microwave and optical powers. Unlike the usual third-order Kerr nonlinear optical frequency combs, our combs rely on the second-order nonlinear effect, which is much more efficient. Our result uses a fixed microwave signal that is mixed with an optical-pump signal to generate a coherent frequency comb with a precisely determined carrier separation. The resonant enhancement enables us to work with microwave powers that are three orders of magnitude lower than those in commercially available devices. We emphasize the practical relevance of our results to high rates of data communication. To circumvent the limitations imposed by nonlinear effects in optical communication fibres, one has to solve two problems: to provide a compact and fully integrated, yet high-quality and coherent, frequency comb generator; and to calculate nonlinear signal propagation in real time5. We report a solution to the first problem.","lang":"eng"}],"publication_status":"published","title":"Resonant electro-optic frequency comb","date_updated":"2025-07-10T11:53:19Z","date_published":"2019-04-18T00:00:00Z","external_id":{"arxiv":["1808.10608"],"isi":["000464950700053"]},"isi":1},{"publication_identifier":{"issn":["0032-0889"],"eissn":["1532-2548"]},"abstract":[{"lang":"eng","text":"Plants have a remarkable capacity to adjust their growth and development to elevated ambient temperatures. Increased elongation growth of roots, hypocotyls and petioles in warm temperatures are hallmarks of seedling thermomorphogenesis. In the last decade, significant progress has been made to identify the molecular signaling components regulating these growth responses. Increased ambient temperature utilizes diverse components of the light sensing and signal transduction network to trigger growth adjustments. However, it remains unknown whether temperature sensing and responses are universal processes that occur uniformly in all plant organs. Alternatively, temperature sensing may be confined to specific tissues or organs, which would require a systemic signal that mediates responses in distal parts of the plant. Here we show that Arabidopsis (Arabidopsis thaliana) seedlings show organ-specific transcriptome responses to elevated temperatures, and that thermomorphogenesis involves both autonomous and organ-interdependent temperature sensing and signaling. Seedling roots can sense and respond to temperature in a shoot-independent manner, whereas shoot temperature responses require both local and systemic processes. The induction of cell elongation in hypocotyls requires temperature sensing in cotyledons, followed by generation of a mobile auxin signal. Subsequently, auxin travels to the hypocotyl where it triggers local brassinosteroid-induced cell elongation in seedling stems, which depends upon a distinct, permissive temperature sensor in the hypocotyl."}],"quality_controlled":"1","external_id":{"pmid":["31000634"],"isi":["000470086100019"]},"date_published":"2019-06-01T00:00:00Z","isi":1,"title":"A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls","publication_status":"published","date_updated":"2023-09-05T12:25:19Z","type":"journal_article","publication":"Plant Physiology","pmid":1,"citation":{"ieee":"J. Bellstaedt <i>et al.</i>, “A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls,” <i>Plant Physiology</i>, vol. 180, no. 2. ASPB, pp. 757–766, 2019.","ama":"Bellstaedt J, Trenner J, Lippmann R, et al. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. <i>Plant Physiology</i>. 2019;180(2):757-766. doi:<a href=\"https://doi.org/10.1104/pp.18.01377\">10.1104/pp.18.01377</a>","ista":"Bellstaedt J, Trenner J, Lippmann R, Poeschl Y, Zhang X, Friml J, Quint M, Delker C. 2019. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 180(2), 757–766.","mla":"Bellstaedt, Julia, et al. “A Mobile Auxin Signal Connects Temperature Sensing in Cotyledons with Growth Responses in Hypocotyls.” <i>Plant Physiology</i>, vol. 180, no. 2, ASPB, 2019, pp. 757–66, doi:<a href=\"https://doi.org/10.1104/pp.18.01377\">10.1104/pp.18.01377</a>.","apa":"Bellstaedt, J., Trenner, J., Lippmann, R., Poeschl, Y., Zhang, X., Friml, J., … Delker, C. (2019). A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. <i>Plant Physiology</i>. ASPB. <a href=\"https://doi.org/10.1104/pp.18.01377\">https://doi.org/10.1104/pp.18.01377</a>","chicago":"Bellstaedt, Julia, Jana Trenner, Rebecca Lippmann, Yvonne Poeschl, Xixi Zhang, Jiří Friml, Marcel Quint, and Carolin Delker. “A Mobile Auxin Signal Connects Temperature Sensing in Cotyledons with Growth Responses in Hypocotyls.” <i>Plant Physiology</i>. ASPB, 2019. <a href=\"https://doi.org/10.1104/pp.18.01377\">https://doi.org/10.1104/pp.18.01377</a>.","short":"J. Bellstaedt, J. Trenner, R. Lippmann, Y. Poeschl, X. Zhang, J. Friml, M. Quint, C. Delker, Plant Physiology 180 (2019) 757–766."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"6366","oa_version":"Published Version","status":"public","month":"06","oa":1,"volume":180,"date_created":"2019-04-30T15:24:22Z","author":[{"full_name":"Bellstaedt, Julia","last_name":"Bellstaedt","first_name":"Julia"},{"first_name":"Jana","full_name":"Trenner, Jana","last_name":"Trenner"},{"full_name":"Lippmann, Rebecca","last_name":"Lippmann","first_name":"Rebecca"},{"full_name":"Poeschl, Yvonne","last_name":"Poeschl","first_name":"Yvonne"},{"full_name":"Zhang, Xixi","last_name":"Zhang","orcid":"0000-0001-7048-4627","id":"61A66458-47E9-11EA-85BA-8AEAAF14E49A","first_name":"Xixi"},{"full_name":"Friml, Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří"},{"full_name":"Quint, Marcel","last_name":"Quint","first_name":"Marcel"},{"first_name":"Carolin","last_name":"Delker","full_name":"Delker, Carolin"}],"main_file_link":[{"url":"www.doi.org/10.1104/pp.18.01377","open_access":"1"}],"intvolume":"       180","doi":"10.1104/pp.18.01377","scopus_import":"1","department":[{"_id":"JiFr"}],"article_processing_charge":"No","day":"01","issue":"2","article_type":"original","publisher":"ASPB","page":"757-766","year":"2019","language":[{"iso":"eng"}]},{"article_processing_charge":"No","type":"journal_article","department":[{"_id":"SyCr"}],"publisher":"Elsevier","day":"01","page":"63-68","publication":"Current Opinion in Insect Science","citation":{"ieee":"S. Cremer, “Pathogens and disease defense of invasive ants,” <i>Current Opinion in Insect Science</i>, vol. 33. Elsevier, pp. 63–68, 2019.","ama":"Cremer S. Pathogens and disease defense of invasive ants. <i>Current Opinion in Insect Science</i>. 2019;33:63-68. doi:<a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">10.1016/j.cois.2019.03.011</a>","ista":"Cremer S. 2019. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 33, 63–68.","mla":"Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” <i>Current Opinion in Insect Science</i>, vol. 33, Elsevier, 2019, pp. 63–68, doi:<a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">10.1016/j.cois.2019.03.011</a>.","chicago":"Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” <i>Current Opinion in Insect Science</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">https://doi.org/10.1016/j.cois.2019.03.011</a>.","apa":"Cremer, S. (2019). Pathogens and disease defense of invasive ants. <i>Current Opinion in Insect Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">https://doi.org/10.1016/j.cois.2019.03.011</a>","short":"S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2019","language":[{"iso":"eng"}],"_id":"6415","status":"public","oa_version":"None","publication_identifier":{"issn":["2214-5745"],"eissn":["2214-5753"]},"month":"06","author":[{"first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","last_name":"Cremer","full_name":"Cremer, Sylvia"}],"abstract":[{"text":"Ant invasions are often harmful to native species communities. Their pathogens and host disease defense mechanisms may be one component of their devastating success. First, they can introduce harmful diseases to their competitors in the introduced range, to which they themselves are tolerant. Second, their supercolonial social structure of huge multi-queen nest networks means that they will harbor a broad pathogen spectrum and high pathogen load while remaining resilient, unlike the smaller, territorial colonies of the native species. Thus, it is likely that invasive ants act as a disease reservoir, promoting their competitive advantage and invasive success.","lang":"eng"}],"quality_controlled":"1","volume":33,"date_created":"2019-05-13T07:58:36Z","doi":"10.1016/j.cois.2019.03.011","title":"Pathogens and disease defense of invasive ants","publication_status":"published","scopus_import":"1","date_updated":"2025-07-10T11:53:22Z","isi":1,"date_published":"2019-06-01T00:00:00Z","external_id":{"isi":["000477666000012"]},"intvolume":"        33"},{"citation":{"ama":"Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. <i>Genome biology and evolution</i>. 2019;11(4):1033-1044. doi:<a href=\"https://doi.org/10.1093/gbe/evz053\">10.1093/gbe/evz053</a>","ieee":"A. K. Huylmans, M. A. Toups, A. Macon, W. J. Gammerdinger, and B. Vicoso, “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome,” <i>Genome biology and evolution</i>, vol. 11, no. 4. Oxford University Press, pp. 1033–1044, 2019.","mla":"Huylmans, Ann K., et al. “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome.” <i>Genome Biology and Evolution</i>, vol. 11, no. 4, Oxford University Press, 2019, pp. 1033–44, doi:<a href=\"https://doi.org/10.1093/gbe/evz053\">10.1093/gbe/evz053</a>.","ista":"Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. 2019. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. Genome biology and evolution. 11(4), 1033–1044.","apa":"Huylmans, A. K., Toups, M. A., Macon, A., Gammerdinger, W. J., &#38; Vicoso, B. (2019). Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. <i>Genome Biology and Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/gbe/evz053\">https://doi.org/10.1093/gbe/evz053</a>","chicago":"Huylmans, Ann K, Melissa A Toups, Ariana Macon, William J Gammerdinger, and Beatriz Vicoso. “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome.” <i>Genome Biology and Evolution</i>. Oxford University Press, 2019. <a href=\"https://doi.org/10.1093/gbe/evz053\">https://doi.org/10.1093/gbe/evz053</a>.","short":"A.K. Huylmans, M.A. Toups, A. Macon, W.J. Gammerdinger, B. Vicoso, Genome Biology and Evolution 11 (2019) 1033–1044."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication":"Genome biology and evolution","file":[{"relation":"main_file","content_type":"application/pdf","checksum":"7d0ede297b6741f3dc89cd59017c7642","file_id":"6446","file_size":1256303,"date_updated":"2020-07-14T12:47:29Z","access_level":"open_access","creator":"dernst","file_name":"2019_GBE_Huylmans.pdf","date_created":"2019-05-14T08:29:38Z"}],"type":"journal_article","date_published":"2019-04-01T00:00:00Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"isi":1,"external_id":{"isi":["000476569800003"]},"publication_status":"published","project":[{"_id":"250BDE62-B435-11E9-9278-68D0E5697425","name":"Prevalence and Influence of Sexual Antagonism on Genome Evolution","call_identifier":"H2020","grant_number":"715257"}],"title":"Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome","date_updated":"2025-04-14T07:41:21Z","abstract":[{"text":"Males and females of Artemia franciscana, a crustacean commonly used in the aquarium trade, are highly dimorphic. Sex is determined by a pair of ZW chromosomes, but the nature and extent of differentiation of these chromosomes is unknown. Here, we characterize the Z chromosome by detecting genomic regions that show lower genomic coverage in female than in male samples, and regions that harbor an excess of female-specific SNPs. We detect many Z-specific genes, which no longer have homologs on the W, but also Z-linked genes that appear to have diverged very recently from their existing W-linked homolog. We assess patterns of male and female expression in two tissues with extensive morphological dimorphism, gonads, and heads. In agreement with their morphology, sex-biased expression is common in both tissues. Interestingly, the Z chromosome is not enriched for sex-biased genes, and seems to in fact have a mechanism of dosage compensation that leads to equal expression in males and in females. Both of these patterns are contrary to most ZW systems studied so far, making A. franciscana an excellent model for investigating the interplay between the evolution of sexual dimorphism and dosage compensation, as well as Z chromosome evolution in general.","lang":"eng"}],"quality_controlled":"1","publication_identifier":{"eissn":["1759-6653"]},"ec_funded":1,"year":"2019","language":[{"iso":"eng"}],"page":"1033-1044","license":"https://creativecommons.org/licenses/by/4.0/","day":"01","issue":"4","publisher":"Oxford University Press","department":[{"_id":"BeVi"}],"article_processing_charge":"No","acknowledged_ssus":[{"_id":"ScienComp"}],"has_accepted_license":"1","intvolume":"        11","doi":"10.1093/gbe/evz053","scopus_import":"1","volume":11,"related_material":{"record":[{"status":"public","relation":"popular_science","id":"6060"}]},"date_created":"2019-05-13T07:58:38Z","author":[{"full_name":"Huylmans, Ann K","last_name":"Huylmans","orcid":"0000-0001-8871-4961","id":"4C0A3874-F248-11E8-B48F-1D18A9856A87","first_name":"Ann K"},{"first_name":"Melissa A","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9752-7380","last_name":"Toups","full_name":"Toups, Melissa A"},{"id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","first_name":"Ariana","last_name":"Macon","full_name":"Macon, Ariana"},{"orcid":"0000-0001-9638-1220","full_name":"Gammerdinger, William J","last_name":"Gammerdinger","first_name":"William J","id":"3A7E01BC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Vicoso, Beatriz","last_name":"Vicoso","orcid":"0000-0002-4579-8306","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz"}],"month":"04","oa":1,"_id":"6418","file_date_updated":"2020-07-14T12:47:29Z","ddc":["570"],"oa_version":"Published Version","status":"public"},{"date_published":"2019-04-16T00:00:00Z","isi":1,"external_id":{"isi":["000516713900007"]},"publication_status":"published","title":"Interface-aware signal temporal logic","project":[{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"date_updated":"2025-07-10T11:53:22Z","abstract":[{"text":"Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify and monitor the correctness of CPS relativeto formalized requirements. Incorporating STL into a developmentprocess enables designers to automatically monitor and diagnosetraces, compute robustness estimates based on requirements, andperform requirement falsification, leading to productivity gains inverification and validation activities; however, in its current formSTL is agnostic to the input/output classification of signals, andthis negatively impacts the relevance of the analysis results.In this paper we propose to make the interface explicit in theSTL language by introducing input/output signal declarations. Wethen define new measures of input vacuity and output robustnessthat better reflect the nature of the system and the specification in-tent. The resulting framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification and validation activities.We demonstrate the benefits of IA-STL on several CPS analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand (3) fault localization. We describe an implementation of our en-hancement to STL and associated notions of robustness and vacuityin a prototype extension of Breach, a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these methodologi-cal improvements and evaluate our results on two examples fromthe automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell system.","lang":"eng"}],"quality_controlled":"1","publication_identifier":{"isbn":["9781450362825"]},"citation":{"mla":"Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, ACM, 2019, pp. 57–66, doi:<a href=\"https://doi.org/10.1145/3302504.3311800\">10.1145/3302504.3311800</a>.","ista":"Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 57–66.","ama":"Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>. ACM; 2019:57-66. doi:<a href=\"https://doi.org/10.1145/3302504.3311800\">10.1145/3302504.3311800</a>","ieee":"T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, Montreal, Canada, 2019, pp. 57–66.","short":"T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.","apa":"Ferrere, T., Nickovic, D., Donzé, A., Ito, H., &#38; Kapinski, J. (2019). Interface-aware signal temporal logic. In <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i> (pp. 57–66). Montreal, Canada: ACM. <a href=\"https://doi.org/10.1145/3302504.3311800\">https://doi.org/10.1145/3302504.3311800</a>","chicago":"Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, 57–66. ACM, 2019. <a href=\"https://doi.org/10.1145/3302504.3311800\">https://doi.org/10.1145/3302504.3311800</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control","file":[{"creator":"dernst","access_level":"open_access","date_updated":"2020-10-08T17:25:45Z","success":1,"file_name":"2019_ACM_Ferrere.pdf","date_created":"2020-10-08T17:25:45Z","checksum":"b8e967081e051d1c55ca5d18fb187890","relation":"main_file","content_type":"application/pdf","file_id":"8633","file_size":1055421}],"conference":{"name":"HSCC: Hybrid Systems - Computation and Control","location":"Montreal, Canada","start_date":"2019-04-16","end_date":"2019-04-18"},"type":"conference","doi":"10.1145/3302504.3311800","scopus_import":"1","date_created":"2019-05-13T08:13:46Z","author":[{"orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","last_name":"Ferrere","first_name":"Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nickovic, Dejan","last_name":"Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Donzé, Alexandre","last_name":"Donzé","first_name":"Alexandre"},{"last_name":"Ito","full_name":"Ito, Hisahiro","first_name":"Hisahiro"},{"first_name":"James","full_name":"Kapinski, James","last_name":"Kapinski"}],"month":"04","oa":1,"_id":"6428","ddc":["000"],"file_date_updated":"2020-10-08T17:25:45Z","status":"public","oa_version":"Submitted Version","year":"2019","language":[{"iso":"eng"}],"page":"57-66","day":"16","publisher":"ACM","department":[{"_id":"ToHe"}],"article_processing_charge":"No","has_accepted_license":"1"},{"file":[{"checksum":"1b737dfe3e051aba8f3f4ab1dceda673","relation":"main_file","content_type":"application/pdf","file_size":44328918,"file_id":"6443","access_level":"open_access","creator":"dernst","date_updated":"2020-07-14T12:47:30Z","file_name":"2019_ACM_Schreck.pdf","date_created":"2019-05-14T07:03:55Z"}],"type":"journal_article","citation":{"apa":"Schreck, C., Hafner, C., &#38; Wojtan, C. (2019). Fundamental solutions for water wave animation. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3306346.3323002\">https://doi.org/10.1145/3306346.3323002</a>","chicago":"Schreck, Camille, Christian Hafner, and Chris Wojtan. “Fundamental Solutions for Water Wave Animation.” <i>ACM Transactions on Graphics</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3306346.3323002\">https://doi.org/10.1145/3306346.3323002</a>.","short":"C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).","ama":"Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. <i>ACM Transactions on Graphics</i>. 2019;38(4). doi:<a href=\"https://doi.org/10.1145/3306346.3323002\">10.1145/3306346.3323002</a>","ieee":"C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave animation,” <i>ACM Transactions on Graphics</i>, vol. 38, no. 4. ACM, 2019.","ista":"Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130.","mla":"Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” <i>ACM Transactions on Graphics</i>, vol. 38, no. 4, 130, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3306346.3323002\">10.1145/3306346.3323002</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication":"ACM Transactions on Graphics","ec_funded":1,"publication_status":"published","title":"Fundamental solutions for water wave animation","project":[{"grant_number":"638176","name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales","_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767"},{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"date_updated":"2024-10-22T09:58:22Z","date_published":"2019-07-01T00:00:00Z","isi":1,"external_id":{"isi":["000475740600104"]},"quality_controlled":"1","abstract":[{"lang":"eng","text":"This paper investigates the use of fundamental solutions for animating detailed linear water surface waves. We first propose an analytical solution for efficiently animating circular ripples in closed form. We then show how to adapt the method of fundamental solutions (MFS) to create ambient waves interacting with complex obstacles. Subsequently, we present a novel wavelet-based discretization which outperforms the state of the art MFS approach for simulating time-varying water surface waves with moving obstacles. Our results feature high-resolution spatial details, interactions with complex boundaries, and large open ocean domains. Our method compares favorably with previous work as well as known analytical solutions. We also present comparisons between our method and real world examples."}],"publisher":"ACM","issue":"4","day":"01","article_processing_charge":"No","acknowledged_ssus":[{"_id":"ScienComp"}],"has_accepted_license":"1","department":[{"_id":"ChWo"}],"year":"2019","language":[{"iso":"eng"}],"oa":1,"month":"07","ddc":["000","005"],"_id":"6442","file_date_updated":"2020-07-14T12:47:30Z","oa_version":"Submitted Version","status":"public","article_number":"130","doi":"10.1145/3306346.3323002","scopus_import":"1","intvolume":"        38","author":[{"id":"2B14B676-F248-11E8-B48F-1D18A9856A87","first_name":"Camille","full_name":"Schreck, Camille","last_name":"Schreck"},{"first_name":"Christian","id":"400429CC-F248-11E8-B48F-1D18A9856A87","last_name":"Hafner","full_name":"Hafner, Christian"},{"id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","full_name":"Wojtan, Christopher J","last_name":"Wojtan","orcid":"0000-0001-6646-5546"}],"volume":38,"date_created":"2019-05-14T07:04:06Z","related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/new-method-makes-realistic-water-wave-animations-more-efficient/"}]}},{"page":"243-256","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","language":[{"iso":"eng"}],"year":"2019","department":[{"_id":"SiHi"}],"has_accepted_license":"1","article_processing_charge":"No","day":"31","publisher":"Elsevier","date_created":"2019-05-14T11:47:40Z","volume":15,"author":[{"first_name":"Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3183-8207","full_name":"Amberg, Nicole","last_name":"Amberg"},{"full_name":"Sotiropoulou, Panagiota A.","last_name":"Sotiropoulou","first_name":"Panagiota A."},{"last_name":"Heller","full_name":"Heller, Gerwin","first_name":"Gerwin"},{"first_name":"Beate M.","full_name":"Lichtenberger, Beate M.","last_name":"Lichtenberger"},{"first_name":"Martin","full_name":"Holcmann, Martin","last_name":"Holcmann"},{"full_name":"Camurdanoglu, Bahar","last_name":"Camurdanoglu","first_name":"Bahar"},{"first_name":"Temenuschka","full_name":"Baykuscheva-Gentscheva, Temenuschka","last_name":"Baykuscheva-Gentscheva"},{"first_name":"Cedric","full_name":"Blanpain, Cedric","last_name":"Blanpain"},{"first_name":"Maria","last_name":"Sibilia","full_name":"Sibilia, Maria"}],"intvolume":"        15","doi":"10.1016/j.isci.2019.04.018","status":"public","oa_version":"Published Version","file_date_updated":"2020-07-14T12:47:30Z","_id":"6451","ddc":["570"],"month":"05","oa":1,"publication":"iScience","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Amberg, Nicole, Panagiota A. Sotiropoulou, Gerwin Heller, Beate M. Lichtenberger, Martin Holcmann, Bahar Camurdanoglu, Temenuschka Baykuscheva-Gentscheva, Cedric Blanpain, and Maria Sibilia. “EGFR Controls Hair Shaft Differentiation in a P53-Independent Manner.” <i>IScience</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">https://doi.org/10.1016/j.isci.2019.04.018</a>.","apa":"Amberg, N., Sotiropoulou, P. A., Heller, G., Lichtenberger, B. M., Holcmann, M., Camurdanoglu, B., … Sibilia, M. (2019). EGFR controls hair shaft differentiation in a p53-independent manner. <i>IScience</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">https://doi.org/10.1016/j.isci.2019.04.018</a>","short":"N. Amberg, P.A. Sotiropoulou, G. Heller, B.M. Lichtenberger, M. Holcmann, B. Camurdanoglu, T. Baykuscheva-Gentscheva, C. Blanpain, M. Sibilia, IScience 15 (2019) 243–256.","ieee":"N. Amberg <i>et al.</i>, “EGFR controls hair shaft differentiation in a p53-independent manner,” <i>iScience</i>, vol. 15. Elsevier, pp. 243–256, 2019.","ama":"Amberg N, Sotiropoulou PA, Heller G, et al. EGFR controls hair shaft differentiation in a p53-independent manner. <i>iScience</i>. 2019;15:243-256. doi:<a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">10.1016/j.isci.2019.04.018</a>","ista":"Amberg N, Sotiropoulou PA, Heller G, Lichtenberger BM, Holcmann M, Camurdanoglu B, Baykuscheva-Gentscheva T, Blanpain C, Sibilia M. 2019. EGFR controls hair shaft differentiation in a p53-independent manner. iScience. 15, 243–256.","mla":"Amberg, Nicole, et al. “EGFR Controls Hair Shaft Differentiation in a P53-Independent Manner.” <i>IScience</i>, vol. 15, Elsevier, 2019, pp. 243–56, doi:<a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">10.1016/j.isci.2019.04.018</a>."},"type":"journal_article","file":[{"content_type":"application/pdf","relation":"main_file","checksum":"a9ad2296726c9474ad5860c9c2f53622","file_id":"6452","file_size":8365970,"date_updated":"2020-07-14T12:47:30Z","access_level":"open_access","creator":"dernst","date_created":"2019-05-14T11:51:51Z","file_name":"2019_iScience_Amberg.pdf"}],"quality_controlled":"1","abstract":[{"lang":"eng","text":"Epidermal growth factor receptor (EGFR) signaling controls skin development and homeostasis inmice and humans, and its deficiency causes severe skin inflammation, which might affect epidermalstem cell behavior. Here, we describe the inflammation-independent effects of EGFR deficiency dur-ing skin morphogenesis and in adult hair follicle stem cells. Expression and alternative splicing analysisof RNA sequencing data from interfollicular epidermis and outer root sheath indicate that EGFR con-trols genes involved in epidermal differentiation and also in centrosome function, DNA damage, cellcycle, and apoptosis. Genetic experiments employingp53deletion in EGFR-deficient epidermis revealthat EGFR signaling exhibitsp53-dependent functions in proliferative epidermal compartments, aswell asp53-independent functions in differentiated hair shaft keratinocytes. Loss of EGFR leads toabsence of LEF1 protein specifically in the innermost epithelial hair layers, resulting in disorganizationof medulla cells. Thus, our results uncover important spatial and temporal features of cell-autonomousEGFR functions in the epidermis."}],"external_id":{"isi":["000470104600022"]},"tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"date_published":"2019-05-31T00:00:00Z","isi":1,"date_updated":"2023-09-08T11:38:04Z","publication_status":"published","title":"EGFR controls hair shaft differentiation in a p53-independent manner","publication_identifier":{"issn":["2589-0042"]}},{"publication_identifier":{"issn":["0896-6273"],"eissn":["1097-4199"]},"ec_funded":1,"date_updated":"2025-04-14T07:43:05Z","title":"Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members","project":[{"grant_number":"725780","call_identifier":"H2020","_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"publication_status":"published","external_id":{"isi":["000463337900018"],"pmid":["30824354"]},"tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"date_published":"2019-04-03T00:00:00Z","isi":1,"abstract":[{"text":"Adult neural stem cells and multiciliated ependymalcells are glial cells essential for neurological func-tions. Together, they make up the adult neurogenicniche. Using both high-throughput clonal analysisand single-cell resolution of progenitor division pat-terns and fate, we show that these two componentsof the neurogenic niche are lineally related: adult neu-ral stem cells are sister cells to ependymal cells,whereas most ependymal cells arise from the termi-nal symmetric divisions of the lineage. Unexpectedly,we found that the antagonist regulators of DNA repli-cation, GemC1 and Geminin, can tune the proportionof neural stem cells and ependymal cells. Our find-ings reveal the controlled dynamic of the neurogenicniche ontogeny and identify the Geminin familymembers as key regulators of the initial pool of adultneural stem cells.","lang":"eng"}],"quality_controlled":"1","file":[{"date_updated":"2020-07-14T12:47:30Z","access_level":"open_access","creator":"dernst","date_created":"2019-05-15T09:28:41Z","file_name":"2019_Neuron_Ortiz.pdf","content_type":"application/pdf","relation":"main_file","checksum":"1fb6e195c583eb0c5cabf26f69ff6675","file_size":7288572,"file_id":"6457"}],"type":"journal_article","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Ortiz-Álvarez G, Daclin M, Shihavuddin A, Lansade P, Fortoul A, Faucourt M, Clavreul S, Lalioti M, Taraviras S, Hippenmeyer S, Livet J, Meunier A, Genovesio A, Spassky N. 2019. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. 102(1), 159–172.e7.","mla":"Ortiz-Álvarez, G., et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>, vol. 102, no. 1, Elsevier, 2019, p. 159–172.e7, doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">10.1016/j.neuron.2019.01.051</a>.","ama":"Ortiz-Álvarez G, Daclin M, Shihavuddin A, et al. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. <i>Neuron</i>. 2019;102(1):159-172.e7. doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">10.1016/j.neuron.2019.01.051</a>","ieee":"G. Ortiz-Álvarez <i>et al.</i>, “Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members,” <i>Neuron</i>, vol. 102, no. 1. Elsevier, p. 159–172.e7, 2019.","short":"G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.","chicago":"Ortiz-Álvarez, G, M Daclin, A Shihavuddin, P Lansade, A Fortoul, M Faucourt, S Clavreul, et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">https://doi.org/10.1016/j.neuron.2019.01.051</a>.","apa":"Ortiz-Álvarez, G., Daclin, M., Shihavuddin, A., Lansade, P., Fortoul, A., Faucourt, M., … Spassky, N. (2019). Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">https://doi.org/10.1016/j.neuron.2019.01.051</a>"},"pmid":1,"publication":"Neuron","oa":1,"month":"04","oa_version":"Published Version","status":"public","ddc":["570"],"_id":"6454","file_date_updated":"2020-07-14T12:47:30Z","scopus_import":"1","doi":"10.1016/j.neuron.2019.01.051","intvolume":"       102","author":[{"first_name":"G","full_name":"Ortiz-Álvarez, G","last_name":"Ortiz-Álvarez"},{"first_name":"M","last_name":"Daclin","full_name":"Daclin, M"},{"first_name":"A","last_name":"Shihavuddin","full_name":"Shihavuddin, A"},{"last_name":"Lansade","full_name":"Lansade, P","first_name":"P"},{"full_name":"Fortoul, A","last_name":"Fortoul","first_name":"A"},{"first_name":"M","last_name":"Faucourt","full_name":"Faucourt, M"},{"last_name":"Clavreul","full_name":"Clavreul, S","first_name":"S"},{"first_name":"ME","full_name":"Lalioti, ME","last_name":"Lalioti"},{"full_name":"Taraviras, S","last_name":"Taraviras","first_name":"S"},{"last_name":"Hippenmeyer","full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon"},{"first_name":"J","last_name":"Livet","full_name":"Livet, J"},{"full_name":"Meunier, A","last_name":"Meunier","first_name":"A"},{"full_name":"Genovesio, A","last_name":"Genovesio","first_name":"A"},{"last_name":"Spassky","full_name":"Spassky, N","first_name":"N"}],"date_created":"2019-05-14T13:06:30Z","volume":102,"publisher":"Elsevier","day":"03","issue":"1","has_accepted_license":"1","article_processing_charge":"No","department":[{"_id":"SiHi"}],"language":[{"iso":"eng"}],"year":"2019","page":"159-172.e7"},{"doi":"10.1126/science.aav2522","scopus_import":"1","intvolume":"       364","author":[{"full_name":"Telley, L","last_name":"Telley","first_name":"L"},{"first_name":"G","last_name":"Agirman","full_name":"Agirman, G"},{"first_name":"J","full_name":"Prados, J","last_name":"Prados"},{"orcid":"0000-0002-3183-8207","full_name":"Amberg, Nicole","last_name":"Amberg","first_name":"Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Fièvre, S","last_name":"Fièvre","first_name":"S"},{"first_name":"P","last_name":"Oberst","full_name":"Oberst, P"},{"first_name":"G","last_name":"Bartolini","full_name":"Bartolini, G"},{"full_name":"Vitali, I","last_name":"Vitali","first_name":"I"},{"first_name":"C","last_name":"Cadilhac","full_name":"Cadilhac, C"},{"first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","full_name":"Hippenmeyer, Simon","last_name":"Hippenmeyer"},{"last_name":"Nguyen","full_name":"Nguyen, L","first_name":"L"},{"full_name":"Dayer, A","last_name":"Dayer","first_name":"A"},{"full_name":"Jabaudon, D","last_name":"Jabaudon","first_name":"D"}],"main_file_link":[{"open_access":"1","url":"https://orbi.uliege.be/bitstream/2268/239604/1/Telley_Agirman_Science2019.pdf"}],"volume":364,"related_material":{"link":[{"url":"https://ist.ac.at/en/news/how-to-generate-a-brain-of-correct-size-and-composition/","relation":"press_release","description":"News on IST Homepage"}]},"date_created":"2019-05-14T13:07:47Z","oa":1,"month":"05","_id":"6455","oa_version":"Published Version","status":"public","article_number":"eaav2522","year":"2019","language":[{"iso":"eng"}],"article_type":"original","publisher":"AAAS","issue":"6440","day":"10","article_processing_charge":"No","department":[{"_id":"SiHi"}],"title":"Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex","project":[{"_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development","call_identifier":"H2020","grant_number":"725780"},{"name":"Role of Eed in neural stem cell lineage progression","_id":"268F8446-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"T01031"}],"publication_status":"published","date_updated":"2025-04-15T07:50:01Z","isi":1,"date_published":"2019-05-10T00:00:00Z","external_id":{"pmid":["31073041"],"isi":["000467631800034"]},"quality_controlled":"1","abstract":[{"text":"During corticogenesis, distinct subtypes of neurons are sequentially born from ventricular zone progenitors. How these cells are molecularly temporally patterned is poorly understood. We used single-cell RNA sequencing at high temporal resolution to trace the lineage of the molecular identities of successive generations of apical progenitors (APs) and their daughter neurons in mouse embryos. We identified a core set of evolutionarily conserved, temporally patterned genes that drive APs from internally driven to more exteroceptive states. We found that the Polycomb repressor complex 2 (PRC2) epigenetically regulates AP temporal progression. Embryonic age–dependent AP molecular states are transmitted to their progeny as successive ground states, onto which essentially conserved early postmitotic differentiation programs are applied, and are complemented by later-occurring environment-dependent signals. Thus, epigenetically regulated temporal molecular birthmarks present in progenitors act in their postmitotic progeny to seed adult neuronal diversity.","lang":"eng"}],"publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"ec_funded":1,"citation":{"ama":"Telley L, Agirman G, Prados J, et al. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. <i>Science</i>. 2019;364(6440). doi:<a href=\"https://doi.org/10.1126/science.aav2522\">10.1126/science.aav2522</a>","ieee":"L. Telley <i>et al.</i>, “Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex,” <i>Science</i>, vol. 364, no. 6440. AAAS, 2019.","ista":"Telley L, Agirman G, Prados J, Amberg N, Fièvre S, Oberst P, Bartolini G, Vitali I, Cadilhac C, Hippenmeyer S, Nguyen L, Dayer A, Jabaudon D. 2019. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. 364(6440), eaav2522.","mla":"Telley, L., et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” <i>Science</i>, vol. 364, no. 6440, eaav2522, AAAS, 2019, doi:<a href=\"https://doi.org/10.1126/science.aav2522\">10.1126/science.aav2522</a>.","apa":"Telley, L., Agirman, G., Prados, J., Amberg, N., Fièvre, S., Oberst, P., … Jabaudon, D. (2019). Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. <i>Science</i>. AAAS. <a href=\"https://doi.org/10.1126/science.aav2522\">https://doi.org/10.1126/science.aav2522</a>","chicago":"Telley, L, G Agirman, J Prados, Nicole Amberg, S Fièvre, P Oberst, G Bartolini, et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” <i>Science</i>. AAAS, 2019. <a href=\"https://doi.org/10.1126/science.aav2522\">https://doi.org/10.1126/science.aav2522</a>.","short":"L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019)."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","pmid":1,"publication":"Science","type":"journal_article"},{"publication":"31st International Conference on Computer-Aided Verification","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"short":"G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.","apa":"Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &#38; Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In <i>31st International Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">https://doi.org/10.1007/978-3-030-25540-4_36</a>","chicago":"Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In <i>31st International Conference on Computer-Aided Verification</i>, 11561:630–49. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">https://doi.org/10.1007/978-3-030-25540-4_36</a>.","mla":"Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561, Springer, 2019, pp. 630–49, doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">10.1007/978-3-030-25540-4_36</a>.","ista":"Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.","ama":"Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: <i>31st International Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:630-649. doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">10.1007/978-3-030-25540-4_36</a>","ieee":"G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in <i>31st International Conference on Computer-Aided Verification</i>, New York, NY, United States, 2019, vol. 11561, pp. 630–649."},"type":"conference","conference":{"end_date":"2019-07-18","start_date":"2019-07-13","location":"New York, NY, United States","name":"CAV: Computer Aided Verification"},"file":[{"file_id":"6816","file_size":659766,"content_type":"application/pdf","relation":"main_file","checksum":"c231579f2485c6fd4df17c9443a4d80b","date_created":"2019-08-14T09:35:24Z","file_name":"2019_CAV_Avni.pdf","date_updated":"2020-07-14T12:47:31Z","creator":"dernst","access_level":"open_access"}],"alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive  synthesis.  First,  we  abstract  the  plant  by  building  a  stochastic  model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles."}],"quality_controlled":"1","date_updated":"2025-04-15T06:26:05Z","publication_status":"published","project":[{"grant_number":"M02369","_id":"264B3912-B435-11E9-9278-68D0E5697425","name":"Formal Methods meets Algorithmic Game Theory","call_identifier":"FWF"},{"grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"title":"Run-time optimization for learned controllers through quantitative games","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"isi":1,"date_published":"2019-07-12T00:00:00Z","external_id":{"isi":["000491468000036"]},"publication_identifier":{"isbn":["9783030255398"],"issn":["0302-9743"]},"corr_author":"1","page":"630-649","language":[{"iso":"eng"}],"year":"2019","has_accepted_license":"1","article_processing_charge":"No","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"publisher":"Springer","day":"12","author":[{"full_name":"Avni, Guy","last_name":"Avni","orcid":"0000-0001-5588-8287","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy"},{"first_name":"Roderick","last_name":"Bloem","full_name":"Bloem, Roderick"},{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Konighofer","full_name":"Konighofer, Bettina","first_name":"Bettina"},{"first_name":"Stefan","last_name":"Pranger","full_name":"Pranger, Stefan"}],"date_created":"2019-05-16T11:22:30Z","volume":11561,"scopus_import":"1","doi":"10.1007/978-3-030-25540-4_36","intvolume":"     11561","status":"public","oa_version":"Published Version","_id":"6462","ddc":["000"],"file_date_updated":"2020-07-14T12:47:31Z","oa":1,"month":"07"},{"language":[{"iso":"eng"}],"year":"2019","department":[{"_id":"BeVi"},{"_id":"NiBa"}],"article_processing_charge":"No","issue":"4","day":"03","publisher":"Royal Society of London","article_type":"original","date_created":"2019-05-19T21:59:15Z","related_material":{"link":[{"relation":"supplementary_material","url":"https://dx.doi.org/10.6084/m9.figshare.c.4461008"}],"record":[{"relation":"research_data","id":"9799","status":"public"},{"status":"public","relation":"research_data","id":"9798"}]},"volume":15,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1098/rsbl.2018.0881"}],"author":[{"last_name":"Fraisse","full_name":"Fraisse, Christelle","orcid":"0000-0001-8441-5075","id":"32DF5794-F248-11E8-B48F-1D18A9856A87","first_name":"Christelle"},{"first_name":"John J.","last_name":"Welch","full_name":"Welch, John J."}],"intvolume":"        15","scopus_import":"1","doi":"10.1098/rsbl.2018.0881","article_number":"0881","oa_version":"Published Version","status":"public","_id":"6467","month":"04","oa":1,"publication":"Biology Letters","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” <i>Biology Letters</i>, vol. 15, no. 4, 0881, Royal Society of London, 2019, doi:<a href=\"https://doi.org/10.1098/rsbl.2018.0881\">10.1098/rsbl.2018.0881</a>.","ista":"Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881.","ama":"Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. <i>Biology Letters</i>. 2019;15(4). doi:<a href=\"https://doi.org/10.1098/rsbl.2018.0881\">10.1098/rsbl.2018.0881</a>","ieee":"C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” <i>Biology Letters</i>, vol. 15, no. 4. Royal Society of London, 2019.","short":"C. Fraisse, J.J. Welch, Biology Letters 15 (2019).","apa":"Fraisse, C., &#38; Welch, J. J. (2019). The distribution of epistasis on simple fitness landscapes. <i>Biology Letters</i>. Royal Society of London. <a href=\"https://doi.org/10.1098/rsbl.2018.0881\">https://doi.org/10.1098/rsbl.2018.0881</a>","chicago":"Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” <i>Biology Letters</i>. Royal Society of London, 2019. <a href=\"https://doi.org/10.1098/rsbl.2018.0881\">https://doi.org/10.1098/rsbl.2018.0881</a>."},"type":"journal_article","abstract":[{"text":"Fitness interactions between mutations can influence a population’s evolution in many different ways. While epistatic effects are difficult to measure precisely, important information is captured by the mean and variance of log fitnesses for individuals carrying different numbers of mutations. We derive predictions for these quantities from a class of simple fitness landscapes, based on models of optimizing selection on quantitative traits. We also explore extensions to the models, including modular pleiotropy, variable effect sizes, mutational bias and maladaptation of the wild type. We illustrate our approach by reanalysing a large dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized by some large epistatic effects, these data give a good overall fit to the non-epistatic null model, suggesting that epistasis might have limited influence on the evolutionary dynamics in this system. We also show how the amount of epistasis depends on both the underlying fitness landscape and the distribution of mutations, and so is expected to vary in consistent ways between new mutations, standing variation and fixed mutations.","lang":"eng"}],"quality_controlled":"1","isi":1,"external_id":{"pmid":["31014191"],"isi":["000465405300010"]},"date_published":"2019-04-03T00:00:00Z","date_updated":"2025-07-10T11:53:23Z","title":"The distribution of epistasis on simple fitness landscapes","publication_status":"published","project":[{"grant_number":"291734","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"publication_identifier":{"eissn":["1744-957X"],"issn":["1744-9561"]}},{"department":[{"_id":"GaNo"}],"article_processing_charge":"No","issue":"11","day":"01","article_type":"original","publisher":"Wiley","page":"2925–2947","language":[{"iso":"eng"}],"year":"2019","oa_version":"Published Version","status":"public","_id":"6470","month":"06","oa":1,"date_created":"2019-05-19T21:59:17Z","volume":597,"main_file_link":[{"url":"https://doi.org/10.1113/JP277681","open_access":"1"}],"author":[{"last_name":"Éltes","full_name":"Éltes, Tímea","first_name":"Tímea"},{"last_name":"Szoboszlay","full_name":"Szoboszlay, Miklos","first_name":"Miklos"},{"id":"44F4BDC0-F248-11E8-B48F-1D18A9856A87","first_name":"Margit Katalin","full_name":"Szigeti, Margit Katalin","last_name":"Szigeti","orcid":"0000-0001-9500-8758"},{"first_name":"Zoltan","last_name":"Nusser","full_name":"Nusser, Zoltan"}],"intvolume":"       597","scopus_import":"1","doi":"10.1113/JP277681","type":"journal_article","publication":"Journal of Physiology","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.","chicago":"Éltes, Tímea, Miklos Szoboszlay, Margit Katalin Szigeti, and Zoltan Nusser. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” <i>Journal of Physiology</i>. Wiley, 2019. <a href=\"https://doi.org/10.1113/JP277681\">https://doi.org/10.1113/JP277681</a>.","apa":"Éltes, T., Szoboszlay, M., Szigeti, M. K., &#38; Nusser, Z. (2019). Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. <i>Journal of Physiology</i>. Wiley. <a href=\"https://doi.org/10.1113/JP277681\">https://doi.org/10.1113/JP277681</a>","ista":"Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11), 2925–2947.","mla":"Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” <i>Journal of Physiology</i>, vol. 597, no. 11, Wiley, 2019, pp. 2925–2947, doi:<a href=\"https://doi.org/10.1113/JP277681\">10.1113/JP277681</a>.","ieee":"T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells,” <i>Journal of Physiology</i>, vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.","ama":"Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. <i>Journal of Physiology</i>. 2019;597(11):2925–2947. doi:<a href=\"https://doi.org/10.1113/JP277681\">10.1113/JP277681</a>"},"publication_identifier":{"eissn":["1469-7793"],"issn":["0022-3751"]},"abstract":[{"text":"Investigating neuronal activity using genetically encoded Ca2+ indicators in behaving animals is hampered by inaccuracies in spike inference from fluorescent tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings, followed by post hoc determination of the expression level of GCaMP6f, to explore how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+] transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary [Ca2+] transients (evoked by a single action potential) negatively correlates with GCaMP6f expression, but displays large variability even among PCs with similarly low expression levels. The summation of fluorescence signals is frequency‐dependent, supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental data‐based simulations and found that spike inference error rates using MLspike depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide simple methods for estimating the unitary [Ca2+] transients in individual weakly GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. ","lang":"eng"}],"quality_controlled":"1","isi":1,"external_id":{"isi":["000470780400013"],"pmid":["31006863"]},"date_published":"2019-06-01T00:00:00Z","date_updated":"2025-07-10T11:53:24Z","title":"Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells","publication_status":"published"},{"publication_identifier":{"issn":["1539-0756"],"eissn":["0034-6861"]},"arxiv":1,"title":"Colloquium: Many-body localization, thermalization, and entanglement","publication_status":"published","date_updated":"2023-08-25T10:37:56Z","isi":1,"external_id":{"isi":["000469046900001"],"arxiv":["1804.11065"]},"date_published":"2019-05-22T00:00:00Z","quality_controlled":"1","abstract":[{"text":"Thermalizing quantum systems are conventionallydescribed by statistical mechanics at equilib-rium. However, not all systems fall into this category, with many-body localization providinga generic mechanism for thermalization to fail in strongly disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators at nonzero temperature, which do notthermalize and therefore cannot be describedusing statistical mechanics. This Colloquiumreviews recent theoretical and experimental advances in studies of MBL systems, focusing onthe new perspective provided by entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically, MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal integrals of motion emerges, which provides an intuitive explanationof the breakdown of thermalization. A description based on quasilocal integrals of motion isused to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement, the behavior of local observables, and the response to external dissipativeprocesses. Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing of the quantum-to-classical transitionbetween many-body localized and ergodic phasesand anomalous transport in the vicinity of that transition. Experimentally, synthetic quantumsystems, which are well isolated from an external thermal reservoir, provide natural platforms forrealizing the MBL phase. Recent experiments with ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in which different signatures of many-body localization have beenobserved, are reviewed. This Colloquium concludes by listing outstanding challenges andpromising future research directions.","lang":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","checksum":"4aec0e6662b09f6e0f828cd30ff2c3a6","file_id":"6478","file_size":1695677,"date_updated":"2020-07-14T12:47:31Z","access_level":"open_access","creator":"mserbyn","date_created":"2019-05-23T07:39:05Z","file_name":"RevModPhys.91.021001.pdf"}],"type":"journal_article","citation":{"chicago":"Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” <i>Reviews of Modern Physics</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/revmodphys.91.021001\">https://doi.org/10.1103/revmodphys.91.021001</a>.","apa":"Abanin, D. A., Altman, E., Bloch, I., &#38; Serbyn, M. (2019). Colloquium: Many-body localization, thermalization, and entanglement. <i>Reviews of Modern Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/revmodphys.91.021001\">https://doi.org/10.1103/revmodphys.91.021001</a>","short":"D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).","ama":"Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. <i>Reviews of Modern Physics</i>. 2019;91(2). doi:<a href=\"https://doi.org/10.1103/revmodphys.91.021001\">10.1103/revmodphys.91.021001</a>","ieee":"D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” <i>Reviews of Modern Physics</i>, vol. 91, no. 2. American Physical Society, 2019.","ista":"Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.","mla":"Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” <i>Reviews of Modern Physics</i>, vol. 91, no. 2, 021001, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/revmodphys.91.021001\">10.1103/revmodphys.91.021001</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication":"Reviews of Modern Physics","oa":1,"month":"05","ddc":["530"],"_id":"6477","file_date_updated":"2020-07-14T12:47:31Z","oa_version":"Published Version","status":"public","article_number":"021001","doi":"10.1103/revmodphys.91.021001","scopus_import":"1","intvolume":"        91","author":[{"full_name":"Abanin, Dmitry A.","last_name":"Abanin","first_name":"Dmitry A."},{"first_name":"Ehud","full_name":"Altman, Ehud","last_name":"Altman"},{"last_name":"Bloch","full_name":"Bloch, Immanuel","first_name":"Immanuel"},{"first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym","last_name":"Serbyn"}],"volume":91,"date_created":"2019-05-23T07:38:43Z","publisher":"American Physical Society","article_type":"original","issue":"2","day":"22","article_processing_charge":"No","has_accepted_license":"1","department":[{"_id":"MaSe"}],"year":"2019","language":[{"iso":"eng"}]},{"oa":1,"month":"02","status":"public","oa_version":"Preprint","_id":"6482","scopus_import":"1","doi":"10.1007/978-3-030-12939-2_18","intvolume":"     11269","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.04171"}],"author":[{"full_name":"Sun, Rémy","last_name":"Sun","first_name":"Rémy"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"date_created":"2019-05-24T09:48:36Z","related_material":{"record":[{"id":"6944","relation":"later_version","status":"public"}]},"volume":11269,"publisher":"Springer Nature","day":"14","article_processing_charge":"No","department":[{"_id":"ChLa"}],"language":[{"iso":"eng"}],"year":"2019","page":"244-259","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783030129385","9783030129392"],"issn":["0302-9743"]},"arxiv":1,"ec_funded":1,"date_updated":"2025-04-15T07:10:25Z","publication_status":"published","title":"KS(conf): A light-weight test if a ConvNet operates outside of Its specifications","project":[{"grant_number":"308036","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding","_id":"2532554C-B435-11E9-9278-68D0E5697425"}],"external_id":{"arxiv":["1804.04171"]},"date_published":"2019-02-14T00:00:00Z","abstract":[{"lang":"eng","text":"Computer vision systems for automatic image categorization have become accurate and reliable enough that they can run continuously for days or even years as components of real-world commercial applications. A major open problem in this context, however, is quality control. Good classification performance can only be expected if systems run under the specific conditions, in particular data distributions, that they were trained for. Surprisingly, none of the currently used deep network architectures have a built-in functionality that could detect if a network operates on data from a distribution it was not trained for, such that potentially a warning to the human users could be triggered. In this work, we describe KS(conf), a procedure for detecting such outside of specifications (out-of-specs) operation, based on statistical testing of the network outputs. We show by extensive experiments using the ImageNet, AwA2 and DAVIS datasets on a variety of ConvNets architectures that KS(conf) reliably detects out-of-specs situations. It furthermore has a number of properties that make it a promising candidate for practical deployment: it is easy to implement, adds almost no overhead to the system, works with all networks, including pretrained ones, and requires no a priori knowledge of how the data distribution could change. "}],"quality_controlled":"1","alternative_title":["LNCS"],"type":"conference","conference":{"name":"GCPR: Conference on Pattern Recognition","end_date":"2018-10-12","start_date":"2018-10-09","location":"Stuttgart, Germany"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"short":"R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.","apa":"Sun, R., &#38; Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">https://doi.org/10.1007/978-3-030-12939-2_18</a>","chicago":"Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications,” 11269:244–59. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">https://doi.org/10.1007/978-3-030-12939-2_18</a>.","mla":"Sun, Rémy, and Christoph Lampert. <i>KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications</i>. Vol. 11269, Springer Nature, 2019, pp. 244–59, doi:<a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">10.1007/978-3-030-12939-2_18</a>.","ista":"Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS, vol. 11269, 244–259.","ama":"Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:<a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">10.1007/978-3-030-12939-2_18</a>","ieee":"R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany, 2019, vol. 11269, pp. 244–259."}},{"oa_version":"None","status":"public","_id":"6485","month":"02","publication_identifier":{"isbn":["9781450362252"]},"date_created":"2019-05-24T10:09:12Z","quality_controlled":"1","abstract":[{"lang":"eng","text":"Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous channelis the common abstraction for communication between several processes, where senders and receivers perform a rendezvous handshake as a part of their protocol (senders wait for receivers and vice versa). Additionally to this, channels support the select expression. In this work, we present the first efficient lock-free channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations."}],"author":[{"first_name":"Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","full_name":"Koval, Nikita","last_name":"Koval"},{"first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh"},{"last_name":"Elizarov","full_name":"Elizarov, Roman","first_name":"Roman"}],"isi":1,"external_id":{"isi":["000587604600044"]},"date_published":"2019-02-01T00:00:00Z","date_updated":"2024-12-11T11:42:22Z","title":"Lock-free channels for programming via communicating sequential processes","publication_status":"published","doi":"10.1145/3293883.3297000","department":[{"_id":"DaAl"}],"conference":{"end_date":"2019-02-20","location":"Washington, NY, United States","start_date":"2019-02-16","name":"PPoPP: Principles and Practice of Parallel Programming"},"type":"conference_poster","article_processing_charge":"No","day":"01","publisher":"ACM","page":"417-418","publication":"Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming","language":[{"iso":"eng"}],"year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM,p.","mla":"Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>, ACM, 2019, pp. 417–18, doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>.","ieee":"N. Koval, D.-A. Alistarh, and R. Elizarov, <i>Lock-free channels for programming via communicating sequential processes</i>. ACM, 2019, pp. 417–418.","ama":"Koval N, Alistarh D-A, Elizarov R. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. ACM; 2019:417-418. doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>","short":"N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM, 2019.","apa":"Koval, N., Alistarh, D.-A., &#38; Elizarov, R. (2019). <i>Lock-free channels for programming via communicating sequential processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i> (pp. 417–418). Washington, NY, United States: ACM. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>","chicago":"Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>."}},{"type":"conference","conference":{"name":"CAV: Computer-Aided Verification","end_date":"2019-07-18","start_date":"2019-07-15","location":"New York City, NY, USA"},"file":[{"checksum":"1f1d61b83a151031745ef70a501da3d6","content_type":"application/pdf","relation":"main_file","file_id":"6817","file_size":674795,"access_level":"open_access","creator":"dernst","date_updated":"2020-07-14T12:47:32Z","date_created":"2019-08-14T11:05:30Z","file_name":"2019_CAV_GarciaSoto.pdf"}],"alternative_title":["LNCS"],"publication":"31st International Conference on Computer-Aided Verification","citation":{"ieee":"M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in <i>31st International Conference on Computer-Aided Verification</i>, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.","ama":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: <i>31st International Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:297-314. doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>","ista":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.","mla":"Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561, Springer, 2019, pp. 297–314, doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>.","chicago":"Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In <i>31st International Conference on Computer-Aided Verification</i>, 11561:297–314. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>.","apa":"Garcia Soto, M., Henzinger, T. A., Schilling, C., &#38; Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In <i>31st International Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>","short":"M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ec_funded":1,"corr_author":"1","publication_identifier":{"isbn":["9783030255398"],"issn":["0302-9743"]},"abstract":[{"lang":"eng","text":"We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements."}],"quality_controlled":"1","project":[{"grant_number":"754411","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"}],"title":"Membership-based synthesis of linear hybrid automata","publication_status":"published","date_updated":"2025-04-15T06:26:13Z","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"date_published":"2019-07-12T00:00:00Z","external_id":{"isi":["000491468000016"]},"article_processing_charge":"No","has_accepted_license":"1","department":[{"_id":"ToHe"}],"publisher":"Springer","day":"12","keyword":["Synthesis","Linear hybrid automaton","Membership"],"page":"297-314","year":"2019","language":[{"iso":"eng"}],"ddc":["000"],"_id":"6493","file_date_updated":"2020-07-14T12:47:32Z","status":"public","oa_version":"Published Version","oa":1,"month":"07","author":[{"last_name":"Garcia Soto","full_name":"Garcia Soto, Miriam","orcid":"0000−0003−2936−5719","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","first_name":"Miriam"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-3658-1065","last_name":"Schilling","full_name":"Schilling, Christian","first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zeleznik, Luka","last_name":"Zeleznik","first_name":"Luka","id":"3ADCA2E4-F248-11E8-B48F-1D18A9856A87"}],"volume":11561,"date_created":"2019-05-27T07:09:53Z","doi":"10.1007/978-3-030-25540-4_16","scopus_import":"1","intvolume":"     11561"},{"oa":1,"month":"03","status":"public","oa_version":"Preprint","_id":"65","scopus_import":"1","doi":"10.1016/j.jde.2018.09.012","intvolume":"       266","main_file_link":[{"url":"http://arxiv.org/abs/1803.06953","open_access":"1"}],"author":[{"full_name":"Dareiotis, Konstantinos","last_name":"Dareiotis","first_name":"Konstantinos"},{"first_name":"Mate","id":"44ECEDF2-F248-11E8-B48F-1D18A9856A87","last_name":"Gerencser","full_name":"Gerencser, Mate"},{"first_name":"Benjamin","last_name":"Gess","full_name":"Gess, Benjamin"}],"date_created":"2018-12-11T11:44:26Z","volume":266,"article_type":"original","publisher":"Elsevier","issue":"6","day":"05","publist_id":"7989","article_processing_charge":"No","department":[{"_id":"JaMa"}],"language":[{"iso":"eng"}],"year":"2019","page":"3732-3763","arxiv":1,"date_updated":"2025-04-22T13:48:09Z","title":"Entropy solutions for stochastic porous media equations","publication_status":"published","date_published":"2019-03-05T00:00:00Z","external_id":{"isi":["000456332500026"],"arxiv":["1803.06953"]},"isi":1,"quality_controlled":"1","abstract":[{"text":"We provide an entropy formulation for porous medium-type equations with a stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction is obtained in the class of entropy solutions. Our scope allows for porous medium operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity with exponent 1/2.","lang":"eng"}],"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>.","apa":"Dareiotis, K., Gerencser, M., &#38; Gess, B. (2019). Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>","short":"K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.","ama":"Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. 2019;266(6):3732-3763. doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>","ieee":"K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” <i>Journal of Differential Equations</i>, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.","mla":"Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>, vol. 266, no. 6, Elsevier, 2019, pp. 3732–63, doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>.","ista":"Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 266(6), 3732–3763."},"publication":"Journal of Differential Equations"}]