[{"oa":1,"volume":69,"publication":"Journal of Mathematical Biology","doi":"10.1007/s00285-013-0738-7","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"4990","day":"20","status":"public","year":"2014","language":[{"iso":"eng"}],"month":"11","quality_controlled":"1","scopus_import":1,"oa_version":"Submitted Version","citation":{"ista":"Ganguly A, Petrov T, Koeppl H. 2014. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 69(3), 767–797.","ama":"Ganguly A, Petrov T, Koeppl H. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 2014;69(3):767-797. doi:10.1007/s00285-013-0738-7","ieee":"A. Ganguly, T. Petrov, and H. Koeppl, “Markov chain aggregation and its applications to combinatorial reaction networks,” Journal of Mathematical Biology, vol. 69, no. 3. Springer, pp. 767–797, 2014.","apa":"Ganguly, A., Petrov, T., & Koeppl, H. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. Springer. https://doi.org/10.1007/s00285-013-0738-7","chicago":"Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology. Springer, 2014. https://doi.org/10.1007/s00285-013-0738-7.","mla":"Ganguly, Arnab, et al. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology, vol. 69, no. 3, Springer, 2014, pp. 767–97, doi:10.1007/s00285-013-0738-7.","short":"A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797."},"publication_status":"published","date_created":"2018-12-11T11:55:28Z","date_published":"2014-11-20T00:00:00Z","_id":"2056","title":"Markov chain aggregation and its applications to combinatorial reaction networks","publisher":"Springer","department":[{"_id":"CaGu"},{"_id":"ToHe"}],"type":"journal_article","intvolume":" 69","date_updated":"2021-01-12T06:55:01Z","abstract":[{"lang":"eng","text":"We consider a continuous-time Markov chain (CTMC) whose state space is partitioned into aggregates, and each aggregate is assigned a probability measure. A sufficient condition for defining a CTMC over the aggregates is presented as a variant of weak lumpability, which also characterizes that the measure over the original process can be recovered from that of the aggregated one. We show how the applicability of de-aggregation depends on the initial distribution. The application section is devoted to illustrate how the developed theory aids in reducing CTMC models of biochemical systems particularly in connection to protein-protein interactions. We assume that the model is written by a biologist in form of site-graph-rewrite rules. Site-graph-rewrite rules compactly express that, often, only a local context of a protein (instead of a full molecular species) needs to be in a certain configuration in order to trigger a reaction event. This observation leads to suitable aggregate Markov chains with smaller state spaces, thereby providing sufficient reduction in computational complexity. This is further exemplified in two case studies: simple unbounded polymerization and early EGFR/insulin crosstalk."}],"page":"767 - 797","issue":"3","acknowledgement":"T. Petrov is supported by SystemsX.ch—the Swiss Inititative for Systems Biology.","author":[{"last_name":"Ganguly","full_name":"Ganguly, Arnab","first_name":"Arnab"},{"last_name":"Petrov","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9041-0905","first_name":"Tatjana","full_name":"Petrov, Tatjana"},{"last_name":"Koeppl","first_name":"Heinz","full_name":"Koeppl, Heinz"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1303.4532"}]},{"oa":1,"volume":8621,"publication":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","arxiv":1,"doi":"10.1007/978-3-662-44415-3_16","project":[{"grant_number":"308036","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding","_id":"2532554C-B435-11E9-9278-68D0E5697425"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"4989","alternative_title":["LNCS"],"day":"01","year":"2014","status":"public","language":[{"iso":"eng"}],"month":"01","external_id":{"arxiv":["1404.7796"]},"quality_controlled":"1","scopus_import":1,"oa_version":"Preprint","publication_status":"published","citation":{"ama":"Morvant E, Habrard A, Ayache S. Majority vote of diverse classifiers for late fusion. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8621. Springer; 2014:153-162. doi:10.1007/978-3-662-44415-3_16","ieee":"E. Morvant, A. Habrard, and S. Ayache, “Majority vote of diverse classifiers for late fusion,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Joensuu, Finland, 2014, vol. 8621, pp. 153–162.","apa":"Morvant, E., Habrard, A., & Ayache, S. (2014). Majority vote of diverse classifiers for late fusion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8621, pp. 153–162). Joensuu, Finland: Springer. https://doi.org/10.1007/978-3-662-44415-3_16","mla":"Morvant, Emilie, et al. “Majority Vote of Diverse Classifiers for Late Fusion.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8621, Springer, 2014, pp. 153–62, doi:10.1007/978-3-662-44415-3_16.","chicago":"Morvant, Emilie, Amaury Habrard, and Stéphane Ayache. “Majority Vote of Diverse Classifiers for Late Fusion.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8621:153–62. Springer, 2014. https://doi.org/10.1007/978-3-662-44415-3_16.","short":"E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.","ista":"Morvant E, Habrard A, Ayache S. 2014. Majority vote of diverse classifiers for late fusion. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IAPR: International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, LNCS, vol. 8621, 153–162."},"date_created":"2018-12-11T11:55:28Z","_id":"2057","date_published":"2014-01-01T00:00:00Z","ec_funded":1,"title":"Majority vote of diverse classifiers for late fusion","publisher":"Springer","department":[{"_id":"ChLa"}],"type":"conference","intvolume":" 8621","date_updated":"2021-01-12T06:55:01Z","conference":{"end_date":"2014-08-22","start_date":"2014-08-20","location":"Joensuu, Finland","name":"IAPR: International Workshop on Structural, Syntactic, and Statistical Pattern Recognition"},"page":"153 - 162","abstract":[{"lang":"eng","text":"In the past few years, a lot of attention has been devoted to multimedia indexing by fusing multimodal informations. Two kinds of fusion schemes are generally considered: The early fusion and the late fusion. We focus on late classifier fusion, where one combines the scores of each modality at the decision level. To tackle this problem, we investigate a recent and elegant well-founded quadratic program named MinCq coming from the machine learning PAC-Bayesian theory. MinCq looks for the weighted combination, over a set of real-valued functions seen as voters, leading to the lowest misclassification rate, while maximizing the voters’ diversity. We propose an extension of MinCq tailored to multimedia indexing. Our method is based on an order-preserving pairwise loss adapted to ranking that allows us to improve Mean Averaged Precision measure while taking into account the diversity of the voters that we want to fuse. We provide evidence that this method is naturally adapted to late fusion procedures and confirm the good behavior of our approach on the challenging PASCAL VOC’07 benchmark."}],"author":[{"orcid":"0000-0002-8301-7240","full_name":"Morvant, Emilie","first_name":"Emilie","last_name":"Morvant","id":"4BAC2A72-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Habrard","first_name":"Amaury","full_name":"Habrard, Amaury"},{"last_name":"Ayache","first_name":"Stéphane","full_name":"Ayache, Stéphane"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1404.7796"}]},{"volume":33,"oa":1,"publication":"ACM Transactions on Graphics","project":[{"grant_number":"11-NSF-1070","_id":"25636330-B435-11E9-9278-68D0E5697425","name":"ROOTS Genome-wide Analysis of Root Traits"}],"doi":"10.1145/2601097.2601126","publist_id":"4988","pubrep_id":"606","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"01","language":[{"iso":"eng"}],"status":"public","year":"2014","article_processing_charge":"No","month":"07","has_accepted_license":"1","quality_controlled":"1","scopus_import":"1","oa_version":"Submitted Version","date_created":"2018-12-11T11:55:28Z","publication_status":"published","citation":{"ista":"Raveendran K, Wojtan C, Thuerey N, Türk G. 2014. Blending liquids. ACM Transactions on Graphics. SIGGRAPH: International Conference and Exhibition on Computer Graphics and Interactive Techniques vol. 33, 137.","apa":"Raveendran, K., Wojtan, C., Thuerey, N., & Türk, G. (2014). Blending liquids. In ACM Transactions on Graphics (Vol. 33). Vancouver, Canada: ACM. https://doi.org/10.1145/2601097.2601126","ama":"Raveendran K, Wojtan C, Thuerey N, Türk G. Blending liquids. In: ACM Transactions on Graphics. Vol 33. ACM; 2014. doi:10.1145/2601097.2601126","ieee":"K. Raveendran, C. Wojtan, N. Thuerey, and G. Türk, “Blending liquids,” in ACM Transactions on Graphics, Vancouver, Canada, 2014, vol. 33, no. 4.","short":"K. Raveendran, C. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics, ACM, 2014.","chicago":"Raveendran, Karthik, Chris Wojtan, Nils Thuerey, and Greg Türk. “Blending Liquids.” In ACM Transactions on Graphics, Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601126.","mla":"Raveendran, Karthik, et al. “Blending Liquids.” ACM Transactions on Graphics, vol. 33, no. 4, 137, ACM, 2014, doi:10.1145/2601097.2601126."},"_id":"2058","date_published":"2014-07-01T00:00:00Z","title":"Blending liquids","file":[{"content_type":"application/pdf","file_name":"IST-2016-606-v1+1_BlendingLiquids-Preprint.pdf","date_created":"2018-12-12T10:08:27Z","creator":"system","file_id":"4688","file_size":8387384,"checksum":"1752760a2e71e254537f31c0d10d9c6c","date_updated":"2020-07-14T12:45:27Z","relation":"main_file","access_level":"open_access"}],"department":[{"_id":"ChWo"}],"publisher":"ACM","ddc":["000"],"intvolume":" 33","type":"conference","date_updated":"2022-08-25T14:02:46Z","article_number":"137","abstract":[{"lang":"eng","text":"We present a method for smoothly blending between existing liquid animations. We introduce a semi-automatic method for matching two existing liquid animations, which we use to create new fluid motion that plausibly interpolates the input. Our contributions include a new space-time non-rigid iterative closest point algorithm that incorporates user guidance, a subsampling technique for efficient registration of meshes with millions of vertices, and a fast surface extraction algorithm that produces 3D triangle meshes from a 4D space-time surface. Our technique can be used to instantly create hundreds of new simulations, or to interactively explore complex parameter spaces. Our method is guaranteed to produce output that does not deviate from the input animations, and it generalizes to multiple dimensions. Because our method runs at interactive rates after the initial precomputation step, it has potential applications in games and training simulations."}],"conference":{"location":"Vancouver, Canada","name":"SIGGRAPH: International Conference and Exhibition on Computer Graphics and Interactive Techniques","end_date":"2014-08-14","start_date":"2014-08-10"},"file_date_updated":"2020-07-14T12:45:27Z","issue":"4","author":[{"full_name":"Raveendran, Karthik","first_name":"Karthik","last_name":"Raveendran"},{"last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","full_name":"Wojtan, Christopher J","first_name":"Christopher J","orcid":"0000-0001-6646-5546"},{"first_name":"Nils","full_name":"Thuerey, Nils","last_name":"Thuerey"},{"full_name":"Türk, Greg","first_name":"Greg","last_name":"Türk"}]},{"file_date_updated":"2020-07-14T12:45:27Z","issue":"5","author":[{"full_name":"Dubas, Ewa","first_name":"Ewa","last_name":"Dubas"},{"full_name":"Moravčíková, Jana","first_name":"Jana","last_name":"Moravčíková"},{"last_name":"Libantová","first_name":"Jana","full_name":"Libantová, Jana"},{"last_name":"Matušíková","first_name":"Ildikó","full_name":"Matušíková, Ildikó"},{"full_name":"Benková, Eva","first_name":"Eva","orcid":"0000-0002-8510-9739","last_name":"Benková","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zur","full_name":"Zur, Iwona","first_name":"Iwona"},{"last_name":"Krzewska","first_name":"Monika","full_name":"Krzewska, Monika"}],"acknowledgement":"The research was supported by the IPP PAS-IPGB SAS bilateral project (“Molecular analysis of auxin distribution in oilseed androgenic embryos”), IPP PAS-FWO VIB bilateral project (“Auxin as signaling molecule in doubled haploid production of rape (B. napus var. oleifera)”), individual national research project 2011/01/D/NZ9/02547, and VEGA 2-0090-14.","date_updated":"2021-01-12T06:55:02Z","abstract":[{"text":"Plant embryogenesis is regulated by differential distribution of the plant hormone auxin. However, the cells establishing these gradients during microspore embryogenesis remain to be identified. For the first time, we describe, using the DR5 or DR5rev reporter gene systems, the GFP- and GUS-based auxin biosensors to monitor auxin during Brassica napus androgenesis at cellular resolution in the initial stages. Our study provides evidence that the distribution of auxin changes during embryo development and depends on the temperature-inducible in vitro culture conditions. For this, microspores (mcs) were induced to embryogenesis by heat treatment and then subjected to genetic modification via Agrobacterium tumefaciens. The duration of high temperature treatment had a significant influence on auxin distribution in isolated and in vitro-cultured microspores and on microspore-derived embryo development. In the “mild” heat-treated (1 day at 32 °C) mcs, auxin localized in a polar way already at the uni-nucleate microspore, which was critical for the initiation of embryos with suspensor-like structure. Assuming a mean mcs radius of 20 μm, endogenous auxin content in a single cell corresponded to concentration of 1.01 μM. In mcs subjected to a prolonged heat (5 days at 32 °C), although auxin concentration increased dozen times, auxin polarization was set up at a few-celled pro-embryos without suspensor. Those embryos were enclosed in the outer wall called the exine. The exine rupture was accompanied by the auxin gradient polarization. Relative quantitative estimation of auxin, using time-lapse imaging, revealed that primordia possess up to 1.3-fold higher amounts than those found in the root apices of transgenic MDEs in the presence of exogenous auxin. Our results show, for the first time, which concentration of endogenous auxin coincides with the first cell division and how the high temperature interplays with auxin, by what affects delay early establishing microspore polarity. Moreover, we present how the local auxin accumulation demonstrates the apical–basal axis formation of the androgenic embryo and directs the axiality of the adult haploid plant.","lang":"eng"}],"page":"1077 - 1087","intvolume":" 251","type":"journal_article","ddc":["580"],"department":[{"_id":"EvBe"}],"publisher":"Springer","license":"https://creativecommons.org/licenses/by/4.0/","file":[{"creator":"system","file_id":"5353","file_size":6377990,"relation":"main_file","access_level":"open_access","checksum":"d570a6073765118fc0bb83c31d96fa53","date_updated":"2020-07-14T12:45:27Z","content_type":"application/pdf","date_created":"2018-12-12T10:18:31Z","file_name":"IST-2015-394-v1+1_s00709-014-0616-1.pdf"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"_id":"2059","date_published":"2014-02-20T00:00:00Z","title":"The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos","date_created":"2018-12-11T11:55:29Z","citation":{"short":"E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.","mla":"Dubas, Ewa, et al. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma, vol. 251, no. 5, Springer, 2014, pp. 1077–87, doi:10.1007/s00709-014-0616-1.","chicago":"Dubas, Ewa, Jana Moravčíková, Jana Libantová, Ildikó Matušíková, Eva Benková, Iwona Zur, and Monika Krzewska. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma. Springer, 2014. https://doi.org/10.1007/s00709-014-0616-1.","apa":"Dubas, E., Moravčíková, J., Libantová, J., Matušíková, I., Benková, E., Zur, I., & Krzewska, M. (2014). The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. Springer. https://doi.org/10.1007/s00709-014-0616-1","ieee":"E. Dubas et al., “The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos,” Protoplasma, vol. 251, no. 5. Springer, pp. 1077–1087, 2014.","ama":"Dubas E, Moravčíková J, Libantová J, et al. The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. 2014;251(5):1077-1087. doi:10.1007/s00709-014-0616-1","ista":"Dubas E, Moravčíková J, Libantová J, Matušíková I, Benková E, Zur I, Krzewska M. 2014. The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. 251(5), 1077–1087."},"publication_status":"published","scopus_import":1,"oa_version":"Published Version","has_accepted_license":"1","quality_controlled":"1","status":"public","year":"2014","language":[{"iso":"eng"}],"month":"02","pubrep_id":"394","publist_id":"4987","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","day":"20","doi":"10.1007/s00709-014-0616-1","publication":"Protoplasma","volume":251,"oa":1},{"date_updated":"2021-01-12T06:55:03Z","article_number":"1255263","abstract":[{"text":"The success story of fast-spiking, parvalbumin-positive (PV+) GABAergic interneurons (GABA, γ-aminobutyric acid) in the mammalian central nervous system is noteworthy. In 1995, the properties of these interneurons were completely unknown. Twenty years later, thanks to the massive use of subcellular patch-clamp techniques, simultaneous multiple-cell recording, optogenetics, in vivo measurements, and computational approaches, our knowledge about PV+ interneurons became more extensive than for several types of pyramidal neurons. These findings have implications beyond the “small world” of basic research on GABAergic cells. For example, the results provide a first proof of principle that neuroscientists might be able to close the gaps between the molecular, cellular, network, and behavioral levels, representing one of the main challenges at the present time. Furthermore, the results may form the basis for PV+ interneurons as therapeutic targets for brain disease in the future. However, much needs to be learned about the basic function of these interneurons before clinical neuroscientists will be able to use PV+ interneurons for therapeutic purposes.","lang":"eng"}],"file_date_updated":"2020-07-14T12:45:27Z","issue":"6196","author":[{"full_name":"Hu, Hua","first_name":"Hua","last_name":"Hu","id":"4AC0145C-F248-11E8-B48F-1D18A9856A87"},{"id":"3614E438-F248-11E8-B48F-1D18A9856A87","last_name":"Gan","first_name":"Jian","full_name":"Gan, Jian"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","first_name":"Peter M","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"}],"ddc":["570"],"intvolume":" 345","type":"journal_article","file":[{"date_updated":"2020-07-14T12:45:27Z","checksum":"a0036a589037d37e86364fa25cc0a82f","access_level":"open_access","relation":"main_file","file_size":215514,"file_id":"5185","creator":"system","file_name":"IST-2017-821-v1+1_1255263JonasPVReviewTextR_Final.pdf","date_created":"2018-12-12T10:16:00Z","content_type":"application/pdf"},{"file_id":"5186","file_size":1732723,"creator":"system","access_level":"open_access","relation":"main_file","checksum":"e1f57d2713725449cb898fdcb8ef47b8","date_updated":"2020-07-14T12:45:27Z","content_type":"application/pdf","date_created":"2018-12-12T10:16:01Z","file_name":"IST-2017-821-v1+2_1255263JonasPVReviewFigures_Final.pdf"}],"department":[{"_id":"PeJo"}],"publisher":"American Association for the Advancement of Science","date_created":"2018-12-11T11:55:29Z","citation":{"ista":"Hu H, Gan J, Jonas PM. 2014. Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. 345(6196), 1255263.","ama":"Hu H, Gan J, Jonas PM. Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. 2014;345(6196). doi:10.1126/science.1255263","ieee":"H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function,” Science, vol. 345, no. 6196. American Association for the Advancement of Science, 2014.","apa":"Hu, H., Gan, J., & Jonas, P. M. (2014). Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1255263","chicago":"Hu, Hua, Jian Gan, and Peter M Jonas. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1255263.","mla":"Hu, Hua, et al. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.” Science, vol. 345, no. 6196, 1255263, American Association for the Advancement of Science, 2014, doi:10.1126/science.1255263.","short":"H. Hu, J. Gan, P.M. Jonas, Science 345 (2014)."},"publication_status":"published","_id":"2062","date_published":"2014-08-01T00:00:00Z","title":"Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function","ec_funded":1,"has_accepted_license":"1","quality_controlled":"1","scopus_import":1,"oa_version":"Submitted Version","publist_id":"4984","pubrep_id":"821","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","day":"01","status":"public","language":[{"iso":"eng"}],"year":"2014","month":"08","publication":"Science","project":[{"_id":"25C26B1E-B435-11E9-9278-68D0E5697425","name":"Mechanisms of transmitter release at GABAergic synapses","call_identifier":"FWF","grant_number":"P24909-B24"},{"grant_number":"268548","call_identifier":"FP7","name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","_id":"25C0F108-B435-11E9-9278-68D0E5697425"}],"doi":"10.1126/science.1255263","volume":345,"oa":1},{"department":[{"_id":"RySh"}],"publisher":"Wiley-Blackwell","date_published":"2014-07-29T00:00:00Z","_id":"2064","title":"Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus","date_created":"2018-12-11T11:55:30Z","publication_status":"published","citation":{"apa":"Rubio, M., Fukazawa, Y., Kamasawa, N., Clarkson, C., Molnár, E., & Shigemoto, R. (2014). Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.23654","ieee":"M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, and R. Shigemoto, “Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus,” Journal of Comparative Neurology, vol. 522, no. 18. Wiley-Blackwell, pp. 4023–4042, 2014.","ama":"Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 2014;522(18):4023-4042. doi:10.1002/cne.23654","short":"M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.","mla":"Rubio, Maía, et al. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative Neurology, vol. 522, no. 18, Wiley-Blackwell, 2014, pp. 4023–42, doi:10.1002/cne.23654.","chicago":"Rubio, Maía, Yugo Fukazawa, Naomi Kamasawa, Cheryl Clarkson, Elek Molnár, and Ryuichi Shigemoto. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative Neurology. Wiley-Blackwell, 2014. https://doi.org/10.1002/cne.23654.","ista":"Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. 2014. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 522(18), 4023–4042."},"issue":"18","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4198489/"}],"author":[{"full_name":"Rubio, Maía","first_name":"Maía","last_name":"Rubio"},{"first_name":"Yugo","full_name":"Fukazawa, Yugo","last_name":"Fukazawa"},{"full_name":"Kamasawa, Naomi","first_name":"Naomi","last_name":"Kamasawa"},{"full_name":"Clarkson, Cheryl","first_name":"Cheryl","last_name":"Clarkson"},{"last_name":"Molnár","full_name":"Molnár, Elek","first_name":"Elek"},{"last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi"}],"acknowledgement":"National Institutes of Health (NIH) Grant Number: 1R01DC013048‐0; Biotechnology and Biological Sciences Research Council, UK Grant Number: BB/J015938/1\r\n","date_updated":"2021-01-12T06:55:05Z","abstract":[{"text":"We examined the synaptic structure, quantity, and distribution of α-amino-3-hydroxy-5-methylisoxazole-4-propionic acid (AMPA)- and N-methyl-D-aspartate (NMDA)-type glutamate receptors (AMPARs and NMDARs, respectively) in rat cochlear nuclei by a highly sensitive freeze-fracture replica labeling technique. Four excitatory synapses formed by two distinct inputs, auditory nerve (AN) and parallel fibers (PF), on different cell types were analyzed. These excitatory synapse types included AN synapses on bushy cells (AN-BC synapses) and fusiform cells (AN-FC synapses) and PF synapses on FC (PF-FC synapses) and cartwheel cell spines (PF-CwC synapses). Immunogold labeling revealed differences in synaptic structure as well as AMPAR and NMDAR number and/or density in both AN and PF synapses, indicating a target-dependent organization. The immunogold receptor labeling also identified differences in the synaptic organization of FCs based on AN or PF connections, indicating an input-dependent organization in FCs. Among the four excitatory synapse types, the AN-BC synapses were the smallest and had the most densely packed intramembrane particles (IMPs), whereas the PF-CwC synapses were the largest and had sparsely packed IMPs. All four synapse types showed positive correlations between the IMP-cluster area and the AMPAR number, indicating a common intrasynapse-type relationship for glutamatergic synapses. Immunogold particles for AMPARs were distributed over the entire area of individual AN synapses; PF synapses often showed synaptic areas devoid of labeling. The gold-labeling for NMDARs occurred in a mosaic fashion, with less positive correlations between the IMP-cluster area and the NMDAR number. Our observations reveal target- and input-dependent features in the structure, number, and organization of AMPARs and NMDARs in AN and PF synapses.","lang":"eng"}],"page":"4023 - 4042","type":"journal_article","intvolume":" 522","doi":"10.1002/cne.23654","publication":"Journal of Comparative Neurology","volume":522,"oa":1,"scopus_import":1,"oa_version":"Submitted Version","quality_controlled":"1","status":"public","year":"2014","language":[{"iso":"eng"}],"month":"07","publist_id":"4974","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","day":"29"},{"type":"journal_article","intvolume":" 5","publication_identifier":{"eissn":["2041-1723"]},"author":[{"first_name":"Pintu K.","full_name":"Kundu, Pintu K.","last_name":"Kundu"},{"last_name":"Olsen","first_name":"Gregory L.","full_name":"Olsen, Gregory L."},{"first_name":"Vladimir","full_name":"Kiss, Vladimir","last_name":"Kiss"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","first_name":"Rafal","full_name":"Klajn, Rafal"}],"main_file_link":[{"url":"https://doi.org/10.1038/ncomms4588","open_access":"1"}],"date_updated":"2023-08-08T07:28:10Z","abstract":[{"text":"Nanoporous frameworks are polymeric materials built from rigid molecules, which give rise to their nanoporous structures with applications in gas sorption and storage, catalysis and others. Conceptually new applications could emerge, should these beneficial properties be manipulated by external stimuli in a reversible manner. One approach to render nanoporous frameworks responsive to external signals would be to immobilize molecular switches within their nanopores. Although the majority of molecular switches require conformational freedom to isomerize, and switching in the solid state is prohibited, the nanopores may provide enough room for the switches to efficiently isomerize. Here we describe two families of nanoporous materials incorporating the spiropyran molecular switch. These materials exhibit a variety of interesting properties, including reversible photochromism and acidochromism under solvent-free conditions, light-controlled capture and release of metal ions, as well reversible chromism induced by solvation/desolvation.","lang":"eng"}],"article_type":"original","article_number":"3588","_id":"13402","extern":"1","date_published":"2014-04-07T00:00:00Z","title":"Nanoporous frameworks exhibiting multiple stimuli responsiveness","date_created":"2023-08-01T09:46:27Z","publication_status":"published","citation":{"ieee":"P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” Nature Communications, vol. 5. Springer Nature, 2014.","ama":"Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 2014;5. doi:10.1038/ncomms4588","apa":"Kundu, P. K., Olsen, G. L., Kiss, V., & Klajn, R. (2014). Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms4588","mla":"Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” Nature Communications, vol. 5, 3588, Springer Nature, 2014, doi:10.1038/ncomms4588.","chicago":"Kundu, Pintu K., Gregory L. Olsen, Vladimir Kiss, and Rafal Klajn. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” Nature Communications. Springer Nature, 2014. https://doi.org/10.1038/ncomms4588.","short":"P.K. Kundu, G.L. Olsen, V. Kiss, R. Klajn, Nature Communications 5 (2014).","ista":"Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 5, 3588."},"publisher":"Springer Nature","language":[{"iso":"eng"}],"status":"public","year":"2014","article_processing_charge":"No","month":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"day":"07","scopus_import":"1","oa_version":"Published Version","external_id":{"pmid":["24709950"]},"quality_controlled":"1","volume":5,"oa":1,"keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"doi":"10.1038/ncomms4588","publication":"Nature Communications"},{"oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","external_id":{"pmid":["23979515"]},"month":"01","article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","year":"2014","day":"27","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1039/c3cs60181a","keyword":["General Chemistry"],"publication":"Chemical Society Reviews","oa":1,"volume":43,"author":[{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","first_name":"Rafal"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1039/C3CS60181A"}],"issue":"1","article_type":"original","abstract":[{"lang":"eng","text":"In the past few years, spiropyran has emerged as the molecule-of-choice for the construction of novel dynamic materials. This unique molecular switch undergoes structural isomerisation in response to a variety of orthogonal stimuli, e.g. light, temperature, metal ions, redox potential, and mechanical stress. Incorporation of this switch onto macromolecular supports or inorganic scaffolds allows for the creation of robust dynamic materials. This review discusses the synthesis, switching conditions, and use of dynamic materials in which spiropyran has been attached to the surfaces of polymers, biomacromolecules, inorganic nanoparticles, as well as solid surfaces. The resulting materials show fascinating properties whereby the state of the switch intimately affects a multitude of useful properties of the support. The utility of the spiropyran switch will undoubtedly endow these materials with far-reaching applications in the near future."}],"page":"148-184","date_updated":"2023-08-08T07:41:38Z","type":"journal_article","intvolume":" 43","publication_identifier":{"issn":["0306-0012"],"eissn":["1460-4744"]},"publisher":"Royal Society of Chemistry","title":"Spiropyran-based dynamic materials","date_published":"2014-01-27T00:00:00Z","_id":"13404","extern":"1","citation":{"ista":"Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184.","mla":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:10.1039/c3cs60181a.","chicago":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews. Royal Society of Chemistry, 2014. https://doi.org/10.1039/c3cs60181a.","short":"R. Klajn, Chemical Society Reviews 43 (2014) 148–184.","ama":"Klajn R. Spiropyran-based dynamic materials. Chemical Society Reviews. 2014;43(1):148-184. doi:10.1039/c3cs60181a","ieee":"R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.","apa":"Klajn, R. (2014). Spiropyran-based dynamic materials. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c3cs60181a"},"publication_status":"published","date_created":"2023-08-01T09:47:03Z"},{"_id":"1375","date_published":"2014-08-28T00:00:00Z","ec_funded":1,"title":"Approximating the minimum cycle mean","date_created":"2018-12-11T11:51:40Z","publication_status":"published","citation":{"mla":"Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.06.031.","short":"K. Chatterjee, M.H. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.","ama":"Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031","ieee":"K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.","apa":"Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031","ista":"Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116."},"department":[{"_id":"KrCh"}],"publisher":"Elsevier","intvolume":" 547","type":"journal_article","issue":"C","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1307.4473"}],"author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","first_name":"Monika H"},{"full_name":"Krinninger, Sebastian","first_name":"Sebastian","last_name":"Krinninger"},{"last_name":"Loitzenbauer","first_name":"Veronika","full_name":"Loitzenbauer, Veronika"},{"last_name":"Raskin","full_name":"Raskin, Michael","first_name":"Michael"}],"date_updated":"2022-09-09T11:50:58Z","page":"104 - 116","abstract":[{"lang":"eng","text":"We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that the algorithmic question is reducible to the problem of a logarithmic number of min-plus matrix multiplications of n×n-matrices, where n is the number of vertices of the graph. (2) Second, when the weights are nonnegative, we present the first (1+ε)-approximation algorithm for the problem and the running time of our algorithm is Õ(nωlog3(nW/ε)/ε),1 where O(nω) is the time required for the classic n×n-matrix multiplication and W is the maximum value of the weights. With an additional O(log(nW/ε)) factor in space a cycle with approximately optimal weight can be computed within the same time bound."}],"article_type":"original","volume":547,"oa":1,"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF","grant_number":"S11407"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","grant_number":"279307"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"doi":"10.1016/j.tcs.2014.06.031","arxiv":1,"publication":"Theoretical Computer Science","status":"public","language":[{"iso":"eng"}],"year":"2014","article_processing_charge":"No","month":"08","publist_id":"5836","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"28","scopus_import":"1","oa_version":"Preprint","external_id":{"arxiv":["1307.4473"]},"quality_controlled":"1"},{"doi":"10.1007/978-3-642-54013-4_10","project":[{"grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling"}],"oa":1,"volume":8318,"quality_controlled":"1","has_accepted_license":"1","oa_version":"Submitted Version","scopus_import":1,"day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"pubrep_id":"179","publist_id":"5817","month":"01","year":"2014","language":[{"iso":"eng"}],"status":"public","file":[{"relation":"main_file","access_level":"open_access","checksum":"bffa33d39be77df0da39defe97eabf84","date_updated":"2020-07-14T12:44:48Z","creator":"system","file_size":444138,"file_id":"4859","date_created":"2018-12-12T10:11:06Z","file_name":"IST-2014-179-v1+1_vmcai14.pdf","content_type":"application/pdf"}],"publisher":"Springer","department":[{"_id":"ToHe"}],"citation":{"ista":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.","short":"C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.","chicago":"Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.","mla":"Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.","apa":"Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10","ama":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10","ieee":"C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181."},"publication_status":"published","date_created":"2018-12-11T11:51:45Z","title":"A logic-based framework for verifying consensus algorithms","ec_funded":1,"date_published":"2014-01-01T00:00:00Z","_id":"1392","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation","location":"San Diego, USA","start_date":"2014-01-19","end_date":"2014-01-21"},"page":"161 - 181","abstract":[{"lang":"eng","text":"Fault-tolerant distributed algorithms play an important role in ensuring the reliability of many software applications. In this paper we consider distributed algorithms whose computations are organized in rounds. To verify the correctness of such algorithms, we reason about (i) properties (such as invariants) of the state, (ii) the transitions controlled by the algorithm, and (iii) the communication graph. We introduce a logic that addresses these points, and contains set comprehensions with cardinality constraints, function symbols to describe the local states of each process, and a limited form of quantifier alternation to express the verification conditions. We show its use in automating the verification of consensus algorithms. In particular, we give a semi-decision procedure for the unsatisfiability problem of the logic and identify a decidable fragment. We successfully applied our framework to verify the correctness of a variety of consensus algorithms tolerant to both benign faults (message loss, process crashes) and value faults (message corruption)."}],"date_updated":"2021-01-12T06:50:22Z","author":[{"full_name":"Dragoi, Cezara","first_name":"Cezara","last_name":"Dragoi","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"full_name":"Veith, Helmut","first_name":"Helmut","last_name":"Veith"},{"first_name":"Josef","full_name":"Widder, Josef","last_name":"Widder"},{"id":"4397AC76-F248-11E8-B48F-1D18A9856A87","last_name":"Zufferey","orcid":"0000-0002-3197-8736","first_name":"Damien","full_name":"Zufferey, Damien"}],"acknowledgement":"Supported by the Vienna Science and Technology Fund (WWTF) through grant PROSEED.","file_date_updated":"2020-07-14T12:44:48Z","ddc":["000","005"],"type":"conference","intvolume":" 8318"},{"publication":"Proceedings of the on Future of Software Engineering","doi":"10.1145/2593882.2593900","project":[{"grant_number":"267989","call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"}],"oa":1,"quality_controlled":"1","scopus_import":1,"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"5816","day":"31","article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"year":"2014","month":"05","publisher":"ACM","department":[{"_id":"ToHe"}],"publication_status":"published","citation":{"ama":"Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900","ieee":"A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.","apa":"Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900","mla":"Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.","chicago":"Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.","short":"A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.","ista":"Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181."},"date_created":"2018-12-11T11:51:45Z","date_published":"2014-05-31T00:00:00Z","_id":"1393","title":"Probabilistic programming","ec_funded":1,"date_updated":"2021-01-12T06:50:22Z","conference":{"start_date":"2014-05-31","end_date":"2014-06-07","name":"FOSE: Future of Software Engineering","location":"Hyderabad, India"},"abstract":[{"lang":"eng","text":"Probabilistic programs are usual functional or imperative programs with two added constructs: (1) the ability to draw values at random from distributions, and (2) the ability to condition values of variables in a program via observations. Models from diverse application areas such as computer vision, coding theory, cryptographic protocols, biology and reliability analysis can be written as probabilistic programs. Probabilistic inference is the problem of computing an explicit representation of the probability distribution implicitly specified by a probabilistic program. Depending on the application, the desired output from inference may vary-we may want to estimate the expected value of some function f with respect to the distribution, or the mode of the distribution, or simply a set of samples drawn from the distribution. In this paper, we describe connections this research area called \\Probabilistic Programming" has with programming languages and software engineering, and this includes language design, and the static and dynamic analysis of programs. We survey current state of the art and speculate on promising directions for future research."}],"page":"167 - 181","author":[{"last_name":"Gordon","first_name":"Andrew","full_name":"Gordon, Andrew"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"full_name":"Nori, Aditya","first_name":"Aditya","last_name":"Nori"},{"last_name":"Rajamani","full_name":"Rajamani, Sriram","first_name":"Sriram"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/2593882.2593900"}],"type":"conference"},{"type":"journal_article","intvolume":" 113","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"issue":"2","author":[{"last_name":"Kraus","first_name":"P. M.","full_name":"Kraus, P. M."},{"last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova","first_name":"Denitsa Rangelova"},{"last_name":"Wörner","full_name":"Wörner, H. J.","first_name":"H. J."}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1311.3923"}],"date_updated":"2023-08-22T09:02:56Z","abstract":[{"text":"We report the observation of macroscopic field-free orientation, i.e., more than 73% of CO molecules pointing in the same direction. This is achieved through an all-optical scheme operating at high particle densities (>10(17) cm(-3)) that combines one-color (ω) and two-color (ω+2ω) nonresonant femtosecond laser pulses. We show that the achieved orientation solely relies on the hyperpolarizability interaction as opposed to an ionization-depletion mechanism, thus, opening a wide range of applications. The achieved strong orientation enables us to reveal the molecular-frame anisotropies of the photorecombination amplitudes and phases caused by a shape resonance. The resonance appears as a local maximum in the even-harmonic emission around 28 eV. In contrast, the odd-harmonic emission is suppressed in this spectral region through the combined effects of an asymmetric photorecombination phase and a subcycle Stark effect, generic for polar molecules, that we experimentally identify.","lang":"eng"}],"article_type":"original","article_number":"023001","_id":"14020","extern":"1","date_published":"2014-07-11T00:00:00Z","title":"Two-pulse field-free orientation reveals anisotropy of molecular shape resonance","publication_status":"published","citation":{"apa":"Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.113.023001","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 2014;113(2). doi:10.1103/physrevlett.113.023001","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” Physical Review Letters, vol. 113, no. 2. American Physical Society, 2014.","short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).","chicago":"Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.113.023001.","mla":"Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters, vol. 113, no. 2, 023001, American Physical Society, 2014, doi:10.1103/physrevlett.113.023001.","ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001."},"date_created":"2023-08-10T06:38:38Z","publisher":"American Physical Society","article_processing_charge":"No","year":"2014","status":"public","language":[{"iso":"eng"}],"month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"11","pmid":1,"scopus_import":"1","oa_version":"Preprint","external_id":{"arxiv":["1311.3923"],"pmid":["25062172"]},"quality_controlled":"1","oa":1,"volume":113,"doi":"10.1103/physrevlett.113.023001","keyword":["General Physics and Astronomy"],"publication":"Physical Review Letters","arxiv":1},{"publisher":"IOP Publishing","date_created":"2023-08-10T06:38:48Z","publication_status":"published","citation":{"ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.","apa":"Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/0953-4075/47/12/124030","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 2014;47(12). doi:10.1088/0953-4075/47/12/124030","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12. IOP Publishing, 2014.","short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2014).","chicago":"Kraus, P M, Denitsa Rangelova Baykusheva, and H J Wörner. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2014. https://doi.org/10.1088/0953-4075/47/12/124030.","mla":"Kraus, P. M., et al. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12, 124030, IOP Publishing, 2014, doi:10.1088/0953-4075/47/12/124030."},"title":"Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules","extern":"1","_id":"14021","date_published":"2014-06-10T00:00:00Z","article_number":"124030","abstract":[{"lang":"eng","text":"We present the detailed analysis of a new two-pulse orientation scheme that achieves macroscopic field-free orientation at the high particle densities required for attosecond and high-harmonic spectroscopies (Kraus et al 2013 arXiv:1311.3923). Carbon monoxide molecules are oriented by combining one-colour and delayed two-colour non-resonant femtosecond laser pulses. High-harmonic generation is used to probe the oriented wave-packet dynamics and reveals that a very high degree of orientation (Nup/Ntotal = 0.73–0.82) is achieved. We further extend this approach to orienting carbonyl sulphide molecules. We show that the present two-pulse scheme selectively enhances orientation created by the hyperpolarizability interaction whereas the ionization-depletion mechanism plays no role. We further control and optimize orientation through the delay between the one- and two-colour pump pulses. Finally, we demonstrate a complementary encoding of electronic-structure features, such as shape resonances, in the even- and odd-harmonic spectrum. The achieved progress makes two-pulse field-free orientation an attractive tool for a broad class of time-resolved measurements."}],"article_type":"original","date_updated":"2023-08-22T09:04:30Z","author":[{"full_name":"Kraus, P M","first_name":"P M","last_name":"Kraus"},{"id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","first_name":"Denitsa Rangelova"},{"first_name":"H J","full_name":"Wörner, H J","last_name":"Wörner"}],"main_file_link":[{"url":"https://arxiv.org/abs/1311.3923","open_access":"1"}],"issue":"12","publication_identifier":{"eissn":["1361-6455"],"issn":["0953-4075"]},"type":"journal_article","intvolume":" 47","arxiv":1,"publication":"Journal of Physics B: Atomic, Molecular and Optical Physics","keyword":["Condensed Matter Physics","Atomic and Molecular Physics","and Optics"],"doi":"10.1088/0953-4075/47/12/124030","volume":47,"oa":1,"quality_controlled":"1","external_id":{"arxiv":["1311.3923"]},"oa_version":"Preprint","scopus_import":"1","day":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"06","language":[{"iso":"eng"}],"year":"2014","status":"public","article_processing_charge":"No"},{"oa":1,"volume":126,"doi":"10.1002/ange.201405991","publication":"Angewandte Chemie International Edition","article_processing_charge":"No","status":"public","year":"2014","language":[{"iso":"eng"}],"month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"17","pmid":1,"scopus_import":"1","oa_version":"Published Version","external_id":{"pmid":["25346175"]},"quality_controlled":"1","_id":"14301","extern":"1","date_published":"2014-11-17T00:00:00Z","title":"Facile and scalable preparation of pure and dense DNA origami solutions","publication_status":"published","citation":{"ista":"Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.","ieee":"E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” Angewandte Chemie International Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.","ama":"Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 2014;126(47):12949-12954. doi:10.1002/ange.201405991","apa":"Stahl, E., Martin, T., Praetorius, F. M., & Dietz, H. (2014). Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/ange.201405991","chicago":"Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition. Wiley, 2014. https://doi.org/10.1002/ange.201405991.","mla":"Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi:10.1002/ange.201405991.","short":"E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International Edition 126 (2014) 12949–12954."},"date_created":"2023-09-06T12:51:14Z","publisher":"Wiley","type":"journal_article","intvolume":" 126","publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"issue":"47","author":[{"first_name":"Evi","full_name":"Stahl, Evi","last_name":"Stahl"},{"full_name":"Martin, Thomas","first_name":"Thomas","last_name":"Martin"},{"first_name":"Florian M","full_name":"Praetorius, Florian M","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","last_name":"Praetorius"},{"full_name":"Dietz, Hendrik","first_name":"Hendrik","last_name":"Dietz"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1002/ange.201405991"}],"date_updated":"2023-11-07T12:14:30Z","abstract":[{"lang":"eng","text":"DNA has become a prime material for assembling complex three-dimensional objects that promise utility in various areas of application. However, achieving user-defined goals with DNA objects has been hampered by the difficulty to prepare them at arbitrary concentrations and in user-defined solution conditions. Here, we describe a method that solves this problem. The method is based on poly(ethylene glycol)-induced depletion of species with high molecular weight. We demonstrate that our method is applicable to a wide spectrum of DNA shapes and that it achieves excellent recovery yields of target objects up to 97 %, while providing efficient separation from non-integrated DNA strands. DNA objects may be prepared at concentrations up to the limit of solubility, including the possibility for bringing DNA objects into a solid phase. Due to the fidelity and simplicity of our method we anticipate that it will help to catalyze the development of new types of applications that use self-assembled DNA objects."}],"page":"12949-12954","article_type":"original"},{"abstract":[{"lang":"eng","text":"Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due to their complexity, testing presents a considerable portion of the effort and cost in the design process. Exploiting the compositional structure of system specifications can considerably reduce the effort in model-based testing. Moreover, inferring properties about the system from testing its individual components allows the designer to reduce the amount of integration testing.\r\nIn this paper, we study compositional properties of the IOCO-testing theory. We propose a new approach to composition and hiding operations, inspired by contract-based design and interface theories. These operations preserve behaviors that are compatible under composition and hiding, and prune away incompatible ones. The resulting specification characterizes the input sequences for which the unit testing of components is sufficient to infer the correctness of component integration without the need for further tests. We provide a methodology that uses these results to minimize integration testing effort, but also to detect potential weaknesses in specifications. While we focus on asynchronous models and the IOCO conformance relation, the resulting methodology can be applied to a broader class of systems."}],"page":"20","has_accepted_license":"1","date_updated":"2023-02-23T10:31:07Z","oa_version":"Published Version","author":[{"first_name":"Przemyslaw","full_name":"Daca, Przemyslaw","last_name":"Daca","id":"49351290-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Krenn, Willibald","first_name":"Willibald","last_name":"Krenn"},{"first_name":"Dejan","full_name":"Nickovic, Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"}],"related_material":{"record":[{"relation":"later_version","id":"2167","status":"public"}]},"file_date_updated":"2020-07-14T12:46:46Z","day":"28","ddc":["000"],"publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pubrep_id":"152","alternative_title":["IST Austria Technical Report"],"month":"01","year":"2014","language":[{"iso":"eng"}],"status":"public","type":"technical_report","file":[{"creator":"system","file_id":"5543","file_size":534732,"relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:46:46Z","checksum":"0e03aba625cc334141a3148432aa5760","content_type":"application/pdf","date_created":"2018-12-12T11:54:21Z","file_name":"IST-2014-148-v2+1_main_tr.pdf"}],"doi":"10.15479/AT:IST-2014-148-v2-1","publisher":"IST Austria","department":[{"_id":"ToHe"}],"citation":{"ista":"Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.","apa":"Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1","ama":"Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1","ieee":"P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.","short":"P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.","chicago":"Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.","mla":"Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1."},"publication_status":"published","date_created":"2018-12-12T11:39:11Z","oa":1,"title":"Compositional specifications for IOCO testing","_id":"5411","date_published":"2014-01-28T00:00:00Z"},{"page":"31","abstract":[{"text":"We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability.\r\nWe introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and present discrete graph theoretic algorithms with quadratic complexity to compute the simulation relation.\r\nWe present an automated technique for assume-guarantee style reasoning for compositional analysis of MDPs with qualitative properties by giving a counter-example guided abstraction-refinement approach to compute our new simulation relation. We have implemented our algorithms and show that the compositional analysis leads to significant improvements. ","lang":"eng"}],"has_accepted_license":"1","date_updated":"2023-02-23T12:25:18Z","oa_version":"Published Version","author":[{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Daca","id":"49351290-F248-11E8-B48F-1D18A9856A87","full_name":"Daca, Przemyslaw","first_name":"Przemyslaw"},{"first_name":"Martin","full_name":"Chmelik, Martin","last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87"}],"related_material":{"record":[{"status":"public","id":"2063","relation":"later_version"},{"status":"public","id":"5413","relation":"later_version"},{"relation":"later_version","status":"public","id":"5414"}]},"file_date_updated":"2020-07-14T12:46:47Z","day":"29","ddc":["000"],"publication_identifier":{"issn":["2664-1690"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pubrep_id":"153","alternative_title":["IST Austria Technical Report"],"month":"01","language":[{"iso":"eng"}],"type":"technical_report","status":"public","year":"2014","file":[{"date_created":"2018-12-12T11:53:39Z","file_name":"IST-2014-153-v1+1_main.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"4d6cda4bebed970926403ad6ad8c745f","date_updated":"2020-07-14T12:46:47Z","creator":"system","file_size":423322,"file_id":"5500"}],"doi":"10.15479/AT:IST-2014-153-v1-1","publisher":"IST Austria","department":[{"_id":"KrCh"}],"publication_status":"published","citation":{"ista":"Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.","ama":"Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1","ieee":"K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.","apa":"Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1","mla":"Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.","chicago":"Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.","short":"K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014."},"date_created":"2018-12-12T11:39:11Z","oa":1,"title":"CEGAR for qualitative analysis of probabilistic systems","date_published":"2014-01-29T00:00:00Z","_id":"5412"},{"date_published":"2014-02-06T00:00:00Z","_id":"5413","oa":1,"title":"CEGAR for qualitative analysis of probabilistic systems","publication_status":"published","citation":{"mla":"Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.","chicago":"Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.","short":"K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.","ieee":"K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.","ama":"Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2","apa":"Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v2-2","ista":"Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p."},"date_created":"2018-12-12T11:39:11Z","doi":"10.15479/AT:IST-2014-153-v2-2","publisher":"IST Austria","department":[{"_id":"KrCh"}],"file":[{"content_type":"application/pdf","file_name":"IST-2014-153-v2+2_main.pdf","date_created":"2018-12-12T11:54:17Z","creator":"system","file_id":"5539","file_size":606049,"checksum":"ce4967a184d84863eec76c66cbac1614","date_updated":"2020-07-14T12:46:47Z","relation":"main_file","access_level":"open_access"}],"language":[{"iso":"eng"}],"year":"2014","status":"public","type":"technical_report","month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2664-1690"]},"alternative_title":["IST Austria Technical Report"],"pubrep_id":"164","day":"06","ddc":["000"],"file_date_updated":"2020-07-14T12:46:47Z","related_material":{"record":[{"id":"2063","status":"public","relation":"later_version"},{"status":"public","id":"5412","relation":"earlier_version"},{"status":"public","id":"5414","relation":"later_version"}]},"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"id":"49351290-F248-11E8-B48F-1D18A9856A87","last_name":"Daca","full_name":"Daca, Przemyslaw","first_name":"Przemyslaw"},{"id":"3624234E-F248-11E8-B48F-1D18A9856A87","last_name":"Chmelik","full_name":"Chmelik, Martin","first_name":"Martin"}],"oa_version":"Published Version","date_updated":"2023-02-23T12:25:18Z","has_accepted_license":"1","page":"33","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability.\r\nWe introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and present discrete graph theoretic algorithms with quadratic complexity to compute the simulation relation.\r\nWe present an automated technique for assume-guarantee style reasoning for compositional analysis of MDPs with qualitative properties by giving a counter-example guided abstraction-refinement approach to compute our new simulation relation. We have implemented our algorithms and show that the compositional analysis leads to significant improvements. "}]},{"date_published":"2014-02-07T00:00:00Z","_id":"5414","oa":1,"title":"CEGAR for qualitative analysis of probabilistic systems","publication_status":"published","citation":{"ista":"Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.","ama":"Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1","ieee":"K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.","apa":"Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v3-1","chicago":"Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.","mla":"Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.","short":"K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014."},"date_created":"2018-12-12T11:39:12Z","publisher":"IST Austria","doi":"10.15479/AT:IST-2014-153-v3-1","department":[{"_id":"KrCh"}],"file":[{"date_updated":"2020-07-14T12:46:48Z","checksum":"87b93fe9af71fc5c94b0eb6151537e11","access_level":"open_access","relation":"main_file","file_id":"5464","file_size":606227,"creator":"system","file_name":"IST-2014-153-v3+1_main.pdf","date_created":"2018-12-12T11:53:03Z","content_type":"application/pdf"}],"type":"technical_report","year":"2014","language":[{"iso":"eng"}],"status":"public","month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2664-1690"]},"alternative_title":["IST Austria Technical Report"],"pubrep_id":"165","day":"07","ddc":["000"],"related_material":{"record":[{"relation":"later_version","id":"2063","status":"public"},{"relation":"earlier_version","status":"public","id":"5412"},{"relation":"earlier_version","status":"public","id":"5413"}]},"file_date_updated":"2020-07-14T12:46:48Z","oa_version":"Published Version","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Daca, Przemyslaw","first_name":"Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","last_name":"Daca"},{"full_name":"Chmelik, Martin","first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","last_name":"Chmelik"}],"has_accepted_license":"1","date_updated":"2023-02-23T12:25:15Z","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability.\r\nWe introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and present discrete graph theoretic algorithms with quadratic complexity to compute the simulation relation.\r\nWe present an automated technique for assume-guarantee style reasoning for compositional analysis of MDPs with qualitative properties by giving a counter-example guided abstraction-refinement approach to compute our new simulation relation. \r\nWe have implemented our algorithms and show that the compositional analysis leads to significant improvements. "}],"page":"33"},{"month":"02","year":"2014","type":"technical_report","status":"public","language":[{"iso":"eng"}],"day":"19","ddc":["004"],"alternative_title":["IST Austria Technical Report"],"pubrep_id":"170","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2664-1690"]},"author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"full_name":"Otop, Jan","first_name":"Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","last_name":"Otop"}],"oa_version":"Published Version","related_material":{"record":[{"status":"public","id":"1656","relation":"later_version"},{"relation":"later_version","status":"public","id":"467"},{"status":"public","id":"5436","relation":"later_version"}]},"file_date_updated":"2020-07-14T12:46:48Z","page":"27","abstract":[{"lang":"eng","text":"Recently there has been a significant effort to add quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide a natural and flexible framework to express quantitative properties, perhaps surprisingly, several basic system properties such as average response time cannot be expressed with weighted automata. In this work, we introduce nested weighted automata as a new formalism for expressing important quantitative properties such as average response time. We establish an almost complete decidability picture for the basic decision problems for nested weighted automata, and illustrate its applicability in several domains. "}],"date_updated":"2023-02-23T12:26:19Z","has_accepted_license":"1","title":"Nested weighted automata","oa":1,"date_published":"2014-02-19T00:00:00Z","_id":"5415","date_created":"2018-12-12T11:39:12Z","citation":{"short":"K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.","mla":"Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.","apa":"Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1","ama":"Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1","ieee":"K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.","ista":"Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p."},"publication_status":"published","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publisher":"IST Austria","doi":"10.15479/AT:IST-2014-170-v1-1","file":[{"creator":"system","file_id":"5497","file_size":573457,"checksum":"31f90dcf2cf899c3f8c6427cfcc2b3c7","date_updated":"2020-07-14T12:46:48Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2014-170-v1+1_main.pdf","date_created":"2018-12-12T11:53:36Z"}]},{"file":[{"relation":"main_file","access_level":"open_access","checksum":"445456d22371e4e49aad2b9a0c13bf80","date_updated":"2020-07-14T12:46:49Z","creator":"system","file_size":712077,"file_id":"5492","date_created":"2018-12-12T11:53:32Z","file_name":"IST-2014-171-v1+1_report.pdf","content_type":"application/pdf"}],"publisher":"IST Austria","doi":"10.15479/AT:IST-2014-171-v1-1","department":[{"_id":"ToHe"}],"publication_status":"published","citation":{"short":"T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.","chicago":"Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.","mla":"Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.","apa":"Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1","ama":"Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1","ieee":"T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.","ista":"Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p."},"date_created":"2018-12-12T11:39:12Z","oa":1,"title":"Model measuring for hybrid systems","date_published":"2014-02-19T00:00:00Z","_id":"5416","page":"22","abstract":[{"text":"As hybrid systems involve continuous behaviors, they should be evaluated by quantitative methods, rather than qualitative methods. In this paper we adapt a quantitative framework, called model measuring, to the hybrid systems domain. The model-measuring problem asks, given a model M and a specification, what is the maximal distance such that all models within that distance from M satisfy (or violate) the specification. A distance function on models is given as part of the input of the problem. Distances, especially related to continuous behaviors are more natural in the hybrid case than the discrete case. We are interested in distances represented by monotonic hybrid automata, a hybrid counterpart of (discrete) weighted automata, whose recognized timed languages are monotone (w.r.t. inclusion) in the values of parameters.The contributions of this paper are twofold. First, we give sufficient conditions under which the model-measuring problem can be solved. Second, we discuss the modeling of distances and applications of the model-measuring problem.","lang":"eng"}],"date_updated":"2023-02-23T10:33:21Z","has_accepted_license":"1","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","last_name":"Otop","full_name":"Otop, Jan","first_name":"Jan"}],"oa_version":"Published Version","related_material":{"record":[{"status":"public","id":"2217","relation":"later_version"}]},"file_date_updated":"2020-07-14T12:46:49Z","ddc":["005"],"day":"19","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2664-1690"]},"alternative_title":["IST Austria Technical Report"],"pubrep_id":"171","month":"02","type":"technical_report","year":"2014","status":"public","language":[{"iso":"eng"}]}]