---
_id: '18217'
abstract:
- lang: eng
text: A central challenge in building robotic prostheses is the creation of a sensor-based
system able to read physiological signals from the lower limb and instruct a robotic
hand to perform various tasks. Existing systems typically perform discrete gestures
such as pointing or grasping, by employing electromyography (EMG) or ultrasound
(US) technologies to analyze muscle states. While estimating finger gestures has
been done in the past by detecting prominent gestures, we are interested in detection,
or inference, done in the context of fine motions that evolve over time. Examples
include motions occurring when performing fine and dexterous tasks such as keyboard
typing or piano playing. We consider this task as an important step towards higher
adoption rates of robotic prostheses among arm amputees, as it has the potential
to dramatically increase functionality in performing daily tasks. To this end,
we present an end-to-end robotic system, which can successfully infer fine finger
motions. This is achieved by modeling the hand as a robotic manipulator and using
it as an intermediate representation to encode muscles' dynamics from a sequence
of US images. We evaluated our method by collecting data from a group of subjects
and demonstrating how it can be used to replay music played or text typed. To
the best of our knowledge, this is the first study demonstrating these downstream
tasks within an end-to-end system.
article_processing_charge: No
arxiv: 1
author:
- first_name: Dean
full_name: Zadok, Dean
last_name: Zadok
- first_name: Oren
full_name: Salzman, Oren
last_name: Salzman
- first_name: Alon
full_name: Wolf, Alon
last_name: Wolf
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
citation:
ama: 'Zadok D, Salzman O, Wolf A, Bronstein AM. Towards predicting fine finger motions
from ultrasound images via kinematic representation. In: 2023 IEEE International
Conference on Robotics and Automation. Vol 27. IEEE; 2023. doi:10.1109/icra48891.2023.10160601'
apa: 'Zadok, D., Salzman, O., Wolf, A., & Bronstein, A. M. (2023). Towards predicting
fine finger motions from ultrasound images via kinematic representation. In 2023
IEEE International Conference on Robotics and Automation (Vol. 27). London,
United Kingdom: IEEE. https://doi.org/10.1109/icra48891.2023.10160601'
chicago: Zadok, Dean, Oren Salzman, Alon Wolf, and Alex M. Bronstein. “Towards Predicting
Fine Finger Motions from Ultrasound Images via Kinematic Representation.” In 2023
IEEE International Conference on Robotics and Automation, Vol. 27. IEEE, 2023.
https://doi.org/10.1109/icra48891.2023.10160601.
ieee: D. Zadok, O. Salzman, A. Wolf, and A. M. Bronstein, “Towards predicting fine
finger motions from ultrasound images via kinematic representation,” in 2023
IEEE International Conference on Robotics and Automation, London, United Kingdom,
2023, vol. 27.
ista: 'Zadok D, Salzman O, Wolf A, Bronstein AM. 2023. Towards predicting fine finger
motions from ultrasound images via kinematic representation. 2023 IEEE International
Conference on Robotics and Automation. ICRA: Conference on Robotics and Automation
vol. 27.'
mla: Zadok, Dean, et al. “Towards Predicting Fine Finger Motions from Ultrasound
Images via Kinematic Representation.” 2023 IEEE International Conference on
Robotics and Automation, vol. 27, IEEE, 2023, doi:10.1109/icra48891.2023.10160601.
short: D. Zadok, O. Salzman, A. Wolf, A.M. Bronstein, in:, 2023 IEEE International
Conference on Robotics and Automation, IEEE, 2023.
conference:
end_date: 2023-06-02
location: London, United Kingdom
name: 'ICRA: Conference on Robotics and Automation'
start_date: 2023-05-29
date_created: 2024-10-08T12:50:55Z
date_published: 2023-07-04T00:00:00Z
date_updated: 2024-10-09T12:00:32Z
day: '04'
doi: 10.1109/icra48891.2023.10160601
extern: '1'
external_id:
arxiv:
- '2202.05204'
intvolume: ' 27'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2202.05204
month: '07'
oa: 1
oa_version: Preprint
publication: 2023 IEEE International Conference on Robotics and Automation
publication_identifier:
eisbn:
- '9798350323658'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Towards predicting fine finger motions from ultrasound images via kinematic
representation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2023'
...
---
_id: '18218'
abstract:
- lang: eng
text: Deep neural networks are known to be susceptible to adversarial perturbations
– small perturbations that alter the output of the network and exist under strict
norm limitations. While such perturbations are usually discussed as tailored to
a specific input, a universal perturbation can be constructed to alter the model’s
output on a set of inputs. Universal perturbations present a more realistic case
of adversarial attacks, as awareness of the model’s exact input is not required.
In addition, the universal attack setting raises the subject of generalization
to unseen data, where given a set of inputs, the universal perturbations aim to
alter the model’s output on out-of-sample data. In this work, we study physical
passive patch adversarial attacks on visual odometry-based autonomous navigation
systems. A visual odometry system aims to infer the relative camera motion between
two corresponding viewpoints, and is frequently used by vision-based autonomous
navigation systems to estimate their state. For such navigation systems, a patch
adversarial perturbation poses a severe security issue, as it can be used to mislead
a system onto some collision course. To the best of our knowledge, we show for
the first time that the error margin of a visual odometry model can be significantly
increased by deploying patch adversarial attacks in the scene. We provide evaluation
on synthetic closed-loop drone navigation data and demonstrate that a comparable
vulnerability exists in real data. A reference implementation of the proposed
method and the reported experiments is provided at https://github.com/patchadversarialattacks/patchadversarialattacks.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Yaniv
full_name: Nemcovsky, Yaniv
last_name: Nemcovsky
- first_name: Matan
full_name: Jacoby, Matan
last_name: Jacoby
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Chaim
full_name: Baskin, Chaim
last_name: Baskin
citation:
ama: 'Nemcovsky Y, Jacoby M, Bronstein AM, Baskin C. Physical passive patch adversarial
attacks on visual odometry systems. In: 16th Asian Conference on Computer Vision.
Vol 13847. Springer Nature; 2023:518-534. doi:10.1007/978-3-031-26293-7_31'
apa: 'Nemcovsky, Y., Jacoby, M., Bronstein, A. M., & Baskin, C. (2023). Physical
passive patch adversarial attacks on visual odometry systems. In 16th Asian
Conference on Computer Vision (Vol. 13847, pp. 518–534). Macao, China: Springer
Nature. https://doi.org/10.1007/978-3-031-26293-7_31'
chicago: Nemcovsky, Yaniv, Matan Jacoby, Alex M. Bronstein, and Chaim Baskin. “Physical
Passive Patch Adversarial Attacks on Visual Odometry Systems.” In 16th Asian
Conference on Computer Vision, 13847:518–34. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-26293-7_31.
ieee: Y. Nemcovsky, M. Jacoby, A. M. Bronstein, and C. Baskin, “Physical passive
patch adversarial attacks on visual odometry systems,” in 16th Asian Conference
on Computer Vision, Macao, China, 2023, vol. 13847, pp. 518–534.
ista: 'Nemcovsky Y, Jacoby M, Bronstein AM, Baskin C. 2023. Physical passive patch
adversarial attacks on visual odometry systems. 16th Asian Conference on Computer
Vision. ACCV: Asian Conference on Computer Vision, LNCS, vol. 13847, 518–534.'
mla: Nemcovsky, Yaniv, et al. “Physical Passive Patch Adversarial Attacks on Visual
Odometry Systems.” 16th Asian Conference on Computer Vision, vol. 13847,
Springer Nature, 2023, pp. 518–34, doi:10.1007/978-3-031-26293-7_31.
short: Y. Nemcovsky, M. Jacoby, A.M. Bronstein, C. Baskin, in:, 16th Asian Conference
on Computer Vision, Springer Nature, 2023, pp. 518–534.
conference:
end_date: 2022-12-08
location: Macao, China
name: 'ACCV: Asian Conference on Computer Vision'
start_date: 2022-12-04
date_created: 2024-10-08T12:51:14Z
date_published: 2023-03-11T00:00:00Z
date_updated: 2024-10-09T12:13:36Z
day: '11'
doi: 10.1007/978-3-031-26293-7_31
extern: '1'
external_id:
arxiv:
- '2207.05729'
intvolume: ' 13847'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2207.05729
month: '03'
oa: 1
oa_version: Preprint
page: 518-534
publication: 16th Asian Conference on Computer Vision
publication_identifier:
eisbn:
- '9783031262937'
eissn:
- 1611-3349
isbn:
- '9783031262920'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/patchadversarialattacks/patchadversarialattacks
scopus_import: '1'
status: public
title: Physical passive patch adversarial attacks on visual odometry systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13847
year: '2023'
...
---
_id: '18219'
abstract:
- lang: eng
text: Nowadays, many of the images captured are ‘observed’ by machines only and
not by humans, e.g., in autonomous systems. High-level machine vision models,
such as object recognition or semantic segmentation, assume images are transformed
into some canonical image space by the camera Image Signal Processor (ISP). However,
the camera ISP is optimized for producing visually pleasing images for human observers
and not for machines. Therefore, one may spare the ISP compute time and apply
vision models directly to RAW images. Yet, it has been shown that training such
models directly on RAW images results in a performance drop. To mitigate this
drop, we use a RAW and RGB image pairs dataset, which can be easily acquired with
no human labeling. We then train a model that is applied directly to the RAW data
by using knowledge distillation such that the model predictions for RAW images
will be aligned with the predictions of an off-the-shelf pre-trained model for
processed RGB images. Our experiments show that our performance on RAW images
for object classification and semantic segmentation is significantly better than
models trained on labeled RAW images. It also reasonably matches the predictions
of a pre-trained model on processed RGB images, while saving the ISP compute overhead.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Eli
full_name: Schwartz, Eli
last_name: Schwartz
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Raja
full_name: Giryes, Raja
last_name: Giryes
citation:
ama: Schwartz E, Bronstein AM, Giryes R. ISP Distillation. IEEE Open Journal
of Signal Processing. 2023;4:12-20. doi:10.1109/ojsp.2023.3239819
apa: Schwartz, E., Bronstein, A. M., & Giryes, R. (2023). ISP Distillation.
IEEE Open Journal of Signal Processing. Institute of Electrical and Electronics
Engineers. https://doi.org/10.1109/ojsp.2023.3239819
chicago: Schwartz, Eli, Alex M. Bronstein, and Raja Giryes. “ISP Distillation.”
IEEE Open Journal of Signal Processing. Institute of Electrical and Electronics
Engineers, 2023. https://doi.org/10.1109/ojsp.2023.3239819.
ieee: E. Schwartz, A. M. Bronstein, and R. Giryes, “ISP Distillation,” IEEE Open
Journal of Signal Processing, vol. 4. Institute of Electrical and Electronics
Engineers, pp. 12–20, 2023.
ista: Schwartz E, Bronstein AM, Giryes R. 2023. ISP Distillation. IEEE Open Journal
of Signal Processing. 4, 12–20.
mla: Schwartz, Eli, et al. “ISP Distillation.” IEEE Open Journal of Signal Processing,
vol. 4, Institute of Electrical and Electronics Engineers, 2023, pp. 12–20, doi:10.1109/ojsp.2023.3239819.
short: E. Schwartz, A.M. Bronstein, R. Giryes, IEEE Open Journal of Signal Processing
4 (2023) 12–20.
date_created: 2024-10-08T12:51:32Z
date_published: 2023-01-25T00:00:00Z
date_updated: 2024-10-09T12:24:13Z
day: '25'
doi: 10.1109/ojsp.2023.3239819
extern: '1'
external_id:
arxiv:
- '2101.10203'
intvolume: ' 4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1109/OJSP.2023.3239819
month: '01'
oa: 1
oa_version: Published Version
page: 12-20
publication: IEEE Open Journal of Signal Processing
publication_identifier:
issn:
- 2644-1322
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: ISP Distillation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2023'
...
---
OA_place: publisher
OA_type: hybrid
_id: '18621'
abstract:
- lang: eng
text: During neural development, cellular adhesion is crucial for interactions among
and between neurons and surrounding tissues. This function is mediated by conserved
cell adhesion molecules, which are tightly regulated to allow for coordinated
neuronal outgrowth. Here, we show that the proprotein convertase KPC-1 (homolog
of mammalian furin) regulates the Menorin adhesion complex during development
of PVD dendritic arbors in Caenorhabditis elegans. We found a finely regulated
antagonistic balance between PVD-expressed KPC-1 and the epidermally expressed
putative cell adhesion molecule MNR-1 (Menorin). Genetically, partial loss of
mnr-1 suppressed partial loss of kpc-1, and both loss of kpc-1 and transgenic
overexpression of mnr-1 resulted in indistinguishable phenotypes in PVD dendrites.
This balance regulated cell-surface localization of the DMA-1 leucine-rich transmembrane
receptor in PVD neurons. Lastly, kpc-1 mutants showed increased amounts of MNR-1
and decreased amounts of muscle-derived LECT-2 (Chondromodulin II), which is also
part of the Menorin adhesion complex. These observations suggest that KPC-1 in
PVD neurons directly or indirectly controls the abundance of proteins of the Menorin
adhesion complex from adjacent tissues, thereby providing negative feedback from
the dendrite to the instructive cues of surrounding tissues.
acknowledgement: "We thank members of the Bülow laboratory for comments on the manuscript
and discussions throughout the course of this work; and Ryan Peer and William Corman
for their initial help with the modifier genetic screen. We acknowledge the Genomics
Core facility and the Advanced Imaging Facility at Albert Einstein College of Medicine
for help during these studies. We are grateful to Kang Shen, David Miller and the
Caenorhabditis Genetics Center (which is funded by National Institutes of Health
Office of Research Infrastructure Programs P40OD0104400) for some of the strains
used in this study, and Lhisia Chen for the anti-SAX-7 antibody.\r\nThis work was
supported by grants from the National Institutes of Health (F31NS100370 to M.R.;
T32GM007288 and F31NS111939 to M.T.; R01NS096672, R21NS081505 and R01NS129992 to
H.E.B.; and P30HD071593 to Albert Einstein College of Medicine). N.J.R.-S. was the
recipient of a Colciencias-Fulbright Fellowship [funded by Departamento Administrativo
de Ciencia, Tecnología e Innovación (COLCIENCIAS) and Fulbright Colombia], L.T.H.T.
of a Croucher Foundation Fellowship, and H.E.B. of an Irma T. Hirschl Trust/Monique
Weill-Caulier Trust research fellowship. Open Access funding provided by Albert
Einstein College of Medicine, Yeshiva University. Deposited in PMC for immediate
release."
article_processing_charge: No
article_type: original
author:
- first_name: Nelson
full_name: Ramirez, Nelson
id: 39831956-E4FE-11E9-85DE-0DC7E5697425
last_name: Ramirez
- first_name: Helen M.
full_name: Belalcazar, Helen M.
last_name: Belalcazar
- first_name: Maisha
full_name: Rahman, Maisha
last_name: Rahman
- first_name: Meera
full_name: Trivedi, Meera
last_name: Trivedi
- first_name: Leo T. H.
full_name: Tang, Leo T. H.
last_name: Tang
- first_name: Hannes E.
full_name: Bülow, Hannes E.
last_name: Bülow
citation:
ama: Ramirez N, Belalcazar HM, Rahman M, Trivedi M, Tang LTH, Bülow HE. Convertase-dependent
regulation of membrane-tethered and secreted ligands tunes dendrite adhesion.
Development. 2023;150(18). doi:10.1242/dev.201208
apa: Ramirez, N., Belalcazar, H. M., Rahman, M., Trivedi, M., Tang, L. T. H., &
Bülow, H. E. (2023). Convertase-dependent regulation of membrane-tethered and
secreted ligands tunes dendrite adhesion. Development. The Company of Biologists.
https://doi.org/10.1242/dev.201208
chicago: Ramirez, Nelson, Helen M. Belalcazar, Maisha Rahman, Meera Trivedi, Leo
T. H. Tang, and Hannes E. Bülow. “Convertase-Dependent Regulation of Membrane-Tethered
and Secreted Ligands Tunes Dendrite Adhesion.” Development. The Company
of Biologists, 2023. https://doi.org/10.1242/dev.201208.
ieee: N. Ramirez, H. M. Belalcazar, M. Rahman, M. Trivedi, L. T. H. Tang, and H.
E. Bülow, “Convertase-dependent regulation of membrane-tethered and secreted ligands
tunes dendrite adhesion,” Development, vol. 150, no. 18. The Company of
Biologists, 2023.
ista: Ramirez N, Belalcazar HM, Rahman M, Trivedi M, Tang LTH, Bülow HE. 2023. Convertase-dependent
regulation of membrane-tethered and secreted ligands tunes dendrite adhesion.
Development. 150(18).
mla: Ramirez, Nelson, et al. “Convertase-Dependent Regulation of Membrane-Tethered
and Secreted Ligands Tunes Dendrite Adhesion.” Development, vol. 150, no.
18, The Company of Biologists, 2023, doi:10.1242/dev.201208.
short: N. Ramirez, H.M. Belalcazar, M. Rahman, M. Trivedi, L.T.H. Tang, H.E. Bülow,
Development 150 (2023).
date_created: 2024-12-04T22:02:52Z
date_published: 2023-09-18T00:00:00Z
date_updated: 2024-12-09T11:43:40Z
day: '18'
ddc:
- '570'
doi: 10.1242/dev.201208
extern: '1'
external_id:
pmid:
- '37721334'
file:
- access_level: open_access
checksum: d2158dc56db50457e6404c4afec4401c
content_type: application/pdf
creator: nramirez
date_created: 2024-12-04T22:12:04Z
date_updated: 2024-12-04T22:12:04Z
file_id: '18624'
file_name: dev201208.pdf
file_size: 9559527
relation: main_file
success: 1
file_date_updated: 2024-12-04T22:12:04Z
has_accepted_license: '1'
intvolume: ' 150'
issue: '18'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
publication: Development
publication_identifier:
eissn:
- 1477-9129
issn:
- 0950-1991
publication_status: published
publisher: The Company of Biologists
quality_controlled: '1'
scopus_import: '1'
status: public
title: Convertase-dependent regulation of membrane-tethered and secreted ligands tunes
dendrite adhesion
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: 150
year: '2023'
...
---
OA_place: repository
_id: '18634'
abstract:
- lang: eng
text: 'There are 4 tar.xz files with the result of the model for the paper: A 3D
glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen,
Svalbard. '
article_processing_charge: No
author:
- first_name: José M
full_name: Muñoz Hermosilla, José M
id: e1037a6d-646e-11ef-b402-e0ed9ab0901e
last_name: Muñoz Hermosilla
citation:
ama: Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the
frontal ablation of Hansbreen. 2023. doi:10.5281/ZENODO.8005257
apa: Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate
the frontal ablation of Hansbreen. Zenodo. https://doi.org/10.5281/ZENODO.8005257
chicago: Muñoz Hermosilla, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate
the Frontal Ablation of Hansbreen.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8005257.
ieee: J. M. Muñoz Hermosilla, “A 3D glacier dynamics-line plume model to estimate
the frontal ablation of Hansbreen.” Zenodo, 2023.
ista: Muñoz Hermosilla JM. 2023. A 3D glacier dynamics-line plume model to estimate
the frontal ablation of Hansbreen, Zenodo, 10.5281/ZENODO.8005257.
mla: Muñoz Hermosilla, José M. A 3D Glacier Dynamics-Line Plume Model to Estimate
the Frontal Ablation of Hansbreen. Zenodo, 2023, doi:10.5281/ZENODO.8005257.
short: J.M. Muñoz Hermosilla, (2023).
corr_author: '1'
date_created: 2024-12-09T09:33:07Z
date_published: 2023-06-05T00:00:00Z
date_updated: 2024-12-09T09:43:47Z
day: '05'
ddc:
- '550'
department:
- _id: FrPe
doi: 10.5281/ZENODO.8005257
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.8005258
month: '06'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '18628'
relation: research_data
status: public
status: public
title: A 3D glacier dynamics-line plume model to estimate the frontal ablation of
Hansbreen
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '12287'
abstract:
- lang: eng
text: We present criteria for establishing a triangulation of a manifold. Given
a manifold M, a simplicial complex A, and a map H from the underlying space of
A to M, our criteria are presented in local coordinate charts for M, and ensure
that H is a homeomorphism. These criteria do not require a differentiable structure,
or even an explicit metric on M. No Delaunay property of A is assumed. The result
provides a triangulation guarantee for algorithms that construct a simplicial
complex by working in local coordinate patches. Because the criteria are easily
verified in such a setting, they are expected to be of general use.
acknowledgement: "This work has been funded by the European Research Council under
the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations
of Geometric Understanding in Higher Dimensions). Arijit Ghosh is supported by Ramanujan
Fellowship (No. SB/S2/RJN-064/2015). Part of this work was done when Arijit Ghosh
was a Researcher at Max-Planck-Institute for Informatics, Germany, supported by
the IndoGerman Max Planck Center for Computer Science (IMPECS). Mathijs Wintraecken
also received funding from the European Union’s Horizon 2020 research and innovation
programme under the Marie Skłodowska-Curie grant agreement No. 754411 and the Austrian
Science Fund (FWF): M-3073. A part of the results described in this paper were presented
at SoCG 2018 and in [3]. \r\nOpen access funding provided by the Austrian Science
Fund (FWF)."
article_processing_charge: No
article_type: original
author:
- first_name: Jean-Daniel
full_name: Boissonnat, Jean-Daniel
last_name: Boissonnat
- first_name: Ramsay
full_name: Dyer, Ramsay
last_name: Dyer
- first_name: Arijit
full_name: Ghosh, Arijit
last_name: Ghosh
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating
general manifolds. Discrete & Computational Geometry. 2023;69:156-191.
doi:10.1007/s00454-022-00431-7
apa: Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local
criteria for triangulating general manifolds. Discrete & Computational
Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
chicago: Boissonnat, Jean-Daniel, Ramsay Dyer, Arijit Ghosh, and Mathijs Wintraecken.
“Local Criteria for Triangulating General Manifolds.” Discrete & Computational
Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-022-00431-7.
ieee: J.-D. Boissonnat, R. Dyer, A. Ghosh, and M. Wintraecken, “Local criteria for
triangulating general manifolds,” Discrete & Computational Geometry,
vol. 69. Springer Nature, pp. 156–191, 2023.
ista: Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. 2023. Local criteria for triangulating
general manifolds. Discrete & Computational Geometry. 69, 156–191.
mla: Boissonnat, Jean-Daniel, et al. “Local Criteria for Triangulating General Manifolds.”
Discrete & Computational Geometry, vol. 69, Springer Nature, 2023,
pp. 156–91, doi:10.1007/s00454-022-00431-7.
short: J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational
Geometry 69 (2023) 156–191.
corr_author: '1'
date_created: 2023-01-16T10:04:06Z
date_published: 2023-01-01T00:00:00Z
date_updated: 2025-04-14T07:44:00Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s00454-022-00431-7
ec_funded: 1
external_id:
isi:
- '000862193600001'
file:
- access_level: open_access
checksum: 46352e0ee71e460848f88685ca852681
content_type: application/pdf
creator: dernst
date_created: 2023-02-02T11:01:10Z
date_updated: 2023-02-02T11:01:10Z
file_id: '12488'
file_name: 2023_DiscreteCompGeometry_Boissonnat.pdf
file_size: 582850
relation: main_file
success: 1
file_date_updated: 2023-02-02T11:01:10Z
has_accepted_license: '1'
intvolume: ' 69'
isi: 1
keyword:
- Computational Theory and Mathematics
- Discrete Mathematics and Combinatorics
- Geometry and Topology
- Theoretical Computer Science
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 156-191
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: fc390959-9c52-11eb-aca3-afa58bd282b2
grant_number: M03073
name: Learning and triangulating manifolds via collapses
publication: Discrete & Computational Geometry
publication_identifier:
eissn:
- 1432-0444
issn:
- 0179-5376
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local criteria for triangulating general manifolds
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: 69
year: '2023'
...
---
_id: '12313'
abstract:
- lang: eng
text: Let P be a nontorsion point on an elliptic curve defined over a number field
K and consider the sequence {Bn}n∈N of the denominators of x(nP). We prove that
every term of the sequence of the Bn has a primitive divisor for n greater than
an effectively computable constant that we will explicitly compute. This constant
will depend only on the model defining the curve.
acknowledgement: "This paper is part of the author’s PhD thesis at Università of Pisa.
Moreover, this\r\nproject has received funding from the European Union’s Horizon
2020 research\r\nand innovation programme under the Marie Skłodowska-Curie Grant
Agreement\r\nNo. 101034413. I thank the referee for many helpful comments."
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Matteo
full_name: Verzobio, Matteo
id: 7aa8f170-131e-11ed-88e1-a9efd01027cb
last_name: Verzobio
orcid: 0000-0002-0854-0306
citation:
ama: Verzobio M. Some effectivity results for primitive divisors of elliptic divisibility
sequences. Pacific Journal of Mathematics. 2023;325(2):331-351. doi:10.2140/pjm.2023.325.331
apa: Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic
divisibility sequences. Pacific Journal of Mathematics. Mathematical Sciences
Publishers. https://doi.org/10.2140/pjm.2023.325.331
chicago: Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic
Divisibility Sequences.” Pacific Journal of Mathematics. Mathematical
Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.325.331.
ieee: M. Verzobio, “Some effectivity results for primitive divisors of elliptic
divisibility sequences,” Pacific Journal of Mathematics, vol. 325, no.
2. Mathematical Sciences Publishers, pp. 331–351, 2023.
ista: Verzobio M. 2023. Some effectivity results for primitive divisors of elliptic
divisibility sequences. Pacific Journal of Mathematics. 325(2), 331–351.
mla: Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic
Divisibility Sequences.” Pacific Journal of Mathematics, vol. 325, no.
2, Mathematical Sciences Publishers, 2023, pp. 331–51, doi:10.2140/pjm.2023.325.331.
short: M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.
corr_author: '1'
date_created: 2023-01-16T11:46:19Z
date_published: 2023-11-03T00:00:00Z
date_updated: 2025-04-14T07:54:54Z
day: '03'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.2140/pjm.2023.325.331
ec_funded: 1
external_id:
arxiv:
- '2001.02987'
isi:
- '001104766900001'
file:
- access_level: open_access
checksum: b6218d16a72742d8bb38d6fc3c9bb8c6
content_type: application/pdf
creator: dernst
date_created: 2023-11-13T09:50:41Z
date_updated: 2023-11-13T09:50:41Z
file_id: '14525'
file_name: 2023_PacificJourMaths_Verzobio.pdf
file_size: 389897
relation: main_file
success: 1
file_date_updated: 2023-11-13T09:50:41Z
has_accepted_license: '1'
intvolume: ' 325'
isi: 1
issue: '2'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 331-351
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Pacific Journal of Mathematics
publication_identifier:
eissn:
- 0030-8730
publication_status: published
publisher: Mathematical Sciences Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Some effectivity results for primitive divisors of elliptic divisibility sequences
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: 325
year: '2023'
...
---
_id: '12329'
abstract:
- lang: eng
text: In this article, we develop two independent and new approaches to model epidemic
spread in a network. Contrary to the most studied models, those developed here
allow for contacts with different probabilities of transmitting the disease (transmissibilities).
We then examine each of these models using some mean field type approximations.
The first model looks at the late-stage effects of an epidemic outbreak and allows
for the computation of the probability that a given vertex was infected. This
computation is based on a mean field approximation and only depends on the number
of contacts and their transmissibilities. This approach shares many similarities
with percolation models in networks. The second model we develop is a dynamic
model which we analyze using a mean field approximation which highly reduces the
dimensionality of the system. In particular, the original system which individually
analyses each vertex of the network is reduced to one with as many equations as
different transmissibilities. Perhaps the greatest contribution of this article
is the observation that, in both these models, the existence and size of an epidemic
outbreak are linked to the properties of a matrix which we call the R-matrix.
This is a generalization of the basic reproduction number which more precisely
characterizes the main routes of infection.
acknowledgement: Gonçalo Oliveira is supported by the NOMIS Foundation, Fundação Serrapilheira
1812-27395, by CNPq grants 428959/2018-0 and 307475/2018-2, and by FAPERJ through
the grant Jovem Cientista do Nosso Estado E-26/202.793/2019.
article_number: '468'
article_processing_charge: No
article_type: original
author:
- first_name: Arturo
full_name: Gómez, Arturo
last_name: Gómez
- first_name: Goncalo
full_name: Oliveira, Goncalo
id: 58abbde8-f455-11eb-a497-98c8fd71b905
last_name: Oliveira
citation:
ama: Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific
Reports. 2023;13. doi:10.1038/s41598-022-19827-9
apa: Gómez, A., & Oliveira, G. (2023). New approaches to epidemic modeling on
networks. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-19827-9
chicago: Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling
on Networks.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-022-19827-9.
ieee: A. Gómez and G. Oliveira, “New approaches to epidemic modeling on networks,”
Scientific Reports, vol. 13. Springer Nature, 2023.
ista: Gómez A, Oliveira G. 2023. New approaches to epidemic modeling on networks.
Scientific Reports. 13, 468.
mla: Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on
Networks.” Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.
short: A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
corr_author: '1'
date_created: 2023-01-22T23:00:55Z
date_published: 2023-01-10T00:00:00Z
date_updated: 2024-10-09T21:03:29Z
day: '10'
ddc:
- '510'
department:
- _id: TaHa
doi: 10.1038/s41598-022-19827-9
external_id:
isi:
- '001003345000051'
file:
- access_level: open_access
checksum: a8b83739f4a951e83e0b2a778f03b327
content_type: application/pdf
creator: dernst
date_created: 2023-01-23T07:53:23Z
date_updated: 2023-01-23T07:53:23Z
file_id: '12336'
file_name: 2023_ScientificReports_Gomez.pdf
file_size: 2167792
relation: main_file
success: 1
file_date_updated: 2023-01-23T07:53:23Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_identifier:
eissn:
- 2045-2322
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: New approaches to epidemic modeling on networks
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13
year: '2023'
...
---
_id: '12330'
abstract:
- lang: eng
text: 'The design and implementation of efficient concurrent data structures has
seen significant attention. However, most of this work has focused on concurrent
data structures providing good worst-case guarantees, although, in real workloads,
objects are often accessed at different rates. Efficient distribution-adaptive
data structures, such as splay-trees, are known in the sequential case; however,
they often are hard to translate efficiently to the concurrent case. We investigate
distribution-adaptive concurrent data structures, and propose a new design called
the splay-list. At a high level, the splay-list is similar to a standard skip-list,
with the key distinction that the height of each element adapts dynamically to
its access rate: popular elements “move up,” whereas rarely-accessed elements
decrease in height. We show that the splay-list provides order-optimal amortized
complexity bounds for a subset of operations, while being amenable to efficient
concurrent implementation. Experiments show that the splay-list can leverage distribution-adaptivity
for performance, and can outperform the only previously-known distribution-adaptive
concurrent design in certain workloads.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Vitalii
full_name: Aksenov, Vitalii
id: 2980135A-F248-11E8-B48F-1D18A9856A87
last_name: Aksenov
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Alexandra
full_name: Drozdova, Alexandra
last_name: Drozdova
- first_name: Amirkeivan
full_name: Mohtashami, Amirkeivan
last_name: Mohtashami
citation:
ama: 'Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. The splay-list: A distribution-adaptive
concurrent skip-list. Distributed Computing. 2023;36:395-418. doi:10.1007/s00446-022-00441-x'
apa: 'Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2023). The
splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing.
Springer Nature. https://doi.org/10.1007/s00446-022-00441-x'
chicago: 'Aksenov, Vitalii, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan
Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed
Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00441-x.'
ieee: 'V. Aksenov, D.-A. Alistarh, A. Drozdova, and A. Mohtashami, “The splay-list:
A distribution-adaptive concurrent skip-list,” Distributed Computing, vol.
36. Springer Nature, pp. 395–418, 2023.'
ista: 'Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. 2023. The splay-list:
A distribution-adaptive concurrent skip-list. Distributed Computing. 36, 395–418.'
mla: 'Aksenov, Vitalii, et al. “The Splay-List: A Distribution-Adaptive Concurrent
Skip-List.” Distributed Computing, vol. 36, Springer Nature, 2023, pp.
395–418, doi:10.1007/s00446-022-00441-x.'
short: V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing
36 (2023) 395–418.
date_created: 2023-01-22T23:00:55Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2023-08-14T12:54:32Z
day: '01'
department:
- _id: DaAl
doi: 10.1007/s00446-022-00441-x
external_id:
arxiv:
- '2008.01009'
isi:
- '000913424000001'
intvolume: ' 36'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2008.01009
month: '09'
oa: 1
oa_version: Preprint
page: 395-418
publication: Distributed Computing
publication_identifier:
eissn:
- 1432-0452
issn:
- 0178-2770
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The splay-list: A distribution-adaptive concurrent skip-list'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2023'
...
---
_id: '12331'
abstract:
- lang: eng
text: High carrier mobility is critical to improving thermoelectric performance
over a broad temperature range. However, traditional doping inevitably deteriorates
carrier mobility. Herein, we develop a strategy for fine tuning of defects to
improve carrier mobility. To begin, n-type PbTe is created by compensating for
the intrinsic Pb vacancy in bare PbTe. Excess Pb2+ reduces vacancy scattering,
resulting in a high carrier mobility of ∼3400 cm2 V–1 s–1. Then, excess Ag is
introduced to compensate for the remaining intrinsic Pb vacancies. We find that
excess Ag exhibits a dynamic doping process with increasing temperatures, increasing
both the carrier concentration and carrier mobility throughout a wide temperature
range; specifically, an ultrahigh carrier mobility ∼7300 cm2 V–1 s–1 is obtained
for Pb1.01Te + 0.002Ag at 300 K. Moreover, the dynamic doping-induced high carrier
concentration suppresses the bipolar thermal conductivity at high temperatures.
The final step is using iodine to optimize the carrier concentration to ∼1019
cm–3. Ultimately, a maximum ZT value of ∼1.5 and a large average ZTave value of
∼1.0 at 300–773 K are obtained for Pb1.01Te0.998I0.002 + 0.002Ag. These findings
demonstrate that fine tuning of defects with <0.5% impurities can remarkably enhance
carrier mobility and improve thermoelectric performance.
acknowledgement: The National Key Research and Development Program of China (2018YFA0702100),
the Basic Science Center Project of the National Natural Science Foundation of China
(51788104), the National Natural Science Foundation of China (51571007 and 51772012),
the Beijing Natural Science Foundation (JQ18004), the 111 Project (B17002), the
National Science Fund for Distinguished Young Scholars (51925101), and the FWF “Lise
Meitner Fellowship” (grant agreement M2889-N). Open Access is funded by the Austrian
Science Fund (FWF).
article_processing_charge: No
article_type: original
author:
- first_name: Siqi
full_name: Wang, Siqi
last_name: Wang
- first_name: Cheng
full_name: Chang, Cheng
id: 9E331C2E-9F27-11E9-AE48-5033E6697425
last_name: Chang
orcid: 0000-0002-9515-4277
- first_name: Shulin
full_name: Bai, Shulin
last_name: Bai
- first_name: Bingchao
full_name: Qin, Bingchao
last_name: Qin
- first_name: Yingcai
full_name: Zhu, Yingcai
last_name: Zhu
- first_name: Shaoping
full_name: Zhan, Shaoping
last_name: Zhan
- first_name: Junqing
full_name: Zheng, Junqing
last_name: Zheng
- first_name: Shuwei
full_name: Tang, Shuwei
last_name: Tang
- first_name: Li Dong
full_name: Zhao, Li Dong
last_name: Zhao
citation:
ama: Wang S, Chang C, Bai S, et al. Fine tuning of defects enables high carrier
mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry
of Materials. 2023;35(2):755-763. doi:10.1021/acs.chemmater.2c03542
apa: Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023).
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric
performance of n-type PbTe. Chemistry of Materials. American Chemical Society.
https://doi.org/10.1021/acs.chemmater.2c03542
chicago: Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping
Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables
High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.”
Chemistry of Materials. American Chemical Society, 2023. https://doi.org/10.1021/acs.chemmater.2c03542.
ieee: S. Wang et al., “Fine tuning of defects enables high carrier mobility
and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials,
vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.
ista: Wang S, Chang C, Bai S, Qin B, Zhu Y, Zhan S, Zheng J, Tang S, Zhao LD. 2023.
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric
performance of n-type PbTe. Chemistry of Materials. 35(2), 755–763.
mla: Wang, Siqi, et al. “Fine Tuning of Defects Enables High Carrier Mobility and
Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials,
vol. 35, no. 2, American Chemical Society, 2023, pp. 755–63, doi:10.1021/acs.chemmater.2c03542.
short: S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D.
Zhao, Chemistry of Materials 35 (2023) 755–763.
corr_author: '1'
date_created: 2023-01-22T23:00:55Z
date_published: 2023-01-24T00:00:00Z
date_updated: 2025-04-23T08:47:37Z
day: '24'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acs.chemmater.2c03542
external_id:
isi:
- '000914749700001'
pmid:
- '36711054'
file:
- access_level: open_access
checksum: b21dca2aa7a80c068bc256bdd1fea9df
content_type: application/pdf
creator: dernst
date_created: 2023-08-14T12:57:25Z
date_updated: 2023-08-14T12:57:25Z
file_id: '14055'
file_name: 2023_ChemistryMaterials_Wang.pdf
file_size: 2961043
relation: main_file
success: 1
file_date_updated: 2023-08-14T12:57:25Z
has_accepted_license: '1'
intvolume: ' 35'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 755-763
pmid: 1
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
grant_number: M02889
name: Bottom-up Engineering for Thermoelectric Applications
publication: Chemistry of Materials
publication_identifier:
eissn:
- 1520-5002
issn:
- 0897-4756
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fine tuning of defects enables high carrier mobility and enhanced thermoelectric
performance of n-type PbTe
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: 35
year: '2023'
...
---
_id: '12406'
abstract:
- lang: eng
text: Let X be a sufficiently large positive integer. We prove that one may choose
a subset S of primes with cardinality O(logX) such that a positive proportion
of integers less than X can be represented by x2+py2 for at least one p∈S.
acknowledgement: "This article is a version the author’s master thesis at the University
of Bonn. The author would like to thank his advisor Valentin Blomer for introducing
the problem, and giving generous feedback and encouragement along the way, especially
during the global pandemic.\r\nThe author thanks Edgar Assing for his lectures on
analytic number theory. Finally, the author is grateful to the anonymous referees
for their valuable time and comments.\r\n"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yijie
full_name: Diao, Yijie
id: 7b7eb4ca-eb2c-11ec-b98b-accec0b20c3b
last_name: Diao
orcid: 0000-0002-4989-5330
citation:
ama: Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta
Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
apa: Diao, Y. (2023). Density of the union of positive diagonal binary quadratic
forms. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa210830-24-11
chicago: Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic
Forms.” Acta Arithmetica. Instytut Matematyczny, 2023. https://doi.org/10.4064/aa210830-24-11.
ieee: Y. Diao, “Density of the union of positive diagonal binary quadratic forms,”
Acta Arithmetica, vol. 207. Instytut Matematyczny, pp. 1–17, 2023.
ista: Diao Y. 2023. Density of the union of positive diagonal binary quadratic forms.
Acta Arithmetica. 207, 1–17.
mla: Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic Forms.”
Acta Arithmetica, vol. 207, Instytut Matematyczny, 2023, pp. 1–17, doi:10.4064/aa210830-24-11.
short: Y. Diao, Acta Arithmetica 207 (2023) 1–17.
corr_author: '1'
date_created: 2023-01-26T21:17:04Z
date_published: 2023-01-09T00:00:00Z
date_updated: 2024-10-21T06:01:30Z
day: '09'
department:
- _id: GradSch
doi: 10.4064/aa210830-24-11
external_id:
arxiv:
- '2103.08268'
isi:
- '000912903000001'
intvolume: ' 207'
isi: 1
keyword:
- Algebra
- Number Theory
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2103.08268
month: '01'
oa: 1
oa_version: Preprint
page: 1-17
publication: Acta Arithmetica
publication_identifier:
eissn:
- 1730-6264
issn:
- 0065-1036
publication_status: published
publisher: Instytut Matematyczny
quality_controlled: '1'
scopus_import: '1'
status: public
title: Density of the union of positive diagonal binary quadratic forms
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 207
year: '2023'
...
---
_id: '12407'
abstract:
- lang: eng
text: "As the complexity and criticality of software increase every year, so does
the importance of run-time monitoring. Third-party monitoring, with limited knowledge
of the monitored software, and best-effort monitoring, which keeps pace with the
monitored software, are especially valuable, yet underexplored areas of run-time
monitoring. Most existing monitoring frameworks do not support their combination
because they either require access to the monitored code for instrumentation purposes
or the processing of all observed events, or both.\r\n\r\nWe present a middleware
framework, VAMOS, for the run-time monitoring of software which is explicitly
designed to support third-party and best-effort scenarios. The design goals of
VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the
ability to monitor black-box code through a variety of different event channels,
and the connectability to monitors written in different specification languages),
and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker
and event recognition systems with aspects of stream processing systems.\r\n\r\nWe
implemented a prototype toolchain for VAMOS and conducted experiments including
a case study of monitoring for data races. The results indicate that VAMOS enables
writing useful yet efficient monitors, is compatible with a variety of event sources
and monitor specifications, and simplifies key aspects of setting up a monitoring
system from scratch."
acknowledgement: "This work was supported in part by the ERC-2020-AdG 101020093. \r\nThe
authors would like to thank the anonymous FASE reviewers for their valuable feedback
and suggestions."
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Marek
full_name: Chalupa, Marek
id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
last_name: Chalupa
- first_name: Fabian
full_name: Mühlböck, Fabian
id: 6395C5F6-89DF-11E9-9C97-6BDFE5697425
last_name: Mühlböck
orcid: 0000-0003-1548-0177
- first_name: Stefanie
full_name: Muroya Lei, Stefanie
id: a376de31-8972-11ed-ae7b-d0251c13c8ff
last_name: Muroya Lei
- 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, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for
Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria;
2023. doi:10.15479/AT:ISTA:12407'
apa: 'Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023).
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of
Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407'
chicago: 'Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger.
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of
Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12407.'
ieee: 'M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware
for Best-Effort Third-Party Monitoring. Institute of Science and Technology
Austria, 2023.'
ista: 'Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware
for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria,
38p.'
mla: 'Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring.
Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.'
short: 'M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware
for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria,
2023.'
corr_author: '1'
date_created: 2023-01-27T03:18:08Z
date_published: 2023-01-27T00:00:00Z
date_updated: 2025-09-09T12:25:29Z
day: '27'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:ISTA:12407
ec_funded: 1
file:
- access_level: open_access
checksum: 55426e463fdeafe9777fc3ff635154c7
content_type: application/pdf
creator: fmuehlbo
date_created: 2023-01-27T03:18:34Z
date_updated: 2023-01-27T03:18:34Z
file_id: '12408'
file_name: main.pdf
file_size: 662409
relation: main_file
success: 1
file_date_updated: 2023-01-27T03:18:34Z
has_accepted_license: '1'
keyword:
- runtime monitoring
- best effort
- third party
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '38'
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication_identifier:
eissn:
- 2664-1690
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '12856'
relation: later_version
status: public
status: public
title: 'VAMOS: Middleware for Best-Effort Third-Party Monitoring'
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: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '12421'
abstract:
- lang: eng
text: The actin cytoskeleton plays a key role in cell migration and cellular morphodynamics
in most eukaryotes. The ability of the actin cytoskeleton to assemble and disassemble
in a spatiotemporally controlled manner allows it to form higher-order structures,
which can generate forces required for a cell to explore and navigate through
its environment. It is regulated not only via a complex synergistic and competitive
interplay between actin-binding proteins (ABP), but also by filament biochemistry
and filament geometry. The lack of structural insights into how geometry and ABPs
regulate the actin cytoskeleton limits our understanding of the molecular mechanisms
that define actin cytoskeleton remodeling and, in turn, impact emerging cell migration
characteristics. With the advent of cryo-electron microscopy (cryo-EM) and advanced
computational methods, it is now possible to define these molecular mechanisms
involving actin and its interactors at both atomic and ultra-structural levels
in vitro and in cellulo. In this review, we will provide an overview of the available
cryo-EM methods, applicable to further our understanding of the actin cytoskeleton,
specifically in the context of cell migration. We will discuss how these methods
have been employed to elucidate ABP- and geometry-defined regulatory mechanisms
in initiating, maintaining, and disassembling cellular actin networks in migratory
protrusions.
acknowledgement: 'We apologize for not being able to mention and cite additional excellent
work that would have fit the scope of this review, due to space restraints. We thank
Jesse Hansen for comments on the manuscript. We acknowledge support from the Austrian
Science Fund (FWF): P33367 and the Institute of Science and Technology Austria.'
article_processing_charge: No
article_type: original
author:
- first_name: Florian
full_name: Fäßler, Florian
id: 404F5528-F248-11E8-B48F-1D18A9856A87
last_name: Fäßler
orcid: 0000-0001-7149-769X
- first_name: Manjunath
full_name: Javoor, Manjunath
id: 305ab18b-dc7d-11ea-9b2f-b58195228ea2
last_name: Javoor
- first_name: Florian KM
full_name: Schur, Florian KM
id: 48AD8942-F248-11E8-B48F-1D18A9856A87
last_name: Schur
orcid: 0000-0003-4790-8078
citation:
ama: Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin
cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society
Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221
apa: Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular
mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical
Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221
chicago: Fäßler, Florian, Manjunath Javoor, and Florian KM Schur. “Deciphering the
Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using
Cryo-EM.” Biochemical Society Transactions. Portland Press, 2023. https://doi.org/10.1042/bst20220221.
ieee: F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms
of actin cytoskeleton regulation in cell migration using cryo-EM,” Biochemical
Society Transactions, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.
ista: Fäßler F, Javoor M, Schur FK. 2023. Deciphering the molecular mechanisms of
actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society
Transactions. 51(1), 87–99.
mla: Fäßler, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton
Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions,
vol. 51, no. 1, Portland Press, 2023, pp. 87–99, doi:10.1042/bst20220221.
short: F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023)
87–99.
corr_author: '1'
date_created: 2023-01-27T10:08:19Z
date_published: 2023-02-01T00:00:00Z
date_updated: 2025-04-23T08:47:15Z
day: '01'
ddc:
- '570'
department:
- _id: FlSc
doi: 10.1042/bst20220221
external_id:
isi:
- '000926043100001'
pmid:
- '36695514'
file:
- access_level: open_access
checksum: 4e7069845e3dad22bb44fb71ec624c60
content_type: application/pdf
creator: dernst
date_created: 2023-03-16T07:58:16Z
date_updated: 2023-03-16T07:58:16Z
file_id: '12728'
file_name: 2023_BioChemicalSocietyTransactions_Faessler.pdf
file_size: 10045006
relation: main_file
success: 1
file_date_updated: 2023-03-16T07:58:16Z
has_accepted_license: '1'
intvolume: ' 51'
isi: 1
issue: '1'
keyword:
- Biochemistry
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: 87-99
pmid: 1
project:
- _id: 9B954C5C-BA93-11EA-9121-9846C619BF3A
grant_number: P33367
name: Structure and isoform diversity of the Arp2/3 complex
publication: Biochemical Society Transactions
publication_identifier:
eissn:
- 1470-8752
issn:
- 0300-5127
publication_status: published
publisher: Portland Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell
migration using cryo-EM
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: 51
year: '2023'
...
---
_id: '12427'
abstract:
- lang: eng
text: 'Let k be a number field and X a smooth, geometrically integral quasi-projective
variety over k. For any linear algebraic group G over k and any G-torsor g : Z
→ X, we observe that if the étale-Brauer obstruction is the only one for strong
approximation off a finite set of places S for all twists of Z by elements in
H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation
off a finite set of places S for X. As an application, we show that any homogeneous
space of the form G/H with G a connected linear algebraic group over k satisfies
strong approximation off the infinite places with étale-Brauer obstruction, under
some compactness assumptions when k is totally real. We also prove more refined
strong approximation results for homogeneous spaces of the form G/H with G semisimple
simply connected and H finite, using the theory of torsors and descent.'
article_processing_charge: No
article_type: original
author:
- first_name: Francesca
full_name: Balestrieri, Francesca
id: 3ACCD756-F248-11E8-B48F-1D18A9856A87
last_name: Balestrieri
citation:
ama: Balestrieri F. Some remarks on strong approximation and applications to homogeneous
spaces of linear algebraic groups. Proceedings of the American Mathematical
Society. 2023;151(3):907-914. doi:10.1090/proc/15239
apa: Balestrieri, F. (2023). Some remarks on strong approximation and applications
to homogeneous spaces of linear algebraic groups. Proceedings of the American
Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239
chicago: Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications
to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American
Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/15239.
ieee: F. Balestrieri, “Some remarks on strong approximation and applications to
homogeneous spaces of linear algebraic groups,” Proceedings of the American
Mathematical Society, vol. 151, no. 3. American Mathematical Society, pp.
907–914, 2023.
ista: Balestrieri F. 2023. Some remarks on strong approximation and applications
to homogeneous spaces of linear algebraic groups. Proceedings of the American
Mathematical Society. 151(3), 907–914.
mla: Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications
to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American
Mathematical Society, vol. 151, no. 3, American Mathematical Society, 2023,
pp. 907–14, doi:10.1090/proc/15239.
short: F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023)
907–914.
corr_author: '1'
date_created: 2023-01-29T23:00:58Z
date_published: 2023-01-01T00:00:00Z
date_updated: 2024-10-09T21:04:07Z
day: '01'
department:
- _id: TiBr
doi: 10.1090/proc/15239
external_id:
isi:
- '000898440000001'
intvolume: ' 151'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.science/hal-03013498/
month: '01'
oa: 1
oa_version: Preprint
page: 907-914
publication: Proceedings of the American Mathematical Society
publication_identifier:
eissn:
- 1088-6826
issn:
- 0002-9939
publication_status: published
publisher: American Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Some remarks on strong approximation and applications to homogeneous spaces
of linear algebraic groups
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 151
year: '2023'
...
---
_id: '12428'
abstract:
- lang: eng
text: The mammary gland consists of a bilayered epithelial structure with an extensively
branched morphology. The majority of this epithelial tree is laid down during
puberty, during which actively proliferating terminal end buds repeatedly elongate
and bifurcate to form the basic structure of the ductal tree. Mammary ducts consist
of a basal and luminal cell layer with a multitude of identified sub-lineages
within both layers. The understanding of how these different cell lineages are
cooperatively driving branching morphogenesis is a problem of crossing multiple
scales, as this requires information on the macroscopic branched structure of
the gland, as well as data on single-cell dynamics driving the morphogenic program.
Here we describe a method to combine genetic lineage tracing with whole-gland
branching analysis. Quantitative data on the global organ structure can be used
to derive a model for mammary gland branching morphogenesis and provide a backbone
on which the dynamics of individual cell lineages can be simulated and compared
to lineage-tracing approaches. Eventually, these quantitative models and experiments
allow to understand the couplings between the macroscopic shape of the mammary
gland and the underlying single-cell dynamics driving branching morphogenesis.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Colinda L.G.J.
full_name: Scheele, Colinda L.G.J.
last_name: Scheele
citation:
ama: 'Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching
Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three
Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12'
apa: Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale
and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.),
Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature.
https://doi.org/10.1007/978-1-0716-2887-4_12
chicago: Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale
and Quantitative Branching Analysis in the Mammary Gland.” In Cell Migration
in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer
Nature, 2023. https://doi.org/10.1007/978-1-0716-2887-4_12.
ieee: E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative
Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions,
vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.
ista: 'Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative
Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions.
Methods in Molecular Biology, vol. 2608, 183–205.'
mla: Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale
and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in
Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023,
pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.
short: E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in
Three Dimensions, Springer Nature, 2023, pp. 183–205.
corr_author: '1'
date_created: 2023-01-29T23:00:58Z
date_published: 2023-01-19T00:00:00Z
date_updated: 2024-10-09T21:04:04Z
day: '19'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1007/978-1-0716-2887-4_12
editor:
- first_name: Coert
full_name: Margadant, Coert
last_name: Margadant
external_id:
pmid:
- '36653709'
file:
- access_level: open_access
checksum: aec1b8d3ba938ddf9d8fcb777f3c38ee
content_type: application/pdf
creator: dernst
date_created: 2023-02-03T10:56:39Z
date_updated: 2023-02-03T10:56:39Z
file_id: '12500'
file_name: 2023_MIMB_Hannezo.pdf
file_size: 826598
relation: main_file
success: 1
file_date_updated: 2023-02-03T10:56:39Z
has_accepted_license: '1'
intvolume: ' 2608'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 183-205
pmid: 1
publication: Cell Migration in Three Dimensions
publication_identifier:
eisbn:
- '9781071628874'
eissn:
- 1940-6029
isbn:
- '9781071628867'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: MIMB
status: public
title: A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary
Gland
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: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2608
year: '2023'
...
---
_id: '12429'
abstract:
- lang: eng
text: In this paper, we consider traces at initial times for functions with mixed
time-space smoothness. Such results are often needed in the theory of evolution
equations. Our result extends and unifies many previous results. Our main improvement
is that we can allow general interpolation couples. The abstract results are applied
to regularity problems for fractional evolution equations and stochastic evolution
equations, where uniform trace estimates on the half-line are shown.
acknowledgement: The first author has been partially supported by the Nachwuchsring—Network
for the promotion of young scientists—at TU Kaiserslautern. The second and third
authors were supported by the Vidi subsidy 639.032.427 of the Netherlands Organisation
for Scientific Research (NWO).
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Antonio
full_name: Agresti, Antonio
id: 673cd0cc-9b9a-11eb-b144-88f30e1fbb72
last_name: Agresti
orcid: 0000-0002-9573-2962
- first_name: Nick
full_name: Lindemulder, Nick
last_name: Lindemulder
- first_name: Mark
full_name: Veraar, Mark
last_name: Veraar
citation:
ama: Agresti A, Lindemulder N, Veraar M. On the trace embedding and its applications
to evolution equations. Mathematische Nachrichten. 2023;296(4):1319-1350.
doi:10.1002/mana.202100192
apa: Agresti, A., Lindemulder, N., & Veraar, M. (2023). On the trace embedding
and its applications to evolution equations. Mathematische Nachrichten.
Wiley. https://doi.org/10.1002/mana.202100192
chicago: Agresti, Antonio, Nick Lindemulder, and Mark Veraar. “On the Trace Embedding
and Its Applications to Evolution Equations.” Mathematische Nachrichten.
Wiley, 2023. https://doi.org/10.1002/mana.202100192.
ieee: A. Agresti, N. Lindemulder, and M. Veraar, “On the trace embedding and its
applications to evolution equations,” Mathematische Nachrichten, vol. 296,
no. 4. Wiley, pp. 1319–1350, 2023.
ista: Agresti A, Lindemulder N, Veraar M. 2023. On the trace embedding and its applications
to evolution equations. Mathematische Nachrichten. 296(4), 1319–1350.
mla: Agresti, Antonio, et al. “On the Trace Embedding and Its Applications to Evolution
Equations.” Mathematische Nachrichten, vol. 296, no. 4, Wiley, 2023, pp.
1319–50, doi:10.1002/mana.202100192.
short: A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023)
1319–1350.
date_created: 2023-01-29T23:00:59Z
date_published: 2023-04-01T00:00:00Z
date_updated: 2023-08-16T11:41:42Z
day: '01'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1002/mana.202100192
external_id:
arxiv:
- '2104.05063'
isi:
- '000914134900001'
file:
- access_level: open_access
checksum: 6f099f1d064173784d1a27716a2cc795
content_type: application/pdf
creator: dernst
date_created: 2023-08-16T11:40:02Z
date_updated: 2023-08-16T11:40:02Z
file_id: '14067'
file_name: 2023_MathNachrichten_Agresti.pdf
file_size: 449280
relation: main_file
success: 1
file_date_updated: 2023-08-16T11:40:02Z
has_accepted_license: '1'
intvolume: ' 296'
isi: 1
issue: '4'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 1319-1350
publication: Mathematische Nachrichten
publication_identifier:
eissn:
- 1522-2616
issn:
- 0025-584X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the trace embedding and its applications to evolution equations
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 296
year: '2023'
...
---
_id: '12430'
abstract:
- lang: eng
text: We study the time evolution of the Nelson model in a mean-field limit in which
N nonrelativistic bosons weakly couple (with respect to the particle number) to
a positive or zero mass quantized scalar field. Our main result is the derivation
of the Bogoliubov dynamics and higher-order corrections. More precisely, we prove
the convergence of the approximate wave function to the many-body wave function
in norm, with a convergence rate proportional to the number of corrections taken
into account in the approximation. We prove an analogous result for the unitary
propagator. As an application, we derive a simple system of partial differential
equations describing the time evolution of the first- and second-order approximations
to the one-particle reduced density matrices of the particles and the quantum
field, respectively.
article_number: '2350006'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Marco
full_name: Falconi, Marco
last_name: Falconi
- first_name: Nikolai K
full_name: Leopold, Nikolai K
id: 4BC40BEC-F248-11E8-B48F-1D18A9856A87
last_name: Leopold
orcid: 0000-0002-0495-6822
- first_name: David Johannes
full_name: Mitrouskas, David Johannes
id: cbddacee-2b11-11eb-a02e-a2e14d04e52d
last_name: Mitrouskas
- first_name: Sören P
full_name: Petrat, Sören P
id: 40AC02DC-F248-11E8-B48F-1D18A9856A87
last_name: Petrat
orcid: 0000-0002-9166-5889
citation:
ama: Falconi M, Leopold NK, Mitrouskas DJ, Petrat SP. Bogoliubov dynamics and higher-order
corrections for the regularized Nelson model. Reviews in Mathematical Physics.
2023;35(4). doi:10.1142/S0129055X2350006X
apa: Falconi, M., Leopold, N. K., Mitrouskas, D. J., & Petrat, S. P. (2023).
Bogoliubov dynamics and higher-order corrections for the regularized Nelson model.
Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X2350006X
chicago: Falconi, Marco, Nikolai K Leopold, David Johannes Mitrouskas, and Sören
P Petrat. “Bogoliubov Dynamics and Higher-Order Corrections for the Regularized
Nelson Model.” Reviews in Mathematical Physics. World Scientific Publishing,
2023. https://doi.org/10.1142/S0129055X2350006X.
ieee: M. Falconi, N. K. Leopold, D. J. Mitrouskas, and S. P. Petrat, “Bogoliubov
dynamics and higher-order corrections for the regularized Nelson model,” Reviews
in Mathematical Physics, vol. 35, no. 4. World Scientific Publishing, 2023.
ista: Falconi M, Leopold NK, Mitrouskas DJ, Petrat SP. 2023. Bogoliubov dynamics
and higher-order corrections for the regularized Nelson model. Reviews in Mathematical
Physics. 35(4), 2350006.
mla: Falconi, Marco, et al. “Bogoliubov Dynamics and Higher-Order Corrections for
the Regularized Nelson Model.” Reviews in Mathematical Physics, vol. 35,
no. 4, 2350006, World Scientific Publishing, 2023, doi:10.1142/S0129055X2350006X.
short: M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical
Physics 35 (2023).
date_created: 2023-01-29T23:00:59Z
date_published: 2023-01-09T00:00:00Z
date_updated: 2023-08-16T11:47:27Z
day: '09'
department:
- _id: RoSe
doi: 10.1142/S0129055X2350006X
external_id:
arxiv:
- '2110.00458'
isi:
- '000909760300001'
intvolume: ' 35'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2110.00458'
month: '01'
oa: 1
oa_version: Preprint
publication: Reviews in Mathematical Physics
publication_identifier:
issn:
- 0129-055X
publication_status: published
publisher: World Scientific Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bogoliubov dynamics and higher-order corrections for the regularized Nelson
model
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2023'
...
---
_id: '12467'
abstract:
- lang: eng
text: Safety and liveness are elementary concepts of computation, and the foundation
of many verification paradigms. The safety-liveness classification of boolean
properties characterizes whether a given property can be falsified by observing
a finite prefix of an infinite computation trace (always for safety, never for
liveness). In quantitative specification and verification, properties assign not
truth values, but quantitative values to infinite traces (e.g., a cost, or the
distance to a boolean property). We introduce quantitative safety and liveness,
and we prove that our definitions induce conservative quantitative generalizations
of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness
decomposition of boolean properties. In particular, we show that every quantitative
property can be written as the pointwise minimum of a quantitative safety property
and a quantitative liveness property. Consequently, like boolean properties, also
quantitative properties can be min-decomposed into safety and liveness parts,
or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover,
quantitative properties can be approximated naturally. We prove that every quantitative
property that has both safe and co-safe approximations can be monitored arbitrarily
precisely by a monitor that uses only a finite number of states.
acknowledgement: We thank the anonymous reviewers for their helpful comments. This
work was supported in part by the ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Nicolas Adrien
full_name: Mazzocchi, Nicolas Adrien
id: b26baa86-3308-11ec-87b0-8990f34baa85
last_name: Mazzocchi
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In:
26th International Conference Foundations of Software Science and Computation
Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17'
apa: 'Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative
safety and liveness. In 26th International Conference Foundations of Software
Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France:
Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17'
chicago: Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative
Safety and Liveness.” In 26th International Conference Foundations of Software
Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30829-1_17.
ieee: T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and
liveness,” in 26th International Conference Foundations of Software Science
and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
ista: 'Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness.
26th International Conference Foundations of Software Science and Computation
Structures. FOSSACS: Foundations of Software Science and Computation Structures,
LNCS, vol. 13992, 349–370.'
mla: Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International
Conference Foundations of Software Science and Computation Structures, vol.
13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
short: T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference
Foundations of Software Science and Computation Structures, Springer Nature, 2023,
pp. 349–370.
conference:
end_date: 2023-04-27
location: Paris, France
name: 'FOSSACS: Foundations of Software Science and Computation Structures'
start_date: 2023-04-22
corr_author: '1'
date_created: 2023-01-31T07:23:56Z
date_published: 2023-04-21T00:00:00Z
date_updated: 2025-09-09T12:21:08Z
day: '21'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.1007/978-3-031-30829-1_17
ec_funded: 1
external_id:
arxiv:
- '2301.11175'
isi:
- '001288609300017'
file:
- access_level: open_access
checksum: 981025aed580b6b27c426cb8856cf63e
content_type: application/pdf
creator: esarac
date_created: 2023-01-31T07:22:21Z
date_updated: 2023-01-31T07:22:21Z
file_id: '12468'
file_name: qsl.pdf
file_size: 449027
relation: main_file
success: 1
- access_level: open_access
checksum: f16e2af1e0eb243158ab0f0fe74e7d5a
content_type: application/pdf
creator: dernst
date_created: 2023-06-19T10:28:09Z
date_updated: 2023-06-19T10:28:09Z
file_id: '13153'
file_name: 2023_LNCS_HenzingerT.pdf
file_size: 1048171
relation: main_file
success: 1
file_date_updated: 2023-06-19T10:28:09Z
has_accepted_license: '1'
intvolume: ' 13992'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 349-370
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 26th International Conference Foundations of Software Science and Computation
Structures
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031308284'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative safety and liveness
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13992
year: '2023'
...
---
_id: '12469'
abstract:
- lang: eng
text: 'Hosts can carry many viruses in their bodies, but not all of them cause disease.
We studied ants as a social host to determine both their overall viral repertoire
and the subset of actively infecting viruses across natural populations of three
subfamilies: the Argentine ant (Linepithema humile, Dolichoderinae), the invasive
garden ant (Lasius neglectus, Formicinae) and the red ant (Myrmica rubra, Myrmicinae).
We used a dual sequencing strategy to reconstruct complete virus genomes by RNA-seq
and to simultaneously determine the small interfering RNAs (siRNAs) by small RNA
sequencing (sRNA-seq), which constitute the host antiviral RNAi immune response.
This approach led to the discovery of 41 novel viruses in ants and revealed a
host ant-specific RNAi response (21 vs. 22 nt siRNAs) in the different ant species.
The efficiency of the RNAi response (sRNA/RNA read count ratio) depended on the
virus and the respective ant species, but not its population. Overall, we found
the highest virus abundance and diversity per population in Li. humile, followed
by La. neglectus and M. rubra. Argentine ants also shared a high proportion of
viruses between populations, whilst overlap was nearly absent in M. rubra. Only
one of the 59 viruses was found to infect two of the ant species as hosts, revealing
high host-specificity in active infections. In contrast, six viruses actively
infected one ant species, but were found as contaminants only in the others. Disentangling
spillover of disease-causing infection from non-infecting contamination across
species is providing relevant information for disease ecology and ecosystem management.'
acknowledgement: "We thank D.J. Obbard for sharing the details of the dual RNA-seq/sRNA-seq
approach, S.\r\nMetzler and R. Ferrigato for the photographs (Figure 1), M. Konrad,
B. Casillas-Perez, C.D.\r\nPull and X. Espadaler for help with ant collection, and
the Social Immunity Team at IST\r\nAustria, in particular J. Robb, A. Franschitz,
E. Naderlinger, E. Dawson and B. Casillas-Perez\r\nfor support and comments on the
manuscript. The study was funded by the Austrian Science\r\nFund (FWF; M02076-B25
to MAF) and the Academy of Finland (343022 to LV). "
article_number: '1119002'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Lumi
full_name: Viljakainen, Lumi
last_name: Viljakainen
- first_name: Matthias
full_name: Fürst, Matthias
id: 393B1196-F248-11E8-B48F-1D18A9856A87
last_name: Fürst
orcid: 0000-0002-3712-925X
- first_name: Anna V
full_name: Grasse, Anna V
id: 406F989C-F248-11E8-B48F-1D18A9856A87
last_name: Grasse
- first_name: Jaana
full_name: Jurvansuu, Jaana
last_name: Jurvansuu
- first_name: Jinook
full_name: Oh, Jinook
id: 403169A4-080F-11EA-9993-BF3F3DDC885E
last_name: Oh
orcid: 0000-0001-7425-2372
- first_name: Lassi
full_name: Tolonen, Lassi
last_name: Tolonen
- first_name: Thomas
full_name: Eder, Thomas
last_name: Eder
- first_name: Thomas
full_name: Rattei, Thomas
last_name: Rattei
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals
host-specific virus infections in natural ant populations. Frontiers in Microbiology.
2023;14. doi:10.3389/fmicb.2023.1119002
apa: Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen,
L., … Cremer, S. (2023). Antiviral immune response reveals host-specific virus
infections in natural ant populations. Frontiers in Microbiology. Frontiers.
https://doi.org/10.3389/fmicb.2023.1119002
chicago: Viljakainen, Lumi, Matthias Fürst, Anna V Grasse, Jaana Jurvansuu, Jinook
Oh, Lassi Tolonen, Thomas Eder, Thomas Rattei, and Sylvia Cremer. “Antiviral Immune
Response Reveals Host-Specific Virus Infections in Natural Ant Populations.” Frontiers
in Microbiology. Frontiers, 2023. https://doi.org/10.3389/fmicb.2023.1119002.
ieee: L. Viljakainen et al., “Antiviral immune response reveals host-specific
virus infections in natural ant populations,” Frontiers in Microbiology,
vol. 14. Frontiers, 2023.
ista: Viljakainen L, Fürst M, Grasse AV, Jurvansuu J, Oh J, Tolonen L, Eder T, Rattei
T, Cremer S. 2023. Antiviral immune response reveals host-specific virus infections
in natural ant populations. Frontiers in Microbiology. 14, 1119002.
mla: Viljakainen, Lumi, et al. “Antiviral Immune Response Reveals Host-Specific
Virus Infections in Natural Ant Populations.” Frontiers in Microbiology,
vol. 14, 1119002, Frontiers, 2023, doi:10.3389/fmicb.2023.1119002.
short: L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T.
Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
corr_author: '1'
date_created: 2023-01-31T08:13:40Z
date_published: 2023-03-16T00:00:00Z
date_updated: 2025-04-23T08:54:27Z
day: '16'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.3389/fmicb.2023.1119002
external_id:
isi:
- '000961542100001'
pmid:
- '37007485'
file:
- access_level: open_access
checksum: cd52292963acce1111634d9fac08c699
content_type: application/pdf
creator: dernst
date_created: 2023-04-17T07:49:09Z
date_updated: 2023-04-17T07:49:09Z
file_id: '12843'
file_name: 2023_FrontMicrobiology_Viljakainen.pdf
file_size: 4866332
relation: main_file
success: 1
file_date_updated: 2023-04-17T07:49:09Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25DF61D8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02076
name: Viral pathogens and social immunity in ants
publication: Frontiers in Microbiology
publication_identifier:
eissn:
- 1664-302X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Antiviral immune response reveals host-specific virus infections in natural
ant populations
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2023'
...
---
_id: '12478'
abstract:
- lang: eng
text: In Gram negative bacteria, the multiple antibiotic resistance or mar operon,
is known to control the expression of multi-drug efflux genes that protect bacteria
from a wide range of drugs. As many different chemical compounds can induce this
operon, identifying the parameters that govern the dynamics of its induction is
crucial to better characterize the processes of tolerance and resistance. Most
experiments have assumed that the properties of the mar transcriptional network
can be inferred from population measurements. However, measurements from an asynchronous
population of cells can mask underlying phenotypic variations of single cells.
We monitored the activity of the mar promoter in single Escherichia coli cells
in linear micro-colonies and established that the response to a steady level of
inducer was most heterogeneous within individual colonies for an intermediate
value of inducer. Specifically, sub-lineages defined by contiguous daughter-cells
exhibited similar promoter activity, whereas activity was greatly variable between
different sub-lineages. Specific sub-trees of uniform promoter activity persisted
over several generations. Statistical analyses of the lineages suggest that the
presence of these sub-trees is the signature of an inducible memory of the promoter
state that is transmitted from mother to daughter cells. This single-cell study
reveals that the degree of epigenetic inheritance changes as a function of inducer
concentration, suggesting that phenotypic inheritance may be an inducible phenotype.
acknowledgement: This work was supported by NIH P50 award P50GM081892-02 to the University
of Chicago, a catalyst grant from the Chicago Biomedical Consortium with support
from The Searle Funds at The Chicago Community Trust to PC, and a Yen Fellowship
to CCG. MA was partially supported by PAPIIT-UNAM grant IN-11322.
article_number: '1049255'
article_processing_charge: Yes
article_type: original
author:
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: L
full_name: Bruneaux, L
last_name: Bruneaux
- first_name: P
full_name: Oikonomou, P
last_name: Oikonomou
- first_name: M
full_name: Aldana, M
last_name: Aldana
- first_name: P
full_name: Cluzel, P
last_name: Cluzel
citation:
ama: Guet CC, Bruneaux L, Oikonomou P, Aldana M, Cluzel P. Monitoring lineages of
growing and dividing bacteria reveals an inducible memory of mar operon
expression. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1049255
apa: Guet, C. C., Bruneaux, L., Oikonomou, P., Aldana, M., & Cluzel, P. (2023).
Monitoring lineages of growing and dividing bacteria reveals an inducible memory
of mar operon expression. Frontiers in Microbiology. Frontiers.
https://doi.org/10.3389/fmicb.2023.1049255
chicago: Guet, Calin C, L Bruneaux, P Oikonomou, M Aldana, and P Cluzel. “Monitoring
Lineages of Growing and Dividing Bacteria Reveals an Inducible Memory of Mar
Operon Expression.” Frontiers in Microbiology. Frontiers, 2023. https://doi.org/10.3389/fmicb.2023.1049255.
ieee: C. C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, and P. Cluzel, “Monitoring
lineages of growing and dividing bacteria reveals an inducible memory of mar
operon expression,” Frontiers in Microbiology, vol. 14. Frontiers, 2023.
ista: Guet CC, Bruneaux L, Oikonomou P, Aldana M, Cluzel P. 2023. Monitoring lineages
of growing and dividing bacteria reveals an inducible memory of mar operon
expression. Frontiers in Microbiology. 14, 1049255.
mla: Guet, Calin C., et al. “Monitoring Lineages of Growing and Dividing Bacteria
Reveals an Inducible Memory of Mar Operon Expression.” Frontiers in
Microbiology, vol. 14, 1049255, Frontiers, 2023, doi:10.3389/fmicb.2023.1049255.
short: C.C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, P. Cluzel, Frontiers in
Microbiology 14 (2023).
corr_author: '1'
date_created: 2023-02-02T08:13:28Z
date_published: 2023-06-20T00:00:00Z
date_updated: 2024-10-09T21:03:59Z
day: '20'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.3389/fmicb.2023.1049255
external_id:
isi:
- '001030002600001'
pmid:
- '37485524'
file:
- access_level: open_access
checksum: 7dd322347512afaa5daf72a0154f2f07
content_type: application/pdf
creator: dernst
date_created: 2023-07-31T07:16:34Z
date_updated: 2023-07-31T07:16:34Z
file_id: '13322'
file_name: 2023_FrontiersMicrobiology_Guet.pdf
file_size: 6452841
relation: main_file
success: 1
file_date_updated: 2023-07-31T07:16:34Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
publication: Frontiers in Microbiology
publication_identifier:
eissn:
- 1664-302X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring lineages of growing and dividing bacteria reveals an inducible memory
of mar operon expression
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2023'
...