---
_id: '1469'
abstract:
- lang: eng
text: We study connections between the topology of generic character varieties of
fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver
representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities
in tensor products of irreducible characters of finite general linear groups.
acknowledgement: During the preparation of this paper TH was supported by a Royal
Society University Research Fellowship at the University of Oxford. EL was supported
by ANR-09-JCJC-0102-01. FRV was supported by NSF grant DMS-0200605, an FRA from
the University of Texas at Austin, EPSRC grant EP/G027110/1, Visiting Fellowships
at All Souls and Wadham Colleges in Oxford and a Research Scholarship from the Clay
Mathematical Institute.
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Emmanuel
full_name: Letellier, Emmanuel
last_name: Letellier
- first_name: Fernando
full_name: Rodríguez Villegas, Fernando
last_name: Rodríguez Villegas
citation:
ama: Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on
character and quiver varieties II. Advances in Mathematics. 2013;234:85-128.
doi:10.1016/j.aim.2012.10.009
apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic
harmonic analysis on character and quiver varieties II. Advances in Mathematics.
Academic Press. https://doi.org/10.1016/j.aim.2012.10.009
chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic
Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics.
Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009.
ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis
on character and quiver varieties II,” Advances in Mathematics, vol. 234.
Academic Press, pp. 85–128, 2013.
ista: Hausel T, Letellier E, Rodríguez Villegas F. 2013. Arithmetic harmonic analysis
on character and quiver varieties II. Advances in Mathematics. 234, 85–128.
mla: Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver
Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013,
pp. 85–128, doi:10.1016/j.aim.2012.10.009.
short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234
(2013) 85–128.
date_created: 2018-12-11T11:52:12Z
date_published: 2013-02-15T00:00:00Z
date_updated: 2021-01-12T06:50:57Z
day: '15'
doi: 10.1016/j.aim.2012.10.009
extern: 1
intvolume: ' 234'
month: '02'
page: 85 - 128
publication: Advances in Mathematics
publication_status: published
publisher: Academic Press
publist_id: '5724'
quality_controlled: 0
status: public
title: Arithmetic harmonic analysis on character and quiver varieties II
type: journal_article
volume: 234
year: '2013'
...
---
_id: '1470'
abstract:
- lang: eng
text: We show that a natural isomorphism between the rational cohomology groups
of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine
plane minus the axes and the cotangent bundle of an elliptic curve, exchanges
the weight filtration on the first set of cohomology groups with the perverse
Leray filtration associated with a natural fibration on the second set of cohomology
groups. We discuss some associated hard Lefschetz phenomena.
acknowledgement: Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F.
Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca
Migliorini was partially supported by PRIN 2007 project "Spazi di moduli e teoria
di Lie"
author:
- first_name: Mark
full_name: De Cataldo, Mark A
last_name: De Cataldo
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Luca
full_name: Migliorini, Luca
last_name: Migliorini
citation:
ama: De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight
filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities.
2013;7:23-38. doi:10.5427/jsing.2013.7c
apa: De Cataldo, M., Hausel, T., & Migliorini, L. (2013). Exchange between perverse
and weight filtration for the Hilbert schemes of points of two surfaces. Journal
of Singularities. Worldwide Center of Mathematics. https://doi.org/10.5427/jsing.2013.7c
chicago: De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between
Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.”
Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.
ieee: M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and
weight filtration for the Hilbert schemes of points of two surfaces,” Journal
of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.
ista: De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and
weight filtration for the Hilbert schemes of points of two surfaces. Journal of
Singularities. 7, 23–38.
mla: De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for
the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities,
vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
short: M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013)
23–38.
date_created: 2018-12-11T11:52:12Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:50:58Z
day: '01'
doi: 10.5427/jsing.2013.7c
extern: 1
intvolume: ' 7'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1012.2583
month: '01'
oa: 1
page: 23 - 38
publication: Journal of Singularities
publication_status: published
publisher: Worldwide Center of Mathematics
publist_id: '5725'
quality_controlled: 0
status: public
title: Exchange between perverse and weight filtration for the Hilbert schemes of
points of two surfaces
type: journal_article
volume: 7
year: '2013'
...
---
_id: '1307'
abstract:
- lang: eng
text: We prove uniqueness of solutions of the DLSS equation in a class of sufficiently
regular functions. The global weak solutions of the DLSS equation constructed
by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness
of solutions for the quantum drift-diffusion equation, which contains additional
drift and second-order diffusion terms. The results hold in case of periodic or
Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property
of the DLSS operator and sophisticated approximation arguments; we derive a PDE
satisfied by the pointwise square root of the solution, which enables us to exploit
the monotonicity property of the operator.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation
and quantum drift diffusion models. Communications in Partial Differential
Equations. 2013;38(11):2004-2047. doi:10.1080/03605302.2013.823548
apa: Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models. Communications in Partial Differential
Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2013.823548
chicago: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential
Equations. Taylor & Francis, 2013. https://doi.org/10.1080/03605302.2013.823548.
ieee: J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models,” Communications in Partial Differential
Equations, vol. 38, no. 11. Taylor & Francis, pp. 2004–2047, 2013.
ista: Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models. Communications in Partial Differential
Equations. 38(11), 2004–2047.
mla: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential
Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.
short: J.L. Fischer, Communications in Partial Differential Equations 38 (2013)
2004–2047.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1080/03605302.2013.823548
extern: 1
intvolume: ' 38'
issue: '11'
month: '11'
page: 2004 - 2047
publication: Communications in Partial Differential Equations
publication_status: published
publisher: Taylor & Francis
publist_id: '5962'
quality_controlled: 0
status: public
title: Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum
drift diffusion models
type: journal_article
volume: 38
year: '2013'
...
---
_id: '1308'
abstract:
- lang: eng
text: We derive sufficient conditions for advection-driven backward motion of the
free boundary in a chemotaxis model with degenerate mobility. In this model, a
porous-medium-type diffusive term and an advection term are in competition. The
former induces forward motion, the latter may induce backward motion of the free
boundary depending on the direction of advection. We deduce conditions on the
growth of the initial data at the free boundary which ensure that at least initially
the advection term is dominant. This implies local backward motion of the free
boundary provided the advection is (locally) directed appropriately. Our result
is based on a new class of moving test functions and Stampacchia's lemma. As a
by-product of our estimates, we obtain quantitative bounds on the spreading of
the support of solutions for the chemotaxis model and provide a proof for the
finite speed of the support propagation property of solutions.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate
mobility. SIAM Journal on Mathematical Analysis. 2013;45(3):1585-1615.
doi:10.1137/120874291
apa: Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model
with degenerate mobility. SIAM Journal on Mathematical Analysis. Society
for Industrial and Applied Mathematics . https://doi.org/10.1137/120874291
chicago: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis
Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis.
Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120874291.
ieee: J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with
degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no.
3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.
ista: Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model
with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.
mla: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model
with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol.
45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615,
doi:10.1137/120874291.
short: J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1137/120874291
extern: 1
intvolume: ' 45'
issue: '3'
month: '01'
page: 1585 - 1615
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '5963'
quality_controlled: 0
status: public
title: Advection-driven support shrinking in a chemotaxis model with degenerate mobility
type: journal_article
volume: 45
year: '2013'
...
---
_id: '1310'
abstract:
- lang: eng
text: We derive lower bounds on asymptotic support propagation rates for strong
solutions of the Cauchy problem for the thin-film equation. The bounds coincide
up to a constant factor with the previously known upper bounds and thus are sharp.
Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92).
The result is established using weighted backward entropy inequalities with singular
weight functions to yield a differential inequality; combined with some entropy
production estimates, the optimal rate of propagation is obtained. To the best
of our knowledge, these are the first lower bounds on asymptotic support propagation
rates for higher-order nonnegativity-preserving parabolic equations.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Optimal lower bounds on asymptotic support propagation rates for
the thin-film equation. Journal of Differential Equations. 2013;255(10):3127-3149.
doi:10.1016/j.jde.2013.07.028
apa: Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation
rates for the thin-film equation. Journal of Differential Equations. Academic
Press. https://doi.org/10.1016/j.jde.2013.07.028
chicago: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
Rates for the Thin-Film Equation.” Journal of Differential Equations. Academic
Press, 2013. https://doi.org/10.1016/j.jde.2013.07.028.
ieee: J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates
for the thin-film equation,” Journal of Differential Equations, vol. 255,
no. 10. Academic Press, pp. 3127–3149, 2013.
ista: Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates
for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.
mla: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
Rates for the Thin-Film Equation.” Journal of Differential Equations, vol.
255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
short: J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
date_created: 2018-12-11T11:51:18Z
date_published: 2013-11-15T00:00:00Z
date_updated: 2021-01-12T06:49:47Z
day: '15'
doi: 10.1016/j.jde.2013.07.028
extern: 1
intvolume: ' 255'
issue: '10'
month: '11'
page: 3127 - 3149
publication: Journal of Differential Equations
publication_status: published
publisher: Academic Press
publist_id: '5961'
quality_controlled: 0
status: public
title: Optimal lower bounds on asymptotic support propagation rates for the thin-film
equation
type: journal_article
volume: 255
year: '2013'
...
---
_id: '13405'
abstract:
- lang: eng
text: We report a method for preparing electrode–molecule–electrode junctions that
incorporate nonsymmetrical azobenzene dithiols. Our approach is based on sequential
deprotection of thiol moieties originally carrying two different protecting groups.
The azobenzene derivatives retained their switching properties within monolayers
and permitted the photocontrol of electrical conductance.
article_processing_charge: No
article_type: original
author:
- first_name: Tal
full_name: Ely, Tal
last_name: Ely
- first_name: Sanjib
full_name: Das, Sanjib
last_name: Das
- first_name: Wenjie
full_name: Li, Wenjie
last_name: Li
- first_name: Pintu
full_name: Kundu, Pintu
last_name: Kundu
- first_name: Einat
full_name: Tirosh, Einat
last_name: Tirosh
- first_name: David
full_name: Cahen, David
last_name: Cahen
- first_name: Ayelet
full_name: Vilan, Ayelet
last_name: Vilan
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical
azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
apa: Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013).
Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol.
Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0033-1340087
chicago: Ely, Tal, Sanjib Das, Wenjie Li, Pintu Kundu, Einat Tirosh, David Cahen,
Ayelet Vilan, and Rafal Klajn. “Photocontrol of Electrical Conductance with a
Nonsymmetrical Azobenzene Dithiol.” Synlett. Georg Thieme Verlag, 2013.
https://doi.org/10.1055/s-0033-1340087.
ieee: T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical
azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp.
2370–2374, 2013.
ista: Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol
of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18),
2370–2374.
mla: Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical
Azobenzene Dithiol.” Synlett, vol. 24, no. 18, Georg Thieme Verlag, 2013,
pp. 2370–74, doi:10.1055/s-0033-1340087.
short: T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn,
Synlett 24 (2013) 2370–2374.
date_created: 2023-08-01T09:47:17Z
date_published: 2013-10-22T00:00:00Z
date_updated: 2023-08-08T07:47:35Z
day: '22'
doi: 10.1055/s-0033-1340087
extern: '1'
intvolume: ' 24'
issue: '18'
keyword:
- Organic Chemistry
language:
- iso: eng
month: '10'
oa_version: None
page: 2370-2374
publication: Synlett
publication_identifier:
eissn:
- 1437-2096
issn:
- 0936-5214
publication_status: published
publisher: Georg Thieme Verlag
quality_controlled: '1'
scopus_import: '1'
status: public
title: Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2013'
...
---
_id: '13406'
abstract:
- lang: eng
text: Dual-responsive nanoparticles are designed by functionalizing magnetic cores
with light-responsive ligands. These materials respond to both light and magnetic
fields and can be assembled into various higher-order structures, depending on
the relative contributions of these two stimuli.
article_processing_charge: No
article_type: original
author:
- first_name: Sanjib
full_name: Das, Sanjib
last_name: Das
- first_name: Priyadarshi
full_name: Ranjan, Priyadarshi
last_name: Ranjan
- first_name: Pradipta Sankar
full_name: Maiti, Pradipta Sankar
last_name: Maiti
- first_name: Gurvinder
full_name: Singh, Gurvinder
last_name: Singh
- first_name: Gregory
full_name: Leitus, Gregory
last_name: Leitus
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles
and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
apa: Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., & Klajn, R. (2013).
Dual-responsive nanoparticles and their self-assembly. Advanced Materials.
Wiley. https://doi.org/10.1002/adma.201201734
chicago: Das, Sanjib, Priyadarshi Ranjan, Pradipta Sankar Maiti, Gurvinder Singh,
Gregory Leitus, and Rafal Klajn. “Dual-Responsive Nanoparticles and Their Self-Assembly.”
Advanced Materials. Wiley, 2013. https://doi.org/10.1002/adma.201201734.
ieee: S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive
nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no.
3. Wiley, pp. 422–426, 2013.
ista: Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive
nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.
mla: Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.”
Advanced Materials, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:10.1002/adma.201201734.
short: S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials
25 (2013) 422–426.
date_created: 2023-08-01T09:47:30Z
date_published: 2013-01-18T00:00:00Z
date_updated: 2023-08-08T07:49:36Z
day: '18'
doi: 10.1002/adma.201201734
extern: '1'
external_id:
pmid:
- '22933327'
intvolume: ' 25'
issue: '3'
keyword:
- Mechanical Engineering
- Mechanics of Materials
- General Materials Science
language:
- iso: eng
month: '01'
oa_version: None
page: 422-426
pmid: 1
publication: Advanced Materials
publication_identifier:
issn:
- 0935-9648
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dual-responsive nanoparticles and their self-assembly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2013'
...
---
_id: '1374'
abstract:
- lang: eng
text: 'We study two-player zero-sum games over infinite-state graphs equipped with
ωB and finitary conditions. Our first contribution is about the strategy complexity,
i.e the memory required for winning strategies: we prove that over general infinite-state
graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory
suffices for finitary parity games. We then study pushdown games with boundedness
conditions, with two contributions. First we prove a collapse result for pushdown
games with ωB-conditions, implying the decidability of solving these games. Second
we consider pushdown games with finitary parity along with stack boundedness conditions,
and show that solving these games is EXPTIME-complete.'
alternative_title:
- LIPIcs
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Nathanaël
full_name: Fijalkow, Nathanaël
last_name: Fijalkow
citation:
ama: 'Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In:
22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz
International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für
Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181'
apa: 'Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary
conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol.
23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.CSL.2013.181'
chicago: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with
Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic,
23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
ieee: K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,”
in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy,
2013, vol. 23, pp. 181–196.
ista: 'Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions.
22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science
LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.'
mla: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with
Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic,
vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96,
doi:10.4230/LIPIcs.CSL.2013.181.
short: K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer
Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
conference:
end_date: 2013-09-05
location: Torino, Italy
name: 'CSL: Computer Science Logic'
start_date: 203-09-02
date_created: 2018-12-11T11:51:39Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T06:50:14Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CSL.2013.181
ec_funded: 1
file:
- access_level: open_access
checksum: b7091a3866db573c0db5ec486952255e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:38Z
date_updated: 2020-07-14T12:44:47Z
file_id: '5023'
file_name: IST-2016-624-v1+1_ChKr_Infinite-state_games_2013_17.pdf
file_size: 547296
relation: main_file
file_date_updated: 2020-07-14T12:44:47Z
has_accepted_license: '1'
intvolume: ' 23'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: 181 - 196
project:
- _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
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 22nd EACSL Annual Conference on Computer Science Logic
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '5837'
pubrep_id: '624'
quality_controlled: '1'
scopus_import: 1
series_title: Leibniz International Proceedings in Informatics
status: public
title: Infinite-state games with finitary conditions
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: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2013'
...
---
_id: '1376'
abstract:
- lang: eng
text: 'We consider the distributed synthesis problem for temporal logic specifications.
Traditionally, the problem has been studied for LTL, and the previous results
show that the problem is decidable iff there is no information fork in the architecture.
We consider the problem for fragments of LTL and our main results are as follows:
(1) We show that the problem is undecidable for architectures with information
forks even for the fragment of LTL with temporal operators restricted to next
and eventually. (2) For specifications restricted to globally along with non-nested
next operators, we establish decidability (in EXPSPACE) for star architectures
where the processes receive disjoint inputs, whereas we establish undecidability
for architectures containing an information fork-meet structure. (3) Finally,
we consider LTL without the next operator, and establish decidability (NEXPTIME-complete)
for all architectures for a fragment that consists of a set of safety assumptions,
and a set of guarantees where each guarantee is a safety, reachability, or liveness
condition.'
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Jan
full_name: Otop, Jan
id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
last_name: Otop
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis
for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided
Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386'
apa: 'Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013).
Distributed synthesis for LTL fragments. In 13th International Conference on
Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United
States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386'
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis.
“Distributed Synthesis for LTL Fragments.” In 13th International Conference
on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
ieee: K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed
synthesis for LTL fragments,” in 13th International Conference on Formal Methods
in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
ista: 'Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis
for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided
Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.'
mla: Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th
International Conference on Formal Methods in Computer-Aided Design, IEEE,
2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
short: K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International
Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
conference:
end_date: 2013-10-23
location: Portland, OR, United States
name: 'FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2013-10-20
date_created: 2018-12-11T11:51:40Z
date_published: 2013-12-11T00:00:00Z
date_updated: 2023-02-23T12:24:53Z
day: '11'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1109/FMCAD.2013.6679386
ec_funded: 1
language:
- iso: eng
month: '12'
oa_version: None
page: 18 - 25
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 13th International Conference on Formal Methods in Computer-Aided Design
publication_status: published
publisher: IEEE
publist_id: '5835'
quality_controlled: '1'
related_material:
record:
- id: '5406'
relation: earlier_version
status: public
status: public
title: Distributed synthesis for LTL fragments
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '1385'
abstract:
- lang: eng
text: It is often difficult to correctly implement a Boolean controller for a complex
system, especially when concurrency is involved. Yet, it may be easy to formally
specify a controller. For instance, for a pipelined processor it suffices to state
that the visible behavior of the pipelined system should be identical to a non-pipelined
reference system (Burch-Dill paradigm). We present a novel procedure to efficiently
synthesize multiple Boolean control signals from a specification given as a quantified
first-order formula (with a specific quantifier structure). Our approach uses
uninterpreted functions to abstract details of the design. We construct an unsatisfiable
SMT formula from the given specification. Then, from just one proof of unsatisfiability,
we use a variant of Craig interpolation to compute multiple coordinated interpolants
that implement the Boolean control signals. Our method avoids iterative learning
and back-substitution of the control functions. We applied our approach to synthesize
a controller for a simple two-stage pipelined processor, and present first experimental
results.
acknowledgement: "This research was supported by the European Commission through project\r\nDIAMOND
\ (FP7-2009-IST-4-248613), and QUAINT (I774-N23), "
arxiv: 1
author:
- first_name: Georg
full_name: Hofferek, Georg
last_name: Hofferek
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Bettina
full_name: Könighofer, Bettina
last_name: Könighofer
- first_name: Jie
full_name: Jiang, Jie
last_name: Jiang
- first_name: Roderick
full_name: Bloem, Roderick
last_name: Bloem
citation:
ama: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple
boolean functions using interpolation on a single proof. In: 2013 Formal Methods
in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394'
apa: 'Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013).
Synthesizing multiple boolean functions using interpolation on a single proof.
In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland,
OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394'
chicago: Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick
Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single
Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.
https://doi.org/10.1109/FMCAD.2013.6679394.
ieee: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing
multiple boolean functions using interpolation on a single proof,” in 2013
Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013,
pp. 77–84.
ista: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple
boolean functions using interpolation on a single proof. 2013 Formal Methods in
Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.'
mla: Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation
on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE,
2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
short: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal
Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
conference:
end_date: 2013-10-23
location: Portland, OR, United States
name: 'FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2013-10-20
date_created: 2018-12-11T11:51:43Z
date_published: 2013-12-11T00:00:00Z
date_updated: 2021-01-12T06:50:19Z
day: '11'
department:
- _id: ToHe
doi: 10.1109/FMCAD.2013.6679394
ec_funded: 1
external_id:
arxiv:
- '1308.4767'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1308.4767
month: '12'
oa: 1
oa_version: Preprint
page: 77 - 84
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: 2013 Formal Methods in Computer-Aided Design
publication_status: published
publisher: IEEE
publist_id: '5825'
quality_controlled: '1'
status: public
title: Synthesizing multiple boolean functions using interpolation on a single proof
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '1387'
abstract:
- lang: eng
text: Choices made by nondeterministic word automata depend on both the past (the
prefix of the word read so far) and the future (the suffix yet to be read). In
several applications, most notably synthesis, the future is diverse or unknown,
leading to algorithms that are based on deterministic automata. Hoping to retain
some of the advantages of nondeterministic automata, researchers have studied
restricted classes of nondeterministic automata. Three such classes are nondeterministic
automata that are good for trees (GFT; i.e., ones that can be expanded to tree
automata accepting the derived tree languages, thus whose choices should satisfy
diverse futures), good for games (GFG; i.e., ones whose choices depend only on
the past), and determinizable by pruning (DBP; i.e., ones that embody equivalent
deterministic automata). The theoretical properties and relative merits of the
different classes are still open, having vagueness on whether they really differ
from deterministic automata. In particular, while DBP ⊆ GFG ⊆ GFT, it is not known
whether every GFT automaton is GFG and whether every GFG automaton is DBP. Also
open is the possible succinctness of GFG and GFT automata compared to deterministic
automata. We study these problems for ω-regular automata with all common acceptance
conditions. We show that GFT=GFG⊃DBP, and describe a determinization construction
for GFG automata.
acknowledgement: and ERC Grant QUALITY.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Denis
full_name: Kuperberg, Denis
last_name: Kuperberg
- first_name: Orna
full_name: Kupferman, Orna
last_name: Kupferman
- first_name: Michał
full_name: Skrzypczak, Michał
last_name: Skrzypczak
citation:
ama: Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence
of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
apa: 'Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism
in the presence of a diverse or unknown future. Presented at the ICALP: Automata,
Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11'
chicago: Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism
in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science.
Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
ieee: U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in
the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer,
pp. 89–100, 2013.
ista: Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the
presence of a diverse or unknown future. 7966(PART 2), 89–100.
mla: Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown
Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
short: U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
conference:
end_date: 2013-07-12
location: Riga, Latvia
name: 'ICALP: Automata, Languages and Programming'
start_date: 2013-07-08
date_created: 2018-12-11T11:51:44Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:09Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39212-2_11
ec_funded: 1
file:
- access_level: open_access
checksum: 98bc02e3793072e279ec8d364b381ff3
content_type: application/pdf
creator: dernst
date_created: 2020-05-15T11:05:50Z
date_updated: 2020-07-14T12:44:48Z
file_id: '7857'
file_name: 2013_ICALP_Boker.pdf
file_size: 276982
relation: main_file
file_date_updated: 2020-07-14T12:44:48Z
has_accepted_license: '1'
intvolume: ' 7966'
issue: PART 2
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 89 - 100
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '5823'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Nondeterminism in the presence of a diverse or unknown future
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7966
year: '2013'
...
---
_id: '1405'
abstract:
- lang: eng
text: "Motivated by the analysis of highly dynamic message-passing systems, i.e.
unbounded thread creation, mobility, etc. we present a framework for the analysis
of depth-bounded systems. Depth-bounded systems are one of the most expressive
known fragment of the π-calculus for which interesting verification problems are
still decidable. Even though they are infinite state systems depth-bounded systems
are well-structured, thus can be analyzed algorithmically. We give an interpretation
of depth-bounded systems as graph-rewriting systems. This gives more flexibility
and ease of use to apply depth-bounded systems to other type of systems like shared
memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for
depth-bounded systems, a prerequisite for the effective representation of downward-closed
sets. Downward-closed sets are needed by forward saturation-based algorithms to
represent potentially infinite sets of states. Then, we present an abstract interpretation
framework to compute the covering set of well-structured transition systems. Because,
in general, the covering set is not computable, our abstraction over-approximates
the actual covering set. Our abstraction captures the essence of acceleration
based-algorithms while giving up enough precision to ensure convergence. We have
implemented the analysis in the PICASSO tool and show that it is accurate in practice.
Finally, we build some further analyses like termination using the covering set
as starting point."
acknowledgement: "This work was supported in part by the Austrian Science Fund NFN
RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative
Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger
and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of
Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal
Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint
work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS
2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this
part is mostly related to the implementation. The theory required to understand
the method and its implementation is quickly recalled to make the thesis self-contained,
but should not be considered as a contribution. For the details of the methods,
we refer the reader to the orig- inal publication [13] and the corresponding technical
report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar,
and Thomas Wies. I also would like to thank the people who supported over the past
4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on
projects I was interested in. My collaborators, especially Thomas Wies with whom
I worked since the beginning. The members of my thesis committee, Viktor Kun- cak
and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny,
Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created
an enjoyable environment. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
apa: Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute
of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405
chicago: Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute
of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
ieee: D. Zufferey, “Analysis of dynamic message passing programs,” Institute of
Science and Technology Austria, 2013.
ista: Zufferey D. 2013. Analysis of dynamic message passing programs. Institute
of Science and Technology Austria.
mla: Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute
of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
short: D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science
and Technology Austria, 2013.
date_created: 2018-12-11T11:51:50Z
date_published: 2013-09-05T00:00:00Z
date_updated: 2023-09-07T11:36:37Z
day: '05'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ToHe
- _id: GradSch
doi: 10.15479/at:ista:1405
ec_funded: 1
file:
- access_level: open_access
checksum: ed2d7b52933d134e8dc69d569baa284e
content_type: application/pdf
creator: dernst
date_created: 2021-02-22T11:28:36Z
date_updated: 2021-02-22T11:28:36Z
file_id: '9176'
file_name: 2013_Zufferey_thesis_final.pdf
file_size: 1514906
relation: main_file
success: 1
- access_level: closed
checksum: cecc4c4b14225bee973d32e3dba91a55
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-16T14:42:52Z
date_updated: 2021-11-17T13:47:58Z
file_id: '10298'
file_name: 2013_Zufferey_thesis_final_pdfa.pdf
file_size: 1378313
relation: main_file
file_date_updated: 2021-11-17T13:47:58Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://dzufferey.github.io/files/2013_thesis.pdf
month: '09'
oa: 1
oa_version: Published Version
page: '134'
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5802'
related_material:
record:
- id: '2847'
relation: part_of_dissertation
status: public
- id: '3251'
relation: part_of_dissertation
status: public
- id: '4361'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
title: Analysis of dynamic message passing programs
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2013'
...
---
_id: '1406'
abstract:
- lang: eng
text: Epithelial spreading is a critical part of various developmental and wound
repair processes. Here we use zebrafish epiboly as a model system to study the
cellular and molecular mechanisms underlying the spreading of epithelial sheets.
During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium,
spreads over the embryo to eventually cover the entire yolk cell by the end of
gastrulation. The EVL leading edge is anchored through tight junctions to the
yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile
actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent
view in the field was that the contractile ring exerts a pulling force on the
EVL margin, which pulls the EVL towards the vegetal pole. However, how this force
is generated and how it affects EVL morphology still remains elusive. Moreover,
the cellular mechanisms mediating the increase in EVL surface area, while maintaining
tissue integrity and function are still unclear. Here we show that the YSL actomyosin
ring pulls on the EVL margin by two distinct force-generating mechanisms. One
mechanism is based on contraction of the ring around its circumference, as previously
proposed. The second mechanism is based on actomyosin retrogade flows, generating
force through resistance against the substrate. The latter can function at any
epiboly stage even in situations where the contraction-based mechanism is unproductive.
Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic
tension, which guides the orientation of EVL cell division along the main axis
(animal-vegetal) of tension. The influence of tension in cell division orientation
involves cell elongation and requires myosin-2 activity for proper spindle alignment.
Strikingly, we reveal that tension-oriented cell divisions release anisotropic
tension within the EVL and that in the absence of such divisions, EVL cells undergo
ectopic fusions. We conclude that forces applied to the EVL by the action of the
YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell
divisions, which in turn limit tissue tension increase thereby facilitating tissue
spreading.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Pedro
full_name: Campinho, Pedro
id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87
last_name: Campinho
orcid: 0000-0002-8526-5416
citation:
ama: 'Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading. 2013.'
apa: 'Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell
divisions limit anisotropic tissue tension in epithelial spreading. Institute
of Science and Technology Austria.'
chicago: 'Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell
Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute
of Science and Technology Austria, 2013.'
ieee: 'P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading,” Institute of Science
and Technology Austria, 2013.'
ista: 'Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions
limit anisotropic tissue tension in epithelial spreading. Institute of Science
and Technology Austria.'
mla: 'Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell
Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute
of Science and Technology Austria, 2013.'
short: 'P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions
Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science
and Technology Austria, 2013.'
date_created: 2018-12-11T11:51:50Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2023-09-07T11:36:07Z
day: '01'
degree_awarded: PhD
department:
- _id: CaHe
language:
- iso: eng
month: '10'
oa_version: None
page: '123'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5801'
status: public
supervisor:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
title: 'Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic
tissue tension in epithelial spreading'
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2013'
...
---
_id: '905'
abstract:
- lang: eng
text: A survey of avifauna was carried out in the Mys Shmidta area, north Chukotka,
Russia from 8 June to 12 July 2011. A total of 90 species was recorded in the
area, which together with literature data made a final list of 104 species. For
several species this area is beyond the northern, north-eastern or north-western
limits of their known distribution. We collected new data for 19 globally or locally
threatened species. Tundra Swan Cygnus columbianus, Emperor Goose Anser canagica,
American Golden Plover Pluvialis dominica, Western Sandpiper Calidris mauri, Semipalmated
Sandpiper C. pusilla, Northern House Martin Delichon urbica and Barn Swallow Hirundo
rustica were all confirmed to be breeding. Breeding of Brent Goose Branta bernicla
nigricans, Spectacled Eider Somateria fischeri and Steller's Eider Polysticta
stelleri was judged to be 'very likely'. There was no evidence for breeding of
Ross's Gull Rhodostethia rosea despite several records. Two Eurasian Dotterels
Eudromias morinellus were recorded displaying for the first time in the area,
but the status of the species is unclear. The area is important for Snowy Owl
Nyctea scandiaca, and as moulting grounds for Emperor Goose. Canada Goose Branta
canadensis, Baikal Teal Anas formosa, Bar-tailed Godwit Limosa lapponica, Slaty-backed
Gull Larus schistisagus, Thayer's Gull L. thayeri, Black-headed Gull L. ridibundus,
White-tailed Eagle Haliaeetus albicilla, Steller's Sea Eagle H. pelagicus, Osprey
Pandion haliaetus, Arctic Warbler Phylloscopus borealis and House Sparrow Passer
domesticus are more likely to be rare vagrants or migrants. An observation of
a Pine Siskin Carduelis pinus is the first record for Eurasia.
acknowledgement: We thank Natalya Kveten and Oksana Makarova, heads of administrations
of Mys Shmidta and Ryrkaypiy for hospitality and for help with organising our excursions.
Warm thanks too to Pavel Tomkovich for useful comments on local birds and ornithological
literature. We are very grateful to The David and Lucile Packard Foundation for
the support to Birds Russia’s Spoon-billed Sandpiper conservation programme in 2011
and to Evgeny Syroechkovsky Jr, the leader of the Spoon-billed Sandpiper conservation
team in Russia.
author:
- first_name: Vladimir
full_name: Arkhipov, Vladimir Y
last_name: Arkhipov
- first_name: T
full_name: Noah T
last_name: Noah
- first_name: Steffen
full_name: Koschkar, Steffen
last_name: Koschkar
- first_name: Fyodor
full_name: Fyodor Kondrashov
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka,
Russia. Forktail. 2013;(29):25-30.
apa: Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of
Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.
chicago: Arkhipov, Vladimir, T Noah, Steffen Koschkar, and Fyodor Kondrashov. “Birds
of Mys Shmidta, North Chukotka, Russia.” Forktail. Oriental Bird Club,
2013.
ieee: V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta,
north Chukotka, Russia,” Forktail, no. 29. Oriental Bird Club, pp. 25–30,
2013.
ista: Arkhipov V, Noah T, Koschkar S, Kondrashov F. 2013. Birds of Mys Shmidta,
north Chukotka, Russia. Forktail. (29), 25–30.
mla: Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.”
Forktail, no. 29, Oriental Bird Club, 2013, pp. 25–30.
short: V. Arkhipov, T. Noah, S. Koschkar, F. Kondrashov, Forktail (2013) 25–30.
date_created: 2018-12-11T11:49:07Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T08:21:48Z
day: '01'
extern: 1
issue: '29'
main_file_link:
- open_access: '1'
url: http://orientalbirdclub.org/forktail29/
month: '09'
oa: 1
page: 25 - 30
publication: Forktail
publication_status: published
publisher: Oriental Bird Club
publist_id: '6741'
quality_controlled: 0
status: public
title: Birds of Mys Shmidta, north Chukotka, Russia
type: journal_article
year: '2013'
...
---
_id: '9055'
abstract:
- lang: eng
text: Spontaneous formation of colonies of bacteria or flocks of birds are examples
of self-organization in active living matter. Here, we demonstrate a form of self-organization
from nonequilibrium driving forces in a suspension of synthetic photoactivated
colloidal particles. They lead to two-dimensional "living crystals," which form,
break, explode, and re-form elsewhere. The dynamic assembly results from a competition
between self-propulsion of particles and an attractive interaction induced respectively
by osmotic and phoretic effects and activated by light. We measured a transition
from normal to giant-number fluctuations. Our experiments are quantitatively described
by simple numerical simulations. We show that the existence of the living crystals
is intrinsically related to the out-of-equilibrium collisions of the self-propelled
particles.
article_processing_charge: No
article_type: original
author:
- first_name: Jérémie A
full_name: Palacci, Jérémie A
id: 8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d
last_name: Palacci
orcid: 0000-0002-7253-9465
- first_name: S.
full_name: Sacanna, S.
last_name: Sacanna
- first_name: A. P.
full_name: Steinberg, A. P.
last_name: Steinberg
- first_name: D. J.
full_name: Pine, D. J.
last_name: Pine
- first_name: P. M.
full_name: Chaikin, P. M.
last_name: Chaikin
citation:
ama: Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. Living crystals of
light-activated colloidal surfers. Science. 2013;339(6122):936-940. doi:10.1126/science.1230020
apa: Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., & Chaikin,
P. M. (2013). Living crystals of light-activated colloidal surfers. Science.
American Association for the Advancement of Science . https://doi.org/10.1126/science.1230020
chicago: Palacci, Jérémie A, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M.
Chaikin. “Living Crystals of Light-Activated Colloidal Surfers.” Science.
American Association for the Advancement of Science , 2013. https://doi.org/10.1126/science.1230020.
ieee: J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin,
“Living crystals of light-activated colloidal surfers,” Science, vol. 339,
no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.
ista: Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. 2013. Living crystals
of light-activated colloidal surfers. Science. 339(6122), 936–940.
mla: Palacci, Jérémie A., et al. “Living Crystals of Light-Activated Colloidal Surfers.”
Science, vol. 339, no. 6122, American Association for the Advancement of
Science , 2013, pp. 936–40, doi:10.1126/science.1230020.
short: J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science
339 (2013) 936–940.
date_created: 2021-02-01T14:37:29Z
date_published: 2013-02-22T00:00:00Z
date_updated: 2022-08-25T14:57:43Z
day: '22'
doi: 10.1126/science.1230020
extern: '1'
external_id:
pmid:
- '23371555'
intvolume: ' 339'
issue: '6122'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '02'
oa_version: None
page: 936-940
pmid: 1
publication: Science
publication_identifier:
eissn:
- 1095-9203
issn:
- 0036-8075
publication_status: published
publisher: 'American Association for the Advancement of Science '
quality_controlled: '1'
scopus_import: '1'
status: public
title: Living crystals of light-activated colloidal surfers
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 339
year: '2013'
...
---
_id: '9153'
abstract:
- lang: eng
text: Internal tide driven mixing plays a key role in sustaining the deep ocean
stratification and meridional overturning circulation. Internal tides can be generated
by topographic horizontal scales ranging from hundreds of meters to tens of kilometers.
State of the art topographic products barely resolve scales smaller than ∼10 km
in the deep ocean. On these scales abyssal hills dominate ocean floor roughness.
The impact of abyssal hill roughness on internal‐tide generation is evaluated
in this study. The conversion of M2 barotropic to baroclinic tidal energy is calculated
based on linear wave theory both in real and spectral space using the Shuttle
Radar Topography Mission SRTM30_PLUS bathymetric product at 1/120° resolution
with and without the addition of synthetic abyssal hill roughness. Internal tide
generation by abyssal hills integrates to 0.1 TW globally or 0.03 TW when the
energy flux is empirically corrected for supercritical slope (i.e., ∼10% of the
energy flux due to larger topographic scales resolved in standard products in
both cases). The abyssal hill driven energy conversion is dominated by mid‐ocean
ridges, where abyssal hill roughness is large. Focusing on two regions located
over the Mid‐Atlantic Ridge and the East Pacific Rise, it is shown that regionally
linear theory predicts an increase of the energy flux due to abyssal hills of
up to 100% or 60% when an empirical correction for supercritical slopes is attempted.
Therefore, abyssal hills, unresolved in state of the art topographic products,
can have a strong impact on internal tide generation, especially over mid‐ocean
ridges.
article_processing_charge: No
article_type: original
author:
- first_name: Angélique
full_name: Melet, Angélique
last_name: Melet
- first_name: Maxim
full_name: Nikurashin, Maxim
last_name: Nikurashin
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: S.
full_name: Falahat, S.
last_name: Falahat
- first_name: Jonas
full_name: Nycander, Jonas
last_name: Nycander
- first_name: Patrick G.
full_name: Timko, Patrick G.
last_name: Timko
- first_name: Brian K.
full_name: Arbic, Brian K.
last_name: Arbic
- first_name: John A.
full_name: Goff, John A.
last_name: Goff
citation:
ama: 'Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal
hills using analytical theory. Journal of Geophysical Research: Oceans.
2013;118(11):6303-6318. doi:10.1002/2013jc009212'
apa: 'Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko,
P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical
theory. Journal of Geophysical Research: Oceans. American Geophysical Union.
https://doi.org/10.1002/2013jc009212'
chicago: 'Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas
Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation
by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research:
Oceans. American Geophysical Union, 2013. https://doi.org/10.1002/2013jc009212.'
ieee: 'A. Melet et al., “Internal tide generation by abyssal hills using
analytical theory,” Journal of Geophysical Research: Oceans, vol. 118,
no. 11. American Geophysical Union, pp. 6303–6318, 2013.'
ista: 'Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic
BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical
theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318.'
mla: 'Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using
Analytical Theory.” Journal of Geophysical Research: Oceans, vol. 118,
no. 11, American Geophysical Union, 2013, pp. 6303–18, doi:10.1002/2013jc009212.'
short: 'A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko,
B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.'
date_created: 2021-02-15T15:11:39Z
date_published: 2013-11-07T00:00:00Z
date_updated: 2022-01-24T13:46:15Z
day: '07'
doi: 10.1002/2013jc009212
extern: '1'
intvolume: ' 118'
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1002/2013JC009212
month: '11'
oa: 1
oa_version: Published Version
page: 6303-6318
publication: 'Journal of Geophysical Research: Oceans'
publication_identifier:
issn:
- 2169-9275
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
status: public
title: Internal tide generation by abyssal hills using analytical theory
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 118
year: '2013'
...
---
_id: '9154'
abstract:
- lang: eng
text: "In this study the response of tropical precipitation extremes to warming
in organized convection is examined using a cloud-resolving model. Vertical shear
is imposed to organize the convection into squall lines. Earlier studies show
that in disorganized convection, the fractional increase of precipitation extremes
is similar to that of surface water vapor, which is substantially smaller than
the increase in column water vapor. It has been suggested that organized convection
could lead to stronger amplifications.\r\nRegardless of the strength of the shear,
amplifications of precipitation extremes in the cloud-resolving simulations are
comparable to those of surface water vapor and are substantially less than increases
in column water vapor. The results without shear and with critical shear, for
which the squall lines are perpendicular to the shear, are surprisingly similar
with a fractional rate of increase of precipitation extremes slightly smaller
than that of surface water vapor. Interestingly, the dependence on shear is nonmonotonic,
and stronger supercritical shear yields larger rates, close to or slightly larger
than surface humidity.\r\nA scaling is used to evaluate the thermodynamic and
dynamic contributions to precipitation extreme changes. To first order, they are
dominated by the thermodynamic component, which has the same magnitude for all
shears, close to the change in surface water vapor. The dynamic contribution plays
a secondary role and tends to weaken extremes without shear and with critical
shear, while it strengthens extremes with supercritical shear. These different
dynamic contributions for different shears are due to different responses of convective
mass fluxes in individual updrafts to warming."
article_processing_charge: No
article_type: original
author:
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
citation:
ama: Muller CJ. Impact of convective organization on the response of tropical precipitation
extremes to warming. Journal of Climate. 2013;26(14):5028-5043. doi:10.1175/jcli-d-12-00655.1
apa: Muller, C. J. (2013). Impact of convective organization on the response of
tropical precipitation extremes to warming. Journal of Climate. American
Meteorological Society. https://doi.org/10.1175/jcli-d-12-00655.1
chicago: Muller, Caroline J. “Impact of Convective Organization on the Response
of Tropical Precipitation Extremes to Warming.” Journal of Climate. American
Meteorological Society, 2013. https://doi.org/10.1175/jcli-d-12-00655.1.
ieee: C. J. Muller, “Impact of convective organization on the response of tropical
precipitation extremes to warming,” Journal of Climate, vol. 26, no. 14.
American Meteorological Society, pp. 5028–5043, 2013.
ista: Muller CJ. 2013. Impact of convective organization on the response of tropical
precipitation extremes to warming. Journal of Climate. 26(14), 5028–5043.
mla: Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical
Precipitation Extremes to Warming.” Journal of Climate, vol. 26, no. 14,
American Meteorological Society, 2013, pp. 5028–43, doi:10.1175/jcli-d-12-00655.1.
short: C.J. Muller, Journal of Climate 26 (2013) 5028–5043.
date_created: 2021-02-15T15:26:39Z
date_published: 2013-07-15T00:00:00Z
date_updated: 2022-01-24T13:46:41Z
day: '15'
doi: 10.1175/jcli-d-12-00655.1
extern: '1'
intvolume: ' 26'
issue: '14'
keyword:
- Atmospheric Science
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1175/JCLI-D-12-00655.1
month: '07'
oa: 1
oa_version: Published Version
page: 5028-5043
publication: Journal of Climate
publication_identifier:
issn:
- 0894-8755
- 1520-0442
publication_status: published
publisher: American Meteorological Society
quality_controlled: '1'
status: public
title: Impact of convective organization on the response of tropical precipitation
extremes to warming
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 26
year: '2013'
...
---
_id: '9167'
abstract:
- lang: eng
text: We introduce a self-propelled colloidal hematite docker that can be steered
to a small particle cargo many times its size, dock, transport the cargo to a
remote location, and then release it. The self-propulsion and docking are reversible
and activated by visible light. The docker can be steered either by a weak uniform
magnetic field or by nanoscale tracks in a textured substrate. The light-activated
motion and docking originate from osmotic/phoretic particle transport in a concentration
gradient of fuel, hydrogen peroxide, induced by the photocatalytic activity of
the hematite. The docking mechanism is versatile and can be applied to various
materials and shapes. The hematite dockers are simple single-component particles
and are synthesized in bulk quantities. This system opens up new possibilities
for designing complex micrometer-size factories as well as new biomimetic systems.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jérémie A
full_name: Palacci, Jérémie A
id: 8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d
last_name: Palacci
orcid: 0000-0002-7253-9465
- first_name: Stefano
full_name: Sacanna, Stefano
last_name: Sacanna
- first_name: Adrian
full_name: Vatchinsky, Adrian
last_name: Vatchinsky
- first_name: Paul M.
full_name: Chaikin, Paul M.
last_name: Chaikin
- first_name: David J.
full_name: Pine, David J.
last_name: Pine
citation:
ama: Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. Photoactivated colloidal
dockers for cargo transportation. Journal of the American Chemical Society.
2013;135(43):15978-15981. doi:10.1021/ja406090s
apa: Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., & Pine, D.
J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal
of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja406090s
chicago: Palacci, Jérémie A, Stefano Sacanna, Adrian Vatchinsky, Paul M. Chaikin,
and David J. Pine. “Photoactivated Colloidal Dockers for Cargo Transportation.”
Journal of the American Chemical Society. American Chemical Society, 2013.
https://doi.org/10.1021/ja406090s.
ieee: J. A. Palacci, S. Sacanna, A. Vatchinsky, P. M. Chaikin, and D. J. Pine, “Photoactivated
colloidal dockers for cargo transportation,” Journal of the American Chemical
Society, vol. 135, no. 43. American Chemical Society, pp. 15978–15981, 2013.
ista: Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. 2013. Photoactivated
colloidal dockers for cargo transportation. Journal of the American Chemical Society.
135(43), 15978–15981.
mla: Palacci, Jérémie A., et al. “Photoactivated Colloidal Dockers for Cargo Transportation.”
Journal of the American Chemical Society, vol. 135, no. 43, American Chemical
Society, 2013, pp. 15978–81, doi:10.1021/ja406090s.
short: J.A. Palacci, S. Sacanna, A. Vatchinsky, P.M. Chaikin, D.J. Pine, Journal
of the American Chemical Society 135 (2013) 15978–15981.
date_created: 2021-02-18T14:31:26Z
date_published: 2013-10-30T00:00:00Z
date_updated: 2021-02-22T10:10:41Z
day: '30'
doi: 10.1021/ja406090s
extern: '1'
external_id:
arxiv:
- '1310.5724'
pmid:
- '24131488'
intvolume: ' 135'
issue: '43'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1310.5724
month: '10'
oa: 1
oa_version: Preprint
page: 15978-15981
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- '15205126'
issn:
- '00027863'
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Photoactivated colloidal dockers for cargo transportation
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 135
year: '2013'
...
---
_id: '921'
abstract:
- lang: eng
text: Recent experiments have shown that spreading epithelial sheets exhibit a long-range
coordination of motility forces that leads to a buildup of tension in the tissue,
which may enhance cell division and the speed of wound healing. Furthermore, the
edges of these epithelial sheets commonly show finger-like protrusions whereas
the bulk often displays spontaneous swirls of motile cells. To explain these experimental
observations, we propose a simple flocking-type mechanism, in which cells tend
to align their motility forceswith their velocity. Implementing this idea in amechanical
tissue simulation, the proposed model gives rise to efficient spreading and can
explain the experimentally observed long-range alignment of motility forces in
highly disordered patterns, as well as the buildup of tensile stress throughout
the tissue. Our model also qualitatively reproduces the dependence of swirl size
and swirl velocity on cell density reported in experiments and exhibits an undulation
instability at the edge of the spreading tissue commonly observed in vivo. Finally,
we study the dependence of colony spreading speed on important physical and biological
parameters and derive simple scaling relations that show that coordination of
motility forces leads to an improvement of the wound healing process for realistic
tissue parameters.
acknowledgement: "This work was supported by National Science Foundation (NSF) Grant
DMS-1068869 and by the NSF Center for Theoretical Biological Physics (Grant NSF
PHY-0822283).\r\nWe acknowledge useful discussions with Eshel Ben-Jacob and Assaf
Zaritsky. "
article_processing_charge: No
author:
- first_name: Markus
full_name: Basan, Markus
last_name: Basan
- first_name: Jens
full_name: Elgeti, Jens
last_name: Elgeti
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Wouter
full_name: Rappel, Wouter
last_name: Rappel
- first_name: Herbert
full_name: Levine, Herbert
last_name: Levine
citation:
ama: Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. Alignment of cellular motility
forces with tissue flow as a mechanism for efficient wound healing. PNAS.
2013;110(7):2452-2459. doi:10.1073/pnas.1219937110
apa: Basan, M., Elgeti, J., Hannezo, E. B., Rappel, W., & Levine, H. (2013).
Alignment of cellular motility forces with tissue flow as a mechanism for efficient
wound healing. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1219937110
chicago: Basan, Markus, Jens Elgeti, Edouard B Hannezo, Wouter Rappel, and Herbert
Levine. “Alignment of Cellular Motility Forces with Tissue Flow as a Mechanism
for Efficient Wound Healing.” PNAS. National Academy of Sciences, 2013.
https://doi.org/10.1073/pnas.1219937110.
ieee: M. Basan, J. Elgeti, E. B. Hannezo, W. Rappel, and H. Levine, “Alignment of
cellular motility forces with tissue flow as a mechanism for efficient wound healing,”
PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2452–2459, 2013.
ista: Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. 2013. Alignment of cellular
motility forces with tissue flow as a mechanism for efficient wound healing. PNAS.
110(7), 2452–2459.
mla: Basan, Markus, et al. “Alignment of Cellular Motility Forces with Tissue Flow
as a Mechanism for Efficient Wound Healing.” PNAS, vol. 110, no. 7, National
Academy of Sciences, 2013, pp. 2452–59, doi:10.1073/pnas.1219937110.
short: M. Basan, J. Elgeti, E.B. Hannezo, W. Rappel, H. Levine, PNAS 110 (2013)
2452–2459.
date_created: 2018-12-11T11:49:12Z
date_published: 2013-02-12T00:00:00Z
date_updated: 2021-01-12T08:21:55Z
day: '12'
doi: 10.1073/pnas.1219937110
extern: '1'
intvolume: ' 110'
issue: '7'
language:
- iso: eng
month: '02'
oa_version: None
page: 2452 - 2459
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '6518'
status: public
title: Alignment of cellular motility forces with tissue flow as a mechanism for efficient
wound healing
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 110
year: '2013'
...
---
_id: '9459'
abstract:
- lang: eng
text: Nucleosome remodelers of the DDM1/Lsh family are required for DNA methylation
of transposable elements, but the reason for this is unknown. How DDM1 interacts
with other methylation pathways, such as small-RNA-directed DNA methylation (RdDM),
which is thought to mediate plant asymmetric methylation through DRM enzymes,
is also unclear. Here, we show that most asymmetric methylation is facilitated
by DDM1 and mediated by the methyltransferase CMT2 separately from RdDM. We find
that heterochromatic sequences preferentially require DDM1 for DNA methylation
and that this preference depends on linker histone H1. RdDM is instead inhibited
by heterochromatin and absolutely requires the nucleosome remodeler DRD1. Together,
DDM1 and RdDM mediate nearly all transposon methylation and collaborate to repress
transposition and regulate the methylation and expression of genes. Our results
indicate that DDM1 provides DNA methyltransferases access to H1-containing heterochromatin
to allow stable silencing of transposable elements in cooperation with the RdDM
pathway.
article_processing_charge: No
article_type: original
author:
- first_name: Assaf
full_name: Zemach, Assaf
last_name: Zemach
- first_name: M. Yvonne
full_name: Kim, M. Yvonne
last_name: Kim
- first_name: Ping-Hung
full_name: Hsieh, Ping-Hung
last_name: Hsieh
- first_name: Devin
full_name: Coleman-Derr, Devin
last_name: Coleman-Derr
- first_name: Leor
full_name: Eshed-Williams, Leor
last_name: Eshed-Williams
- first_name: Ka
full_name: Thao, Ka
last_name: Thao
- first_name: Stacey L.
full_name: Harmer, Stacey L.
last_name: Harmer
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
citation:
ama: Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1
allows DNA methyltransferases to access H1-containing heterochromatin. Cell.
2013;153(1):193-205. doi:10.1016/j.cell.2013.02.033
apa: Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L.,
Thao, K., … Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows
DNA methyltransferases to access H1-containing heterochromatin. Cell. Elsevier.
https://doi.org/10.1016/j.cell.2013.02.033
chicago: Zemach, Assaf, M. Yvonne Kim, Ping-Hung Hsieh, Devin Coleman-Derr, Leor
Eshed-Williams, Ka Thao, Stacey L. Harmer, and Daniel Zilberman. “The Arabidopsis
Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing
Heterochromatin.” Cell. Elsevier, 2013. https://doi.org/10.1016/j.cell.2013.02.033.
ieee: A. Zemach et al., “The Arabidopsis nucleosome remodeler DDM1 allows
DNA methyltransferases to access H1-containing heterochromatin,” Cell,
vol. 153, no. 1. Elsevier, pp. 193–205, 2013.
ista: Zemach A, Kim MY, Hsieh P-H, Coleman-Derr D, Eshed-Williams L, Thao K, Harmer
SL, Zilberman D. 2013. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases
to access H1-containing heterochromatin. Cell. 153(1), 193–205.
mla: Zemach, Assaf, et al. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA
Methyltransferases to Access H1-Containing Heterochromatin.” Cell, vol.
153, no. 1, Elsevier, 2013, pp. 193–205, doi:10.1016/j.cell.2013.02.033.
short: A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K.
Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
date_created: 2021-06-04T12:23:28Z
date_published: 2013-03-28T00:00:00Z
date_updated: 2021-12-14T08:25:35Z
day: '28'
department:
- _id: DaZi
doi: 10.1016/j.cell.2013.02.033
extern: '1'
external_id:
pmid:
- '23540698'
intvolume: ' 153'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2013.02.033
month: '03'
oa: 1
oa_version: Published Version
page: 193-205
pmid: 1
publication: Cell
publication_identifier:
eissn:
- 1097-4172
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to
access H1-containing heterochromatin
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 153
year: '2013'
...