[{"day":"01","publist_id":"5626","oa_version":"Submitted Version","department":[{"_id":"RoSe"}],"author":[{"last_name":"Nam","full_name":"Nam, Phan","first_name":"Phan","id":"404092F4-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Napiórkowski, Marcin M","last_name":"Napiórkowski","id":"4197AD04-F248-11E8-B48F-1D18A9856A87","first_name":"Marcin M"},{"last_name":"Solovej","full_name":"Solovej, Jan","first_name":"Jan"}],"ec_funded":1,"corr_author":"1","fulldoi":"https://doi.org/10.1016/j.jfa.2015.12.007","month":"06","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"},{"call_identifier":"FWF","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27"}],"abstract":[{"text":"We provide general conditions for which bosonic quadratic Hamiltonians on Fock spaces can be diagonalized by Bogoliubov transformations. Our results cover the case when quantum systems have infinite degrees of freedom and the associated one-body kinetic and paring operators are unbounded. Our sufficient conditions are optimal in the sense that they become necessary when the relevant one-body operators commute.","lang":"eng"}],"article_processing_charge":"No","year":"2016","publisher":"Academic Press","publication_status":"published","date_published":"2016-06-01T00:00:00Z","status":"public","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"http://arxiv.org/abs/1508.07321","open_access":"1"}],"oa":1,"title":"Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations","scopus_import":"1","date_updated":"2025-09-18T11:04:09Z","publication":"Journal of Functional Analysis","citation":{"apa":"Nam, P., Napiórkowski, M. M., &#38; Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. <i>Journal of Functional Analysis</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jfa.2015.12.007\">https://doi.org/10.1016/j.jfa.2015.12.007</a>","chicago":"Nam, Phan, Marcin M Napiórkowski, and Jan Solovej. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” <i>Journal of Functional Analysis</i>. Academic Press, 2016. <a href=\"https://doi.org/10.1016/j.jfa.2015.12.007\">https://doi.org/10.1016/j.jfa.2015.12.007</a>.","ama":"Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. <i>Journal of Functional Analysis</i>. 2016;270(11):4340-4368. doi:<a href=\"https://doi.org/10.1016/j.jfa.2015.12.007\">10.1016/j.jfa.2015.12.007</a>","ieee":"P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” <i>Journal of Functional Analysis</i>, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.","mla":"Nam, Phan, et al. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” <i>Journal of Functional Analysis</i>, vol. 270, no. 11, Academic Press, 2016, pp. 4340–68, doi:<a href=\"https://doi.org/10.1016/j.jfa.2015.12.007\">10.1016/j.jfa.2015.12.007</a>.","ista":"Nam P, Napiórkowski MM, Solovej J. 2016. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 270(11), 4340–4368.","short":"P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368."},"arxiv":1,"volume":270,"_id":"1545","page":"4340 - 4368","date_created":"2018-12-11T11:52:38Z","acknowledgement":"We thank Jan Dereziński for several inspiring discussions and useful remarks. We thank the referee for helpful comments. J.P.S. thanks the Erwin Schrödinger Institute for the hospitality during the thematic programme “Quantum many-body systems, random matrices, and disorder”. We gratefully acknowledge the financial supports by the European Union's Seventh Framework Programme under the ERC Advanced Grant ERC-2012-AdG 321029 (J.P.S.) and the REA grant agreement No. 291734 (P.T.N.), as well as the support of the National Science Center (NCN) grant No. 2012/07/N/ST1/03185 and the Austrian Science Fund (FWF) project No. P 27533-N27 (M.N.).","quality_controlled":"1","external_id":{"arxiv":["1508.07321"],"isi":["000375241700011"]},"issue":"11","intvolume":"       270","isi":1,"language":[{"iso":"eng"}],"doi":"10.1016/j.jfa.2015.12.007"},{"fulldoi":"https://doi.org/10.1007/s00145-014-9196-7","department":[{"_id":"KrPi"}],"author":[{"full_name":"Abe, Masayuki","last_name":"Abe","first_name":"Masayuki"},{"id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87","first_name":"Georg","last_name":"Fuchsbauer","full_name":"Fuchsbauer, Georg"},{"last_name":"Groth","full_name":"Groth, Jens","first_name":"Jens"},{"first_name":"Kristiyan","full_name":"Haralambiev, Kristiyan","last_name":"Haralambiev"},{"first_name":"Miyako","full_name":"Ohkubo, Miyako","last_name":"Ohkubo"}],"oa_version":"None","day":"01","publist_id":"5579","type":"journal_article","publication_status":"published","status":"public","date_published":"2016-04-01T00:00:00Z","abstract":[{"text":"A modular approach to constructing cryptographic protocols leads to simple designs but often inefficient instantiations. On the other hand, ad hoc constructions may yield efficient protocols at the cost of losing conceptual simplicity. We suggest a new design paradigm, structure-preserving cryptography, that provides a way to construct modular protocols with reasonable efficiency while retaining conceptual simplicity. A cryptographic scheme over a bilinear group is called structure-preserving if its public inputs and outputs consist of elements from the bilinear groups and their consistency can be verified by evaluating pairing-product equations. As structure-preserving schemes smoothly interoperate with each other, they are useful as building blocks in modular design of cryptographic applications. This paper introduces structure-preserving commitment and signature schemes over bilinear groups with several desirable properties. The commitment schemes include homomorphic, trapdoor and length-reducing commitments to group elements, and the structure-preserving signature schemes are the first ones that yield constant-size signatures on multiple group elements. A structure-preserving signature scheme is called automorphic if the public keys lie in the message space, which cannot be achieved by compressing inputs via a cryptographic hash function, as this would destroy the mathematical structure we are trying to preserve. Automorphic signatures can be used for building certification chains underlying privacy-preserving protocols. Among a vast number of applications of structure-preserving protocols, we present an efficient round-optimal blind-signature scheme and a group signature scheme with an efficient and concurrently secure protocol for enrolling new members.","lang":"eng"}],"publisher":"Springer","year":"2016","article_processing_charge":"No","month":"04","_id":"1592","volume":29,"page":"363 - 421","publication":"Journal of Cryptology","citation":{"mla":"Abe, Masayuki, et al. “Structure Preserving Signatures and Commitments to Group Elements.” <i>Journal of Cryptology</i>, vol. 29, no. 2, Springer, 2016, pp. 363–421, doi:<a href=\"https://doi.org/10.1007/s00145-014-9196-7\">10.1007/s00145-014-9196-7</a>.","ieee":"M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo, “Structure preserving signatures and commitments to group elements,” <i>Journal of Cryptology</i>, vol. 29, no. 2. Springer, pp. 363–421, 2016.","short":"M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, M. Ohkubo, Journal of Cryptology 29 (2016) 363–421.","ista":"Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. 2016. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 29(2), 363–421.","apa":"Abe, M., Fuchsbauer, G., Groth, J., Haralambiev, K., &#38; Ohkubo, M. (2016). Structure preserving signatures and commitments to group elements. <i>Journal of Cryptology</i>. Springer. <a href=\"https://doi.org/10.1007/s00145-014-9196-7\">https://doi.org/10.1007/s00145-014-9196-7</a>","ama":"Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. Structure preserving signatures and commitments to group elements. <i>Journal of Cryptology</i>. 2016;29(2):363-421. doi:<a href=\"https://doi.org/10.1007/s00145-014-9196-7\">10.1007/s00145-014-9196-7</a>","chicago":"Abe, Masayuki, Georg Fuchsbauer, Jens Groth, Kristiyan Haralambiev, and Miyako Ohkubo. “Structure Preserving Signatures and Commitments to Group Elements.” <i>Journal of Cryptology</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00145-014-9196-7\">https://doi.org/10.1007/s00145-014-9196-7</a>."},"title":"Structure preserving signatures and commitments to group elements","date_updated":"2025-09-18T11:02:49Z","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","language":[{"iso":"eng"}],"doi":"10.1007/s00145-014-9196-7","isi":1,"intvolume":"        29","external_id":{"isi":["000371077900004"]},"issue":"2","date_created":"2018-12-11T11:52:54Z","acknowledgement":"The authors would like to thank the anonymous reviewers of this paper. We also would like to express our appreciation to the program committee and the anonymous reviewers for CRYPTO 2010. The first author thanks Sherman S. M. Chow for his comment on group signatures in Sect. 7.1.","quality_controlled":"1"},{"quality_controlled":"1","acknowledgement":"This work was supported by the Boehringer Ingelheim Fonds, the European Research Council (ERC StG 281556), and a START Award of the Austrian Science Foundation (FWF). We thank Robert Hauschild, Anne Reversat, and Jack Merrin for valuable input and the Imaging Facility of IST Austria for excellent support.","date_created":"2018-12-11T11:52:56Z","pmid":1,"external_id":{"isi":["000375648700025"],"pmid":["26921962"]},"intvolume":"       570","isi":1,"doi":"10.1016/bs.mie.2015.11.004","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","scopus_import":"1","acknowledged_ssus":[{"_id":"Bio"}],"date_updated":"2025-09-18T11:02:13Z","title":"Quantitative analysis of dendritic cell haptotaxis","citation":{"ieee":"J. Schwarz and M. K. Sixt, “Quantitative analysis of dendritic cell haptotaxis,” <i>Methods in Enzymology</i>, vol. 570. Elsevier, pp. 567–581, 2016.","mla":"Schwarz, Jan, and Michael K. Sixt. “Quantitative Analysis of Dendritic Cell Haptotaxis.” <i>Methods in Enzymology</i>, vol. 570, Elsevier, 2016, pp. 567–81, doi:<a href=\"https://doi.org/10.1016/bs.mie.2015.11.004\">10.1016/bs.mie.2015.11.004</a>.","short":"J. Schwarz, M.K. Sixt, Methods in Enzymology 570 (2016) 567–581.","ista":"Schwarz J, Sixt MK. 2016. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 570, 567–581.","apa":"Schwarz, J., &#38; Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. <i>Methods in Enzymology</i>. Elsevier. <a href=\"https://doi.org/10.1016/bs.mie.2015.11.004\">https://doi.org/10.1016/bs.mie.2015.11.004</a>","ama":"Schwarz J, Sixt MK. Quantitative analysis of dendritic cell haptotaxis. <i>Methods in Enzymology</i>. 2016;570:567-581. doi:<a href=\"https://doi.org/10.1016/bs.mie.2015.11.004\">10.1016/bs.mie.2015.11.004</a>","chicago":"Schwarz, Jan, and Michael K Sixt. “Quantitative Analysis of Dendritic Cell Haptotaxis.” <i>Methods in Enzymology</i>. Elsevier, 2016. <a href=\"https://doi.org/10.1016/bs.mie.2015.11.004\">https://doi.org/10.1016/bs.mie.2015.11.004</a>."},"publication":"Methods in Enzymology","page":"567 - 581","volume":570,"_id":"1597","month":"01","article_processing_charge":"No","year":"2016","publisher":"Elsevier","project":[{"name":"Cytoskeletal force generation and force transduction of migrating leukocytes","call_identifier":"FP7","_id":"25A603A2-B435-11E9-9278-68D0E5697425","grant_number":"281556"},{"grant_number":"Y 564-B12","call_identifier":"FWF","name":"Cytoskeletal force generation and force transduction of migrating leukocytes","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"Chemokines are the main guidance cues directing leukocyte migration. Opposed to early assumptions, chemokines do not necessarily act as soluble cues but are often immobilized within tissues, e.g., dendritic cell migration toward lymphatic vessels is guided by a haptotactic gradient of the chemokine CCL21. Controlled assay systems to quantitatively study haptotaxis in vitro are still missing. In this chapter, we describe an in vitro haptotaxis assay optimized for the unique properties of dendritic cells. The chemokine CCL21 is immobilized in a bioactive state, using laser-assisted protein adsorption by photobleaching. The cells follow this immobilized CCL21 gradient in a haptotaxis chamber, which provides three dimensionally confined migration conditions.","lang":"eng"}],"date_published":"2016-01-01T00:00:00Z","status":"public","publication_status":"published","type":"journal_article","publist_id":"5573","day":"01","oa_version":"None","author":[{"first_name":"Jan","id":"346C1EC6-F248-11E8-B48F-1D18A9856A87","last_name":"Schwarz","full_name":"Schwarz, Jan"},{"last_name":"Sixt","full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","orcid":"0000-0002-6620-9179"}],"department":[{"_id":"MiSi"}],"article_type":"original","corr_author":"1","fulldoi":"https://doi.org/10.1016/bs.mie.2015.11.004","ec_funded":1},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5583642/"}],"oa":1,"title":"Polysialylation controls dendritic cell trafficking by regulating chemokine recognition","acknowledged_ssus":[{"_id":"SSU"}],"scopus_import":"1","date_updated":"2025-09-18T11:01:30Z","publication":"Science","citation":{"apa":"Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy  Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aad0512\">https://doi.org/10.1126/science.aad0512</a>","chicago":"Kiermaier, Eva, Christine Moussion, Christopher Veldkamp, Rita Gerardy  Schahn, Ingrid de Vries, Larry Williams, Gary Chaffee, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” <i>Science</i>. American Association for the Advancement of Science, 2016. <a href=\"https://doi.org/10.1126/science.aad0512\">https://doi.org/10.1126/science.aad0512</a>.","ama":"Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. <i>Science</i>. 2016;351(6269):186-190. doi:<a href=\"https://doi.org/10.1126/science.aad0512\">10.1126/science.aad0512</a>","mla":"Kiermaier, Eva, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” <i>Science</i>, vol. 351, no. 6269, American Association for the Advancement of Science, 2016, pp. 186–90, doi:<a href=\"https://doi.org/10.1126/science.aad0512\">10.1126/science.aad0512</a>.","ieee":"E. Kiermaier <i>et al.</i>, “Polysialylation controls dendritic cell trafficking by regulating chemokine recognition,” <i>Science</i>, vol. 351, no. 6269. American Association for the Advancement of Science, pp. 186–190, 2016.","ista":"Kiermaier E, Moussion C, Veldkamp C, Gerardy  Schahn R, de Vries I, Williams L, Chaffee G, Phillips A, Freiberger F, Imre R, Taleski D, Payne R, Braun A, Förster R, Mechtler K, Mühlenhoff M, Volkman B, Sixt MK. 2016. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 351(6269), 186–190.","short":"E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy  Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190."},"volume":351,"_id":"1599","page":"186 - 190","acknowledgement":"We thank S. Schüchner and E. Ogris for kindly providing the antibody to GFP, M. Helmbrecht and A. Huber for providing Nrp2−/− mice, the IST Scientific Support Facilities for excellent services, and J. Renkawitz and K. Vaahtomeri for critically reading the manuscript. ","date_created":"2018-12-11T11:52:57Z","quality_controlled":"1","pmid":1,"external_id":{"pmid":["26657283"],"isi":["000367806500045"]},"issue":"6269","intvolume":"       351","isi":1,"language":[{"iso":"eng"}],"doi":"10.1126/science.aad0512","day":"08","publist_id":"5570","oa_version":"Submitted Version","article_type":"original","department":[{"_id":"MiSi"}],"author":[{"last_name":"Kiermaier","full_name":"Kiermaier, Eva","id":"3EB04B78-F248-11E8-B48F-1D18A9856A87","first_name":"Eva","orcid":"0000-0001-6165-5738"},{"id":"3356F664-F248-11E8-B48F-1D18A9856A87","first_name":"Christine","full_name":"Moussion, Christine","last_name":"Moussion"},{"last_name":"Veldkamp","full_name":"Veldkamp, Christopher","first_name":"Christopher"},{"first_name":"Rita","last_name":"Gerardy  Schahn","full_name":"Gerardy  Schahn, Rita"},{"id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","first_name":"Ingrid","last_name":"De Vries","full_name":"De Vries, Ingrid"},{"first_name":"Larry","full_name":"Williams, Larry","last_name":"Williams"},{"first_name":"Gary","last_name":"Chaffee","full_name":"Chaffee, Gary"},{"first_name":"Andrew","last_name":"Phillips","full_name":"Phillips, Andrew"},{"last_name":"Freiberger","full_name":"Freiberger, Friedrich","first_name":"Friedrich"},{"first_name":"Richard","full_name":"Imre, Richard","last_name":"Imre"},{"first_name":"Deni","full_name":"Taleski, Deni","last_name":"Taleski"},{"first_name":"Richard","full_name":"Payne, Richard","last_name":"Payne"},{"last_name":"Braun","full_name":"Braun, Asolina","first_name":"Asolina"},{"last_name":"Förster","full_name":"Förster, Reinhold","first_name":"Reinhold"},{"full_name":"Mechtler, Karl","last_name":"Mechtler","first_name":"Karl"},{"full_name":"Mühlenhoff, Martina","last_name":"Mühlenhoff","first_name":"Martina"},{"last_name":"Volkman","full_name":"Volkman, Brian","first_name":"Brian"},{"full_name":"Sixt, Michael K","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K"}],"ec_funded":1,"corr_author":"1","fulldoi":"https://doi.org/10.1126/science.aad0512","month":"01","project":[{"_id":"25A603A2-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Cytoskeletal force generation and force transduction of migrating leukocytes","grant_number":"281556"},{"_id":"25A76F58-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Stromal Cell-immune Cell Interactions in Health and Disease","grant_number":"289720"},{"grant_number":"Y 564-B12","name":"Cytoskeletal force generation and force transduction of migrating leukocytes","call_identifier":"FWF","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425"}],"abstract":[{"lang":"eng","text":"The addition of polysialic acid to N- and/or O-linked glycans, referred to as polysialylation, is a rare posttranslational modification that is mainly known to control the developmental plasticity of the nervous system. Here we show that CCR7, the central chemokine receptor controlling immune cell trafficking to secondary lymphatic organs, carries polysialic acid. This modification is essential for the recognition of the CCR7 ligand CCL21. As a consequence, dendritic cell trafficking is abrogated in polysialyltransferase-deficient mice, manifesting as disturbed lymph node homeostasis and unresponsiveness to inflammatory stimuli. Structure-function analysis of chemokine-receptor interactions reveals that CCL21 adopts an autoinhibited conformation, which is released upon interaction with polysialic acid. Thus, we describe a glycosylation-mediated immune cell trafficking disorder and its mechanistic basis.\r\n"}],"year":"2016","article_processing_charge":"No","publisher":"American Association for the Advancement of Science","publication_status":"published","date_published":"2016-01-08T00:00:00Z","status":"public","type":"journal_article"},{"publist_id":"5558","day":"01","oa_version":"Preprint","author":[{"orcid":"0000-0001-8255-3968","first_name":"Christian","id":"4760E9F8-F248-11E8-B48F-1D18A9856A87","full_name":"Sadel, Christian","last_name":"Sadel"}],"department":[{"_id":"LaEr"}],"fulldoi":"https://doi.org/10.1007/s00023-015-0456-3","corr_author":"1","ec_funded":1,"month":"07","publisher":"Birkhäuser","year":"2016","article_processing_charge":"No","abstract":[{"text":"We show that the Anderson model has a transition from localization to delocalization at exactly 2 dimensional growth rate on antitrees with normalized edge weights which are certain discrete graphs. The kinetic part has a one-dimensional structure allowing a description through transfer matrices which involve some Schur complement. For such operators we introduce the notion of having one propagating channel and extend theorems from the theory of one-dimensional Jacobi operators that relate the behavior of transfer matrices with the spectrum. These theorems are then applied to the considered model. In essence, in a certain energy region the kinetic part averages the random potentials along shells and the transfer matrices behave similar as for a one-dimensional operator with random potential of decaying variance. At d dimensional growth for d&gt;2 this effective decay is strong enough to obtain absolutely continuous spectrum, whereas for some uniform d dimensional growth with d&lt;2 one has pure point spectrum in this energy region. At exactly uniform 2 dimensional growth also some singular continuous spectrum appears, at least at small disorder. As a corollary we also obtain a change from singular spectrum (d≤2) to absolutely continuous spectrum (d≥3) for random operators of the type rΔdr+λ on ℤd, where r is an orthogonal radial projection, Δd the discrete adjacency operator (Laplacian) on ℤd and λ a random potential. ","lang":"eng"}],"project":[{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"date_published":"2016-07-01T00:00:00Z","status":"public","publication_status":"published","type":"journal_article","main_file_link":[{"url":"http://arxiv.org/abs/1501.04287","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-18T11:00:43Z","scopus_import":"1","title":"Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel","oa":1,"citation":{"apa":"Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. <i>Annales Henri Poincare</i>. Birkhäuser. <a href=\"https://doi.org/10.1007/s00023-015-0456-3\">https://doi.org/10.1007/s00023-015-0456-3</a>","ama":"Sadel C. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. <i>Annales Henri Poincare</i>. 2016;17(7):1631-1675. doi:<a href=\"https://doi.org/10.1007/s00023-015-0456-3\">10.1007/s00023-015-0456-3</a>","chicago":"Sadel, Christian. “Anderson Transition at 2 Dimensional Growth Rate on Antitrees and Spectral Theory for Operators with One Propagating Channel.” <i>Annales Henri Poincare</i>. Birkhäuser, 2016. <a href=\"https://doi.org/10.1007/s00023-015-0456-3\">https://doi.org/10.1007/s00023-015-0456-3</a>.","mla":"Sadel, Christian. “Anderson Transition at 2 Dimensional Growth Rate on Antitrees and Spectral Theory for Operators with One Propagating Channel.” <i>Annales Henri Poincare</i>, vol. 17, no. 7, Birkhäuser, 2016, pp. 1631–75, doi:<a href=\"https://doi.org/10.1007/s00023-015-0456-3\">10.1007/s00023-015-0456-3</a>.","ieee":"C. Sadel, “Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel,” <i>Annales Henri Poincare</i>, vol. 17, no. 7. Birkhäuser, pp. 1631–1675, 2016.","short":"C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.","ista":"Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675."},"arxiv":1,"publication":"Annales Henri Poincare","page":"1631 - 1675","_id":"1608","volume":17,"quality_controlled":"1","date_created":"2018-12-11T11:53:00Z","issue":"7","external_id":{"isi":["000377994000003"],"arxiv":["1501.04287"]},"isi":1,"intvolume":"        17","doi":"10.1007/s00023-015-0456-3","language":[{"iso":"eng"}]},{"abstract":[{"lang":"eng","text":"We prove that whenever A is a 3-conservative relational structure with only binary and unary relations,then the algebra of polymorphisms of A either has no Taylor operation (i.e.,CSP(A)is NP-complete),or it generates an SD(∧) variety (i.e.,CSP(A)has bounded width)."}],"article_processing_charge":"No","year":"2016","publisher":"Springer","month":"02","type":"journal_article","publication_status":"published","date_published":"2016-02-01T00:00:00Z","status":"public","oa_version":"Preprint","day":"01","publist_id":"5554","corr_author":"1","fulldoi":"https://doi.org/10.1007/s00012-015-0358-8","department":[{"_id":"VlKo"}],"author":[{"last_name":"Kazda","full_name":"Kazda, Alexandr","id":"3B32BAA8-F248-11E8-B48F-1D18A9856A87","first_name":"Alexandr"}],"external_id":{"isi":["000375422500006"],"arxiv":["1112.1099"]},"issue":"1","date_created":"2018-12-11T11:53:01Z","quality_controlled":"1","language":[{"iso":"eng"}],"doi":"10.1007/s00012-015-0358-8","intvolume":"        75","isi":1,"title":"CSP for binary conservative relational structures","oa":1,"scopus_import":"1","date_updated":"2025-09-18T11:00:04Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1112.1099"}],"volume":75,"_id":"1612","page":"75 - 84","publication":"Algebra Universalis","arxiv":1,"citation":{"mla":"Kazda, Alexandr. “CSP for Binary Conservative Relational Structures.” <i>Algebra Universalis</i>, vol. 75, no. 1, Springer, 2016, pp. 75–84, doi:<a href=\"https://doi.org/10.1007/s00012-015-0358-8\">10.1007/s00012-015-0358-8</a>.","ieee":"A. Kazda, “CSP for binary conservative relational structures,” <i>Algebra Universalis</i>, vol. 75, no. 1. Springer, pp. 75–84, 2016.","ista":"Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.","short":"A. Kazda, Algebra Universalis 75 (2016) 75–84.","apa":"Kazda, A. (2016). CSP for binary conservative relational structures. <i>Algebra Universalis</i>. Springer. <a href=\"https://doi.org/10.1007/s00012-015-0358-8\">https://doi.org/10.1007/s00012-015-0358-8</a>","chicago":"Kazda, Alexandr. “CSP for Binary Conservative Relational Structures.” <i>Algebra Universalis</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00012-015-0358-8\">https://doi.org/10.1007/s00012-015-0358-8</a>.","ama":"Kazda A. CSP for binary conservative relational structures. <i>Algebra Universalis</i>. 2016;75(1):75-84. doi:<a href=\"https://doi.org/10.1007/s00012-015-0358-8\">10.1007/s00012-015-0358-8</a>"}},{"file_date_updated":"2020-07-14T12:45:07Z","type":"journal_article","publication_status":"published","pubrep_id":"979","date_published":"2016-06-01T00:00:00Z","status":"public","abstract":[{"lang":"eng","text":"In the last decade, induced pluripotent stem (iPS) cells have revolutionized the utility of human in vitro models of neurological disease. The iPS-derived and differentiated cells allow researchers to study the impact of a distinct cell type in health and disease as well as performing therapeutic drug screens on a human genetic background. In particular, clinical trials for Alzheimer's disease (AD) have been often failing. Two of the potential reasons are first, the species gap involved in proceeding from initial discoveries in rodent models to human studies, and second, an unsatisfying patient stratification, meaning subgrouping patients based on the disease severity due to the lack of phenotypic and genetic markers. iPS cells overcome this obstacles and will improve our understanding of disease subtypes in AD. They allow researchers conducting in depth characterization of neural cells from both familial and sporadic AD patients as well as preclinical screens on human cells.\r\n\r\nIn this review, we briefly outline the status quo of iPS cell research in neurological diseases along with the general advantages and pitfalls of these models. We summarize how genome-editing techniques such as CRISPR/Cas will allow researchers to reduce the problem of genomic variability inherent to human studies, followed by recent iPS cell studies relevant to AD. We then focus on current techniques for the differentiation of iPS cells into neural cell types that are relevant to AD research. Finally, we discuss how the generation of three-dimensional cell culture systems will be important for understanding AD phenotypes in a complex cellular milieu, and how both two- and three-dimensional iPS cell models can provide platforms for drug discovery and translational studies into the treatment of AD."}],"article_processing_charge":"No","year":"2016","publisher":"Academic Press","month":"06","corr_author":"1","fulldoi":"https://doi.org/doi:10.1016/j.mcn.2015.11.010","author":[{"first_name":"Alison","last_name":"Mungenast","full_name":"Mungenast, Alison"},{"orcid":"0000-0001-8635-0877","first_name":"Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","last_name":"Siegert","full_name":"Siegert, Sandra"},{"first_name":"Li","last_name":"Tsai","full_name":"Tsai, Li"}],"oa_version":"Submitted Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"extern":"1","has_accepted_license":"1","day":"01","publist_id":"5553","language":[{"iso":"eng"}],"doi":"doi:10.1016/j.mcn.2015.11.010","ddc":["616"],"intvolume":"        73","isi":1,"external_id":{"isi":["000376225300003"]},"date_created":"2018-12-11T11:53:02Z","acknowledgement":"This work was supported by NIH grant R01-AG047661 to LHT. The art in Fig. 1 was created by Julian Wong.","quality_controlled":"1","volume":73,"_id":"1613","page":"13 - 31","publication":"Molecular and Cellular Neuroscience","citation":{"short":"A. Mungenast, S. Siegert, L. Tsai, Molecular and Cellular Neuroscience 73 (2016) 13–31.","ista":"Mungenast A, Siegert S, Tsai L. 2016. Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. 73, 13–31.","ieee":"A. Mungenast, S. Siegert, and L. Tsai, “Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells,” <i>Molecular and Cellular Neuroscience</i>, vol. 73. Academic Press, pp. 13–31, 2016.","mla":"Mungenast, Alison, et al. “Modeling Alzheimer’s Disease with Human Induced Pluripotent Stem (IPS) Cells.” <i>Molecular and Cellular Neuroscience</i>, vol. 73, Academic Press, 2016, pp. 13–31, doi:<a href=\"https://doi.org/doi:10.1016/j.mcn.2015.11.010\">doi:10.1016/j.mcn.2015.11.010</a>.","ama":"Mungenast A, Siegert S, Tsai L. Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. <i>Molecular and Cellular Neuroscience</i>. 2016;73:13-31. doi:<a href=\"https://doi.org/doi:10.1016/j.mcn.2015.11.010\">doi:10.1016/j.mcn.2015.11.010</a>","chicago":"Mungenast, Alison, Sandra Siegert, and Li Tsai. “Modeling Alzheimer’s Disease with Human Induced Pluripotent Stem (IPS) Cells.” <i>Molecular and Cellular Neuroscience</i>. Academic Press, 2016. <a href=\"https://doi.org/doi:10.1016/j.mcn.2015.11.010\">https://doi.org/doi:10.1016/j.mcn.2015.11.010</a>.","apa":"Mungenast, A., Siegert, S., &#38; Tsai, L. (2016). Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. <i>Molecular and Cellular Neuroscience</i>. Academic Press. <a href=\"https://doi.org/doi:10.1016/j.mcn.2015.11.010\">https://doi.org/doi:10.1016/j.mcn.2015.11.010</a>"},"file":[{"file_size":632915,"file_id":"4970","content_type":"application/pdf","relation":"main_file","file_name":"IST-2018-979-v1+1_Mungenast_2015_acceptedManuscript.pdf","date_updated":"2020-07-14T12:45:07Z","date_created":"2018-12-12T10:12:50Z","access_level":"open_access","checksum":"620254114e04d5d6e7f37d15e4b8ace4","creator":"system"}],"title":"Modeling Alzheimer's disease with human induced pluripotent stem (iPS) cells","oa":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_updated":"2025-09-18T10:59:24Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"doi":"10.1002/hipo.22550","language":[{"iso":"eng"}],"intvolume":"        26","isi":1,"ddc":["570"],"issue":"5","external_id":{"isi":["000374666700011"]},"quality_controlled":"1","acknowledgement":"The authors thank Jose Guzman for critically reading prior versions of the manuscript. They also thank T. Asenov for\r\nengineering mechanical devices, A. Schlögl for efficient pro-gramming, F. Marr for technical assistance, and E. Kramberger for manuscript editing.","date_created":"2018-12-11T11:53:03Z","page":"668 - 682","volume":26,"_id":"1616","citation":{"ieee":"J. Kowalski, J. Gan, P. M. Jonas, and A. Pernia-Andrade, “Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats,” <i>Hippocampus</i>, vol. 26, no. 5. Wiley, pp. 668–682, 2016.","mla":"Kowalski, Janina, et al. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” <i>Hippocampus</i>, vol. 26, no. 5, Wiley, 2016, pp. 668–82, doi:<a href=\"https://doi.org/10.1002/hipo.22550\">10.1002/hipo.22550</a>.","short":"J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.","ista":"Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.","apa":"Kowalski, J., Gan, J., Jonas, P. M., &#38; Pernia-Andrade, A. (2016). Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. <i>Hippocampus</i>. Wiley. <a href=\"https://doi.org/10.1002/hipo.22550\">https://doi.org/10.1002/hipo.22550</a>","ama":"Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. <i>Hippocampus</i>. 2016;26(5):668-682. doi:<a href=\"https://doi.org/10.1002/hipo.22550\">10.1002/hipo.22550</a>","chicago":"Kowalski, Janina, Jian Gan, Peter M Jonas, and Alejandro Pernia-Andrade. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” <i>Hippocampus</i>. Wiley, 2016. <a href=\"https://doi.org/10.1002/hipo.22550\">https://doi.org/10.1002/hipo.22550</a>."},"file":[{"creator":"system","checksum":"284b72b12fbe15474833ed3d4549f86b","date_created":"2018-12-12T10:13:47Z","access_level":"open_access","date_updated":"2020-07-14T12:45:07Z","file_id":"5033","file_size":905348,"content_type":"application/pdf","file_name":"IST-2016-469-v1+1_Kowalski_et_al-Hippocampus.pdf","relation":"main_file"}],"publication":"Hippocampus","scopus_import":"1","date_updated":"2025-09-18T10:58:31Z","oa":1,"title":"Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","file_date_updated":"2020-07-14T12:45:07Z","status":"public","date_published":"2016-05-01T00:00:00Z","pubrep_id":"469","publication_status":"published","article_processing_charge":"No","year":"2016","publisher":"Wiley","abstract":[{"lang":"eng","text":"The hippocampus plays a key role in learning and memory. Previous studies suggested that the main types of principal neurons, dentate gyrus granule cells (GCs), CA3 pyramidal neurons, and CA1 pyramidal neurons, differ in their activity pattern, with sparse firing in GCs and more frequent firing in CA3 and CA1 pyramidal neurons. It has been assumed but never shown that such different activity may be caused by differential synaptic excitation. To test this hypothesis, we performed high-resolution whole-cell patch-clamp recordings in anesthetized rats in vivo. In contrast to previous in vitro data, both CA3 and CA1 pyramidal neurons fired action potentials spontaneously, with a frequency of ∼3–6 Hz, whereas GCs were silent. Furthermore, both CA3 and CA1 cells primarily fired in bursts. To determine the underlying mechanisms, we quantitatively assessed the frequency of spontaneous excitatory synaptic input, the passive membrane properties, and the active membrane characteristics. Surprisingly, GCs showed comparable synaptic excitation to CA3 and CA1 cells and the highest ratio of excitation versus hyperpolarizing inhibition. Thus, differential synaptic excitation is not responsible for differences in firing. Moreover, the three types of hippocampal neurons markedly differed in their passive properties. While GCs showed the most negative membrane potential, CA3 pyramidal neurons had the highest input resistance and the slowest membrane time constant. The three types of neurons also differed in the active membrane characteristics. GCs showed the highest action potential threshold, but displayed the largest gain of the input-output curves. In conclusion, our results reveal that differential firing of the three main types of hippocampal principal neurons in vivo is not primarily caused by differences in the characteristics of the synaptic input, but by the distinct properties of synaptic integration and input-output transformation."}],"month":"05","corr_author":"1","fulldoi":"https://doi.org/10.1002/hipo.22550","author":[{"first_name":"Janina","id":"3F3CA136-F248-11E8-B48F-1D18A9856A87","full_name":"Kowalski, Janina","last_name":"Kowalski"},{"first_name":"Jian","id":"3614E438-F248-11E8-B48F-1D18A9856A87","last_name":"Gan","full_name":"Gan, Jian"},{"first_name":"Peter M","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","last_name":"Jonas"},{"last_name":"Pernia-Andrade","full_name":"Pernia-Andrade, Alejandro","id":"36963E98-F248-11E8-B48F-1D18A9856A87","first_name":"Alejandro"}],"department":[{"_id":"PeJo"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"oa_version":"Published Version","publication_identifier":{"issn":["1050-9631"],"eissn":["1098-1063"]},"publist_id":"5550","day":"01","has_accepted_license":"1"},{"doi":"10.1016/j.jco.2015.11.003","language":[{"iso":"eng"}],"isi":1,"intvolume":"        33","external_id":{"arxiv":["1510.00251"],"isi":["000370090400011"]},"quality_controlled":"1","date_created":"2018-12-11T11:53:03Z","acknowledgement":"We are grateful to the referee whose suggestions greatly improved the quality and clarity of the exposition.","page":"199 - 216","_id":"1617","volume":33,"arxiv":1,"citation":{"ista":"Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.","short":"F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.","mla":"Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.” <i>Journal of Complexity</i>, vol. 33, Academic Press, 2016, pp. 199–216, doi:<a href=\"https://doi.org/10.1016/j.jco.2015.11.003\">10.1016/j.jco.2015.11.003</a>.","ieee":"F. Pausinger and S. Steinerberger, “On the discrepancy of jittered sampling,” <i>Journal of Complexity</i>, vol. 33. Academic Press, pp. 199–216, 2016.","chicago":"Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.” <i>Journal of Complexity</i>. Academic Press, 2016. <a href=\"https://doi.org/10.1016/j.jco.2015.11.003\">https://doi.org/10.1016/j.jco.2015.11.003</a>.","ama":"Pausinger F, Steinerberger S. On the discrepancy of jittered sampling. <i>Journal of Complexity</i>. 2016;33:199-216. doi:<a href=\"https://doi.org/10.1016/j.jco.2015.11.003\">10.1016/j.jco.2015.11.003</a>","apa":"Pausinger, F., &#38; Steinerberger, S. (2016). On the discrepancy of jittered sampling. <i>Journal of Complexity</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jco.2015.11.003\">https://doi.org/10.1016/j.jco.2015.11.003</a>"},"publication":"Journal of Complexity","date_updated":"2025-09-18T10:57:52Z","scopus_import":"1","oa":1,"title":"On the discrepancy of jittered sampling","main_file_link":[{"url":"http://arxiv.org/abs/1510.00251","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","date_published":"2016-04-01T00:00:00Z","status":"public","publication_status":"published","publisher":"Academic Press","year":"2016","article_processing_charge":"No","abstract":[{"lang":"eng","text":"We study the discrepancy of jittered sampling sets: such a set P⊂ [0,1]d is generated for fixed m∈ℕ by partitioning [0,1]d into md axis aligned cubes of equal measure and placing a random point inside each of the N=md cubes. We prove that, for N sufficiently large, 1/10 d/N1/2+1/2d ≤EDN∗(P)≤ √d(log N) 1/2/N1/2+1/2d, where the upper bound with an unspecified constant Cd was proven earlier by Beck. Our proof makes crucial use of the sharp Dvoretzky-Kiefer-Wolfowitz inequality and a suitably taylored Bernstein inequality; we have reasons to believe that the upper bound has the sharp scaling in N. Additional heuristics suggest that jittered sampling should be able to improve known bounds on the inverse of the star-discrepancy in the regime N≳dd. We also prove a partition principle showing that every partition of [0,1]d combined with a jittered sampling construction gives rise to a set whose expected squared L2-discrepancy is smaller than that of purely random points."}],"month":"04","fulldoi":"https://doi.org/10.1016/j.jco.2015.11.003","department":[{"_id":"HeEd"}],"author":[{"last_name":"Pausinger","full_name":"Pausinger, Florian","id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","orcid":"0000-0002-8379-3768"},{"last_name":"Steinerberger","full_name":"Steinerberger, Stefan","first_name":"Stefan"}],"oa_version":"Submitted Version","publist_id":"5549","day":"01"},{"date_updated":"2025-09-18T10:57:14Z","scopus_import":"1","oa":1,"title":"The external field dependence of the BCS critical temperature","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1410.2352"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","page":"189 - 216","volume":342,"_id":"1620","citation":{"chicago":"Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “The External Field Dependence of the BCS Critical Temperature.” <i>Communications in Mathematical Physics</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00220-015-2526-2\">https://doi.org/10.1007/s00220-015-2526-2</a>.","ama":"Frank R, Hainzl C, Seiringer R, Solovej J. The external field dependence of the BCS critical temperature. <i>Communications in Mathematical Physics</i>. 2016;342(1):189-216. doi:<a href=\"https://doi.org/10.1007/s00220-015-2526-2\">10.1007/s00220-015-2526-2</a>","apa":"Frank, R., Hainzl, C., Seiringer, R., &#38; Solovej, J. (2016). The external field dependence of the BCS critical temperature. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-015-2526-2\">https://doi.org/10.1007/s00220-015-2526-2</a>","ista":"Frank R, Hainzl C, Seiringer R, Solovej J. 2016. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 342(1), 189–216.","short":"R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.","mla":"Frank, Rupert, et al. “The External Field Dependence of the BCS Critical Temperature.” <i>Communications in Mathematical Physics</i>, vol. 342, no. 1, Springer, 2016, pp. 189–216, doi:<a href=\"https://doi.org/10.1007/s00220-015-2526-2\">10.1007/s00220-015-2526-2</a>.","ieee":"R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “The external field dependence of the BCS critical temperature,” <i>Communications in Mathematical Physics</i>, vol. 342, no. 1. Springer, pp. 189–216, 2016."},"arxiv":1,"publication":"Communications in Mathematical Physics","issue":"1","external_id":{"isi":["000369965600006"],"arxiv":["1410.2352"]},"quality_controlled":"1","date_created":"2018-12-11T11:53:04Z","acknowledgement":"The authors are grateful to I. M. Sigal for useful discussions. Financial support from the US National Science Foundation through Grants PHY-1347399 and DMS-1363432 (R.L.F.), from the Danish council for independent research and from ERC Advanced Grant 321029 (J.P.S.) is acknowledged.","doi":"10.1007/s00220-015-2526-2","language":[{"iso":"eng"}],"isi":1,"intvolume":"       342","oa_version":"Submitted Version","publist_id":"5546","day":"01","fulldoi":"https://doi.org/10.1007/s00220-015-2526-2","author":[{"first_name":"Rupert","full_name":"Frank, Rupert","last_name":"Frank"},{"first_name":"Christian","full_name":"Hainzl, Christian","last_name":"Hainzl"},{"last_name":"Seiringer","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0002-6781-0521"},{"first_name":"Jan","last_name":"Solovej","full_name":"Solovej, Jan"}],"department":[{"_id":"RoSe"}],"publisher":"Springer","year":"2016","article_processing_charge":"No","abstract":[{"lang":"eng","text":"We consider the Bardeen–Cooper–Schrieffer free energy functional for particles interacting via a two-body potential on a microscopic scale and in the presence of weak external fields varying on a macroscopic scale. We study the influence of the external fields on the critical temperature. We show that in the limit where the ratio between the microscopic and macroscopic scale tends to zero, the next to leading order of the critical temperature is determined by the lowest eigenvalue of the linearization of the Ginzburg–Landau equation."}],"month":"02","type":"journal_article","date_published":"2016-02-01T00:00:00Z","status":"public","publication_status":"published"},{"month":"03","project":[{"grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"We prove analogues of the Lieb–Thirring and Hardy–Lieb–Thirring inequalities for many-body quantum systems with fractional kinetic operators and homogeneous interaction potentials, where no anti-symmetry on the wave functions is assumed. These many-body inequalities imply interesting one-body interpolation inequalities, and we show that the corresponding one- and many-body inequalities are actually equivalent in certain cases.","lang":"eng"}],"year":"2016","article_processing_charge":"No","publisher":"Springer","publication_status":"published","date_published":"2016-03-01T00:00:00Z","status":"public","type":"journal_article","day":"01","publist_id":"5542","oa_version":"Submitted Version","author":[{"last_name":"Lundholm","full_name":"Lundholm, Douglas","first_name":"Douglas"},{"full_name":"Nam, Phan","last_name":"Nam","first_name":"Phan","id":"404092F4-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Portmann","full_name":"Portmann, Fabian","first_name":"Fabian"}],"department":[{"_id":"RoSe"}],"ec_funded":1,"corr_author":"1","fulldoi":"https://doi.org/10.1007/s00205-015-0923-5","acknowledgement":"We thank Jan  Philip  Solovej, Robert Seiringer and Vladimir Maz’ya for helpful discussions, as well as Rupert Frank\r\nand the anonymous referee for useful comments. Part of this work has been carried out during a visit at the Institut Mittag-Leffler (Stockholm). D.L. acknowledges financial support by the grant KAW 2010.0063 from the Knut and Alice Wallenberg Foundation and the Swedish Research Council grant no. 2013-4734. P.T.N. is supported by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 291734. F.P. acknowledges support from the ERC project no. 321029 “The\r\nmathematics of the structure of matter”.","date_created":"2018-12-11T11:53:05Z","quality_controlled":"1","external_id":{"isi":["000368535400010"],"arxiv":["1501.04570"]},"issue":"3","intvolume":"       219","isi":1,"language":[{"iso":"eng"}],"doi":"10.1007/s00205-015-0923-5","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1501.04570"}],"oa":1,"title":"Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems","scopus_import":"1","date_updated":"2025-09-18T10:52:35Z","publication":"Archive for Rational Mechanics and Analysis","citation":{"apa":"Lundholm, D., Nam, P., &#38; Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. <i>Archive for Rational Mechanics and Analysis</i>. Springer. <a href=\"https://doi.org/10.1007/s00205-015-0923-5\">https://doi.org/10.1007/s00205-015-0923-5</a>","chicago":"Lundholm, Douglas, Phan Nam, and Fabian Portmann. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” <i>Archive for Rational Mechanics and Analysis</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00205-015-0923-5\">https://doi.org/10.1007/s00205-015-0923-5</a>.","ama":"Lundholm D, Nam P, Portmann F. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. <i>Archive for Rational Mechanics and Analysis</i>. 2016;219(3):1343-1382. doi:<a href=\"https://doi.org/10.1007/s00205-015-0923-5\">10.1007/s00205-015-0923-5</a>","mla":"Lundholm, Douglas, et al. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” <i>Archive for Rational Mechanics and Analysis</i>, vol. 219, no. 3, Springer, 2016, pp. 1343–82, doi:<a href=\"https://doi.org/10.1007/s00205-015-0923-5\">10.1007/s00205-015-0923-5</a>.","ieee":"D. Lundholm, P. Nam, and F. Portmann, “Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems,” <i>Archive for Rational Mechanics and Analysis</i>, vol. 219, no. 3. Springer, pp. 1343–1382, 2016.","ista":"Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.","short":"D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382."},"arxiv":1,"_id":"1622","volume":219,"page":"1343 - 1382"},{"file_date_updated":"2020-07-14T12:45:07Z","type":"journal_article","publication_status":"published","pubrep_id":"465","date_published":"2016-04-01T00:00:00Z","status":"public","project":[{"grant_number":"250152","call_identifier":"FP7","name":"Limits to selection in biology and in evolutionary computation","_id":"25B07788-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"Ancestral processes are fundamental to modern population genetics and spatial structure has been the subject of intense interest for many years. Despite this interest, almost nothing is known about the distribution of the locations of pedigree or genetic ancestors. Using both spatially continuous and stepping-stone models, we show that the distribution of pedigree ancestors approaches a travelling wave, for which we develop two alternative approximations. The speed and width of the wave are sensitive to the local details of the model. After a short time, genetic ancestors spread far more slowly than pedigree ancestors, ultimately diffusing out with radius ## rather than spreading at constant speed. In contrast to the wave of pedigree ancestors, the spread of genetic ancestry is insensitive to the local details of the models.","lang":"eng"}],"article_processing_charge":"No","year":"2016","publisher":"Academic Press","month":"04","ec_funded":1,"corr_author":"1","fulldoi":"https://doi.org/10.1016/j.tpb.2015.10.008","department":[{"_id":"NiBa"}],"author":[{"first_name":"Jerome","full_name":"Kelleher, Jerome","last_name":"Kelleher"},{"full_name":"Etheridge, Alison","last_name":"Etheridge","first_name":"Alison"},{"full_name":"Véber, Amandine","last_name":"Véber","first_name":"Amandine"},{"last_name":"Barton","full_name":"Barton, Nicholas H","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","day":"01","has_accepted_license":"1","publist_id":"5524","language":[{"iso":"eng"}],"doi":"10.1016/j.tpb.2015.10.008","ddc":["576"],"intvolume":"       108","isi":1,"external_id":{"isi":["000372560000001"]},"date_created":"2018-12-11T11:53:08Z","quality_controlled":"1","volume":108,"_id":"1631","page":"1 - 12","publication":"Theoretical Population Biology","citation":{"chicago":"Kelleher, Jerome, Alison Etheridge, Amandine Véber, and Nicholas H Barton. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” <i>Theoretical Population Biology</i>. Academic Press, 2016. <a href=\"https://doi.org/10.1016/j.tpb.2015.10.008\">https://doi.org/10.1016/j.tpb.2015.10.008</a>.","ama":"Kelleher J, Etheridge A, Véber A, Barton NH. Spread of pedigree versus genetic ancestry in spatially distributed populations. <i>Theoretical Population Biology</i>. 2016;108:1-12. doi:<a href=\"https://doi.org/10.1016/j.tpb.2015.10.008\">10.1016/j.tpb.2015.10.008</a>","apa":"Kelleher, J., Etheridge, A., Véber, A., &#38; Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. <i>Theoretical Population Biology</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.tpb.2015.10.008\">https://doi.org/10.1016/j.tpb.2015.10.008</a>","ista":"Kelleher J, Etheridge A, Véber A, Barton NH. 2016. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 108, 1–12.","short":"J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.","mla":"Kelleher, Jerome, et al. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” <i>Theoretical Population Biology</i>, vol. 108, Academic Press, 2016, pp. 1–12, doi:<a href=\"https://doi.org/10.1016/j.tpb.2015.10.008\">10.1016/j.tpb.2015.10.008</a>.","ieee":"J. Kelleher, A. Etheridge, A. Véber, and N. H. Barton, “Spread of pedigree versus genetic ancestry in spatially distributed populations,” <i>Theoretical Population Biology</i>, vol. 108. Academic Press, pp. 1–12, 2016."},"file":[{"creator":"system","checksum":"6a65ba187994d4ad86c1c509e0ff482a","date_updated":"2020-07-14T12:45:07Z","file_id":"4865","file_size":1684043,"content_type":"application/pdf","file_name":"IST-2016-465-v1+1_1-s2.0-S0040580915001094-main.pdf","relation":"main_file","date_created":"2018-12-12T10:11:12Z","access_level":"open_access"}],"title":"Spread of pedigree versus genetic ancestry in spatially distributed populations","oa":1,"scopus_import":"1","date_updated":"2025-09-18T10:51:58Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"file_date_updated":"2020-07-14T12:45:08Z","type":"journal_article","publication_status":"published","pubrep_id":"1001","date_published":"2016-06-01T00:00:00Z","status":"public","abstract":[{"text":"The plant hormone auxin (indole-3-acetic acid) is a major regulator of plant growth and development including embryo and root patterning, lateral organ formation and growth responses to environmental stimuli. Auxin is directionally transported from cell to cell by the action of specific auxin influx [AUXIN-RESISTANT1 (AUX1)] and efflux [PIN-FORMED (PIN)] transport regulators, whose polar, subcellular localizations are aligned with the direction of the auxin flow. Auxin itself regulates its own transport by modulation of the expression and subcellular localization of the auxin transporters. Increased auxin levels promote the transcription of PIN2 and AUX1 genes as well as stabilize PIN proteins at the plasma membrane, whereas prolonged auxin exposure increases the turnover of PIN proteins and their degradation in the vacuole. In this study, we applied a forward genetic approach, to identify molecular components playing a role in the auxin-mediated degradation. We generated EMS-mutagenized Arabidopsis PIN2::PIN2:GFP, AUX1::AUX1:YFP eir1aux1 populations and designed a screen for mutants with persistently strong fluorescent signals of the tagged PIN2 and AUX1 after prolonged treatment with the synthetic auxin 2,4-dichlorophenoxyacetic acid (2,4-D). This approach yielded novel auxin degradation mutants defective in trafficking and degradation of PIN2 and AUX1 proteins and established a role for auxin-mediated degradation in plant development.","lang":"eng"}],"publisher":"Springer","article_processing_charge":"No","year":"2016","month":"06","fulldoi":"https://doi.org/10.1007/s00344-015-9553-2","corr_author":"1","author":[{"first_name":"Radka","full_name":"Zemová, Radka","last_name":"Zemová"},{"first_name":"Marta","full_name":"Zwiewka, Marta","last_name":"Zwiewka"},{"first_name":"Agnieszka","last_name":"Bielach","full_name":"Bielach, Agnieszka"},{"full_name":"Robert, Hélène","last_name":"Robert","first_name":"Hélène"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jirí","full_name":"Friml, Jirí","last_name":"Friml"}],"department":[{"_id":"JiFr"}],"oa_version":"Preprint","day":"01","has_accepted_license":"1","publist_id":"5512","language":[{"iso":"eng"}],"doi":"10.1007/s00344-015-9553-2","ddc":["581"],"isi":1,"intvolume":"        35","external_id":{"isi":["000376482300015"]},"issue":"2","date_created":"2018-12-11T11:53:12Z","acknowledgement":"European Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation GAČR (GA13-40637S) to JF. ","quality_controlled":"1","_id":"1641","volume":35,"page":"465 - 476","publication":"Journal of Plant Growth Regulation","file":[{"date_created":"2018-12-12T10:08:34Z","access_level":"open_access","date_updated":"2020-07-14T12:45:08Z","file_size":5637591,"file_id":"4695","content_type":"application/pdf","file_name":"IST-2018-1001-v1+1_Zemova_JPlantGrowthRegul_2016_proofs.pdf","relation":"main_file","creator":"system","checksum":"0dc6a300cde6536ceedd2bcdd2060efb"}],"citation":{"ista":"Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.","short":"R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.","ieee":"R. Zemová, M. Zwiewka, A. Bielach, H. Robert, and J. Friml, “A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana,” <i>Journal of Plant Growth Regulation</i>, vol. 35, no. 2. Springer, pp. 465–476, 2016.","mla":"Zemová, Radka, et al. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” <i>Journal of Plant Growth Regulation</i>, vol. 35, no. 2, Springer, 2016, pp. 465–76, doi:<a href=\"https://doi.org/10.1007/s00344-015-9553-2\">10.1007/s00344-015-9553-2</a>.","chicago":"Zemová, Radka, Marta Zwiewka, Agnieszka Bielach, Hélène Robert, and Jiří Friml. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” <i>Journal of Plant Growth Regulation</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00344-015-9553-2\">https://doi.org/10.1007/s00344-015-9553-2</a>.","ama":"Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. <i>Journal of Plant Growth Regulation</i>. 2016;35(2):465-476. doi:<a href=\"https://doi.org/10.1007/s00344-015-9553-2\">10.1007/s00344-015-9553-2</a>","apa":"Zemová, R., Zwiewka, M., Bielach, A., Robert, H., &#38; Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. <i>Journal of Plant Growth Regulation</i>. Springer. <a href=\"https://doi.org/10.1007/s00344-015-9553-2\">https://doi.org/10.1007/s00344-015-9553-2</a>"},"title":"A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana","oa":1,"date_updated":"2025-09-18T10:51:26Z","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"external_id":{"isi":["000375148100006"]},"quality_controlled":"1","date_created":"2018-12-11T11:53:16Z","doi":"10.1007/978-3-662-48797-6_6","language":[{"iso":"eng"}],"intvolume":"      9452","isi":1,"ddc":["000"],"scopus_import":"1","date_updated":"2025-09-23T09:40:30Z","oa":1,"title":"New realizations of somewhere statistically binding hashing and positional accumulators","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","page":"121 - 145","volume":9452,"_id":"1653","file":[{"checksum":"a57711cb660c5b17b42bb47275a00180","creator":"system","file_id":"4923","file_size":580088,"content_type":"application/pdf","file_name":"IST-2016-677-v1+1_869.pdf","relation":"main_file","date_updated":"2020-07-14T12:45:08Z","date_created":"2018-12-12T10:12:05Z","access_level":"open_access"}],"citation":{"apa":"Okamoto, T., Pietrzak, K. Z., Waters, B., &#38; Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. <a href=\"https://doi.org/10.1007/978-3-662-48797-6_6\">https://doi.org/10.1007/978-3-662-48797-6_6</a>","chicago":"Okamoto, Tatsuaki, Krzysztof Z Pietrzak, Brent Waters, and Daniel Wichs. “New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators,” 9452:121–45. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-662-48797-6_6\">https://doi.org/10.1007/978-3-662-48797-6_6</a>.","ama":"Okamoto T, Pietrzak KZ, Waters B, Wichs D. New realizations of somewhere statistically binding hashing and positional accumulators. In: Vol 9452. Springer; 2016:121-145. doi:<a href=\"https://doi.org/10.1007/978-3-662-48797-6_6\">10.1007/978-3-662-48797-6_6</a>","mla":"Okamoto, Tatsuaki, et al. <i>New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators</i>. Vol. 9452, Springer, 2016, pp. 121–45, doi:<a href=\"https://doi.org/10.1007/978-3-662-48797-6_6\">10.1007/978-3-662-48797-6_6</a>.","ieee":"T. Okamoto, K. Z. Pietrzak, B. Waters, and D. Wichs, “New realizations of somewhere statistically binding hashing and positional accumulators,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand, 2016, vol. 9452, pp. 121–145.","ista":"Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.","short":"T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145."},"article_processing_charge":"No","year":"2016","publisher":"Springer","conference":{"start_date":"2015-11-29","end_date":"2015-12-03","location":"Auckland, New Zealand","name":"ASIACRYPT: Theory and Application of Cryptology and Information Security"},"project":[{"name":"Provable Security for Physical Cryptography","call_identifier":"FP7","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668"}],"abstract":[{"lang":"eng","text":"A somewhere statistically binding (SSB) hash, introduced by Hubáček and Wichs (ITCS ’15), can be used to hash a long string x to a short digest y = H hk (x) using a public hashing-key hk. Furthermore, there is a way to set up the hash key hk to make it statistically binding on some arbitrary hidden position i, meaning that: (1) the digest y completely determines the i’th bit (or symbol) of x so that all pre-images of y have the same value in the i’th position, (2) it is computationally infeasible to distinguish the position i on which hk is statistically binding from any other position i’. Lastly, the hash should have a local opening property analogous to Merkle-Tree hashing, meaning that given x and y = H hk (x) it should be possible to create a short proof π that certifies the value of the i’th bit (or symbol) of x without having to provide the entire input x. A similar primitive called a positional accumulator, introduced by Koppula, Lewko and Waters (STOC ’15) further supports dynamic updates of the hashed value. These tools, which are interesting in their own right, also serve as one of the main technical components in several recent works building advanced applications from indistinguishability obfuscation (iO).\r\n\r\nThe prior constructions of SSB hashing and positional accumulators required fully homomorphic encryption (FHE) and iO respectively. In this work, we give new constructions of these tools based on well studied number-theoretic assumptions such as DDH, Phi-Hiding and DCR, as well as a general construction from lossy/injective functions."}],"month":"01","type":"conference","file_date_updated":"2020-07-14T12:45:08Z","date_published":"2016-01-08T00:00:00Z","status":"public","publication_status":"published","pubrep_id":"677","oa_version":"Submitted Version","publist_id":"5497","has_accepted_license":"1","day":"08","fulldoi":"https://doi.org/10.1007/978-3-662-48797-6_6","ec_funded":1,"author":[{"full_name":"Okamoto, Tatsuaki","last_name":"Okamoto","first_name":"Tatsuaki"},{"full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Brent","full_name":"Waters, Brent","last_name":"Waters"},{"last_name":"Wichs","full_name":"Wichs, Daniel","first_name":"Daniel"}],"department":[{"_id":"KrPi"}],"alternative_title":["LNCS"]},{"publication":"International Journal on Software Tools for Technology Transfer","file":[{"access_level":"open_access","date_created":"2018-12-12T10:15:26Z","date_updated":"2020-07-14T12:45:13Z","content_type":"application/pdf","file_name":"IST-2016-457-v1+1_s10009-015-0393-y.pdf","relation":"main_file","file_id":"5146","file_size":2296522,"creator":"system","checksum":"31561d7705599a9bd4ea816accc0752e"}],"citation":{"mla":"Bogomolov, Sergiy, et al. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 18, no. 4, Springer, 2016, pp. 449–67, doi:<a href=\"https://doi.org/10.1007/s10009-015-0393-y\">10.1007/s10009-015-0393-y</a>.","ieee":"S. Bogomolov <i>et al.</i>, “Guided search for hybrid systems based on coarse-grained space abstractions,” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 18, no. 4. Springer, pp. 449–467, 2016.","ista":"Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.","short":"S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.","apa":"Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. <i>International Journal on Software Tools for Technology Transfer</i>. Springer. <a href=\"https://doi.org/10.1007/s10009-015-0393-y\">https://doi.org/10.1007/s10009-015-0393-y</a>","chicago":"Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” <i>International Journal on Software Tools for Technology Transfer</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s10009-015-0393-y\">https://doi.org/10.1007/s10009-015-0393-y</a>.","ama":"Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. <i>International Journal on Software Tools for Technology Transfer</i>. 2016;18(4):449-467. doi:<a href=\"https://doi.org/10.1007/s10009-015-0393-y\">10.1007/s10009-015-0393-y</a>"},"volume":18,"_id":"1705","page":"449 - 467","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"title":"Guided search for hybrid systems based on coarse-grained space abstractions","date_updated":"2025-09-18T10:50:19Z","scopus_import":"1","ddc":["000"],"isi":1,"intvolume":"        18","language":[{"iso":"eng"}],"doi":"10.1007/s10009-015-0393-y","date_created":"2018-12-11T11:53:34Z","quality_controlled":"1","external_id":{"isi":["000379708300007"]},"issue":"4","author":[{"full_name":"Bogomolov, Sergiy","last_name":"Bogomolov","orcid":"0000-0002-0686-0365","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Alexandre","full_name":"Donzé, Alexandre","last_name":"Donzé"},{"first_name":"Goran","last_name":"Frehse","full_name":"Frehse, Goran"},{"full_name":"Grosu, Radu","last_name":"Grosu","first_name":"Radu"},{"full_name":"Johnson, Taylor","last_name":"Johnson","first_name":"Taylor"},{"first_name":"Hamed","full_name":"Ladan, Hamed","last_name":"Ladan"},{"last_name":"Podelski","full_name":"Podelski, Andreas","first_name":"Andreas"},{"first_name":"Martin","full_name":"Wehrle, Martin","last_name":"Wehrle"}],"department":[{"_id":"ToHe"}],"ec_funded":1,"fulldoi":"https://doi.org/10.1007/s10009-015-0393-y","corr_author":"1","day":"01","has_accepted_license":"1","publist_id":"5431","oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"pubrep_id":"457","publication_status":"published","status":"public","date_published":"2016-08-01T00:00:00Z","file_date_updated":"2020-07-14T12:45:13Z","type":"journal_article","month":"08","abstract":[{"text":"Hybrid systems represent an important and powerful formalism for modeling real-world applications such as embedded systems. A verification tool like SpaceEx is based on the exploration of a symbolic search space (the region space). As a verification tool, it is typically optimized towards proving the absence of errors. In some settings, e.g., when the verification tool is employed in a feedback-directed design cycle, one would like to have the option to call a version that is optimized towards finding an error trajectory in the region space. A recent approach in this direction is based on guided search. Guided search relies on a cost function that indicates which states are promising to be explored, and preferably explores more promising states first. In this paper, we propose an abstraction-based cost function based on coarse-grained space abstractions for guiding the reachability analysis. For this purpose, a suitable abstraction technique that exploits the flexible granularity of modern reachability analysis algorithms is introduced. The new cost function is an effective extension of pattern database approaches that have been successfully applied in other areas. The approach has been implemented in the SpaceEx model checker. The evaluation shows its practical potential.","lang":"eng"}],"project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211"},{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"publisher":"Springer","article_processing_charge":"Yes (via OA deal)","year":"2016"},{"day":"11","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"5429","title":"Optimal geospatial allocation of volunteers for crisis management","oa_version":"None","date_updated":"2021-01-12T06:52:39Z","scopus_import":1,"department":[{"_id":"ChLa"}],"author":[{"first_name":"Jasmin","id":"49BC895A-F248-11E8-B48F-1D18A9856A87","full_name":"Pielorz, Jasmin","last_name":"Pielorz"},{"last_name":"Lampert","full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","orcid":"0000-0001-8622-7887"}],"citation":{"apa":"Pielorz, J., &#38; Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. <a href=\"https://doi.org/10.1109/ICT-DM.2015.7402041\">https://doi.org/10.1109/ICT-DM.2015.7402041</a>","ama":"Pielorz J, Lampert C. Optimal geospatial allocation of volunteers for crisis management. In: IEEE; 2016. doi:<a href=\"https://doi.org/10.1109/ICT-DM.2015.7402041\">10.1109/ICT-DM.2015.7402041</a>","chicago":"Pielorz, Jasmin, and Christoph Lampert. “Optimal Geospatial Allocation of Volunteers for Crisis Management.” IEEE, 2016. <a href=\"https://doi.org/10.1109/ICT-DM.2015.7402041\">https://doi.org/10.1109/ICT-DM.2015.7402041</a>.","ieee":"J. Pielorz and C. Lampert, “Optimal geospatial allocation of volunteers for crisis management,” presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France, 2016.","mla":"Pielorz, Jasmin, and Christoph Lampert. <i>Optimal Geospatial Allocation of Volunteers for Crisis Management</i>. 7402041, IEEE, 2016, doi:<a href=\"https://doi.org/10.1109/ICT-DM.2015.7402041\">10.1109/ICT-DM.2015.7402041</a>.","short":"J. Pielorz, C. Lampert, in:, IEEE, 2016.","ista":"Pielorz J, Lampert C. 2016. Optimal geospatial allocation of volunteers for crisis management. ICT-DM: Information and Communication Technologies for Disaster Management, 7402041."},"_id":"1707","fulldoi":"https://doi.org/10.1109/ICT-DM.2015.7402041","acknowledgement":"The DRIVER FP7 project has received funding from the European Unions Seventh Framework Programme for research, technological development and demonstration under grant agreement no 607798. RE-ACTA was funded within the framework of the Austrian Security Research Programme KIRAS by the Federal Ministry for Transport, Innovation and Technology.","date_created":"2018-12-11T11:53:35Z","month":"02","quality_controlled":"1","abstract":[{"lang":"eng","text":"Volunteer supporters play an important role in modern crisis and disaster management. In the times of mobile Internet devices, help from thousands of volunteers can be requested within a short time span, thus relieving professional helpers from minor chores or geographically spread-out tasks. However, the simultaneous availability of many volunteers also poses new problems. In particular, the volunteer efforts must be well coordinated, or otherwise situations might emerge in which too many idle volunteers at one location become more of a burden than a relief to the professionals.\r\nIn this work, we study the task of optimally assigning volunteers to selected locations, e.g. in order to perform regular measurements, to report on damage, or to distribute information or resources to the population in a crisis situation. We formulate the assignment tasks as an optimization problem and propose an effective and efficient solution procedure. Experiments on real data of the Team Österreich, consisting of over 36,000 Austrian volunteers, show the effectiveness and efficiency of our approach."}],"conference":{"name":"ICT-DM: Information and Communication Technologies for Disaster Management","end_date":"2015-12-02","start_date":"2015-11-30","location":"Rennes, France"},"publisher":"IEEE","article_number":"7402041","year":"2016","publication_status":"published","status":"public","date_published":"2016-02-11T00:00:00Z","language":[{"iso":"eng"}],"type":"conference","doi":"10.1109/ICT-DM.2015.7402041"},{"day":"01","publist_id":"5215","oa_version":"Preprint","author":[{"full_name":"Lee, Jioon","last_name":"Lee","first_name":"Jioon"},{"full_name":"Schnelli, Kevin","last_name":"Schnelli","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0954-3231","first_name":"Kevin"}],"department":[{"_id":"LaEr"}],"ec_funded":1,"fulldoi":"https://doi.org/10.1007/s00440-014-0610-8","corr_author":"1","month":"02","abstract":[{"lang":"eng","text":"We consider random matrices of the form H=W+λV, λ∈ℝ+, where W is a real symmetric or complex Hermitian Wigner matrix of size N and V is a real bounded diagonal random matrix of size N with i.i.d.\\ entries that are independent of W. We assume subexponential decay for the matrix entries of W and we choose λ∼1, so that the eigenvalues of W and λV are typically of the same order. Further, we assume that the density of the entries of V is supported on a single interval and is convex near the edges of its support. In this paper we prove that there is λ+∈ℝ+ such that the largest eigenvalues of H are in the limit of large N determined by the order statistics of V for λ&gt;λ+. In particular, the largest eigenvalue of H has a Weibull distribution in the limit N→∞ if λ&gt;λ+. Moreover, for N sufficiently large, we show that the eigenvectors associated to the largest eigenvalues are partially localized for λ&gt;λ+, while they are completely delocalized for λ&lt;λ+. Similar results hold for the lowest eigenvalues. "}],"project":[{"grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"publisher":"Springer","year":"2016","article_processing_charge":"No","publication_status":"published","date_published":"2016-02-01T00:00:00Z","status":"public","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"http://arxiv.org/abs/1310.7057","open_access":"1"}],"title":"Extremal eigenvalues and eigenvectors of deformed Wigner matrices","oa":1,"date_updated":"2025-09-18T10:46:46Z","scopus_import":"1","publication":"Probability Theory and Related Fields","arxiv":1,"citation":{"short":"J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.","ista":"Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.","mla":"Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” <i>Probability Theory and Related Fields</i>, vol. 164, no. 1–2, Springer, 2016, pp. 165–241, doi:<a href=\"https://doi.org/10.1007/s00440-014-0610-8\">10.1007/s00440-014-0610-8</a>.","ieee":"J. Lee and K. Schnelli, “Extremal eigenvalues and eigenvectors of deformed Wigner matrices,” <i>Probability Theory and Related Fields</i>, vol. 164, no. 1–2. Springer, pp. 165–241, 2016.","ama":"Lee J, Schnelli K. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. <i>Probability Theory and Related Fields</i>. 2016;164(1-2):165-241. doi:<a href=\"https://doi.org/10.1007/s00440-014-0610-8\">10.1007/s00440-014-0610-8</a>","chicago":"Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” <i>Probability Theory and Related Fields</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00440-014-0610-8\">https://doi.org/10.1007/s00440-014-0610-8</a>.","apa":"Lee, J., &#38; Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. <i>Probability Theory and Related Fields</i>. Springer. <a href=\"https://doi.org/10.1007/s00440-014-0610-8\">https://doi.org/10.1007/s00440-014-0610-8</a>"},"_id":"1881","volume":164,"page":"165 - 241","acknowledgement":"Most of the presented work was obtained while Kevin Schnelli was staying at the IAS with the support of\r\nThe Fund For Math.","date_created":"2018-12-11T11:54:31Z","quality_controlled":"1","external_id":{"isi":["000373163300006"],"arxiv":["1310.7057"]},"issue":"1-2","isi":1,"intvolume":"       164","language":[{"iso":"eng"}],"doi":"10.1007/s00440-014-0610-8"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1021/acs.jproteome.5b01004"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_updated":"2026-05-12T12:34:04Z","scopus_import":"1","title":"Expanding the interactome of the noncanonical NF-κB signaling pathway","OA_type":"hybrid","oa":1,"citation":{"apa":"Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. <i>Journal of Proteome Research</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.jproteome.5b01004\">https://doi.org/10.1021/acs.jproteome.5b01004</a>","ama":"Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-κB signaling pathway. <i>Journal of Proteome Research</i>. 2016;15(9):2900-2909. doi:<a href=\"https://doi.org/10.1021/acs.jproteome.5b01004\">10.1021/acs.jproteome.5b01004</a>","chicago":"Willmann, Katharina, Roberto Sacco, Rui Martins, Wojciech Garncarz, Ana Krolo, Sylvia Knapp, Keiryn Bennett, and Kaan Boztug. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” <i>Journal of Proteome Research</i>. American Chemical Society, 2016. <a href=\"https://doi.org/10.1021/acs.jproteome.5b01004\">https://doi.org/10.1021/acs.jproteome.5b01004</a>.","ieee":"K. Willmann <i>et al.</i>, “Expanding the interactome of the noncanonical NF-κB signaling pathway,” <i>Journal of Proteome Research</i>, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.","mla":"Willmann, Katharina, et al. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” <i>Journal of Proteome Research</i>, vol. 15, no. 9, American Chemical Society, 2016, pp. 2900–09, doi:<a href=\"https://doi.org/10.1021/acs.jproteome.5b01004\">10.1021/acs.jproteome.5b01004</a>.","short":"K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.","ista":"Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909."},"publication":"Journal of Proteome Research","page":"2900 - 2909","_id":"460","volume":15,"quality_controlled":"1","keyword":["noncanonical NF-κB signaling","tandem affinity purification","protein−protein interaction network","NF-κB inducing kinase"],"acknowledgement":"Austrian Science Fund (FWF) Lise Meitner Program Fellowship (FWF M-1809, to K.L.W.),  FWF Infect-ERA framework (I-1620_B22, to S.K.), European Research Council (ERC StG 310857, to K.B.)\r\nWe thank Jacques Colinge, André C. Müller, and Peter Májek for fruitful discussions and Elisabeth Salzer and Kate G. Ackermann for critically reading the manuscript. We thank Giulio Superti-Furga for providing pTO-SII-HA-GW plasmids. \r\n\r\n","date_created":"2018-12-11T11:46:36Z","issue":"9","external_id":{"pmid":["27416764"]},"pmid":1,"intvolume":"        15","doi":"10.1021/acs.jproteome.5b01004","language":[{"iso":"eng"}],"publist_id":"7361","day":"02","extern":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa_version":"Published Version","publication_identifier":{"issn":["1535-3893"],"eissn":["1535-3907"]},"author":[{"first_name":"Katharina","full_name":"Willmann, Katharina","last_name":"Willmann"},{"first_name":"Roberto","id":"42C9F57E-F248-11E8-B48F-1D18A9856A87","full_name":"Sacco, Roberto","last_name":"Sacco"},{"full_name":"Martins, Rui","last_name":"Martins","first_name":"Rui"},{"full_name":"Garncarz, Wojciech","last_name":"Garncarz","first_name":"Wojciech"},{"first_name":"Ana","last_name":"Krolo","full_name":"Krolo, Ana"},{"full_name":"Knapp, Sylvia","last_name":"Knapp","first_name":"Sylvia"},{"first_name":"Keiryn","full_name":"Bennett, Keiryn","last_name":"Bennett"},{"first_name":"Kaan","full_name":"Boztug, Kaan","last_name":"Boztug"}],"article_type":"original","fulldoi":"https://doi.org/10.1021/acs.jproteome.5b01004","OA_place":"publisher","month":"09","publisher":"American Chemical Society","article_processing_charge":"No","year":"2016","abstract":[{"lang":"eng","text":"NF-κB signaling is a central pathway of immunity and integrates signal transduction upon a wide array of inflammatory stimuli. Noncanonical NF-κB signaling is activated by a small subset of TNF family receptors and characterized by NF-κB2/p52 transcriptional activity. The medical relevance of this pathway has recently re-emerged from the discovery of primary immunodeficiency patients that have loss-of-function mutations in the MAP3K14 gene encoding NIK. Nevertheless, knowledge of protein interactions that regulate noncanonical NF-κB signaling is sparse. Here we report a detailed state-of-the-art mass spectrometry-based protein–protein interaction network including the noncanonical NF-κB signaling nodes TRAF2, TRAF3, IKKα, NIK, and NF-κB2/p100. The value of the data set was confirmed by the identification of interactions already known to regulate this pathway. In addition, a remarkable number of novel interactors were identified. We provide validation of the novel NIK and IKKα interactor FKBP8, which may regulate processes downstream of noncanonical NF-κB signaling. To understand perturbed noncanonical NF-κB signaling in the context of misregulated NIK in disease, we also provide a differential interactome of NIK mutants that cause immunodeficiency. Altogether, this data set not only provides critical insight into how protein–protein interactions can regulate immune signaling but also offers a novel resource on noncanonical NF-κB signaling."}],"date_published":"2016-09-02T00:00:00Z","status":"public","publication_status":"published","type":"journal_article"},{"author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ibsen-Jensen","full_name":"Ibsen-Jensen, Rasmus","first_name":"Rasmus","orcid":"0000-0003-4783-0389","id":"3B699956-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"KrCh"}],"alternative_title":["Frontiers in Artificial Intelligence and Applications"],"fulldoi":"https://doi.org/10.3233/978-1-61499-672-9-1432","corr_author":"1","publist_id":"7342","day":"01","has_accepted_license":"1","oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)"},"status":"public","date_published":"2016-01-01T00:00:00Z","publication_status":"published","pubrep_id":"950","type":"conference","file_date_updated":"2020-07-14T12:46:35Z","month":"01","publisher":"IOS Press","year":"2016","article_processing_charge":"No","abstract":[{"text":"Magic: the Gathering is a game about magical combat for any number of players. Formally it is a zero-sum, imperfect information stochastic game that consists of a potentially unbounded number of steps. We consider the problem of deciding if a move is legal in a given single step of Magic. We show that the problem is (a) coNP-complete in general; and (b) in P if either of two small sets of cards are not used. Our lower bound holds even for single-player Magic games. The significant aspects of our results are as follows: First, in most real-life game problems, the task of deciding whether a given move is legal in a single step is trivial, and the computationally hard task is to find the best sequence of legal moves in the presence of multiple players. In contrast, quite uniquely our hardness result holds for single step and with only one-player. Second, we establish efficient algorithms for important special cases of Magic.","lang":"eng"}],"conference":{"location":"The Hague, Netherlands","end_date":"2016-09-02","start_date":"2016-08-29","name":"ECAI: European Conference on Artificial Intelligence"},"file":[{"creator":"system","checksum":"848043c812ace05e459579c923f3d3cf","access_level":"open_access","date_created":"2018-12-12T10:07:59Z","date_updated":"2020-07-14T12:46:35Z","content_type":"application/pdf","file_name":"IST-2018-950-v1+1_2016_Chatterjee_The_complexity.pdf","relation":"main_file","file_size":2116225,"file_id":"4658"}],"citation":{"apa":"Chatterjee, K., &#38; Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. <a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">https://doi.org/10.3233/978-1-61499-672-9-1432</a>","chicago":"Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. <a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">https://doi.org/10.3233/978-1-61499-672-9-1432</a>.","ama":"Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:<a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">10.3233/978-1-61499-672-9-1432</a>","mla":"Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. <i>The Complexity of Deciding Legality of a Single Step of Magic: The Gathering</i>. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:<a href=\"https://doi.org/10.3233/978-1-61499-672-9-1432\">10.3233/978-1-61499-672-9-1432</a>.","ieee":"K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.","ista":"Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.","short":"K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439."},"page":"1432 - 1439","volume":285,"_id":"478","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-22T14:26:27Z","scopus_import":"1","license":"https://creativecommons.org/licenses/by-nc/4.0/","title":"The complexity of deciding legality of a single step of magic: The gathering","oa":1,"isi":1,"intvolume":"       285","ddc":["004"],"doi":"10.3233/978-1-61499-672-9-1432","language":[{"iso":"eng"}],"quality_controlled":"1","date_created":"2018-12-11T11:46:41Z","external_id":{"isi":["000385793700166"]}},{"title":"Use runtime verification to improve the quality of medical care practice","date_updated":"2025-09-22T14:22:48Z","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","_id":"479","page":"112 - 121","publication":"Proceedings of the 38th International Conference on Software Engineering Companion ","citation":{"ista":"Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.","short":"Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.","mla":"Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, IEEE, 2016, pp. 112–21, doi:<a href=\"https://doi.org/10.1145/2889160.2889233\">10.1145/2889160.2889233</a>.","ieee":"Y. Jiang <i>et al.</i>, “Use runtime verification to improve the quality of medical care practice,” in <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, Austin, TX, USA, 2016, pp. 112–121.","chicago":"Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” In <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>, 112–21. IEEE, 2016. <a href=\"https://doi.org/10.1145/2889160.2889233\">https://doi.org/10.1145/2889160.2889233</a>.","ama":"Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: <i>Proceedings of the 38th International Conference on Software Engineering Companion </i>. IEEE; 2016:112-121. doi:<a href=\"https://doi.org/10.1145/2889160.2889233\">10.1145/2889160.2889233</a>","apa":"Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., &#38; Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In <i>Proceedings of the 38th International Conference on Software Engineering Companion </i> (pp. 112–121). Austin, TX, USA: IEEE. <a href=\"https://doi.org/10.1145/2889160.2889233\">https://doi.org/10.1145/2889160.2889233</a>"},"external_id":{"isi":["000402155300016"]},"date_created":"2018-12-11T11:46:42Z","acknowledgement":"This work is supported by NSF CNS 13-30077, NSF CNS 13-29886, NSF CNS 15-45002, and NSFC 61303014.\r\nThe authors thank Dr.  Bobby and Dr.  Hill at Carle Hospital, Urbana, IL for their help with the discussion on medical  knowledge.\r\n\r\n","quality_controlled":"1","language":[{"iso":"eng"}],"doi":"10.1145/2889160.2889233","isi":1,"oa_version":"None","day":"14","publist_id":"7341","fulldoi":"https://doi.org/10.1145/2889160.2889233","alternative_title":["Proceedings International Conference on Software Engineering"],"department":[{"_id":"ToHe"}],"author":[{"last_name":"Jiang","full_name":"Jiang, Yu","first_name":"Yu"},{"full_name":"Liu, Han","last_name":"Liu","first_name":"Han"},{"orcid":"0000-0002-3066-6941","first_name":"Hui","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","full_name":"Kong, Hui","last_name":"Kong"},{"first_name":"Rui","full_name":"Wang, Rui","last_name":"Wang"},{"first_name":"Mohamad","full_name":"Hosseini, Mohamad","last_name":"Hosseini"},{"full_name":"Sun, Jiaguang","last_name":"Sun","first_name":"Jiaguang"},{"first_name":"Lui","last_name":"Sha","full_name":"Sha, Lui"}],"abstract":[{"text":"Clinical guidelines and decision support systems (DSS) play an important role in daily practices of medicine. Many text-based guidelines have been encoded for work-flow simulation of DSS to automate health care. During the collaboration with Carle hospital to develop a DSS, we identify that, for some complex and life-critical diseases, it is highly desirable to automatically rigorously verify some complex temporal properties in guidelines, which brings new challenges to current simulation based DSS with limited support of automatical formal verification and real-time data analysis. In this paper, we conduct the first study on applying runtime verification to cooperate with current DSS based on real-time data. Within the proposed technique, a user-friendly domain specific language, named DRTV, is designed to specify vital real-time data sampled by medical devices and temporal properties originated from clinical guidelines. Some interfaces are developed for data acquisition and communication. Then, for medical practice scenarios described in DRTV model, we will automatically generate event sequences and runtime property verifier automata. If a temporal property violates, real-time warnings will be produced by the formal verifier and passed to medical DSS. We have used DRTV to specify different kinds of medical care scenarios, and applied the proposed technique to assist existing DSS. As presented in experiment results, in terms of warning detection, it outperforms the only use of DSS or human inspection, and improves the quality of clinical health care of hospital","lang":"eng"}],"conference":{"start_date":"2016-05-14","end_date":"2016-05-22","location":"Austin, TX, USA","name":"ICSE: International Conference on Software Engineering"},"publisher":"IEEE","year":"2016","article_processing_charge":"No","month":"05","type":"conference","publication_status":"published","date_published":"2016-05-14T00:00:00Z","status":"public"}]