---
_id: '14961'
abstract:
- lang: eng
text: "The use of simulated data in the field of causal discovery is ubiquitous
due to the scarcity of annotated real data. Recently, Reisach et al., 2021 highlighted
the emergence of patterns in simulated linear data, which displays increasing
marginal variance in the casual direction. As an ablation in their experiments,
Montagna et al., 2023 found that similar patterns may emerge in\r\nnonlinear models
for the variance of the score vector $\\nabla \\log p_{\\mathbf{X}}$, and introduced
the ScoreSort algorithm. In this work, we formally define and characterize this
score-sortability pattern of nonlinear additive noise models. We find that it
defines a class of identifiable (bivariate) causal models overlapping with nonlinear
additive noise models. We\r\ntheoretically demonstrate the advantages of ScoreSort
in terms of statistical efficiency compared to prior state-of-the-art score matching-based
methods and empirically show the score-sortability of the most common synthetic
benchmarks in the literature. Our findings remark (1) the lack of diversity in
the data as an important limitation in the evaluation of nonlinear causal discovery
approaches, (2) the importance of thoroughly testing different settings within
a problem class, and (3) the importance of analyzing statistical properties in\r\ncausal
discovery, where research is often limited to defining identifiability conditions
of the model. "
article_number: '2310.14246'
article_processing_charge: No
arxiv: 1
author:
- first_name: Francesco
full_name: Montagna, Francesco
last_name: Montagna
- first_name: Nicoletta
full_name: Noceti, Nicoletta
last_name: Noceti
- first_name: Lorenzo
full_name: Rosasco, Lorenzo
last_name: Rosasco
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
citation:
ama: Montagna F, Noceti N, Rosasco L, Locatello F. Shortcuts for causal discovery
of nonlinear models by score matching. arXiv. doi:10.48550/arXiv.2310.14246
apa: Montagna, F., Noceti, N., Rosasco, L., & Locatello, F. (n.d.). Shortcuts
for causal discovery of nonlinear models by score matching. arXiv. https://doi.org/10.48550/arXiv.2310.14246
chicago: Montagna, Francesco, Nicoletta Noceti, Lorenzo Rosasco, and Francesco Locatello.
“Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.” ArXiv,
n.d. https://doi.org/10.48550/arXiv.2310.14246.
ieee: F. Montagna, N. Noceti, L. Rosasco, and F. Locatello, “Shortcuts for causal
discovery of nonlinear models by score matching,” arXiv. .
ista: Montagna F, Noceti N, Rosasco L, Locatello F. Shortcuts for causal discovery
of nonlinear models by score matching. arXiv, 2310.14246.
mla: Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models
by Score Matching.” ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.
short: F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).
date_created: 2024-02-08T15:31:46Z
date_published: 2023-10-22T00:00:00Z
date_updated: 2024-02-12T10:03:33Z
day: '22'
department:
- _id: FrLo
doi: 10.48550/arXiv.2310.14246
external_id:
arxiv:
- '2310.14246'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2310.14246
month: '10'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Shortcuts for causal discovery of nonlinear models by score matching
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14962'
abstract:
- lang: eng
text: "In this paper, we show that recent advances in video representation learning\r\nand
pre-trained vision-language models allow for substantial improvements in\r\nself-supervised
video object localization. We propose a method that first\r\nlocalizes objects
in videos via a slot attention approach and then assigns text\r\nto the obtained
slots. The latter is achieved by an unsupervised way to read\r\nlocalized semantic
information from the pre-trained CLIP model. The resulting\r\nvideo object localization
is entirely unsupervised apart from the implicit\r\nannotation contained in CLIP,
and it is effectively the first unsupervised\r\napproach that yields good results
on regular video benchmarks."
article_number: '2309.09858'
article_processing_charge: No
arxiv: 1
author:
- first_name: Ke
full_name: Fan, Ke
last_name: Fan
- first_name: Zechen
full_name: Bai, Zechen
last_name: Bai
- first_name: Tianjun
full_name: Xiao, Tianjun
last_name: Xiao
- first_name: Dominik
full_name: Zietlow, Dominik
last_name: Zietlow
- first_name: Max
full_name: Horn, Max
last_name: Horn
- first_name: Zixu
full_name: Zhao, Zixu
last_name: Zhao
- first_name: Carl-Johann Simon-Gabriel
full_name: Carl-Johann Simon-Gabriel, Carl-Johann Simon-Gabriel
last_name: Carl-Johann Simon-Gabriel
- first_name: Mike Zheng
full_name: Shou, Mike Zheng
last_name: Shou
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
- first_name: Bernt
full_name: Schiele, Bernt
last_name: Schiele
- first_name: Thomas
full_name: Brox, Thomas
last_name: Brox
- first_name: Zheng
full_name: Zhang, Zheng
last_name: Zhang
- first_name: Yanwei
full_name: Fu, Yanwei
last_name: Fu
- first_name: Tong
full_name: He, Tong
last_name: He
citation:
ama: Fan K, Bai Z, Xiao T, et al. Unsupervised open-vocabulary object localization
in videos. arXiv. doi:10.48550/arXiv.2309.09858
apa: Fan, K., Bai, Z., Xiao, T., Zietlow, D., Horn, M., Zhao, Z., … He, T. (n.d.).
Unsupervised open-vocabulary object localization in videos. arXiv. https://doi.org/10.48550/arXiv.2309.09858
chicago: Fan, Ke, Zechen Bai, Tianjun Xiao, Dominik Zietlow, Max Horn, Zixu Zhao,
Carl-Johann Simon-Gabriel Carl-Johann Simon-Gabriel, et al. “Unsupervised Open-Vocabulary
Object Localization in Videos.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2309.09858.
ieee: K. Fan et al., “Unsupervised open-vocabulary object localization in
videos,” arXiv. .
ista: Fan K, Bai Z, Xiao T, Zietlow D, Horn M, Zhao Z, Carl-Johann Simon-Gabriel
C-JS-G, Shou MZ, Locatello F, Schiele B, Brox T, Zhang Z, Fu Y, He T. Unsupervised
open-vocabulary object localization in videos. arXiv, 2309.09858.
mla: Fan, Ke, et al. “Unsupervised Open-Vocabulary Object Localization in Videos.”
ArXiv, 2309.09858, doi:10.48550/arXiv.2309.09858.
short: K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann
Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu,
T. He, ArXiv (n.d.).
date_created: 2024-02-08T15:33:39Z
date_published: 2023-09-18T00:00:00Z
date_updated: 2024-02-12T10:12:22Z
day: '18'
department:
- _id: FrLo
doi: 10.48550/arXiv.2309.09858
extern: '1'
external_id:
arxiv:
- '2309.09858'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2309.09858
month: '09'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Unsupervised open-vocabulary object localization in videos
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14963'
abstract:
- lang: eng
text: "Unsupervised object-centric learning methods allow the partitioning of scenes\r\ninto
entities without additional localization information and are excellent\r\ncandidates
for reducing the annotation burden of multiple-object tracking (MOT)\r\npipelines.
Unfortunately, they lack two key properties: objects are often split\r\ninto parts
and are not consistently tracked over time. In fact,\r\nstate-of-the-art models
achieve pixel-level accuracy and temporal consistency\r\nby relying on supervised
object detection with additional ID labels for the\r\nassociation through time.
This paper proposes a video object-centric model for\r\nMOT. It consists of an
index-merge module that adapts the object-centric slots\r\ninto detection outputs
and an object memory module that builds complete object\r\nprototypes to handle
occlusions. Benefited from object-centric learning, we\r\nonly require sparse
detection labels (0%-6.25%) for object localization and\r\nfeature binding. Relying
on our self-supervised\r\nExpectation-Maximization-inspired loss for object association,
our approach\r\nrequires no ID labels. Our experiments significantly narrow the
gap between the\r\nexisting object-centric model and the fully supervised state-of-the-art
and\r\noutperform several unsupervised trackers."
article_number: '2309.00233'
article_processing_charge: No
arxiv: 1
author:
- first_name: Zixu
full_name: Zhao, Zixu
last_name: Zhao
- first_name: Jiaze
full_name: Wang, Jiaze
last_name: Wang
- first_name: Max
full_name: Horn, Max
last_name: Horn
- first_name: Yizhuo
full_name: Ding, Yizhuo
last_name: Ding
- first_name: Tong
full_name: He, Tong
last_name: He
- first_name: Zechen
full_name: Bai, Zechen
last_name: Bai
- first_name: Dominik
full_name: Zietlow, Dominik
last_name: Zietlow
- first_name: Carl-Johann Simon-Gabriel
full_name: Carl-Johann Simon-Gabriel, Carl-Johann Simon-Gabriel
last_name: Carl-Johann Simon-Gabriel
- first_name: Bing
full_name: Shuai, Bing
last_name: Shuai
- first_name: Zhuowen
full_name: Tu, Zhuowen
last_name: Tu
- first_name: Thomas
full_name: Brox, Thomas
last_name: Brox
- first_name: Bernt
full_name: Schiele, Bernt
last_name: Schiele
- first_name: Yanwei
full_name: Fu, Yanwei
last_name: Fu
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
- first_name: Zheng
full_name: Zhang, Zheng
last_name: Zhang
- first_name: Tianjun
full_name: Xiao, Tianjun
last_name: Xiao
citation:
ama: Zhao Z, Wang J, Horn M, et al. Object-centric multiple object tracking. arXiv.
doi:10.48550/arXiv.2309.00233
apa: Zhao, Z., Wang, J., Horn, M., Ding, Y., He, T., Bai, Z., … Xiao, T. (n.d.).
Object-centric multiple object tracking. arXiv. https://doi.org/10.48550/arXiv.2309.00233
chicago: Zhao, Zixu, Jiaze Wang, Max Horn, Yizhuo Ding, Tong He, Zechen Bai, Dominik
Zietlow, et al. “Object-Centric Multiple Object Tracking.” ArXiv, n.d.
https://doi.org/10.48550/arXiv.2309.00233.
ieee: Z. Zhao et al., “Object-centric multiple object tracking,” arXiv.
.
ista: Zhao Z, Wang J, Horn M, Ding Y, He T, Bai Z, Zietlow D, Carl-Johann Simon-Gabriel
C-JS-G, Shuai B, Tu Z, Brox T, Schiele B, Fu Y, Locatello F, Zhang Z, Xiao T.
Object-centric multiple object tracking. arXiv, 2309.00233.
mla: Zhao, Zixu, et al. “Object-Centric Multiple Object Tracking.” ArXiv,
2309.00233, doi:10.48550/arXiv.2309.00233.
short: Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G.
Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello,
Z. Zhang, T. Xiao, ArXiv (n.d.).
date_created: 2024-02-08T15:34:43Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2024-02-12T10:16:21Z
day: '01'
department:
- _id: FrLo
doi: 10.48550/arXiv.2309.00233
extern: '1'
external_id:
arxiv:
- '2309.00233'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2309.00233'
month: '09'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Object-centric multiple object tracking
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14985'
abstract:
- lang: eng
text: Lead sulfide (PbS) presents large potential in thermoelectric application
due to its earth-abundant S element. However, its inferior average ZT (ZTave)
value makes PbS less competitive with its analogs PbTe and PbSe. To promote its
thermoelectric performance, this study implements strategies of continuous Se
alloying and Cu interstitial doping to synergistically tune thermal and electrical
transport properties in n-type PbS. First, the lattice parameter of 5.93 Å in
PbS is linearly expanded to 6.03 Å in PbS0.5Se0.5 with increasing Se alloying
content. This expanded lattice in Se-alloyed PbS not only intensifies phonon scattering
but also facilitates the formation of Cu interstitials. Based on the PbS0.6Se0.4
content with the minimal lattice thermal conductivity, Cu interstitials are introduced
to improve the electron density, thus boosting the peak power factor, from 3.88 μW cm−1 K−2
in PbS0.6Se0.4 to 20.58 μW cm−1 K−2 in PbS0.6Se0.4−1%Cu. Meanwhile, the lattice
thermal conductivity in PbS0.6Se0.4−x%Cu (x = 0–2) is further suppressed due to
the strong strain field caused by Cu interstitials. Finally, with the lowered
thermal conductivity and high electrical transport properties, a peak ZT ~1.1
and ZTave ~0.82 can be achieved in PbS0.6Se0.4 − 1%Cu at 300–773K, which outperforms
previously reported n-type PbS.
acknowledgement: 'The authors would like to acknowledge the strong supportof microstructure
observation from Center for HighPressure Science and Technology Advanced Research(HPSTAR).
We acknowledge the financial support fromthe National Natural Science Foundation of China:52172236,
the Fundamental Research Funds for theCentral Universities: xtr042021007, Top Young
TalentsProgramme of Xi''an Jiaotong University and NationalScience Fund for Distinguished
Young Scholars: 51925101.'
article_processing_charge: Yes
article_type: original
author:
- first_name: Zhengtao
full_name: Liu, Zhengtao
last_name: Liu
- first_name: Tao
full_name: Hong, Tao
last_name: Hong
- first_name: Liqing
full_name: Xu, Liqing
last_name: Xu
- first_name: Sining
full_name: Wang, Sining
last_name: Wang
- first_name: Xiang
full_name: Gao, Xiang
last_name: Gao
- first_name: Cheng
full_name: Chang, Cheng
id: 9E331C2E-9F27-11E9-AE48-5033E6697425
last_name: Chang
orcid: 0000-0002-9515-4277
- first_name: Xiangdong
full_name: Ding, Xiangdong
last_name: Ding
- first_name: Yu
full_name: Xiao, Yu
last_name: Xiao
- first_name: Li‐Dong
full_name: Zhao, Li‐Dong
last_name: Zhao
citation:
ama: Liu Z, Hong T, Xu L, et al. Lattice expansion enables interstitial doping to
achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2023;2(1):161-170.
doi:10.1002/idm2.12056
apa: Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C., … Zhao, L. (2023).
Lattice expansion enables interstitial doping to achieve a high average ZT in
n‐type PbS. Interdisciplinary Materials. Wiley. https://doi.org/10.1002/idm2.12056
chicago: Liu, Zhengtao, Tao Hong, Liqing Xu, Sining Wang, Xiang Gao, Cheng Chang,
Xiangdong Ding, Yu Xiao, and Li‐Dong Zhao. “Lattice Expansion Enables Interstitial
Doping to Achieve a High Average ZT in N‐type PbS.” Interdisciplinary Materials.
Wiley, 2023. https://doi.org/10.1002/idm2.12056.
ieee: Z. Liu et al., “Lattice expansion enables interstitial doping to achieve
a high average ZT in n‐type PbS,” Interdisciplinary Materials, vol. 2,
no. 1. Wiley, pp. 161–170, 2023.
ista: Liu Z, Hong T, Xu L, Wang S, Gao X, Chang C, Ding X, Xiao Y, Zhao L. 2023.
Lattice expansion enables interstitial doping to achieve a high average ZT in
n‐type PbS. Interdisciplinary Materials. 2(1), 161–170.
mla: Liu, Zhengtao, et al. “Lattice Expansion Enables Interstitial Doping to Achieve
a High Average ZT in N‐type PbS.” Interdisciplinary Materials, vol. 2,
no. 1, Wiley, 2023, pp. 161–70, doi:10.1002/idm2.12056.
short: Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao,
Interdisciplinary Materials 2 (2023) 161–170.
date_created: 2024-02-14T12:12:17Z
date_published: 2023-01-01T00:00:00Z
date_updated: 2024-02-19T10:01:26Z
day: '01'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1002/idm2.12056
file:
- access_level: open_access
checksum: 7b5e8210ef1434feb173022c6dbbee0c
content_type: application/pdf
creator: dernst
date_created: 2024-02-19T09:58:32Z
date_updated: 2024-02-19T09:58:32Z
file_id: '15015'
file_name: 2023_InterdiscMaterials_Liu.pdf
file_size: 4675941
relation: main_file
success: 1
file_date_updated: 2024-02-19T09:58:32Z
has_accepted_license: '1'
intvolume: ' 2'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 161-170
publication: Interdisciplinary Materials
publication_identifier:
eissn:
- 2767-441X
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Lattice expansion enables interstitial doping to achieve a high average ZT
in n‐type PbS
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: 2
year: '2023'
...
---
_id: '14989'
abstract:
- lang: eng
text: "Encryption alone is not enough for secure end-to end encrypted messaging:
a server must also honestly serve public keys to users. Key transparency has been
presented as an efficient\r\nsolution for detecting (and hence deterring) a server
that attempts to dishonestly serve keys. Key transparency involves two major components:
(1) a username to public key mapping, stored and cryptographically committed to
by the server, and, (2) an outof-band consistency protocol for serving short commitments
to users. In the setting of real-world deployments and supporting production scale,
new challenges must be considered for both of these components. We enumerate these
challenges and provide solutions to address them. In particular, we design and
implement a memory-optimized and privacy-preserving verifiable data structure
for committing to the username to public key store.\r\nTo make this implementation
viable for production, we also integrate support for persistent and distributed
storage. We also propose a future-facing solution, termed “compaction”, as\r\na
mechanism for mitigating practical issues that arise from dealing with infinitely
growing server data structures. Finally, we implement a consensusless solution
that achieves the minimum requirements for a service that consistently distributes
commitments for a transparency application, providing a much more efficient protocol
for distributing small and consistent\r\ncommitments to users. This culminates
in our production-grade implementation of a key transparency system (Parakeet)
which we have open-sourced, along with a demonstration of feasibility through
our benchmarks."
acknowledgement: This work is supported by the Novi team at Meta and funded in part
by IC3 industry partners and NSF grant 1943499.
article_processing_charge: No
author:
- first_name: Harjasleen
full_name: Malvai, Harjasleen
last_name: Malvai
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
- first_name: Alberto
full_name: Sonnino, Alberto
last_name: Sonnino
- first_name: Esha
full_name: Ghosh, Esha
last_name: Ghosh
- first_name: Ercan
full_name: Oztürk, Ercan
last_name: Oztürk
- first_name: Kevin
full_name: Lewi, Kevin
last_name: Lewi
- first_name: Sean
full_name: Lawlor, Sean
last_name: Lawlor
citation:
ama: 'Malvai H, Kokoris Kogias E, Sonnino A, et al. Parakeet: Practical key transparency
for end-to-end eEncrypted messaging. In: Proceedings of the 2023 Network and
Distributed System Security Symposium. Internet Society; 2023. doi:10.14722/ndss.2023.24545'
apa: 'Malvai, H., Kokoris Kogias, E., Sonnino, A., Ghosh, E., Oztürk, E., Lewi,
K., & Lawlor, S. (2023). Parakeet: Practical key transparency for end-to-end
eEncrypted messaging. In Proceedings of the 2023 Network and Distributed System
Security Symposium. San Diego, CA, United States: Internet Society. https://doi.org/10.14722/ndss.2023.24545'
chicago: 'Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha
Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency
for End-to-End EEncrypted Messaging.” In Proceedings of the 2023 Network and
Distributed System Security Symposium. Internet Society, 2023. https://doi.org/10.14722/ndss.2023.24545.'
ieee: 'H. Malvai et al., “Parakeet: Practical key transparency for end-to-end
eEncrypted messaging,” in Proceedings of the 2023 Network and Distributed System
Security Symposium, San Diego, CA, United States, 2023.'
ista: 'Malvai H, Kokoris Kogias E, Sonnino A, Ghosh E, Oztürk E, Lewi K, Lawlor
S. 2023. Parakeet: Practical key transparency for end-to-end eEncrypted messaging.
Proceedings of the 2023 Network and Distributed System Security Symposium. NDSS:
Network and Distributed Systems Security.'
mla: 'Malvai, Harjasleen, et al. “Parakeet: Practical Key Transparency for End-to-End
EEncrypted Messaging.” Proceedings of the 2023 Network and Distributed System
Security Symposium, Internet Society, 2023, doi:10.14722/ndss.2023.24545.'
short: H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S.
Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium,
Internet Society, 2023.
conference:
end_date: 2023-03-03
location: San Diego, CA, United States
name: 'NDSS: Network and Distributed Systems Security'
start_date: 2023-02-27
date_created: 2024-02-14T14:20:40Z
date_published: 2023-03-01T00:00:00Z
date_updated: 2024-02-19T12:11:15Z
day: '01'
department:
- _id: ElKo
doi: 10.14722/ndss.2023.24545
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2023/081
month: '03'
oa: 1
oa_version: Published Version
publication: Proceedings of the 2023 Network and Distributed System Security Symposium
publication_identifier:
isbn:
- '1891562835'
publication_status: published
publisher: Internet Society
quality_controlled: '1'
status: public
title: 'Parakeet: Practical key transparency for end-to-end eEncrypted messaging'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_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'
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: '13443'
abstract:
- lang: eng
text: 'The ages of solar-like stars have been at the center of many studies such
as exoplanet characterization or Galactic-archeology. While ages are usually computed
from stellar evolution models, relations linking ages to other stellar properties,
such as rotation and magnetic activity, have been investigated. With the large
catalog of 55,232 rotation periods, Prot, and photometric magnetic activity index,
Sph from Kepler data, we have the opportunity to look for such magneto-gyro-chronology
relations. Stellar ages are obtained with two stellar evolution codes that include
treatment of angular momentum evolution, hence using Prot as input in addition
to classical atmospheric parameters. We explore two different ways of predicting
stellar ages on three subsamples with spectroscopic observations: solar analogs,
late-F and G dwarfs, and K dwarfs. We first perform a Bayesian analysis to derive
relations between Sph and ages between 1 and 5 Gyr, and other stellar properties.
For late-F and G dwarfs, and K dwarfs, the multivariate regression favors the
model with Prot and Sph with median differences of 0.1% and 0.2%, respectively.
We also apply Machine Learning techniques with a Random Forest algorithm to predict
ages up to 14 Gyr with the same set of input parameters. For late-F, G and K dwarfs
together, predicted ages are on average within 5.3% of the model ages and improve
to 3.1% when including Prot. These are very promising results for a quick age
estimation for solar-like stars with photometric observations, especially with
current and future space missions.'
acknowledgement: 'This paper includes data collected by the Kepler mission and obtained
from the MAST data archive at the Space Telescope Science Institute (STScI). Funding
for the Kepler mission is provided by the NASA Science Mission Directorate. STScI
is operated by the Association of Universities for Research in Astronomy, Inc.,
under NASA contract NAS 5–26555. We acknowledge that this research was supported
in part by the National Science Foundation under grant No. NSF PHY-1748958. S.M.
acknowledges support from the Spanish Ministry of Science and Innovation (MICINN)
with the Ramón y Cajal fellowship No. RYC-2015-17697, the grant No. PID2019-107061GB-C66,
and through AEI under the Severo Ochoa Centres of Excellence Programme 2020–2023
(CEX2019-000920-S). S.M. and D.G.R. acknowledge support from the Spanish Ministry
of Science and Innovation (MICINN) with the grant No. PID2019-107187GB-I00. Z.R.C.
acknowledges support from National Aeronautics and Space Administration via the
TESS Guest Investigator Program (grant No. 80NSSC18K18584). The work presented here
was partially supported by the NASA grant NNX17AF27G. A.R.G.S. acknowledges the
support by FCT through national funds and by FEDER through COMPETE2020 by the following
grants: UIDB/04434/2020 and UIDP/04434/2020. A.R.G.S. is supported by FCT through
the work contract No. 2020.02480.CEECIND/CP1631/CT0001. R.A.G., L.A., and S.N.B.
acknowledge the support from PLATO and GOLF CNES grants. S.N.B. acknowledges support
from PLATO ASI-INAF agreement No. 2015-019-R.1-2018.'
article_number: '131'
article_processing_charge: Yes
article_type: original
author:
- first_name: Savita
full_name: Mathur, Savita
last_name: Mathur
- first_name: Zachary R.
full_name: Claytor, Zachary R.
last_name: Claytor
- first_name: Ângela R. G.
full_name: Santos, Ângela R. G.
last_name: Santos
- first_name: Rafael A.
full_name: García, Rafael A.
last_name: García
- first_name: Louis
full_name: Amard, Louis
last_name: Amard
- first_name: Lisa Annabelle
full_name: Bugnet, Lisa Annabelle
id: d9edb345-f866-11ec-9b37-d119b5234501
last_name: Bugnet
orcid: 0000-0003-0142-4000
- first_name: Enrico
full_name: Corsaro, Enrico
last_name: Corsaro
- first_name: Alfio
full_name: Bonanno, Alfio
last_name: Bonanno
- first_name: Sylvain N.
full_name: Breton, Sylvain N.
last_name: Breton
- first_name: Diego
full_name: Godoy-Rivera, Diego
last_name: Godoy-Rivera
- first_name: Marc H.
full_name: Pinsonneault, Marc H.
last_name: Pinsonneault
- first_name: Jennifer
full_name: van Saders, Jennifer
last_name: van Saders
citation:
ama: Mathur S, Claytor ZR, Santos ÂRG, et al. Magnetic activity evolution of solar-like
stars. I. Sph–age relation derived from Kepler observations. The Astrophysical
Journal. 2023;952(2). doi:10.3847/1538-4357/acd118
apa: Mathur, S., Claytor, Z. R., Santos, Â. R. G., García, R. A., Amard, L., Bugnet,
L. A., … van Saders, J. (2023). Magnetic activity evolution of solar-like stars.
I. Sph–age relation derived from Kepler observations. The Astrophysical Journal.
American Astronomical Society. https://doi.org/10.3847/1538-4357/acd118
chicago: Mathur, Savita, Zachary R. Claytor, Ângela R. G. Santos, Rafael A. García,
Louis Amard, Lisa Annabelle Bugnet, Enrico Corsaro, et al. “Magnetic Activity
Evolution of Solar-like Stars. I. Sph–Age Relation Derived from Kepler Observations.”
The Astrophysical Journal. American Astronomical Society, 2023. https://doi.org/10.3847/1538-4357/acd118.
ieee: S. Mathur et al., “Magnetic activity evolution of solar-like stars.
I. Sph–age relation derived from Kepler observations,” The Astrophysical Journal,
vol. 952, no. 2. American Astronomical Society, 2023.
ista: Mathur S, Claytor ZR, Santos ÂRG, García RA, Amard L, Bugnet LA, Corsaro E,
Bonanno A, Breton SN, Godoy-Rivera D, Pinsonneault MH, van Saders J. 2023. Magnetic
activity evolution of solar-like stars. I. Sph–age relation derived from Kepler
observations. The Astrophysical Journal. 952(2), 131.
mla: Mathur, Savita, et al. “Magnetic Activity Evolution of Solar-like Stars. I.
Sph–Age Relation Derived from Kepler Observations.” The Astrophysical Journal,
vol. 952, no. 2, 131, American Astronomical Society, 2023, doi:10.3847/1538-4357/acd118.
short: S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet,
E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van
Saders, The Astrophysical Journal 952 (2023).
date_created: 2023-08-01T14:19:16Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2023-12-13T12:00:15Z
day: '01'
ddc:
- '520'
department:
- _id: LiBu
doi: 10.3847/1538-4357/acd118
external_id:
isi:
- '001034185700001'
file:
- access_level: open_access
checksum: f12452834d7ed6748dbf5ace18af4723
content_type: application/pdf
creator: dernst
date_created: 2023-08-02T07:42:26Z
date_updated: 2023-08-02T07:42:26Z
file_id: '13448'
file_name: 2023_AstrophysicalJour_Mathur.pdf
file_size: 4192386
relation: main_file
success: 1
file_date_updated: 2023-08-02T07:42:26Z
has_accepted_license: '1'
intvolume: ' 952'
isi: 1
issue: '2'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
eissn:
- 1538-4357
issn:
- 0004-637X
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
status: public
title: Magnetic activity evolution of solar-like stars. I. Sph–age relation derived
from Kepler observations
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: 952
year: '2023'
...
---
_id: '13447'
abstract:
- lang: eng
text: Asteroseismology has transformed stellar astrophysics. Red giant asteroseismology
is a prime example, with oscillation periods and amplitudes that are readily detectable
with time-domain space-based telescopes. These oscillations can be used to infer
masses, ages and radii for large numbers of stars, providing unique constraints
on stellar populations in our galaxy. The cadence, duration, and spatial resolution
of the Roman galactic bulge time-domain survey (GBTDS) are well-suited for asteroseismology
and will probe an important population not studied by prior missions. We identify
photometric precision as a key requirement for realizing the potential of asteroseismology
with Roman. A precision of 1 mmag per 15-min cadence or better for saturated stars
will enable detections of the populous red clump star population in the Galactic
bulge. If the survey efficiency is better than expected, we argue for repeat observations
of the same fields to improve photometric precision, or covering additional fields
to expand the stellar population reach if the photometric precision for saturated
stars is better than 1 mmag. Asteroseismology is relatively insensitive to the
timing of the observations during the mission, and the prime red clump targets
can be observed in a single 70 day campaign in any given field. Complementary
stellar characterization, particularly astrometry tied to the Gaia system, will
also dramatically expand the diagnostic power of asteroseismology. We also highlight
synergies to Roman GBTDS exoplanet science using transits and microlensing.
article_number: '2307.03237'
article_processing_charge: No
arxiv: 1
author:
- first_name: Daniel
full_name: Huber, Daniel
last_name: Huber
- first_name: Marc
full_name: Pinsonneault, Marc
last_name: Pinsonneault
- first_name: Paul
full_name: Beck, Paul
last_name: Beck
- first_name: Timothy R.
full_name: Bedding, Timothy R.
last_name: Bedding
- first_name: Joss Bland-Hawthorn
full_name: Joss Bland-Hawthorn, Joss Bland-Hawthorn
last_name: Joss Bland-Hawthorn
- first_name: Sylvain N.
full_name: Breton, Sylvain N.
last_name: Breton
- first_name: Lisa Annabelle
full_name: Bugnet, Lisa Annabelle
id: d9edb345-f866-11ec-9b37-d119b5234501
last_name: Bugnet
orcid: 0000-0003-0142-4000
- first_name: William J.
full_name: Chaplin, William J.
last_name: Chaplin
- first_name: Rafael A.
full_name: Garcia, Rafael A.
last_name: Garcia
- first_name: Samuel K.
full_name: Grunblatt, Samuel K.
last_name: Grunblatt
- first_name: Joyce A.
full_name: Guzik, Joyce A.
last_name: Guzik
- first_name: Saskia
full_name: Hekker, Saskia
last_name: Hekker
- first_name: Steven D.
full_name: Kawaler, Steven D.
last_name: Kawaler
- first_name: Stephane
full_name: Mathis, Stephane
last_name: Mathis
- first_name: Savita
full_name: Mathur, Savita
last_name: Mathur
- first_name: Travis
full_name: Metcalfe, Travis
last_name: Metcalfe
- first_name: Benoit
full_name: Mosser, Benoit
last_name: Mosser
- first_name: Melissa K.
full_name: Ness, Melissa K.
last_name: Ness
- first_name: Anthony L.
full_name: Piro, Anthony L.
last_name: Piro
- first_name: Aldo
full_name: Serenelli, Aldo
last_name: Serenelli
- first_name: Sanjib
full_name: Sharma, Sanjib
last_name: Sharma
- first_name: David R.
full_name: Soderblom, David R.
last_name: Soderblom
- first_name: Keivan G.
full_name: Stassun, Keivan G.
last_name: Stassun
- first_name: Dennis
full_name: Stello, Dennis
last_name: Stello
- first_name: Jamie
full_name: Tayar, Jamie
last_name: Tayar
- first_name: Gerard T. van
full_name: Belle, Gerard T. van
last_name: Belle
- first_name: Joel C.
full_name: Zinn, Joel C.
last_name: Zinn
citation:
ama: Huber D, Pinsonneault M, Beck P, et al. Asteroseismology with the Roman galactic
bulge time-domain survey. arXiv. doi:10.48550/arXiv.2307.03237
apa: Huber, D., Pinsonneault, M., Beck, P., Bedding, T. R., Joss Bland-Hawthorn,
J. B.-H., Breton, S. N., … Zinn, J. C. (n.d.). Asteroseismology with the Roman
galactic bulge time-domain survey. arXiv. https://doi.org/10.48550/arXiv.2307.03237
chicago: Huber, Daniel, Marc Pinsonneault, Paul Beck, Timothy R. Bedding, Joss Bland-Hawthorn
Joss Bland-Hawthorn, Sylvain N. Breton, Lisa Annabelle Bugnet, et al. “Asteroseismology
with the Roman Galactic Bulge Time-Domain Survey.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2307.03237.
ieee: D. Huber et al., “Asteroseismology with the Roman galactic bulge time-domain
survey,” arXiv. .
ista: Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton
SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler
SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma
S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology
with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
mla: Huber, Daniel, et al. “Asteroseismology with the Roman Galactic Bulge Time-Domain
Survey.” ArXiv, 2307.03237, doi:10.48550/arXiv.2307.03237.
short: D. Huber, M. Pinsonneault, P. Beck, T.R. Bedding, J.B.-H. Joss Bland-Hawthorn,
S.N. Breton, L.A. Bugnet, W.J. Chaplin, R.A. Garcia, S.K. Grunblatt, J.A. Guzik,
S. Hekker, S.D. Kawaler, S. Mathis, S. Mathur, T. Metcalfe, B. Mosser, M.K. Ness,
A.L. Piro, A. Serenelli, S. Sharma, D.R. Soderblom, K.G. Stassun, D. Stello, J.
Tayar, G.T. van Belle, J.C. Zinn, ArXiv (n.d.).
date_created: 2023-08-02T07:30:43Z
date_published: 2023-07-06T00:00:00Z
date_updated: 2023-08-02T07:36:00Z
day: '06'
department:
- _id: LiBu
doi: 10.48550/arXiv.2307.03237
external_id:
arxiv:
- '2307.03237'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2307.03237
month: '07'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Asteroseismology with the Roman galactic bulge time-domain survey
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13449'
abstract:
- lang: eng
text: Stars strongly impact their environment, and shape structures on all scales
throughout the universe, in a process known as "feedback." Due to the complexity
of both stellar evolution and the physics of larger astrophysical structures,
there remain many unanswered questions about how feedback operates and what we
can learn about stars by studying their imprint on the wider universe. In this
white paper, we summarize discussions from the Lorentz Center meeting "Bringing
Stellar Evolution and Feedback Together" in 2022 April and identify key areas
where further dialog can bring about radical changes in how we view the relationship
between stars and the universe they live in.
article_number: '021001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sam
full_name: Geen, Sam
last_name: Geen
- first_name: Poojan
full_name: Agrawal, Poojan
last_name: Agrawal
- first_name: Paul A.
full_name: Crowther, Paul A.
last_name: Crowther
- first_name: B. W.
full_name: Keller, B. W.
last_name: Keller
- first_name: Alex
full_name: de Koter, Alex
last_name: de Koter
- first_name: Zsolt
full_name: Keszthelyi, Zsolt
last_name: Keszthelyi
- first_name: Freeke
full_name: van de Voort, Freeke
last_name: van de Voort
- first_name: Ahmad A.
full_name: Ali, Ahmad A.
last_name: Ali
- first_name: Frank
full_name: Backs, Frank
last_name: Backs
- first_name: Lars
full_name: Bonne, Lars
last_name: Bonne
- first_name: Vittoria
full_name: Brugaletta, Vittoria
last_name: Brugaletta
- first_name: Annelotte
full_name: Derkink, Annelotte
last_name: Derkink
- first_name: Sylvia
full_name: Ekström, Sylvia
last_name: Ekström
- first_name: Yvonne A.
full_name: Fichtner, Yvonne A.
last_name: Fichtner
- first_name: Luca
full_name: Grassitelli, Luca
last_name: Grassitelli
- first_name: Ylva Louise Linsdotter
full_name: Götberg, Ylva Louise Linsdotter
id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d
last_name: Götberg
orcid: 0000-0002-6960-6911
- first_name: Erin R.
full_name: Higgins, Erin R.
last_name: Higgins
- first_name: Eva
full_name: Laplace, Eva
last_name: Laplace
- first_name: Kong
full_name: You Liow, Kong
last_name: You Liow
- first_name: Marta
full_name: Lorenzo, Marta
last_name: Lorenzo
- first_name: Anna F.
full_name: McLeod, Anna F.
last_name: McLeod
- first_name: Georges
full_name: Meynet, Georges
last_name: Meynet
- first_name: Megan
full_name: Newsome, Megan
last_name: Newsome
- first_name: G.
full_name: André Oliva, G.
last_name: André Oliva
- first_name: Varsha
full_name: Ramachandran, Varsha
last_name: Ramachandran
- first_name: Martin P.
full_name: Rey, Martin P.
last_name: Rey
- first_name: Steven
full_name: Rieder, Steven
last_name: Rieder
- first_name: Emilio
full_name: Romano-Díaz, Emilio
last_name: Romano-Díaz
- first_name: Gautham
full_name: Sabhahit, Gautham
last_name: Sabhahit
- first_name: Andreas A. C.
full_name: Sander, Andreas A. C.
last_name: Sander
- first_name: Rafia
full_name: Sarwar, Rafia
last_name: Sarwar
- first_name: Hanno
full_name: Stinshoff, Hanno
last_name: Stinshoff
- first_name: Mitchel
full_name: Stoop, Mitchel
last_name: Stoop
- first_name: Dorottya
full_name: Szécsi, Dorottya
last_name: Szécsi
- first_name: Maxime
full_name: Trebitsch, Maxime
last_name: Trebitsch
- first_name: Jorick S.
full_name: Vink, Jorick S.
last_name: Vink
- first_name: Ethan
full_name: Winch, Ethan
last_name: Winch
citation:
ama: 'Geen S, Agrawal P, Crowther PA, et al. Bringing stellar evolution and feedback
together: Summary of proposals from the Lorentz Center workshop. Publications
of the Astronomical Society of the Pacific. 2023;135(1044). doi:10.1088/1538-3873/acb6b5'
apa: 'Geen, S., Agrawal, P., Crowther, P. A., Keller, B. W., de Koter, A., Keszthelyi,
Z., … Winch, E. (2023). Bringing stellar evolution and feedback together: Summary
of proposals from the Lorentz Center workshop. Publications of the Astronomical
Society of the Pacific. IOP Publishing. https://doi.org/10.1088/1538-3873/acb6b5'
chicago: 'Geen, Sam, Poojan Agrawal, Paul A. Crowther, B. W. Keller, Alex de Koter,
Zsolt Keszthelyi, Freeke van de Voort, et al. “Bringing Stellar Evolution and
Feedback Together: Summary of Proposals from the Lorentz Center Workshop.” Publications
of the Astronomical Society of the Pacific. IOP Publishing, 2023. https://doi.org/10.1088/1538-3873/acb6b5.'
ieee: 'S. Geen et al., “Bringing stellar evolution and feedback together:
Summary of proposals from the Lorentz Center workshop,” Publications of the
Astronomical Society of the Pacific, vol. 135, no. 1044. IOP Publishing, 2023.'
ista: 'Geen S, Agrawal P, Crowther PA, Keller BW, de Koter A, Keszthelyi Z, van
de Voort F, Ali AA, Backs F, Bonne L, Brugaletta V, Derkink A, Ekström S, Fichtner
YA, Grassitelli L, Götberg YLL, Higgins ER, Laplace E, You Liow K, Lorenzo M,
McLeod AF, Meynet G, Newsome M, André Oliva G, Ramachandran V, Rey MP, Rieder
S, Romano-Díaz E, Sabhahit G, Sander AAC, Sarwar R, Stinshoff H, Stoop M, Szécsi
D, Trebitsch M, Vink JS, Winch E. 2023. Bringing stellar evolution and feedback
together: Summary of proposals from the Lorentz Center workshop. Publications
of the Astronomical Society of the Pacific. 135(1044), 021001.'
mla: 'Geen, Sam, et al. “Bringing Stellar Evolution and Feedback Together: Summary
of Proposals from the Lorentz Center Workshop.” Publications of the Astronomical
Society of the Pacific, vol. 135, no. 1044, 021001, IOP Publishing, 2023,
doi:10.1088/1538-3873/acb6b5.'
short: S. Geen, P. Agrawal, P.A. Crowther, B.W. Keller, A. de Koter, Z. Keszthelyi,
F. van de Voort, A.A. Ali, F. Backs, L. Bonne, V. Brugaletta, A. Derkink, S. Ekström,
Y.A. Fichtner, L. Grassitelli, Y.L.L. Götberg, E.R. Higgins, E. Laplace, K. You
Liow, M. Lorenzo, A.F. McLeod, G. Meynet, M. Newsome, G. André Oliva, V. Ramachandran,
M.P. Rey, S. Rieder, E. Romano-Díaz, G. Sabhahit, A.A.C. Sander, R. Sarwar, H.
Stinshoff, M. Stoop, D. Szécsi, M. Trebitsch, J.S. Vink, E. Winch, Publications
of the Astronomical Society of the Pacific 135 (2023).
date_created: 2023-08-03T10:09:57Z
date_published: 2023-03-09T00:00:00Z
date_updated: 2023-08-21T12:09:14Z
day: '09'
doi: 10.1088/1538-3873/acb6b5
extern: '1'
external_id:
arxiv:
- '2301.13611'
intvolume: ' 135'
issue: '1044'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1088/1538-3873/acb6b5
month: '03'
oa: 1
oa_version: Published Version
publication: Publications of the Astronomical Society of the Pacific
publication_identifier:
eissn:
- 1538-3873
issn:
- 0004-6280
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Bringing stellar evolution and feedback together: Summary of proposals from
the Lorentz Center workshop'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 135
year: '2023'
...
---
_id: '13450'
abstract:
- lang: eng
text: In previous work, we identified a population of 38 cool and luminous variable
stars in the Magellanic Clouds and examined 11 in detail in order to classify
them as either Thorne–Żytkow objects (TŻOs; red supergiants with a neutron star
cores) or super-asymptotic giant branch (sAGB) stars (the most massive stars that
will not undergo core collapse). This population includes HV 2112, a peculiar
star previously considered in other works to be either a TŻO or high-mass asymptotic
giant branch (AGB) star. Here we continue this investigation, using the kinematic
and radio environments and local star formation history of these stars to place
constraints on the age of the progenitor systems and the presence of past supernovae.
These stars are not associated with regions of recent star formation, and we find
no evidence of past supernovae at their locations. Finally, we also assess the
presence of heavy elements and lithium in their spectra compared to red supergiants.
We find strong absorption in Li and s-process elements compared to RSGs in most
of the sample, consistent with sAGB nucleosynthesis, while HV 2112 shows additional
strong lines associated with TŻO nucleosynthesis. Coupled with our previous mass
estimates, the results are consistent with the stars being massive (∼4–6.5 M⊙)
or sAGB (∼6.5–12 M⊙) stars in the thermally pulsing phase, providing crucial observations
of the transition between low- and high-mass stellar populations. HV 2112 is more
ambiguous; it could either be a maximally massive sAGB star, or a TŻO if the minimum
mass for stability extends down to ≲13 M⊙.
article_number: '18'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Anna J. G.
full_name: O‘Grady, Anna J. G.
last_name: O‘Grady
- first_name: Maria R.
full_name: Drout, Maria R.
last_name: Drout
- first_name: B. M.
full_name: Gaensler, B. M.
last_name: Gaensler
- first_name: C. S.
full_name: Kochanek, C. S.
last_name: Kochanek
- first_name: Kathryn F.
full_name: Neugent, Kathryn F.
last_name: Neugent
- first_name: Carolyn L.
full_name: Doherty, Carolyn L.
last_name: Doherty
- first_name: Joshua S.
full_name: Speagle, Joshua S.
last_name: Speagle
- first_name: B. J.
full_name: Shappee, B. J.
last_name: Shappee
- first_name: Michael
full_name: Rauch, Michael
last_name: Rauch
- first_name: Ylva Louise Linsdotter
full_name: Götberg, Ylva Louise Linsdotter
id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d
last_name: Götberg
orcid: 0000-0002-6960-6911
- first_name: Bethany
full_name: Ludwig, Bethany
last_name: Ludwig
- first_name: Todd A.
full_name: Thompson, Todd A.
last_name: Thompson
citation:
ama: O‘Grady AJG, Drout MR, Gaensler BM, et al. Cool, luminous, and highly variable
stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of
Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal.
2023;943(1). doi:10.3847/1538-4357/aca655
apa: O‘Grady, A. J. G., Drout, M. R., Gaensler, B. M., Kochanek, C. S., Neugent,
K. F., Doherty, C. L., … Thompson, T. A. (2023). Cool, luminous, and highly variable
stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of
Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal.
American Astronomical Society. https://doi.org/10.3847/1538-4357/aca655
chicago: O‘Grady, Anna J. G., Maria R. Drout, B. M. Gaensler, C. S. Kochanek, Kathryn
F. Neugent, Carolyn L. Doherty, Joshua S. Speagle, et al. “Cool, Luminous, and
Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental
Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” The Astrophysical
Journal. American Astronomical Society, 2023. https://doi.org/10.3847/1538-4357/aca655.
ieee: A. J. G. O‘Grady et al., “Cool, luminous, and highly variable stars
in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow
object and super-AGB star candidates,” The Astrophysical Journal, vol.
943, no. 1. American Astronomical Society, 2023.
ista: O‘Grady AJG, Drout MR, Gaensler BM, Kochanek CS, Neugent KF, Doherty CL, Speagle
JS, Shappee BJ, Rauch M, Götberg YLL, Ludwig B, Thompson TA. 2023. Cool, luminous,
and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental
analysis of Thorne–Żytkow object and super-AGB star candidates. The Astrophysical
Journal. 943(1), 18.
mla: O‘Grady, Anna J. G., et al. “Cool, Luminous, and Highly Variable Stars in the
Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow
Object and Super-AGB Star Candidates.” The Astrophysical Journal, vol.
943, no. 1, 18, American Astronomical Society, 2023, doi:10.3847/1538-4357/aca655.
short: A.J.G. O‘Grady, M.R. Drout, B.M. Gaensler, C.S. Kochanek, K.F. Neugent, C.L.
Doherty, J.S. Speagle, B.J. Shappee, M. Rauch, Y.L.L. Götberg, B. Ludwig, T.A.
Thompson, The Astrophysical Journal 943 (2023).
date_created: 2023-08-03T10:10:12Z
date_published: 2023-01-20T00:00:00Z
date_updated: 2023-08-21T12:07:05Z
day: '20'
doi: 10.3847/1538-4357/aca655
extern: '1'
external_id:
arxiv:
- '2211.12438'
intvolume: ' 943'
issue: '1'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/aca655
month: '01'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
eissn:
- 1538-4357
issn:
- 0004-637X
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic
and environmental analysis of Thorne–Żytkow object and super-AGB star candidates
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 943
year: '2023'
...
---
_id: '13963'
abstract:
- lang: eng
text: The many-body localization (MBL) proximity effect is an intriguing phenomenon
where a thermal bath localizes due to the interaction with a disordered system.
The interplay of thermal and nonergodic behavior in these systems gives rise to
a rich phase diagram, whose exploration is an active field of research. In this
paper, we study a bosonic Hubbard model featuring two particle species representing
the bath and the disordered system. Using state-of-the-art numerical techniques,
we investigate the dynamics of the model in different regimes, based on which
we obtain a tentative phase diagram as a function of coupling strength and bath
size. When the bath is composed of a single particle, we observe clear signatures
of a transition from an MBL proximity effect to a delocalized phase. Increasing
the bath size, however, its thermalizing effect becomes stronger and eventually
the whole system delocalizes in the range of moderate interaction strengths studied.
In this regime, we characterize particle transport, revealing diffusive behavior
of the originally localized bosons.
acknowledgement: "We thank A. A. Michailidis and A. Mirlin for insightful discussions.
P.B., M.L., and M.S. acknowledge support by the European Research Council (ERC)
under the European Union’s Horizon 2020 research and innovation program (Grant Agreement
No. 850899). D.A. was\r\nsupported by the European Research Council (ERC) under
the European Union’s Horizon 2020 research and innovation program (Grant Agreement
No. 864597) and by the Swiss National Science Foundation. P.B., M.L., and M.S. acknowledge
PRACE for awarding us access to Joliot-Curie at GENCI@CEA, France, where the TEBD
simulations were performed. The TEBD simulations were performed using the ITensor
library [60]."
article_number: '054201'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Pietro
full_name: Brighi, Pietro
id: 4115AF5C-F248-11E8-B48F-1D18A9856A87
last_name: Brighi
orcid: 0000-0002-7969-2729
- first_name: Marko
full_name: Ljubotina, Marko
id: F75EE9BE-5C90-11EA-905D-16643DDC885E
last_name: Ljubotina
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: Brighi P, Ljubotina M, Abanin DA, Serbyn M. Many-body localization proximity
effect in a two-species bosonic Hubbard model. Physical Review B. 2023;108(5).
doi:10.1103/physrevb.108.054201
apa: Brighi, P., Ljubotina, M., Abanin, D. A., & Serbyn, M. (2023). Many-body
localization proximity effect in a two-species bosonic Hubbard model. Physical
Review B. American Physical Society. https://doi.org/10.1103/physrevb.108.054201
chicago: Brighi, Pietro, Marko Ljubotina, Dmitry A. Abanin, and Maksym Serbyn. “Many-Body
Localization Proximity Effect in a Two-Species Bosonic Hubbard Model.” Physical
Review B. American Physical Society, 2023. https://doi.org/10.1103/physrevb.108.054201.
ieee: P. Brighi, M. Ljubotina, D. A. Abanin, and M. Serbyn, “Many-body localization
proximity effect in a two-species bosonic Hubbard model,” Physical Review B,
vol. 108, no. 5. American Physical Society, 2023.
ista: Brighi P, Ljubotina M, Abanin DA, Serbyn M. 2023. Many-body localization proximity
effect in a two-species bosonic Hubbard model. Physical Review B. 108(5), 054201.
mla: Brighi, Pietro, et al. “Many-Body Localization Proximity Effect in a Two-Species
Bosonic Hubbard Model.” Physical Review B, vol. 108, no. 5, 054201, American
Physical Society, 2023, doi:10.1103/physrevb.108.054201.
short: P. Brighi, M. Ljubotina, D.A. Abanin, M. Serbyn, Physical Review B 108 (2023).
date_created: 2023-08-05T18:25:22Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2023-08-07T09:51:39Z
day: '01'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/physrevb.108.054201
ec_funded: 1
external_id:
arxiv:
- '2303.16876'
file:
- access_level: open_access
checksum: f763000339b5fd543c14377109920690
content_type: application/pdf
creator: dernst
date_created: 2023-08-07T09:48:08Z
date_updated: 2023-08-07T09:48:08Z
file_id: '13981'
file_name: 2023_PhysRevB_Brighi.pdf
file_size: 3051398
relation: main_file
success: 1
file_date_updated: 2023-08-07T09:48:08Z
has_accepted_license: '1'
intvolume: ' 108'
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
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: Many-body localization proximity effect in a two-species bosonic Hubbard model
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2023'
...