[{"title":"Data-centric dynamic partial order reduction","author":[{"full_name":"Chalupa, Marek","last_name":"Chalupa","first_name":"Marek"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"id":"49704004-F248-11E8-B48F-1D18A9856A87","last_name":"Pavlogiannis","full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722","first_name":"Andreas"},{"last_name":"Sinha","full_name":"Sinha, Nishant","first_name":"Nishant"},{"first_name":"Kapil","last_name":"Vaidya","full_name":"Vaidya, Kapil"}],"publication_identifier":{"issn":["2664-1690"]},"publisher":"IST Austria","file":[{"checksum":"d2635c4cf013000f0a1b09e80f9e4ab7","creator":"system","relation":"main_file","file_id":"5487","access_level":"open_access","file_size":910347,"content_type":"application/pdf","file_name":"IST-2017-872-v1+1_main.pdf","date_updated":"2020-07-14T12:46:59Z","date_created":"2018-12-12T11:53:26Z"}],"file_date_updated":"2020-07-14T12:46:59Z","page":"36","_id":"5456","date_created":"2018-12-12T11:39:26Z","oa":1,"year":"2017","language":[{"iso":"eng"}],"day":"23","oa_version":"Published Version","type":"technical_report","month":"10","abstract":[{"lang":"eng","text":"We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.\r\nWe introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.\r\n1. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence.\r\n2. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence. \r\nFinally, we perform a basic experimental comparison between the existing Mazurkiewicz-based DPOR and our data-centric DPOR on a set of academic benchmarks. Our results show a significant reduction in both running time and the number of explored equivalence classes."}],"related_material":{"record":[{"relation":"earlier_version","id":"5448","status":"public"},{"id":"10417","status":"public","relation":"later_version"}]},"status":"public","doi":"10.15479/AT:IST-2017-872-v1-1","date_published":"2017-10-23T00:00:00Z","citation":{"mla":"Chalupa, Marek, et al. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">10.15479/AT:IST-2017-872-v1-1</a>.","apa":"Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &#38; Vaidya, K. (2017). <i>Data-centric dynamic partial order reduction</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">https://doi.org/10.15479/AT:IST-2017-872-v1-1</a>","ista":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction, IST Austria, 36p.","chicago":"Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria, 2017. <a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">https://doi.org/10.15479/AT:IST-2017-872-v1-1</a>.","ama":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria; 2017. doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">10.15479/AT:IST-2017-872-v1-1</a>","ieee":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, <i>Data-centric dynamic partial order reduction</i>. IST Austria, 2017.","short":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017."},"ddc":["000"],"has_accepted_license":"1","alternative_title":["IST Austria Technical Report"],"department":[{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","pubrep_id":"872","date_updated":"2025-05-20T09:45:08Z","fulldoi":"https://doi.org/10.15479/AT:IST-2017-872-v1-1"},{"isi":1,"doi":"10.1103/PhysRevE.96.060401","status":"public","project":[{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"main_file_link":[{"url":"https://arxiv.org/abs/1707.00320","open_access":"1"}],"citation":{"ieee":"D. De Martino, “Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes,” <i>Physical Review E</i>, vol. 96, no. 6. American Physical Society, 2017.","short":"D. De Martino, Physical Review E 96 (2017).","ama":"De Martino D. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. <i>Physical Review E</i>. 2017;96(6). doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">10.1103/PhysRevE.96.060401</a>","ista":"De Martino D. 2017. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 96(6), 060401.","chicago":"De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” <i>Physical Review E</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">https://doi.org/10.1103/PhysRevE.96.060401</a>.","apa":"De Martino, D. (2017). Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">https://doi.org/10.1103/PhysRevE.96.060401</a>","mla":"De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” <i>Physical Review E</i>, vol. 96, no. 6, 060401, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">10.1103/PhysRevE.96.060401</a>."},"date_published":"2017-12-21T00:00:00Z","external_id":{"isi":["000418574400001"],"arxiv":["1707.00320"]},"type":"journal_article","oa_version":"Submitted Version","publist_id":"7266","abstract":[{"lang":"eng","text":"In this work maximum entropy distributions in the space of steady states of metabolic networks are considered upon constraining the first and second moments of the growth rate. Coexistence of fast and slow phenotypes, with bimodal flux distributions, emerges upon considering control on the average growth (optimization) and its fluctuations (heterogeneity). This is applied to the carbon catabolic core of Escherichia coli where it quantifies the metabolic activity of slow growing phenotypes and it provides a quantitative map with metabolic fluxes, opening the possibility to detect coexistence from flux data. A preliminary analysis on data for E. coli cultures in standard conditions shows degeneracy for the inferred parameters that extend in the coexistence region."}],"month":"12","publication_status":"published","issue":"6","date_updated":"2025-09-18T09:41:11Z","fulldoi":"https://doi.org/10.1103/PhysRevE.96.060401","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","ec_funded":1,"alternative_title":["Rapid Communications"],"department":[{"_id":"GaTk"}],"article_processing_charge":"No","article_number":"060401","date_created":"2018-12-11T11:47:06Z","_id":"548","author":[{"id":"3FF5848A-F248-11E8-B48F-1D18A9856A87","last_name":"De Martino","full_name":"De Martino, Daniele","orcid":"0000-0002-5214-4706","first_name":"Daniele"}],"title":"Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes","quality_controlled":"1","scopus_import":"1","publication_identifier":{"issn":["2470-0045"]},"publisher":"American Physical Society","arxiv":1,"day":"21","publication":"Physical Review E","volume":96,"intvolume":"        96","oa":1,"corr_author":"1","language":[{"iso":"eng"}],"year":"2017"},{"corr_author":"1","language":[{"iso":"eng"}],"year":"2017","intvolume":"       259","conference":{"start_date":"2017-04-29","end_date":"2017-04-29","location":"Uppsala, Sweden","name":"CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies"},"oa":1,"volume":259,"publication":"Electronic Proceedings in Theoretical Computer Science","arxiv":1,"day":"10","file":[{"checksum":"6274f6c0da3376a7b079180d81568518","file_id":"4939","access_level":"open_access","creator":"system","relation":"main_file","content_type":"application/pdf","date_created":"2018-12-12T10:12:21Z","date_updated":"2020-07-14T12:47:00Z","file_name":"IST-2018-925-v1+1_1710.03391v1.pdf","file_size":209294}],"scopus_import":"1","publication_identifier":{"issn":["2075-2180"]},"publisher":"Open Publishing Association","author":[{"first_name":"Bernd","full_name":"Finkbeiner, Bernd","last_name":"Finkbeiner"},{"full_name":"Kupriyanov, Andrey","id":"2C311BF8-F248-11E8-B48F-1D18A9856A87","last_name":"Kupriyanov","first_name":"Andrey"}],"title":"Causality-based model checking","quality_controlled":"1","file_date_updated":"2020-07-14T12:47:00Z","_id":"549","date_created":"2018-12-11T11:47:07Z","page":"31 - 38","alternative_title":["EPTCS"],"department":[{"_id":"ToHe"}],"article_processing_charge":"No","has_accepted_license":"1","publication_status":"published","pubrep_id":"925","date_updated":"2025-09-18T09:38:35Z","fulldoi":"https://doi.org/10.4204/EPTCS.259.3","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"text":"Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a new class of model checking algorithms that capture the causal relationships in a special data structure called concurrent traces. Concurrent traces identify key events in an execution history and link them through their cause-effect relationships. The model checker builds a tableau of concurrent traces, where the case splits represent different causal explanations of a hypothetical error. Causality-based model checking has been implemented in the ARCTOR tool, and applied to previously intractable multi-threaded benchmarks.","lang":"eng"}],"month":"10","type":"conference","external_id":{"isi":["000439358700004"],"arxiv":["1710.03391"]},"oa_version":"Submitted Version","publist_id":"7264","citation":{"mla":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” <i>Electronic Proceedings in Theoretical Computer Science</i>, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:<a href=\"https://doi.org/10.4204/EPTCS.259.3\">10.4204/EPTCS.259.3</a>.","apa":"Finkbeiner, B., &#38; Kupriyanov, A. (2017). Causality-based model checking. In <i>Electronic Proceedings in Theoretical Computer Science</i> (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. <a href=\"https://doi.org/10.4204/EPTCS.259.3\">https://doi.org/10.4204/EPTCS.259.3</a>","ista":"Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.","chicago":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In <i>Electronic Proceedings in Theoretical Computer Science</i>, 259:31–38. Open Publishing Association, 2017. <a href=\"https://doi.org/10.4204/EPTCS.259.3\">https://doi.org/10.4204/EPTCS.259.3</a>.","ama":"Finkbeiner B, Kupriyanov A. Causality-based model checking. In: <i>Electronic Proceedings in Theoretical Computer Science</i>. Vol 259. Open Publishing Association; 2017:31-38. doi:<a href=\"https://doi.org/10.4204/EPTCS.259.3\">10.4204/EPTCS.259.3</a>","ieee":"B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in <i>Electronic Proceedings in Theoretical Computer Science</i>, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.","short":"B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38."},"ddc":["004"],"date_published":"2017-10-10T00:00:00Z","isi":1,"doi":"10.4204/EPTCS.259.3","project":[{"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"}],"status":"public","main_file_link":[{"url":"https://arxiv.org/abs/1710.03391","open_access":"1"}]},{"department":[{"_id":"LaEr"}],"has_accepted_license":"1","article_processing_charge":"No","article_number":"63","license":"https://creativecommons.org/licenses/by/4.0/","fulldoi":"https://doi.org/10.1214/17-ECP97","date_updated":"2026-04-08T14:11:36Z","publication_status":"published","pubrep_id":"926","ec_funded":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","external_id":{"isi":["000416389200001"]},"type":"journal_article","publist_id":"7265","oa_version":"Published Version","related_material":{"record":[{"relation":"dissertation_contains","id":"149","status":"public"}]},"abstract":[{"lang":"eng","text":"For large random matrices X with independent, centered entries but not necessarily identical variances, the eigenvalue density of XX* is well-approximated by a deterministic measure on ℝ. We show that the density of this measure has only square and cubic-root singularities away from zero. We also extend the bulk local law in [5] to the vicinity of these singularities."}],"month":"11","doi":"10.1214/17-ECP97","isi":1,"status":"public","project":[{"call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems"}],"ddc":["539"],"citation":{"apa":"Alt, J. (2017). Singularities of the density of states of random Gram matrices. <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/17-ECP97\">https://doi.org/10.1214/17-ECP97</a>","mla":"Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” <i>Electronic Communications in Probability</i>, vol. 22, 63, Institute of Mathematical Statistics, 2017, doi:<a href=\"https://doi.org/10.1214/17-ECP97\">10.1214/17-ECP97</a>.","short":"J. Alt, Electronic Communications in Probability 22 (2017).","ieee":"J. Alt, “Singularities of the density of states of random Gram matrices,” <i>Electronic Communications in Probability</i>, vol. 22. Institute of Mathematical Statistics, 2017.","ista":"Alt J. 2017. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 22, 63.","ama":"Alt J. Singularities of the density of states of random Gram matrices. <i>Electronic Communications in Probability</i>. 2017;22. doi:<a href=\"https://doi.org/10.1214/17-ECP97\">10.1214/17-ECP97</a>","chicago":"Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics, 2017. <a href=\"https://doi.org/10.1214/17-ECP97\">https://doi.org/10.1214/17-ECP97</a>."},"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"},"date_published":"2017-11-21T00:00:00Z","intvolume":"        22","oa":1,"language":[{"iso":"eng"}],"corr_author":"1","year":"2017","day":"21","volume":22,"publication":"Electronic Communications in Probability","author":[{"full_name":"Alt, Johannes","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87","last_name":"Alt","first_name":"Johannes"}],"quality_controlled":"1","title":"Singularities of the density of states of random Gram matrices","scopus_import":"1","file":[{"file_size":470876,"file_name":"IST-2018-926-v1+1_euclid.ecp.1511233247.pdf","date_created":"2018-12-12T10:08:04Z","date_updated":"2020-07-14T12:47:00Z","content_type":"application/pdf","checksum":"0ec05303a0de190de145654237984c79","relation":"main_file","creator":"system","access_level":"open_access","file_id":"4663"}],"publisher":"Institute of Mathematical Statistics","publication_identifier":{"issn":["1083-589X"]},"date_created":"2018-12-11T11:47:07Z","_id":"550","file_date_updated":"2020-07-14T12:47:00Z"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pubrep_id":"924","publication_status":"published","fulldoi":"https://doi.org/10.4230/LIPIcs.MFCS.2017.61","date_updated":"2025-07-10T11:52:51Z","article_number":"61","article_processing_charge":"No","has_accepted_license":"1","department":[{"_id":"KrCh"}],"alternative_title":["LIPIcs"],"date_published":"2017-11-01T00:00:00Z","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"},"ddc":["004"],"citation":{"apa":"Chatterjee, K., Ibsen-Jensen, R., &#38; Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.61\">https://doi.org/10.4230/LIPIcs.MFCS.2017.61</a>","mla":"Chatterjee, Krishnendu, et al. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” <i>Leibniz International Proceedings in Informatics</i>, vol. 83, 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.61\">10.4230/LIPIcs.MFCS.2017.61</a>.","ista":"Chatterjee K, Ibsen-Jensen R, Nowak M. 2017. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 83, 61.","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.61\">https://doi.org/10.4230/LIPIcs.MFCS.2017.61</a>.","ama":"Chatterjee K, Ibsen-Jensen R, Nowak M. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.61\">10.4230/LIPIcs.MFCS.2017.61</a>","short":"K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ieee":"K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, “Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs,” in <i>Leibniz International Proceedings in Informatics</i>, Aalborg, Denmark, 2017, vol. 83."},"status":"public","doi":"10.4230/LIPIcs.MFCS.2017.61","month":"11","abstract":[{"lang":"eng","text":"Evolutionary graph theory studies the evolutionary dynamics in a population structure given as a connected graph. Each node of the graph represents an individual of the population, and edges determine how offspring are placed. We consider the classical birth-death Moran process where there are two types of individuals, namely, the residents with fitness 1 and mutants with fitness r. The fitness indicates the reproductive strength. The evolutionary dynamics happens as follows: in the initial step, in a population of all resident individuals a mutant is introduced, and then at each step, an individual is chosen proportional to the fitness of its type to reproduce, and the offspring replaces a neighbor uniformly at random. The process stops when all individuals are either residents or mutants. The probability that all individuals in the end are mutants is called the fixation probability, which is a key factor in the rate of evolution. We consider the problem of approximating the fixation probability. The class of algorithms that is extremely relevant for approximation of the fixation probabilities is the Monte-Carlo simulation of the process. Previous results present a polynomial-time Monte-Carlo algorithm for undirected graphs when r is given in unary. First, we present a simple modification: instead of simulating each step, we discard ineffective steps, where no node changes type (i.e., either residents replace residents, or mutants replace mutants). Using the above simple modification and our result that the number of effective steps is concentrated around the expected number of effective steps, we present faster polynomial-time Monte-Carlo algorithms for undirected graphs. Our algorithms are always at least a factor O(n2/ log n) faster as compared to the previous algorithms, where n is the number of nodes, and is polynomial even if r is given in binary. We also present lower bounds showing that the upper bound on the expected number of effective steps we present is asymptotically tight for undirected graphs. "}],"oa_version":"Published Version","publist_id":"7263","type":"conference","volume":83,"publication":"Leibniz International Proceedings in Informatics","day":"01","year":"2017","corr_author":"1","language":[{"iso":"eng"}],"conference":{"name":"MFCS: Mathematical Foundations of Computer Science","location":"Aalborg, Denmark","end_date":"2017-08-25","start_date":"2017-08-21"},"oa":1,"intvolume":"        83","file_date_updated":"2020-07-14T12:47:00Z","date_created":"2018-12-11T11:47:08Z","_id":"551","publication_identifier":{"isbn":["978-395977046-0"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file":[{"checksum":"2eed5224c0e4e259484a1d71acb8ba6a","file_id":"5322","access_level":"open_access","relation":"main_file","creator":"system","content_type":"application/pdf","date_updated":"2020-07-14T12:47:00Z","date_created":"2018-12-12T10:18:04Z","file_name":"IST-2018-924-v1+1_LIPIcs-MFCS-2017-61.pdf","file_size":535077}],"scopus_import":"1","title":"Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs","quality_controlled":"1","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Rasmus","orcid":"0000-0003-4783-0389","last_name":"Ibsen-Jensen","id":"3B699956-F248-11E8-B48F-1D18A9856A87","full_name":"Ibsen-Jensen, Rasmus"},{"first_name":"Martin","last_name":"Nowak","full_name":"Nowak, Martin"}]},{"title":"Faster algorithms for mean-payoff parity games","quality_controlled":"1","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Monika H","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"last_name":"Svozil","full_name":"Svozil, Alexander","first_name":"Alexander"}],"publication_identifier":{"isbn":["978-395977046-0"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file":[{"content_type":"application/pdf","file_name":"IST-2018-923-v1+1_LIPIcs-MFCS-2017-39.pdf","date_created":"2018-12-12T10:16:57Z","date_updated":"2020-07-14T12:47:00Z","file_size":610339,"checksum":"c67f4866ddbfd555afef1f63ae9a8fc7","file_id":"5248","access_level":"open_access","creator":"system","relation":"main_file"}],"scopus_import":"1","file_date_updated":"2020-07-14T12:47:00Z","_id":"552","date_created":"2018-12-11T11:47:08Z","conference":{"end_date":"2017-08-25","start_date":"2017-08-21","location":"Aalborg, Denmark","name":"MFCS: Mathematical Foundations of Computer Science"},"oa":1,"intvolume":"        83","year":"2017","corr_author":"1","language":[{"iso":"eng"}],"day":"01","publication":"Leibniz International Proceedings in Informatics","volume":83,"oa_version":"Published Version","publist_id":"7262","type":"conference","month":"11","abstract":[{"lang":"eng","text":"Graph games provide the foundation for modeling and synthesis of reactive processes. Such games are played over graphs where the vertices are controlled by two adversarial players. We consider graph games where the objective of the first player is the conjunction of a qualitative objective (specified as a parity condition) and a quantitative objective (specified as a meanpayoff condition). There are two variants of the problem, namely, the threshold problem where the quantitative goal is to ensure that the mean-payoff value is above a threshold, and the value problem where the quantitative goal is to ensure the optimal mean-payoff value; in both cases ensuring the qualitative parity objective. The previous best-known algorithms for game graphs with n vertices, m edges, parity objectives with d priorities, and maximal absolute reward value W for mean-payoff objectives, are as follows: O(nd+1 . m . w) for the threshold problem, and O(nd+2 · m · W) for the value problem. Our main contributions are faster algorithms, and the running times of our algorithms are as follows: O(nd-1 · m ·W) for the threshold problem, and O(nd · m · W · log(n · W)) for the value problem. For mean-payoff parity objectives with two priorities, our algorithms match the best-known bounds of the algorithms for mean-payoff games (without conjunction with parity objectives). Our results are relevant in synthesis of reactive systems with both functional requirement (given as a qualitative objective) and performance requirement (given as a quantitative objective)."}],"status":"public","project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11407","name":"Game Theory"},{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"}],"doi":"10.4230/LIPIcs.MFCS.2017.39","tmp":{"short":"CC BY (3.0)","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","image":"/images/cc_by.png"},"date_published":"2017-11-01T00:00:00Z","ddc":["004"],"citation":{"short":"K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ieee":"K. Chatterjee, M. Henzinger, and A. Svozil, “Faster algorithms for mean-payoff parity games,” in <i>Leibniz International Proceedings in Informatics</i>, Aalborg, Denmark, 2017, vol. 83.","ama":"Chatterjee K, Henzinger M, Svozil A. Faster algorithms for mean-payoff parity games. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.39\">10.4230/LIPIcs.MFCS.2017.39</a>","ista":"Chatterjee K, Henzinger M, Svozil A. 2017. Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 83, 39.","chicago":"Chatterjee, Krishnendu, Monika Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.39\">https://doi.org/10.4230/LIPIcs.MFCS.2017.39</a>.","mla":"Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean-Payoff Parity Games.” <i>Leibniz International Proceedings in Informatics</i>, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.39\">10.4230/LIPIcs.MFCS.2017.39</a>.","apa":"Chatterjee, K., Henzinger, M., &#38; Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.39\">https://doi.org/10.4230/LIPIcs.MFCS.2017.39</a>"},"article_processing_charge":"No","has_accepted_license":"1","department":[{"_id":"KrCh"}],"alternative_title":["LIPIcs"],"license":"https://creativecommons.org/licenses/by/3.0/","article_number":"39","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"publication_status":"published","pubrep_id":"923","fulldoi":"https://doi.org/10.4230/LIPIcs.MFCS.2017.39","date_updated":"2025-07-10T11:52:52Z"},{"pubrep_id":"922","publication_status":"published","fulldoi":"https://doi.org/10.4230/LIPIcs.MFCS.2017.55","date_updated":"2025-06-04T09:37:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"alternative_title":["LIPIcs"],"article_processing_charge":"No","has_accepted_license":"1","article_number":"55","doi":"10.4230/LIPIcs.MFCS.2017.55","status":"public","main_file_link":[{"url":"https://arxiv.org/abs/1506.02434","open_access":"1"}],"ddc":["004"],"citation":{"ieee":"K. Chatterjee, K. Hansen, and R. Ibsen-Jensen, “Strategy complexity of concurrent safety games,” in <i>Leibniz International Proceedings in Informatics</i>, Aalborg, Denmark, 2017, vol. 83.","short":"K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ista":"Chatterjee K, Hansen K, Ibsen-Jensen R. 2017. Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 83, 55.","chicago":"Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.55\">https://doi.org/10.4230/LIPIcs.MFCS.2017.55</a>.","ama":"Chatterjee K, Hansen K, Ibsen-Jensen R. Strategy complexity of concurrent safety games. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.55\">10.4230/LIPIcs.MFCS.2017.55</a>","apa":"Chatterjee, K., Hansen, K., &#38; Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.55\">https://doi.org/10.4230/LIPIcs.MFCS.2017.55</a>","mla":"Chatterjee, Krishnendu, et al. “Strategy Complexity of Concurrent Safety Games.” <i>Leibniz International Proceedings in Informatics</i>, vol. 83, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.55\">10.4230/LIPIcs.MFCS.2017.55</a>."},"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"},"date_published":"2017-11-01T00:00:00Z","type":"conference","external_id":{"arxiv":["1506.02434"]},"oa_version":"Published Version","publist_id":"7261","abstract":[{"text":"We consider two player, zero-sum, finite-state concurrent reachability games, played for an infinite number of rounds, where in every round, each player simultaneously and independently of the other players chooses an action, whereafter the successor state is determined by a probability distribution given by the current state and the chosen actions. Player 1 wins iff a designated goal state is eventually visited. We are interested in the complexity of stationary strategies measured by their patience, which is defined as the inverse of the smallest non-zero probability employed. Our main results are as follows: We show that: (i) the optimal bound on the patience of optimal and -optimal strategies, for both players is doubly exponential; and (ii) even in games with a single non-absorbing state exponential (in the number of actions) patience is necessary. ","lang":"eng"}],"month":"11","arxiv":1,"day":"01","publication":"Leibniz International Proceedings in Informatics","volume":83,"intvolume":"        83","conference":{"start_date":"2017-08-21","end_date":"2017-08-25","name":"MFCS: Mathematical Foundations of Computer Science","location":"Aalborg, Denmark"},"oa":1,"corr_author":"1","language":[{"iso":"eng"}],"year":"2017","file_date_updated":"2020-07-14T12:47:00Z","date_created":"2018-12-11T11:47:08Z","_id":"553","author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Hansen, Kristofer","last_name":"Hansen","first_name":"Kristofer"},{"id":"3B699956-F248-11E8-B48F-1D18A9856A87","last_name":"Ibsen-Jensen","full_name":"Ibsen-Jensen, Rasmus","orcid":"0000-0003-4783-0389","first_name":"Rasmus"}],"title":"Strategy complexity of concurrent safety games","quality_controlled":"1","file":[{"content_type":"application/pdf","date_created":"2018-12-12T10:09:29Z","file_name":"IST-2018-922-v1+1_LIPIcs-MFCS-2017-55.pdf","date_updated":"2020-07-14T12:47:00Z","file_size":549967,"file_id":"4753","access_level":"open_access","relation":"main_file","creator":"system","checksum":"7101facb56ade363205c695d72dbd173"}],"scopus_import":"1","publication_identifier":{"isbn":["978-395977046-0"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik"},{"oa":1,"has_accepted_license":"1","datarep_id":"51","article_processing_charge":"No","department":[{"_id":"KrCh"}],"year":"2017","day":"02","keyword":["natural selection"],"ec_funded":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2025-04-15T08:12:19Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:51","title":"Strong amplifiers of natural selection","oa_version":"Published Version","author":[{"orcid":"0000-0002-8943-0722","first_name":"Andreas","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-1097-9684","first_name":"Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","last_name":"Tkadlec","full_name":"Tkadlec, Josef"},{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Martin","last_name":"Nowak ","full_name":"Nowak , Martin"}],"type":"research_data","publisher":"Institute of Science and Technology Austria","month":"01","related_material":{"record":[{"id":"5452","status":"public","relation":"research_paper"},{"relation":"research_paper","id":"5751","status":"public"}]},"abstract":[{"lang":"eng","text":"Strong amplifiers of natural selection"}],"file":[{"file_name":"IST-2017-51-v1+2_illustration.mp4","date_updated":"2020-07-14T12:47:02Z","date_created":"2018-12-12T13:05:18Z","content_type":"video/mp4","file_size":32987015,"checksum":"b427dd46a30096a1911b245640c47af8","access_level":"open_access","file_id":"5644","creator":"system","relation":"main_file"}],"project":[{"call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"}],"status":"public","doi":"10.15479/AT:ISTA:51","date_published":"2017-01-02T00:00:00Z","_id":"5559","date_created":"2018-12-12T12:31:32Z","citation":{"ieee":"A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak , “Strong amplifiers of natural selection.” Institute of Science and Technology Austria, 2017.","short":"A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).","chicago":"Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . “Strong Amplifiers of Natural Selection.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:51\">https://doi.org/10.15479/AT:ISTA:51</a>.","ista":"Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak  M. 2017. Strong amplifiers of natural selection, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:51\">10.15479/AT:ISTA:51</a>.","ama":"Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak  M. Strong amplifiers of natural selection. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:51\">10.15479/AT:ISTA:51</a>","mla":"Pavlogiannis, Andreas, et al. <i>Strong Amplifiers of Natural Selection</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:51\">10.15479/AT:ISTA:51</a>.","apa":"Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &#38; Nowak , M. (2017). Strong amplifiers of natural selection. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:51\">https://doi.org/10.15479/AT:ISTA:51</a>"},"ddc":["519"],"file_date_updated":"2020-07-14T12:47:02Z"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2025-09-11T07:05:03Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:53","day":"10","keyword":["single cell microscopy","mother machine microfluidic device","AcrAB-TolC pump","multi-drug efflux","Escherichia coli"],"year":"2017","license":"https://creativecommons.org/publicdomain/zero/1.0/","oa":1,"has_accepted_license":"1","article_processing_charge":"No","datarep_id":"53","department":[{"_id":"CaGu"},{"_id":"GaTk"},{"_id":"Bio"}],"date_published":"2017-03-10T00:00:00Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_created":"2018-12-12T12:31:32Z","_id":"5560","file_date_updated":"2020-07-14T12:47:03Z","ddc":["571"],"citation":{"mla":"Bergmiller, Tobias, et al. <i>Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:53\">10.15479/AT:ISTA:53</a>.","apa":"Bergmiller, T., Andersson, A. M., Tomasek, K., Balleza, E., Kiviet, D., Hauschild, R., … Guet, C. C. (2017). Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:53\">https://doi.org/10.15479/AT:ISTA:53</a>","short":"T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).","ieee":"T. Bergmiller <i>et al.</i>, “Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity.” Institute of Science and Technology Austria, 2017.","ama":"Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:53\">10.15479/AT:ISTA:53</a>","chicago":"Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:53\">https://doi.org/10.15479/AT:ISTA:53</a>.","ista":"Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:53\">10.15479/AT:ISTA:53</a>."},"status":"public","doi":"10.15479/AT:ISTA:53","month":"03","publisher":"Institute of Science and Technology Austria","abstract":[{"lang":"eng","text":"This repository contains the data collected for the manuscript \"Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity\".\r\nThe data is compressed into a single archive. Within the archive, different folders correspond to figures of the main text and the SI of the related publication.\r\nData is saved as plain text, with each folder containing a separate readme file describing the format. Typically, the data is from fluorescence microscopy measurements of single cells growing in a microfluidic \"mother machine\" device, and consists of relevant values (primarily arbitrary unit or normalized fluorescence measurements, and division times / growth rates) after raw microscopy images have been processed, segmented, and their features extracted, as described in the methods section of the related publication."}],"related_material":{"record":[{"relation":"research_paper","status":"public","id":"665"}]},"file":[{"checksum":"d77859af757ac8025c50c7b12b52eaf3","creator":"system","relation":"main_file","access_level":"open_access","file_id":"5603","file_size":6773204,"date_created":"2018-12-12T13:02:38Z","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-53-v1+1_Data_MDE.zip","content_type":"application/zip"}],"title":"Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity","oa_version":"Published Version","author":[{"last_name":"Bergmiller","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","full_name":"Bergmiller, Tobias","orcid":"0000-0001-5396-4346","first_name":"Tobias"},{"last_name":"Andersson","id":"2B8A40DA-F248-11E8-B48F-1D18A9856A87","full_name":"Andersson, Anna M","orcid":"0000-0003-2912-6769","first_name":"Anna M"},{"id":"3AEC8556-F248-11E8-B48F-1D18A9856A87","full_name":"Tomasek, Kathrin","last_name":"Tomasek","orcid":"0000-0003-3768-877X","first_name":"Kathrin"},{"last_name":"Balleza","full_name":"Balleza, Enrique","first_name":"Enrique"},{"full_name":"Kiviet, Daniel","last_name":"Kiviet","first_name":"Daniel"},{"last_name":"Hauschild","full_name":"Hauschild, Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0001-9843-3522"},{"full_name":"Tkacik, Gasper","last_name":"Tkacik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","first_name":"Gasper"},{"orcid":"0000-0001-6220-2052","first_name":"Calin C","last_name":"Guet","full_name":"Guet, Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"type":"research_data"},{"file_date_updated":"2020-07-14T12:47:03Z","ddc":["000"],"citation":{"apa":"Kainmueller, D., Jug, F., Rother, C., &#38; Meyers, G. (2017). Graph matching problems for annotating C. Elegans. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:57\">https://doi.org/10.15479/AT:ISTA:57</a>","mla":"Kainmueller, Dagmar, et al. <i>Graph Matching Problems for Annotating C. Elegans</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:57\">10.15479/AT:ISTA:57</a>.","ieee":"D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” Institute of Science and Technology Austria, 2017.","short":"D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).","ista":"Kainmueller D, Jug F, Rother C, Meyers G. 2017. Graph matching problems for annotating C. Elegans, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:57\">10.15479/AT:ISTA:57</a>.","chicago":"Kainmueller, Dagmar, Florian Jug, Carsten Rother, and Gene Meyers. “Graph Matching Problems for Annotating C. Elegans.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:57\">https://doi.org/10.15479/AT:ISTA:57</a>.","ama":"Kainmueller D, Jug F, Rother C, Meyers G. Graph matching problems for annotating C. Elegans. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:57\">10.15479/AT:ISTA:57</a>"},"date_created":"2018-12-12T12:31:32Z","_id":"5561","date_published":"2017-02-13T00:00:00Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"doi":"10.15479/AT:ISTA:57","status":"public","file":[{"creator":"system","relation":"main_file","file_id":"5614","access_level":"open_access","checksum":"3dc3e1306a66028a34181ebef2923139","file_size":327042819,"content_type":"application/zip","date_updated":"2020-07-14T12:47:03Z","date_created":"2018-12-12T13:02:54Z","file_name":"IST-2017-57-v1+1_wormMatchingProblems.zip"}],"abstract":[{"text":"Graph matching problems as described in \"Active Graph Matching for Automatic Joint Segmentation and Annotation of C. Elegans.\" by Kainmueller, Dagmar and Jug, Florian and Rother, Carsten and Myers, Gene, MICCAI 2014. Problems are in OpenGM2 hdf5 format (see http://hciweb2.iwr.uni-heidelberg.de/opengm/) and a custom text format used by the feature matching solver described in \"Feature Correspondence via Graph Matching: Models and Global Optimization.\" by Lorenzo Torresani, Vladimir Kolmogorov and Carsten Rother, ECCV 2008, code at http://pub.ist.ac.at/~vnk/software/GraphMatching-v1.02.src.zip. ","lang":"eng"}],"month":"02","publisher":"Institute of Science and Technology Austria","type":"research_data","author":[{"last_name":"Kainmueller","full_name":"Kainmueller, Dagmar","first_name":"Dagmar"},{"first_name":"Florian","last_name":"Jug","full_name":"Jug, Florian"},{"first_name":"Carsten","full_name":"Rother, Carsten","last_name":"Rother"},{"first_name":"Gene","last_name":"Meyers","full_name":"Meyers, Gene"}],"oa_version":"Published Version","title":"Graph matching problems for annotating C. Elegans","date_updated":"2024-02-21T13:46:31Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:57","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We thank Vladimir Kolmogorov and Stephan Saalfeld forinspiring discussions.","keyword":["graph matching","feature matching","QAP","MAP-inference"],"day":"13","year":"2017","department":[{"_id":"VlKo"}],"datarep_id":"57","article_processing_charge":"No","oa":1,"has_accepted_license":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.15479/AT:ISTA:61","date_updated":"2025-09-29T11:14:05Z","day":"27","keyword":["multi-electrode recording","retinal ganglion cells"],"year":"2017","has_accepted_license":"1","oa":1,"datarep_id":"61","article_processing_charge":"No","department":[{"_id":"GaTk"}],"tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_published":"2017-02-27T00:00:00Z","date_created":"2018-12-12T12:31:33Z","_id":"5562","ddc":["570"],"citation":{"apa":"Marre, O., Tkačik, G., Amodei, D., Schneidman, E., Bialek, W., &#38; Berry, M. (2017). Multi-electrode array recording from salamander retinal ganglion cells. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:61\">https://doi.org/10.15479/AT:ISTA:61</a>","mla":"Marre, Olivier, et al. <i>Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:61\">10.15479/AT:ISTA:61</a>.","ista":"Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. 2017. Multi-electrode array recording from salamander retinal ganglion cells, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:61\">10.15479/AT:ISTA:61</a>.","ama":"Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:61\">10.15479/AT:ISTA:61</a>","chicago":"Marre, Olivier, Gašper Tkačik, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:61\">https://doi.org/10.15479/AT:ISTA:61</a>.","short":"O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).","ieee":"O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Multi-electrode array recording from salamander retinal ganglion cells.” Institute of Science and Technology Austria, 2017."},"file_date_updated":"2020-07-14T12:47:03Z","status":"public","doi":"10.15479/AT:ISTA:61","publisher":"Institute of Science and Technology Austria","month":"02","abstract":[{"text":"This data was collected as part of the study [1]. It consists of preprocessed multi-electrode array recording from 160 salamander retinal ganglion cells responding to 297 repeats of a 19 s natural movie. The data is available in two formats: (1) a .mat file containing an array with dimensions “number of repeats” x “number of neurons” x “time in a repeat”; (2) a zipped .txt file containing the same data represented as an array with dimensions “number of neurons” x “number of samples”, where the number of samples is equal to the product of the number of repeats and timebins within a repeat. The time dimension is divided into 20 ms time windows, and the array is binary indicating whether a given cell elicited at least one spike in a given time window during a particular repeat. See the reference below for details regarding collection and preprocessing:\r\n\r\n[1] Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry MJ II. Searching for Collective Behavior in a Large Network of Sensory Neurons. PLoS Comput Biol. 2014;10(1):e1003408.","lang":"eng"}],"related_material":{"record":[{"id":"2257","status":"public","relation":"used_in_publication"}]},"file":[{"file_size":1336936,"content_type":"application/octet-stream","date_created":"2018-12-12T13:03:04Z","file_name":"IST-2017-61-v1+1_bint_fishmovie32_100.mat","date_updated":"2020-07-14T12:47:03Z","relation":"main_file","creator":"system","file_id":"5622","access_level":"open_access","checksum":"e620eff260646f57b479a69492c8b765"},{"file_id":"5623","access_level":"open_access","relation":"main_file","creator":"system","checksum":"de83f9b81ea0aae3cddfc3ed982e0759","content_type":"application/zip","file_name":"IST-2017-61-v1+2_bint_fishmovie32_100.zip","date_updated":"2020-07-14T12:47:03Z","date_created":"2018-12-12T13:03:05Z","file_size":1897543}],"oa_version":"Published Version","title":"Multi-electrode array recording from salamander retinal ganglion cells","author":[{"full_name":"Marre, Olivier","last_name":"Marre","first_name":"Olivier"},{"first_name":"Gasper","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","last_name":"Tkacik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Dario","full_name":"Amodei, Dario","last_name":"Amodei"},{"full_name":"Schneidman, Elad","last_name":"Schneidman","first_name":"Elad"},{"first_name":"William","full_name":"Bialek, William","last_name":"Bialek"},{"first_name":"Michael","full_name":"Berry, Michael","last_name":"Berry"}],"type":"research_data"},{"month":"03","publisher":"Institute of Science and Technology Austria","file":[{"file_size":296722548,"content_type":"application/zip","date_updated":"2020-07-14T12:47:03Z","date_created":"2018-12-12T13:02:37Z","file_name":"IST-2016-45-v1+1_PaperCode.zip","checksum":"ee697f2b1ade4dc14d6ac0334dd832ab","creator":"system","relation":"main_file","file_id":"5602","access_level":"open_access"}],"abstract":[{"text":"MATLAB code and processed datasets available for reproducing the results in: \r\nLukačišin, M.*, Landon, M.*, Jajoo, R*. (2016) Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.\r\n*equal contributions","lang":"eng"}],"oa_version":"Published Version","title":"MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'","type":"research_data","author":[{"id":"298FFE8C-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisin","full_name":"Lukacisin, Martin","orcid":"0000-0001-6549-4177","first_name":"Martin"}],"tmp":{"image":"/images/cc_by_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","short":"CC BY-SA (4.0)"},"date_published":"2017-03-20T00:00:00Z","ddc":["571"],"file_date_updated":"2020-07-14T12:47:03Z","citation":{"apa":"Lukacisin, M. (2017). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:64\">https://doi.org/10.15479/AT:ISTA:64</a>","mla":"Lukacisin, Martin. <i>MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.”</i> Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:64\">10.15479/AT:ISTA:64</a>.","ista":"Lukacisin M. 2017. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:64\">10.15479/AT:ISTA:64</a>.","ama":"Lukacisin M. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:64\">10.15479/AT:ISTA:64</a>","chicago":"Lukacisin, Martin. “MATLAB Analysis Code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:64\">https://doi.org/10.15479/AT:ISTA:64</a>.","short":"M. Lukacisin, (2017).","ieee":"M. Lukacisin, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2017."},"date_created":"2018-12-12T12:31:33Z","_id":"5563","status":"public","doi":"10.15479/AT:ISTA:64","license":"https://creativecommons.org/licenses/by-sa/4.0/","year":"2017","datarep_id":"64","article_processing_charge":"No","oa":1,"has_accepted_license":"1","department":[{"_id":"ToBo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.15479/AT:ISTA:64","date_updated":"2024-02-21T13:46:47Z","day":"20"},{"department":[{"_id":"CaGu"}],"article_processing_charge":"No","datarep_id":"65","has_accepted_license":"1","oa":1,"year":"2017","day":"11","date_updated":"2025-09-10T11:06:52Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:65","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"research_data","author":[{"orcid":"0000-0003-1229-9719","first_name":"Magdalena","full_name":"Steinrück, Magdalena","last_name":"Steinrück","id":"2C023F40-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Calin C","orcid":"0000-0001-6220-2052","full_name":"Guet, Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"title":"Fastq files for \"Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection\"","oa_version":"Published Version","file":[{"checksum":"31a0c01d022721073241a23d192cc37e","creator":"system","relation":"main_file","access_level":"open_access","file_id":"5627","file_size":1225959109,"date_created":"2018-12-12T13:03:18Z","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-65-v1+1_D_anc_1.fastq.zip","content_type":"application/zip"},{"checksum":"d8f26f83ce7e7e45436121f9c6cd9b83","creator":"system","relation":"main_file","file_id":"5628","access_level":"open_access","file_size":1422656107,"content_type":"application/zip","date_created":"2018-12-12T13:03:30Z","file_name":"IST-2017-65-v1+1_D_anc_2.fastq.zip","date_updated":"2020-07-14T12:47:03Z"},{"file_size":565014975,"date_created":"2018-12-12T13:03:33Z","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-65-v1+2_D_A11_1.fastq.zip","content_type":"application/zip","checksum":"e07b99bcfe55b5f132ca03b8b48c8cbc","creator":"system","relation":"main_file","access_level":"open_access","file_id":"5629"},{"creator":"system","relation":"main_file","access_level":"open_access","file_id":"5630","checksum":"eda86143d5f32d844b54f8530041e32b","file_size":564490030,"date_created":"2018-12-12T13:03:42Z","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-65-v1+3_D_A11_2.fastq.zip","content_type":"application/zip"},{"checksum":"906d44f950c1626d9b99f34fbf89cb12","access_level":"open_access","file_id":"5631","creator":"system","relation":"main_file","date_created":"2018-12-12T13:03:46Z","file_name":"IST-2017-65-v1+4_D_C10_1.fastq.zip","date_updated":"2020-07-14T12:47:03Z","content_type":"application/zip","file_size":875430169},{"file_size":638298201,"content_type":"application/zip","date_updated":"2020-07-14T12:47:03Z","date_created":"2018-12-12T13:03:54Z","file_name":"IST-2017-65-v1+6_D_C08_2.fastq.zip","checksum":"6ca14a032a79e0c787106bdf635725c9","relation":"main_file","creator":"system","file_id":"5632","access_level":"open_access"},{"creator":"system","relation":"main_file","access_level":"open_access","file_id":"5633","checksum":"66ab16ddb5ba64b2e263ef746ebf2893","file_size":894702866,"date_created":"2018-12-12T13:04:01Z","file_name":"IST-2017-65-v1+5_D_C10_2.fastq.zip","date_updated":"2020-07-14T12:47:03Z","content_type":"application/zip"},{"relation":"main_file","creator":"system","access_level":"open_access","file_id":"5634","checksum":"82607970174f8d37773b7d3acc712195","file_size":623648989,"date_created":"2018-12-12T13:04:07Z","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-65-v1+7_D_C08_1.fastq.zip","content_type":"application/zip"},{"file_size":259359583,"content_type":"application/zip","date_updated":"2020-07-14T12:47:03Z","file_name":"IST-2017-65-v1+8_D_D08_1.fastq.zip","date_created":"2018-12-12T13:04:11Z","creator":"system","relation":"main_file","file_id":"5635","access_level":"open_access","checksum":"225c30b243268c7dda9d6f8327933252"}],"abstract":[{"text":"Compressed Fastq files with whole-genome sequencing data of IS-wt strain D and clones from four evolved populations (A11, C08, C10, D08). Information on this data collection is available in the Methods Section of the primary publication.","lang":"eng"}],"related_material":{"record":[{"id":"704","status":"public","relation":"research_paper"}]},"publisher":"Institute of Science and Technology Austria","month":"04","doi":"10.15479/AT:ISTA:65","status":"public","file_date_updated":"2020-07-14T12:47:03Z","ddc":["576"],"citation":{"mla":"Steinrück, Magdalena, and Calin C. Guet. <i>Fastq Files for “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.”</i> Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:65\">10.15479/AT:ISTA:65</a>.","apa":"Steinrück, M., &#38; Guet, C. C. (2017). Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:65\">https://doi.org/10.15479/AT:ISTA:65</a>","chicago":"Steinrück, Magdalena, and Calin C Guet. “Fastq Files for ‘Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.’” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:65\">https://doi.org/10.15479/AT:ISTA:65</a>.","ista":"Steinrück M, Guet CC. 2017. Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:65\">10.15479/AT:ISTA:65</a>.","ama":"Steinrück M, Guet CC. Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:65\">10.15479/AT:ISTA:65</a>","ieee":"M. Steinrück and C. C. Guet, “Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.’” Institute of Science and Technology Austria, 2017.","short":"M. Steinrück, C.C. Guet, (2017)."},"_id":"5564","date_created":"2018-12-12T12:31:33Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_published":"2017-04-11T00:00:00Z"},{"year":"2017","department":[{"_id":"Bio"}],"datarep_id":"69","article_processing_charge":"No","oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.15479/AT:ISTA:69","date_updated":"2025-04-15T07:48:05Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["tool","tracking","confocal microscopy"],"day":"21","file":[{"checksum":"a976000e6715106724a271cc9422be4a","creator":"system","relation":"main_file","file_id":"5636","access_level":"open_access","file_size":1587986,"content_type":"application/zip","file_name":"IST-2017-69-v1+2_TipTrackerZeissLSM700.zip","date_updated":"2020-07-14T12:47:04Z","date_created":"2018-12-12T13:04:12Z"}],"abstract":[{"lang":"eng","text":"Current minimal version of TipTracker"}],"related_material":{"record":[{"status":"public","id":"946","relation":"research_paper"}]},"publisher":"Institute of Science and Technology Austria","month":"07","type":"research_data","author":[{"id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","last_name":"Hauschild","full_name":"Hauschild, Robert","orcid":"0000-0001-9843-3522","first_name":"Robert"}],"oa_version":"Published Version","title":"Live tracking of moving samples in confocal microscopy for vertically grown roots","citation":{"ieee":"R. Hauschild, “Live tracking of moving samples in confocal microscopy for vertically grown roots.” Institute of Science and Technology Austria, 2017.","short":"R. Hauschild, (2017).","chicago":"Hauschild, Robert. “Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:69\">https://doi.org/10.15479/AT:ISTA:69</a>.","ista":"Hauschild R. 2017. Live tracking of moving samples in confocal microscopy for vertically grown roots, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:69\">10.15479/AT:ISTA:69</a>.","ama":"Hauschild R. Live tracking of moving samples in confocal microscopy for vertically grown roots. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:69\">10.15479/AT:ISTA:69</a>","mla":"Hauschild, Robert. <i>Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:69\">10.15479/AT:ISTA:69</a>.","apa":"Hauschild, R. (2017). Live tracking of moving samples in confocal microscopy for vertically grown roots. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:69\">https://doi.org/10.15479/AT:ISTA:69</a>"},"ddc":["570"],"file_date_updated":"2020-07-14T12:47:04Z","date_created":"2018-12-12T12:31:34Z","_id":"5566","tmp":{"image":"/images/cc_by_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","short":"CC BY-SA (4.0)"},"date_published":"2017-07-21T00:00:00Z","doi":"10.15479/AT:ISTA:69","status":"public"},{"tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_published":"2017-08-09T00:00:00Z","date_created":"2018-12-12T12:31:34Z","_id":"5567","ddc":["570"],"file_date_updated":"2020-07-14T12:47:04Z","citation":{"apa":"Leithner, A. F. (2017). Immunological synapse DC-Tcells. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:71\">https://doi.org/10.15479/AT:ISTA:71</a>","mla":"Leithner, Alexander F. <i>Immunological Synapse DC-Tcells</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:71\">10.15479/AT:ISTA:71</a>.","ista":"Leithner AF. 2017. Immunological synapse DC-Tcells, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:71\">10.15479/AT:ISTA:71</a>.","ama":"Leithner AF. Immunological synapse DC-Tcells. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:71\">10.15479/AT:ISTA:71</a>","chicago":"Leithner, Alexander F. “Immunological Synapse DC-Tcells.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:71\">https://doi.org/10.15479/AT:ISTA:71</a>.","ieee":"A. F. Leithner, “Immunological synapse DC-Tcells.” Institute of Science and Technology Austria, 2017.","short":"A.F. Leithner, (2017)."},"status":"public","doi":"10.15479/AT:ISTA:71","publisher":"Institute of Science and Technology Austria","month":"08","abstract":[{"lang":"eng","text":"Immunological synapse DC-Tcells"}],"file":[{"file_size":236204020,"content_type":"video/x-msvideo","date_updated":"2020-07-14T12:47:04Z","file_name":"IST-2017-71-v1+1_Synapse_1.avi","date_created":"2018-12-12T13:02:47Z","creator":"system","relation":"main_file","file_id":"5612","access_level":"open_access","checksum":"3d6942d47d0737d064706b5728c4d8c8"},{"file_size":226232496,"file_name":"IST-2017-71-v1+2_Synapse_2.avi","date_updated":"2020-07-14T12:47:04Z","date_created":"2018-12-12T13:02:51Z","content_type":"video/x-msvideo","checksum":"4850006c047b0147a9e85b3c2f6f0af4","relation":"main_file","creator":"system","access_level":"open_access","file_id":"5613"}],"title":"Immunological synapse DC-Tcells","oa_version":"Published Version","author":[{"orcid":"0000-0002-1073-744X","first_name":"Alexander F","last_name":"Leithner","full_name":"Leithner, Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87"}],"type":"research_data","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.15479/AT:ISTA:71","date_updated":"2024-02-21T13:47:00Z","day":"09","keyword":["Immunological synapse"],"year":"2017","has_accepted_license":"1","oa":1,"datarep_id":"71","article_processing_charge":"No","department":[{"_id":"MiSi"}]},{"department":[{"_id":"Bio"}],"oa":1,"has_accepted_license":"1","article_processing_charge":"No","datarep_id":"75","year":"2017","day":"04","keyword":["Cell migration","tracking","forward migration index","FMI"],"date_updated":"2024-02-21T13:47:14Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:75","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Robert","orcid":"0000-0001-9843-3522","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","full_name":"Hauschild, Robert","last_name":"Hauschild"}],"type":"research_data","title":"Forward migration indexes","oa_version":"Published Version","abstract":[{"lang":"eng","text":"Matlab script to calculate the forward migration indexes (<d_y>/<L>) from TrackMate spot-statistics files."}],"file":[{"date_created":"2018-12-12T13:02:29Z","date_updated":"2020-07-14T12:47:04Z","file_name":"IST-2017-75-v1+1_FMI.m","content_type":"application/octet-stream","file_size":799,"access_level":"open_access","file_id":"5596","relation":"main_file","creator":"system","checksum":"cb7a2fa622460eca6231d659ce590e32"}],"publisher":"Institute of Science and Technology Austria","month":"10","doi":"10.15479/AT:ISTA:75","status":"public","_id":"5570","date_created":"2018-12-12T12:31:35Z","ddc":["570"],"citation":{"ama":"Hauschild R. Forward migration indexes. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:75\">10.15479/AT:ISTA:75</a>","chicago":"Hauschild, Robert. “Forward Migration Indexes.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:75\">https://doi.org/10.15479/AT:ISTA:75</a>.","ista":"Hauschild R. 2017. Forward migration indexes, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:75\">10.15479/AT:ISTA:75</a>.","short":"R. Hauschild, (2017).","ieee":"R. Hauschild, “Forward migration indexes.” Institute of Science and Technology Austria, 2017.","mla":"Hauschild, Robert. <i>Forward Migration Indexes</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:75\">10.15479/AT:ISTA:75</a>.","apa":"Hauschild, R. (2017). Forward migration indexes. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:75\">https://doi.org/10.15479/AT:ISTA:75</a>"},"file_date_updated":"2020-07-14T12:47:04Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_published":"2017-10-04T00:00:00Z"},{"status":"public","doi":"10.15479/AT:ISTA:78","date_published":"2017-11-06T00:00:00Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"date_created":"2018-12-12T12:31:36Z","_id":"5571","ddc":["576"],"file_date_updated":"2020-07-14T12:47:04Z","citation":{"mla":"Vicoso, Beatriz. <i>Data for “The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.”</i> Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:78\">10.15479/AT:ISTA:78</a>.","apa":"Vicoso, B. (2017). Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:78\">https://doi.org/10.15479/AT:ISTA:78</a>","ama":"Vicoso B. Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:78\">10.15479/AT:ISTA:78</a>","ista":"Vicoso B. 2017. Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:78\">10.15479/AT:ISTA:78</a>.","chicago":"Vicoso, Beatriz. “Data for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:78\">https://doi.org/10.15479/AT:ISTA:78</a>.","short":"B. Vicoso, (2017).","ieee":"B. Vicoso, “Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.’” Institute of Science and Technology Austria, 2017."},"title":"Data for \"The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology\"","oa_version":"Submitted Version","author":[{"orcid":"0000-0002-4579-8306","first_name":"Beatriz","full_name":"Vicoso, Beatriz","last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"}],"type":"research_data","publisher":"Institute of Science and Technology Austria","month":"11","related_material":{"record":[{"id":"542","status":"public","relation":"research_paper"}]},"abstract":[{"lang":"eng","text":"This folder contains all the data used in each of the main figures of \"The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology\" (Kelemen, R., Vicoso, B.), as well as in the supplementary figures. \r\n"}],"file":[{"checksum":"4520eb2b8379417ee916995719158f16","access_level":"open_access","file_id":"5618","creator":"system","relation":"main_file","date_updated":"2020-07-14T12:47:04Z","date_created":"2018-12-12T13:03:00Z","file_name":"IST-2017-78-v1+1_Data.zip","content_type":"application/zip","file_size":143697895}],"day":"06","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.15479/AT:ISTA:78","date_updated":"2025-04-15T07:49:49Z","oa":1,"has_accepted_license":"1","datarep_id":"78","contributor":[{"contributor_type":"contact_person","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso"}],"article_processing_charge":"No","department":[{"_id":"BeVi"}],"year":"2017"},{"publisher":"Institute of Science and Technology Austria","month":"11","file":[{"checksum":"3e70a7bcd6ff0c38b79e4c8a7d137034","file_id":"5643","access_level":"open_access","creator":"system","relation":"main_file","content_type":"application/zip","date_updated":"2020-07-14T12:47:05Z","file_name":"IST-2017-79-v1+1_Code.zip","date_created":"2018-12-12T13:05:15Z","file_size":49823}],"related_material":{"record":[{"relation":"research_paper","id":"542","status":"public"}]},"abstract":[{"text":"Code described in the Supplementary Methods of \"The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology\" (Kelemen, R., Vicoso, B.)","lang":"eng"}],"oa_version":"Submitted Version","title":"Code for \"The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology\"","type":"research_data","author":[{"orcid":"0000-0002-4579-8306","first_name":"Beatriz","last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","full_name":"Vicoso, Beatriz"}],"date_published":"2017-11-06T00:00:00Z","tmp":{"image":"/images/cc_0.png","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"ddc":["576"],"citation":{"mla":"Vicoso, Beatriz. <i>Code for “The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.”</i> Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:79 \">10.15479/AT:ISTA:79 </a>.","apa":"Vicoso, B. (2017). Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:79 \">https://doi.org/10.15479/AT:ISTA:79 </a>","chicago":"Vicoso, Beatriz. “Code for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:79 \">https://doi.org/10.15479/AT:ISTA:79 </a>.","ama":"Vicoso B. Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:79 \">10.15479/AT:ISTA:79 </a>","ista":"Vicoso B. 2017. Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:79 \">10.15479/AT:ISTA:79 </a>.","ieee":"B. Vicoso, “Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.’” Institute of Science and Technology Austria, 2017.","short":"B. Vicoso, (2017)."},"file_date_updated":"2020-07-14T12:47:05Z","_id":"5572","date_created":"2018-12-12T12:31:36Z","status":"public","doi":"10.15479/AT:ISTA:79 ","year":"2017","datarep_id":"79","article_processing_charge":"No","has_accepted_license":"1","oa":1,"department":[{"_id":"BeVi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.15479/AT:ISTA:79 ","date_updated":"2025-04-15T07:49:49Z","day":"06"},{"intvolume":"        13","language":[{"iso":"eng"}],"year":"2017","day":"01","publication":"Biology Letters","volume":13,"article_type":"original","author":[{"full_name":"Futo, Momir","last_name":"Futo","first_name":"Momir"},{"last_name":"Sell","full_name":"Sell, Marie","first_name":"Marie"},{"first_name":"Megan","orcid":"0000-0002-8696-6978","full_name":"Kutzer, Megan","last_name":"Kutzer","id":"29D0B332-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kurtz","full_name":"Kurtz, Joachim","first_name":"Joachim"}],"title":"Specificity of oral immune priming in the red flour beetle Tribolium castaneum","quality_controlled":"1","scopus_import":"1","publication_identifier":{"issn":["1744-9561"]},"publisher":"The Royal Society","date_created":"2018-12-11T11:47:10Z","_id":"558","department":[{"_id":"SyCr"}],"article_processing_charge":"No","article_number":"0632","pmid":1,"issue":"12","publication_status":"published","date_updated":"2025-09-11T08:07:58Z","fulldoi":"https://doi.org/10.1098/rsbl.2017.0632","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","external_id":{"isi":["000418695400010"],"pmid":["29237813"]},"oa_version":"None","publist_id":"7255","abstract":[{"text":"Immune specificity is the degree to which a host’s immune system discriminates among various pathogens or antigenic variants. Vertebrate immune memory is highly specific due to antibody responses. On the other hand, some invertebrates show immune priming, i.e. improved survival after secondary exposure to a previously encountered pathogen. Until now, specificity of priming has only been demonstrated via the septic infection route or when live pathogens were used for priming. Therefore, we tested for specificity in the oral priming route in the red flour beetle, Tribolium castaneum. For priming, we used pathogen-free supernatants derived from three different strains of the entomopathogen, Bacillus thuringiensis, which express different Cry toxin variants known for their toxicity against this beetle. Subsequent exposure to the infective spores showed that oral priming was specific for two naturally occurring strains, while a third engineered strain did not induce any priming effect. Our data demonstrate that oral immune priming with a non-infectious bacterial agent can be specific, but the priming effect is not universal across all bacterial strains.","lang":"eng"}],"month":"12","isi":1,"doi":"10.1098/rsbl.2017.0632","status":"public","citation":{"mla":"Futo, Momir, et al. “Specificity of Oral Immune Priming in the Red Flour Beetle Tribolium Castaneum.” <i>Biology Letters</i>, vol. 13, no. 12, 0632, The Royal Society, 2017, doi:<a href=\"https://doi.org/10.1098/rsbl.2017.0632\">10.1098/rsbl.2017.0632</a>.","apa":"Futo, M., Sell, M., Kutzer, M., &#38; Kurtz, J. (2017). Specificity of oral immune priming in the red flour beetle Tribolium castaneum. <i>Biology Letters</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rsbl.2017.0632\">https://doi.org/10.1098/rsbl.2017.0632</a>","ieee":"M. Futo, M. Sell, M. Kutzer, and J. Kurtz, “Specificity of oral immune priming in the red flour beetle Tribolium castaneum,” <i>Biology Letters</i>, vol. 13, no. 12. The Royal Society, 2017.","short":"M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).","chicago":"Futo, Momir, Marie Sell, Megan Kutzer, and Joachim Kurtz. “Specificity of Oral Immune Priming in the Red Flour Beetle Tribolium Castaneum.” <i>Biology Letters</i>. The Royal Society, 2017. <a href=\"https://doi.org/10.1098/rsbl.2017.0632\">https://doi.org/10.1098/rsbl.2017.0632</a>.","ama":"Futo M, Sell M, Kutzer M, Kurtz J. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. <i>Biology Letters</i>. 2017;13(12). doi:<a href=\"https://doi.org/10.1098/rsbl.2017.0632\">10.1098/rsbl.2017.0632</a>","ista":"Futo M, Sell M, Kutzer M, Kurtz J. 2017. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 13(12), 0632."},"date_published":"2017-12-01T00:00:00Z"},{"language":[{"iso":"eng"}],"year":"2017","intvolume":"       473","oa":1,"volume":473,"publication":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences","arxiv":1,"day":"01","scopus_import":"1","publisher":"Royal Society of London","publication_identifier":{"issn":["1364-5021"]},"author":[{"first_name":"Mate","full_name":"Gerencser, Mate","id":"44ECEDF2-F248-11E8-B48F-1D18A9856A87","last_name":"Gerencser"},{"full_name":"Jentzen, Arnulf","last_name":"Jentzen","first_name":"Arnulf"},{"last_name":"Salimova","full_name":"Salimova, Diyora","first_name":"Diyora"}],"quality_controlled":"1","title":"On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions","_id":"560","date_created":"2018-12-11T11:47:11Z","article_number":"0104","department":[{"_id":"JaMa"}],"article_processing_charge":"No","fulldoi":"https://doi.org/10.1098/rspa.2017.0104","date_updated":"2025-09-18T07:33:24Z","issue":"2207","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","ec_funded":1,"abstract":[{"lang":"eng","text":"In a recent article (Jentzen et al. 2016 Commun. Math. Sci. 14, 1477–1500 (doi:10.4310/CMS.2016.v14. n6.a1)), it has been established that, for every arbitrarily slow convergence speed and every natural number d ? {4, 5, . . .}, there exist d-dimensional stochastic differential equations with infinitely often differentiable and globally bounded coefficients such that no approximation method based on finitely many observations of the driving Brownian motion can converge in absolute mean to the solution faster than the given speed of convergence. In this paper, we strengthen the above result by proving that this slow convergence phenomenon also arises in two (d = 2) and three (d = 3) space dimensions."}],"month":"11","external_id":{"arxiv":["1702.03229"],"isi":["000416736700003"]},"type":"journal_article","publist_id":"7256","oa_version":"Submitted Version","citation":{"chicago":"Gerencser, Mate, Arnulf Jentzen, and Diyora Salimova. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. Royal Society of London, 2017. <a href=\"https://doi.org/10.1098/rspa.2017.0104\">https://doi.org/10.1098/rspa.2017.0104</a>.","ama":"Gerencser M, Jentzen A, Salimova D. On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. 2017;473(2207). doi:<a href=\"https://doi.org/10.1098/rspa.2017.0104\">10.1098/rspa.2017.0104</a>","ista":"Gerencser M, Jentzen A, Salimova D. 2017. On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 473(2207), 0104.","short":"M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).","ieee":"M. Gerencser, A. Jentzen, and D. Salimova, “On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions,” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 473, no. 2207. Royal Society of London, 2017.","apa":"Gerencser, M., Jentzen, A., &#38; Salimova, D. (2017). On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. Royal Society of London. <a href=\"https://doi.org/10.1098/rspa.2017.0104\">https://doi.org/10.1098/rspa.2017.0104</a>","mla":"Gerencser, Mate, et al. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 473, no. 2207, 0104, Royal Society of London, 2017, doi:<a href=\"https://doi.org/10.1098/rspa.2017.0104\">10.1098/rspa.2017.0104</a>."},"date_published":"2017-11-01T00:00:00Z","doi":"10.1098/rspa.2017.0104","isi":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1702.03229"}],"status":"public","project":[{"call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}]}]