---
_id: '14990'
abstract:
- lang: eng
text: The software artefact to evaluate the approximation of stationary distributions
implementation.
article_processing_charge: No
author:
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
citation:
ama: 'Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions.
2023. doi:10.5281/ZENODO.7548214'
apa: 'Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary
Distributions. Zenodo. https://doi.org/10.5281/ZENODO.7548214'
chicago: 'Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary
Distributions.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7548214.'
ieee: 'T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.”
Zenodo, 2023.'
ista: 'Meggendorfer T. 2023. Artefact for: Correct Approximation of Stationary Distributions,
Zenodo, 10.5281/ZENODO.7548214.'
mla: 'Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary
Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.'
short: T. Meggendorfer, (2023).
date_created: 2024-02-14T14:27:06Z
date_published: 2023-01-18T00:00:00Z
date_updated: 2024-02-27T07:19:32Z
day: '18'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.7548214
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by/4.0/
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.7548214
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '13139'
relation: used_in_publication
status: public
status: public
title: 'Artefact for: Correct Approximation of Stationary Distributions'
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14991'
abstract:
- lang: eng
text: This repository contains the data, scripts, WRF codes and files required to
reproduce the results of the manuscript "Assessing Memory in Convection Schemes
Using Idealized Tests" submitted to the Journal of Advances in Modeling Earth
Systems (JAMES).
article_processing_charge: No
author:
- first_name: Yi-Ling
full_name: Hwong, Yi-Ling
id: 1217aa61-4dd1-11ec-9ac3-f2ba3f17ee22
last_name: Hwong
orcid: 0000-0001-9281-3479
- first_name: Maxime
full_name: Colin, Maxime
last_name: Colin
- first_name: Philipp
full_name: Aglas, Philipp
id: 02eace56-97fc-11ee-b81a-f0939ca85a77
last_name: Aglas
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: Steven C.
full_name: Sherwood, Steven C.
last_name: Sherwood
citation:
ama: Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory
in convection schemes using idealized tests. 2023. doi:10.5281/ZENODO.7757041
apa: Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023).
Data-assessing memory in convection schemes using idealized tests. Zenodo. https://doi.org/10.5281/ZENODO.7757041
chicago: Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven
C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.”
Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
ieee: Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing
memory in convection schemes using idealized tests.” Zenodo, 2023.
ista: Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Data-assessing
memory in convection schemes using idealized tests, Zenodo, 10.5281/ZENODO.7757041.
mla: Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using
Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.
short: Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
date_created: 2024-02-14T14:37:57Z
date_published: 2023-06-23T00:00:00Z
date_updated: 2024-02-27T07:26:31Z
day: '23'
ddc:
- '550'
department:
- _id: CaMu
doi: 10.5281/ZENODO.7757041
ec_funded: 1
has_accepted_license: '1'
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.7757041
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publisher: Zenodo
related_material:
record:
- id: '14654'
relation: used_in_publication
status: public
status: public
title: Data-assessing memory in convection schemes using idealized tests
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14992'
abstract:
- lang: eng
text: In this chapter we first review the Levy–Lieb functional, which gives the
lowest kinetic and interaction energy that can be reached with all possible quantum
states having a given density. We discuss two possible convex generalizations
of this functional, corresponding to using mixed canonical and grand-canonical
states, respectively. We present some recent works about the local density approximation,
in which the functionals get replaced by purely local functionals constructed
using the uniform electron gas energy per unit volume. We then review the known
upper and lower bounds on the Levy–Lieb functionals. We start with the kinetic
energy alone, then turn to the classical interaction alone, before we are able
to put everything together. A later section is devoted to the Hohenberg–Kohn theorem
and the role of many-body unique continuation in its proof.
alternative_title:
- Mathematics and Molecular Modeling
article_processing_charge: No
arxiv: 1
author:
- first_name: Mathieu
full_name: Lewin, Mathieu
last_name: Lewin
- first_name: Elliott H.
full_name: Lieb, Elliott H.
last_name: Lieb
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional
Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st
ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3'
apa: Lewin, M., Lieb, E. H., & Seiringer, R. (2023). Universal Functionals in
Density Functional Theory. In E. Cances & G. Friesecke (Eds.), Density
Functional Theory (1st ed., pp. 115–182). Springer. https://doi.org/10.1007/978-3-031-22340-2_3
chicago: Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals
in Density Functional Theory.” In Density Functional Theory, edited by
Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. https://doi.org/10.1007/978-3-031-22340-2_3.
ieee: M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density
Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and
G. Friesecke, Eds. Springer, 2023, pp. 115–182.
ista: 'Lewin M, Lieb EH, Seiringer R. 2023.Universal Functionals in Density Functional
Theory. In: Density Functional Theory. Mathematics and Molecular Modeling, , 115–182.'
mla: Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.”
Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st
ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.
short: M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density
Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
date_created: 2024-02-14T14:44:33Z
date_published: 2023-07-19T00:00:00Z
date_updated: 2024-02-20T08:33:06Z
day: '19'
department:
- _id: RoSe
doi: 10.1007/978-3-031-22340-2_3
edition: '1'
editor:
- first_name: Eric
full_name: Cances, Eric
last_name: Cances
- first_name: Gero
full_name: Friesecke, Gero
last_name: Friesecke
external_id:
arxiv:
- '1912.10424'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1912.10424
month: '07'
oa: 1
oa_version: Preprint
page: 115-182
publication: Density Functional Theory
publication_identifier:
eisbn:
- '9783031223402'
isbn:
- '9783031223396'
issn:
- 3005-0286
publication_status: published
publisher: Springer
quality_controlled: '1'
series_title: MAMOMO
status: public
title: Universal Functionals in Density Functional Theory
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14993'
abstract:
- lang: eng
text: "Traditional top-down approaches for global health have historically failed
to achieve social progress (Hoffman et al., 2015; Hoffman & Røttingen, 2015).
Recently, however, a more holistic, multi-level approach termed One Health (OH)
(Osterhaus et al., 2020) is being adopted. Several sets of challenges have been
identified for the implementation of OH (dos S. Ribeiro et al., 2019), including
policy and funding, education and training, and multi-actor, multi-domain, and
multi-level collaborations. These exist despite the increasing accessibility to\r\nknowledge
and digital collaborative research tools through the internet. To address some
of these challenges, we propose a general framework for grassroots community-based
means of participatory research. Additionally, we present a specific roadmap to
create a Machine Learning for Global Health community in Africa. The proposed
framework aims to enable any small group of individuals with scarce resources
to build and sustain an online community within approximately two years. We provide
a discussion on the potential impact of the proposed framework for global health
research collaborations."
acknowledgement: "Houcemeddine Turki’s contributions to this final output have been
funded through the Adapting\r\nWikidata to support clinical practice using Data
Science, Semantic Web and Machine Learning\r\nproject, which is part of the Wikimedia
Research Fund maintained by the Wikimedia Foundation in San Francisco, California,
United States of America."
article_processing_charge: No
author:
- first_name: Christopher
full_name: Currin, Christopher
id: e8321fc5-3091-11eb-8a53-83f309a11ac9
last_name: Currin
orcid: 0000-0002-4809-5059
- first_name: Mercy Nyamewaa
full_name: Asiedu , Mercy Nyamewaa
last_name: 'Asiedu '
- first_name: Chris
full_name: Fourie, Chris
last_name: Fourie
- first_name: Benjamin
full_name: Rosman, Benjamin
last_name: Rosman
- first_name: Houcemeddine
full_name: Turki, Houcemeddine
last_name: Turki
- first_name: Atnafu
full_name: Lambebo Tonja, Atnafu
last_name: Lambebo Tonja
- first_name: Jade
full_name: Abbott, Jade
last_name: Abbott
- first_name: Marvellous
full_name: Ajala, Marvellous
last_name: Ajala
- first_name: Sadiq Adewale
full_name: Adedayo, Sadiq Adewale
last_name: Adedayo
- first_name: Chris Chinenye
full_name: Emezue, Chris Chinenye
last_name: Emezue
- first_name: Daphne
full_name: Machangara, Daphne
last_name: Machangara
citation:
ama: 'Currin C, Asiedu MN, Fourie C, et al. A framework for grassroots research
collaboration in machine learning and global health. In: 1st Workshop on Machine
Learning & Global Health. OpenReview; 2023.'
apa: 'Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja,
A., … Machangara, D. (2023). A framework for grassroots research collaboration
in machine learning and global health. In 1st Workshop on Machine Learning
& Global Health. Kigali, Rwanda: OpenReview.'
chicago: Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman,
Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for
Grassroots Research Collaboration in Machine Learning and Global Health.” In 1st
Workshop on Machine Learning & Global Health. OpenReview, 2023.
ieee: C. Currin et al., “A framework for grassroots research collaboration
in machine learning and global health,” in 1st Workshop on Machine Learning
& Global Health, Kigali, Rwanda, 2023.
ista: 'Currin C, Asiedu MN, Fourie C, Rosman B, Turki H, Lambebo Tonja A, Abbott
J, Ajala M, Adedayo SA, Emezue CC, Machangara D. 2023. A framework for grassroots
research collaboration in machine learning and global health. 1st Workshop on
Machine Learning & Global Health. ICLR: International Conference on Learning
Representations.'
mla: Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration
in Machine Learning and Global Health.” 1st Workshop on Machine Learning &
Global Health, OpenReview, 2023.
short: C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja,
J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop
on Machine Learning & Global Health, OpenReview, 2023.
conference:
end_date: 2023-05-05
location: Kigali, Rwanda
name: 'ICLR: International Conference on Learning Representations'
start_date: 2023-05-05
date_created: 2024-02-14T15:11:48Z
date_published: 2023-03-02T00:00:00Z
date_updated: 2024-02-28T12:12:00Z
day: '02'
department:
- _id: TiVo
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://openreview.net/forum?id=jHY_G91R880
month: '03'
oa: 1
oa_version: Published Version
publication: 1st Workshop on Machine Learning & Global Health
publication_status: published
publisher: OpenReview
quality_controlled: '1'
status: public
title: A framework for grassroots research collaboration in machine learning and global
health
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14994'
abstract:
- lang: eng
text: This resource contains the artifacts for reproducing the experimental results
presented in the paper titled "A Flexible Toolchain for Symbolic Rabin Games under
Fair and Stochastic Uncertainties" that has been submitted in CAV 2023.
article_processing_charge: No
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: Mateusz
full_name: Rychlicki, Mateusz
last_name: Rychlicki
- 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, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain
for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
apa: Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S.
(2023). A flexible toolchain for symbolic rabin games under fair and stochastic
uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
chicago: Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck,
and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair
and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
ieee: R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible
toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo,
2023.
ista: Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible
toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo,
10.5281/ZENODO.7877790.
mla: Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under
Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
short: R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
date_created: 2024-02-14T15:13:00Z
date_published: 2023-04-28T00:00:00Z
date_updated: 2024-02-27T07:39:51Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.5281/ZENODO.7877790
has_accepted_license: '1'
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.7877790
month: '04'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '14758'
relation: used_in_publication
status: public
status: public
title: A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14995'
abstract:
- lang: eng
text: "Lincheck is a new practical and user-friendly framework for testing concurrent
data structures on the Java Virtual Machine (JVM). It provides a simple and declarative
way to write concurrent tests. Instead of describing how to perform the test,
users specify what to test by declaring all the operations to examine; the framework
automatically handles the rest. As a result, tests written with Lincheck are concise
and easy to understand. \r\nThe artifact presents a collection of Lincheck tests
that discover new bugs in popular libraries and implementations from the concurrency
literature -- they are listed in Table 1, Section 3. To evaluate the performance
of Lincheck analysis, the collection of tests also includes those which check
correct data structures and, thus, always succeed. Similarly to Table 2, Section
3, the experiments demonstrate the reasonable time to perform a test. Finally,
Lincheck provides user-friendly output with an easy-to-follow trace to reproduce
a detected error, significantly simplifying further investigation."
article_processing_charge: No
author:
- first_name: Nikita
full_name: Koval, Nikita
id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87
last_name: Koval
- first_name: Alexander
full_name: Fedorov, Alexander
id: 2e711909-896a-11ed-bdf8-eb0f5a2984c6
last_name: Fedorov
- first_name: Maria
full_name: Sokolova, Maria
last_name: Sokolova
- first_name: Dmitry
full_name: Tsitelov, Dmitry
last_name: Tsitelov
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical
framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757'
apa: 'Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A.
(2023). Lincheck: A practical framework for testing concurrent data structures
on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757'
chicago: 'Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and
Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data
Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.'
ieee: 'N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck:
A practical framework for testing concurrent data structures on JVM.” Zenodo,
2023.'
ista: 'Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck:
A practical framework for testing concurrent data structures on JVM, Zenodo, 10.5281/ZENODO.7877757.'
mla: 'Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent
Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.'
short: N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
date_created: 2024-02-14T15:14:13Z
date_published: 2023-04-28T00:00:00Z
date_updated: 2024-02-27T07:46:52Z
day: '28'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.5281/ZENODO.7877757
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.7877757
month: '04'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '14260'
relation: used_in_publication
status: public
status: public
title: 'Lincheck: A practical framework for testing concurrent data structures on
JVM'
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15023'
abstract:
- lang: eng
text: Reinforcement learning has shown promising results in learning neural network
policies for complicated control tasks. However, the lack of formal guarantees
about the behavior of such policies remains an impediment to their deployment.
We propose a novel method for learning a composition of neural network policies
in stochastic environments, along with a formal certificate which guarantees that
a specification over the policy's behavior is satisfied with the desired probability.
Unlike prior work on verifiable RL, our approach leverages the compositional nature
of logical specifications provided in SpectRL, to learn over graphs of probabilistic
reach-avoid specifications. The formal guarantees are provided by learning neural
network policies together with reach-avoid supermartingales (RASM) for the graph’s
sub-tasks and then composing them into a global policy. We also derive a tighter
lower bound compared to previous work on the probability of reach-avoidance implied
by a RASM, which is required to find a compositional policy with an acceptable
probabilistic threshold for complex tasks with multiple edge policies. We implement
a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.
acknowledgement: "This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS)
and the ERC-2020-\r\nCoG 863818 (FoRM-SMArt)."
article_processing_charge: No
arxiv: 1
author:
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Abhinav
full_name: Verma, Abhinav
id: a235593c-d7fa-11eb-a0c5-b22ca3c66ee6
last_name: Verma
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: 'Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy
learning in stochastic control systems with formal guarantees. In: 37th Conference
on Neural Information Processing Systems. ; 2023.'
apa: Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A.
(2023). Compositional policy learning in stochastic control systems with formal
guarantees. In 37th Conference on Neural Information Processing Systems.
New Orleans, LO, United States.
chicago: Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee,
and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems
with Formal Guarantees.” In 37th Conference on Neural Information Processing
Systems, 2023.
ieee: D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional
policy learning in stochastic control systems with formal guarantees,” in 37th
Conference on Neural Information Processing Systems, New Orleans, LO, United
States, 2023.
ista: 'Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional
policy learning in stochastic control systems with formal guarantees. 37th Conference
on Neural Information Processing Systems. NeurIPS: Neural Information Processing
Systems.'
mla: Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control
Systems with Formal Guarantees.” 37th Conference on Neural Information Processing
Systems, 2023.
short: D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th
Conference on Neural Information Processing Systems, 2023.
conference:
end_date: 2023-12-16
location: New Orleans, LO, United States
name: 'NeurIPS: Neural Information Processing Systems'
start_date: 2023-12-10
date_created: 2024-02-25T09:23:24Z
date_published: 2023-12-15T00:00:00Z
date_updated: 2025-07-14T09:10:04Z
day: '15'
department:
- _id: ToHe
- _id: KrCh
ec_funded: 1
external_id:
arxiv:
- '2312.01456'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2312.01456
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 37th Conference on Neural Information Processing Systems
publication_status: epub_ahead
quality_controlled: '1'
status: public
title: Compositional policy learning in stochastic control systems with formal guarantees
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15027'
abstract:
- lang: eng
text: 'This data repository underpins the paper, published in PNAS (doi pending)
and bioarxiv (doi: https://doi.org/10.1101/2023.07.05.547777).'
article_processing_charge: No
author:
- first_name: Samo
full_name: Curk, Samo
id: 031eff0d-d481-11ee-8508-cd12a7a86e5b
last_name: Curk
orcid: 0000-0001-6160-9766
citation:
ama: Curk S. aggregation_data. 2023.
apa: Curk, S. (2023). aggregation_data. Figshare.
chicago: Curk, Samo. “Aggregation_data.” Figshare, 2023.
ieee: S. Curk, “aggregation_data.” Figshare, 2023.
ista: Curk S. 2023. aggregation_data, Figshare.
mla: Curk, Samo. Aggregation_data. Figshare, 2023.
short: S. Curk, (2023).
date_created: 2024-02-26T08:37:57Z
date_published: 2023-12-13T00:00:00Z
date_updated: 2024-02-26T08:45:55Z
day: '13'
ddc:
- '570'
department:
- _id: AnSa
has_accepted_license: '1'
license: https://creativecommons.org/publicdomain/zero/1.0/
main_file_link:
- open_access: '1'
url: https://figshare.com/s/85798bba4ebc68d822ed
month: '12'
oa: 1
oa_version: Published Version
publisher: Figshare
related_material:
record:
- id: '15001'
relation: used_in_publication
status: public
status: public
title: aggregation_data
tmp:
image: /images/cc_0.png
legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
name: Creative Commons Public Domain Dedication (CC0 1.0)
short: CC0 (1.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15035'
abstract:
- lang: eng
text: "This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties
With Prefix Transducers accepted at RV'23, and give further pointers to implementation
of prefix transducers.\r\nIt has two parts: a pre-compiled docker image and sources
that one can use to compile (locally or in docker) the software and run the experiments."
article_processing_charge: No
author:
- first_name: Marek
full_name: Chalupa, Marek
id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
last_name: Chalupa
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers.
2023. doi:10.5281/ZENODO.8191723
apa: Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with
prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
chicago: Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with
Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
ieee: M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.”
Zenodo, 2023.
ista: Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers,
Zenodo, 10.5281/ZENODO.8191723.
mla: Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with
Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
short: M. Chalupa, T.A. Henzinger, (2023).
date_created: 2024-02-28T07:34:34Z
date_published: 2023-07-28T00:00:00Z
date_updated: 2024-02-28T12:33:09Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.5281/ZENODO.8191723
ec_funded: 1
has_accepted_license: '1'
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.8191722
month: '07'
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
publisher: Zenodo
related_material:
record:
- id: '14076'
relation: used_in_publication
status: public
status: public
title: Monitoring hyperproperties with prefix transducers
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '15039'
abstract:
- lang: eng
text: 'A crucial property for achieving secure, trustworthy and interpretable deep
learning systems is their robustness: small changes to a system''s inputs should
not result in large changes to its outputs. Mathematically, this means one strives
for networks with a small Lipschitz constant. Several recent works have focused
on how to construct such Lipschitz networks, typically by imposing constraints
on the weight matrices. In this work, we study an orthogonal aspect, namely the
role of the activation function. We show that commonly used activation functions,
such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily
restrict the class of representable functions, even in the simplest one-dimensional
setting. We furthermore introduce the new N-activation function that is provably
more expressive than currently popular activation functions. We provide code at
this https URL.'
article_number: '2311.06103'
article_processing_charge: No
arxiv: 1
author:
- first_name: Bernd
full_name: Prach, Bernd
id: 2D561D42-C427-11E9-89B4-9C1AE6697425
last_name: Prach
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
arXiv. doi:10.48550/ARXIV.2311.06103
apa: Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive
with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
chicago: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
ieee: B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive
with N-activations,” arXiv. .
ista: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
arXiv, 2311.06103.
mla: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
short: B. Prach, C. Lampert, ArXiv (n.d.).
date_created: 2024-02-28T17:59:32Z
date_published: 2023-11-10T00:00:00Z
date_updated: 2024-03-04T07:02:39Z
day: '10'
department:
- _id: GradSch
- _id: ChLa
doi: 10.48550/ARXIV.2311.06103
external_id:
arxiv:
- '2311.06103'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2311.06103
month: '11'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: 1-Lipschitz neural networks are more expressive with N-activations
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13053'
abstract:
- lang: eng
text: 'Deep neural networks (DNNs) often have to be compressed, via pruning and/or
quantization, before they can be deployed in practical settings. In this work
we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization
step in a principled way, in order to produce models whose local loss behavior
is stable under compression operations such as pruning. Thus, dense models trained
via CrAM should be compressible post-training, in a single step, without significant
accuracy loss. Experimental results on standard benchmarks, such as residual networks
for ImageNet classification and BERT models for language modelling, show that
CrAM produces dense models that can be more accurate than the standard SGD/Adam-based
baselines, but which are stable under weight pruning: specifically, we can prune
models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90%
with reasonable (∼1%) accuracy loss, which is competitive with gradual compression
methods. Additionally, CrAM can produce sparse models which perform well for transfer
learning, and it also works for semi-structured 2:4 pruning patterns supported
by GPU hardware. The code for reproducing the results is available at this https
URL .'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "AP, EK, DA received funding from the European Research Council (ERC)
under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant
agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale
de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further
acknowledge the support from the Scientific Service Units (SSU) of ISTA through
resources provided by Scientific Computing (SciComp)-"
article_processing_charge: No
arxiv: 1
author:
- first_name: Elena-Alexandra
full_name: Peste, Elena-Alexandra
id: 32D78294-F248-11E8-B48F-1D18A9856A87
last_name: Peste
- first_name: Adrian
full_name: Vladu, Adrian
last_name: Vladu
- first_name: Eldar
full_name: Kurtic, Eldar
id: 47beb3a5-07b5-11eb-9b87-b108ec578218
last_name: Kurtic
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware
Minimizer. In: 11th International Conference on Learning Representations .'
apa: 'Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.).
CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning
Representations . Kigali, Rwanda .'
chicago: 'Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert,
and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International
Conference on Learning Representations , n.d.'
ieee: 'E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM:
A Compression-Aware Minimizer,” in 11th International Conference on Learning
Representations , Kigali, Rwanda .'
ista: 'Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware
Minimizer. 11th International Conference on Learning Representations . ICLR: International
Conference on Learning Representations.'
mla: 'Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th
International Conference on Learning Representations .'
short: E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International
Conference on Learning Representations , n.d.
conference:
end_date: 2023-05-05
location: 'Kigali, Rwanda '
name: 'ICLR: International Conference on Learning Representations'
start_date: 2023-05-01
date_created: 2023-05-23T11:36:18Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2023-06-01T12:54:45Z
department:
- _id: GradSch
- _id: DaAl
- _id: ChLa
ec_funded: 1
external_id:
arxiv:
- '2207.14200'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://openreview.net/pdf?id=_eTZBs-yedr
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: '11th International Conference on Learning Representations '
publication_status: accepted
quality_controlled: '1'
related_material:
record:
- id: '13074'
relation: dissertation_contains
status: public
status: public
title: 'CrAM: A Compression-Aware Minimizer'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13074'
abstract:
- lang: eng
text: "Deep learning has become an integral part of a large number of important
applications, and many of the recent breakthroughs have been enabled by the ability
to train very large models, capable to capture complex patterns and relationships
from the data. At the same time, the massive sizes of modern deep learning models
have made their deployment to smaller devices more challenging; this is particularly
important, as in many applications the users rely on accurate deep learning predictions,
but they only have access to devices with limited memory and compute power. One
solution to this problem is to prune neural networks, by setting as many of their
parameters as possible to zero, to obtain accurate sparse models with lower memory
footprint. Despite the great research progress in obtaining sparse models that
preserve accuracy, while satisfying memory and computational constraints, there
are still many challenges associated with efficiently training sparse models,
as well as understanding their generalization properties.\r\n\r\nThe focus of
this thesis is to investigate how the training process of sparse models can be
made more efficient, and to understand the differences between sparse and dense
models in terms of how well they can generalize to changes in the data distribution.
We first study a method for co-training sparse and dense models, at a lower cost
compared to regular training. With our method we can obtain very accurate sparse
networks, and dense models that can recover the baseline accuracy. Furthermore,
we are able to more easily analyze the differences, at prediction level, between
the sparse-dense model pairs. Next, we investigate the generalization properties
of sparse neural networks in more detail, by studying how well different sparse
models trained on a larger task can adapt to smaller, more specialized tasks,
in a transfer learning scenario. Our analysis across multiple pruning methods
and sparsity levels reveals that sparse models provide features that can transfer
similarly to or better than the dense baseline. However, the choice of the pruning
method plays an important role, and can influence the results when the features
are fixed (linear finetuning), or when they are allowed to adapt to the new task
(full finetuning). Using sparse models with fixed masks for finetuning on new
tasks has an important practical advantage, as it enables training neural networks
on smaller devices. However, one drawback of current pruning methods is that the
entire training cycle has to be repeated to obtain the initial sparse model, for
every sparsity target; in consequence, the entire training process is costly and
also multiple models need to be stored. In the last part of the thesis we propose
a method that can train accurate dense models that are compressible in a single
step, to multiple sparsity levels, without additional finetuning. Our method results
in sparse models that can be competitive with existing pruning methods, and which
can also successfully generalize to new tasks."
acknowledged_ssus:
- _id: ScienComp
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Elena-Alexandra
full_name: Peste, Elena-Alexandra
id: 32D78294-F248-11E8-B48F-1D18A9856A87
last_name: Peste
citation:
ama: Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:10.15479/at:ista:13074
apa: Peste, E.-A. (2023). Efficiency and generalization of sparse neural networks.
Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13074
chicago: Peste, Elena-Alexandra. “Efficiency and Generalization of Sparse Neural
Networks.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13074.
ieee: E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute
of Science and Technology Austria, 2023.
ista: Peste E-A. 2023. Efficiency and generalization of sparse neural networks.
Institute of Science and Technology Austria.
mla: Peste, Elena-Alexandra. Efficiency and Generalization of Sparse Neural Networks.
Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13074.
short: E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute
of Science and Technology Austria, 2023.
date_created: 2023-05-23T17:07:53Z
date_published: 2023-05-23T00:00:00Z
date_updated: 2023-08-04T10:33:27Z
day: '23'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: GradSch
- _id: DaAl
- _id: ChLa
doi: 10.15479/at:ista:13074
ec_funded: 1
file:
- access_level: open_access
checksum: 6b3354968403cb9d48cc5a83611fb571
content_type: application/pdf
creator: epeste
date_created: 2023-05-24T16:11:16Z
date_updated: 2023-05-24T16:11:16Z
file_id: '13087'
file_name: PhD_Thesis_Alexandra_Peste_final.pdf
file_size: 2152072
relation: main_file
success: 1
- access_level: closed
checksum: 8d0df94bbcf4db72c991f22503b3fd60
content_type: application/zip
creator: epeste
date_created: 2023-05-24T16:12:59Z
date_updated: 2023-05-24T16:12:59Z
file_id: '13088'
file_name: PhD_Thesis_APeste.zip
file_size: 1658293
relation: source_file
file_date_updated: 2023-05-24T16:12:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '147'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '11458'
relation: part_of_dissertation
status: public
- id: '13053'
relation: part_of_dissertation
status: public
- id: '12299'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
title: Efficiency and generalization of sparse neural networks
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13081'
abstract:
- lang: eng
text: During development, tissues undergo changes in size and shape to form functional
organs. Distinct cellular processes such as cell division and cell rearrangements
underlie tissue morphogenesis. Yet how the distinct processes are controlled and
coordinated, and how they contribute to morphogenesis is poorly understood. In
our study, we addressed these questions using the developing mouse neural tube.
This epithelial organ transforms from a flat epithelial sheet to an epithelial
tube while increasing in size and undergoing morpho-gen-mediated patterning. The
extent and mechanism of neural progenitor rearrangement within the developing
mouse neuroepithelium is unknown. To investigate this, we per-formed high resolution
lineage tracing analysis to quantify the extent of epithelial rear-rangement at
different stages of neural tube development. We quantitatively described the relationship
between apical cell size with cell cycle dependent interkinetic nuclear migra-tions
(IKNM) and performed high cellular resolution live imaging of the neuroepithelium
to study the dynamics of junctional remodeling. Furthermore, developed a vertex
model of the neuroepithelium to investigate the quantitative contribution of cell
proliferation, cell differentiation and mechanical properties to the epithelial
rearrangement dynamics and validated the model predictions through functional
experiments. Our analysis revealed that at early developmental stages, the apical
cell area kinetics driven by IKNM induce high lev-els of cell rearrangements in
a regime of high junctional tension and contractility. After E9.5, there is a
sharp decline in the extent of cell rearrangements, suggesting that the epi-thelium
transitions from a fluid-like to a solid-like state. We found that this transition
is regulated by the growth rate of the tissue, rather than by changes in cell-cell
adhesion and contractile forces. Overall, our study provides a quantitative description
of the relationship between tissue growth, cell cycle dynamics, epithelia rearrangements
and the emergent tissue material properties, and novel insights on how epithelial
cell dynamics influences tissue morphogenesis.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Laura
full_name: Bocanegra, Laura
id: 4896F754-F248-11E8-B48F-1D18A9856A87
last_name: Bocanegra
citation:
ama: Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023.
doi:10.15479/at:ista:13081
apa: Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development.
Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13081
chicago: Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.”
Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13081.
ieee: L. Bocanegra, “Epithelial dynamics during mouse neural tube development,”
Institute of Science and Technology Austria, 2023.
ista: Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development.
Institute of Science and Technology Austria.
mla: Bocanegra, Laura. Epithelial Dynamics during Mouse Neural Tube Development.
Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13081.
short: L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute
of Science and Technology Austria, 2023.
date_created: 2023-05-23T19:10:42Z
date_published: 2023-05-23T00:00:00Z
date_updated: 2023-10-04T11:14:04Z
day: '23'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: AnKi
doi: 10.15479/at:ista:13081
file:
- access_level: closed
checksum: 74f3f89e59a0189bee53ebfad9c1b9af
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: lbocaneg
date_created: 2023-05-25T06:32:12Z
date_updated: 2023-05-25T06:32:12Z
file_id: '13089'
file_name: Thesis_final_LauraBocanegra.docx
file_size: 25615534
relation: source_file
- access_level: closed
checksum: c6cdef6323eacfb4b7a8af20f32eae97
content_type: application/pdf
creator: lbocaneg
date_created: 2023-05-25T06:32:16Z
date_updated: 2023-05-25T06:32:16Z
embargo: 2024-05-31
embargo_to: open_access
file_id: '13090'
file_name: TotalFinal_Thesis_LauraBocanegraArx.pdf
file_size: 12386046
relation: main_file
file_date_updated: 2023-05-25T06:32:16Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '05'
oa_version: Published Version
page: '93'
publication_identifier:
issn:
- 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '9349'
relation: part_of_dissertation
status: public
- id: '12837'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Anna
full_name: Kicheva, Anna
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
title: Epithelial dynamics during mouse neural tube development
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13091'
abstract:
- lang: eng
text: We use a function field version of the Hardy–Littlewood circle method to study
the locus of free rational curves on an arbitrary smooth projective hypersurface
of sufficiently low degree. On the one hand this allows us to bound the dimension
of the singular locus of the moduli space of rational curves on such hypersurfaces
and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin
conjecture in terms of slopes with respect to the tangent bundle.
acknowledgement: The authors are grateful to Paul Nelson, Per Salberger and Jason
Starr for useful comments. While working on this paper the first author was supported
by EPRSC grant EP/P026710/1. The research was partially conducted during the period
the second author served as a Clay Research Fellow, and partially conducted during
the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and
the ETH Zurich Foundation.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Will
full_name: Sawin, Will
last_name: Sawin
citation:
ama: Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and
the circle method. Algebra and Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719
apa: Browning, T. D., & Sawin, W. (2023). Free rational curves on low degree
hypersurfaces and the circle method. Algebra and Number Theory. Mathematical
Sciences Publishers. https://doi.org/10.2140/ant.2023.17.719
chicago: Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree
Hypersurfaces and the Circle Method.” Algebra and Number Theory. Mathematical
Sciences Publishers, 2023. https://doi.org/10.2140/ant.2023.17.719.
ieee: T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces
and the circle method,” Algebra and Number Theory, vol. 17, no. 3. Mathematical
Sciences Publishers, pp. 719–748, 2023.
ista: Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces
and the circle method. Algebra and Number Theory. 17(3), 719–748.
mla: Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces
and the Circle Method.” Algebra and Number Theory, vol. 17, no. 3, Mathematical
Sciences Publishers, 2023, pp. 719–48, doi:10.2140/ant.2023.17.719.
short: T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
date_created: 2023-05-28T22:01:02Z
date_published: 2023-04-12T00:00:00Z
date_updated: 2023-08-01T14:51:57Z
day: '12'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.2140/ant.2023.17.719
external_id:
arxiv:
- '1810.06882'
isi:
- '000996014700004'
file:
- access_level: open_access
checksum: 5d5d67b235905650e33cf7065d7583b4
content_type: application/pdf
creator: dernst
date_created: 2023-05-30T08:05:22Z
date_updated: 2023-05-30T08:05:22Z
file_id: '13101'
file_name: 2023_AlgebraNumberTheory_Browning.pdf
file_size: 1430719
relation: main_file
success: 1
file_date_updated: 2023-05-30T08:05:22Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 719-748
project:
- _id: 26A8D266-B435-11E9-9278-68D0E5697425
grant_number: EP-P026710-2
name: Between rational and integral points
publication: Algebra and Number Theory
publication_identifier:
eissn:
- 1944-7833
issn:
- 1937-0652
publication_status: published
publisher: Mathematical Sciences Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free rational curves on low degree hypersurfaces and the circle method
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 17
year: '2023'
...
---
_id: '13092'
abstract:
- lang: eng
text: There is a need for the development of lead-free thermoelectric materials
for medium-/high-temperature applications. Here, we report a thiol-free tin telluride
(SnTe) precursor that can be thermally decomposed to produce SnTe crystals with
sizes ranging from tens to several hundreds of nanometers. We further engineer
SnTe–Cu2SnTe3 nanocomposites with a homogeneous phase distribution by decomposing
the liquid SnTe precursor containing a dispersion of Cu1.5Te colloidal nanoparticles.
The presence of Cu within the SnTe and the segregated semimetallic Cu2SnTe3 phase
effectively improves the electrical conductivity of SnTe while simultaneously
reducing the lattice thermal conductivity without compromising the Seebeck coefficient.
Overall, power factors up to 3.63 mW m–1 K–2 and thermoelectric figures of merit
up to 1.04 are obtained at 823 K, which represent a 167% enhancement compared
with pristine SnTe.
acknowledgement: Open Access is funded by the Austrian Science Fund (FWF). We thank
Generalitat de Catalunya AGAUR─2021 SGR 01581 for financial support. B.F.N., K.X.,
and L.L.Y. thank the China Scholarship Council (CSC) for the scholarship support.
C.C. acknowledges funding from the FWF “Lise Meitner Fellowship” grant agreement
M 2889-N. J.S.L is grateful to the Science and Technology Department of Sichuan
Province for the project no. 22NSFSC0966. K.H.L. was supported by the Institute
of Zhejiang University-Quzhou (IZQ2021RCZX003). M.I. acknowledges the financial
support from IST Austria.
article_processing_charge: No
article_type: original
author:
- first_name: Bingfei
full_name: Nan, Bingfei
last_name: 'Nan'
- first_name: Xuan
full_name: Song, Xuan
last_name: Song
- first_name: Cheng
full_name: Chang, Cheng
id: 9E331C2E-9F27-11E9-AE48-5033E6697425
last_name: Chang
orcid: 0000-0002-9515-4277
- first_name: Ke
full_name: Xiao, Ke
last_name: Xiao
- first_name: Yu
full_name: Zhang, Yu
last_name: Zhang
- first_name: Linlin
full_name: Yang, Linlin
last_name: Yang
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: Junshan
full_name: Li, Junshan
last_name: Li
- first_name: Khak Ho
full_name: Lim, Khak Ho
last_name: Lim
- 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: Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric
composites. ACS Applied Materials and Interfaces. 2023;15(19):23380–23389.
doi:10.1021/acsami.3c00625
apa: Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023).
Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials
and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.3c00625
chicago: Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona
Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” ACS
Applied Materials and Interfaces. American Chemical Society, 2023. https://doi.org/10.1021/acsami.3c00625.
ieee: B. Nan et al., “Bottom-up synthesis of SnTe-based thermoelectric composites,”
ACS Applied Materials and Interfaces, vol. 15, no. 19. American Chemical
Society, pp. 23380–23389, 2023.
ista: Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez
M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites.
ACS Applied Materials and Interfaces. 15(19), 23380–23389.
mla: Nan, Bingfei, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.”
ACS Applied Materials and Interfaces, vol. 15, no. 19, American Chemical
Society, 2023, pp. 23380–23389, doi:10.1021/acsami.3c00625.
short: B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H.
Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:50:09Z
day: '04'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acsami.3c00625
external_id:
isi:
- '000985497900001'
pmid:
- '37141543'
file:
- access_level: open_access
checksum: 23893be46763c4c78daacddd019de821
content_type: application/pdf
creator: dernst
date_created: 2023-05-30T07:38:44Z
date_updated: 2023-05-30T07:38:44Z
file_id: '13099'
file_name: 2023_ACSAppliedMaterials_Nan.pdf
file_size: 5640829
relation: main_file
success: 1
file_date_updated: 2023-05-30T07:38:44Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 23380–23389
pmid: 1
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
grant_number: M02889
name: Bottom-up Engineering for Thermoelectric Applications
publication: ACS Applied Materials and Interfaces
publication_identifier:
eissn:
- 1944-8252
issn:
- 1944-8244
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bottom-up synthesis of SnTe-based thermoelectric composites
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2023'
...
---
_id: '13093'
abstract:
- lang: eng
text: The direct, solid state, and reversible conversion between heat and electricity
using thermoelectric devices finds numerous potential uses, especially around
room temperature. However, the relatively high material processing cost limits
their real applications. Silver selenide (Ag2Se) is one of the very few n-type
thermoelectric (TE) materials for room-temperature applications. Herein, we report
a room temperature, fast, and aqueous-phase synthesis approach to produce Ag2Se,
which can be extended to other metal chalcogenides. These materials reach TE figures
of merit (zT) of up to 0.76 at 380 K. To improve these values, bismuth sulfide
(Bi2S3) particles also prepared in an aqueous solution are incorporated into the
Ag2Se matrix. In this way, a series of Ag2Se/Bi2S3 composites with Bi2S3 wt %
of 0.5, 1.0, and 1.5 are prepared by solution blending and hot-press sintering.
The presence of Bi2S3 significantly improves the Seebeck coefficient and power
factor while at the same time decreasing the thermal conductivity with no apparent
drop in electrical conductivity. Thus, a maximum zT value of 0.96 is achieved
in the composites with 1.0 wt % Bi2S3 at 370 K. Furthermore, a high average zT
value (zTave) of 0.93 in the 300–390 K range is demonstrated.
acknowledgement: 'Open Access is funded by the Austrian Science Fund (FWF). B.N.,
M.L., Y.Z., K.X., and X.H. thank the China Scholarship Council (CSC) for the scholarship
support. C.C. received funding from the FWF “Lise Meitner Fellowship” grant agreement
M 2889-N. M.I. acknowledges the financial support from ISTA and the Werner Siemens
Foundation. ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457
and project NANOGEN (PID2020-116093RB-C43) funded by MCIN/AEI/10.13039/501100011033/.
ICN2 was supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.:
CEX2021-001214-S) and was funded by the CERCA Programme/Generalitat de Catalunya.
J.L. is a Serra Húnter Fellow and is grateful to the ICREA Academia program and
projects MICINN/FEDER PID2021-124572OB-C31 and 2021 SGR 01061. K.H.L. acknowledges
support from the National Natural Science Foundation of China (22208293). This study
is part of the Advanced Materials programme and was supported by MCIN with funding
from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya.'
article_processing_charge: No
article_type: original
author:
- first_name: Bingfei
full_name: Nan, Bingfei
last_name: 'Nan'
- first_name: Mengyao
full_name: Li, Mengyao
last_name: Li
- first_name: Yu
full_name: Zhang, Yu
last_name: Zhang
- first_name: Ke
full_name: Xiao, Ke
last_name: Xiao
- first_name: Khak Ho
full_name: Lim, Khak Ho
last_name: Lim
- first_name: Cheng
full_name: Chang, Cheng
id: 9E331C2E-9F27-11E9-AE48-5033E6697425
last_name: Chang
orcid: 0000-0002-9515-4277
- first_name: Xu
full_name: Han, Xu
last_name: Han
- first_name: Yong
full_name: Zuo, Yong
last_name: Zuo
- first_name: Junshan
full_name: Li, Junshan
last_name: Li
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Jordi
full_name: Llorca, Jordi
last_name: Llorca
- 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: Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based
on silver selenide in aqueous solution and ambient temperature. ACS Applied
Electronic Materials. 2023. doi:10.1021/acsaelm.3c00055
apa: Nan, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2023).
Engineering of thermoelectric composites based on silver selenide in aqueous solution
and ambient temperature. ACS Applied Electronic Materials. American Chemical
Society. https://doi.org/10.1021/acsaelm.3c00055
chicago: Nan, Bingfei, Mengyao Li, Yu Zhang, Ke Xiao, Khak Ho Lim, Cheng Chang,
Xu Han, et al. “Engineering of Thermoelectric Composites Based on Silver Selenide
in Aqueous Solution and Ambient Temperature.” ACS Applied Electronic Materials.
American Chemical Society, 2023. https://doi.org/10.1021/acsaelm.3c00055.
ieee: B. Nan et al., “Engineering of thermoelectric composites based on silver
selenide in aqueous solution and ambient temperature,” ACS Applied Electronic
Materials. American Chemical Society, 2023.
ista: Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol
J, Llorca J, Ibáñez M, Cabot A. 2023. Engineering of thermoelectric composites
based on silver selenide in aqueous solution and ambient temperature. ACS Applied
Electronic Materials.
mla: Nan, Bingfei, et al. “Engineering of Thermoelectric Composites Based on Silver
Selenide in Aqueous Solution and Ambient Temperature.” ACS Applied Electronic
Materials, American Chemical Society, 2023, doi:10.1021/acsaelm.3c00055.
short: B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J.
Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials
(2023).
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2023-08-01T14:50:48Z
day: '05'
department:
- _id: MaIb
doi: 10.1021/acsaelm.3c00055
external_id:
isi:
- '000986859000001'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1021/acsaelm.3c00055
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
grant_number: M02889
name: Bottom-up Engineering for Thermoelectric Applications
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
Semiconductors for Waste Heat Recovery'
publication: ACS Applied Electronic Materials
publication_identifier:
eissn:
- 2637-6113
publication_status: epub_ahead
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Engineering of thermoelectric composites based on silver selenide in aqueous
solution and ambient temperature
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2023'
...
---
_id: '13094'
abstract:
- lang: eng
text: 'Endocytosis is a key cellular process involved in the uptake of nutrients,
pathogens, or the therapy of diseases. Most studies have focused on spherical
objects, whereas biologically relevant shapes can be highly anisotropic. In this
letter, we use an experimental model system based on Giant Unilamellar Vesicles
(GUVs) and dumbbell-shaped colloidal particles to mimic and investigate the first
stage of the passive endocytic process: engulfment of an anisotropic object by
the membrane. Our model has specific ligand–receptor interactions realized by
mobile receptors on the vesicles and immobile ligands on the particles. Through
a series of experiments, theory, and molecular dynamics simulations, we quantify
the wrapping process of anisotropic dumbbells by GUVs and identify distinct stages
of the wrapping pathway. We find that the strong curvature variation in the neck
of the dumbbell as well as membrane tension are crucial in determining both the
speed of wrapping and the final states.'
acknowledgement: We sincerely thank Casper van der Wel for providing open-source packages
for tracking, as well as Yogesh Shelke for his assistance with PAA coverslip preparation
and Rachel Doherty for her assistance with particle functionalization. We are grateful
to Felix Frey for useful discussions on the theory of membrane wrapping. B.M. and
A.Š. acknowledge funding by the European Union’s Horizon 2020 research and innovation
programme (ERC Starting Grant No. 802960).
article_processing_charge: No
article_type: letter_note
author:
- first_name: Ali
full_name: Azadbakht, Ali
last_name: Azadbakht
- first_name: Billie
full_name: Meadowcroft, Billie
id: a4725fd6-932b-11ed-81e2-c098c7f37ae1
last_name: Meadowcroft
- first_name: Thijs
full_name: Varkevisser, Thijs
last_name: Varkevisser
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Daniela J.
full_name: Kraft, Daniela J.
last_name: Kraft
citation:
ama: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. Wrapping pathways
of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters.
2023;23(10):4267–4273. doi:10.1021/acs.nanolett.3c00375
apa: Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., & Kraft, D.
J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar
Vesicles. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c00375
chicago: Azadbakht, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and
Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant
Unilamellar Vesicles.” Nano Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.nanolett.3c00375.
ieee: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, and D. J. Kraft, “Wrapping
pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles,” Nano
Letters, vol. 23, no. 10. American Chemical Society, pp. 4267–4273, 2023.
ista: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. 2023. Wrapping
pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano
Letters. 23(10), 4267–4273.
mla: Azadbakht, Ali, et al. “Wrapping Pathways of Anisotropic Dumbbell Particles
by Giant Unilamellar Vesicles.” Nano Letters, vol. 23, no. 10, American
Chemical Society, 2023, pp. 4267–4273, doi:10.1021/acs.nanolett.3c00375.
short: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano
Letters 23 (2023) 4267–4273.
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:51:25Z
day: '04'
ddc:
- '540'
department:
- _id: AnSa
doi: 10.1021/acs.nanolett.3c00375
ec_funded: 1
external_id:
isi:
- '000985481400001'
pmid:
- '37141427'
file:
- access_level: open_access
checksum: 9734d4c617bab3578ef62916b764547a
content_type: application/pdf
creator: dernst
date_created: 2023-05-30T07:55:31Z
date_updated: 2023-05-30T07:55:31Z
file_id: '13100'
file_name: 2023_NanoLetters_Azadbakht.pdf
file_size: 3654910
relation: main_file
success: 1
file_date_updated: 2023-05-30T07:55:31Z
has_accepted_license: '1'
intvolume: ' 23'
isi: 1
issue: '10'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 4267–4273
pmid: 1
project:
- _id: eba2549b-77a9-11ec-83b8-a81e493eae4e
call_identifier: H2020
grant_number: '802960'
name: 'Non-Equilibrium Protein Assembly: from Building Blocks to Biological Machines'
publication: Nano Letters
publication_identifier:
eissn:
- 1530-6992
issn:
- 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 23
year: '2023'
...
---
_id: '13095'
abstract:
- lang: eng
text: Disulfide bond formation is fundamentally important for protein structure
and constitutes a key mechanism by which cells regulate the intracellular oxidation
state. Peroxiredoxins (PRDXs) eliminate reactive oxygen species such as hydrogen
peroxide through a catalytic cycle of Cys oxidation and reduction. Additionally,
upon Cys oxidation PRDXs undergo extensive conformational rearrangements that
may underlie their presently structurally poorly defined functions as molecular
chaperones. Rearrangements include high molecular-weight oligomerization, the
dynamics of which are, however, poorly understood, as is the impact of disulfide
bond formation on these properties. Here we show that formation of disulfide bonds
along the catalytic cycle induces extensive μs time scale dynamics, as monitored
by magic-angle spinning NMR of the 216 kDa-large Tsa1 decameric assembly and solution-NMR
of a designed dimeric mutant. We ascribe the conformational dynamics to structural
frustration, resulting from conflicts between the disulfide-constrained reduction
of mobility and the desire to fulfill other favorable contacts.
acknowledgement: "We thank Albert A. Smith (Univ. Leipzig) for discussions and help
with detectors analyses, Undina Guillerm (IST Austria) for gel electrophoresis experiments
(Figure S7), and Jens\r\nLidman (Univ. Gothenburg) for a 3Q relaxation analysis
script. Intramural funding from Institute of Science and Technology Austria is acknowledged.
This work also used the platforms of\r\nthe Grenoble Instruct-ERIC center (ISBG;
UMS 3518 CNRSCEA-UJF-EMBL) within the Grenoble Partnership for Structural Biology
(PSB), as well as the Swedish NMR Centre\r\nof the University of Gothenburg. Both
platforms provided excellent research infrastructures. B.M.B. gratefully acknowledges
funding from the Swedish Research Council (Starting grant 2016-04721), the Swedish
Cancer Foundation (2019-0415), and the Knut och Alice Wallenberg Foundation through
a Wallenberg Academy Fellowship (2016.0163) as well as through the Wallenberg Centre
for Molecular and Translational Medicine, University of Gothenburg, Sweden. "
article_processing_charge: No
article_type: original
author:
- first_name: Laura
full_name: Troussicot, Laura
id: 3d9cac31-413c-11eb-9514-d1ec2a7fb7f3
last_name: Troussicot
- first_name: Alicia
full_name: Vallet, Alicia
last_name: Vallet
- first_name: Mikael
full_name: Molin, Mikael
last_name: Molin
- first_name: Björn M.
full_name: Burmann, Björn M.
last_name: Burmann
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
citation:
ama: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. Disulfide-bond-induced
structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal
of the American Chemical Society. 2023;145(19):10700–10711. doi:10.1021/jacs.3c01200
apa: Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., & Schanda, P. (2023).
Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
from MAS NMR. Journal of the American Chemical Society. American Chemical
Society. https://doi.org/10.1021/jacs.3c01200
chicago: Troussicot, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul
Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in
a Peroxiredoxin from MAS NMR.” Journal of the American Chemical Society.
American Chemical Society, 2023. https://doi.org/10.1021/jacs.3c01200.
ieee: L. Troussicot, A. Vallet, M. Molin, B. M. Burmann, and P. Schanda, “Disulfide-bond-induced
structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR,”
Journal of the American Chemical Society, vol. 145, no. 19. American Chemical
Society, pp. 10700–10711, 2023.
ista: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. 2023. Disulfide-bond-induced
structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal
of the American Chemical Society. 145(19), 10700–10711.
mla: Troussicot, Laura, et al. “Disulfide-Bond-Induced Structural Frustration and
Dynamic Disorder in a Peroxiredoxin from MAS NMR.” Journal of the American
Chemical Society, vol. 145, no. 19, American Chemical Society, 2023, pp. 10700–10711,
doi:10.1021/jacs.3c01200.
short: L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of
the American Chemical Society 145 (2023) 10700–10711.
date_created: 2023-05-28T22:01:04Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2023-08-01T14:48:09Z
day: '04'
ddc:
- '540'
department:
- _id: PaSc
doi: 10.1021/jacs.3c01200
external_id:
isi:
- '000985907400001'
pmid:
- '37140345'
file:
- access_level: open_access
checksum: 0758a930ef21c62fc91b14e657479f83
content_type: application/pdf
creator: dernst
date_created: 2023-05-30T07:05:28Z
date_updated: 2023-05-30T07:05:28Z
file_id: '13098'
file_name: 2023_JACS_Troussicot.pdf
file_size: 6719299
relation: main_file
success: 1
file_date_updated: 2023-05-30T07:05:28Z
has_accepted_license: '1'
intvolume: ' 145'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 10700–10711
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
record:
- id: '12820'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
from MAS NMR
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 145
year: '2023'
...
---
_id: '13096'
abstract:
- lang: eng
text: Eukaryotic cells can undergo different forms of programmed cell death, many
of which culminate in plasma membrane rupture as the defining terminal event1,2,3,4,5,6,7.
Plasma membrane rupture was long thought to be driven by osmotic pressure, but
it has recently been shown to be in many cases an active process, mediated by
the protein ninjurin-18 (NINJ1). Here we resolve the structure of NINJ1 and the
mechanism by which it ruptures membranes. Super-resolution microscopy reveals
that NINJ1 clusters into structurally diverse assemblies in the membranes of dying
cells, in particular large, filamentous assemblies with branched morphology. A
cryo-electron microscopy structure of NINJ1 filaments shows a tightly packed fence-like
array of transmembrane α-helices. Filament directionality and stability is defined
by two amphipathic α-helices that interlink adjacent filament subunits. The NINJ1
filament features a hydrophilic side and a hydrophobic side, and molecular dynamics
simulations show that it can stably cap membrane edges. The function of the resulting
supramolecular arrangement was validated by site-directed mutagenesis. Our data
thus suggest that, during lytic cell death, the extracellular α-helices of NINJ1
insert into the plasma membrane to polymerize NINJ1 monomers into amphipathic
filaments that rupture the plasma membrane. The membrane protein NINJ1 is therefore
an interactive component of the eukaryotic cell membrane that functions as an
in-built breaking point in response to activation of cell death.
acknowledged_ssus:
- _id: NMR
- _id: LifeSc
acknowledgement: "This work was supported by the Deutsche Forschungsgemeinschaft under
Germany’s Excellence Strategy EXC 2075–390740016 and the Stuttgart Center for Simulation
Science (SC SimTech) to K.P., by ERC-CoG 770988 (InflamCellDeath) and SNF Project
funding (310030B_198005, 310030B_192523) to P.B., by the Swiss Nanoscience Institute
and the Swiss National Science Foundation via the NCCR AntiResist (180541) to S.H.
and the NCCR Molecular Systems Engineering (51NF40-205608) to D.J.M., by the Helmholtz
Young Investigator Program of the Helmholtz Association to C.S., by the SNF Professorship
funding (PP00P3_198903) to C.P., EMBO postdoctoral fellowship ALTF 27-2022 to E.H.
and by the Scientific Service Units of IST Austria through resources provided by
the NMR and Life Science Facilities to P.S. Molecular dynamics simulations were
performed on the HoreKa supercomputer funded by the Ministry of Science, Research
and the Arts Baden-Württemberg and by the Federal Ministry of Education and Research.
The authors thank the BioEM Lab of the Biozentrum, University of Basel for support;
V. Mack, K. Shkarina and J. Fricke for technical support; D. Ricklin and S. Vogt
for peptide synthesis; P. Pelczar for support with animals; S.-J. Marrink and P.
Telles de Souza for supply with Martini3 parameters and scripts; and P. Radler und
M. Loose for help with QCM. Fig. 4g and Extended Data Fig. 1a were in part created
with BioRender.com.\r\nOpen access funding provided by University of Basel."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Morris
full_name: Degen, Morris
last_name: Degen
- first_name: José Carlos
full_name: Santos, José Carlos
last_name: Santos
- first_name: Kristyna
full_name: Pluhackova, Kristyna
last_name: Pluhackova
- first_name: Gonzalo
full_name: Cebrero, Gonzalo
last_name: Cebrero
- first_name: Saray
full_name: Ramos, Saray
last_name: Ramos
- first_name: Gytis
full_name: Jankevicius, Gytis
last_name: Jankevicius
- first_name: Ella
full_name: Hartenian, Ella
last_name: Hartenian
- first_name: Undina
full_name: Guillerm, Undina
id: bb74f472-ae54-11eb-9835-bc9c22fb1183
last_name: Guillerm
- first_name: Stefania A.
full_name: Mari, Stefania A.
last_name: Mari
- first_name: Bastian
full_name: Kohl, Bastian
last_name: Kohl
- first_name: Daniel J.
full_name: Müller, Daniel J.
last_name: Müller
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
- first_name: Timm
full_name: Maier, Timm
last_name: Maier
- first_name: Camilo
full_name: Perez, Camilo
last_name: Perez
- first_name: Christian
full_name: Sieben, Christian
last_name: Sieben
- first_name: Petr
full_name: Broz, Petr
last_name: Broz
- first_name: Sebastian
full_name: Hiller, Sebastian
last_name: Hiller
citation:
ama: Degen M, Santos JC, Pluhackova K, et al. Structural basis of NINJ1-mediated
plasma membrane rupture in cell death. Nature. 2023;618:1065-1071. doi:10.1038/s41586-023-05991-z
apa: Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius,
G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture
in cell death. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-05991-z
chicago: Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero,
Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated
Plasma Membrane Rupture in Cell Death.” Nature. Springer Nature, 2023.
https://doi.org/10.1038/s41586-023-05991-z.
ieee: M. Degen et al., “Structural basis of NINJ1-mediated plasma membrane
rupture in cell death,” Nature, vol. 618. Springer Nature, pp. 1065–1071,
2023.
ista: Degen M, Santos JC, Pluhackova K, Cebrero G, Ramos S, Jankevicius G, Hartenian
E, Guillerm U, Mari SA, Kohl B, Müller DJ, Schanda P, Maier T, Perez C, Sieben
C, Broz P, Hiller S. 2023. Structural basis of NINJ1-mediated plasma membrane
rupture in cell death. Nature. 618, 1065–1071.
mla: Degen, Morris, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture
in Cell Death.” Nature, vol. 618, Springer Nature, 2023, pp. 1065–71, doi:10.1038/s41586-023-05991-z.
short: M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius,
E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier,
C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
date_created: 2023-05-28T22:01:04Z
date_published: 2023-06-29T00:00:00Z
date_updated: 2023-11-14T11:49:21Z
day: '29'
ddc:
- '570'
department:
- _id: PaSc
doi: 10.1038/s41586-023-05991-z
external_id:
isi:
- '000991386800011'
file:
- access_level: open_access
checksum: 0fab69252453bff1de7f0e2eceb76d34
content_type: application/pdf
creator: dernst
date_created: 2023-11-14T11:48:18Z
date_updated: 2023-11-14T11:48:18Z
file_id: '14533'
file_name: 2023_Nature_Degen.pdf
file_size: 12292188
relation: main_file
success: 1
file_date_updated: 2023-11-14T11:48:18Z
has_accepted_license: '1'
intvolume: ' 618'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 1065-1071
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structural basis of NINJ1-mediated plasma membrane rupture in cell death
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: 618
year: '2023'
...
---
_id: '13097'
abstract:
- lang: eng
text: 'Vertebrate movement is orchestrated by spinal inter- and motor neurons that,
together with sensory and cognitive input, produce dynamic motor behaviors. These
behaviors vary from the simple undulatory swimming of fish and larval aquatic
species to the highly coordinated running, reaching and grasping of mice, humans
and other mammals. This variation raises the fundamental question of how spinal
circuits have changed in register with motor behavior. In simple, undulatory fish,
exemplified by the lamprey, two broad classes of interneurons shape motor neuron
output: ipsilateral-projecting excitatory neurons, and commissural-projecting
inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required
to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates,
a more complex spinal neuron composition is observed. In this review, we provide
evidence that movement elaboration correlates with an increase and specialization
of these three basic interneuron types into molecularly, anatomically, and functionally
distinct subpopulations. We summarize recent work linking neuron types to movement-pattern
generation across fish, amphibians, reptiles, birds and mammals.'
acknowledgement: 'This work was supported by the ERC Starting grant, ERC-2021-STG
#101041551.'
article_number: '1146449'
article_processing_charge: Yes
article_type: original
author:
- first_name: Alexia C
full_name: Wilson, Alexia C
id: 5230e794-15b2-11ec-abd3-e2d5335ebd1d
last_name: Wilson
- first_name: Lora Beatrice Jaeger
full_name: Sweeney, Lora Beatrice Jaeger
id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
last_name: Sweeney
orcid: 0000-0001-9242-5601
citation:
ama: 'Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species.
Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449'
apa: 'Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons
across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449'
chicago: 'Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
across Species.” Frontiers in Neural Circuits. Frontiers, 2023. https://doi.org/10.3389/fncir.2023.1146449.'
ieee: 'A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons
across species,” Frontiers in Neural Circuits, vol. 17. Frontiers, 2023.'
ista: 'Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across
species. Frontiers in Neural Circuits. 17, 1146449.'
mla: 'Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
across Species.” Frontiers in Neural Circuits, vol. 17, 1146449, Frontiers,
2023, doi:10.3389/fncir.2023.1146449.'
short: A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
date_created: 2023-05-28T22:01:04Z
date_published: 2023-04-26T00:00:00Z
date_updated: 2024-01-31T10:15:53Z
day: '26'
ddc:
- '570'
department:
- _id: LoSw
doi: 10.3389/fncir.2023.1146449
external_id:
isi:
- '000984606200001'
pmid:
- '37180760'
file:
- access_level: open_access
checksum: 7efd06de284a28e91e97127611a9c3fd
content_type: application/pdf
creator: dernst
date_created: 2024-01-03T13:33:21Z
date_updated: 2024-01-03T13:33:21Z
file_id: '14729'
file_name: 2023_FrontiersNeuralCircuits_Wilson.pdf
file_size: 6667157
relation: main_file
success: 1
file_date_updated: 2024-01-03T13:33:21Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae
grant_number: '101041551'
name: Development and Evolution of Tetrapod Motor Circuits
publication: Frontiers in Neural Circuits
publication_identifier:
issn:
- 1662-5110
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spinal cords: Symphonies of interneurons across species'
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: 17
year: '2023'
...