---
_id: '1782'
abstract:
- lang: eng
  text: Steering a quantum harmonic oscillator state along cyclic trajectories leads
    to a path-dependent geometric phase. Here we describe its experimental observation
    in an electronic harmonic oscillator. We use a superconducting qubit as a nonlinear
    probe of the phase, which is otherwise unobservable due to the linearity of the
    oscillator. We show that the geometric phase is, for a variety of cyclic paths,
    proportional to the area enclosed in the quadrature plane. At the transition to
    the nonadiabatic regime, we study corrections to the phase and dephasing of the
    qubit caused by qubit-resonator entanglement. In particular, we identify parameters
    for which this dephasing mechanism is negligible even in the nonadiabatic regime.
    The demonstrated controllability makes our system a versatile tool to study geometric
    phases in open quantum systems and to investigate their potential for quantum
    information processing.
acknowledgement: This work is supported by the EU project GEOMDISS, the Austrian Science
  Foundation (S. F.), and the Swiss National Science Foundation (SNSF)
author:
- first_name: M
  full_name: Pechal, M
  last_name: Pechal
- first_name: Stefan
  full_name: Berger, Stefan T
  last_name: Berger
- first_name: Abdufarrukh
  full_name: Abdumalikov, Abdufarrukh A
  last_name: Abdumalikov
- first_name: Johannes M
  full_name: Johannes Fink
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
- first_name: Jonas
  full_name: Mlynek, Jonas A
  last_name: Mlynek
- first_name: L.
  full_name: Steffen, L. Kraig
  last_name: Steffen
- first_name: Andreas
  full_name: Wallraff, Andreas
  last_name: Wallraff
- first_name: Stefan
  full_name: Filipp, Stefan
  last_name: Filipp
citation:
  ama: Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic
    effects in an electronic harmonic oscillator. <i>Physical Review Letters</i>.
    2012;108(17). doi:<a href="https://doi.org/10.1103/PhysRevLett.108.170401">10.1103/PhysRevLett.108.170401</a>
  apa: Pechal, M., Berger, S., Abdumalikov, A., Fink, J. M., Mlynek, J., Steffen,
    L., … Filipp, S. (2012). Geometric phase and nonadiabatic effects in an electronic
    harmonic oscillator. <i>Physical Review Letters</i>. American Physical Society.
    <a href="https://doi.org/10.1103/PhysRevLett.108.170401">https://doi.org/10.1103/PhysRevLett.108.170401</a>
  chicago: Pechal, M, Stefan Berger, Abdufarrukh Abdumalikov, Johannes M Fink, Jonas
    Mlynek, L. Steffen, Andreas Wallraff, and Stefan Filipp. “Geometric Phase and
    Nonadiabatic Effects in an Electronic Harmonic Oscillator.” <i>Physical Review
    Letters</i>. American Physical Society, 2012. <a href="https://doi.org/10.1103/PhysRevLett.108.170401">https://doi.org/10.1103/PhysRevLett.108.170401</a>.
  ieee: M. Pechal <i>et al.</i>, “Geometric phase and nonadiabatic effects in an electronic
    harmonic oscillator,” <i>Physical Review Letters</i>, vol. 108, no. 17. American
    Physical Society, 2012.
  ista: Pechal M, Berger S, Abdumalikov A, Fink JM, Mlynek J, Steffen L, Wallraff
    A, Filipp S. 2012. Geometric phase and nonadiabatic effects in an electronic harmonic
    oscillator. Physical Review Letters. 108(17).
  mla: Pechal, M., et al. “Geometric Phase and Nonadiabatic Effects in an Electronic
    Harmonic Oscillator.” <i>Physical Review Letters</i>, vol. 108, no. 17, American
    Physical Society, 2012, doi:<a href="https://doi.org/10.1103/PhysRevLett.108.170401">10.1103/PhysRevLett.108.170401</a>.
  short: M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A.
    Wallraff, S. Filipp, Physical Review Letters 108 (2012).
date_created: 2018-12-11T11:53:59Z
date_published: 2012-04-23T00:00:00Z
date_updated: 2021-01-12T06:53:10Z
day: '23'
doi: 10.1103/PhysRevLett.108.170401
extern: 1
intvolume: '       108'
issue: '17'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1109.1157
month: '04'
oa: 1
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '5333'
quality_controlled: 0
status: public
title: Geometric phase and nonadiabatic effects in an electronic harmonic oscillator
type: journal_article
volume: 108
year: '2012'
...
---
_id: '1783'
abstract:
- lang: eng
  text: Nonlinearity and entanglement are two important properties by which physical
    systems can be identified as nonclassical. We study the dynamics of the resonant
    interaction of up to N=3 two-level systems and a single mode of the electromagnetic
    field sharing a single excitation dynamically. We observe coherent vacuum Rabi
    oscillations and their nonlinear √N speedup by tracking the populations of all
    qubits and the resonator in time. We use quantum state tomography to show explicitly
    that the dynamics generates maximally entangled states of the W class in a time
    limited only by the collective interaction rate. We use an entanglement witness
    and the 3-tangle to characterize the state whose fidelity F=78% is limited in
    our experiments by crosstalk arising during the simultaneous qubit manipulations
    which is absent in a sequential approach with F=91%.
acknowledgement: This work was supported by the Swiss National Science Foundation
  (SNF) and the EU IP SOLID
author:
- first_name: Jonas
  full_name: Mlynek, Jonas A
  last_name: Mlynek
- first_name: Abdufarrukh
  full_name: Abdumalikov, Abdufarrukh A
  last_name: Abdumalikov
- first_name: Johannes M
  full_name: Johannes Fink
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
- first_name: L.
  full_name: Steffen, L. Kraig
  last_name: Steffen
- first_name: Matthias
  full_name: Baur, Matthias P
  last_name: Baur
- first_name: C
  full_name: Lang, C
  last_name: Lang
- first_name: Arjan
  full_name: Van Loo, Arjan F
  last_name: Van Loo
- first_name: Andreas
  full_name: Wallraff, Andreas
  last_name: Wallraff
citation:
  ama: Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement
    of Dicke states in resonant cavity quantum electrodynamics. <i>Physical Review
    A - Atomic, Molecular, and Optical Physics</i>. 2012;86(5). doi:<a href="https://doi.org/10.1103/PhysRevA.86.053838">10.1103/PhysRevA.86.053838</a>
  apa: Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C.,
    … Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant
    cavity quantum electrodynamics. <i>Physical Review A - Atomic, Molecular, and
    Optical Physics</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevA.86.053838">https://doi.org/10.1103/PhysRevA.86.053838</a>
  chicago: Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias
    Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement
    of Dicke States in Resonant Cavity Quantum Electrodynamics.” <i>Physical Review
    A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2012.
    <a href="https://doi.org/10.1103/PhysRevA.86.053838">https://doi.org/10.1103/PhysRevA.86.053838</a>.
  ieee: J. Mlynek <i>et al.</i>, “Demonstrating W-type entanglement of Dicke states
    in resonant cavity quantum electrodynamics,” <i>Physical Review A - Atomic, Molecular,
    and Optical Physics</i>, vol. 86, no. 5. American Physical Society, 2012.
  ista: Mlynek J, Abdumalikov A, Fink JM, Steffen L, Baur M, Lang C, Van Loo A, Wallraff
    A. 2012. Demonstrating W-type entanglement of Dicke states in resonant cavity
    quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics.
    86(5).
  mla: Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in
    Resonant Cavity Quantum Electrodynamics.” <i>Physical Review A - Atomic, Molecular,
    and Optical Physics</i>, vol. 86, no. 5, American Physical Society, 2012, doi:<a
    href="https://doi.org/10.1103/PhysRevA.86.053838">10.1103/PhysRevA.86.053838</a>.
  short: J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van
    Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86
    (2012).
date_created: 2018-12-11T11:53:59Z
date_published: 2012-11-30T00:00:00Z
date_updated: 2021-01-12T06:53:10Z
day: '30'
doi: 10.1103/PhysRevA.86.053838
extern: 1
intvolume: '        86'
issue: '5'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1202.5191
month: '11'
oa: 1
publication: Physical Review A - Atomic, Molecular, and Optical Physics
publication_status: published
publisher: American Physical Society
publist_id: '5332'
quality_controlled: 0
status: public
title: Demonstrating W-type entanglement of Dicke states in resonant cavity quantum
  electrodynamics
type: journal_article
volume: 86
year: '2012'
...
---
_id: '1784'
abstract:
- lang: eng
  text: A localized qubit entangled with a propagating quantum field is well suited
    to study nonlocal aspects of quantum mechanics and may also provide a channel
    to communicate between spatially separated nodes in a quantum network. Here, we
    report the on-demand generation and characterization of Bell-type entangled states
    between a superconducting qubit and propagating microwave fields composed of zero-,
    one-, and two-photon Fock states. Using low noise linear amplification and efficient
    data acquisition we extract all relevant correlations between the qubit and the
    photon states and demonstrate entanglement with high fidelity.
acknowledgement: This work was supported by the European Research Council (ERC) through
  a Starting Grant and by ETHZ
author:
- first_name: Christopher
  full_name: Eichler, Christopher
  last_name: Eichler
- first_name: C
  full_name: Lang, C
  last_name: Lang
- first_name: Johannes M
  full_name: Johannes Fink
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
- first_name: J
  full_name: Govenius, J
  last_name: Govenius
- first_name: Stefan
  full_name: Filipp, Stefan
  last_name: Filipp
- first_name: Andreas
  full_name: Wallraff, Andreas
  last_name: Wallraff
citation:
  ama: Eichler C, Lang C, Fink JM, Govenius J, Filipp S, Wallraff A. Observation of
    entanglement between itinerant microwave photons and a superconducting qubit.
    <i>Physical Review Letters</i>. 2012;109(24). doi:<a href="https://doi.org/10.1103/PhysRevLett.109.240501">10.1103/PhysRevLett.109.240501</a>
  apa: Eichler, C., Lang, C., Fink, J. M., Govenius, J., Filipp, S., &#38; Wallraff,
    A. (2012). Observation of entanglement between itinerant microwave photons and
    a superconducting qubit. <i>Physical Review Letters</i>. American Physical Society.
    <a href="https://doi.org/10.1103/PhysRevLett.109.240501">https://doi.org/10.1103/PhysRevLett.109.240501</a>
  chicago: Eichler, Christopher, C Lang, Johannes M Fink, J Govenius, Stefan Filipp,
    and Andreas Wallraff. “Observation of Entanglement between Itinerant Microwave
    Photons and a Superconducting Qubit.” <i>Physical Review Letters</i>. American
    Physical Society, 2012. <a href="https://doi.org/10.1103/PhysRevLett.109.240501">https://doi.org/10.1103/PhysRevLett.109.240501</a>.
  ieee: C. Eichler, C. Lang, J. M. Fink, J. Govenius, S. Filipp, and A. Wallraff,
    “Observation of entanglement between itinerant microwave photons and a superconducting
    qubit,” <i>Physical Review Letters</i>, vol. 109, no. 24. American Physical Society,
    2012.
  ista: Eichler C, Lang C, Fink JM, Govenius J, Filipp S, Wallraff A. 2012. Observation
    of entanglement between itinerant microwave photons and a superconducting qubit.
    Physical Review Letters. 109(24).
  mla: Eichler, Christopher, et al. “Observation of Entanglement between Itinerant
    Microwave Photons and a Superconducting Qubit.” <i>Physical Review Letters</i>,
    vol. 109, no. 24, American Physical Society, 2012, doi:<a href="https://doi.org/10.1103/PhysRevLett.109.240501">10.1103/PhysRevLett.109.240501</a>.
  short: C. Eichler, C. Lang, J.M. Fink, J. Govenius, S. Filipp, A. Wallraff, Physical
    Review Letters 109 (2012).
date_created: 2018-12-11T11:53:59Z
date_published: 2012-12-10T00:00:00Z
date_updated: 2021-01-12T06:53:10Z
day: '10'
doi: 10.1103/PhysRevLett.109.240501
extern: 1
intvolume: '       109'
issue: '24'
main_file_link:
- open_access: '0'
  url: http://arxiv.org/abs/1209.0441
month: '12'
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '5330'
quality_controlled: 0
status: public
title: Observation of entanglement between itinerant microwave photons and a superconducting
  qubit
type: journal_article
volume: 109
year: '2012'
...
---
_id: '1801'
abstract:
- lang: eng
  text: Brain circuits are assembled from a large variety of morphologically and functionally
    diverse cell types. It is not known how the intermingled cell types of an individual
    adult brain region differ in their expressed genomes. Here we describe an atlas
    of cell type transcriptomes in one brain region, the mouse retina. We found that
    each adult cell type expressed a specific set of genes, including a unique set
    of transcription factors, forming a 'barcode' for cell identity. Cell type transcriptomes
    carried enough information to categorize cells into morphological classes and
    types. Several genes that were specifically expressed in particular retinal circuit
    elements, such as inhibitory neuron types, are associated with eye diseases. The
    resource described here allows gene expression to be compared across adult retinal
    cell types, experimenting with specific transcription factors to differentiate
    stem or somatic cells to retinal cell types, and predicting cellular targets of
    newly discovered disease-associated genes.
acknowledgement: The study was supported by Friedrich Miescher Institute funds, Alcon
  award, a National Center of Competence in Research Genetics grant, a European Research
  Council grant, a Swiss-Hungarian grant, and RETICIRC, TREATRUSH, SEEBETTER and OPTONEURO
  grants from the European Union to B.R.
author:
- first_name: Sandra
  full_name: Sandra Siegert
  id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
  last_name: Siegert
  orcid: 0000-0001-8635-0877
- first_name: Erik
  full_name: Cabuy, Erik
  last_name: Cabuy
- first_name: Brigitte
  full_name: Scherf, Brigitte G
  last_name: Scherf
- first_name: Hubertus
  full_name: Kohler, Hubertus
  last_name: Kohler
- first_name: Satchidananda
  full_name: Panda, Satchidananda
  last_name: Panda
- first_name: Yunzheng
  full_name: Le, Yunzheng
  last_name: Le
- first_name: Hans
  full_name: Fehling, Hans J
  last_name: Fehling
- first_name: Dimos
  full_name: Gaidatzis, Dimos
  last_name: Gaidatzis
- first_name: Michael
  full_name: Stadler, Michael B
  last_name: Stadler
- first_name: Botond
  full_name: Roska, Botond M
  last_name: Roska
citation:
  ama: Siegert S, Cabuy E, Scherf B, et al. Transcriptional code and disease map for
    adult retinal cell types. <i>Nature Neuroscience</i>. 2012;15(3):487-495. doi:<a
    href="https://doi.org/10.1038/nn.3032">10.1038/nn.3032</a>
  apa: Siegert, S., Cabuy, E., Scherf, B., Kohler, H., Panda, S., Le, Y., … Roska,
    B. (2012). Transcriptional code and disease map for adult retinal cell types.
    <i>Nature Neuroscience</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/nn.3032">https://doi.org/10.1038/nn.3032</a>
  chicago: Siegert, Sandra, Erik Cabuy, Brigitte Scherf, Hubertus Kohler, Satchidananda
    Panda, Yunzheng Le, Hans Fehling, Dimos Gaidatzis, Michael Stadler, and Botond
    Roska. “Transcriptional Code and Disease Map for Adult Retinal Cell Types.” <i>Nature
    Neuroscience</i>. Nature Publishing Group, 2012. <a href="https://doi.org/10.1038/nn.3032">https://doi.org/10.1038/nn.3032</a>.
  ieee: S. Siegert <i>et al.</i>, “Transcriptional code and disease map for adult
    retinal cell types,” <i>Nature Neuroscience</i>, vol. 15, no. 3. Nature Publishing
    Group, pp. 487–495, 2012.
  ista: Siegert S, Cabuy E, Scherf B, Kohler H, Panda S, Le Y, Fehling H, Gaidatzis
    D, Stadler M, Roska B. 2012. Transcriptional code and disease map for adult retinal
    cell types. Nature Neuroscience. 15(3), 487–495.
  mla: Siegert, Sandra, et al. “Transcriptional Code and Disease Map for Adult Retinal
    Cell Types.” <i>Nature Neuroscience</i>, vol. 15, no. 3, Nature Publishing Group,
    2012, pp. 487–95, doi:<a href="https://doi.org/10.1038/nn.3032">10.1038/nn.3032</a>.
  short: S. Siegert, E. Cabuy, B. Scherf, H. Kohler, S. Panda, Y. Le, H. Fehling,
    D. Gaidatzis, M. Stadler, B. Roska, Nature Neuroscience 15 (2012) 487–495.
date_created: 2018-12-11T11:54:05Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2021-01-12T06:53:17Z
day: '01'
doi: 10.1038/nn.3032
extern: 1
intvolume: '        15'
issue: '3'
month: '03'
page: 487 - 495
publication: Nature Neuroscience
publication_status: published
publisher: Nature Publishing Group
publist_id: '5309'
quality_controlled: 0
status: public
title: Transcriptional code and disease map for adult retinal cell types
type: journal_article
volume: 15
year: '2012'
...
---
_id: '1972'
abstract:
- lang: eng
  text: Outer membrane protein F, a major component of the Escherichia coli outer
    membrane, was crystallized for the first time in lipidic mesophase of monoolein
    in novel space groups, P1 and H32. Due to ease of its purification and crystallization
    OmpF can be used as a benchmark protein for establishing membrane protein crystallization
    in meso, as a &quot;membrane lyzozyme&quot; The packing of porin trimers in the
    crystals of space group H32 is similar to natural outer membranes, providing the
    first high-resolution insight into the close to native packing of OmpF. Surprisingly,
    interaction between trimers is mediated exclusively by lipids, without direct
    protein-protein contacts. Multiple ordered lipids are observed and many of them
    occupy identical positions independently of the space group, identifying preferential
    interaction sites of lipid acyl chains. Presence of ordered aliphatic chains close
    to a positively charged area on the porin surface suggests a position for a lipopolysaccharide
    binding site on the surface of the major E. coli porins.
acknowledgement: This work was funded by the Medical Research Council.
author:
- first_name: Rouslan
  full_name: Efremov, Rouslan G
  last_name: Efremov
- first_name: Leonid A
  full_name: Leonid Sazanov
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
citation:
  ama: Efremov R, Sazanov LA. Structure of Escherichia coli OmpF porin from lipidic
    mesophase. <i>Journal of Structural Biology</i>. 2012;178(3):311-318. doi:<a href="https://doi.org/10.1016/j.jsb.2012.03.005">10.1016/j.jsb.2012.03.005</a>
  apa: Efremov, R., &#38; Sazanov, L. A. (2012). Structure of Escherichia coli OmpF
    porin from lipidic mesophase. <i>Journal of Structural Biology</i>. Academic Press.
    <a href="https://doi.org/10.1016/j.jsb.2012.03.005">https://doi.org/10.1016/j.jsb.2012.03.005</a>
  chicago: Efremov, Rouslan, and Leonid A Sazanov. “Structure of Escherichia Coli
    OmpF Porin from Lipidic Mesophase.” <i>Journal of Structural Biology</i>. Academic
    Press, 2012. <a href="https://doi.org/10.1016/j.jsb.2012.03.005">https://doi.org/10.1016/j.jsb.2012.03.005</a>.
  ieee: R. Efremov and L. A. Sazanov, “Structure of Escherichia coli OmpF porin from
    lipidic mesophase,” <i>Journal of Structural Biology</i>, vol. 178, no. 3. Academic
    Press, pp. 311–318, 2012.
  ista: Efremov R, Sazanov LA. 2012. Structure of Escherichia coli OmpF porin from
    lipidic mesophase. Journal of Structural Biology. 178(3), 311–318.
  mla: Efremov, Rouslan, and Leonid A. Sazanov. “Structure of Escherichia Coli OmpF
    Porin from Lipidic Mesophase.” <i>Journal of Structural Biology</i>, vol. 178,
    no. 3, Academic Press, 2012, pp. 311–18, doi:<a href="https://doi.org/10.1016/j.jsb.2012.03.005">10.1016/j.jsb.2012.03.005</a>.
  short: R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
date_created: 2018-12-11T11:54:59Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2021-01-12T06:54:26Z
day: '01'
doi: 10.1016/j.jsb.2012.03.005
extern: 1
intvolume: '       178'
issue: '3'
month: '06'
page: 311 - 318
publication: Journal of Structural Biology
publication_status: published
publisher: Academic Press
publist_id: '5109'
quality_controlled: 0
status: public
title: Structure of Escherichia coli OmpF porin from lipidic mesophase
type: journal_article
volume: 178
year: '2012'
...
---
_id: '1976'
abstract:
- lang: eng
  text: 'Complex I is a key enzyme of the respiratory chain in many organisms. This
    multi-protein complex with an intricate evolutionary history originated from the
    unification of prebuilt modules of hydrogenases and transporters. Using recently
    determined crystallographic structures of complex I we reanalyzed evolutionarily
    related complexes that couple oxidoreduction to trans-membrane ion translocation.
    Our analysis points to the previously unnoticed structural homology of the electron
    input module of formate dehydrogenlyases and subunit NuoG of complex I. We also
    show that all related to complex I hydrogenases likely operate via a conformation
    driven mechanism with structural changes generated in the conserved coupling site
    located at the interface of subunits NuoB/D/H. The coupling apparently originated
    once in evolutionary history, together with subunit NuoH joining hydrogenase and
    transport modules. Analysis of quinone oxidoreduction properties and the structure
    of complex I allows us to suggest a fully reversible coupling mechanism. Our model
    predicts that: 1) proton access to the ketone groups of the bound quinone is rigorously
    controlled by the protein, 2) the negative electric charge of the anionic ubiquinol
    head group is a major driving force for conformational changes.'
acknowledgement: The work in authors' laboratory was funded by the Medical Research
  Council.
author:
- first_name: Rouslan
  full_name: Efremov, Rouslan G
  last_name: Efremov
- first_name: Leonid A
  full_name: Leonid Sazanov
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
citation:
  ama: Efremov R, Sazanov LA. The coupling mechanism of respiratory complex i - A
    structural and evolutionary perspective. <i>Biochimica et Biophysica Acta - Bioenergetics</i>.
    2012;1817(10):1785-1795. doi:<a href="https://doi.org/10.1016/j.bbabio.2012.02.015">10.1016/j.bbabio.2012.02.015</a>
  apa: Efremov, R., &#38; Sazanov, L. A. (2012). The coupling mechanism of respiratory
    complex i - A structural and evolutionary perspective. <i>Biochimica et Biophysica
    Acta - Bioenergetics</i>. Elsevier. <a href="https://doi.org/10.1016/j.bbabio.2012.02.015">https://doi.org/10.1016/j.bbabio.2012.02.015</a>
  chicago: Efremov, Rouslan, and Leonid A Sazanov. “The Coupling Mechanism of Respiratory
    Complex i - A Structural and Evolutionary Perspective.” <i>Biochimica et Biophysica
    Acta - Bioenergetics</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.bbabio.2012.02.015">https://doi.org/10.1016/j.bbabio.2012.02.015</a>.
  ieee: R. Efremov and L. A. Sazanov, “The coupling mechanism of respiratory complex
    i - A structural and evolutionary perspective,” <i>Biochimica et Biophysica Acta
    - Bioenergetics</i>, vol. 1817, no. 10. Elsevier, pp. 1785–1795, 2012.
  ista: Efremov R, Sazanov LA. 2012. The coupling mechanism of respiratory complex
    i - A structural and evolutionary perspective. Biochimica et Biophysica Acta -
    Bioenergetics. 1817(10), 1785–1795.
  mla: Efremov, Rouslan, and Leonid A. Sazanov. “The Coupling Mechanism of Respiratory
    Complex i - A Structural and Evolutionary Perspective.” <i>Biochimica et Biophysica
    Acta - Bioenergetics</i>, vol. 1817, no. 10, Elsevier, 2012, pp. 1785–95, doi:<a
    href="https://doi.org/10.1016/j.bbabio.2012.02.015">10.1016/j.bbabio.2012.02.015</a>.
  short: R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817
    (2012) 1785–1795.
date_created: 2018-12-11T11:55:00Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2019-04-26T07:22:06Z
day: '01'
doi: 10.1016/j.bbabio.2012.02.015
extern: 1
intvolume: '      1817'
issue: '10'
month: '10'
page: 1785 - 1795
publication: Biochimica et Biophysica Acta - Bioenergetics
publication_status: published
publisher: Elsevier
publist_id: '5108'
quality_controlled: 0
status: public
title: The coupling mechanism of respiratory complex i - A structural and evolutionary
  perspective
type: review
volume: 1817
year: '2012'
...
---
_id: '1987'
abstract:
- lang: eng
  text: |
    In the living cell, proteins are able to organize space much larger than their dimensions. In return, changes of intracellular space can influence biochemical reactions, allowing cells to sense their size and shape. Despite the possibility to reconstitute protein self-organization with only a few purified components, we still lack knowledge of how geometrical boundaries affect spatiotemporal protein patterns. Following a minimal systems approach, we used purified proteins and photolithographically patterned membranes to study the influence of spatial confinement on the self-organization of the Min system, a spatial regulator of bacterial cytokinesis, in vitro. We found that the emerging protein pattern responds even to the lateral, two-dimensional geometry of the membrane such that, as in the three-dimensional cell, Min protein waves travel along the longest axis of the membrane patch. This shows that for spatial sensing the Min system does not need to be enclosed in a three-dimensional compartment. Using a computational model we quantitatively analyzed our experimental findings and identified persistent binding of MinE to the membrane as requirement for the Min system to sense geometry. Our results give insight into the interplay between geometrical confinement and biochemical patterns emerging from a nonlinear reaction-diffusion system.
acknowledgement: 'This work was supported by the Max-Planck-Society (P.S. and M.L.)
  and by the German Research Foundation as part of the Research Training Group “Nano-
  and Biotechnologies for Electronic Device Packaging” (GRK 1401) (J.S.) and by the
  Leibniz-Award (P.S.). '
author:
- first_name: Jakob
  full_name: Schweizer, Jakob
  last_name: Schweizer
- first_name: Martin
  full_name: Martin Loose
  id: 462D4284-F248-11E8-B48F-1D18A9856A87
  last_name: Loose
  orcid: 0000-0001-7309-9724
- first_name: Mike
  full_name: 'Bonny, Mike '
  last_name: Bonny
- first_name: Karsten
  full_name: Kruse, Karsten
  last_name: Kruse
- first_name: Ingolf
  full_name: Mönch, Ingolf
  last_name: Mönch
- first_name: Petra
  full_name: 'Schwille, Petra '
  last_name: Schwille
citation:
  ama: Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. Geometry sensing
    by self-organized protein patterns. <i>PNAS</i>. 2012;109(38):15283-15288. doi:<a
    href="https://doi.org/10.1073/pnas.1206953109">10.1073/pnas.1206953109</a>
  apa: Schweizer, J., Loose, M., Bonny, M., Kruse, K., Mönch, I., &#38; Schwille,
    P. (2012). Geometry sensing by self-organized protein patterns. <i>PNAS</i>. National
    Academy of Sciences. <a href="https://doi.org/10.1073/pnas.1206953109">https://doi.org/10.1073/pnas.1206953109</a>
  chicago: Schweizer, Jakob, Martin Loose, Mike Bonny, Karsten Kruse, Ingolf Mönch,
    and Petra Schwille. “Geometry Sensing by Self-Organized Protein Patterns.” <i>PNAS</i>.
    National Academy of Sciences, 2012. <a href="https://doi.org/10.1073/pnas.1206953109">https://doi.org/10.1073/pnas.1206953109</a>.
  ieee: J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, and P. Schwille, “Geometry
    sensing by self-organized protein patterns,” <i>PNAS</i>, vol. 109, no. 38. National
    Academy of Sciences, pp. 15283–15288, 2012.
  ista: Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. 2012. Geometry
    sensing by self-organized protein patterns. PNAS. 109(38), 15283–15288.
  mla: Schweizer, Jakob, et al. “Geometry Sensing by Self-Organized Protein Patterns.”
    <i>PNAS</i>, vol. 109, no. 38, National Academy of Sciences, 2012, pp. 15283–88,
    doi:<a href="https://doi.org/10.1073/pnas.1206953109">10.1073/pnas.1206953109</a>.
  short: J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, P. Schwille, PNAS 109
    (2012) 15283–15288.
date_created: 2018-12-11T11:55:04Z
date_published: 2012-09-18T00:00:00Z
date_updated: 2021-01-12T06:54:31Z
day: '18'
doi: 10.1073/pnas.1206953109
extern: 1
intvolume: '       109'
issue: '38'
month: '09'
page: 15283 - 15288
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '5096'
quality_controlled: 0
status: public
title: Geometry sensing by self-organized protein patterns
type: journal_article
volume: 109
year: '2012'
...
---
_id: '2048'
abstract:
- lang: eng
  text: Leakage resilient cryptography attempts to incorporate side-channel leakage
    into the black-box security model and designs cryptographic schemes that are provably
    secure within it. Informally, a scheme is leakage-resilient if it remains secure
    even if an adversary learns a bounded amount of arbitrary information about the
    schemes internal state. Unfortunately, most leakage resilient schemes are unnecessarily
    complicated in order to achieve strong provable security guarantees. As advocated
    by Yu et al. [CCS’10], this mostly is an artefact of the security proof and in
    practice much simpler construction may already suffice to protect against realistic
    side-channel attacks. In this paper, we show that indeed for simpler constructions
    leakage-resilience can be obtained when we aim for relaxed security notions where
    the leakage-functions and/or the inputs to the primitive are chosen non-adaptively.
    For example, we show that a three round Feistel network instantiated with a leakage
    resilient PRF yields a leakage resilient PRP if the inputs are chosen non-adaptively
    (This complements the result of Dodis and Pietrzak [CRYPTO’10] who show that if
    a adaptive queries are allowed, a superlogarithmic number of rounds is necessary.)
    We also show that a minor variation of the classical GGM construction gives a
    leakage resilient PRF if both, the leakage-function and the inputs, are chosen
    non-adaptively.
acknowledgement: "Sebastian Faust acknowledges support from the Danish National Research
  Foundation and The National Science Foundation of China (under the grant 61061130540)
  for the Sino-Danish Center for the Theory of Interactive Computation, within part
  of this work was performed; and from the CFEM research center, supported by the
  Danish Strategic Research Council. \r\nSupported by the European Research Council/ERC
  Starting Grant 259668-PSPC.\r\n"
alternative_title:
- LNCS
author:
- first_name: Sebastian
  full_name: Faust, Sebastian
  last_name: Faust
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
- first_name: Joachim
  full_name: Schipper, Joachim
  id: 7BE863D4-E9CF-11E9-9EDB-90527418172C
  last_name: Schipper
citation:
  ama: 'Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography.
    In: <i> Conference Proceedings CHES 2012</i>. Vol 7428. Springer; 2012:213-232.
    doi:<a href="https://doi.org/10.1007/978-3-642-33027-8_13">10.1007/978-3-642-33027-8_13</a>'
  apa: 'Faust, S., Pietrzak, K. Z., &#38; Schipper, J. (2012). Practical leakage-resilient
    symmetric cryptography. In <i> Conference proceedings CHES 2012</i> (Vol. 7428,
    pp. 213–232). Leuven, Belgium: Springer. <a href="https://doi.org/10.1007/978-3-642-33027-8_13">https://doi.org/10.1007/978-3-642-33027-8_13</a>'
  chicago: Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical
    Leakage-Resilient Symmetric Cryptography.” In <i> Conference Proceedings CHES
    2012</i>, 7428:213–32. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-33027-8_13">https://doi.org/10.1007/978-3-642-33027-8_13</a>.
  ieee: S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric
    cryptography,” in <i> Conference proceedings CHES 2012</i>, Leuven, Belgium, 2012,
    vol. 7428, pp. 213–232.
  ista: 'Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric
    cryptography.  Conference proceedings CHES 2012. CHES: Cryptographic Hardware
    and Embedded Systems, LNCS, vol. 7428, 213–232.'
  mla: Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.”
    <i> Conference Proceedings CHES 2012</i>, vol. 7428, Springer, 2012, pp. 213–32,
    doi:<a href="https://doi.org/10.1007/978-3-642-33027-8_13">10.1007/978-3-642-33027-8_13</a>.
  short: S. Faust, K.Z. Pietrzak, J. Schipper, in:,  Conference Proceedings CHES 2012,
    Springer, 2012, pp. 213–232.
conference:
  end_date: 2012-09-12
  location: Leuven, Belgium
  name: 'CHES: Cryptographic Hardware and Embedded Systems'
  start_date: 2012-09-09
date_created: 2018-12-11T11:55:25Z
date_published: 2012-09-01T00:00:00Z
date_updated: 2021-01-12T06:54:58Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-642-33027-8_13
ec_funded: 1
intvolume: '      7428'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.iacr.org/archive/ches2012/74280211/74280211.pdf
month: '09'
oa: 1
oa_version: Preprint
page: 213 - 232
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '259668'
  name: Provable Security for Physical Cryptography
publication: ' Conference proceedings CHES 2012'
publication_status: published
publisher: Springer
publist_id: '5003'
quality_controlled: '1'
scopus_import: 1
status: public
title: Practical leakage-resilient symmetric cryptography
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7428
year: '2012'
...
---
_id: '2049'
abstract:
- lang: eng
  text: "We propose a new authentication protocol that is provably secure based on
    a ring variant of the learning parity with noise (LPN) problem. The protocol follows
    the design principle of the LPN-based protocol from Eurocrypt’11 (Kiltz et al.),
    and like it, is a two round protocol secure against active attacks. Moreover,
    our protocol has small communication complexity and a very small footprint which
    makes it applicable in scenarios that involve low-cost, resource-constrained devices.\r\n\r\nPerformance-wise,
    our protocol is more efficient than previous LPN-based schemes, such as the many
    variants of the Hopper-Blum (HB) protocol and the aforementioned protocol from
    Eurocrypt’11. Our implementation results show that it is even comparable to the
    standard challenge-and-response protocols based on the AES block-cipher. Our basic
    protocol is roughly 20 times slower than AES, but with the advantage of having
    10 times smaller code size. Furthermore, if a few hundred bytes of non-volatile
    memory are available to allow the storage of some off-line pre-computations, then
    the online phase of our protocols is only twice as slow as AES.\r\n"
acknowledgement: "Supported by the European Research Council / ERC Starting Grant
  (259668- PSPC)\r\nWe would like to thank the anonymous referees of this confer-
  ence and those of the ECRYPT Workshop on Lightweight Cryptography for very useful
  comments, and in particular for the suggestion that the scheme is somewhat vulnerable
  to a man-in-the-middle attack whenever an adversary observes two reader challenges
  that are the same. We hope that the attack we described in Appendix A corresponds
  to what the reviewer had in mind. We also thank Tanja Lange for pointing us to the
  pa- per of [Kir11] and for discussions of some of her recent work. "
alternative_title:
- LNCS
author:
- first_name: Stefan
  full_name: Heyse, Stefan
  last_name: Heyse
- first_name: Eike
  full_name: Kiltz, Eike
  last_name: Kiltz
- first_name: Vadim
  full_name: Lyubashevsky, Vadim
  last_name: Lyubashevsky
- first_name: Christof
  full_name: Paar, Christof
  last_name: Paar
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
citation:
  ama: 'Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient
    authentication protocol based on ring-LPN. In: <i> Conference Proceedings FSE
    2012</i>. Vol 7549. Springer; 2012:346-365. doi:<a href="https://doi.org/10.1007/978-3-642-34047-5_20">10.1007/978-3-642-34047-5_20</a>'
  apa: 'Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., &#38; Pietrzak, K. Z. (2012).
    Lapin: An efficient authentication protocol based on ring-LPN. In <i> Conference
    proceedings FSE 2012</i> (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer.
    <a href="https://doi.org/10.1007/978-3-642-34047-5_20">https://doi.org/10.1007/978-3-642-34047-5_20</a>'
  chicago: 'Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof
    Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In
    <i> Conference Proceedings FSE 2012</i>, 7549:346–65. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-34047-5_20">https://doi.org/10.1007/978-3-642-34047-5_20</a>.'
  ieee: 'S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin:
    An efficient authentication protocol based on ring-LPN,” in <i> Conference proceedings
    FSE 2012</i>, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.'
  ista: 'Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient
    authentication protocol based on ring-LPN.  Conference proceedings FSE 2012. FSE:
    Fast Software Encryption, LNCS, vol. 7549, 346–365.'
  mla: 'Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on
    Ring-LPN.” <i> Conference Proceedings FSE 2012</i>, vol. 7549, Springer, 2012,
    pp. 346–65, doi:<a href="https://doi.org/10.1007/978-3-642-34047-5_20">10.1007/978-3-642-34047-5_20</a>.'
  short: S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:,  Conference
    Proceedings FSE 2012, Springer, 2012, pp. 346–365.
conference:
  end_date: 2012-03-21
  location: Washington, DC, USA
  name: 'FSE: Fast Software Encryption'
  start_date: 2012-03-19
date_created: 2018-12-11T11:55:25Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2021-01-12T06:54:58Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-642-34047-5_20
ec_funded: 1
intvolume: '      7549'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.iacr.org/archive/fse2012/75490350/75490350.pdf
month: '03'
oa: 1
oa_version: Preprint
page: 346 - 365
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '259668'
  name: Provable Security for Physical Cryptography
publication: ' Conference proceedings FSE 2012'
publication_status: published
publisher: Springer
publist_id: '5002'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Lapin: An efficient authentication protocol based on ring-LPN'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7549
year: '2012'
...
---
_id: '13407'
abstract:
- lang: eng
  text: We show that diamagnetic particles can be remotely manipulated by a magnet
    by the reversible adsorption of dual-responsive, light-switchable/superparamagnetic
    nanoparticles down to their surface. Adsorption occurs upon exposure to UV light,
    and can be reversed thermally or by ambient light. The dynamic self-assembly of
    thin films of the dual-responsive nanoparticles induces attractive interactions
    between diamagnetic particles. We demonstrate that catalytic amounts of the dual-responsive
    nanoparticles are sufficient to magnetically guide and deliver the diamagnetic
    particles to desired locations, where they can then be released by disassembling
    the dynamic layers of superparamagnetic nanoparticles with visible light.
article_processing_charge: No
article_type: original
author:
- first_name: Olga
  full_name: Chovnik, Olga
  last_name: Chovnik
- first_name: Renata
  full_name: Balgley, Renata
  last_name: Balgley
- first_name: Joel R.
  full_name: Goldman, Joel R.
  last_name: Goldman
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
citation:
  ama: Chovnik O, Balgley R, Goldman JR, Klajn R. Dynamically self-assembling carriers
    enable guiding of diamagnetic particles by weak magnets. <i>Journal of the American
    Chemical Society</i>. 2012;134(48):19564-19567. doi:<a href="https://doi.org/10.1021/ja309633v">10.1021/ja309633v</a>
  apa: Chovnik, O., Balgley, R., Goldman, J. R., &#38; Klajn, R. (2012). Dynamically
    self-assembling carriers enable guiding of diamagnetic particles by weak magnets.
    <i>Journal of the American Chemical Society</i>. American Chemical Society. <a
    href="https://doi.org/10.1021/ja309633v">https://doi.org/10.1021/ja309633v</a>
  chicago: Chovnik, Olga, Renata Balgley, Joel R. Goldman, and Rafal Klajn. “Dynamically
    Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.”
    <i>Journal of the American Chemical Society</i>. American Chemical Society, 2012.
    <a href="https://doi.org/10.1021/ja309633v">https://doi.org/10.1021/ja309633v</a>.
  ieee: O. Chovnik, R. Balgley, J. R. Goldman, and R. Klajn, “Dynamically self-assembling
    carriers enable guiding of diamagnetic particles by weak magnets,” <i>Journal
    of the American Chemical Society</i>, vol. 134, no. 48. American Chemical Society,
    pp. 19564–19567, 2012.
  ista: Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling
    carriers enable guiding of diamagnetic particles by weak magnets. Journal of the
    American Chemical Society. 134(48), 19564–19567.
  mla: Chovnik, Olga, et al. “Dynamically Self-Assembling Carriers Enable Guiding
    of Diamagnetic Particles by Weak Magnets.” <i>Journal of the American Chemical
    Society</i>, vol. 134, no. 48, American Chemical Society, 2012, pp. 19564–67,
    doi:<a href="https://doi.org/10.1021/ja309633v">10.1021/ja309633v</a>.
  short: O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical
    Society 134 (2012) 19564–19567.
date_created: 2023-08-01T09:47:42Z
date_published: 2012-11-26T00:00:00Z
date_updated: 2023-08-08T07:51:10Z
day: '26'
doi: 10.1021/ja309633v
extern: '1'
external_id:
  pmid:
  - '23181449'
intvolume: '       134'
issue: '48'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '11'
oa_version: Published Version
page: 19564-19567
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
  eissn:
  - 1520-5126
  issn:
  - 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dynamically self-assembling carriers enable guiding of diamagnetic particles
  by weak magnets
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '13408'
abstract:
- lang: eng
  text: Well-defined metallic nanobowls can be prepared by extending the concept of
    a protecting group to colloidal synthesis. Magnetic nanoparticles are employed
    as “protecting groups” during the galvanic replacement of silver with gold. The
    replacement reaction is accompanied by spontantous dissociation of the protecting
    groups, leaving behind metallic nanobowls.
article_processing_charge: No
article_type: original
author:
- first_name: Yonatan
  full_name: Ridelman, Yonatan
  last_name: Ridelman
- first_name: Gurvinder
  full_name: Singh, Gurvinder
  last_name: Singh
- first_name: Ronit
  full_name: Popovitz-Biro, Ronit
  last_name: Popovitz-Biro
- first_name: Sharon G.
  full_name: Wolf, Sharon G.
  last_name: Wolf
- first_name: Sanjib
  full_name: Das, Sanjib
  last_name: Das
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
citation:
  ama: Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. Metallic nanobowls
    by galvanic replacement reaction on heterodimeric nanoparticles. <i>Small</i>.
    2012;8(5):654-660. doi:<a href="https://doi.org/10.1002/smll.201101882">10.1002/smll.201101882</a>
  apa: Ridelman, Y., Singh, G., Popovitz-Biro, R., Wolf, S. G., Das, S., &#38; Klajn,
    R. (2012). Metallic nanobowls by galvanic replacement reaction on heterodimeric
    nanoparticles. <i>Small</i>. Wiley. <a href="https://doi.org/10.1002/smll.201101882">https://doi.org/10.1002/smll.201101882</a>
  chicago: Ridelman, Yonatan, Gurvinder Singh, Ronit Popovitz-Biro, Sharon G. Wolf,
    Sanjib Das, and Rafal Klajn. “Metallic Nanobowls by Galvanic Replacement Reaction
    on Heterodimeric Nanoparticles.” <i>Small</i>. Wiley, 2012. <a href="https://doi.org/10.1002/smll.201101882">https://doi.org/10.1002/smll.201101882</a>.
  ieee: Y. Ridelman, G. Singh, R. Popovitz-Biro, S. G. Wolf, S. Das, and R. Klajn,
    “Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles,”
    <i>Small</i>, vol. 8, no. 5. Wiley, pp. 654–660, 2012.
  ista: Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic
    nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small.
    8(5), 654–660.
  mla: Ridelman, Yonatan, et al. “Metallic Nanobowls by Galvanic Replacement Reaction
    on Heterodimeric Nanoparticles.” <i>Small</i>, vol. 8, no. 5, Wiley, 2012, pp.
    654–60, doi:<a href="https://doi.org/10.1002/smll.201101882">10.1002/smll.201101882</a>.
  short: Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small
    8 (2012) 654–660.
date_created: 2023-08-01T09:47:55Z
date_published: 2012-03-12T00:00:00Z
date_updated: 2023-08-08T07:55:10Z
day: '12'
doi: 10.1002/smll.201101882
extern: '1'
external_id:
  pmid:
  - '22392681'
intvolume: '         8'
issue: '5'
keyword:
- Biomaterials
- Biotechnology
- General Materials Science
- General Chemistry
language:
- iso: eng
month: '03'
oa_version: None
page: 654-660
pmid: 1
publication: Small
publication_identifier:
  eissn:
  - 1613-6829
  issn:
  - 1613-6810
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2012'
...
---
_id: '1384'
abstract:
- lang: eng
  text: 'Software model checking, as an undecidable problem, has three possible outcomes:
    (1) the program satisfies the specification, (2) the program does not satisfy
    the specification, and (3) the model checker fails. The third outcome usually
    manifests itself in a space-out, time-out, or one component of the verification
    tool giving up; in all of these failing cases, significant computation is performed
    by the verification tool before the failure, but no result is reported. We propose
    to reformulate the model-checking problem as follows, in order to have the verification
    tool report a summary of the performed work even in case of failure: given a program
    and a specification, the model checker returns a condition Ψ - usually a state
    predicate - such that the program satisfies the specification under the condition
    Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied.
    In our experiments, we investigated as one major application of conditional model
    checking the sequential combination of model checkers with information passing.
    We give the condition that one model checker produces, as input to a second conditional
    model checker, such that the verification problem for the second is restricted
    to the part of the state space that is not covered by the condition, i.e., the
    second model checker works on the problems that the first model checker could
    not solve. Our experiments demonstrate that repeated application of conditional
    model checkers, passing information from one model checker to the next, can significantly
    improve the verification results and performance, i.e., we can now verify programs
    that we could not verify before.'
acknowledgement: This  research  was  supported  by  the  Canadian  NSERC grant   RGPIN   341819-07,    the   ERC   Advanced   Grant
  QUAREM, and the Austrian Science Fund NFN RiSE.
article_number: '57'
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: Mehmet
  full_name: Keremoglu, Mehmet
  last_name: Keremoglu
- first_name: Philipp
  full_name: Wendler, Philipp
  last_name: Wendler
citation:
  ama: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking:
    A technique to pass information between verifiers. In: <i>Proceedings of the ACM
    SIGSOFT 20th International Symposium on the Foundations of Software Engineering</i>.
    ACM; 2012. doi:<a href="https://doi.org/10.1145/2393596.2393664">10.1145/2393596.2393664</a>'
  apa: 'Beyer, D., Henzinger, T. A., Keremoglu, M., &#38; Wendler, P. (2012). Conditional
    model checking: A technique to pass information between verifiers. In <i>Proceedings
    of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
    Engineering</i>. Cary, NC, USA: ACM. <a href="https://doi.org/10.1145/2393596.2393664">https://doi.org/10.1145/2393596.2393664</a>'
  chicago: 'Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler.
    “Conditional Model Checking: A Technique to Pass Information between Verifiers.”
    In <i>Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
    of Software Engineering</i>. ACM, 2012. <a href="https://doi.org/10.1145/2393596.2393664">https://doi.org/10.1145/2393596.2393664</a>.'
  ieee: 'D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model
    checking: A technique to pass information between verifiers,” in <i>Proceedings
    of the ACM SIGSOFT 20th International Symposium on the Foundations of Software
    Engineering</i>, Cary, NC, USA, 2012.'
  ista: 'Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking:
    A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT
    20th International Symposium on the Foundations of Software Engineering. FSE:
    Foundations of Software Engineering, 57.'
  mla: 'Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information
    between Verifiers.” <i>Proceedings of the ACM SIGSOFT 20th International Symposium
    on the Foundations of Software Engineering</i>, 57, ACM, 2012, doi:<a href="https://doi.org/10.1145/2393596.2393664">10.1145/2393596.2393664</a>.'
  short: D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the
    ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering,
    ACM, 2012.
conference:
  end_date: 2012-11-16
  location: Cary, NC, USA
  name: 'FSE: Foundations of Software Engineering'
  start_date: 2012-11-11
date_created: 2018-12-11T11:51:42Z
date_published: 2012-11-01T00:00:00Z
date_updated: 2021-01-12T06:50:18Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2393596.2393664
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1109.6926
month: '11'
oa: 1
oa_version: Preprint
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations
  of Software Engineering
publication_status: published
publisher: ACM
publist_id: '5826'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Conditional model checking: A technique to pass information between verifiers'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '1471'
abstract:
- lang: eng
  text: 'Given a possibly reducible and non-reduced spectral cover π: X → C over a
    smooth projective complex curve C we determine the group of connected components
    of the Prym variety Prym(X/C). As an immediate application we show that the finite
    group of n-torsion points of the Jacobian of C acts trivially on the cohomology
    of the twisted SL n-Higgs moduli space up to the degree which is predicted by
    topological mirror symmetry. In particular this yields a new proof of a result
    of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology
    of the twisted SL n stable bundle moduli space.'
author:
- first_name: Tamas
  full_name: Tamas Hausel
  id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
  last_name: Hausel
- first_name: Christian
  full_name: Pauly, Christian
  last_name: Pauly
citation:
  ama: Hausel T, Pauly C. Prym varieties of spectral covers. <i>Geometry and Topology</i>.
    2012;16(3):1609-1638. doi:<a href="https://doi.org/10.2140/gt.2012.16.1609">10.2140/gt.2012.16.1609</a>
  apa: Hausel, T., &#38; Pauly, C. (2012). Prym varieties of spectral covers. <i>Geometry
    and Topology</i>. University of Warwick. <a href="https://doi.org/10.2140/gt.2012.16.1609">https://doi.org/10.2140/gt.2012.16.1609</a>
  chicago: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.”
    <i>Geometry and Topology</i>. University of Warwick, 2012. <a href="https://doi.org/10.2140/gt.2012.16.1609">https://doi.org/10.2140/gt.2012.16.1609</a>.
  ieee: T. Hausel and C. Pauly, “Prym varieties of spectral covers,” <i>Geometry and
    Topology</i>, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.
  ista: Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology.
    16(3), 1609–1638.
  mla: Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” <i>Geometry
    and Topology</i>, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:<a
    href="https://doi.org/10.2140/gt.2012.16.1609">10.2140/gt.2012.16.1609</a>.
  short: T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
date_created: 2018-12-11T11:52:13Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2021-01-12T06:50:58Z
day: '01'
doi: 10.2140/gt.2012.16.1609
extern: 1
intvolume: '        16'
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1012.4748
month: '08'
oa: 1
page: 1609 - 1638
publication: Geometry and Topology
publication_status: published
publisher: University of Warwick
publist_id: '5726'
quality_controlled: 0
status: public
title: Prym varieties of spectral covers
type: journal_article
volume: 16
year: '2012'
...
---
_id: '1472'
abstract:
- lang: eng
  text: For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated
    with the Hitchin map on the rational cohomology of the moduli space of twisted
    G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration
    on the rational cohomology of the twisted G character variety of C when the cohomologies
    are identified via non-Abelian Hodge theory. The proof is accomplished by means
    of a study of the topology of the Hitchin map over the locus of integral spectral
    curves.
acknowledgement: Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F.
  Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca
  Migliorini was partially supported by PRIN 2007 project "Spazi di moduli e teoria
  di Lie"
author:
- first_name: Mark
  full_name: De Cataldo, Mark A
  last_name: De Cataldo
- first_name: Tamas
  full_name: Tamas Hausel
  id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
  last_name: Hausel
- first_name: Luca
  full_name: Migliorini, Luca
  last_name: Migliorini
citation:
  ama: 'De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge
    theory of character varieties: The case A 1. <i>Annals of Mathematics</i>. 2012;175(3):1329-1407.
    doi:<a href="https://doi.org/10.4007/annals.2012.175.3.7">10.4007/annals.2012.175.3.7</a>'
  apa: 'De Cataldo, M., Hausel, T., &#38; Migliorini, L. (2012). Topology of hitchin
    systems and Hodge theory of character varieties: The case A 1. <i>Annals of Mathematics</i>.
    Princeton University Press. <a href="https://doi.org/10.4007/annals.2012.175.3.7">https://doi.org/10.4007/annals.2012.175.3.7</a>'
  chicago: 'De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin
    Systems and Hodge Theory of Character Varieties: The Case A 1.” <i>Annals of Mathematics</i>.
    Princeton University Press, 2012. <a href="https://doi.org/10.4007/annals.2012.175.3.7">https://doi.org/10.4007/annals.2012.175.3.7</a>.'
  ieee: 'M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems
    and Hodge theory of character varieties: The case A 1,” <i>Annals of Mathematics</i>,
    vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.'
  ista: 'De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and
    Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3),
    1329–1407.'
  mla: 'De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of
    Character Varieties: The Case A 1.” <i>Annals of Mathematics</i>, vol. 175, no.
    3, Princeton University Press, 2012, pp. 1329–407, doi:<a href="https://doi.org/10.4007/annals.2012.175.3.7">10.4007/annals.2012.175.3.7</a>.'
  short: M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012)
    1329–1407.
date_created: 2018-12-11T11:52:13Z
date_published: 2012-05-01T00:00:00Z
date_updated: 2021-01-12T06:50:59Z
day: '01'
doi: 10.4007/annals.2012.175.3.7
extern: 1
intvolume: '       175'
issue: '3'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1004.1420
month: '05'
oa: 1
page: 1329 - 1407
publication: Annals of Mathematics
publication_status: published
publisher: Princeton University Press
publist_id: '5727'
quality_controlled: 0
status: public
title: 'Topology of hitchin systems and Hodge theory of character varieties: The case
  A 1'
type: journal_article
volume: 175
year: '2012'
...
---
_id: '5396'
abstract:
- lang: eng
  text: We consider the problem of inference in agraphical model with binary variables.
    While in theory it is arguably preferable to compute marginal probabilities, in
    practice researchers often use MAP inference due to the availability of efficient
    discrete optimization algorithms. We bridge the gap between the two approaches
    by introducing the Discrete  Marginals technique in which approximate marginals
    are obtained by minimizing an objective function with unary and pair-wise terms
    over a discretized domain. This allows the use of techniques originally devel-oped
    for MAP-MRF inference and learning. We explore two ways to set up the objective
    function - by discretizing the Bethe free energy and by learning it  from training
    data. Experimental results show that for certain types of graphs a learned function
    can out-perform the  Bethe approximation. We also establish a link between the
    Bethe free energy and submodular functions.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Filip
  full_name: Korc, Filip
  id: 476A2FD6-F248-11E8-B48F-1D18A9856A87
  last_name: Korc
- first_name: Vladimir
  full_name: Kolmogorov, Vladimir
  id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
  last_name: Kolmogorov
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: Korc F, Kolmogorov V, Lampert C. <i>Approximating Marginals Using Discrete
    Energy Minimization</i>. IST Austria; 2012. doi:<a href="https://doi.org/10.15479/AT:IST-2012-0003">10.15479/AT:IST-2012-0003</a>
  apa: Korc, F., Kolmogorov, V., &#38; Lampert, C. (2012). <i>Approximating marginals
    using discrete energy minimization</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2012-0003">https://doi.org/10.15479/AT:IST-2012-0003</a>
  chicago: Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. <i>Approximating
    Marginals Using Discrete Energy Minimization</i>. IST Austria, 2012. <a href="https://doi.org/10.15479/AT:IST-2012-0003">https://doi.org/10.15479/AT:IST-2012-0003</a>.
  ieee: F. Korc, V. Kolmogorov, and C. Lampert, <i>Approximating marginals using discrete
    energy minimization</i>. IST Austria, 2012.
  ista: Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete
    energy minimization, IST Austria, 13p.
  mla: Korc, Filip, et al. <i>Approximating Marginals Using Discrete Energy Minimization</i>.
    IST Austria, 2012, doi:<a href="https://doi.org/10.15479/AT:IST-2012-0003">10.15479/AT:IST-2012-0003</a>.
  short: F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete
    Energy Minimization, IST Austria, 2012.
date_created: 2018-12-12T11:39:06Z
date_published: 2012-07-23T00:00:00Z
date_updated: 2023-02-23T11:13:22Z
day: '23'
ddc:
- '000'
department:
- _id: VlKo
- _id: ChLa
doi: 10.15479/AT:IST-2012-0003
file:
- access_level: open_access
  checksum: 7e0ba85ad123b13223aaf6cdde2d288c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:29Z
  date_updated: 2020-07-14T12:46:44Z
  file_id: '5490'
  file_name: IST-2012-0003_IST-2012-0003.pdf
  file_size: 618744
  relation: main_file
file_date_updated: 2020-07-14T12:46:44Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '13'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '36'
related_material:
  record:
  - id: '3124'
    relation: earlier_version
    status: public
status: public
title: Approximating marginals using discrete energy minimization
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '5398'
abstract:
- lang: eng
  text: This document is created as a part of the project “Repository for Research
    Data on IST Austria”. It summarises the actual state of research data at IST Austria,
    based on survey results. It supports the choice of appropriate software, which
    would best fit the requirements of their users, the researchers.
author:
- first_name: Jana
  full_name: Porsche, Jana
  id: 3252EDC2-F248-11E8-B48F-1D18A9856A87
  last_name: Porsche
citation:
  ama: Porsche J. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria;
    2012.
  apa: Porsche, J. (2012). <i>Actual state of research data @ ISTAustria</i>. IST
    Austria.
  chicago: Porsche, Jana. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria,
    2012.
  ieee: J. Porsche, <i>Actual state of research data @ ISTAustria</i>. IST Austria,
    2012.
  ista: Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p.
  mla: Porsche, Jana. <i>Actual State of Research Data @ ISTAustria</i>. IST Austria,
    2012.
  short: J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
date_created: 2018-12-12T11:39:06Z
date_published: 2012-11-12T00:00:00Z
date_updated: 2020-07-14T23:04:49Z
day: '12'
ddc:
- '020'
department:
- _id: E-Lib
file:
- access_level: open_access
  checksum: e0a7c041eea1ca4b70ab6f9ec5177f4e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:11Z
  date_updated: 2020-07-14T12:46:44Z
  file_id: '5472'
  file_name: IST-2012-103-v1+1_Actual_state_of_research_data_@_IST_Austria.pdf
  file_size: 238544
  relation: main_file
file_date_updated: 2020-07-14T12:46:44Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication_status: published
publisher: IST Austria
pubrep_id: '103'
status: public
title: Actual state of research data @ ISTAustria
type: report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '5745'
article_processing_charge: No
author:
- first_name: Ashutosh
  full_name: Gupta, Ashutosh
  last_name: Gupta
citation:
  ama: 'Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In:
    <i>Automated Technology for Verification and Analysis</i>. Vol 7561. LNCS. Berlin,
    Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:<a href="https://doi.org/10.1007/978-3-642-33386-6_10">10.1007/978-3-642-33386-6_10</a>'
  apa: 'Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction.
    In <i>Automated Technology for Verification and Analysis</i> (Vol. 7561, pp. 107–121).
    Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-33386-6_10">https://doi.org/10.1007/978-3-642-33386-6_10</a>'
  chicago: 'Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof
    Reduction.” In <i>Automated Technology for Verification and Analysis</i>, 7561:107–21.
    LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. <a href="https://doi.org/10.1007/978-3-642-33386-6_10">https://doi.org/10.1007/978-3-642-33386-6_10</a>.'
  ieee: 'A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,”
    in <i>Automated Technology for Verification and Analysis</i>, vol. 7561, Berlin,
    Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.'
  ista: 'Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction.
    In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.'
  mla: Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.”
    <i>Automated Technology for Verification and Analysis</i>, vol. 7561, Springer
    Berlin Heidelberg, 2012, pp. 107–21, doi:<a href="https://doi.org/10.1007/978-3-642-33386-6_10">10.1007/978-3-642-33386-6_10</a>.
  short: A. Gupta, in:, Automated Technology for Verification and Analysis, Springer
    Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
conference:
  end_date: 2012-10-06
  location: Thiruvananthapuram, Kerala, India
  name: ATVA 2012
  start_date: 2012-10-03
date_created: 2018-12-18T13:01:46Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-09-05T14:15:29Z
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-33386-6_10
ec_funded: 1
file:
- access_level: open_access
  checksum: 68415837a315de3cc4d120f6019d752c
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-18T13:07:35Z
  date_updated: 2020-07-14T12:47:10Z
  file_id: '5746'
  file_name: 2012_ATVA_Gupta.pdf
  file_size: 465502
  relation: main_file
file_date_updated: 2020-07-14T12:47:10Z
has_accepted_license: '1'
intvolume: '      7561'
language:
- iso: eng
oa: 1
oa_version: None
page: 107-121
place: Berlin, Heidelberg
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
publication: Automated Technology for Verification and Analysis
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783642333859'
  - '9783642333866'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
pubrep_id: '180'
quality_controlled: '1'
series_title: LNCS
status: public
title: Improved Single Pass Algorithms for Resolution Proof Reduction
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7561
year: '2012'
...
---
_id: '5839'
abstract:
- lang: eng
  text: "Canny's edge detection algorithm is a classical and robust method for edge
    detection in gray-scale images. The two \r\nsignificant features of this method
    are introduction of NMS (Non-Maximum Suppression) and double thresholding of \r\nthe
    \ gradient  image.  Due  to  poor  illumination,  the  region  boundaries  in
    \ an  image  may  become  vague,  creating  \r\nuncertainties  in  the  gradient
    \ image.  In  this  paper,  we  have  proposed  an  algorithm  based  on  the
    \ concept  of  type-2  fuzzy  sets  to  handle  uncertainties  that  automatically
    \ selects  the  threshold  values  needed  to  segment  the  gradient image using
    classical Canny’s edge detection algorithm. The results show that our algorithm
    works significantly well on different benchmark images as well as medical images
    (hand radiography images). "
author:
- first_name: Ranita
  full_name: Biswas, Ranita
  id: 3C2B033E-F248-11E8-B48F-1D18A9856A87
  last_name: Biswas
  orcid: 0000-0002-5372-7890
- first_name: Jaya
  full_name: Sil, Jaya
  last_name: Sil
citation:
  ama: Biswas R, Sil J. An Improved Canny Edge Detection Algorithm Based on Type-2
    Fuzzy Sets. <i>Procedia Technology</i>. 2012;4:820-824. doi:<a href="https://doi.org/10.1016/j.protcy.2012.05.134">10.1016/j.protcy.2012.05.134</a>
  apa: Biswas, R., &#38; Sil, J. (2012). An Improved Canny Edge Detection Algorithm
    Based on Type-2 Fuzzy Sets. <i>Procedia Technology</i>. Elsevier. <a href="https://doi.org/10.1016/j.protcy.2012.05.134">https://doi.org/10.1016/j.protcy.2012.05.134</a>
  chicago: Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm
    Based on Type-2 Fuzzy Sets.” <i>Procedia Technology</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.protcy.2012.05.134">https://doi.org/10.1016/j.protcy.2012.05.134</a>.
  ieee: R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on
    Type-2 Fuzzy Sets,” <i>Procedia Technology</i>, vol. 4. Elsevier, pp. 820–824,
    2012.
  ista: Biswas R, Sil J. 2012. An Improved Canny Edge Detection Algorithm Based on
    Type-2 Fuzzy Sets. Procedia Technology. 4, 820–824.
  mla: Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based
    on Type-2 Fuzzy Sets.” <i>Procedia Technology</i>, vol. 4, Elsevier, 2012, pp.
    820–24, doi:<a href="https://doi.org/10.1016/j.protcy.2012.05.134">10.1016/j.protcy.2012.05.134</a>.
  short: R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
date_created: 2019-01-17T11:54:21Z
date_published: 2012-05-01T00:00:00Z
date_updated: 2021-01-12T08:03:43Z
day: '01'
ddc:
- '000'
doi: 10.1016/j.protcy.2012.05.134
extern: '1'
file:
- access_level: open_access
  checksum: ba0185986b151d8c11201f48cd505ceb
  content_type: application/pdf
  creator: dernst
  date_created: 2019-01-21T07:28:06Z
  date_updated: 2020-07-14T12:47:12Z
  file_id: '5863'
  file_name: 2012_Procedia_Biswas.pdf
  file_size: 305426
  relation: main_file
file_date_updated: 2020-07-14T12:47:12Z
has_accepted_license: '1'
intvolume: '         4'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 820-824
publication: Procedia Technology
publication_identifier:
  issn:
  - 2212-0173
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2012'
...
---
_id: '596'
abstract:
- lang: eng
  text: The human Mediator complex controls RNA polymerase II (pol II) function in
    ways that remain incompletely understood. Activator-Mediator binding alters Mediator
    structure, and these activator-induced structural shifts appear to play key roles
    in regulating transcription. A recent cryo-electron microscopy (EM) analysis revealed
    that pol II adopted a stable orientation within a Mediator-pol II-TFIIF assembly
    in which Mediator was bound to the activation domain of viral protein 16 (VP16).
    Whereas TFIIF was shown to be important for orienting pol II within this assembly,
    the potential role of the activator was not assessed. To determine how activator
    binding might affect pol II orientation, we isolated human Mediator-pol II-TFIIF
    complexes in which Mediator was not bound to an activator. Cryo-EM analysis of
    this assembly, coupled with pol II crystal structure docking, revealed that pol
    II binds Mediator at the same general location; however, in contrast to VP16-bound
    Mediator, pol II does not appear to stably orient in the absence of an activator.
    Variability in pol II orientation might be important mechanistically, perhaps
    to enable sense and antisense transcription at human promoters. Because Mediator
    interacts extensively with pol II, these results suggest that Mediator structural
    shifts induced by activator binding help stably orient pol II prior to transcription
    initiation.
article_processing_charge: No
author:
- first_name: Carrie A
  full_name: Bernecky, Carrie A
  id: 2CB9DFE2-F248-11E8-B48F-1D18A9856A87
  last_name: Bernecky
  orcid: 0000-0003-0893-7036
- first_name: Dylan
  full_name: Taatjes, Dylan
  last_name: Taatjes
citation:
  ama: Bernecky C, Taatjes D. Activator-mediator binding stabilizes RNA polymerase
    II orientation within the human mediator-RNA polymerase II-TFIIF assembly. <i>Journal
    of Molecular Biology</i>. 2012;417(5):387-394. doi:<a href="https://doi.org/10.1016/j.jmb.2012.02.014">10.1016/j.jmb.2012.02.014</a>
  apa: Bernecky, C., &#38; Taatjes, D. (2012). Activator-mediator binding stabilizes
    RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF
    assembly. <i>Journal of Molecular Biology</i>. Elsevier. <a href="https://doi.org/10.1016/j.jmb.2012.02.014">https://doi.org/10.1016/j.jmb.2012.02.014</a>
  chicago: Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes
    RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF
    Assembly.” <i>Journal of Molecular Biology</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.jmb.2012.02.014">https://doi.org/10.1016/j.jmb.2012.02.014</a>.
  ieee: C. Bernecky and D. Taatjes, “Activator-mediator binding stabilizes RNA polymerase
    II orientation within the human mediator-RNA polymerase II-TFIIF assembly,” <i>Journal
    of Molecular Biology</i>, vol. 417, no. 5. Elsevier, pp. 387–394, 2012.
  ista: Bernecky C, Taatjes D. 2012. Activator-mediator binding stabilizes RNA polymerase
    II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal
    of Molecular Biology. 417(5), 387–394.
  mla: Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes
    RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF
    Assembly.” <i>Journal of Molecular Biology</i>, vol. 417, no. 5, Elsevier, 2012,
    pp. 387–94, doi:<a href="https://doi.org/10.1016/j.jmb.2012.02.014">10.1016/j.jmb.2012.02.014</a>.
  short: C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.
date_created: 2018-12-11T11:47:24Z
date_published: 2012-04-13T00:00:00Z
date_updated: 2021-01-12T08:05:21Z
day: '13'
doi: 10.1016/j.jmb.2012.02.014
extern: '1'
intvolume: '       417'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4582759/
month: '04'
oa: 1
oa_version: None
page: 387 - 394
publication: Journal of Molecular Biology
publication_status: published
publisher: Elsevier
publist_id: '7208'
status: public
title: Activator-mediator binding stabilizes RNA polymerase II orientation within
  the human mediator-RNA polymerase II-TFIIF assembly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 417
year: '2012'
...
---
_id: '6136'
abstract:
- lang: eng
  text: Tonic receptors convey stimulus duration and intensity and are implicated
    in homeostatic control. However, how tonic homeostatic signals are generated and
    how they reconfigure neural circuits and modify animal behavior is poorly understood.
    Here we show that Caenorhabditis elegans O2-sensing neurons are tonic receptors
    that continuously signal ambient [O2] to set the animal's behavioral state. Sustained
    signaling relied on a Ca2+ relay involving L-type voltage-gated Ca2+ channels,
    the ryanodine and the inositol-1,4,5-trisphosphate receptors. Tonic activity evoked
    continuous neuropeptide release, which helps elicit the enduring behavioral state
    associated with high [O2]. Sustained O2 receptor signaling was propagated to downstream
    neural circuits, including the hub interneuron RMG. O2 receptors evoked similar
    locomotory states at particular O2 concentrations, regardless of previous d[O2]/dt.
    However, a phasic component of the URX receptors' response to high d[O2]/dt, as
    well as tonic-to-phasic transformations in downstream interneurons, enabled transient
    reorientation movements shaped by d[O2]/dt. Our results highlight how tonic homeostatic
    signals can generate both transient and enduring behavioral change.
author:
- first_name: Karl Emanuel
  full_name: Busch, Karl Emanuel
  last_name: Busch
- first_name: Patrick
  full_name: Laurent, Patrick
  last_name: Laurent
- first_name: Zoltan
  full_name: Soltesz, Zoltan
  last_name: Soltesz
- first_name: Robin Joseph
  full_name: Murphy, Robin Joseph
  last_name: Murphy
- first_name: Olivier
  full_name: Faivre, Olivier
  last_name: Faivre
- first_name: Berthold
  full_name: Hedwig, Berthold
  last_name: Hedwig
- first_name: Martin
  full_name: Thomas, Martin
  last_name: Thomas
- first_name: Heather L
  full_name: Smith, Heather L
  last_name: Smith
- first_name: Mario
  full_name: de Bono, Mario
  id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
  last_name: de Bono
  orcid: 0000-0001-8347-0443
citation:
  ama: Busch KE, Laurent P, Soltesz Z, et al. Tonic signaling from O2 sensors sets
    neural circuit activity and behavioral state. <i>Nature Neuroscience</i>. 2012;15(4):581-591.
    doi:<a href="https://doi.org/10.1038/nn.3061">10.1038/nn.3061</a>
  apa: Busch, K. E., Laurent, P., Soltesz, Z., Murphy, R. J., Faivre, O., Hedwig,
    B., … de Bono, M. (2012). Tonic signaling from O2 sensors sets neural circuit
    activity and behavioral state. <i>Nature Neuroscience</i>. Springer Nature. <a
    href="https://doi.org/10.1038/nn.3061">https://doi.org/10.1038/nn.3061</a>
  chicago: Busch, Karl Emanuel, Patrick Laurent, Zoltan Soltesz, Robin Joseph Murphy,
    Olivier Faivre, Berthold Hedwig, Martin Thomas, Heather L Smith, and Mario de
    Bono. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral
    State.” <i>Nature Neuroscience</i>. Springer Nature, 2012. <a href="https://doi.org/10.1038/nn.3061">https://doi.org/10.1038/nn.3061</a>.
  ieee: K. E. Busch <i>et al.</i>, “Tonic signaling from O2 sensors sets neural circuit
    activity and behavioral state,” <i>Nature Neuroscience</i>, vol. 15, no. 4. Springer
    Nature, pp. 581–591, 2012.
  ista: Busch KE, Laurent P, Soltesz Z, Murphy RJ, Faivre O, Hedwig B, Thomas M, Smith
    HL, de Bono M. 2012. Tonic signaling from O2 sensors sets neural circuit activity
    and behavioral state. Nature Neuroscience. 15(4), 581–591.
  mla: Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit
    Activity and Behavioral State.” <i>Nature Neuroscience</i>, vol. 15, no. 4, Springer
    Nature, 2012, pp. 581–91, doi:<a href="https://doi.org/10.1038/nn.3061">10.1038/nn.3061</a>.
  short: K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M.
    Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
date_created: 2019-03-20T14:23:30Z
date_published: 2012-03-04T00:00:00Z
date_updated: 2021-01-12T08:06:17Z
day: '04'
doi: 10.1038/nn.3061
extern: '1'
external_id:
  pmid:
  - '22388961'
intvolume: '        15'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3564487/
month: '03'
oa: 1
oa_version: Submitted Version
page: 581-591
pmid: 1
publication: Nature Neuroscience
publication_identifier:
  issn:
  - 1097-6256
  - 1546-1726
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Tonic signaling from O2 sensors sets neural circuit activity and behavioral
  state
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2012'
...
