[{"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"8aa174ca65a56fbb19e9f88cff3ac3fd","file_id":"7046","file_size":787407,"date_updated":"2020-07-14T12:47:09Z","creator":"dernst","file_name":"2018_NeurotrophicFactors_Dimitrov.pdf","date_created":"2019-11-19T07:47:43Z"}],"publication_status":"published","volume":1727,"pmid":1,"oa_version":"Submitted Version","abstract":[{"text":"Primary neuronal cell culture preparations are widely used to investigate synaptic functions. This chapter describes a detailed protocol for the preparation of a neuronal cell culture in which giant calyx-type synaptic terminals are formed. This chapter also presents detailed protocols for utilizing the main technical advantages provided by such a preparation, namely, labeling and imaging of synaptic organelles and electrophysiological recordings directly from presynaptic terminals.","lang":"eng"}],"intvolume":" 1727","month":"01","alternative_title":["Methods in Molecular Biology"],"scopus_import":1,"ddc":["570"],"date_updated":"2021-01-12T08:03:05Z","department":[{"_id":"RySh"}],"file_date_updated":"2020-07-14T12:47:09Z","_id":"562","status":"public","type":"book_chapter","publication":"Neurotrophic Factors","day":"01","year":"2018","has_accepted_license":"1","date_created":"2018-12-11T11:47:11Z","date_published":"2018-01-01T00:00:00Z","doi":"10.1007/978-1-4939-7571-6_15","page":"201 - 215","oa":1,"publisher":"Springer","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Dimitrov, Dimitar, et al. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.” Neurotrophic Factors, edited by Stephen D. Skaper, vol. 1727, Springer, 2018, pp. 201–15, doi:10.1007/978-1-4939-7571-6_15.","ama":"Dimitrov D, Guillaud L, Eguchi K, Takahashi T. Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Skaper SD, ed. Neurotrophic Factors. Vol 1727. Springer; 2018:201-215. doi:10.1007/978-1-4939-7571-6_15","apa":"Dimitrov, D., Guillaud, L., Eguchi, K., & Takahashi, T. (2018). Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In S. D. Skaper (Ed.), Neurotrophic Factors (Vol. 1727, pp. 201–215). Springer. https://doi.org/10.1007/978-1-4939-7571-6_15","short":"D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.","ieee":"D. Dimitrov, L. Guillaud, K. Eguchi, and T. Takahashi, “Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses,” in Neurotrophic Factors, vol. 1727, S. D. Skaper, Ed. Springer, 2018, pp. 201–215.","chicago":"Dimitrov, Dimitar, Laurent Guillaud, Kohgaku Eguchi, and Tomoyuki Takahashi. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.” In Neurotrophic Factors, edited by Stephen D. Skaper, 1727:201–15. Springer, 2018. https://doi.org/10.1007/978-1-4939-7571-6_15.","ista":"Dimitrov D, Guillaud L, Eguchi K, Takahashi T. 2018.Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Neurotrophic Factors. Methods in Molecular Biology, vol. 1727, 201–215."},"editor":[{"last_name":"Skaper","full_name":"Skaper, Stephen D.","first_name":"Stephen D."}],"title":"Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses","external_id":{"pmid":["29222783"]},"article_processing_charge":"No","publist_id":"7252","author":[{"last_name":"Dimitrov","full_name":"Dimitrov, Dimitar","first_name":"Dimitar"},{"first_name":"Laurent","last_name":"Guillaud","full_name":"Guillaud, Laurent"},{"orcid":"0000-0002-6170-2546","full_name":"Eguchi, Kohgaku","last_name":"Eguchi","id":"2B7846DC-F248-11E8-B48F-1D18A9856A87","first_name":"Kohgaku"},{"first_name":"Tomoyuki","full_name":"Takahashi, Tomoyuki","last_name":"Takahashi"}]},{"type":"book_chapter","status":"public","_id":"59","publist_id":"7995","author":[{"full_name":"Bloem, Roderick","last_name":"Bloem","first_name":"Roderick"},{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Jobstmann, Barbara","last_name":"Jobstmann","first_name":"Barbara"}],"editor":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Edmund M.","last_name":"Clarke","full_name":"Clarke, Edmund M."},{"last_name":"Veith","full_name":"Veith, Helmut","first_name":"Helmut"},{"first_name":"Roderick","last_name":"Bloem","full_name":"Bloem, Roderick"}],"title":"Graph games and reactive synthesis","department":[{"_id":"KrCh"}],"date_updated":"2021-01-12T08:05:10Z","citation":{"chicago":"Bloem, Roderick, Krishnendu Chatterjee, and Barbara Jobstmann. “Graph Games and Reactive Synthesis.” In Handbook of Model Checking, edited by Thomas A Henzinger, Edmund M. Clarke, Helmut Veith, and Roderick Bloem, 1st ed., 921–62. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_27.","ista":"Bloem R, Chatterjee K, Jobstmann B. 2018.Graph games and reactive synthesis. In: Handbook of Model Checking. , 921–962.","mla":"Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Model Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.","ieee":"R. Bloem, K. Chatterjee, and B. Jobstmann, “Graph games and reactive synthesis,” in Handbook of Model Checking, 1st ed., T. A. Henzinger, E. M. Clarke, H. Veith, and R. Bloem, Eds. Springer, 2018, pp. 921–962.","short":"R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.","ama":"Bloem R, Chatterjee K, Jobstmann B. Graph games and reactive synthesis. In: Henzinger TA, Clarke EM, Veith H, Bloem R, eds. Handbook of Model Checking. 1st ed. Springer; 2018:921-962. doi:10.1007/978-3-319-10575-8_27","apa":"Bloem, R., Chatterjee, K., & Jobstmann, B. (2018). Graph games and reactive synthesis. In T. A. Henzinger, E. M. Clarke, H. Veith, & R. Bloem (Eds.), Handbook of Model Checking (1st ed., pp. 921–962). Springer. https://doi.org/10.1007/978-3-319-10575-8_27"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","edition":"1","publisher":"Springer","scopus_import":1,"quality_controlled":"1","month":"05","abstract":[{"lang":"eng","text":"Graph-based games are an important tool in computer science. They have applications in synthesis, verification, refinement, and far beyond. We review graphbased games with objectives on infinite plays. We give definitions and algorithms to solve the games and to give a winning strategy. The objectives we consider are mostly Boolean, but we also look at quantitative graph-based games and their objectives. Synthesis aims to turn temporal logic specifications into correct reactive systems. We explain the reduction of synthesis to graph-based games (or equivalently tree automata) using synthesis of LTL specifications as an example. We treat the classical approach that uses determinization of parity automata and more modern approaches."}],"oa_version":"None","page":"921 - 962","date_created":"2018-12-11T11:44:24Z","date_published":"2018-05-19T00:00:00Z","doi":"10.1007/978-3-319-10575-8_27","year":"2018","publication_status":"published","publication_identifier":{"isbn":["978-3-319-10574-1"]},"language":[{"iso":"eng"}],"publication":"Handbook of Model Checking","day":"19"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:05:35Z","citation":{"short":"E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.","ieee":"E. Clarke, T. A. Henzinger, and H. Veith, “Introduction to model checking,” in Handbook of Model Checking, T. A. Henzinger, Ed. Springer, 2018, pp. 1–26.","apa":"Clarke, E., Henzinger, T. A., & Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer. https://doi.org/10.1007/978-3-319-10575-8_1","ama":"Clarke E, Henzinger TA, Veith H. Introduction to model checking. In: Henzinger TA, ed. Handbook of Model Checking. Handbook of Model Checking. Springer; 2018:1-26. doi:10.1007/978-3-319-10575-8_1","mla":"Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.","ista":"Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.","chicago":"Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.” In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_1."},"editor":[{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"title":"Introduction to model checking","department":[{"_id":"ToHe"}],"author":[{"first_name":"Edmund","full_name":"Clarke, Edmund","last_name":"Clarke"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Veith, Helmut","last_name":"Veith","first_name":"Helmut"}],"publist_id":"7994","_id":"60","series_title":"Handbook of Model Checking","status":"public","type":"book_chapter","day":"19","language":[{"iso":"eng"}],"publication":"Handbook of Model Checking","year":"2018","publication_status":"published","doi":"10.1007/978-3-319-10575-8_1","date_published":"2018-05-19T00:00:00Z","date_created":"2018-12-11T11:44:25Z","page":"1 - 26","oa_version":"None","abstract":[{"text":"Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. This chapter is an introduction and short survey of model checking. The chapter aims to motivate and link the individual chapters of the handbook, and to provide context for readers who are not familiar with model checking.","lang":"eng"}],"month":"05","publisher":"Springer","scopus_import":1,"quality_controlled":"1"},{"language":[{"iso":"eng"}],"publication":"Contemporary Computational Mathematics","day":"23","year":"2018","publication_status":"published","date_created":"2018-12-11T11:44:25Z","date_published":"2018-05-23T00:00:00Z","doi":"10.1007/978-3-319-72456-0_7","page":"131 - 134","oa_version":"Preprint","abstract":[{"lang":"eng","text":"We prove that there is no strongly regular graph (SRG) with parameters (460; 153; 32; 60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. "}],"month":"05","oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1509.06286"}],"publisher":"Springer","quality_controlled":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","extern":"1","citation":{"ista":"Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. 2018.There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. , 131–134.","chicago":"Bondarenko, Andriy, Anton Mellit, Andriy Prymak, Danylo Radchenko, and Maryna Viazovska. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).” In Contemporary Computational Mathematics, 131–34. Springer, 2018. https://doi.org/10.1007/978-3-319-72456-0_7.","apa":"Bondarenko, A., Mellit, A., Prymak, A., Radchenko, D., & Viazovska, M. (2018). There is no strongly regular graph with parameters (460; 153; 32; 60). In Contemporary Computational Mathematics (pp. 131–134). Springer. https://doi.org/10.1007/978-3-319-72456-0_7","ama":"Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. Springer; 2018:131-134. doi:10.1007/978-3-319-72456-0_7","ieee":"A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, and M. Viazovska, “There is no strongly regular graph with parameters (460; 153; 32; 60),” in Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.","short":"A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.","mla":"Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).” Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7."},"date_updated":"2021-01-12T08:06:06Z","title":"There is no strongly regular graph with parameters (460; 153; 32; 60)","department":[{"_id":"TaHa"}],"external_id":{"arxiv":["1509.06286"]},"article_processing_charge":"No","publist_id":"7993","author":[{"first_name":"Andriy","full_name":"Bondarenko, Andriy","last_name":"Bondarenko"},{"last_name":"Mellit","full_name":"Mellit, Anton","id":"388D3134-F248-11E8-B48F-1D18A9856A87","first_name":"Anton"},{"first_name":"Andriy","full_name":"Prymak, Andriy","last_name":"Prymak"},{"full_name":"Radchenko, Danylo","last_name":"Radchenko","first_name":"Danylo"},{"full_name":"Viazovska, Maryna","last_name":"Viazovska","first_name":"Maryna"}],"_id":"61","status":"public","type":"book_chapter"},{"article_number":"e3018","project":[{"call_identifier":"H2020","_id":"260AA4E2-B435-11E9-9278-68D0E5697425","name":"Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells","grant_number":"747687"}],"citation":{"ista":"Fan S, Lorenz M, Massberg S, Gärtner FR. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.","chicago":"Fan, Shuxia, Michael Lorenz, Steffen Massberg, and Florian R Gärtner. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol. Bio-Protocol, 2018. https://doi.org/10.21769/bioprotoc.3018.","ama":"Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018","apa":"Fan, S., Lorenz, M., Massberg, S., & Gärtner, F. R. (2018). Platelet migration and bacterial trapping assay under flow. Bio-Protocol. Bio-Protocol. https://doi.org/10.21769/bioprotoc.3018","ieee":"S. Fan, M. Lorenz, S. Massberg, and F. R. Gärtner, “Platelet migration and bacterial trapping assay under flow,” Bio-Protocol, vol. 8, no. 18. Bio-Protocol, 2018.","short":"S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).","mla":"Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Fan","full_name":"Fan, Shuxia","first_name":"Shuxia"},{"full_name":"Lorenz, Michael","last_name":"Lorenz","first_name":"Michael"},{"first_name":"Steffen","last_name":"Massberg","full_name":"Massberg, Steffen"},{"first_name":"Florian R","id":"397A88EE-F248-11E8-B48F-1D18A9856A87","full_name":"Gärtner, Florian R","orcid":"0000-0001-6120-3723","last_name":"Gärtner"}],"title":"Platelet migration and bacterial trapping assay under flow","acknowledgement":" FöFoLe project 947 (F.G.), the Friedrich-Baur-Stiftung project 41/16 (F.G.)","oa":1,"quality_controlled":"1","publisher":"Bio-Protocol","year":"2018","has_accepted_license":"1","publication":"Bio-Protocol","day":"20","date_created":"2019-04-29T09:40:33Z","doi":"10.21769/bioprotoc.3018","date_published":"2018-09-20T00:00:00Z","_id":"6354","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","keyword":["Platelets","Cell migration","Bacteria","Shear flow","Fibrinogen","E. coli"],"status":"public","date_updated":"2021-01-12T08:07:12Z","ddc":["570"],"department":[{"_id":"MiSi"}],"file_date_updated":"2020-07-14T12:47:28Z","abstract":[{"text":"Blood platelets are critical for hemostasis and thrombosis, but also play diverse roles during immune responses. We have recently reported that platelets migrate at sites of infection in vitro and in vivo. Importantly, platelets use their ability to migrate to collect and bundle fibrin (ogen)-bound bacteria accomplishing efficient intravascular bacterial trapping. Here, we describe a method that allows analyzing platelet migration in vitro, focusing on their ability to collect bacteria and trap bacteria under flow.","lang":"eng"}],"oa_version":"Published Version","intvolume":" 8","month":"09","publication_status":"published","publication_identifier":{"issn":["2331-8325"]},"language":[{"iso":"eng"}],"file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:28Z","file_size":2928337,"date_created":"2019-04-30T08:04:33Z","file_name":"2018_BioProtocol_Fan.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"6360","checksum":"d4588377e789da7f360b553ae02c5119"}],"ec_funded":1,"issue":"18","volume":8}]