---
_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
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
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'
...
---
_id: '14425'
abstract:
- lang: eng
text: 'Water adsorption and dissociation processes on pristine low-index TiO2 interfaces
are important but poorly understood outside the well-studied anatase (101) and
rutile (110). To understand these, we construct three sets of machine learning
potentials that are simultaneously applicable to various TiO2 surfaces, based
on three density-functional-theory approximations. Here we show the water dissociation
free energies on seven pristine TiO2 surfaces, and predict that anatase (100),
anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase
(101) and rutile (100) have mostly molecular adsorption, while the simulations
of rutile (110) sensitively depend on the slab thickness and molecular adsorption
is preferred with thick slabs. Moreover, using an automated algorithm, we reveal
that these surfaces follow different types of atomistic mechanisms for proton
transfer and water dissociation: one-step, two-step, or both. These mechanisms
can be rationalized based on the arrangements of water molecules on the different
surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces
react with water in distinct ways, and cannot be represented using just the low-energy
anatase (101) and rutile (110) surfaces.'
acknowledgement: F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre
(CSCS) for the generous allocation of CPU hours via production project s1108 at
the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge
Tier-2 system operated by the University of Cambridge Research Computing Service
funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing
Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank
the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab
Initio Molecular Dynamics at the Exa-Scale” project. This project has received funding
from the European Union’s Horizon 2020 research and innovation programme under the
Marie Skłodowska-Curie grant agreement No 101034413.
article_number: '6131'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Zezhu
full_name: Zeng, Zezhu
id: 54a2c730-803f-11ed-ab7e-95b29d2680e7
last_name: Zeng
- first_name: Felix
full_name: Wodaczek, Felix
id: 8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e
last_name: Wodaczek
orcid: 0009-0000-1457-795X
- first_name: Keyang
full_name: Liu, Keyang
last_name: Liu
- first_name: Frederick
full_name: Stein, Frederick
last_name: Stein
- first_name: Jürg
full_name: Hutter, Jürg
last_name: Hutter
- first_name: Ji
full_name: Chen, Ji
last_name: Chen
- first_name: Bingqing
full_name: Cheng, Bingqing
id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
last_name: Cheng
orcid: 0000-0002-3584-9632
citation:
ama: Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation
on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations.
Nature Communications. 2023;14. doi:10.1038/s41467-023-41865-8
apa: Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng,
B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2
surfaces from machine learning molecular dynamics simulations. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-023-41865-8
chicago: Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter,
Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine
Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.”
Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8.
ieee: Z. Zeng et al., “Mechanistic insight on water dissociation on pristine
low-index TiO2 surfaces from machine learning molecular dynamics simulations,”
Nature Communications, vol. 14. Springer Nature, 2023.
ista: Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic
insight on water dissociation on pristine low-index TiO2 surfaces from machine
learning molecular dynamics simulations. Nature Communications. 14, 6131.
mla: Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine
Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.”
Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.
short: Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature
Communications 14 (2023).
date_created: 2023-10-15T22:01:10Z
date_published: 2023-10-02T00:00:00Z
date_updated: 2023-12-13T13:02:07Z
day: '02'
ddc:
- '540'
- '000'
department:
- _id: BiCh
- _id: GradSch
doi: 10.1038/s41467-023-41865-8
ec_funded: 1
external_id:
arxiv:
- '2303.07433'
isi:
- '001084354900008'
pmid:
- '37783698'
file:
- access_level: open_access
checksum: 7d1dffd36b672ec679f08f70ce79da87
content_type: application/pdf
creator: dernst
date_created: 2023-10-16T07:34:49Z
date_updated: 2023-10-16T07:34:49Z
file_id: '14432'
file_name: 2023_NatureComm_Zeng.pdf
file_size: 3194116
relation: main_file
success: 1
file_date_updated: 2023-10-16T07:34:49Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/BingqingCheng/TiO2-water
scopus_import: '1'
status: public
title: Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces
from machine learning molecular dynamics simulations
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: '14426'
abstract:
- lang: eng
text: To meet the physiological demands of the body, organs need to establish a
functional tissue architecture and adequate size as the embryo develops to adulthood.
In the liver, uni- and bipotent progenitor differentiation into hepatocytes and
biliary epithelial cells (BECs), and their relative proportions, comprise the
functional architecture. Yet, the contribution of individual liver progenitors
at the organ level to both fates, and their specific proportion, is unresolved.
Combining mathematical modelling with organ-wide, multispectral FRaeppli-NLS lineage
tracing in zebrafish, we demonstrate that a precise BEC-to-hepatocyte ratio is
established (i) fast, (ii) solely by heterogeneous lineage decisions from uni-
and bipotent progenitors, and (iii) independent of subsequent cell type–specific
proliferation. Extending lineage tracing to adulthood determined that embryonic
cells undergo spatially heterogeneous three-dimensional growth associated with
distinct environments. Strikingly, giant clusters comprising almost half a ventral
lobe suggest lobe-specific dominant-like growth behaviours. We show substantial
hepatocyte polyploidy in juveniles representing another hallmark of postembryonic
liver growth. Our findings uncover heterogeneous progenitor contributions to tissue
architecture-defining cell type proportions and postembryonic organ growth as
key mechanisms forming the adult liver.
acknowledgement: "We thank the Ober group for discussion and comments on the manuscript.
We are grateful to\r\nDr. F. Lemaigre for feedback on the manuscript and Dr. T.
Piotrowski for invaluable support.\r\nWe thank the department of experimental medicine
(AEM) in Copenhagen for expert fish\r\ncare. We gratefully acknowledge the DanStem
Imaging Platform (University of Copenhagen)\r\nfor support and assistance in this
work.\r\nThis work is supported by Novo Nordisk Foundation grant NNF17CC0027852
(EAO);\r\nNordisk Foundation grant NNF19OC0058327 (EAO); Novo Nordisk Foundation
grant\r\nNNF17OC0031204 (PRL); https://novonordiskfonden.dk/en/; Danish National\r\nResearch
Foundation grant DNRF116 (EAO and AT); https://dg.dk/en/; John and Birthe Meyer\r\nFoundation
(PRL) and European Research Council (ERC) under the EU Horizon 2020 research and
Innovation Programme Grant Agreement No. 851288 (EH)."
article_number: e3002315
article_processing_charge: No
article_type: original
author:
- first_name: Iris A.
full_name: Unterweger, Iris A.
last_name: Unterweger
- first_name: Julie
full_name: Klepstad, Julie
last_name: Klepstad
- 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: Pia R.
full_name: Lundegaard, Pia R.
last_name: Lundegaard
- first_name: Ala
full_name: Trusina, Ala
last_name: Trusina
- first_name: Elke A.
full_name: Ober, Elke A.
last_name: Ober
citation:
ama: Unterweger IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA. Lineage
tracing identifies heterogeneous hepatoblast contribution to cell lineages and
postembryonic organ growth dynamics. PLoS Biology. 2023;21(10). doi:10.1371/journal.pbio.3002315
apa: Unterweger, I. A., Klepstad, J., Hannezo, E. B., Lundegaard, P. R., Trusina,
A., & Ober, E. A. (2023). Lineage tracing identifies heterogeneous hepatoblast
contribution to cell lineages and postembryonic organ growth dynamics. PLoS
Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002315
chicago: Unterweger, Iris A., Julie Klepstad, Edouard B Hannezo, Pia R. Lundegaard,
Ala Trusina, and Elke A. Ober. “Lineage Tracing Identifies Heterogeneous Hepatoblast
Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” PLoS
Biology. Public Library of Science, 2023. https://doi.org/10.1371/journal.pbio.3002315.
ieee: I. A. Unterweger, J. Klepstad, E. B. Hannezo, P. R. Lundegaard, A. Trusina,
and E. A. Ober, “Lineage tracing identifies heterogeneous hepatoblast contribution
to cell lineages and postembryonic organ growth dynamics,” PLoS Biology,
vol. 21, no. 10. Public Library of Science, 2023.
ista: Unterweger IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA.
2023. Lineage tracing identifies heterogeneous hepatoblast contribution to cell
lineages and postembryonic organ growth dynamics. PLoS Biology. 21(10), e3002315.
mla: Unterweger, Iris A., et al. “Lineage Tracing Identifies Heterogeneous Hepatoblast
Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” PLoS
Biology, vol. 21, no. 10, e3002315, Public Library of Science, 2023, doi:10.1371/journal.pbio.3002315.
short: I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina,
E.A. Ober, PLoS Biology 21 (2023).
date_created: 2023-10-15T22:01:10Z
date_published: 2023-10-04T00:00:00Z
date_updated: 2023-10-16T07:25:48Z
day: '04'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1371/journal.pbio.3002315
ec_funded: 1
file:
- access_level: open_access
checksum: 40a2b11b41d70a0e5939f8a52b66e389
content_type: application/pdf
creator: dernst
date_created: 2023-10-16T07:20:49Z
date_updated: 2023-10-16T07:20:49Z
file_id: '14431'
file_name: 2023_PloSBiology_Unterweger.pdf
file_size: 6193110
relation: main_file
success: 1
file_date_updated: 2023-10-16T07:20:49Z
has_accepted_license: '1'
intvolume: ' 21'
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 05943252-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '851288'
name: Design Principles of Branching Morphogenesis
publication: PLoS Biology
publication_identifier:
eissn:
- 1545-7885
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/JulieKlepstad/LiverDevelopment
scopus_import: '1'
status: public
title: Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages
and postembryonic organ growth dynamics
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: 21
year: '2023'
...
---
_id: '14427'
abstract:
- lang: eng
text: In the paper, we establish Squash Rigidity Theorem—the dynamical spectral
rigidity for piecewise analytic Bunimovich squash-type stadia whose convex arcs
are homothetic. We also establish Stadium Rigidity Theorem—the dynamical spectral
rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a
priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute
the Lyapunov exponents along the maximal period two orbit, as well as the value
of the Peierls’ Barrier function from the maximal marked length spectrum associated
to the rotation number 2n/4n+1.
acknowledgement: 'VK acknowledges a partial support by the NSF grant DMS-1402164 and
ERC Grant #885707. Discussions with Martin Leguil and Jacopo De Simoi were very
useful. JC visited the University of Maryland and thanks for the hospitality. Also,
JC was partially supported by the National Key Research and Development Program
of China (No.2022YFA1005802), the NSFC Grant 12001392 and NSF of Jiangsu BK20200850.
H.-K. Zhang is partially supported by the National Science Foundation (DMS-2220211),
as well as Simons Foundation Collaboration Grants for Mathematicians (706383).'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jianyu
full_name: Chen, Jianyu
last_name: Chen
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Hong Kun
full_name: Zhang, Hong Kun
last_name: Zhang
citation:
ama: Chen J, Kaloshin V, Zhang HK. Length spectrum rigidity for piecewise analytic
Bunimovich billiards. Communications in Mathematical Physics. 2023. doi:10.1007/s00220-023-04837-z
apa: Chen, J., Kaloshin, V., & Zhang, H. K. (2023). Length spectrum rigidity
for piecewise analytic Bunimovich billiards. Communications in Mathematical
Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04837-z
chicago: Chen, Jianyu, Vadim Kaloshin, and Hong Kun Zhang. “Length Spectrum Rigidity
for Piecewise Analytic Bunimovich Billiards.” Communications in Mathematical
Physics. Springer Nature, 2023. https://doi.org/10.1007/s00220-023-04837-z.
ieee: J. Chen, V. Kaloshin, and H. K. Zhang, “Length spectrum rigidity for piecewise
analytic Bunimovich billiards,” Communications in Mathematical Physics.
Springer Nature, 2023.
ista: Chen J, Kaloshin V, Zhang HK. 2023. Length spectrum rigidity for piecewise
analytic Bunimovich billiards. Communications in Mathematical Physics.
mla: Chen, Jianyu, et al. “Length Spectrum Rigidity for Piecewise Analytic Bunimovich
Billiards.” Communications in Mathematical Physics, Springer Nature, 2023,
doi:10.1007/s00220-023-04837-z.
short: J. Chen, V. Kaloshin, H.K. Zhang, Communications in Mathematical Physics
(2023).
date_created: 2023-10-15T22:01:11Z
date_published: 2023-09-29T00:00:00Z
date_updated: 2023-12-13T13:02:44Z
day: '29'
department:
- _id: VaKa
doi: 10.1007/s00220-023-04837-z
ec_funded: 1
external_id:
arxiv:
- '1902.07330'
isi:
- '001073177200001'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1902.07330
month: '09'
oa: 1
oa_version: Preprint
project:
- _id: 9B8B92DE-BA93-11EA-9121-9846C619BF3A
call_identifier: H2020
grant_number: '885707'
name: Spectral rigidity and integrability for billiards and geodesic flows
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- 1432-0916
issn:
- 0010-3616
publication_status: epub_ahead
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Length spectrum rigidity for piecewise analytic Bunimovich billiards
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14428'
abstract:
- lang: eng
text: "Suppose we have two hash functions h1 and h2, but we trust the security of
only one of them. To mitigate this worry, we wish to build a hash combiner Ch1,h2
which is secure so long as one of the underlying hash functions is. This question
has been well-studied in the regime of collision resistance. In this case, concatenating
the two hash function outputs clearly works. Unfortunately, a long series of works
(Boneh and Boyen, CRYPTO’06; Pietrzak, Eurocrypt’07; Pietrzak, CRYPTO’08) showed
no (noticeably) shorter combiner for collision resistance is possible.\r\nIn this
work, we revisit this pessimistic state of affairs, motivated by the observation
that collision-resistance is insufficient for many interesting applications of
cryptographic hash functions anyway. We argue the right formulation of the “hash
combiner” is to build what we call random oracle (RO) combiners, utilizing stronger
assumptions for stronger constructions.\r\nIndeed, we circumvent the previous
lower bounds for collision resistance by constructing a simple length-preserving
RO combiner C˜h1,h2Z1,Z2(M)=h1(M,Z1)⊕h2(M,Z2),where Z1,Z2\r\n are random salts
of appropriate length. We show that this extra randomness is necessary for RO
combiners, and indeed our construction is somewhat tight with this lower bound.\r\nOn
the negative side, we show that one cannot generically apply the composition theorem
to further replace “monolithic” hash functions h1 and h2 by some simpler indifferentiable
construction (such as the Merkle-Damgård transformation) from smaller components,
such as fixed-length compression functions. Finally, despite this issue, we directly
prove collision resistance of the Merkle-Damgård variant of our combiner, where
h1 and h2 are replaced by iterative Merkle-Damgård hashes applied to a fixed-length
compression function. Thus, we can still subvert the concatenation barrier for
collision-resistance combiners while utilizing practically small fixed-length
components underneath."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Yevgeniy
full_name: Dodis, Yevgeniy
last_name: Dodis
- first_name: Niels
full_name: Ferguson, Niels
last_name: Ferguson
- first_name: Eli
full_name: Goldin, Eli
last_name: Goldin
- first_name: Peter
full_name: Hall, Peter
last_name: Hall
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners:
Breaking the concatenation barrier for collision-resistance. In: 43rd Annual
International Cryptology Conference. Vol 14082. Springer Nature; 2023:514-546.
doi:10.1007/978-3-031-38545-2_17'
apa: 'Dodis, Y., Ferguson, N., Goldin, E., Hall, P., & Pietrzak, K. Z. (2023).
Random oracle combiners: Breaking the concatenation barrier for collision-resistance.
In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546).
Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-38545-2_17'
chicago: 'Dodis, Yevgeniy, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof
Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”
In 43rd Annual International Cryptology Conference, 14082:514–46. Springer
Nature, 2023. https://doi.org/10.1007/978-3-031-38545-2_17.'
ieee: 'Y. Dodis, N. Ferguson, E. Goldin, P. Hall, and K. Z. Pietrzak, “Random oracle
combiners: Breaking the concatenation barrier for collision-resistance,” in 43rd
Annual International Cryptology Conference, Santa Barbara, CA, United States,
2023, vol. 14082, pp. 514–546.'
ista: 'Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. 2023. Random oracle combiners:
Breaking the concatenation barrier for collision-resistance. 43rd Annual International
Cryptology Conference. CRYPTO: Advances in Cryptology, LNCS, vol. 14082, 514–546.'
mla: 'Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation
Barrier for Collision-Resistance.” 43rd Annual International Cryptology Conference,
vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.'
short: Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual
International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
conference:
end_date: 2023-08-24
location: Santa Barbara, CA, United States
name: 'CRYPTO: Advances in Cryptology'
start_date: 2023-08-20
date_created: 2023-10-15T22:01:11Z
date_published: 2023-08-09T00:00:00Z
date_updated: 2023-10-16T08:02:11Z
day: '09'
department:
- _id: KrPi
doi: 10.1007/978-3-031-38545-2_17
intvolume: ' 14082'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2023/1041
month: '08'
oa: 1
oa_version: Preprint
page: 514-546
publication: 43rd Annual International Cryptology Conference
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031385445'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Random oracle combiners: Breaking the concatenation barrier for collision-resistance'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14082
year: '2023'
...
---
_id: '14434'
abstract:
- lang: eng
text: High entropy alloys (HEAs) are highly suitable candidate catalysts for oxygen
evolution and reduction reactions (OER/ORR) as they offer numerous parameters
for optimizing the electronic structure and catalytic sites. Herein, FeCoNiMoW
HEA nanoparticles are synthesized using a solution‐based low‐temperature approach.
Such FeCoNiMoW nanoparticles show high entropy properties, subtle lattice distortions,
and modulated electronic structure, leading to superior OER performance with an
overpotential of 233 mV at 10 mA cm−2 and 276 mV at 100 mA cm−2.
Density functional theory calculations reveal the electronic structures of the
FeCoNiMoW active sites with an optimized d‐band center position that enables suitable
adsorption of OOH* intermediates and reduces the Gibbs free energy barrier in
the OER process. Aqueous zinc–air batteries (ZABs) based on this HEA demonstrate
a high open circuit potential of 1.59 V, a peak power density of 116.9 mW cm−2,
a specific capacity of 857 mAh gZn−1,
and excellent stability for over 660 h of continuous charge–discharge cycles.
Flexible and solid ZABs are also assembled and tested, displaying excellent charge–discharge
performance at different bending angles. This work shows the significance of 4d/5d
metal‐modulated electronic structure and optimized adsorption ability to improve
the performance of OER/ORR, ZABs, and beyond.
acknowledged_ssus:
- _id: EM-Fac
acknowledgement: The authors acknowledge funding from Generalitat de Catalunya 2021
SGR 01581; the project COMBENERGY, PID2019-105490RB-C32, from the Spanish Ministerio
de Ciencia e Innovación; the National Natural Science Foundation of China (22102002);
the Anhui Provincial Natural Science Foundation (2108085QE192); Zhejiang Province
key research and development project (2023C01191); the Foundation of State Key Laboratory
of High-efficiency Utilization of Coal and Green Chemical Engineering (GrantNo.2022-K31);
and The Key Research and Development Program of Hebei Province (20314305D). IREC
is funded by the CERCA Programme from the Generalitat de Catalunya. L.L.Y. thanks
the China Scholarship Council (CSC) for the scholarship support (202008130132).
This research was supported by the Scientific Service Units (SSU) of ISTA (Institute
of Science and Technology Austria) through resources provided by the Electron Microscopy
Facility (EMF). S.L., S.H., and M.I. acknowledge funding by ISTA and the Werner
Siemens.
article_number: '2303719'
article_processing_charge: No
article_type: original
author:
- first_name: Ren
full_name: He, Ren
last_name: He
- first_name: Linlin
full_name: Yang, Linlin
last_name: Yang
- first_name: Yu
full_name: Zhang, Yu
last_name: Zhang
- first_name: Daochuan
full_name: Jiang, Daochuan
last_name: Jiang
- first_name: Seungho
full_name: Lee, Seungho
id: BB243B88-D767-11E9-B658-BC13E6697425
last_name: Lee
orcid: 0000-0002-6962-8598
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: Zhifu
full_name: Liang, Zhifu
last_name: Liang
- first_name: Xuan
full_name: Lu, Xuan
last_name: Lu
- first_name: Ahmad
full_name: Ostovari Moghaddam, Ahmad
last_name: Ostovari Moghaddam
- first_name: Junshan
full_name: Li, Junshan
last_name: Li
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Ying
full_name: Xu, Ying
last_name: Xu
- first_name: Yingtang
full_name: Zhou, Yingtang
last_name: Zhou
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: He R, Yang L, Zhang Y, et al. A 3d‐4d‐5d high entropy alloy as a bifunctional
oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials.
2023. doi:10.1002/adma.202303719
apa: He, R., Yang, L., Zhang, Y., Jiang, D., Lee, S., Horta, S., … Cabot, A. (2023).
A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous
zinc–air batteries. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202303719
chicago: He, Ren, Linlin Yang, Yu Zhang, Daochuan Jiang, Seungho Lee, Sharona Horta,
Zhifu Liang, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst
for Robust Aqueous Zinc–Air Batteries.” Advanced Materials. Wiley, 2023.
https://doi.org/10.1002/adma.202303719.
ieee: R. He et al., “A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen
catalyst for robust aqueous zinc–air batteries,” Advanced Materials. Wiley,
2023.
ista: He R, Yang L, Zhang Y, Jiang D, Lee S, Horta S, Liang Z, Lu X, Ostovari Moghaddam
A, Li J, Ibáñez M, Xu Y, Zhou Y, Cabot A. 2023. A 3d‐4d‐5d high entropy alloy
as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced
Materials., 2303719.
mla: He, Ren, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst
for Robust Aqueous Zinc–Air Batteries.” Advanced Materials, 2303719, Wiley,
2023, doi:10.1002/adma.202303719.
short: R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A.
Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials
(2023).
date_created: 2023-10-17T10:52:23Z
date_published: 2023-07-24T00:00:00Z
date_updated: 2023-12-13T13:03:23Z
day: '24'
department:
- _id: MaIb
doi: 10.1002/adma.202303719
external_id:
isi:
- '001083876900001'
pmid:
- '37487245'
isi: 1
keyword:
- Mechanical Engineering
- Mechanics of Materials
- General Materials Science
language:
- iso: eng
month: '07'
oa_version: None
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: Advanced Materials
publication_identifier:
issn:
- 0935-9648
- 1521-4095
publication_status: epub_ahead
publisher: Wiley
quality_controlled: '1'
status: public
title: A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust
aqueous zinc–air batteries
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14435'
abstract:
- lang: eng
text: Low‐cost, safe, and environmental‐friendly rechargeable aqueous zinc‐ion batteries
(ZIBs) are promising as next‐generation energy storage devices for wearable electronics
among other applications. However, sluggish ionic transport kinetics and the unstable
electrode structure during ionic insertion/extraction hampers their deployment.
Herein, we propose a new cathode material based on a layered metal chalcogenide
(LMC), bismuth telluride (Bi2Te3), coated
with polypyrrole (PPy). Taking advantage of the PPy coating, the Bi2Te3@PPy
composite presents strong ionic absorption affinity, high oxidation resistance,
and high structural stability. The ZIBs based on Bi2Te3@PPy
cathodes exhibit high capacities and ultra‐long lifespans of over 5000 cycles.
They also present outstanding stability even under bending. In addition, we analyze
here the reaction mechanism using in situ X‐ray diffraction, X‐ray photoelectron
spectroscopy, and computational tools and demonstrate that, in the aqueous system,
Zn2+ is not inserted into the cathode as previously assumed.
In contrast, proton charge storage dominates the process. Overall, this work not
only shows the great potential of LMCs as ZIBs cathode materials and the advantages
of PPy coating, but also clarifies the charge/discharge mechanism in rechargeable
ZIBs based on LMCs.
article_number: '2305128'
article_processing_charge: No
article_type: original
author:
- first_name: Guifang
full_name: Zeng, Guifang
last_name: Zeng
- first_name: Qing
full_name: Sun, Qing
last_name: Sun
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: Shang
full_name: Wang, Shang
last_name: Wang
- first_name: Xuan
full_name: Lu, Xuan
last_name: Lu
- first_name: Chaoyue
full_name: Zhang, Chaoyue
last_name: Zhang
- first_name: Jing
full_name: Li, Jing
last_name: Li
- first_name: Junshan
full_name: Li, Junshan
last_name: Li
- first_name: Lijie
full_name: Ci, Lijie
last_name: Ci
- first_name: Yanhong
full_name: Tian, Yanhong
last_name: Tian
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: 'Zeng G, Sun Q, Horta S, et al. A layered Bi2Te3@PPy cathode for aqueous zinc
ion batteries: Mechanism and application in printed flexible batteries. Advanced
Materials. doi:10.1002/adma.202305128'
apa: 'Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C., … Cabot, A. (n.d.).
A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application
in printed flexible batteries. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202305128'
chicago: 'Zeng, Guifang, Qing Sun, Sharona Horta, Shang Wang, Xuan Lu, Chaoyue Zhang,
Jing Li, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries:
Mechanism and Application in Printed Flexible Batteries.” Advanced Materials.
Wiley, n.d. https://doi.org/10.1002/adma.202305128.'
ieee: 'G. Zeng et al., “A layered Bi2Te3@PPy cathode for aqueous zinc ion
batteries: Mechanism and application in printed flexible batteries,” Advanced
Materials. Wiley.'
ista: 'Zeng G, Sun Q, Horta S, Wang S, Lu X, Zhang C, Li J, Li J, Ci L, Tian Y,
Ibáñez M, Cabot A. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries:
Mechanism and application in printed flexible batteries. Advanced Materials.,
2305128.'
mla: 'Zeng, Guifang, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries:
Mechanism and Application in Printed Flexible Batteries.” Advanced Materials,
2305128, Wiley, doi:10.1002/adma.202305128.'
short: G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci,
Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
date_created: 2023-10-17T10:53:56Z
date_published: 2023-08-09T00:00:00Z
date_updated: 2023-12-13T13:03:53Z
day: '09'
department:
- _id: MaIb
doi: 10.1002/adma.202305128
external_id:
isi:
- '001085681000001'
pmid:
- '37555532'
isi: 1
keyword:
- Mechanical Engineering
- Mechanics of Materials
- General Materials Science
language:
- iso: eng
month: '08'
oa_version: None
pmid: 1
publication: Advanced Materials
publication_identifier:
eissn:
- 1521-4095
issn:
- 0935-9648
publication_status: accepted
publisher: Wiley
quality_controlled: '1'
status: public
title: 'A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and
application in printed flexible batteries'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14441'
abstract:
- lang: eng
text: We study the Fröhlich polaron model in R3, and establish the subleading term
in the strong coupling asymptotics of its ground state energy, corresponding to
the quantum corrections to the classical energy determined by the Pekar approximation.
acknowledgement: Funding from the European Union’s Horizon 2020 research and innovation
programme under the ERC grant agreement No 694227 is acknowledged. Open access funding
provided by Institute of Science and Technology (IST Austria).
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Morris
full_name: Brooks, Morris
id: B7ECF9FC-AA38-11E9-AC9A-0930E6697425
last_name: Brooks
orcid: 0000-0002-6249-0928
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Brooks M, Seiringer R. The Fröhlich Polaron at strong coupling: Part I - The
quantum correction to the classical energy. Communications in Mathematical
Physics. 2023;404:287-337. doi:10.1007/s00220-023-04841-3'
apa: 'Brooks, M., & Seiringer, R. (2023). The Fröhlich Polaron at strong coupling:
Part I - The quantum correction to the classical energy. Communications in
Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04841-3'
chicago: 'Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong
Coupling: Part I - The Quantum Correction to the Classical Energy.” Communications
in Mathematical Physics. Springer Nature, 2023. https://doi.org/10.1007/s00220-023-04841-3.'
ieee: 'M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part
I - The quantum correction to the classical energy,” Communications in Mathematical
Physics, vol. 404. Springer Nature, pp. 287–337, 2023.'
ista: 'Brooks M, Seiringer R. 2023. The Fröhlich Polaron at strong coupling: Part
I - The quantum correction to the classical energy. Communications in Mathematical
Physics. 404, 287–337.'
mla: 'Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling:
Part I - The Quantum Correction to the Classical Energy.” Communications in
Mathematical Physics, vol. 404, Springer Nature, 2023, pp. 287–337, doi:10.1007/s00220-023-04841-3.'
short: M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023)
287–337.
date_created: 2023-10-22T22:01:13Z
date_published: 2023-11-01T00:00:00Z
date_updated: 2023-10-31T12:22:51Z
day: '01'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1007/s00220-023-04841-3
ec_funded: 1
external_id:
arxiv:
- '2207.03156'
file:
- access_level: open_access
checksum: 1ae49b39247cb6b40ff75997381581b8
content_type: application/pdf
creator: dernst
date_created: 2023-10-31T12:21:39Z
date_updated: 2023-10-31T12:21:39Z
file_id: '14477'
file_name: 2023_CommMathPhysics_Brooks.pdf
file_size: 832375
relation: main_file
success: 1
file_date_updated: 2023-10-31T12:21:39Z
has_accepted_license: '1'
intvolume: ' 404'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 287-337
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- 1432-0916
issn:
- 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The Fröhlich Polaron at strong coupling: Part I - The quantum correction to
the classical energy'
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: 404
year: '2023'
...