[{"has_accepted_license":"1","year":"2014","day":"12","publication":" Journal of Theoretical Biology","page":"40 - 54","doi":"10.1016/j.jtbi.2014.09.041","date_published":"2014-10-12T00:00:00Z","date_created":"2018-12-11T11:55:18Z","acknowledgement":"This work is supported by AFOSR grant FA 9550-11-1-0165, program grant RPG 24/2012 from the Human Frontiers of Science (DBF) and travel support from the European Commission Marie Curie International Reintegration Grant PIRG04-GA-2008-239429 (KB). DP was supported by NIHR01 GM104987 and the Wyss Institute of Biologically Inspired Engineering. ","quality_controlled":"1","publisher":"Academic Press","oa":1,"citation":{"chicago":"Bodova, Katarina, David Paydarfar, and Daniel Forger. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology. Academic Press, 2014. https://doi.org/10.1016/j.jtbi.2014.09.041.","ista":"Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 365, 40–54.","mla":"Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54, doi:10.1016/j.jtbi.2014.09.041.","short":"K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.","ieee":"K. Bodova, D. Paydarfar, and D. Forger, “Characterizing spiking in noisy type II neurons,” Journal of Theoretical Biology, vol. 365. Academic Press, pp. 40–54, 2014.","ama":"Bodova K, Paydarfar D, Forger D. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 2014;365:40-54. doi:10.1016/j.jtbi.2014.09.041","apa":"Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. Academic Press. https://doi.org/10.1016/j.jtbi.2014.09.041"},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Katarina","id":"2BA24EA0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7214-0171","full_name":"Bodova, Katarina","last_name":"Bodova"},{"first_name":"David","last_name":"Paydarfar","full_name":"Paydarfar, David"},{"last_name":"Forger","full_name":"Forger, Daniel","first_name":"Daniel"}],"publist_id":"5043","article_processing_charge":"No","title":"Characterizing spiking in noisy type II neurons","publication_status":"published","file":[{"date_created":"2018-12-12T10:17:58Z","file_name":"IST-2016-444-v1+1_1-s2.0-S0022519314005888-main.pdf","date_updated":"2020-07-14T12:45:25Z","file_size":2679222,"creator":"system","file_id":"5316","checksum":"a9dbae18d3233b3dab6944fd3f2cd49e","content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"language":[{"iso":"eng"}],"volume":365,"related_material":{"link":[{"url":"https://doi.org/10.1016/j.jtbi.2015.03.013","relation":"erratum"}]},"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","abstract":[{"lang":"eng","text":"Understanding the dynamics of noisy neurons remains an important challenge in neuroscience. Here, we describe a simple probabilistic model that accurately describes the firing behavior in a large class (type II) of neurons. To demonstrate the usefulness of this model, we show how it accurately predicts the interspike interval (ISI) distributions, bursting patterns and mean firing rates found by: (1) simulations of the classic Hodgkin-Huxley model with channel noise, (2) experimental data from squid giant axon with a noisy input current and (3) experimental data on noisy firing from a neuron within the suprachiasmatic nucleus (SCN). This simple model has 6 parameters, however, in some cases, two of these parameters are coupled and only 5 parameters account for much of the known behavior. From these parameters, many properties of spiking can be found through simple calculation. Thus, we show how the complex effects of noise can be understood through a simple and general probabilistic model."}],"oa_version":"Published Version","scopus_import":"1","month":"10","intvolume":" 365","date_updated":"2022-08-25T14:00:47Z","ddc":["570"],"department":[{"_id":"GaTk"}],"file_date_updated":"2020-07-14T12:45:25Z","_id":"2028","type":"journal_article","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"status":"public","pubrep_id":"444"},{"publication_status":"published","language":[{"iso":"eng"}],"ec_funded":1,"volume":8837,"abstract":[{"text":"We present a tool for translating LTL formulae into deterministic ω-automata. It is the first tool that covers the whole LTL that does not use Safra’s determinization or any of its variants. This leads to smaller automata. There are several outputs of the tool: firstly, deterministic Rabin automata, which are the standard input for probabilistic model checking, e.g. for the probabilistic model-checker PRISM; secondly, deterministic generalized Rabin automata, which can also be used for probabilistic model checking and are sometimes by orders of magnitude smaller. We also link our tool to PRISM and show that this leads to a significant speed-up of probabilistic LTL model checking, especially with the generalized Rabin automata.","lang":"eng"}],"oa_version":"None","alternative_title":["LNCS"],"intvolume":" 8837","month":"01","date_updated":"2021-01-12T06:54:49Z","department":[{"_id":"ToHe"}],"_id":"2026","conference":{"name":"ATVA: Automated Technology for Verification and Analysis","start_date":"2014-11-03","location":"Sydney, Australia","end_date":"2014-11-07"},"type":"conference","status":"public","year":"2014","publication":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","day":"01","page":"235 - 241","date_created":"2018-12-11T11:55:17Z","date_published":"2014-01-01T00:00:00Z","doi":"10.1007/978-3-319-11936-6_17","acknowledgement":"Sponsor: P202/12/G061; GACR; Czech Science Foundation\r\n\r\n","publisher":"Springer","quality_controlled":"1","citation":{"chicago":"Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation of Ltl to Small Deterministic Automata.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, 8837:235–41. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_17.","ista":"Komárková Z, Kretinsky J. 2014. Rabinizer 3: Safraless translation of ltl to small deterministic automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 235–241.","mla":"Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation of Ltl to Small Deterministic Automata.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 235–41, doi:10.1007/978-3-319-11936-6_17.","short":"Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.","ieee":"Z. Komárková and J. Kretinsky, “Rabinizer 3: Safraless translation of ltl to small deterministic automata,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Sydney, Australia, 2014, vol. 8837, pp. 235–241.","ama":"Komárková Z, Kretinsky J. Rabinizer 3: Safraless translation of ltl to small deterministic automata. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8837. Springer; 2014:235-241. doi:10.1007/978-3-319-11936-6_17","apa":"Komárková, Z., & Kretinsky, J. (2014). Rabinizer 3: Safraless translation of ltl to small deterministic automata. In F. Cassez & J.-F. Raskin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 235–241). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_17"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Zuzana","last_name":"Komárková","full_name":"Komárková, Zuzana"},{"full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky","first_name":"Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"5045","title":"Rabinizer 3: Safraless translation of ltl to small deterministic automata","editor":[{"full_name":"Cassez, Franck","last_name":"Cassez","first_name":"Franck"},{"last_name":"Raskin","full_name":"Raskin, Jean-François","first_name":"Jean-François"}],"project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}]},{"department":[{"_id":"RoSe"}],"date_updated":"2021-01-12T06:54:50Z","type":"journal_article","status":"public","_id":"2029","issue":"2","volume":108,"publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://arxiv.org/abs/1404.4717","open_access":"1"}],"scopus_import":1,"intvolume":" 108","month":"10","abstract":[{"lang":"eng","text":"Spin-wave theory is a key ingredient in our comprehension of quantum spin systems, and is used successfully for understanding a wide range of magnetic phenomena, including magnon condensation and stability of patterns in dipolar systems. Nevertheless, several decades of research failed to establish the validity of spin-wave theory rigorously, even for the simplest models of quantum spins. A rigorous justification of the method for the three-dimensional quantum Heisenberg ferromagnet at low temperatures is presented here. We derive sharp bounds on its free energy by combining a bosonic formulation of the model introduced by Holstein and Primakoff with probabilistic estimates and operator inequalities."}],"oa_version":"Submitted Version","author":[{"full_name":"Correggi, Michele","last_name":"Correggi","first_name":"Michele"},{"first_name":"Alessandro","last_name":"Giuliani","full_name":"Giuliani, Alessandro"},{"last_name":"Seiringer","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"5044","title":"Validity of spin-wave theory for the quantum Heisenberg model","citation":{"chicago":"Correggi, Michele, Alessandro Giuliani, and Robert Seiringer. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL. IOP Publishing Ltd., 2014. https://doi.org/10.1209/0295-5075/108/20003.","ista":"Correggi M, Giuliani A, Seiringer R. 2014. Validity of spin-wave theory for the quantum Heisenberg model. EPL. 108(2), 20003.","mla":"Correggi, Michele, et al. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL, vol. 108, no. 2, 20003, IOP Publishing Ltd., 2014, doi:10.1209/0295-5075/108/20003.","ieee":"M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2. IOP Publishing Ltd., 2014.","short":"M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).","apa":"Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/108/20003","ama":"Correggi M, Giuliani A, Seiringer R. Validity of spin-wave theory for the quantum Heisenberg model. EPL. 2014;108(2). doi:10.1209/0295-5075/108/20003"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","article_number":"20003","date_created":"2018-12-11T11:55:18Z","date_published":"2014-10-13T00:00:00Z","doi":"10.1209/0295-5075/108/20003","year":"2014","publication":"EPL","day":"13","oa":1,"quality_controlled":"1","publisher":"IOP Publishing Ltd.","acknowledgement":"239694; ERC; European Research Council"},{"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Hernandez Lobato, Daniel, Viktoriia Sharmanska, Kristian Kersting, Christoph Lampert, and Novi Quadrianto. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” In Advances in Neural Information Processing Systems, 1:837–45. Neural Information Processing Systems, 2014.","ista":"Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. 2014. Mind the nuisance: Gaussian process classification using privileged noise. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing Systems vol. 1, 837–845.","mla":"Hernandez Lobato, Daniel, et al. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” Advances in Neural Information Processing Systems, vol. 1, no. January, Neural Information Processing Systems, 2014, pp. 837–45.","short":"D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.","ieee":"D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, and N. Quadrianto, “Mind the nuisance: Gaussian process classification using privileged noise,” in Advances in Neural Information Processing Systems, Montreal, Canada, 2014, vol. 1, no. January, pp. 837–845.","ama":"Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. Mind the nuisance: Gaussian process classification using privileged noise. In: Advances in Neural Information Processing Systems. Vol 1. Neural Information Processing Systems; 2014:837-845.","apa":"Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., & Quadrianto, N. (2014). Mind the nuisance: Gaussian process classification using privileged noise. In Advances in Neural Information Processing Systems (Vol. 1, pp. 837–845). Montreal, Canada: Neural Information Processing Systems."},"date_updated":"2023-02-23T10:25:24Z","department":[{"_id":"ChLa"}],"title":"Mind the nuisance: Gaussian process classification using privileged noise","publist_id":"5038","author":[{"first_name":"Daniel","full_name":"Hernandez Lobato, Daniel","last_name":"Hernandez Lobato"},{"first_name":"Viktoriia","id":"2EA6D09E-F248-11E8-B48F-1D18A9856A87","last_name":"Sharmanska","orcid":"0000-0003-0192-9308","full_name":"Sharmanska, Viktoriia"},{"last_name":"Kersting","full_name":"Kersting, Kristian","first_name":"Kristian"},{"first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","last_name":"Lampert"},{"first_name":"Novi","last_name":"Quadrianto","full_name":"Quadrianto, Novi"}],"_id":"2033","status":"public","conference":{"start_date":"2014-12-08","location":"Montreal, Canada","end_date":"2014-12-13","name":"NIPS: Neural Information Processing Systems"},"type":"conference","language":[{"iso":"eng"}],"publication":"Advances in Neural Information Processing Systems","day":"08","year":"2014","publication_status":"published","date_created":"2018-12-11T11:55:20Z","volume":1,"issue":"January","date_published":"2014-12-08T00:00:00Z","page":"837-845","oa_version":"Submitted Version","abstract":[{"lang":"eng","text":"The learning with privileged information setting has recently attracted a lot of attention within the machine learning community, as it allows the integration of additional knowledge into the training process of a classifier, even when this comes in the form of a data modality that is not available at test time. Here, we show that privileged information can naturally be treated as noise in the latent function of a Gaussian process classifier (GPC). That is, in contrast to the standard GPC setting, the latent function is not just a nuisance but a feature: it becomes a natural measure of confidence about the training data by modulating the slope of the GPC probit likelihood function. Extensive experiments on public datasets show that the proposed GPC method using privileged noise, called GPC+, improves over a standard GPC without privileged knowledge, and also over the current state-of-the-art SVM-based method, SVM+. Moreover, we show that advanced neural networks and deep learning methods can be compressed as privileged information."}],"intvolume":" 1","month":"12","main_file_link":[{"url":"https://papers.nips.cc/paper/5373-mind-the-nuisance-gaussian-process-classification-using-privileged-noise","open_access":"1"}],"oa":1,"scopus_import":1,"quality_controlled":"1","publisher":"Neural Information Processing Systems"},{"oa":1,"publisher":"Taylor & Francis","quality_controlled":"1","date_created":"2018-12-11T11:55:19Z","doi":"10.4161/23723548.2014.964045","date_published":"2014-12-31T00:00:00Z","publication":"Molecular and Cellular Oncology","day":"31","year":"2014","has_accepted_license":"1","article_number":"e964045","title":"The optogenetic promise for oncology: Episode I","publist_id":"5040","author":[{"id":"2A9DB292-F248-11E8-B48F-1D18A9856A87","first_name":"Álvaro","last_name":"Inglés Prieto","full_name":"Inglés Prieto, Álvaro","orcid":"0000-0002-5409-8571"},{"full_name":"Gschaider-Reichhart, Eva","orcid":"0000-0002-7218-7738","last_name":"Gschaider-Reichhart","id":"3FEE232A-F248-11E8-B48F-1D18A9856A87","first_name":"Eva"},{"first_name":"Karin","last_name":"Schelch","full_name":"Schelch, Karin"},{"first_name":"Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","last_name":"Janovjak","full_name":"Janovjak, Harald L","orcid":"0000-0002-8023-9315"},{"last_name":"Grusch","full_name":"Grusch, Michael","first_name":"Michael"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Inglés Prieto, Álvaro, et al. “The Optogenetic Promise for Oncology: Episode I.” Molecular and Cellular Oncology, vol. 1, no. 4, e964045, Taylor & Francis, 2014, doi:10.4161/23723548.2014.964045.","ieee":"Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H. L. Janovjak, and M. Grusch, “The optogenetic promise for oncology: Episode I,” Molecular and Cellular Oncology, vol. 1, no. 4. Taylor & Francis, 2014.","short":"Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).","apa":"Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L., & Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. Taylor & Francis. https://doi.org/10.4161/23723548.2014.964045","ama":"Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M. The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. 2014;1(4). doi:10.4161/23723548.2014.964045","chicago":"Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Karin Schelch, Harald L Janovjak, and Michael Grusch. “The Optogenetic Promise for Oncology: Episode I.” Molecular and Cellular Oncology. Taylor & Francis, 2014. https://doi.org/10.4161/23723548.2014.964045.","ista":"Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M. 2014. The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. 1(4), e964045."},"intvolume":" 1","month":"12","scopus_import":1,"oa_version":"Published Version","abstract":[{"text":"As light-based control of fundamental signaling pathways is becoming a reality, the field of optogenetics is rapidly moving beyond neuroscience. We have recently developed receptor tyrosine kinases that are activated by light and control cell proliferation, epithelial–mesenchymal transition, and angiogenic sprouting—cell behaviors central to cancer progression.","lang":"eng"}],"license":"https://creativecommons.org/licenses/by-nc/4.0/","issue":"4","volume":1,"language":[{"iso":"eng"}],"file":[{"checksum":"44e17ad40577ab46eb602e88a8b0b8fd","file_id":"6464","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"2014_Taylor_Alvaro.pdf","date_created":"2019-05-16T13:39:11Z","file_size":1765933,"date_updated":"2020-07-14T12:45:26Z","creator":"kschuh"}],"publication_status":"published","status":"public","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)"},"type":"journal_article","_id":"2032","department":[{"_id":"HaJa"}],"file_date_updated":"2020-07-14T12:45:26Z","ddc":["570"],"date_updated":"2021-01-12T06:54:51Z"}]