---
_id: '11069'
abstract:
- lang: eng
text: Repeated rounds of nuclear envelope (NE) rupture and repair have been observed
in laminopathy and cancer cells and result in intermittent loss of nucleus compartmentalization.
Currently, the causes of NE rupture are unclear. Here, we show that NE rupture
in cancer cells relies on the assembly of contractile actin bundles that interact
with the nucleus via the linker of nucleoskeleton and cytoskeleton (LINC) complex.
We found that the loss of actin bundles or the LINC complex did not rescue nuclear
lamina defects, a previously identified determinant of nuclear membrane stability,
but did decrease the number and size of chromatin hernias. Finally, NE rupture
inhibition could be rescued in cells treated with actin-depolymerizing drugs by
mechanically constraining nucleus height. These data suggest a model of NE rupture
where weak membrane areas, caused by defects in lamina organization, rupture because
of an increase in intranuclear pressure from actin-based nucleus confinement.
article_processing_charge: No
article_type: original
author:
- first_name: Emily M.
full_name: Hatch, Emily M.
last_name: Hatch
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Hatch EM, Hetzer M. Nuclear envelope rupture is induced by actin-based nucleus
confinement. Journal of Cell Biology. 2016;215(1):27-36. doi:10.1083/jcb.201603053
apa: Hatch, E. M., & Hetzer, M. (2016). Nuclear envelope rupture is induced
by actin-based nucleus confinement. Journal of Cell Biology. Rockefeller
University Press. https://doi.org/10.1083/jcb.201603053
chicago: Hatch, Emily M., and Martin Hetzer. “Nuclear Envelope Rupture Is Induced
by Actin-Based Nucleus Confinement.” Journal of Cell Biology. Rockefeller
University Press, 2016. https://doi.org/10.1083/jcb.201603053.
ieee: E. M. Hatch and M. Hetzer, “Nuclear envelope rupture is induced by actin-based
nucleus confinement,” Journal of Cell Biology, vol. 215, no. 1. Rockefeller
University Press, pp. 27–36, 2016.
ista: Hatch EM, Hetzer M. 2016. Nuclear envelope rupture is induced by actin-based
nucleus confinement. Journal of Cell Biology. 215(1), 27–36.
mla: Hatch, Emily M., and Martin Hetzer. “Nuclear Envelope Rupture Is Induced by
Actin-Based Nucleus Confinement.” Journal of Cell Biology, vol. 215, no.
1, Rockefeller University Press, 2016, pp. 27–36, doi:10.1083/jcb.201603053.
short: E.M. Hatch, M. Hetzer, Journal of Cell Biology 215 (2016) 27–36.
date_created: 2022-04-07T07:47:42Z
date_published: 2016-10-03T00:00:00Z
date_updated: 2024-10-14T11:20:38Z
day: '03'
doi: 10.1083/jcb.201603053
extern: '1'
external_id:
pmid:
- '27697922'
intvolume: ' 215'
issue: '1'
keyword:
- Cell Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1083/jcb.201603053
month: '10'
oa: 1
oa_version: Published Version
page: 27-36
pmid: 1
publication: Journal of Cell Biology
publication_identifier:
issn:
- 0021-9525
- 1540-8140
publication_status: published
publisher: Rockefeller University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nuclear envelope rupture is induced by actin-based nucleus confinement
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 215
year: '2016'
...
---
_id: '11070'
abstract:
- lang: eng
text: The organization of the genome in the three-dimensional space of the nucleus
is coupled with cell type-specific gene expression. However, how nuclear architecture
influences transcription that governs cell identity remains unknown. Here, we
show that nuclear pore complex (NPC) components Nup93 and Nup153 bind superenhancers
(SE), regulatory structures that drive the expression of key genes that specify
cell identity. We found that nucleoporin-associated SEs localize preferentially
to the nuclear periphery, and absence of Nup153 and Nup93 results in dramatic
transcriptional changes of SE-associated genes. Our results reveal a crucial role
of NPC components in the regulation of cell type-specifying genes and highlight
nuclear architecture as a regulatory layer of genome functions in cell fate.
article_processing_charge: No
article_type: original
author:
- first_name: Arkaitz
full_name: Ibarra, Arkaitz
last_name: Ibarra
- first_name: Chris
full_name: Benner, Chris
last_name: Benner
- first_name: Swati
full_name: Tyagi, Swati
last_name: Tyagi
- first_name: Jonah
full_name: Cool, Jonah
last_name: Cool
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Ibarra A, Benner C, Tyagi S, Cool J, Hetzer M. Nucleoporin-mediated regulation
of cell identity genes. Genes & Development. 2016;30(20):2253-2258.
doi:10.1101/gad.287417.116
apa: Ibarra, A., Benner, C., Tyagi, S., Cool, J., & Hetzer, M. (2016). Nucleoporin-mediated
regulation of cell identity genes. Genes & Development. Cold Spring
Harbor Laboratory. https://doi.org/10.1101/gad.287417.116
chicago: Ibarra, Arkaitz, Chris Benner, Swati Tyagi, Jonah Cool, and Martin Hetzer.
“Nucleoporin-Mediated Regulation of Cell Identity Genes.” Genes & Development.
Cold Spring Harbor Laboratory, 2016. https://doi.org/10.1101/gad.287417.116.
ieee: A. Ibarra, C. Benner, S. Tyagi, J. Cool, and M. Hetzer, “Nucleoporin-mediated
regulation of cell identity genes,” Genes & Development, vol. 30, no.
20. Cold Spring Harbor Laboratory, pp. 2253–2258, 2016.
ista: Ibarra A, Benner C, Tyagi S, Cool J, Hetzer M. 2016. Nucleoporin-mediated
regulation of cell identity genes. Genes & Development. 30(20), 2253–2258.
mla: Ibarra, Arkaitz, et al. “Nucleoporin-Mediated Regulation of Cell Identity Genes.”
Genes & Development, vol. 30, no. 20, Cold Spring Harbor Laboratory,
2016, pp. 2253–58, doi:10.1101/gad.287417.116.
short: A. Ibarra, C. Benner, S. Tyagi, J. Cool, M. Hetzer, Genes & Development
30 (2016) 2253–2258.
date_created: 2022-04-07T07:48:08Z
date_published: 2016-11-02T00:00:00Z
date_updated: 2024-10-14T11:21:07Z
day: '02'
doi: 10.1101/gad.287417.116
extern: '1'
external_id:
pmid:
- '27807035'
intvolume: ' 30'
issue: '20'
keyword:
- Developmental Biology
- Genetics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/gad.287417.116
month: '11'
oa: 1
oa_version: Published Version
page: 2253-2258
pmid: 1
publication: Genes & Development
publication_identifier:
eissn:
- 1549-5477
issn:
- 0890-9369
publication_status: published
publisher: Cold Spring Harbor Laboratory
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nucleoporin-mediated regulation of cell identity genes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2016'
...
---
_id: '11071'
abstract:
- lang: eng
text: Nuclear pore complexes (NPCs) emerged as nuclear transport channels in eukaryotic
cells ∼1.5 billion years ago. While the primary role of NPCs is to regulate nucleo–cytoplasmic
transport, recent research suggests that certain NPC proteins have additionally
acquired the role of affecting gene expression at the nuclear periphery and in
the nucleoplasm in metazoans. Here we identify a widely expressed variant of the
transmembrane nucleoporin (Nup) Pom121 (named sPom121, for “soluble Pom121”) that
arose by genomic rearrangement before the divergence of hominoids. sPom121 lacks
the nuclear membrane-anchoring domain and thus does not localize to the NPC. Instead,
sPom121 colocalizes and interacts with nucleoplasmic Nup98, a previously identified
transcriptional regulator, at gene promoters to control transcription of its target
genes in human cells. Interestingly, sPom121 transcripts appear independently
in several mammalian species, suggesting convergent innovation of Nup-mediated
transcription regulation during mammalian evolution. Our findings implicate alternate
transcription initiation as a mechanism to increase the functional diversity of
NPC components.
article_processing_charge: No
article_type: original
author:
- first_name: Tobias M.
full_name: Franks, Tobias M.
last_name: Franks
- first_name: Chris
full_name: Benner, Chris
last_name: Benner
- first_name: Iñigo
full_name: Narvaiza, Iñigo
last_name: Narvaiza
- first_name: Maria C.N.
full_name: Marchetto, Maria C.N.
last_name: Marchetto
- first_name: Janet M.
full_name: Young, Janet M.
last_name: Young
- first_name: Harmit S.
full_name: Malik, Harmit S.
last_name: Malik
- first_name: Fred H.
full_name: Gage, Fred H.
last_name: Gage
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Franks TM, Benner C, Narvaiza I, et al. Evolution of a transcriptional regulator
from a transmembrane nucleoporin. Genes & Development. 2016;30(10):1155-1171.
doi:10.1101/gad.280941.116
apa: Franks, T. M., Benner, C., Narvaiza, I., Marchetto, M. C. N., Young, J. M.,
Malik, H. S., … Hetzer, M. (2016). Evolution of a transcriptional regulator from
a transmembrane nucleoporin. Genes & Development. Cold Spring Harbor
Laboratory. https://doi.org/10.1101/gad.280941.116
chicago: Franks, Tobias M., Chris Benner, Iñigo Narvaiza, Maria C.N. Marchetto,
Janet M. Young, Harmit S. Malik, Fred H. Gage, and Martin Hetzer. “Evolution of
a Transcriptional Regulator from a Transmembrane Nucleoporin.” Genes &
Development. Cold Spring Harbor Laboratory, 2016. https://doi.org/10.1101/gad.280941.116.
ieee: T. M. Franks et al., “Evolution of a transcriptional regulator from
a transmembrane nucleoporin,” Genes & Development, vol. 30, no. 10.
Cold Spring Harbor Laboratory, pp. 1155–1171, 2016.
ista: Franks TM, Benner C, Narvaiza I, Marchetto MCN, Young JM, Malik HS, Gage FH,
Hetzer M. 2016. Evolution of a transcriptional regulator from a transmembrane
nucleoporin. Genes & Development. 30(10), 1155–1171.
mla: Franks, Tobias M., et al. “Evolution of a Transcriptional Regulator from a
Transmembrane Nucleoporin.” Genes & Development, vol. 30, no. 10, Cold
Spring Harbor Laboratory, 2016, pp. 1155–71, doi:10.1101/gad.280941.116.
short: T.M. Franks, C. Benner, I. Narvaiza, M.C.N. Marchetto, J.M. Young, H.S. Malik,
F.H. Gage, M. Hetzer, Genes & Development 30 (2016) 1155–1171.
date_created: 2022-04-07T07:48:20Z
date_published: 2016-05-19T00:00:00Z
date_updated: 2024-10-14T11:21:48Z
day: '19'
doi: 10.1101/gad.280941.116
extern: '1'
external_id:
pmid:
- '27198230'
intvolume: ' 30'
issue: '10'
keyword:
- Developmental Biology
- Genetics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/gad.280941.116
month: '05'
oa: 1
oa_version: Published Version
page: 1155-1171
pmid: 1
publication: Genes & Development
publication_identifier:
eissn:
- 1549-5477
issn:
- 0890-9369
publication_status: published
publisher: Cold Spring Harbor Laboratory
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evolution of a transcriptional regulator from a transmembrane nucleoporin
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2016'
...
---
_id: '11072'
abstract:
- lang: eng
text: "Spatiotemporal activation of RhoA and actomyosin contraction underpins cellular
adhesion and division. Loss of cell–cell adhesion and chromosomal instability
are cardinal events that drive tumour progression. Here, we show that p120-catenin
(p120) not only controls cell–cell adhesion, but also acts as a critical regulator
of cytokinesis. We find that p120 regulates actomyosin contractility through concomitant
binding to RhoA and the centralspindlin component MKLP1, independent of cadherin
association. In anaphase, p120 is enriched at the cleavage furrow where it binds
MKLP1 to spatially control RhoA GTPase cycling. Binding of p120 to MKLP1 during
cytokinesis depends on the N-terminal coiled-coil domain of p120 isoform 1A. Importantly,
clinical data show that loss of p120 expression is a common event in breast cancer
that strongly correlates with multinucleation and adverse patient survival. In
summary, our study identifies p120 loss as a driver event of chromosomal instability
in cancer.\r\n"
article_number: '13874'
article_processing_charge: No
article_type: original
author:
- first_name: Robert A.H.
full_name: van de Ven, Robert A.H.
last_name: van de Ven
- first_name: Jolien S.
full_name: de Groot, Jolien S.
last_name: de Groot
- first_name: Danielle
full_name: Park, Danielle
last_name: Park
- first_name: Robert
full_name: van Domselaar, Robert
last_name: van Domselaar
- first_name: Danielle
full_name: de Jong, Danielle
last_name: de Jong
- first_name: Karoly
full_name: Szuhai, Karoly
last_name: Szuhai
- first_name: Elsken
full_name: van der Wall, Elsken
last_name: van der Wall
- first_name: Oscar M.
full_name: Rueda, Oscar M.
last_name: Rueda
- first_name: H. Raza
full_name: Ali, H. Raza
last_name: Ali
- first_name: Carlos
full_name: Caldas, Carlos
last_name: Caldas
- first_name: Paul J.
full_name: van Diest, Paul J.
last_name: van Diest
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
- first_name: Erik
full_name: Sahai, Erik
last_name: Sahai
- first_name: Patrick W.B.
full_name: Derksen, Patrick W.B.
last_name: Derksen
citation:
ama: van de Ven RAH, de Groot JS, Park D, et al. p120-catenin prevents multinucleation
through control of MKLP1-dependent RhoA activity during cytokinesis. Nature
Communications. 2016;7. doi:10.1038/ncomms13874
apa: van de Ven, R. A. H., de Groot, J. S., Park, D., van Domselaar, R., de Jong,
D., Szuhai, K., … Derksen, P. W. B. (2016). p120-catenin prevents multinucleation
through control of MKLP1-dependent RhoA activity during cytokinesis. Nature
Communications. Springer Nature. https://doi.org/10.1038/ncomms13874
chicago: Ven, Robert A.H. van de, Jolien S. de Groot, Danielle Park, Robert van
Domselaar, Danielle de Jong, Karoly Szuhai, Elsken van der Wall, et al. “P120-Catenin
Prevents Multinucleation through Control of MKLP1-Dependent RhoA Activity during
Cytokinesis.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms13874.
ieee: R. A. H. van de Ven et al., “p120-catenin prevents multinucleation
through control of MKLP1-dependent RhoA activity during cytokinesis,” Nature
Communications, vol. 7. Springer Nature, 2016.
ista: van de Ven RAH, de Groot JS, Park D, van Domselaar R, de Jong D, Szuhai K,
van der Wall E, Rueda OM, Ali HR, Caldas C, van Diest PJ, Hetzer M, Sahai E, Derksen
PWB. 2016. p120-catenin prevents multinucleation through control of MKLP1-dependent
RhoA activity during cytokinesis. Nature Communications. 7, 13874.
mla: van de Ven, Robert A. H., et al. “P120-Catenin Prevents Multinucleation through
Control of MKLP1-Dependent RhoA Activity during Cytokinesis.” Nature Communications,
vol. 7, 13874, Springer Nature, 2016, doi:10.1038/ncomms13874.
short: R.A.H. van de Ven, J.S. de Groot, D. Park, R. van Domselaar, D. de Jong,
K. Szuhai, E. van der Wall, O.M. Rueda, H.R. Ali, C. Caldas, P.J. van Diest, M.
Hetzer, E. Sahai, P.W.B. Derksen, Nature Communications 7 (2016).
date_created: 2022-04-07T07:48:34Z
date_published: 2016-12-22T00:00:00Z
date_updated: 2022-07-18T08:34:32Z
day: '22'
doi: 10.1038/ncomms13874
extern: '1'
external_id:
pmid:
- '28004812'
intvolume: ' 7'
keyword:
- General Physics and Astronomy
- General Biochemistry
- Genetics and Molecular Biology
- General Chemistry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1038/ncomms13874
month: '12'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/ncomms16030
scopus_import: '1'
status: public
title: p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA
activity during cytokinesis
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 7
year: '2016'
...
---
_id: '1115'
abstract:
- lang: eng
text: We present a coherent microwave to telecom signal converter based on the electro-optical
effect using a crystalline WGM-resonator coupled to a 3D microwave cavity, achieving
high photon conversion efficiency of 0.1% with MHz bandwidth.
article_number: '7788479'
article_processing_charge: No
arxiv: 1
author:
- first_name: Alfredo
full_name: Rueda, Alfredo
last_name: Rueda
- first_name: Florian
full_name: Sedlmeir, Florian
last_name: Sedlmeir
- first_name: Michele
full_name: Collodo, Michele
last_name: Collodo
- first_name: Ulrich
full_name: Vogl, Ulrich
last_name: Vogl
- first_name: Birgit
full_name: Stiller, Birgit
last_name: Stiller
- first_name: Georg
full_name: Schunk, Georg
last_name: Schunk
- first_name: Dimitry
full_name: Strekalov, Dimitry
last_name: Strekalov
- first_name: Christoph
full_name: Marquardt, Christoph
last_name: Marquardt
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: Oskar
full_name: Painter, Oskar
last_name: Painter
- first_name: Gerd
full_name: Leuchs, Gerd
last_name: Leuchs
- first_name: Harald
full_name: Schwefel, Harald
last_name: Schwefel
citation:
ama: 'Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave
to optical conversion using a LiNbO₃ WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3'
apa: 'Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., …
Schwefel, H. (2016). Efficient single sideband microwave to optical conversion
using a LiNbO₃ WGM-resonator. Presented at the CLEO: Conference on Lasers and
Electro Optics, San Jose, CA, USA: IEEE. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3'
chicago: Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit
Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave
to Optical Conversion Using a LiNbO₃ WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
ieee: 'A. Rueda et al., “Efficient single sideband microwave to optical conversion
using a LiNbO₃ WGM-resonator,” presented at the CLEO: Conference on Lasers and
Electro Optics, San Jose, CA, USA, 2016.'
ista: 'Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D,
Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient single
sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. CLEO: Conference
on Lasers and Electro Optics, 7788479.'
mla: Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion
Using a LiNbO₃ WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
short: A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov,
C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
conference:
end_date: 2016-06-10
location: San Jose, CA, USA
name: 'CLEO: Conference on Lasers and Electro Optics'
start_date: 2016-06-05
date_created: 2018-12-11T11:50:14Z
date_published: 2016-12-16T00:00:00Z
date_updated: 2025-04-22T13:41:54Z
day: '16'
department:
- _id: JoFi
doi: 10.1364/CLEO_SI.2016.SF2G.3
external_id:
arxiv:
- '1601.07261'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1601.07261
month: '12'
oa: 1
oa_version: Preprint
publication_status: published
publisher: IEEE
publist_id: '6251'
quality_controlled: '1'
related_material:
link:
- relation: other
url: http://ieeexplore.ieee.org/document/7788479/
scopus_import: '1'
status: public
title: Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '1134'
abstract:
- lang: eng
text: 'Hybrid systems have both continuous and discrete dynamics and are useful
for modeling a variety of control systems, from air traffic control protocols
to robotic maneuvers and beyond. Recently, numerous powerful and scalable tools
for analyzing hybrid systems have emerged. Several of these tools implement automated
formal methods for mathematically proving a system meets a specification. This
tutorial session will present three recent hybrid systems tools: C2E2, HyST, and
TuLiP. C2E2 is a simulated-based verification tool for hybrid systems, and uses
validated numerical solvers and bloating of simulation traces to verify systems
meet specifications. HyST is a hybrid systems model transformation and translation
tool, and uses a canonical intermediate representation to support most of the
recent verification tools, as well as automated sound abstractions that simplify
verification of a given hybrid system. TuLiP is a controller synthesis tool for
hybrid systems, where given a temporal logic specification to be satisfied for
a system (plant) model, TuLiP will find a controller that meets a given specification.
© 2016 IEEE.'
article_number: '7587948'
author:
- first_name: Parasara
full_name: Duggirala, Parasara
last_name: Duggirala
- first_name: Chuchu
full_name: Fan, Chuchu
last_name: Fan
- first_name: Matthew
full_name: Potok, Matthew
last_name: Potok
- first_name: Bolun
full_name: Qi, Bolun
last_name: Qi
- first_name: Sayan
full_name: Mitra, Sayan
last_name: Mitra
- first_name: Mahesh
full_name: Viswanathan, Mahesh
last_name: Viswanathan
- first_name: Stanley
full_name: Bak, Stanley
last_name: Bak
- first_name: Sergiy
full_name: Bogomolov, Sergiy
id: 369D9A44-F248-11E8-B48F-1D18A9856A87
last_name: Bogomolov
orcid: 0000-0002-0686-0365
- first_name: Taylor
full_name: Johnson, Taylor
last_name: Johnson
- first_name: Luan
full_name: Nguyen, Luan
last_name: Nguyen
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Andrew
full_name: Sogokon, Andrew
last_name: Sogokon
- first_name: Hoang
full_name: Tran, Hoang
last_name: Tran
- first_name: Weiming
full_name: Xiang, Weiming
last_name: Xiang
citation:
ama: 'Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems
verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE
Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948'
apa: 'Duggirala, P., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., … Xiang,
W. (2016). Tutorial: Software tools for hybrid systems verification transformation
and synthesis C2E2 HyST and TuLiP. In 2016 IEEE Conference on Control Applications.
Buenos Aires, Argentina : IEEE. https://doi.org/10.1109/CCA.2016.7587948'
chicago: 'Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra,
Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems
Verification Transformation and Synthesis C2E2 HyST and TuLiP.” In 2016 IEEE
Conference on Control Applications. IEEE, 2016. https://doi.org/10.1109/CCA.2016.7587948.'
ieee: 'P. Duggirala et al., “Tutorial: Software tools for hybrid systems
verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE
Conference on Control Applications, Buenos Aires, Argentina , 2016.'
ista: 'Duggirala P, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov
S, Johnson T, Nguyen L, Schilling C, Sogokon A, Tran H, Xiang W. 2016. Tutorial:
Software tools for hybrid systems verification transformation and synthesis C2E2
HyST and TuLiP. 2016 IEEE Conference on Control Applications. CCA: Control Applications
, 7587948.'
mla: 'Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification
Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on
Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.'
short: P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak,
S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang,
in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
conference:
end_date: 2016-09-22
location: 'Buenos Aires, Argentina '
name: 'CCA: Control Applications '
start_date: 2016-09-19
date_created: 2018-12-11T11:50:20Z
date_published: 2016-10-10T00:00:00Z
date_updated: 2021-01-12T06:48:32Z
day: '10'
department:
- _id: ToHe
doi: 10.1109/CCA.2016.7587948
language:
- iso: eng
month: '10'
oa_version: None
publication: 2016 IEEE Conference on Control Applications
publication_status: published
publisher: IEEE
publist_id: '6224'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Tutorial: Software tools for hybrid systems verification transformation and
synthesis C2E2 HyST and TuLiP'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '1135'
abstract:
- lang: eng
text: 'Time-triggered (TT) switched networks are a deterministic communication infrastructure
used by real-time distributed embedded systems. These networks rely on the notion
of globally discretized time (i.e. time slots) and a static TT schedule that prescribes
which message is sent through which link at every time slot, such that all messages
reach their destination before a global timeout. These schedules are generated
offline, assuming a static network with fault-free links, and entrusting all error-handling
functions to the end user. Assuming the network is static is an over-optimistic
view, and indeed links tend to fail in practice. We study synthesis of TT schedules
on a network in which links fail over time and we assume the switches run a very
simple error-recovery protocol once they detect a crashed link. We address the
problem of finding a pk; qresistant schedule; namely, one that, assuming the switches
run a fixed error-recovery protocol, guarantees that the number of messages that
arrive at their destination by the timeout is at least no matter what sequence
of at most k links fail. Thus, we maintain the simplicity of the switches while
giving a guarantee on the number of messages that meet the timeout. We show how
a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a
schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing
fault sequence to generate a constraint that is added to the program. The newly
added constraint disallows the schedule to be regenerated in a future iteration
while also eliminating several other schedules that are not pk; q-resistant. We
illustrate the applicability of our approach using an SMT-based implementation.
© 2016 ACM.'
article_number: '26'
article_processing_charge: No
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- first_name: Shibashis
full_name: Guha, Shibashis
last_name: Guha
- first_name: Guillermo
full_name: Rodríguez Navas, Guillermo
last_name: Rodríguez Navas
citation:
ama: 'Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for
switched networks with faulty links. In: Proceedings of the 13th International
Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499'
apa: 'Avni, G., Guha, S., & Rodríguez Navas, G. (2016). Synthesizing time triggered
schedules for switched networks with faulty links. In Proceedings of the 13th
International Conference on Embedded Software . Pittsburgh, PA, USA: ACM.
https://doi.org/10.1145/2968478.2968499'
chicago: Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing
Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings
of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499.
ieee: G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules
for switched networks with faulty links,” in Proceedings of the 13th International
Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
ista: 'Avni G, Guha S, Rodríguez Navas G. 2016. Synthesizing time triggered schedules
for switched networks with faulty links. Proceedings of the 13th International
Conference on Embedded Software . EMSOFT: Embedded Software , 26.'
mla: Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks
with Faulty Links.” Proceedings of the 13th International Conference on Embedded
Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
short: G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International
Conference on Embedded Software , ACM, 2016.
conference:
end_date: 2016-10-07
location: Pittsburgh, PA, USA
name: 'EMSOFT: Embedded Software '
start_date: 2016-10-01
date_created: 2018-12-11T11:50:20Z
date_published: 2016-10-01T00:00:00Z
date_updated: 2025-09-22T14:14:05Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/2968478.2968499
ec_funded: 1
external_id:
isi:
- '000414220100026'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:31Z
date_updated: 2018-12-12T10:09:31Z
file_id: '4755'
file_name: IST-2016-644-v1+1_emsoft-no-format.pdf
file_size: 279240
relation: main_file
file_date_updated: 2018-12-12T10:09:31Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: 'Proceedings of the 13th International Conference on Embedded Software '
publication_status: published
publisher: ACM
publist_id: '6223'
pubrep_id: '644'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synthesizing time triggered schedules for switched networks with faulty links
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2016'
...
---
_id: '1136'
abstract:
- lang: eng
text: We propose an interactive sculpting system for seamlessly editing pre-computed
animations of liquid, without the need for any resimulation. The input is a sequence
of meshes without correspondences representing the liquid surface over time. Our
method enables the efficient selection of consistent space-time parts of this
animation, such as moving waves or droplets, which we call space-time features.
Once selected, a feature can be copied, edited, or duplicated and then pasted
back anywhere in space and time in the same or in another liquid animation sequence.
Our method circumvents tedious user interactions by automatically computing the
spatial and temporal ranges of the selected feature. We also provide space-time
shape editing tools for non-uniform scaling, rotation, trajectory changes, and
temporal editing to locally speed up or slow down motion. Using our tools, the
user can edit and progressively refine any input simulation result, possibly using
a library of precomputed space-time features extracted from other animations.
In contrast to the trial-and-error loop usually required to edit animation results
through the tuning of indirect simulation parameters, our method gives the user
full control over the edited space-time behaviors. © 2016 Copyright held by the
owner/author(s).
acknowledgement: This work was partly supported by the starting grant BigSplash, as
well as the advanced grant EXPRESSIVE from the European Research Council (ERC-2014-StG
638176 , and ERC-2011-ADG 20110209).
article_number: '2994261'
article_processing_charge: No
author:
- first_name: Pierre
full_name: Manteaux, Pierre
last_name: Manteaux
- first_name: Ulysse
full_name: Vimont, Ulysse
last_name: Vimont
- 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: Damien
full_name: Rohmer, Damien
last_name: Rohmer
- first_name: Marie
full_name: Cani, Marie
last_name: Cani
citation:
ama: 'Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. Space-time sculpting of
liquid animation. In: Proceedings of the 9th International Conference on Motion
in Games . ACM; 2016. doi:10.1145/2994258.2994261'
apa: 'Manteaux, P., Vimont, U., Wojtan, C., Rohmer, D., & Cani, M. (2016). Space-time
sculpting of liquid animation. In Proceedings of the 9th International Conference
on Motion in Games . San Francisco, CA, USA: ACM. https://doi.org/10.1145/2994258.2994261'
chicago: Manteaux, Pierre, Ulysse Vimont, Chris Wojtan, Damien Rohmer, and Marie
Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th
International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261.
ieee: P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting
of liquid animation,” in Proceedings of the 9th International Conference on
Motion in Games , San Francisco, CA, USA, 2016.
ista: 'Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. 2016. Space-time sculpting
of liquid animation. Proceedings of the 9th International Conference on Motion
in Games . MIG: Motion in Games, 2994261.'
mla: Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.” Proceedings
of the 9th International Conference on Motion in Games , 2994261, ACM, 2016,
doi:10.1145/2994258.2994261.
short: P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of
the 9th International Conference on Motion in Games , ACM, 2016.
conference:
end_date: 2016-10-12
location: San Francisco, CA, USA
name: 'MIG: Motion in Games'
start_date: 2016-10-10
date_created: 2018-12-11T11:50:20Z
date_published: 2016-10-10T00:00:00Z
date_updated: 2024-10-22T09:58:18Z
day: '10'
ddc:
- '004'
department:
- _id: ChWo
doi: 10.1145/2994258.2994261
ec_funded: 1
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.inria.fr/hal-01367181
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
publication: 'Proceedings of the 9th International Conference on Motion in Games '
publication_status: published
publisher: ACM
publist_id: '6222'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Space-time sculpting of liquid animation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '1137'
abstract:
- lang: eng
text: RASGRP1 is an important guanine nucleotide exchange factor and activator of
the RAS-MAPK pathway following T cell antigen receptor (TCR) signaling. The consequences
of RASGRP1 mutations in humans are unknown. In a patient with recurrent bacterial
and viral infections, born to healthy consanguineous parents, we used homozygosity
mapping and exome sequencing to identify a biallelic stop-gain variant in RASGRP1.
This variant segregated perfectly with the disease and has not been reported in
genetic databases. RASGRP1 deficiency was associated in T cells and B cells with
decreased phosphorylation of the extracellular-signal-regulated serine kinase
ERK, which was restored following expression of wild-type RASGRP1. RASGRP1 deficiency
also resulted in defective proliferation, activation and motility of T cells and
B cells. RASGRP1-deficient natural killer (NK) cells exhibited impaired cytotoxicity
with defective granule convergence and actin accumulation. Interaction proteomics
identified the dynein light chain DYNLL1 as interacting with RASGRP1, which links
RASGRP1 to cytoskeletal dynamics. RASGRP1-deficient cells showed decreased activation
of the GTPase RhoA. Treatment with lenalidomide increased RhoA activity and reversed
the migration and activation defects of RASGRP1-deficient lymphocytes.
article_processing_charge: No
article_type: original
author:
- first_name: Elisabeth
full_name: Salzer, Elisabeth
last_name: Salzer
- first_name: Deniz
full_name: Çaǧdaş, Deniz
last_name: Çaǧdaş
- first_name: Miroslav
full_name: Hons, Miroslav
id: 4167FE56-F248-11E8-B48F-1D18A9856A87
last_name: Hons
orcid: 0000-0002-6625-3348
- first_name: Emily
full_name: Mace, Emily
last_name: Mace
- first_name: Wojciech
full_name: Garncarz, Wojciech
last_name: Garncarz
- first_name: Oezlem
full_name: Petronczki, Oezlem
last_name: Petronczki
- first_name: René
full_name: Platzer, René
last_name: Platzer
- first_name: Laurène
full_name: Pfajfer, Laurène
last_name: Pfajfer
- first_name: Ivan
full_name: Bilic, Ivan
last_name: Bilic
- first_name: Sol
full_name: Ban, Sol
last_name: Ban
- first_name: Katharina
full_name: Willmann, Katharina
last_name: Willmann
- first_name: Malini
full_name: Mukherjee, Malini
last_name: Mukherjee
- first_name: Verena
full_name: Supper, Verena
last_name: Supper
- first_name: Hsiangting
full_name: Hsu, Hsiangting
last_name: Hsu
- first_name: Pinaki
full_name: Banerjee, Pinaki
last_name: Banerjee
- first_name: Papiya
full_name: Sinha, Papiya
last_name: Sinha
- first_name: Fabienne
full_name: Mcclanahan, Fabienne
last_name: Mcclanahan
- first_name: Gerhard
full_name: Zlabinger, Gerhard
last_name: Zlabinger
- first_name: Winfried
full_name: Pickl, Winfried
last_name: Pickl
- first_name: John
full_name: Gribben, John
last_name: Gribben
- first_name: Hannes
full_name: Stockinger, Hannes
last_name: Stockinger
- first_name: Keiryn
full_name: Bennett, Keiryn
last_name: Bennett
- first_name: Johannes
full_name: Huppa, Johannes
last_name: Huppa
- first_name: Loï̈C
full_name: Dupré, Loï̈C
last_name: Dupré
- first_name: Özden
full_name: Sanal, Özden
last_name: Sanal
- first_name: Ulrich
full_name: Jäger, Ulrich
last_name: Jäger
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Ilhan
full_name: Tezcan, Ilhan
last_name: Tezcan
- first_name: Jordan
full_name: Orange, Jordan
last_name: Orange
- first_name: Kaan
full_name: Boztug, Kaan
last_name: Boztug
citation:
ama: Salzer E, Çaǧdaş D, Hons M, et al. RASGRP1 deficiency causes immunodeficiency
with impaired cytoskeletal dynamics. Nature Immunology. 2016;17(12):1352-1360.
doi:10.1038/ni.3575
apa: Salzer, E., Çaǧdaş, D., Hons, M., Mace, E., Garncarz, W., Petronczki, O., …
Boztug, K. (2016). RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal
dynamics. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3575
chicago: Salzer, Elisabeth, Deniz Çaǧdaş, Miroslav Hons, Emily Mace, Wojciech Garncarz,
Oezlem Petronczki, René Platzer, et al. “RASGRP1 Deficiency Causes Immunodeficiency
with Impaired Cytoskeletal Dynamics.” Nature Immunology. Nature Publishing
Group, 2016. https://doi.org/10.1038/ni.3575.
ieee: E. Salzer et al., “RASGRP1 deficiency causes immunodeficiency with
impaired cytoskeletal dynamics,” Nature Immunology, vol. 17, no. 12. Nature
Publishing Group, pp. 1352–1360, 2016.
ista: Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer
L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha
P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa
J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1
deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature
Immunology. 17(12), 1352–1360.
mla: Salzer, Elisabeth, et al. “RASGRP1 Deficiency Causes Immunodeficiency with
Impaired Cytoskeletal Dynamics.” Nature Immunology, vol. 17, no. 12, Nature
Publishing Group, 2016, pp. 1352–60, doi:10.1038/ni.3575.
short: E. Salzer, D. Çaǧdaş, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer,
L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P.
Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger,
K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange,
K. Boztug, Nature Immunology 17 (2016) 1352–1360.
date_created: 2018-12-11T11:50:21Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2025-09-22T14:13:22Z
day: '01'
department:
- _id: MiSi
doi: 10.1038/ni.3575
external_id:
isi:
- '000388056400005'
pmid:
- '27776107'
intvolume: ' 17'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6400263
month: '12'
oa: 1
oa_version: Submitted Version
page: 1352 - 1360
pmid: 1
publication: Nature Immunology
publication_status: published
publisher: Nature Publishing Group
publist_id: '6221'
quality_controlled: '1'
scopus_import: '1'
status: public
title: RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2016'
...
---
_id: '1138'
abstract:
- lang: eng
text: Automata with monitor counters, where the transitions do not depend on counter
values, and nested weighted automata are two expressive automata-theoretic frameworks
for quantitative properties. For a well-studied and wide class of quantitative
functions, we establish that automata with monitor counters and nested weighted
automata are equivalent. We study for the first time such quantitative automata
under probabilistic semantics. We show that several problems that are undecidable
for the classical questions of emptiness and universality become decidable under
the probabilistic semantics. We present a complete picture of decidability for
such automata, and even an almost-complete picture of computational complexity,
for the probabilistic questions we consider. © 2016 ACM.
acknowledgement: This research was funded in part by the European Research Council
(ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF)
projects S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), FWF Grant No P23499-
N23, FWF NFN Grant No S114
article_processing_charge: No
arxiv: 1
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
citation:
ama: 'Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic
semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE;
2016:76-85. doi:10.1145/2933575.2933588'
apa: 'Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata
under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium
(pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588'
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative
Automata under Probabilistic Semantics.” In Proceedings of the 31st Annual
ACM/IEEE Symposium, 76–85. IEEE, 2016. https://doi.org/10.1145/2933575.2933588.
ieee: K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under
probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium,
New York, NY, USA, 2016, pp. 76–85.
ista: 'Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic
semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer
Science, 76–85.'
mla: Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.”
Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85,
doi:10.1145/2933575.2933588.
short: K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual
ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
conference:
end_date: 2016-07-08
location: New York, NY, USA
name: 'LICS: Logic in Computer Science'
start_date: 2016-07-05
date_created: 2018-12-11T11:50:21Z
date_published: 2016-07-05T00:00:00Z
date_updated: 2025-09-22T14:12:47Z
day: '05'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1145/2933575.2933588
ec_funded: 1
external_id:
arxiv:
- '1604.06764'
isi:
- '000387609200008'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.06764
month: '07'
oa: 1
oa_version: Preprint
page: 76 - 85
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 31st Annual ACM/IEEE Symposium
publication_status: published
publisher: IEEE
publist_id: '6220'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative automata under probabilistic semantics
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2016'
...
---
_id: '1139'
abstract:
- lang: eng
text: Microtubules switch stochastically between phases of growth and shrinkage.
The molecular mechanism responsible for the end of a growth phase, an event called
catastrophe, is still not understood. The probability for a catastrophe to occur
increases with microtubule age, putting constraints on the possible molecular
mechanism of catastrophe induction. Here we used microfluidics-Assisted fast tubulin
washout experiments to induce microtubule depolymerization in a controlled manner
at different times after the start of growth. We found that aging can also be
observed in this assay, providing valuable new constraints against which theoretical
models of catastrophe induction can be tested. We found that the data can be quantitatively
well explained by a simple kinetic threshold model that assumes an age-dependent
broadening of the protective cap at the microtubule end as a result of an evolving
tapered end structure; this leads to a decrease of the cap density and its stability.
This analysis suggests an intuitive picture of the role of morphological changes
of the protective cap for the age dependence of microtubule stability.
article_processing_charge: No
author:
- first_name: Christian F
full_name: Düllberg, Christian F
id: 459064DC-F248-11E8-B48F-1D18A9856A87
last_name: Düllberg
orcid: 0000-0001-6335-9748
- first_name: Nicholas
full_name: Cade, Nicholas
last_name: Cade
- first_name: Thomas
full_name: Surrey, Thomas
last_name: Surrey
citation:
ama: Düllberg CF, Cade N, Surrey T. Microtubule aging probed by microfluidics assisted
tubulin washout. Molecular Biology and Evolution. 2016;27(22):3563-3573.
doi:10.1091/mbc.E16-07-0548
apa: Düllberg, C. F., Cade, N., & Surrey, T. (2016). Microtubule aging probed
by microfluidics assisted tubulin washout. Molecular Biology and Evolution.
Oxford University Press. https://doi.org/10.1091/mbc.E16-07-0548
chicago: Düllberg, Christian F, Nicholas Cade, and Thomas Surrey. “Microtubule Aging
Probed by Microfluidics Assisted Tubulin Washout.” Molecular Biology and Evolution.
Oxford University Press, 2016. https://doi.org/10.1091/mbc.E16-07-0548.
ieee: C. F. Düllberg, N. Cade, and T. Surrey, “Microtubule aging probed by microfluidics
assisted tubulin washout,” Molecular Biology and Evolution, vol. 27, no.
22. Oxford University Press, pp. 3563–3573, 2016.
ista: Düllberg CF, Cade N, Surrey T. 2016. Microtubule aging probed by microfluidics
assisted tubulin washout. Molecular Biology and Evolution. 27(22), 3563–3573.
mla: Düllberg, Christian F., et al. “Microtubule Aging Probed by Microfluidics Assisted
Tubulin Washout.” Molecular Biology and Evolution, vol. 27, no. 22, Oxford
University Press, 2016, pp. 3563–73, doi:10.1091/mbc.E16-07-0548.
short: C.F. Düllberg, N. Cade, T. Surrey, Molecular Biology and Evolution 27 (2016)
3563–3573.
date_created: 2018-12-11T11:50:21Z
date_published: 2016-11-07T00:00:00Z
date_updated: 2021-01-12T06:48:34Z
day: '07'
doi: 10.1091/mbc.E16-07-0548
extern: '1'
intvolume: ' 27'
issue: '22'
language:
- iso: eng
month: '11'
oa_version: None
page: 3563 - 3573
publication: Molecular Biology and Evolution
publication_status: published
publisher: Oxford University Press
publist_id: '6218'
status: public
title: Microtubule aging probed by microfluidics assisted tubulin washout
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2016'
...
---
_id: '1140'
abstract:
- lang: eng
text: 'Given a model of a system and an objective, the model-checking question asks
whether the model satisfies the objective. We study polynomial-time problems in
two classical models, graphs and Markov Decision Processes (MDPs), with respect
to several fundamental -regular objectives, e.g., Rabin and Streett objectives.
For many of these problems the best-known upper bounds are quadratic or cubic,
yet no super-linear lower bounds are known. In this work our contributions are
two-fold: First, we present several improved algorithms, and second, we present
the first conditional super-linear lower bounds based on widely believed assumptions
about the complexity of CNF-SAT and combinatorial Boolean matrix multiplication.
A separation result for two models with respect to an objective means a conditional
lower bound for one model that is strictly higher than the existing upper bound
for the other model, and similarly for two objectives with respect to a model.
Our results establish the following separation results: (1) A separation of models
(graphs and MDPs) for disjunctive queries of reachability and Büchi objectives.
(2) Two kinds of separations of objectives, both for graphs and MDPs, namely,
(2a) the separation of dual objectives such as Streett/Rabin objectives, and (2b)
the separation of conjunction and disjunction of multiple objectives of the same
type such as safety, Büchi, and coBüchi. In summary, our results establish the
first model and objective separation results for graphs and MDPs for various classical
-regular objectives. Quite strikingly, we establish conditional lower bounds for
the disjunction of objectives that are strictly higher than the existing upper
bounds for the conjunction of the same objectives. © 2016 ACM.'
acknowledgement: "K. C., M. H., and W. D. are partially supported by the
\ Vienna\r\nScience and Technology Fund (WWTF) through project ICT15-003.\r\nK.
C. is partially supported by the Austrian Science Fund (FWF)\r\nNFN Grant No S11407-N23
(RiSE/SHiNE) and an ERC Start grant\r\n(279307: Graph Games). For W. D., M. H.,
and V. L. the research\r\nleading to these results has received funding from the
European\r\nResearch Council under the European Union’s Seventh Framework\r\nProgramme
(FP/2007-2013) / ERC Grant Agreement no. 340506."
alternative_title:
- Proceedings Symposium on Logic in Computer Science
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Wolfgang
full_name: Dvoák, Wolfgang
last_name: Dvoák
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Veronika
full_name: Loitzenbauer, Veronika
last_name: Loitzenbauer
citation:
ama: 'Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. Model and objective separation
with conditional lower bounds: disjunction is harder than conjunction. In: Proceedings
of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE;
2016:197-206. doi:10.1145/2933575.2935304'
apa: 'Chatterjee, K., Dvoák, W., Henzinger, M., & Loitzenbauer, V. (2016). Model
and objective separation with conditional lower bounds: disjunction is harder
than conjunction. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic
in Computer Science (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304'
chicago: 'Chatterjee, Krishnendu, Wolfgang Dvoák, Monika Henzinger, and Veronika
Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds: Disjunction
Is Harder than Conjunction.” In Proceedings of the 31st Annual ACM/IEEE Symposium
on Logic in Computer Science, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.'
ieee: 'K. Chatterjee, W. Dvoák, M. Henzinger, and V. Loitzenbauer, “Model and objective
separation with conditional lower bounds: disjunction is harder than conjunction,”
in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
New York, NY, USA, 2016, pp. 197–206.'
ista: 'Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. 2016. Model and objective
separation with conditional lower bounds: disjunction is harder than conjunction.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science.
LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science,
, 197–206.'
mla: 'Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional
Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st
Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206,
doi:10.1145/2933575.2935304.'
short: K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings
of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016,
pp. 197–206.
conference:
end_date: 2016-07-08
location: New York, NY, USA
name: 'LICS: Logic in Computer Science'
start_date: 2016-07-05
date_created: 2018-12-11T11:50:22Z
date_published: 2016-07-05T00:00:00Z
date_updated: 2025-09-22T14:12:05Z
day: '05'
department:
- _id: KrCh
doi: 10.1145/2933575.2935304
external_id:
arxiv:
- '1602.02670'
isi:
- '000387609200020'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1602.02670
month: '07'
oa: 1
oa_version: Preprint
page: 197 - 206
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_status: published
publisher: IEEE
publist_id: '6219'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Model and objective separation with conditional lower bounds: disjunction
is harder than conjunction'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2016'
...
---
_id: '1141'
abstract:
- lang: eng
text: In this paper we introduce the Multiobjective Optimization Hierarchic Genetic
Strategy with maturing (MO-mHGS), a meta-algorithm that performs evolutionary
optimization in a hierarchy of populations. The maturing mechanism improves growth
and reduces redundancy. The performance of MO-mHGS with selected state-of-the-art
multiobjective evolutionary algorithms as internal algorithms is analysed on benchmark
problems and their modifications for which single fitness evaluation time depends
on the solution accuracy. We compare the proposed algorithm with the Island Model
Genetic Algorithm as well as with single-deme methods, and discuss the impact
of internal algorithms on the MO-mHGS meta-algorithm. © 2016 Elsevier B.V.
acknowledgement: The work presented in this paper was partially supported by Polish
National Science Centre grant nos. DEC-2012/05/N/ST6/03433 and DEC-2011/03/B/ST6/01393.
Radosław Łazarz was supported by Polish National Science Centre grant no. DEC-2013/10/M/ST6/00531.
article_processing_charge: No
author:
- first_name: Radosław
full_name: Łazarz, Radosław
last_name: Łazarz
- first_name: Michał
full_name: Idzik, Michał
last_name: Idzik
- first_name: Konrad
full_name: Gądek, Konrad
last_name: Gądek
- first_name: Ewa P
full_name: Gajda-Zagorska, Ewa P
id: 47794CF0-F248-11E8-B48F-1D18A9856A87
last_name: Gajda-Zagorska
citation:
ama: Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. Hierarchic genetic strategy
with maturing as a generic tool for multiobjective optimization. Journal of
Computational Science. 2016;17(1):249-260. doi:10.1016/j.jocs.2016.03.004
apa: Łazarz, R., Idzik, M., Gądek, K., & Gajda-Zagorska, E. P. (2016). Hierarchic
genetic strategy with maturing as a generic tool for multiobjective optimization.
Journal of Computational Science. Elsevier. https://doi.org/10.1016/j.jocs.2016.03.004
chicago: Łazarz, Radosław, Michał Idzik, Konrad Gądek, and Ewa P Gajda-Zagorska.
“Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective
Optimization.” Journal of Computational Science. Elsevier, 2016. https://doi.org/10.1016/j.jocs.2016.03.004.
ieee: R. Łazarz, M. Idzik, K. Gądek, and E. P. Gajda-Zagorska, “Hierarchic genetic
strategy with maturing as a generic tool for multiobjective optimization,” Journal
of Computational Science, vol. 17, no. 1. Elsevier, pp. 249–260, 2016.
ista: Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. 2016. Hierarchic genetic strategy
with maturing as a generic tool for multiobjective optimization. Journal of Computational
Science. 17(1), 249–260.
mla: Łazarz, Radosław, et al. “Hierarchic Genetic Strategy with Maturing as a Generic
Tool for Multiobjective Optimization.” Journal of Computational Science,
vol. 17, no. 1, Elsevier, 2016, pp. 249–60, doi:10.1016/j.jocs.2016.03.004.
short: R. Łazarz, M. Idzik, K. Gądek, E.P. Gajda-Zagorska, Journal of Computational
Science 17 (2016) 249–260.
date_created: 2018-12-11T11:50:22Z
date_published: 2016-11-01T00:00:00Z
date_updated: 2025-09-22T14:11:23Z
day: '01'
department:
- _id: ChWo
doi: 10.1016/j.jocs.2016.03.004
external_id:
isi:
- '000390625600021'
intvolume: ' 17'
isi: 1
issue: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 249 - 260
publication: Journal of Computational Science
publication_status: published
publisher: Elsevier
publist_id: '6217'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Hierarchic genetic strategy with maturing as a generic tool for multiobjective
optimization
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2016'
...
---
_id: '1142'
abstract:
- lang: eng
text: Hemolysis drives susceptibility to bacterial infections and predicts poor
outcome from sepsis. These detrimental effects are commonly considered to be a
consequence of heme-iron serving as a nutrient for bacteria. We employed a Gram-negative
sepsis model and found that elevated heme levels impaired the control of bacterial
proliferation independently of heme-iron acquisition by pathogens. Heme strongly
inhibited phagocytosis and the migration of human and mouse phagocytes by disrupting
actin cytoskeletal dynamics via activation of the GTP-binding Rho family protein
Cdc42 by the guanine nucleotide exchange factor DOCK8. A chemical screening approach
revealed that quinine effectively prevented heme effects on the cytoskeleton,
restored phagocytosis and improved survival in sepsis. These mechanistic insights
provide potential therapeutic targets for patients with sepsis or hemolytic disorders.
acknowledgement: 'Y. Fukui (Medical Institute of Bioregulation, Kyushu University)
and J. Stein (Theodor Kocher Institute, University of Bern) are acknowledged for
providing the DOCK8 deficient bone marrow. and H. Häcker (St. Judes Children''s
Research Hospital) for providing the ERHBD-HoxB8-encoding retroviral construct.
pSpCas9(BB)-2a-Puro (PX459) was a gift from F. Zhang (Massachusetts Institute of
Technology) (Addgene plasmid # 48139) and pGRG36 was a gift from N. Craig (Johns
Hopkins University School of Medicine) (Addgene plasmid # 16666). LifeAct-GFP-encoding
retrovirus was kindly provided by A. Leithner (Institute of Science and Technology
Austria). pSIM8 and TKC E. coli were gifts from D.L. Court (Center for Cancer Research,
National Cancer Institute). We acknowledge M. Gröger and S. Rauscher for excellent
technical support (Core imaging facility, Medical University of Vienna). We thank
D.P. Barlow and L.R. Cheever for critical reading of the manuscript. This work was
supported by the Austrian Academy of Sciences, the Science Fund of the Austrian
National Bank (14107) and the Austrian Science Fund FWF (I1620-B22) in the Infect-ERA
framework (to S.Knapp).'
article_processing_charge: No
author:
- first_name: Rui
full_name: Martins, Rui
last_name: Martins
- first_name: Julia
full_name: Maier, Julia
last_name: Maier
- first_name: Anna
full_name: Gorki, Anna
last_name: Gorki
- first_name: Kilian
full_name: Huber, Kilian
last_name: Huber
- first_name: Omar
full_name: Sharif, Omar
last_name: Sharif
- first_name: Philipp
full_name: Starkl, Philipp
last_name: Starkl
- first_name: Simona
full_name: Saluzzo, Simona
last_name: Saluzzo
- first_name: Federica
full_name: Quattrone, Federica
last_name: Quattrone
- first_name: Riem
full_name: Gawish, Riem
last_name: Gawish
- first_name: Karin
full_name: Lakovits, Karin
last_name: Lakovits
- first_name: Michael
full_name: Aichinger, Michael
last_name: Aichinger
- first_name: Branka
full_name: Radic Sarikas, Branka
last_name: Radic Sarikas
- first_name: Charles
full_name: Lardeau, Charles
last_name: Lardeau
- first_name: Anastasiya
full_name: Hladik, Anastasiya
last_name: Hladik
- first_name: Ana
full_name: Korosec, Ana
last_name: Korosec
- first_name: Markus
full_name: Brown, Markus
id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
last_name: Brown
- first_name: Kari
full_name: Vaahtomeri, Kari
id: 368EE576-F248-11E8-B48F-1D18A9856A87
last_name: Vaahtomeri
orcid: 0000-0001-7829-3518
- first_name: Michelle
full_name: Duggan, Michelle
id: 2EDEA62C-F248-11E8-B48F-1D18A9856A87
last_name: Duggan
- first_name: Dontscho
full_name: Kerjaschki, Dontscho
last_name: Kerjaschki
- first_name: Harald
full_name: Esterbauer, Harald
last_name: Esterbauer
- first_name: Jacques
full_name: Colinge, Jacques
last_name: Colinge
- first_name: Stephanie
full_name: Eisenbarth, Stephanie
last_name: Eisenbarth
- first_name: Thomas
full_name: Decker, Thomas
last_name: Decker
- first_name: Keiryn
full_name: Bennett, Keiryn
last_name: Bennett
- first_name: Stefan
full_name: Kubicek, Stefan
last_name: Kubicek
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Giulio
full_name: Superti Furga, Giulio
last_name: Superti Furga
- first_name: Sylvia
full_name: Knapp, Sylvia
last_name: Knapp
citation:
ama: Martins R, Maier J, Gorki A, et al. Heme drives hemolysis-induced susceptibility
to infection via disruption of phagocyte functions. Nature Immunology.
2016;17(12):1361-1372. doi:10.1038/ni.3590
apa: Martins, R., Maier, J., Gorki, A., Huber, K., Sharif, O., Starkl, P., … Knapp,
S. (2016). Heme drives hemolysis-induced susceptibility to infection via disruption
of phagocyte functions. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3590
chicago: Martins, Rui, Julia Maier, Anna Gorki, Kilian Huber, Omar Sharif, Philipp
Starkl, Simona Saluzzo, et al. “Heme Drives Hemolysis-Induced Susceptibility to
Infection via Disruption of Phagocyte Functions.” Nature Immunology. Nature
Publishing Group, 2016. https://doi.org/10.1038/ni.3590.
ieee: R. Martins et al., “Heme drives hemolysis-induced susceptibility to
infection via disruption of phagocyte functions,” Nature Immunology, vol.
17, no. 12. Nature Publishing Group, pp. 1361–1372, 2016.
ista: Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone
F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec
A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth
S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme
drives hemolysis-induced susceptibility to infection via disruption of phagocyte
functions. Nature Immunology. 17(12), 1361–1372.
mla: Martins, Rui, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection
via Disruption of Phagocyte Functions.” Nature Immunology, vol. 17, no.
12, Nature Publishing Group, 2016, pp. 1361–72, doi:10.1038/ni.3590.
short: R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo,
F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau,
A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer,
J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti
Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.
date_created: 2018-12-11T11:50:22Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2025-09-22T14:10:50Z
day: '01'
department:
- _id: MiSi
- _id: PeJo
doi: 10.1038/ni.3590
external_id:
isi:
- '000388056400006'
intvolume: ' 17'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://ora.ox.ac.uk/objects/uuid:f53a464e-1e5b-4f08-a7d8-b6749b852b9d
month: '12'
oa: 1
oa_version: Submitted Version
page: 1361 - 1372
publication: Nature Immunology
publication_status: published
publisher: Nature Publishing Group
publist_id: '6216'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Heme drives hemolysis-induced susceptibility to infection via disruption of
phagocyte functions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2016'
...
---
_id: '1143'
abstract:
- lang: eng
text: We study the ground state of a dilute Bose gas in a scaling limit where the
Gross-Pitaevskii functional emerges. This is a repulsive nonlinear Schrödinger
functional whose quartic term is proportional to the scattering length of the
interparticle interaction potential. We propose a new derivation of this limit
problem, with a method that bypasses some of the technical difficulties that previous
derivations had to face. The new method is based on a combination of Dyson\'s
lemma, the quantum de Finetti theorem and a second moment estimate for ground
states of the effective Dyson Hamiltonian. It applies equally well to the case
where magnetic fields or rotation are present.
article_processing_charge: No
arxiv: 1
author:
- first_name: Phan
full_name: Nam, Phan
id: 404092F4-F248-11E8-B48F-1D18A9856A87
last_name: Nam
- first_name: Nicolas
full_name: Rougerie, Nicolas
last_name: Rougerie
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The
gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485.
doi:10.2140/apde.2016.9.459'
apa: 'Nam, P., Rougerie, N., & Seiringer, R. (2016). Ground states of large
bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE.
Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2016.9.459'
chicago: 'Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large
Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE.
Mathematical Sciences Publishers, 2016. https://doi.org/10.2140/apde.2016.9.459.'
ieee: 'P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems:
The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2.
Mathematical Sciences Publishers, pp. 459–485, 2016.'
ista: 'Nam P, Rougerie N, Seiringer R. 2016. Ground states of large bosonic systems:
The gross Pitaevskii limit revisited. Analysis and PDE. 9(2), 459–485.'
mla: 'Nam, Phan, et al. “Ground States of Large Bosonic Systems: The Gross Pitaevskii
Limit Revisited.” Analysis and PDE, vol. 9, no. 2, Mathematical Sciences
Publishers, 2016, pp. 459–85, doi:10.2140/apde.2016.9.459.'
short: P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
date_created: 2018-12-11T11:50:23Z
date_published: 2016-03-24T00:00:00Z
date_updated: 2025-09-22T14:10:16Z
day: '24'
department:
- _id: RoSe
doi: 10.2140/apde.2016.9.459
ec_funded: 1
external_id:
arxiv:
- '1503.07061'
isi:
- '000378287000006'
intvolume: ' 9'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1503.07061
month: '03'
oa: 1
oa_version: Preprint
page: 459 - 485
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Analysis and PDE
publication_status: published
publisher: Mathematical Sciences Publishers
publist_id: '6215'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Ground states of large bosonic systems: The gross Pitaevskii limit revisited'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 9
year: '2016'
...
---
_id: '100'
abstract:
- lang: eng
text: We introduce a scheme for preparation, manipulation, and read out of Majorana
zero modes in semiconducting wires with mesoscopic superconducting islands. Our
approach synthesizes recent advances in materials growth with tools commonly used
in quantum-dot experiments, including gate control of tunnel barriers and Coulomb
effects, charge sensing, and charge pumping. We outline a sequence of milestones
interpolating between zero-mode detection and quantum computing that includes
(1) detection of fusion rules for non-Abelian anyons using either proximal charge
sensors or pumped current, (2) validation of a prototype topological qubit, and
(3) demonstration of non-Abelian statistics by braiding in a branched geometry.
The first two milestones require only a single wire with two islands, and additionally
enable sensitive measurements of the system\'s excitation gap, quasiparticle poisoning
rates, residual Majorana zero-mode splittings, and topological-qubit coherence
times. These pre-braiding experiments can be adapted to other manipulation and
read out schemes as well.
acknowledgement: We acknowledge support from Microsoft Research, the National Science
Foundation through Grant No. DMR-1341822 (J. A.); the Alfred P. Sloan Foundation
(J. A.); the Caltech Institute for Quantum Information and Matter, an NSF Physics
Frontiers Center with support of the Gordon and Betty Moore Foundation through Grant
No. GBMF1250; the Walter Burke Institute for Theoretical Physics at Caltech; the
NSERC PGSD program (D. A.); the Crafoord Foundation (M. L. and M. H.) and the Swedish
Research Council (M. L.); The Danish National Research Foundation, and the Villum
Foundation (C. M.); The Danish Council for Independent Research/Natural Sciences,
and Danmarks Nationalbank (J. F.). Part of this work was performed at the Aspen
Center for Physics, which is supported by National Science Foundation Grant No.
PHY-1066293 (R. V. M.).
article_number: '031016'
author:
- first_name: David
full_name: Aasen, David
last_name: Aasen
- first_name: Michael
full_name: Hell, Michael
last_name: Hell
- first_name: Ryan
full_name: Mishmash, Ryan
last_name: Mishmash
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Jeroen
full_name: Danon, Jeroen
last_name: Danon
- first_name: Martin
full_name: Leijnse, Martin
last_name: Leijnse
- first_name: Thomas
full_name: Jespersen, Thomas
last_name: Jespersen
- first_name: Joshua
full_name: Folk, Joshua
last_name: Folk
- first_name: Charles
full_name: Marcs, Charles
last_name: Marcs
- first_name: Karsten
full_name: Flensberg, Karsten
last_name: Flensberg
- first_name: Jason
full_name: Alicea, Jason
last_name: Alicea
citation:
ama: Aasen D, Hell M, Mishmash R, et al. Milestones toward Majorana-based quantum
computing. Physical Review X. 2016;6(3). doi:10.1103/PhysRevX.6.031016
apa: Aasen, D., Hell, M., Mishmash, R., Higginbotham, A. P., Danon, J., Leijnse,
M., … Alicea, J. (2016). Milestones toward Majorana-based quantum computing. Physical
Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.6.031016
chicago: Aasen, David, Michael Hell, Ryan Mishmash, Andrew P Higginbotham, Jeroen
Danon, Martin Leijnse, Thomas Jespersen, et al. “Milestones toward Majorana-Based
Quantum Computing.” Physical Review X. American Physical Society, 2016.
https://doi.org/10.1103/PhysRevX.6.031016.
ieee: D. Aasen et al., “Milestones toward Majorana-based quantum computing,”
Physical Review X, vol. 6, no. 3. American Physical Society, 2016.
ista: Aasen D, Hell M, Mishmash R, Higginbotham AP, Danon J, Leijnse M, Jespersen
T, Folk J, Marcs C, Flensberg K, Alicea J. 2016. Milestones toward Majorana-based
quantum computing. Physical Review X. 6(3), 031016.
mla: Aasen, David, et al. “Milestones toward Majorana-Based Quantum Computing.”
Physical Review X, vol. 6, no. 3, 031016, American Physical Society, 2016,
doi:10.1103/PhysRevX.6.031016.
short: D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse,
T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6
(2016).
date_created: 2018-12-11T11:44:37Z
date_published: 2016-08-03T00:00:00Z
date_updated: 2021-01-12T06:47:33Z
day: '03'
ddc:
- '530'
doi: 10.1103/PhysRevX.6.031016
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: kschuh
date_created: 2019-05-15T14:12:31Z
date_updated: 2019-05-15T14:12:31Z
file_id: '6458'
file_name: 2016_PhysRevX_Aasen.pdf
file_size: 2142676
relation: main_file
success: 1
file_date_updated: 2019-05-15T14:12:31Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '3'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: Physical Review X
publication_status: published
publisher: American Physical Society
publist_id: '7954'
quality_controlled: '1'
status: public
title: Milestones toward Majorana-based quantum computing
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2016'
...
---
_id: '1008'
abstract:
- lang: eng
text: Feedback loops in biological networks, among others, enable differentiation
and cell cycle progression, and increase robustness in signal transduction. In
natural networks, feedback loops are often complex and intertwined, making it
challenging to identify which loops are mainly responsible for an observed behavior.
However, minimal synthetic replicas could allow for such identification. Here,
we engineered a synthetic permease-inducer-repressor system in Saccharomyces cerevisiae
to analyze if a transport-mediated positive feedback loop could be a core mechanism
for the switch-like behavior in the regulation of metabolic gene networks such
as the S. cerevisiae GAL system or the Escherichia coli lac operon. We characterized
the synthetic circuit using deterministic and stochastic mathematical models.
Similar to its natural counterparts, our synthetic system shows bistable and hysteretic
behavior, and the inducer concentration range for bistability as well as the switching
rates between the two stable states depend on the repressor concentration. Our
results indicate that a generic permease–inducer–repressor circuit with a single
feedback loop is sufficient to explain the experimentally observed bistable behavior
of the natural systems. We anticipate that the approach of reimplementing natural
systems with orthogonal parts to identify crucial network components is applicable
to other natural systems such as signaling pathways.
acknowledgement: We thank Julio Polaina (Instituto de Agroqu ı ́ mica y Tecnolog ı
́ a de Alimentos, C.S.I.C., Paterna, Spain) for the gift of plasmid pMR4, Gregor
W. Schmidt for provision of and support with the micro fl uidic device, Markus Du
̈ rr for the cell tracking R script, and Lukas Widmer for the script for MEIGO using
“ parfor ” in MATLAB. We acknowledge the members of the Stelling group for discussions,
comments, and support.
article_processing_charge: No
author:
- first_name: Robert
full_name: Gnügge, Robert
last_name: Gnügge
- first_name: Lekshmi
full_name: Dharmarajan, Lekshmi
last_name: Dharmarajan
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Jörg
full_name: Stelling, Jörg
last_name: Stelling
citation:
ama: Gnügge R, Dharmarajan L, Lang M, Stelling J. An orthogonal permease–inducer–repressor
feedback loop shows bistability. ACS Synthetic Biology. 2016;5(10):1098-1107.
doi:10.1021/acssynbio.6b00013
apa: Gnügge, R., Dharmarajan, L., Lang, M., & Stelling, J. (2016). An orthogonal
permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology.
American Chemical Society. https://doi.org/10.1021/acssynbio.6b00013
chicago: Gnügge, Robert, Lekshmi Dharmarajan, Moritz Lang, and Jörg Stelling. “An
Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS
Synthetic Biology. American Chemical Society, 2016. https://doi.org/10.1021/acssynbio.6b00013.
ieee: R. Gnügge, L. Dharmarajan, M. Lang, and J. Stelling, “An orthogonal permease–inducer–repressor
feedback loop shows bistability,” ACS Synthetic Biology, vol. 5, no. 10.
American Chemical Society, pp. 1098–1107, 2016.
ista: Gnügge R, Dharmarajan L, Lang M, Stelling J. 2016. An orthogonal permease–inducer–repressor
feedback loop shows bistability. ACS Synthetic Biology. 5(10), 1098–1107.
mla: Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop
Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical
Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
short: R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5
(2016) 1098–1107.
date_created: 2018-12-11T11:49:40Z
date_published: 2016-05-05T00:00:00Z
date_updated: 2025-09-22T14:20:45Z
day: '05'
department:
- _id: CaGu
doi: 10.1021/acssynbio.6b00013
external_id:
isi:
- '000386196100008'
intvolume: ' 5'
isi: 1
issue: '10'
language:
- iso: eng
month: '05'
oa_version: None
page: 1098 - 1107
publication: ACS Synthetic Biology
publication_status: published
publisher: American Chemical Society
publist_id: '6390'
quality_controlled: '1'
status: public
title: An orthogonal permease–inducer–repressor feedback loop shows bistability
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 5
year: '2016'
...
---
_id: '101'
abstract:
- lang: eng
text: Majorana zero modes are quasiparticle excitations in condensed matter systems
that have been proposed as building blocks of fault-tolerant quantum computers.
They are expected to exhibit non-Abelian particle statistics, in contrast to the
usual statistics of fermions and bosons, enabling quantum operations to be performed
by braiding isolated modes around one another. Quantum braiding operations are
topologically protected insofar as these modes are pinned near zero energy, with
the departure from zero expected to be exponentially small as the modes become
spatially separated. Following theoretical proposals, several experiments have
identified signatures of Majorana modes in nanowires with proximity-induced superconductivity
and atomic chains, with small amounts of mode splitting potentially explained
by hybridization of Majorana modes. Here, we use Coulomb-blockade spectroscopy
in an InAs nanowire segment with epitaxial aluminium, which forms a proximity-induced
superconducting Coulomb island (a â ∼ Majorana islandâ (tm)) that is isolated
from normal-metal leads by tunnel barriers, to measure the splitting of near-zero-energy
Majorana modes. We observe exponential suppression of energy splitting with increasing
wire length. For short devices of a few hundred nanometres, sub-gap state energies
oscillate as the magnetic field is varied, as is expected for hybridized Majorana
modes. Splitting decreases by a factor of about ten for each half a micrometre
of increased wire length. For devices longer than about one micrometre, transport
in strong magnetic fields occurs through a zero-energy state that is energetically
isolated from a continuum, yielding uniformly spaced Coulomb-blockade conductance
peaks, consistent with teleportation via Majorana modes. Our results help to explain
the trivial-to-topological transition in finite systems and to quantify the scaling
of topological protection with end-mode separation.
acknowledgement: This research was supported by Microsoft Project Q, the Danish National
Research Foundation, the Lundbeck Foundation, the Carlsberg Foundation and the European
Commission. C.M.M. acknowledges support from the Villum Foundation.
arxiv: 1
author:
- first_name: S M
full_name: Albrecht, S M
last_name: Albrecht
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Thomas
full_name: Jespersen, Thomas
last_name: Jespersen
- first_name: Morten
full_name: Madsen, Morten
last_name: Madsen
- first_name: Ferdinand
full_name: Kuemmeth, Ferdinand
last_name: Kuemmeth
- first_name: Jesper
full_name: Nygård, Jesper
last_name: Nygård
- first_name: Peter
full_name: Krogstrup, Peter
last_name: Krogstrup
- first_name: Charles
full_name: Marcus, Charles
last_name: Marcus
citation:
ama: Albrecht SM, Higginbotham AP, Jespersen T, et al. Exponential protection of
zero modes in Majorana islands. Nature. 2016;531(7593):206-209. doi:10.1038/nature17162
apa: Albrecht, S. M., Higginbotham, A. P., Jespersen, T., Madsen, M., Kuemmeth,
F., Nygård, J., … Marcus, C. (2016). Exponential protection of zero modes in Majorana
islands. Nature. Nature Publishing Group. https://doi.org/10.1038/nature17162
chicago: Albrecht, S M, Andrew P Higginbotham, Thomas Jespersen, Morten Madsen,
Ferdinand Kuemmeth, Jesper Nygård, Peter Krogstrup, and Charles Marcus. “Exponential
Protection of Zero Modes in Majorana Islands.” Nature. Nature Publishing
Group, 2016. https://doi.org/10.1038/nature17162.
ieee: S. M. Albrecht et al., “Exponential protection of zero modes in Majorana
islands,” Nature, vol. 531, no. 7593. Nature Publishing Group, pp. 206–209,
2016.
ista: Albrecht SM, Higginbotham AP, Jespersen T, Madsen M, Kuemmeth F, Nygård J,
Krogstrup P, Marcus C. 2016. Exponential protection of zero modes in Majorana
islands. Nature. 531(7593), 206–209.
mla: Albrecht, S. M., et al. “Exponential Protection of Zero Modes in Majorana Islands.”
Nature, vol. 531, no. 7593, Nature Publishing Group, 2016, pp. 206–09,
doi:10.1038/nature17162.
short: S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J.
Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
date_created: 2018-12-11T11:44:38Z
date_published: 2016-03-10T00:00:00Z
date_updated: 2021-01-12T06:47:37Z
day: '10'
doi: 10.1038/nature17162
extern: '1'
external_id:
arxiv:
- '1603.03217'
intvolume: ' 531'
issue: '7593'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1603.03217
month: '03'
oa: 1
oa_version: Submitted Version
page: 206 - 209
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7953'
quality_controlled: '1'
status: public
title: Exponential protection of zero modes in Majorana islands
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 531
year: '2016'
...
---
_id: '102'
abstract:
- lang: eng
text: 'Recent experiments have produced mounting evidence of Majorana zero modes
in nanowire-superconductor hybrids. Signatures of an expected topological phase
transition accompanying the onset of these modes nevertheless remain elusive.
We investigate a fundamental question concerning this issue: Do well-formed Majorana
modes necessarily entail a sharp phase transition in these setups? Assuming reasonable
parameters, we argue that finite-size effects can dramatically smooth this putative
transition into a crossover, even in systems large enough to support well-localized
Majorana modes. We propose overcoming such finite-size effects by examining the
behavior of low-lying excited states through tunneling spectroscopy. In particular,
the excited-state energies exhibit characteristic field and density dependence,
and scaling with system size, that expose an approaching topological phase transition.
We suggest several experiments for extracting the predicted behavior. As a useful
byproduct, the protocols also allow one to measure the wire''s spin-orbit coupling
directly in its superconducting environment.'
article_number: '245404'
arxiv: 1
author:
- first_name: Ryan
full_name: Mishmash, Ryan
last_name: Mishmash
- first_name: David
full_name: Aasen, David
last_name: Aasen
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Jason
full_name: Alicea, Jason
last_name: Alicea
citation:
ama: Mishmash R, Aasen D, Higginbotham AP, Alicea J. Approaching a topological phase
transition in Majorana nanowires. Physical Review B. 2016;93(24). doi:10.1103/PhysRevB.93.245404
apa: Mishmash, R., Aasen, D., Higginbotham, A. P., & Alicea, J. (2016). Approaching
a topological phase transition in Majorana nanowires. Physical Review B.
American Physical Society. https://doi.org/10.1103/PhysRevB.93.245404
chicago: Mishmash, Ryan, David Aasen, Andrew P Higginbotham, and Jason Alicea. “Approaching
a Topological Phase Transition in Majorana Nanowires.” Physical Review B.
American Physical Society, 2016. https://doi.org/10.1103/PhysRevB.93.245404.
ieee: R. Mishmash, D. Aasen, A. P. Higginbotham, and J. Alicea, “Approaching a topological
phase transition in Majorana nanowires,” Physical Review B, vol. 93, no.
24. American Physical Society, 2016.
ista: Mishmash R, Aasen D, Higginbotham AP, Alicea J. 2016. Approaching a topological
phase transition in Majorana nanowires. Physical Review B. 93(24), 245404.
mla: Mishmash, Ryan, et al. “Approaching a Topological Phase Transition in Majorana
Nanowires.” Physical Review B, vol. 93, no. 24, 245404, American Physical
Society, 2016, doi:10.1103/PhysRevB.93.245404.
short: R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93
(2016).
date_created: 2018-12-11T11:44:38Z
date_published: 2016-06-08T00:00:00Z
date_updated: 2021-01-12T06:47:42Z
day: '08'
doi: 10.1103/PhysRevB.93.245404
extern: '1'
external_id:
arxiv:
- '1601.07908'
intvolume: ' 93'
issue: '24'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1601.07908
month: '06'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_status: published
publisher: American Physical Society
publist_id: '7952'
quality_controlled: '1'
status: public
title: Approaching a topological phase transition in Majorana nanowires
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 93
year: '2016'
...
---
_id: '10376'
abstract:
- lang: eng
text: Nucleation processes are at the heart of a large number of phenomena, from
cloud formation to protein crystallization. A recently emerging area where nucleation
is highly relevant is the initiation of filamentous protein self-assembly, a process
that has broad implications in many research areas ranging from medicine to nanotechnology.
As such, spontaneous nucleation of protein fibrils has received much attention
in recent years with many theoretical and experimental studies focusing on the
underlying physical principles. In this paper we make a step forward in this direction
and explore the early time behaviour of filamentous protein growth in the context
of nucleation theory. We first provide an overview of the thermodynamics and kinetics
of spontaneous nucleation of protein filaments in the presence of one relevant
degree of freedom, namely the cluster size. In this case, we review how key kinetic
observables, such as the reaction order of spontaneous nucleation, are directly
related to the physical size of the critical nucleus. We then focus on the increasingly
prominent case of filament nucleation that includes a conformational conversion
of the nucleating building-block as an additional slow step in the nucleation
process. Using computer simulations, we study the concentration dependence of
the nucleation rate. We find that, under these circumstances, the reaction order
of spontaneous nucleation with respect to the free monomer does no longer relate
to the overall physical size of the nucleating aggregate but rather to the portion
of the aggregate that actively participates in the conformational conversion.
Our results thus provide a novel interpretation of the common kinetic descriptors
of protein filament formation, including the reaction order of the nucleation
step or the scaling exponent of lag times, and put into perspective current theoretical
descriptions of protein aggregation.
acknowledgement: We acknowledge support from the Human Frontier Science Program and
Emmanuel College (A.Š.), St John’s and Peterhouse Colleges (T.C.T.M.), the Swiss
National Science Foundation (T.C.T.M.), the Biotechnology and Biological Sciences
Research Council (T.P.J.K.), the Frances and Augustus Newman Foundation (T.P.J.K.),
the European Research Council (T.C.T.M., T.P.J.K., and D.F.), and the Engineering
and Physical Sciences Research Council (D.F.).
article_number: '211926'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Thomas C. T.
full_name: Michaels, Thomas C. T.
last_name: Michaels
- first_name: Alessio
full_name: Zaccone, Alessio
last_name: Zaccone
- first_name: Tuomas P. J.
full_name: Knowles, Tuomas P. J.
last_name: Knowles
- first_name: Daan
full_name: Frenkel, Daan
last_name: Frenkel
citation:
ama: 'Šarić A, Michaels TCT, Zaccone A, Knowles TPJ, Frenkel D. Kinetics of spontaneous
filament nucleation via oligomers: Insights from theory and simulation. The
Journal of Chemical Physics. 2016;145(21). doi:10.1063/1.4965040'
apa: 'Šarić, A., Michaels, T. C. T., Zaccone, A., Knowles, T. P. J., & Frenkel,
D. (2016). Kinetics of spontaneous filament nucleation via oligomers: Insights
from theory and simulation. The Journal of Chemical Physics. American Institute
of Physics. https://doi.org/10.1063/1.4965040'
chicago: 'Šarić, Anđela, Thomas C. T. Michaels, Alessio Zaccone, Tuomas P. J. Knowles,
and Daan Frenkel. “Kinetics of Spontaneous Filament Nucleation via Oligomers:
Insights from Theory and Simulation.” The Journal of Chemical Physics.
American Institute of Physics, 2016. https://doi.org/10.1063/1.4965040.'
ieee: 'A. Šarić, T. C. T. Michaels, A. Zaccone, T. P. J. Knowles, and D. Frenkel,
“Kinetics of spontaneous filament nucleation via oligomers: Insights from theory
and simulation,” The Journal of Chemical Physics, vol. 145, no. 21. American
Institute of Physics, 2016.'
ista: 'Šarić A, Michaels TCT, Zaccone A, Knowles TPJ, Frenkel D. 2016. Kinetics
of spontaneous filament nucleation via oligomers: Insights from theory and simulation.
The Journal of Chemical Physics. 145(21), 211926.'
mla: 'Šarić, Anđela, et al. “Kinetics of Spontaneous Filament Nucleation via Oligomers:
Insights from Theory and Simulation.” The Journal of Chemical Physics,
vol. 145, no. 21, 211926, American Institute of Physics, 2016, doi:10.1063/1.4965040.'
short: A. Šarić, T.C.T. Michaels, A. Zaccone, T.P.J. Knowles, D. Frenkel, The Journal
of Chemical Physics 145 (2016).
date_created: 2021-11-29T10:01:57Z
date_published: 2016-12-01T00:00:00Z
date_updated: 2021-11-29T10:33:11Z
day: '01'
doi: 10.1063/1.4965040
extern: '1'
external_id:
arxiv:
- '1610.02320'
pmid:
- '28799382'
intvolume: ' 145'
issue: '21'
keyword:
- physical and theoretical chemistry
- general physics and astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1610.02320
month: '12'
oa: 1
oa_version: Preprint
pmid: 1
publication: The Journal of Chemical Physics
publication_identifier:
eissn:
- 1089-7690
issn:
- 0021-9606
publication_status: published
publisher: American Institute of Physics
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Kinetics of spontaneous filament nucleation via oligomers: Insights from theory
and simulation'
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 145
year: '2016'
...