---
_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'
fulldoi: https://doi.org/10.1083/jcb.201603053
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'
fulldoi: https://doi.org/10.1101/gad.287417.116
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'
fulldoi: https://doi.org/10.1101/gad.280941.116
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'
fulldoi: https://doi.org/10.1038/ncomms13874
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'
fulldoi: https://doi.org/10.1364/CLEO_SI.2016.SF2G.3
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'
...
---
OA_place: publisher
_id: '1130'
abstract:
- lang: eng
text: "In this thesis we present a computer-aided programming approach to concurrency.
Our approach helps the programmer by automatically fixing concurrency-related
bugs, i.e. bugs that occur when the program is executed using an aggressive preemptive
scheduler, but not when using a non-preemptive (cooperative) scheduler. Bugs are
program behaviours that are incorrect w.r.t. a specification. We consider both
user-provided explicit specifications in the form of assertion\r\nstatements in
the code as well as an implicit specification. The implicit specification is inferred
from the non-preemptive behaviour. Let us consider sequences of calls that the
program makes to an external interface. The implicit specification requires that
any such sequence produced under a preemptive scheduler should be included in
the set of sequences produced under a non-preemptive scheduler. We consider several
semantics-preserving fixes that go beyond atomic sections typically explored in
the synchronisation synthesis literature. Our synthesis is able to place locks,
barriers and wait-signal statements and last, but not least reorder independent
statements. The latter may be useful if a thread is released to early, e.g., before
some initialisation is completed. We guarantee that our synthesis does not introduce
deadlocks and that the synchronisation inserted is optimal w.r.t. a given objective
function. We dub our solution trace-based synchronisation synthesis and it is
loosely based on counterexample-guided inductive synthesis (CEGIS). The synthesis
works by discovering a trace that is incorrect w.r.t. the specification and identifying
ordering constraints crucial to trigger the specification violation. Synchronisation
may be placed immediately (greedy approach) or delayed until all incorrect traces
are found (non-greedy approach). For the non-greedy approach we construct a set
of global constraints over synchronisation placements. Each model of the global
constraints set corresponds to a correctness-ensuring synchronisation placement.
The placement that is optimal w.r.t. the given objective function is chosen as
the synchronisation solution. We evaluate our approach on a number of realistic
(albeit simplified) Linux device-driver\r\nbenchmarks. The benchmarks are versions
of the drivers with known concurrency-related bugs. For the experiments with an
explicit specification we added assertions that would detect the bugs in the experiments.
Device drivers lend themselves to implicit specification, where the device and
the operating system are the external interfaces. Our experiments demonstrate
that our synthesis method is precise and efficient. We implemented objective functions
for coarse-grained and fine-grained locking and observed that different synchronisation
placements are produced for our experiments, favouring e.g. a minimal number of
synchronisation operations or maximum concurrency."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: Tarrach T. Automatic synthesis of synchronisation primitives for concurrent
programs. 2016. doi:10.15479/at:ista:1130
apa: Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for
concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130
chicago: Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for
Concurrent Programs.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/at:ista:1130.
ieee: T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent
programs,” Institute of Science and Technology Austria, 2016.
ista: Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent
programs. Institute of Science and Technology Austria.
mla: Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for
Concurrent Programs. Institute of Science and Technology Austria, 2016, doi:10.15479/at:ista:1130.
short: T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent
Programs, Institute of Science and Technology Austria, 2016.
corr_author: '1'
date_created: 2018-12-11T11:50:19Z
date_published: 2016-07-07T00:00:00Z
date_updated: 2026-04-09T10:54:01Z
day: '07'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ToHe
- _id: GradSch
doi: 10.15479/at:ista:1130
ec_funded: 1
file:
- access_level: open_access
checksum: 319a506831650327e85376db41fc1094
content_type: application/pdf
creator: dernst
date_created: 2021-02-22T11:39:32Z
date_updated: 2021-02-22T11:39:32Z
file_id: '9179'
file_name: 2016_Tarrach_Thesis.pdf
file_size: 1523935
relation: main_file
success: 1
- access_level: closed
checksum: 39efcd789f0ad859ff15652cb7afc412
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-16T14:14:38Z
date_updated: 2021-11-17T13:46:55Z
file_id: '10296'
file_name: 2016_Tarrach_Thesispdfa.pdf
file_size: 1306068
relation: main_file
file_date_updated: 2021-11-17T13:46:55Z
fulldoi: https://doi.org/10.15479/at:ista:1130
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://thorstent.github.io/theses/phd_thorsten_tarrach.pdf
month: '07'
oa: 1
oa_version: Published Version
page: '151'
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_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '6230'
related_material:
record:
- id: '2218'
relation: part_of_dissertation
status: public
- id: '2445'
relation: part_of_dissertation
status: public
- id: '1729'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
title: Automatic synthesis of synchronisation primitives for concurrent programs
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
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
fulldoi: https://doi.org/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
fulldoi: https://doi.org/10.1145/2968478.2968499
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
fulldoi: https://doi.org/10.1145/2994258.2994261
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'
fulldoi: https://doi.org/10.1038/ni.3575
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: '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'
fulldoi: https://doi.org/10.1091/mbc.E16-07-0548
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'
fulldoi: https://doi.org/10.1145/2933575.2935304
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'
fulldoi: https://doi.org/10.1016/j.jocs.2016.03.004
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'
fulldoi: https://doi.org/10.1038/ni.3590
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'
fulldoi: https://doi.org/10.2140/apde.2016.9.459
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: '1145'
abstract:
- lang: eng
text: Auxin directs plant ontogenesis via differential accumulation within tissues
depending largely on the activity of PIN proteins that mediate auxin efflux from
cells and its directional cell-to-cell transport. Regardless of the developmental
importance of PINs, the structure of these transporters is poorly characterized.
Here, we present experimental data concerning protein topology of plasma membrane-localized
PINs. Utilizing approaches based on pH-dependent quenching of fluorescent reporters
combined with immunolocalization techniques, we mapped the membrane topology of
PINs and further cross-validated our results using available topology modeling
software. We delineated the topology of PIN1 with two transmembrane (TM) bundles
of five α-helices linked by a large intracellular loop and a C-terminus positioned
outside the cytoplasm. Using constraints derived from our experimental data, we
also provide an updated position of helical regions generating a verisimilitude
model of PIN1. Since the canonical long PINs show a high degree of conservation
in TM domains and auxin transport capacity has been demonstrated for Arabidopsis
representatives of this group, this empirically enhanced topological model of
PIN1 will be an important starting point for further studies on PIN structure–function
relationships. In addition, we have established protocols that can be used to
probe the topology of other plasma membrane proteins in plants. © 2016 The Authors
acknowledgement: This research has been financially supported by the Ministry of Education,
Youth and Sports of the Czech Republic under the project CEITEC 2020 (LQ1601) (T.N.,
M.Z., M.P., J.H.), Czech Science Foundation (13-40637S [J.F., M.Z.], 13-39982S [J.H.]);
Research Foundation Flanders (Grant number FWO09/PDO/196) (S.V.) and the European
Research Council (project ERC-2011-StG-20101109-PSDP) (J.F.). We thank David G.
Robinson and Ranjan Swarup for sharing published material; Maria Šimášková, Mamoona
Khan, Eva Benková for technical assistance; and R. Tejos, J. Kleine-Vehn, and E.
Feraru for helpful discussions.
article_processing_charge: No
author:
- first_name: Tomasz
full_name: Nodzyński, Tomasz
last_name: Nodzyński
- first_name: Steffen
full_name: Vanneste, Steffen
last_name: Vanneste
- first_name: Marta
full_name: Zwiewka, Marta
last_name: Zwiewka
- first_name: Markéta
full_name: Pernisová, Markéta
last_name: Pernisová
- first_name: Jan
full_name: Hejátko, Jan
last_name: Hejátko
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry
into the topology of plasma membrane localized PIN auxin transport components.
Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010
apa: Nodzyński, T., Vanneste, S., Zwiewka, M., Pernisová, M., Hejátko, J., &
Friml, J. (2016). Enquiry into the topology of plasma membrane localized PIN auxin
transport components. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2016.08.010
chicago: Nodzyński, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová,
Jan Hejátko, and Jiří Friml. “Enquiry into the Topology of Plasma Membrane Localized
PIN Auxin Transport Components.” Molecular Plant. Cell Press, 2016. https://doi.org/10.1016/j.molp.2016.08.010.
ieee: T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml,
“Enquiry into the topology of plasma membrane localized PIN auxin transport components,”
Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016.
ista: Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. 2016.
Enquiry into the topology of plasma membrane localized PIN auxin transport components.
Molecular Plant. 9(11), 1504–1519.
mla: Nodzyński, Tomasz, et al. “Enquiry into the Topology of Plasma Membrane Localized
PIN Auxin Transport Components.” Molecular Plant, vol. 9, no. 11, Cell
Press, 2016, pp. 1504–19, doi:10.1016/j.molp.2016.08.010.
short: T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml,
Molecular Plant 9 (2016) 1504–1519.
date_created: 2018-12-11T11:50:23Z
date_published: 2016-11-07T00:00:00Z
date_updated: 2025-09-22T14:08:07Z
day: '07'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1016/j.molp.2016.08.010
ec_funded: 1
external_id:
isi:
- '000389594100008'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:22Z
date_updated: 2018-12-12T10:13:22Z
file_id: '5004'
file_name: IST-2017-746-v1+1_1-s2.0-S1674205216301915-main.pdf
file_size: 5005876
relation: main_file
file_date_updated: 2018-12-12T10:13:22Z
fulldoi: https://doi.org/10.1016/j.molp.2016.08.010
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '11'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '11'
oa: 1
oa_version: Published Version
page: 1504 - 1519
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Molecular Plant
publication_status: published
publisher: Cell Press
publist_id: '6213'
pubrep_id: '746'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Enquiry into the topology of plasma membrane localized PIN auxin transport
components
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 9
year: '2016'
...
---
_id: '1147'
abstract:
- lang: eng
text: Apical dominance is one of the fundamental developmental phenomena in plant
biology, which determines the overall architecture of aerial plant parts. Here
we show apex decapitation activated competition for dominance in adjacent upper
and lower axillary buds. A two-nodal-bud pea (Pisum sativum L.) was used as a
model system to monitor and assess auxin flow, auxin transport channels, and dormancy
and initiation status of axillary buds. Auxin flow was manipulated by lateral
stem wounds or chemically by auxin efflux inhibitors 2,3,5-triiodobenzoic acid
(TIBA), 1-N-naphtylphtalamic acid (NPA), or protein synthesis inhibitor cycloheximide
(CHX) treatments, which served to interfere with axillary bud competition. Redirecting
auxin flow to different points influenced which bud formed the outgrowing and
dominant shoot. The obtained results proved that competition between upper and
lower axillary buds as secondary auxin sources is based on the same auxin canalization
principle that operates between the shoot apex and axillary bud. © The Author(s)
2016.
acknowledgement: This research was carried out under the project CEITEC 2020 (LQ1601)
with financial support from the Ministry of Education, Youth and Sports of the Czech
Republic under the National Sustainability Programme II., supported by the project
“CEITEC–Central European Institute of Technology” (CZ.1.05/1.1.00/02.0068) and the
Agronomy faculty grant from Mendel University “IGA AF MENDELU” (IP 14/2013).
article_number: '35955'
article_processing_charge: No
author:
- first_name: Jozef
full_name: Balla, Jozef
last_name: Balla
- first_name: Zuzana
full_name: Medved'Ová, Zuzana
last_name: Medved'Ová
- first_name: Petr
full_name: Kalousek, Petr
last_name: Kalousek
- first_name: Natálie
full_name: Matiješčuková, Natálie
last_name: Matiješčuková
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Vilém
full_name: Reinöhl, Vilém
last_name: Reinöhl
- first_name: Stanislav
full_name: Procházka, Stanislav
last_name: Procházka
citation:
ama: Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between
axillary buds to restore apical dominance. Scientific Reports. 2016;6.
doi:10.1038/srep35955
apa: Balla, J., Medved’Ová, Z., Kalousek, P., Matiješčuková, N., Friml, J., Reinöhl,
V., & Procházka, S. (2016). Auxin flow mediated competition between axillary
buds to restore apical dominance. Scientific Reports. Nature Publishing
Group. https://doi.org/10.1038/srep35955
chicago: Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matiješčuková,
Jiří Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition
between Axillary Buds to Restore Apical Dominance.” Scientific Reports.
Nature Publishing Group, 2016. https://doi.org/10.1038/srep35955.
ieee: J. Balla et al., “Auxin flow mediated competition between axillary
buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing
Group, 2016.
ista: Balla J, Medved’Ová Z, Kalousek P, Matiješčuková N, Friml J, Reinöhl V, Procházka
S. 2016. Auxin flow mediated competition between axillary buds to restore apical
dominance. Scientific Reports. 6, 35955.
mla: Balla, Jozef, et al. “Auxin Flow Mediated Competition between Axillary Buds
to Restore Apical Dominance.” Scientific Reports, vol. 6, 35955, Nature
Publishing Group, 2016, doi:10.1038/srep35955.
short: J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl,
S. Procházka, Scientific Reports 6 (2016).
date_created: 2018-12-11T11:50:24Z
date_published: 2016-11-08T00:00:00Z
date_updated: 2025-09-22T09:59:19Z
day: '08'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1038/srep35955
external_id:
isi:
- '000387284700001'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:28Z
date_updated: 2018-12-12T10:09:28Z
file_id: '4752'
file_name: IST-2017-745-v1+1_srep35955.pdf
file_size: 1587544
relation: main_file
file_date_updated: 2018-12-12T10:09:28Z
fulldoi: https://doi.org/10.1038/srep35955
has_accepted_license: '1'
intvolume: ' 6'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '6211'
pubrep_id: '745'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin flow mediated competition between axillary buds to restore apical dominance
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2016'
...
---
_id: '1148'
abstract:
- lang: eng
text: Continuous-time Markov chain (CTMC) models have become a central tool for
understanding the dynamics of complex reaction networks and the importance of
stochasticity in the underlying biochemical processes. When such models are employed
to answer questions in applications, in order to ensure that the model provides
a sufficiently accurate representation of the real system, it is of vital importance
that the model parameters are inferred from real measured data. This, however,
is often a formidable task and all of the existing methods fail in one case or
the other, usually because the underlying CTMC model is high-dimensional and computationally
difficult to analyze. The parameter inference methods that tend to scale best
in the dimension of the CTMC are based on so-called moment closure approximations.
However, there exists a large number of different moment closure approximations
and it is typically hard to say a priori which of the approximations is the most
suitable for the inference procedure. Here, we propose a moment-based parameter
inference method that automatically chooses the most appropriate moment closure
method. Accordingly, contrary to existing methods, the user is not required to
be experienced in moment closure techniques. In addition to that, our method adaptively
changes the approximation during the parameter inference to ensure that always
the best approximation is used, even in cases where different approximations are
best in different regions of the parameter space. © 2016 Elsevier Ireland Ltd
acknowledgement: This work is based on the CMSB 2015 paper “Adaptive moment closure
for parameter inference of biochemical reaction networks” (Bogomolov et al., 2015).
The work was partly supported by the German Research Foundation (DFG) as part of
the Transregional Collaborative Research Center “Automatic Verification and Analysis
of Complex Systems” (SFB/TR 14 AVACS1), by the European Research Council (ERC) under
grant 267989 (QUAREM) and by the Austrian Science Fund (FWF) under grants S11402-N23
(RiSE) and Z211-N23 (Wittgenstein Award). J.R. acknowledges support from the People
Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme
(FP7/2007-2013) under REA grant agreement no. 291734.
article_processing_charge: No
author:
- first_name: Christian
full_name: Schilling, Christian
last_name: Schilling
- first_name: Sergiy
full_name: Bogomolov, Sergiy
id: 369D9A44-F248-11E8-B48F-1D18A9856A87
last_name: Bogomolov
orcid: 0000-0002-0686-0365
- 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: Andreas
full_name: Podelski, Andreas
last_name: Podelski
- first_name: Jakob
full_name: Ruess, Jakob
id: 4A245D00-F248-11E8-B48F-1D18A9856A87
last_name: Ruess
orcid: 0000-0003-1615-3282
citation:
ama: Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. Adaptive moment
closure for parameter inference of biochemical reaction networks. Biosystems.
2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
apa: Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., & Ruess,
J. (2016). Adaptive moment closure for parameter inference of biochemical reaction
networks. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2016.07.005
chicago: Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski,
and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical
Reaction Networks.” Biosystems. Elsevier, 2016. https://doi.org/10.1016/j.biosystems.2016.07.005.
ieee: C. Schilling, S. Bogomolov, T. A. Henzinger, A. Podelski, and J. Ruess, “Adaptive
moment closure for parameter inference of biochemical reaction networks,” Biosystems,
vol. 149. Elsevier, pp. 15–25, 2016.
ista: Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive
moment closure for parameter inference of biochemical reaction networks. Biosystems.
149, 15–25.
mla: Schilling, Christian, et al. “Adaptive Moment Closure for Parameter Inference
of Biochemical Reaction Networks.” Biosystems, vol. 149, Elsevier, 2016,
pp. 15–25, doi:10.1016/j.biosystems.2016.07.005.
short: C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems
149 (2016) 15–25.
date_created: 2018-12-11T11:50:24Z
date_published: 2016-11-01T00:00:00Z
date_updated: 2025-09-23T07:44:57Z
day: '01'
department:
- _id: ToHe
- _id: GaTk
doi: 10.1016/j.biosystems.2016.07.005
ec_funded: 1
external_id:
isi:
- '000390743600003'
fulldoi: https://doi.org/10.1016/j.biosystems.2016.07.005
intvolume: ' 149'
isi: 1
language:
- iso: eng
month: '11'
oa_version: None
page: 15 - 25
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: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Biosystems
publication_status: published
publisher: Elsevier
publist_id: '6210'
quality_controlled: '1'
related_material:
record:
- id: '1658'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Adaptive moment closure for parameter inference of biochemical reaction networks
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 149
year: '2016'
...
---
_id: '1149'
abstract:
- lang: eng
text: 'We study the usefulness of two most prominent publicly available rigorous
ODE integrators: one provided by the CAPD group (capd.ii.uj.edu.pl), the other
based on the COSY Infinity project (cosyinfinity.org). Both integrators are capable
of handling entire sets of initial conditions and provide tight rigorous outer
enclosures of the images under a time-T map. We conduct extensive benchmark computations
using the well-known Lorenz system, and compare the computation time against the
final accuracy achieved. We also discuss the effect of a few technical parameters,
such as the order of the numerical integration method, the value of T, and the
phase space resolution. We conclude that COSY may provide more precise results
due to its ability of avoiding the variable dependency problem. However, the overall
cost of computations conducted using CAPD is typically lower, especially when
intervals of parameters are involved. Moreover, access to COSY is limited (registration
required) and the rigorous ODE integrators are not publicly available, while CAPD
is an open source free software project. Therefore, we recommend the latter integrator
for this kind of computations. Nevertheless, proper choice of the various integration
parameters turns out to be of even greater importance than the choice of the integrator
itself. © 2016 IMACS. Published by Elsevier B.V. All rights reserved.'
acknowledgement: "MG was partially supported by FAPESP grants 2013/07460-7 and 2010/00875-9,
and by CNPq grants 305860/2013-5 and 306453/2009-6, Brazil. The work of HK was partially
supported by Grant-in-Aid for Scientific Research (Nos.24654022, 25287029), Ministry
of Education, Science, Technology, Culture and Sports, Japan. KM was supported by
NSF grants NSF-DMS-0835621, 0915019, 1125174, 1248071, and contracts from AFOSR
and DARPA. TM was supported by Grant-in-Aid for JSPS Fellows No. 245312. A part
of the research of TM and HK was also supported by JST, CREST.\r\n\r\nResearch conducted
by PP has received funding from Fundo Europeu de Desenvolvimento Regional (FEDER)
through COMPETE – Programa Operacional Factores de Competitividade (POFC) and from
the Portuguese national funds through Fundação para a Ciência e a Tecnologia (FCT)
in the framework of the research project FCOMP-01-0124-FEDER-010645 (Ref. FCT PTDC/MAT/098871/2008);
from the People Programme (Marie Curie Actions) of the European Union's Seventh
Framework Programme (FP7/2007-2013) under REA grant agreement No. 622033; and from
the same sources as HK.\r\n\r\nThe authors express their gratitude to the Department
of Mathematics of Kyoto University for making their server available for conducting
the computations described in the paper, and to the reviewers for helpful comments
that contributed towards increasing the quality of the paper."
article_processing_charge: No
author:
- first_name: Tomoyuki
full_name: Miyaji, Tomoyuki
last_name: Miyaji
- first_name: Pawel
full_name: Pilarczyk, Pawel
id: 3768D56A-F248-11E8-B48F-1D18A9856A87
last_name: Pilarczyk
- first_name: Marcio
full_name: Gameiro, Marcio
last_name: Gameiro
- first_name: Hiroshi
full_name: Kokubu, Hiroshi
last_name: Kokubu
- first_name: Konstantin
full_name: Mischaikow, Konstantin
last_name: Mischaikow
citation:
ama: Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. A study of rigorous
ODE integrators for multi scale set oriented computations. Applied Numerical
Mathematics. 2016;107:34-47. doi:10.1016/j.apnum.2016.04.005
apa: Miyaji, T., Pilarczyk, P., Gameiro, M., Kokubu, H., & Mischaikow, K. (2016).
A study of rigorous ODE integrators for multi scale set oriented computations.
Applied Numerical Mathematics. Elsevier. https://doi.org/10.1016/j.apnum.2016.04.005
chicago: Miyaji, Tomoyuki, Pawel Pilarczyk, Marcio Gameiro, Hiroshi Kokubu, and
Konstantin Mischaikow. “A Study of Rigorous ODE Integrators for Multi Scale Set
Oriented Computations.” Applied Numerical Mathematics. Elsevier, 2016.
https://doi.org/10.1016/j.apnum.2016.04.005.
ieee: T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, and K. Mischaikow, “A study
of rigorous ODE integrators for multi scale set oriented computations,” Applied
Numerical Mathematics, vol. 107. Elsevier, pp. 34–47, 2016.
ista: Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. 2016. A study of
rigorous ODE integrators for multi scale set oriented computations. Applied Numerical
Mathematics. 107, 34–47.
mla: Miyaji, Tomoyuki, et al. “A Study of Rigorous ODE Integrators for Multi Scale
Set Oriented Computations.” Applied Numerical Mathematics, vol. 107, Elsevier,
2016, pp. 34–47, doi:10.1016/j.apnum.2016.04.005.
short: T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, K. Mischaikow, Applied Numerical
Mathematics 107 (2016) 34–47.
date_created: 2018-12-11T11:50:25Z
date_published: 2016-09-01T00:00:00Z
date_updated: 2025-09-22T09:58:16Z
day: '01'
department:
- _id: HeEd
doi: 10.1016/j.apnum.2016.04.005
ec_funded: 1
external_id:
isi:
- '000378447000003'
fulldoi: https://doi.org/10.1016/j.apnum.2016.04.005
intvolume: ' 107'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 34 - 47
project:
- _id: 255F06BE-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '622033'
name: Persistent Homology - Images, Data and Maps
publication: Applied Numerical Mathematics
publication_status: published
publisher: Elsevier
publist_id: '6209'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A study of rigorous ODE integrators for multi scale set oriented computations
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 107
year: '2016'
...
---
_id: '1150'
abstract:
- lang: eng
text: When neutrophils infiltrate a site of inflammation, they have to stop at the
right place to exert their effector function. In this issue of Developmental Cell,
Wang et al. (2016) show that neutrophils sense reactive oxygen species via the
TRPM2 channel to arrest migration at their target site. © 2016 Elsevier Inc.
article_processing_charge: No
author:
- first_name: Jörg
full_name: Renkawitz, Jörg
id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
last_name: Renkawitz
orcid: 0000-0003-2856-3369
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Renkawitz J, Sixt MK. A Radical Break Restraining Neutrophil Migration. Developmental
Cell. 2016;38(5):448-450. doi:10.1016/j.devcel.2016.08.017
apa: Renkawitz, J., & Sixt, M. K. (2016). A Radical Break Restraining Neutrophil
Migration. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2016.08.017
chicago: Renkawitz, Jörg, and Michael K Sixt. “A Radical Break Restraining Neutrophil
Migration.” Developmental Cell. Cell Press, 2016. https://doi.org/10.1016/j.devcel.2016.08.017.
ieee: J. Renkawitz and M. K. Sixt, “A Radical Break Restraining Neutrophil Migration,”
Developmental Cell, vol. 38, no. 5. Cell Press, pp. 448–450, 2016.
ista: Renkawitz J, Sixt MK. 2016. A Radical Break Restraining Neutrophil Migration.
Developmental Cell. 38(5), 448–450.
mla: Renkawitz, Jörg, and Michael K. Sixt. “A Radical Break Restraining Neutrophil
Migration.” Developmental Cell, vol. 38, no. 5, Cell Press, 2016, pp. 448–50,
doi:10.1016/j.devcel.2016.08.017.
short: J. Renkawitz, M.K. Sixt, Developmental Cell 38 (2016) 448–450.
date_created: 2018-12-11T11:50:25Z
date_published: 2016-09-12T00:00:00Z
date_updated: 2025-09-22T09:57:46Z
day: '12'
department:
- _id: MiSi
doi: 10.1016/j.devcel.2016.08.017
external_id:
isi:
- '000383413000003'
fulldoi: https://doi.org/10.1016/j.devcel.2016.08.017
intvolume: ' 38'
isi: 1
issue: '5'
language:
- iso: eng
month: '09'
oa_version: None
page: 448 - 450
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '6208'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A Radical Break Restraining Neutrophil Migration
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 38
year: '2016'
...