---
_id: '4392'
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. '
alternative_title:
- LNCS
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
citation:
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'
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'
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.'
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.'
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.'
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.'
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.'
corr_author: '1'
date_created: 2018-12-11T12:08:37Z
date_published: 2010-07-29T00:00:00Z
date_updated: 2024-10-09T20:53:58Z
day: '29'
department:
- _id: ToHe
doi: 10.1007/978-3-642-13754-9_3
ec_funded: 1
editor:
- first_name: Zohar
full_name: Manna, Zohar
last_name: Manna
- first_name: Doron
full_name: Peled, Doron
last_name: Peled
intvolume: ' 6200'
language:
- iso: eng
month: '07'
oa_version: None
page: 42 - 60
project:
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '215543'
name: COMponent-Based Embedded Systems design Techniques
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '214373'
name: Design for Embedded Systems
publication: 'Time For Verification: Essays in Memory of Amir Pnueli'
publication_status: published
publisher: Springer
publist_id: '1064'
quality_controlled: '1'
scopus_import: 1
series_title: Essays in Memory of Amir Pnueli
status: public
title: Quantitative Simulation Games
type: book_chapter
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6200
year: '2010'
...
---
_id: '4393'
abstract:
- lang: eng
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.
acknowledgement: This work was partially supported by the European Union project COMBEST
and the European Network of Excellence ArtistDesign.
alternative_title:
- LNCS
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
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.
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.
short: P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2010, pp. 235–268.
conference:
end_date: 2010-09-03
location: Paris, France
name: 'CONCUR: Concurrency Theory'
start_date: 2010-08-31
corr_author: '1'
date_created: 2018-12-11T12:08:37Z
date_published: 2010-11-01T00:00:00Z
date_updated: 2025-09-30T07:46:05Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-15375-4_18
ec_funded: 1
file:
- access_level: open_access
checksum: ea567903676ba8afe0507ee11313dce5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:12Z
date_updated: 2020-07-14T12:46:28Z
file_id: '5130'
file_name: IST-2012-42-v1+1_Simulation_distances.pdf
file_size: 198913
relation: main_file
file_date_updated: 2020-07-14T12:46:28Z
has_accepted_license: '1'
intvolume: ' 6269'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 235 - 268
project:
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '215543'
name: COMponent-Based Embedded Systems design Techniques
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '214373'
name: Design for Embedded Systems
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '1065'
pubrep_id: '42'
quality_controlled: '1'
related_material:
record:
- id: '5389'
relation: earlier_version
status: public
- id: '3249'
relation: later_version
status: public
scopus_import: 1
status: public
title: Simulation distances
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6269
year: '2010'
...
---
_id: '4395'
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.
alternative_title:
- LNCS
author:
- first_name: Sebastian
full_name: Burckhardt, Sebastian
last_name: Burckhardt
- first_name: Madanlal
full_name: Musuvathi, Madanlal
last_name: Musuvathi
- first_name: Vasu
full_name: Singh, Vasu
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
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'
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.
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.
short: S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010,
pp. 104–123.
conference:
end_date: 2010-03-28
location: Pahos, Cyprus
name: 'CC: Compiler Construction'
start_date: 2010-03-20
date_created: 2018-12-11T12:08:38Z
date_published: 2010-04-21T00:00:00Z
date_updated: 2021-01-12T07:56:39Z
day: '21'
doi: 10.1007/978-3-642-11970-5_7
editor:
- first_name: Rajiv
full_name: Gupta, Rajiv
last_name: Gupta
extern: '1'
intvolume: ' 6011'
language:
- iso: eng
month: '04'
oa_version: None
page: 104 - 123
publication_status: published
publisher: Springer
publist_id: '1063'
quality_controlled: '1'
status: public
title: Verifying local transformations on relaxed memory models
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6011
year: '2010'
...
---
_id: '4396'
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.'
alternative_title:
- LNCS
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Grégory
full_name: Théoduloz, Grégory
last_name: Théoduloz
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
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'
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'
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.
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.'
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.'
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.
short: D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G.
Taenzer (Eds.), Springer, 2010, pp. 263–277.
conference:
end_date: 2010-03-28
location: Paphos, Cyprus
name: 'FASE: Fundamental Approaches To Software Engineering'
start_date: 2010-03-20
date_created: 2018-12-11T12:08:38Z
date_published: 2010-04-21T00:00:00Z
date_updated: 2021-01-12T07:56:40Z
day: '21'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-12029-9_19
editor:
- first_name: David
full_name: Rosenblum, David
last_name: Rosenblum
- first_name: Gabriele
full_name: Taenzer, Gabriele
last_name: Taenzer
file:
- access_level: open_access
checksum: 7d26e59a9681487d7283eba337292b2c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:13Z
date_updated: 2020-07-14T12:46:29Z
file_id: '5332'
file_name: IST-2012-41-v1+1_Shape_refinement_through_explicit_heap_analysis.pdf
file_size: 312147
relation: main_file
file_date_updated: 2020-07-14T12:46:29Z
has_accepted_license: '1'
intvolume: ' 6013'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 263 - 277
project:
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Springer
publist_id: '1061'
pubrep_id: '41'
quality_controlled: '1'
scopus_import: 1
status: public
title: Shape refinement through explicit heap analysis
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6013
year: '2010'
...
---
_id: '4361'
abstract:
- lang: eng
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.
alternative_title:
- LNCS
author:
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
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'
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'
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.
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.'
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.
conference:
end_date: 2010-03-28
location: Paphos, Cyprus
name: 'FoSSaCS: Foundations of Software Science and Computation Structures'
start_date: 2010-03-20
corr_author: '1'
date_created: 2018-12-11T12:08:27Z
date_published: 2010-03-01T00:00:00Z
date_updated: 2026-04-09T14:35:23Z
day: '01'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-12032-9_8
editor:
- first_name: Luke
full_name: Ong, Luke
last_name: Ong
file:
- access_level: open_access
checksum: 3e610de84937d821316362658239134a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:17Z
date_updated: 2020-07-14T12:46:27Z
file_id: '4677'
file_name: IST-2012-50-v1+1_Forward_analysis_of_depth-bounded_processes.pdf
file_size: 240766
relation: main_file
file_date_updated: 2020-07-14T12:46:27Z
has_accepted_license: '1'
intvolume: ' 6014'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 94 - 108
publication_status: published
publisher: Springer
publist_id: '1099'
pubrep_id: '50'
quality_controlled: '1'
related_material:
record:
- id: '1405'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Forward analysis of depth-bounded processes
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6014
year: '2010'
...
---
OA_place: publisher
_id: '3962'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Holger
full_name: Pflicke, Holger
id: CAA57A9A-5B61-11E9-B130-E0C1E1F2C83D
last_name: Pflicke
citation:
ama: Pflicke H. Dendritic cell migration across basement membranes in the skin.
2010.
apa: Pflicke, H. (2010). Dendritic cell migration across basement membranes
in the skin. Institute of Science and Technology Austria.
chicago: Pflicke, Holger. “ Dendritic Cell Migration across Basement Membranes
in the Skin.” Institute of Science and Technology Austria, 2010.
ieee: H. Pflicke, “ 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.
mla: Pflicke, Holger. 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.
corr_author: '1'
date_created: 2018-12-11T12:06:08Z
date_published: 2010-07-01T00:00:00Z
date_updated: 2026-04-09T14:37:07Z
day: '01'
degree_awarded: PhD
department:
- _id: CaHe
- _id: GradSch
language:
- iso: eng
month: '07'
oa_version: None
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '2165'
status: public
supervisor:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
title: "\uFEFF\uFEFFDendritic cell migration across basement membranes in the skin"
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2010'
...
---
_id: '11752'
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.
alternative_title:
- JPCS
article_number: '032062'
article_processing_charge: No
author:
- first_name: Xiaodong
full_name: Yang, Xiaodong
last_name: Yang
- first_name: Peter S
full_name: Riseborough, Peter S
last_name: Riseborough
- first_name: Kimberly A
full_name: Modic, Kimberly A
id: 13C26AC0-EB69-11E9-87C6-5F3BE6697425
last_name: Modic
orcid: 0000-0001-9760-3147
- first_name: R A
full_name: Fisher, R A
last_name: Fisher
- first_name: C P
full_name: Oppeil, C P
last_name: Oppeil
- first_name: T R
full_name: Finlayson, T R
last_name: Finlayson
- first_name: J C
full_name: Cooley, J C
last_name: Cooley
- first_name: J L
full_name: Smith, J L
last_name: Smith
- first_name: P A
full_name: Goddard, P A
last_name: Goddard
- first_name: A V
full_name: Silhanek, A V
last_name: Silhanek
- first_name: J C
full_name: Lashley, J C
last_name: Lashley
citation:
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'
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'
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.'
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.'
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.'
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.'
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.'
conference:
end_date: 2009-07-31
location: Karlsruhe, Germany
name: 'ICM: International Conference on Magnetism'
start_date: 2009-07-26
date_created: 2022-08-08T08:43:04Z
date_published: 2009-07-01T00:00:00Z
date_updated: 2023-02-23T12:58:33Z
day: '01'
doi: 10.1088/1742-6596/200/3/032062
extern: '1'
intvolume: ' 200'
issue: '3'
language:
- iso: eng
month: '07'
oa_version: None
publication: 'Journal of Physics: Conference Series'
publication_identifier:
eissn:
- 1742-6596
issn:
- 1742-6588
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
related_material:
record:
- id: '7080'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Influence of magnetic fields on structural martensitic transitions
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 200
year: '2009'
...
---
_id: '11799'
abstract:
- lang: eng
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.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Paul
full_name: Dütting, Paul
last_name: Dütting
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Ingmar
full_name: Weber, Ingmar
last_name: Weber
citation:
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'
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'
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.
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.
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.'
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.
short: P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet
and Network Economics, Springer Nature, 2009, pp. 575–582.
conference:
end_date: 2009-12-18
location: Rome, Italy
name: 'WINE: International Conference on Web and Internet Economics'
start_date: 2009-12-14
date_created: 2022-08-11T12:33:38Z
date_published: 2009-12-01T00:00:00Z
date_updated: 2024-11-06T12:24:12Z
day: '01'
doi: 10.1007/978-3-642-10841-9_58
extern: '1'
intvolume: ' 5929'
language:
- iso: eng
month: '12'
oa_version: None
page: 575-582
publication: 5th International Workshop on Internet and Network Economics
publication_identifier:
isbn:
- '9783642108402'
issn:
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11902'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Bidder optimal assignments for general utilities
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5929
year: '2009'
...
---
_id: '11905'
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.
article_processing_charge: No
author:
- first_name: Eda
full_name: Baykan, Eda
last_name: Baykan
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Ludmila
full_name: Marian, Ludmila
last_name: Marian
- first_name: Ingmar
full_name: Weber, Ingmar
last_name: Weber
citation:
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'
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'
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.
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.
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.'
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.
short: E. Baykan, M. Henzinger, L. Marian, I. Weber, in:, 18th International World
Wide Web Conference, Association for Computing Machinery, 2009, pp. 1109–1110.
conference:
end_date: 2009-04-24
location: New York, NY, United States
name: 'WWW: Conference on World Wide Web'
start_date: 2009-04-20
date_created: 2022-08-17T11:49:53Z
date_published: 2009-04-01T00:00:00Z
date_updated: 2024-11-06T12:24:48Z
day: '01'
doi: 10.1145/1526709.1526880
extern: '1'
language:
- iso: eng
month: '04'
oa_version: None
page: 1109-1110
publication: 18th International World Wide Web Conference
publication_identifier:
isbn:
- 978-1-60558-487-4
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Purely URL-based topic classification
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2009'
...
---
_id: '11906'
abstract:
- lang: eng
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.
article_processing_charge: No
author:
- first_name: Ossama
full_name: Abdel Hamid, Ossama
last_name: Abdel Hamid
- first_name: Behshad
full_name: Behzadi, Behshad
last_name: Behzadi
- first_name: Stefan
full_name: Christoph, Stefan
last_name: Christoph
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
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.
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.
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.'
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.
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.
conference:
end_date: 2009-04-24
location: Madrid, Spain
name: 'WWW: International Conference on World Wide Web'
start_date: 2009-04-20
date_created: 2022-08-17T11:54:30Z
date_published: 2009-04-01T00:00:00Z
date_updated: 2024-11-06T12:25:00Z
day: '01'
doi: 10.1145/1526709.1526719
extern: '1'
language:
- iso: eng
month: '04'
oa_version: None
page: 61-70
publication: 18th International World Wide Web Conference
publication_identifier:
isbn:
- 978-160558487-4
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Detecting the origin of text segments efficiently
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2009'
...
---
_id: '11912'
abstract:
- lang: eng
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.
alternative_title:
- LIPIcs
article_processing_charge: No
arxiv: 1
author:
- first_name: ' Eda'
full_name: Baykan, Eda
last_name: Baykan
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Stefan F.
full_name: Keller, Stefan F.
last_name: Keller
- first_name: Sebastian
full_name: de Castelberg, Sebastian
last_name: de Castelberg
- first_name: Markus
full_name: Kinzler, Markus
last_name: Kinzler
citation:
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'
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'
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.
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.
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.'
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.
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.
conference:
end_date: 2009-02-28
location: Freiburg, Germany
name: 'STACS: Symposium on Theoretical Aspects of Computer Science'
start_date: 2009-02-26
date_created: 2022-08-18T06:57:25Z
date_published: 2009-02-01T00:00:00Z
date_updated: 2024-11-06T12:25:24Z
day: '01'
doi: 10.4230/LIPICS.STACS.2009.1809
extern: '1'
external_id:
arxiv:
- '0902.1604'
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.4230/LIPIcs.STACS.2009.1809
month: '02'
oa: 1
oa_version: Published Version
page: 13-30
publication: 26th International Symposium on Theoretical Aspects of Computer Science
publication_identifier:
isbn:
- 978-3-939897-09-5
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: A comparison of techniques for sampling web pages
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2009'
...
---
_id: '2680'
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. '
author:
- first_name: Nicole
full_name: Guetg, Nicole
last_name: Guetg
- first_name: Riad
full_name: Seddik, Riad
last_name: Seddik
- first_name: Réjan
full_name: Vigot, Réjan
last_name: Vigot
- first_name: Rostislav
full_name: Tureček, Rostislav
last_name: Tureček
- first_name: Martin
full_name: Gassmann, Martin
last_name: Gassmann
- first_name: Kaspar
full_name: Vogt, Kaspar E
last_name: Vogt
- first_name: Hans
full_name: Bräuner-Osborne, Hans
last_name: Bräuner Osborne
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Oliver
full_name: Kretz, Oliver
last_name: Kretz
- first_name: Michael
full_name: Frotscher, Michael
last_name: Frotscher
- first_name: Ákos
full_name: Kulik, Ákos
last_name: Kulik
- first_name: Bernhard
full_name: Bettler, Bernhard
last_name: Bettler
citation:
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
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
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.
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.
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.
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.
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.
date_created: 2018-12-11T11:59:02Z
date_published: 2009-02-04T00:00:00Z
date_updated: 2021-01-12T06:59:01Z
day: '04'
doi: 10.1523/JNEUROSCI.3697-08.2009
extern: 1
intvolume: ' 29'
issue: '5'
month: '02'
page: 1414 - 1423
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '4216'
quality_controlled: 0
status: public
title: The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy
fiber synapses
type: journal_article
volume: 29
year: '2009'
...
---
_id: '2682'
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.
author:
- first_name: Yuqiang
full_name: Jiang, Yuqiang
last_name: Jiang
- first_name: Noriko
full_name: Horimoto, Noriko N
last_name: Horimoto
- first_name: Kohei
full_name: Imura, Kohei
last_name: Imura
- first_name: Ko
full_name: Matsui, Ko
last_name: Matsui
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
citation:
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
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
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.
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.
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.
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.
short: Y. Jiang, N. Horimoto, K. Imura, K. Matsui, R. Shigemoto, Advanced Materials
21 (2009) 2309–2313.
date_created: 2018-12-11T11:59:02Z
date_published: 2009-06-12T00:00:00Z
date_updated: 2021-01-12T06:59:01Z
day: '12'
doi: 10.1002/adma.200802312
extern: 1
intvolume: ' 21'
issue: '22'
month: '06'
page: 2309 - 2313
publication: Advanced Materials
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4214'
quality_controlled: 0
status: public
title: Bioimaging with two-photon-induced luminescence from triangular nanoplates
and nanoparticle aggregates of gold
type: journal_article
volume: 21
year: '2009'
...
---
_id: '2683'
abstract:
- lang: eng
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.
author:
- first_name: Bingxing
full_name: Pan, Bingxing
last_name: Pan
- first_name: Yu
full_name: Dong, Yu-Lin
last_name: Dong
- first_name: Wataru
full_name: Ito, Wataru
last_name: Ito
- first_name: Yuchio
full_name: Yanagawa, Yuchio
last_name: Yanagawa
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Alexei
full_name: Morozov, Alexei A
last_name: Morozov
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.
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.
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.
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.
short: B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, A. Morozov, Neuron 61
(2009) 917–929.
date_created: 2018-12-11T11:59:03Z
date_published: 2009-03-26T00:00:00Z
date_updated: 2021-01-12T06:59:02Z
day: '26'
doi: 10.1016/j.neuron.2009.01.029
extern: 1
intvolume: ' 61'
issue: '6'
month: '03'
page: 917 - 929
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '4215'
quality_controlled: 0
status: public
title: Selective gating of glutamatergic inputs to excitatory neurons of amygdala
by presynaptic GABAb receptor
type: journal_article
volume: 61
year: '2009'
...
---
_id: '2684'
abstract:
- lang: eng
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.
author:
- first_name: Walter
full_name: Walter Kaufmann
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Francesco
full_name: Ferraguti, Francesco
last_name: Ferraguti
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
- first_name: Yu
full_name: Kasugai, Yu
last_name: Kasugai
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Petter
full_name: Laake, Petter
last_name: Laake
- first_name: Joseph
full_name: Sexton, Joseph A
last_name: Sexton
- first_name: Peter
full_name: Ruth, Peter
last_name: Ruth
- first_name: Georg
full_name: Wietzorrek, Georg
last_name: Wietzorrek
- first_name: Hans
full_name: Knaus, Hans G
last_name: Knaus
- first_name: Johan
full_name: Storm, Johan F
last_name: Storm
- first_name: Ole
full_name: Ottersen, Ole P
last_name: Ottersen
citation:
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
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.
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.
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.
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.
date_created: 2018-12-11T11:59:03Z
date_published: 2009-07-10T00:00:00Z
date_updated: 2023-02-23T10:53:41Z
day: '10'
doi: 10.1002/cne.22066
extern: 1
intvolume: ' 515'
issue: '2'
month: '07'
page: 215 - 230
publication: Journal of Comparative Neurology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4212'
quality_controlled: 0
status: public
title: Large-conductance calcium-activated potassium channels in Purkinje cell plasma
membranes are clustered at sites of hypolemmal microdomains
type: journal_article
volume: 515
year: '2009'
...
---
_id: '2685'
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.
author:
- first_name: Hisataka
full_name: Tanaka, Hisataka
last_name: Tanaka
- 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
full_name: Komada, Munekazu
last_name: Komada
- first_name: Koichi
full_name: Tanda, Koichi
last_name: Tanda
- first_name: Ayaka
full_name: Suzuki, Ayaka
last_name: Suzuki
- first_name: Tomoko
full_name: Ishibashi, Tomoko
last_name: Ishibashi
- first_name: Hiroko
full_name: Baba, Hiroko
last_name: Baba
- first_name: Tadashi
full_name: Isa, Tadashi
last_name: Isa
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Katsuhiko
full_name: Ono, Katsuhiko
last_name: Ono
- first_name: Tsuyoshi
full_name: Miyakawa, Tsuyoshi
last_name: Miyakawa
- first_name: Kazuhiro
full_name: Ikenaka, Kazuhiro
last_name: Ikenaka
citation:
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.
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.
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.
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.
date_created: 2018-12-11T11:59:03Z
date_published: 2009-07-01T00:00:00Z
date_updated: 2021-01-12T06:59:02Z
day: '01'
doi: 10.1523/JNEUROSCI.3216-08.2009
extern: 1
intvolume: ' 29'
issue: '26'
month: '07'
page: 8363 - 8371
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '4213'
quality_controlled: 0
status: public
title: Mice with altered myelin proteolipid protein gene expression display cognitive
deficits accompanied by abnormal neuron-glia interactions and decreased conduction
velocities
type: journal_article
volume: 29
year: '2009'
...
---
_id: '2686'
abstract:
- lang: eng
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.
author:
- first_name: Hiroshi
full_name: Tomita, Hiroshi
last_name: Tomita
- first_name: Eriko
full_name: Sugano, Eriko
last_name: Sugano
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
- first_name: Hitomi
full_name: Isago, Hitomi
last_name: Isago
- first_name: Yuka
full_name: Sugiyama, Yuka
last_name: Sugiyama
- first_name: Teru
full_name: Hiroi, Teru
last_name: Hiroi
- first_name: Toru
full_name: Ishizuka, Toru
last_name: Ishizuka
- first_name: Hajime
full_name: Mushiake, Hajime
last_name: Mushiake
- first_name: Megumi
full_name: Kato, Megumi
last_name: Kato
- first_name: Masumi
full_name: Hirabayashi, Masumi
last_name: Hirabayashi
- first_name: Ryuichi
full_name: Ryuichi Shigemoto
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Hiromu
full_name: Yawo, Hiromu
last_name: Yawo
- first_name: Makoto
full_name: Tamai, Makoto
last_name: Tamai
citation:
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
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
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.
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).
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).
date_created: 2018-12-11T11:59:04Z
date_published: 2009-11-05T00:00:00Z
date_updated: 2021-01-12T06:59:03Z
day: '05'
doi: 10.1371/journal.pone.0007679
extern: 1
intvolume: ' 4'
issue: '11'
month: '11'
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '4211'
quality_controlled: 0
status: public
title: Visual properties of transgenic rats harboring the channelrhodopsin-2 gene
regulated by the thy-1.2 promoter
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
volume: 4
year: '2009'
...
---
_id: '2703'
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. '
author:
- first_name: László
full_name: László Erdös
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Benjamin
full_name: Schlein, Benjamin
last_name: Schlein
- first_name: Horng
full_name: Yau, Horng-Tzer
last_name: Yau
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.
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.
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.
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.
short: L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.
date_created: 2018-12-11T11:59:09Z
date_published: 2009-01-01T00:00:00Z
date_updated: 2021-01-12T06:59:09Z
day: '01'
doi: 10.1214/08-AOP421
extern: 1
intvolume: ' 37'
issue: '3'
main_file_link:
- open_access: '0'
url: http://xxx.lanl.gov/abs/0711.1730
month: '01'
page: 815 - 852
publication: Annals of Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '4193'
quality_controlled: 0
status: public
title: Semicircle law on short scales and delocalization of eigenvectors for Wigner
random matrices
type: journal_article
volume: 37
year: '2009'
...
---
_id: '2757'
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.
author:
- first_name: László
full_name: László Erdös
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Benjamin
full_name: Schlein, Benjamin
last_name: Schlein
citation:
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'
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.'
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.'
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.'
short: L. Erdös, B. Schlein, Journal of Statistical Physics 134 (2009) 859–870.
date_created: 2018-12-11T11:59:26Z
date_published: 2009-01-01T00:00:00Z
date_updated: 2021-01-12T06:59:30Z
day: '01'
doi: 10.1007/s10955-008-9570-7
extern: 1
intvolume: ' 134'
issue: 5-6
month: '01'
page: 859 - 870
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4135'
quality_controlled: 0
status: public
title: 'Quantum dynamics with mean field interactions: A new approach'
type: journal_article
volume: 134
year: '2009'
...
---
_id: '2758'
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.
author:
- first_name: László
full_name: László Erdös
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Benjamin
full_name: Schlein, Benjamin
last_name: Schlein
- first_name: Horng
full_name: Yau, Horng-Tzer
last_name: Yau
citation:
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
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
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.
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.
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.
date_created: 2018-12-11T11:59:27Z
date_published: 2009-04-01T00:00:00Z
date_updated: 2021-01-12T06:59:30Z
day: '01'
doi: 10.1007/s00220-008-0636-9
extern: 1
intvolume: ' 287'
issue: '2'
month: '04'
page: 641 - 655
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4134'
quality_controlled: 0
status: public
title: Local semicircle law and complete delocalization for Wigner random matrices
type: journal_article
volume: 287
year: '2009'
...