---
_id: '1367'
abstract:
- lang: eng
  text: One of the major challenges in physically based modelling is making simulations
    efficient. Adaptive models provide an essential solution to these efficiency goals.
    These models are able to self-adapt in space and time, attempting to provide the
    best possible compromise between accuracy and speed. This survey reviews the adaptive
    solutions proposed so far in computer graphics. Models are classified according
    to the strategy they use for adaptation, from time-stepping and freezing techniques
    to geometric adaptivity in the form of structured grids, meshes and particles.
    Applications range from fluids, through deformable bodies, to articulated solids.
acknowledgement: This work was partly supported by the starting grants ADAPT and BigSplash,
  as well as the advanced grant EXPRESSIVE from the European Research Council (ERC-2012-StG_20111012,
  ERC-2014-StG_638176 and ERC-2011-ADG_20110209).
article_processing_charge: No
author:
- first_name: Pierre
  full_name: Manteaux, Pierre
  last_name: Manteaux
- first_name: Christopher J
  full_name: Wojtan, Christopher J
  id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
  last_name: Wojtan
  orcid: 0000-0001-6646-5546
- first_name: Rahul
  full_name: Narain, Rahul
  last_name: Narain
- first_name: Stéphane
  full_name: Redon, Stéphane
  last_name: Redon
- first_name: François
  full_name: Faure, François
  last_name: Faure
- first_name: Marie
  full_name: Cani, Marie
  last_name: Cani
citation:
  ama: Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. Adaptive physically
    based models in computer graphics. <i>Computer Graphics Forum</i>. 2017;36(6):312-337.
    doi:<a href="https://doi.org/10.1111/cgf.12941">10.1111/cgf.12941</a>
  apa: Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., &#38; Cani, M.
    (2017). Adaptive physically based models in computer graphics. <i>Computer Graphics
    Forum</i>. Wiley-Blackwell. <a href="https://doi.org/10.1111/cgf.12941">https://doi.org/10.1111/cgf.12941</a>
  chicago: Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François
    Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.”
    <i>Computer Graphics Forum</i>. Wiley-Blackwell, 2017. <a href="https://doi.org/10.1111/cgf.12941">https://doi.org/10.1111/cgf.12941</a>.
  ieee: P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive
    physically based models in computer graphics,” <i>Computer Graphics Forum</i>,
    vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
  ista: Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. 2017. Adaptive physically
    based models in computer graphics. Computer Graphics Forum. 36(6), 312–337.
  mla: Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.”
    <i>Computer Graphics Forum</i>, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37,
    doi:<a href="https://doi.org/10.1111/cgf.12941">10.1111/cgf.12941</a>.
  short: P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer
    Graphics Forum 36 (2017) 312–337.
date_created: 2018-12-11T11:51:37Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2023-09-20T11:05:36Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1111/cgf.12941
external_id:
  isi:
  - '000408634200019'
file:
- access_level: open_access
  checksum: 7676e9a9ead6d58c3000988c97deb2ef
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:21Z
  date_updated: 2020-07-14T12:44:47Z
  file_id: '5208'
  file_name: IST-2016-634-v1+1_starAdaptivity-cgf.pdf
  file_size: 1434439
  relation: main_file
file_date_updated: 2020-07-14T12:44:47Z
has_accepted_license: '1'
intvolume: '        36'
isi: 1
issue: '6'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 312 - 337
publication: Computer Graphics Forum
publication_identifier:
  issn:
  - '01677055'
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5873'
pubrep_id: '634'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adaptive physically based models in computer graphics
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 36
year: '2017'
...
---
_id: '1407'
abstract:
- lang: eng
  text: We consider the problem of computing the set of initial states of a dynamical
    system such that there exists a control strategy to ensure that the trajectories
    satisfy a temporal logic specification with probability 1 (almost-surely). We
    focus on discrete-time, stochastic linear dynamics and specifications given as
    formulas of the Generalized Reactivity(1) fragment of Linear Temporal Logic over
    linear predicates in the states of the system. We propose a solution based on
    iterative abstraction-refinement, and turn-based 2-player probabilistic games.
    While the theoretical guarantee of our algorithm after any finite number of iterations
    is only a partial solution, we show that if our algorithm terminates, then the
    result is the set of all satisfying initial states. Moreover, for any (partial)
    solution our algorithm synthesizes witness control strategies to ensure almost-sure
    satisfaction of the temporal logic specification. While the proposed algorithm
    guarantees progress and soundness in every iteration, it is computationally demanding.
    We offer an alternative, more efficient solution for the reachability properties
    that decomposes the problem into a series of smaller problems of the same type.
    All algorithms are demonstrated on an illustrative case study.
article_processing_charge: No
arxiv: 1
author:
- first_name: Mária
  full_name: Svoreňová, Mária
  last_name: Svoreňová
- first_name: Jan
  full_name: Kretinsky, Jan
  id: 44CEF464-F248-11E8-B48F-1D18A9856A87
  last_name: Kretinsky
  orcid: 0000-0002-8122-2881
- first_name: Martin
  full_name: Chmelik, Martin
  id: 3624234E-F248-11E8-B48F-1D18A9856A87
  last_name: Chmelik
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Ivana
  full_name: Cěrná, Ivana
  last_name: Cěrná
- first_name: Cǎlin
  full_name: Belta, Cǎlin
  last_name: Belta
citation:
  ama: 'Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal
    logic control for stochastic linear systems using abstraction refinement of probabilistic
    games. <i>Nonlinear Analysis: Hybrid Systems</i>. 2017;23(2):230-253. doi:<a href="https://doi.org/10.1016/j.nahs.2016.04.006">10.1016/j.nahs.2016.04.006</a>'
  apa: 'Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., &#38;
    Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction
    refinement of probabilistic games. <i>Nonlinear Analysis: Hybrid Systems</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.nahs.2016.04.006">https://doi.org/10.1016/j.nahs.2016.04.006</a>'
  chicago: 'Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee,
    Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems
    Using Abstraction Refinement of Probabilistic Games.” <i>Nonlinear Analysis: Hybrid
    Systems</i>. Elsevier, 2017. <a href="https://doi.org/10.1016/j.nahs.2016.04.006">https://doi.org/10.1016/j.nahs.2016.04.006</a>.'
  ieee: 'M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta,
    “Temporal logic control for stochastic linear systems using abstraction refinement
    of probabilistic games,” <i>Nonlinear Analysis: Hybrid Systems</i>, vol. 23, no.
    2. Elsevier, pp. 230–253, 2017.'
  ista: 'Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017.
    Temporal logic control for stochastic linear systems using abstraction refinement
    of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.'
  mla: 'Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems
    Using Abstraction Refinement of Probabilistic Games.” <i>Nonlinear Analysis: Hybrid
    Systems</i>, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:<a href="https://doi.org/10.1016/j.nahs.2016.04.006">10.1016/j.nahs.2016.04.006</a>.'
  short: 'M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta,
    Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.'
date_created: 2018-12-11T11:51:50Z
date_published: 2017-02-01T00:00:00Z
date_updated: 2023-09-20T09:43:09Z
day: '01'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1016/j.nahs.2016.04.006
ec_funded: 1
external_id:
  arxiv:
  - '1410.5387'
  isi:
  - '000390637000014'
intvolume: '        23'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1410.5387
month: '02'
oa: 1
oa_version: Preprint
page: 230 - 253
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
publication: 'Nonlinear Analysis: Hybrid Systems'
publication_status: published
publisher: Elsevier
publist_id: '5800'
quality_controlled: '1'
related_material:
  record:
  - id: '1689'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Temporal logic control for stochastic linear systems using abstraction refinement
  of probabilistic games
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 23
year: '2017'
...
---
_id: '14205'
abstract:
- lang: eng
  text: Two of the most fundamental prototypes of greedy optimization are the matching
    pursuit and Frank-Wolfe algorithms. In this paper, we take a unified view on both
    classes of methods, leading to the first explicit convergence rates of matching
    pursuit methods in an optimization sense, for general sets of atoms. We derive
    sublinear (1/t) convergence for both classes on general smooth objectives, and
    linear convergence on strongly convex objectives, as well as a clear correspondence
    of algorithm variants. Our presented algorithms and rates are affine invariant,
    and do not need any incoherence or sparsity assumptions.
article_processing_charge: No
arxiv: 1
author:
- first_name: Francesco
  full_name: Locatello, Francesco
  id: 26cfd52f-2483-11ee-8040-88983bcc06d4
  last_name: Locatello
  orcid: 0000-0002-4850-0683
- first_name: Rajiv
  full_name: Khanna, Rajiv
  last_name: Khanna
- first_name: Michael
  full_name: Tschannen, Michael
  last_name: Tschannen
- first_name: Martin
  full_name: Jaggi, Martin
  last_name: Jaggi
citation:
  ama: 'Locatello F, Khanna R, Tschannen M, Jaggi M. A unified optimization view on
    generalized matching pursuit and Frank-Wolfe. In: <i>Proceedings of the 20th International
    Conference on Artificial Intelligence and Statistics</i>. Vol 54. ML Research
    Press; 2017:860-868.'
  apa: 'Locatello, F., Khanna, R., Tschannen, M., &#38; Jaggi, M. (2017). A unified
    optimization view on generalized matching pursuit and Frank-Wolfe. In <i>Proceedings
    of the 20th International Conference on Artificial Intelligence and Statistics</i>
    (Vol. 54, pp. 860–868). Fort Lauderdale, FL, United States: ML Research Press.'
  chicago: Locatello, Francesco, Rajiv Khanna, Michael Tschannen, and Martin Jaggi.
    “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.”
    In <i>Proceedings of the 20th International Conference on Artificial Intelligence
    and Statistics</i>, 54:860–68. ML Research Press, 2017.
  ieee: F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization
    view on generalized matching pursuit and Frank-Wolfe,” in <i>Proceedings of the
    20th International Conference on Artificial Intelligence and Statistics</i>, Fort
    Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
  ista: 'Locatello F, Khanna R, Tschannen M, Jaggi M. 2017. A unified optimization
    view on generalized matching pursuit and Frank-Wolfe. Proceedings of the 20th
    International Conference on Artificial Intelligence and Statistics. AISTATS: Conference
    on Artificial Intelligence and Statistics vol. 54, 860–868.'
  mla: Locatello, Francesco, et al. “A Unified Optimization View on Generalized Matching
    Pursuit and Frank-Wolfe.” <i>Proceedings of the 20th International Conference
    on Artificial Intelligence and Statistics</i>, vol. 54, ML Research Press, 2017,
    pp. 860–68.
  short: F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the
    20th International Conference on Artificial Intelligence and Statistics, ML Research
    Press, 2017, pp. 860–868.
conference:
  end_date: 2017-04-22
  location: Fort Lauderdale, FL, United States
  name: 'AISTATS: Conference on Artificial Intelligence and Statistics'
  start_date: 2017-04-20
date_created: 2023-08-22T14:17:19Z
date_published: 2017-02-21T00:00:00Z
date_updated: 2023-09-13T09:49:10Z
day: '21'
department:
- _id: FrLo
extern: '1'
external_id:
  arxiv:
  - '1702.06457'
intvolume: '        54'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1702.06457
month: '02'
oa: 1
oa_version: Preprint
page: 860-868
publication: Proceedings of the 20th International Conference on Artificial Intelligence
  and Statistics
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
status: public
title: A unified optimization view on generalized matching pursuit and Frank-Wolfe
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 54
year: '2017'
...
---
_id: '14206'
abstract:
- lang: eng
  text: Greedy optimization methods such as Matching Pursuit (MP) and Frank-Wolfe
    (FW) algorithms regained popularity in recent years due to their simplicity, effectiveness
    and theoretical guarantees. MP and FW address optimization over the linear span
    and the convex hull of a set of atoms, respectively. In this paper, we consider
    the intermediate case of optimization over the convex cone, parametrized as the
    conic hull of a generic atom set, leading to the first principled definitions
    of non-negative MP algorithms for which we give explicit convergence rates and
    demonstrate excellent empirical performance. In particular, we derive sublinear
    (O(1/t)) convergence on general smooth and convex objectives, and linear convergence
    (O(e−t)) on strongly convex objectives, in both cases for general sets of atoms.
    Furthermore, we establish a clear correspondence of our algorithms to known algorithms
    from the MP and FW literature. Our novel algorithms and analyses target general
    atom sets and general objective functions, and hence are directly applicable to
    a large variety of learning settings.
article_processing_charge: No
arxiv: 1
author:
- first_name: Francesco
  full_name: Locatello, Francesco
  id: 26cfd52f-2483-11ee-8040-88983bcc06d4
  last_name: Locatello
  orcid: 0000-0002-4850-0683
- first_name: Michael
  full_name: Tschannen, Michael
  last_name: Tschannen
- first_name: Gunnar
  full_name: Rätsch, Gunnar
  last_name: Rätsch
- first_name: Martin
  full_name: Jaggi, Martin
  last_name: Jaggi
citation:
  ama: 'Locatello F, Tschannen M, Rätsch G, Jaggi M. Greedy algorithms for cone constrained
    optimization with convergence guarantees. In: <i>Advances in Neural Information
    Processing Systems</i>. ; 2017.'
  apa: Locatello, F., Tschannen, M., Rätsch, G., &#38; Jaggi, M. (2017). Greedy algorithms
    for cone constrained optimization with convergence guarantees. In <i>Advances
    in Neural Information Processing Systems</i>. Long Beach, CA, United States.
  chicago: Locatello, Francesco, Michael Tschannen, Gunnar Rätsch, and Martin Jaggi.
    “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.”
    In <i>Advances in Neural Information Processing Systems</i>, 2017.
  ieee: F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for
    cone constrained optimization with convergence guarantees,” in <i>Advances in
    Neural Information Processing Systems</i>, Long Beach, CA, United States, 2017.
  ista: 'Locatello F, Tschannen M, Rätsch G, Jaggi M. 2017. Greedy algorithms for
    cone constrained optimization with convergence guarantees. Advances in Neural
    Information Processing Systems. NeurIPS: Neural Information Processing Systems.'
  mla: Locatello, Francesco, et al. “Greedy Algorithms for Cone Constrained Optimization
    with Convergence Guarantees.” <i>Advances in Neural Information Processing Systems</i>,
    2017.
  short: F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural
    Information Processing Systems, 2017.
conference:
  end_date: 2017-12-09
  location: Long Beach, CA, United States
  name: 'NeurIPS: Neural Information Processing Systems'
  start_date: 2017-12-04
date_created: 2023-08-22T14:17:38Z
date_published: 2017-05-31T00:00:00Z
date_updated: 2023-09-13T08:32:23Z
day: '31'
department:
- _id: FrLo
extern: '1'
external_id:
  arxiv:
  - '1705.11041'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1705.11041
month: '05'
oa: 1
oa_version: Preprint
publication: Advances in Neural Information Processing Systems
publication_identifier:
  isbn:
  - '9781510860964'
publication_status: published
quality_controlled: '1'
status: public
title: Greedy algorithms for cone constrained optimization with convergence guarantees
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '909'
abstract:
- lang: eng
  text: We study the lengths of curves passing through a fixed number of points on
    the boundary of a convex shape in the plane. We show that, for any convex shape
    K, there exist four points on the boundary of K such that the length of any curve
    passing through these points is at least half of the perimeter of K. It is also
    shown that the same statement does not remain valid with the additional constraint
    that the points are extreme points of K. Moreover, the factor &amp;#xbd; cannot
    be achieved with any fixed number of extreme points. We conclude the paper with
    a few other inequalities related to the perimeter of a convex shape.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Arseniy
  full_name: Akopyan, Arseniy
  id: 430D2C90-F248-11E8-B48F-1D18A9856A87
  last_name: Akopyan
  orcid: 0000-0002-2548-617X
- first_name: Vladislav
  full_name: Vysotsky, Vladislav
  last_name: Vysotsky
citation:
  ama: Akopyan A, Vysotsky V. On the lengths of curves passing through boundary points
    of a planar convex shape. <i>The American Mathematical Monthly</i>. 2017;124(7):588-596.
    doi:<a href="https://doi.org/10.4169/amer.math.monthly.124.7.588">10.4169/amer.math.monthly.124.7.588</a>
  apa: Akopyan, A., &#38; Vysotsky, V. (2017). On the lengths of curves passing through
    boundary points of a planar convex shape. <i>The American Mathematical Monthly</i>.
    Mathematical Association of America. <a href="https://doi.org/10.4169/amer.math.monthly.124.7.588">https://doi.org/10.4169/amer.math.monthly.124.7.588</a>
  chicago: Akopyan, Arseniy, and Vladislav Vysotsky. “On the Lengths of Curves Passing
    through Boundary Points of a Planar Convex Shape.” <i>The American Mathematical
    Monthly</i>. Mathematical Association of America, 2017. <a href="https://doi.org/10.4169/amer.math.monthly.124.7.588">https://doi.org/10.4169/amer.math.monthly.124.7.588</a>.
  ieee: A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary
    points of a planar convex shape,” <i>The American Mathematical Monthly</i>, vol.
    124, no. 7. Mathematical Association of America, pp. 588–596, 2017.
  ista: Akopyan A, Vysotsky V. 2017. On the lengths of curves passing through boundary
    points of a planar convex shape. The American Mathematical Monthly. 124(7), 588–596.
  mla: Akopyan, Arseniy, and Vladislav Vysotsky. “On the Lengths of Curves Passing
    through Boundary Points of a Planar Convex Shape.” <i>The American Mathematical
    Monthly</i>, vol. 124, no. 7, Mathematical Association of America, 2017, pp. 588–96,
    doi:<a href="https://doi.org/10.4169/amer.math.monthly.124.7.588">10.4169/amer.math.monthly.124.7.588</a>.
  short: A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
date_created: 2018-12-11T11:49:09Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-10-17T11:24:57Z
day: '01'
department:
- _id: HeEd
doi: 10.4169/amer.math.monthly.124.7.588
ec_funded: 1
external_id:
  arxiv:
  - '1605.07997'
  isi:
  - '000413947300002'
intvolume: '       124'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1605.07997
month: '01'
oa: 1
oa_version: Submitted Version
page: 588 - 596
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: The American Mathematical Monthly
publication_identifier:
  issn:
  - '00029890'
publication_status: published
publisher: Mathematical Association of America
publist_id: '6534'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the lengths of curves passing through boundary points of a planar convex
  shape
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 124
year: '2017'
...
---
_id: '910'
abstract:
- lang: eng
  text: "Frequency-independent selection is generally considered as a force that acts
    to reduce the genetic variation in evolving populations, yet rigorous arguments
    for this idea are scarce. When selection fluctuates in time, it is unclear whether
    frequency-independent selection may maintain genetic polymorphism without invoking
    additional mechanisms. We show that constant frequency-independent selection with
    arbitrary epistasis on a well-mixed haploid population eliminates genetic variation
    if we assume linkage equilibrium between alleles. To this end, we introduce the
    notion of frequency-independent selection at the level of alleles, which is sufficient
    to prove our claim and contains the notion of frequency-independent selection
    on haploids. When selection and recombination are weak but of the same order,
    there may be strong linkage disequilibrium; numerical calculations show that stable
    equilibria are highly unlikely. Using the example of a diallelic two-locus model,
    we then demonstrate that frequency-independent selection that fluctuates in time
    can maintain stable polymorphism if linkage disequilibrium changes its sign periodically.
    We put our findings in the context of results from the existing literature and
    point out those scenarios in which the possible role of frequency-independent
    selection in maintaining genetic variation remains unclear.\r\n"
article_processing_charge: No
author:
- first_name: Sebastian
  full_name: Novak, Sebastian
  id: 461468AE-F248-11E8-B48F-1D18A9856A87
  last_name: Novak
  orcid: 0000-0002-2519-824X
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
citation:
  ama: Novak S, Barton NH. When does frequency-independent selection maintain genetic
    variation? <i>Genetics</i>. 2017;207(2):653-668. doi:<a href="https://doi.org/10.1534/genetics.117.300129">10.1534/genetics.117.300129</a>
  apa: Novak, S., &#38; Barton, N. H. (2017). When does frequency-independent selection
    maintain genetic variation? <i>Genetics</i>. Genetics Society of America. <a href="https://doi.org/10.1534/genetics.117.300129">https://doi.org/10.1534/genetics.117.300129</a>
  chicago: Novak, Sebastian, and Nicholas H Barton. “When Does Frequency-Independent
    Selection Maintain Genetic Variation?” <i>Genetics</i>. Genetics Society of America,
    2017. <a href="https://doi.org/10.1534/genetics.117.300129">https://doi.org/10.1534/genetics.117.300129</a>.
  ieee: S. Novak and N. H. Barton, “When does frequency-independent selection maintain
    genetic variation?,” <i>Genetics</i>, vol. 207, no. 2. Genetics Society of America,
    pp. 653–668, 2017.
  ista: Novak S, Barton NH. 2017. When does frequency-independent selection maintain
    genetic variation? Genetics. 207(2), 653–668.
  mla: Novak, Sebastian, and Nicholas H. Barton. “When Does Frequency-Independent
    Selection Maintain Genetic Variation?” <i>Genetics</i>, vol. 207, no. 2, Genetics
    Society of America, 2017, pp. 653–68, doi:<a href="https://doi.org/10.1534/genetics.117.300129">10.1534/genetics.117.300129</a>.
  short: S. Novak, N.H. Barton, Genetics 207 (2017) 653–668.
date_created: 2018-12-11T11:49:09Z
date_published: 2017-10-01T00:00:00Z
date_updated: 2023-09-26T15:49:15Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1534/genetics.117.300129
ec_funded: 1
external_id:
  isi:
  - '000412232600019'
file:
- access_level: open_access
  checksum: f7c32dabf52e6d9e709d9203761e39fd
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:12Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '5264'
  file_name: IST-2018-974-v1+1_manuscript.pdf
  file_size: 494268
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '       207'
isi: 1
issue: '2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 653 - 668
project:
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '618091'
  name: Speed of Adaptation in Population Genetics and Evolutionary Computation
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '6533'
pubrep_id: '974'
quality_controlled: '1'
scopus_import: '1'
status: public
title: When does frequency-independent selection maintain genetic variation?
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 207
year: '2017'
...
---
_id: '911'
abstract:
- lang: eng
  text: We develop a probabilistic technique for colorizing grayscale natural images.
    In light of the intrinsic uncertainty of this task, the proposed probabilistic
    framework has numerous desirable properties. In particular, our model is able
    to produce multiple plausible and vivid colorizations for a given grayscale image
    and is one of the first colorization models to provide a proper stochastic sampling
    scheme. Moreover, our training procedure is supported by a rigorous theoretical
    framework that does not require any ad hoc heuristics and allows for efficient
    modeling and learning of the joint pixel color distribution.We demonstrate strong
    quantitative and qualitative experimental results on the CIFAR-10 dataset and
    the challenging ILSVRC 2012 dataset.
article_processing_charge: No
arxiv: 1
author:
- first_name: Amélie
  full_name: Royer, Amélie
  id: 3811D890-F248-11E8-B48F-1D18A9856A87
  last_name: Royer
  orcid: 0000-0002-8407-0705
- first_name: Alexander
  full_name: Kolesnikov, Alexander
  id: 2D157DB6-F248-11E8-B48F-1D18A9856A87
  last_name: Kolesnikov
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Royer A, Kolesnikov A, Lampert C. Probabilistic image colorization. In: BMVA
    Press; 2017:85.1-85.12. doi:<a href="https://doi.org/10.5244/c.31.85">10.5244/c.31.85</a>'
  apa: 'Royer, A., Kolesnikov, A., &#38; Lampert, C. (2017). Probabilistic image colorization
    (p. 85.1-85.12). Presented at the BMVC: British Machine Vision Conference, London,
    United Kingdom: BMVA Press. <a href="https://doi.org/10.5244/c.31.85">https://doi.org/10.5244/c.31.85</a>'
  chicago: Royer, Amélie, Alexander Kolesnikov, and Christoph Lampert. “Probabilistic
    Image Colorization,” 85.1-85.12. BMVA Press, 2017. <a href="https://doi.org/10.5244/c.31.85">https://doi.org/10.5244/c.31.85</a>.
  ieee: 'A. Royer, A. Kolesnikov, and C. Lampert, “Probabilistic image colorization,”
    presented at the BMVC: British Machine Vision Conference, London, United Kingdom,
    2017, p. 85.1-85.12.'
  ista: 'Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization.
    BMVC: British Machine Vision Conference, 85.1-85.12.'
  mla: Royer, Amélie, et al. <i>Probabilistic Image Colorization</i>. BMVA Press,
    2017, p. 85.1-85.12, doi:<a href="https://doi.org/10.5244/c.31.85">10.5244/c.31.85</a>.
  short: A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.
conference:
  end_date: 2017-09-07
  location: London, United Kingdom
  name: 'BMVC: British Machine Vision Conference'
  start_date: 2017-09-04
date_created: 2018-12-11T11:49:09Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2023-10-16T10:04:02Z
day: '01'
ddc:
- '000'
department:
- _id: ChLa
doi: 10.5244/c.31.85
ec_funded: 1
external_id:
  arxiv:
  - '1705.04258'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-10T07:14:33Z
  date_updated: 2020-08-10T07:14:33Z
  file_id: '8224'
  file_name: 2017_BMVC_Royer.pdf
  file_size: 1625363
  relation: main_file
  success: 1
file_date_updated: 2020-08-10T07:14:33Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 85.1-85.12
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '308036'
  name: Lifelong Learning of Visual Scene Understanding
publication_identifier:
  eisbn:
  - 190172560X
publication_status: published
publisher: BMVA Press
publist_id: '6532'
quality_controlled: '1'
related_material:
  record:
  - id: '8390'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Probabilistic image colorization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '912'
abstract:
- lang: eng
  text: "We consider a many-body system of fermionic atoms interacting via a local
    pair potential and subject to an external potential within the framework of Bardeen-Cooper-Schrieffer
    (BCS) theory. We measure the free energy of the whole sample with respect to the
    free energy of a reference state which allows us to define a BCS functional with
    boundary conditions at infinity. Our main result is a lower bound for this energy
    functional in terms of expressions that typically appear in Ginzburg-Landau functionals.\r\n"
article_number: '081901'
article_processing_charge: No
author:
- first_name: Andreas
  full_name: Deuchert, Andreas
  id: 4DA65CD0-F248-11E8-B48F-1D18A9856A87
  last_name: Deuchert
  orcid: 0000-0003-3146-6746
citation:
  ama: Deuchert A. A lower bound for the BCS functional with boundary conditions at
    infinity. <i> Journal of Mathematical Physics</i>. 2017;58(8). doi:<a href="https://doi.org/10.1063/1.4996580">10.1063/1.4996580</a>
  apa: Deuchert, A. (2017). A lower bound for the BCS functional with boundary conditions
    at infinity. <i> Journal of Mathematical Physics</i>. AIP Publishing. <a href="https://doi.org/10.1063/1.4996580">https://doi.org/10.1063/1.4996580</a>
  chicago: Deuchert, Andreas. “A Lower Bound for the BCS Functional with Boundary
    Conditions at Infinity.” <i> Journal of Mathematical Physics</i>. AIP Publishing,
    2017. <a href="https://doi.org/10.1063/1.4996580">https://doi.org/10.1063/1.4996580</a>.
  ieee: A. Deuchert, “A lower bound for the BCS functional with boundary conditions
    at infinity,” <i> Journal of Mathematical Physics</i>, vol. 58, no. 8. AIP Publishing,
    2017.
  ista: Deuchert A. 2017. A lower bound for the BCS functional with boundary conditions
    at infinity.  Journal of Mathematical Physics. 58(8), 081901.
  mla: Deuchert, Andreas. “A Lower Bound for the BCS Functional with Boundary Conditions
    at Infinity.” <i> Journal of Mathematical Physics</i>, vol. 58, no. 8, 081901,
    AIP Publishing, 2017, doi:<a href="https://doi.org/10.1063/1.4996580">10.1063/1.4996580</a>.
  short: A. Deuchert,  Journal of Mathematical Physics 58 (2017).
date_created: 2018-12-11T11:49:10Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2024-02-28T13:07:56Z
day: '01'
department:
- _id: RoSe
doi: 10.1063/1.4996580
ec_funded: 1
external_id:
  isi:
  - '000409197200015'
intvolume: '        58'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1703.04616
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
publication: ' Journal of Mathematical Physics'
publication_identifier:
  issn:
  - '00222488'
publication_status: published
publisher: AIP Publishing
publist_id: '6531'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A lower bound for the BCS functional with boundary conditions at infinity
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 58
year: '2017'
...
---
_id: '914'
abstract:
- lang: eng
  text: Infections with potentially lethal pathogens may negatively affect an individual’s
    lifespan and decrease its reproductive value. The terminal investment hypothesis
    predicts that individuals faced with a reduced survival should invest more into
    reproduction instead of maintenance and growth. Several studies suggest that individuals
    are indeed able to estimate their body condition and to increase their reproductive
    effort with approaching death, while other studies gave ambiguous results. We
    investigate whether queens of a perennial social insect (ant) are able to boost
    their reproduction following infection with an obligate killing pathogen. Social
    insect queens are special with regard to reproduction and aging, as they outlive
    conspecific non-reproductive workers. Moreover, in the ant Cardiocondyla obscurior,
    fecundity increases with queen age. However, it remained unclear whether this
    reflects negative reproductive senescence or terminal investment in response to
    approaching death. Here, we test whether queens of C. obscurior react to infection
    with the entomopathogenic fungus Metarhizium brunneum by an increased egg-laying
    rate. We show that a fungal infection triggers a reinforced investment in reproduction
    in queens. This adjustment of the reproductive rate by ant queens is consistent
    with predictions of the terminal investment hypothesis and is reported for the
    first time in a social insect.
acknowledgement: We thank two anonymous reviewers for helpful suggestions on the manuscript.
article_number: '170547'
article_processing_charge: No
author:
- first_name: Julia
  full_name: Giehr, Julia
  last_name: Giehr
- first_name: Anna V
  full_name: Grasse, Anna V
  id: 406F989C-F248-11E8-B48F-1D18A9856A87
  last_name: Grasse
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
- first_name: Jürgen
  full_name: Heinze, Jürgen
  last_name: Heinze
- first_name: Alexandra
  full_name: Schrempf, Alexandra
  last_name: Schrempf
citation:
  ama: Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. Ant queens increase their
    reproductive efforts after pathogen infection. <i>Royal Society Open Science</i>.
    2017;4(7). doi:<a href="https://doi.org/10.1098/rsos.170547">10.1098/rsos.170547</a>
  apa: Giehr, J., Grasse, A. V., Cremer, S., Heinze, J., &#38; Schrempf, A. (2017).
    Ant queens increase their reproductive efforts after pathogen infection. <i>Royal
    Society Open Science</i>. Royal Society, The. <a href="https://doi.org/10.1098/rsos.170547">https://doi.org/10.1098/rsos.170547</a>
  chicago: Giehr, Julia, Anna V Grasse, Sylvia Cremer, Jürgen Heinze, and Alexandra
    Schrempf. “Ant Queens Increase Their Reproductive Efforts after Pathogen Infection.”
    <i>Royal Society Open Science</i>. Royal Society, The, 2017. <a href="https://doi.org/10.1098/rsos.170547">https://doi.org/10.1098/rsos.170547</a>.
  ieee: J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Ant queens
    increase their reproductive efforts after pathogen infection,” <i>Royal Society
    Open Science</i>, vol. 4, no. 7. Royal Society, The, 2017.
  ista: Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. 2017. Ant queens increase
    their reproductive efforts after pathogen infection. Royal Society Open Science.
    4(7), 170547.
  mla: Giehr, Julia, et al. “Ant Queens Increase Their Reproductive Efforts after
    Pathogen Infection.” <i>Royal Society Open Science</i>, vol. 4, no. 7, 170547,
    Royal Society, The, 2017, doi:<a href="https://doi.org/10.1098/rsos.170547">10.1098/rsos.170547</a>.
  short: J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, Royal Society Open
    Science 4 (2017).
date_created: 2018-12-11T11:49:10Z
date_published: 2017-07-05T00:00:00Z
date_updated: 2023-09-26T15:45:47Z
day: '05'
ddc:
- '576'
- '592'
department:
- _id: SyCr
doi: 10.1098/rsos.170547
external_id:
  isi:
  - '000406670000025'
file:
- access_level: open_access
  checksum: 351ae5e7a37e6e7d9295cd41146c4190
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:24Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '4684'
  file_name: IST-2017-849-v1+1_2017_Grasse_Cremer_AntQueens.pdf
  file_size: 530412
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '         4'
isi: 1
issue: '7'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: Royal Society Open Science
publication_identifier:
  issn:
  - '20545703'
publication_status: published
publisher: Royal Society, The
publist_id: '6527'
pubrep_id: '849'
quality_controlled: '1'
related_material:
  record:
  - id: '9853'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Ant queens increase their reproductive efforts after pathogen infection
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 4
year: '2017'
...
---
_id: '915'
abstract:
- lang: eng
  text: We propose a dual decomposition and linear program relaxation of the NP-hard
    minimum cost multicut problem. Unlike other polyhedral relaxations of the multicut
    polytope, it is amenable to efficient optimization by message passing. Like other
    polyhedral relaxations, it can be tightened efficiently by cutting planes.  We
    define an algorithm that alternates between message passing and efficient separation
    of cycle- and odd-wheel inequalities. This algorithm is more efficient than state-of-the-art
    algorithms based on linear programming, including algorithms written in the framework
    of leading commercial software, as we show in experiments with large instances
    of the problem from applications in computer vision, biomedical image analysis
    and data mining.
article_processing_charge: No
author:
- first_name: Paul
  full_name: Swoboda, Paul
  id: 446560C6-F248-11E8-B48F-1D18A9856A87
  last_name: Swoboda
- first_name: Bjoern
  full_name: Andres, Bjoern
  last_name: Andres
citation:
  ama: 'Swoboda P, Andres B. A message passing algorithm for the minimum cost multicut
    problem. In: Vol 2017. IEEE; 2017:4990-4999. doi:<a href="https://doi.org/10.1109/CVPR.2017.530">10.1109/CVPR.2017.530</a>'
  apa: 'Swoboda, P., &#38; Andres, B. (2017). A message passing algorithm for the
    minimum cost multicut problem (Vol. 2017, pp. 4990–4999). Presented at the CVPR:
    Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. <a
    href="https://doi.org/10.1109/CVPR.2017.530">https://doi.org/10.1109/CVPR.2017.530</a>'
  chicago: Swoboda, Paul, and Bjoern Andres. “A Message Passing Algorithm for the
    Minimum Cost Multicut Problem,” 2017:4990–99. IEEE, 2017. <a href="https://doi.org/10.1109/CVPR.2017.530">https://doi.org/10.1109/CVPR.2017.530</a>.
  ieee: 'P. Swoboda and B. Andres, “A message passing algorithm for the minimum cost
    multicut problem,” presented at the CVPR: Computer Vision and Pattern Recognition,
    Honolulu, HA, United States, 2017, vol. 2017, pp. 4990–4999.'
  ista: 'Swoboda P, Andres B. 2017. A message passing algorithm for the minimum cost
    multicut problem. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4990–4999.'
  mla: Swoboda, Paul, and Bjoern Andres. <i>A Message Passing Algorithm for the Minimum
    Cost Multicut Problem</i>. Vol. 2017, IEEE, 2017, pp. 4990–99, doi:<a href="https://doi.org/10.1109/CVPR.2017.530">10.1109/CVPR.2017.530</a>.
  short: P. Swoboda, B. Andres, in:, IEEE, 2017, pp. 4990–4999.
conference:
  end_date: 2017-07-26
  location: Honolulu, HA, United States
  name: 'CVPR: Computer Vision and Pattern Recognition'
  start_date: 2017-07-21
date_created: 2018-12-11T11:49:11Z
date_published: 2017-07-01T00:00:00Z
date_updated: 2023-09-26T15:43:27Z
day: '01'
ddc:
- '000'
department:
- _id: VlKo
doi: 10.1109/CVPR.2017.530
ec_funded: 1
external_id:
  isi:
  - '000418371405009'
file:
- access_level: open_access
  checksum: 7e51dacefa693574581a32da3eff63dc
  content_type: application/pdf
  creator: dernst
  date_created: 2019-01-18T12:52:46Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '5849'
  file_name: Swoboda_A_Message_Passing_CVPR_2017_paper.pdf
  file_size: 883264
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '      2017'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 4990-4999
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication_identifier:
  isbn:
  - 978-153860457-1
publication_status: published
publisher: IEEE
publist_id: '6526'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A message passing algorithm for the minimum cost multicut problem
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2017
year: '2017'
...
---
_id: '916'
abstract:
- lang: eng
  text: We study the quadratic assignment problem, in computer vision also known as
    graph matching. Two leading solvers for this problem optimize the Lagrange decomposition
    duals with sub-gradient and dual ascent (also known as message passing) updates.
    We explore this direction further and propose several additional Lagrangean relaxations
    of the graph matching problem along with corresponding algorithms, which are all
    based on a common dual ascent framework. Our extensive empirical evaluation gives
    several theoretical insights and suggests a new state-of-the-art anytime solver
    for the considered problem. Our improvement over state-of-the-art is particularly
    visible on a new dataset with large-scale sparse problem instances containing
    more than 500 graph nodes each.
article_processing_charge: No
author:
- first_name: Paul
  full_name: Swoboda, Paul
  id: 446560C6-F248-11E8-B48F-1D18A9856A87
  last_name: Swoboda
- first_name: Carsten
  full_name: Rother, Carsten
  last_name: Rother
- first_name: Carsten
  full_name: Abu Alhaija, Carsten
  last_name: Abu Alhaija
- first_name: Dagmar
  full_name: Kainmueller, Dagmar
  last_name: Kainmueller
- first_name: Bogdan
  full_name: Savchynskyy, Bogdan
  last_name: Savchynskyy
citation:
  ama: 'Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. A study
    of lagrangean decompositions and dual ascent solvers for graph matching. In: Vol
    2017. IEEE; 2017:7062-7071. doi:<a href="https://doi.org/10.1109/CVPR.2017.747">10.1109/CVPR.2017.747</a>'
  apa: 'Swoboda, P., Rother, C., Abu Alhaija, C., Kainmueller, D., &#38; Savchynskyy,
    B. (2017). A study of lagrangean decompositions and dual ascent solvers for graph
    matching (Vol. 2017, pp. 7062–7071). Presented at the CVPR: Computer Vision and
    Pattern Recognition, Honolulu, HA, United States: IEEE. <a href="https://doi.org/10.1109/CVPR.2017.747">https://doi.org/10.1109/CVPR.2017.747</a>'
  chicago: Swoboda, Paul, Carsten Rother, Carsten Abu Alhaija, Dagmar Kainmueller,
    and Bogdan Savchynskyy. “A Study of Lagrangean Decompositions and Dual Ascent
    Solvers for Graph Matching,” 2017:7062–71. IEEE, 2017. <a href="https://doi.org/10.1109/CVPR.2017.747">https://doi.org/10.1109/CVPR.2017.747</a>.
  ieee: 'P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, and B. Savchynskyy,
    “A study of lagrangean decompositions and dual ascent solvers for graph matching,”
    presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA,
    United States, 2017, vol. 2017, pp. 7062–7071.'
  ista: 'Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. 2017. A
    study of lagrangean decompositions and dual ascent solvers for graph matching.
    CVPR: Computer Vision and Pattern Recognition vol. 2017, 7062–7071.'
  mla: Swoboda, Paul, et al. <i>A Study of Lagrangean Decompositions and Dual Ascent
    Solvers for Graph Matching</i>. Vol. 2017, IEEE, 2017, pp. 7062–71, doi:<a href="https://doi.org/10.1109/CVPR.2017.747">10.1109/CVPR.2017.747</a>.
  short: P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, B. Savchynskyy, in:,
    IEEE, 2017, pp. 7062–7071.
conference:
  end_date: 2017-07-26
  location: Honolulu, HA, United States
  name: 'CVPR: Computer Vision and Pattern Recognition'
  start_date: 2017-07-21
date_created: 2018-12-11T11:49:11Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2023-09-26T15:41:40Z
day: '01'
ddc:
- '000'
department:
- _id: VlKo
doi: 10.1109/CVPR.2017.747
ec_funded: 1
external_id:
  isi:
  - '000418371407018'
file:
- access_level: open_access
  checksum: e38a2740daad1ea178465843b5072906
  content_type: application/pdf
  creator: dernst
  date_created: 2019-01-18T12:49:38Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '5848'
  file_name: 2017_CVPR_Swoboda2.pdf
  file_size: 944332
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '      2017'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 7062-7071
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication_identifier:
  isbn:
  - 978-153860457-1
publication_status: published
publisher: IEEE
publist_id: '6525'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A study of lagrangean decompositions and dual ascent solvers for graph matching
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2017
year: '2017'
...
---
_id: '917'
abstract:
- lang: eng
  text: We  propose  a  general  dual  ascent  framework  for  Lagrangean decomposition
    of combinatorial problems.  Although methods of this type have shown their efficiency
    for a number of problems, so far there was no general algorithm applicable to
    multiple problem types. In this work, we propose such a general algorithm. It
    depends on several parameters, which can be used to optimize its performance in
    each particular setting. We demonstrate efficacy of our method on graph matching
    and multicut problems, where it outperforms state-of-the-art solvers including
    those based on subgradient optimization and off-the-shelf linear programming solvers.
article_processing_charge: No
author:
- first_name: Paul
  full_name: Swoboda, Paul
  id: 446560C6-F248-11E8-B48F-1D18A9856A87
  last_name: Swoboda
- first_name: Jan
  full_name: Kuske, Jan
  last_name: Kuske
- first_name: Bogdan
  full_name: Savchynskyy, Bogdan
  last_name: Savchynskyy
citation:
  ama: 'Swoboda P, Kuske J, Savchynskyy B. A dual ascent framework for Lagrangean
    decomposition of combinatorial problems. In: Vol 2017. IEEE; 2017:4950-4960. doi:<a
    href="https://doi.org/10.1109/CVPR.2017.526">10.1109/CVPR.2017.526</a>'
  apa: 'Swoboda, P., Kuske, J., &#38; Savchynskyy, B. (2017). A dual ascent framework
    for Lagrangean decomposition of combinatorial problems (Vol. 2017, pp. 4950–4960).
    Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA,
    United States: IEEE. <a href="https://doi.org/10.1109/CVPR.2017.526">https://doi.org/10.1109/CVPR.2017.526</a>'
  chicago: Swoboda, Paul, Jan Kuske, and Bogdan Savchynskyy. “A Dual Ascent Framework
    for Lagrangean Decomposition of Combinatorial Problems,” 2017:4950–60. IEEE, 2017.
    <a href="https://doi.org/10.1109/CVPR.2017.526">https://doi.org/10.1109/CVPR.2017.526</a>.
  ieee: 'P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean
    decomposition of combinatorial problems,” presented at the CVPR: Computer Vision
    and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.'
  ista: 'Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean
    decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition
    vol. 2017, 4950–4960.'
  mla: Swoboda, Paul, et al. <i>A Dual Ascent Framework for Lagrangean Decomposition
    of Combinatorial Problems</i>. Vol. 2017, IEEE, 2017, pp. 4950–60, doi:<a href="https://doi.org/10.1109/CVPR.2017.526">10.1109/CVPR.2017.526</a>.
  short: P. Swoboda, J. Kuske, B. Savchynskyy, in:, IEEE, 2017, pp. 4950–4960.
conference:
  end_date: 2017-07-26
  location: Honolulu, HA, United States
  name: 'CVPR: Computer Vision and Pattern Recognition'
  start_date: 2017-07-21
date_created: 2018-12-11T11:49:11Z
date_published: 2017-07-01T00:00:00Z
date_updated: 2023-09-26T15:41:11Z
day: '01'
ddc:
- '000'
department:
- _id: VlKo
doi: 10.1109/CVPR.2017.526
ec_funded: 1
external_id:
  isi:
  - '000418371405005'
file:
- access_level: open_access
  checksum: 72fd291046bd8e5717961bd68f6b6f03
  content_type: application/pdf
  creator: dernst
  date_created: 2019-01-18T12:45:55Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '5847'
  file_name: 2017_CVPR_Swoboda.pdf
  file_size: 898652
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '      2017'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 4950-4960
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication_identifier:
  isbn:
  - 978-153860457-1
publication_status: published
publisher: IEEE
publist_id: '6524'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A dual ascent framework for Lagrangean decomposition of combinatorial problems
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2017
year: '2017'
...
---
_id: '938'
abstract:
- lang: eng
  text: The thesis encompasses several topics of plant cell biology which were studied
    in the model plant Arabidopsis thaliana. Chapter 1 concerns the plant hormone
    auxin and its polar transport through cells and tissues. The highly controlled,
    directional transport of auxin is facilitated by plasma membrane-localized transporters.
    Transporters from the PIN family direct auxin transport due to their polarized
    localizations at cell membranes. Substantial effort has been put into research
    on cellular trafficking of PIN proteins, which is thought to underlie their polar
    distribution. I participated in a forward genetic screen aimed at identifying
    novel regulators of PIN polarity. The screen yielded several genes which may be
    involved in PIN polarity regulation or participate in polar auxin transport by
    other means. Chapter 2 focuses on the endomembrane system, with particular attention
    to clathrin-mediated endocytosis. The project started with identification of several
    proteins that interact with clathrin light chains. Among them, I focused on two
    putative homologues of auxilin, which in non-plant systems is an endocytotic factor
    known for uncoating clathrin-coated vesicles in the final step of endocytosis.
    The body of my work consisted of an in-depth characterization of transgenic A.
    thaliana lines overexpressing these putative auxilins in an inducible manner.
    Overexpression of these proteins leads to an inhibition of endocytosis, as documented
    by imaging of cargoes and clathrin-related endocytic machinery. An extension of
    this work is an investigation into a concept of homeostatic regulation acting
    between distinct transport processes in the endomembrane system. With auxilin
    overexpressing lines, where endocytosis is blocked specifically, I made observations
    on the mutual relationship between two opposite trafficking processes of secretion
    and endocytosis. In Chapter 3, I analyze cortical microtubule arrays and their
    relationship to auxin signaling and polarized growth in elongating cells. In plants,
    microtubules are organized into arrays just below the plasma membrane, and it
    is thought that their function is to guide membrane-docked cellulose synthase
    complexes. These, in turn, influence cell wall structure and cell shape by directed
    deposition of cellulose fibres. In elongating cells, cortical microtubule arrays
    are able to reorient in relation to long cell axis, and these reorientations have
    been linked to cell growth and to signaling of growth-regulating factors such
    as auxin or light. In this chapter, I am addressing the causal relationship between
    microtubule array reorientation, growth, and auxin signaling. I arrive at a model
    where array reorientation is not guided by auxin directly, but instead is only
    controlled by growth, which, in turn, is regulated by auxin.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Maciek
  full_name: Adamowski, Maciek
  id: 45F536D2-F248-11E8-B48F-1D18A9856A87
  last_name: Adamowski
  orcid: 0000-0001-6463-5257
citation:
  ama: Adamowski M. Investigations into cell polarity and trafficking in the plant
    model Arabidopsis thaliana . 2017. doi:<a href="https://doi.org/10.15479/AT:ISTA:th_842">10.15479/AT:ISTA:th_842</a>
  apa: Adamowski, M. (2017). <i>Investigations into cell polarity and trafficking
    in the plant model Arabidopsis thaliana </i>. Institute of Science and Technology
    Austria. <a href="https://doi.org/10.15479/AT:ISTA:th_842">https://doi.org/10.15479/AT:ISTA:th_842</a>
  chicago: Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in
    the Plant Model Arabidopsis Thaliana .” Institute of Science and Technology Austria,
    2017. <a href="https://doi.org/10.15479/AT:ISTA:th_842">https://doi.org/10.15479/AT:ISTA:th_842</a>.
  ieee: M. Adamowski, “Investigations into cell polarity and trafficking in the plant
    model Arabidopsis thaliana ,” Institute of Science and Technology Austria, 2017.
  ista: Adamowski M. 2017. Investigations into cell polarity and trafficking in the
    plant model Arabidopsis thaliana . Institute of Science and Technology Austria.
  mla: Adamowski, Maciek. <i>Investigations into Cell Polarity and Trafficking in
    the Plant Model Arabidopsis Thaliana </i>. Institute of Science and Technology
    Austria, 2017, doi:<a href="https://doi.org/10.15479/AT:ISTA:th_842">10.15479/AT:ISTA:th_842</a>.
  short: M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant
    Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
date_created: 2018-12-11T11:49:18Z
date_published: 2017-06-02T00:00:00Z
date_updated: 2023-09-07T12:06:09Z
day: '02'
ddc:
- '581'
- '583'
- '580'
degree_awarded: PhD
department:
- _id: JiFr
doi: 10.15479/AT:ISTA:th_842
file:
- access_level: closed
  checksum: 193425764d9aaaed3ac57062a867b315
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: dernst
  date_created: 2019-04-05T09:03:20Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '6215'
  file_name: 2017_Adamowski-Thesis_Source.docx
  file_size: 46903863
  relation: source_file
- access_level: open_access
  checksum: df5ab01be81f821e1b958596a1ec8d21
  content_type: application/pdf
  creator: dernst
  date_created: 2019-04-05T09:03:19Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '6216'
  file_name: 2017_Adamowski-Thesis.pdf
  file_size: 8698888
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '117'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '6483'
pubrep_id: '842'
related_material:
  record:
  - id: '1591'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
title: 'Investigations into cell polarity and trafficking in the plant model Arabidopsis
  thaliana '
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2017'
...
---
_id: '939'
abstract:
- lang: eng
  text: We reveal the existence of continuous families of guided single-mode solitons
    in planar waveguides with weakly nonlinear active core and absorbing boundaries.
    Stable propagation of TE and TM-polarized solitons is accompanied by attenuation
    of all other modes, i.e., the waveguide features properties of conservative and
    dissipative systems. If the linear spectrum of the waveguide possesses exceptional
    points, which occurs in the case of TM polarization, an originally focusing (defocusing)
    material nonlinearity may become effectively defocusing (focusing). This occurs
    due to the geometric phase of the carried eigenmode when the surface impedance
    encircles the exceptional point. In its turn, the change of the effective nonlinearity
    ensures the existence of dark (bright) solitons in spite of focusing (defocusing)
    Kerr nonlinearity of the core. The existence of an exceptional point can also
    result in anomalous enhancement of the effective nonlinearity. In terms of practical
    applications, the nonlinearity of the reported waveguide can be manipulated by
    controlling the properties of the absorbing cladding.
article_number: '033905'
article_processing_charge: No
author:
- first_name: Bikashkali
  full_name: Midya, Bikashkali
  id: 456187FC-F248-11E8-B48F-1D18A9856A87
  last_name: Midya
- first_name: Vladimir
  full_name: Konotop, Vladimir
  last_name: Konotop
citation:
  ama: 'Midya B, Konotop V. Waveguides with absorbing boundaries: Nonlinearity controlled
    by an exceptional point and solitons. <i>Physical Review Letters</i>. 2017;119(3).
    doi:<a href="https://doi.org/10.1103/PhysRevLett.119.033905">10.1103/PhysRevLett.119.033905</a>'
  apa: 'Midya, B., &#38; Konotop, V. (2017). Waveguides with absorbing boundaries:
    Nonlinearity controlled by an exceptional point and solitons. <i>Physical Review
    Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.119.033905">https://doi.org/10.1103/PhysRevLett.119.033905</a>'
  chicago: 'Midya, Bikashkali, and Vladimir Konotop. “Waveguides with Absorbing Boundaries:
    Nonlinearity Controlled by an Exceptional Point and Solitons.” <i>Physical Review
    Letters</i>. American Physical Society, 2017. <a href="https://doi.org/10.1103/PhysRevLett.119.033905">https://doi.org/10.1103/PhysRevLett.119.033905</a>.'
  ieee: 'B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity
    controlled by an exceptional point and solitons,” <i>Physical Review Letters</i>,
    vol. 119, no. 3. American Physical Society, 2017.'
  ista: 'Midya B, Konotop V. 2017. Waveguides with absorbing boundaries: Nonlinearity
    controlled by an exceptional point and solitons. Physical Review Letters. 119(3),
    033905.'
  mla: 'Midya, Bikashkali, and Vladimir Konotop. “Waveguides with Absorbing Boundaries:
    Nonlinearity Controlled by an Exceptional Point and Solitons.” <i>Physical Review
    Letters</i>, vol. 119, no. 3, 033905, American Physical Society, 2017, doi:<a
    href="https://doi.org/10.1103/PhysRevLett.119.033905">10.1103/PhysRevLett.119.033905</a>.'
  short: B. Midya, V. Konotop, Physical Review Letters 119 (2017).
date_created: 2018-12-11T11:49:18Z
date_published: 2017-07-18T00:00:00Z
date_updated: 2023-09-26T15:39:46Z
day: '18'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.119.033905
ec_funded: 1
external_id:
  isi:
  - '000405718200012'
intvolume: '       119'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: 'https://arxiv.org/abs/1706.04085 '
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Physical Review Letters
publication_identifier:
  issn:
  - '00319007'
publication_status: published
publisher: American Physical Society
publist_id: '6481'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional
  point and solitons'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 119
year: '2017'
...
---
_id: '941'
abstract:
- lang: eng
  text: 'Recently there has been a proliferation of automated program repair (APR)
    techniques, targeting various programming languages. Such techniques can be generally
    classified into two families: syntactic- and semantics-based. Semantics-based
    APR, on which we focus, typically uses symbolic execution to infer semantic constraints
    and then program synthesis to construct repairs conforming to them. While syntactic-based
    APR techniques have been shown successful on bugs in real-world programs written
    in both C and Java, semantics-based APR techniques mostly target C programs. This
    leaves empirical comparisons of the APR families not fully explored, and developers
    without a Java-based semantics APR technique. We present JFix, a semantics-based
    APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented
    atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs.
    It extends one particular APR technique (Angelix), and is designed to be sufficiently
    generic to support a variety of such techniques. We demonstrate that semantics-based
    APR can indeed efficiently and effectively repair a variety of classes of bugs
    in large real-world Java programs. This supports our claim that the framework
    can both support developers seeking semantics-based repair of bugs in Java programs,
    as well as enable larger scale empirical studies comparing syntactic- and semantics-based
    APR targeting Java. The demonstration of our tool is available via the project
    website at: https://xuanbachle.github.io/semanticsrepair/ '
author:
- first_name: Xuan
  full_name: Le, Xuan
  last_name: Le
- first_name: Duc Hiep
  full_name: Chu, Duc Hiep
  id: 3598E630-F248-11E8-B48F-1D18A9856A87
  last_name: Chu
- first_name: David
  full_name: Lo, David
  last_name: Lo
- first_name: Claire
  full_name: Le Goues, Claire
  last_name: Le Goues
- first_name: Willem
  full_name: Visser, Willem
  last_name: Visser
citation:
  ama: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of
    Java programs via symbolic  PathFinder. In: <i>Proceedings of the 26th ACM SIGSOFT
    International Symposium on Software Testing and Analysis</i>. ACM; 2017:376-379.
    doi:<a href="https://doi.org/10.1145/3092703.3098225">10.1145/3092703.3098225</a>'
  apa: 'Le, X., Chu, D. H., Lo, D., Le Goues, C., &#38; Visser, W. (2017). JFIX: Semantics-based
    repair of Java programs via symbolic  PathFinder. In <i>Proceedings of the 26th
    ACM SIGSOFT International Symposium on Software Testing and Analysis</i> (pp.
    376–379). Santa Barbara, CA, United States: ACM. <a href="https://doi.org/10.1145/3092703.3098225">https://doi.org/10.1145/3092703.3098225</a>'
  chicago: 'Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
    “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.” In <i>Proceedings
    of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>,
    376–79. ACM, 2017. <a href="https://doi.org/10.1145/3092703.3098225">https://doi.org/10.1145/3092703.3098225</a>.'
  ieee: 'X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based
    repair of Java programs via symbolic  PathFinder,” in <i>Proceedings of the 26th
    ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, Santa
    Barbara, CA, United States, 2017, pp. 376–379.'
  ista: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. JFIX: Semantics-based repair
    of Java programs via symbolic  PathFinder. Proceedings of the 26th ACM SIGSOFT
    International Symposium on Software Testing and Analysis. ISSTA: International
    Symposium on Software Testing and Analysis, 376–379.'
  mla: 'Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic 
    PathFinder.” <i>Proceedings of the 26th ACM SIGSOFT International Symposium on
    Software Testing and Analysis</i>, ACM, 2017, pp. 376–79, doi:<a href="https://doi.org/10.1145/3092703.3098225">10.1145/3092703.3098225</a>.'
  short: X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th
    ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017,
    pp. 376–379.
conference:
  end_date: 2017-07-14
  location: Santa Barbara, CA, United States
  name: 'ISSTA: International Symposium on Software Testing and Analysis'
  start_date: 2017-07-10
date_created: 2018-12-11T11:49:19Z
date_published: 2017-07-10T00:00:00Z
date_updated: 2021-01-12T08:22:05Z
day: '10'
department:
- _id: ToHe
doi: 10.1145/3092703.3098225
language:
- iso: eng
month: '07'
oa_version: None
page: '376 - 379 '
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the 26th ACM SIGSOFT International Symposium on Software
  Testing and Analysis
publication_status: published
publisher: ACM
publist_id: '6478'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'JFIX: Semantics-based repair of Java programs via symbolic  PathFinder'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '942'
abstract:
- lang: eng
  text: 'A notable class of techniques for automatic program repair is known as semantics-based.
    Such techniques, e.g., Angelix, infer semantic specifications via symbolic execution,
    and then use program synthesis to construct new code that satisfies those inferred
    specifications. However, the obtained specifications are naturally incomplete,
    leaving the synthesis engine with a difficult task of synthesizing a general solution
    from a sparse space of many possible solutions that are consistent with the provided
    specifications but that do not necessarily generalize. We present S3, a new repair
    synthesis engine that leverages programming-by-examples methodology to synthesize
    high-quality bug repairs. The novelty in S3 that allows it to tackle the sparse
    search space to create more general repairs is three-fold: (1) A systematic way
    to customize and constrain the syntactic search space via a domain-specific language,
    (2) An efficient enumeration-based search strategy over the constrained search
    space, and (3) A number of ranking features based on measures of the syntactic
    and semantic distances between candidate solutions and the original buggy program.
    We compare S3’s repair effectiveness with state-of-the-art synthesis engines Angelix,
    Enumerative, and CVC4. S3 can successfully and correctly fix at least three times
    more bugs than the best baseline on datasets of 52 bugs in small programs, and
    100 bugs in real-world large programs. '
article_processing_charge: No
author:
- first_name: Xuan
  full_name: Le, Xuan
  last_name: Le
- first_name: Duc Hiep
  full_name: Chu, Duc Hiep
  id: 3598E630-F248-11E8-B48F-1D18A9856A87
  last_name: Chu
- first_name: David
  full_name: Lo, David
  last_name: Lo
- first_name: Claire
  full_name: Le Goues, Claire
  last_name: Le Goues
- first_name: Willem
  full_name: Visser, Willem
  last_name: Visser
citation:
  ama: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided
    repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604.
    doi:<a href="https://doi.org/10.1145/3106237.3106309">10.1145/3106237.3106309</a>'
  apa: 'Le, X., Chu, D. H., Lo, D., Le Goues, C., &#38; Visser, W. (2017). S3: Syntax-
    and semantic-guided repair synthesis via programming by examples (Vol. F130154,
    pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn,
    Germany: ACM. <a href="https://doi.org/10.1145/3106237.3106309">https://doi.org/10.1145/3106237.3106309</a>'
  chicago: 'Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
    “S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,”
    F130154:593–604. ACM, 2017. <a href="https://doi.org/10.1145/3106237.3106309">https://doi.org/10.1145/3106237.3106309</a>.'
  ieee: 'X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided
    repair synthesis via programming by examples,” presented at the FSE: Foundations
    of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.'
  ista: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. S3: Syntax- and semantic-guided
    repair synthesis via programming by examples. FSE: Foundations of Software Engineering
    vol. F130154, 593–604.'
  mla: 'Le, Xuan, et al. <i>S3: Syntax- and Semantic-Guided Repair Synthesis via Programming
    by Examples</i>. Vol. F130154, ACM, 2017, pp. 593–604, doi:<a href="https://doi.org/10.1145/3106237.3106309">10.1145/3106237.3106309</a>.'
  short: X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
conference:
  end_date: 2017-09-08
  location: Paderborn, Germany
  name: 'FSE: Foundations of Software Engineering'
  start_date: 2017-09-04
date_created: 2018-12-11T11:49:19Z
date_published: 2017-09-01T00:00:00Z
date_updated: 2023-09-26T15:38:36Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/3106237.3106309
external_id:
  isi:
  - '000414279300055'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 593 - 604
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication_identifier:
  isbn:
  - 978-145035105-8
publication_status: published
publisher: ACM
publist_id: '6477'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'S3: Syntax- and semantic-guided repair synthesis via programming by examples'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: F130154
year: '2017'
...
---
_id: '943'
abstract:
- lang: eng
  text: Like many developing tissues, the vertebrate neural tube is patterned by antiparallel
    morphogen gradients. To understand how these inputs are interpreted, we measured
    morphogen signaling and target gene expression in mouse embryos and chick ex vivo
    assays. From these data, we derived and validated a characteristic decoding map
    that relates morphogen input to the positional identity of neural progenitors.
    Analysis of the observed responses indicates that the underlying interpretation
    strategy minimizes patterning errors in response to the joint input of noisy opposing
    gradients. We reverse-engineered a transcriptional network that provides a mechanistic
    basis for the observed cell fate decisions and accounts for the precision and
    dynamics of pattern formation. Together, our data link opposing gradient dynamics
    in a growing tissue to precise pattern formation.
article_processing_charge: No
author:
- first_name: Marcin P
  full_name: Zagórski, Marcin P
  id: 343DA0DC-F248-11E8-B48F-1D18A9856A87
  last_name: Zagórski
  orcid: 0000-0001-7896-7762
- first_name: Yoji
  full_name: Tabata, Yoji
  last_name: Tabata
- first_name: Nathalie
  full_name: Brandenberg, Nathalie
  last_name: Brandenberg
- first_name: Matthias
  full_name: Lutolf, Matthias
  last_name: Lutolf
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
- first_name: Tobias
  full_name: Bollenbach, Tobias
  last_name: Bollenbach
- first_name: James
  full_name: Briscoe, James
  last_name: Briscoe
- first_name: Anna
  full_name: Kicheva, Anna
  id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
  last_name: Kicheva
  orcid: 0000-0003-4509-4998
citation:
  ama: Zagórski MP, Tabata Y, Brandenberg N, et al. Decoding of position in the developing
    neural tube from antiparallel morphogen gradients. <i>Science</i>. 2017;356(6345):1379-1383.
    doi:<a href="https://doi.org/10.1126/science.aam5887">10.1126/science.aam5887</a>
  apa: Zagórski, M. P., Tabata, Y., Brandenberg, N., Lutolf, M., Tkačik, G., Bollenbach,
    T., … Kicheva, A. (2017). Decoding of position in the developing neural tube from
    antiparallel morphogen gradients. <i>Science</i>. American Association for the
    Advancement of Science. <a href="https://doi.org/10.1126/science.aam5887">https://doi.org/10.1126/science.aam5887</a>
  chicago: Zagórski, Marcin P, Yoji Tabata, Nathalie Brandenberg, Matthias Lutolf,
    Gašper Tkačik, Tobias Bollenbach, James Briscoe, and Anna Kicheva. “Decoding of
    Position in the Developing Neural Tube from Antiparallel Morphogen Gradients.”
    <i>Science</i>. American Association for the Advancement of Science, 2017. <a
    href="https://doi.org/10.1126/science.aam5887">https://doi.org/10.1126/science.aam5887</a>.
  ieee: M. P. Zagórski <i>et al.</i>, “Decoding of position in the developing neural
    tube from antiparallel morphogen gradients,” <i>Science</i>, vol. 356, no. 6345.
    American Association for the Advancement of Science, pp. 1379–1383, 2017.
  ista: Zagórski MP, Tabata Y, Brandenberg N, Lutolf M, Tkačik G, Bollenbach T, Briscoe
    J, Kicheva A. 2017. Decoding of position in the developing neural tube from antiparallel
    morphogen gradients. Science. 356(6345), 1379–1383.
  mla: Zagórski, Marcin P., et al. “Decoding of Position in the Developing Neural
    Tube from Antiparallel Morphogen Gradients.” <i>Science</i>, vol. 356, no. 6345,
    American Association for the Advancement of Science, 2017, pp. 1379–83, doi:<a
    href="https://doi.org/10.1126/science.aam5887">10.1126/science.aam5887</a>.
  short: M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach,
    J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
date_created: 2018-12-11T11:49:20Z
date_published: 2017-06-30T00:00:00Z
date_updated: 2023-09-26T15:38:05Z
day: '30'
department:
- _id: AnKi
- _id: GaTk
doi: 10.1126/science.aam5887
ec_funded: 1
external_id:
  isi:
  - '000404351500036'
  pmid:
  - '28663499'
intvolume: '       356'
isi: 1
issue: '6345'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5568706/
month: '06'
oa: 1
oa_version: Submitted Version
page: 1379 - 1383
pmid: 1
project:
- _id: 254E9036-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28844-B27
  name: Biophysics of information processing in gene regulation
- _id: B6FC0238-B512-11E9-945C-1524E6697425
  call_identifier: H2020
  grant_number: '680037'
  name: Coordination of Patterning And Growth In the Spinal Cord
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
- _id: 2524F500-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '201439'
  name: Developing High-Throughput Bioassays for Human Cancers in Zebrafish
publication: Science
publication_identifier:
  issn:
  - '00368075'
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '6474'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Decoding of position in the developing neural tube from antiparallel morphogen
  gradients
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 356
year: '2017'
...
---
_id: '944'
abstract:
- lang: eng
  text: The concerted production of neurons and glia by neural stem cells (NSCs) is
    essential for neural circuit assembly. In the developing cerebral cortex, radial
    glia progenitors (RGPs) generate nearly all neocortical neurons and certain glia
    lineages. RGP proliferation behavior shows a high degree of non-stochasticity,
    thus a deterministic characteristic of neuron and glia production. However, the
    cellular and molecular mechanisms controlling RGP behavior and proliferation dynamics
    in neurogenesis and glia generation remain unknown. By using mosaic analysis with
    double markers (MADM)-based genetic paradigms enabling the sparse and global knockout
    with unprecedented single-cell resolution, we identified Lgl1 as a critical regulatory
    component. We uncover Lgl1-dependent tissue-wide community effects required for
    embryonic cortical neurogenesis and novel cell-autonomous Lgl1 functions controlling
    RGP-mediated glia genesis and postnatal NSC behavior. These results suggest that
    NSC-mediated neuron and glia production is tightly regulated through the concerted
    interplay of sequential Lgl1-dependent global and cell intrinsic mechanisms.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
article_processing_charge: No
author:
- first_name: Robert J
  full_name: Beattie, Robert J
  id: 2E26DF60-F248-11E8-B48F-1D18A9856A87
  last_name: Beattie
  orcid: 0000-0002-8483-8753
- first_name: Maria P
  full_name: Postiglione, Maria P
  id: 2C67902A-F248-11E8-B48F-1D18A9856A87
  last_name: Postiglione
- first_name: Laura
  full_name: Burnett, Laura
  id: 3B717F68-F248-11E8-B48F-1D18A9856A87
  last_name: Burnett
  orcid: 0000-0002-8937-410X
- first_name: Susanne
  full_name: Laukoter, Susanne
  id: 2D6B7A9A-F248-11E8-B48F-1D18A9856A87
  last_name: Laukoter
  orcid: 0000-0002-7903-3010
- first_name: Carmen
  full_name: Streicher, Carmen
  id: 36BCB99C-F248-11E8-B48F-1D18A9856A87
  last_name: Streicher
- first_name: Florian
  full_name: Pauler, Florian
  id: 48EA0138-F248-11E8-B48F-1D18A9856A87
  last_name: Pauler
  orcid: 0000-0002-7462-0048
- first_name: Guanxi
  full_name: Xiao, Guanxi
  last_name: Xiao
- first_name: Olga
  full_name: Klezovitch, Olga
  last_name: Klezovitch
- first_name: Valeri
  full_name: Vasioukhin, Valeri
  last_name: Vasioukhin
- first_name: Troy
  full_name: Ghashghaei, Troy
  last_name: Ghashghaei
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
citation:
  ama: Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers
    reveals distinct sequential functions of Lgl1 in neural stem cells. <i>Neuron</i>.
    2017;94(3):517-533.e3. doi:<a href="https://doi.org/10.1016/j.neuron.2017.04.012">10.1016/j.neuron.2017.04.012</a>
  apa: Beattie, R. J., Postiglione, M. P., Burnett, L., Laukoter, S., Streicher, C.,
    Pauler, F., … Hippenmeyer, S. (2017). Mosaic analysis with double markers reveals
    distinct sequential functions of Lgl1 in neural stem cells. <i>Neuron</i>. Cell
    Press. <a href="https://doi.org/10.1016/j.neuron.2017.04.012">https://doi.org/10.1016/j.neuron.2017.04.012</a>
  chicago: Beattie, Robert J, Maria P Postiglione, Laura Burnett, Susanne Laukoter,
    Carmen Streicher, Florian Pauler, Guanxi Xiao, et al. “Mosaic Analysis with Double
    Markers Reveals Distinct Sequential Functions of Lgl1 in Neural Stem Cells.” <i>Neuron</i>.
    Cell Press, 2017. <a href="https://doi.org/10.1016/j.neuron.2017.04.012">https://doi.org/10.1016/j.neuron.2017.04.012</a>.
  ieee: R. J. Beattie <i>et al.</i>, “Mosaic analysis with double markers reveals
    distinct sequential functions of Lgl1 in neural stem cells,” <i>Neuron</i>, vol.
    94, no. 3. Cell Press, p. 517–533.e3, 2017.
  ista: Beattie RJ, Postiglione MP, Burnett L, Laukoter S, Streicher C, Pauler F,
    Xiao G, Klezovitch O, Vasioukhin V, Ghashghaei T, Hippenmeyer S. 2017. Mosaic
    analysis with double markers reveals distinct sequential functions of Lgl1 in
    neural stem cells. Neuron. 94(3), 517–533.e3.
  mla: Beattie, Robert J., et al. “Mosaic Analysis with Double Markers Reveals Distinct
    Sequential Functions of Lgl1 in Neural Stem Cells.” <i>Neuron</i>, vol. 94, no.
    3, Cell Press, 2017, p. 517–533.e3, doi:<a href="https://doi.org/10.1016/j.neuron.2017.04.012">10.1016/j.neuron.2017.04.012</a>.
  short: R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F.
    Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer,
    Neuron 94 (2017) 517–533.e3.
date_created: 2018-12-11T11:49:20Z
date_published: 2017-05-03T00:00:00Z
date_updated: 2023-09-26T15:37:02Z
day: '03'
department:
- _id: SiHi
- _id: MaJö
doi: 10.1016/j.neuron.2017.04.012
ec_funded: 1
external_id:
  isi:
  - '000400466700011'
intvolume: '        94'
isi: 1
issue: '3'
language:
- iso: eng
month: '05'
oa_version: None
page: 517 - 533.e3
project:
- _id: 25D61E48-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '618444'
  name: Molecular Mechanisms of Cerebral Cortex Development
- _id: 25D7962E-B435-11E9-9278-68D0E5697425
  grant_number: RGP0053/2014
  name: Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal
    Level
publication: Neuron
publication_identifier:
  issn:
  - '08966273'
publication_status: published
publisher: Cell Press
publist_id: '6473'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mosaic analysis with double markers reveals distinct sequential functions of
  Lgl1 in neural stem cells
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 94
year: '2017'
...
---
_id: '9445'
abstract:
- lang: eng
  text: Cytosine methylation regulates essential genome functions across eukaryotes,
    but the fundamental question of whether nucleosomal or naked DNA is the preferred
    substrate of plant and animal methyltransferases remains unresolved. Here, we
    show that genetic inactivation of a single DDM1/Lsh family nucleosome remodeler
    biases methylation toward inter-nucleosomal linker DNA in Arabidopsis thaliana
    and mouse. We find that DDM1 enables methylation of DNA bound to the nucleosome,
    suggesting that nucleosome-free DNA is the preferred substrate of eukaryotic methyltransferases
    in vivo. Furthermore, we show that simultaneous mutation of DDM1 and linker histone
    H1 in Arabidopsis reproduces the strong linker-specific methylation patterns of
    species that diverged from flowering plants and animals over a billion years ago.
    Our results indicate that in the absence of remodeling, nucleosomes are strong
    barriers to DNA methyltransferases. Linker-specific methylation can evolve simply
    by breaking the connection between nucleosome remodeling and DNA methylation.
article_number: e30674
article_processing_charge: No
article_type: original
author:
- first_name: David B
  full_name: Lyons, David B
  last_name: Lyons
- first_name: Daniel
  full_name: Zilberman, Daniel
  id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
  last_name: Zilberman
  orcid: 0000-0002-0123-8649
citation:
  ama: Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped
    in nucleosomes. <i>eLife</i>. 2017;6. doi:<a href="https://doi.org/10.7554/elife.30674">10.7554/elife.30674</a>
  apa: Lyons, D. B., &#38; Zilberman, D. (2017). DDM1 and Lsh remodelers allow methylation
    of DNA wrapped in nucleosomes. <i>ELife</i>. eLife Sciences Publications. <a href="https://doi.org/10.7554/elife.30674">https://doi.org/10.7554/elife.30674</a>
  chicago: Lyons, David B, and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation
    of DNA Wrapped in Nucleosomes.” <i>ELife</i>. eLife Sciences Publications, 2017.
    <a href="https://doi.org/10.7554/elife.30674">https://doi.org/10.7554/elife.30674</a>.
  ieee: D. B. Lyons and D. Zilberman, “DDM1 and Lsh remodelers allow methylation of
    DNA wrapped in nucleosomes,” <i>eLife</i>, vol. 6. eLife Sciences Publications,
    2017.
  ista: Lyons DB, Zilberman D. 2017. DDM1 and Lsh remodelers allow methylation of
    DNA wrapped in nucleosomes. eLife. 6, e30674.
  mla: Lyons, David B., and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation
    of DNA Wrapped in Nucleosomes.” <i>ELife</i>, vol. 6, e30674, eLife Sciences Publications,
    2017, doi:<a href="https://doi.org/10.7554/elife.30674">10.7554/elife.30674</a>.
  short: D.B. Lyons, D. Zilberman, ELife 6 (2017).
date_created: 2021-06-02T14:28:58Z
date_published: 2017-11-15T00:00:00Z
date_updated: 2021-12-14T07:54:36Z
day: '15'
ddc:
- '570'
department:
- _id: DaZi
doi: 10.7554/elife.30674
extern: '1'
external_id:
  pmid:
  - '29140247'
file:
- access_level: open_access
  checksum: 4cfcdd67511ae4aed3d993550e46e146
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-06-02T14:33:36Z
  date_updated: 2021-06-02T14:33:36Z
  file_id: '9446'
  file_name: 2017_eLife_Lyons.pdf
  file_size: 1603102
  relation: main_file
  success: 1
file_date_updated: 2021-06-02T14:33:36Z
has_accepted_license: '1'
intvolume: '         6'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: eLife
publication_identifier:
  eissn:
  - 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 6
year: '2017'
...
---
_id: '945'
abstract:
- lang: eng
  text: While chromosome-wide dosage compensation of the X chromosome has been found
    in many species, studies in ZW clades have indicated that compensation of the
    Z is more localized and/or incomplete. In the ZW Lepidoptera, some species show
    complete compensation of the Z chromosome, while others lack full equalization,
    but what drives these inconsistencies is unclear. Here, we compare patterns of
    male and female gene expression on the Z chromosome of two closely related butterfly
    species, Papilio xuthus and Papilio machaon, and in multiple tissues of two moths
    species, Plodia interpunctella and Bombyx mori, which were previously found to
    differ in the extent to which they equalize Z-linked gene expression between the
    sexes. We find that, while some species and tissues seem to have incomplete dosage
    compensation, this is in fact due to the accumulation of male-biased genes and
    the depletion of female-biased genes on the Z chromosome. Once this is accounted
    for, the Z chromosome is fully compensated in all four species, through the up-regulation
    of Z expression in females and in some cases additional down-regulation in males.
    We further find that both sex-biased genes and Z-linked genes have increased rates
    of expression divergence in this clade, and that this can lead to fast shifts
    in patterns of gene expression even between closely related species. Taken together,
    these results show that the uneven distribution of sex-biased genes on sex chromosomes
    can confound conclusions about dosage compensation and that Z chromosome-wide
    dosage compensation is not only possible but ubiquitous among Lepidoptera.
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Ann K
  full_name: Huylmans, Ann K
  id: 4C0A3874-F248-11E8-B48F-1D18A9856A87
  last_name: Huylmans
  orcid: 0000-0001-8871-4961
- first_name: Ariana
  full_name: Macon, Ariana
  id: 2A0848E2-F248-11E8-B48F-1D18A9856A87
  last_name: Macon
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
citation:
  ama: Huylmans AK, Macon A, Vicoso B. Global dosage compensation is ubiquitous in
    Lepidoptera, but counteracted by the masculinization of the Z chromosome. <i>Molecular
    Biology and Evolution</i>. 2017;34(10):2637-2649. doi:<a href="https://doi.org/10.1093/molbev/msx190">10.1093/molbev/msx190</a>
  apa: Huylmans, A. K., Macon, A., &#38; Vicoso, B. (2017). Global dosage compensation
    is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z
    chromosome. <i>Molecular Biology and Evolution</i>. Oxford University Press. <a
    href="https://doi.org/10.1093/molbev/msx190">https://doi.org/10.1093/molbev/msx190</a>
  chicago: Huylmans, Ann K, Ariana Macon, and Beatriz Vicoso. “Global Dosage Compensation
    Is Ubiquitous in Lepidoptera, but Counteracted by the Masculinization of the Z
    Chromosome.” <i>Molecular Biology and Evolution</i>. Oxford University Press,
    2017. <a href="https://doi.org/10.1093/molbev/msx190">https://doi.org/10.1093/molbev/msx190</a>.
  ieee: A. K. Huylmans, A. Macon, and B. Vicoso, “Global dosage compensation is ubiquitous
    in Lepidoptera, but counteracted by the masculinization of the Z chromosome,”
    <i>Molecular Biology and Evolution</i>, vol. 34, no. 10. Oxford University Press,
    pp. 2637–2649, 2017.
  ista: Huylmans AK, Macon A, Vicoso B. 2017. Global dosage compensation is ubiquitous
    in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular
    Biology and Evolution. 34(10), 2637–2649.
  mla: Huylmans, Ann K., et al. “Global Dosage Compensation Is Ubiquitous in Lepidoptera,
    but Counteracted by the Masculinization of the Z Chromosome.” <i>Molecular Biology
    and Evolution</i>, vol. 34, no. 10, Oxford University Press, 2017, pp. 2637–49,
    doi:<a href="https://doi.org/10.1093/molbev/msx190">10.1093/molbev/msx190</a>.
  short: A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017)
    2637–2649.
date_created: 2018-12-11T11:49:20Z
date_published: 2017-07-06T00:00:00Z
date_updated: 2023-09-26T15:36:34Z
day: '06'
ddc:
- '570'
- '576'
department:
- _id: BeVi
doi: 10.1093/molbev/msx190
external_id:
  isi:
  - '000411814800016'
file:
- access_level: open_access
  checksum: 009fd68043211d645ceb9d1de28274f2
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:23Z
  date_updated: 2020-07-14T12:48:15Z
  file_id: '4810'
  file_name: IST-2017-848-v1+1_2017_Vicoso_GlobalDosage.pdf
  file_size: 462863
  relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: '        34'
isi: 1
issue: '10'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 2637 - 2649
project:
- _id: 250ED89C-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28842-B22
  name: Sex chromosome evolution under male- and female- heterogamety
publication: Molecular Biology and Evolution
publication_identifier:
  issn:
  - '07374038'
publication_status: published
publisher: Oxford University Press
publist_id: '6472'
pubrep_id: '848'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by
  the masculinization of the Z chromosome
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 34
year: '2017'
...
