---
_id: '14363'
abstract:
- lang: eng
text: Mitochondrial networks remodel their connectivity, content, and subcellular
localization to support optimized energy production in conditions of increased
environmental or cellular stress. Microglia rely on mitochondria to respond to
these stressors, however our knowledge about mitochondrial networks and their
adaptations in microglia in vivo is limited. Here, we generate a mouse model that
selectively labels mitochondria in microglia. We identify that mitochondrial networks
are more fragmented with increased content and perinuclear localization in vitro
vs. in vivo. Mitochondrial networks adapt similarly in microglia closest to the
injury site after optic nerve crush. Preventing microglial UCP2 increase after
injury by selective knockout induces cellular stress. This results in mitochondrial
hyperfusion in male microglia, a phenotype absent in females due to circulating
estrogens. Our results establish the foundation for mitochondrial network analysis
of microglia in vivo, emphasizing the importance of mitochondrial-based sex effects
of microglia in other pathologies.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
- _id: PreCl
acknowledgement: We thank the Scientific Service Units (SSU) of ISTA through resources
provided by the Imaging and Optics Facility (IOF), the Lab Support Facility (LSF),
and the Pre-Clinical Facility (PCF) team, specifically Sonja Haslinger and Michael
Schunn for excellent mouse colony management and support. This research was supported
by the FWF Sonderforschungsbereich F83 (to E.E.P). We thank Bálint Nagy, Ryan John
A. Cubero, Marco Benevento and all members of the Siegert group for constant feedback
on the project and article.
article_number: '107780'
article_processing_charge: Yes
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Gloria
full_name: Colombo, Gloria
id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
last_name: Colombo
orcid: 0000-0001-9434-8902
- first_name: Florianne E
full_name: Schoot Uiterkamp, Florianne E
id: 3526230C-F248-11E8-B48F-1D18A9856A87
last_name: Schoot Uiterkamp
- first_name: Felix
full_name: Sternberg, Felix
last_name: Sternberg
- first_name: Alessandro
full_name: Venturino, Alessandro
id: 41CB84B2-F248-11E8-B48F-1D18A9856A87
last_name: Venturino
orcid: 0000-0003-2356-9403
- first_name: Elena E.
full_name: Pohl, Elena E.
last_name: Pohl
- first_name: Sandra
full_name: Siegert, Sandra
id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
last_name: Siegert
orcid: 0000-0001-8635-0877
citation:
ama: Maes ME, Colombo G, Schoot Uiterkamp FE, et al. Mitochondrial network adaptations
of microglia reveal sex-specific stress response after injury and UCP2 knockout.
iScience. 2023;26(10). doi:10.1016/j.isci.2023.107780
apa: Maes, M. E., Colombo, G., Schoot Uiterkamp, F. E., Sternberg, F., Venturino,
A., Pohl, E. E., & Siegert, S. (2023). Mitochondrial network adaptations of
microglia reveal sex-specific stress response after injury and UCP2 knockout.
IScience. Elsevier. https://doi.org/10.1016/j.isci.2023.107780
chicago: Maes, Margaret E, Gloria Colombo, Florianne E Schoot Uiterkamp, Felix Sternberg,
Alessandro Venturino, Elena E. Pohl, and Sandra Siegert. “Mitochondrial Network
Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and
UCP2 Knockout.” IScience. Elsevier, 2023. https://doi.org/10.1016/j.isci.2023.107780.
ieee: M. E. Maes et al., “Mitochondrial network adaptations of microglia
reveal sex-specific stress response after injury and UCP2 knockout,” iScience,
vol. 26, no. 10. Elsevier, 2023.
ista: Maes ME, Colombo G, Schoot Uiterkamp FE, Sternberg F, Venturino A, Pohl EE,
Siegert S. 2023. Mitochondrial network adaptations of microglia reveal sex-specific
stress response after injury and UCP2 knockout. iScience. 26(10), 107780.
mla: Maes, Margaret E., et al. “Mitochondrial Network Adaptations of Microglia Reveal
Sex-Specific Stress Response after Injury and UCP2 Knockout.” IScience,
vol. 26, no. 10, 107780, Elsevier, 2023, doi:10.1016/j.isci.2023.107780.
short: M.E. Maes, G. Colombo, F.E. Schoot Uiterkamp, F. Sternberg, A. Venturino,
E.E. Pohl, S. Siegert, IScience 26 (2023).
date_created: 2023-09-24T22:01:11Z
date_published: 2023-10-20T00:00:00Z
date_updated: 2023-12-13T12:27:30Z
day: '20'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1016/j.isci.2023.107780
external_id:
isi:
- '001080403500001'
pmid:
- '37731609'
file:
- access_level: open_access
checksum: be1a560efdd96d20712311f4fc54aac2
content_type: application/pdf
creator: dernst
date_created: 2023-11-07T08:53:21Z
date_updated: 2023-11-07T08:53:21Z
file_id: '14497'
file_name: 2023_iScience_Maes.pdf
file_size: 8197935
relation: main_file
success: 1
file_date_updated: 2023-11-07T08:53:21Z
has_accepted_license: '1'
intvolume: ' 26'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: iScience
publication_identifier:
eissn:
- 2589-0042
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mitochondrial network adaptations of microglia reveal sex-specific stress response
after injury and UCP2 knockout
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: 26
year: '2023'
...
---
_id: '14364'
abstract:
- lang: eng
text: We introduce extension-based proofs, a class of impossibility proofs that
includes valency arguments. They are modelled as an interaction between a prover
and a protocol. Using proofs based on combinatorial topology, it has been shown
that it is impossible to deterministically solve -set agreement among processes
or approximate agreement on a cycle of length 4 among processes in a wait-free
manner in asynchronous models where processes communicate using objects that can
be constructed from shared registers. However, it was unknown whether proofs based
on simpler techniques were possible. We show that these impossibility results
cannot be obtained by extension-based proofs in the iterated snapshot model and,
hence, extension-based proofs are limited in power.
acknowledgement: "We would like to thank Valerie King, Toniann Pitassi, and Michael
Saks for helpful discussions and Shi Hao Liu for his useful feedback.\r\nThis research
was supported by the Natural Science and Engineering Research Council of Canada
under grants RGPIN-2015-05080 and RGPIN-2020-04178, a postgraduate scholarship,
and a postdoctoral fellowship; a University of Toronto postdoctoral fellowship;
the National Science Foundation under grants CCF-1217921, CCF-1301926, CCF-1637385,
CCF-1650596, and IIS-1447786; the U.S. Department of Energy under grant ER26116/DE-SC0008923;
the European Research Council (ERC) under the European Union’s Horizon 2020 research
and innovation programme grant agreement 805223 ScaleML; and the Oracle and Intel
corporations. Some of the work on this paper was done while Faith Ellen was visiting
IST Austria."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: James
full_name: Aspnes, James
last_name: Aspnes
- first_name: Faith
full_name: Ellen, Faith
last_name: Ellen
- first_name: Rati
full_name: Gelashvili, Rati
last_name: Gelashvili
- first_name: Leqi
full_name: Zhu, Leqi
id: a2117c59-cee4-11ed-b9d0-874ecf0f8ac5
last_name: Zhu
citation:
ama: Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs
fail. SIAM Journal on Computing. 2023;52(4):913-944. doi:10.1137/20M1375851
apa: Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2023).
Why extension-based proofs fail. SIAM Journal on Computing. Society for
Industrial and Applied Mathematics. https://doi.org/10.1137/20M1375851
chicago: Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi
Zhu. “Why Extension-Based Proofs Fail.” SIAM Journal on Computing. Society
for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/20M1375851.
ieee: D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Why extension-based
proofs fail,” SIAM Journal on Computing, vol. 52, no. 4. Society for Industrial
and Applied Mathematics, pp. 913–944, 2023.
ista: Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2023. Why extension-based
proofs fail. SIAM Journal on Computing. 52(4), 913–944.
mla: Alistarh, Dan-Adrian, et al. “Why Extension-Based Proofs Fail.” SIAM Journal
on Computing, vol. 52, no. 4, Society for Industrial and Applied Mathematics,
2023, pp. 913–44, doi:10.1137/20M1375851.
short: D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal
on Computing 52 (2023) 913–944.
date_created: 2023-09-24T22:01:11Z
date_published: 2023-07-25T00:00:00Z
date_updated: 2023-12-13T12:28:29Z
day: '25'
department:
- _id: DaAl
doi: 10.1137/20M1375851
ec_funded: 1
external_id:
arxiv:
- '1811.01421'
isi:
- '001082972300004'
intvolume: ' 52'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1811.01421
month: '07'
oa: 1
oa_version: Preprint
page: 913-944
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: SIAM Journal on Computing
publication_identifier:
eissn:
- 1095-7111
issn:
- 0097-5397
publication_status: published
publisher: Society for Industrial and Applied Mathematics
quality_controlled: '1'
related_material:
record:
- id: '6676'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Why extension-based proofs fail
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 52
year: '2023'
...
---
_id: '14368'
abstract:
- lang: eng
text: "Purpose: \r\nBiallelic variants in TARS2, encoding the mitochondrial threonyl-tRNA-synthetase,
have been reported in a small group of individuals displaying a neurodevelopmental
phenotype but with limited neuroradiological data and insufficient evidence for
causality of the variants.\r\nMethods:\r\nExome or genome sequencing was carried
out in 15 families. Clinical and neuroradiological evaluation was performed for
all affected individuals, including review of 10 previously reported individuals.
The pathogenicity of TARS2 variants was evaluated using in vitro assays and a
zebrafish model.\r\nResults:\r\nWe report 18 new individuals harboring biallelic
TARS2 variants. Phenotypically, these individuals show developmental delay/intellectual
disability, regression, cerebellar and cerebral atrophy, basal ganglia signal
alterations, hypotonia, cerebellar signs, and increased blood lactate. In vitro
studies showed that variants within the TARS2301-381 region had decreased binding
to Rag GTPases, likely impairing mTORC1 activity. The zebrafish model recapitulated
key features of the human phenotype and unraveled dysregulation of downstream
targets of mTORC1 signaling. Functional testing of the variants confirmed the
pathogenicity in a zebrafish model.\r\nConclusion:\r\nWe define the clinico-radiological
spectrum of TARS2-related mitochondrial disease, unveil the likely involvement
of the mTORC1 signaling pathway as a distinct molecular mechanism, and establish
a TARS2 zebrafish model as an important tool to study variant pathogenicity."
article_number: '100938'
article_processing_charge: No
article_type: original
author:
- first_name: Andrea
full_name: Accogli, Andrea
last_name: Accogli
- first_name: Sheng-Jia
full_name: Lin, Sheng-Jia
last_name: Lin
- first_name: Mariasavina
full_name: Severino, Mariasavina
last_name: Severino
- first_name: Sung-Hoon
full_name: Kim, Sung-Hoon
last_name: Kim
- first_name: Kevin
full_name: Huang, Kevin
id: 3b3d2888-1ff6-11ee-9fa6-8f209ca91fe3
last_name: Huang
orcid: 0000-0002-2512-7812
- first_name: Clarissa
full_name: Rocca, Clarissa
last_name: Rocca
- first_name: Megan
full_name: Landsverk, Megan
last_name: Landsverk
- first_name: Maha S.
full_name: Zaki, Maha S.
last_name: Zaki
- first_name: Almundher
full_name: Al-Maawali, Almundher
last_name: Al-Maawali
- first_name: Varunvenkat M.
full_name: Srinivasan, Varunvenkat M.
last_name: Srinivasan
- first_name: Khalid
full_name: Al-Thihli, Khalid
last_name: Al-Thihli
- first_name: G. Bradly
full_name: Schaefer, G. Bradly
last_name: Schaefer
- first_name: Monica
full_name: Davis, Monica
last_name: Davis
- first_name: Davide
full_name: Tonduti, Davide
last_name: Tonduti
- first_name: Chiara
full_name: Doneda, Chiara
last_name: Doneda
- first_name: Lara M.
full_name: Marten, Lara M.
last_name: Marten
- first_name: Chris
full_name: Mühlhausen, Chris
last_name: Mühlhausen
- first_name: Maria
full_name: Gomez, Maria
last_name: Gomez
- first_name: Eleonora
full_name: Lamantea, Eleonora
last_name: Lamantea
- first_name: Rafael
full_name: Mena, Rafael
last_name: Mena
- first_name: Mathilde
full_name: Nizon, Mathilde
last_name: Nizon
- first_name: Vincent
full_name: Procaccio, Vincent
last_name: Procaccio
- first_name: Amber
full_name: Begtrup, Amber
last_name: Begtrup
- first_name: Aida
full_name: Telegrafi, Aida
last_name: Telegrafi
- first_name: Hong
full_name: Cui, Hong
last_name: Cui
- first_name: Heidi L.
full_name: Schulz, Heidi L.
last_name: Schulz
- first_name: Julia
full_name: Mohr, Julia
last_name: Mohr
- first_name: Saskia
full_name: Biskup, Saskia
last_name: Biskup
- first_name: Mariana Amina
full_name: Loos, Mariana Amina
last_name: Loos
- first_name: Hilda Verónica
full_name: Aráoz, Hilda Verónica
last_name: Aráoz
- first_name: Vincenzo
full_name: Salpietro, Vincenzo
last_name: Salpietro
- first_name: Laura Davis
full_name: Keppen, Laura Davis
last_name: Keppen
- first_name: Manali
full_name: Chitre, Manali
last_name: Chitre
- first_name: Cassidy
full_name: Petree, Cassidy
last_name: Petree
- first_name: Lucy
full_name: Raymond, Lucy
last_name: Raymond
- first_name: Julie
full_name: Vogt, Julie
last_name: Vogt
- first_name: Lindsey B.
full_name: Sawyer, Lindsey B.
last_name: Sawyer
- first_name: Alice A.
full_name: Basinger, Alice A.
last_name: Basinger
- first_name: Signe Vandal
full_name: Pedersen, Signe Vandal
last_name: Pedersen
- first_name: Toni S.
full_name: Pearson, Toni S.
last_name: Pearson
- first_name: Dorothy K.
full_name: Grange, Dorothy K.
last_name: Grange
- first_name: Lokesh
full_name: Lingappa, Lokesh
last_name: Lingappa
- first_name: Paige
full_name: McDunnah, Paige
last_name: McDunnah
- first_name: Rita
full_name: Horvath, Rita
last_name: Horvath
- first_name: Benjamin
full_name: Cognè, Benjamin
last_name: Cognè
- first_name: Bertrand
full_name: Isidor, Bertrand
last_name: Isidor
- first_name: Andreas
full_name: Hahn, Andreas
last_name: Hahn
- first_name: Karen W.
full_name: Gripp, Karen W.
last_name: Gripp
- first_name: Seyed Mehdi
full_name: Jafarnejad, Seyed Mehdi
last_name: Jafarnejad
- first_name: Elsebet
full_name: Østergaard, Elsebet
last_name: Østergaard
- first_name: Carlos E.
full_name: Prada, Carlos E.
last_name: Prada
- first_name: Daniele
full_name: Ghezzi, Daniele
last_name: Ghezzi
- first_name: Vykuntaraju K.
full_name: Gowda, Vykuntaraju K.
last_name: Gowda
- first_name: Robert W.
full_name: Taylor, Robert W.
last_name: Taylor
- first_name: Nahum
full_name: Sonenberg, Nahum
last_name: Sonenberg
- first_name: Henry
full_name: Houlden, Henry
last_name: Houlden
- first_name: Marie
full_name: Sissler, Marie
last_name: Sissler
- first_name: Gaurav K.
full_name: Varshney, Gaurav K.
last_name: Varshney
- first_name: Reza
full_name: Maroofian, Reza
last_name: Maroofian
citation:
ama: Accogli A, Lin S-J, Severino M, et al. Clinical, neuroradiological, and molecular
characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder.
Genetics in Medicine. 2023;25(11). doi:10.1016/j.gim.2023.100938
apa: Accogli, A., Lin, S.-J., Severino, M., Kim, S.-H., Huang, K., Rocca, C., …
Maroofian, R. (2023). Clinical, neuroradiological, and molecular characterization
of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. Genetics
in Medicine. Elsevier. https://doi.org/10.1016/j.gim.2023.100938
chicago: Accogli, Andrea, Sheng-Jia Lin, Mariasavina Severino, Sung-Hoon Kim, Kevin
Huang, Clarissa Rocca, Megan Landsverk, et al. “Clinical, Neuroradiological, and
Molecular Characterization of Mitochondrial Threonyl-TRNA-Synthetase (TARS2)-Related
Disorder.” Genetics in Medicine. Elsevier, 2023. https://doi.org/10.1016/j.gim.2023.100938.
ieee: A. Accogli et al., “Clinical, neuroradiological, and molecular characterization
of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder,” Genetics
in Medicine, vol. 25, no. 11. Elsevier, 2023.
ista: Accogli A, Lin S-J, Severino M, Kim S-H, Huang K, Rocca C, Landsverk M, Zaki
MS, Al-Maawali A, Srinivasan VM, Al-Thihli K, Schaefer GB, Davis M, Tonduti D,
Doneda C, Marten LM, Mühlhausen C, Gomez M, Lamantea E, Mena R, Nizon M, Procaccio
V, Begtrup A, Telegrafi A, Cui H, Schulz HL, Mohr J, Biskup S, Loos MA, Aráoz
HV, Salpietro V, Keppen LD, Chitre M, Petree C, Raymond L, Vogt J, Sawyer LB,
Basinger AA, Pedersen SV, Pearson TS, Grange DK, Lingappa L, McDunnah P, Horvath
R, Cognè B, Isidor B, Hahn A, Gripp KW, Jafarnejad SM, Østergaard E, Prada CE,
Ghezzi D, Gowda VK, Taylor RW, Sonenberg N, Houlden H, Sissler M, Varshney GK,
Maroofian R. 2023. Clinical, neuroradiological, and molecular characterization
of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. Genetics in
Medicine. 25(11), 100938.
mla: Accogli, Andrea, et al. “Clinical, Neuroradiological, and Molecular Characterization
of Mitochondrial Threonyl-TRNA-Synthetase (TARS2)-Related Disorder.” Genetics
in Medicine, vol. 25, no. 11, 100938, Elsevier, 2023, doi:10.1016/j.gim.2023.100938.
short: A. Accogli, S.-J. Lin, M. Severino, S.-H. Kim, K. Huang, C. Rocca, M. Landsverk,
M.S. Zaki, A. Al-Maawali, V.M. Srinivasan, K. Al-Thihli, G.B. Schaefer, M. Davis,
D. Tonduti, C. Doneda, L.M. Marten, C. Mühlhausen, M. Gomez, E. Lamantea, R. Mena,
M. Nizon, V. Procaccio, A. Begtrup, A. Telegrafi, H. Cui, H.L. Schulz, J. Mohr,
S. Biskup, M.A. Loos, H.V. Aráoz, V. Salpietro, L.D. Keppen, M. Chitre, C. Petree,
L. Raymond, J. Vogt, L.B. Sawyer, A.A. Basinger, S.V. Pedersen, T.S. Pearson,
D.K. Grange, L. Lingappa, P. McDunnah, R. Horvath, B. Cognè, B. Isidor, A. Hahn,
K.W. Gripp, S.M. Jafarnejad, E. Østergaard, C.E. Prada, D. Ghezzi, V.K. Gowda,
R.W. Taylor, N. Sonenberg, H. Houlden, M. Sissler, G.K. Varshney, R. Maroofian,
Genetics in Medicine 25 (2023).
date_created: 2023-09-25T08:44:29Z
date_published: 2023-11-01T00:00:00Z
date_updated: 2023-09-25T08:50:10Z
day: '01'
ddc:
- '570'
doi: 10.1016/j.gim.2023.100938
extern: '1'
file:
- access_level: open_access
checksum: 440f0cd8a2ffcbe03c015c1746728387
content_type: application/pdf
creator: dernst
date_created: 2023-09-25T08:48:54Z
date_updated: 2023-09-25T08:48:54Z
file_id: '14369'
file_name: 2023_GeneticsMedicine_Accogli.pdf
file_size: 4105513
relation: main_file
success: 1
file_date_updated: 2023-09-25T08:48:54Z
has_accepted_license: '1'
intvolume: ' 25'
issue: '11'
keyword:
- Genetics (clinical)
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication: Genetics in Medicine
publication_identifier:
issn:
- 1098-3600
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Clinical, neuroradiological, and molecular characterization of mitochondrial
threonyl-tRNA-synthetase (TARS2)-related disorder
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: 25
year: '2023'
...
---
_id: '14374'
abstract:
- lang: eng
text: "Superconductivity has many important applications ranging from levitating
trains over qubits to MRI scanners. The phenomenon is successfully modeled by
Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory
has been studied extensively for systems without boundary. However, little is
known in the presence of boundaries. With the help of numerical methods physicists
observed that the critical temperature may increase in the presence of a boundary.
The goal of this thesis is to understand the influence of boundaries on the critical
temperature in BCS theory and to give a first rigorous justification of these
observations. On the way, we also study two-body Schrödinger operators on domains
with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS
theory is based on a non-linear functional, where the minimizer indicates whether
the system is superconducting or in the normal, non-superconducting state. By
considering the Hessian of the BCS functional at the normal state, one can analyze
whether the normal state is possibly a minimum of the BCS functional and estimate
the critical temperature. The Hessian turns out to be a linear operator resembling
a Schrödinger operator for two interacting particles, but with more complicated
kinetic energy. As a first step, we study the two-body Schrödinger operator in
the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that
the addition of a boundary can create new eigenvalues, which correspond to the
two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need
to understand superconductivity in the translation invariant setting. While in
three dimensions this has been extensively studied, there is no mathematical literature
for the one and two dimensional cases. In dimensions one and two, we compute the
weak coupling asymptotics of the critical temperature and the energy gap in the
translation invariant setting. We also prove that their ratio is independent of
the microscopic details of the model in the weak coupling limit; this property
is referred to as universality.\r\n\r\nIn the third part, we study the critical
temperature of superconductors in the presence of boundaries. We start by considering
the one-dimensional case of a half-line with contact interaction. Then, we generalize
the results to generic interactions and half-spaces in one, two and three dimensions.
Finally, we compare the critical temperature of a quarter space in two dimensions
to the critical temperatures of a half-space and of the full space."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Barbara
full_name: Roos, Barbara
id: 5DA90512-D80F-11E9-8994-2E2EE6697425
last_name: Roos
orcid: 0000-0002-9071-5880
citation:
ama: Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
apa: Roos, B. (2023). Boundary superconductivity in BCS theory. Institute
of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374
chicago: Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of
Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14374.
ieee: B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science
and Technology Austria, 2023.
ista: Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science
and Technology Austria.
mla: Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of
Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.
short: B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and
Technology Austria, 2023.
date_created: 2023-09-28T14:23:04Z
date_published: 2023-09-30T00:00:00Z
date_updated: 2023-10-27T10:37:30Z
day: '30'
ddc:
- '515'
- '539'
degree_awarded: PhD
department:
- _id: GradSch
- _id: RoSe
doi: 10.15479/at:ista:14374
ec_funded: 1
file:
- access_level: open_access
checksum: ef039ffc3de2cb8dee5b14110938e9b6
content_type: application/pdf
creator: broos
date_created: 2023-10-06T11:35:56Z
date_updated: 2023-10-06T11:35:56Z
file_id: '14398'
file_name: phd-thesis-draft_pdfa_acrobat.pdf
file_size: 2365702
relation: main_file
- access_level: closed
checksum: 81dcac33daeefaf0111db52f41bb1fd0
content_type: application/x-zip-compressed
creator: broos
date_created: 2023-10-06T11:38:01Z
date_updated: 2023-10-06T11:38:01Z
file_id: '14399'
file_name: Version5.zip
file_size: 4691734
relation: source_file
file_date_updated: 2023-10-06T11:38:01Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '206'
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
- _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b
grant_number: I06427
name: Mathematical Challenges in BCS Theory of Superconductivity
publication_identifier:
issn:
- 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '13207'
relation: part_of_dissertation
status: public
- id: '10850'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
title: Boundary superconductivity in BCS theory
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '14377'
abstract:
- lang: eng
text: Coherent flows of self-propelled particles are characterized by vortices and
jets that sustain chaotic flows, referred to as active turbulence. Here, we reveal
a crossover between defect-free active turbulence and active turbulence laden
with topological defects. Interestingly, we show that concurrent to the crossover
from defect-free to defect-laden active turbulence is the restoration of the previously
broken SO(2) symmetry signaled by the fast decay of the two-point correlations.
By stability analyses of the topological charge density field, we provide theoretical
insights on the criterion for the crossover to the defect-laden active turbulent
state. Despite the distinct symmetry features between these two active turbulence
regimes, the flow fluctuations exhibit universal statistical scaling behaviors
at large scales, while the spectrum of polarity fluctuations decays exponentially
at small length scales compared to the active energy injection length. These findings
reveal a dynamical crossover between distinct spatiotemporal organization patterns
in polar active matter.
article_number: '063101'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Benjamin H.
full_name: Andersen, Benjamin H.
last_name: Andersen
- first_name: Julian B
full_name: Renaud, Julian B
id: 7af6767d-14eb-11ed-b536-a32449ae867c
last_name: Renaud
- first_name: Jonas
full_name: Rønning, Jonas
last_name: Rønning
- first_name: Luiza
full_name: Angheluta, Luiza
last_name: Angheluta
- first_name: Amin
full_name: Doostmohammadi, Amin
last_name: Doostmohammadi
citation:
ama: Andersen BH, Renaud JB, Rønning J, Angheluta L, Doostmohammadi A. Symmetry-restoring
crossover from defect-free to defect-laden turbulence in polar active matter.
Physical Review Fluids. 2023;8(6). doi:10.1103/physrevfluids.8.063101
apa: Andersen, B. H., Renaud, J. B., Rønning, J., Angheluta, L., & Doostmohammadi,
A. (2023). Symmetry-restoring crossover from defect-free to defect-laden turbulence
in polar active matter. Physical Review Fluids. American Physical Society.
https://doi.org/10.1103/physrevfluids.8.063101
chicago: Andersen, Benjamin H., Julian B Renaud, Jonas Rønning, Luiza Angheluta,
and Amin Doostmohammadi. “Symmetry-Restoring Crossover from Defect-Free to Defect-Laden
Turbulence in Polar Active Matter.” Physical Review Fluids. American Physical
Society, 2023. https://doi.org/10.1103/physrevfluids.8.063101.
ieee: B. H. Andersen, J. B. Renaud, J. Rønning, L. Angheluta, and A. Doostmohammadi,
“Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar
active matter,” Physical Review Fluids, vol. 8, no. 6. American Physical
Society, 2023.
ista: Andersen BH, Renaud JB, Rønning J, Angheluta L, Doostmohammadi A. 2023. Symmetry-restoring
crossover from defect-free to defect-laden turbulence in polar active matter.
Physical Review Fluids. 8(6), 063101.
mla: Andersen, Benjamin H., et al. “Symmetry-Restoring Crossover from Defect-Free
to Defect-Laden Turbulence in Polar Active Matter.” Physical Review Fluids,
vol. 8, no. 6, 063101, American Physical Society, 2023, doi:10.1103/physrevfluids.8.063101.
short: B.H. Andersen, J.B. Renaud, J. Rønning, L. Angheluta, A. Doostmohammadi,
Physical Review Fluids 8 (2023).
date_created: 2023-09-29T08:46:47Z
date_published: 2023-06-14T00:00:00Z
date_updated: 2023-10-03T07:25:39Z
day: '14'
doi: 10.1103/physrevfluids.8.063101
extern: '1'
external_id:
arxiv:
- '2209.10916'
intvolume: ' 8'
issue: '6'
keyword:
- Fluid Flow and Transfer Processes
- Modeling and Simulation
- Computational Mechanics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2209.10916
month: '06'
oa: 1
oa_version: Preprint
publication: Physical Review Fluids
publication_identifier:
issn:
- 2469-990X
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symmetry-restoring crossover from defect-free to defect-laden turbulence in
polar active matter
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2023'
...
---
_id: '14378'
abstract:
- lang: eng
text: 'Branching morphogenesis is a ubiquitous process that gives rise to high exchange
surfaces in the vasculature and epithelial organs. Lymphatic capillaries form
branched networks, which play a key role in the circulation of tissue fluid and
immune cells. Although mouse models and correlative patient data indicate that
the lymphatic capillary density directly correlates with functional output, i.e.,
tissue fluid drainage and trafficking efficiency of dendritic cells, the mechanisms
ensuring efficient tissue coverage remain poorly understood. Here, we use the
mouse ear pinna lymphatic vessel network as a model system and combine lineage-tracing,
genetic perturbations, whole-organ reconstructions and theoretical modeling to
show that the dermal lymphatic capillaries tile space in an optimal, space-filling
manner. This coverage is achieved by two complementary mechanisms: initial tissue
invasion provides a non-optimal global scaffold via self-organized branching morphogenesis,
while VEGF-C dependent side-branching from existing capillaries rapidly optimizes
local coverage by directionally targeting low-density regions. With these two
ingredients, we show that a minimal biophysical model can reproduce quantitatively
whole-network reconstructions, across development and perturbations. Our results
show that lymphatic capillary networks can exploit local self-organizing mechanisms
to achieve tissue-scale optimization.'
acknowledgement: "We thank Dr. Kari Alitalo (University of Helsinki and Wihuri Research
Institute) for critical reading of the manuscript, providing Vegfc+/− and Clp24ΔEC
mouse strains and for hosting K.V.’s Academy of Finland postdoctoral researcher
period (2015–2018). We thank Dr. Sara Wickström (University of Helsinki and Wihuri
Research Institute) for providing Sox9:Egfp mouse\r\nstrain and the discussions.
We thank Maija Atuegwu and Tapio Tainola for technical assistance. This work received
funding from the Academy of Finland (K.V., 315710), Sigrid Juselius Foundation (K.V.),
University of Helsinki (K.V.), Wihuri Research Institute (K.V.), the ERC under the
European Union’s Horizon 2020 research and innovation program (grant agreement\r\nNo.
851288 to E.H.) and under the Marie Skłodowska-Curie grant agreement No. 754411
(to M.C.U.). Part of the work was carried out with the support of HiLIFE Laboratory
Animal Centre Core Facility, University of Helsinki, Finland. Imaging was performed
at the Biomedicum Imaging Unit, Helsinki University, Helsinki, Finland, with the
support of Biocenter Finland. The AAVpreparations were produced at the Helsinki
Virus (HelVi) Core."
article_number: '5878'
article_processing_charge: Yes
article_type: original
author:
- first_name: Mehmet C
full_name: Ucar, Mehmet C
id: 50B2A802-6007-11E9-A42B-EB23E6697425
last_name: Ucar
orcid: 0000-0003-0506-4217
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Emmi
full_name: Tiilikainen, Emmi
last_name: Tiilikainen
- first_name: Inam
full_name: Liaqat, Inam
last_name: Liaqat
- first_name: Emma
full_name: Jakobsson, Emma
last_name: Jakobsson
- first_name: Harri
full_name: Nurmi, Harri
last_name: Nurmi
- first_name: Kari
full_name: Vaahtomeri, Kari
id: 368EE576-F248-11E8-B48F-1D18A9856A87
last_name: Vaahtomeri
orcid: 0000-0001-7829-3518
citation:
ama: Ucar MC, Hannezo EB, Tiilikainen E, et al. Self-organized and directed branching
results in optimal coverage in developing dermal lymphatic networks. Nature
Communications. 2023;14. doi:10.1038/s41467-023-41456-7
apa: Ucar, M. C., Hannezo, E. B., Tiilikainen, E., Liaqat, I., Jakobsson, E., Nurmi,
H., & Vaahtomeri, K. (2023). Self-organized and directed branching results
in optimal coverage in developing dermal lymphatic networks. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-023-41456-7
chicago: Ucar, Mehmet C, Edouard B Hannezo, Emmi Tiilikainen, Inam Liaqat, Emma
Jakobsson, Harri Nurmi, and Kari Vaahtomeri. “Self-Organized and Directed Branching
Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” Nature
Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41456-7.
ieee: M. C. Ucar et al., “Self-organized and directed branching results in
optimal coverage in developing dermal lymphatic networks,” Nature Communications,
vol. 14. Springer Nature, 2023.
ista: Ucar MC, Hannezo EB, Tiilikainen E, Liaqat I, Jakobsson E, Nurmi H, Vaahtomeri
K. 2023. Self-organized and directed branching results in optimal coverage in
developing dermal lymphatic networks. Nature Communications. 14, 5878.
mla: Ucar, Mehmet C., et al. “Self-Organized and Directed Branching Results in Optimal
Coverage in Developing Dermal Lymphatic Networks.” Nature Communications,
vol. 14, 5878, Springer Nature, 2023, doi:10.1038/s41467-023-41456-7.
short: M.C. Ucar, E.B. Hannezo, E. Tiilikainen, I. Liaqat, E. Jakobsson, H. Nurmi,
K. Vaahtomeri, Nature Communications 14 (2023).
date_created: 2023-10-01T22:01:13Z
date_published: 2023-09-21T00:00:00Z
date_updated: 2023-12-13T12:31:05Z
day: '21'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1038/s41467-023-41456-7
ec_funded: 1
external_id:
isi:
- '001075884500007'
pmid:
- '37735168'
file:
- access_level: open_access
checksum: 4fe5423403f2531753bcd9e0fea48e05
content_type: application/pdf
creator: dernst
date_created: 2023-10-03T07:46:36Z
date_updated: 2023-10-03T07:46:36Z
file_id: '14384'
file_name: 2023_NatureComm_Ucar.pdf
file_size: 8143264
relation: main_file
success: 1
file_date_updated: 2023-10-03T07:46:36Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 05943252-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '851288'
name: Design Principles of Branching Morphogenesis
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Self-organized and directed branching results in optimal coverage in developing
dermal lymphatic networks
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: 14
year: '2023'
...
---
_id: '14379'
abstract:
- lang: eng
text: We report on a simple surfactant/template free chemical route for the synthesis
of semi-polycrystalline polyaniline-graphite (SPani-graphite) composite and its
application as an electroactive material in electrochemical charge storage. The
synthesized material exhibits well-defined poly-crystallographic lattices in high
resolution transmission electron micrographs and sharp peaks in x-ray diffraction
spectra suggesting crystalline nature of the material. The specific capacitance
computed from the galvanostatic charge-discharge (GCD) data obtained from 3-electrode
cell configuration using 1 M aq. Na2SO4 as an electrolyte was 111.4 F g−1 at a
current density of 0.1 A g−1 which rises to 269 F g−1 at an elevated current density
of 1.0 A g−1. A similar pattern of increase in the specific capacitance values
with an increase in the current density was observed in the results obtained from
2-electrode symmetric device configuration using polymer gel electrolyte (xanthan
gum in 1 M aq. Na2SO4). The specific capacitance computed from the GCD data obtained
from the device configuration was 20 F g−1 at the current density of 1.0 A g−1.
The device delivers an energy density of 1.7 Wh kg−1 and a power density of 2.48
kWh kg−1 at an applied current density of 0.5 A g−1 suggesting an excellent rate
capability and power management. In addition, the device exhibits ⁓92 % specific
capacitance retention up to 8000 continuous GCD cycles and ⁓80 % coulombic efficiency
up to 10,000 continuous GCD cycles indicating excellent cycling stability. The
unique feature of increasing specific capacitance with respect to applied current
density is attributed to the presence of semi-polycrystalline phases in the SPani-graphite
matrix. The material behaves as a surface redox supercapacitor and its unique
mechanism of charge storage is discussed in detail in the article.
acknowledgement: This work was supported by 2023 Yeungnam University Research Grant.
article_number: '117463'
article_processing_charge: No
article_type: original
author:
- first_name: Neelima
full_name: Mahato, Neelima
last_name: Mahato
- first_name: Saurabh
full_name: Singh, Saurabh
id: 12d625da-9cb3-11ed-9667-af09d37d3f0a
last_name: Singh
orcid: 0000-0003-2209-5269
- first_name: Mohammad
full_name: Faisal, Mohammad
last_name: Faisal
- first_name: T. V.M.
full_name: Sreekanth, T. V.M.
last_name: Sreekanth
- first_name: Sutripto
full_name: Majumder, Sutripto
last_name: Majumder
- first_name: Kisoo
full_name: Yoo, Kisoo
last_name: Yoo
- first_name: Jonghoon
full_name: Kim, Jonghoon
last_name: Kim
citation:
ama: Mahato N, Singh S, Faisal M, et al. Polycrystalline phases grown in-situ engendering
unique mechanism of charge storage in polyaniline-graphite composite. Synthetic
Metals. 2023;299. doi:10.1016/j.synthmet.2023.117463
apa: Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo,
K., & Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique
mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals.
Elsevier. https://doi.org/10.1016/j.synthmet.2023.117463
chicago: Mahato, Neelima, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto
Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering
Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic
Metals. Elsevier, 2023. https://doi.org/10.1016/j.synthmet.2023.117463.
ieee: N. Mahato et al., “Polycrystalline phases grown in-situ engendering
unique mechanism of charge storage in polyaniline-graphite composite,” Synthetic
Metals, vol. 299. Elsevier, 2023.
ista: Mahato N, Singh S, Faisal M, Sreekanth TVM, Majumder S, Yoo K, Kim J. 2023.
Polycrystalline phases grown in-situ engendering unique mechanism of charge storage
in polyaniline-graphite composite. Synthetic Metals. 299, 117463.
mla: Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique
Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals,
vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
short: N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J.
Kim, Synthetic Metals 299 (2023).
date_created: 2023-10-01T22:01:13Z
date_published: 2023-11-01T00:00:00Z
date_updated: 2024-01-30T13:55:50Z
day: '01'
department:
- _id: MaIb
doi: 10.1016/j.synthmet.2023.117463
external_id:
isi:
- '001083568900001'
intvolume: ' 299'
isi: 1
language:
- iso: eng
month: '11'
oa_version: None
publication: Synthetic Metals
publication_identifier:
issn:
- 0379-6779
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Polycrystalline phases grown in-situ engendering unique mechanism of charge
storage in polyaniline-graphite composite
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 299
year: '2023'
...
---
_id: '14400'
abstract:
- lang: eng
text: "We consider the problem of computing the maximal probability of satisfying
an \r\n-regular specification for stochastic, continuous-state, nonlinear systems
evolving in discrete time. The problem reduces, after automata-theoretic constructions,
to finding the maximal probability of satisfying a parity condition on a (possibly
hybrid) state space. While characterizing the exact satisfaction probability is
open, we show that a lower bound on this probability can be obtained by (I) computing
an under-approximation of the qualitative winning region, i.e., states from which
the parity condition can be enforced almost surely, and (II) computing the maximal
probability of reaching this qualitative winning region.\r\nThe heart of our approach
is a technique to symbolically compute the under-approximation of the qualitative
winning region in step (I) via a finite-state abstraction of the original system
as a \r\n-player parity game. Our abstraction procedure uses only the support
of the probabilistic evolution; it does not use precise numerical transition probabilities.
We prove that the winning set in the abstract -player game induces an under-approximation
of the qualitative winning region in the original synthesis problem, along with
a policy to solve it. By combining these contributions with (a) a symbolic fixpoint
algorithm to solve \r\n-player games and (b) existing techniques for reachability
policy synthesis in stochastic nonlinear systems, we get an abstraction-based
algorithm for finding a lower bound on the maximal satisfaction probability.\r\nWe
have implemented the abstraction-based algorithm in Mascot-SDS, where we combined
the outlined abstraction step with our tool Genie (Majumdar et al., 2023) that
solves \r\n-player parity games (through a reduction to Rabin games) more efficiently
than existing algorithms. We evaluated our implementation on the nonlinear model
of a perturbed bistable switch from the literature. We show empirically that the
lower bound on the winning region computed by our approach is precise, by comparing
against an over-approximation of the qualitative winning region. Moreover, our
implementation outperforms a recently proposed tool for solving this problem by
a large margin."
acknowledgement: "We thank Daniel Hausmann and Nir Piterman for their valuable comments
on an earlier version of the manuscript of our other paper [22] where we present,
among other things, the parity fixpoint for 2 1/2-player games (for a slightly more
general class of games) with a different and indirect proof of correctness. Based
on their comments we observed that, unlike the other fixpoints that we present in
[22], the parity fixpoint does not follow the exact same structure as its counterpart
for 2-player games, which we also use int his paper.\r\nWe also thank Thejaswini
Raghavan for observing that our symbolic parity fixpoint algorithm can be solved
in quasi-polynomial time using recent improved algorithms for solving \r\n-calculus
expressions. This significantly improved the complexity bounds of our algorithm
in this paper.\r\nThe work of R. Majumdar and A.-K. Schmuck are partially supported
by DFG, Germany project 389792660 TRR 248–CPEC. A.-K. Schmuck is additionally funded
through DFG, Germany project (SCHM 3541/1-1). K. Mallik is supported by the ERC
project ERC-2020-AdG 101020093. S. Soudjani is supported by the following projects:
EPSRC EP/V043676/1, EIC 101070802, and ERC 101089047."
article_number: '101430'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
- first_name: Anne Kathrin
full_name: Schmuck, Anne Kathrin
last_name: Schmuck
- first_name: Sadegh
full_name: Soudjani, Sadegh
last_name: Soudjani
citation:
ama: 'Majumdar R, Mallik K, Schmuck AK, Soudjani S. Symbolic control for stochastic
systems via finite parity games. Nonlinear Analysis: Hybrid Systems. 2023;51.
doi:10.1016/j.nahs.2023.101430'
apa: 'Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2023). Symbolic
control for stochastic systems via finite parity games. Nonlinear Analysis:
Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430'
chicago: 'Majumdar, Rupak, Kaushik Mallik, Anne Kathrin Schmuck, and Sadegh Soudjani.
“Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear
Analysis: Hybrid Systems. Elsevier, 2023. https://doi.org/10.1016/j.nahs.2023.101430.'
ieee: 'R. Majumdar, K. Mallik, A. K. Schmuck, and S. Soudjani, “Symbolic control
for stochastic systems via finite parity games,” Nonlinear Analysis: Hybrid
Systems, vol. 51. Elsevier, 2023.'
ista: 'Majumdar R, Mallik K, Schmuck AK, Soudjani S. 2023. Symbolic control for
stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems.
51, 101430.'
mla: 'Majumdar, Rupak, et al. “Symbolic Control for Stochastic Systems via Finite
Parity Games.” Nonlinear Analysis: Hybrid Systems, vol. 51, 101430, Elsevier,
2023, doi:10.1016/j.nahs.2023.101430.'
short: 'R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid
Systems 51 (2023).'
date_created: 2023-10-08T22:01:15Z
date_published: 2023-09-27T00:00:00Z
date_updated: 2023-12-13T12:58:56Z
day: '27'
department:
- _id: ToHe
doi: 10.1016/j.nahs.2023.101430
ec_funded: 1
external_id:
arxiv:
- '2101.00834'
isi:
- '001093188100001'
intvolume: ' 51'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.nahs.2023.101430
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 'Nonlinear Analysis: Hybrid Systems'
publication_identifier:
issn:
- 1751-570X
publication_status: epub_ahead
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symbolic control for stochastic systems via finite parity games
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2023'
...
---
_id: '14401'
abstract:
- lang: eng
text: "Background: \r\nPro-apoptotic BAX is a central mediator of retinal ganglion
cell (RGC) death after optic nerve damage. BAX activation occurs in two stages
including translocation of latent BAX to the mitochondrial outer membrane (MOM)
and then permeabilization of the MOM to facilitate the release of apoptotic signaling
molecules. As a critical component of RGC death, BAX is an attractive target for
neuroprotective therapies and an understanding of the kinetics of BAX activation
and the mechanisms controlling the two stages of this process in RGCs is potentially
valuable in informing the development of a neuroprotective strategy.\r\nMethods:\r\nThe
kinetics of BAX translocation were assessed by both static and live-cell imaging
of a GFP-BAX fusion protein introduced into RGCs using AAV2-mediated gene transfer
in mice. Activation of BAX was achieved using an acute optic nerve crush (ONC)
protocol. Live-cell imaging of GFP-BAX was achieved using explants of mouse retina
harvested 7 days after ONC. Kinetics of translocation in RGCs were compared to
GFP-BAX translocation in 661W tissue culture cells. Permeabilization of GFP-BAX
was assessed by staining with the 6A7 monoclonal antibody, which recognizes a
conformational change in this protein after MOM insertion. Assessment of individual
kinases associated with both stages of activation was made using small molecule
inhibitors injected into the vitreous either independently or in concert with
ONC surgery. The contribution of the Dual Leucine Zipper-JUN-N-Terminal Kinase
cascade was evaluated using mice with a double conditional knock-out of both Mkk4
and Mkk7.\r\nResults:\r\nONC induces the translocation of GFP-BAX in RGCs at a
slower rate and with less intracellular synchronicity than 661W cells, but exhibits
less variability among mitochondrial foci within a single cell. GFP-BAX was also
found to translocate in all compartments of an RGC including the dendritic arbor
and axon. Approximately 6% of translocating RGCs exhibited retrotranslocation
of BAX immediately following translocation. Unlike tissue culture cells, which
exhibit simultaneous translocation and permeabilization, RGCs exhibited a significant
delay between these two stages, similar to detached cells undergoing anoikis.
Translocation, with minimal permeabilization could be induced in a subset of RGCs
using an inhibitor of Focal Adhesion Kinase (PF573228). Permeabilization after
ONC, in a majority of RGCs, could be inhibited with a broad spectrum kinase inhibitor
(sunitinib) or a selective inhibitor for p38/MAPK14 (SB203580). Intervention of
DLK-JNK axis signaling abrogated GFP-BAX translocation after ONC.\r\nConclusions:\r\nA
comparison between BAX activation kinetics in tissue culture cells and in cells
of a complex tissue environment shows distinct differences indicating that caution
should be used when translating findings from one condition to the other. RGCs
exhibit both a delay between translocation and permeabilization and the ability
for translocated BAX to be retrotranslocated, suggesting several stages at which
intervention of the activation process could be exploited in the design of a therapeutic
strategy."
acknowledgement: "The authors would like to thank Mr. Joel Dietz for management of
the mouse colony and helpful advice for conducting quantitative PCR studies and
Mr. Santoshi Kinoshita at the Translational Research Initiative in Pathology laboratory
at the University of Wisconsin-Madison for cutting sections analyzed in this study.\r\nThis
work was supported by National Eye Institute grants R01 EY030123 (RWN), R01 EY018606
(RTL), P30 EY016665 (Department of Ophthalmology and Visual Sciences, University
of Wisconsin-Madison), T32 EY027721 (RJD) and F31 EY030739 (OJM). Additional funding
was provided by the BrightFocus Foundation (RWN) and unrestricted grants from Research
to Prevent Blindness, Inc to the Department of Ophthalmology and Visual Sciences
(University of Wisconsin-Madison) and to the Department of Ophthalmology (University
of Rochester)."
article_number: '67'
article_processing_charge: Yes
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Ryan J.
full_name: Donahue, Ryan J.
last_name: Donahue
- first_name: Cassandra L.
full_name: Schlamp, Cassandra L.
last_name: Schlamp
- first_name: Olivia J.
full_name: Marola, Olivia J.
last_name: Marola
- first_name: Richard T.
full_name: Libby, Richard T.
last_name: Libby
- first_name: Robert W.
full_name: Nickells, Robert W.
last_name: Nickells
citation:
ama: Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. BAX activation
in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct
steps. Molecular Neurodegeneration. 2023;18. doi:10.1186/s13024-023-00659-8
apa: Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., &
Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs
in two temporally and mechanistically distinct steps. Molecular Neurodegeneration.
Springer Nature. https://doi.org/10.1186/s13024-023-00659-8
chicago: Maes, Margaret E, Ryan J. Donahue, Cassandra L. Schlamp, Olivia J. Marola,
Richard T. Libby, and Robert W. Nickells. “BAX Activation in Mouse Retinal Ganglion
Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular
Neurodegeneration. Springer Nature, 2023. https://doi.org/10.1186/s13024-023-00659-8.
ieee: M. E. Maes, R. J. Donahue, C. L. Schlamp, O. J. Marola, R. T. Libby, and R.
W. Nickells, “BAX activation in mouse retinal ganglion cells occurs in two temporally
and mechanistically distinct steps,” Molecular Neurodegeneration, vol.
18. Springer Nature, 2023.
ista: Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. 2023. BAX
activation in mouse retinal ganglion cells occurs in two temporally and mechanistically
distinct steps. Molecular Neurodegeneration. 18, 67.
mla: Maes, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs
in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration,
vol. 18, 67, Springer Nature, 2023, doi:10.1186/s13024-023-00659-8.
short: M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells,
Molecular Neurodegeneration 18 (2023).
date_created: 2023-10-08T22:01:15Z
date_published: 2023-09-26T00:00:00Z
date_updated: 2024-01-30T14:34:21Z
day: '26'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1186/s13024-023-00659-8
external_id:
isi:
- '001071403800001'
pmid:
- '37292963'
file:
- access_level: open_access
checksum: 3aa218ddea4a082d8fd5e196ae55ca06
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T14:33:31Z
date_updated: 2024-01-30T14:33:31Z
file_id: '14917'
file_name: 2023_MolecularNeurodegeneration_Maes.pdf
file_size: 11568350
relation: main_file
success: 1
file_date_updated: 2024-01-30T14:33:31Z
has_accepted_license: '1'
intvolume: ' 18'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
publication: Molecular Neurodegeneration
publication_identifier:
eissn:
- 1750-1326
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: BAX activation in mouse retinal ganglion cells occurs in two temporally and
mechanistically distinct steps
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: 18
year: '2023'
...
---
_id: '14402'
abstract:
- lang: eng
text: Alpha oscillations are a distinctive feature of the awake resting state of
the human brain. However, their functional role in resting-state neuronal dynamics
remains poorly understood. Here we show that, during resting wakefulness, alpha
oscillations drive an alternation of attenuation and amplification bouts in neural
activity. Our analysis indicates that inhibition is activated in pulses that last
for a single alpha cycle and gradually suppress neural activity, while excitation
is successively enhanced over a few alpha cycles to amplify neural activity. Furthermore,
we show that long-term alpha amplitude fluctuations—the “waxing and waning” phenomenon—are
an attenuation-amplification mechanism described by a power-law decay of the activity
rate in the “waning” phase. Importantly, we do not observe such dynamics during
non-rapid eye movement (NREM) sleep with marginal alpha oscillations. The results
suggest that alpha oscillations modulate neural activity not only through pulses
of inhibition (pulsed inhibition hypothesis) but also by timely enhancement of
excitation (or disinhibition).
acknowledgement: This research was funded in whole or in part by the Austrian Science
Fund (FWF) (grant PT1013M03318 to F.L.). For the purpose of open access, the author
has applied a CC BY public copyright license to any Author Accepted Manuscript version
arising from this submission. The study was supported by the European Union Horizon
2020 Research and Innovation Program under the Marie Sklodowska-Curie action (grant
agreement 754411 to F.L.) and in part by the NextGenerationEU through the grant
TAlent in ReSearch@University of Padua – STARS@UNIPD (to F.L.) (project BRAINCIP
[brain criticality and information processing]). L.d.A. acknowledges support from
the Italian MIUR project PRIN2017WZFTZP and partial support from NEXTGENERATIONEU
(NGEU) funded by the Ministry of University and Research (MUR), National Recovery
and Resilience Plan (NRRP), and project MNESYS (PE0000006)—a multiscale integrated
approach to the study of the nervous system in health and disease (DN. 1553 11.10.2022).
O.S. acknowledges support from the Israel Science Foundation, grant 504/17. The
work was supported in part by DIRP ZIAMH02797 (to D.P.).
article_number: '113162'
article_processing_charge: Yes
article_type: original
author:
- first_name: Fabrizio
full_name: Lombardi, Fabrizio
id: A057D288-3E88-11E9-986D-0CF4E5697425
last_name: Lombardi
orcid: 0000-0003-2623-5249
- first_name: Hans J.
full_name: Herrmann, Hans J.
last_name: Herrmann
- first_name: Liborio
full_name: Parrino, Liborio
last_name: Parrino
- first_name: Dietmar
full_name: Plenz, Dietmar
last_name: Plenz
- first_name: Silvia
full_name: Scarpetta, Silvia
last_name: Scarpetta
- first_name: Anna Elisabetta
full_name: Vaudano, Anna Elisabetta
last_name: Vaudano
- first_name: Lucilla
full_name: De Arcangelis, Lucilla
last_name: De Arcangelis
- first_name: Oren
full_name: Shriki, Oren
last_name: Shriki
citation:
ama: 'Lombardi F, Herrmann HJ, Parrino L, et al. Beyond pulsed inhibition: Alpha
oscillations modulate attenuation and amplification of neural activity in the
awake resting state. Cell Reports. 2023;42(10). doi:10.1016/j.celrep.2023.113162'
apa: 'Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano,
A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate
attenuation and amplification of neural activity in the awake resting state. Cell
Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113162'
chicago: 'Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz,
Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla De Arcangelis, and Oren Shriki.
“Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification
of Neural Activity in the Awake Resting State.” Cell Reports. Elsevier,
2023. https://doi.org/10.1016/j.celrep.2023.113162.'
ieee: 'F. Lombardi et al., “Beyond pulsed inhibition: Alpha oscillations
modulate attenuation and amplification of neural activity in the awake resting
state,” Cell Reports, vol. 42, no. 10. Elsevier, 2023.'
ista: 'Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, De
Arcangelis L, Shriki O. 2023. Beyond pulsed inhibition: Alpha oscillations modulate
attenuation and amplification of neural activity in the awake resting state. Cell
Reports. 42(10), 113162.'
mla: 'Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate
Attenuation and Amplification of Neural Activity in the Awake Resting State.”
Cell Reports, vol. 42, no. 10, 113162, Elsevier, 2023, doi:10.1016/j.celrep.2023.113162.'
short: F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano,
L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).
date_created: 2023-10-08T22:01:15Z
date_published: 2023-10-31T00:00:00Z
date_updated: 2024-01-30T14:07:40Z
day: '31'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1016/j.celrep.2023.113162
ec_funded: 1
external_id:
isi:
- '001086695500001'
pmid:
- '37777965'
file:
- access_level: open_access
checksum: 9c71eb2a03aa160415f01ad95f49ceb5
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T14:07:08Z
date_updated: 2024-01-30T14:07:08Z
file_id: '14914'
file_name: 2023_CellReports_Lombardi.pdf
file_size: 5599007
relation: main_file
success: 1
file_date_updated: 2024-01-30T14:07:08Z
has_accepted_license: '1'
intvolume: ' 42'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: eb943429-77a9-11ec-83b8-9f471cdf5c67
grant_number: M03318
name: Functional Advantages of Critical Brain Dynamics
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Cell Reports
publication_identifier:
eissn:
- 2211-1247
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification
of neural activity in the awake resting state'
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: 42
year: '2023'
...
---
_id: '14404'
abstract:
- lang: eng
text: A light-triggered fabrication method extends the functionality of printable
nanomaterials
acknowledgement: The authors thank the Werner-Siemens-Stiftung and the Institute of
Science and Technology Austria for financial support.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Daniel
full_name: Balazs, Daniel
id: 302BADF6-85FC-11EA-9E3B-B9493DDC885E
last_name: Balazs
orcid: 0000-0001-7597-043X
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
citation:
ama: Balazs D, Ibáñez M. Widening the use of 3D printing. Science. 2023;381(6665):1413-1414.
doi:10.1126/science.adk3070
apa: Balazs, D., & Ibáñez, M. (2023). Widening the use of 3D printing. Science.
AAAS. https://doi.org/10.1126/science.adk3070
chicago: Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” Science.
AAAS, 2023. https://doi.org/10.1126/science.adk3070.
ieee: D. Balazs and M. Ibáñez, “Widening the use of 3D printing,” Science,
vol. 381, no. 6665. AAAS, pp. 1413–1414, 2023.
ista: Balazs D, Ibáñez M. 2023. Widening the use of 3D printing. Science. 381(6665),
1413–1414.
mla: Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” Science,
vol. 381, no. 6665, AAAS, 2023, pp. 1413–14, doi:10.1126/science.adk3070.
short: D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.
date_created: 2023-10-08T22:01:16Z
date_published: 2023-09-29T00:00:00Z
date_updated: 2023-10-09T07:32:58Z
day: '29'
department:
- _id: MaIb
- _id: LifeSc
doi: 10.1126/science.adk3070
external_id:
pmid:
- '37769110'
intvolume: ' 381'
issue: '6665'
language:
- iso: eng
month: '09'
oa_version: None
page: 1413-1414
pmid: 1
project:
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
Semiconductors for Waste Heat Recovery'
publication: Science
publication_identifier:
eissn:
- 1095-9203
publication_status: published
publisher: AAAS
quality_controlled: '1'
scopus_import: '1'
status: public
title: Widening the use of 3D printing
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 381
year: '2023'
...
---
_id: '14405'
abstract:
- lang: eng
text: We introduce hypernode automata as a new specification formalism for hyperproperties
of concurrent systems. They are finite automata with nodes labeled with hypernode
logic formulas and transitions labeled with actions. A hypernode logic formula
specifies relations between sequences of variable values in different system executions.
Unlike HyperLTL, hypernode logic takes an asynchronous view on execution traces
by constraining the values and the order of value changes of each variable without
correlating the timing of the changes. Different execution traces are synchronized
solely through the transitions of hypernode automata. Hypernode automata naturally
combine asynchronicity at the node level with synchronicity at the transition
level. We show that the model-checking problem for hypernode automata is decidable
over action-labeled Kripke structures, whose actions induce transitions of the
specification automata. For this reason, hypernode automaton is a suitable formalism
for specifying and verifying asynchronous hyperproperties, such as declassifying
observational determinism in multi-threaded programs.
acknowledgement: "This work was supported in part by the Austrian Science Fund (FWF)
SFB project\r\nSpyCoDe F8502, by the FWF projects ZK-35 and W1255-N23, and by the
ERC Advanced Grant\r\nVAMOS 101020093."
alternative_title:
- LIPIcs
article_number: '21'
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Ezio
full_name: Bartocci, Ezio
last_name: Bartocci
- 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: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Ana
full_name: Oliveira da Costa, Ana
id: f347ec37-6676-11ee-b395-a888cb7b4fb4
last_name: Oliveira da Costa
orcid: 0000-0002-8741-5799
citation:
ama: 'Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. Hypernode automata.
In: 34th International Conference on Concurrency Theory. Vol 279. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.21'
apa: 'Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A.
(2023). Hypernode automata. In 34th International Conference on Concurrency
Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21'
chicago: Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da
Costa. “Hypernode Automata.” In 34th International Conference on Concurrency
Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
https://doi.org/10.4230/LIPIcs.CONCUR.2023.21.
ieee: E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode
automata,” in 34th International Conference on Concurrency Theory, Antwerp,
Belgium, 2023, vol. 279.
ista: 'Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2023. Hypernode
automata. 34th International Conference on Concurrency Theory. CONCUR: Conference
on Concurrency Theory, LIPIcs, vol. 279, 21.'
mla: Bartocci, Ezio, et al. “Hypernode Automata.” 34th International Conference
on Concurrency Theory, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.21.
short: E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th
International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2023.
conference:
end_date: 2023-09-22
location: Antwerp, Belgium
name: 'CONCUR: Conference on Concurrency Theory'
start_date: 2023-09-19
date_created: 2023-10-08T22:01:16Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2023-10-09T07:43:44Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2023.21
ec_funded: 1
external_id:
arxiv:
- '2305.02836'
file:
- access_level: open_access
checksum: 215765e40454d806174ac0a223e8d6fa
content_type: application/pdf
creator: dernst
date_created: 2023-10-09T07:42:45Z
date_updated: 2023-10-09T07:42:45Z
file_id: '14413'
file_name: 2023_LIPcs_Bartocci.pdf
file_size: 795790
relation: main_file
success: 1
file_date_updated: 2023-10-09T07:42:45Z
has_accepted_license: '1'
intvolume: ' 279'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 34th International Conference on Concurrency Theory
publication_identifier:
isbn:
- '9783959772990'
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Hypernode automata
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 279
year: '2023'
...
---
_id: '14406'
abstract:
- lang: eng
text: "Recently, a concept of generalized multifractality, which characterizes fluctuations
and correlations of critical eigenstates, was introduced and explored for all
10 symmetry classes of disordered systems. Here, by using the nonlinear sigma-model
(\r\nNL\r\nσ\r\nM\r\n) field theory, we extend the theory of generalized multifractality
to boundaries of systems at criticality. Our numerical simulations on two-dimensional
systems of symmetry classes A, C, and AII fully confirm the analytical predictions
of pure-scaling observables and Weyl symmetry relations between critical exponents
of surface generalized multifractality. This demonstrates the validity of the
\r\nNL\r\nσ\r\nM\r\n for the description of Anderson-localization critical phenomena,
not only in the bulk but also on the boundary. The critical exponents strongly
violate generalized parabolicity, in analogy with earlier results for the bulk,
corroborating the conclusion that the considered Anderson-localization critical
points are not described by conformal field theories. We further derive relations
between generalized surface multifractal spectra and linear combinations of Lyapunov
exponents of a strip in quasi-one-dimensional geometry, which hold under the assumption
of invariance with respect to a logarithmic conformal map. Our numerics demonstrate
that these relations hold with an excellent accuracy. Taken together, our results
indicate an intriguing situation: the conformal invariance is broken but holds
partially at critical points of Anderson localization."
acknowledgement: "We thank Ilya Gruzberg for many illuminating discussions. S.S.B.,
J.F.K., and A.D.M. acknowledge support by the Deutsche Forschungsgemeinschaft (DFG)
via the Grant\r\nNo. MI 658/14-1. I.S.B. acknowledges support from Russian Science
Foundation (Grant No. 22-42-04416)."
article_number: '104205'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Serafim
full_name: Babkin, Serafim
id: 41e64307-6672-11ee-b9ad-cc7a0075a479
last_name: Babkin
orcid: 0009-0003-7382-8036
- first_name: Jonas F.
full_name: Karcher, Jonas F.
last_name: Karcher
- first_name: Igor S.
full_name: Burmistrov, Igor S.
last_name: Burmistrov
- first_name: Alexander D.
full_name: Mirlin, Alexander D.
last_name: Mirlin
citation:
ama: Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. Generalized surface multifractality
in two-dimensional disordered systems. Physical Review B. 2023;108(10).
doi:10.1103/PhysRevB.108.104205
apa: Babkin, S., Karcher, J. F., Burmistrov, I. S., & Mirlin, A. D. (2023).
Generalized surface multifractality in two-dimensional disordered systems. Physical
Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.108.104205
chicago: Babkin, Serafim, Jonas F. Karcher, Igor S. Burmistrov, and Alexander D.
Mirlin. “Generalized Surface Multifractality in Two-Dimensional Disordered Systems.”
Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.108.104205.
ieee: S. Babkin, J. F. Karcher, I. S. Burmistrov, and A. D. Mirlin, “Generalized
surface multifractality in two-dimensional disordered systems,” Physical Review
B, vol. 108, no. 10. American Physical Society, 2023.
ista: Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. 2023. Generalized surface
multifractality in two-dimensional disordered systems. Physical Review B. 108(10),
104205.
mla: Babkin, Serafim, et al. “Generalized Surface Multifractality in Two-Dimensional
Disordered Systems.” Physical Review B, vol. 108, no. 10, 104205, American
Physical Society, 2023, doi:10.1103/PhysRevB.108.104205.
short: S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B
108 (2023).
date_created: 2023-10-08T22:01:17Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2023-10-09T07:09:30Z
day: '01'
department:
- _id: MaSe
doi: 10.1103/PhysRevB.108.104205
external_id:
arxiv:
- '2306.09455'
intvolume: ' 108'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2306.09455
month: '09'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_identifier:
eissn:
- 2469-9969
issn:
- 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Generalized surface multifractality in two-dimensional disordered systems
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2023'
...
---
_id: '14408'
abstract:
- lang: eng
text: "We prove that the mesoscopic linear statistics ∑if(na(σi−z0)) of the eigenvalues
{σi}i of large n×n non-Hermitian random matrices with complex centred i.i.d. entries
are asymptotically Gaussian for any H20-functions f around any point z0 in the
bulk of the spectrum on any mesoscopic scale 0Probability Theory and Related Fields. 2023. doi:10.1007/s00440-023-01229-1
apa: Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Mesoscopic central
limit theorem for non-Hermitian random matrices. Probability Theory and Related
Fields. Springer Nature. https://doi.org/10.1007/s00440-023-01229-1
chicago: Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Mesoscopic Central
Limit Theorem for Non-Hermitian Random Matrices.” Probability Theory and Related
Fields. Springer Nature, 2023. https://doi.org/10.1007/s00440-023-01229-1.
ieee: G. Cipolloni, L. Erdös, and D. J. Schröder, “Mesoscopic central limit theorem
for non-Hermitian random matrices,” Probability Theory and Related Fields.
Springer Nature, 2023.
ista: Cipolloni G, Erdös L, Schröder DJ. 2023. Mesoscopic central limit theorem
for non-Hermitian random matrices. Probability Theory and Related Fields.
mla: Cipolloni, Giorgio, et al. “Mesoscopic Central Limit Theorem for Non-Hermitian
Random Matrices.” Probability Theory and Related Fields, Springer Nature,
2023, doi:10.1007/s00440-023-01229-1.
short: G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields
(2023).
date_created: 2023-10-08T22:01:17Z
date_published: 2023-09-28T00:00:00Z
date_updated: 2023-10-09T07:19:01Z
day: '28'
department:
- _id: LaEr
doi: 10.1007/s00440-023-01229-1
external_id:
arxiv:
- '2210.12060'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2210.12060
month: '09'
oa: 1
oa_version: Preprint
publication: Probability Theory and Related Fields
publication_identifier:
eissn:
- 1432-2064
issn:
- 0178-8051
publication_status: epub_ahead
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mesoscopic central limit theorem for non-Hermitian random matrices
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14409'
abstract:
- lang: eng
text: We present a photon- and metal-free approach for the radical fluorination
of aliphatic oxalate-activated alcohols. The method relies on the spontaneous
generation of the N-(chloromethyl)triethylenediamine radical dication, a potent
single electron oxidant, from Selectfluor and 4-(dimethylamino)pyridine. The protocol
is easily scalable and provides the desired fluorinated products within only a
few minutes reaction time.
acknowledgement: We gratefully acknowledge the Max-Planck Society and the Institute
of Science and Technology Austria (ISTA) for generous financial support. We also
thank the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under
Germany's Excellence Strategy – EXC 2008 – 390540038 – UniSysCat for funding. B.P.
thanks the Boehringer Ingelheim Foundation for funding through the Plus 3 Perspectives
Programme.
article_number: e202300769
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Haralds
full_name: Baunis, Haralds
id: 2eea55ec-e8ec-11ed-86cb-d9c76787acfe
last_name: Baunis
- first_name: Bartholomäus
full_name: Pieber, Bartholomäus
id: 93e5e5b2-0da6-11ed-8a41-af589a024726
last_name: Pieber
orcid: 0000-0001-8689-388X
citation:
ama: Baunis H, Pieber B. Formal radical deoxyfluorination of oxalate-activated alcohols
triggered by the selectfluor-DMAP charge-transfer complex. European Journal
of Organic Chemistry. 2023;26(42). doi:10.1002/ejoc.202300769
apa: Baunis, H., & Pieber, B. (2023). Formal radical deoxyfluorination of oxalate-activated
alcohols triggered by the selectfluor-DMAP charge-transfer complex. European
Journal of Organic Chemistry. Wiley. https://doi.org/10.1002/ejoc.202300769
chicago: Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination
of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer
Complex.” European Journal of Organic Chemistry. Wiley, 2023. https://doi.org/10.1002/ejoc.202300769.
ieee: H. Baunis and B. Pieber, “Formal radical deoxyfluorination of oxalate-activated
alcohols triggered by the selectfluor-DMAP charge-transfer complex,” European
Journal of Organic Chemistry, vol. 26, no. 42. Wiley, 2023.
ista: Baunis H, Pieber B. 2023. Formal radical deoxyfluorination of oxalate-activated
alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal
of Organic Chemistry. 26(42), e202300769.
mla: Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination
of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer
Complex.” European Journal of Organic Chemistry, vol. 26, no. 42, e202300769,
Wiley, 2023, doi:10.1002/ejoc.202300769.
short: H. Baunis, B. Pieber, European Journal of Organic Chemistry 26 (2023).
date_created: 2023-10-08T22:01:18Z
date_published: 2023-11-07T00:00:00Z
date_updated: 2024-01-30T14:05:14Z
day: '07'
ddc:
- '540'
department:
- _id: BaPi
doi: 10.1002/ejoc.202300769
external_id:
isi:
- '001072666500001'
file:
- access_level: open_access
checksum: e8ad7865acd94672e476f273ccf3d542
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T14:04:44Z
date_updated: 2024-01-30T14:04:44Z
file_id: '14913'
file_name: 2023_EurJOrgChem_Baunis.pdf
file_size: 3277622
relation: main_file
success: 1
file_date_updated: 2024-01-30T14:04:44Z
has_accepted_license: '1'
intvolume: ' 26'
isi: 1
issue: '42'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '11'
oa: 1
oa_version: Published Version
publication: European Journal of Organic Chemistry
publication_identifier:
eissn:
- 1099-0690
issn:
- 1434-193X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formal radical deoxyfluorination of oxalate-activated alcohols triggered by
the selectfluor-DMAP charge-transfer complex
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 26
year: '2023'
...
---
_id: '14410'
abstract:
- lang: eng
text: This paper focuses on the implementation details of the baseline methods and
a recent lightweight conditional model extrapolation algorithm LIMES [5] for streaming
data under class-prior shift. LIMES achieves superior performance over the baseline
methods, especially concerning the minimum-across-day accuracy, which is important
for the users of the system. In this work, the key measures to facilitate reproducibility
and enhance the credibility of the results are described.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Paulina
full_name: Tomaszewska, Paulina
last_name: Tomaszewska
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Tomaszewska P, Lampert C. On the implementation of baselines and lightweight
conditional model extrapolation (LIMES) under class-prior shift. In: International
Workshop on Reproducible Research in Pattern Recognition. Vol 14068. Springer
Nature; 2023:67-73. doi:10.1007/978-3-031-40773-4_6'
apa: 'Tomaszewska, P., & Lampert, C. (2023). On the implementation of baselines
and lightweight conditional model extrapolation (LIMES) under class-prior shift.
In International Workshop on Reproducible Research in Pattern Recognition
(Vol. 14068, pp. 67–73). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-40773-4_6'
chicago: Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines
and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”
In International Workshop on Reproducible Research in Pattern Recognition,
14068:67–73. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-40773-4_6.
ieee: P. Tomaszewska and C. Lampert, “On the implementation of baselines and lightweight
conditional model extrapolation (LIMES) under class-prior shift,” in International
Workshop on Reproducible Research in Pattern Recognition, Montreal, Canada,
2023, vol. 14068, pp. 67–73.
ista: 'Tomaszewska P, Lampert C. 2023. On the implementation of baselines and lightweight
conditional model extrapolation (LIMES) under class-prior shift. International
Workshop on Reproducible Research in Pattern Recognition. RRPR: Reproducible Research
in Pattern Recognition, LNCS, vol. 14068, 67–73.'
mla: Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines
and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”
International Workshop on Reproducible Research in Pattern Recognition,
vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.
short: P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research
in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
conference:
end_date: 2022-08-21
location: Montreal, Canada
name: 'RRPR: Reproducible Research in Pattern Recognition'
start_date: 2022-08-21
date_created: 2023-10-08T22:01:18Z
date_published: 2023-08-20T00:00:00Z
date_updated: 2023-10-09T06:48:02Z
day: '20'
department:
- _id: ChLa
doi: 10.1007/978-3-031-40773-4_6
intvolume: ' 14068'
language:
- iso: eng
month: '08'
oa_version: None
page: 67-73
publication: International Workshop on Reproducible Research in Pattern Recognition
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031407727'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the implementation of baselines and lightweight conditional model extrapolation
(LIMES) under class-prior shift
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14068
year: '2023'
...
---
_id: '14411'
abstract:
- lang: eng
text: "Partially specified Boolean networks (PSBNs) represent a promising framework
for the qualitative modelling of biological systems in which the logic of interactions
is not completely known. Phenotype control aims to stabilise the network in states
exhibiting specific traits.\r\nIn this paper, we define the phenotype control
problem in the context of asynchronous PSBNs and propose a novel semi-symbolic
algorithm for solving this problem with permanent variable perturbations."
acknowledgement: This work was supported by the Czech Foundation grant No. GA22-10845S,
Grant Agency of Masaryk University grant No. MUNI/G/1771/2020, and the European
Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
Grant Agreement No. 101034413.
alternative_title:
- LNBI
article_processing_charge: No
author:
- first_name: Nikola
full_name: Beneš, Nikola
last_name: Beneš
- first_name: Luboš
full_name: Brim, Luboš
last_name: Brim
- first_name: Samuel
full_name: Pastva, Samuel
id: 07c5ea74-f61c-11ec-a664-aa7c5d957b2b
last_name: Pastva
orcid: 0000-0003-1993-0331
- first_name: David
full_name: Šafránek, David
last_name: Šafránek
- first_name: Eva
full_name: Šmijáková, Eva
last_name: Šmijáková
citation:
ama: 'Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. Phenotype control of partially
specified boolean networks. In: 21st International Conference on Computational
Methods in Systems Biology. Vol 14137. Springer Nature; 2023:18-35. doi:10.1007/978-3-031-42697-1_2'
apa: 'Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023).
Phenotype control of partially specified boolean networks. In 21st International
Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35).
Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2'
chicago: Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková.
“Phenotype Control of Partially Specified Boolean Networks.” In 21st International
Conference on Computational Methods in Systems Biology, 14137:18–35. Springer
Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
ieee: N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control
of partially specified boolean networks,” in 21st International Conference
on Computational Methods in Systems Biology, Luxembourg City, Luxembourg,
2023, vol. 14137, pp. 18–35.
ista: 'Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. 2023. Phenotype control
of partially specified boolean networks. 21st International Conference on Computational
Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNBI,
vol. 14137, 18–35.'
mla: Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.”
21st International Conference on Computational Methods in Systems Biology,
vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
short: N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International
Conference on Computational Methods in Systems Biology, Springer Nature, 2023,
pp. 18–35.
conference:
end_date: 2023-09-15
location: Luxembourg City, Luxembourg
name: 'CMSB: Computational Methods in Systems Biology'
start_date: 2023-09-13
date_created: 2023-10-08T22:01:18Z
date_published: 2023-09-09T00:00:00Z
date_updated: 2024-02-20T09:02:04Z
day: '09'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-42697-1_2
ec_funded: 1
file:
- access_level: open_access
checksum: 6f71bdaedb770b52380222fd9f4d7937
content_type: application/pdf
creator: spastva
date_created: 2024-02-16T08:26:32Z
date_updated: 2024-02-16T08:26:32Z
file_id: '14997'
file_name: cmsb2023.pdf
file_size: 691582
relation: main_file
success: 1
file_date_updated: 2024-02-16T08:26:32Z
has_accepted_license: '1'
intvolume: ' 14137'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 18-35
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: 21st International Conference on Computational Methods in Systems Biology
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031426964'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phenotype control of partially specified boolean networks
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14137
year: '2023'
...
---
_id: '14417'
abstract:
- lang: eng
text: Entropic risk (ERisk) is an established risk measure in finance, quantifying
risk by an exponential re-weighting of rewards. We study ERisk for the first time
in the context of turn-based stochastic games with the total reward objective.
This gives rise to an objective function that demands the control of systems in
a risk-averse manner. We show that the resulting games are determined and, in
particular, admit optimal memoryless deterministic strategies. This contrasts
risk measures that previously have been considered in the special case of Markov
decision processes and that require randomization and/or memory. We provide several
results on the decidability and the computational complexity of the threshold
problem, i.e. whether the optimal value of ERisk exceeds a given threshold. In
the most general case, the problem is decidable subject to Shanuel’s conjecture.
If all inputs are rational, the resulting threshold problem can be solved using
algebraic numbers, leading to decidability via a polynomial-time reduction to
the existential theory of the reals. Further restrictions on the encoding of the
input allow the solution of the threshold problem in NP∩coNP. Finally, an approximation
algorithm for the optimal value of ERisk is provided.
acknowledgement: "This work was partly funded by the ERC CoG 863818 (ForM-SMArt),
the DFG Grant\r\n389792660 as part of TRR 248 (Foundations of Perspicuous Software
Systems), the Cluster of\r\nExcellence EXC 2050/1 (CeTI, project ID 390696704, as
part of Germany’s Excellence Strategy), and the DFG projects BA-1679/11-1 and BA-1679/12-1."
alternative_title:
- LIPIcs
article_number: '15'
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Christel
full_name: Baier, Christel
last_name: Baier
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: Jakob
full_name: Piribauer, Jakob
last_name: Piribauer
citation:
ama: 'Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Entropic risk for turn-based
stochastic games. In: 48th International Symposium on Mathematical Foundations
of Computer Science. Vol 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik;
2023. doi:10.4230/LIPIcs.MFCS.2023.15'
apa: 'Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2023). Entropic
risk for turn-based stochastic games. In 48th International Symposium on Mathematical
Foundations of Computer Science (Vol. 272). Bordeaux, France: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2023.15'
chicago: Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob
Piribauer. “Entropic Risk for Turn-Based Stochastic Games.” In 48th International
Symposium on Mathematical Foundations of Computer Science, Vol. 272. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.MFCS.2023.15.
ieee: C. Baier, K. Chatterjee, T. Meggendorfer, and J. Piribauer, “Entropic risk
for turn-based stochastic games,” in 48th International Symposium on Mathematical
Foundations of Computer Science, Bordeaux, France, 2023, vol. 272.
ista: 'Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2023. Entropic risk for
turn-based stochastic games. 48th International Symposium on Mathematical Foundations
of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science,
LIPIcs, vol. 272, 15.'
mla: Baier, Christel, et al. “Entropic Risk for Turn-Based Stochastic Games.” 48th
International Symposium on Mathematical Foundations of Computer Science, vol.
272, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.MFCS.2023.15.
short: C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International
Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl -
Leibniz-Zentrum für Informatik, 2023.
conference:
end_date: 2023-09-01
location: Bordeaux, France
name: 'MFCS: Symposium on Mathematical Foundations of Computer Science'
start_date: 2023-08-28
date_created: 2023-10-09T09:21:05Z
date_published: 2023-08-21T00:00:00Z
date_updated: 2025-07-14T09:09:57Z
day: '21'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.MFCS.2023.15
ec_funded: 1
external_id:
arxiv:
- '2307.06611'
file:
- access_level: open_access
checksum: 402281b17ed669bbf149d0fdf68ac201
content_type: application/pdf
creator: dernst
date_created: 2023-10-09T09:19:11Z
date_updated: 2023-10-09T09:19:11Z
file_id: '14418'
file_name: 2023_LIPIcsMFCS_Baier.pdf
file_size: 826843
relation: main_file
success: 1
file_date_updated: 2023-10-09T09:19:11Z
has_accepted_license: '1'
intvolume: ' 272'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 48th International Symposium on Mathematical Foundations of Computer
Science
publication_identifier:
eissn:
- 1868-8969
isbn:
- '9783959772921'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Entropic risk for turn-based stochastic games
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 272
year: '2023'
...
---
_id: '14421'
abstract:
- lang: eng
text: Only recently has it been possible to construct a self-adjoint Hamiltonian
that involves the creation of Dirac particles at a point source in 3d space. Its
definition makes use of an interior-boundary condition. Here, we develop for this
Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously)
construct a Markov jump process $(Q_t)_{t\in\mathbb{R}}$ in the configuration
space of a variable number of particles that is $|\psi_t|^2$-distributed at every
time t and follows Bohmian trajectories between the jumps. The jumps correspond
to particle creation or annihilation events and occur either to or from a configuration
with a particle located at the source. The process is the natural analog of Bell's
jump process, and a central piece in its construction is the determination of
the rate of particle creation. The construction requires an analysis of the asymptotic
behavior of the Bohmian trajectories near the source. We find that the particle
reaches the source with radial speed 0, but orbits around the source infinitely
many times in finite time before absorption (or after emission).
acknowledgement: J H gratefully acknowledges partial financial support by the ERC
Advanced Grant 'RMTBeyond' No. 101020331.
article_number: '445201'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Roderich
full_name: Tumulka, Roderich
last_name: Tumulka
citation:
ama: 'Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source.
Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi:10.1088/1751-8121/acfe62'
apa: 'Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles
at a point source. Journal of Physics A: Mathematical and Theoretical.
IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62'
chicago: 'Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles
at a Point Source.” Journal of Physics A: Mathematical and Theoretical.
IOP Publishing, 2023. https://doi.org/10.1088/1751-8121/acfe62.'
ieee: 'S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point
source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no.
44. IOP Publishing, 2023.'
ista: 'Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point
source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.'
mla: 'Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles
at a Point Source.” Journal of Physics A: Mathematical and Theoretical,
vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:10.1088/1751-8121/acfe62.'
short: 'S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical
56 (2023).'
date_created: 2023-10-12T12:42:53Z
date_published: 2023-10-11T00:00:00Z
date_updated: 2023-12-13T13:01:25Z
day: '11'
ddc:
- '510'
department:
- _id: GradSch
- _id: LaEr
doi: 10.1088/1751-8121/acfe62
ec_funded: 1
external_id:
arxiv:
- '2211.16606'
isi:
- '001080908000001'
file:
- access_level: open_access
checksum: 5b68de147dd4c608b71a6e0e844d2ce9
content_type: application/pdf
creator: dernst
date_created: 2023-10-16T07:07:24Z
date_updated: 2023-10-16T07:07:24Z
file_id: '14429'
file_name: 2023_JourPhysics_Henheik.pdf
file_size: 721399
relation: main_file
success: 1
file_date_updated: 2023-10-16T07:07:24Z
has_accepted_license: '1'
intvolume: ' 56'
isi: 1
issue: '44'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: 'Journal of Physics A: Mathematical and Theoretical'
publication_identifier:
eissn:
- 1751-8121
issn:
- 1751-8113
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Creation rate of Dirac particles at a point source
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: 56
year: '2023'
...
---
_id: '14422'
abstract:
- lang: eng
text: "Animals exhibit a remarkable ability to learn and remember new behaviors,
skills, and associations throughout their lifetime. These capabilities are made
possible thanks to a variety of\r\nchanges in the brain throughout adulthood,
regrouped under the term \"plasticity\". Some cells\r\nin the brain —neurons—
and specifically changes in the connections between neurons, the\r\nsynapses,
were shown to be crucial for the formation, selection, and consolidation of memories\r\nfrom
past experiences. These ongoing changes of synapses across time are called synaptic\r\nplasticity.
Understanding how a myriad of biochemical processes operating at individual\r\nsynapses
can somehow work in concert to give rise to meaningful changes in behavior is
a\r\nfascinating problem and an active area of research.\r\nHowever, the experimental
search for the precise plasticity mechanisms at play in the brain\r\nis daunting,
as it is difficult to control and observe synapses during learning. Theoretical\r\napproaches
have thus been the default method to probe the plasticity-behavior connection.
Such\r\nstudies attempt to extract unifying principles across synapses and model
all observed synaptic\r\nchanges using plasticity rules: equations that govern
the evolution of synaptic strengths across\r\ntime in neuronal network models.
These rules can use many relevant quantities to determine\r\nthe magnitude of
synaptic changes, such as the precise timings of pre- and postsynaptic\r\naction
potentials, the recent neuronal activity levels, the state of neighboring synapses,
etc.\r\nHowever, analytical studies rely heavily on human intuition and are forced
to make simplifying\r\nassumptions about plasticity rules.\r\nIn this thesis,
we aim to assist and augment human intuition in this search for plasticity rules.\r\nWe
explore whether a numerical approach could automatically discover the plasticity
rules\r\nthat elicit desired behaviors in large networks of interconnected neurons.
This approach is\r\ndubbed meta-learning synaptic plasticity: learning plasticity
rules which themselves will make\r\nneuronal networks learn how to solve a desired
task. We first write all the potential plasticity\r\nmechanisms to consider using
a single expression with adjustable parameters. We then optimize\r\nthese plasticity
parameters using evolutionary strategies or Bayesian inference on tasks known\r\nto
involve synaptic plasticity, such as familiarity detection and network stabilization.\r\nWe
show that these automated approaches are powerful tools, able to complement established\r\nanalytical
methods. By comprehensively screening plasticity rules at all synapse types in\r\nrealistic,
spiking neuronal network models, we discover entire sets of degenerate plausible\r\nplasticity
rules that reliably elicit memory-related behaviors. Our approaches allow for
more\r\nrobust experimental predictions, by abstracting out the idiosyncrasies
of individual plasticity\r\nrules, and provide fresh insights on synaptic plasticity
in spiking network models.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Basile J
full_name: Confavreux, Basile J
id: C7610134-B532-11EA-BD9F-F5753DDC885E
last_name: Confavreux
citation:
ama: 'Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422'
apa: 'Confavreux, B. J. (2023). Synapseek: Meta-learning synaptic plasticity
rules. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14422'
chicago: 'Confavreux, Basile J. “Synapseek: Meta-Learning Synaptic Plasticity Rules.”
Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14422.'
ieee: 'B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute
of Science and Technology Austria, 2023.'
ista: 'Confavreux BJ. 2023. Synapseek: Meta-learning synaptic plasticity rules.
Institute of Science and Technology Austria.'
mla: 'Confavreux, Basile J. Synapseek: Meta-Learning Synaptic Plasticity Rules.
Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14422.'
short: 'B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute
of Science and Technology Austria, 2023.'
date_created: 2023-10-12T14:13:25Z
date_published: 2023-10-12T00:00:00Z
date_updated: 2023-10-18T09:20:56Z
day: '12'
ddc:
- '610'
degree_awarded: PhD
department:
- _id: GradSch
- _id: TiVo
doi: 10.15479/at:ista:14422
ec_funded: 1
file:
- access_level: closed
checksum: 7f636555eae7803323df287672fd13ed
content_type: application/pdf
creator: cchlebak
date_created: 2023-10-12T14:53:50Z
date_updated: 2023-10-12T14:54:52Z
embargo: 2024-10-12
embargo_to: open_access
file_id: '14424'
file_name: Confavreux_Thesis_2A.pdf
file_size: 30599717
relation: main_file
- access_level: closed
checksum: 725e85946db92290a4583a0de9779e1b
content_type: application/x-zip-compressed
creator: cchlebak
date_created: 2023-10-18T07:38:34Z
date_updated: 2023-10-18T07:56:08Z
file_id: '14440'
file_name: Confavreux Thesis.zip
file_size: 68406739
relation: source_file
file_date_updated: 2023-10-18T07:56:08Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa_version: Published Version
page: '148'
project:
- _id: 0aacfa84-070f-11eb-9043-d7eb2c709234
call_identifier: H2020
grant_number: '819603'
name: Learning the shape of synaptic plasticity rules for neuronal architectures
and function through machine learning.
publication_identifier:
issn:
- 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '9633'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
title: 'Synapseek: Meta-learning synaptic plasticity rules'
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...