---
_id: '8329'
abstract:
- lang: eng
text: We show the synthesis of a redox‐active quinone, 2‐methoxy‐1,4‐hydroquinone
(MHQ), from a bio‐based feedstock and its suitability as electrolyte in aqueous
redox flow batteries. We identified semiquinone intermediates at insufficiently
low pH and quinoid radicals as responsible for decomposition of MHQ under electrochemical
conditions. Both can be avoided and/or stabilized, respectively, using H 3 PO
4 electrolyte, allowing for reversible cycling in a redox flow battery for hundreds
of cycles.
acknowledgement: The Austrian Research Promotion Agency (FFG) is gratefully acknowledged
for financial support of the project LignoBatt (860429).
article_processing_charge: No
article_type: original
author:
- first_name: Werner
full_name: Schlemmer, Werner
last_name: Schlemmer
- first_name: Philipp
full_name: Nothdurft, Philipp
last_name: Nothdurft
- first_name: Alina
full_name: Petzold, Alina
last_name: Petzold
- first_name: Philipp
full_name: Frühwirt, Philipp
last_name: Frühwirt
- first_name: Max
full_name: Schmallegger, Max
last_name: Schmallegger
- first_name: Georg
full_name: Gescheidt-Demner, Georg
last_name: Gescheidt-Demner
- first_name: Roland
full_name: Fischer, Roland
last_name: Fischer
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: Wolfgang
full_name: Kern, Wolfgang
last_name: Kern
- first_name: Stefan
full_name: Spirk, Stefan
last_name: Spirk
citation:
ama: Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin
for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
2020;59(51):22943-22946. doi:10.1002/anie.202008253
apa: Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M.,
Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin
for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
Wiley. https://doi.org/10.1002/anie.202008253
chicago: Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt,
Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger,
Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous
Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley,
2020. https://doi.org/10.1002/anie.202008253.
ieee: W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous
redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59,
no. 51. Wiley, pp. 22943–22946, 2020.
ista: Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner
G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from
vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
59(51), 22943–22946.
mla: Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous
Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59,
no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.
short: W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G.
Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte
Chemie International Edition 59 (2020) 22943–22946.
date_created: 2020-09-03T16:10:56Z
date_published: 2020-12-14T00:00:00Z
date_updated: 2026-06-18T19:32:35Z
day: '14'
ddc:
- '540'
department:
- _id: StFr
doi: 10.1002/anie.202008253
external_id:
isi:
- '000576148700001'
intvolume: ' 59'
isi: 1
issue: '51'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1002/anie.202008253
month: '12'
oa: 1
oa_version: Published Version
page: 22943-22946
publication: Angewandte Chemie International Edition
publication_identifier:
eissn:
- 1521-3773
issn:
- 1433-7851
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
record:
- id: '9780'
relation: research_data
status: public
scopus_import: '1'
status: public
title: 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 59
year: '2020'
...
---
_id: '8339'
abstract:
- lang: eng
text: "Discrete Gaussian distributions over lattices are central to lattice-based
cryptography, and to the computational and mathematical aspects of lattices more
broadly. The literature contains a wealth of useful theorems about the behavior
of discrete Gaussians under convolutions and related operations. Yet despite their
structural similarities, most of these theorems are formally incomparable, and
their proofs tend to be monolithic and written nearly “from scratch,” making them
unnecessarily hard to verify, understand, and extend.\r\nIn this work we present
a modular framework for analyzing linear operations on discrete Gaussian distributions.
The framework abstracts away the particulars of Gaussians, and usually reduces
proofs to the choice of appropriate linear transformations and elementary linear
algebra. To showcase the approach, we establish several general properties of
discrete Gaussians, and show how to obtain all prior convolution theorems (along
with some new ones) as straightforward corollaries. As another application, we
describe a self-reduction for Learning With Errors (LWE) that uses a fixed number
of samples to generate an unlimited number of additional ones (having somewhat
larger error). The distinguishing features of our reduction are its simple analysis
in our framework, and its exclusive use of discrete Gaussians without any loss
in parameters relative to a prior mixed discrete-and-continuous approach.\r\nAs
a contribution of independent interest, for subgaussian random matrices we prove
a singular value concentration bound with explicitly stated constants, and we
give tighter heuristics for specific distributions that are commonly used for
generating lattice trapdoors. These bounds yield improvements in the concrete
bit-security estimates for trapdoor lattice cryptosystems."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Nicholas
full_name: Genise, Nicholas
last_name: Genise
- first_name: Daniele
full_name: Micciancio, Daniele
last_name: Micciancio
- first_name: Chris
full_name: Peikert, Chris
last_name: Peikert
- first_name: Michael
full_name: Walter, Michael
id: 488F98B0-F248-11E8-B48F-1D18A9856A87
last_name: Walter
orcid: 0000-0003-3186-2482
citation:
ama: 'Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and
subgaussian analysis for lattice cryptography. In: 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110.
Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21'
apa: 'Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved
discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd
IACR International Conference on the Practice and Theory of Public-Key Cryptography
(Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21'
chicago: Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter.
“Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.”
In 23rd IACR International Conference on the Practice and Theory of Public-Key
Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21.
ieee: N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian
and subgaussian analysis for lattice cryptography,” in 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh,
United Kingdom, 2020, vol. 12110, pp. 623–651.
ista: 'Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian
and subgaussian analysis for lattice cryptography. 23rd IACR International Conference
on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography,
LNCS, vol. 12110, 623–651.'
mla: Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis
for Lattice Cryptography.” 23rd IACR International Conference on the Practice
and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020,
pp. 623–51, doi:10.1007/978-3-030-45374-9_21.
short: N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature,
2020, pp. 623–651.
conference:
end_date: 2020-05-07
location: Edinburgh, United Kingdom
name: 'PKC: Public-Key Cryptography'
start_date: 2020-05-04
date_created: 2020-09-06T22:01:13Z
date_published: 2020-05-15T00:00:00Z
date_updated: 2026-04-16T09:32:27Z
day: '15'
department:
- _id: KrPi
doi: 10.1007/978-3-030-45374-9_21
ec_funded: 1
external_id:
isi:
- '001299210200021'
intvolume: ' 12110'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2020/337
month: '05'
oa: 1
oa_version: Preprint
page: 623-651
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 23rd IACR International Conference on the Practice and Theory of Public-Key
Cryptography
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030453732'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved discrete Gaussian and subgaussian analysis for lattice cryptography
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12110
year: '2020'
...
---
OA_place: publisher
_id: '8358'
abstract:
- lang: eng
text: "During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like
structure at the center of the cell. This so-called Z-ring acts as a scaffold
recruiting several division-related proteins to mid-cell and plays a key role
in distributing proteins at the division site, a feature driven by the treadmilling
motion of FtsZ filaments around the septum. What regulates the architecture, dynamics
and stability of the Z-ring is still poorly understood, but FtsZ-associated proteins
(Zaps) are known to play an important role. \r\nAdvances in fluorescence microscopy
and in vitro reconstitution experiments have helped to shed light into some of
the dynamic properties of these complex systems, but methods that allow to collect
and analyze large quantitative data sets of the underlying polymer dynamics are
still missing.\r\nHere, using an in vitro reconstitution approach, we studied
how different Zaps affect FtsZ filament dynamics and organization into large-scale
patterns, giving special emphasis to the role of the well-conserved protein ZapA.
For this purpose, we use high-resolution fluorescence microscopy combined with
novel image analysis workfows to study pattern organization and polymerization
dynamics of active filaments. We quantified the influence of Zaps on FtsZ on three
diferent spatial scales: the large-scale organization of the membrane-bound filament
network, the underlying\r\npolymerization dynamics and the behavior of single
molecules.\r\nWe found that ZapA cooperatively increases the spatial order of
the filament network, binds only transiently to FtsZ filaments and has no effect
on filament length and treadmilling velocity. Our data provides a model for how
FtsZ-associated proteins can increase the precision and stability of the bacterial
cell division machinery in a\r\nswitch-like manner, without compromising filament
dynamics. Furthermore, we believe that our automated quantitative methods can
be used to analyze a large variety of dynamic cytoskeletal systems, using standard
time-lapse\r\nmovies of homogeneously labeled proteins obtained from experiments
in vitro or even inside the living cell.\r\n"
acknowledged_ssus:
- _id: Bio
acknowledgement: I should also express my gratitude to the bioimaging facility at
IST Austria, for their assistance with the TIRF setup over the years, and especially
to Christoph Sommer, who gave me a lot of input when I was starting to dive into
programming.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Paulo R
full_name: Dos Santos Caldas, Paulo R
id: 38FCDB4C-F248-11E8-B48F-1D18A9856A87
last_name: Dos Santos Caldas
orcid: 0000-0001-6730-4461
citation:
ama: Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in
cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
apa: Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling
filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358
chicago: Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling
Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of
Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8358.
ieee: P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments
in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and
Technology Austria, 2020.
ista: Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments
in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and
Technology Austria.
mla: Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments
in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science
and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
short: P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments
in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and
Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-10T09:26:49Z
date_published: 2020-09-10T00:00:00Z
date_updated: 2026-04-08T07:26:30Z
day: '10'
ddc:
- '572'
degree_awarded: PhD
department:
- _id: MaLo
doi: 10.15479/AT:ISTA:8358
file:
- access_level: open_access
checksum: 882f93fe9c351962120e2669b84bf088
content_type: application/pdf
creator: pcaldas
date_created: 2020-09-10T12:11:29Z
date_updated: 2020-09-10T12:11:29Z
file_id: '8364'
file_name: phd_thesis_pcaldas.pdf
file_size: 141602462
relation: main_file
success: 1
- access_level: closed
checksum: 70cc9e399c4e41e6e6ac445ae55e8558
content_type: application/x-zip-compressed
creator: pcaldas
date_created: 2020-09-10T12:18:17Z
date_updated: 2020-09-11T07:48:10Z
file_id: '8365'
file_name: phd_thesis_latex_pcaldas.zip
file_size: 450437458
relation: source_file
file_date_updated: 2020-09-11T07:48:10Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '135'
publication_identifier:
isbn:
- 978-3-99078-009-1
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '7197'
relation: part_of_dissertation
status: public
- id: '7572'
relation: dissertation_contains
status: public
status: public
supervisor:
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
title: Organization and dynamics of treadmilling filaments in cytoskeletal networks
of FtsZ and its crosslinkers
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: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
OA_place: publisher
_id: '8366'
abstract:
- lang: eng
text: "Fabrication of curved shells plays an important role in modern design, industry,
and science. Among their remarkable properties are, for example, aesthetics of
organic shapes, ability to evenly distribute loads, or efficient flow separation.
They find applications across vast length scales ranging from sky-scraper architecture
to microscopic devices. But, at\r\nthe same time, the design of curved shells
and their manufacturing process pose a variety of challenges. In this thesis,
they are addressed from several perspectives. In particular, this thesis presents
approaches based on the transformation of initially flat sheets into the target
curved surfaces. This involves problems of interactive design of shells with nontrivial
mechanical constraints, inverse design of complex structural materials, and data-driven
modeling of delicate and time-dependent physical properties. At the same time,
two newly-developed self-morphing mechanisms targeting flat-to-curved transformation
are presented.\r\nIn architecture, doubly curved surfaces can be realized as cold
bent glass panelizations. Originally flat glass panels are bent into frames and
remain stressed. This is a cost-efficient fabrication approach compared to hot
bending, when glass panels are shaped plastically. However such constructions
are prone to breaking during bending, and it is highly\r\nnontrivial to navigate
the design space, keeping the panels fabricable and aesthetically pleasing at
the same time. We introduce an interactive design system for cold bent glass façades,
while previously even offline optimization for such scenarios has not been sufficiently
developed. Our method is based on a deep learning approach providing quick\r\nand
high precision estimation of glass panel shape and stress while handling the shape\r\nmultimodality.\r\nFabrication
of smaller objects of scales below 1 m, can also greatly benefit from shaping
originally flat sheets. In this respect, we designed new self-morphing shell mechanisms
transforming from an initial flat state to a doubly curved state with high precision
and detail. Our so-called CurveUps demonstrate the encodement of the geometric
information\r\ninto the shell. Furthermore, we explored the frontiers of programmable
materials and showed how temporal information can additionally be encoded into
a flat shell. This allows prescribing deformation sequences for doubly curved
surfaces and, thus, facilitates self-collision avoidance enabling complex shapes
and functionalities otherwise impossible.\r\nBoth of these methods include inverse
design tools keeping the user in the design loop."
acknowledged_ssus:
- _id: M-Shop
- _id: ScienComp
acknowledgement: "During the work on this thesis, I received substantial support from
IST Austria’s scientific service units. A big thank you to Todor Asenov and other
Miba Machine Shop team members for their help with fabrication of experimental prototypes.
In addition, I would like to thank Scientific Computing team for the support with
high performance computing.\r\nFinancial support was provided by the European Research
Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented
Computational Design and Modeling, which I gratefully acknowledge."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Ruslan
full_name: Guseinov, Ruslan
id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87
last_name: Guseinov
orcid: 0000-0001-9819-5077
citation:
ama: 'Guseinov R. Computational design of curved thin shells: From glass façades
to programmable matter. 2020. doi:10.15479/AT:ISTA:8366'
apa: 'Guseinov, R. (2020). Computational design of curved thin shells: From glass
façades to programmable matter. Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:8366'
chicago: 'Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass
Façades to Programmable Matter.” Institute of Science and Technology Austria,
2020. https://doi.org/10.15479/AT:ISTA:8366.'
ieee: 'R. Guseinov, “Computational design of curved thin shells: From glass façades
to programmable matter,” Institute of Science and Technology Austria, 2020.'
ista: 'Guseinov R. 2020. Computational design of curved thin shells: From glass
façades to programmable matter. Institute of Science and Technology Austria.'
mla: 'Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass
Façades to Programmable Matter. Institute of Science and Technology Austria,
2020, doi:10.15479/AT:ISTA:8366.'
short: 'R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades
to Programmable Matter, Institute of Science and Technology Austria, 2020.'
corr_author: '1'
date_created: 2020-09-10T16:19:55Z
date_published: 2020-09-21T00:00:00Z
date_updated: 2026-04-08T07:25:22Z
day: '21'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: BeBi
doi: 10.15479/AT:ISTA:8366
ec_funded: 1
file:
- access_level: open_access
checksum: f8da89553da36037296b0a80f14ebf50
content_type: application/pdf
creator: rguseino
date_created: 2020-09-10T16:11:49Z
date_updated: 2020-09-10T16:11:49Z
file_id: '8367'
file_name: thesis_rguseinov.pdf
file_size: 70950442
relation: main_file
success: 1
- access_level: closed
checksum: e8fd944c960c20e0e27e6548af69121d
content_type: application/x-zip-compressed
creator: rguseino
date_created: 2020-09-11T09:39:48Z
date_updated: 2020-09-16T15:11:01Z
file_id: '8374'
file_name: thesis_source.zip
file_size: 76207597
relation: source_file
file_date_updated: 2020-09-16T15:11:01Z
has_accepted_license: '1'
keyword:
- computer-aided design
- shape modeling
- self-morphing
- mechanical engineering
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '118'
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
publication_identifier:
isbn:
- 978-3-99078-010-7
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '8562'
relation: part_of_dissertation
status: public
- id: '8375'
relation: research_data
status: public
- id: '7151'
relation: research_data
status: deleted
- id: '1001'
relation: part_of_dissertation
status: public
- id: '7262'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
title: 'Computational design of curved thin shells: From glass façades to programmable
matter'
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
OA_place: publisher
_id: '8390'
abstract:
- lang: eng
text: "Deep neural networks have established a new standard for data-dependent feature
extraction pipelines in the Computer Vision literature. Despite their remarkable
performance in the standard supervised learning scenario, i.e. when models are
trained with labeled data and tested on samples that follow a similar distribution,
neural networks have been shown to struggle with more advanced generalization
abilities, such as transferring knowledge across visually different domains, or
generalizing to new unseen combinations of known concepts. In this thesis we argue
that, in contrast to the usual black-box behavior of neural networks, leveraging
more structured internal representations is a promising direction\r\nfor tackling
such problems. In particular, we focus on two forms of structure. First, we tackle
modularity: We show that (i) compositional architectures are a natural tool for
modeling reasoning tasks, in that they efficiently capture their combinatorial
nature, which is key for generalizing beyond the compositions seen during training.
We investigate how to to learn such models, both formally and experimentally,
for the task of abstract visual reasoning. Then, we show that (ii) in some settings,
modularity allows us to efficiently break down complex tasks into smaller, easier,
modules, thereby improving computational efficiency; We study this behavior in
the context of generative models for colorization, as well as for small objects
detection. Secondly, we investigate the inherently layered structure of representations
learned by neural networks, and analyze its role in the context of transfer learning
and domain adaptation across visually\r\ndissimilar domains. "
acknowledged_ssus:
- _id: CampIT
- _id: ScienComp
acknowledgement: Last but not least, I would like to acknowledge the support of the
IST IT and scientific computing team for helping provide a great work environment.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Amélie
full_name: Royer, Amélie
id: 3811D890-F248-11E8-B48F-1D18A9856A87
last_name: Royer
orcid: 0000-0002-8407-0705
citation:
ama: Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning
models. 2020. doi:10.15479/AT:ISTA:8390
apa: Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible
Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390
chicago: Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible
Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390.
ieee: A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep
Learning models,” Institute of Science and Technology Austria, 2020.
ista: Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible
Deep Learning models. Institute of Science and Technology Austria.
mla: Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible
Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390.
short: A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep
Learning Models, Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-14T13:42:09Z
date_published: 2020-09-14T00:00:00Z
date_updated: 2026-04-08T07:26:44Z
day: '14'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ChLa
doi: 10.15479/AT:ISTA:8390
file:
- access_level: open_access
checksum: c914d2f88846032f3d8507734861b6ee
content_type: application/pdf
creator: dernst
date_created: 2020-09-14T13:39:14Z
date_updated: 2020-09-14T13:39:14Z
file_id: '8391'
file_name: 2020_Thesis_Royer.pdf
file_size: 30224591
relation: main_file
success: 1
- access_level: closed
checksum: ae98fb35d912cff84a89035ae5794d3c
content_type: application/x-zip-compressed
creator: dernst
date_created: 2020-09-14T13:39:17Z
date_updated: 2020-09-14T13:39:17Z
file_id: '8392'
file_name: thesis_sources.zip
file_size: 74227627
relation: main_file
file_date_updated: 2020-09-14T13:39:17Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: '197'
publication_identifier:
isbn:
- 978-3-99078-007-7
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '7936'
relation: part_of_dissertation
status: public
- id: '8092'
relation: part_of_dissertation
status: public
- id: '911'
relation: part_of_dissertation
status: public
- id: '8193'
relation: part_of_dissertation
status: public
- id: '7937'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
title: Leveraging structure in Computer Vision tasks for flexible Deep Learning models
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8404'
abstract:
- lang: eng
text: The mitochondrial Tim chaperones are responsible for the transport
of membrane proteins across the inter-membrane space to the inner and outer mitochondrial
membranes. TIM9·10, a hexameric 70 kDa protein complex formed by 3 copies of Tim9
and Tim10, guides its clients across the aqueous compartment. The TIM9·10·12 complex
is the anchor point at the inner-membrane insertase complex TIM22. The mechanism
of client transport by TIM9·10 has been resolved recently, but the structure and
subunit composition of the TIM9·10·12 complex remains largely unresolved. Furthermore,
the assembly process of the hexameric TIM chaperones from its subunits remained
elusive. We investigate the structural and dynamical properties of the Tim subunits,
and show that they are highly dynamic. In their non-assembled form, the subunits
behave as intrinsically disordered proteins; when the conserved cysteines of the
CX3C-Xn-CX3C
motifs are formed, short marginally stable α-helices
are formed, which are only fully stabilized upon hexamer formation to the mature
chaperone. Subunits are in equilibrium between their hexamer-embedded and a free
form, with exchange kinetics on a minutes time scale. Joint NMR, small-angle X-ray
scattering and MD simulation data allow us to derive a structural model of the
TIM9·10·12 assembly, which has a 2:3:1 stoichiometry (Tim9:Tim10:Tim12) with a
conserved hydrophobic client-binding groove and flexible N- and C-terminal tentacles.
article_processing_charge: No
author:
- first_name: Katharina
full_name: Weinhäupl, Katharina
last_name: Weinhäupl
- first_name: Yong
full_name: Wang, Yong
last_name: Wang
- first_name: Audrey
full_name: Hessel, Audrey
last_name: Hessel
- first_name: Martha
full_name: Brennich, Martha
last_name: Brennich
- first_name: Kresten
full_name: Lindorff-Larsen, Kresten
last_name: Lindorff-Larsen
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
citation:
ama: Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture
and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv.
doi:10.1101/2020.03.13.990150
apa: Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., &
Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12
chaperone. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.13.990150
chicago: Weinhäupl, Katharina, Yong Wang, Audrey Hessel, Martha Brennich, Kresten
Lindorff-Larsen, and Paul Schanda. “Architecture and Subunit Dynamics of the Mitochondrial
TIM9·10·12 Chaperone.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.03.13.990150.
ieee: K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P.
Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,”
bioRxiv. Cold Spring Harbor Laboratory.
ista: Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture
and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.
mla: Weinhäupl, Katharina, et al. “Architecture and Subunit Dynamics of the Mitochondrial
TIM9·10·12 Chaperone.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.03.13.990150.
short: K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, P. Schanda,
BioRxiv (n.d.).
date_created: 2020-09-17T10:27:59Z
date_published: 2020-03-14T00:00:00Z
date_updated: 2021-01-12T08:19:03Z
day: '14'
doi: 10.1101/2020.03.13.990150
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/2020.03.13.990150
month: '03'
oa: 1
oa_version: Preprint
publication: bioRxiv
publication_status: submitted
publisher: Cold Spring Harbor Laboratory
status: public
title: Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
OA_place: publisher
_id: '8574'
abstract:
- lang: eng
text: "This thesis concerns itself with the interactions of evolutionary and ecological
forces and the consequences on genetic diversity and the ultimate survival of
populations. It is important to understand what signals processes \r\nleave on
the genome and what we can infer from such data, which is usually abundant but
noisy. Furthermore, understanding how and when populations adapt or go extinct
is important for practical purposes, such as the genetic management of populations,
as well as for theoretical questions, since local adaptation can be the first
step toward speciation. \r\nIn Chapter 2, we introduce the method of maximum entropy
to approximate the demographic changes of a population in a simple setting, namely
the logistic growth model with immigration. We show that this method is not only
a powerful \r\ntool in physics but can be gainfully applied in an ecological framework.
We investigate how well it approximates the real \r\nbehavior of the system, and
find that is does so, even in unexpected situations. Finally, we illustrate how
it can model changing environments.\r\nIn Chapter 3, we analyze the co-evolution
of allele frequencies and population sizes in an infinite island model.\r\nWe
give conditions under which polygenic adaptation to a rare habitat is possible.
The model we use is based on the diffusion approximation, considers eco-evolutionary
feedback mechanisms (hard selection), and treats both \r\ndrift and environmental
fluctuations explicitly. We also look at limiting scenarios, for which we derive
analytical expressions. \r\nIn Chapter 4, we present a coalescent based simulation
tool to obtain patterns of diversity in a spatially explicit subdivided population,
in which the demographic history of each subpopulation can be specified. We compare
\r\nthe results to existing predictions, and explore the relative importance of
time and space under a variety of spatial arrangements and demographic histories,
such as expansion and extinction. \r\nIn the last chapter, we give a brief outlook
to further research. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Eniko
full_name: Szep, Eniko
id: 485BB5A4-F248-11E8-B48F-1D18A9856A87
last_name: Szep
citation:
ama: Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
apa: Szep, E. (2020). Local adaptation in metapopulations. Institute of Science
and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574
chicago: Szep, Eniko. “Local Adaptation in Metapopulations.” Institute of Science
and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574.
ieee: E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology
Austria, 2020.
ista: Szep E. 2020. Local adaptation in metapopulations. Institute of Science and
Technology Austria.
mla: Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science
and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574.
short: E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology
Austria, 2020.
corr_author: '1'
date_created: 2020-09-28T07:33:38Z
date_published: 2020-09-20T00:00:00Z
date_updated: 2026-04-08T07:21:44Z
day: '20'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: NiBa
doi: 10.15479/AT:ISTA:8574
file:
- access_level: open_access
checksum: 20e71f015fbbd78fea708893ad634ed0
content_type: application/pdf
creator: dernst
date_created: 2020-09-28T07:25:35Z
date_updated: 2020-09-28T07:25:35Z
file_id: '8575'
file_name: thesis_EnikoSzep_final.pdf
file_size: 6354833
relation: main_file
success: 1
- access_level: closed
checksum: a8de2c14a1bb4e53c857787efbb289e1
content_type: application/x-zip-compressed
creator: dernst
date_created: 2020-09-28T07:25:37Z
date_updated: 2020-09-28T07:25:37Z
file_id: '8576'
file_name: thesisFiles_EnikoSzep.zip
file_size: 23020401
relation: source_file
file_date_updated: 2020-09-28T07:25:37Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '158'
publication_identifier:
eissn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
status: public
supervisor:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
title: Local adaptation in metapopulations
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
OA_place: publisher
_id: '8589'
abstract:
- lang: eng
text: The plant hormone auxin plays indispensable roles in plant growth and development.
An essential level of regulation in auxin action is the directional auxin transport
within cells. The establishment of auxin gradient in plant tissue has been attributed
to local auxin biosynthesis and directional intercellular auxin transport, which
both are controlled by various environmental and developmental signals. It is
well established that asymmetric auxin distribution in cells is achieved by polarly
localized PIN-FORMED (PIN) auxin efflux transporters. Despite the initial insights
into cellular mechanisms of PIN polarization obtained from the last decades, the
molecular mechanism and specific regulators mediating PIN polarization remains
elusive. In this thesis, we aim to find novel players in PIN subcellular polarity
regulation during Arabidopsis development. We first characterize the physiological
effect of piperonylic acid (PA) on Arabidopsis hypocotyl gravitropic bending and
PIN polarization. Secondly, we reveal the importance of SCFTIR1/AFB auxin signaling
pathway in shoot gravitropism bending termination. In addition, we also explore
the role of myosin XI complex, and actin cytoskeleton in auxin feedback regulation
on PIN polarity. In Chapter 1, we give an overview of the current knowledge about
PIN-mediated auxin fluxes in various plant tropic responses. In Chapter 2, we
study the physiological effect of PA on shoot gravitropic bending. Our results
show that PA treatment inhibits auxin-mediated PIN3 repolarization by interfering
with PINOID and PIN3 phosphorylation status, ultimately leading to hyperbending
hypocotyls. In Chapter 3, we provide evidence to show that the SCFTIR1/AFB nuclear
auxin signaling pathway is crucial and required for auxin-mediated PIN3 repolarization
and shoot gravitropic bending termination. In Chapter 4, we perform a phosphoproteomics
approach and identify the motor protein Myosin XI and its binding protein, the
MadB2 family, as an essential regulator of PIN polarity for auxin-canalization
related developmental processes. In Chapter 5, we demonstrate the vital role of
actin cytoskeleton in auxin feedback on PIN polarity by regulating PIN subcellular
trafficking. Overall, the data presented in this PhD thesis brings novel insights
into the PIN polar localization regulation that resulted in the (re)establishment
of the polar auxin flow and gradient in response to environmental stimuli during
plant development.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: I also want to thank the China Scholarship Council for supporting
my study during the year from 2015 to 2019. I also want to thank IST facilities
– the Bioimaging facility, the media kitchen, the plant facility and all of the
campus services, for their support.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Huibin
full_name: Han, Huibin
id: 31435098-F248-11E8-B48F-1D18A9856A87
last_name: Han
citation:
ama: Han H. Novel insights into PIN polarity regulation during Arabidopsis development.
2020. doi:10.15479/AT:ISTA:8589
apa: Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis
development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589
chicago: Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis
Development.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8589.
ieee: H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,”
Institute of Science and Technology Austria, 2020.
ista: Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis
development. Institute of Science and Technology Austria.
mla: Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis
Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.
short: H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development,
Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-30T14:50:51Z
date_published: 2020-09-30T00:00:00Z
date_updated: 2026-06-18T19:25:52Z
day: '30'
ddc:
- '580'
degree_awarded: PhD
department:
- _id: JiFr
doi: 10.15479/AT:ISTA:8589
file:
- access_level: closed
checksum: c4bda1947d4c09c428ac9ce667b02327
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2020-09-30T14:50:20Z
date_updated: 2020-09-30T14:50:20Z
file_id: '8590'
file_name: 2020_Han_Thesis.docx
file_size: 49198118
relation: source_file
- access_level: open_access
checksum: 3f4f5d1718c2230adf30639ecaf8a00b
content_type: application/pdf
creator: dernst
date_created: 2020-09-30T14:49:59Z
date_updated: 2021-10-01T13:33:02Z
file_id: '8591'
file_name: 2020_Han_Thesis.pdf
file_size: 15513963
relation: main_file
file_date_updated: 2021-10-01T13:33:02Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '164'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '7643'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
title: Novel insights into PIN polarity regulation during Arabidopsis development
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8623'
abstract:
- lang: eng
text: We introduce the monitoring of trace properties under assumptions. An assumption
limits the space of possible traces that the monitor may encounter. An assumption
may result from knowledge about the system that is being monitored, about the
environment, or about another, connected monitor. We define monitorability under
assumptions and study its theoretical properties. In particular, we show that
for every assumption A, the boolean combinations of properties that are safe or
co-safe relative to A are monitorable under A. We give several examples and constructions
on how an assumption can make a non-monitorable property monitorable, and how
an assumption can make a monitorable property monitorable with fewer resources,
such as integer registers.
acknowledgement: This research was supported in part by the Austrian Science Fund
(FWF) under grant Z211-N23 (Wittgenstein Award).
alternative_title:
- LNCS
article_processing_charge: No
author:
- 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: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification.
Vol 12399. Springer Nature; 2020:3-18. doi:10.1007/978-3-030-60508-7_1'
apa: 'Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions.
In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United
States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1'
chicago: Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.”
In Runtime Verification, 12399:3–18. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60508-7_1.
ieee: T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in Runtime
Verification, Los Angeles, CA, United States, 2020, vol. 12399, pp. 3–18.
ista: 'Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification.
RV: Runtime Verification, LNCS, vol. 12399, 3–18.'
mla: Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.”
Runtime Verification, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.
short: T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020,
pp. 3–18.
conference:
end_date: 2020-10-09
location: Los Angeles, CA, United States
name: 'RV: Runtime Verification'
start_date: 2020-10-06
date_created: 2020-10-07T15:05:37Z
date_published: 2020-10-02T00:00:00Z
date_updated: 2026-04-16T10:22:01Z
day: '02'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-60508-7_1
external_id:
isi:
- '000728160600001'
file:
- access_level: open_access
checksum: 00661f9b7034f52e18bf24fa552b8194
content_type: application/pdf
creator: esarac
date_created: 2020-10-15T14:28:06Z
date_updated: 2020-10-15T14:28:06Z
file_id: '8665'
file_name: monitorability.pdf
file_size: 478148
relation: main_file
success: 1
file_date_updated: 2020-10-15T14:28:06Z
has_accepted_license: '1'
intvolume: ' 12399'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 3-18
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Runtime Verification
publication_identifier:
eisbn:
- '9783030605087'
eissn:
- 1611-3349
isbn:
- '9783030605070'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitorability under assumptions
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12399
year: '2020'
...
---
_id: '8669'
abstract:
- lang: eng
text: Pancreatic islets play an essential role in regulating blood glucose level.
Although the molecular pathways underlying islet cell differentiation are beginning
to be resolved, the cellular basis of islet morphogenesis and fate allocation
remain unclear. By combining unbiased and targeted lineage tracing, we address
the events leading to islet formation in the mouse. From the statistical analysis
of clones induced at multiple embryonic timepoints, here we show that, during
the secondary transition, islet formation involves the aggregation of multiple
equipotent endocrine progenitors that transition from a phase of stochastic amplification
by cell division into a phase of sublineage restriction and limited islet fission.
Together, these results explain quantitatively the heterogeneous size distribution
and degree of polyclonality of maturing islets, as well as dispersion of progenitors
within and between islets. Further, our results show that, during the secondary
transition, α- and β-cells are generated in a contemporary manner. Together, these
findings provide insight into the cellular basis of islet development.
article_number: '5037'
article_processing_charge: No
article_type: original
author:
- first_name: Magdalena K.
full_name: Sznurkowska, Magdalena K.
last_name: Sznurkowska
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Roberta
full_name: Azzarelli, Roberta
last_name: Azzarelli
- first_name: Lemonia
full_name: Chatzeli, Lemonia
last_name: Chatzeli
- first_name: Tatsuro
full_name: Ikeda, Tatsuro
last_name: Ikeda
- first_name: Shosei
full_name: Yoshida, Shosei
last_name: Yoshida
- first_name: Anna
full_name: Philpott, Anna
last_name: Philpott
- first_name: Benjamin D
full_name: Simons, Benjamin D
last_name: Simons
citation:
ama: Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis
of islet specification in mouse pancreas. Nature Communications. 2020;11.
doi:10.1038/s41467-020-18837-3
apa: Sznurkowska, M. K., Hannezo, E. B., Azzarelli, R., Chatzeli, L., Ikeda, T.,
Yoshida, S., … Simons, B. D. (2020). Tracing the cellular basis of islet specification
in mouse pancreas. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18837-3
chicago: Sznurkowska, Magdalena K., Edouard B Hannezo, Roberta Azzarelli, Lemonia
Chatzeli, Tatsuro Ikeda, Shosei Yoshida, Anna Philpott, and Benjamin D Simons.
“Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature
Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18837-3.
ieee: M. K. Sznurkowska et al., “Tracing the cellular basis of islet specification
in mouse pancreas,” Nature Communications, vol. 11. Springer Nature, 2020.
ista: Sznurkowska MK, Hannezo EB, Azzarelli R, Chatzeli L, Ikeda T, Yoshida S, Philpott
A, Simons BD. 2020. Tracing the cellular basis of islet specification in mouse
pancreas. Nature Communications. 11, 5037.
mla: Sznurkowska, Magdalena K., et al. “Tracing the Cellular Basis of Islet Specification
in Mouse Pancreas.” Nature Communications, vol. 11, 5037, Springer Nature,
2020, doi:10.1038/s41467-020-18837-3.
short: M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida,
A. Philpott, B.D. Simons, Nature Communications 11 (2020).
date_created: 2020-10-18T22:01:35Z
date_published: 2020-10-07T00:00:00Z
date_updated: 2026-04-02T14:29:58Z
day: '07'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1038/s41467-020-18837-3
external_id:
isi:
- '000577244600003'
pmid:
- '33028844'
file:
- access_level: open_access
checksum: 0ecc0eab72d2d50694852579611a6624
content_type: application/pdf
creator: dernst
date_created: 2020-10-19T11:27:46Z
date_updated: 2020-10-19T11:27:46Z
file_id: '8677'
file_name: 2020_NatureComm_Sznurkowska.pdf
file_size: 5540540
relation: main_file
success: 1
file_date_updated: 2020-10-19T11:27:46Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tracing the cellular basis of islet specification in mouse pancreas
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 11
year: '2020'
...
---
_id: '8679'
abstract:
- lang: eng
text: A central goal of artificial intelligence in high-stakes decision-making applications
is to design a single algorithm that simultaneously expresses generalizability
by learning coherent representations of their world and interpretable explanations
of its dynamics. Here, we combine brain-inspired neural computation principles
and scalable deep learning architectures to design compact neural controllers
for task-specific compartments of a full-stack autonomous vehicle control system.
We discover that a single algorithm with 19 control neurons, connecting 32 encapsulated
input features to outputs by 253 synapses, learns to map high-dimensional inputs
into steering commands. This system shows superior generalizability, interpretability
and robustness compared with orders-of-magnitude larger black-box learning systems.
The obtained neural agents enable high-fidelity autonomy for task-specific parts
of a complex autonomous system.
article_processing_charge: No
article_type: original
author:
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Ramin
full_name: Hasani, Ramin
last_name: Hasani
- first_name: Alexander
full_name: Amini, Alexander
last_name: Amini
- 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: Daniela
full_name: Rus, Daniela
last_name: Rus
- first_name: Radu
full_name: Grosu, Radu
last_name: Grosu
citation:
ama: Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. Neural circuit
policies enabling auditable autonomy. Nature Machine Intelligence. 2020;2:642-652.
doi:10.1038/s42256-020-00237-3
apa: Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu,
R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine
Intelligence. Springer Nature. https://doi.org/10.1038/s42256-020-00237-3
chicago: Lechner, Mathias, Ramin Hasani, Alexander Amini, Thomas A Henzinger, Daniela
Rus, and Radu Grosu. “Neural Circuit Policies Enabling Auditable Autonomy.” Nature
Machine Intelligence. Springer Nature, 2020. https://doi.org/10.1038/s42256-020-00237-3.
ieee: M. Lechner, R. Hasani, A. Amini, T. A. Henzinger, D. Rus, and R. Grosu, “Neural
circuit policies enabling auditable autonomy,” Nature Machine Intelligence,
vol. 2. Springer Nature, pp. 642–652, 2020.
ista: Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. 2020. Neural circuit
policies enabling auditable autonomy. Nature Machine Intelligence. 2, 642–652.
mla: Lechner, Mathias, et al. “Neural Circuit Policies Enabling Auditable Autonomy.”
Nature Machine Intelligence, vol. 2, Springer Nature, 2020, pp. 642–52,
doi:10.1038/s42256-020-00237-3.
short: M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature
Machine Intelligence 2 (2020) 642–652.
date_created: 2020-10-19T13:46:06Z
date_published: 2020-10-01T00:00:00Z
date_updated: 2025-04-15T06:25:57Z
day: '01'
department:
- _id: ToHe
doi: 10.1038/s42256-020-00237-3
external_id:
isi:
- '000583337200011'
intvolume: ' 2'
isi: 1
language:
- iso: eng
month: '10'
oa_version: None
page: 642-652
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Nature Machine Intelligence
publication_identifier:
eissn:
- 2522-5839
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/new-deep-learning-models/
scopus_import: '1'
status: public
title: Neural circuit policies enabling auditable autonomy
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2
year: '2020'
...
---
_id: '8700'
abstract:
- lang: eng
text: Translation termination is a finishing step of protein biosynthesis. The significant
role in this process belongs not only to protein factors of translation termination
but also to the nearest nucleotide environment of stop codons. There are numerous
descriptions of stop codons readthrough, which is due to specific nucleotide sequences
behind them. However, represented data are segmental and don’t explain the mechanism
of the nucleotide context influence on translation termination. It is well known
that stop codon UAA usage is preferential for A/T-rich genes, and UAG, UGA—for
G/C-rich genes, which is related to an expression level of these genes. We investigated
the connection between a frequency of nucleotides occurrence in 3' area of stop
codons in the human genome and their influence on translation termination efficiency.
We found that 3' context motif, which is cognate to the sequence of a stop codon,
stimulates translation termination. At the same time, the nucleotide composition
of 3' sequence that differs from stop codon, decreases translation termination
efficiency.
acknowledgement: We would like to thank the staff of CCU Genome for sequencing, Tat’yana
Pestova, Christopher Helen, and Lyudmila Yur’evna Frolova for the plasmids provided,
as well as the laboratory staff for productive discussion of the results. We also
thank former laboratory employees Yuliya Vladimirovna Bocharova and Polina Nikolaevna
Kryuchkova for the exceptional contribution to the present work.
article_processing_charge: No
article_type: original
author:
- first_name: E. E.
full_name: Sokolova, E. E.
last_name: Sokolova
- first_name: Petr
full_name: Vlasov, Petr
id: 38BB9AC4-F248-11E8-B48F-1D18A9856A87
last_name: Vlasov
- first_name: T. V.
full_name: Egorova, T. V.
last_name: Egorova
- first_name: A. V.
full_name: Shuvalov, A. V.
last_name: Shuvalov
- first_name: E. Z.
full_name: Alkalaeva, E. Z.
last_name: Alkalaeva
citation:
ama: Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence
of A/G composition of 3’ stop codon contexts on translation termination efficiency
in eukaryotes. Molecular Biology. 2020;54(5):739-748. doi:10.1134/S0026893320050088
apa: Sokolova, E. E., Vlasov, P., Egorova, T. V., Shuvalov, A. V., & Alkalaeva,
E. Z. (2020). The influence of A/G composition of 3’ stop codon contexts on translation
termination efficiency in eukaryotes. Molecular Biology. Springer Nature.
https://doi.org/10.1134/S0026893320050088
chicago: Sokolova, E. E., Petr Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z.
Alkalaeva. “The Influence of A/G Composition of 3’ Stop Codon Contexts on Translation
Termination Efficiency in Eukaryotes.” Molecular Biology. Springer Nature,
2020. https://doi.org/10.1134/S0026893320050088.
ieee: E. E. Sokolova, P. Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva,
“The influence of A/G composition of 3’ stop codon contexts on translation termination
efficiency in eukaryotes,” Molecular Biology, vol. 54, no. 5. Springer
Nature, pp. 739–748, 2020.
ista: Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence
of A/G composition of 3’ stop codon contexts on translation termination efficiency
in eukaryotes. Molecular Biology. 54(5), 739–748.
mla: Sokolova, E. E., et al. “The Influence of A/G Composition of 3’ Stop Codon
Contexts on Translation Termination Efficiency in Eukaryotes.” Molecular Biology,
vol. 54, no. 5, Springer Nature, 2020, pp. 739–48, doi:10.1134/S0026893320050088.
short: E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular
Biology 54 (2020) 739–748.
date_created: 2020-10-25T23:01:17Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2025-07-10T12:01:20Z
day: '01'
department:
- _id: FyKo
doi: 10.1134/S0026893320050088
external_id:
isi:
- '000579441200009'
intvolume: ' 54'
isi: 1
issue: '5'
language:
- iso: eng
month: '09'
oa_version: None
page: 739-748
publication: Molecular Biology
publication_identifier:
eissn:
- 1608-3245
issn:
- 0026-8933
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8701'
relation: original
status: public
scopus_import: '1'
status: public
title: The influence of A/G composition of 3' stop codon contexts on translation termination
efficiency in eukaryotes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2020'
...
---
_id: '8701'
abstract:
- lang: eng
text: Translation termination is a finishing step of protein biosynthesis. The significant
role in this process belongs not only to protein factors of translation termination
but also to the nearest nucleotide environment of stop codons. There are numerous
descriptions of stop codons readthrough, which is due to specific nucleotide sequences
behind them. However, represented data are segmental and don’t explain the mechanism
of the nucleotide context influence on translation termination. It is well known
that stop codon UAA usage is preferential for A/T-rich genes, and UAG, UGA—for
G/C-rich genes, which is related to an expression level of these genes. We investigated
the connection between a frequency of nucleotides occurrence in 3' area of stop
codons in the human genome and their influence on translation termination efficiency.
We found that 3' context motif, which is cognate to the sequence of a stop codon,
stimulates translation termination. At the same time, the nucleotide composition
of 3' sequence that differs from stop codon, decreases translation termination
efficiency.
article_processing_charge: No
article_type: original
author:
- first_name: E. E.
full_name: Sokolova, E. E.
last_name: Sokolova
- first_name: Petr
full_name: Vlasov, Petr
id: 38BB9AC4-F248-11E8-B48F-1D18A9856A87
last_name: Vlasov
- first_name: T. V.
full_name: Egorova, T. V.
last_name: Egorova
- first_name: A. V.
full_name: Shuvalov, A. V.
last_name: Shuvalov
- first_name: E. Z.
full_name: Alkalaeva, E. Z.
last_name: Alkalaeva
citation:
ama: Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence
of A/G composition of 3’ stop codon contexts on translation termination efficiency
in eukaryotes. Molekuliarnaia biologiia. 2020;54(5):837-848. doi:10.31857/S0026898420050080
apa: Sokolova, E. E., Vlasov, P., Egorova, T. V., Shuvalov, A. V., & Alkalaeva,
E. Z. (2020). The influence of A/G composition of 3’ stop codon contexts on translation
termination efficiency in eukaryotes. Molekuliarnaia biologiia. Russian
Academy of Sciences. https://doi.org/10.31857/S0026898420050080
chicago: Sokolova, E. E., Petr Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z.
Alkalaeva. “The influence of A/G composition of 3’ stop codon contexts on translation
termination efficiency in eukaryotes.” Molekuliarnaia biologiia. Russian
Academy of Sciences, 2020. https://doi.org/10.31857/S0026898420050080.
ieee: E. E. Sokolova, P. Vlasov, T. V. Egorova, A. V. Shuvalov, and E. Z. Alkalaeva,
“The influence of A/G composition of 3’ stop codon contexts on translation termination
efficiency in eukaryotes,” Molekuliarnaia biologiia, vol. 54, no. 5. Russian
Academy of Sciences, pp. 837–848, 2020.
ista: Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. 2020. The influence
of A/G composition of 3’ stop codon contexts on translation termination efficiency
in eukaryotes. Molekuliarnaia biologiia. 54(5), 837–848.
mla: Sokolova, E. E., et al. “The influence of A/G composition of 3’ stop codon
contexts on translation termination efficiency in eukaryotes.” Molekuliarnaia
biologiia, vol. 54, no. 5, Russian Academy of Sciences, 2020, pp. 837–48,
doi:10.31857/S0026898420050080.
short: E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia
biologiia 54 (2020) 837–848.
date_created: 2020-10-25T23:01:17Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2025-07-10T12:01:20Z
day: '01'
department:
- _id: FyKo
doi: 10.31857/S0026898420050080
external_id:
pmid:
- '33009793'
intvolume: ' 54'
issue: '5'
language:
- iso: rus
month: '09'
oa_version: None
page: 837-848
pmid: 1
publication: Molekuliarnaia biologiia
publication_identifier:
issn:
- 0026-8984
publication_status: published
publisher: Russian Academy of Sciences
quality_controlled: '1'
related_material:
record:
- id: '8700'
relation: translation
status: public
scopus_import: '1'
status: public
title: The influence of A/G composition of 3' stop codon contexts on translation termination
efficiency in eukaryotes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2020'
...
---
_id: '8705'
abstract:
- lang: eng
text: We consider the quantum mechanical many-body problem of a single impurity
particle immersed in a weakly interacting Bose gas. The impurity interacts with
the bosons via a two-body potential. We study the Hamiltonian of this system in
the mean-field limit and rigorously show that, at low energies, the problem is
well described by the Fröhlich polaron model.
acknowledgement: Financial support through the European Research Council (ERC) under
the European Union’s Horizon 2020 research and innovation programme Grant agreement
No. 694227 (R.S.) and the Maria Skłodowska-Curie Grant agreement No. 665386 (K.M.)
is gratefully acknowledged. Funding Open access funding provided by Institute of
Science and Technology (IST Austria)
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Krzysztof
full_name: Mysliwy, Krzysztof
id: 316457FC-F248-11E8-B48F-1D18A9856A87
last_name: Mysliwy
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian
for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025.
doi:10.1007/s00023-020-00969-3
apa: Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich
Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare.
Springer Nature. https://doi.org/10.1007/s00023-020-00969-3
chicago: Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the
Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales
Henri Poincare. Springer Nature, 2020. https://doi.org/10.1007/s00023-020-00969-3.
ieee: K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian
for the Bose polaron in the mean-field limit,” Annales Henri Poincare,
vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020.
ista: Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian
for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12),
4003–4025.
mla: Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich
Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare,
vol. 21, no. 12, Springer Nature, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3.
short: K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
corr_author: '1'
date_created: 2020-10-25T23:01:19Z
date_published: 2020-12-01T00:00:00Z
date_updated: 2026-04-07T14:14:51Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s00023-020-00969-3
ec_funded: 1
external_id:
arxiv:
- '2003.12371'
isi:
- '000578111800002'
file:
- access_level: open_access
checksum: c12c9c1e6f08def245e42f3cb1d83827
content_type: application/pdf
creator: cziletti
date_created: 2020-10-27T12:49:04Z
date_updated: 2020-10-27T12:49:04Z
file_id: '8711'
file_name: 2020_Annales_Mysliwy.pdf
file_size: 469831
relation: main_file
success: 1
file_date_updated: 2020-10-27T12:49:04Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '12'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 4003-4025
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Annales Henri Poincare
publication_identifier:
issn:
- 1424-0637
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11473'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in
the mean-field limit
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 21
year: '2020'
...
---
_id: '8732'
abstract:
- lang: eng
text: 'A simple drawing D(G) of a graph G is one where each pair of edges share
at most one point: either a common endpoint or a proper crossing. An edge e in
the complement of G can be inserted into D(G) if there exists a simple drawing
of G+e extending D(G). As a result of Levi’s Enlargement Lemma, if a drawing
is rectilinear (pseudolinear), that is, the edges can be extended into an arrangement
of lines (pseudolines), then any edge in the complement of G can be inserted.
In contrast, we show that it is NP -complete to decide whether one edge can
be inserted into a simple drawing. This remains true even if we assume that the
drawing is pseudocircular, that is, the edges can be extended to an arrangement
of pseudocircles. On the positive side, we show that, given an arrangement of
pseudocircles A and a pseudosegment σ , it can be decided in polynomial time
whether there exists a pseudocircle Φσ extending σ for which A∪{Φσ} is
again an arrangement of pseudocircles.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Alan M
full_name: Arroyo Guevara, Alan M
id: 3207FDC6-F248-11E8-B48F-1D18A9856A87
last_name: Arroyo Guevara
orcid: 0000-0003-2401-8670
- first_name: Fabian
full_name: Klute, Fabian
last_name: Klute
- first_name: Irene
full_name: Parada, Irene
last_name: Parada
- first_name: Raimund
full_name: Seidel, Raimund
last_name: Seidel
- first_name: Birgit
full_name: Vogtenhuber, Birgit
last_name: Vogtenhuber
- first_name: Tilo
full_name: Wiedera, Tilo
last_name: Wiedera
citation:
ama: 'Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T.
Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts
in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi:10.1007/978-3-030-60440-0_26'
apa: 'Arroyo Guevara, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B.,
& Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In
Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338).
Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26'
chicago: Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit
Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.”
In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer
Nature, 2020. https://doi.org/10.1007/978-3-030-60440-0_26.
ieee: A. M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, and
T. Wiedera, “Inserting one edge into a simple drawing is hard,” in Graph-Theoretic
Concepts in Computer Science, Leeds, United Kingdom, 2020, vol. 12301, pp.
325–338.
ista: 'Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T.
2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts
in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science,
LNCS, vol. 12301, 325–338.'
mla: Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is
Hard.” Graph-Theoretic Concepts in Computer Science, vol. 12301, Springer
Nature, 2020, pp. 325–38, doi:10.1007/978-3-030-60440-0_26.
short: A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera,
in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp.
325–338.
conference:
end_date: 2020-06-26
location: Leeds, United Kingdom
name: 'WG: Workshop on Graph-Theoretic Concepts in Computer Science'
start_date: 2020-06-24
date_created: 2020-11-06T08:45:03Z
date_published: 2020-10-09T00:00:00Z
date_updated: 2026-04-16T10:22:35Z
day: '09'
department:
- _id: UlWa
doi: 10.1007/978-3-030-60440-0_26
ec_funded: 1
external_id:
isi:
- '001299688100026'
intvolume: ' 12301'
isi: 1
language:
- iso: eng
month: '10'
oa_version: None
page: 325-338
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Graph-Theoretic Concepts in Computer Science
publication_identifier:
eisbn:
- '9783030604400'
eissn:
- 1611-3349
isbn:
- '9783030604394'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inserting one edge into a simple drawing is hard
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12301
year: '2020'
...
---
_id: '8787'
abstract:
- lang: eng
text: Breakdown of vascular barriers is a major complication of inflammatory diseases.
Anucleate platelets form blood-clots during thrombosis, but also play a crucial
role in inflammation. While spatio-temporal dynamics of clot formation are well
characterized, the cell-biological mechanisms of platelet recruitment to inflammatory
micro-environments remain incompletely understood. Here we identify Arp2/3-dependent
lamellipodia formation as a prominent morphological feature of immune-responsive
platelets. Platelets use lamellipodia to scan for fibrin(ogen) deposited on the
inflamed vasculature and to directionally spread, to polarize and to govern haptotactic
migration along gradients of the adhesive ligand. Platelet-specific abrogation
of Arp2/3 interferes with haptotactic repositioning of platelets to microlesions,
thus impairing vascular sealing and provoking inflammatory microbleeding. During
infection, haptotaxis promotes capture of bacteria and prevents hematogenic dissemination,
rendering platelets gate-keepers of the inflamed microvasculature. Consequently,
these findings identify haptotaxis as a key effector function of immune-responsive
platelets.
acknowledgement: "We thank Sebastian Helmer, Nicole Blount, Christine Mann, and Beate
Jantz for technical assistance; Hellen Ishikawa-Ankerhold for help and advice; Michael
Sixt for critical\r\ndiscussions. This study was supported by the DFG SFB 914 (S.M.
[B02 and Z01], K.Sch.\r\n[B02], B.W. [A02 and Z03], C.A.R. [B03], C.S. [A10], J.P.
[Gerok position]), the DFG\r\nSFB 1123 (S.M. [B06]), the DFG FOR 2033 (S.M. and
F.G.), the German Center for\r\nCardiovascular Research (DZHK) (Clinician Scientist
Program [L.N.], MHA 1.4VD\r\n[S.M.], Postdoc Start-up Grant, 81×3600213 [F.G.]),
FP7 program (project 260309,\r\nPRESTIGE [S.M.]), FöFoLe project 1015/1009 (L.N.),
FöFoLe project 947 (F.G.), the\r\nFriedrich-Baur-Stiftung project 41/16 (F.G.),
and LMUexcellence NFF (F.G.). This project has received funding from the European
Research Council (ERC) under the European Union’s Horizon 2020 research and innovation
program (grant agreement no.\r\n833440) (S.M.). F.G. received funding from the European
Union’s Horizon 2020 research\r\nand innovation program under the Marie Skłodowska-Curie
grant agreement no.\r\n747687."
article_number: '5778'
article_processing_charge: No
article_type: original
author:
- first_name: Leo
full_name: Nicolai, Leo
last_name: Nicolai
- first_name: Karin
full_name: Schiefelbein, Karin
last_name: Schiefelbein
- first_name: Silvia
full_name: Lipsky, Silvia
last_name: Lipsky
- first_name: Alexander
full_name: Leunig, Alexander
last_name: Leunig
- first_name: Marie
full_name: Hoffknecht, Marie
last_name: Hoffknecht
- first_name: Kami
full_name: Pekayvaz, Kami
last_name: Pekayvaz
- first_name: Ben
full_name: Raude, Ben
last_name: Raude
- first_name: Charlotte
full_name: Marx, Charlotte
last_name: Marx
- first_name: Andreas
full_name: Ehrlich, Andreas
last_name: Ehrlich
- first_name: Joachim
full_name: Pircher, Joachim
last_name: Pircher
- first_name: Zhe
full_name: Zhang, Zhe
last_name: Zhang
- first_name: Inas
full_name: Saleh, Inas
last_name: Saleh
- first_name: Anna-Kristina
full_name: Marel, Anna-Kristina
last_name: Marel
- first_name: Achim
full_name: Löf, Achim
last_name: Löf
- first_name: Tobias
full_name: Petzold, Tobias
last_name: Petzold
- first_name: Michael
full_name: Lorenz, Michael
last_name: Lorenz
- first_name: Konstantin
full_name: Stark, Konstantin
last_name: Stark
- first_name: Robert
full_name: Pick, Robert
last_name: Pick
- first_name: Gerhild
full_name: Rosenberger, Gerhild
last_name: Rosenberger
- first_name: Ludwig
full_name: Weckbach, Ludwig
last_name: Weckbach
- first_name: Bernd
full_name: Uhl, Bernd
last_name: Uhl
- first_name: Sheng
full_name: Xia, Sheng
last_name: Xia
- first_name: Christoph Andreas
full_name: Reichel, Christoph Andreas
last_name: Reichel
- first_name: Barbara
full_name: Walzog, Barbara
last_name: Walzog
- first_name: Christian
full_name: Schulz, Christian
last_name: Schulz
- first_name: Vanessa
full_name: Zheden, Vanessa
id: 39C5A68A-F248-11E8-B48F-1D18A9856A87
last_name: Zheden
orcid: 0000-0002-9438-4783
- first_name: Markus
full_name: Bender, Markus
last_name: Bender
- first_name: Rong
full_name: Li, Rong
last_name: Li
- first_name: Steffen
full_name: Massberg, Steffen
last_name: Massberg
- first_name: Florian R
full_name: Gärtner, Florian R
id: 397A88EE-F248-11E8-B48F-1D18A9856A87
last_name: Gärtner
orcid: 0000-0001-6120-3723
citation:
ama: Nicolai L, Schiefelbein K, Lipsky S, et al. Vascular surveillance by haptotactic
blood platelets in inflammation and infection. Nature Communications. 2020;11.
doi:10.1038/s41467-020-19515-0
apa: Nicolai, L., Schiefelbein, K., Lipsky, S., Leunig, A., Hoffknecht, M., Pekayvaz,
K., … Gärtner, F. R. (2020). Vascular surveillance by haptotactic blood platelets
in inflammation and infection. Nature Communications. Springer Nature.
https://doi.org/10.1038/s41467-020-19515-0
chicago: Nicolai, Leo, Karin Schiefelbein, Silvia Lipsky, Alexander Leunig, Marie
Hoffknecht, Kami Pekayvaz, Ben Raude, et al. “Vascular Surveillance by Haptotactic
Blood Platelets in Inflammation and Infection.” Nature Communications.
Springer Nature, 2020. https://doi.org/10.1038/s41467-020-19515-0.
ieee: L. Nicolai et al., “Vascular surveillance by haptotactic blood platelets
in inflammation and infection,” Nature Communications, vol. 11. Springer
Nature, 2020.
ista: Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude
B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T,
Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA,
Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular
surveillance by haptotactic blood platelets in inflammation and infection. Nature
Communications. 11, 5778.
mla: Nicolai, Leo, et al. “Vascular Surveillance by Haptotactic Blood Platelets
in Inflammation and Infection.” Nature Communications, vol. 11, 5778, Springer
Nature, 2020, doi:10.1038/s41467-020-19515-0.
short: L. Nicolai, K. Schiefelbein, S. Lipsky, A. Leunig, M. Hoffknecht, K. Pekayvaz,
B. Raude, C. Marx, A. Ehrlich, J. Pircher, Z. Zhang, I. Saleh, A.-K. Marel, A.
Löf, T. Petzold, M. Lorenz, K. Stark, R. Pick, G. Rosenberger, L. Weckbach, B.
Uhl, S. Xia, C.A. Reichel, B. Walzog, C. Schulz, V. Zheden, M. Bender, R. Li,
S. Massberg, F.R. Gärtner, Nature Communications 11 (2020).
corr_author: '1'
date_created: 2020-11-22T23:01:23Z
date_published: 2020-11-13T00:00:00Z
date_updated: 2026-04-02T11:48:21Z
day: '13'
ddc:
- '570'
department:
- _id: MiSi
- _id: EM-Fac
doi: 10.1038/s41467-020-19515-0
ec_funded: 1
external_id:
isi:
- '000594648000014'
pmid:
- '33188196'
file:
- access_level: open_access
checksum: 485b7b6cf30198ba0ce126491a28f125
content_type: application/pdf
creator: dernst
date_created: 2020-11-23T13:29:49Z
date_updated: 2020-11-23T13:29:49Z
file_id: '8798'
file_name: 2020_NatureComm_Nicolai.pdf
file_size: 7035340
relation: main_file
success: 1
file_date_updated: 2020-11-23T13:29:49Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260AA4E2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '747687'
name: Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/s41467-022-31310-7
scopus_import: '1'
status: public
title: Vascular surveillance by haptotactic blood platelets in inflammation and infection
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 11
year: '2020'
...
---
_id: '8788'
abstract:
- lang: eng
text: 'We consider a real-time setting where an environment releases sequences of
firm-deadline tasks, and an online scheduler chooses on-the-fly the ones to execute
on a single processor so as to maximize cumulated utility. The competitive ratio
is a well-known performance measure for the scheduler: it gives the worst-case
ratio, among all possible choices for the environment, of the cumulated utility
of the online scheduler versus an offline scheduler that knows these choices in
advance. Traditionally, competitive analysis is performed by hand, while automated
techniques are rare and only handle static environments with independent tasks.
We present a quantitative-verification framework for precedence-aware competitive
analysis, where task releases may depend on preceding scheduling choices, i.e.,
the environment can respond to scheduling decisions dynamically . We consider
two general classes of precedences: 1) follower precedences force the release
of a dependent task upon the completion of a set of precursor tasks, while and
2) pairing precedences modify the characteristics of a dependent task provided
the completion of a set of precursor tasks. Precedences make competitive analysis
challenging, as the online and offline schedulers operate on diverging sequences.
We make a formal presentation of our framework, and use a GPU-based implementation
to analyze ten well-known schedulers on precedence-based application examples
taken from the existing literature: 1) a handshake protocol (HP); 2) network packet-switching;
3) query scheduling (QS); and 4) a sporadic-interrupt setting. Our experimental
results show that precedences and task parameters can vary drastically the best
scheduler. Our framework thus supports application designers in choosing the best
scheduler among a given set automatically.'
acknowledgement: 'This work was supported by the Austrian Science Foundation (FWF)
under the NFN RiSE/SHiNE under Grant S11405 and Grant S11407. This article was presented
in the International Conference on Embedded Software 2020 and appears as part of
the ESWEEK-TCAD special issue. '
article_processing_charge: No
article_type: original
author:
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Nico
full_name: Schaumberger, Nico
last_name: Schaumberger
- first_name: Ulrich
full_name: Schmid, Ulrich
last_name: Schmid
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. Precedence-aware automated
competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems. 2020;39(11):3981-3992. doi:10.1109/TCAD.2020.3012803
apa: Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020).
Precedence-aware automated competitive analysis of real-time scheduling. IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems.
IEEE. https://doi.org/10.1109/TCAD.2020.3012803
chicago: Pavlogiannis, Andreas, Nico Schaumberger, Ulrich Schmid, and Krishnendu
Chatterjee. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.”
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012803.
ieee: A. Pavlogiannis, N. Schaumberger, U. Schmid, and K. Chatterjee, “Precedence-aware
automated competitive analysis of real-time scheduling,” IEEE Transactions
on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no.
11. IEEE, pp. 3981–3992, 2020.
ista: Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. 2020. Precedence-aware
automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems. 39(11), 3981–3992.
mla: Pavlogiannis, Andreas, et al. “Precedence-Aware Automated Competitive Analysis
of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 3981–92, doi:10.1109/TCAD.2020.3012803.
short: A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions
on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
date_created: 2020-11-22T23:01:24Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2026-04-02T14:37:50Z
day: '01'
department:
- _id: KrCh
doi: 10.1109/TCAD.2020.3012803
external_id:
isi:
- '000587712700069'
intvolume: ' 39'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa_version: None
page: 3981-3992
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Systems
publication_identifier:
eissn:
- 1937-4151
issn:
- 0278-0070
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Precedence-aware automated competitive analysis of real-time scheduling
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 39
year: '2020'
...
---
_id: '8971'
abstract:
- lang: eng
text: The actin-related protein (Arp)2/3 complex nucleates branched actin filament
networks pivotal for cell migration, endocytosis and pathogen infection. Its activation
is tightly regulated and involves complex structural rearrangements and actin
filament binding, which are yet to be understood. Here, we report a 9.0 Å resolution
structure of the actin filament Arp2/3 complex branch junction in cells using
cryo-electron tomography and subtomogram averaging. This allows us to generate
an accurate model of the active Arp2/3 complex in the branch junction and its
interaction with actin filaments. Notably, our model reveals a previously undescribed
set of interactions of the Arp2/3 complex with the mother filament, significantly
different to the previous branch junction model. Our structure also indicates
a central role for the ArpC3 subunit in stabilizing the active conformation.
acknowledged_ssus:
- _id: ScienComp
- _id: LifeSc
- _id: Bio
- _id: EM-Fac
acknowledgement: "This research was supported by the Scientific Service Units (SSUs)
of IST Austria through resources provided by Scientific Computing (SciComp), the
Life Science Facility (LSF), the BioImaging Facility (BIF), and the Electron Microscopy
Facility (EMF). We also thank Dimitry Tegunov (MPI for Biophysical Chemistry) for
helpful discussions\r\nabout the M software, and Michael Sixt (IST Austria) and
Klemens Rottner (Technical University Braunschweig, HZI Braunschweig) for critical
reading of the manuscript. We also thank Gregory Voth (University of Chicago) for
providing us the MD-derived branch junction model for comparison. The authors acknowledge
support from IST Austria and from the Austrian Science Fund (FWF): M02495 to G.D.
and Austrian Science Fund (FWF): P33367 to F.K.M.S. "
article_number: '6437'
article_processing_charge: No
article_type: original
author:
- first_name: Florian
full_name: Fäßler, Florian
id: 404F5528-F248-11E8-B48F-1D18A9856A87
last_name: Fäßler
orcid: 0000-0001-7149-769X
- first_name: Georgi A
full_name: Dimchev, Georgi A
id: 38C393BE-F248-11E8-B48F-1D18A9856A87
last_name: Dimchev
orcid: 0000-0001-8370-6161
- first_name: Victor-Valentin
full_name: Hodirnau, Victor-Valentin
id: 3661B498-F248-11E8-B48F-1D18A9856A87
last_name: Hodirnau
orcid: 0000-0003-3904-947X
- first_name: William
full_name: Wan, William
last_name: Wan
- first_name: Florian KM
full_name: Schur, Florian KM
id: 48AD8942-F248-11E8-B48F-1D18A9856A87
last_name: Schur
orcid: 0000-0003-4790-8078
citation:
ama: Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography
structure of Arp2/3 complex in cells reveals new insights into the branch junction.
Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x
apa: Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., & Schur, F. K. (2020).
Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights
into the branch junction. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20286-x
chicago: Fäßler, Florian, Georgi A Dimchev, Victor-Valentin Hodirnau, William Wan,
and Florian KM Schur. “Cryo-Electron Tomography Structure of Arp2/3 Complex in
Cells Reveals New Insights into the Branch Junction.” Nature Communications.
Springer Nature, 2020. https://doi.org/10.1038/s41467-020-20286-x.
ieee: F. Fäßler, G. A. Dimchev, V.-V. Hodirnau, W. Wan, and F. K. Schur, “Cryo-electron
tomography structure of Arp2/3 complex in cells reveals new insights into the
branch junction,” Nature Communications, vol. 11. Springer Nature, 2020.
ista: Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. 2020. Cryo-electron tomography
structure of Arp2/3 complex in cells reveals new insights into the branch junction.
Nature Communications. 11, 6437.
mla: Fäßler, Florian, et al. “Cryo-Electron Tomography Structure of Arp2/3 Complex
in Cells Reveals New Insights into the Branch Junction.” Nature Communications,
vol. 11, 6437, Springer Nature, 2020, doi:10.1038/s41467-020-20286-x.
short: F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications
11 (2020).
corr_author: '1'
date_created: 2020-12-23T08:25:45Z
date_published: 2020-12-22T00:00:00Z
date_updated: 2025-04-15T07:52:12Z
day: '22'
ddc:
- '570'
department:
- _id: FlSc
- _id: EM-Fac
doi: 10.1038/s41467-020-20286-x
external_id:
isi:
- '000603078000003'
file:
- access_level: open_access
checksum: 55d43ea0061cc4027ba45e966e1db8cc
content_type: application/pdf
creator: dernst
date_created: 2020-12-28T08:16:10Z
date_updated: 2020-12-28T08:16:10Z
file_id: '8975'
file_name: 2020_NatureComm_Faessler.pdf
file_size: 3958727
relation: main_file
success: 1
file_date_updated: 2020-12-28T08:16:10Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
keyword:
- General Biochemistry
- Genetics and Molecular Biology
- General Physics and Astronomy
- General Chemistry
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 9B954C5C-BA93-11EA-9121-9846C619BF3A
grant_number: P33367
name: Structure and isoform diversity of the Arp2/3 complex
- _id: 2674F658-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02495
name: Protein structure and function in filopodia across scales
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/cutting-edge-technology-reveals-structures-within-cells/
scopus_import: '1'
status: public
title: Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights
into the branch junction
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '8973'
abstract:
- lang: eng
text: We consider the symmetric simple exclusion process in Zd with quenched bounded
dynamic random conductances and prove its hydrodynamic limit in path space. The
main tool is the connection, due to the self-duality of the process, between the
invariance principle for single particles starting from all points and the macroscopic
behavior of the density field. While the hydrodynamic limit at fixed macroscopic
times is obtained via a generalization to the time-inhomogeneous context of the
strategy introduced in [41], in order to prove tightness for the sequence of empirical
density fields we develop a new criterion based on the notion of uniform conditional
stochastic continuity, following [50]. In conclusion, we show that uniform elliptic
dynamic conductances provide an example of environments in which the so-called
arbitrary starting point invariance principle may be derived from the invariance
principle of a single particle starting from the origin. Therefore, our hydrodynamics
result applies to the examples of quenched environments considered in, e.g., [1],
[3], [6] in combination with the hypothesis of uniform ellipticity.
acknowledgement: "We warmly thank S.R.S. Varadhan for many enlightening discussions
at an early stage of this work. We are indebted to Francesca Collet for fruitful
discussions and constant support all throughout this work. We thank Simone Floreani\r\nand
Alberto Chiarini for helpful conversations on the final part of this paper as well
as both referees for their careful reading and for raising relevant issues on some
weak points contained in a previous version of this manuscript; we believe this
helped us to improve it.\r\nPart of this work was done during the authors’ stay
at the Institut Henri Poincaré (UMS 5208 CNRS-Sorbonne Université) – Centre Emile
Borel during the trimester Stochastic Dynamics Out of Equilibrium. The authors thank
this institution for hospitality and support (through LabEx CARMIN, ANR-10-LABX-59-01).
F.S. thanks laboratoire\r\nMAP5 of Université de Paris, and E.S. thanks Delft University,
for financial support and hospitality. F.S. acknowledges NWO for financial support
via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon
2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement
No. 754411. This research has been conducted within the FP2M federation (CNRS FR
2036)."
article_number: '138'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Frank
full_name: Redig, Frank
last_name: Redig
- first_name: Ellen
full_name: Saada, Ellen
last_name: Saada
- first_name: Federico
full_name: Sau, Federico
id: E1836206-9F16-11E9-8814-AEFDE5697425
last_name: Sau
citation:
ama: 'Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment:
Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536'
apa: 'Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process
in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Institute
of Mathematical Statistics. https://doi.org/10.1214/20-EJP536'
chicago: 'Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion
Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability. Institute
of Mathematical Statistics, 2020. https://doi.org/10.1214/20-EJP536.'
ieee: 'F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic
environment: Hydrodynamics,” Electronic Journal of Probability, vol. 25. Institute
of Mathematical Statistics, 2020.'
ista: 'Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic
environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.'
mla: 'Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment:
Hydrodynamics.” Electronic Journal of Probability, vol. 25, 138, Institute
of Mathematical Statistics, 2020, doi:10.1214/20-EJP536.'
short: F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
date_created: 2020-12-27T23:01:17Z
date_published: 2020-10-21T00:00:00Z
date_updated: 2025-04-14T07:43:50Z
day: '21'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.1214/20-EJP536
ec_funded: 1
external_id:
arxiv:
- '1811.01366'
isi:
- '000591737500001'
file:
- access_level: open_access
checksum: d75359b9814e78d57c0a481b7cde3751
content_type: application/pdf
creator: dernst
date_created: 2020-12-28T08:24:08Z
date_updated: 2020-12-28T08:24:08Z
file_id: '8976'
file_name: 2020_ElectronJProbab_Redig.pdf
file_size: 696653
relation: main_file
success: 1
file_date_updated: 2020-12-28T08:24:08Z
has_accepted_license: '1'
intvolume: ' 25'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Electronic Journal of Probability
publication_identifier:
eissn:
- 1083-6489
publication_status: published
publisher: ' Institute of Mathematical Statistics'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Symmetric simple exclusion process in dynamic environment: Hydrodynamics'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2020'
...
---
_id: '8987'
abstract:
- lang: eng
text: "Currently several projects aim at designing and implementing protocols for
privacy preserving automated contact tracing to help fight the current pandemic.
Those proposal are quite similar, and in their most basic form basically propose
an app for mobile phones which broadcasts frequently changing pseudorandom identifiers
via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast
by phones in its proximity. Only if a user is tested positive, they upload either
the beacons they did broadcast (which is the case in decentralized proposals as
DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or
ROBERT) during the last two weeks or so.\r\n\r\nVaudenay [eprint 2020/399] observes
that this basic scheme (he considers the DP-3T proposal) succumbs to relay and
even replay attacks, and proposes more complex interactive schemes which prevent
those attacks without giving up too many privacy aspects. Unfortunately interaction
is problematic for this application for efficiency and security reasons. The countermeasures
that have been suggested so far are either not practical or give up on key privacy
aspects. We propose a simple non-interactive variant of the basic protocol that\r\n(security)
Provably prevents replay and (if location data is available) relay attacks.\r\n(privacy)
The data of all parties (even jointly) reveals no information on the location
or time where encounters happened.\r\n(efficiency) The broadcasted message can
fit into 128 bits and uses only basic crypto (commitments and secret key authentication).\r\n\r\nTowards
this end we introduce the concept of “delayed authentication”, which basically
is a message authentication code where verification can be done in two steps,
where the first doesn’t require the key, and the second doesn’t require the message."
article_processing_charge: No
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in
private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer
Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1'
apa: 'Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay
attacks in private contact tracing. In Progress in Cryptology (Vol. 12578,
pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1'
chicago: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and
Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15.
LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1.'
ieee: 'K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks
in private contact tracing,” in Progress in Cryptology, Bangalore, India,
2020, vol. 12578, pp. 3–15.'
ista: 'Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks
in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference
on Cryptology in IndiaLNCS vol. 12578, 3–15.'
mla: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay
Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578,
Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.'
short: K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
conference:
end_date: 2020-12-16
location: Bangalore, India
name: 'INDOCRYPT: International Conference on Cryptology in India'
start_date: 2020-12-13
date_created: 2021-01-03T23:01:23Z
date_published: 2020-12-08T00:00:00Z
date_updated: 2026-04-16T09:33:26Z
day: '08'
department:
- _id: KrPi
doi: 10.1007/978-3-030-65277-7_1
ec_funded: 1
external_id:
isi:
- '000927592800001'
intvolume: ' 12578'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2020/418
month: '12'
oa: 1
oa_version: Preprint
page: 3-15
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: Progress in Cryptology
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030652760'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: 'Delayed authentication: Preventing replay and relay attacks in private contact
tracing'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12578
year: '2020'
...