[{"status":"public","publisher":"Institute of Science and Technology Austria","degree_awarded":"PhD","_id":"19456","page":"96","title":"The role of prefrontal spatial coding in supporting a contextual association task","publication_status":"published","corr_author":"1","date_updated":"2025-10-08T12:53:17Z","alternative_title":["ISTA Thesis"],"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"M-Shop"}],"type":"dissertation","file_date_updated":"2025-09-30T22:30:02Z","publication_identifier":{"isbn":["978-3-99078-056-5"],"issn":["2663-337X"]},"abstract":[{"text":"Making decisions requires flexibly adapting to changing environments, a process that\r\ndepends on accurately interpreting current contingencies and integrating them with\r\npast experience. Two brain regions are particularly critical for this process, the medial\r\nprefrontal cortex (mPFC) and the hippocampus. Using contextual information from the\r\nhippocampus, the mPFC selects relevant cognitive frameworks and suppresses\r\nirrelevant ones to guide appropriate actions. Several studies have shown that some\r\nmPFC pyramidal neurons become spatially tuned when spatial information is required\r\nto guide goal-directed behavior. However, the role of prefrontal spatial representations\r\nin learning and decision making is not well understood. This work aims to characterize\r\nthe role of mPFC spatial tuning in supporting a contextual association task. Rats were\r\ntrained to learn two cue–location associations on a radial arm maze over multiple days,\r\nwhile we simultaneously recorded from dorsal CA1 of the hippocampus and the\r\nprelimbic area of the mPFC. We describe a subset of spatially tuned hippocampal and\r\nprefrontal pyramidal neurons that “flicker” between multiple spatial representations on\r\ndifferent trials, suggesting dynamic, context-dependent coding. This flickering may\r\nprovide a substrate for how the network reorganizes in response to task demands,\r\nlikely by enabling the flexible evaluation of competing representations. ","lang":"eng"}],"doi":"10.15479/AT-ISTA-19456","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","author":[{"orcid":"0000-0003-1727-6612","last_name":"Cumpelik","id":"3F158B32-F248-11E8-B48F-1D18A9856A87","first_name":"Andrea D","full_name":"Cumpelik, Andrea D"}],"keyword":["neuroscience","decision making","learning","cognitive flexibility","medial prefrontal cortex","hippocampus","electrophysiology"],"month":"02","day":"18","article_processing_charge":"No","OA_embargo":"6 months","oa_version":"Published Version","oa":1,"file":[{"content_type":"application/pdf","access_level":"open_access","date_created":"2025-03-25T11:07:55Z","date_updated":"2025-09-30T22:30:02Z","file_name":"2025_Thesis_Cumpelik_corrections_PDFA.pdf","file_size":11869040,"relation":"main_file","file_id":"19457","checksum":"1c7573303d8e5f6da3eb03d59055390f","embargo":"2025-09-30","creator":"acumpeli"},{"relation":"source_file","creator":"acumpeli","embargo_to":"open_access","checksum":"b93265ebd9a53f7a14100d0d48b4ff5b","file_id":"19458","file_name":"2025_Thesis_Cumpelik_corrections.docx","date_updated":"2025-09-30T22:30:02Z","date_created":"2025-03-25T11:08:05Z","access_level":"closed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":20436467}],"department":[{"_id":"GradSch"},{"_id":"JoCs"}],"citation":{"ista":"Cumpelik AD. 2025. The role of prefrontal spatial coding in supporting a contextual association task. Institute of Science and Technology Austria.","ama":"Cumpelik AD. The role of prefrontal spatial coding in supporting a contextual association task. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19456\">10.15479/AT-ISTA-19456</a>","ieee":"A. D. Cumpelik, “The role of prefrontal spatial coding in supporting a contextual association task,” Institute of Science and Technology Austria, 2025.","short":"A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.","chicago":"Cumpelik, Andrea D. “The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-19456\">https://doi.org/10.15479/AT-ISTA-19456</a>.","apa":"Cumpelik, A. D. (2025). <i>The role of prefrontal spatial coding in supporting a contextual association task</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-19456\">https://doi.org/10.15479/AT-ISTA-19456</a>","mla":"Cumpelik, Andrea D. <i>The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19456\">10.15479/AT-ISTA-19456</a>."},"date_created":"2025-03-25T11:22:38Z","has_accepted_license":"1","ddc":["612"],"date_published":"2025-02-18T00:00:00Z","supervisor":[{"orcid":"0000-0002-5193-4036","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","full_name":"Csicsvari, Jozsef L"}],"language":[{"iso":"eng"}],"year":"2025"},{"status":"public","_id":"12976","page":"12345-12352","conference":{"start_date":"2023-05-29","end_date":"2023-06-02","location":"London, United Kingdom","name":"ICRA: International Conference on Robotics and Automation"},"publisher":"IEEE","title":"Learning deposition policies for fused multi-material 3D printing","scopus_import":"1","publication_status":"published","date_updated":"2025-04-15T07:43:52Z","volume":2023,"type":"conference","acknowledgement":"This work is graciously supported by FWF Lise Meitner (Grant M 3319). Kang Liao sincerely thank Emiliano Luci, Chunyu Lin, and Yao Zhao for their huge support.","publication_identifier":{"eisbn":["9798350323658"],"issn":["1050-4729"]},"file_date_updated":"2023-05-16T09:12:05Z","abstract":[{"text":"3D printing based on continuous deposition of materials, such as filament-based 3D printing, has seen widespread adoption thanks to its versatility in working with a wide range of materials. An important shortcoming of this type of technology is its limited multi-material capabilities. While there are simple hardware designs that enable multi-material printing in principle, the required software is heavily underdeveloped. A typical hardware design fuses together individual materials fed into a single chamber from multiple inlets before they are deposited. This design, however, introduces a time delay between the intended material mixture and its actual deposition. In this work, inspired by diverse path planning research in robotics, we show that this mechanical challenge can be addressed via improved printer control. We propose to formulate the search for optimal multi-material printing policies in a reinforcement\r\nlearning setup. We put forward a simple numerical deposition model that takes into account the non-linear material mixing and delayed material deposition. To validate our system we focus on color fabrication, a problem known for its strict requirements for varying material mixtures at a high spatial frequency. We demonstrate that our learned control policy outperforms state-of-the-art hand-crafted algorithms.","lang":"eng"}],"doi":"10.1109/ICRA48891.2023.10160465","author":[{"first_name":"Kang","full_name":"Liao, Kang","last_name":"Liao"},{"last_name":"Tricard","first_name":"Thibault","full_name":"Tricard, Thibault"},{"full_name":"Piovarci, Michael","first_name":"Michael","id":"62E473F4-5C99-11EA-A40E-AF823DDC885E","last_name":"Piovarci","orcid":"0000-0002-5062-4474"},{"first_name":"Hans-Peter","full_name":"Seidel, Hans-Peter","last_name":"Seidel"},{"last_name":"Babaei","full_name":"Babaei, Vahid","first_name":"Vahid"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","keyword":["reinforcement learning","deposition","control","color","multi-filament"],"isi":1,"day":"04","article_processing_charge":"No","oa_version":"Submitted Version","oa":1,"project":[{"name":"Perception-Aware Appearance Fabrication","grant_number":"M03319","_id":"eb901961-77a9-11ec-83b8-f5c883a62027"}],"file":[{"file_size":5367986,"content_type":"application/pdf","access_level":"open_access","success":1,"date_created":"2023-05-16T09:12:05Z","file_name":"Liao2023.pdf","date_updated":"2023-05-16T09:12:05Z","file_id":"12977","checksum":"daeaa67124777d88487f933ea3f77164","creator":"mpiovarc","relation":"main_file"}],"department":[{"_id":"BeBi"}],"intvolume":"      2023","ddc":["004"],"date_published":"2023-07-04T00:00:00Z","citation":{"short":"K. Liao, T. Tricard, M. Piovarci, H.-P. Seidel, V. Babaei, in:, 2023 IEEE International Conference on Robotics and Automation, IEEE, 2023, pp. 12345–12352.","chicago":"Liao, Kang, Thibault Tricard, Michael Piovarci, Hans-Peter Seidel, and Vahid Babaei. “Learning Deposition Policies for Fused Multi-Material 3D Printing.” In <i>2023 IEEE International Conference on Robotics and Automation</i>, 2023:12345–52. IEEE, 2023. <a href=\"https://doi.org/10.1109/ICRA48891.2023.10160465\">https://doi.org/10.1109/ICRA48891.2023.10160465</a>.","apa":"Liao, K., Tricard, T., Piovarci, M., Seidel, H.-P., &#38; Babaei, V. (2023). Learning deposition policies for fused multi-material 3D printing. In <i>2023 IEEE International Conference on Robotics and Automation</i> (Vol. 2023, pp. 12345–12352). London, United Kingdom: IEEE. <a href=\"https://doi.org/10.1109/ICRA48891.2023.10160465\">https://doi.org/10.1109/ICRA48891.2023.10160465</a>","mla":"Liao, Kang, et al. “Learning Deposition Policies for Fused Multi-Material 3D Printing.” <i>2023 IEEE International Conference on Robotics and Automation</i>, vol. 2023, IEEE, 2023, pp. 12345–52, doi:<a href=\"https://doi.org/10.1109/ICRA48891.2023.10160465\">10.1109/ICRA48891.2023.10160465</a>.","ista":"Liao K, Tricard T, Piovarci M, Seidel H-P, Babaei V. 2023. Learning deposition policies for fused multi-material 3D printing. 2023 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation vol. 2023, 12345–12352.","ama":"Liao K, Tricard T, Piovarci M, Seidel H-P, Babaei V. Learning deposition policies for fused multi-material 3D printing. In: <i>2023 IEEE International Conference on Robotics and Automation</i>. Vol 2023. IEEE; 2023:12345-12352. doi:<a href=\"https://doi.org/10.1109/ICRA48891.2023.10160465\">10.1109/ICRA48891.2023.10160465</a>","ieee":"K. Liao, T. Tricard, M. Piovarci, H.-P. Seidel, and V. Babaei, “Learning deposition policies for fused multi-material 3D printing,” in <i>2023 IEEE International Conference on Robotics and Automation</i>, London, United Kingdom, 2023, vol. 2023, pp. 12345–12352."},"has_accepted_license":"1","date_created":"2023-05-16T09:14:09Z","external_id":{"isi":["001048371104068"]},"language":[{"iso":"eng"}],"quality_controlled":"1","year":"2023","publication":"2023 IEEE International Conference on Robotics and Automation"},{"title":"Robustness and fairness in machine learning","_id":"10799","page":"176","degree_awarded":"PhD","publisher":"Institute of Science and Technology Austria","related_material":{"record":[{"status":"public","id":"10802","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10803","status":"public"},{"status":"public","id":"6590","relation":"part_of_dissertation"},{"status":"public","id":"8724","relation":"part_of_dissertation"}]},"status":"public","doi":"10.15479/at:ista:10799","abstract":[{"text":"Because of the increasing popularity of machine learning methods, it is becoming important to understand the impact of learned components on automated decision-making systems and to guarantee that their consequences are beneficial to society. In other words, it is necessary to ensure that machine learning is sufficiently trustworthy to be used in real-world applications. This thesis studies two properties of machine learning models that are highly desirable for the\r\nsake of reliability: robustness and fairness. In the first part of the thesis we study the robustness of learning algorithms to training data corruption. Previous work has shown that machine learning models are vulnerable to a range\r\nof training set issues, varying from label noise through systematic biases to worst-case data manipulations. This is an especially relevant problem from a present perspective, since modern machine learning methods are particularly data hungry and therefore practitioners often have to rely on data collected from various external sources, e.g. from the Internet, from app users or via crowdsourcing. Naturally, such sources vary greatly in the quality and reliability of the\r\ndata they provide. With these considerations in mind, we study the problem of designing machine learning algorithms that are robust to corruptions in data coming from multiple sources. We show that, in contrast to the case of a single dataset with outliers, successful learning within this model is possible both theoretically and practically, even under worst-case data corruptions. The second part of this thesis deals with fairness-aware machine learning. There are multiple areas where machine learning models have shown promising results, but where careful considerations are required, in order to avoid discrimanative decisions taken by such learned components. Ensuring fairness can be particularly challenging, because real-world training datasets are expected to contain various forms of historical bias that may affect the learning process. In this thesis we show that data corruption can indeed render the problem of achieving fairness impossible, by tightly characterizing the theoretical limits of fair learning under worst-case data manipulations. However, assuming access to clean data, we also show how fairness-aware learning can be made practical in contexts beyond binary classification, in particular in the challenging learning to rank setting.","lang":"eng"}],"date_updated":"2025-06-26T11:30:16Z","corr_author":"1","publication_status":"published","publication_identifier":{"isbn":["978-3-99078-015-2"],"issn":["2663-337X"]},"file_date_updated":"2022-03-10T12:11:48Z","type":"dissertation","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","file":[{"checksum":"626bc523ae8822d20e635d0e2d95182e","creator":"nkonstan","file_id":"10823","relation":"main_file","file_size":4204905,"date_created":"2022-03-06T11:42:54Z","date_updated":"2022-03-06T11:42:54Z","file_name":"thesis.pdf","content_type":"application/pdf","success":1,"access_level":"open_access"},{"file_name":"thesis.zip","date_updated":"2022-03-10T12:11:48Z","date_created":"2022-03-06T11:42:57Z","access_level":"closed","content_type":"application/x-zip-compressed","file_size":22841103,"relation":"source_file","creator":"nkonstan","checksum":"e2ca2b88350ac8ea1515b948885cbcb1","file_id":"10824"}],"department":[{"_id":"GradSch"},{"_id":"ChLa"}],"project":[{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020"}],"oa":1,"month":"03","keyword":["robustness","fairness","machine learning","PAC learning","adversarial learning"],"author":[{"last_name":"Konstantinov","id":"4B9D76E4-F248-11E8-B48F-1D18A9856A87","first_name":"Nikola H","full_name":"Konstantinov, Nikola H"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"08","article_processing_charge":"No","ec_funded":1,"language":[{"iso":"eng"}],"supervisor":[{"first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"year":"2022","ddc":["000"],"date_published":"2022-03-08T00:00:00Z","has_accepted_license":"1","date_created":"2022-02-28T13:03:49Z","citation":{"ieee":"N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.","ama":"Konstantinov NH. Robustness and fairness in machine learning. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:10799\">10.15479/at:ista:10799</a>","ista":"Konstantinov NH. 2022. Robustness and fairness in machine learning. Institute of Science and Technology Austria.","mla":"Konstantinov, Nikola H. <i>Robustness and Fairness in Machine Learning</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:10799\">10.15479/at:ista:10799</a>.","apa":"Konstantinov, N. H. (2022). <i>Robustness and fairness in machine learning</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10799\">https://doi.org/10.15479/at:ista:10799</a>","chicago":"Konstantinov, Nikola H. “Robustness and Fairness in Machine Learning.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:10799\">https://doi.org/10.15479/at:ista:10799</a>.","short":"N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022."}},{"status":"public","related_material":{"record":[{"status":"public","id":"13241","relation":"shorter_version"},{"status":"public","relation":"dissertation_contains","id":"10799"}]},"scopus_import":"1","title":"Fairness-aware PAC learning from corrupted data","_id":"10802","page":"1-60","publisher":"ML Research Press","publication_identifier":{"eissn":["1533-7928"],"issn":["1532-4435"]},"file_date_updated":"2022-07-12T15:08:28Z","type":"journal_article","acknowledgement":"The authors thank Eugenia Iofinova and Bernd Prach for providing feedback on early versions of this paper. This publication was made possible by an ETH AI Center postdoctoral fellowship to Nikola Konstantinov.","date_updated":"2025-04-15T06:49:20Z","volume":23,"corr_author":"1","publication_status":"published","abstract":[{"lang":"eng","text":"Addressing fairness concerns about machine learning models is a crucial step towards their long-term adoption in real-world automated systems. While many approaches have been developed for training fair models from data, little is known about the robustness of these methods to data corruption. In this work we consider fairness-aware learning under worst-case data manipulations. We show that an adversary can in some situations force any learner to return an overly biased classifier, regardless of the sample size and with or without degrading\r\naccuracy, and that the strength of the excess bias increases for learning problems with underrepresented protected groups in the data. We also prove that our hardness results are tight up to constant factors. To this end, we study two natural learning algorithms that optimize for both accuracy and fairness and show that these algorithms enjoy guarantees that are order-optimal in terms of the corruption ratio and the protected groups frequencies in the large data\r\nlimit."}],"day":"01","article_processing_charge":"No","month":"05","keyword":["Fairness","robustness","data poisoning","trustworthy machine learning","PAC learning"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"author":[{"first_name":"Nikola H","full_name":"Konstantinov, Nikola H","id":"4B9D76E4-F248-11E8-B48F-1D18A9856A87","last_name":"Konstantinov"},{"full_name":"Lampert, Christoph","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","orcid":"0000-0002-4561-241X"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ChLa"}],"file":[{"file_size":551862,"success":1,"access_level":"open_access","content_type":"application/pdf","date_updated":"2022-07-12T15:08:28Z","file_name":"2022_JournalMachineLearningResearch_Konstantinov.pdf","date_created":"2022-07-12T15:08:28Z","file_id":"11570","creator":"kschuh","checksum":"9cac897b54a0ddf3a553a2c33e88cfda","relation":"main_file"}],"oa":1,"oa_version":"Published Version","arxiv":1,"external_id":{"arxiv":["2102.06004"]},"date_published":"2022-05-01T00:00:00Z","ddc":["004"],"date_created":"2022-02-28T14:05:42Z","citation":{"apa":"Konstantinov, N. H., &#38; Lampert, C. (2022). Fairness-aware PAC learning from corrupted data. <i>Journal of Machine Learning Research</i>. ML Research Press.","mla":"Konstantinov, Nikola H., and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” <i>Journal of Machine Learning Research</i>, vol. 23, ML Research Press, 2022, pp. 1–60.","short":"N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.","chicago":"Konstantinov, Nikola H, and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” <i>Journal of Machine Learning Research</i>. ML Research Press, 2022.","ieee":"N. H. Konstantinov and C. Lampert, “Fairness-aware PAC learning from corrupted data,” <i>Journal of Machine Learning Research</i>, vol. 23. ML Research Press, pp. 1–60, 2022.","ista":"Konstantinov NH, Lampert C. 2022. Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. 23, 1–60.","ama":"Konstantinov NH, Lampert C. Fairness-aware PAC learning from corrupted data. <i>Journal of Machine Learning Research</i>. 2022;23:1-60."},"has_accepted_license":"1","article_type":"original","intvolume":"        23","publication":"Journal of Machine Learning Research","year":"2022","language":[{"iso":"eng"}],"quality_controlled":"1"},{"article_processing_charge":"No","day":"12","keyword":["neural networks","verification","machine learning"],"month":"05","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","author":[{"full_name":"Lechner, Mathias","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png"},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"file":[{"file_size":13210143,"access_level":"closed","content_type":"application/zip","date_updated":"2022-05-13T12:49:00Z","file_name":"src.zip","date_created":"2022-05-13T12:33:26Z","file_id":"11378","creator":"mlechner","checksum":"8eefa9c7c10ca7e1a2ccdd731962a645","relation":"source_file"},{"relation":"main_file","creator":"mlechner","checksum":"1b9e1e5a9a83ed9d89dad2f5133dc026","file_id":"11382","file_name":"thesis_main-a2.pdf","date_updated":"2022-05-17T15:19:39Z","date_created":"2022-05-16T08:02:28Z","access_level":"open_access","content_type":"application/pdf","file_size":2732536}],"oa":1,"project":[{"name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"oa_version":"Published Version","has_accepted_license":"1","date_created":"2022-05-12T07:14:01Z","citation":{"chicago":"Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11362\">https://doi.org/10.15479/at:ista:11362</a>.","short":"M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.","mla":"Lechner, Mathias. <i>Learning Verifiable Representations</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11362\">10.15479/at:ista:11362</a>.","apa":"Lechner, M. (2022). <i>Learning verifiable representations</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11362\">https://doi.org/10.15479/at:ista:11362</a>","ama":"Lechner M. Learning verifiable representations. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11362\">10.15479/at:ista:11362</a>","ista":"Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.","ieee":"M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022."},"ddc":["004"],"date_published":"2022-05-12T00:00:00Z","year":"2022","ec_funded":1,"supervisor":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"language":[{"iso":"eng"}],"status":"public","related_material":{"record":[{"relation":"part_of_dissertation","id":"11366","status":"public"},{"id":"10665","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"10667","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10666","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"7808"}]},"title":"Learning verifiable representations","publisher":"Institute of Science and Technology Austria","page":"124","_id":"11362","degree_awarded":"PhD","file_date_updated":"2022-05-17T15:19:39Z","publication_identifier":{"isbn":["978-3-99078-017-6"]},"alternative_title":["ISTA Thesis"],"type":"dissertation","date_updated":"2025-09-10T10:19:14Z","publication_status":"published","corr_author":"1","doi":"10.15479/at:ista:11362","abstract":[{"lang":"eng","text":"Deep learning has enabled breakthroughs in challenging computing problems and has emerged as the standard problem-solving tool for computer vision and natural language processing tasks.\r\nOne exception to this trend is safety-critical tasks where robustness and resilience requirements contradict the black-box nature of neural networks. \r\nTo deploy deep learning methods for these tasks, it is vital to provide guarantees on neural network agents' safety and robustness criteria. \r\nThis can be achieved by developing formal verification methods to verify the safety and robustness properties of neural networks.\r\n\r\nOur goal is to design, develop and assess safety verification methods for neural networks to improve their reliability and trustworthiness in real-world applications.\r\nThis thesis establishes techniques for the verification of compressed and adversarially trained models as well as the design of novel neural networks for verifiably safe decision-making.\r\n\r\nFirst, we establish the problem of verifying quantized neural networks. Quantization is a technique that trades numerical precision for the computational efficiency of running a neural network and is widely adopted in industry.\r\nWe show that neglecting the reduced precision when verifying a neural network can lead to wrong conclusions about the robustness and safety of the network, highlighting that novel techniques for quantized network verification are necessary. We introduce several bit-exact verification methods explicitly designed for quantized neural networks and experimentally confirm on realistic networks that the network's robustness and other formal properties are affected by the quantization.\r\n\r\nFurthermore, we perform a case study providing evidence that adversarial training, a standard technique for making neural networks more robust, has detrimental effects on the network's performance. This robustness-accuracy tradeoff has been studied before regarding the accuracy obtained on classification datasets where each data point is independent of all other data points. On the other hand, we investigate the tradeoff empirically in robot learning settings where a both, a high accuracy and a high robustness, are desirable.\r\nOur results suggest that the negative side-effects of adversarial training outweigh its robustness benefits in practice.\r\n\r\nFinally, we consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with systems over the infinite time horizon. Bayesian neural networks are probabilistic models for learning uncertainties in the data and are therefore often used on robotic and healthcare applications where data is inherently stochastic.\r\nWe introduce a method for recalibrating Bayesian neural networks so that they yield probability distributions over safe decisions only.\r\nOur method learns a safety certificate that guarantees safety over the infinite time horizon to determine which decisions are safe in every possible state of the system.\r\nWe demonstrate the effectiveness of our approach on a series of reinforcement learning benchmarks."}]},{"series_title":"Neuromethods","title":"High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL)","scopus_import":"1","publisher":"Humana","page":"267-283","_id":"9756","related_material":{"record":[{"status":"public","id":"9562","relation":"dissertation_contains"}]},"place":"New York","status":"public","doi":"10.1007/978-1-0716-1522-5_19","abstract":[{"lang":"eng","text":"High-resolution visualization and quantification of membrane proteins contribute to the understanding of their functions and the roles they play in physiological and pathological conditions. Sodium dodecyl sulfate-digested freeze-fracture replica labeling (SDS-FRL) is a powerful electron microscopy method to study quantitatively the two-dimensional distribution of transmembrane proteins and their tightly associated proteins. During treatment with SDS, intracellular organelles and proteins not anchored to the replica are dissolved, whereas integral membrane proteins captured and stabilized by carbon/platinum deposition remain on the replica. Their intra- and extracellular domains become exposed on the surface of the replica, facilitating the accessibility of antibodies and, therefore, providing higher labeling efficiency than those obtained with other immunoelectron microscopy techniques. In this chapter, we describe the protocols of SDS-FRL adapted for mammalian brain samples, and optimization of the SDS treatment to increase the labeling efficiency for quantification of Cav2.1, the alpha subunit of P/Q-type voltage-dependent calcium channels utilizing deep learning algorithms."}],"volume":169,"date_updated":"2026-04-02T22:30:56Z","publication_status":"published","corr_author":"1","publication_identifier":{"isbn":["9781071615218"],"eisbn":["9781071615225"]},"acknowledgement":"This work was supported by the European Union (European Research Council Advanced grant no. 694539 and Human Brain Project Ref. 720270 to R. S.) and the Austrian Academy of Sciences (DOC fellowship to D.K.).","alternative_title":["Neuromethods"],"type":"book_chapter","oa_version":"None","department":[{"_id":"RySh"},{"_id":"EM-Fac"}],"project":[{"call_identifier":"H2020","name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","_id":"25CA28EA-B435-11E9-9278-68D0E5697425","grant_number":"694539"},{"grant_number":"720270","_id":"25CBA828-B435-11E9-9278-68D0E5697425","name":"Human Brain Project Specific Grant Agreement 1","call_identifier":"H2020"}],"keyword":["Freeze-fracture replica: Deep learning","Immunogold labeling","Integral membrane protein","Electron microscopy"],"month":"07","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","author":[{"full_name":"Kaufmann, Walter","first_name":"Walter","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","last_name":"Kaufmann","orcid":"0000-0001-9735-5315"},{"full_name":"Kleindienst, David","first_name":"David","id":"42E121A4-F248-11E8-B48F-1D18A9856A87","last_name":"Kleindienst"},{"last_name":"Harada","orcid":"0000-0001-7429-7896","id":"2E55CDF2-F248-11E8-B48F-1D18A9856A87","full_name":"Harada, Harumi","first_name":"Harumi"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi"}],"day":"27","article_processing_charge":"No","ec_funded":1,"quality_controlled":"1","language":[{"iso":"eng"}],"publication":" Receptor and Ion Channel Detection in the Brain","year":"2021","has_accepted_license":"1","date_created":"2021-07-30T09:34:56Z","citation":{"short":"W. Kaufmann, D. Kleindienst, H. Harada, R. Shigemoto, in:,  Receptor and Ion Channel Detection in the Brain, Humana, New York, 2021, pp. 267–283.","chicago":"Kaufmann, Walter, David Kleindienst, Harumi Harada, and Ryuichi Shigemoto. “High-Resolution Localization and Quantitation of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” In <i> Receptor and Ion Channel Detection in the Brain</i>, 169:267–83. Neuromethods. New York: Humana, 2021. <a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">https://doi.org/10.1007/978-1-0716-1522-5_19</a>.","apa":"Kaufmann, W., Kleindienst, D., Harada, H., &#38; Shigemoto, R. (2021). High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In <i> Receptor and Ion Channel Detection in the Brain</i> (Vol. 169, pp. 267–283). New York: Humana. <a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">https://doi.org/10.1007/978-1-0716-1522-5_19</a>","mla":"Kaufmann, Walter, et al. “High-Resolution Localization and Quantitation of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” <i> Receptor and Ion Channel Detection in the Brain</i>, vol. 169, Humana, 2021, pp. 267–83, doi:<a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">10.1007/978-1-0716-1522-5_19</a>.","ista":"Kaufmann W, Kleindienst D, Harada H, Shigemoto R. 2021.High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In:  Receptor and Ion Channel Detection in the Brain. Neuromethods, vol. 169, 267–283.","ama":"Kaufmann W, Kleindienst D, Harada H, Shigemoto R. High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In: <i> Receptor and Ion Channel Detection in the Brain</i>. Vol 169. Neuromethods. New York: Humana; 2021:267-283. doi:<a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">10.1007/978-1-0716-1522-5_19</a>","ieee":"W. Kaufmann, D. Kleindienst, H. Harada, and R. Shigemoto, “High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL),” in <i> Receptor and Ion Channel Detection in the Brain</i>, vol. 169, New York: Humana, 2021, pp. 267–283."},"ddc":["573"],"date_published":"2021-07-27T00:00:00Z","intvolume":"       169"},{"arxiv":1,"external_id":{"arxiv":["1906.09609"]},"type":"preprint","date_created":"2022-07-20T11:18:53Z","citation":{"ama":"Breton SN, Bugnet LA, Santos ARG, et al. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.1906.09609\">10.48550/arXiv.1906.09609</a>","ista":"Breton SN, Bugnet LA, Santos ARG, Saux AL, Mathur S, Palle PL, Garcia RA. Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. arXiv, 1906.09609.","ieee":"S. N. Breton <i>et al.</i>, “Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques,” <i>arXiv</i>. .","chicago":"Breton, S. N., Lisa Annabelle Bugnet, A. R. G. Santos, A. Le Saux, S. Mathur, P. L. Palle, and R. A. Garcia. “Determining Surface Rotation Periods of Solar-like Stars Observed by the Kepler Mission Using Machine Learning Techniques.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.1906.09609\">https://doi.org/10.48550/arXiv.1906.09609</a>.","short":"S.N. Breton, L.A. Bugnet, A.R.G. Santos, A.L. Saux, S. Mathur, P.L. Palle, R.A. Garcia, ArXiv (n.d.).","mla":"Breton, S. N., et al. “Determining Surface Rotation Periods of Solar-like Stars Observed by the Kepler Mission Using Machine Learning Techniques.” <i>ArXiv</i>, 1906.09609, doi:<a href=\"https://doi.org/10.48550/arXiv.1906.09609\">10.48550/arXiv.1906.09609</a>.","apa":"Breton, S. N., Bugnet, L. A., Santos, A. R. G., Saux, A. L., Mathur, S., Palle, P. L., &#38; Garcia, R. A. (n.d.). Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.1906.09609\">https://doi.org/10.48550/arXiv.1906.09609</a>"},"date_published":"2019-06-23T00:00:00Z","date_updated":"2022-08-22T08:16:53Z","publication_status":"submitted","publication":"arXiv","year":"2019","doi":"10.48550/arXiv.1906.09609","abstract":[{"lang":"eng","text":"For a solar-like star, the surface rotation evolves with time, allowing in principle to estimate the age of a star from its surface rotation period. Here we are interested in measuring surface rotation periods of solar-like stars observed by the NASA mission Kepler. Different methods have been developed to track rotation signals in Kepler photometric light curves: time-frequency analysis based on wavelet techniques, autocorrelation and composite spectrum. We use the learning abilities of random forest classifiers to take decisions during two crucial steps of the analysis. First, given some input parameters, we discriminate the considered Kepler targets between rotating MS stars, non-rotating MS stars, red giants, binaries and pulsators. We then use a second classifier only on the MS rotating targets to decide the best data analysis treatment."}],"extern":"1","language":[{"iso":"eng"}],"day":"23","article_processing_charge":"No","status":"public","keyword":["asteroseismology","rotation","solar-like stars","kepler","machine learning","random forest"],"month":"06","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Breton","first_name":"S. N.","full_name":"Breton, S. N."},{"full_name":"Bugnet, Lisa Annabelle","first_name":"Lisa Annabelle","id":"d9edb345-f866-11ec-9b37-d119b5234501","orcid":"0000-0003-0142-4000","last_name":"Bugnet"},{"full_name":"Santos, A. R. G.","first_name":"A. R. G.","last_name":"Santos"},{"full_name":"Saux, A. Le","first_name":"A. Le","last_name":"Saux"},{"full_name":"Mathur, S.","first_name":"S.","last_name":"Mathur"},{"full_name":"Palle, P. L.","first_name":"P. L.","last_name":"Palle"},{"full_name":"Garcia, R. A.","first_name":"R. A.","last_name":"Garcia"}],"title":"Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques","article_number":"1906.09609","oa":1,"_id":"11627","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1906.09609"}]},{"arxiv":1,"external_id":{"arxiv":["1906.09611"]},"type":"preprint","citation":{"mla":"Saux, A. Le, et al. “Automatic Classification of K2 Pulsating Stars Using Machine Learning Techniques.” <i>ArXiv</i>, 1906.09611, doi:<a href=\"https://doi.org/10.48550/arXiv.1906.09611\">10.48550/arXiv.1906.09611</a>.","apa":"Saux, A. L., Bugnet, L. A., Mathur, S., Breton, S. N., &#38; Garcia, R. A. (n.d.). Automatic classification of K2 pulsating stars using machine learning techniques. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.1906.09611\">https://doi.org/10.48550/arXiv.1906.09611</a>","chicago":"Saux, A. Le, Lisa Annabelle Bugnet, S. Mathur, S. N. Breton, and R. A. Garcia. “Automatic Classification of K2 Pulsating Stars Using Machine Learning Techniques.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.1906.09611\">https://doi.org/10.48550/arXiv.1906.09611</a>.","short":"A.L. Saux, L.A. Bugnet, S. Mathur, S.N. Breton, R.A. Garcia, ArXiv (n.d.).","ieee":"A. L. Saux, L. A. Bugnet, S. Mathur, S. N. Breton, and R. A. Garcia, “Automatic classification of K2 pulsating stars using machine learning techniques,” <i>arXiv</i>. .","ama":"Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.1906.09611\">10.48550/arXiv.1906.09611</a>","ista":"Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv, 1906.09611."},"date_created":"2022-07-21T06:57:10Z","date_updated":"2022-08-22T08:20:29Z","date_published":"2019-06-23T00:00:00Z","publication_status":"submitted","publication":"arXiv","year":"2019","doi":"10.48550/arXiv.1906.09611","abstract":[{"text":"The second mission of NASA’s Kepler satellite, K2, has collected hundreds of thousands of lightcurves for stars close to the ecliptic plane. This new sample could increase the number of known pulsating stars and then improve our understanding of those stars. For the moment only a few stars have been properly classified and published. In this work, we present a method to automaticly classify K2 pulsating stars using a Machine Learning technique called Random Forest. The objective is to sort out the stars in four classes: red giant (RG), main-sequence Solar-like stars (SL), classical pulsators (PULS) and Other. To do this we use the effective temperatures and the luminosities of the stars as well as the FliPer features, that measures the amount of power contained in the power spectral density. The classifier now retrieves the right classification for more than 80% of the stars.","lang":"eng"}],"language":[{"iso":"eng"}],"extern":"1","article_processing_charge":"No","day":"23","status":"public","keyword":["asteroseismology - methods","data analysis - thecniques","machine learning - stars","oscillations"],"month":"06","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"A. Le","full_name":"Saux, A. Le","last_name":"Saux"},{"full_name":"Bugnet, Lisa Annabelle","first_name":"Lisa Annabelle","orcid":"0000-0003-0142-4000","last_name":"Bugnet","id":"d9edb345-f866-11ec-9b37-d119b5234501"},{"full_name":"Mathur, S.","first_name":"S.","last_name":"Mathur"},{"last_name":"Breton","full_name":"Breton, S. N.","first_name":"S. N."},{"last_name":"Garcia","first_name":"R. A.","full_name":"Garcia, R. A."}],"title":"Automatic classification of K2 pulsating stars using machine learning techniques","article_number":"1906.09611","oa":1,"_id":"11630","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1906.09611"}]}]