---
_id: '12642'
abstract:
- lang: eng
  text: Near-surface air temperature, typically measured at a height of 2 m, is the
    most important control on the energy exchange and the melt rate at a snow or ice
    surface. It is distributed in a simplistic manner in most glacier melt models
    by using constant linear lapse rates, which poorly represent the actual spatial
    and temporal variability of air temperature. In this paper, we test a simple thermodynamic
    model proposed by Greuell and Böhm in 1998 as an alternative, using a new dataset
    of air temperature measurements from along the flowline of Haut Glacier d’Arolla,
    Switzerland. The unmodified model performs little better than assuming a constant
    linear lapse rate. When modified to allow the ratio of the boundary layer height
    to the bulk heat transfer coefficient to vary along the flowline, the model matches
    measured air temperatures better, and a further reduction of the root-mean-square
    error is obtained, although there is still considerable scope for improvement.
    The modified model is shown to perform best under conditions favourable to the
    development of katabatic winds – few clouds, positive ambient air temperature,
    limited influence of synoptic or valley winds and a long fetch – but its performance
    is poor under cloudy conditions.
article_processing_charge: No
article_type: original
author:
- first_name: Lene
  full_name: Petersen, Lene
  last_name: Petersen
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
- first_name: Inge
  full_name: Juszak, Inge
  last_name: Juszak
- first_name: Marco
  full_name: Carenzo, Marco
  last_name: Carenzo
- first_name: Ben
  full_name: Brock, Ben
  last_name: Brock
citation:
  ama: 'Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. Suitability of a
    constant air temperature lapse rate over an Alpine glacier: Testing the Greuell
    and Böhm model as an alternative. <i>Annals of Glaciology</i>. 2013;54(63):120-130.
    doi:<a href="https://doi.org/10.3189/2013aog63a477">10.3189/2013aog63a477</a>'
  apa: 'Petersen, L., Pellicciotti, F., Juszak, I., Carenzo, M., &#38; Brock, B. (2013).
    Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing
    the Greuell and Böhm model as an alternative. <i>Annals of Glaciology</i>. International
    Glaciological Society. <a href="https://doi.org/10.3189/2013aog63a477">https://doi.org/10.3189/2013aog63a477</a>'
  chicago: 'Petersen, Lene, Francesca Pellicciotti, Inge Juszak, Marco Carenzo, and
    Ben Brock. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine
    Glacier: Testing the Greuell and Böhm Model as an Alternative.” <i>Annals of Glaciology</i>.
    International Glaciological Society, 2013. <a href="https://doi.org/10.3189/2013aog63a477">https://doi.org/10.3189/2013aog63a477</a>.'
  ieee: 'L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, and B. Brock, “Suitability
    of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell
    and Böhm model as an alternative,” <i>Annals of Glaciology</i>, vol. 54, no. 63.
    International Glaciological Society, pp. 120–130, 2013.'
  ista: 'Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 2013. Suitability
    of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell
    and Böhm model as an alternative. Annals of Glaciology. 54(63), 120–130.'
  mla: 'Petersen, Lene, et al. “Suitability of a Constant Air Temperature Lapse Rate
    over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.”
    <i>Annals of Glaciology</i>, vol. 54, no. 63, International Glaciological Society,
    2013, pp. 120–30, doi:<a href="https://doi.org/10.3189/2013aog63a477">10.3189/2013aog63a477</a>.'
  short: L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of
    Glaciology 54 (2013) 120–130.
date_created: 2023-02-20T08:17:29Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2023-02-21T10:18:24Z
day: '01'
doi: 10.3189/2013aog63a477
extern: '1'
fulldoi: https://doi.org/10.3189/2013aog63a477
intvolume: '        54'
issue: '63'
keyword:
- Earth-Surface Processes
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3189/2013aog63a477
month: '08'
oa: 1
oa_version: Published Version
page: 120-130
publication: Annals of Glaciology
publication_identifier:
  eissn:
  - 1727-5644
  issn:
  - 0260-3055
publication_status: published
publisher: International Glaciological Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Suitability of a constant air temperature lapse rate over an Alpine glacier:
  Testing the Greuell and Böhm model as an alternative'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2013'
...
---
_id: '12643'
abstract:
- lang: eng
  text: Parameterizations of incoming longwave radiation are increasingly receiving
    attention for both low and high elevation glacierized sites. In this paper, we
    test 13 clear-sky parameterizations combined with seven cloud corrections for
    all-sky atmospheric emissivity at one location on Haut Glacier d'Arolla. We also
    analyze the four seasons separately and conduct a cross-validation to test the
    parameters’ robustness. The best parameterization is the one by Dilley and O'Brien,
    B for clear-sky conditions combined with Unsworth and Monteith cloud correction.
    This model is also the most robust when tested in cross-validation. When validated
    at different sites in the southern Alps of Switzerland and north-western Italian
    Alps, all parameterizations show a substantial decrease in performance, except
    for one site, thus suggesting that it is important to recalibrate parameterizations
    of incoming longwave radiation for different locations. We argue that this is
    due to differences in the structure of the atmosphere at the sites. We also quantify
    the effect that the incoming longwave radiation parameterizations have on energy-balance
    melt modeling, and show that recalibration of model parameters is needed. Using
    parameters from other sites leads to a significant underestimation of melt and
    to an error that is larger than that associated with using different parameterizations.
    Once recalibrated, however, the parameters of most models seem to be stable over
    seasons and years at the location on Haut Glacier d'Arolla.
article_processing_charge: No
article_type: original
author:
- first_name: I.
  full_name: Juszak, I.
  last_name: Juszak
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
citation:
  ama: 'Juszak I, Pellicciotti F. A comparison of parameterizations of incoming longwave
    radiation over melting glaciers: Model robustness and seasonal variability. <i>Journal
    of Geophysical Research: Atmospheres</i>. 2013;118(8):3066-3084. doi:<a href="https://doi.org/10.1002/jgrd.50277">10.1002/jgrd.50277</a>'
  apa: 'Juszak, I., &#38; Pellicciotti, F. (2013). A comparison of parameterizations
    of incoming longwave radiation over melting glaciers: Model robustness and seasonal
    variability. <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical
    Union. <a href="https://doi.org/10.1002/jgrd.50277">https://doi.org/10.1002/jgrd.50277</a>'
  chicago: 'Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations
    of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal
    Variability.” <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical
    Union, 2013. <a href="https://doi.org/10.1002/jgrd.50277">https://doi.org/10.1002/jgrd.50277</a>.'
  ieee: 'I. Juszak and F. Pellicciotti, “A comparison of parameterizations of incoming
    longwave radiation over melting glaciers: Model robustness and seasonal variability,”
    <i>Journal of Geophysical Research: Atmospheres</i>, vol. 118, no. 8. American
    Geophysical Union, pp. 3066–3084, 2013.'
  ista: 'Juszak I, Pellicciotti F. 2013. A comparison of parameterizations of incoming
    longwave radiation over melting glaciers: Model robustness and seasonal variability.
    Journal of Geophysical Research: Atmospheres. 118(8), 3066–3084.'
  mla: 'Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations
    of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal
    Variability.” <i>Journal of Geophysical Research: Atmospheres</i>, vol. 118, no.
    8, American Geophysical Union, 2013, pp. 3066–84, doi:<a href="https://doi.org/10.1002/jgrd.50277">10.1002/jgrd.50277</a>.'
  short: 'I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres
    118 (2013) 3066–3084.'
date_created: 2023-02-20T08:17:34Z
date_published: 2013-04-27T00:00:00Z
date_updated: 2023-02-21T10:10:46Z
day: '27'
doi: 10.1002/jgrd.50277
extern: '1'
fulldoi: https://doi.org/10.1002/jgrd.50277
intvolume: '       118'
issue: '8'
keyword:
- Space and Planetary Science
- Earth and Planetary Sciences (miscellaneous)
- Atmospheric Science
- Geophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1002/jgrd.50277
month: '04'
oa: 1
oa_version: Published Version
page: 3066-3084
publication: 'Journal of Geophysical Research: Atmospheres'
publication_identifier:
  issn:
  - 2169-897X
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'A comparison of parameterizations of incoming longwave radiation over melting
  glaciers: Model robustness and seasonal variability'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2013'
...
---
_id: '1304'
abstract:
- lang: eng
  text: When confronted with a large-field stimulus rotating around the vertical body
    axis, flies display a following behavior called &quot;optomotor response.&quot;
    As neural control elements, the large tangential horizontal system (HS) cells
    of the lobula plate have been prime candidates for long. Here, we applied optogenetic
    stimulation of HS cells to evaluate their behavioral role in Drosophila. To minimize
    interference of the optical activation of channelrhodopsin-2 with the visual perception
    of the flies, we used a bistable variant called ChR2-C128S. By applying pulses
    of blue and yellow light, we first demonstrate electrophysiologically that lobula
    plate tangential cells can be activated and deactivated repeatedly with no evident
    change in depolarization strength over trials. We next show that selective optogenetic
    activation of HS cells elicits robust yaw head movements and yaw turning responses
    in fixed and tethered flying flies, respectively.
acknowledgement: 'This work was supported by the Max Planck Society. '
author:
- first_name: Väinö
  full_name: Haikala, Väinö
  last_name: Haikala
- first_name: Maximilian A
  full_name: Maximilian Jösch
  id: 2BD278E6-F248-11E8-B48F-1D18A9856A87
  last_name: Jösch
  orcid: 0000-0002-3937-1330
- first_name: Alexander
  full_name: Borst, Alexander
  last_name: Borst
- first_name: Alex
  full_name: Mauss, Alex S
  last_name: Mauss
citation:
  ama: Haikala V, Jösch MA, Borst A, Mauss A. Optogenetic control of fly optomotor
    responses. <i>Journal of Neuroscience</i>. 2013;33(34):13927-13934. doi:<a href="https://doi.org/10.1523/JNEUROSCI.0340-13.2013">10.1523/JNEUROSCI.0340-13.2013</a>
  apa: Haikala, V., Jösch, M. A., Borst, A., &#38; Mauss, A. (2013). Optogenetic control
    of fly optomotor responses. <i>Journal of Neuroscience</i>. Society for Neuroscience.
    <a href="https://doi.org/10.1523/JNEUROSCI.0340-13.2013">https://doi.org/10.1523/JNEUROSCI.0340-13.2013</a>
  chicago: Haikala, Väinö, Maximilian A Jösch, Alexander Borst, and Alex Mauss. “Optogenetic
    Control of Fly Optomotor Responses.” <i>Journal of Neuroscience</i>. Society for
    Neuroscience, 2013. <a href="https://doi.org/10.1523/JNEUROSCI.0340-13.2013">https://doi.org/10.1523/JNEUROSCI.0340-13.2013</a>.
  ieee: V. Haikala, M. A. Jösch, A. Borst, and A. Mauss, “Optogenetic control of fly
    optomotor responses,” <i>Journal of Neuroscience</i>, vol. 33, no. 34. Society
    for Neuroscience, pp. 13927–13934, 2013.
  ista: Haikala V, Jösch MA, Borst A, Mauss A. 2013. Optogenetic control of fly optomotor
    responses. Journal of Neuroscience. 33(34), 13927–13934.
  mla: Haikala, Väinö, et al. “Optogenetic Control of Fly Optomotor Responses.” <i>Journal
    of Neuroscience</i>, vol. 33, no. 34, Society for Neuroscience, 2013, pp. 13927–34,
    doi:<a href="https://doi.org/10.1523/JNEUROSCI.0340-13.2013">10.1523/JNEUROSCI.0340-13.2013</a>.
  short: V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013)
    13927–13934.
date_created: 2018-12-11T11:51:16Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:49:45Z
day: '01'
doi: 10.1523/JNEUROSCI.0340-13.2013
extern: 1
fulldoi: https://doi.org/10.1523/JNEUROSCI.0340-13.2013
intvolume: '        33'
issue: '34'
month: '01'
page: 13927 - 13934
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '5967'
quality_controlled: 0
status: public
title: Optogenetic control of fly optomotor responses
type: journal_article
volume: 33
year: '2013'
...
---
_id: '1305'
abstract:
- lang: eng
  text: In the fly Drosophila melanogaster, photoreceptor input to motion vision is
    split into two parallel pathways as represented by first-order interneurons L1
    and L2 (Rister et al., 2007; Joesch et al., 2010). However, how these pathways
    are functionally specialized remains controversial. One study (Eichner et al.,
    2011) proposed that the L1-pathway evaluates only sequences of brightness increments
    (ON-ON), while the L2-pathway processes exclusively brightness decrements (OFF-OFF).
    Another study (Clark et al., 2011) proposed that each of the two pathways evaluates
    both ON-ON and OFF-OFF sequences. To decide between these alternatives, we recorded
    from motionsensitive neurons in flies in which the output from either L1 or L2
    was genetically blocked. We found that blocking L1 abolishes ON-ON responses but
    leaves OFF-OFF responses intact. The opposite was true, when the output from L2
    was blocked. We conclude that the L1 and L2 pathways are functionally specialized
    to detect ON-ON and OFF-OFF sequences, respectively.
acknowledgement: This work was supported by the Max-Planck-Society and the SFB 870
  of the Deutsche Forschungsgemeinschaft.
author:
- first_name: Maximilian A
  full_name: Maximilian Jösch
  id: 2BD278E6-F248-11E8-B48F-1D18A9856A87
  last_name: Jösch
  orcid: 0000-0002-3937-1330
- first_name: Franz
  full_name: Weber, Franz
  last_name: Weber
- first_name: Hubert
  full_name: Eichner, Hubert
  last_name: Eichner
- first_name: Alexander
  full_name: Borst, Alexander
  last_name: Borst
citation:
  ama: Jösch MA, Weber F, Eichner H, Borst A. Functional specialization of parallel
    motion detection circuits in the fly. <i>Journal of Neuroscience</i>. 2013;33(3):902-905.
    doi:<a href="https://doi.org/10.1523/JNEUROSCI.3374-12.2013">10.1523/JNEUROSCI.3374-12.2013</a>
  apa: Jösch, M. A., Weber, F., Eichner, H., &#38; Borst, A. (2013). Functional specialization
    of parallel motion detection circuits in the fly. <i>Journal of Neuroscience</i>.
    Society for Neuroscience. <a href="https://doi.org/10.1523/JNEUROSCI.3374-12.2013">https://doi.org/10.1523/JNEUROSCI.3374-12.2013</a>
  chicago: Jösch, Maximilian A, Franz Weber, Hubert Eichner, and Alexander Borst.
    “Functional Specialization of Parallel Motion Detection Circuits in the Fly.”
    <i>Journal of Neuroscience</i>. Society for Neuroscience, 2013. <a href="https://doi.org/10.1523/JNEUROSCI.3374-12.2013">https://doi.org/10.1523/JNEUROSCI.3374-12.2013</a>.
  ieee: M. A. Jösch, F. Weber, H. Eichner, and A. Borst, “Functional specialization
    of parallel motion detection circuits in the fly,” <i>Journal of Neuroscience</i>,
    vol. 33, no. 3. Society for Neuroscience, pp. 902–905, 2013.
  ista: Jösch MA, Weber F, Eichner H, Borst A. 2013. Functional specialization of
    parallel motion detection circuits in the fly. Journal of Neuroscience. 33(3),
    902–905.
  mla: Jösch, Maximilian A., et al. “Functional Specialization of Parallel Motion
    Detection Circuits in the Fly.” <i>Journal of Neuroscience</i>, vol. 33, no. 3,
    Society for Neuroscience, 2013, pp. 902–05, doi:<a href="https://doi.org/10.1523/JNEUROSCI.3374-12.2013">10.1523/JNEUROSCI.3374-12.2013</a>.
  short: M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013)
    902–905.
date_created: 2018-12-11T11:51:16Z
date_published: 2013-01-16T00:00:00Z
date_updated: 2021-01-12T06:49:45Z
day: '16'
doi: 10.1523/JNEUROSCI.3374-12.2013
extern: 1
fulldoi: https://doi.org/10.1523/JNEUROSCI.3374-12.2013
intvolume: '        33'
issue: '3'
month: '01'
page: 902 - 905
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '5968'
quality_controlled: 0
status: public
title: Functional specialization of parallel motion detection circuits in the fly
type: journal_article
volume: 33
year: '2013'
...
---
_id: '1307'
abstract:
- lang: eng
  text: We prove uniqueness of solutions of the DLSS equation in a class of sufficiently
    regular functions. The global weak solutions of the DLSS equation constructed
    by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness
    of solutions for the quantum drift-diffusion equation, which contains additional
    drift and second-order diffusion terms. The results hold in case of periodic or
    Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property
    of the DLSS operator and sophisticated approximation arguments; we derive a PDE
    satisfied by the pointwise square root of the solution, which enables us to exploit
    the monotonicity property of the operator.
author:
- first_name: Julian L
  full_name: Julian Fischer
  id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
  last_name: Fischer
  orcid: 0000-0002-0479-558X
citation:
  ama: Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation
    and quantum drift diffusion models. <i>Communications in Partial Differential
    Equations</i>. 2013;38(11):2004-2047. doi:<a href="https://doi.org/10.1080/03605302.2013.823548">10.1080/03605302.2013.823548</a>
  apa: Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
    equation and quantum drift diffusion models. <i>Communications in Partial Differential
    Equations</i>. Taylor &#38; Francis. <a href="https://doi.org/10.1080/03605302.2013.823548">https://doi.org/10.1080/03605302.2013.823548</a>
  chicago: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
    Equation and Quantum Drift Diffusion Models.” <i>Communications in Partial Differential
    Equations</i>. Taylor &#38; Francis, 2013. <a href="https://doi.org/10.1080/03605302.2013.823548">https://doi.org/10.1080/03605302.2013.823548</a>.
  ieee: J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
    equation and quantum drift diffusion models,” <i>Communications in Partial Differential
    Equations</i>, vol. 38, no. 11. Taylor &#38; Francis, pp. 2004–2047, 2013.
  ista: Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
    equation and quantum drift diffusion models. Communications in Partial Differential
    Equations. 38(11), 2004–2047.
  mla: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
    Equation and Quantum Drift Diffusion Models.” <i>Communications in Partial Differential
    Equations</i>, vol. 38, no. 11, Taylor &#38; Francis, 2013, pp. 2004–47, doi:<a
    href="https://doi.org/10.1080/03605302.2013.823548">10.1080/03605302.2013.823548</a>.
  short: J.L. Fischer, Communications in Partial Differential Equations 38 (2013)
    2004–2047.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1080/03605302.2013.823548
extern: 1
fulldoi: https://doi.org/10.1080/03605302.2013.823548
intvolume: '        38'
issue: '11'
month: '11'
page: 2004 - 2047
publication: Communications in Partial Differential Equations
publication_status: published
publisher: Taylor & Francis
publist_id: '5962'
quality_controlled: 0
status: public
title: Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum
  drift diffusion models
type: journal_article
volume: 38
year: '2013'
...
---
_id: '1308'
abstract:
- lang: eng
  text: We derive sufficient conditions for advection-driven backward motion of the
    free boundary in a chemotaxis model with degenerate mobility. In this model, a
    porous-medium-type diffusive term and an advection term are in competition. The
    former induces forward motion, the latter may induce backward motion of the free
    boundary depending on the direction of advection. We deduce conditions on the
    growth of the initial data at the free boundary which ensure that at least initially
    the advection term is dominant. This implies local backward motion of the free
    boundary provided the advection is (locally) directed appropriately. Our result
    is based on a new class of moving test functions and Stampacchia's lemma. As a
    by-product of our estimates, we obtain quantitative bounds on the spreading of
    the support of solutions for the chemotaxis model and provide a proof for the
    finite speed of the support propagation property of solutions.
author:
- first_name: Julian L
  full_name: Julian Fischer
  id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
  last_name: Fischer
  orcid: 0000-0002-0479-558X
citation:
  ama: Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate
    mobility. <i>SIAM Journal on Mathematical Analysis</i>. 2013;45(3):1585-1615.
    doi:<a href="https://doi.org/10.1137/120874291">10.1137/120874291</a>
  apa: Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model
    with degenerate mobility. <i>SIAM Journal on Mathematical Analysis</i>. Society
    for Industrial and Applied Mathematics . <a href="https://doi.org/10.1137/120874291">https://doi.org/10.1137/120874291</a>
  chicago: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis
    Model with Degenerate Mobility.” <i>SIAM Journal on Mathematical Analysis</i>.
    Society for Industrial and Applied Mathematics , 2013. <a href="https://doi.org/10.1137/120874291">https://doi.org/10.1137/120874291</a>.
  ieee: J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with
    degenerate mobility,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 45, no.
    3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.
  ista: Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model
    with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.
  mla: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model
    with Degenerate Mobility.” <i>SIAM Journal on Mathematical Analysis</i>, vol.
    45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615,
    doi:<a href="https://doi.org/10.1137/120874291">10.1137/120874291</a>.
  short: J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1137/120874291
extern: 1
fulldoi: https://doi.org/10.1137/120874291
intvolume: '        45'
issue: '3'
month: '01'
page: 1585 - 1615
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '5963'
quality_controlled: 0
status: public
title: Advection-driven support shrinking in a chemotaxis model with degenerate mobility
type: journal_article
volume: 45
year: '2013'
...
---
_id: '1310'
abstract:
- lang: eng
  text: We derive lower bounds on asymptotic support propagation rates for strong
    solutions of the Cauchy problem for the thin-film equation. The bounds coincide
    up to a constant factor with the previously known upper bounds and thus are sharp.
    Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92).
    The result is established using weighted backward entropy inequalities with singular
    weight functions to yield a differential inequality; combined with some entropy
    production estimates, the optimal rate of propagation is obtained. To the best
    of our knowledge, these are the first lower bounds on asymptotic support propagation
    rates for higher-order nonnegativity-preserving parabolic equations.
author:
- first_name: Julian L
  full_name: Julian Fischer
  id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
  last_name: Fischer
  orcid: 0000-0002-0479-558X
citation:
  ama: Fischer JL. Optimal lower bounds on asymptotic support propagation rates for
    the thin-film equation. <i>Journal of Differential Equations</i>. 2013;255(10):3127-3149.
    doi:<a href="https://doi.org/10.1016/j.jde.2013.07.028">10.1016/j.jde.2013.07.028</a>
  apa: Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation
    rates for the thin-film equation. <i>Journal of Differential Equations</i>. Academic
    Press. <a href="https://doi.org/10.1016/j.jde.2013.07.028">https://doi.org/10.1016/j.jde.2013.07.028</a>
  chicago: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
    Rates for the Thin-Film Equation.” <i>Journal of Differential Equations</i>. Academic
    Press, 2013. <a href="https://doi.org/10.1016/j.jde.2013.07.028">https://doi.org/10.1016/j.jde.2013.07.028</a>.
  ieee: J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates
    for the thin-film equation,” <i>Journal of Differential Equations</i>, vol. 255,
    no. 10. Academic Press, pp. 3127–3149, 2013.
  ista: Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates
    for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.
  mla: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
    Rates for the Thin-Film Equation.” <i>Journal of Differential Equations</i>, vol.
    255, no. 10, Academic Press, 2013, pp. 3127–49, doi:<a href="https://doi.org/10.1016/j.jde.2013.07.028">10.1016/j.jde.2013.07.028</a>.
  short: J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
date_created: 2018-12-11T11:51:18Z
date_published: 2013-11-15T00:00:00Z
date_updated: 2021-01-12T06:49:47Z
day: '15'
doi: 10.1016/j.jde.2013.07.028
extern: 1
fulldoi: https://doi.org/10.1016/j.jde.2013.07.028
intvolume: '       255'
issue: '10'
month: '11'
page: 3127 - 3149
publication: Journal of Differential Equations
publication_status: published
publisher: Academic Press
publist_id: '5961'
quality_controlled: 0
status: public
title: Optimal lower bounds on asymptotic support propagation rates for the thin-film
  equation
type: journal_article
volume: 255
year: '2013'
...
---
_id: '2107'
abstract:
- lang: eng
  text: We present a method for fabrication-oriented design of actuated deformable
    characters that allows a user to automatically create physical replicas of digitally
    designed characters using rapid manufacturing technologies. Given a deformable
    character and a set of target poses as input, our method computes a small set
    of actuators along with their locations on the surface and optimizes the internal
    material distribution such that the resulting character exhibits the desired deformation
    behavior. We approach this problem with a dedicated algorithm that combines finite-element
    analysis, sparse regularization, and constrained optimization. We validate our
    pipeline on a set of two- and three-dimensional example characters and present
    results in simulation and physically-fabricated prototypes.
acknowledgement: This work was partly funded by the NCCR Co-Me of the Swiss NSF
article_number: '82'
article_processing_charge: No
author:
- first_name: Mélina
  full_name: Skouras, Mélina
  last_name: Skouras
- first_name: Bernhard
  full_name: Thomaszewski, Bernhard
  last_name: Thomaszewski
- first_name: Stelian
  full_name: Coros, Stelian
  last_name: Coros
- first_name: Bernd
  full_name: Bickel, Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Markus
  full_name: Groß, Markus
  last_name: Groß
citation:
  ama: Skouras M, Thomaszewski B, Coros S, Bickel B, Groß M. Computational design
    of actuated deformable characters. <i>ACM Transactions on Graphics</i>. 2013;32(4).
    doi:<a href="https://doi.org/10.1145/2461912.2461979">10.1145/2461912.2461979</a>
  apa: Skouras, M., Thomaszewski, B., Coros, S., Bickel, B., &#38; Groß, M. (2013).
    Computational design of actuated deformable characters. <i>ACM Transactions on
    Graphics</i>. ACM. <a href="https://doi.org/10.1145/2461912.2461979">https://doi.org/10.1145/2461912.2461979</a>
  chicago: Skouras, Mélina, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, and
    Markus Groß. “Computational Design of Actuated Deformable Characters.” <i>ACM
    Transactions on Graphics</i>. ACM, 2013. <a href="https://doi.org/10.1145/2461912.2461979">https://doi.org/10.1145/2461912.2461979</a>.
  ieee: M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, and M. Groß, “Computational
    design of actuated deformable characters,” <i>ACM Transactions on Graphics</i>,
    vol. 32, no. 4. ACM, 2013.
  ista: Skouras M, Thomaszewski B, Coros S, Bickel B, Groß M. 2013. Computational
    design of actuated deformable characters. ACM Transactions on Graphics. 32(4),
    82.
  mla: Skouras, Mélina, et al. “Computational Design of Actuated Deformable Characters.”
    <i>ACM Transactions on Graphics</i>, vol. 32, no. 4, 82, ACM, 2013, doi:<a href="https://doi.org/10.1145/2461912.2461979">10.1145/2461912.2461979</a>.
  short: M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions
    on Graphics 32 (2013).
date_created: 2018-12-11T11:55:45Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2025-10-01T08:08:25Z
day: '01'
doi: 10.1145/2461912.2461979
extern: '1'
fulldoi: https://doi.org/10.1145/2461912.2461979
intvolume: '        32'
issue: '4'
language:
- iso: eng
month: '07'
oa_version: None
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4926'
status: public
title: Computational design of actuated deformable characters
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2013'
...
---
_id: '2108'
abstract:
- lang: eng
  text: 'We present an interactive design system that allows non-expert users to create
    animated mechanical characters. Given an articulated character as input, the user
    iteratively creates an animation by sketching motion curves indicating how different
    parts of the character should move. For each motion curve, our framework creates
    an optimized mechanism that reproduces it as closely as possible. The resulting
    mechanisms are attached to the character and then connected to each other using
    gear trains, which are created in a semi-automated fashion. The mechanical assemblies
    generated with our system can be driven with a single input driver, such as a
    hand-operated crank or an electric motor, and they can be fabricated using rapid
    prototyping devices. We demonstrate the versatility of our approach by designing
    a wide range of mechanical characters, several of which we manufactured using
    3D printing. While our pipeline is designed for characters driven by planar mechanisms,
    significant parts of it extend directly to non-planar mechanisms, allowing us
    to create characters with compelling 3D motions. '
author:
- first_name: Stelian
  full_name: Coros, Stelian
  last_name: Coros
- first_name: Bernhard
  full_name: Thomaszewski, Bernhard
  last_name: Thomaszewski
- first_name: Gioacchino
  full_name: Noris, Gioacchino
  last_name: Noris
- first_name: Shinjiro
  full_name: Sueda, Shinjiro
  last_name: Sueda
- first_name: Moira
  full_name: Forberg, Moira
  last_name: Forberg
- first_name: Robert
  full_name: Sumner, Robert W
  last_name: Sumner
- first_name: Wojciech
  full_name: Matusik, Wojciech
  last_name: Matusik
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
citation:
  ama: Coros S, Thomaszewski B, Noris G, et al. Computational design of mechanical
    characters. <i>ACM Transactions on Graphics</i>. 2013;32(4). doi:<a href="https://doi.org/10.1145/2461912.2461953">10.1145/2461912.2461953</a>
  apa: Coros, S., Thomaszewski, B., Noris, G., Sueda, S., Forberg, M., Sumner, R.,
    … Bickel, B. (2013). Computational design of mechanical characters. <i>ACM Transactions
    on Graphics</i>. ACM. <a href="https://doi.org/10.1145/2461912.2461953">https://doi.org/10.1145/2461912.2461953</a>
  chicago: Coros, Stelian, Bernhard Thomaszewski, Gioacchino Noris, Shinjiro Sueda,
    Moira Forberg, Robert Sumner, Wojciech Matusik, and Bernd Bickel. “Computational
    Design of Mechanical Characters.” <i>ACM Transactions on Graphics</i>. ACM, 2013.
    <a href="https://doi.org/10.1145/2461912.2461953">https://doi.org/10.1145/2461912.2461953</a>.
  ieee: S. Coros <i>et al.</i>, “Computational design of mechanical characters,” <i>ACM
    Transactions on Graphics</i>, vol. 32, no. 4. ACM, 2013.
  ista: Coros S, Thomaszewski B, Noris G, Sueda S, Forberg M, Sumner R, Matusik W,
    Bickel B. 2013. Computational design of mechanical characters. ACM Transactions
    on Graphics. 32(4).
  mla: Coros, Stelian, et al. “Computational Design of Mechanical Characters.” <i>ACM
    Transactions on Graphics</i>, vol. 32, no. 4, ACM, 2013, doi:<a href="https://doi.org/10.1145/2461912.2461953">10.1145/2461912.2461953</a>.
  short: S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W.
    Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
date_created: 2018-12-11T11:55:46Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2021-01-12T06:55:21Z
day: '01'
doi: 10.1145/2461912.2461953
extern: 1
fulldoi: https://doi.org/10.1145/2461912.2461953
intvolume: '        32'
issue: '4'
month: '07'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4927'
quality_controlled: 0
status: public
title: Computational design of mechanical characters
type: journal_article
volume: 32
year: '2013'
...
---
_id: '2109'
abstract:
- lang: eng
  text: Most additive manufacturing technologies work by layering, i.e. slicing the
    shape and then generating each slice independently. This introduces an anisotropy
    into the process, often as different accuracies in the tangential and normal directions,
    but also in terms of other parameters such as build speed or tensile strength
    and strain. We model this as an anisotropic cubic element. Our approach then finds
    a compromise between modeling each part of the shape individually in the best
    possible direction and using one direction for the whole shape part. In particular,
    we compute an orthogonal basis and consider only the three basis vectors as slice
    normals (i.e. fabrication directions). Then we optimize a decomposition of the
    shape along this basis so that each part can be consistently sliced along one
    of the basis vectors. In simulation, we show that this approach is superior to
    slicing the whole shape in one direction, only. It also has clear benefits if
    the shape is larger than the build volume of the available equipment.
author:
- first_name: Kristian
  full_name: Hildebrand, Kristian
  last_name: Hildebrand
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Marc
  full_name: Alexa, Marc
  last_name: Alexa
citation:
  ama: Hildebrand K, Bickel B, Alexa M. Orthogonal slicing for additive manufacturing.
    <i>Computers and Graphics (Pergamon)</i>. 2013;37(6):669-675. doi:<a href="https://doi.org/10.1016/j.cag.2013.05.011">10.1016/j.cag.2013.05.011</a>
  apa: Hildebrand, K., Bickel, B., &#38; Alexa, M. (2013). Orthogonal slicing for
    additive manufacturing. <i>Computers and Graphics (Pergamon)</i>. Elsevier. <a
    href="https://doi.org/10.1016/j.cag.2013.05.011">https://doi.org/10.1016/j.cag.2013.05.011</a>
  chicago: Hildebrand, Kristian, Bernd Bickel, and Marc Alexa. “Orthogonal Slicing
    for Additive Manufacturing.” <i>Computers and Graphics (Pergamon)</i>. Elsevier,
    2013. <a href="https://doi.org/10.1016/j.cag.2013.05.011">https://doi.org/10.1016/j.cag.2013.05.011</a>.
  ieee: K. Hildebrand, B. Bickel, and M. Alexa, “Orthogonal slicing for additive manufacturing,”
    <i>Computers and Graphics (Pergamon)</i>, vol. 37, no. 6. Elsevier, pp. 669–675,
    2013.
  ista: Hildebrand K, Bickel B, Alexa M. 2013. Orthogonal slicing for additive manufacturing.
    Computers and Graphics (Pergamon). 37(6), 669–675.
  mla: Hildebrand, Kristian, et al. “Orthogonal Slicing for Additive Manufacturing.”
    <i>Computers and Graphics (Pergamon)</i>, vol. 37, no. 6, Elsevier, 2013, pp.
    669–75, doi:<a href="https://doi.org/10.1016/j.cag.2013.05.011">10.1016/j.cag.2013.05.011</a>.
  short: K. Hildebrand, B. Bickel, M. Alexa, Computers and Graphics (Pergamon) 37
    (2013) 669–675.
date_created: 2018-12-11T11:55:46Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2021-01-12T06:55:22Z
day: '01'
doi: 10.1016/j.cag.2013.05.011
extern: 1
fulldoi: https://doi.org/10.1016/j.cag.2013.05.011
intvolume: '        37'
issue: '6'
month: '10'
page: 669 - 675
publication: Computers and Graphics (Pergamon)
publication_status: published
publisher: Elsevier
publist_id: '4924'
quality_controlled: 0
status: public
title: Orthogonal slicing for additive manufacturing
type: journal_article
volume: 37
year: '2013'
...
---
_id: '2110'
abstract:
- lang: eng
  text: 'We present a method for practical physical reproduction and design of homogeneous
    materials with desired subsurface scattering. Our process uses a collection of
    different pigments that can be suspended in a clear base material. Our goal is
    to determine pigment concentrations that best reproduce the appearance and subsurface
    scattering of a given target material. In order to achieve this task we first
    fabricate a collection of material samples composed of known mixtures of the available
    pigments with the base material. We then acquire their reflectance profiles using
    a custom-built measurement device. We use the same device to measure the reflectance
    profile of a target material. Based on the database of mappings from pigment concentrations
    to reflectance profiles, we use an optimization process to compute the concentration
    of pigments to best replicate the target material appearance. We demonstrate the
    practicality of our method by reproducing a variety of different translucent materials.
    We also present a tool that allows the user to explore the range of achievable
    appearances for a given set of pigments. '
author:
- first_name: Marios
  full_name: Papas, Marios
  last_name: Papas
- first_name: Christian
  full_name: Regg, Christian
  last_name: Regg
- first_name: Wojciech
  full_name: Jarosz, Wojciech
  last_name: Jarosz
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Philip
  full_name: Jackson, Philip V
  last_name: Jackson
- first_name: Wojciech
  full_name: Matusik, Wojciech
  last_name: Matusik
- first_name: Steve
  full_name: Marschner, Steve
  last_name: Marschner
- first_name: Markus
  full_name: Groß, Markus S
  last_name: Groß
citation:
  ama: Papas M, Regg C, Jarosz W, et al. Fabricating translucent materials using continuous
    pigment mixtures. <i>ACM Transactions on Graphics</i>. 2013;32(4). doi:<a href="https://doi.org/10.1145/2461912.2461974">10.1145/2461912.2461974</a>
  apa: Papas, M., Regg, C., Jarosz, W., Bickel, B., Jackson, P., Matusik, W., … Groß,
    M. (2013). Fabricating translucent materials using continuous pigment mixtures.
    <i>ACM Transactions on Graphics</i>. ACM. <a href="https://doi.org/10.1145/2461912.2461974">https://doi.org/10.1145/2461912.2461974</a>
  chicago: Papas, Marios, Christian Regg, Wojciech Jarosz, Bernd Bickel, Philip Jackson,
    Wojciech Matusik, Steve Marschner, and Markus Groß. “Fabricating Translucent Materials
    Using Continuous Pigment Mixtures.” <i>ACM Transactions on Graphics</i>. ACM,
    2013. <a href="https://doi.org/10.1145/2461912.2461974">https://doi.org/10.1145/2461912.2461974</a>.
  ieee: M. Papas <i>et al.</i>, “Fabricating translucent materials using continuous
    pigment mixtures,” <i>ACM Transactions on Graphics</i>, vol. 32, no. 4. ACM, 2013.
  ista: Papas M, Regg C, Jarosz W, Bickel B, Jackson P, Matusik W, Marschner S, Groß
    M. 2013. Fabricating translucent materials using continuous pigment mixtures.
    ACM Transactions on Graphics. 32(4).
  mla: Papas, Marios, et al. “Fabricating Translucent Materials Using Continuous Pigment
    Mixtures.” <i>ACM Transactions on Graphics</i>, vol. 32, no. 4, ACM, 2013, doi:<a
    href="https://doi.org/10.1145/2461912.2461974">10.1145/2461912.2461974</a>.
  short: M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner,
    M. Groß, ACM Transactions on Graphics 32 (2013).
date_created: 2018-12-11T11:55:46Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2021-01-12T06:55:22Z
day: '01'
doi: 10.1145/2461912.2461974
extern: 1
fulldoi: https://doi.org/10.1145/2461912.2461974
intvolume: '        32'
issue: '4'
month: '07'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4925'
quality_controlled: 0
status: public
title: Fabricating translucent materials using continuous pigment mixtures
type: journal_article
volume: 32
year: '2013'
...
---
_id: '2111'
abstract:
- lang: eng
  text: Animated animatronic figures are a unique way to give physical presence to
    a character. However, their movement and expressions are often limited due to
    mechanical constraints. In this paper, we propose a complete process for augmenting
    physical avatars using projector-based illumination, significantly increasing
    their expressiveness. Given an input animation, the system decomposes the motion
    into low-frequency motion that can be physically reproduced by the animatronic
    head and high-frequency details that are added using projected shading. At the
    core is a spatio-temporal optimization process that compresses the motion in gradient
    space, ensuring faithful motion replay while respecting the physical limitations
    of the system. We also propose a complete multi-camera and projection system,
    including a novel defocused projection and subsurface scattering compensation
    scheme. The result of our system is a highly expressive physical avatar that features
    facial details and motion otherwise unattainable due to physical constraints.
author:
- first_name: Amit
  full_name: Bermano, Amit H
  last_name: Bermano
- first_name: Philipp
  full_name: Bruschweiler, Philipp
  last_name: Bruschweiler
- first_name: Anselm
  full_name: Grundhöfer, Anselm
  last_name: Grundhöfer
- first_name: Daisuke
  full_name: Iwai, Daisuke
  last_name: Iwai
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Markus
  full_name: Groß, Markus S
  last_name: Groß
citation:
  ama: Bermano A, Bruschweiler P, Grundhöfer A, Iwai D, Bickel B, Groß M. Augmenting
    physical avatars using projector-based illumination. <i>ACM Transactions on Graphics</i>.
    2013;32(6). doi:<a href="https://doi.org/10.1145/2508363.2508416">10.1145/2508363.2508416</a>
  apa: Bermano, A., Bruschweiler, P., Grundhöfer, A., Iwai, D., Bickel, B., &#38;
    Groß, M. (2013). Augmenting physical avatars using projector-based illumination.
    <i>ACM Transactions on Graphics</i>. ACM. <a href="https://doi.org/10.1145/2508363.2508416">https://doi.org/10.1145/2508363.2508416</a>
  chicago: Bermano, Amit, Philipp Bruschweiler, Anselm Grundhöfer, Daisuke Iwai, Bernd
    Bickel, and Markus Groß. “Augmenting Physical Avatars Using Projector-Based Illumination.”
    <i>ACM Transactions on Graphics</i>. ACM, 2013. <a href="https://doi.org/10.1145/2508363.2508416">https://doi.org/10.1145/2508363.2508416</a>.
  ieee: A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, and M. Groß,
    “Augmenting physical avatars using projector-based illumination,” <i>ACM Transactions
    on Graphics</i>, vol. 32, no. 6. ACM, 2013.
  ista: Bermano A, Bruschweiler P, Grundhöfer A, Iwai D, Bickel B, Groß M. 2013. Augmenting
    physical avatars using projector-based illumination. ACM Transactions on Graphics.
    32(6).
  mla: Bermano, Amit, et al. “Augmenting Physical Avatars Using Projector-Based Illumination.”
    <i>ACM Transactions on Graphics</i>, vol. 32, no. 6, ACM, 2013, doi:<a href="https://doi.org/10.1145/2508363.2508416">10.1145/2508363.2508416</a>.
  short: A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, M. Groß,
    ACM Transactions on Graphics 32 (2013).
date_created: 2018-12-11T11:55:47Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:55:23Z
day: '01'
doi: 10.1145/2508363.2508416
extern: 1
fulldoi: https://doi.org/10.1145/2508363.2508416
intvolume: '        32'
issue: '6'
month: '11'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4922'
quality_controlled: 0
status: public
title: Augmenting physical avatars using projector-based illumination
type: journal_article
volume: 32
year: '2013'
...
---
OA_type: closed access
_id: '21110'
abstract:
- lang: eng
  text: The NAD(P)H-dependent carbonyl reductase from Candida parapsilosis ATCC 7330
    catalyses the asymmetric reduction of ethyl 4-phenyl-2-oxobutanoate to ethyl (R)-4-phenyl-2-hydroxybutanoate,
    a precursor of angiotensin-converting enzyme inhibitors such as Cilazapril and
    Benazepril. The carbonyl reductase was expressed in Escherichia coli and purified
    by GST-affinity and size-exclusion chromatography. Crystals were obtained by the
    hanging-drop vapour-diffusion method and diffracted to 1.86 Å resolution. The
    asymmetric unit contained two molecules of carbonyl reductase, with a solvent
    content of 48%. The structure was solved by molecular replacement using cinnamyl
    alcohol dehydrogenase from Saccharomyces cerevisiae as a search model.
article_processing_charge: No
article_type: original
author:
- first_name: Nidhi
  full_name: Aggarwal, Nidhi
  last_name: Aggarwal
- first_name: Pradeep K
  full_name: Mandal, Pradeep K
  id: 6a3def15-d4b4-11ef-9fa9-a24c1f545ec3
  last_name: Mandal
  orcid: 0000-0001-5996-956X
- first_name: Namasivayam
  full_name: Gautham, Namasivayam
  last_name: Gautham
- first_name: Anju
  full_name: Chadha, Anju
  last_name: Chadha
citation:
  ama: Aggarwal N, Mandal PK, Gautham N, Chadha A. Expression, purification, crystallization
    and preliminary X-ray diffraction analysis of carbonyl reductase from Candida
    parapsilosis ATCC 7330. <i>Acta Crystallographica Section F Structural Biology
    Communications</i>. 2013;69(3):313-315. doi:<a href="https://doi.org/10.1107/s1744309113003667">10.1107/s1744309113003667</a>
  apa: Aggarwal, N., Mandal, P. K., Gautham, N., &#38; Chadha, A. (2013). Expression,
    purification, crystallization and preliminary X-ray diffraction analysis of carbonyl
    reductase from Candida parapsilosis ATCC 7330. <i>Acta Crystallographica Section
    F Structural Biology Communications</i>. International Union of Crystallography.
    <a href="https://doi.org/10.1107/s1744309113003667">https://doi.org/10.1107/s1744309113003667</a>
  chicago: Aggarwal, Nidhi, Pradeep K Mandal, Namasivayam Gautham, and Anju Chadha.
    “Expression, Purification, Crystallization and Preliminary X-Ray Diffraction Analysis
    of Carbonyl Reductase from Candida Parapsilosis ATCC 7330.” <i>Acta Crystallographica
    Section F Structural Biology Communications</i>. International Union of Crystallography,
    2013. <a href="https://doi.org/10.1107/s1744309113003667">https://doi.org/10.1107/s1744309113003667</a>.
  ieee: N. Aggarwal, P. K. Mandal, N. Gautham, and A. Chadha, “Expression, purification,
    crystallization and preliminary X-ray diffraction analysis of carbonyl reductase
    from Candida parapsilosis ATCC 7330,” <i>Acta Crystallographica Section F Structural
    Biology Communications</i>, vol. 69, no. 3. International Union of Crystallography,
    pp. 313–315, 2013.
  ista: Aggarwal N, Mandal PK, Gautham N, Chadha A. 2013. Expression, purification,
    crystallization and preliminary X-ray diffraction analysis of carbonyl reductase
    from Candida parapsilosis ATCC 7330. Acta Crystallographica Section F Structural
    Biology Communications. 69(3), 313–315.
  mla: Aggarwal, Nidhi, et al. “Expression, Purification, Crystallization and Preliminary
    X-Ray Diffraction Analysis of Carbonyl Reductase from Candida Parapsilosis ATCC
    7330.” <i>Acta Crystallographica Section F Structural Biology Communications</i>,
    vol. 69, no. 3, International Union of Crystallography, 2013, pp. 313–15, doi:<a
    href="https://doi.org/10.1107/s1744309113003667">10.1107/s1744309113003667</a>.
  short: N. Aggarwal, P.K. Mandal, N. Gautham, A. Chadha, Acta Crystallographica Section
    F Structural Biology Communications 69 (2013) 313–315.
date_created: 2026-01-29T22:11:18Z
date_published: 2013-03-01T00:00:00Z
date_updated: 2026-02-23T08:56:25Z
day: '01'
doi: 10.1107/s1744309113003667
extern: '1'
fulldoi: https://doi.org/10.1107/s1744309113003667
has_accepted_license: '1'
intvolume: '        69'
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
page: 313-315
publication: Acta Crystallographica Section F Structural Biology Communications
publication_identifier:
  issn:
  - 1744-3091
publication_status: published
publisher: International Union of Crystallography
quality_controlled: '1'
status: public
title: Expression, purification, crystallization and preliminary X-ray diffraction
  analysis of carbonyl reductase from Candida parapsilosis ATCC 7330
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2013'
...
---
_id: '2112'
abstract:
- lang: eng
  text: Force-deformation measurements of cloth exhibit significant hysteresis, and
    many researchers have identified internal friction as the source of this effect.
    However, it has not been incorporated into computer animation models of cloth.
    In this paper, we propose a model of internal friction based on an augmented reparameterization
    of Dahl's model, and we show that this model provides a good match to several
    important features of cloth hysteresis even with a minimal set of parameters.
    We also propose novel parameter estimation procedures that are based on simple
    and inexpensive setups and need only sparse data, as opposed to the complex hardware
    and dense data acquisition of previous methods. Finally, we provide an algorithm
    for the efficient simulation of internal friction, and we demonstrate it on simulation
    examples that show disparate behavior with and without internal friction.
acknowledgement: This work was supported in part by the European Research Council
  (ERC-2011-StG-280135 Animetrics) and the Spanish Ministry of Economy (TIN2012-35840).
author:
- first_name: Eder
  full_name: Miguel, Eder
  last_name: Miguel
- first_name: Rasmus
  full_name: Tamstorf, Rasmus
  last_name: Tamstorf
- first_name: Derek
  full_name: Bradley, Derek J
  last_name: Bradley
- first_name: Sara
  full_name: Schvartzman, Sara C
  last_name: Schvartzman
- first_name: Bernhard
  full_name: Thomaszewski, Bernhard
  last_name: Thomaszewski
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Wojciech
  full_name: Matusik, Wojciech
  last_name: Matusik
- first_name: Steve
  full_name: Marschner, Steve
  last_name: Marschner
- first_name: Miguel
  full_name: Otaduy, Miguel A
  last_name: Otaduy
citation:
  ama: Miguel E, Tamstorf R, Bradley D, et al. Modeling and estimation of internal
    friction in cloth. <i>ACM Transactions on Graphics</i>. 2013;32(6). doi:<a href="https://doi.org/10.1145/2508363.2508389
    ">10.1145/2508363.2508389 </a>
  apa: Miguel, E., Tamstorf, R., Bradley, D., Schvartzman, S., Thomaszewski, B., Bickel,
    B., … Otaduy, M. (2013). Modeling and estimation of internal friction in cloth.
    <i>ACM Transactions on Graphics</i>. ACM. <a href="https://doi.org/10.1145/2508363.2508389
    ">https://doi.org/10.1145/2508363.2508389 </a>
  chicago: Miguel, Eder, Rasmus Tamstorf, Derek Bradley, Sara Schvartzman, Bernhard
    Thomaszewski, Bernd Bickel, Wojciech Matusik, Steve Marschner, and Miguel Otaduy.
    “Modeling and Estimation of Internal Friction in Cloth.” <i>ACM Transactions on
    Graphics</i>. ACM, 2013. <a href="https://doi.org/10.1145/2508363.2508389 ">https://doi.org/10.1145/2508363.2508389
    </a>.
  ieee: E. Miguel <i>et al.</i>, “Modeling and estimation of internal friction in
    cloth,” <i>ACM Transactions on Graphics</i>, vol. 32, no. 6. ACM, 2013.
  ista: Miguel E, Tamstorf R, Bradley D, Schvartzman S, Thomaszewski B, Bickel B,
    Matusik W, Marschner S, Otaduy M. 2013. Modeling and estimation of internal friction
    in cloth. ACM Transactions on Graphics. 32(6).
  mla: Miguel, Eder, et al. “Modeling and Estimation of Internal Friction in Cloth.”
    <i>ACM Transactions on Graphics</i>, vol. 32, no. 6, ACM, 2013, doi:<a href="https://doi.org/10.1145/2508363.2508389
    ">10.1145/2508363.2508389 </a>.
  short: E. Miguel, R. Tamstorf, D. Bradley, S. Schvartzman, B. Thomaszewski, B. Bickel,
    W. Matusik, S. Marschner, M. Otaduy, ACM Transactions on Graphics 32 (2013).
date_created: 2018-12-11T11:55:47Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:55:23Z
day: '01'
doi: '10.1145/2508363.2508389 '
extern: 1
fulldoi: 'https://doi.org/10.1145/2508363.2508389 '
intvolume: '        32'
issue: '6'
month: '11'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4923'
quality_controlled: 0
status: public
title: Modeling and estimation of internal friction in cloth
type: journal_article
volume: 32
year: '2013'
...
---
_id: '2113'
abstract:
- lang: eng
  text: A new method fabricates custom surface reflectance and spatially varying bidirectional
    reflectance distribution functions (svBRDFs). Researchers optimize a microgeometry
    for a range of normal distribution functions and simulate the resulting surface's
    effective reflectance. Using the simulation's results, they reproduce an input
    svBRDF's appearance by distributing the microgeometry on the printed material's
    surface. This method lets people print svBRDFs on planar samples with current
    3D printing technology, even with a limited set of printing materials. It extends
    naturally to printing svBRDFs on arbitrary shapes.
author:
- first_name: Olivier
  full_name: Rouiller, Olivier
  last_name: Rouiller
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Jan
  full_name: Kautz, Jan
  last_name: Kautz
- first_name: Wojciech
  full_name: Matusik, Wojciech
  last_name: Matusik
- first_name: Marc
  full_name: Alexa, Marc
  last_name: Alexa
citation:
  ama: Rouiller O, Bickel B, Kautz J, Matusik W, Alexa M. 3D printing spatially varying
    BRDFs. <i>IEEE Computer Graphics and Applications</i>. 2013;33(6):48-57. doi:<a
    href="https://doi.org/10.1109/MCG.2013.82 ">10.1109/MCG.2013.82 </a>
  apa: Rouiller, O., Bickel, B., Kautz, J., Matusik, W., &#38; Alexa, M. (2013). 3D
    printing spatially varying BRDFs. <i>IEEE Computer Graphics and Applications</i>.
    IEEE. <a href="https://doi.org/10.1109/MCG.2013.82 ">https://doi.org/10.1109/MCG.2013.82
    </a>
  chicago: Rouiller, Olivier, Bernd Bickel, Jan Kautz, Wojciech Matusik, and Marc
    Alexa. “3D Printing Spatially Varying BRDFs.” <i>IEEE Computer Graphics and Applications</i>.
    IEEE, 2013. <a href="https://doi.org/10.1109/MCG.2013.82 ">https://doi.org/10.1109/MCG.2013.82
    </a>.
  ieee: O. Rouiller, B. Bickel, J. Kautz, W. Matusik, and M. Alexa, “3D printing spatially
    varying BRDFs,” <i>IEEE Computer Graphics and Applications</i>, vol. 33, no. 6.
    IEEE, pp. 48–57, 2013.
  ista: Rouiller O, Bickel B, Kautz J, Matusik W, Alexa M. 2013. 3D printing spatially
    varying BRDFs. IEEE Computer Graphics and Applications. 33(6), 48–57.
  mla: Rouiller, Olivier, et al. “3D Printing Spatially Varying BRDFs.” <i>IEEE Computer
    Graphics and Applications</i>, vol. 33, no. 6, IEEE, 2013, pp. 48–57, doi:<a href="https://doi.org/10.1109/MCG.2013.82
    ">10.1109/MCG.2013.82 </a>.
  short: O. Rouiller, B. Bickel, J. Kautz, W. Matusik, M. Alexa, IEEE Computer Graphics
    and Applications 33 (2013) 48–57.
date_created: 2018-12-11T11:55:47Z
date_published: 2013-09-23T00:00:00Z
date_updated: 2021-01-12T06:55:23Z
day: '23'
doi: '10.1109/MCG.2013.82 '
extern: 1
fulldoi: 'https://doi.org/10.1109/MCG.2013.82 '
intvolume: '        33'
issue: '6'
month: '09'
page: 48 - 57
publication: IEEE Computer Graphics and Applications
publication_status: published
publisher: IEEE
publist_id: '4920'
quality_controlled: 0
status: public
title: 3D printing spatially varying BRDFs
type: journal_article
volume: 33
year: '2013'
...
---
_id: '2114'
abstract:
- lang: eng
  text: 3D printing is considered a disruptive technology with a potentially tremendous
    socioeconomic impact. The three articles in this special issue illustrate how
    novel computer graphics approaches are advancing such digital fabrication.
author:
- first_name: Bernd
  full_name: Bernd Bickel
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
- first_name: Marc
  full_name: Alexa, Marc
  last_name: Alexa
citation:
  ama: 'Bickel B, Alexa M. Computational aspects of fabrication: Modeling, design
    and 3d printing. <i>IEEE Computer Graphics and Applications</i>. 2013;33(6):24-25.
    doi:<a href="https://doi.org/10.1109/MCG.2013.89">10.1109/MCG.2013.89</a>'
  apa: 'Bickel, B., &#38; Alexa, M. (2013). Computational aspects of fabrication:
    Modeling, design and 3d printing. <i>IEEE Computer Graphics and Applications</i>.
    IEEE. <a href="https://doi.org/10.1109/MCG.2013.89">https://doi.org/10.1109/MCG.2013.89</a>'
  chicago: 'Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication:
    Modeling, Design and 3d Printing.” <i>IEEE Computer Graphics and Applications</i>.
    IEEE, 2013. <a href="https://doi.org/10.1109/MCG.2013.89">https://doi.org/10.1109/MCG.2013.89</a>.'
  ieee: 'B. Bickel and M. Alexa, “Computational aspects of fabrication: Modeling,
    design and 3d printing,” <i>IEEE Computer Graphics and Applications</i>, vol.
    33, no. 6. IEEE, pp. 24–25, 2013.'
  ista: 'Bickel B, Alexa M. 2013. Computational aspects of fabrication: Modeling,
    design and 3d printing. IEEE Computer Graphics and Applications. 33(6), 24–25.'
  mla: 'Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication: Modeling,
    Design and 3d Printing.” <i>IEEE Computer Graphics and Applications</i>, vol.
    33, no. 6, IEEE, 2013, pp. 24–25, doi:<a href="https://doi.org/10.1109/MCG.2013.89">10.1109/MCG.2013.89</a>.'
  short: B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
date_created: 2018-12-11T11:55:48Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2021-01-12T06:55:24Z
day: '01'
doi: 10.1109/MCG.2013.89
extern: 1
fulldoi: https://doi.org/10.1109/MCG.2013.89
intvolume: '        33'
issue: '6'
month: '12'
page: 24 - 25
publication: IEEE Computer Graphics and Applications
publication_status: published
publisher: IEEE
publist_id: '4921'
quality_controlled: 0
status: public
title: 'Computational aspects of fabrication: Modeling, design and 3d printing'
type: journal_article
volume: 33
year: '2013'
...
---
_id: '2117'
abstract:
- lang: eng
  text: We prove new upper and lower bounds for Banach space-valued stochastic integrals
    with respect to a compensated Poisson random measure. Our estimates apply to Banach
    spaces with non-trivial martingale (co)type and extend various results in the
    literature. We also develop a Malliavin framework to interpret Poisson stochastic
    integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone representation
    formula.
acknowledgement: The first and third named authors were supported by VICI subsidy
  639.033.604 of the Netherlands Organisation for Scientific Research (NWO). The first
  and second named authors were supported by the German Research Foundation in the
  Collaborative Research C
author:
- first_name: Sjoerd
  full_name: Dirksen, Sjoerd
  last_name: Dirksen
- first_name: Jan
  full_name: Jan Maas
  id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
  last_name: Maas
  orcid: 0000-0002-0845-1338
- first_name: Jan
  full_name: van Neerven, Jan M
  last_name: Van Neerven
citation:
  ama: Dirksen S, Maas J, Van Neerven J. Poisson stochastic integration in Banach
    spaces. <i>Electronic Journal of Probability</i>. 2013;18. doi:<a href="https://doi.org/10.1214/EJP.v18-2945
    ">10.1214/EJP.v18-2945 </a>
  apa: Dirksen, S., Maas, J., &#38; Van Neerven, J. (2013). Poisson stochastic integration
    in Banach spaces. <i>Electronic Journal of Probability</i>. Institute of Mathematical
    Statistics. <a href="https://doi.org/10.1214/EJP.v18-2945 ">https://doi.org/10.1214/EJP.v18-2945
    </a>
  chicago: Dirksen, Sjoerd, Jan Maas, and Jan Van Neerven. “Poisson Stochastic Integration
    in Banach Spaces.” <i>Electronic Journal of Probability</i>. Institute of Mathematical
    Statistics, 2013. <a href="https://doi.org/10.1214/EJP.v18-2945 ">https://doi.org/10.1214/EJP.v18-2945
    </a>.
  ieee: S. Dirksen, J. Maas, and J. Van Neerven, “Poisson stochastic integration in
    Banach spaces,” <i>Electronic Journal of Probability</i>, vol. 18. Institute of
    Mathematical Statistics, 2013.
  ista: Dirksen S, Maas J, Van Neerven J. 2013. Poisson stochastic integration in
    Banach spaces. Electronic Journal of Probability. 18.
  mla: Dirksen, Sjoerd, et al. “Poisson Stochastic Integration in Banach Spaces.”
    <i>Electronic Journal of Probability</i>, vol. 18, Institute of Mathematical Statistics,
    2013, doi:<a href="https://doi.org/10.1214/EJP.v18-2945 ">10.1214/EJP.v18-2945
    </a>.
  short: S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18
    (2013).
date_created: 2018-12-11T11:55:49Z
date_published: 2013-11-18T00:00:00Z
date_updated: 2021-01-12T06:55:24Z
day: '18'
doi: '10.1214/EJP.v18-2945 '
extern: 1
fulldoi: 'https://doi.org/10.1214/EJP.v18-2945 '
intvolume: '        18'
main_file_link:
- open_access: '1'
  url: 'http://arxiv.org/abs/1307.7901 '
month: '11'
oa: 1
publication: Electronic Journal of Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '4917'
quality_controlled: 0
status: public
title: Poisson stochastic integration in Banach spaces
type: journal_article
volume: 18
year: '2013'
...
---
_id: '2129'
abstract:
- lang: eng
  text: "This paper continues the investigation of `Wasserstein-like' transportation
    distances for probability measures on discrete sets. We prove that the discrete
    transportation metrics on the d-dimensional discrete torus with mesh size 1/N
    converge, when N→∞, to the standard 2-Wasserstein distance W_2 on the continuous
    torus in the sense of Gromov-Hausdorff. This is the first convergence result for
    the recently developed discrete transportation metrics. The result shows the compatibility
    between these metrics and the well-established 2-Wasserstein metric. \n\n\n"
acknowledgement: JM acknowledges support by Rubicon subsidy 680-50-0901 of the Netherlands
  Organisation for Scientific Research (NWO).
author:
- first_name: Nicola
  full_name: Gigli, Nicola
  last_name: Gigli
- first_name: Jan
  full_name: Jan Maas
  id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
  last_name: Maas
  orcid: 0000-0002-0845-1338
citation:
  ama: Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics.
    <i>SIAM Journal on Mathematical Analysis</i>. 2013;45(2):879-899. doi:<a href="https://doi.org/10.1137/120886315
    ">10.1137/120886315 </a>
  apa: Gigli, N., &#38; Maas, J. (2013). Gromov-Hausdorff convergence of discrete
    transportation metrics. <i>SIAM Journal on Mathematical Analysis</i>. Society
    for Industrial and Applied Mathematics . <a href="https://doi.org/10.1137/120886315
    ">https://doi.org/10.1137/120886315 </a>
  chicago: Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete
    Transportation Metrics.” <i>SIAM Journal on Mathematical Analysis</i>. Society
    for Industrial and Applied Mathematics , 2013. <a href="https://doi.org/10.1137/120886315
    ">https://doi.org/10.1137/120886315 </a>.
  ieee: N. Gigli and J. Maas, “Gromov-Hausdorff convergence of discrete transportation
    metrics,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 45, no. 2. Society
    for Industrial and Applied Mathematics , pp. 879–899, 2013.
  ista: Gigli N, Maas J. 2013. Gromov-Hausdorff convergence of discrete transportation
    metrics. SIAM Journal on Mathematical Analysis. 45(2), 879–899.
  mla: Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation
    Metrics.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 45, no. 2, Society
    for Industrial and Applied Mathematics , 2013, pp. 879–99, doi:<a href="https://doi.org/10.1137/120886315
    ">10.1137/120886315 </a>.
  short: N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
date_created: 2018-12-11T11:55:53Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:55:29Z
day: '01'
doi: '10.1137/120886315 '
extern: 1
fulldoi: 'https://doi.org/10.1137/120886315 '
intvolume: '        45'
issue: '2'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1207.6501
month: '01'
oa: 1
page: 879 - 899
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '4904'
quality_controlled: 0
status: public
title: Gromov-Hausdorff convergence of discrete transportation metrics
type: journal_article
volume: 45
year: '2013'
...
---
_id: '2139'
abstract:
- lang: eng
  text: Recently it has been shown that pairs of atoms can form metastable bonds due
    to non-conservative forces induced by dissipation [Lemeshko&amp;Weimer, Nature
    Comm. 4, 2230 (2013)]. Here we study the dynamics of interaction-induced coherent
    population trapping - the process responsible for the formation of dissipatively
    bound molecules. We derive the effective dissipative potentials induced between
    ultracold atoms by laser light, and study the time evolution of the scattering
    states. We demonstrate that binding occurs on short timescales of ~10 microseconds,
    even if the initial kinetic energy of the atoms significantly exceeds the depth
    of the dissipative potential. Dissipatively-bound molecules with preordained bond
    lengths and vibrational wavefunctions can be created and detected in current experiments
    with ultracold atoms.
acknowledgement: The work was supported by the NSF through a grant for the Institute
  for Theoretical Atomic, Molecular, and Optical Physics at Harvard University and
  Smithsonian Astrophysical Observatory
author:
- first_name: Mikhail
  full_name: Mikhail Lemeshko
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
citation:
  ama: Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation.
    <i>Frontiers Physics</i>. 2013;1(17). doi:<a href="https://doi.org/10.3389/fphy.2013.00017">10.3389/fphy.2013.00017</a>
  apa: Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced
    dissipation. <i>Frontiers Physics</i>. Frontiers Media. <a href="https://doi.org/10.3389/fphy.2013.00017">https://doi.org/10.3389/fphy.2013.00017</a>
  chicago: Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced
    Dissipation.” <i>Frontiers Physics</i>. Frontiers Media, 2013. <a href="https://doi.org/10.3389/fphy.2013.00017">https://doi.org/10.3389/fphy.2013.00017</a>.
  ieee: M. Lemeshko, “Manipulating scattering of ultracold atoms with light-induced
    dissipation,” <i>Frontiers Physics</i>, vol. 1, no. 17. Frontiers Media, 2013.
  ista: Lemeshko M. 2013. Manipulating scattering of ultracold atoms with light-induced
    dissipation. Frontiers Physics. 1(17).
  mla: Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced
    Dissipation.” <i>Frontiers Physics</i>, vol. 1, no. 17, Frontiers Media, 2013,
    doi:<a href="https://doi.org/10.3389/fphy.2013.00017">10.3389/fphy.2013.00017</a>.
  short: M. Lemeshko, Frontiers Physics 1 (2013).
date_created: 2018-12-11T11:55:56Z
date_published: 2013-10-07T00:00:00Z
date_updated: 2021-01-12T06:55:32Z
day: '07'
doi: 10.3389/fphy.2013.00017
extern: 1
fulldoi: https://doi.org/10.3389/fphy.2013.00017
intvolume: '         1'
issue: '17'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1307.8129
month: '10'
oa: 1
publication: Frontiers Physics
publication_status: published
publisher: Frontiers Media
publist_id: '4885'
quality_controlled: 0
status: public
title: Manipulating scattering of ultracold atoms with light-induced dissipation
type: journal_article
volume: 1
year: '2013'
...
---
_id: '2182'
abstract:
- lang: eng
  text: We propose a general framework for abstraction with respect to quantitative
    properties, such as worst-case execution time, or power consumption. Our framework
    provides a systematic way for counter-example guided abstraction refinement for
    quantitative properties. The salient aspect of the framework is that it allows
    anytime verification, that is, verification algorithms that can be stopped at
    any time (for example, due to exhaustion of memory), and report approximations
    that improve monotonically when the algorithms are given more time. We instantiate
    the framework with a number of quantitative abstractions and refinement schemes,
    which differ in terms of how much quantitative information they keep from the
    original system. We introduce both state-based and trace-based quantitative abstractions,
    and we describe conditions that define classes of quantitative properties for
    which the abstractions provide over-approximations. We give algorithms for evaluating
    the quantitative properties on the abstract systems. We present algorithms for
    counter-example based refinements for quantitative properties for both state-based
    and segment-based abstractions. We perform a case study on worst-case execution
    time of executables to evaluate the anytime verification aspect and the quantitative
    abstractions we proposed.
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 abstraction refinement.
    In: <i>Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles
    of Programming Language</i>. ACM; 2013:115-128. doi:<a href="https://doi.org/10.1145/2429069.2429085">10.1145/2429069.2429085</a>'
  apa: 'Cerny, P., Henzinger, T. A., &#38; Radhakrishna, A. (2013). Quantitative abstraction
    refinement. In <i>Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium
    on Principles of programming language</i> (pp. 115–128). Rome, Italy: ACM. <a
    href="https://doi.org/10.1145/2429069.2429085">https://doi.org/10.1145/2429069.2429085</a>'
  chicago: Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative
    Abstraction Refinement.” In <i>Proceedings of the 40th Annual ACM SIGPLAN-SIGACT
    Symposium on Principles of Programming Language</i>, 115–28. ACM, 2013. <a href="https://doi.org/10.1145/2429069.2429085">https://doi.org/10.1145/2429069.2429085</a>.
  ieee: P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative abstraction
    refinement,” in <i>Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium
    on Principles of programming language</i>, Rome, Italy, 2013, pp. 115–128.
  ista: 'Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement.
    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming
    language. POPL: Principles of Programming Languages, 115–128.'
  mla: Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” <i>Proceedings
    of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language</i>,
    ACM, 2013, pp. 115–28, doi:<a href="https://doi.org/10.1145/2429069.2429085">10.1145/2429069.2429085</a>.
  short: P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual
    ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013,
    pp. 115–128.
conference:
  end_date: 2013-01-25
  location: Rome, Italy
  name: 'POPL: Principles of Programming Languages'
  start_date: 2013-07-23
corr_author: '1'
date_created: 2018-12-11T11:56:11Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2024-10-09T20:55:21Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2429069.2429085
ec_funded: 1
fulldoi: https://doi.org/10.1145/2429069.2429085
language:
- iso: eng
month: '01'
oa_version: None
page: 115 - 128
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
publication: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles
  of programming language
publication_status: published
publisher: ACM
publist_id: '4800'
quality_controlled: '1'
scopus_import: 1
status: public
title: Quantitative abstraction refinement
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...