[{"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"year":"2012","month":"09","department":[{"_id":"ToHe"}],"publisher":"Springer","publication_status":"published","alternative_title":["LNCS"],"_id":"2942","type":"conference","oa_version":"None","status":"public","author":[{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nickovic, Dejan","last_name":"Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"}],"language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:39:56Z","scopus_import":1,"abstract":[{"text":"Interface theories provide a formal framework for component-based development of software and hardware which supports the incremental design of systems and the independent implementability of components. These capabilities are ensured through mathematical properties of the parallel composition operator and the refinement relation for components. More recently, a conjunction operation was added to interface theories in order to provide support for handling multiple viewpoints, requirements engineering, and component reuse. Unfortunately, the conjunction operator does not allow independent implementability in general. In this paper, we study conditions that need to be imposed on interface models in order to enforce independent implementability with respect to conjunction. We focus on multiple viewpoint specifications and propose a new compatibility criterion between two interfaces, which we call orthogonality. We show that orthogonal interfaces can be refined separately, while preserving both orthogonality and composability with other interfaces. We illustrate the independent implementability of different viewpoints with a FIFO buffer example.","lang":"eng"}],"publist_id":"3791","page":"380 - 395","title":"Independent implementability of viewpoints","quality_controlled":"1","conference":{"start_date":"2012-03-19","name":"Monterey Workshop 2012","location":"Oxford, UK","end_date":"2012-03-21"},"citation":{"mla":"Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” <i> Conference Proceedings Monterey Workshop 2012</i>, vol. 7539, Springer, 2012, pp. 380–95, doi:<a href=\"https://doi.org/10.1007/978-3-642-34059-8_20\">10.1007/978-3-642-34059-8_20</a>.","apa":"Henzinger, T. A., &#38; Nickovic, D. (2012). Independent implementability of viewpoints. In <i> Conference proceedings Monterey Workshop 2012</i> (Vol. 7539, pp. 380–395). Oxford, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-642-34059-8_20\">https://doi.org/10.1007/978-3-642-34059-8_20</a>","chicago":"Henzinger, Thomas A, and Dejan Nickovic. “Independent Implementability of Viewpoints.” In <i> Conference Proceedings Monterey Workshop 2012</i>, 7539:380–95. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-34059-8_20\">https://doi.org/10.1007/978-3-642-34059-8_20</a>.","ama":"Henzinger TA, Nickovic D. Independent implementability of viewpoints. In: <i> Conference Proceedings Monterey Workshop 2012</i>. Vol 7539. Springer; 2012:380-395. doi:<a href=\"https://doi.org/10.1007/978-3-642-34059-8_20\">10.1007/978-3-642-34059-8_20</a>","short":"T.A. Henzinger, D. Nickovic, in:,  Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.","ieee":"T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in <i> Conference proceedings Monterey Workshop 2012</i>, Oxford, UK, 2012, vol. 7539, pp. 380–395.","ista":"Henzinger TA, Nickovic D. 2012. Independent implementability of viewpoints.  Conference proceedings Monterey Workshop 2012. Monterey Workshop 2012, LNCS, vol. 7539, 380–395."},"date_created":"2018-12-11T12:00:28Z","doi":"10.1007/978-3-642-34059-8_20","ec_funded":1,"acknowledgement":"ERC Advanced Grant QUAREM (Quantitative Reactive Modeling), FWF National Research Network RISE (Rigorous Systems Engineering)","publication":" Conference proceedings Monterey Workshop 2012","day":"16","volume":7539,"date_published":"2012-09-16T00:00:00Z","intvolume":"      7539"},{"title":"Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions","publist_id":"3790","page":"1318 - 1333","citation":{"mla":"Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” <i>Molecular Microbiology</i>, vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:<a href=\"https://doi.org/10.1111/mmi.12071\">10.1111/mmi.12071</a>.","apa":"Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., &#38; Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. <i>Molecular Microbiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/mmi.12071\">https://doi.org/10.1111/mmi.12071</a>","chicago":"Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” <i>Molecular Microbiology</i>. Wiley-Blackwell, 2012. <a href=\"https://doi.org/10.1111/mmi.12071\">https://doi.org/10.1111/mmi.12071</a>.","ama":"Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. <i>Molecular Microbiology</i>. 2012;86(6):1318-1333. doi:<a href=\"https://doi.org/10.1111/mmi.12071\">10.1111/mmi.12071</a>","short":"N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.","ieee":"N. Hadizadeh Yazdi, C. C. Guet, R. Johnson, and J. Marko, “Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions,” <i>Molecular Microbiology</i>, vol. 86, no. 6. Wiley-Blackwell, pp. 1318–1333, 2012.","ista":"Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. 2012. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 86(6), 1318–1333."},"date_created":"2018-12-11T12:00:28Z","quality_controlled":"1","oa":1,"doi":"10.1111/mmi.12071","intvolume":"        86","date_published":"2012-11-09T00:00:00Z","volume":86,"publication":"Molecular Microbiology","day":"09","acknowledgement":"We thank Professor Philippe Cluzel and Mr Lance Min for providing advice and materials. Jeannette Chau provided technical support. Work at NU was supported by NSF Grants DMR-0715099, MCB-1022117, DMR-1206868, DMR-0520513 and DMR-1121262 (NU-MRSEC), by NIH-NCI Grant U54CA143869-01 (NU-PS-OC) and by the Chicago Biomedical Consortium with support from the Searle Funds at the Chicago Community Trust. Work at UCLA was supported by NIH Grant GM038509.","department":[{"_id":"CaGu"}],"month":"11","year":"2012","oa_version":"Submitted Version","type":"journal_article","issue":"6","_id":"2943","publication_status":"published","publisher":"Wiley-Blackwell","author":[{"first_name":"Nastaran","full_name":"Hadizadeh Yazdi, Nastaran","last_name":"Hadizadeh Yazdi"},{"last_name":"Guet","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C"},{"first_name":"Reid","last_name":"Johnson","full_name":"Johnson, Reid"},{"first_name":"John","last_name":"Marko","full_name":"Marko, John"}],"status":"public","abstract":[{"lang":"eng","text":"We examine whether the Escherichia coli chromosome is folded into a self-adherent nucleoprotein complex, or alternately is a confined but otherwise unconstrained self-avoiding polymer. We address this through in vivo visualization, using an inducible GFP fusion to the nucleoid-associated protein Fis to non-specifically decorate the entire chromosome. For a range of different growth conditions, the chromosome is a compact structure that does not fill the volume of the cell, and which moves from the new pole to the cell centre. During rapid growth, chromosome segregation occurs well before cell division, with daughter chromosomes coupled by a thin inter-daughter filament before complete segregation, whereas during slow growth chromosomes stay adjacent until cell division occurs. Image correlation analysis indicates that sub-nucleoid structure is stable on a 1min timescale, comparable to the timescale for redistribution time measured for GFP-Fis after photobleaching. Optical deconvolution and writhe calculation analysis indicate that the nucleoid has a large-scale coiled organization rather than being an amorphous mass. Our observations are consistent with the chromosome having a self-adherent filament organization."}],"main_file_link":[{"url":"http://europepmc.org/articles/pmc3524407","open_access":"1"}],"scopus_import":1,"date_updated":"2021-01-12T07:39:56Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}]},{"publisher":"Nature Publishing Group","citation":{"mla":"Girard, Jean, et al. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking in Lymph Nodes.” <i>Nature Reviews Immunology</i>, vol. 12, no. 11, Nature Publishing Group, 2012, pp. 762–73, doi:<a href=\"https://doi.org/10.1038/nri3298\">10.1038/nri3298</a>.","chicago":"Girard, Jean, Christine Moussion, and Reinhold Förster. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking in Lymph Nodes.” <i>Nature Reviews Immunology</i>. Nature Publishing Group, 2012. <a href=\"https://doi.org/10.1038/nri3298\">https://doi.org/10.1038/nri3298</a>.","apa":"Girard, J., Moussion, C., &#38; Förster, R. (2012). HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. <i>Nature Reviews Immunology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nri3298\">https://doi.org/10.1038/nri3298</a>","short":"J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.","ieee":"J. Girard, C. Moussion, and R. Förster, “HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes,” <i>Nature Reviews Immunology</i>, vol. 12, no. 11. Nature Publishing Group, pp. 762–773, 2012.","ista":"Girard J, Moussion C, Förster R. 2012. HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. 12(11), 762–773.","ama":"Girard J, Moussion C, Förster R. HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. <i>Nature Reviews Immunology</i>. 2012;12(11):762-773. doi:<a href=\"https://doi.org/10.1038/nri3298\">10.1038/nri3298</a>"},"date_created":"2018-12-11T12:00:29Z","type":"journal_article","oa_version":"None","issue":"11","_id":"2945","publication_status":"published","quality_controlled":"1","year":"2012","month":"11","publist_id":"3787","page":"762 - 773","title":"HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes","department":[{"_id":"MiSi"}],"date_updated":"2021-01-12T07:39:57Z","volume":12,"day":"01","acknowledgement":"We thank M. Sixt and A. Peixoto for helpful comments on the manuscript. Work in the laboratory of J.-P.G. is supported by grants from Fondation ARC pour la Recherche sur le Cancer, Agence Nationale de la Recherche (ANR), Institut National du Cancer (INCA), Fondation RITC and Région Midi-Pyrénées. Research by R.F. is supported by Deutsche Forschungsgemeinschaft (DFG) grants SFB621-A1, SFB738-B5, SFB587-B3, SFB900-B1 and KFO 250-FO 334/2-1. We regret that, owing to space limitations, we could not always quote the work of colleagues who have contributed to the field.","publication":"Nature Reviews Immunology","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"In search of foreign antigens, lymphocytes recirculate from the blood, through lymph nodes, into lymphatics and back to the blood. Dendritic cells also migrate to lymph nodes for optimal interaction with lymphocytes. This continuous trafficking of immune cells into and out of lymph nodes is essential for immune surveillance of foreign invaders. In this article, we review our current understanding of the functions of high endothelial venules (HEVs), stroma and lymphatics in the entry, positioning and exit of immune cells in lymph nodes during homeostasis, and we highlight the unexpected role of dendritic cells in the control of lymphocyte homing through HEVs."}],"intvolume":"        12","scopus_import":1,"date_published":"2012-11-01T00:00:00Z","doi":"10.1038/nri3298","author":[{"last_name":"Girard","full_name":"Girard, Jean","first_name":"Jean"},{"first_name":"Christine","id":"3356F664-F248-11E8-B48F-1D18A9856A87","last_name":"Moussion","full_name":"Moussion, Christine"},{"last_name":"Förster","full_name":"Förster, Reinhold","first_name":"Reinhold"}],"status":"public"},{"abstract":[{"lang":"eng","text":"MicroRNAs (miRNAs) are small noncoding RNAs that function in literally all cellular processes. miRNAs interact with Argonaute (Ago) proteins and guide them to specific target sites located in the 3′-untranslated region (3′-UTR) of target mRNAs leading to translational repression and deadenylation-induced mRNA degradation. Most miRNAs are processed from hairpin-structured precursors by the consecutive action of the RNase III enzymes Drosha and Dicer. However, processing of miR-451 is Dicer independent and cleavage is mediated by the endonuclease Ago2. Here we have characterized miR-451 sequence and structure requirements for processing as well as sorting of miRNAs into different Ago proteins. Pre-miR-451 appears to be optimized for Ago2 cleavage and changes result in reduced processing. In addition, we show that the mature miR-451 only associates with Ago2 suggesting that mature miRNAs are not exchanged between different members of the Ago protein family. Based on cloning and deep sequencing of endogenous miRNAs associated with Ago1-3, we do not find evidence for miRNA sorting in human cells. However, Ago identity appears to influence the length of some miRNAs, while others remain unaffected."}],"scopus_import":1,"date_updated":"2021-01-12T07:39:57Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"status":"public","author":[{"last_name":"Dueck","full_name":"Dueck, Anne","first_name":"Anne"},{"first_name":"Christian","last_name":"Ziegler","full_name":"Ziegler, Christian"},{"last_name":"Eichner","full_name":"Eichner, Alexander","id":"4DFA52AE-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander"},{"full_name":"Berezikov, Eugène","last_name":"Berezikov","first_name":"Eugène"},{"last_name":"Meister","full_name":"Meister, Gunter","first_name":"Gunter"}],"type":"journal_article","ddc":["570"],"oa_version":"Published Version","file":[{"file_id":"4993","creator":"system","relation":"main_file","file_name":"IST-2015-383-v1+1_Nucl._Acids_Res.-2012-Dueck-9850-62.pdf","checksum":"1bb8d1ff894014b481657a21083c941c","file_size":8126936,"date_created":"2018-12-12T10:13:12Z","access_level":"open_access","content_type":"application/pdf","date_updated":"2020-07-14T12:45:55Z"}],"publication_status":"published","_id":"2946","issue":"19","publisher":"Oxford University Press","pubrep_id":"383","department":[{"_id":"MiSi"}],"month":"10","year":"2012","intvolume":"        40","has_accepted_license":"1","date_published":"2012-10-01T00:00:00Z","publication":"Nucleic Acids Research","day":"01","acknowledgement":"Deutsche Forschungsgemeinschaft (DFG) (SFB 960 and FOR855); European Research Council (ERC grant ‘sRNAs’); European Union (FP7 project ‘ONCOMIRs’); German Bundesministerium für Bildung und Forschung (BMBF, NGFN+, FKZ PIM-01GS0804-5); Bavarian Genome Research Network (BayGene to G.M.); The Netherlands Organization for Scientific Research (NWO, VIDI grant to E.B.). Funding for open access charge: DFG via the open access publishing program. \r\n\r\nWe thank Sigrun Ammon and Corinna Friederich for technical assistance and Sebastian Petri and Daniel Schraivogel for helpful discussions.","volume":40,"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","short":"CC BY-NC (4.0)"},"doi":"10.1093/nar/gks705","file_date_updated":"2020-07-14T12:45:55Z","citation":{"short":"A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.","ista":"Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. 2012. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 40(19), 9850–9862.","ieee":"A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs associated with the different human Argonaute proteins,” <i>Nucleic Acids Research</i>, vol. 40, no. 19. Oxford University Press, pp. 9850–9862, 2012.","ama":"Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. MicroRNAs associated with the different human Argonaute proteins. <i>Nucleic Acids Research</i>. 2012;40(19):9850-9862. doi:<a href=\"https://doi.org/10.1093/nar/gks705\">10.1093/nar/gks705</a>","chicago":"Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.” <i>Nucleic Acids Research</i>. Oxford University Press, 2012. <a href=\"https://doi.org/10.1093/nar/gks705\">https://doi.org/10.1093/nar/gks705</a>.","apa":"Dueck, A., Ziegler, C., Eichner, A., Berezikov, E., &#38; Meister, G. (2012). MicroRNAs associated with the different human Argonaute proteins. <i>Nucleic Acids Research</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/nar/gks705\">https://doi.org/10.1093/nar/gks705</a>","mla":"Dueck, Anne, et al. “MicroRNAs Associated with the Different Human Argonaute Proteins.” <i>Nucleic Acids Research</i>, vol. 40, no. 19, Oxford University Press, 2012, pp. 9850–62, doi:<a href=\"https://doi.org/10.1093/nar/gks705\">10.1093/nar/gks705</a>."},"date_created":"2018-12-11T12:00:29Z","quality_controlled":"1","oa":1,"title":"MicroRNAs associated with the different human Argonaute proteins","publist_id":"3786","page":"9850 - 9862"},{"doi":"10.1007/978-3-642-33386-6_30","ec_funded":1,"volume":7561,"acknowledgement":"The research was supported by Austrian Science Fund (FWF) Grant No P 23499-N23 on Modern Graph Algorithmic Techniques in Formal Verification, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","day":"01","intvolume":"      7561","date_published":"2012-06-01T00:00:00Z","publist_id":"3785","page":"385 - 399","title":"Equivalence of games with probabilistic uncertainty and partial observation games","oa":1,"date_created":"2018-12-11T12:00:29Z","citation":{"chicago":"Chatterjee, Krishnendu, Martin Chmelik, and Ritankar Majumdar. “Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games,” 7561:385–99. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_30\">https://doi.org/10.1007/978-3-642-33386-6_30</a>.","apa":"Chatterjee, K., Chmelik, M., &#38; Majumdar, R. (2012). Equivalence of games with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399). Presented at the  ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_30\">https://doi.org/10.1007/978-3-642-33386-6_30</a>","mla":"Chatterjee, Krishnendu, et al. <i>Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games</i>. Vol. 7561, Springer, 2012, pp. 385–99, doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_30\">10.1007/978-3-642-33386-6_30</a>.","short":"K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.","ista":"Chatterjee K, Chmelik M, Majumdar R. 2012. Equivalence of games with probabilistic uncertainty and partial observation games.  ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 7561, 385–399.","ieee":"K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic uncertainty and partial observation games,” presented at the  ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 385–399.","ama":"Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_30\">10.1007/978-3-642-33386-6_30</a>"},"conference":{"start_date":"2012-10-03","name":" ATVA: Automated Technology for Verification and Analysis","location":"Thiruvananthapuram, India","end_date":"2012-10-06"},"quality_controlled":"1","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Chmelik, Martin","last_name":"Chmelik","first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar"}],"status":"public","date_updated":"2021-01-12T07:39:58Z","language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We introduce games with probabilistic uncertainty, a model for controller synthesis in which the controller observes the state through imprecise sensors that provide correct information about the current state with a fixed probability. That is, in each step, the sensors return an observed state, and given the observed state, there is a probability distribution (due to the estimation error) over the actual current state. The controller must base its decision on the observed state (rather than the actual current state, which it does not know). On the other hand, we assume that the environment can perfectly observe the current state. We show that controller synthesis for qualitative ω-regular objectives in our model can be reduced in polynomial time to standard partial-observation stochastic games, and vice-versa. As a consequence we establish the precise decidability frontier for the new class of games, and establish optimal complexity results for all the decidable problems."}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1202.4140"}],"scopus_import":1,"month":"06","year":"2012","project":[{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"KrCh"}],"publisher":"Springer","oa_version":"Preprint","type":"conference","_id":"2947","alternative_title":["LNCS"],"publication_status":"published"},{"language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:39:59Z","volume":15,"publication":"Nature Neuroscience","day":"01","date_published":"2012-11-01T00:00:00Z","scopus_import":1,"main_file_link":[{"url":"http://www.mrcbndu.ox.ac.uk/publications/medial-entorhinal-cortex-keeps"}],"intvolume":"        15","doi":"10.1038/nn.3245","author":[{"last_name":"Dupret","full_name":"Dupret, David","first_name":"David"},{"id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","orcid":"0000-0002-5193-4036","full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari"}],"status":"public","publisher":"Nature Publishing Group","issue":"11","_id":"2949","publication_status":"published","quality_controlled":"1","citation":{"chicago":"Dupret, David, and Jozsef L Csicsvari. “The Medial Entorhinal Cortex Keeps Up.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2012. <a href=\"https://doi.org/10.1038/nn.3245\">https://doi.org/10.1038/nn.3245</a>.","apa":"Dupret, D., &#38; Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn.3245\">https://doi.org/10.1038/nn.3245</a>","mla":"Dupret, David, and Jozsef L. Csicsvari. “The Medial Entorhinal Cortex Keeps Up.” <i>Nature Neuroscience</i>, vol. 15, no. 11, Nature Publishing Group, 2012, pp. 1471–72, doi:<a href=\"https://doi.org/10.1038/nn.3245\">10.1038/nn.3245</a>.","ieee":"D. Dupret and J. L. Csicsvari, “The medial entorhinal cortex keeps Up,” <i>Nature Neuroscience</i>, vol. 15, no. 11. Nature Publishing Group, pp. 1471–1472, 2012.","ista":"Dupret D, Csicsvari JL. 2012. The medial entorhinal cortex keeps Up. Nature Neuroscience. 15(11), 1471–1472.","short":"D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.","ama":"Dupret D, Csicsvari JL. The medial entorhinal cortex keeps Up. <i>Nature Neuroscience</i>. 2012;15(11):1471-1472. doi:<a href=\"https://doi.org/10.1038/nn.3245\">10.1038/nn.3245</a>"},"date_created":"2018-12-11T12:00:30Z","oa_version":"None","type":"journal_article","year":"2012","month":"11","publist_id":"3782","page":"1471 - 1472","title":"The medial entorhinal cortex keeps Up","department":[{"_id":"JoCs"}]},{"doi":"10.1126/science.1224143","date_published":"2012-10-12T00:00:00Z","intvolume":"       338","volume":338,"day":"12","publication":"Science","title":"Forces driving epithelial spreading in zebrafish gastrulation","publist_id":"3778","page":"257 - 260","quality_controlled":"1","citation":{"mla":"Behrndt, Martin, et al. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” <i>Science</i>, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 257–60, doi:<a href=\"https://doi.org/10.1126/science.1224143\">10.1126/science.1224143</a>.","apa":"Behrndt, M., Salbreux, G., Campinho, P., Hauschild, R., Oswald, F., Roensch, J., … Heisenberg, C.-P. J. (2012). Forces driving epithelial spreading in zebrafish gastrulation. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1224143\">https://doi.org/10.1126/science.1224143</a>","chicago":"Behrndt, Martin, Guillaume Salbreux, Pedro Campinho, Robert Hauschild, Felix Oswald, Julia Roensch, Stephan Grill, and Carl-Philipp J Heisenberg. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” <i>Science</i>. American Association for the Advancement of Science, 2012. <a href=\"https://doi.org/10.1126/science.1224143\">https://doi.org/10.1126/science.1224143</a>.","ama":"Behrndt M, Salbreux G, Campinho P, et al. Forces driving epithelial spreading in zebrafish gastrulation. <i>Science</i>. 2012;338(6104):257-260. doi:<a href=\"https://doi.org/10.1126/science.1224143\">10.1126/science.1224143</a>","short":"M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.","ista":"Behrndt M, Salbreux G, Campinho P, Hauschild R, Oswald F, Roensch J, Grill S, Heisenberg C-PJ. 2012. Forces driving epithelial spreading in zebrafish gastrulation. Science. 338(6104), 257–260.","ieee":"M. Behrndt <i>et al.</i>, “Forces driving epithelial spreading in zebrafish gastrulation,” <i>Science</i>, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 257–260, 2012."},"date_created":"2018-12-11T12:00:30Z","acknowledged_ssus":[{"_id":"SSU"}],"author":[{"last_name":"Behrndt","full_name":"Behrndt, Martin","first_name":"Martin","id":"3ECECA3A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Salbreux","full_name":"Salbreux, Guillaume","first_name":"Guillaume"},{"full_name":"Campinho, Pedro","last_name":"Campinho","orcid":"0000-0002-8526-5416","first_name":"Pedro","id":"3AFBBC42-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9843-3522","last_name":"Hauschild","full_name":"Hauschild, Robert"},{"last_name":"Oswald","full_name":"Oswald, Felix","first_name":"Felix"},{"last_name":"Roensch","full_name":"Roensch, Julia","first_name":"Julia","id":"4220E59C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Stephan","last_name":"Grill","full_name":"Grill, Stephan"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"status":"public","scopus_import":1,"abstract":[{"text":"Contractile actomyosin rings drive various fundamental morphogenetic processes ranging from cytokinesis to wound healing. Actomyosin rings are generally thought to function by circumferential contraction. Here, we show that the spreading of the enveloping cell layer (EVL) over the yolk cell during zebrafish gastrulation is driven by a contractile actomyosin ring. In contrast to previous suggestions, we find that this ring functions not only by circumferential contraction but also by a flow-friction mechanism. This generates a pulling force through resistance against retrograde actomyosin flow. EVL spreading proceeds normally in situations where circumferential contraction is unproductive, indicating that the flow-friction mechanism is sufficient. Thus, actomyosin rings can function in epithelial morphogenesis through a combination of cable-constriction and flow-friction mechanisms.","lang":"eng"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1403"}]},"language":[{"iso":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-02-21T17:02:44Z","department":[{"_id":"CaHe"},{"_id":"Bio"}],"month":"10","year":"2012","project":[{"grant_number":"I 930-B20","call_identifier":"FWF","name":"Control of Epithelial Cell Layer Spreading in Zebrafish","_id":"252ABD0A-B435-11E9-9278-68D0E5697425"}],"_id":"2950","issue":"6104","publication_status":"published","oa_version":"None","type":"journal_article","publisher":"American Association for the Advancement of Science"},{"scopus_import":1,"date_published":"2012-10-12T00:00:00Z","abstract":[{"lang":"eng","text":"Differential cell adhesion and cortex tension are thought to drive cell sorting by controlling cell-cell contact formation. Here, we show that cell adhesion and cortex tension have different mechanical functions in controlling progenitor cell-cell contact formation and sorting during zebrafish gastrulation. Cortex tension controls cell-cell contact expansion by modulating interfacial tension at the contact. By contrast, adhesion has little direct function in contact expansion, but instead is needed to mechanically couple the cortices of adhering cells at their contacts, allowing cortex tension to control contact expansion. The coupling function of adhesion is mediated by E-cadherin and limited by the mechanical anchoring of E-cadherin to the cortex. Thus, cell adhesion provides the mechanical scaffold for cell cortex tension to drive cell sorting during gastrulation."}],"intvolume":"       338","language":[{"iso":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:40:00Z","volume":338,"publication":"Science","day":"12","author":[{"last_name":"Maître","full_name":"Maître, Jean-Léon","orcid":"0000-0002-3688-1474","first_name":"Jean-Léon","id":"48F1E0D8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Hélène","last_name":"Berthoumieux","full_name":"Berthoumieux, Hélène"},{"orcid":"0000-0003-4761-5996","last_name":"Krens","full_name":"Krens, Gabriel","id":"2B819732-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel"},{"first_name":"Guillaume","last_name":"Salbreux","full_name":"Salbreux, Guillaume"},{"last_name":"Julicher","full_name":"Julicher, Frank","first_name":"Frank"},{"full_name":"Paluch, Ewa","last_name":"Paluch","first_name":"Ewa"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"}],"status":"public","doi":"10.1126/science.1225399","issue":"6104","_id":"2951","quality_controlled":"1","publication_status":"published","acknowledged_ssus":[{"_id":"SSU"}],"citation":{"ieee":"J.-L. Maître <i>et al.</i>, “Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells,” <i>Science</i>, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 253–256, 2012.","short":"J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.","ista":"Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg C-PJ. 2012. Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. 338(6104), 253–256.","ama":"Maître J-L, Berthoumieux H, Krens G, et al. Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. <i>Science</i>. 2012;338(6104):253-256. doi:<a href=\"https://doi.org/10.1126/science.1225399\">10.1126/science.1225399</a>","mla":"Maître, Jean-Léon, et al. “Adhesion Functions in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.” <i>Science</i>, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 253–56, doi:<a href=\"https://doi.org/10.1126/science.1225399\">10.1126/science.1225399</a>.","chicago":"Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Adhesion Functions in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.” <i>Science</i>. American Association for the Advancement of Science, 2012. <a href=\"https://doi.org/10.1126/science.1225399\">https://doi.org/10.1126/science.1225399</a>.","apa":"Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., &#38; Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1225399\">https://doi.org/10.1126/science.1225399</a>"},"date_created":"2018-12-11T12:00:31Z","type":"journal_article","oa_version":"None","publisher":"American Association for the Advancement of Science","title":"Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells","department":[{"_id":"CaHe"}],"year":"2012","month":"10","page":"253 - 256","publist_id":"3777"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"date_updated":"2021-01-12T07:40:00Z","volume":139,"day":"01","acknowledgement":"M.T. is supported by the UK Medical Research Council (MRC) and Royal Society and C.-P.H. by the Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Deutsche Forschungsgemeinschaft (DFG) and Institute of Science and Technology Austria. ","publication":"Development","scopus_import":1,"date_published":"2012-11-01T00:00:00Z","abstract":[{"lang":"eng","text":"Body axis elongation represents a common and fundamental morphogenetic process in development. A key mechanism triggering body axis elongation without additional growth is convergent extension (CE), whereby a tissue undergoes simultaneous narrowing and extension. Both collective cell migration and cell intercalation are thought to drive CE and are used to different degrees in various species as they elongate their body axis. Here, we provide an overview of CE as a general strategy for body axis elongation and discuss conserved and divergent mechanisms underlying CE among different species."}],"intvolume":"       139","doi":"10.1242/dev.073007","author":[{"first_name":"Masazumi","full_name":"Tada, Masazumi","last_name":"Tada"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"status":"public","publisher":"Company of Biologists","issue":"21","_id":"2952","publication_status":"published","quality_controlled":"1","date_created":"2018-12-11T12:00:31Z","citation":{"ama":"Tada M, Heisenberg C-PJ. Convergent extension Using collective cell migration and cell intercalation to shape embryos. <i>Development</i>. 2012;139(21):3897-3904. doi:<a href=\"https://doi.org/10.1242/dev.073007\">10.1242/dev.073007</a>","ista":"Tada M, Heisenberg C-PJ. 2012. Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. 139(21), 3897–3904.","short":"M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.","ieee":"M. Tada and C.-P. J. Heisenberg, “Convergent extension Using collective cell migration and cell intercalation to shape embryos,” <i>Development</i>, vol. 139, no. 21. Company of Biologists, pp. 3897–3904, 2012.","mla":"Tada, Masazumi, and Carl-Philipp J. Heisenberg. “Convergent Extension Using Collective Cell Migration and Cell Intercalation to Shape Embryos.” <i>Development</i>, vol. 139, no. 21, Company of Biologists, 2012, pp. 3897–904, doi:<a href=\"https://doi.org/10.1242/dev.073007\">10.1242/dev.073007</a>.","apa":"Tada, M., &#38; Heisenberg, C.-P. J. (2012). Convergent extension Using collective cell migration and cell intercalation to shape embryos. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.073007\">https://doi.org/10.1242/dev.073007</a>","chicago":"Tada, Masazumi, and Carl-Philipp J Heisenberg. “Convergent Extension Using Collective Cell Migration and Cell Intercalation to Shape Embryos.” <i>Development</i>. Company of Biologists, 2012. <a href=\"https://doi.org/10.1242/dev.073007\">https://doi.org/10.1242/dev.073007</a>."},"oa_version":"None","type":"journal_article","month":"11","year":"2012","publist_id":"3776","page":"3897 - 3904","title":"Convergent extension Using collective cell migration and cell intercalation to shape embryos","department":[{"_id":"CaHe"}]},{"title":"Cell-cell adhesion and extracellular matrix diversity counts","department":[{"_id":"CaHe"}],"month":"10","year":"2012","publist_id":"3773","page":"559 - 561","citation":{"ista":"Heisenberg C-PJ, Fässler R. 2012. Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. 24(5), 559–561.","short":"C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.","ieee":"C.-P. J. Heisenberg and R. Fässler, “Cell-cell adhesion and extracellular matrix diversity counts,” <i>Current Opinion in Cell Biology</i>, vol. 24, no. 5. Elsevier, pp. 559–561, 2012.","ama":"Heisenberg C-PJ, Fässler R. Cell-cell adhesion and extracellular matrix diversity counts. <i>Current Opinion in Cell Biology</i>. 2012;24(5):559-561. doi:<a href=\"https://doi.org/10.1016/j.ceb.2012.09.002\">10.1016/j.ceb.2012.09.002</a>","mla":"Heisenberg, Carl-Philipp J., and Reinhard Fässler. “Cell-Cell Adhesion and Extracellular Matrix Diversity Counts.” <i>Current Opinion in Cell Biology</i>, vol. 24, no. 5, Elsevier, 2012, pp. 559–61, doi:<a href=\"https://doi.org/10.1016/j.ceb.2012.09.002\">10.1016/j.ceb.2012.09.002</a>.","chicago":"Heisenberg, Carl-Philipp J, and Reinhard Fässler. “Cell-Cell Adhesion and Extracellular Matrix Diversity Counts.” <i>Current Opinion in Cell Biology</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.ceb.2012.09.002\">https://doi.org/10.1016/j.ceb.2012.09.002</a>.","apa":"Heisenberg, C.-P. J., &#38; Fässler, R. (2012). Cell-cell adhesion and extracellular matrix diversity counts. <i>Current Opinion in Cell Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ceb.2012.09.002\">https://doi.org/10.1016/j.ceb.2012.09.002</a>"},"date_created":"2018-12-11T12:00:31Z","type":"journal_article","oa_version":"None","issue":"5","_id":"2953","quality_controlled":"1","publication_status":"published","publisher":"Elsevier","author":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"},{"last_name":"Fässler","full_name":"Fässler, Reinhard","first_name":"Reinhard"}],"status":"public","doi":"10.1016/j.ceb.2012.09.002","intvolume":"        24","date_published":"2012-10-01T00:00:00Z","scopus_import":1,"volume":24,"date_updated":"2021-01-12T07:40:01Z","day":"01","publication":"Current Opinion in Cell Biology","language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},{"month":"10","year":"2012","project":[{"grant_number":"SFB-TR3-TP10B","_id":"25BDE9A4-B435-11E9-9278-68D0E5697425","name":"Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen"}],"department":[{"_id":"PeJo"},{"_id":"ScienComp"}],"publisher":"Biophysical","issue":"7","_id":"2954","external_id":{"pmid":["23062335"]},"publication_status":"published","oa_version":"Submitted Version","type":"journal_article","author":[{"last_name":"Pernia-Andrade","full_name":"Pernia-Andrade, Alejandro","id":"36963E98-F248-11E8-B48F-1D18A9856A87","first_name":"Alejandro"},{"id":"3A578F32-F248-11E8-B48F-1D18A9856A87","first_name":"Sarit","full_name":"Goswami, Sarit","last_name":"Goswami"},{"last_name":"Stickler","full_name":"Stickler, Yvonne","id":"63B76600-E9CC-11E9-9B5F-82450873F7A1","first_name":"Yvonne"},{"first_name":"Ulrich","last_name":"Fröbe","full_name":"Fröbe, Ulrich"},{"id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","first_name":"Alois","orcid":"0000-0002-5621-8100","last_name":"Schlögl","full_name":"Schlögl, Alois"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","last_name":"Jonas"}],"status":"public","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:40:01Z","scopus_import":1,"abstract":[{"text":"Spontaneous postsynaptic currents (PSCs) provide key information about the mechanisms of synaptic transmission and the activity modes of neuronal networks. However, detecting spontaneous PSCs in vitro and in vivo has been challenging, because of the small amplitude, the variable kinetics, and the undefined time of generation of these events. Here, we describe a, to our knowledge, new method for detecting spontaneous synaptic events by deconvolution, using a template that approximates the average time course of spontaneous PSCs. A recorded PSC trace is deconvolved from the template, resulting in a series of delta-like functions. The maxima of these delta-like events are reliably detected, revealing the precise onset times of the spontaneous PSCs. Among all detection methods, the deconvolution-based method has a unique temporal resolution, allowing the detection of individual events in high-frequency bursts. Furthermore, the deconvolution-based method has a high amplitude resolution, because deconvolution can substantially increase the signal/noise ratio. When tested against previously published methods using experimental data, the deconvolution-based method was superior for spontaneous PSCs recorded in vivo. Using the high-resolution deconvolution-based detection algorithm, we show that the frequency of spontaneous excitatory postsynaptic currents in dentate gyrus granule cells is 4.5 times higher in vivo than in vitro.","lang":"eng"}],"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3471482/","open_access":"1"}],"page":"1429 - 1439","publist_id":"3774","title":"A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo","oa":1,"quality_controlled":"1","date_created":"2018-12-11T12:00:32Z","citation":{"ista":"Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. 2012. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. 103(7), 1429–1439.","short":"A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.","ieee":"A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” <i>Biophysical Journal</i>, vol. 103, no. 7. Biophysical, pp. 1429–1439, 2012.","ama":"Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. <i>Biophysical Journal</i>. 2012;103(7):1429-1439. doi:<a href=\"https://doi.org/10.1016/j.bpj.2012.08.039\">10.1016/j.bpj.2012.08.039</a>","mla":"Pernia-Andrade, Alejandro, et al. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” <i>Biophysical Journal</i>, vol. 103, no. 7, Biophysical, 2012, pp. 1429–39, doi:<a href=\"https://doi.org/10.1016/j.bpj.2012.08.039\">10.1016/j.bpj.2012.08.039</a>.","chicago":"Pernia-Andrade, Alejandro, Sarit Goswami, Yvonne Stickler, Ulrich Fröbe, Alois Schlögl, and Peter M Jonas. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” <i>Biophysical Journal</i>. Biophysical, 2012. <a href=\"https://doi.org/10.1016/j.bpj.2012.08.039\">https://doi.org/10.1016/j.bpj.2012.08.039</a>.","apa":"Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., &#38; Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. <i>Biophysical Journal</i>. Biophysical. <a href=\"https://doi.org/10.1016/j.bpj.2012.08.039\">https://doi.org/10.1016/j.bpj.2012.08.039</a>"},"doi":"10.1016/j.bpj.2012.08.039","pmid":1,"volume":103,"publication":"Biophysical Journal","acknowledgement":"This work was supported by the Deutsche Forschungsgemeinschaft (TR3/B10) and a European Research Council Advanced grant to P.J.\r\nWe thank H. Hu, S. J. Guzman, and C. Schmidt-Hieber for critically reading the manuscript, I. Koeva and F. Marr for technical support, and E. Kramberger for editorial assistance.\r\n","day":"03","date_published":"2012-10-03T00:00:00Z","intvolume":"       103"},{"acknowledgement":"This work was partially supported by FWF Grant No P 23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","publication":"Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science","day":"23","date_published":"2012-08-23T00:00:00Z","doi":"10.1109/LICS.2012.28","ec_funded":1,"article_number":"6280436","oa":1,"date_created":"2018-12-11T12:00:32Z","citation":{"apa":"Chatterjee, K., &#38; Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Dubrovnik, Croatia: IEEE. <a href=\"https://doi.org/10.1109/LICS.2012.28\">https://doi.org/10.1109/LICS.2012.28</a>","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE, 2012. <a href=\"https://doi.org/10.1109/LICS.2012.28\">https://doi.org/10.1109/LICS.2012.28</a>.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 6280436, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/LICS.2012.28\">10.1109/LICS.2012.28</a>.","ama":"Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. In: <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/LICS.2012.28\">10.1109/LICS.2012.28</a>","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.","ieee":"K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” in <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Dubrovnik, Croatia, 2012.","ista":"Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280436."},"conference":{"location":"Dubrovnik, Croatia","end_date":"2012-06-28","start_date":"2012-06-25","name":"LICS: Logic in Computer Science"},"arxiv":1,"quality_controlled":"1","publist_id":"3771","title":"Partial-observation stochastic games: How to win when belief fails","date_updated":"2023-02-23T12:23:43Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"We consider two-player stochastic games played on finite graphs with reachability objectives where the first player tries to ensure a target state to be visited almost-surely (i.e., with probability 1), or positively (i.e., with positive probability), no matter the strategy of the second player. We classify such games according to the information and the power of randomization available to the players. On the basis of information, the game can be one-sided with either (a) player 1, or (b) player 2 having partial observation (and the other player has perfect observation), or two-sided with (c) both players having partial observation. On the basis of randomization, the players (a) may not be allowed to use randomization (pure strategies), or (b) may choose a probability distribution over actions but the actual random choice is external and not visible to the player (actions invisible), or (c) may use full randomization. Our main results for pure strategies are as follows. (1) For one-sided games with player 1 having partial observation we show that (in contrast to full randomized strategies) belief-based (subset-construction based) strategies are not sufficient, and we present an exponential upper bound on memory both for almostsure and positive winning strategies; we show that the problem of deciding the existence of almost-sure and positive winning strategies for player 1 is EXPTIME-complete. (2) For one-sided games with player 2 having partial observation we show that non-elementary memory is both necessary and sufficient for both almost-sure and positive winning strategies. (3) We show that for the general (two-sided) case finite-memory strategies are sufficient for both positive and almost-sure winning, and at least non-elementary memory is required. We establish the equivalence of the almost-sure winning problems for pure strategies and for randomized strategies with actions invisible. Our equivalence result exhibits serious flaws in previous results of the literature: we show a non-elementary memory lower bound for almost-sure winning whereas an exponential upper bound was previously claimed."}],"related_material":{"record":[{"relation":"later_version","status":"public","id":"2211"},{"status":"public","relation":"earlier_version","id":"5381"}]},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1107.2141"}],"scopus_import":1,"author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Doyen, Laurent","last_name":"Doyen","first_name":"Laurent"}],"status":"public","publisher":"IEEE","oa_version":"Preprint","type":"conference","_id":"2955","external_id":{"arxiv":["1107.2141"]},"publication_status":"published","month":"08","year":"2012","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"KrCh"}]},{"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"publist_id":"3770","year":"2012","month":"08","department":[{"_id":"KrCh"}],"title":"Mean payoff pushdown games","article_number":"6280438","publisher":"IEEE","publication_status":"published","quality_controlled":"1","_id":"2956","conference":{"name":"LICS: Logic in Computer Science","start_date":"2012-06-25","location":"Dubrovnik, Croatia ","end_date":"2012-06-28"},"oa_version":"None","type":"conference","citation":{"chicago":"Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE, 2012. <a href=\"https://doi.org/10.1109/LICS.2012.30\">https://doi.org/10.1109/LICS.2012.30</a>.","apa":"Chatterjee, K., &#38; Velner, Y. (2012). Mean payoff pushdown games. In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Dubrovnik, Croatia : IEEE. <a href=\"https://doi.org/10.1109/LICS.2012.30\">https://doi.org/10.1109/LICS.2012.30</a>","mla":"Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 6280438, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/LICS.2012.30\">10.1109/LICS.2012.30</a>.","ieee":"K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Dubrovnik, Croatia , 2012.","ista":"Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280438.","short":"K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.","ama":"Chatterjee K, Velner Y. Mean payoff pushdown games. In: <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/LICS.2012.30\">10.1109/LICS.2012.30</a>"},"date_created":"2018-12-11T12:00:32Z","doi":"10.1109/LICS.2012.30","status":"public","ec_funded":1,"author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"full_name":"Velner, Yaron","last_name":"Velner","first_name":"Yaron"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"publication":"Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science","day":"23","acknowledgement":"The research was supported by Austrian Science Fund (FWF) Grant No P 23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), Microsoft faculty fellows award, the Israeli Centers of Research Excellence (ICORE) program, (Center No. 4/11), the RICH Model Toolkit (ICT COST Action IC0901), and was carried out in partial fulfillment of the requirements for the Ph.D. degree of the second author.\r\nA Technical Report of this paper is available via internal link.","date_updated":"2023-02-23T12:23:30Z","date_published":"2012-08-23T00:00:00Z","scopus_import":1,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5377"}]},"abstract":[{"text":"Two-player games on graphs are central in many problems in formal verification and program analysis such as synthesis and verification of open systems. In this work we consider solving recursive game graphs (or pushdown game graphs) that can model the control flow of sequential programs with recursion. While pushdown games have been studied before with qualitative objectives, such as reachability and parity objectives, in this work we study for the first time such games with the most well-studied quantitative objective, namely, mean payoff objectives. In pushdown games two types of strategies are relevant: (1) global strategies, that depend on the entire global history; and (2) modular strategies, that have only local memory and thus do not depend on the context of invocation, but only on the history of the current invocation of the module. Our main results are as follows: (1) One-player pushdown games with mean-payoff objectives under global strategies are decidable in polynomial time. (2) Two-player pushdown games with mean-payoff objectives under global strategies are undecidable. (3) One-player pushdown games with mean-payoff objectives under modular strategies are NP-hard. (4) Two-player pushdown games with mean-payoff objectives under modular strategies can be solved in NP (i.e., both one-player and two-player pushdown games with mean-payoff objectives under modular strategies are NP-complete). We also establish the optimal strategy complexity showing that global strategies for mean-payoff objectives require infinite memory even in one-player pushdown games; and memoryless modular strategies are sufficient in two-player pushdown games. Finally we also show that all the problems have the same computational complexity if the stack boundedness condition is added, where along with the mean-payoff objective the player must also ensure that the stack height is bounded.","lang":"eng"}]},{"publisher":"IEEE","type":"conference","oa_version":"Preprint","_id":"2957","publication_status":"published","external_id":{"arxiv":["1107.2091"]},"month":"08","year":"2012","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","grant_number":"P 23499-N23"},{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"KrCh"}],"date_updated":"2023-02-23T12:23:51Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"abstract":[{"text":"We consider probabilistic automata on infinite words with acceptance defined by parity conditions. We consider three qualitative decision problems: (i) the positive decision problem asks whether there is a word that is accepted with positive probability; (ii) the almost decision problem asks whether there is a word that is accepted with probability 1; and (iii) the limit decision problem asks whether words are accepted with probability arbitrarily close to 1. We unify and generalize several decidability results for probabilistic automata over infinite words, and identify a robust (closed under union and intersection) subclass of probabilistic automata for which all the qualitative decision problems are decidable for parity conditions. We also show that if the input words are restricted to lasso shape (regular) words, then the positive and almost problems are decidable for all probabilistic automata with parity conditions. For most decidable problems we show an optimal PSPACE-complete complexity bound.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1107.2091"}],"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5384"}]},"scopus_import":1,"author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Mathieu","id":"3F54FA38-F248-11E8-B48F-1D18A9856A87","last_name":"Tracol","full_name":"Tracol, Mathieu"}],"status":"public","article_number":"6280437","oa":1,"citation":{"mla":"Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 6280437, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/LICS.2012.29\">10.1109/LICS.2012.29</a>.","apa":"Chatterjee, K., &#38; Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Dubrovnik, Croatia : IEEE. <a href=\"https://doi.org/10.1109/LICS.2012.29\">https://doi.org/10.1109/LICS.2012.29</a>","chicago":"Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” In <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE, 2012. <a href=\"https://doi.org/10.1109/LICS.2012.29\">https://doi.org/10.1109/LICS.2012.29</a>.","ama":"Chatterjee K, Tracol M. Decidable problems for probabilistic automata on infinite words. In: <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/LICS.2012.29\">10.1109/LICS.2012.29</a>","short":"K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.","ieee":"K. Chatterjee and M. Tracol, “Decidable problems for probabilistic automata on infinite words,” in <i>Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Dubrovnik, Croatia , 2012.","ista":"Chatterjee K, Tracol M. 2012. Decidable problems for probabilistic automata on infinite words. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280437."},"date_created":"2018-12-11T12:00:33Z","conference":{"end_date":"2012-06-28","location":"Dubrovnik, Croatia ","name":"LICS: Logic in Computer Science","start_date":"2012-06-25"},"quality_controlled":"1","arxiv":1,"publist_id":"3769","title":"Decidable problems for probabilistic automata on infinite words","publication":"Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science","day":"23","date_published":"2012-08-23T00:00:00Z","doi":"10.1109/LICS.2012.29","ec_funded":1},{"status":"public","author":[{"first_name":"Kevin","last_name":"Allen","full_name":"Allen, Kevin"},{"first_name":"J Nick","last_name":"Rawlins","full_name":"Rawlins, J Nick"},{"full_name":"Bannerman, David","last_name":"Bannerman","first_name":"David"},{"full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari","orcid":"0000-0002-5193-4036","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L"}],"date_updated":"2021-01-12T07:40:03Z","language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3531717/","open_access":"1"}],"abstract":[{"lang":"eng","text":"The activity of hippocampal pyramidal cells reflects both the current position of the animal and information related to its current behavior. Here we investigated whether single hippocampal neurons can encode several independent features defining trials during a memory task. We also tested whether task-related information is represented by partial remapping of the place cell population or, instead, via firing rate modulation of spatially stable place cells. To address these two questions, the activity of hippocampal neurons was recorded in rats performing a conditional discrimination task on a modified T-maze in which the identity of a food reward guided behavior. When the rat was on the central arm of the maze, the firing rate of pyramidal cells changed depending on two independent factors: (1) the identity of the food reward given to the animal and (2) the previous location of the animal on the maze. Importantly, some pyramidal cells encoded information relative to both factors. This trial-type specific and retrospective coding did not interfere with the spatial representation of the maze: hippocampal cells had stable place fields and their theta-phase precession profiles were unaltered during the task, indicating that trial-related information was encoded via rate remapping. During error trials, encoding of both trial-related information and spatial location was impaired. Finally, we found that pyramidal cells also encode trial-related information via rate remapping during the continuous version of the rewarded alternation task without delays. These results suggest that hippocampal neurons can encode several task-related cognitive aspects via rate remapping."}],"scopus_import":1,"project":[{"grant_number":"281511","call_identifier":"FP7","name":"Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex","_id":"257A4776-B435-11E9-9278-68D0E5697425"}],"year":"2012","month":"10","department":[{"_id":"JoCs"}],"publisher":"Society for Neuroscience","oa_version":"Submitted Version","type":"journal_article","external_id":{"pmid":["23077060"]},"publication_status":"published","issue":"42","_id":"2958","doi":"10.1523/JNEUROSCI.6175-11.2012","ec_funded":1,"acknowledgement":"J.C. was supported by a MRC Intramural Programme Grant (U138197111) and a European Research Council Starter Grant (281511). K.A. held a Wellcome Trust PhD studentship and a Humboldt Research Fellowship for Postdoctoral Researchers. D.M.B. was supported by Wellcome Trust Senior Fellowships (074385 and 087736).","day":"17","publication":"Journal of Neuroscience","volume":32,"pmid":1,"intvolume":"        32","date_published":"2012-10-17T00:00:00Z","publist_id":"3768","page":"14752 - 14766","title":"Hippocampal place cells can encode multiple trial-dependent features through rate remapping","oa":1,"citation":{"short":"K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience 32 (2012) 14752–14766.","ieee":"K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” <i>Journal of Neuroscience</i>, vol. 32, no. 42. Society for Neuroscience, pp. 14752–14766, 2012.","ista":"Allen K, Rawlins JN, Bannerman D, Csicsvari JL. 2012. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 32(42), 14752–14766.","ama":"Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. <i>Journal of Neuroscience</i>. 2012;32(42):14752-14766. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.6175-11.2012\">10.1523/JNEUROSCI.6175-11.2012</a>","mla":"Allen, Kevin, et al. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.” <i>Journal of Neuroscience</i>, vol. 32, no. 42, Society for Neuroscience, 2012, pp. 14752–66, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.6175-11.2012\">10.1523/JNEUROSCI.6175-11.2012</a>.","chicago":"Allen, Kevin, J Nick Rawlins, David Bannerman, and Jozsef L Csicsvari. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2012. <a href=\"https://doi.org/10.1523/JNEUROSCI.6175-11.2012\">https://doi.org/10.1523/JNEUROSCI.6175-11.2012</a>.","apa":"Allen, K., Rawlins, J. N., Bannerman, D., &#38; Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.6175-11.2012\">https://doi.org/10.1523/JNEUROSCI.6175-11.2012</a>"},"date_created":"2018-12-11T12:00:33Z","quality_controlled":"1"},{"publisher":"Institute of Mathematical Statistics","publication_status":"published","_id":"2959","issue":"1","oa_version":"Preprint","type":"journal_article","year":"2012","month":"02","department":[{"_id":"CaUh"}],"language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:40:04Z","scopus_import":1,"main_file_link":[{"url":"http://arxiv.org/abs/1012.2643","open_access":"1"}],"abstract":[{"text":"We study maximum likelihood estimation in Gaussian graphical models from a geometric point of view. An algebraic elimination criterion allows us to find exact lower bounds on the number of observations needed to ensure that the maximum likelihood estimator (MLE) exists with probability one. This is applied to bipartite graphs, grids and colored graphs. We also study the ML degree, and we present the first instance of a graph for which the MLE exists with probability one, even when the number of observations equals the treewidth.","lang":"eng"}],"status":"public","author":[{"orcid":"0000-0002-7008-0216","full_name":"Uhler, Caroline","last_name":"Uhler","id":"49ADD78E-F248-11E8-B48F-1D18A9856A87","first_name":"Caroline"}],"oa":1,"quality_controlled":"1","citation":{"ista":"Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 40(1), 238–261.","ieee":"C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” <i>Annals of Statistics</i>, vol. 40, no. 1. Institute of Mathematical Statistics, pp. 238–261, 2012.","short":"C. Uhler, Annals of Statistics 40 (2012) 238–261.","ama":"Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models. <i>Annals of Statistics</i>. 2012;40(1):238-261. doi:<a href=\"https://doi.org/10.1214/11-AOS957\">10.1214/11-AOS957</a>","chicago":"Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” <i>Annals of Statistics</i>. Institute of Mathematical Statistics, 2012. <a href=\"https://doi.org/10.1214/11-AOS957\">https://doi.org/10.1214/11-AOS957</a>.","apa":"Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical models. <i>Annals of Statistics</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/11-AOS957\">https://doi.org/10.1214/11-AOS957</a>","mla":"Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” <i>Annals of Statistics</i>, vol. 40, no. 1, Institute of Mathematical Statistics, 2012, pp. 238–61, doi:<a href=\"https://doi.org/10.1214/11-AOS957\">10.1214/11-AOS957</a>."},"date_created":"2018-12-11T12:00:33Z","page":"238 - 261","publist_id":"3767","title":"Geometry of maximum likelihood estimation in Gaussian graphical models","day":"01","acknowledgement":"I wish to thank Bernd Sturmfels for many helpful discus- sions and Steffen Lauritzen for introducing me to the problem of the existence of the MLE in Gaussian graphical models. I would also like to thank two referees who provided helpful comments on the original version of this paper.\r\n","publication":"Annals of Statistics","volume":40,"date_published":"2012-02-01T00:00:00Z","intvolume":"        40","doi":"10.1214/11-AOS957"},{"status":"public","author":[{"full_name":"Aeschbacher, Simon","last_name":"Aeschbacher","id":"2D35326E-F248-11E8-B48F-1D18A9856A87","first_name":"Simon"},{"last_name":"Beaumont","full_name":"Beaumont, Mark","first_name":"Mark"},{"first_name":"Andreas","full_name":"Futschik, Andreas","last_name":"Futschik"}],"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3522150/","open_access":"1"}],"abstract":[{"lang":"eng","text":"The choice of summary statistics is a crucial step in approximate Bayesian computation (ABC). Since statistics are often not sufficient, this choice involves a trade-off between loss of information and reduction of dimensionality. The latter may increase the efficiency of ABC. Here, we propose an approach for choosing summary statistics based on boosting, a technique from the machine learning literature. We consider different types of boosting and compare them to partial least squares regression as an alternative. To mitigate the lack of sufficiency, we also propose an approach for choosing summary statistics locally, in the putative neighborhood of the true parameter value. We study a demographic model motivated by the re-introduction of Alpine ibex (Capra ibex) into the Swiss Alps. The parameters of interest are the mean and standard deviation across microsatellites of the scaled ancestral mutation rate (θanc = 4 Ne u), and the proportion of males obtaining access to matings per breeding season (ω). By simulation, we assess the properties of the posterior distribution obtained with the various methods. According to our criteria, ABC with summary statistics chosen locally via boosting with the L2-loss performs best. Applying that method to the ibex data, we estimate θanc ≈ 1.288, and find that most of the variation across loci of the ancestral mutation rate u is between 7.7×10−4 and 3.5×10−3 per locus per generation. The proportion of males with access to matings is estimated to ω ≈ 0.21, which is in good agreement with recent independent estimates."}],"scopus_import":1,"date_updated":"2021-01-12T07:40:05Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"department":[{"_id":"NiBa"}],"year":"2012","month":"11","type":"journal_article","oa_version":"Submitted Version","external_id":{"pmid":["22960215"]},"publication_status":"published","_id":"2962","issue":"3","publisher":"Genetics Society of America","doi":"10.1534/genetics.112.143164","intvolume":"       192","date_published":"2012-11-01T00:00:00Z","day":"01","publication":"Genetics","volume":192,"pmid":1,"title":"A novel approach for choosing summary statistics in approximate Bayesian computation","publist_id":"3763","page":"1027 - 1047","date_created":"2018-12-11T12:00:34Z","citation":{"mla":"Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” <i>Genetics</i>, vol. 192, no. 3, Genetics Society of America, 2012, pp. 1027–47, doi:<a href=\"https://doi.org/10.1534/genetics.112.143164\">10.1534/genetics.112.143164</a>.","apa":"Aeschbacher, S., Beaumont, M., &#38; Futschik, A. (2012). A novel approach for choosing summary statistics in approximate Bayesian computation. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.112.143164\">https://doi.org/10.1534/genetics.112.143164</a>","chicago":"Aeschbacher, Simon, Mark Beaumont, and Andreas Futschik. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” <i>Genetics</i>. Genetics Society of America, 2012. <a href=\"https://doi.org/10.1534/genetics.112.143164\">https://doi.org/10.1534/genetics.112.143164</a>.","ama":"Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. <i>Genetics</i>. 2012;192(3):1027-1047. doi:<a href=\"https://doi.org/10.1534/genetics.112.143164\">10.1534/genetics.112.143164</a>","short":"S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.","ieee":"S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing summary statistics in approximate Bayesian computation,” <i>Genetics</i>, vol. 192, no. 3. Genetics Society of America, pp. 1027–1047, 2012.","ista":"Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047."},"acknowledged_ssus":[{"_id":"ScienComp"}],"quality_controlled":"1","oa":1},{"year":"2012","month":"11","publist_id":"3756","page":"262 - 266","title":"Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata","department":[{"_id":"JoBo"}],"publisher":"Elsevier","issue":"3","_id":"2963","quality_controlled":"1","publication_status":"published","date_created":"2018-12-11T12:00:35Z","citation":{"short":"F. Jesse, K. Riebel, Behavioural Processes 91 (2012) 262–266.","ista":"Jesse F, Riebel K. 2012. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 91(3), 262–266.","ieee":"F. Jesse and K. Riebel, “Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata,” <i>Behavioural Processes</i>, vol. 91, no. 3. Elsevier, pp. 262–266, 2012.","ama":"Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. <i>Behavioural Processes</i>. 2012;91(3):262-266. doi:<a href=\"https://doi.org/10.1016/j.beproc.2012.09.006\">10.1016/j.beproc.2012.09.006</a>","mla":"Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song by Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.” <i>Behavioural Processes</i>, vol. 91, no. 3, Elsevier, 2012, pp. 262–66, doi:<a href=\"https://doi.org/10.1016/j.beproc.2012.09.006\">10.1016/j.beproc.2012.09.006</a>.","chicago":"Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song by Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.” <i>Behavioural Processes</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.beproc.2012.09.006\">https://doi.org/10.1016/j.beproc.2012.09.006</a>.","apa":"Jesse, F., &#38; Riebel, K. (2012). Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. <i>Behavioural Processes</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.beproc.2012.09.006\">https://doi.org/10.1016/j.beproc.2012.09.006</a>"},"type":"journal_article","oa_version":"None","doi":"10.1016/j.beproc.2012.09.006","author":[{"full_name":"Jesse, Fabienne","last_name":"Jesse","id":"4C8C26A4-F248-11E8-B48F-1D18A9856A87","first_name":"Fabienne"},{"first_name":"Katharina","full_name":"Riebel, Katharina","last_name":"Riebel"}],"status":"public","language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:40:06Z","volume":91,"publication":"Behavioural Processes","day":"01","date_published":"2012-11-01T00:00:00Z","abstract":[{"text":"Zebra finches are an ubiquitous model system for the study of vocal learning in animal communication. Their song has been well described, but its possible function(s) in social communication are only partly understood. The so-called ‘directed song’ is a high-intensity, high-performance song given during courtship in close proximity to the female, which is known to mediate mate choice and mating. However, this singing mode constitutes only a fraction of zebra finch males’ prolific song output. Potential communicative functions of their second, ‘undirected’ singing mode remain unresolved in the face of contradicting reports of both facilitating and inhibiting effects of social company on singing. We addressed this issue by experimentally manipulating social contexts in a within-subject design, comparing a solo versus male or female only company condition, each lasting for 24 hours. Males’ total song output was significantly higher when a conspecific was in audible and visible distance than when they were alone. Male and female company had an equally facilitating effect on song output. Our findings thus indicate that singing motivation is facilitated rather than inhibited by social company, suggesting that singing in zebra finches might function both in inter- and intrasexual communication. ","lang":"eng"}],"intvolume":"        91"},{"day":"01","date_updated":"2023-09-07T11:43:51Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","language":[{"iso":"eng"}],"degree_awarded":"PhD","related_material":{"record":[{"id":"3258","relation":"part_of_dissertation","status":"public"}]},"abstract":[{"lang":"eng","text":"CA3 pyramidal neurons are important for memory formation and pattern completion in the hippocampal network. These neurons receive multiple excitatory inputs from numerous sources. Therefore, the rules of spatiotemporal integration of multiple synaptic inputs and propagation of action potentials are important to understand how CA3 neurons contribute to higher brain functions at cellular level. By using confocally targeted patch-clamp recording techniques, we investigated the biophysical properties of rat CA3 pyramidal neuron dendrites. We found two distinct dendritic domains critical for action potential initiation and propagation: In the proximal domain, action potentials initiated in the axon backpropagate actively with large amplitude and fast time course. In the distal domain, Na+-channel mediated dendritic spikes are efficiently evoked by local dendritic depolarization or waveforms mimicking synaptic events. These findings can be explained by a high Na+-to-K+ conductance density ratio of CA3 pyramidal neuron dendrites. The results challenge the prevailing view that proximal mossy fiber inputs activate CA3 pyramidal neurons more efficiently than distal perforant inputs by showing that the distal synapses trigger a different form of activity represented by dendritic spikes. The high probability of dendritic spike initiation in the distal area may enhance the computational power of CA3 pyramidal neurons in the hippocampal network.  "}],"date_published":"2012-06-01T00:00:00Z","status":"public","article_processing_charge":"No","author":[{"last_name":"Kim","full_name":"Kim, Sooyun","first_name":"Sooyun","id":"394AB1C8-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","supervisor":[{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","last_name":"Jonas"}],"type":"dissertation","oa_version":"None","date_created":"2018-12-11T12:00:35Z","citation":{"ama":"Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012.","ieee":"S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,” Institute of Science and Technology Austria, 2012.","short":"S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, Institute of Science and Technology Austria, 2012.","ista":"Kim S. 2012. Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.","apa":"Kim, S. (2012). <i>Active properties of hippocampal CA3 pyramidal neuron dendrites</i>. Institute of Science and Technology Austria.","chicago":"Kim, Sooyun. “Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.” Institute of Science and Technology Austria, 2012.","mla":"Kim, Sooyun. <i>Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites</i>. Institute of Science and Technology Austria, 2012."},"publication_status":"published","alternative_title":["ISTA Thesis"],"_id":"2964","publication_identifier":{"issn":["2663-337X"]},"page":"65","publist_id":"3755","month":"06","year":"2012","department":[{"_id":"PeJo"},{"_id":"GradSch"}],"title":"Active properties of hippocampal CA3 pyramidal neuron dendrites"},{"ddc":["570"],"type":"journal_article","file":[{"relation":"main_file","creator":"system","file_id":"4706","file_name":"IST-2012-94-v1+1_1472-6785-12-7.pdf","date_created":"2018-12-12T10:08:44Z","file_size":489994,"checksum":"03d004bdff3724fb1627e3f5004bad80","date_updated":"2020-07-14T12:45:57Z","content_type":"application/pdf","access_level":"open_access"}],"oa_version":"Published Version","publication_status":"published","_id":"2966","publisher":"BioMed Central","pubrep_id":"94","department":[{"_id":"SyCr"}],"year":"2012","month":"06","abstract":[{"lang":"eng","text":"Background: The outcome of male-male competition can be predicted from the relative fighting qualities of the opponents, which often depend on their age. In insects, freshly emerged and still sexually inactive males are morphologically indistinct from older, sexually active males. These young inactive males may thus be easy targets for older males if they cannot conceal themselves from their attacks. The ant Cardiocondyla obscurior is characterised by lethal fighting between wingless (&quot; ergatoid&quot; ) males. Here, we analyse for how long young males are defenceless after eclosion, and how early adult males can detect the presence of rival males.Results: We found that old ergatoid males consistently won fights against ergatoid males younger than two days. Old males did not differentiate between different types of unpigmented pupae several days before emergence, but had more frequent contact to ready-to-eclose pupae of female sexuals and winged males than of workers and ergatoid males. In rare cases, old ergatoid males displayed alleviated biting of pigmented ergatoid male pupae shortly before adult eclosion, as well as copulation attempts to dark pupae of female sexuals and winged males. Ergatoid male behaviour may be promoted by a closer similarity of the chemical profile of ready-to-eclose pupae to the profile of adults than that of young pupae several days prior to emergence.Conclusion: Young ergatoid males of C. obscurior would benefit greatly by hiding their identity from older, resident males, as they are highly vulnerable during the first two days of their adult lives. In contrast to the winged males of the same species, which are able to prevent ergatoid male attacks by chemical female mimicry, young ergatoids do not seem to be able to produce a protective chemical profile. Conflicts in male-male competition between ergatoid males of different age thus seem to be resolved in favour of the older males. This might represent selection at the colony level rather than the individual level. © 2012 Cremer et al.; licensee BioMed Central Ltd."}],"scopus_import":1,"date_updated":"2021-01-12T07:40:07Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"status":"public","author":[{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","first_name":"Sylvia","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","last_name":"Cremer"},{"full_name":"Suefuji, Masaki","last_name":"Suefuji","first_name":"Masaki"},{"full_name":"Schrempf, Alexandra","last_name":"Schrempf","first_name":"Alexandra"},{"first_name":"Jürgen","last_name":"Heinze","full_name":"Heinze, Jürgen"}],"citation":{"ieee":"S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” <i>BMC Ecology</i>, vol. 12. BioMed Central, 2012.","short":"S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).","ista":"Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 12, 7.","ama":"Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. <i>BMC Ecology</i>. 2012;12. doi:<a href=\"https://doi.org/10.1186/1472-6785-12-7\">10.1186/1472-6785-12-7</a>","chicago":"Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” <i>BMC Ecology</i>. BioMed Central, 2012. <a href=\"https://doi.org/10.1186/1472-6785-12-7\">https://doi.org/10.1186/1472-6785-12-7</a>.","apa":"Cremer, S., Suefuji, M., Schrempf, A., &#38; Heinze, J. (2012). The dynamics of male-male competition in Cardiocondyla obscurior ants. <i>BMC Ecology</i>. BioMed Central. <a href=\"https://doi.org/10.1186/1472-6785-12-7\">https://doi.org/10.1186/1472-6785-12-7</a>","mla":"Cremer, Sylvia, et al. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” <i>BMC Ecology</i>, vol. 12, 7, BioMed Central, 2012, doi:<a href=\"https://doi.org/10.1186/1472-6785-12-7\">10.1186/1472-6785-12-7</a>."},"date_created":"2018-12-11T12:00:35Z","quality_controlled":"1","oa":1,"article_number":"7","title":"The dynamics of male-male competition in Cardiocondyla obscurior ants","publist_id":"3753","intvolume":"        12","has_accepted_license":"1","date_published":"2012-06-15T00:00:00Z","publication":"BMC Ecology","day":"15","volume":12,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1186/1472-6785-12-7","file_date_updated":"2020-07-14T12:45:57Z"}]