---
_id: '8195'
abstract:
- lang: eng
text: This paper presents a foundation for refining concurrent programs with structured
control flow. The verification problem is decomposed into subproblems that aid
interactive program development, proof reuse, and automation. The formalization
in this paper is the basis of a new design and implementation of the Civl verifier.
acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe
Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs.
In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298.
doi:10.1007/978-3-030-53288-8_14'
apa: Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured
concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298).
Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured
Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer
Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent
programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent
programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer
Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer
Nature, 2020, pp. 275–298.
date_created: 2020-08-03T11:45:35Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-53288-8_14
external_id:
isi:
- '000695276000014'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T08:14:54Z
date_updated: 2020-08-06T08:14:54Z
file_id: '8201'
file_name: 2020_LNCS_Kragl.pdf
file_size: 804237
relation: main_file
success: 1
file_date_updated: 2020-08-06T08:14:54Z
has_accepted_license: '1'
intvolume: ' 12224'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 275-298
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Computer Aided Verification
publication_identifier:
eisbn:
- '9783030532888'
eissn:
- 1611-3349
isbn:
- '9783030532871'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Refinement for structured concurrent programs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12224
year: '2020'
...
---
_id: '8012'
abstract:
- lang: eng
text: Asynchronous programs are notoriously difficult to reason about because they
spawn computation tasks which take effect asynchronously in a nondeterministic
way. Devising inductive invariants for such programs requires understanding and
stating complex relationships between an unbounded number of computation tasks
in arbitrarily long executions. In this paper, we introduce inductive sequentialization,
a new proof rule that sidesteps this complexity via a sequential reduction, a
sequential program that captures every behavior of the original program up to
reordering of coarse-grained commutative actions. A sequential reduction of a
concurrent program is easy to reason about since it corresponds to a simple execution
of the program in an idealized synchronous environment, where processes act in
a fixed order and at the same speed. We have implemented and integrated our proof
rule in the CIVL verifier, allowing us to provably derive fine-grained implementations
of asynchronous programs. We have successfully applied our proof rule to a diverse
set of message-passing protocols, including leader election protocols, two-phase
commit, and Paxos.
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Constantin
full_name: Enea, Constantin
last_name: Enea
- 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: Suha Orhun
full_name: Mutluergil, Suha Orhun
last_name: Mutluergil
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
citation:
ama: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization
of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference
on Programming Language Design and Implementation. Association for Computing
Machinery; 2020:227-242. doi:10.1145/3385412.3385980'
apa: 'Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S.
(2020). Inductive sequentialization of asynchronous programs. In Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
(pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980'
chicago: Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil,
and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
227–42. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385980.
ieee: B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive
sequentialization of asynchronous programs,” in Proceedings of the 41st ACM
SIGPLAN Conference on Programming Language Design and Implementation, London,
United Kingdom, 2020, pp. 227–242.
ista: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization
of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming
Language Design and Implementation. PLDI: Programming Language Design and Implementation,
227–242.'
mla: Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.”
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design
and Implementation, Association for Computing Machinery, 2020, pp. 227–42,
doi:10.1145/3385412.3385980.
short: B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Association for Computing Machinery, 2020, pp. 227–242.
conference:
end_date: 2020-06-20
location: London, United Kingdom
name: 'PLDI: Programming Language Design and Implementation'
start_date: 2020-06-15
date_created: 2020-06-25T11:40:16Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/3385412.3385980
external_id:
isi:
- '000614622300016'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3385412.3385980
month: '06'
oa: 1
oa_version: Published Version
page: 227-242
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language
Design and Implementation
publication_identifier:
isbn:
- '9781450376136'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Inductive sequentialization of asynchronous programs
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2020'
...
---
_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.
date_created: 2020-09-10T09:26:49Z
date_published: 2020-09-10T00:00:00Z
date_updated: 2023-09-07T13:18:51Z
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: '7572'
relation: dissertation_contains
status: public
- id: '7197'
relation: part_of_dissertation
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2020'
...
---
_id: '8703'
abstract:
- lang: eng
text: 'Even though Delaunay originally introduced his famous triangulations in the
case of infinite point sets with translational periodicity, a software that computes
such triangulations in the general case is not yet available, to the best of our
knowledge. Combining and generalizing previous work, we present a practical algorithm
for computing such triangulations. The algorithm has been implemented and experiments
show that its performance is as good as the one of the CGAL package, which is
restricted to cubic periodicity. '
alternative_title:
- LIPIcs
article_number: '75'
article_processing_charge: No
author:
- first_name: Georg F
full_name: Osang, Georg F
id: 464B40D6-F248-11E8-B48F-1D18A9856A87
last_name: Osang
orcid: 0000-0002-8882-5116
- first_name: Mael
full_name: Rouxel-Labbé, Mael
last_name: Rouxel-Labbé
- first_name: Monique
full_name: Teillaud, Monique
last_name: Teillaud
citation:
ama: 'Osang GF, Rouxel-Labbé M, Teillaud M. Generalizing CGAL periodic Delaunay
triangulations. In: 28th Annual European Symposium on Algorithms. Vol 173.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ESA.2020.75'
apa: 'Osang, G. F., Rouxel-Labbé, M., & Teillaud, M. (2020). Generalizing CGAL
periodic Delaunay triangulations. In 28th Annual European Symposium on Algorithms
(Vol. 173). Virtual, Online; Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.75'
chicago: Osang, Georg F, Mael Rouxel-Labbé, and Monique Teillaud. “Generalizing
CGAL Periodic Delaunay Triangulations.” In 28th Annual European Symposium on
Algorithms, Vol. 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
https://doi.org/10.4230/LIPIcs.ESA.2020.75.
ieee: G. F. Osang, M. Rouxel-Labbé, and M. Teillaud, “Generalizing CGAL periodic
Delaunay triangulations,” in 28th Annual European Symposium on Algorithms,
Virtual, Online; Pisa, Italy, 2020, vol. 173.
ista: 'Osang GF, Rouxel-Labbé M, Teillaud M. 2020. Generalizing CGAL periodic Delaunay
triangulations. 28th Annual European Symposium on Algorithms. ESA: Annual European
Symposium on Algorithms, LIPIcs, vol. 173, 75.'
mla: Osang, Georg F., et al. “Generalizing CGAL Periodic Delaunay Triangulations.”
28th Annual European Symposium on Algorithms, vol. 173, 75, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.75.
short: G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium
on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
conference:
end_date: 2020-09-09
location: Virtual, Online; Pisa, Italy
name: 'ESA: Annual European Symposium on Algorithms'
start_date: 2020-09-07
date_created: 2020-10-25T23:01:18Z
date_published: 2020-08-26T00:00:00Z
date_updated: 2023-09-07T13:29:00Z
day: '26'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.4230/LIPIcs.ESA.2020.75
ec_funded: 1
file:
- access_level: open_access
checksum: fe0f7c49a99ed870c671b911e10d5496
content_type: application/pdf
creator: cziletti
date_created: 2020-10-27T14:31:52Z
date_updated: 2020-10-27T14:31:52Z
file_id: '8712'
file_name: 2020_LIPIcs_Osang.pdf
file_size: 733291
relation: main_file
success: 1
file_date_updated: 2020-10-27T14:31:52Z
has_accepted_license: '1'
intvolume: ' 173'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/3.0/
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
publication: 28th Annual European Symposium on Algorithms
publication_identifier:
isbn:
- '9783959771627'
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
related_material:
record:
- id: '9056'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Generalizing CGAL periodic Delaunay triangulations
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/3.0/legalcode
name: Creative Commons Attribution 3.0 Unported (CC BY 3.0)
short: CC BY (3.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 173
year: '2020'
...
---
_id: '7481'
abstract:
- lang: eng
text: 'We address the following question: How redundant is the parameterisation
of ReLU networks? Specifically, we consider transformations of the weight space
which leave the function implemented by the network intact. Two such transformations
are known for feed-forward architectures: permutation of neurons within a layer,
and positive scaling of all incoming weights of a neuron coupled with inverse
scaling of its outgoing weights. In this work, we show for architectures with
non-increasing widths that permutation and scaling are in fact the only function-preserving
weight transformations. For any eligible architecture we give an explicit construction
of a neural network such that any other network that implements the same function
can be obtained from the original one by the application of permutations and rescaling. The
proof relies on a geometric understanding of boundaries between linear regions
of ReLU networks, and we hope the developed mathematical tools are of independent
interest.'
article_processing_charge: No
author:
- first_name: Phuong
full_name: Bui Thi Mai, Phuong
id: 3EC6EE64-F248-11E8-B48F-1D18A9856A87
last_name: Bui Thi Mai
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Phuong M, Lampert C. Functional vs. parametric equivalence of ReLU networks.
In: 8th International Conference on Learning Representations. ; 2020.'
apa: Phuong, M., & Lampert, C. (2020). Functional vs. parametric equivalence
of ReLU networks. In 8th International Conference on Learning Representations.
Online.
chicago: Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence
of ReLU Networks.” In 8th International Conference on Learning Representations,
2020.
ieee: M. Phuong and C. Lampert, “Functional vs. parametric equivalence of ReLU networks,”
in 8th International Conference on Learning Representations, Online, 2020.
ista: 'Phuong M, Lampert C. 2020. Functional vs. parametric equivalence of ReLU
networks. 8th International Conference on Learning Representations. ICLR: International
Conference on Learning Representations.'
mla: Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence
of ReLU Networks.” 8th International Conference on Learning Representations,
2020.
short: M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations,
2020.
conference:
end_date: 2020-04-30
location: Online
name: 'ICLR: International Conference on Learning Representations'
start_date: 2020-04-27
date_created: 2020-02-11T09:07:37Z
date_published: 2020-04-26T00:00:00Z
date_updated: 2023-09-07T13:29:50Z
day: '26'
ddc:
- '000'
department:
- _id: ChLa
file:
- access_level: open_access
checksum: 8d372ea5defd8cb8fdc430111ed754a9
content_type: application/pdf
creator: bphuong
date_created: 2020-02-11T09:07:27Z
date_updated: 2020-07-14T12:47:59Z
file_id: '7482'
file_name: main.pdf
file_size: 405469
relation: main_file
file_date_updated: 2020-07-14T12:47:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: 8th International Conference on Learning Representations
publication_status: published
quality_controlled: '1'
related_material:
link:
- relation: supplementary_material
url: https://iclr.cc/virtual_2020/poster_Bylx-TNKvH.html
record:
- id: '9418'
relation: dissertation_contains
status: public
status: public
title: Functional vs. parametric equivalence of ReLU networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '9781'
abstract:
- lang: eng
text: We consider the Pekar functional on a ball in ℝ3. We prove uniqueness of minimizers,
and a quadratic lower bound in terms of the distance to the minimizer. The latter
follows from nondegeneracy of the Hessian at the minimum.
acknowledgement: We are grateful for the hospitality at the Mittag-Leffler Institute,
where part of this work has been done. The work of the authors was supported by
the European Research Council (ERC)under the European Union's Horizon 2020 research
and innovation programme grant 694227.
article_processing_charge: No
article_type: original
author:
- first_name: Dario
full_name: Feliciangeli, Dario
id: 41A639AA-F248-11E8-B48F-1D18A9856A87
last_name: Feliciangeli
orcid: 0000-0003-0754-8530
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Feliciangeli D, Seiringer R. Uniqueness and nondegeneracy of minimizers of
the Pekar functional on a ball. SIAM Journal on Mathematical Analysis.
2020;52(1):605-622. doi:10.1137/19m126284x
apa: Feliciangeli, D., & Seiringer, R. (2020). Uniqueness and nondegeneracy
of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical
Analysis. Society for Industrial & Applied Mathematics . https://doi.org/10.1137/19m126284x
chicago: Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy
of Minimizers of the Pekar Functional on a Ball.” SIAM Journal on Mathematical
Analysis. Society for Industrial & Applied Mathematics , 2020. https://doi.org/10.1137/19m126284x.
ieee: D. Feliciangeli and R. Seiringer, “Uniqueness and nondegeneracy of minimizers
of the Pekar functional on a ball,” SIAM Journal on Mathematical Analysis,
vol. 52, no. 1. Society for Industrial & Applied Mathematics , pp. 605–622,
2020.
ista: Feliciangeli D, Seiringer R. 2020. Uniqueness and nondegeneracy of minimizers
of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 52(1),
605–622.
mla: Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of
Minimizers of the Pekar Functional on a Ball.” SIAM Journal on Mathematical
Analysis, vol. 52, no. 1, Society for Industrial & Applied Mathematics
, 2020, pp. 605–22, doi:10.1137/19m126284x.
short: D. Feliciangeli, R. Seiringer, SIAM Journal on Mathematical Analysis 52 (2020)
605–622.
date_created: 2021-08-06T07:34:16Z
date_published: 2020-02-12T00:00:00Z
date_updated: 2023-09-07T13:30:11Z
day: '12'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1137/19m126284x
ec_funded: 1
external_id:
arxiv:
- '1904.08647 '
isi:
- '000546967700022'
has_accepted_license: '1'
intvolume: ' 52'
isi: 1
issue: '1'
keyword:
- Applied Mathematics
- Computational Mathematics
- Analysis
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1904.08647
month: '02'
oa: 1
oa_version: Preprint
page: 605-622
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
publication: SIAM Journal on Mathematical Analysis
publication_identifier:
eissn:
- 1095-7154
issn:
- 0036-1410
publication_status: published
publisher: 'Society for Industrial & Applied Mathematics '
quality_controlled: '1'
related_material:
record:
- id: '9733'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 52
year: '2020'
...
---
_id: '7489'
abstract:
- lang: eng
text: 'In the present work, we consider the evolution of two fluids separated by
a sharp interface in the presence of surface tension—like, for example, the evolution
of oil bubbles in water. Our main result is a weak–strong uniqueness principle
for the corresponding free boundary problem for the incompressible Navier–Stokes
equation: as long as a strong solution exists, any varifold solution must coincide
with it. In particular, in the absence of physical singularities, the concept
of varifold solutions—whose global in time existence has been shown by Abels (Interfaces
Free Bound 9(1):31–65, 2007) for general initial data—does not introduce a mechanism
for non-uniqueness. The key ingredient of our approach is the construction of
a relative entropy functional capable of controlling the interface error. If the
viscosities of the two fluids do not coincide, even for classical (strong) solutions
the gradient of the velocity field becomes discontinuous at the interface, introducing
the need for a careful additional adaption of the relative entropy.'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
- first_name: Sebastian
full_name: Hensel, Sebastian
id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87
last_name: Hensel
orcid: 0000-0001-7252-8072
citation:
ama: Fischer JL, Hensel S. Weak–strong uniqueness for the Navier–Stokes equation
for two fluids with surface tension. Archive for Rational Mechanics and Analysis.
2020;236:967-1087. doi:10.1007/s00205-019-01486-2
apa: Fischer, J. L., & Hensel, S. (2020). Weak–strong uniqueness for the Navier–Stokes
equation for two fluids with surface tension. Archive for Rational Mechanics
and Analysis. Springer Nature. https://doi.org/10.1007/s00205-019-01486-2
chicago: Fischer, Julian L, and Sebastian Hensel. “Weak–Strong Uniqueness for the
Navier–Stokes Equation for Two Fluids with Surface Tension.” Archive for Rational
Mechanics and Analysis. Springer Nature, 2020. https://doi.org/10.1007/s00205-019-01486-2.
ieee: J. L. Fischer and S. Hensel, “Weak–strong uniqueness for the Navier–Stokes
equation for two fluids with surface tension,” Archive for Rational Mechanics
and Analysis, vol. 236. Springer Nature, pp. 967–1087, 2020.
ista: Fischer JL, Hensel S. 2020. Weak–strong uniqueness for the Navier–Stokes equation
for two fluids with surface tension. Archive for Rational Mechanics and Analysis.
236, 967–1087.
mla: Fischer, Julian L., and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes
Equation for Two Fluids with Surface Tension.” Archive for Rational Mechanics
and Analysis, vol. 236, Springer Nature, 2020, pp. 967–1087, doi:10.1007/s00205-019-01486-2.
short: J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236
(2020) 967–1087.
date_created: 2020-02-16T23:00:50Z
date_published: 2020-05-01T00:00:00Z
date_updated: 2023-09-07T13:30:45Z
day: '01'
ddc:
- '530'
- '532'
department:
- _id: JuFi
doi: 10.1007/s00205-019-01486-2
ec_funded: 1
external_id:
isi:
- '000511060200001'
file:
- access_level: open_access
checksum: f107e21b58f5930876f47144be37cf6c
content_type: application/pdf
creator: dernst
date_created: 2020-11-20T09:14:22Z
date_updated: 2020-11-20T09:14:22Z
file_id: '8779'
file_name: 2020_ArchRatMechAn_Fischer.pdf
file_size: 1897571
relation: main_file
success: 1
file_date_updated: 2020-11-20T09:14:22Z
has_accepted_license: '1'
intvolume: ' 236'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 967-1087
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
eissn:
- '14320673'
issn:
- '00039527'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '10007'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface
tension
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: 236
year: '2020'
...
---
_id: '10012'
abstract:
- lang: eng
text: We prove that in the absence of topological changes, the notion of BV solutions
to planar multiphase mean curvature flow does not allow for a mechanism for (unphysical)
non-uniqueness. Our approach is based on the local structure of the energy landscape
near a classical evolution by mean curvature. Mean curvature flow being the gradient
flow of the surface energy functional, we develop a gradient-flow analogue of
the notion of calibrations. Just like the existence of a calibration guarantees
that one has reached a global minimum in the energy landscape, the existence of
a "gradient flow calibration" ensures that the route of steepest descent in the
energy landscape is unique and stable.
acknowledgement: Parts of the paper were written during the visit of the authors to
the Hausdorff Research Institute for Mathematics (HIM), University of Bonn, in the
framework of the trimester program “Evolution of Interfaces”. The support and the
hospitality of HIM are gratefully acknowledged. This project has received funding
from the European Union’s Horizon 2020 research and innovation programme under the
Marie Sklodowska-Curie Grant Agreement No. 665385.
article_number: '2003.05478'
article_processing_charge: No
author:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
- first_name: Sebastian
full_name: Hensel, Sebastian
id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87
last_name: Hensel
orcid: 0000-0001-7252-8072
- first_name: Tim
full_name: Laux, Tim
last_name: Laux
- first_name: Thilo
full_name: Simon, Thilo
last_name: Simon
citation:
ama: 'Fischer JL, Hensel S, Laux T, Simon T. The local structure of the energy landscape
in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions.
arXiv.'
apa: 'Fischer, J. L., Hensel, S., Laux, T., & Simon, T. (n.d.). The local structure
of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness
and stability of evolutions. arXiv.'
chicago: 'Fischer, Julian L, Sebastian Hensel, Tim Laux, and Thilo Simon. “The Local
Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong
Uniqueness and Stability of Evolutions.” ArXiv, n.d.'
ieee: 'J. L. Fischer, S. Hensel, T. Laux, and T. Simon, “The local structure of
the energy landscape in multiphase mean curvature flow: weak-strong uniqueness
and stability of evolutions,” arXiv. .'
ista: 'Fischer JL, Hensel S, Laux T, Simon T. The local structure of the energy
landscape in multiphase mean curvature flow: weak-strong uniqueness and stability
of evolutions. arXiv, 2003.05478.'
mla: 'Fischer, Julian L., et al. “The Local Structure of the Energy Landscape in
Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.”
ArXiv, 2003.05478.'
short: J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
date_created: 2021-09-13T12:17:11Z
date_published: 2020-03-11T00:00:00Z
date_updated: 2023-09-07T13:30:45Z
day: '11'
department:
- _id: JuFi
ec_funded: 1
external_id:
arxiv:
- '2003.05478'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2003.05478
month: '03'
oa: 1
oa_version: Preprint
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: arXiv
publication_status: submitted
related_material:
record:
- id: '10007'
relation: dissertation_contains
status: public
status: public
title: 'The local structure of the energy landscape in multiphase mean curvature flow:
weak-strong uniqueness and stability of evolutions'
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '8755'
abstract:
- lang: eng
text: 'The superconducting circuit community has recently discovered the promising
potential of superinductors. These circuit elements have a characteristic impedance
exceeding the resistance quantum RQ ≈ 6.45 kΩ which leads to a suppression of
ground state charge fluctuations. Applications include the realization of hardware
protected qubits for fault tolerant quantum computing, improved coupling to small
dipole moment objects and defining a new quantum metrology standard for the ampere.
In this work we refute the widespread notion that superinductors can only be implemented
based on kinetic inductance, i.e. using disordered superconductors or Josephson
junction arrays. We present modeling, fabrication and characterization of 104
planar aluminum coil resonators with a characteristic impedance up to 30.9 kΩ
at 5.6 GHz and a capacitance down to ≤ 1 fF, with lowloss and a power handling
reaching 108 intra-cavity photons. Geometric superinductors are free of uncontrolled
tunneling events and offer high reproducibility, linearity and the ability to
couple magnetically - properties that significantly broaden the scope of future
quantum circuits. '
acknowledged_ssus:
- _id: NanoFab
acknowledgement: "The authors acknowledge the support from I. Prieto and the IST Nanofabrication
Facility. This work was supported by IST Austria and a NOMIS foundation research
grant and the Austrian Science Fund (FWF) through BeyondC (F71). MP is the recipient
of a P¨ottinger scholarship at IST Austria. JMF acknowledges support from the European
Union’s Horizon 2020 research and innovation programs under grant agreement No 732894
(FET Proactive HOT), 862644 (FET Open QUARTET), and the European Research Council
under grant agreement\r\nnumber 758053 (ERC StG QUNNECT). "
article_number: '044055'
article_processing_charge: No
article_type: original
author:
- first_name: Matilda
full_name: Peruzzo, Matilda
id: 3F920B30-F248-11E8-B48F-1D18A9856A87
last_name: Peruzzo
orcid: 0000-0002-3415-4628
- first_name: Andrea
full_name: Trioni, Andrea
id: 42F71B44-F248-11E8-B48F-1D18A9856A87
last_name: Trioni
- first_name: Farid
full_name: Hassani, Farid
id: 2AED110C-F248-11E8-B48F-1D18A9856A87
last_name: Hassani
orcid: 0000-0001-6937-5773
- first_name: Martin
full_name: Zemlicka, Martin
id: 2DCF8DE6-F248-11E8-B48F-1D18A9856A87
last_name: Zemlicka
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. Surpassing the resistance
quantum with a geometric superinductor. Physical Review Applied. 2020;14(4).
doi:10.1103/PhysRevApplied.14.044055
apa: Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., & Fink, J. M. (2020).
Surpassing the resistance quantum with a geometric superinductor. Physical
Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.14.044055
chicago: Peruzzo, Matilda, Andrea Trioni, Farid Hassani, Martin Zemlicka, and Johannes
M Fink. “Surpassing the Resistance Quantum with a Geometric Superinductor.” Physical
Review Applied. American Physical Society, 2020. https://doi.org/10.1103/PhysRevApplied.14.044055.
ieee: M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, and J. M. Fink, “Surpassing
the resistance quantum with a geometric superinductor,” Physical Review Applied,
vol. 14, no. 4. American Physical Society, 2020.
ista: Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. 2020. Surpassing the
resistance quantum with a geometric superinductor. Physical Review Applied. 14(4),
044055.
mla: Peruzzo, Matilda, et al. “Surpassing the Resistance Quantum with a Geometric
Superinductor.” Physical Review Applied, vol. 14, no. 4, 044055, American
Physical Society, 2020, doi:10.1103/PhysRevApplied.14.044055.
short: M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review
Applied 14 (2020).
date_created: 2020-11-15T23:01:17Z
date_published: 2020-10-29T00:00:00Z
date_updated: 2023-09-07T13:31:22Z
day: '29'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1103/PhysRevApplied.14.044055
ec_funded: 1
external_id:
arxiv:
- '2007.01644'
isi:
- '000582797300003'
file:
- access_level: open_access
checksum: 2a634abe75251ae7628cd54c8a4ce2e8
content_type: application/pdf
creator: dernst
date_created: 2021-03-29T11:43:20Z
date_updated: 2021-03-29T11:43:20Z
file_id: '9300'
file_name: 2020_PhysReviewApplied_Peruzzo.pdf
file_size: 2607823
relation: main_file
success: 1
file_date_updated: 2021-03-29T11:43:20Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '4'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 26927A52-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: F07105
name: Integrating superconducting quantum circuits
- _id: 257EB838-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '732894'
name: Hybrid Optomechanical Technologies
- _id: 237CBA6C-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '862644'
name: Quantum readout techniques and technologies
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
publication: Physical Review Applied
publication_identifier:
eissn:
- '23317019'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
record:
- id: '13070'
relation: research_data
status: public
- id: '9920'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Surpassing the resistance quantum with a geometric superinductor
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 14
year: '2020'
...
---
_id: '7573'
abstract:
- lang: eng
text: This paper deals with dynamical optimal transport metrics defined by spatial
discretisation of the Benamou–Benamou formula for the Kantorovich metric . Such
metrics appear naturally in discretisations of -gradient flow formulations for
dissipative PDE. However, it has recently been shown that these metrics do not
in general converge to , unless strong geometric constraints are imposed on the
discrete mesh. In this paper we prove that, in a 1-dimensional periodic setting,
discrete transport metrics converge to a limiting transport metric with a non-trivial
effective mobility. This mobility depends sensitively on the geometry of the mesh
and on the non-local mobility at the discrete level. Our result quantifies to
what extent discrete transport can make use of microstructure in the mesh to reduce
the cost of transport.
acknowledgement: J.M. gratefully acknowledges support by the European Research Council
(ERC) under the European Union's Horizon 2020 research and innovation programme
(grant agreement No 716117). J.M. and L.P. also acknowledge support from the Austrian
Science Fund (FWF), grants No F65 and W1245. E.K. gratefully acknowledges support
by the German Research Foundation through the Hausdorff Center for Mathematics and
the Collaborative Research Center 1060. P.G. is partially funded by the Deutsche
Forschungsgemeinschaft (DFG, German Research Foundation) – 350398276.
article_processing_charge: No
article_type: original
author:
- first_name: Peter
full_name: Gladbach, Peter
last_name: Gladbach
- first_name: Eva
full_name: Kopfer, Eva
last_name: Kopfer
- first_name: Jan
full_name: Maas, Jan
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
- first_name: Lorenzo
full_name: Portinale, Lorenzo
id: 30AD2CBC-F248-11E8-B48F-1D18A9856A87
last_name: Portinale
citation:
ama: Gladbach P, Kopfer E, Maas J, Portinale L. Homogenisation of one-dimensional
discrete optimal transport. Journal de Mathematiques Pures et Appliquees.
2020;139(7):204-234. doi:10.1016/j.matpur.2020.02.008
apa: Gladbach, P., Kopfer, E., Maas, J., & Portinale, L. (2020). Homogenisation
of one-dimensional discrete optimal transport. Journal de Mathematiques Pures
et Appliquees. Elsevier. https://doi.org/10.1016/j.matpur.2020.02.008
chicago: Gladbach, Peter, Eva Kopfer, Jan Maas, and Lorenzo Portinale. “Homogenisation
of One-Dimensional Discrete Optimal Transport.” Journal de Mathematiques Pures
et Appliquees. Elsevier, 2020. https://doi.org/10.1016/j.matpur.2020.02.008.
ieee: P. Gladbach, E. Kopfer, J. Maas, and L. Portinale, “Homogenisation of one-dimensional
discrete optimal transport,” Journal de Mathematiques Pures et Appliquees,
vol. 139, no. 7. Elsevier, pp. 204–234, 2020.
ista: Gladbach P, Kopfer E, Maas J, Portinale L. 2020. Homogenisation of one-dimensional
discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 139(7),
204–234.
mla: Gladbach, Peter, et al. “Homogenisation of One-Dimensional Discrete Optimal
Transport.” Journal de Mathematiques Pures et Appliquees, vol. 139, no.
7, Elsevier, 2020, pp. 204–34, doi:10.1016/j.matpur.2020.02.008.
short: P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures
et Appliquees 139 (2020) 204–234.
date_created: 2020-03-08T23:00:47Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-09-07T13:31:05Z
day: '01'
department:
- _id: JaMa
doi: 10.1016/j.matpur.2020.02.008
ec_funded: 1
external_id:
arxiv:
- '1905.05757'
isi:
- '000539439400008'
intvolume: ' 139'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1905.05757
month: '07'
oa: 1
oa_version: Preprint
page: 204-234
project:
- _id: 256E75B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '716117'
name: Optimal Transport and Stochastic Dynamics
- _id: 260482E2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: ' F06504'
name: Taming Complexity in Partial Di erential Systems
- _id: 260788DE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
name: Dissipation and Dispersion in Nonlinear Partial Differential Equations
publication: Journal de Mathematiques Pures et Appliquees
publication_identifier:
issn:
- '00217824'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '10030'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Homogenisation of one-dimensional discrete optimal transport
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 139
year: '2020'
...