[{"author":[{"last_name":"Cerny","full_name":"Cerny, Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"last_name":"Radhakrishna","full_name":"Radhakrishna, Arjun","first_name":"Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2024-10-09T20:53:58Z","department":[{"_id":"ToHe"}],"status":"public","publication_status":"published","doi":"10.1007/978-3-642-13754-9_3","type":"book_chapter","oa_version":"None","month":"07","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","page":"42 - 60","citation":{"chicago":"Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.","apa":"Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3","ama":"Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3","mla":"Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.","ieee":"P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.","short":"P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.","ista":"Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60."},"language":[{"iso":"eng"}],"scopus_import":1,"corr_author":"1","project":[{"grant_number":"215543","call_identifier":"FP7","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","name":"COMponent-Based Embedded Systems design Techniques"},{"grant_number":"214373","_id":"25F1337C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Design for Embedded Systems"}],"date_published":"2010-07-29T00:00:00Z","year":"2010","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"While a boolean notion of correctness is given by a preorder on systems and properties, a quantitative notion of correctness is defined by a distance function on systems and properties, where the distance between a system and a property provides a measure of “fit” or “desirability.” In this article, we explore several ways how the simulation preorder can be generalized to a distance function. This is done by equipping the classical simulation game between a system and a property with quantitative objectives. In particular, for systems that satisfy a property, a quantitative simulation game can measure the “robustness” of the satisfaction, that is, how much the system can deviate from its nominal behavior while still satisfying the property. For systems that violate a property, a quantitative simulation game can measure the “seriousness” of the violation, that is, how much the property has to be modified so that it is satisfied by the system. These distances can be computed in polynomial time, since the computation reduces to the value problem in limit average games with constant weights. Finally, we demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes. "}],"date_created":"2018-12-11T12:08:37Z","intvolume":" 6200","quality_controlled":"1","series_title":"Essays in Memory of Amir Pnueli","volume":6200,"publist_id":"1064","ec_funded":1,"title":"Quantitative Simulation Games","publication":"Time For Verification: Essays in Memory of Amir Pnueli","editor":[{"full_name":"Manna, Zohar","last_name":"Manna","first_name":"Zohar"},{"full_name":"Peled, Doron","last_name":"Peled","first_name":"Doron"}],"_id":"4392","publisher":"Springer","day":"29"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"11","conference":{"location":"Paris, France","start_date":"2010-08-31","name":"CONCUR: Concurrency Theory","end_date":"2010-09-03"},"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5389"},{"status":"public","relation":"later_version","id":"3249"}]},"acknowledgement":"This work was partially supported by the European Union project COMBEST and the European Network of Excellence ArtistDesign.","file":[{"date_updated":"2020-07-14T12:46:28Z","file_name":"IST-2012-42-v1+1_Simulation_distances.pdf","relation":"main_file","checksum":"ea567903676ba8afe0507ee11313dce5","file_size":198913,"file_id":"5130","access_level":"open_access","date_created":"2018-12-12T10:15:12Z","creator":"system","content_type":"application/pdf"}],"page":"235 - 268","citation":{"ama":"Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18","apa":"Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18","chicago":"Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.","short":"P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.","ieee":"P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.","ista":"Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.","mla":"Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18."},"has_accepted_license":"1","language":[{"iso":"eng"}],"pubrep_id":"42","scopus_import":1,"corr_author":"1","project":[{"grant_number":"215543","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","name":"COMponent-Based Embedded Systems design Techniques","call_identifier":"FP7"},{"grant_number":"214373","call_identifier":"FP7","_id":"25F1337C-B435-11E9-9278-68D0E5697425","name":"Design for Embedded Systems"}],"file_date_updated":"2020-07-14T12:46:28Z","author":[{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","full_name":"Cerny, Pavol"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna"}],"date_updated":"2025-09-30T07:46:05Z","department":[{"_id":"ToHe"}],"status":"public","publication_status":"published","doi":"10.1007/978-3-642-15375-4_18","type":"conference","oa_version":"Submitted Version","publist_id":"1065","volume":6269,"ec_funded":1,"title":"Simulation distances","ddc":["005"],"_id":"4393","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","day":"01","oa":1,"date_published":"2010-11-01T00:00:00Z","year":"2010","alternative_title":["LNCS"],"intvolume":" 6269","abstract":[{"text":"Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by real-valued distance functions between systems, where the distance between implementation and specification provides a measure of “fit” or “desirability.” We extend the simulation preorder to the quantitative setting, by making each player of a simulation game pay a certain price for her choices. We use the resulting games with quantitative objectives to define three different simulation distances. The correctness distance measures how much the specification must be changed in order to be satisfied by the implementation. The coverage distance measures how much the implementation restricts the degrees of freedom offered by the specification. The robustness distance measures how much a system can deviate from the implementation description without violating the specification. We consider these distances for safety as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not increase under parallel composition with a third system, and that the distance between two systems can be bounded from above and below by distances between abstractions of the two systems. These properties suggest that our simulation distances provide an appropriate basis for a quantitative theory of discrete systems. We also demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes.","lang":"eng"}],"date_created":"2018-12-11T12:08:37Z","quality_controlled":"1"},{"title":"Verifying local transformations on relaxed memory models","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"04","volume":6011,"conference":{"end_date":"2010-03-28","start_date":"2010-03-20","location":"Pahos, Cyprus","name":"CC: Compiler Construction"},"publist_id":"1063","page":"104 - 123","editor":[{"full_name":"Gupta, Rajiv","last_name":"Gupta","first_name":"Rajiv"}],"language":[{"iso":"eng"}],"citation":{"apa":"Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7","chicago":"Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.","ama":"Burckhardt S, Musuvathi M, Singh V. Verifying local transformations on relaxed memory models. In: Gupta R, ed. Vol 6011. Springer; 2010:104-123. doi:10.1007/978-3-642-11970-5_7","short":"S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.","ieee":"S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.","ista":"Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.","mla":"Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7."},"publisher":"Springer","day":"21","extern":"1","_id":"4395","author":[{"first_name":"Sebastian","full_name":"Burckhardt, Sebastian","last_name":"Burckhardt"},{"first_name":"Madanlal","last_name":"Musuvathi","full_name":"Musuvathi, Madanlal"},{"first_name":"Vasu","id":"4DAE2708-F248-11E8-B48F-1D18A9856A87","full_name":"Singh, Vasu","last_name":"Singh"}],"year":"2010","alternative_title":["LNCS"],"date_published":"2010-04-21T00:00:00Z","date_updated":"2021-01-12T07:56:39Z","status":"public","type":"conference","quality_controlled":"1","oa_version":"None","intvolume":" 6011","abstract":[{"lang":"eng","text":"The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory programs this task is challenging because (1) concurrent threads can observe transformations that would be undetectable in a sequential program, and (2) contemporary multiprocessors commonly use relaxed memory models that complicate the reasoning. In this paper, we present a novel proof methodology for verifying that a local program transformation is sound with respect to a specific hardware memory model, in the sense that it is not observable in any context. The methodology is based on a structural induction and relies on a novel compositional denotational semantics for relaxed memory models that formalizes (1) the behaviors of program fragments as a set of traces, and (2) the effect of memory model relaxations as local trace rewrite operations. To apply this methodology in practice, we implemented a semi- automated tool called Traver and used it to verify/falsify several compiler transformations for a number of different hardware memory models."}],"publication_status":"published","date_created":"2018-12-11T12:08:38Z","doi":"10.1007/978-3-642-11970-5_7"},{"editor":[{"first_name":"David","last_name":"Rosenblum","full_name":"Rosenblum, David"},{"first_name":"Gabriele","last_name":"Taenzer","full_name":"Taenzer, Gabriele"}],"ddc":["004"],"day":"21","publisher":"Springer","_id":"4396","title":"Shape refinement through explicit heap analysis","publist_id":"1061","volume":6013,"quality_controlled":"1","date_created":"2018-12-11T12:08:38Z","abstract":[{"lang":"eng","text":"Shape analysis is a promising technique to prove program properties about recursive data structures. The challenge is to automatically determine the data-structure type, and to supply the shape analysis with the necessary information about the data structure. We present a stepwise approach to the selection of instrumentation predicates for a TVLA-based shape analysis, which takes us a step closer towards the fully automatic verification of data structures. The approach uses two techniques to guide the refinement of shape abstractions: (1) during program exploration, an explicit heap analysis collects sample instances of the heap structures, which are used to identify the data structures that are manipulated by the program; and (2) during abstraction refinement along an infeasible error path, we consider different possible heap abstractions and choose the coarsest one that eliminates the infeasible path. We have implemented this combined approach for automatic shape refinement as an extension of the software model checker BLAST. Example programs from a data-structure library that manipulate doubly-linked lists and trees were successfully verified by our tool."}],"intvolume":" 6013","oa":1,"alternative_title":["LNCS"],"year":"2010","date_published":"2010-04-21T00:00:00Z","language":[{"iso":"eng"}],"pubrep_id":"41","has_accepted_license":"1","citation":{"mla":"Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.","ista":"Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.","ieee":"D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.","short":"D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.","chicago":"Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.","apa":"Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19","ama":"Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19"},"project":[{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"file_date_updated":"2020-07-14T12:46:29Z","scopus_import":1,"conference":{"end_date":"2010-03-28","name":"FASE: Fundamental Approaches To Software Engineering","start_date":"2010-03-20","location":"Paphos, Cyprus"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"04","file":[{"file_id":"5332","date_created":"2018-12-12T10:18:13Z","access_level":"open_access","content_type":"application/pdf","creator":"system","date_updated":"2020-07-14T12:46:29Z","file_name":"IST-2012-41-v1+1_Shape_refinement_through_explicit_heap_analysis.pdf","checksum":"7d26e59a9681487d7283eba337292b2c","relation":"main_file","file_size":312147}],"page":"263 - 277","status":"public","oa_version":"Submitted Version","type":"conference","doi":"10.1007/978-3-642-12029-9_19","publication_status":"published","author":[{"first_name":"Dirk","last_name":"Beyer","full_name":"Beyer, Dirk"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Grégory","full_name":"Théoduloz, Grégory","last_name":"Théoduloz"},{"id":"4397AC76-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3197-8736","first_name":"Damien","last_name":"Zufferey","full_name":"Zufferey, Damien"}],"department":[{"_id":"ToHe"}],"date_updated":"2021-01-12T07:56:40Z"},{"page":"94 - 108","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"1405"}]},"file":[{"file_id":"4677","access_level":"open_access","date_created":"2018-12-12T10:08:17Z","content_type":"application/pdf","creator":"system","date_updated":"2020-07-14T12:46:27Z","file_name":"IST-2012-50-v1+1_Forward_analysis_of_depth-bounded_processes.pdf","relation":"main_file","checksum":"3e610de84937d821316362658239134a","file_size":240766}],"conference":{"end_date":"2010-03-28","name":"FoSSaCS: Foundations of Software Science and Computation Structures","start_date":"2010-03-20","location":"Paphos, Cyprus"},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","month":"03","scopus_import":1,"file_date_updated":"2020-07-14T12:46:27Z","corr_author":"1","has_accepted_license":"1","citation":{"mla":"Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.","short":"T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.","ieee":"T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.","ista":"Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.","ama":"Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8","chicago":"Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-12032-9_8.","apa":"Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8"},"language":[{"iso":"eng"}],"pubrep_id":"50","date_updated":"2026-04-09T14:35:23Z","department":[{"_id":"ToHe"}],"author":[{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Wies","full_name":"Wies, Thomas"},{"first_name":"Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3197-8736","last_name":"Zufferey","full_name":"Zufferey, Damien"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"doi":"10.1007/978-3-642-12032-9_8","publication_status":"published","oa_version":"Submitted Version","type":"conference","status":"public","publist_id":"1099","volume":6014,"title":"Forward analysis of depth-bounded processes","_id":"4361","day":"01","publisher":"Springer","ddc":["004"],"editor":[{"first_name":"Luke","last_name":"Ong","full_name":"Ong, Luke"}],"date_published":"2010-03-01T00:00:00Z","alternative_title":["LNCS"],"year":"2010","oa":1,"intvolume":" 6014","abstract":[{"text":"Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an adequate domain of limits for the well-structured transition systems that are induced by depth-bounded processes. An immediate consequence of our result is that there exists a forward algorithm that decides the covering problem for this class. Unlike backward algorithms, the forward algorithm terminates even if the depth of the process is not known a priori. More importantly, our result suggests a whole spectrum of forward algorithms that enable the effective verification of a large class of mobile systems.","lang":"eng"}],"date_created":"2018-12-11T12:08:27Z","quality_controlled":"1"},{"_id":"3962","day":"01","publisher":"Institute of Science and Technology Austria","supervisor":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J"}],"corr_author":"1","citation":{"chicago":"Pflicke, Holger. “ Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.","apa":"Pflicke, H. (2010). Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.","ama":"Pflicke H. Dendritic cell migration across basement membranes in the skin. 2010.","mla":"Pflicke, Holger. Dendritic Cell Migration across Basement Membranes in the Skin. Institute of Science and Technology Austria, 2010.","ista":"Pflicke H. 2010. Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.","ieee":"H. Pflicke, “ Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.","short":"H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010."},"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","publist_id":"2165","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"07","title":"Dendritic cell migration across basement membranes in the skin","date_created":"2018-12-11T12:06:08Z","publication_status":"published","oa_version":"None","type":"dissertation","degree_awarded":"PhD","status":"public","date_updated":"2026-04-09T14:37:07Z","date_published":"2010-07-01T00:00:00Z","alternative_title":["ISTA Thesis"],"department":[{"_id":"CaHe"},{"_id":"GradSch"}],"year":"2010","author":[{"full_name":"Pflicke, Holger","last_name":"Pflicke","first_name":"Holger","id":"CAA57A9A-5B61-11E9-B130-E0C1E1F2C83D"}],"article_processing_charge":"No"},{"day":"01","publisher":"IOP Publishing","_id":"11752","title":"Influence of magnetic fields on structural martensitic transitions","volume":200,"publication":"Journal of Physics: Conference Series","quality_controlled":"1","abstract":[{"lang":"eng","text":"We propose a model which suggests that structural martensitic transitions are related to significant changes in the electronic structure, and are effected by high-magnetic fields. The magnetic field dependence is considered unusual as many influential investigations of martensitic transitions have emphasized that the structural transitions are primarily lattice dynamical and are driven by the entropy due to the phonons. We provide a theoretical framework which can be used to describe the effect of high magnetic field on the transition and lattice dynamics in which the field dependence originates from the dielectric constant. The model is compared with some recent experimental results."}],"date_created":"2022-08-08T08:43:04Z","intvolume":" 200","alternative_title":["JPCS"],"issue":"3","year":"2009","date_published":"2009-07-01T00:00:00Z","language":[{"iso":"eng"}],"article_number":"032062","citation":{"mla":"Yang, Xiaodong, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Journal of Physics: Conference Series, vol. 200, no. 3, 032062, IOP Publishing, 2009, doi:10.1088/1742-6596/200/3/032062.","ista":"Yang X, Riseborough PS, Modic KA, Fisher RA, Oppeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Journal of Physics: Conference Series. ICM: International Conference on Magnetism, JPCS, vol. 200, 032062.","ieee":"X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.","short":"X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.","chicago":"Yang, Xiaodong, Peter S Riseborough, Kimberly A Modic, R A Fisher, C P Oppeil, T R Finlayson, J C Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” In Journal of Physics: Conference Series, Vol. 200. IOP Publishing, 2009. https://doi.org/10.1088/1742-6596/200/3/032062.","apa":"Yang, X., Riseborough, P. S., Modic, K. A., Fisher, R. A., Oppeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. In Journal of Physics: Conference Series (Vol. 200). Karlsruhe, Germany: IOP Publishing. https://doi.org/10.1088/1742-6596/200/3/032062","ama":"Yang X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062"},"scopus_import":"1","extern":"1","conference":{"name":"ICM: International Conference on Magnetism","start_date":"2009-07-26","location":"Karlsruhe, Germany","end_date":"2009-07-31"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","publication_identifier":{"eissn":["1742-6596"],"issn":["1742-6588"]},"related_material":{"record":[{"id":"7080","status":"public","relation":"later_version"}]},"status":"public","oa_version":"None","type":"conference","doi":"10.1088/1742-6596/200/3/032062","publication_status":"published","author":[{"first_name":"Xiaodong","last_name":"Yang","full_name":"Yang, Xiaodong"},{"full_name":"Riseborough, Peter S","last_name":"Riseborough","first_name":"Peter S"},{"last_name":"Modic","full_name":"Modic, Kimberly A","first_name":"Kimberly A","orcid":"0000-0001-9760-3147","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425"},{"first_name":"R A","full_name":"Fisher, R A","last_name":"Fisher"},{"last_name":"Oppeil","full_name":"Oppeil, C P","first_name":"C P"},{"first_name":"T R","full_name":"Finlayson, T R","last_name":"Finlayson"},{"last_name":"Cooley","full_name":"Cooley, J C","first_name":"J C"},{"last_name":"Smith","full_name":"Smith, J L","first_name":"J L"},{"first_name":"P A","last_name":"Goddard","full_name":"Goddard, P A"},{"full_name":"Silhanek, A V","last_name":"Silhanek","first_name":"A V"},{"last_name":"Lashley","full_name":"Lashley, J C","first_name":"J C"}],"article_processing_charge":"No","date_updated":"2023-02-23T12:58:33Z"},{"quality_controlled":"1","intvolume":" 5929","date_created":"2022-08-11T12:33:38Z","abstract":[{"text":"We study the problem of matching bidders to items where each bidder i has general, strictly monotonic utility functions u i,j (p j ) expressing her utility of being matched to item j at price p j . For this setting we prove that a bidder optimal outcome always exists, even when the utility functions are non-linear and non-continuous. Furthermore, we give an algorithm to find such a solution. Although the running time of this algorithm is exponential in the number of items, it is polynomial in the number of bidders.","lang":"eng"}],"alternative_title":["LNCS"],"year":"2009","date_published":"2009-12-01T00:00:00Z","day":"01","publisher":"Springer Nature","_id":"11799","title":"Bidder optimal assignments for general utilities","volume":5929,"publication":"5th International Workshop on Internet and Network Economics","status":"public","oa_version":"None","type":"conference","doi":"10.1007/978-3-642-10841-9_58","publication_status":"published","author":[{"last_name":"Dütting","full_name":"Dütting, Paul","first_name":"Paul"},{"full_name":"Henzinger, Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"first_name":"Ingmar","full_name":"Weber, Ingmar","last_name":"Weber"}],"article_processing_charge":"No","date_updated":"2024-11-06T12:24:12Z","language":[{"iso":"eng"}],"citation":{"mla":"Dütting, Paul, et al. “Bidder Optimal Assignments for General Utilities.” 5th International Workshop on Internet and Network Economics, vol. 5929, Springer Nature, 2009, pp. 575–82, doi:10.1007/978-3-642-10841-9_58.","ieee":"P. Dütting, M. Henzinger, and I. Weber, “Bidder optimal assignments for general utilities,” in 5th International Workshop on Internet and Network Economics, Rome, Italy, 2009, vol. 5929, pp. 575–582.","short":"P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.","ista":"Dütting P, Henzinger M, Weber I. 2009. Bidder optimal assignments for general utilities. 5th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 5929, 575–582.","chicago":"Dütting, Paul, Monika Henzinger, and Ingmar Weber. “Bidder Optimal Assignments for General Utilities.” In 5th International Workshop on Internet and Network Economics, 5929:575–82. Springer Nature, 2009. https://doi.org/10.1007/978-3-642-10841-9_58.","apa":"Dütting, P., Henzinger, M., & Weber, I. (2009). Bidder optimal assignments for general utilities. In 5th International Workshop on Internet and Network Economics (Vol. 5929, pp. 575–582). Rome, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-10841-9_58","ama":"Dütting P, Henzinger M, Weber I. Bidder optimal assignments for general utilities. In: 5th International Workshop on Internet and Network Economics. Vol 5929. Springer Nature; 2009:575-582. doi:10.1007/978-3-642-10841-9_58"},"scopus_import":"1","extern":"1","conference":{"end_date":"2009-12-18","start_date":"2009-12-14","location":"Rome, Italy","name":"WINE: International Conference on Web and Internet Economics"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","publication_identifier":{"issn":["1611-3349"],"isbn":["9783642108402"]},"page":"575-582","related_material":{"record":[{"id":"11902","status":"public","relation":"later_version"}]}},{"status":"public","doi":"10.1145/1526709.1526880","publication_status":"published","date_created":"2022-08-17T11:49:53Z","abstract":[{"lang":"eng","text":"Given only the URL of a web page, can we identify its topic? This is the question that we examine in this paper. Usually, web pages are classified using their content, but a URL-only classifier is preferable, (i) when speed is crucial, (ii) to enable content filtering before an (objection-able) web page is downloaded, (iii) when a page's content is hidden in images, (iv) to annotate hyperlinks in a personalized web browser, without fetching the target page, and (v) when a focused crawler wants to infer the topic of a target page before devoting bandwidth to download it. We apply a machine learning approach to the topic identification task and evaluate its performance in extensive experiments on categorized web pages from the Open Directory Project (ODP). When training separate binary classifiers for each topic, we achieve typical F-measure values between 80 and 85, and a typical precision of around 85. We also ran experiments on a small data set of university web pages. For the task of classifying these pages into faculty, student, course and project pages, our methods improve over previous approaches by 13.8 points of F-measure."}],"oa_version":"None","quality_controlled":"1","type":"conference","author":[{"last_name":"Baykan","full_name":"Baykan, Eda","first_name":"Eda"},{"full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H"},{"first_name":"Ludmila","last_name":"Marian","full_name":"Marian, Ludmila"},{"first_name":"Ingmar","last_name":"Weber","full_name":"Weber, Ingmar"}],"article_processing_charge":"No","date_updated":"2024-11-06T12:24:48Z","date_published":"2009-04-01T00:00:00Z","year":"2009","citation":{"chicago":"Baykan, Eda, Monika Henzinger, Ludmila Marian, and Ingmar Weber. “Purely URL-Based Topic Classification.” In 18th International World Wide Web Conference, 1109–10. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526880.","apa":"Baykan, E., Henzinger, M., Marian, L., & Weber, I. (2009). Purely URL-based topic classification. In 18th International World Wide Web Conference (pp. 1109–1110). New York, NY, United States: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526880","ama":"Baykan E, Henzinger M, Marian L, Weber I. Purely URL-based topic classification. In: 18th International World Wide Web Conference. Association for Computing Machinery; 2009:1109-1110. doi:10.1145/1526709.1526880","mla":"Baykan, Eda, et al. “Purely URL-Based Topic Classification.” 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 1109–10, doi:10.1145/1526709.1526880.","ista":"Baykan E, Henzinger M, Marian L, Weber I. 2009. Purely URL-based topic classification. 18th International World Wide Web Conference. WWW: Conference on World Wide Web, 1109–1110.","ieee":"E. Baykan, M. Henzinger, L. Marian, and I. Weber, “Purely URL-based topic classification,” in 18th International World Wide Web Conference, New York, NY, United States, 2009, pp. 1109–1110.","short":"E. Baykan, M. Henzinger, L. Marian, I. Weber, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 1109–1110."},"language":[{"iso":"eng"}],"scopus_import":"1","_id":"11905","extern":"1","day":"01","publisher":"Association for Computing Machinery","conference":{"end_date":"2009-04-24","name":"WWW: Conference on World Wide Web","start_date":"2009-04-20","location":"New York, NY, United States"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"04","title":"Purely URL-based topic classification","page":"1109-1110","publication":"18th International World Wide Web Conference","publication_identifier":{"isbn":["978-1-60558-487-4"]}},{"title":"Detecting the origin of text segments efficiently","conference":{"end_date":"2009-04-24","name":"WWW: International Conference on World Wide Web","start_date":"2009-04-20","location":"Madrid, Spain"},"month":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"isbn":["978-160558487-4"]},"publication":"18th International World Wide Web Conference","page":"61-70","language":[{"iso":"eng"}],"citation":{"ista":"Abdel Hamid O, Behzadi B, Christoph S, Henzinger M. 2009. Detecting the origin of text segments efficiently. 18th International World Wide Web Conference. WWW: International Conference on World Wide Web, 61–70.","short":"O. Abdel Hamid, B. Behzadi, S. Christoph, M. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.","ieee":"O. Abdel Hamid, B. Behzadi, S. Christoph, and M. Henzinger, “Detecting the origin of text segments efficiently,” in 18th International World Wide Web Conference, Madrid, Spain, 2009, pp. 61–70.","mla":"Abdel Hamid, Ossama, et al. “Detecting the Origin of Text Segments Efficiently.” 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70, doi:10.1145/1526709.1526719.","ama":"Abdel Hamid O, Behzadi B, Christoph S, Henzinger M. Detecting the origin of text segments efficiently. In: 18th International World Wide Web Conference. Association for Computing Machinery; 2009:61-70. doi:10.1145/1526709.1526719","apa":"Abdel Hamid, O., Behzadi, B., Christoph, S., & Henzinger, M. (2009). Detecting the origin of text segments efficiently. In 18th International World Wide Web Conference (pp. 61–70). Madrid, Spain: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526719","chicago":"Abdel Hamid, Ossama, Behshad Behzadi, Stefan Christoph, and Monika Henzinger. “Detecting the Origin of Text Segments Efficiently.” In 18th International World Wide Web Conference, 61–70. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526719."},"day":"01","publisher":"Association for Computing Machinery","scopus_import":"1","_id":"11906","extern":"1","article_processing_charge":"No","author":[{"first_name":"Ossama","last_name":"Abdel Hamid","full_name":"Abdel Hamid, Ossama"},{"first_name":"Behshad","full_name":"Behzadi, Behshad","last_name":"Behzadi"},{"last_name":"Christoph","full_name":"Christoph, Stefan","first_name":"Stefan"},{"last_name":"Henzinger","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"}],"year":"2009","date_updated":"2024-11-06T12:25:00Z","date_published":"2009-04-01T00:00:00Z","status":"public","oa_version":"None","quality_controlled":"1","type":"conference","doi":"10.1145/1526709.1526719","publication_status":"published","date_created":"2022-08-17T11:54:30Z","abstract":[{"text":"In the origin detection problem an algorithm is given a set S of documents, ordered by creation time, and a query document D. It needs to output for every consecutive sequence of k alphanumeric terms in D the earliest document in $S$ in which the sequence appeared (if such a document exists). Algorithms for the origin detection problem can, for example, be used to detect the \"origin\" of text segments in D and thus to detect novel content in D. They can also find the document from which the author of D has copied the most (or show that D is mostly original.) We concentrate on solutions that use only a fixed amount of memory. We propose novel algorithms for this problem and evaluate them together with a large number of previously published algorithms. Our results show that (1) detecting the origin of text segments efficiently can be done with very high accuracy even when the space used is less than 1% of the size of the documents in $S$, (2) the precision degrades smoothly with the amount of available space, (3) various estimation techniques can be used to increase the performance of the algorithms.","lang":"eng"}]},{"month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"end_date":"2009-02-28","start_date":"2009-02-26","location":"Freiburg, Germany","name":"STACS: Symposium on Theoretical Aspects of Computer Science"},"page":"13-30","external_id":{"arxiv":["0902.1604"]},"publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-939897-09-5"]},"citation":{"chicago":"Baykan, Eda, Monika Henzinger, Stefan F. Keller, Sebastian de Castelberg, and Markus Kinzler. “A Comparison of Techniques for Sampling Web Pages.” In 26th International Symposium on Theoretical Aspects of Computer Science, 3:13–30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009. https://doi.org/10.4230/LIPICS.STACS.2009.1809.","apa":"Baykan, Eda, Henzinger, M., Keller, S. F., de Castelberg, S., & Kinzler, M. (2009). A comparison of techniques for sampling web pages. In 26th International Symposium on Theoretical Aspects of Computer Science (Vol. 3, pp. 13–30). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2009.1809","ama":"Baykan Eda, Henzinger M, Keller SF, de Castelberg S, Kinzler M. A comparison of techniques for sampling web pages. In: 26th International Symposium on Theoretical Aspects of Computer Science. Vol 3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2009:13-30. doi:10.4230/LIPICS.STACS.2009.1809","mla":"Baykan, Eda, et al. “A Comparison of Techniques for Sampling Web Pages.” 26th International Symposium on Theoretical Aspects of Computer Science, vol. 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30, doi:10.4230/LIPICS.STACS.2009.1809.","ieee":"Eda Baykan, M. Henzinger, S. F. Keller, S. de Castelberg, and M. Kinzler, “A comparison of techniques for sampling web pages,” in 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany, 2009, vol. 3, pp. 13–30.","short":"Eda Baykan, M. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.","ista":"Baykan Eda, Henzinger M, Keller SF, de Castelberg S, Kinzler M. 2009. A comparison of techniques for sampling web pages. 26th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 3, 13–30."},"language":[{"iso":"eng"}],"extern":"1","scopus_import":"1","author":[{"last_name":"Baykan","full_name":"Baykan, Eda","first_name":" Eda"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H","last_name":"Henzinger","full_name":"Henzinger, Monika H"},{"full_name":"Keller, Stefan F.","last_name":"Keller","first_name":"Stefan F."},{"full_name":"de Castelberg, Sebastian","last_name":"de Castelberg","first_name":"Sebastian"},{"first_name":"Markus","last_name":"Kinzler","full_name":"Kinzler, Markus"}],"article_processing_charge":"No","date_updated":"2024-11-06T12:25:24Z","status":"public","publication_status":"published","doi":"10.4230/LIPICS.STACS.2009.1809","type":"conference","oa_version":"Published Version","volume":3,"title":"A comparison of techniques for sampling web pages","publication":"26th International Symposium on Theoretical Aspects of Computer Science","_id":"11912","arxiv":1,"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","day":"01","oa":1,"date_published":"2009-02-01T00:00:00Z","year":"2009","alternative_title":["LIPIcs"],"intvolume":" 3","date_created":"2022-08-18T06:57:25Z","abstract":[{"text":"As the World Wide Web is growing rapidly, it is getting increasingly challenging to gather representative information about it. Instead of crawling the web exhaustively one has to resort to other techniques like sampling to determine the properties of the web. A uniform random sample of the web would be useful to determine the percentage of web pages in a specific language, on a topic or in a top level domain. Unfortunately, no approach has been shown to sample the web pages in an unbiased way. Three promising web sampling algorithms are based on random walks. They each have been evaluated individually, but making a comparison on different data sets is not possible. We directly compare these algorithms in this paper. We performed three random walks on the web under the same conditions and analyzed their outcomes in detail. We discuss the strengths and the weaknesses of each algorithm and propose improvements based on experimental results.","lang":"eng"}],"main_file_link":[{"url":"https://doi.org/10.4230/LIPIcs.STACS.2009.1809","open_access":"1"}],"quality_controlled":"1"},{"date_published":"2009-02-04T00:00:00Z","date_updated":"2021-01-12T06:59:01Z","year":"2009","issue":"5","author":[{"first_name":"Nicole","last_name":"Guetg","full_name":"Guetg, Nicole"},{"first_name":"Riad","last_name":"Seddik","full_name":"Seddik, Riad"},{"last_name":"Vigot","full_name":"Vigot, Réjan","first_name":"Réjan"},{"first_name":"Rostislav","full_name":"Tureček, Rostislav","last_name":"Tureček"},{"first_name":"Martin","last_name":"Gassmann","full_name":"Gassmann, Martin"},{"full_name":"Vogt, Kaspar E","last_name":"Vogt","first_name":"Kaspar"},{"last_name":"Bräuner Osborne","full_name":"Bräuner-Osborne, Hans","first_name":"Hans"},{"first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto"},{"last_name":"Kretz","full_name":"Kretz, Oliver","first_name":"Oliver"},{"last_name":"Frotscher","full_name":"Frotscher, Michael","first_name":"Michael"},{"full_name":"Kulik, Ákos","last_name":"Kulik","first_name":"Ákos"},{"full_name":"Bettler, Bernhard","last_name":"Bettler","first_name":"Bernhard"}],"intvolume":" 29","date_created":"2018-12-11T11:59:02Z","abstract":[{"lang":"eng","text":"GABA B receptor subtypes are based on the subunit isoforms GABA B1a and GABA B1b, which associate with GABA B2 subunits to form pharmacologically indistinguishable GABA B(1a,2) and GABA B(1b,2) receptors. Studies with mice selectively expressing GABA B1a or GABA B1b subunits revealed that GABA B(1a,2) receptors are more abundant than GABA B(1b,2) receptors at glutamatergic terminals. Accordingly, it was found that GABA B(1a,2) receptors are more efficient than GABA B(1b,2) receptors in inhibiting glutamate release when maximally activated by exogenous application of the agonist baclofen. Here, we used a combination of genetic, ultrastructural and electrophysiological approaches to analyze to what extent GABA B(1a,2) and GABA B(1b,2) receptors inhibit glutamate release in response to physiological activation. We first show that at hippocampal mossy fiber (MF)-CA3 pyramidal neuron synapses more GABA B1a than GABA B1b protein is present at presynaptic sites, consistent with the findings at other glutamatergic synapses. In the presence of baclofen at concentrations ≥1 μM, both GABA B(1a,2) and GABA B(1b,2) receptors contribute to presynaptic inhibition of glutamate release. However, at lower concentrations of baclofen, selectively GABA B(1a,2) receptors contribute to presynaptic inhibition. Remarkably, exclusively GABA B(1a,2) receptors inhibit glutamate release in response to synaptically released GABA. Specifically, we demonstrate that selectively GABA B(1a,2) receptors mediate heterosynaptic depression of MF transmission, a physiological phenomenon involving transsynaptic inhibition of glutamate release via presynaptic GABA B receptors. Our data demonstrate that the difference in GABA B1a and GABA B1b protein levels at MF terminals is sufficient to produce a strictly GABA B1a-specific effect under physiological conditions. This consolidates that the differential subcellular localization of the GABA B1a and GABA B1b proteins is of regulatory relevance. "}],"publication_status":"published","doi":"10.1523/JNEUROSCI.3697-08.2009","type":"journal_article","quality_controlled":0,"status":"public","publication":"Journal of Neuroscience","page":"1414 - 1423","month":"02","publist_id":"4216","volume":29,"title":"The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses","extern":1,"_id":"2680","publisher":"Society for Neuroscience","day":"04","citation":{"mla":"Guetg, Nicole, et al. “The GABA B1a Isoform Mediates Heterosynaptic Depression at Hippocampal Mossy Fiber Synapses.” Journal of Neuroscience, vol. 29, no. 5, Society for Neuroscience, 2009, pp. 1414–23, doi:10.1523/JNEUROSCI.3697-08.2009.","ieee":"N. Guetg et al., “The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses,” Journal of Neuroscience, vol. 29, no. 5. Society for Neuroscience, pp. 1414–1423, 2009.","short":"N. Guetg, R. Seddik, R. Vigot, R. Tureček, M. Gassmann, K. Vogt, H. Bräuner Osborne, R. Shigemoto, O. Kretz, M. Frotscher, Á. Kulik, B. Bettler, Journal of Neuroscience 29 (2009) 1414–1423.","ista":"Guetg N, Seddik R, Vigot R, Tureček R, Gassmann M, Vogt K, Bräuner Osborne H, Shigemoto R, Kretz O, Frotscher M, Kulik Á, Bettler B. 2009. The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. 29(5), 1414–1423.","chicago":"Guetg, Nicole, Riad Seddik, Réjan Vigot, Rostislav Tureček, Martin Gassmann, Kaspar Vogt, Hans Bräuner Osborne, et al. “The GABA B1a Isoform Mediates Heterosynaptic Depression at Hippocampal Mossy Fiber Synapses.” Journal of Neuroscience. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3697-08.2009.","apa":"Guetg, N., Seddik, R., Vigot, R., Tureček, R., Gassmann, M., Vogt, K., … Bettler, B. (2009). The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3697-08.2009","ama":"Guetg N, Seddik R, Vigot R, et al. The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. 2009;29(5):1414-1423. doi:10.1523/JNEUROSCI.3697-08.2009"}},{"author":[{"first_name":"Yuqiang","full_name":"Jiang, Yuqiang","last_name":"Jiang"},{"first_name":"Noriko","full_name":"Horimoto, Noriko N","last_name":"Horimoto"},{"last_name":"Imura","full_name":"Imura, Kohei","first_name":"Kohei"},{"full_name":"Matsui, Ko","last_name":"Matsui","first_name":"Ko"},{"last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi"}],"issue":"22","year":"2009","date_updated":"2021-01-12T06:59:01Z","date_published":"2009-06-12T00:00:00Z","status":"public","type":"journal_article","quality_controlled":0,"doi":"10.1002/adma.200802312","publication_status":"published","date_created":"2018-12-11T11:59:02Z","intvolume":" 21","abstract":[{"lang":"eng","text":"The living cell imaging using a two-photon microscope using gold nanoplates and nanoparticle aggregates was demonstrated. The dimensions of the nanoplates were determined through scanning electron microscopy (SEM) and atomic force microscopy. The height of a 100 nm base-length nanotriangle was around 10 nm, while the height of 300 nm base-length nanotriangle was around 12 nm. A spectrophotometer was also used to determine the extinction spectra of gold nanoparticle colloids. Two-photon-induced photoluminescence (TPIPL) under far-field excitation was tested for gold nanoplates on a glass substrate using two-photon laser scanning microscopy (TPLSM). It was observed that living-cell microscopic imaging can be carried out with TPIPL from gold nanoplates and aggregated nanosphere. This method provided a platform for developing tools for biological and biomedical studies."}],"title":"Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold","volume":21,"publist_id":"4214","month":"06","page":"2309 - 2313","publication":"Advanced Materials","citation":{"mla":"Jiang, Yuqiang, et al. “Bioimaging with Two-Photon-Induced Luminescence from Triangular Nanoplates and Nanoparticle Aggregates of Gold.” Advanced Materials, vol. 21, no. 22, Wiley-Blackwell, 2009, pp. 2309–13, doi:10.1002/adma.200802312.","ista":"Jiang Y, Horimoto N, Imura K, Matsui K, Shigemoto R. 2009. Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. 21(22), 2309–2313.","ieee":"Y. Jiang, N. Horimoto, K. Imura, K. Matsui, and R. Shigemoto, “Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold,” Advanced Materials, vol. 21, no. 22. Wiley-Blackwell, pp. 2309–2313, 2009.","short":"Y. Jiang, N. Horimoto, K. Imura, K. Matsui, R. Shigemoto, Advanced Materials 21 (2009) 2309–2313.","ama":"Jiang Y, Horimoto N, Imura K, Matsui K, Shigemoto R. Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. 2009;21(22):2309-2313. doi:10.1002/adma.200802312","chicago":"Jiang, Yuqiang, Noriko Horimoto, Kohei Imura, Ko Matsui, and Ryuichi Shigemoto. “Bioimaging with Two-Photon-Induced Luminescence from Triangular Nanoplates and Nanoparticle Aggregates of Gold.” Advanced Materials. Wiley-Blackwell, 2009. https://doi.org/10.1002/adma.200802312.","apa":"Jiang, Y., Horimoto, N., Imura, K., Matsui, K., & Shigemoto, R. (2009). Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. Wiley-Blackwell. https://doi.org/10.1002/adma.200802312"},"day":"12","publisher":"Wiley-Blackwell","_id":"2682","extern":1},{"citation":{"ama":"Pan B, Dong Y, Ito W, Yanagawa Y, Shigemoto R, Morozov A. Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. 2009;61(6):917-929. doi:10.1016/j.neuron.2009.01.029","apa":"Pan, B., Dong, Y., Ito, W., Yanagawa, Y., Shigemoto, R., & Morozov, A. (2009). Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.029","chicago":"Pan, Bingxing, Yu Dong, Wataru Ito, Yuchio Yanagawa, Ryuichi Shigemoto, and Alexei Morozov. “Selective Gating of Glutamatergic Inputs to Excitatory Neurons of Amygdala by Presynaptic GABAb Receptor.” Neuron. Elsevier, 2009. https://doi.org/10.1016/j.neuron.2009.01.029.","ista":"Pan B, Dong Y, Ito W, Yanagawa Y, Shigemoto R, Morozov A. 2009. Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. 61(6), 917–929.","ieee":"B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, and A. Morozov, “Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor,” Neuron, vol. 61, no. 6. Elsevier, pp. 917–929, 2009.","short":"B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, A. Morozov, Neuron 61 (2009) 917–929.","mla":"Pan, Bingxing, et al. “Selective Gating of Glutamatergic Inputs to Excitatory Neurons of Amygdala by Presynaptic GABAb Receptor.” Neuron, vol. 61, no. 6, Elsevier, 2009, pp. 917–29, doi:10.1016/j.neuron.2009.01.029."},"extern":1,"_id":"2683","day":"26","publisher":"Elsevier","publist_id":"4215","volume":61,"month":"03","title":"Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor","publication":"Neuron","page":"917 - 929","status":"public","doi":"10.1016/j.neuron.2009.01.029","publication_status":"published","abstract":[{"text":"GABAb receptor (GABAbR)-mediated suppression of glutamate release is critical for limiting glutamatergic transmission across the central nervous system (CNS). Here we show that, upon tetanic stimulation of afferents to lateral amygdala, presynaptic GABAbR-mediated inhibition only occurs in glutamatergic inputs to principle neurons (PNs), not to interneurons (INs), despite the presence of GABAbR in terminals to both types of neurons. The selectivity is caused by differential local GABA accumulation; it requires GABA reuptake and parallels distinct spatial distributions of presynaptic GABAbR in terminals to PNs and INs. Moreover, GABAbR-mediated suppression of theta-burst-induced long-term potentiation (LTP) occurs only in the inputs to PNs, not to INs. Thus, target-cell-specific control of glutamate release by presynaptic GABAbR orchestrates the inhibitory dominance inside amygdala and might contribute to prevention of nonadaptive defensive behaviors.","lang":"eng"}],"date_created":"2018-12-11T11:59:03Z","intvolume":" 61","quality_controlled":0,"type":"journal_article","author":[{"first_name":"Bingxing","full_name":"Pan, Bingxing","last_name":"Pan"},{"first_name":"Yu","last_name":"Dong","full_name":"Dong, Yu-Lin"},{"first_name":"Wataru","last_name":"Ito","full_name":"Ito, Wataru"},{"first_name":"Yuchio","last_name":"Yanagawa","full_name":"Yanagawa, Yuchio"},{"last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444"},{"first_name":"Alexei","last_name":"Morozov","full_name":"Morozov, Alexei A"}],"date_updated":"2021-01-12T06:59:02Z","date_published":"2009-03-26T00:00:00Z","issue":"6","year":"2009"},{"_id":"2684","extern":1,"publisher":"Wiley-Blackwell","day":"10","citation":{"apa":"Kaufmann, W., Ferraguti, F., Fukazawa, Y., Kasugai, Y., Shigemoto, R., Laake, P., … Ottersen, O. (2009). Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.22066","chicago":"Kaufmann, Walter, Francesco Ferraguti, Yugo Fukazawa, Yu Kasugai, Ryuichi Shigemoto, Petter Laake, Joseph Sexton, et al. “Large-Conductance Calcium-Activated Potassium Channels in Purkinje Cell Plasma Membranes Are Clustered at Sites of Hypolemmal Microdomains.” Journal of Comparative Neurology. Wiley-Blackwell, 2009. https://doi.org/10.1002/cne.22066.","ama":"Kaufmann W, Ferraguti F, Fukazawa Y, et al. Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. 2009;515(2):215-230. doi:10.1002/cne.22066","ieee":"W. Kaufmann et al., “Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains,” Journal of Comparative Neurology, vol. 515, no. 2. Wiley-Blackwell, pp. 215–230, 2009.","short":"W. Kaufmann, F. Ferraguti, Y. Fukazawa, Y. Kasugai, R. Shigemoto, P. Laake, J. Sexton, P. Ruth, G. Wietzorrek, H. Knaus, J. Storm, O. Ottersen, Journal of Comparative Neurology 515 (2009) 215–230.","ista":"Kaufmann W, Ferraguti F, Fukazawa Y, Kasugai Y, Shigemoto R, Laake P, Sexton J, Ruth P, Wietzorrek G, Knaus H, Storm J, Ottersen O. 2009. Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. 515(2), 215–230.","mla":"Kaufmann, Walter, et al. “Large-Conductance Calcium-Activated Potassium Channels in Purkinje Cell Plasma Membranes Are Clustered at Sites of Hypolemmal Microdomains.” Journal of Comparative Neurology, vol. 515, no. 2, Wiley-Blackwell, 2009, pp. 215–30, doi:10.1002/cne.22066."},"page":"215 - 230","publication":"Journal of Comparative Neurology","month":"07","publist_id":"4212","volume":515,"title":"Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains","publication_status":"published","date_created":"2018-12-11T11:59:03Z","abstract":[{"text":"Calcium-activated potassium channels have been shown to be critically involved in neuronal function, but an elucidation of their detailed roles awaits identification of the microdomains where they are located. This study was undertaken to unravel the precise subcellular distribution of the large-conductance calcium-activated potassium channels (called BK, KCa1.1, or Slo1) in the somatodendritic compartment of cerebellar Purkinje cells by means of postembedding immunogold cytochemistry and SDS-digested freeze-fracture replica labeling (SDS-FRL). We found BK channels to be unevenly distributed over the Purkinje cell plasma membrane. At distal dendritic compartments, BK channels were scattered over the plasma membrane of dendritic shafts and spines but absent from postsynaptic densities. At the soma and proximal dendrites, BK channels formed two distinct pools. One pool was scattered over the plasma membrane, whereas the other pool was clustered in plasma membrane domains overlying subsurface cisterns. The labeling density ratio of clustered to scattered channels was about 60:1, established in SDS-FRL. Subsurface cisterns, also called hypolemmal cisterns, are subcompartments of the endoplasmic reticulum likely representing calciosomes that unload and refill Ca2+ independently. Purkinje cell subsurface cisterns are enriched in inositol 1,4,5-triphosphate receptors that mediate the effects of several neurotransmitters, hormones, and growth factors by releasing Ca2+ into the cytosol, generating local Ca2+ sparks. Such increases in cytosolic [Ca2+] may be sufficient for BK channel activation. Clustered BK channels in the plasma membrane may thus participate in building a functional unit (plasmerosome) with the underlying calciosome that contributes significantly to local signaling in Purkinje cells.","lang":"eng"}],"intvolume":" 515","doi":"10.1002/cne.22066","type":"journal_article","quality_controlled":0,"status":"public","date_published":"2009-07-10T00:00:00Z","date_updated":"2023-02-23T10:53:41Z","year":"2009","issue":"2","author":[{"last_name":"Kaufmann","full_name":"Walter Kaufmann","orcid":"0000-0001-9735-5315","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","first_name":"Walter"},{"last_name":"Ferraguti","full_name":"Ferraguti, Francesco","first_name":"Francesco"},{"first_name":"Yugo","last_name":"Fukazawa","full_name":"Fukazawa, Yugo"},{"first_name":"Yu","last_name":"Kasugai","full_name":"Kasugai, Yu"},{"full_name":"Ryuichi Shigemoto","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi"},{"first_name":"Petter","last_name":"Laake","full_name":"Laake, Petter"},{"full_name":"Sexton, Joseph A","last_name":"Sexton","first_name":"Joseph"},{"full_name":"Ruth, Peter","last_name":"Ruth","first_name":"Peter"},{"last_name":"Wietzorrek","full_name":"Wietzorrek, Georg","first_name":"Georg"},{"first_name":"Hans","full_name":"Knaus, Hans G","last_name":"Knaus"},{"last_name":"Storm","full_name":"Storm, Johan F","first_name":"Johan"},{"first_name":"Ole","full_name":"Ottersen, Ole P","last_name":"Ottersen"}]},{"type":"journal_article","quality_controlled":0,"publication_status":"published","date_created":"2018-12-11T11:59:03Z","intvolume":" 29","abstract":[{"lang":"eng","text":"Conduction velocity (CV) of myelinated axons has been shown to be regulated by oligodendrocytes even after myelination has been completed. However, how myelinating oligodendrocytes regulate CV, and what the significance of this regulation is for normal brain function remain unknown. To address these questions, we analyzed a transgenic mouse line harboring extra copies of the myelin proteolipid protein 1 (plp1) gene (plp1tg/- mice) at 2 months of age. At this stage, the plp1tg/- mice have an unaffected myelin structure with a normally appearing ion channel distribution, but the CV in all axonal tracts tested in the CNS is greatly reduced. We also found decreased axonal diameters and slightly abnormal paranodal structures, both of which can be a cause for the reduced CV. Interestingly the plp1tg/- mice showed altered anxiety-like behaviors, reduced prepulse inhibitions, spatial learning deficits and working memory deficit, all of which are schizophrenia-related behaviors. Our results implicate that abnormalities in the neuron-glia interactions at the paranodal junctions can result in reduced CV in the CNS, which then induces behavioral abnormalities related to schizophrenia."}],"doi":"10.1523/JNEUROSCI.3216-08.2009","status":"public","year":"2009","issue":"26","date_published":"2009-07-01T00:00:00Z","date_updated":"2021-01-12T06:59:02Z","author":[{"full_name":"Tanaka, Hisataka","last_name":"Tanaka","first_name":"Hisataka"},{"first_name":"Jianmei","full_name":"Ma, Jianmei","last_name":"Ma"},{"first_name":"Kenji","full_name":"Tanaka, Kenji F","last_name":"Tanaka"},{"first_name":"Keizo","full_name":"Takao, Keizo","last_name":"Takao"},{"first_name":"Munekazu","last_name":"Komada","full_name":"Komada, Munekazu"},{"last_name":"Tanda","full_name":"Tanda, Koichi","first_name":"Koichi"},{"first_name":"Ayaka","last_name":"Suzuki","full_name":"Suzuki, Ayaka"},{"first_name":"Tomoko","last_name":"Ishibashi","full_name":"Ishibashi, Tomoko"},{"last_name":"Baba","full_name":"Baba, Hiroko","first_name":"Hiroko"},{"first_name":"Tadashi","last_name":"Isa","full_name":"Isa, Tadashi"},{"full_name":"Ryuichi Shigemoto","last_name":"Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Ono, Katsuhiko","last_name":"Ono","first_name":"Katsuhiko"},{"first_name":"Tsuyoshi","full_name":"Miyakawa, Tsuyoshi","last_name":"Miyakawa"},{"last_name":"Ikenaka","full_name":"Ikenaka, Kazuhiro","first_name":"Kazuhiro"}],"publisher":"Society for Neuroscience","day":"01","_id":"2685","extern":1,"citation":{"ieee":"H. Tanaka et al., “Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities,” Journal of Neuroscience, vol. 29, no. 26. Society for Neuroscience, pp. 8363–8371, 2009.","short":"H. Tanaka, J. Ma, K. Tanaka, K. Takao, M. Komada, K. Tanda, A. Suzuki, T. Ishibashi, H. Baba, T. Isa, R. Shigemoto, K. Ono, T. Miyakawa, K. Ikenaka, Journal of Neuroscience 29 (2009) 8363–8371.","ista":"Tanaka H, Ma J, Tanaka K, Takao K, Komada M, Tanda K, Suzuki A, Ishibashi T, Baba H, Isa T, Shigemoto R, Ono K, Miyakawa T, Ikenaka K. 2009. Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities. Journal of Neuroscience. 29(26), 8363–8371.","mla":"Tanaka, Hisataka, et al. “Mice with Altered Myelin Proteolipid Protein Gene Expression Display Cognitive Deficits Accompanied by Abnormal Neuron-Glia Interactions and Decreased Conduction Velocities.” Journal of Neuroscience, vol. 29, no. 26, Society for Neuroscience, 2009, pp. 8363–71, doi:10.1523/JNEUROSCI.3216-08.2009.","ama":"Tanaka H, Ma J, Tanaka K, et al. Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities. Journal of Neuroscience. 2009;29(26):8363-8371. doi:10.1523/JNEUROSCI.3216-08.2009","apa":"Tanaka, H., Ma, J., Tanaka, K., Takao, K., Komada, M., Tanda, K., … Ikenaka, K. (2009). Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3216-08.2009","chicago":"Tanaka, Hisataka, Jianmei Ma, Kenji Tanaka, Keizo Takao, Munekazu Komada, Koichi Tanda, Ayaka Suzuki, et al. “Mice with Altered Myelin Proteolipid Protein Gene Expression Display Cognitive Deficits Accompanied by Abnormal Neuron-Glia Interactions and Decreased Conduction Velocities.” Journal of Neuroscience. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3216-08.2009."},"page":"8363 - 8371","publication":"Journal of Neuroscience","title":"Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities","month":"07","publist_id":"4213","volume":29},{"extern":1,"_id":"2686","day":"05","publisher":"Public Library of Science","license":"https://creativecommons.org/licenses/by/4.0/","citation":{"mla":"Tomita, Hiroshi, et al. “Visual Properties of Transgenic Rats Harboring the Channelrhodopsin-2 Gene Regulated by the Thy-1.2 Promoter.” PLoS One, vol. 4, no. 11, Public Library of Science, 2009, doi:10.1371/journal.pone.0007679.","short":"H. Tomita, E. Sugano, Y. Fukazawa, H. Isago, Y. Sugiyama, T. Hiroi, T. Ishizuka, H. Mushiake, M. Kato, M. Hirabayashi, R. Shigemoto, H. Yawo, M. Tamai, PLoS One 4 (2009).","ieee":"H. Tomita et al., “Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter,” PLoS One, vol. 4, no. 11. Public Library of Science, 2009.","ista":"Tomita H, Sugano E, Fukazawa Y, Isago H, Sugiyama Y, Hiroi T, Ishizuka T, Mushiake H, Kato M, Hirabayashi M, Shigemoto R, Yawo H, Tamai M. 2009. Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. 4(11).","chicago":"Tomita, Hiroshi, Eriko Sugano, Yugo Fukazawa, Hitomi Isago, Yuka Sugiyama, Teru Hiroi, Toru Ishizuka, et al. “Visual Properties of Transgenic Rats Harboring the Channelrhodopsin-2 Gene Regulated by the Thy-1.2 Promoter.” PLoS One. Public Library of Science, 2009. https://doi.org/10.1371/journal.pone.0007679.","apa":"Tomita, H., Sugano, E., Fukazawa, Y., Isago, H., Sugiyama, Y., Hiroi, T., … Tamai, M. (2009). Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0007679","ama":"Tomita H, Sugano E, Fukazawa Y, et al. Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. 2009;4(11). doi:10.1371/journal.pone.0007679"},"publication":"PLoS One","publist_id":"4211","volume":4,"month":"11","title":"Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter","doi":"10.1371/journal.pone.0007679","intvolume":" 4","publication_status":"published","abstract":[{"text":"Channelrhodopsin-2 (ChR2), one of the archea-type rhodopsins from green algae, is a potentially useful optogenetic tool for restoring vision in patients with photoreceptor degeneration, such as retinitis pigmentosa. If the ChR2 gene is transferred to retinal ganglion cells (RGCs), which send visual information to the brain, the RGCs may be repurposed to act as photoreceptors. In this study, by using a transgenic rat expressing ChR2 specifically in the RGCs under the regulation of a Thy-1.2 promoter, we tested the possibility that direct photoactivation of RGCs could restore effective vision. Although the contrast sensitivities of the optomotor responses of transgenic rats were similar to those observed in the wild-type rats, they were enhanced for visual stimuli of low-spatial frequency after the degeneration of native photoreceptors. This result suggests that the visual signals derived from the ChR2-expressing RGCs were reinterpreted by the brain to form behavior-related vision.","lang":"eng"}],"date_created":"2018-12-11T11:59:04Z","quality_controlled":0,"type":"journal_article","status":"public","date_updated":"2021-01-12T06:59:03Z","date_published":"2009-11-05T00:00:00Z","issue":"11","year":"2009","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"author":[{"first_name":"Hiroshi","full_name":"Tomita, Hiroshi","last_name":"Tomita"},{"full_name":"Sugano, Eriko","last_name":"Sugano","first_name":"Eriko"},{"first_name":"Yugo","last_name":"Fukazawa","full_name":"Fukazawa, Yugo"},{"full_name":"Isago, Hitomi","last_name":"Isago","first_name":"Hitomi"},{"last_name":"Sugiyama","full_name":"Sugiyama, Yuka","first_name":"Yuka"},{"last_name":"Hiroi","full_name":"Hiroi, Teru","first_name":"Teru"},{"full_name":"Ishizuka, Toru","last_name":"Ishizuka","first_name":"Toru"},{"full_name":"Mushiake, Hajime","last_name":"Mushiake","first_name":"Hajime"},{"last_name":"Kato","full_name":"Kato, Megumi","first_name":"Megumi"},{"full_name":"Hirabayashi, Masumi","last_name":"Hirabayashi","first_name":"Masumi"},{"last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444"},{"first_name":"Hiromu","full_name":"Yawo, Hiromu","last_name":"Yawo"},{"last_name":"Tamai","full_name":"Tamai, Makoto","first_name":"Makoto"}]},{"page":"815 - 852","publication":"Annals of Probability","publist_id":"4193","volume":37,"month":"01","title":"Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices","extern":1,"_id":"2703","day":"01","publisher":"Institute of Mathematical Statistics","citation":{"ama":"Erdös L, Schlein B, Yau H. Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. 2009;37(3):815-852. doi:10.1214/08-AOP421","apa":"Erdös, L., Schlein, B., & Yau, H. (2009). Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/08-AOP421","chicago":"Erdös, László, Benjamin Schlein, and Horng Yau. “Semicircle Law on Short Scales and Delocalization of Eigenvectors for Wigner Random Matrices.” Annals of Probability. Institute of Mathematical Statistics, 2009. https://doi.org/10.1214/08-AOP421.","ista":"Erdös L, Schlein B, Yau H. 2009. Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. 37(3), 815–852.","ieee":"L. Erdös, B. Schlein, and H. Yau, “Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices,” Annals of Probability, vol. 37, no. 3. Institute of Mathematical Statistics, pp. 815–852, 2009.","short":"L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.","mla":"Erdös, László, et al. “Semicircle Law on Short Scales and Delocalization of Eigenvectors for Wigner Random Matrices.” Annals of Probability, vol. 37, no. 3, Institute of Mathematical Statistics, 2009, pp. 815–52, doi:10.1214/08-AOP421."},"date_updated":"2021-01-12T06:59:09Z","date_published":"2009-01-01T00:00:00Z","issue":"3","year":"2009","author":[{"first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","full_name":"László Erdös","last_name":"Erdös"},{"full_name":"Schlein, Benjamin","last_name":"Schlein","first_name":"Benjamin"},{"last_name":"Yau","full_name":"Yau, Horng-Tzer","first_name":"Horng"}],"doi":"10.1214/08-AOP421","main_file_link":[{"open_access":"0","url":"http://xxx.lanl.gov/abs/0711.1730"}],"intvolume":" 37","date_created":"2018-12-11T11:59:09Z","publication_status":"published","abstract":[{"lang":"eng","text":"We consider N×N Hermitian random matrices with i.i.d. entries. The matrix is normalized so that the average spacing between consecutive eigenvalues is of order 1/N. We study the connection between eigenvalue statistics on microscopic energy scales η≪1 and (de)localization properties of the eigenvectors. Under suitable assumptions on the distribution of the single matrix elements, we first give an upper bound on the density of states on short energy scales of order η∼log N/N. We then prove that the density of states concentrates around the Wigner semicircle law on energy scales η≫N−2/3. We show that most eigenvectors are fully delocalized in the sense that their ℓp-norms are comparable with N1/p−1/2 for p≥2, and we obtain the weaker bound N2/3(1/p−1/2) for all eigenvectors whose eigenvalues are separated away from the spectral edges. We also prove that, with a probability very close to one, no eigenvector can be localized. Finally, we give an optimal bound on the second moment of the Green function. "}],"type":"journal_article","quality_controlled":0,"status":"public"},{"citation":{"ieee":"L. Erdös and B. Schlein, “Quantum dynamics with mean field interactions: A new approach,” Journal of Statistical Physics, vol. 134, no. 5–6. Springer, pp. 859–870, 2009.","ista":"Erdös L, Schlein B. 2009. Quantum dynamics with mean field interactions: A new approach. Journal of Statistical Physics. 134(5–6), 859–870.","short":"L. Erdös, B. Schlein, Journal of Statistical Physics 134 (2009) 859–870.","mla":"Erdös, László, and Benjamin Schlein. “Quantum Dynamics with Mean Field Interactions: A New Approach.” Journal of Statistical Physics, vol. 134, no. 5–6, Springer, 2009, pp. 859–70, doi:10.1007/s10955-008-9570-7.","apa":"Erdös, L., & Schlein, B. (2009). Quantum dynamics with mean field interactions: A new approach. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-008-9570-7","chicago":"Erdös, László, and Benjamin Schlein. “Quantum Dynamics with Mean Field Interactions: A New Approach.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-008-9570-7.","ama":"Erdös L, Schlein B. Quantum dynamics with mean field interactions: A new approach. Journal of Statistical Physics. 2009;134(5-6):859-870. doi:10.1007/s10955-008-9570-7"},"publisher":"Springer","day":"01","extern":1,"_id":"2757","title":"Quantum dynamics with mean field interactions: A new approach","month":"01","volume":134,"publist_id":"4135","page":"859 - 870","publication":"Journal of Statistical Physics","status":"public","quality_controlled":0,"type":"journal_article","publication_status":"published","intvolume":" 134","abstract":[{"lang":"eng","text":"We propose a new approach for the study of the time evolution of a factorized N-particle bosonic wave function with respect to a mean-field dynamics with a bounded interaction potential. The new technique, which is based on the control of the growth of the correlations among the particles, leads to quantitative bounds on the difference between the many-particle Schrödinger dynamics and the one-particle nonlinear Hartree dynamics. In particular the one-particle density matrix associated with the solution to the N-particle Schrödinger equation is shown to converge to the projection onto the one-dimensional sub-space spanned by the solution to the Hartree equation with a speed of convergence of order 1/N for all fixed times."}],"date_created":"2018-12-11T11:59:26Z","doi":"10.1007/s10955-008-9570-7","author":[{"full_name":"László Erdös","last_name":"Erdös","first_name":"László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schlein","full_name":"Schlein, Benjamin","first_name":"Benjamin"}],"year":"2009","issue":"5-6","date_published":"2009-01-01T00:00:00Z","date_updated":"2021-01-12T06:59:30Z"},{"publisher":"Springer","day":"01","_id":"2758","extern":1,"citation":{"mla":"Erdös, László, et al. “Local Semicircle Law and Complete Delocalization for Wigner Random Matrices.” Communications in Mathematical Physics, vol. 287, no. 2, Springer, 2009, pp. 641–55, doi:10.1007/s00220-008-0636-9.","short":"L. Erdös, B. Schlein, H. Yau, Communications in Mathematical Physics 287 (2009) 641–655.","ieee":"L. Erdös, B. Schlein, and H. Yau, “Local semicircle law and complete delocalization for Wigner random matrices,” Communications in Mathematical Physics, vol. 287, no. 2. Springer, pp. 641–655, 2009.","ista":"Erdös L, Schlein B, Yau H. 2009. Local semicircle law and complete delocalization for Wigner random matrices. Communications in Mathematical Physics. 287(2), 641–655.","chicago":"Erdös, László, Benjamin Schlein, and Horng Yau. “Local Semicircle Law and Complete Delocalization for Wigner Random Matrices.” Communications in Mathematical Physics. Springer, 2009. https://doi.org/10.1007/s00220-008-0636-9.","apa":"Erdös, L., Schlein, B., & Yau, H. (2009). Local semicircle law and complete delocalization for Wigner random matrices. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0636-9","ama":"Erdös L, Schlein B, Yau H. Local semicircle law and complete delocalization for Wigner random matrices. Communications in Mathematical Physics. 2009;287(2):641-655. doi:10.1007/s00220-008-0636-9"},"publication":"Communications in Mathematical Physics","page":"641 - 655","title":"Local semicircle law and complete delocalization for Wigner random matrices","month":"04","publist_id":"4134","volume":287,"type":"journal_article","quality_controlled":0,"abstract":[{"lang":"eng","text":"We consider N × N Hermitian random matrices with independent identical distributed entries. The matrix is normalized so that the average spacing between consecutive eigenvalues is of order 1/N. Under suitable assumptions on the distribution of the single matrix element, we prove that, away from the spectral edges, the density of eigenvalues concentrates around the Wigner semicircle law on energy scales n ≫ N -1 (log N) 8 . Up to the logarithmic factor, this is the smallest energy scale for which the semicircle law may be valid. We also prove that for all eigenvalues away from the spectral edges, the -tempℓ∞-norm of the corresponding eigenvectors is of order O(N -1/2), modulo logarithmic corrections. The upper bound O(N -1/2) implies that every eigenvector is completely delocalized, i.e., the maximum size of the components of the eigenvector is of the same order as their average size. In the Appendix, we include a lemma by J. Bourgain which removes one of our assumptions on the distribution of the matrix elements."}],"intvolume":" 287","date_created":"2018-12-11T11:59:27Z","publication_status":"published","doi":"10.1007/s00220-008-0636-9","status":"public","year":"2009","issue":"2","date_published":"2009-04-01T00:00:00Z","date_updated":"2021-01-12T06:59:30Z","author":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","first_name":"László","last_name":"Erdös","full_name":"László Erdös"},{"full_name":"Schlein, Benjamin","last_name":"Schlein","first_name":"Benjamin"},{"first_name":"Horng","full_name":"Yau, Horng-Tzer","last_name":"Yau"}]}]