---
_id: '7808'
abstract:
- lang: eng
text: Quantization converts neural networks into low-bit fixed-point computations
which can be carried out by efficient integer-only hardware, and is standard practice
for the deployment of neural networks on real-time embedded devices. However,
like their real-numbered counterpart, quantized networks are not immune to malicious
misclassification caused by adversarial attacks. We investigate how quantization
affects a network’s robustness to adversarial attacks, which is a formal verification
question. We show that neither robustness nor non-robustness are monotonic with
changing the number of bits for the representation and, also, neither are preserved
by quantization from a real-numbered network. For this reason, we introduce a
verification method for quantized neural networks which, using SMT solving over
bit-vectors, accounts for their exact, bit-precise semantics. We built a tool
and analyzed the effect of quantization on a classifier for the MNIST dataset.
We demonstrate that, compared to our method, existing methods for the analysis
of real-numbered networks often derive false conclusions about their quantizations,
both when determining robustness and when detecting attacks, and that existing
methods for quantized networks often miss attacks. Furthermore, we applied our
method beyond robustness, showing how the number of bits in quantization enlarges
the gender bias of a predictor for students’ grades.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Mirco
full_name: Giacobbe, Mirco
id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
last_name: Giacobbe
orcid: 0000-0001-8180-0904
- 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: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
citation:
ama: 'Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize
your neural network? In: International Conference on Tools and Algorithms for
the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97.
doi:10.1007/978-3-030-45237-7_5'
apa: 'Giacobbe, M., Henzinger, T. A., & Lechner, M. (2020). How many bits does
it take to quantize your neural network? In International Conference on Tools
and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp.
79–97). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-45237-7_5'
chicago: Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits
Does It Take to Quantize Your Neural Network?” In International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, 12079:79–97.
Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45237-7_5.
ieee: M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take
to quantize your neural network?,” in International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, Dublin, Ireland,
2020, vol. 12079, pp. 79–97.
ista: 'Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to
quantize your neural network? International Conference on Tools and Algorithms
for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for
the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.'
mla: Giacobbe, Mirco, et al. “How Many Bits Does It Take to Quantize Your Neural
Network?” International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, vol. 12079, Springer Nature, 2020, pp. 79–97, doi:10.1007/978-3-030-45237-7_5.
short: M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on
Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature,
2020, pp. 79–97.
conference:
end_date: 2020-04-30
location: Dublin, Ireland
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2020-04-25
corr_author: '1'
date_created: 2020-05-10T22:00:49Z
date_published: 2020-04-17T00:00:00Z
date_updated: 2026-04-16T09:46:07Z
day: '17'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-45237-7_5
external_id:
isi:
- '001288734300005'
file:
- access_level: open_access
checksum: f19905a42891fe5ce93d69143fa3f6fb
content_type: application/pdf
creator: dernst
date_created: 2020-05-26T12:48:15Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7893'
file_name: 2020_TACAS_Giacobbe.pdf
file_size: 2744030
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: ' 12079'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 79-97
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030452360'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11362'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: How many bits does it take to quantize your neural network?
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12079
year: '2020'
...
---
_id: '7586'
abstract:
- lang: eng
text: CLC chloride/proton exchangers may support acidification of endolysosomes
and raise their luminal Cl− concentration. Disruption of endosomal ClC‐3 causes
severe neurodegeneration. To assess the importance of ClC‐3 Cl−/H+ exchange, we
now generate Clcn3unc/unc mice in which ClC‐3 is converted into a Cl− channel.
Unlike Clcn3−/− mice, Clcn3unc/unc mice appear normal owing to compensation by
ClC‐4 with which ClC‐3 forms heteromers. ClC‐4 protein levels are strongly reduced
in Clcn3−/−, but not in Clcn3unc/unc mice because ClC‐3unc binds and stabilizes
ClC‐4 like wild‐type ClC‐3. Although mice lacking ClC‐4 appear healthy, its absence
in Clcn3unc/unc/Clcn4−/− mice entails even stronger neurodegeneration than observed
in Clcn3−/− mice. A fraction of ClC‐3 is found on synaptic vesicles, but miniature
postsynaptic currents and synaptic vesicle acidification are not affected in Clcn3unc/unc
or Clcn3−/− mice before neurodegeneration sets in. Both, Cl−/H+‐exchange activity
and the stabilizing effect on ClC‐4, are central to the biological function of
ClC‐3.
acknowledgement: "We thank T. Stauber and T. Breiderhoff for cloning expression constructs;
K. Räbel, S. Hohensee, and C. Backhaus for technical assistance; R. Jahn (MPIbpc,
Göttingen) for providing the equipment required for SV purification; and A\r\nWoehler
(MDC, Berlin) for assistance with SV imaging. Supported, in part, by grants from
the Deutsche Forschungsgemeinschaft (JE164/9-2, SFB740 TP C5, FOR 2625 (JE164/14-1),
NeuroCure Cluster of Excellence), the European Research Council Advanced Grant CYTOVOLION
(ERC 294435) and the Prix Louis-Jeantet de Médecine to TJJ, and Peter and Traudl
Engelhorn fellowship to ZF."
article_number: e103358
article_processing_charge: No
article_type: original
author:
- first_name: Stefanie
full_name: Weinert, Stefanie
last_name: Weinert
- first_name: Niclas
full_name: Gimber, Niclas
last_name: Gimber
- first_name: Dorothea
full_name: Deuschel, Dorothea
last_name: Deuschel
- first_name: Till
full_name: Stuhlmann, Till
last_name: Stuhlmann
- first_name: Dmytro
full_name: Puchkov, Dmytro
last_name: Puchkov
- first_name: Zohreh
full_name: Farsi, Zohreh
last_name: Farsi
- first_name: Carmen F.
full_name: Ludwig, Carmen F.
last_name: Ludwig
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Karen I.
full_name: López-Cayuqueo, Karen I.
last_name: López-Cayuqueo
- first_name: Rosa
full_name: Planells-Cases, Rosa
last_name: Planells-Cases
- first_name: Thomas J.
full_name: Jentsch, Thomas J.
last_name: Jentsch
citation:
ama: Weinert S, Gimber N, Deuschel D, et al. Uncoupling endosomal CLC chloride/proton
exchange causes severe neurodegeneration. EMBO Journal. 2020;39. doi:10.15252/embj.2019103358
apa: Weinert, S., Gimber, N., Deuschel, D., Stuhlmann, T., Puchkov, D., Farsi, Z.,
… Jentsch, T. J. (2020). Uncoupling endosomal CLC chloride/proton exchange causes
severe neurodegeneration. EMBO Journal. EMBO Press. https://doi.org/10.15252/embj.2019103358
chicago: Weinert, Stefanie, Niclas Gimber, Dorothea Deuschel, Till Stuhlmann, Dmytro
Puchkov, Zohreh Farsi, Carmen F. Ludwig, et al. “Uncoupling Endosomal CLC Chloride/Proton
Exchange Causes Severe Neurodegeneration.” EMBO Journal. EMBO Press, 2020.
https://doi.org/10.15252/embj.2019103358.
ieee: S. Weinert et al., “Uncoupling endosomal CLC chloride/proton exchange
causes severe neurodegeneration,” EMBO Journal, vol. 39. EMBO Press, 2020.
ista: Weinert S, Gimber N, Deuschel D, Stuhlmann T, Puchkov D, Farsi Z, Ludwig CF,
Novarino G, López-Cayuqueo KI, Planells-Cases R, Jentsch TJ. 2020. Uncoupling
endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal.
39, e103358.
mla: Weinert, Stefanie, et al. “Uncoupling Endosomal CLC Chloride/Proton Exchange
Causes Severe Neurodegeneration.” EMBO Journal, vol. 39, e103358, EMBO
Press, 2020, doi:10.15252/embj.2019103358.
short: S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F.
Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO
Journal 39 (2020).
date_created: 2020-03-15T23:00:55Z
date_published: 2020-03-02T00:00:00Z
date_updated: 2026-04-16T09:35:48Z
day: '02'
ddc:
- '570'
department:
- _id: GaNo
doi: 10.15252/embj.2019103358
external_id:
isi:
- '000517335000001'
pmid:
- '32118314'
file:
- access_level: open_access
checksum: 82750a7a93e3740decbce8474004111a
content_type: application/pdf
creator: dernst
date_created: 2020-03-23T13:51:11Z
date_updated: 2020-07-14T12:48:00Z
file_id: '7615'
file_name: 2020_EMBO_Weinert.pdf
file_size: 12243278
relation: main_file
file_date_updated: 2020-07-14T12:48:00Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: EMBO Journal
publication_identifier:
eissn:
- 1460-2075
issn:
- 0261-4189
publication_status: published
publisher: EMBO Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 39
year: '2020'
...
---
_id: '6761'
abstract:
- lang: eng
text: In resource allocation games, selfish players share resources that are needed
in order to fulfill their objectives. The cost of using a resource depends on
the load on it. In the traditional setting, the players make their choices concurrently
and in one-shot. That is, a strategy for a player is a subset of the resources.
We introduce and study dynamic resource allocation games. In this setting, the
game proceeds in phases. In each phase each player chooses one resource. A scheduler
dictates the order in which the players proceed in a phase, possibly scheduling
several players to proceed concurrently. The game ends when each player has collected
a set of resources that fulfills his objective. The cost for each player then
depends on this set as well as on the load on the resources in it – we consider
both congestion and cost-sharing games. We argue that the dynamic setting is the
suitable setting for many applications in practice. We study the stability of
dynamic resource allocation games, where the appropriate notion of stability is
that of subgame perfect equilibrium, study the inefficiency incurred due to selfish
behavior, and also study problems that are particular to the dynamic setting,
like constraints on the order in which resources can be chosen or the problem
of finding a scheduler that achieves stability.
article_processing_charge: No
article_type: original
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- 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: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical
Computer Science. 2020;807:42-55. doi:10.1016/j.tcs.2019.06.031
apa: Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation
games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2019.06.031
chicago: Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation
Games.” Theoretical Computer Science. Elsevier, 2020. https://doi.org/10.1016/j.tcs.2019.06.031.
ieee: G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,”
Theoretical Computer Science, vol. 807. Elsevier, pp. 42–55, 2020.
ista: Avni G, Henzinger TA, Kupferman O. 2020. Dynamic resource allocation games.
Theoretical Computer Science. 807, 42–55.
mla: Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer
Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
short: G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020)
42–55.
date_created: 2019-08-04T21:59:20Z
date_published: 2020-02-06T00:00:00Z
date_updated: 2026-04-16T09:35:15Z
day: '06'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1016/j.tcs.2019.06.031
external_id:
isi:
- '000512219400004'
file:
- access_level: open_access
checksum: e86635417f45eb2cd75778f91382f737
content_type: application/pdf
creator: dernst
date_created: 2020-10-09T06:31:22Z
date_updated: 2020-10-09T06:31:22Z
file_id: '8639'
file_name: 2020_TheoreticalCS_Avni.pdf
file_size: 1413001
relation: main_file
success: 1
file_date_updated: 2020-10-09T06:31:22Z
has_accepted_license: '1'
intvolume: ' 807'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Submitted Version
page: 42-55
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 264B3912-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02369
name: Formal Methods meets Algorithmic Game Theory
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '1341'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Dynamic resource allocation games
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 807
year: '2020'
...
---
_id: '7623'
abstract:
- lang: eng
text: A two-dimensional mathematical model for cells migrating without adhesion
capabilities is presented and analyzed. Cells are represented by their cortex,
which is modeled as an elastic curve, subject to an internal pressure force. Net
polymerization or depolymerization in the cortex is modeled via local addition
or removal of material, driving a cortical flow. The model takes the form of a
fully nonlinear degenerate parabolic system. An existence analysis is carried
out by adapting ideas from the theory of gradient flows. Numerical simulations
show that these simple rules can account for the behavior observed in experiments,
suggesting a possible mechanical mechanism for adhesion-independent motility.
acknowledgement: This work has been supported by the Vienna Science and Technology
Fund, Grant no. LS13-029. G.J. and C.S. also acknowledge support by the Austrian
Science Fund, Grants no. W1245, F 65, and W1261, as well as by the Fondation Sciences
Mathématiques de Paris, and by Paris-Sciences-et-Lettres.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Gaspard
full_name: Jankowiak, Gaspard
last_name: Jankowiak
- first_name: Diane
full_name: Peurichard, Diane
last_name: Peurichard
- first_name: Anne
full_name: Reversat, Anne
id: 35B76592-F248-11E8-B48F-1D18A9856A87
last_name: Reversat
orcid: 0000-0003-0666-8928
- first_name: Christian
full_name: Schmeiser, Christian
last_name: Schmeiser
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Jankowiak G, Peurichard D, Reversat A, Schmeiser C, Sixt MK. Modeling adhesion-independent
cell migration. Mathematical Models and Methods in Applied Sciences. 2020;30(3):513-537.
doi:10.1142/S021820252050013X
apa: Jankowiak, G., Peurichard, D., Reversat, A., Schmeiser, C., & Sixt, M.
K. (2020). Modeling adhesion-independent cell migration. Mathematical Models
and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S021820252050013X
chicago: Jankowiak, Gaspard, Diane Peurichard, Anne Reversat, Christian Schmeiser,
and Michael K Sixt. “Modeling Adhesion-Independent Cell Migration.” Mathematical
Models and Methods in Applied Sciences. World Scientific Publishing, 2020.
https://doi.org/10.1142/S021820252050013X.
ieee: G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, and M. K. Sixt, “Modeling
adhesion-independent cell migration,” Mathematical Models and Methods in Applied
Sciences, vol. 30, no. 3. World Scientific Publishing, pp. 513–537, 2020.
ista: Jankowiak G, Peurichard D, Reversat A, Schmeiser C, Sixt MK. 2020. Modeling
adhesion-independent cell migration. Mathematical Models and Methods in Applied
Sciences. 30(3), 513–537.
mla: Jankowiak, Gaspard, et al. “Modeling Adhesion-Independent Cell Migration.”
Mathematical Models and Methods in Applied Sciences, vol. 30, no. 3, World
Scientific Publishing, 2020, pp. 513–37, doi:10.1142/S021820252050013X.
short: G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical
Models and Methods in Applied Sciences 30 (2020) 513–537.
date_created: 2020-03-31T11:25:05Z
date_published: 2020-03-18T00:00:00Z
date_updated: 2026-04-16T09:35:31Z
day: '18'
department:
- _id: MiSi
doi: 10.1142/S021820252050013X
external_id:
arxiv:
- '1903.09426'
isi:
- '000525349900003'
intvolume: ' 30'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1903.09426
month: '03'
oa: 1
oa_version: Preprint
page: 513-537
project:
- _id: 25AD6156-B435-11E9-9278-68D0E5697425
grant_number: LS13-029
name: Modeling of Polarization and Motility of Leukocytes in Three-Dimensional Environments
publication: Mathematical Models and Methods in Applied Sciences
publication_identifier:
issn:
- 0218-2025
publication_status: published
publisher: World Scientific Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modeling adhesion-independent cell migration
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 30
year: '2020'
...
---
OA_place: publisher
_id: '8386'
abstract:
- lang: eng
text: "Form versus function is a long-standing debate in various design-related
fields, such as architecture as well as graphic and industrial design. A good
design that balances form and function often requires considerable human effort
and collaboration among experts from different professional fields. Computational
design tools provide a new paradigm for designing functional objects. In computational
design, form and function are represented as mathematical\r\nquantities, with
the help of numerical and combinatorial algorithms, they can assist even novice
users in designing versatile models that exhibit their desired functionality.
This thesis presents three disparate research studies on the computational design
of functional objects: The appearance of 3d print—we optimize the volumetric material
distribution for faithfully replicating colored surface texture in 3d printing;
the dynamic motion of mechanical structures—\r\nour design system helps the novice
user to retarget various mechanical templates with different functionality to
complex 3d shapes; and a more abstract functionality, multistability—our algorithm
automatically generates models that exhibit multiple stable target poses. For
each of these cases, our computational design tools not only ensure the functionality
of the results but also permit the user aesthetic freedom over the form. Moreover,
fabrication constraints\r\nwere taken into account, which allow for the immediate
creation of physical realization via 3D printing or laser cutting."
acknowledged_ssus:
- _id: SSU
acknowledgement: The research in this thesis has received funding from the European
Union’s Horizon 2020 research and innovation programme, under the Marie Skłodowska-Curie
grant agreement No 642841 (DISTRO) and the European Research Council grant agreement
No 715767 (MATERIALIZABLE). All the research projects in this thesis were also supported
by Scientific Service Units (SSUs) at IST Austria.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Ran
full_name: Zhang, Ran
id: 4DDBCEB0-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
orcid: 0000-0002-3808-281X
citation:
ama: Zhang R. Structure-aware computational design and its application to 3D printable
volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386
apa: Zhang, R. (2020). Structure-aware computational design and its application
to 3D printable volume scattering, mechanism, and multistability. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8386
chicago: Zhang, Ran. “Structure-Aware Computational Design and Its Application to
3D Printable Volume Scattering, Mechanism, and Multistability.” Institute of Science
and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8386.
ieee: R. Zhang, “Structure-aware computational design and its application to 3D
printable volume scattering, mechanism, and multistability,” Institute of Science
and Technology Austria, 2020.
ista: Zhang R. 2020. Structure-aware computational design and its application to
3D printable volume scattering, mechanism, and multistability. Institute of Science
and Technology Austria.
mla: Zhang, Ran. Structure-Aware Computational Design and Its Application to
3D Printable Volume Scattering, Mechanism, and Multistability. Institute of
Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8386.
short: R. Zhang, Structure-Aware Computational Design and Its Application to 3D
Printable Volume Scattering, Mechanism, and Multistability, Institute of Science
and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-14T01:04:53Z
date_published: 2020-09-14T00:00:00Z
date_updated: 2026-04-16T10:06:31Z
day: '14'
ddc:
- '003'
degree_awarded: PhD
department:
- _id: BeBi
doi: 10.15479/AT:ISTA:8386
ec_funded: 1
file:
- access_level: closed
checksum: edcf578b6e1c9b0dd81ff72d319b66ba
content_type: application/x-zip-compressed
creator: rzhang
date_created: 2020-09-14T01:02:59Z
date_updated: 2020-09-14T12:18:43Z
file_id: '8388'
file_name: Thesis_Ran.zip
file_size: 1245800191
relation: source_file
- access_level: open_access
checksum: 817e20c33be9247f906925517c56a40d
content_type: application/pdf
creator: rzhang
date_created: 2020-09-15T12:51:53Z
date_updated: 2020-09-15T12:51:53Z
file_id: '8396'
file_name: PhD_thesis_Ran Zhang_20200915.pdf
file_size: 161385316
relation: main_file
success: 1
file_date_updated: 2020-09-15T12:51:53Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '148'
project:
- _id: 2508E324-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '642841'
name: Distributed 3D Object Design
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '486'
relation: part_of_dissertation
status: public
- id: '1002'
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: Structure-aware computational design and its application to 3D printable volume
scattering, mechanism, and multistability
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '7966'
abstract:
- lang: eng
text: "For 1≤m≤n, we consider a natural m-out-of-n multi-instance scenario for a
public-key encryption (PKE) scheme. An adversary, given n independent instances
of PKE, wins if he breaks at least m out of the n instances. In this work, we
are interested in the scaling factor of PKE schemes, SF, which measures how well
the difficulty of breaking m out of the n instances scales in m. That is, a scaling
factor SF=ℓ indicates that breaking m out of n instances is at least ℓ times more
difficult than breaking one single instance. A PKE scheme with small scaling factor
hence provides an ideal target for mass surveillance. In fact, the Logjam attack
(CCS 2015) implicitly exploited, among other things, an almost constant scaling
factor of ElGamal over finite fields (with shared group parameters).\r\n\r\nFor
Hashed ElGamal over elliptic curves, we use the generic group model to argue that
the scaling factor depends on the scheme's granularity. In low granularity, meaning
each public key contains its independent group parameter, the scheme has optimal
scaling factor SF=m; In medium and high granularity, meaning all public keys share
the same group parameter, the scheme still has a reasonable scaling factor SF=√m.
Our findings underline that instantiating ElGamal over elliptic curves should
be preferred to finite fields in a multi-instance scenario.\r\n\r\nAs our main
technical contribution, we derive new generic-group lower bounds of Ω(√(mp)) on
the difficulty of solving both the m-out-of-n Gap Discrete Logarithm and the m-out-of-n
Gap Computational Diffie-Hellman problem over groups of prime order p, extending
a recent result by Yun (EUROCRYPT 2015). We establish the lower bound by studying
the hardness of a related computational problem which we call the search-by-hypersurface
problem."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Benedikt
full_name: Auerbach, Benedikt
id: D33D2B18-E445-11E9-ABB7-15F4E5697425
last_name: Auerbach
orcid: 0000-0002-7553-6606
- first_name: Federico
full_name: Giacon, Federico
last_name: Giacon
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
citation:
ama: 'Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key
encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer
Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16'
apa: 'Auerbach, B., Giacon, F., & Kiltz, E. (2020). Everybody’s a target: Scalability
in public-key encryption. In Advances in Cryptology – EUROCRYPT 2020 (Vol.
12107, pp. 475–506). Springer Nature. https://doi.org/10.1007/978-3-030-45727-3_16'
chicago: 'Auerbach, Benedikt, Federico Giacon, and Eike Kiltz. “Everybody’s a Target:
Scalability in Public-Key Encryption.” In Advances in Cryptology – EUROCRYPT
2020, 12107:475–506. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45727-3_16.'
ieee: 'B. Auerbach, F. Giacon, and E. Kiltz, “Everybody’s a target: Scalability
in public-key encryption,” in Advances in Cryptology – EUROCRYPT 2020,
2020, vol. 12107, pp. 475–506.'
ista: 'Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in
public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory
and Applications of Cryptographic Techniques, LNCS, vol. 12107, 475–506.'
mla: 'Auerbach, Benedikt, et al. “Everybody’s a Target: Scalability in Public-Key
Encryption.” Advances in Cryptology – EUROCRYPT 2020, vol. 12107, Springer
Nature, 2020, pp. 475–506, doi:10.1007/978-3-030-45727-3_16.'
short: B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT
2020, Springer Nature, 2020, pp. 475–506.
conference:
end_date: 2020-05-15
name: 'EUROCRYPT: Theory and Applications of Cryptographic Techniques'
start_date: 2020-05-11
date_created: 2020-06-15T07:13:37Z
date_published: 2020-05-01T00:00:00Z
date_updated: 2026-04-16T10:21:02Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-030-45727-3_16
ec_funded: 1
external_id:
isi:
- '000828688000016'
intvolume: ' 12107'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2019/364
month: '05'
oa: 1
oa_version: Submitted Version
page: 475-506
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: Advances in Cryptology – EUROCRYPT 2020
publication_identifier:
eisbn:
- '9783030457273'
eissn:
- 1611-3349
isbn:
- '9783030457266'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Everybody’s a target: Scalability in public-key encryption'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12107
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: '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: '10865'
abstract:
- lang: eng
text: "We introduce the notion of Witness Maps as a cryptographic notion of a proof
system. A Unique Witness Map (UWM) deterministically maps all witnesses for an
\ NP statement to a single representative witness, resulting in a computationally
sound, deterministic-prover, non-interactive witness independent proof system.
A relaxation of UWM, called Compact Witness Map (CWM), maps all the witnesses
to a small number of witnesses, resulting in a “lossy” deterministic-prover, non-interactive
proof-system. We also define a Dual Mode Witness Map (DMWM) which adds an “extractable”
mode to a CWM.\r\nOur main construction is a DMWM for all NP relations, assuming
sub-exponentially secure indistinguishability obfuscation ( iO ), along with
standard cryptographic assumptions. The DMWM construction relies on a CWM and
a new primitive called Cumulative All-Lossy-But-One Trapdoor Functions (C-ALBO-TDF),
both of which are in turn instantiated based on iO and other primitives. Our
instantiation of a CWM is in fact a UWM; in turn, we show that a UWM implies Witness
Encryption. Along the way to constructing UWM and C-ALBO-TDF, we also construct,
from standard assumptions, Puncturable Digital Signatures and a new primitive
called Cumulative Lossy Trapdoor Functions (C-LTDF). The former improves up on
a construction of Bellare et al. (Eurocrypt 2016), who relied on sub-exponentially
secure iO and sub-exponentially secure OWF.\r\nAs an application of our constructions,
we show how to use a DMWM to construct the first leakage and tamper-resilient
signatures with a deterministic signer, thereby solving a decade old open problem
posed by Katz and Vaikunthanathan (Asiacrypt 2009), by Boyle, Segev and Wichs
(Eurocrypt 2011), as well as by Faonio and Venturi (Asiacrypt 2016). Our construction
achieves the optimal leakage rate of 1−o(1) ."
acknowledgement: We would like to thank the anonymous reviewers of PKC 2019 for their
useful comments and suggestions. We thank Omer Paneth for pointing out to us the
connection between Unique Witness Maps (UWM) and Witness encryption (WE). The first
author would like to acknowledge Pandu Rangan for his involvement during the initial
discussion phase of the project.
article_processing_charge: No
author:
- first_name: Suvradip
full_name: Chakraborty, Suvradip
id: B9CD0494-D033-11E9-B219-A439E6697425
last_name: Chakraborty
- first_name: Manoj
full_name: Prabhakaran, Manoj
last_name: Prabhakaran
- first_name: Daniel
full_name: Wichs, Daniel
last_name: Wichs
citation:
ama: 'Chakraborty S, Prabhakaran M, Wichs D. Witness maps and applications. In:
Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer
Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8'
apa: 'Chakraborty, S., Prabhakaran, M., & Wichs, D. (2020). Witness maps and
applications. In A. Kiayias (Ed.), Public-Key Cryptography (Vol. 12110,
pp. 220–246). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_8'
chicago: 'Chakraborty, Suvradip, Manoj Prabhakaran, and Daniel Wichs. “Witness Maps
and Applications.” In Public-Key Cryptography, edited by A Kiayias, 12110:220–46.
LNCS. Cham: Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_8.'
ieee: 'S. Chakraborty, M. Prabhakaran, and D. Wichs, “Witness maps and applications,”
in Public-Key Cryptography, vol. 12110, A. Kiayias, Ed. Cham: Springer
Nature, 2020, pp. 220–246.'
ista: 'Chakraborty S, Prabhakaran M, Wichs D. 2020.Witness maps and applications.
In: Public-Key Cryptography. vol. 12110, 220–246.'
mla: Chakraborty, Suvradip, et al. “Witness Maps and Applications.” Public-Key
Cryptography, edited by A Kiayias, vol. 12110, Springer Nature, 2020, pp.
220–46, doi:10.1007/978-3-030-45374-9_8.
short: S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key
Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
corr_author: '1'
date_created: 2022-03-18T11:35:51Z
date_published: 2020-04-29T00:00:00Z
date_updated: 2026-04-16T10:21:31Z
day: '29'
doi: 10.1007/978-3-030-45374-9_8
editor:
- first_name: A
full_name: Kiayias, A
last_name: Kiayias
external_id:
isi:
- '001299210200008'
intvolume: ' 12110'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2020/090
month: '04'
oa: 1
oa_version: Preprint
page: 220-246
place: Cham
publication: Public-Key Cryptography
publication_identifier:
eisbn:
- '9783030453749'
eissn:
- 1611-3349
isbn:
- '9783030453732'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: Witness maps and applications
type: book_chapter
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12110
year: '2020'
...
---
_id: '9123'
abstract:
- lang: eng
text: 'Inversions are chromosomal rearrangements where the order of genes is reversed.
Inversions originate by mutation and can be under positive, negative or balancing
selection. Selective effects result from potential disruptive effects on meiosis,
gene disruption at inversion breakpoints and, importantly, the effects of inversions
as modifiers of recombination rate: Recombination is strongly reduced in individuals
heterozygous for an inversion, allowing for alleles at different loci to be inherited
as a ‘block’. This may lead to a selective advantage whenever it is favourable
to keep certain combinations of alleles associated, for example under local adaptation
with gene flow. Inversions can cover a considerable part of a chromosome and contain
numerous loci under different selection pressures, so that the resulting overall
effects may be complex. Empirical data from various systems show that inversions
may have a prominent role in local adaptation, speciation, parallel evolution,
the maintenance of polymorphism and sex chromosome evolution.'
article_processing_charge: No
author:
- first_name: Anja M
full_name: Westram, Anja M
id: 3C147470-F248-11E8-B48F-1D18A9856A87
last_name: Westram
orcid: 0000-0003-1050-4969
- first_name: Rui
full_name: Faria, Rui
last_name: Faria
- first_name: Roger
full_name: Butlin, Roger
last_name: Butlin
- first_name: Kerstin
full_name: Johannesson, Kerstin
last_name: Johannesson
citation:
ama: 'Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In:
ELS. Wiley; 2020. doi:10.1002/9780470015902.a0029007'
apa: Westram, A. M., Faria, R., Butlin, R., & Johannesson, K. (2020). Inversions
and Evolution. In eLS. Wiley. https://doi.org/10.1002/9780470015902.a0029007
chicago: Westram, Anja M, Rui Faria, Roger Butlin, and Kerstin Johannesson. “Inversions
and Evolution.” In ELS. Wiley, 2020. https://doi.org/10.1002/9780470015902.a0029007.
ieee: A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,”
in eLS, Wiley, 2020.
ista: 'Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution.
In: eLS. .'
mla: Westram, Anja M., et al. “Inversions and Evolution.” ELS, Wiley, 2020,
doi:10.1002/9780470015902.a0029007.
short: A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
date_created: 2021-02-15T12:39:04Z
date_published: 2020-05-16T00:00:00Z
date_updated: 2026-04-16T10:25:26Z
day: '16'
department:
- _id: NiBa
doi: 10.1002/9780470015902.a0029007
language:
- iso: eng
month: '05'
oa_version: None
publication: eLS
publication_identifier:
eissn:
- '9780470015902'
isbn:
- '9780470016176'
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Inversions and Evolution
type: book_chapter
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '6649'
abstract:
- lang: eng
text: "While Hartree–Fock theory is well established as a fundamental approximation
for interacting fermions, it has been unclear how to describe corrections to it
due to many-body correlations. In this paper we start from the Hartree–Fock state
given by plane waves and introduce collective particle–hole pair excitations.
These pairs can be approximately described by a bosonic quadratic Hamiltonian.
We use Bogoliubov theory to construct a trial state yielding a rigorous Gell-Mann–Brueckner–type
upper bound to the ground state energy. Our result justifies the random-phase
approximation in the mean-field scaling regime, for repulsive, regular interaction
potentials.\r\n"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Niels P
full_name: Benedikter, Niels P
id: 3DE6C32A-F248-11E8-B48F-1D18A9856A87
last_name: Benedikter
orcid: 0000-0002-1071-6091
- first_name: Phan Thành
full_name: Nam, Phan Thành
last_name: Nam
- first_name: Marcello
full_name: Porta, Marcello
last_name: Porta
- first_name: Benjamin
full_name: Schlein, Benjamin
last_name: Schlein
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound
for the correlation energy of a Fermi gas in the mean-field regime. Communications
in Mathematical Physics. 2020;374:2097–2150. doi:10.1007/s00220-019-03505-5
apa: Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R.
(2020). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field
regime. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03505-5
chicago: Benedikter, Niels P, Phan Thành Nam, Marcello Porta, Benjamin Schlein,
and Robert Seiringer. “Optimal Upper Bound for the Correlation Energy of a Fermi
Gas in the Mean-Field Regime.” Communications in Mathematical Physics.
Springer Nature, 2020. https://doi.org/10.1007/s00220-019-03505-5.
ieee: N. P. Benedikter, P. T. Nam, M. Porta, B. Schlein, and R. Seiringer, “Optimal
upper bound for the correlation energy of a Fermi gas in the mean-field regime,”
Communications in Mathematical Physics, vol. 374. Springer Nature, pp.
2097–2150, 2020.
ista: Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2020. Optimal upper
bound for the correlation energy of a Fermi gas in the mean-field regime. Communications
in Mathematical Physics. 374, 2097–2150.
mla: Benedikter, Niels P., et al. “Optimal Upper Bound for the Correlation Energy
of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics,
vol. 374, Springer Nature, 2020, pp. 2097–2150, doi:10.1007/s00220-019-03505-5.
short: N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications
in Mathematical Physics 374 (2020) 2097–2150.
corr_author: '1'
date_created: 2019-07-18T13:30:04Z
date_published: 2020-03-01T00:00:00Z
date_updated: 2025-04-14T07:27:00Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s00220-019-03505-5
ec_funded: 1
external_id:
arxiv:
- '1809.01902'
isi:
- '000527910700019'
file:
- access_level: open_access
checksum: f9dd6dd615a698f1d3636c4a092fed23
content_type: application/pdf
creator: dernst
date_created: 2019-07-24T07:19:10Z
date_updated: 2020-07-14T12:47:35Z
file_id: '6668'
file_name: 2019_CommMathPhysics_Benedikter.pdf
file_size: 853289
relation: main_file
file_date_updated: 2020-07-14T12:47:35Z
has_accepted_license: '1'
intvolume: ' 374'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 2097–2150
project:
- _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1
call_identifier: FWF
name: FWF Open Access Fund
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- 1432-0916
issn:
- 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimal upper bound for the correlation energy of a Fermi gas in the mean-field
regime
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: 374
year: '2020'
...
---
_id: '7866'
abstract:
- lang: eng
text: In this paper, we establish convergence to equilibrium for a drift–diffusion–recombination
system modelling the charge transport within certain semiconductor devices. More
precisely, we consider a two-level system for electrons and holes which is augmented
by an intermediate energy level for electrons in so-called trapped states. The
recombination dynamics use the mass action principle by taking into account this
additional trap level. The main part of the paper is concerned with the derivation
of an entropy–entropy production inequality, which entails exponential convergence
to the equilibrium via the so-called entropy method. The novelty of our approach
lies in the fact that the entropy method is applied uniformly in a fast-reaction
parameter which governs the lifetime of electrons on the trap level. Thus, the
resulting decay estimate for the densities of electrons and holes extends to the
corresponding quasi-steady-state approximation.
acknowledgement: Open access funding provided by Austrian Science Fund (FWF). The
second author has been supported by the International Research Training Group IGDK
1754 “Optimization and Numerical Analysis for Partial Differential Equations with
Nonsmooth Structures”, funded by the German Research Council (DFG) and the Austrian
Science Fund (FWF) under grant number [W 1244-N18].
article_processing_charge: No
article_type: original
author:
- first_name: Klemens
full_name: Fellner, Klemens
last_name: Fellner
- first_name: Michael
full_name: Kniely, Michael
id: 2CA2C08C-F248-11E8-B48F-1D18A9856A87
last_name: Kniely
orcid: 0000-0001-5645-4333
citation:
ama: Fellner K, Kniely M. Uniform convergence to equilibrium for a family of drift–diffusion
models with trap-assisted recombination and the limiting Shockley–Read–Hall model.
Journal of Elliptic and Parabolic Equations. 2020;6:529-598. doi:10.1007/s41808-020-00068-8
apa: Fellner, K., & Kniely, M. (2020). Uniform convergence to equilibrium for
a family of drift–diffusion models with trap-assisted recombination and the limiting
Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations.
Springer Nature. https://doi.org/10.1007/s41808-020-00068-8
chicago: Fellner, Klemens, and Michael Kniely. “Uniform Convergence to Equilibrium
for a Family of Drift–Diffusion Models with Trap-Assisted Recombination and the
Limiting Shockley–Read–Hall Model.” Journal of Elliptic and Parabolic Equations.
Springer Nature, 2020. https://doi.org/10.1007/s41808-020-00068-8.
ieee: K. Fellner and M. Kniely, “Uniform convergence to equilibrium for a family
of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall
model,” Journal of Elliptic and Parabolic Equations, vol. 6. Springer Nature,
pp. 529–598, 2020.
ista: Fellner K, Kniely M. 2020. Uniform convergence to equilibrium for a family
of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall
model. Journal of Elliptic and Parabolic Equations. 6, 529–598.
mla: Fellner, Klemens, and Michael Kniely. “Uniform Convergence to Equilibrium for
a Family of Drift–Diffusion Models with Trap-Assisted Recombination and the Limiting
Shockley–Read–Hall Model.” Journal of Elliptic and Parabolic Equations,
vol. 6, Springer Nature, 2020, pp. 529–98, doi:10.1007/s41808-020-00068-8.
short: K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations 6 (2020)
529–598.
corr_author: '1'
date_created: 2020-05-17T22:00:45Z
date_published: 2020-12-01T00:00:00Z
date_updated: 2025-07-17T08:12:24Z
day: '01'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s41808-020-00068-8
external_id:
pmid:
- '33195442'
file:
- access_level: open_access
checksum: 6bc6832caacddceee1471291e93dcf1d
content_type: application/pdf
creator: dernst
date_created: 2020-11-25T08:59:59Z
date_updated: 2020-11-25T08:59:59Z
file_id: '8802'
file_name: 2020_JourEllipticParabEquat_Fellner.pdf
file_size: 8408694
relation: main_file
success: 1
file_date_updated: 2020-11-25T08:59:59Z
has_accepted_license: '1'
intvolume: ' 6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 529-598
pmid: 1
project:
- _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1
call_identifier: FWF
name: FWF Open Access Fund
publication: Journal of Elliptic and Parabolic Equations
publication_identifier:
eissn:
- 2296-9039
issn:
- 2296-9020
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Uniform convergence to equilibrium for a family of drift–diffusion models with
trap-assisted recombination and the limiting Shockley–Read–Hall model
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2020'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '21640'
abstract:
- lang: eng
text: "Conventional computing architectures have no known efficient algorithms for
combinatorial optimization tasks such\r\nas the Ising problem, which requires
finding the ground state spin configuration of an arbitrary Ising graph. Physical\r\nIsing
machines have recently been developed as an alternative to conventional exact
and heuristic solvers; however,\r\nthese machines typically suffer from decreased
ground state convergence probability or universality for high edge-\r\ndensity
graphs or arbitrary graph weights, respectively. We experimentally demonstrate
a proof-of-principle integrated\r\nnanophotonic recurrent Ising sampler (INPRIS),
using a hybrid scheme combining electronics and silicon-on-insulator\r\nphotonics,
that is capable of converging to the ground state of various four-spin graphs
with high probability. The\r\nINPRIS results indicate that noise may be used as
a resource to speed up the ground state search and to explore larger\r\nregions
of the phase space, thus allowing one to probe noise-dependent physical observables.
Since the recurrent pho-\r\ntonic transformation that our machine imparts is a
fixed function of the graph problem and therefore compatible with\r\noptoelectronic
architectures that support GHz clock rates (such as passive or non-volatile photonic
circuits that do not\r\nrequire reprogramming at each iteration), this work suggests
the potential for future systems that could achieve orders-\r\nof-magnitude speedups
in exploring the solution space of combinatorially hard problems. "
article_processing_charge: No
article_type: original
author:
- first_name: Mihika
full_name: Prabhu, Mihika
last_name: Prabhu
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Yichen
full_name: Shen, Yichen
last_name: Shen
- first_name: Nicholas
full_name: Harris, Nicholas
last_name: Harris
- first_name: Li
full_name: Jing, Li
last_name: Jing
- first_name: Jacques
full_name: Carolan, Jacques
last_name: Carolan
- first_name: Ryan
full_name: Hamerly, Ryan
last_name: Hamerly
- first_name: Tom
full_name: Baehr-Jones, Tom
last_name: Baehr-Jones
- first_name: Michael
full_name: Hochberg, Michael
last_name: Hochberg
- first_name: Vladimir
full_name: Čeperić, Vladimir
last_name: Čeperić
- first_name: John D.
full_name: Joannopoulos, John D.
last_name: Joannopoulos
- first_name: Dirk R.
full_name: Englund, Dirk R.
last_name: Englund
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
citation:
ama: Prabhu M, Roques-Carmes C, Shen Y, et al. Accelerating recurrent Ising machines
in photonic integrated circuits. Optica. 2020;7(5):551-558. doi:10.1364/optica.386613
apa: Prabhu, M., Roques-Carmes, C., Shen, Y., Harris, N., Jing, L., Carolan, J.,
… Soljačić, M. (2020). Accelerating recurrent Ising machines in photonic integrated
circuits. Optica. Optica Publishing Group. https://doi.org/10.1364/optica.386613
chicago: Prabhu, Mihika, Charles Roques-Carmes, Yichen Shen, Nicholas Harris, Li
Jing, Jacques Carolan, Ryan Hamerly, et al. “Accelerating Recurrent Ising Machines
in Photonic Integrated Circuits.” Optica. Optica Publishing Group, 2020.
https://doi.org/10.1364/optica.386613.
ieee: M. Prabhu et al., “Accelerating recurrent Ising machines in photonic
integrated circuits,” Optica, vol. 7, no. 5. Optica Publishing Group, pp.
551–558, 2020.
ista: Prabhu M, Roques-Carmes C, Shen Y, Harris N, Jing L, Carolan J, Hamerly R,
Baehr-Jones T, Hochberg M, Čeperić V, Joannopoulos JD, Englund DR, Soljačić M.
2020. Accelerating recurrent Ising machines in photonic integrated circuits. Optica.
7(5), 551–558.
mla: Prabhu, Mihika, et al. “Accelerating Recurrent Ising Machines in Photonic Integrated
Circuits.” Optica, vol. 7, no. 5, Optica Publishing Group, 2020, pp. 551–58,
doi:10.1364/optica.386613.
short: M. Prabhu, C. Roques-Carmes, Y. Shen, N. Harris, L. Jing, J. Carolan, R.
Hamerly, T. Baehr-Jones, M. Hochberg, V. Čeperić, J.D. Joannopoulos, D.R. Englund,
M. Soljačić, Optica 7 (2020) 551–558.
date_created: 2026-03-30T12:22:48Z
date_published: 2020-05-18T00:00:00Z
date_updated: 2026-04-27T07:06:04Z
day: '18'
ddc:
- '530'
doi: 10.1364/optica.386613
extern: '1'
intvolume: ' 7'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1364/OPTICA.386613
month: '05'
oa: 1
oa_version: Published Version
page: 551-558
publication: Optica
publication_identifier:
eissn:
- 2334-2536
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: Accelerating recurrent Ising machines in photonic integrated circuits
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2020'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '21637'
abstract:
- lang: eng
text: We demonstrate new axisymmetric inverse-design techniques that can solve problems
radically different from traditional lenses, including reconfigurable lenses (that
shift a multi-frequency focal spot in response to refractive-index changes) and
widely separated multi-wavelength lenses (λ = 1 µm and 10 µm). We also present
experimental validation for an axisymmetric inverse-designed monochrome lens in
the near-infrared fabricated via two-photon polymerization. Axisymmetry allows
fullwave Maxwell solvers to be scaled up to structures hundreds or even thousands
of wavelengths in diameter before requiring domain-decomposition approximations,
while multilayer topology optimization with ∼105 degrees of freedom can tackle
challenging design problems even when restricted to axisymmetric structures.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Rasmus E.
full_name: Christiansen, Rasmus E.
last_name: Christiansen
- first_name: Zin
full_name: Lin, Zin
last_name: Lin
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Yannick
full_name: Salamin, Yannick
last_name: Salamin
- first_name: Steven E.
full_name: Kooi, Steven E.
last_name: Kooi
- first_name: John D.
full_name: Joannopoulos, John D.
last_name: Joannopoulos
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
- first_name: Steven G.
full_name: Johnson, Steven G.
last_name: Johnson
citation:
ama: Christiansen RE, Lin Z, Roques-Carmes C, et al. Fullwave Maxwell inverse design
of axisymmetric, tunable, and multi-scale multi-wavelength metalenses. Optics
Express. 2020;28(23):33854-33868. doi:10.1364/oe.403192
apa: Christiansen, R. E., Lin, Z., Roques-Carmes, C., Salamin, Y., Kooi, S. E.,
Joannopoulos, J. D., … Johnson, S. G. (2020). Fullwave Maxwell inverse design
of axisymmetric, tunable, and multi-scale multi-wavelength metalenses. Optics
Express. Optica Publishing Group. https://doi.org/10.1364/oe.403192
chicago: Christiansen, Rasmus E., Zin Lin, Charles Roques-Carmes, Yannick Salamin,
Steven E. Kooi, John D. Joannopoulos, Marin Soljačić, and Steven G. Johnson. “Fullwave
Maxwell Inverse Design of Axisymmetric, Tunable, and Multi-Scale Multi-Wavelength
Metalenses.” Optics Express. Optica Publishing Group, 2020. https://doi.org/10.1364/oe.403192.
ieee: R. E. Christiansen et al., “Fullwave Maxwell inverse design of axisymmetric,
tunable, and multi-scale multi-wavelength metalenses,” Optics Express,
vol. 28, no. 23. Optica Publishing Group, pp. 33854–33868, 2020.
ista: Christiansen RE, Lin Z, Roques-Carmes C, Salamin Y, Kooi SE, Joannopoulos
JD, Soljačić M, Johnson SG. 2020. Fullwave Maxwell inverse design of axisymmetric,
tunable, and multi-scale multi-wavelength metalenses. Optics Express. 28(23),
33854–33868.
mla: Christiansen, Rasmus E., et al. “Fullwave Maxwell Inverse Design of Axisymmetric,
Tunable, and Multi-Scale Multi-Wavelength Metalenses.” Optics Express,
vol. 28, no. 23, Optica Publishing Group, 2020, pp. 33854–68, doi:10.1364/oe.403192.
short: R.E. Christiansen, Z. Lin, C. Roques-Carmes, Y. Salamin, S.E. Kooi, J.D.
Joannopoulos, M. Soljačić, S.G. Johnson, Optics Express 28 (2020) 33854–33868.
date_created: 2026-03-30T12:22:48Z
date_published: 2020-10-26T00:00:00Z
date_updated: 2026-04-27T07:08:18Z
day: '26'
ddc:
- '530'
doi: 10.1364/oe.403192
extern: '1'
external_id:
arxiv:
- '2007.11661'
pmid:
- '33182865'
intvolume: ' 28'
issue: '23'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1364/OE.403192
month: '10'
oa: 1
oa_version: Published Version
page: 33854-33868
pmid: 1
publication: Optics Express
publication_identifier:
issn:
- 1094-4087
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fullwave Maxwell inverse design of axisymmetric, tunable, and multi-scale multi-wavelength
metalenses
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 28
year: '2020'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '21642'
abstract:
- lang: eng
text: 'By codesigning a metaoptical front end in conjunction with an image‐processing
back end, we demonstrate noise sensitivity and compactness substantially superior
to either an optics‐only or a computation‐only approach, illustrated by two examples:
subwavelength imaging and reconstruction of the full polarization coherence matrices
of multiple light sources. Our end‐to‐end inverse designs couple the solution
of the full Maxwell equations—exploiting all aspects of wave physics arising in
subwavelength scatterers—with inverse‐scattering algorithms in a single large‐scale
optimization involving degrees of freedom. The resulting structures scatter light
in a way that is radically different from either a conventional lens or a random
microstructure, and suppress the noise sensitivity of the inverse‐scattering computation
by several orders of magnitude. Incorporating the full wave physics is especially
crucial for detecting spectral and polarization information that is discarded
by geometric optics and scalar diffraction theory.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Zin
full_name: Lin, Zin
last_name: Lin
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Raphaël
full_name: Pestourie, Raphaël
last_name: Pestourie
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
- first_name: Arka
full_name: Majumdar, Arka
last_name: Majumdar
- first_name: Steven G.
full_name: Johnson, Steven G.
last_name: Johnson
citation:
ama: Lin Z, Roques-Carmes C, Pestourie R, Soljačić M, Majumdar A, Johnson SG. End‐to‐end
nanophotonic inverse design for imaging and polarimetry. Nanophotonics.
2020;10(3):1177-1187. doi:10.1515/nanoph-2020-0579
apa: Lin, Z., Roques-Carmes, C., Pestourie, R., Soljačić, M., Majumdar, A., &
Johnson, S. G. (2020). End‐to‐end nanophotonic inverse design for imaging and
polarimetry. Nanophotonics. Wiley. https://doi.org/10.1515/nanoph-2020-0579
chicago: Lin, Zin, Charles Roques-Carmes, Raphaël Pestourie, Marin Soljačić, Arka
Majumdar, and Steven G. Johnson. “End‐to‐end Nanophotonic Inverse Design for Imaging
and Polarimetry.” Nanophotonics. Wiley, 2020. https://doi.org/10.1515/nanoph-2020-0579.
ieee: Z. Lin, C. Roques-Carmes, R. Pestourie, M. Soljačić, A. Majumdar, and S. G.
Johnson, “End‐to‐end nanophotonic inverse design for imaging and polarimetry,”
Nanophotonics, vol. 10, no. 3. Wiley, pp. 1177–1187, 2020.
ista: Lin Z, Roques-Carmes C, Pestourie R, Soljačić M, Majumdar A, Johnson SG. 2020.
End‐to‐end nanophotonic inverse design for imaging and polarimetry. Nanophotonics.
10(3), 1177–1187.
mla: Lin, Zin, et al. “End‐to‐end Nanophotonic Inverse Design for Imaging and Polarimetry.”
Nanophotonics, vol. 10, no. 3, Wiley, 2020, pp. 1177–87, doi:10.1515/nanoph-2020-0579.
short: Z. Lin, C. Roques-Carmes, R. Pestourie, M. Soljačić, A. Majumdar, S.G. Johnson,
Nanophotonics 10 (2020) 1177–1187.
date_created: 2026-03-30T12:22:48Z
date_published: 2020-12-23T00:00:00Z
date_updated: 2026-04-27T09:29:25Z
day: '23'
ddc:
- '530'
doi: 10.1515/nanoph-2020-0579
extern: '1'
external_id:
arxiv:
- '2006.09145'
intvolume: ' 10'
issue: '3'
keyword:
- computational imaging
- end-to-end photonic inverse design
- inverse scattering
- meta-optics
- polarimetry
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1515/nanoph-2020-0579
month: '12'
oa: 1
oa_version: Published Version
page: 1177-1187
publication: Nanophotonics
publication_identifier:
eissn:
- 2192-8614
issn:
- 2192-8614
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: End‐to‐end nanophotonic inverse design for imaging and polarimetry
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: 10
year: '2020'
...
---
OA_type: closed access
_id: '21621'
abstract:
- lang: eng
text: We show that nanophotonic structures enable the possibility of realizing lasers
based on stimulated emission by free electrons. The associated threshold beam
currents are in the nanoampere range, and could be realized in electron microscopes.
article_number: FM2Q.3
article_processing_charge: No
author:
- first_name: Nicholas
full_name: Rivera, Nicholas
last_name: Rivera
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Ido
full_name: Kaminer, Ido
last_name: Kaminer
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
citation:
ama: 'Rivera N, Roques-Carmes C, Kaminer I, Soljačić M. Toward nanophotonic free-electron
lasers. In: Conference on Lasers and Electro-Optics. Optica Publishing
Group; 2020. doi:10.1364/cleo_qels.2020.fm2q.3'
apa: 'Rivera, N., Roques-Carmes, C., Kaminer, I., & Soljačić, M. (2020). Toward
nanophotonic free-electron lasers. In Conference on Lasers and Electro-Optics.
Washington, DC, United States: Optica Publishing Group. https://doi.org/10.1364/cleo_qels.2020.fm2q.3'
chicago: Rivera, Nicholas, Charles Roques-Carmes, Ido Kaminer, and Marin Soljačić.
“Toward Nanophotonic Free-Electron Lasers.” In Conference on Lasers and Electro-Optics.
Optica Publishing Group, 2020. https://doi.org/10.1364/cleo_qels.2020.fm2q.3.
ieee: N. Rivera, C. Roques-Carmes, I. Kaminer, and M. Soljačić, “Toward nanophotonic
free-electron lasers,” in Conference on Lasers and Electro-Optics, Washington,
DC, United States, 2020.
ista: 'Rivera N, Roques-Carmes C, Kaminer I, Soljačić M. 2020. Toward nanophotonic
free-electron lasers. Conference on Lasers and Electro-Optics. CLEO: Fundamental
Science, FM2Q.3.'
mla: Rivera, Nicholas, et al. “Toward Nanophotonic Free-Electron Lasers.” Conference
on Lasers and Electro-Optics, FM2Q.3, Optica Publishing Group, 2020, doi:10.1364/cleo_qels.2020.fm2q.3.
short: N. Rivera, C. Roques-Carmes, I. Kaminer, M. Soljačić, in:, Conference on
Lasers and Electro-Optics, Optica Publishing Group, 2020.
conference:
end_date: 2020-05-15
location: Washington, DC, United States
name: 'CLEO: Fundamental Science'
start_date: 2020-05-10
date_created: 2026-03-30T12:22:48Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2026-05-05T06:49:40Z
day: '01'
doi: 10.1364/cleo_qels.2020.fm2q.3
extern: '1'
language:
- iso: eng
month: '06'
oa_version: None
publication: Conference on Lasers and Electro-Optics
publication_identifier:
eisbn:
- '9781943580767'
issnl:
- 2162-2701
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: Toward nanophotonic free-electron lasers
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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
arxiv: 1
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
orcid: 0009-0005-0878-3032
- 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: 2026-06-03T07:16:02Z
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: 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
- _id: bdb108fd-d553-11ed-ba76-83dc74a9864f
grant_number: F07105
name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration
of Superconducting Quantum Circuits
publication: Physical Review Applied
publication_identifier:
eissn:
- 2331-7019
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
- id: '17133'
relation: dissertation_contains
status: public
- id: '20371'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Surpassing the resistance quantum with a geometric superinductor
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2020'
...
---
_id: '9198'
abstract:
- lang: eng
text: "The optimization of multilayer neural networks typically leads to a solution\r\nwith
zero training error, yet the landscape can exhibit spurious local minima\r\nand
the minima can be disconnected. In this paper, we shed light on this\r\nphenomenon:
we show that the combination of stochastic gradient descent (SGD)\r\nand over-parameterization
makes the landscape of multilayer neural networks\r\napproximately connected and
thus more favorable to optimization. More\r\nspecifically, we prove that SGD solutions
are connected via a piecewise linear\r\npath, and the increase in loss along this
path vanishes as the number of\r\nneurons grows large. This result is a consequence
of the fact that the\r\nparameters found by SGD are increasingly dropout stable
as the network becomes\r\nwider. We show that, if we remove part of the neurons
(and suitably rescale the\r\nremaining ones), the change in loss is independent
of the total number of\r\nneurons, and it depends only on how many neurons are
left. Our results exhibit\r\na mild dependence on the input dimension: they are
dimension-free for two-layer\r\nnetworks and depend linearly on the dimension
for multilayer networks. We\r\nvalidate our theoretical findings with numerical
experiments for different\r\narchitectures and classification tasks."
acknowledgement: M. Mondelli was partially supported by the 2019 LopezLoreta Prize.
The authors thank Phan-Minh Nguyen for helpful discussions and the IST Distributed
Algorithms and Systems Lab for providing computational resources.
article_processing_charge: No
arxiv: 1
author:
- first_name: Aleksandr
full_name: Shevchenko, Aleksandr
id: F2B06EC2-C99E-11E9-89F0-752EE6697425
last_name: Shevchenko
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
citation:
ama: 'Shevchenko A, Mondelli M. Landscape connectivity and dropout stability of
SGD solutions for over-parameterized neural networks. In: Proceedings of the
37th International Conference on Machine Learning. Vol 119. ML Research Press;
2020:8773-8784.'
apa: Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout
stability of SGD solutions for over-parameterized neural networks. In Proceedings
of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784).
ML Research Press.
chicago: Shevchenko, Aleksandr, and Marco Mondelli. “Landscape Connectivity and
Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” In
Proceedings of the 37th International Conference on Machine Learning, 119:8773–84.
ML Research Press, 2020.
ieee: A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability
of SGD solutions for over-parameterized neural networks,” in Proceedings of
the 37th International Conference on Machine Learning, 2020, vol. 119, pp.
8773–8784.
ista: Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability
of SGD solutions for over-parameterized neural networks. Proceedings of the 37th
International Conference on Machine Learning. vol. 119, 8773–8784.
mla: Shevchenko, Aleksandr, and Marco Mondelli. “Landscape Connectivity and Dropout
Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings
of the 37th International Conference on Machine Learning, vol. 119, ML Research
Press, 2020, pp. 8773–84.
short: A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference
on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
date_created: 2021-02-25T09:36:22Z
date_published: 2020-07-13T00:00:00Z
date_updated: 2026-06-08T22:30:06Z
day: '13'
ddc:
- '000'
department:
- _id: MaMo
- _id: DaAl
external_id:
arxiv:
- '1912.10095'
file:
- access_level: open_access
checksum: f042c8d4316bd87c6361aa76f1fbdbbe
content_type: application/pdf
creator: dernst
date_created: 2021-03-02T15:38:14Z
date_updated: 2021-03-02T15:38:14Z
file_id: '9217'
file_name: 2020_PMLR_Shevchenko.pdf
file_size: 5336380
relation: main_file
success: 1
file_date_updated: 2021-03-02T15:38:14Z
has_accepted_license: '1'
intvolume: ' 119'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 8773-8784
project:
- _id: 059876FA-7A3F-11EA-A408-12923DDC885E
name: Prix Lopez-Loretta 2019 - Marco Mondelli
publication: Proceedings of the 37th International Conference on Machine Learning
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
record:
- id: '17465'
relation: dissertation_contains
status: public
status: public
title: Landscape connectivity and dropout stability of SGD solutions for over-parameterized
neural networks
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 119
year: '2020'
...
---
_id: '8350'
abstract:
- lang: eng
text: "Cytoplasm is a gel-like crowded environment composed of tens of thousands
of macromolecules, organelles, cytoskeletal networks and cytosol. The structure
of the cytoplasm is thought to be highly organized and heterogeneous due to the
crowding of its constituents and their effective compartmentalization. In such
an environment, the diffusive dynamics of the molecules is very restricted, an
effect that is further amplified by clustering and anchoring of molecules. Despite
the jammed nature of the cytoplasm at the microscopic scale, large-scale reorganization
of cytoplasm is essential for important cellular functions, such as nuclear positioning
and cell division. How such mesoscale reorganization of the cytoplasm is achieved,
especially for very large cells such as oocytes or syncytial tissues that can
span hundreds of micrometers in size, has only begun to be understood.\r\nIn this
thesis, I focus on the recent advances in elucidating the molecular, cellular
and biophysical principles underlying cytoplasmic organization across different
scales, structures and species. First, I outline which of these principles have
been identified by reductionist approaches, such as in vitro reconstitution assays,
where boundary conditions and components can be modulated at ease. I then describe
how the theoretical and experimental framework established in these reduced systems
have been applied to their more complex in vivo counterparts, in particular oocytes
and embryonic syncytial structures, and discuss how such complex biological systems
can initiate symmetry breaking and establish patterning.\r\nSpecifically, I examine
an example of large-scale reorganizations taking place in zebrafish embryos, where
extensive cytoplasmic streaming leads to the segregation of cytoplasm from yolk
granules along the animal-vegetal axis of the embryo. Using biophysical experimentation
and theory, I investigate the forces underlying this process, to show that this
process does not rely on cortical actin reorganization, as previously thought,
but instead on a cell-cycle-dependent bulk actin polymerization wave traveling
from the animal to the vegetal pole of the embryo. This wave functions in segregation
by both pulling cytoplasm animally and pushing yolk granules vegetally. Cytoplasm
pulling is mediated by bulk actin network flows exerting friction forces on the
cytoplasm, while yolk granule pushing is achieved by a mechanism closely resembling
actin comet formation on yolk granules. This study defines a novel role of bulk
actin polymerization waves in embryo polarization via cytoplasmic segregation.
Lastly, I describe the cytoplasmic reorganizations taking place during zebrafish
oocyte maturation, where the initial segregation of the cytoplasm and yolk granules
occurs. Here, I demonstrate a previously uncharacterized wave of microtubule aster
formation, traveling the oocyte along the animal-vegetal axis. Further research
is required to determine the role of such microtubule structures in cytoplasmic
reorganizations therein.\r\nCollectively, these studies provide further evidence
for the coupling between cell cytoskeleton and cell cycle machinery, which can
underlie a core self-organizing mechanism for orchestrating large-scale reorganizations
in a cell-cycle-tunable manner, where the modulations of the force-generating
machinery and cytoplasmic mechanics can be harbored to fulfill cellular functions."
acknowledged_ssus:
- _id: PreCl
- _id: Bio
- _id: EM-Fac
acknowledgement: "I would have had no fish and hence no results without our wonderful
fish facility crew, Verena Mayer, Eva Schlegl, Andreas Mlak and Matthias Nowak.
Special thanks to Verena for being always happy to help and dealing with our chaotic
schedules in the lab. Danke auch, Verena, für deine Geduld, mit mir auf Deutsch
zu sprechen. Das hat mir sehr geholfen.\r\nSpecial thanks to the Bioimaging and
EM facilities at IST Austria for supporting us every day. Very special thanks would
go to Robert Hauschild for his continuous support on data analysis and also to Jack
Merrin for designing and building microfabricated chambers for the project and for
the various discussions on making zebrafish extracts."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Shayan
full_name: Shamipour, Shayan
id: 40B34FE2-F248-11E8-B48F-1D18A9856A87
last_name: Shamipour
citation:
ama: Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes
. 2020. doi:10.15479/AT:ISTA:8350
apa: Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish
oocytes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8350
chicago: Shamipour, Shayan. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish
Oocytes .” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8350.
ieee: S. Shamipour, “Bulk actin dynamics drive phase segregation in zebrafish oocytes
,” Institute of Science and Technology Austria, 2020.
ista: Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish
oocytes . Institute of Science and Technology Austria.
mla: Shamipour, Shayan. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish
Oocytes . Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8350.
short: S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes
, Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-09T11:12:10Z
date_published: 2020-09-09T00:00:00Z
date_updated: 2025-09-11T07:08:52Z
day: '09'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: BjHo
- _id: CaHe
doi: 10.15479/AT:ISTA:8350
file:
- access_level: closed
checksum: 6e47871c74f85008b9876112eb3fcfa1
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: sshamip
date_created: 2020-09-09T11:06:27Z
date_updated: 2021-09-11T22:30:05Z
embargo_to: open_access
file_id: '8351'
file_name: Shayan-Thesis-Final.docx
file_size: 65194814
relation: source_file
- access_level: open_access
checksum: 1b44c57f04d7e8a6fe41b1c9c55a52a3
content_type: application/pdf
creator: sshamip
date_created: 2020-09-09T11:06:13Z
date_updated: 2021-09-11T22:30:05Z
embargo: 2021-09-10
file_id: '8352'
file_name: Shayan-Thesis-Final.pdf
file_size: 23729605
relation: main_file
file_date_updated: 2021-09-11T22:30:05Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: None
page: '107'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '7001'
relation: part_of_dissertation
status: public
- id: '6508'
relation: part_of_dissertation
status: public
- id: '735'
relation: part_of_dissertation
status: public
- id: '661'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
title: 'Bulk actin dynamics drive phase segregation in zebrafish oocytes '
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7680'
abstract:
- lang: eng
text: "Proteins and their complex dynamic interactions regulate cellular mechanisms
from sensing and transducing extracellular signals, to mediating genetic responses,
and sustaining or changing cell morphology. To manipulate these protein-protein
interactions (PPIs) that govern the behavior and fate of cells, synthetically
constructed, genetically encoded tools provide the means to precisely target proteins
of interest (POIs), and control their subcellular localization and activity in
vitro and in vivo. Ideal synthetic tools react to an orthogonal cue, i.e. a trigger
that does not activate any other endogenous process, thereby allowing manipulation
of the POI alone.\r\nIn optogenetics, naturally occurring photosensory domain
from plants, algae and bacteria are re-purposed and genetically fused to POIs.
Illumination with light of a specific wavelength triggers a conformational change
that can mediate PPIs, such as dimerization or oligomerization. By using light
as a trigger, these tools can be activated with high spatial and temporal precision,
on subcellular and millisecond scales. Chemogenetic tools consist of protein domains
that recognize and bind small molecules. By genetic fusion to POIs, these domains
can mediate PPIs upon addition of their specific ligands, which are often synthetically
designed to provide highly specific interactions and exhibit good bioavailability.\r\nMost
optogenetic tools to mediate PPIs are based on well-studied photoreceptors responding
to red, blue or near-UV light, leaving a striking gap in the green band of the
visible light spectrum. Among both optogenetic and chemogenetic tools, there is
an abundance of methods to induce PPIs, but tools to disrupt them require UV illumination,
rely on covalent linkage and subsequent enzymatic cleavage or initially result
in protein clustering of unknown stoichiometry.\r\nThis work describes how the
recently structurally and photochemically characterized green-light responsive
cobalamin-binding domains (CBDs) from bacterial transcription factors were re-purposed
to function as a green-light responsive optogenetic tool. In contrast to previously
engineered optogenetic tools, CBDs do not induce PPI, but rather confer a PPI
already upon expression, which can be rapidly disrupted by illumination. This
was employed to mimic inhibition of constitutive activity of a growth factor receptor,
and successfully implement for cell signalling in mammalian cells and in vivo
to rescue development in zebrafish. This work further describes the development
and application of a chemically induced de-dimerizer (CDD) based on a recently
identified and structurally described bacterial oxyreductase. CDD forms a dimer
upon expression in absence of its cofactor, the flavin derivative F420. Safety
and of domain expression and ligand exposure are demonstrated in vitro and in
vivo in zebrafish. The system is further applied to inhibit cell signalling output
from a chimeric receptor upon F420 treatment.\r\nCBDs and CDD expand the repertoire
of synthetic tools by providing novel mechanisms of mediating PPIs, and by recognizing
previously not utilized cues. In the future, they can readily be combined with
existing synthetic tools to functionally manipulate PPIs in vitro and in vivo."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Stephanie
full_name: Kainrath, Stephanie
id: 32CFBA64-F248-11E8-B48F-1D18A9856A87
last_name: Kainrath
orcid: 0000-0002-6709-2195
citation:
ama: Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of
cellular signals. 2020. doi:10.15479/AT:ISTA:7680
apa: Kainrath, S. (2020). Synthetic tools for optogenetic and chemogenetic inhibition
of cellular signals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7680
chicago: Kainrath, Stephanie. “Synthetic Tools for Optogenetic and Chemogenetic
Inhibition of Cellular Signals.” Institute of Science and Technology Austria,
2020. https://doi.org/10.15479/AT:ISTA:7680.
ieee: S. Kainrath, “Synthetic tools for optogenetic and chemogenetic inhibition
of cellular signals,” Institute of Science and Technology Austria, 2020.
ista: Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition
of cellular signals. Institute of Science and Technology Austria.
mla: Kainrath, Stephanie. Synthetic Tools for Optogenetic and Chemogenetic Inhibition
of Cellular Signals. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7680.
short: S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition
of Cellular Signals, Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-04-24T16:00:51Z
date_published: 2020-04-24T00:00:00Z
date_updated: 2025-11-03T23:30:47Z
day: '24'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: CaGu
doi: 10.15479/AT:ISTA:7680
file:
- access_level: open_access
checksum: fb9a4468eb27be92690728e35c823796
content_type: application/pdf
creator: stgingl
date_created: 2020-04-28T11:19:21Z
date_updated: 2021-10-31T23:30:05Z
embargo: 2021-10-30
file_id: '7692'
file_name: Thesis_without-signatures_PDFA.pdf
file_size: 3268017
relation: main_file
- access_level: closed
checksum: f6c80ca97104a631a328cb79a2c53493
content_type: application/octet-stream
creator: stgingl
date_created: 2020-04-28T11:19:24Z
date_updated: 2021-10-31T23:30:05Z
embargo_to: open_access
file_id: '7693'
file_name: Thesis_without signatures.docx
file_size: 5167703
relation: source_file
file_date_updated: 2021-10-31T23:30:05Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: None
page: '98'
publication_identifier:
eissn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '1028'
relation: dissertation_contains
status: public
status: public
supervisor:
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
title: Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...