---
_id: '471'
abstract:
- lang: eng
text: 'We present a new algorithm for the statistical model checking of Markov chains
with respect to unbounded temporal properties, including full linear temporal
logic. The main idea is that we monitor each simulation run on the fly, in order
to detect quickly if a bottom strongly connected component is entered with high
probability, in which case the simulation run can be terminated early. As a result,
our simulation runs are often much shorter than required by termination bounds
that are computed a priori for a desired level of confidence on a large state
space. In comparison to previous algorithms for statistical model checking our
method is not only faster in many cases but also requires less information about
the system, namely, only the minimum transition probability that occurs in the
Markov chain. In addition, our method can be generalised to unbounded quantitative
properties such as mean-payoff bounds. '
article_number: '12'
author:
- first_name: Przemyslaw
full_name: Daca, Przemyslaw
id: 49351290-F248-11E8-B48F-1D18A9856A87
last_name: Daca
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Tatjana
full_name: Petrov, Tatjana
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
citation:
ama: Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking
for unbounded temporal properties. ACM Transactions on Computational Logic
(TOCL). 2017;18(2). doi:10.1145/3060139
apa: Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2017). Faster
statistical model checking for unbounded temporal properties. ACM Transactions
on Computational Logic (TOCL). ACM. https://doi.org/10.1145/3060139
chicago: Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov.
“Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM
Transactions on Computational Logic (TOCL). ACM, 2017. https://doi.org/10.1145/3060139.
ieee: P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical
model checking for unbounded temporal properties,” ACM Transactions on Computational
Logic (TOCL), vol. 18, no. 2. ACM, 2017.
ista: Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model
checking for unbounded temporal properties. ACM Transactions on Computational
Logic (TOCL). 18(2), 12.
mla: Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal
Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no.
2, 12, ACM, 2017, doi:10.1145/3060139.
short: P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational
Logic (TOCL) 18 (2017).
date_created: 2018-12-11T11:46:39Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2023-02-21T16:48:11Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/3060139
ec_funded: 1
intvolume: ' 18'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1504.05739
month: '05'
oa: 1
oa_version: Submitted Version
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: ACM Transactions on Computational Logic (TOCL)
publication_identifier:
issn:
- '15293785'
publication_status: published
publisher: ACM
publist_id: '7349'
quality_controlled: '1'
related_material:
record:
- id: '1234'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Faster statistical model checking for unbounded temporal properties
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2017'
...
---
_id: '481'
abstract:
- lang: eng
text: We introduce planar matchings on directed pseudo-line arrangements, which
yield a planar set of pseudo-line segments such that only matching-partners are
adjacent. By translating the planar matching problem into a corresponding stable
roommates problem we show that such matchings always exist. Using our new framework,
we establish, for the first time, a complete, rigorous definition of weighted
straight skeletons, which are based on a so-called wavefront propagation process.
We present a generalized and unified approach to treat structural changes in the
wavefront that focuses on the restoration of weak planarity by finding planar
matchings.
acknowledgement: 'Supported by NSERC and the Ross and Muriel Cheriton Fellowship.
Research supported by Austrian Science Fund (FWF): P25816-N15.'
author:
- first_name: Therese
full_name: Biedl, Therese
last_name: Biedl
- first_name: Stefan
full_name: Huber, Stefan
id: 4700A070-F248-11E8-B48F-1D18A9856A87
last_name: Huber
orcid: 0000-0002-8871-5814
- first_name: Peter
full_name: Palfrader, Peter
last_name: Palfrader
citation:
ama: Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons.
International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229.
doi:10.1142/S0218195916600050
apa: Biedl, T., Huber, S., & Palfrader, P. (2017). Planar matchings for weighted
straight skeletons. International Journal of Computational Geometry and Applications.
World Scientific Publishing. https://doi.org/10.1142/S0218195916600050
chicago: Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for
Weighted Straight Skeletons.” International Journal of Computational Geometry
and Applications. World Scientific Publishing, 2017. https://doi.org/10.1142/S0218195916600050.
ieee: T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight
skeletons,” International Journal of Computational Geometry and Applications,
vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.
ista: Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight
skeletons. International Journal of Computational Geometry and Applications. 26(3–4),
211–229.
mla: Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.”
International Journal of Computational Geometry and Applications, vol.
26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
short: T. Biedl, S. Huber, P. Palfrader, International Journal of Computational
Geometry and Applications 26 (2017) 211–229.
date_created: 2018-12-11T11:46:43Z
date_published: 2017-04-13T00:00:00Z
date_updated: 2023-02-21T16:06:22Z
day: '13'
ddc:
- '004'
- '514'
- '516'
department:
- _id: HeEd
doi: 10.1142/S0218195916600050
file:
- access_level: open_access
checksum: f79e8558bfe4b368dfefeb8eec2e3a5e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:34Z
date_updated: 2020-07-14T12:46:35Z
file_id: '4758'
file_name: IST-2018-949-v1+1_2016_huber_PLanar_matchings.pdf
file_size: 769296
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 26'
issue: 3-4
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 211 - 229
publication: International Journal of Computational Geometry and Applications
publication_status: published
publisher: World Scientific Publishing
publist_id: '7338'
pubrep_id: '949'
quality_controlled: '1'
related_material:
record:
- id: '10892'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Planar matchings for weighted straight skeletons
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 26
year: '2017'
...
---
_id: '484'
abstract:
- lang: eng
text: We consider the dynamics of a large quantum system of N identical bosons in
3D interacting via a two-body potential of the form N3β-1w(Nβ(x - y)). For fixed
0 = β < 1/3 and large N, we obtain a norm approximation to the many-body evolution
in the Nparticle Hilbert space. The leading order behaviour of the dynamics is
determined by Hartree theory while the second order is given by Bogoliubov theory.
author:
- first_name: Phan
full_name: Nam, Phan
id: 404092F4-F248-11E8-B48F-1D18A9856A87
last_name: Nam
- first_name: Marcin M
full_name: Napiórkowski, Marcin M
id: 4197AD04-F248-11E8-B48F-1D18A9856A87
last_name: Napiórkowski
citation:
ama: Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of
interacting bosons. Advances in Theoretical and Mathematical Physics. 2017;21(3):683-738.
doi:10.4310/ATMP.2017.v21.n3.a4
apa: Nam, P., & Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field
dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics.
International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a4
chicago: Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field
Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics.
International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a4.
ieee: P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics
of interacting bosons,” Advances in Theoretical and Mathematical Physics,
vol. 21, no. 3. International Press, pp. 683–738, 2017.
ista: Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics
of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3),
683–738.
mla: Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field
Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics,
vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
short: P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics
21 (2017) 683–738.
date_created: 2018-12-11T11:46:43Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2021-01-12T08:00:58Z
day: '01'
department:
- _id: RoSe
doi: 10.4310/ATMP.2017.v21.n3.a4
ec_funded: 1
intvolume: ' 21'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1509.04631
month: '01'
oa: 1
oa_version: Submitted Version
page: 683 - 738
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: Advances in Theoretical and Mathematical Physics
publication_identifier:
issn:
- '10950761'
publication_status: published
publisher: International Press
publist_id: '7336'
quality_controlled: '1'
scopus_import: 1
status: public
title: Bogoliubov correction to the mean-field dynamics of interacting bosons
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2017'
...
---
_id: '483'
abstract:
- lang: eng
text: We prove the universality for the eigenvalue gap statistics in the bulk of
the spectrum for band matrices, in the regime where the band width is comparable
with the dimension of the matrix, W ~ N. All previous results concerning universality
of non-Gaussian random matrices are for mean-field models. By relying on a new
mean-field reduction technique, we deduce universality from quantum unique ergodicity
for band matrices.
author:
- first_name: Paul
full_name: Bourgade, Paul
last_name: Bourgade
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Horng
full_name: Yau, Horng
last_name: Yau
- first_name: Jun
full_name: Yin, Jun
last_name: Yin
citation:
ama: Bourgade P, Erdös L, Yau H, Yin J. Universality for a class of random band
matrices. Advances in Theoretical and Mathematical Physics. 2017;21(3):739-800.
doi:10.4310/ATMP.2017.v21.n3.a5
apa: Bourgade, P., Erdös, L., Yau, H., & Yin, J. (2017). Universality for a
class of random band matrices. Advances in Theoretical and Mathematical Physics.
International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a5
chicago: Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for
a Class of Random Band Matrices.” Advances in Theoretical and Mathematical
Physics. International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a5.
ieee: P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random
band matrices,” Advances in Theoretical and Mathematical Physics, vol.
21, no. 3. International Press, pp. 739–800, 2017.
ista: Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random
band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.
mla: Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.”
Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International
Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.
short: P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical
Physics 21 (2017) 739–800.
date_created: 2018-12-11T11:46:43Z
date_published: 2017-08-25T00:00:00Z
date_updated: 2021-01-12T08:00:57Z
day: '25'
department:
- _id: LaEr
doi: 10.4310/ATMP.2017.v21.n3.a5
ec_funded: 1
intvolume: ' 21'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1602.02312
month: '08'
oa: 1
oa_version: Submitted Version
page: 739 - 800
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Advances in Theoretical and Mathematical Physics
publication_identifier:
issn:
- '10950761'
publication_status: published
publisher: International Press
publist_id: '7337'
quality_controlled: '1'
scopus_import: 1
status: public
title: Universality for a class of random band matrices
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2017'
...
---
_id: '514'
abstract:
- lang: eng
text: 'Orientation in space is represented in specialized brain circuits. Persistent
head direction signals are transmitted from anterior thalamus to the presubiculum,
but the identity of the presubicular target neurons, their connectivity and function
in local microcircuits are unknown. Here, we examine how thalamic afferents recruit
presubicular principal neurons and Martinotti interneurons, and the ensuing synaptic
interactions between these cells. Pyramidal neuron activation of Martinotti cells
in superficial layers is strongly facilitating such that high-frequency head directional
stimulation efficiently unmutes synaptic excitation. Martinotti-cell feedback
plays a dual role: precisely timed spikes may not inhibit the firing of in-tune
head direction cells, while exerting lateral inhibition. Autonomous attractor
dynamics emerge from a modelled network implementing wiring motifs and timing
sensitive synaptic interactions in the pyramidal - Martinotti-cell feedback loop.
This inhibitory microcircuit is therefore tuned to refine and maintain head direction
information in the presubiculum.'
article_number: '16032'
author:
- first_name: Jean
full_name: Simonnet, Jean
last_name: Simonnet
- first_name: Mérie
full_name: Nassar, Mérie
last_name: Nassar
- first_name: Federico
full_name: Stella, Federico
id: 39AF1E74-F248-11E8-B48F-1D18A9856A87
last_name: Stella
orcid: 0000-0001-9439-3148
- first_name: Ivan
full_name: Cohen, Ivan
last_name: Cohen
- first_name: Bertrand
full_name: Mathon, Bertrand
last_name: Mathon
- first_name: Charlotte
full_name: Boccara, Charlotte
id: 3FC06552-F248-11E8-B48F-1D18A9856A87
last_name: Boccara
orcid: 0000-0001-7237-5109
- first_name: Richard
full_name: Miles, Richard
last_name: Miles
- first_name: Desdemona
full_name: Fricker, Desdemona
last_name: Fricker
citation:
ama: Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition
may maintain head direction signals in mouse presubiculum. Nature Communications.
2017;8. doi:10.1038/ncomms16032
apa: Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N.,
… Fricker, D. (2017). Activity dependent feedback inhibition may maintain head
direction signals in mouse presubiculum. Nature Communications. Nature
Publishing Group. https://doi.org/10.1038/ncomms16032
chicago: Simonnet, Jean, Mérie Nassar, Federico Stella, Ivan Cohen, Bertrand Mathon,
Charlotte N. Boccara, Richard Miles, and Desdemona Fricker. “Activity Dependent
Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.”
Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms16032.
ieee: J. Simonnet et al., “Activity dependent feedback inhibition may maintain
head direction signals in mouse presubiculum,” Nature Communications, vol.
8. Nature Publishing Group, 2017.
ista: Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker
D. 2017. Activity dependent feedback inhibition may maintain head direction signals
in mouse presubiculum. Nature Communications. 8, 16032.
mla: Simonnet, Jean, et al. “Activity Dependent Feedback Inhibition May Maintain
Head Direction Signals in Mouse Presubiculum.” Nature Communications, vol.
8, 16032, Nature Publishing Group, 2017, doi:10.1038/ncomms16032.
short: J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R.
Miles, D. Fricker, Nature Communications 8 (2017).
date_created: 2018-12-11T11:46:54Z
date_published: 2017-07-01T00:00:00Z
date_updated: 2021-01-12T08:01:16Z
day: '01'
ddc:
- '571'
department:
- _id: JoCs
doi: 10.1038/ncomms16032
file:
- access_level: open_access
checksum: 76d8a2b72a58e56adb410ec37dfa7eee
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:31Z
date_updated: 2020-07-14T12:46:36Z
file_id: '5083'
file_name: IST-2018-937-v1+1_2017_Stella_Activity_dependent.pdf
file_size: 2948357
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 8'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
issn:
- '20411723'
publication_status: published
publisher: Nature Publishing Group
publist_id: '7305'
pubrep_id: '937'
quality_controlled: '1'
scopus_import: 1
status: public
title: Activity dependent feedback inhibition may maintain head direction signals
in mouse presubiculum
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...
---
_id: '515'
abstract:
- lang: eng
text: 'The oxidative phosphorylation electron transport chain (OXPHOS-ETC) of the
inner mitochondrial membrane is composed of five large protein complexes, named
CI-CV. These complexes convert energy from the food we eat into ATP, a small molecule
used to power a multitude of essential reactions throughout the cell. OXPHOS-ETC
complexes are organized into supercomplexes (SCs) of defined stoichiometry: CI
forms a supercomplex with CIII2 and CIV (SC I+III2+IV, known as the respirasome),
as well as with CIII2 alone (SC I+III2). CIII2 forms a supercomplex with CIV (SC
III2+IV) and CV forms dimers (CV2). Recent cryo-EM studies have revealed the structures
of SC I+III2+IV and SC I+III2. Furthermore, recent work has shed light on the
assembly and function of the SCs. Here we review and compare these recent studies
and discuss how they have advanced our understanding of mitochondrial electron
transport.'
article_type: original
author:
- first_name: James A
full_name: Letts, James A
id: 322DA418-F248-11E8-B48F-1D18A9856A87
last_name: Letts
orcid: 0000-0002-9864-3586
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: 'Letts JA, Sazanov LA. Clarifying the supercomplex: The higher-order organization
of the mitochondrial electron transport chain. Nature Structural and Molecular
Biology. 2017;24(10):800-808. doi:10.1038/nsmb.3460'
apa: 'Letts, J. A., & Sazanov, L. A. (2017). Clarifying the supercomplex: The
higher-order organization of the mitochondrial electron transport chain. Nature
Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.3460'
chicago: 'Letts, James A, and Leonid A Sazanov. “Clarifying the Supercomplex: The
Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature
Structural and Molecular Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/nsmb.3460.'
ieee: 'J. A. Letts and L. A. Sazanov, “Clarifying the supercomplex: The higher-order
organization of the mitochondrial electron transport chain,” Nature Structural
and Molecular Biology, vol. 24, no. 10. Nature Publishing Group, pp. 800–808,
2017.'
ista: 'Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order
organization of the mitochondrial electron transport chain. Nature Structural
and Molecular Biology. 24(10), 800–808.'
mla: 'Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The
Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature
Structural and Molecular Biology, vol. 24, no. 10, Nature Publishing Group,
2017, pp. 800–08, doi:10.1038/nsmb.3460.'
short: J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017)
800–808.
date_created: 2018-12-11T11:46:54Z
date_published: 2017-10-05T00:00:00Z
date_updated: 2021-01-12T08:01:17Z
day: '05'
ddc:
- '572'
department:
- _id: LeSa
doi: 10.1038/nsmb.3460
ec_funded: 1
file:
- access_level: open_access
checksum: 9bc7e8c41b43636dd7566289e511f096
content_type: application/pdf
creator: lsazanov
date_created: 2019-11-07T12:51:07Z
date_updated: 2020-07-14T12:46:36Z
file_id: '6993'
file_name: 29893_2_merged_1501257589_red.pdf
file_size: 4118385
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 24'
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 800 - 808
project:
- _id: 2590DB08-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '701309'
name: Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes
(H2020)
publication: Nature Structural and Molecular Biology
publication_identifier:
issn:
- '15459993'
publication_status: published
publisher: Nature Publishing Group
publist_id: '7304'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Clarifying the supercomplex: The higher-order organization of the mitochondrial
electron transport chain'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2017'
...
---
_id: '513'
abstract:
- lang: eng
text: 'We present an experimental setup that creates a shear flow with zero mean
advection velocity achieved by counterbalancing the nonzero streamwise pressure
gradient by moving boundaries, which generates plane Couette-Poiseuille flow.
We obtain experimental results in the transitional regime for this flow. Using
flow visualization, we characterize the subcritical transition to turbulence in
Couette-Poiseuille flow and show the existence of turbulent spots generated by
a permanent perturbation. Due to the zero mean advection velocity of the base
profile, these turbulent structures are nearly stationary. We distinguish two
regions of the turbulent spot: the active turbulent core, which is characterized
by waviness of the streaks similar to traveling waves, and the surrounding region,
which includes in addition the weak undisturbed streaks and oblique waves at the
laminar-turbulent interface. We also study the dependence of the size of these
two regions on Reynolds number. Finally, we show that the traveling waves move
in the downstream (Poiseuille) direction.'
article_number: '043904'
author:
- first_name: Lukasz
full_name: Klotz, Lukasz
id: 2C9AF1C2-F248-11E8-B48F-1D18A9856A87
last_name: Klotz
orcid: 0000-0003-1740-7635
- first_name: Grégoire M
full_name: Lemoult, Grégoire M
id: 4787FE80-F248-11E8-B48F-1D18A9856A87
last_name: Lemoult
- first_name: Idalia
full_name: Frontczak, Idalia
last_name: Frontczak
- first_name: Laurette
full_name: Tuckerman, Laurette
last_name: Tuckerman
- first_name: José
full_name: Wesfreid, José
last_name: Wesfreid
citation:
ama: 'Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. Couette-Poiseuille
flow experiment with zero mean advection velocity: Subcritical transition to turbulence.
Physical Review Fluids. 2017;2(4). doi:10.1103/PhysRevFluids.2.043904'
apa: 'Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., & Wesfreid, J.
(2017). Couette-Poiseuille flow experiment with zero mean advection velocity:
Subcritical transition to turbulence. Physical Review Fluids. American
Physical Society. https://doi.org/10.1103/PhysRevFluids.2.043904'
chicago: 'Klotz, Lukasz, Grégoire M Lemoult, Idalia Frontczak, Laurette Tuckerman,
and José Wesfreid. “Couette-Poiseuille Flow Experiment with Zero Mean Advection
Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids.
American Physical Society, 2017. https://doi.org/10.1103/PhysRevFluids.2.043904.'
ieee: 'L. Klotz, G. M. Lemoult, I. Frontczak, L. Tuckerman, and J. Wesfreid, “Couette-Poiseuille
flow experiment with zero mean advection velocity: Subcritical transition to turbulence,”
Physical Review Fluids, vol. 2, no. 4. American Physical Society, 2017.'
ista: 'Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille
flow experiment with zero mean advection velocity: Subcritical transition to turbulence.
Physical Review Fluids. 2(4), 043904.'
mla: 'Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection
Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids,
vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.'
short: L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical
Review Fluids 2 (2017).
date_created: 2018-12-11T11:46:54Z
date_published: 2017-04-01T00:00:00Z
date_updated: 2021-01-12T08:01:16Z
day: '01'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.2.043904
intvolume: ' 2'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1704.02619
month: '04'
oa: 1
oa_version: Preprint
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '7306'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical
transition to turbulence'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2017'
...
---
_id: '521'
abstract:
- lang: eng
text: Let X and Y be proper metric spaces. We show that a coarsely n-to-1 map f:X→Y
induces an n-to-1 map of Higson coronas. This viewpoint turns out to be successful
in showing that the classical dimension raising theorems hold in large scale;
that is, if f:X→Y is a coarsely n-to-1 map between proper metric spaces X and
Y then asdim(Y)≤asdim(X)+n−1. Furthermore we introduce coarsely open coarsely
n-to-1 maps, which include the natural quotient maps via a finite group action,
and prove that they preserve the asymptotic dimension.
author:
- first_name: Kyle
full_name: Austin, Kyle
last_name: Austin
- first_name: Ziga
full_name: Virk, Ziga
id: 2E36B656-F248-11E8-B48F-1D18A9856A87
last_name: Virk
citation:
ama: Austin K, Virk Z. Higson compactification and dimension raising. Topology
and its Applications. 2017;215:45-57. doi:10.1016/j.topol.2016.10.005
apa: Austin, K., & Virk, Z. (2017). Higson compactification and dimension raising.
Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2016.10.005
chicago: Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.”
Topology and Its Applications. Elsevier, 2017. https://doi.org/10.1016/j.topol.2016.10.005.
ieee: K. Austin and Z. Virk, “Higson compactification and dimension raising,” Topology
and its Applications, vol. 215. Elsevier, pp. 45–57, 2017.
ista: Austin K, Virk Z. 2017. Higson compactification and dimension raising. Topology
and its Applications. 215, 45–57.
mla: Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.”
Topology and Its Applications, vol. 215, Elsevier, 2017, pp. 45–57, doi:10.1016/j.topol.2016.10.005.
short: K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
date_created: 2018-12-11T11:46:56Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2021-01-12T08:01:21Z
day: '01'
department:
- _id: HeEd
doi: 10.1016/j.topol.2016.10.005
intvolume: ' 215'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1608.03954v1
month: '01'
oa: 1
oa_version: Submitted Version
page: 45 - 57
publication: Topology and its Applications
publication_identifier:
issn:
- '01668641'
publication_status: published
publisher: Elsevier
publist_id: '7299'
quality_controlled: '1'
status: public
title: Higson compactification and dimension raising
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 215
year: '2017'
...
---
_id: '525'
abstract:
- lang: eng
text: 'The Casparian strip is an important barrier regulating water and nutrient
uptake into root tissues. New research reveals two peptide signals and their co-receptors
play critical roles patterning and maintaining barrier integrity. '
acknowledgement: "Biotechnology and Biological Sciences Research Council:\tBBSRC BB/M001806/1
and BB/H020314/1\t"
author:
- first_name: Daniel
full_name: Daniel von Wangenheim
id: 49E91952-F248-11E8-B48F-1D18A9856A87
last_name: Von Wangenheim
orcid: 0000-0002-6862-1247
- first_name: Tatsuaki
full_name: Goh, Tatsuaki
last_name: Goh
- first_name: Daniela
full_name: Dietrich, Daniela
last_name: Dietrich
- first_name: Malcolm
full_name: Bennett, Malcolm J
last_name: Bennett
citation:
ama: 'von Wangenheim D, Goh T, Dietrich D, Bennett M. Plant biology: Building barriers…
in roots. Current Biology. 2017;27(5):R172-R174. doi:10.1016/j.cub.2017.01.060'
apa: 'von Wangenheim, D., Goh, T., Dietrich, D., & Bennett, M. (2017). Plant
biology: Building barriers… in roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.01.060'
chicago: 'Wangenheim, Daniel von, Tatsuaki Goh, Daniela Dietrich, and Malcolm Bennett.
“Plant Biology: Building Barriers… in Roots.” Current Biology. Cell Press,
2017. https://doi.org/10.1016/j.cub.2017.01.060.'
ieee: 'D. von Wangenheim, T. Goh, D. Dietrich, and M. Bennett, “Plant biology: Building
barriers… in roots,” Current Biology, vol. 27, no. 5. Cell Press, pp. R172–R174,
2017.'
ista: 'von Wangenheim D, Goh T, Dietrich D, Bennett M. 2017. Plant biology: Building
barriers… in roots. Current Biology. 27(5), R172–R174.'
mla: 'von Wangenheim, Daniel, et al. “Plant Biology: Building Barriers… in Roots.”
Current Biology, vol. 27, no. 5, Cell Press, 2017, pp. R172–74, doi:10.1016/j.cub.2017.01.060.'
short: D. von Wangenheim, T. Goh, D. Dietrich, M. Bennett, Current Biology 27 (2017)
R172–R174.
date_created: 2018-12-11T11:46:58Z
date_published: 2017-03-06T00:00:00Z
date_updated: 2021-01-12T08:01:23Z
day: '06'
doi: 10.1016/j.cub.2017.01.060
extern: 1
file:
- access_level: open_access
checksum: 81fd4475c5a2a2c6f4313beeab215ed9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:11Z
date_updated: 2020-07-14T12:46:38Z
file_id: '5330'
file_name: IST-2018-983-v1+1_Plant_biology_Building_barriers__in_roots.pdf
file_size: 2840413
relation: main_file
file_date_updated: 2020-07-14T12:46:38Z
intvolume: ' 27'
issue: '5'
main_file_link:
- open_access: '1'
url: https://repository.ist.ac.at/id/eprint/983
month: '03'
oa: 1
page: R172 - R174
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '7294'
pubrep_id: '983'
quality_controlled: 0
status: public
title: 'Plant biology: Building barriers… in roots'
type: journal_article
volume: 27
year: '2017'
...
---
_id: '534'
abstract:
- lang: eng
text: We investigate the complexity of finding an embedded non-orientable surface
of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural
question in low-dimensional topology, and as a first non-trivial instance of embeddability
of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding
to the relatively few hardness results that are currently known in 3-manifold
topology. In addition, we show that the problem lies in NP when the Euler genus
g is odd, and we give an explicit algorithm in this case.
article_processing_charge: No
article_type: original
author:
- first_name: Benjamin
full_name: Burton, Benjamin
last_name: Burton
- first_name: Arnaud N
full_name: De Mesmay, Arnaud N
id: 3DB2F25C-F248-11E8-B48F-1D18A9856A87
last_name: De Mesmay
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds.
Discrete & Computational Geometry. 2017;58(4):871-888. doi:10.1007/s00454-017-9900-0
apa: Burton, B., de Mesmay, A. N., & Wagner, U. (2017). Finding non-orientable
surfaces in 3-Manifolds. Discrete & Computational Geometry. Springer.
https://doi.org/10.1007/s00454-017-9900-0
chicago: Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable
Surfaces in 3-Manifolds.” Discrete & Computational Geometry. Springer,
2017. https://doi.org/10.1007/s00454-017-9900-0.
ieee: B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces
in 3-Manifolds,” Discrete & Computational Geometry, vol. 58, no. 4.
Springer, pp. 871–888, 2017.
ista: Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in
3-Manifolds. Discrete & Computational Geometry. 58(4), 871–888.
mla: Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.”
Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017,
pp. 871–88, doi:10.1007/s00454-017-9900-0.
short: B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry
58 (2017) 871–888.
date_created: 2018-12-11T11:47:01Z
date_published: 2017-06-09T00:00:00Z
date_updated: 2023-02-21T17:01:34Z
day: '09'
department:
- _id: UlWa
doi: 10.1007/s00454-017-9900-0
external_id:
arxiv:
- '1602.07907'
intvolume: ' 58'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1602.07907
month: '06'
oa: 1
oa_version: Preprint
page: 871 - 888
publication: Discrete & Computational Geometry
publication_identifier:
issn:
- '01795376'
publication_status: published
publisher: Springer
publist_id: '7283'
quality_controlled: '1'
related_material:
record:
- id: '1379'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Finding non-orientable surfaces in 3-Manifolds
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 58
year: '2017'
...