---
_id: '10609'
abstract:
- lang: eng
text: "We study Multi-party computation (MPC) in the setting of subversion, where
the adversary tampers with the machines of honest parties. Our goal is to construct
actively secure MPC protocols where parties are corrupted adaptively by an adversary
(as in the standard adaptive security setting), and in addition, honest parties’
machines are compromised.\r\nThe idea of reverse firewalls (RF) was introduced
at EUROCRYPT’15 by Mironov and Stephens-Davidowitz as an approach to protecting
protocols against corruption of honest parties’ devices. Intuitively, an RF for
a party P is an external entity that sits between P and the outside world
and whose scope is to sanitize P ’s incoming and outgoing messages in the face
of subversion of their computer. Mironov and Stephens-Davidowitz constructed a
protocol for passively-secure two-party computation. At CRYPTO’20, Chakraborty,
Dziembowski and Nielsen constructed a protocol for secure computation with firewalls
that improved on this result, both by extending it to multi-party computation
protocol, and considering active security in the presence of static corruptions.
In this paper, we initiate the study of RF for MPC in the adaptive setting. We
put forward a definition for adaptively secure MPC in the reverse firewall setting,
explore relationships among the security notions, and then construct reverse firewalls
for MPC in this stronger setting of adaptive security. We also resolve the open
question of Chakraborty, Dziembowski and Nielsen by removing the need for a trusted
setup in constructing RF for MPC. Towards this end, we construct reverse firewalls
for adaptively secure augmented coin tossing and adaptively secure zero-knowledge
protocols and obtain a constant round adaptively secure MPC protocol in the reverse
firewall setting without setup. Along the way, we propose a new multi-party adaptively
secure coin tossing protocol in the plain model, that is of independent interest."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Suvradip
full_name: Chakraborty, Suvradip
id: B9CD0494-D033-11E9-B219-A439E6697425
last_name: Chakraborty
- first_name: Chaya
full_name: Ganesh, Chaya
last_name: Ganesh
- first_name: Mahak
full_name: Pancholi, Mahak
last_name: Pancholi
- first_name: Pratik
full_name: Sarkar, Pratik
last_name: Sarkar
citation:
ama: 'Chakraborty S, Ganesh C, Pancholi M, Sarkar P. Reverse firewalls for adaptively
secure MPC without setup. In: 27th International Conference on the Theory and
Application of Cryptology and Information Security. Vol 13091. Springer Nature;
2021:335-364. doi:10.1007/978-3-030-92075-3_12'
apa: 'Chakraborty, S., Ganesh, C., Pancholi, M., & Sarkar, P. (2021). Reverse
firewalls for adaptively secure MPC without setup. In 27th International Conference
on the Theory and Application of Cryptology and Information Security (Vol.
13091, pp. 335–364). Virtual, Singapore: Springer Nature. https://doi.org/10.1007/978-3-030-92075-3_12'
chicago: Chakraborty, Suvradip, Chaya Ganesh, Mahak Pancholi, and Pratik Sarkar.
“Reverse Firewalls for Adaptively Secure MPC without Setup.” In 27th International
Conference on the Theory and Application of Cryptology and Information Security,
13091:335–64. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-92075-3_12.
ieee: S. Chakraborty, C. Ganesh, M. Pancholi, and P. Sarkar, “Reverse firewalls
for adaptively secure MPC without setup,” in 27th International Conference
on the Theory and Application of Cryptology and Information Security, Virtual,
Singapore, 2021, vol. 13091, pp. 335–364.
ista: 'Chakraborty S, Ganesh C, Pancholi M, Sarkar P. 2021. Reverse firewalls for
adaptively secure MPC without setup. 27th International Conference on the Theory
and Application of Cryptology and Information Security. ASIACRYPT: International
Conference on Cryptology in Asia, LNCS, vol. 13091, 335–364.'
mla: Chakraborty, Suvradip, et al. “Reverse Firewalls for Adaptively Secure MPC
without Setup.” 27th International Conference on the Theory and Application
of Cryptology and Information Security, vol. 13091, Springer Nature, 2021,
pp. 335–64, doi:10.1007/978-3-030-92075-3_12.
short: S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International
Conference on the Theory and Application of Cryptology and Information Security,
Springer Nature, 2021, pp. 335–364.
conference:
end_date: 2021-12-10
location: Virtual, Singapore
name: 'ASIACRYPT: International Conference on Cryptology in Asia'
start_date: 2021-12-06
date_created: 2022-01-09T23:01:27Z
date_published: 2021-12-01T00:00:00Z
date_updated: 2025-04-14T07:22:06Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-030-92075-3_12
ec_funded: 1
external_id:
isi:
- '000927876200012'
intvolume: ' 13091'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2021/1262
month: '12'
oa: 1
oa_version: Preprint
page: 335-364
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 27th International Conference on the Theory and Application of Cryptology
and Information Security
publication_identifier:
eisbn:
- 978-3-030-92075-3
eissn:
- 1611-3349
isbn:
- 978-3-030-92074-6
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reverse firewalls for adaptively secure MPC without setup
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13091
year: '2021'
...
---
_id: '10617'
abstract:
- lang: eng
text: When a flat band is partially filled with electrons, strong Coulomb interactions
between them may lead to the emergence of topological gapped states with quantized
Hall conductivity. Such emergent topological states have been found in partially
filled Landau levels1 and Hofstadter bands2,3; however, in both cases, a large
magnetic field is required to produce the underlying flat band. The recent observation
of quantum anomalous Hall effects in narrow-band moiré materials4,5,6,7 has led
to the theoretical prediction that such phases could be realized at zero magnetic
field8,9,10,11,12. Here we report the observation of insulators with Chern number
C = 1 in the zero-magnetic-field limit at half-integer filling of the moiré superlattice
unit cell in twisted monolayer–bilayer graphene7,13,14,15. Chern insulators in
a half-filled band suggest the spontaneous doubling of the superlattice unit cell2,3,16,
and our calculations find a ground state of the topological charge density wave
at half-filling of the underlying band. The discovery of these topological phases
at fractional superlattice filling enables the further pursuit of zero-magnetic-field
phases that have fractional statistics that exist either as elementary excitations
or bound to lattice dislocations.
acknowledgement: We are grateful to J. Zhu for fruitful discussions. A.F.Y. acknowledges
support from the Office of Naval Research under award N00014-20-1-2609, and the
Gordon and Betty Moore Foundation under award GBMF9471. M.P.Z. acknowledges support
from the ARO under MURI W911NF-16-1-0361. K.W. and T.T. acknowledge support from
the Elemental Strategy Initiative conducted by the MEXT, Japan, via grant no. JPMXP0112101001;
JSPS KAKENHI grant no. JP20H00354; and the CREST(JPMJCR15F3), JST. A.V. was supported
by a Simons Investigator Award. P.L. was supported by the Department of Defense
(DoD) through the National Defense Science and Engineering Graduate Fellowship (NDSEG)
Program.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Hryhoriy
full_name: Polshyn, Hryhoriy
id: edfc7cb1-526e-11ec-b05a-e6ecc27e4e48
last_name: Polshyn
orcid: 0000-0001-8223-8896
- first_name: Y.
full_name: Zhang, Y.
last_name: Zhang
- first_name: M. A.
full_name: Kumar, M. A.
last_name: Kumar
- first_name: T.
full_name: Soejima, T.
last_name: Soejima
- first_name: P.
full_name: Ledwith, P.
last_name: Ledwith
- first_name: K.
full_name: Watanabe, K.
last_name: Watanabe
- first_name: T.
full_name: Taniguchi, T.
last_name: Taniguchi
- first_name: A.
full_name: Vishwanath, A.
last_name: Vishwanath
- first_name: M. P.
full_name: Zaletel, M. P.
last_name: Zaletel
- first_name: A. F.
full_name: Young, A. F.
last_name: Young
citation:
ama: Polshyn H, Zhang Y, Kumar MA, et al. Topological charge density waves at half-integer
filling of a moiré superlattice. Nature Physics. 2021. doi:10.1038/s41567-021-01418-6
apa: Polshyn, H., Zhang, Y., Kumar, M. A., Soejima, T., Ledwith, P., Watanabe, K.,
… Young, A. F. (2021). Topological charge density waves at half-integer filling
of a moiré superlattice. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01418-6
chicago: Polshyn, Hryhoriy, Y. Zhang, M. A. Kumar, T. Soejima, P. Ledwith, K. Watanabe,
T. Taniguchi, A. Vishwanath, M. P. Zaletel, and A. F. Young. “Topological Charge
Density Waves at Half-Integer Filling of a Moiré Superlattice.” Nature Physics.
Springer Nature, 2021. https://doi.org/10.1038/s41567-021-01418-6.
ieee: H. Polshyn et al., “Topological charge density waves at half-integer
filling of a moiré superlattice,” Nature Physics. Springer Nature, 2021.
ista: Polshyn H, Zhang Y, Kumar MA, Soejima T, Ledwith P, Watanabe K, Taniguchi
T, Vishwanath A, Zaletel MP, Young AF. 2021. Topological charge density waves
at half-integer filling of a moiré superlattice. Nature Physics.
mla: Polshyn, Hryhoriy, et al. “Topological Charge Density Waves at Half-Integer
Filling of a Moiré Superlattice.” Nature Physics, Springer Nature, 2021,
doi:10.1038/s41567-021-01418-6.
short: H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T.
Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
date_created: 2022-01-13T12:30:47Z
date_published: 2021-12-09T00:00:00Z
date_updated: 2022-01-13T14:11:31Z
day: '09'
doi: 10.1038/s41567-021-01418-6
extern: '1'
external_id:
arxiv:
- '2104.01178'
keyword:
- general physics
- astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.01178
month: '12'
oa: 1
oa_version: Preprint
publication: Nature Physics
publication_identifier:
eissn:
- 1745-2481
issn:
- 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Topological charge density waves at half-integer filling of a moiré superlattice
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '10655'
abstract:
- lang: eng
text: "Adeno-associated viruses (AAVs) are widely used to deliver genetic material
in vivo to distinct cell types such as neurons or glial cells, allowing for targeted
manipulation. Transduction of microglia is mostly excluded from this strategy,
likely due to the cells’ heterogeneous state upon environmental changes, which
makes AAV design challenging. Here, we established the retina as a model system
for microglial AAV validation and optimization. First, we show that AAV2/6 transduced
microglia in both synaptic layers, where layer preference corresponds to the intravitreal
or subretinal delivery method. Surprisingly, we observed significantly enhanced
microglial transduction during photoreceptor degeneration. Thus, we modified the
AAV6 capsid to reduce heparin binding by introducing four point mutations (K531E,
R576Q, K493S, and K459S), resulting in increased microglial transduction in the
outer plexiform layer. Finally, to improve microglial-specific transduction, we
validated a Cre-dependent transgene delivery cassette for use in combination with
the Cx3cr1CreERT2 mouse line. Together, our results provide a foundation for future
studies optimizing AAV-mediated microglia transduction and highlight that environmental
conditions influence microglial transduction efficiency.\r\n"
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
- _id: PreCl
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(grant agreement no. 715571). The research was supported by the Scientific Service
Units (SSU) of IST Austria through resources provided by the Bioimaging Facility,
the Life Science Facility, and the Pre-Clinical Facility, namely Sonja Haslinger
and Michael Schunn for their animal colony management and support. We would also
like to thank Chakrabarty Lab for sharing the plasmids for AAV2/6 production. Finally,
we would like to thank the Siegert team members for discussion about the manuscript.
article_processing_charge: Yes
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Gabriele M.
full_name: Wögenstein, Gabriele M.
last_name: Wögenstein
- first_name: Gloria
full_name: Colombo, Gloria
id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
last_name: Colombo
orcid: 0000-0001-9434-8902
- first_name: Raquel
full_name: Casado Polanco, Raquel
id: 15240fc1-dbcd-11ea-9d1d-ac5a786425fd
last_name: Casado Polanco
orcid: 0000-0001-8293-4568
- first_name: Sandra
full_name: Siegert, Sandra
id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
last_name: Siegert
orcid: 0000-0001-8635-0877
citation:
ama: Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. Optimizing
AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor
degenerative environment. Molecular Therapy - Methods and Clinical Development.
2021;23:210-224. doi:10.1016/j.omtm.2021.09.006
apa: Maes, M. E., Wögenstein, G. M., Colombo, G., Casado Polanco, R., & Siegert,
S. (2021). Optimizing AAV2/6 microglial targeting identified enhanced efficiency
in the photoreceptor degenerative environment. Molecular Therapy - Methods
and Clinical Development. Elsevier. https://doi.org/10.1016/j.omtm.2021.09.006
chicago: Maes, Margaret E, Gabriele M. Wögenstein, Gloria Colombo, Raquel Casado
Polanco, and Sandra Siegert. “Optimizing AAV2/6 Microglial Targeting Identified
Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular
Therapy - Methods and Clinical Development. Elsevier, 2021. https://doi.org/10.1016/j.omtm.2021.09.006.
ieee: M. E. Maes, G. M. Wögenstein, G. Colombo, R. Casado Polanco, and S. Siegert,
“Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the
photoreceptor degenerative environment,” Molecular Therapy - Methods and Clinical
Development, vol. 23. Elsevier, pp. 210–224, 2021.
ista: Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. 2021. Optimizing
AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor
degenerative environment. Molecular Therapy - Methods and Clinical Development.
23, 210–224.
mla: Maes, Margaret E., et al. “Optimizing AAV2/6 Microglial Targeting Identified
Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular
Therapy - Methods and Clinical Development, vol. 23, Elsevier, 2021, pp. 210–24,
doi:10.1016/j.omtm.2021.09.006.
short: M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular
Therapy - Methods and Clinical Development 23 (2021) 210–224.
corr_author: '1'
date_created: 2022-01-23T23:01:28Z
date_published: 2021-12-10T00:00:00Z
date_updated: 2025-04-14T07:41:46Z
day: '10'
ddc:
- '570'
department:
- _id: SaSi
- _id: SiHi
doi: 10.1016/j.omtm.2021.09.006
ec_funded: 1
external_id:
isi:
- '000748748500019'
file:
- access_level: open_access
checksum: 77dc540e8011c5475031bdf6ccef20a6
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-24T07:43:09Z
date_updated: 2022-01-24T07:43:09Z
file_id: '10657'
file_name: 2021_MolTherMethodsClinDev_Maes.pdf
file_size: 4794147
relation: main_file
success: 1
file_date_updated: 2022-01-24T07:43:09Z
has_accepted_license: '1'
intvolume: ' 23'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 210-224
project:
- _id: 25D4A630-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715571'
name: Microglia action towards neuronal circuit formation and function in health
and disease
publication: Molecular Therapy - Methods and Clinical Development
publication_identifier:
eissn:
- 2329-0501
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the
photoreceptor degenerative environment
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2021'
...
---
_id: '10688'
abstract:
- lang: eng
text: "Civl is a static verifier for concurrent programs designed around the conceptual
framework of layered refinement,\r\nwhich views the task of verifying a program
as a sequence of program simplification steps each justified by its own invariant.
Civl verifies a layered concurrent program that compactly expresses all the programs
in this sequence and the supporting invariants. This paper presents the design
and implementation of the Civl verifier."
acknowledgement: This research was performed while Bernhard Kragl was at IST Austria,
supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein
Award).
alternative_title:
- Conference Series
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
citation:
ama: 'Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings
of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2.
TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23'
apa: 'Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica &
M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in
Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press.
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23'
chicago: Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings
of the 21st Conference on Formal Methods in Computer-Aided Design, edited
by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021.
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.
ieee: B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st
Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol.
2, pp. 143–152.
ista: 'Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference
on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided
Design, Conference Series, vol. 2, 143–152.'
mla: Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the
21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac
Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152,
doi:10.34727/2021/isbn.978-3-85448-046-4_23.
short: B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the
21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press,
2021, pp. 143–152.
conference:
end_date: 2021-10-22
location: Virtual
name: 'FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2021-10-20
corr_author: '1'
date_created: 2022-01-26T08:01:30Z
date_published: 2021-10-01T00:00:00Z
date_updated: 2025-04-15T06:25:56Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.34727/2021/isbn.978-3-85448-046-4_23
editor:
- first_name: Piskac
full_name: Ruzica, Piskac
last_name: Ruzica
- first_name: Michael W.
full_name: Whalen, Michael W.
last_name: Whalen
file:
- access_level: open_access
checksum: 35438ac9f9750340b7f8ae4ae3220d9f
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-26T08:04:29Z
date_updated: 2022-01-26T08:04:29Z
file_id: '10689'
file_name: 2021_FCAD2021_Kragl.pdf
file_size: 390555
relation: main_file
success: 1
file_date_updated: 2022-01-26T08:04:29Z
has_accepted_license: '1'
intvolume: ' 2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 143–152
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Proceedings of the 21st Conference on Formal Methods in Computer-Aided
Design
publication_identifier:
isbn:
- 978-3-85448-046-4
publication_status: published
publisher: TU Wien Academic Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Civl verifier
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 2
year: '2021'
...
---
_id: '10002'
abstract:
- lang: eng
text: 'We present a faster symbolic algorithm for the following central problem
in probabilistic verification: Compute the maximal end-component (MEC) decomposition
of Markov decision processes (MDPs). This problem generalizes the SCC decomposition
problem of graphs and closed recurrent sets of Markov chains. The model of symbolic
algorithms is widely used in formal verification and model-checking, where access
to the input model is restricted to only symbolic operations (e.g., basic set
operations and computation of one-step neighborhood). For an input MDP with n vertices
and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition
requires O(n2) symbolic operations and O(1) symbolic space. The only other
symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations
and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound
for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic
operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our
algorithm provides a trade-off between symbolic operations and symbolic space:
for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations
and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques
we present faster algorithms for computing the almost-sure winning regions of ω
-regular objectives for MDPs. We consider the canonical parity objectives for ω
-regular objectives, and for parity objectives with d -priorities we present
an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic
operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 .'
acknowledgement: The authors are grateful to the anonymous referees for their valuable
comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF)
through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF)
NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For
M. H. the research leading to these results has received funding from the European
Research Council under the European Unions Seventh Framework Programme (FP/2007–2013)
/ ERC Grant Agreement no. 340506.
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Wolfgang
full_name: Dvorak, Wolfgang
last_name: Dvorak
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Alexander
full_name: Svozil, Alexander
last_name: Svozil
citation:
ama: 'Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs
for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE
Symposium on Logic in Computer Science. Institute of Electrical and Electronics
Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739'
apa: 'Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic
time and space tradeoffs for probabilistic verification. In Proceedings of
the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13).
Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739'
chicago: Chatterjee, Krishnendu, Wolfgang Dvorak, Monika Henzinger, and Alexander
Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739.
ieee: K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and
space tradeoffs for probabilistic verification,” in Proceedings of the 36th
Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021,
pp. 1–13.
ista: 'Chatterjee K, Dvorak W, Henzinger M, Svozil A. 2021. Symbolic time and space
tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE
Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.'
mla: Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic
Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in
Computer Science, Institute of Electrical and Electronics Engineers, 2021,
pp. 1–13, doi:10.1109/LICS52264.2021.9470739.
short: K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the
36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical
and Electronics Engineers, 2021, pp. 1–13.
conference:
end_date: 2021-07-02
location: Rome, Italy
name: 'LICS: Logic in Computer Science'
start_date: 2021-06-29
date_created: 2021-09-12T22:01:24Z
date_published: 2021-07-07T00:00:00Z
date_updated: 2025-07-10T11:15:45Z
day: '07'
department:
- _id: KrCh
doi: 10.1109/LICS52264.2021.9470739
ec_funded: 1
external_id:
arxiv:
- '2104.07466'
isi:
- '000947350400089'
isi: 1
keyword:
- Computer science
- Computational modeling
- Markov processes
- Probabilistic logic
- Formal verification
- Game Theory
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.07466
month: '07'
oa: 1
oa_version: Preprint
page: 1-13
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_identifier:
eisbn:
- 978-1-6654-4895-6
isbn:
- 978-1-6654-4896-3
issn:
- 1043-6871
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symbolic time and space tradeoffs for probabilistic verification
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '10004'
abstract:
- lang: eng
text: 'Markov chains are the de facto finite-state model for stochastic dynamical
systems, and Markov decision processes (MDPs) extend Markov chains by incorporating
non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization
criterion is the maximal expected total reward where the MDP stops after T steps,
which can be computed by a simple dynamic programming algorithm. We consider a
natural generalization of the problem where the stopping times can be chosen according
to a probability distribution, such that the expected stopping time is T, to optimize
the expected total reward. Quite surprisingly we establish inter-reducibility
of the expected stopping-time problem for Markov chains with the Positivity problem
(which is related to the well-known Skolem problem), for which establishing either
decidability or undecidability would be a major breakthrough. Given the hardness
of the exact problem, we consider the approximate version of the problem: we show
that it can be solved in exponential time for Markov chains and in exponential
space for MDPs.'
acknowledgement: We are grateful to the anonymous reviewers of LICS 2021 and of a
previous version of this paper for insightful comments that helped improving the
presentation. This research was partially supported by the grant ERC CoG 863818
(ForM-SMArt).
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: 'Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In:
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science.
Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595'
apa: 'Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected
stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic
in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics
Engineers. https://doi.org/10.1109/LICS52264.2021.9470595'
chicago: Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected
Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic
in Computer Science, 1–13. Institute of Electrical and Electronics Engineers,
2021. https://doi.org/10.1109/LICS52264.2021.9470595.
ieee: K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,”
in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Rome, Italy, 2021, pp. 1–13.
ista: 'Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping
time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science.
LICS: Logic in Computer Science, 1–13.'
mla: Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected
Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic
in Computer Science, Institute of Electrical and Electronics Engineers, 2021,
pp. 1–13, doi:10.1109/LICS52264.2021.9470595.
short: K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium
on Logic in Computer Science, Institute of Electrical and Electronics Engineers,
2021, pp. 1–13.
conference:
end_date: 2021-07-02
location: Rome, Italy
name: 'LICS: Logic in Computer Science'
start_date: 2021-06-29
date_created: 2021-09-12T22:01:25Z
date_published: 2021-07-07T00:00:00Z
date_updated: 2025-09-08T14:54:13Z
day: '07'
department:
- _id: KrCh
doi: 10.1109/LICS52264.2021.9470595
ec_funded: 1
external_id:
arxiv:
- '2104.07278'
isi:
- '000947350400036'
isi: 1
keyword:
- Computer science
- Heuristic algorithms
- Memory management
- Automata
- Markov processes
- Probability distribution
- Complexity theory
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.07278
month: '07'
oa: 1
oa_version: Preprint
page: 1-13
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_identifier:
eisbn:
- 978-1-6654-4895-6
isbn:
- 978-1-6654-4896-3
issn:
- 1043-6871
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
related_material:
record:
- id: '18630'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Stochastic processes with expected stopping time
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '10223'
abstract:
- lang: eng
text: Growth regulation tailors development in plants to their environment. A prominent
example of this is the response to gravity, in which shoots bend up and roots
bend down1. This paradox is based on opposite effects of the phytohormone auxin,
which promotes cell expansion in shoots while inhibiting it in roots via a yet
unknown cellular mechanism2. Here, by combining microfluidics, live imaging, genetic
engineering and phosphoproteomics in Arabidopsis thaliana, we advance understanding
of how auxin inhibits root growth. We show that auxin activates two distinct,
antagonistically acting signalling pathways that converge on rapid regulation
of apoplastic pH, a causative determinant of growth. Cell surface-based TRANSMEMBRANE
KINASE1 (TMK1) interacts with and mediates phosphorylation and activation of plasma
membrane H+-ATPases for apoplast acidification, while intracellular canonical
auxin signalling promotes net cellular H+ influx, causing apoplast alkalinization.
Simultaneous activation of these two counteracting mechanisms poises roots for
rapid, fine-tuned growth modulation in navigating complex soil environments.
acknowledged_ssus:
- _id: LifeSc
- _id: M-Shop
- _id: Bio
acknowledgement: We thank N. Gnyliukh and L. Hörmayer for technical assistance and
N. Paris for sharing PM-Cyto seeds. We gratefully acknowledge the Life Science,
Machine Shop and Bioimaging Facilities of IST Austria. This project has received
funding from the European Research Council Advanced Grant (ETAP-742985) and the
Austrian Science Fund (FWF) under I 3630-B25 to J.F., the National Institutes of
Health (GM067203) to W.M.G., the Netherlands Organization for Scientific Research
(NWO; VIDI-864.13.001), Research Foundation-Flanders (FWO; Odysseus II G0D0515N)
and a European Research Council Starting Grant (TORPEDO-714055) to W.S. and B.D.R.,
the VICI grant (865.14.001) from the Netherlands Organization for Scientific Research
to M.R. and D.W., the Australian Research Council and China National Distinguished
Expert Project (WQ20174400441) to S.S., the MEXT/JSPS KAKENHI to K.T. (20K06685)
and T.K. (20H05687 and 20H05910), the European Union’s Horizon 2020 research and
innovation programme under Marie Skłodowska-Curie grant agreement no. 665385 and
the DOC Fellowship of the Austrian Academy of Sciences to L.L., and the China Scholarship
Council to J.C.
article_processing_charge: No
article_type: original
author:
- first_name: Lanxin
full_name: Li, Lanxin
id: 367EF8FA-F248-11E8-B48F-1D18A9856A87
last_name: Li
orcid: 0000-0002-5607-272X
- first_name: Inge
full_name: Verstraeten, Inge
id: 362BF7FE-F248-11E8-B48F-1D18A9856A87
last_name: Verstraeten
orcid: 0000-0001-7241-2328
- first_name: Mark
full_name: Roosjen, Mark
last_name: Roosjen
- first_name: Koji
full_name: Takahashi, Koji
last_name: Takahashi
- first_name: Lesia
full_name: Rodriguez Solovey, Lesia
id: 3922B506-F248-11E8-B48F-1D18A9856A87
last_name: Rodriguez Solovey
orcid: 0000-0002-7244-7237
- first_name: Jack
full_name: Merrin, Jack
id: 4515C308-F248-11E8-B48F-1D18A9856A87
last_name: Merrin
orcid: 0000-0001-5145-4609
- first_name: Jian
full_name: Chen, Jian
last_name: Chen
- first_name: Lana
full_name: Shabala, Lana
last_name: Shabala
- first_name: Wouter
full_name: Smet, Wouter
last_name: Smet
- first_name: Hong
full_name: Ren, Hong
last_name: Ren
- first_name: Steffen
full_name: Vanneste, Steffen
last_name: Vanneste
- first_name: Sergey
full_name: Shabala, Sergey
last_name: Shabala
- first_name: Bert
full_name: De Rybel, Bert
last_name: De Rybel
- first_name: Dolf
full_name: Weijers, Dolf
last_name: Weijers
- first_name: Toshinori
full_name: Kinoshita, Toshinori
last_name: Kinoshita
- first_name: William M.
full_name: Gray, William M.
last_name: Gray
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Li L, Verstraeten I, Roosjen M, et al. Cell surface and intracellular auxin
signalling for H+ fluxes in root growth. Nature. 2021;599(7884):273-277.
doi:10.1038/s41586-021-04037-6
apa: Li, L., Verstraeten, I., Roosjen, M., Takahashi, K., Rodriguez Solovey, L.,
Merrin, J., … Friml, J. (2021). Cell surface and intracellular auxin signalling
for H+ fluxes in root growth. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-04037-6
chicago: Li, Lanxin, Inge Verstraeten, Mark Roosjen, Koji Takahashi, Lesia Rodriguez
Solovey, Jack Merrin, Jian Chen, et al. “Cell Surface and Intracellular Auxin
Signalling for H+ Fluxes in Root Growth.” Nature. Springer Nature,
2021. https://doi.org/10.1038/s41586-021-04037-6.
ieee: L. Li et al., “Cell surface and intracellular auxin signalling for
H+ fluxes in root growth,” Nature, vol. 599, no. 7884. Springer
Nature, pp. 273–277, 2021.
ista: Li L, Verstraeten I, Roosjen M, Takahashi K, Rodriguez Solovey L, Merrin J,
Chen J, Shabala L, Smet W, Ren H, Vanneste S, Shabala S, De Rybel B, Weijers D,
Kinoshita T, Gray WM, Friml J. 2021. Cell surface and intracellular auxin signalling
for H+ fluxes in root growth. Nature. 599(7884), 273–277.
mla: Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H+
Fluxes in Root Growth.” Nature, vol. 599, no. 7884, Springer Nature, 2021,
pp. 273–77, doi:10.1038/s41586-021-04037-6.
short: L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J.
Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel,
D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
corr_author: '1'
date_created: 2021-11-07T23:01:25Z
date_published: 2021-11-11T00:00:00Z
date_updated: 2025-07-10T11:49:46Z
day: '11'
department:
- _id: JiFr
- _id: NanoFab
doi: 10.1038/s41586-021-04037-6
ec_funded: 1
external_id:
isi:
- '000713338100006'
pmid:
- '34707283'
intvolume: ' 599'
isi: 1
issue: '7884'
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.doi.org/10.21203/rs.3.rs-266395/v3
month: '11'
oa: 1
oa_version: Preprint
page: 273-277
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
- _id: 26538374-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I03630
name: Molecular mechanisms of endocytic cargo recognition in plants
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 26B4D67E-B435-11E9-9278-68D0E5697425
grant_number: '25351'
name: 'A Case Study of Plant Growth Regulation: Molecular Mechanism of Auxin-mediated
Rapid Growth Inhibition in Arabidopsis Root'
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Webpage
relation: press_release
url: https://ist.ac.at/en/news/stop-and-grow/
record:
- id: '10095'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Cell surface and intracellular auxin signalling for H+ fluxes in
root growth
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 599
year: '2021'
...
---
_id: '10280'
abstract:
- lang: eng
text: 'Machines enabled the Industrial Revolution and are central to modern technological
progress: A machine’s parts transmit forces, motion, and energy to one another
in a predetermined manner. Today’s engineering frontier, building artificial micromachines
that emulate the biological machinery of living organisms, requires faithful assembly
and energy consumption at the microscale. Here, we demonstrate the programmable
assembly of active particles into autonomous metamachines using optical templates.
Metamachines, or machines made of machines, are stable, mobile and autonomous
architectures, whose dynamics stems from the geometry. We use the interplay between
anisotropic force generation of the active colloids with the control of their
orientation by local geometry. This allows autonomous reprogramming of active
particles of the metamachines to achieve multiple functions. It permits the modular
assembly of metamachines by fusion, reconfiguration of metamachines and, we anticipate,
a shift in focus of self-assembly towards active matter and reprogrammable materials.'
acknowledgement: The authors thank R. Jazzar for useful advice regarding the synthesis
of heterodimers. We thank S. Sacanna for critical reading. This material is based
upon work supported by the National Science Foundation under Grant No. DMR-1554724
and Department of Army Research under grant W911NF-20-1-0112.
article_number: '6398'
article_processing_charge: Yes
article_type: original
author:
- first_name: Antoine
full_name: Aubret, Antoine
last_name: Aubret
- first_name: Quentin
full_name: Martinet, Quentin
id: b37485a8-d343-11eb-a0e9-df8c484ef8ab
last_name: Martinet
orcid: 0000-0002-2916-6632
- first_name: Jérémie A
full_name: Palacci, Jérémie A
id: 8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d
last_name: Palacci
orcid: 0000-0002-7253-9465
citation:
ama: Aubret A, Martinet Q, Palacci JA. Metamachines of pluripotent colloids. Nature
Communications. 2021;12(1). doi:10.1038/s41467-021-26699-6
apa: Aubret, A., Martinet, Q., & Palacci, J. A. (2021). Metamachines of pluripotent
colloids. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-26699-6
chicago: Aubret, Antoine, Quentin Martinet, and Jérémie A Palacci. “Metamachines
of Pluripotent Colloids.” Nature Communications. Springer Nature, 2021.
https://doi.org/10.1038/s41467-021-26699-6.
ieee: A. Aubret, Q. Martinet, and J. A. Palacci, “Metamachines of pluripotent colloids,”
Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
ista: Aubret A, Martinet Q, Palacci JA. 2021. Metamachines of pluripotent colloids.
Nature Communications. 12(1), 6398.
mla: Aubret, Antoine, et al. “Metamachines of Pluripotent Colloids.” Nature Communications,
vol. 12, no. 1, 6398, Springer Nature, 2021, doi:10.1038/s41467-021-26699-6.
short: A. Aubret, Q. Martinet, J.A. Palacci, Nature Communications 12 (2021).
date_created: 2021-11-14T23:01:23Z
date_published: 2021-11-04T00:00:00Z
date_updated: 2023-08-14T11:48:37Z
day: '04'
ddc:
- '530'
department:
- _id: JePa
doi: 10.1038/s41467-021-26699-6
external_id:
isi:
- '000714754400010'
pmid:
- '34737315'
file:
- access_level: open_access
checksum: 1c392b12b9b7b615d422d9fabe19cdb9
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-15T13:25:52Z
date_updated: 2021-11-15T13:25:52Z
file_id: '10292'
file_name: 2021_NatComm_Aubret.pdf
file_size: 6282703
relation: main_file
success: 1
file_date_updated: 2021-11-15T13:25:52Z
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
issue: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Metamachines of pluripotent colloids
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: 12
year: '2021'
...
---
_id: '10322'
abstract:
- lang: eng
text: To survive elevated temperatures, ectotherms adjust the fluidity of membranes
by fine-tuning lipid desaturation levels in a process previously described to
be cell autonomous. We have discovered that, in Caenorhabditis elegans, neuronal
heat shock factor 1 (HSF-1), the conserved master regulator of the heat shock
response (HSR), causes extensive fat remodeling in peripheral tissues. These changes
include a decrease in fat desaturase and acid lipase expression in the intestine
and a global shift in the saturation levels of plasma membrane’s phospholipids.
The observed remodeling of plasma membrane is in line with ectothermic adaptive
responses and gives worms a cumulative advantage to warm temperatures. We have
determined that at least 6 TAX-2/TAX-4 cyclic guanosine monophosphate (cGMP) gated
channel expressing sensory neurons, and transforming growth factor ß (TGF-β)/bone
morphogenetic protein (BMP) are required for signaling across tissues to modulate
fat desaturation. We also find neuronal hsf-1 is not only sufficient but also
partially necessary to control the fat remodeling response and for survival at
warm temperatures. This is the first study to show that a thermostat-based mechanism
can cell nonautonomously coordinate membrane saturation and composition across
tissues in a multicellular animal.
acknowledgement: We dedicate this work to the memory of Michael J.O. Wakelam. We would
like to acknowledge Michael Fasseas (Invermis, Magnitude Biosciences) for plasmid
injections and Sunny Biotech for transgenics; Catalina Vallejos and John Marioni
for statistical advice at the beginning of the work; Simon Walker, Imaging, Bioinformatics
and Lipidomics Facilities at Babraham Institute for technical support; and Cindy
Voisine, Michael Witting, Jon Houseley, Len Stephens, Carmen Nussbaum Krammer, Rebeca
Aldunate, Patricija van Oosten-Hawle, Jean-Louis Bessereau, and Jane Alfred for
feedback on the manuscript. We thank Andy Dillin, Atsushi Kuhara, Amy Walker, Andrew
Leifer, Yun Zhang, and Michalis Barkoulas for reagents and Julie Ahringer, Anne
Ferguson-Smith, and Anne Corcoran for support and helpful discussions. We also acknowledge
Babraham Institute Facilities.
article_number: e3001431
article_processing_charge: No
article_type: original
author:
- first_name: Laetitia
full_name: Chauve, Laetitia
last_name: Chauve
- first_name: Francesca
full_name: Hodge, Francesca
last_name: Hodge
- first_name: Sharlene
full_name: Murdoch, Sharlene
last_name: Murdoch
- first_name: Fatemah
full_name: Masoudzadeh, Fatemah
last_name: Masoudzadeh
- first_name: Harry Jack
full_name: Mann, Harry Jack
last_name: Mann
- first_name: Andrea
full_name: Lopez-Clavijo, Andrea
last_name: Lopez-Clavijo
- first_name: Hanneke
full_name: Okkenhaug, Hanneke
last_name: Okkenhaug
- first_name: Greg
full_name: West, Greg
last_name: West
- first_name: Bebiana C.
full_name: Sousa, Bebiana C.
last_name: Sousa
- first_name: Anne
full_name: Segonds-Pichon, Anne
last_name: Segonds-Pichon
- first_name: Cheryl
full_name: Li, Cheryl
last_name: Li
- first_name: Steven
full_name: Wingett, Steven
last_name: Wingett
- first_name: Hermine
full_name: Kienberger, Hermine
last_name: Kienberger
- first_name: Karin
full_name: Kleigrewe, Karin
last_name: Kleigrewe
- first_name: Mario
full_name: De Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: De Bono
orcid: 0000-0001-8347-0443
- first_name: Michael
full_name: Wakelam, Michael
last_name: Wakelam
- first_name: Olivia
full_name: Casanueva, Olivia
last_name: Casanueva
citation:
ama: Chauve L, Hodge F, Murdoch S, et al. Neuronal HSF-1 coordinates the propagation
of fat desaturation across tissues to enable adaptation to high temperatures in
C. elegans. PLoS Biology. 2021;19(11). doi:10.1371/journal.pbio.3001431
apa: Chauve, L., Hodge, F., Murdoch, S., Masoudzadeh, F., Mann, H. J., Lopez-Clavijo,
A., … Casanueva, O. (2021). Neuronal HSF-1 coordinates the propagation of fat
desaturation across tissues to enable adaptation to high temperatures in C. elegans.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001431
chicago: Chauve, Laetitia, Francesca Hodge, Sharlene Murdoch, Fatemah Masoudzadeh,
Harry Jack Mann, Andrea Lopez-Clavijo, Hanneke Okkenhaug, et al. “Neuronal HSF-1
Coordinates the Propagation of Fat Desaturation across Tissues to Enable Adaptation
to High Temperatures in C. Elegans.” PLoS Biology. Public Library of Science,
2021. https://doi.org/10.1371/journal.pbio.3001431.
ieee: L. Chauve et al., “Neuronal HSF-1 coordinates the propagation of fat
desaturation across tissues to enable adaptation to high temperatures in C. elegans,”
PLoS Biology, vol. 19, no. 11. Public Library of Science, 2021.
ista: Chauve L, Hodge F, Murdoch S, Masoudzadeh F, Mann HJ, Lopez-Clavijo A, Okkenhaug
H, West G, Sousa BC, Segonds-Pichon A, Li C, Wingett S, Kienberger H, Kleigrewe
K, de Bono M, Wakelam M, Casanueva O. 2021. Neuronal HSF-1 coordinates the propagation
of fat desaturation across tissues to enable adaptation to high temperatures in
C. elegans. PLoS Biology. 19(11), e3001431.
mla: Chauve, Laetitia, et al. “Neuronal HSF-1 Coordinates the Propagation of Fat
Desaturation across Tissues to Enable Adaptation to High Temperatures in C. Elegans.”
PLoS Biology, vol. 19, no. 11, e3001431, Public Library of Science, 2021,
doi:10.1371/journal.pbio.3001431.
short: L. Chauve, F. Hodge, S. Murdoch, F. Masoudzadeh, H.J. Mann, A. Lopez-Clavijo,
H. Okkenhaug, G. West, B.C. Sousa, A. Segonds-Pichon, C. Li, S. Wingett, H. Kienberger,
K. Kleigrewe, M. de Bono, M. Wakelam, O. Casanueva, PLoS Biology 19 (2021).
date_created: 2021-11-21T23:01:28Z
date_published: 2021-11-01T00:00:00Z
date_updated: 2023-08-14T11:53:27Z
day: '01'
ddc:
- '570'
department:
- _id: MaDe
doi: 10.1371/journal.pbio.3001431
external_id:
isi:
- '000715818400001'
pmid:
- '34723964'
file:
- access_level: open_access
checksum: 0c61b667f814fd9435b3ac42036fc36d
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-22T09:34:03Z
date_updated: 2021-11-22T09:34:03Z
file_id: '10330'
file_name: 2021_PLoSBio_Chauve.pdf
file_size: 4069215
relation: main_file
success: 1
file_date_updated: 2021-11-22T09:34:03Z
has_accepted_license: '1'
intvolume: ' 19'
isi: 1
issue: '11'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS Biology
publication_identifier:
eissn:
- 1545-7885
issn:
- 1544-9173
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
related_material:
record:
- id: '13069'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Neuronal HSF-1 coordinates the propagation of fat desaturation across tissues
to enable adaptation to high temperatures in C. elegans
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: 19
year: '2021'
...
---
_id: '10367'
abstract:
- lang: eng
text: How information is created, shared and consumed has changed rapidly in recent
decades, in part thanks to new social platforms and technologies on the web. With
ever-larger amounts of unstructured and limited labels, organizing and reconciling
information from different sources and modalities is a central challenge in machine
learning. This cutting-edge tutorial aims to introduce the multimodal entailment
task, which can be useful for detecting semantic alignments when a single modality
alone does not suffice for a whole content understanding. Starting with a brief
overview of natural language processing, computer vision, structured data and
neural graph learning, we lay the foundations for the multimodal sections to follow.
We then discuss recent multimodal learning literature covering visual, audio and
language streams, and explore case studies focusing on tasks which require fine-grained
understanding of visual and linguistic semantics question answering, veracity
and hatred classification. Finally, we introduce a new dataset for recognizing
multimodal entailment, exploring it in a hands-on collaborative section. Overall,
this tutorial gives an overview of multimodal learning, introduces a multimodal
entailment dataset, and encourages future research in the topic.
acknowledgement: "We would like to thank Abby Schantz, Abe Ittycheriah, Aliaksei Severyn,
Allan Heydon, Aly\r\nGrealish, Andrey Vlasov, Arkaitz Zubiaga, Ashwin Kakarla, Chen
Sun, Clayton Williams, Cong\r\nYu, Cordelia Schmid, Da-Cheng Juan, Dan Finnie, Dani
Valevski, Daniel Rocha, David Price, David Sklar, Devi Krishna, Elena Kochkina,
Enrique Alfonseca, Franc¸oise Beaufays, Isabelle Augenstein, Jialu Liu, John Cantwell,
John Palowitch, Jordan Boyd-Graber, Lei Shi, Luis Valente, Maria Voitovich, Mehmet
Aktuna, Mogan Brown, Mor Naaman, Natalia P, Nidhi Hebbar, Pete Aykroyd, Rahul Sukthankar,
Richa Dixit, Steve Pucci, Tania Bedrax-Weiss, Tobias Kaufmann, Tom Boulos, Tu Tsao,
Vladimir Chtchetkine, Yair Kurzion, Yifan Xu and Zach Hynes."
article_processing_charge: No
author:
- first_name: Cesar
full_name: Ilharco, Cesar
last_name: Ilharco
- first_name: Afsaneh
full_name: Shirazi, Afsaneh
last_name: Shirazi
- first_name: Arjun
full_name: Gopalan, Arjun
last_name: Gopalan
- first_name: Arsha
full_name: Nagrani, Arsha
last_name: Nagrani
- first_name: Blaž
full_name: Bratanič, Blaž
last_name: Bratanič
- first_name: Chris
full_name: Bregler, Chris
last_name: Bregler
- first_name: Christina
full_name: Liu, Christina
last_name: Liu
- first_name: Felipe
full_name: Ferreira, Felipe
last_name: Ferreira
- first_name: Gabriek
full_name: Barcik, Gabriek
last_name: Barcik
- first_name: Gabriel
full_name: Ilharco, Gabriel
last_name: Ilharco
- first_name: Georg F
full_name: Osang, Georg F
id: 464B40D6-F248-11E8-B48F-1D18A9856A87
last_name: Osang
- first_name: Jannis
full_name: Bulian, Jannis
last_name: Bulian
- first_name: Jared
full_name: Frank, Jared
last_name: Frank
- first_name: Lucas
full_name: Smaira, Lucas
last_name: Smaira
- first_name: Qin
full_name: Cao, Qin
last_name: Cao
- first_name: Ricardo
full_name: Marino, Ricardo
last_name: Marino
- first_name: Roma
full_name: Patel, Roma
last_name: Patel
- first_name: Thomas
full_name: Leung, Thomas
last_name: Leung
- first_name: Vaiva
full_name: Imbrasaite, Vaiva
last_name: Imbrasaite
citation:
ama: 'Ilharco C, Shirazi A, Gopalan A, et al. Recognizing multimodal entailment.
In: 59th Annual Meeting of the Association for Computational Linguistics and
the 11th International Joint Conference on Natural Language Processing, Tutorial
Abstracts. Association for Computational Linguistics; 2021:29-30. doi:10.18653/v1/2021.acl-tutorials.6'
apa: 'Ilharco, C., Shirazi, A., Gopalan, A., Nagrani, A., Bratanič, B., Bregler,
C., … Imbrasaite, V. (2021). Recognizing multimodal entailment. In 59th Annual
Meeting of the Association for Computational Linguistics and the 11th International
Joint Conference on Natural Language Processing, Tutorial Abstracts (pp. 29–30).
Bangkok, Thailand: Association for Computational Linguistics. https://doi.org/10.18653/v1/2021.acl-tutorials.6'
chicago: Ilharco, Cesar, Afsaneh Shirazi, Arjun Gopalan, Arsha Nagrani, Blaž Bratanič,
Chris Bregler, Christina Liu, et al. “Recognizing Multimodal Entailment.” In 59th
Annual Meeting of the Association for Computational Linguistics and the 11th International
Joint Conference on Natural Language Processing, Tutorial Abstracts, 29–30.
Association for Computational Linguistics, 2021. https://doi.org/10.18653/v1/2021.acl-tutorials.6.
ieee: C. Ilharco et al., “Recognizing multimodal entailment,” in 59th
Annual Meeting of the Association for Computational Linguistics and the 11th International
Joint Conference on Natural Language Processing, Tutorial Abstracts, Bangkok,
Thailand, 2021, pp. 29–30.
ista: 'Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanič B, Bregler C, Liu C,
Ferreira F, Barcik G, Ilharco G, Osang GF, Bulian J, Frank J, Smaira L, Cao Q,
Marino R, Patel R, Leung T, Imbrasaite V. 2021. Recognizing multimodal entailment.
59th Annual Meeting of the Association for Computational Linguistics and the 11th
International Joint Conference on Natural Language Processing, Tutorial Abstracts.
ACL: Association for Computational Linguistics ; IJCNLP: International Joint Conference
on Natural Language Processing, 29–30.'
mla: Ilharco, Cesar, et al. “Recognizing Multimodal Entailment.” 59th Annual
Meeting of the Association for Computational Linguistics and the 11th International
Joint Conference on Natural Language Processing, Tutorial Abstracts, Association
for Computational Linguistics, 2021, pp. 29–30, doi:10.18653/v1/2021.acl-tutorials.6.
short: C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler,
C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L.
Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual
Meeting of the Association for Computational Linguistics and the 11th International
Joint Conference on Natural Language Processing, Tutorial Abstracts, Association
for Computational Linguistics, 2021, pp. 29–30.
conference:
end_date: 2021-08-06
location: Bangkok, Thailand
name: 'ACL: Association for Computational Linguistics ; IJCNLP: International Joint
Conference on Natural Language Processing'
start_date: 2021-08-01
date_created: 2021-11-28T23:01:30Z
date_published: 2021-08-01T00:00:00Z
date_updated: 2022-01-26T14:26:36Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.18653/v1/2021.acl-tutorials.6
file:
- access_level: open_access
checksum: b14052a025a6ecf675bdfe51db98c0d7
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-29T08:41:00Z
date_updated: 2021-11-29T08:41:00Z
file_id: '10368'
file_name: 2021_ACL_Ilharco.pdf
file_size: 1227703
relation: main_file
success: 1
file_date_updated: 2021-11-29T08:41:00Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://aclanthology.org/2021.acl-tutorials.6/
month: '08'
oa: 1
oa_version: Published Version
page: 29-30
publication: 59th Annual Meeting of the Association for Computational Linguistics
and the 11th International Joint Conference on Natural Language Processing, Tutorial
Abstracts
publication_identifier:
isbn:
- 9-781-9540-8557-2
publication_status: published
publisher: Association for Computational Linguistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Recognizing multimodal entailment
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '17577'
abstract:
- lang: eng
text: 'The Legacy Survey of Space and Time (LSST) by the Vera C. Rubin Observatory
is expected to discover tens of millions of quasars. A significant fraction of
these could be powered by coalescing massive black hole (MBH) binaries, since
many quasars are believed to be triggered by mergers. We show that under plausible
assumptions about the luminosity functions, lifetimes, and binary fractions of
quasars, we expect the full LSST quasar catalogue to contain between 20 and 100
million compact MBH binaries with masses M = 105–9M⊙, redshifts z = 0–6, and orbital
periods P = 1–70 d. Their light-curves are expected to be distinctly periodic,
which can be confidently distinguished from stochastic red-noise variability,
because LSST will cover dozens, or even hundreds of cycles. A very small subset
of 10–150 ultracompact (P ≲ 1 d) binary quasars among these will, over ∼5–15 yr,
evolve into the mHz gravitational-wave frequency band and can be detected by LISA.
They can therefore be regarded as ‘LISA verification binaries’, analogous to short-period
Galactic compact-object binaries. The practical question is how to find these
handful of ‘needles in the haystack’ among the large number of quasars: this will
likely require a tailored co-adding analysis optimized for this purpose.'
article_processing_charge: No
article_type: original
author:
- first_name: Chengcheng
full_name: Xin, Chengcheng
last_name: Xin
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Xin C, Haiman Z. Ultra-short-period massive black hole binary candidates in
LSST as LISA ‘verification binaries.’ Monthly Notices of the Royal Astronomical
Society. 2021;506(2):2408-2417. doi:10.1093/mnras/stab1856
apa: Xin, C., & Haiman, Z. (2021). Ultra-short-period massive black hole binary
candidates in LSST as LISA ‘verification binaries.’ Monthly Notices of the
Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stab1856
chicago: Xin, Chengcheng, and Zoltán Haiman. “Ultra-Short-Period Massive Black Hole
Binary Candidates in LSST as LISA ‘Verification Binaries.’” Monthly Notices
of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab1856.
ieee: C. Xin and Z. Haiman, “Ultra-short-period massive black hole binary candidates
in LSST as LISA ‘verification binaries,’” Monthly Notices of the Royal Astronomical
Society, vol. 506, no. 2. Oxford University Press, pp. 2408–2417, 2021.
ista: Xin C, Haiman Z. 2021. Ultra-short-period massive black hole binary candidates
in LSST as LISA ‘verification binaries’. Monthly Notices of the Royal Astronomical
Society. 506(2), 2408–2417.
mla: Xin, Chengcheng, and Zoltán Haiman. “Ultra-Short-Period Massive Black Hole
Binary Candidates in LSST as LISA ‘Verification Binaries.’” Monthly Notices
of the Royal Astronomical Society, vol. 506, no. 2, Oxford University Press,
2021, pp. 2408–17, doi:10.1093/mnras/stab1856.
short: C. Xin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506
(2021) 2408–2417.
date_created: 2024-09-05T12:19:58Z
date_published: 2021-07-05T00:00:00Z
date_updated: 2024-09-19T08:07:41Z
day: '05'
doi: 10.1093/mnras/stab1856
extern: '1'
intvolume: ' 506'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stab1856
month: '07'
oa: 1
oa_version: Published Version
page: 2408-2417
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ultra-short-period massive black hole binary candidates in LSST as LISA ‘verification
binaries’
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 506
year: '2021'
...
---
_id: '17578'
abstract:
- lang: eng
text: "If primordial black holes (PBHs) seeded the supermassive black holes (SMBHs)
at the centers of high-redshift quasars, then the gas surrounding these black
holes may reveal nucleosynthetic clues to their primordial origins. We present
predictions of altered primordial abundances around PBHs massive enough to seed
SMBHs at \U0001D467≈6–7.5. We find that if PBHs with initial masses of ∼105 M⊙
are responsible for such SMBHs, they may produce primordial deuterium and Helium
fractions enhanced by ≥10%, and lithium abundance depleted by ≥10%, at distances
of up to ≈ a comoving kiloparsec away from the black hole after decoupling. We
estimate that ∼108 M⊙ of gas is enhanced (or depleted) by at least one percent.
Evidence of these modified primordial deuterium, helium, and lithium abundances
could still be present if this circum-PBH gas remains unaccreted by the SMBH and
in or near the host galaxies of high-redshift quasars. Measuring the abundance
anomalies will be challenging, but could offer a novel way to reveal the primordial
origin of such SMBH seeds."
article_number: '103022'
article_processing_charge: No
article_type: original
author:
- first_name: Phoebe Upton
full_name: Sanderbeck, Phoebe Upton
last_name: Sanderbeck
- first_name: Simeon
full_name: Bird, Simeon
last_name: Bird
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Sanderbeck PU, Bird S, Haiman Z. Nucleosynthetic signatures of primordial origin
around supermassive black holes. Physical Review D. 2021;104(10). doi:10.1103/physrevd.104.103022
apa: Sanderbeck, P. U., Bird, S., & Haiman, Z. (2021). Nucleosynthetic signatures
of primordial origin around supermassive black holes. Physical Review D.
American Physical Society. https://doi.org/10.1103/physrevd.104.103022
chicago: Sanderbeck, Phoebe Upton, Simeon Bird, and Zoltán Haiman. “Nucleosynthetic
Signatures of Primordial Origin around Supermassive Black Holes.” Physical
Review D. American Physical Society, 2021. https://doi.org/10.1103/physrevd.104.103022.
ieee: P. U. Sanderbeck, S. Bird, and Z. Haiman, “Nucleosynthetic signatures of primordial
origin around supermassive black holes,” Physical Review D, vol. 104, no.
10. American Physical Society, 2021.
ista: Sanderbeck PU, Bird S, Haiman Z. 2021. Nucleosynthetic signatures of primordial
origin around supermassive black holes. Physical Review D. 104(10), 103022.
mla: Sanderbeck, Phoebe Upton, et al. “Nucleosynthetic Signatures of Primordial
Origin around Supermassive Black Holes.” Physical Review D, vol. 104, no.
10, 103022, American Physical Society, 2021, doi:10.1103/physrevd.104.103022.
short: P.U. Sanderbeck, S. Bird, Z. Haiman, Physical Review D 104 (2021).
date_created: 2024-09-05T12:20:50Z
date_published: 2021-11-17T00:00:00Z
date_updated: 2024-09-19T08:12:35Z
day: '17'
doi: 10.1103/physrevd.104.103022
extern: '1'
intvolume: ' 104'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1103/physrevd.104.103022
month: '11'
oa: 1
oa_version: Published Version
publication: Physical Review D
publication_identifier:
issn:
- 2470-0010
- 2470-0029
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nucleosynthetic signatures of primordial origin around supermassive black holes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 104
year: '2021'
...
---
OA_place: repository
OA_type: green
_id: '17592'
abstract:
- lang: eng
text: Using high-resolution hydrodynamics simulations, we show that equal-mass binaries
accreting from a circumbinary disk evolve toward an orbital eccentricity of e
≃ 0.45, unless they are initialized on a nearly circular orbit with e ≲ 0.08,
in which case they further circularize. The implied bi-modal eccentricity distribution
resembles that seen in post-AGB stellar binaries. Large accretion spikes around
periapse impart a tell-tale, quasiperiodic, bursty signature on the light curves
of eccentric binaries. We predict that intermediate-mass and massive black hole
binaries at z ≲ 10 entering the LISA band will have measurable eccentricities
in the range of e ≃ 10−3 − 10−2, if they have experienced a gas-driven phase.
On the other hand, GW190521 would have entered the LIGO/Virgo band with undetectable
eccentricity ∼10−6 if it had been driven into the gravitational-wave regime by
a gas disk.
article_number: L13
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jonathan
full_name: Zrake, Jonathan
last_name: Zrake
- first_name: Christopher
full_name: Tiede, Christopher
last_name: Tiede
- first_name: Andrew
full_name: MacFadyen, Andrew
last_name: MacFadyen
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
orcid: 0000-0003-3633-5403
citation:
ama: Zrake J, Tiede C, MacFadyen A, Haiman Z. Equilibrium eccentricity of accreting
binaries. The Astrophysical Journal Letters. 2021;909(1). doi:10.3847/2041-8213/abdd1c
apa: Zrake, J., Tiede, C., MacFadyen, A., & Haiman, Z. (2021). Equilibrium eccentricity
of accreting binaries. The Astrophysical Journal Letters. American Astronomical
Society. https://doi.org/10.3847/2041-8213/abdd1c
chicago: Zrake, Jonathan, Christopher Tiede, Andrew MacFadyen, and Zoltán Haiman.
“Equilibrium Eccentricity of Accreting Binaries.” The Astrophysical Journal
Letters. American Astronomical Society, 2021. https://doi.org/10.3847/2041-8213/abdd1c.
ieee: J. Zrake, C. Tiede, A. MacFadyen, and Z. Haiman, “Equilibrium eccentricity
of accreting binaries,” The Astrophysical Journal Letters, vol. 909, no.
1. American Astronomical Society, 2021.
ista: Zrake J, Tiede C, MacFadyen A, Haiman Z. 2021. Equilibrium eccentricity of
accreting binaries. The Astrophysical Journal Letters. 909(1), L13.
mla: Zrake, Jonathan, et al. “Equilibrium Eccentricity of Accreting Binaries.” The
Astrophysical Journal Letters, vol. 909, no. 1, L13, American Astronomical
Society, 2021, doi:10.3847/2041-8213/abdd1c.
short: J. Zrake, C. Tiede, A. MacFadyen, Z. Haiman, The Astrophysical Journal Letters
909 (2021).
date_created: 2024-09-05T12:39:13Z
date_published: 2021-03-03T00:00:00Z
date_updated: 2025-01-03T11:32:01Z
day: '03'
doi: 10.3847/2041-8213/abdd1c
extern: '1'
external_id:
arxiv:
- '2010.09707'
intvolume: ' 909'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2010.09707
month: '03'
oa: 1
oa_version: Preprint
publication: The Astrophysical Journal Letters
publication_identifier:
eissn:
- 2041-8213
issn:
- 2041-8205
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Equilibrium eccentricity of accreting binaries
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 909
year: '2021'
...
---
_id: '17593'
abstract:
- lang: eng
text: The science objectives of the LISA mission have been defined under the implicit
assumption of a 4-years continuous data stream. Based on the performance of LISA
Pathfinder, it is now expected that LISA will have a duty cycle of ≈0.75 , which
would reduce the effective span of usable data to 3 years. This paper reports
the results of a study by the LISA Science Group, which was charged with assessing
the additional science return of increasing the mission lifetime. We explore various
observational scenarios to assess the impact of mission duration on the main science
objectives of the mission. We find that the science investigations most affected
by mission duration concern the search for seed black holes at cosmic dawn, as
well as the study of stellar-origin black holes and of their formation channels
via multi-band and multi-messenger observations. We conclude that an extension
to 6 years of mission operations is recommended.
article_number: '3'
article_processing_charge: No
article_type: original
author:
- first_name: Pau
full_name: Amaro Seoane, Pau
last_name: Amaro Seoane
- first_name: Manuel
full_name: Arca Sedda, Manuel
last_name: Arca Sedda
- first_name: Stanislav
full_name: Babak, Stanislav
last_name: Babak
- first_name: Christopher P. L.
full_name: Berry, Christopher P. L.
last_name: Berry
- first_name: Emanuele
full_name: Berti, Emanuele
last_name: Berti
- first_name: Gianfranco
full_name: Bertone, Gianfranco
last_name: Bertone
- first_name: Diego
full_name: Blas, Diego
last_name: Blas
- first_name: Tamara
full_name: Bogdanović, Tamara
last_name: Bogdanović
- first_name: Matteo
full_name: Bonetti, Matteo
last_name: Bonetti
- first_name: Katelyn
full_name: Breivik, Katelyn
last_name: Breivik
- first_name: Richard
full_name: Brito, Richard
last_name: Brito
- first_name: Robert
full_name: Caldwell, Robert
last_name: Caldwell
- first_name: Pedro R.
full_name: Capelo, Pedro R.
last_name: Capelo
- first_name: Chiara
full_name: Caprini, Chiara
last_name: Caprini
- first_name: Vitor
full_name: Cardoso, Vitor
last_name: Cardoso
- first_name: Zack
full_name: Carson, Zack
last_name: Carson
- first_name: Hsin-Yu
full_name: Chen, Hsin-Yu
last_name: Chen
- first_name: Alvin J. K.
full_name: Chua, Alvin J. K.
last_name: Chua
- first_name: Irina
full_name: Dvorkin, Irina
last_name: Dvorkin
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Lavinia
full_name: Heisenberg, Lavinia
last_name: Heisenberg
- first_name: Maximiliano
full_name: Isi, Maximiliano
last_name: Isi
- first_name: Nikolaos
full_name: Karnesis, Nikolaos
last_name: Karnesis
- first_name: Bradley J.
full_name: Kavanagh, Bradley J.
last_name: Kavanagh
- first_name: Tyson B.
full_name: Littenberg, Tyson B.
last_name: Littenberg
- first_name: Alberto
full_name: Mangiagli, Alberto
last_name: Mangiagli
- first_name: Paolo
full_name: Marcoccia, Paolo
last_name: Marcoccia
- first_name: Andrea
full_name: Maselli, Andrea
last_name: Maselli
- first_name: Germano
full_name: Nardini, Germano
last_name: Nardini
- first_name: Paolo
full_name: Pani, Paolo
last_name: Pani
- first_name: Marco
full_name: Peloso, Marco
last_name: Peloso
- first_name: Mauro
full_name: Pieroni, Mauro
last_name: Pieroni
- first_name: Angelo
full_name: Ricciardone, Angelo
last_name: Ricciardone
- first_name: Alberto
full_name: Sesana, Alberto
last_name: Sesana
- first_name: Nicola
full_name: Tamanini, Nicola
last_name: Tamanini
- first_name: Alexandre
full_name: Toubiana, Alexandre
last_name: Toubiana
- first_name: Rosa
full_name: Valiante, Rosa
last_name: Valiante
- first_name: Stamatis
full_name: Vretinaris, Stamatis
last_name: Vretinaris
- first_name: David J.
full_name: Weir, David J.
last_name: Weir
- first_name: Kent
full_name: Yagi, Kent
last_name: Yagi
- first_name: Aaron
full_name: Zimmerman, Aaron
last_name: Zimmerman
citation:
ama: Amaro Seoane P, Arca Sedda M, Babak S, et al. The effect of mission duration
on LISA science objectives. General Relativity and Gravitation. 2021;54(1).
doi:10.1007/s10714-021-02889-x
apa: Amaro Seoane, P., Arca Sedda, M., Babak, S., Berry, C. P. L., Berti, E., Bertone,
G., … Zimmerman, A. (2021). The effect of mission duration on LISA science objectives.
General Relativity and Gravitation. Springer Science and Business Media
LLC. https://doi.org/10.1007/s10714-021-02889-x
chicago: Amaro Seoane, Pau, Manuel Arca Sedda, Stanislav Babak, Christopher P. L.
Berry, Emanuele Berti, Gianfranco Bertone, Diego Blas, et al. “The Effect of Mission
Duration on LISA Science Objectives.” General Relativity and Gravitation.
Springer Science and Business Media LLC, 2021. https://doi.org/10.1007/s10714-021-02889-x.
ieee: P. Amaro Seoane et al., “The effect of mission duration on LISA science
objectives,” General Relativity and Gravitation, vol. 54, no. 1. Springer
Science and Business Media LLC, 2021.
ista: Amaro Seoane P, Arca Sedda M, Babak S, Berry CPL, Berti E, Bertone G, Blas
D, Bogdanović T, Bonetti M, Breivik K, Brito R, Caldwell R, Capelo PR, Caprini
C, Cardoso V, Carson Z, Chen H-Y, Chua AJK, Dvorkin I, Haiman Z, Heisenberg L,
Isi M, Karnesis N, Kavanagh BJ, Littenberg TB, Mangiagli A, Marcoccia P, Maselli
A, Nardini G, Pani P, Peloso M, Pieroni M, Ricciardone A, Sesana A, Tamanini N,
Toubiana A, Valiante R, Vretinaris S, Weir DJ, Yagi K, Zimmerman A. 2021. The
effect of mission duration on LISA science objectives. General Relativity and
Gravitation. 54(1), 3.
mla: Amaro Seoane, Pau, et al. “The Effect of Mission Duration on LISA Science Objectives.”
General Relativity and Gravitation, vol. 54, no. 1, 3, Springer Science
and Business Media LLC, 2021, doi:10.1007/s10714-021-02889-x.
short: P. Amaro Seoane, M. Arca Sedda, S. Babak, C.P.L. Berry, E. Berti, G. Bertone,
D. Blas, T. Bogdanović, M. Bonetti, K. Breivik, R. Brito, R. Caldwell, P.R. Capelo,
C. Caprini, V. Cardoso, Z. Carson, H.-Y. Chen, A.J.K. Chua, I. Dvorkin, Z. Haiman,
L. Heisenberg, M. Isi, N. Karnesis, B.J. Kavanagh, T.B. Littenberg, A. Mangiagli,
P. Marcoccia, A. Maselli, G. Nardini, P. Pani, M. Peloso, M. Pieroni, A. Ricciardone,
A. Sesana, N. Tamanini, A. Toubiana, R. Valiante, S. Vretinaris, D.J. Weir, K.
Yagi, A. Zimmerman, General Relativity and Gravitation 54 (2021).
date_created: 2024-09-05T12:40:14Z
date_published: 2021-12-27T00:00:00Z
date_updated: 2024-09-23T12:32:50Z
day: '27'
doi: 10.1007/s10714-021-02889-x
extern: '1'
intvolume: ' 54'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/s10714-021-02889-x
month: '12'
oa: 1
oa_version: Published Version
publication: General Relativity and Gravitation
publication_identifier:
issn:
- 0001-7701
- 1572-9532
publication_status: published
publisher: Springer Science and Business Media LLC
quality_controlled: '1'
scopus_import: '1'
status: public
title: The effect of mission duration on LISA science objectives
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 54
year: '2021'
...
---
_id: '17610'
abstract:
- lang: eng
text: 'The presence of massive black holes (BHs) with masses of order 109M⊙, powering
bright quasars when the Universe was less than 1 Gyr old, poses strong constraints
on their formation mechanism. Several scenarios have been proposed to date to
explain massive BH formation, from the low-mass seed BH remnants of the first
generation of stars to the massive seed BHs resulting from the rapid collapse
of massive gas clouds. However, the plausibility of some of these scenarios to
occur within the progenitors of high-z quasars has not yet been thoroughly explored.
In this work, we investigate, by combining dark-matter only N-body simulations
with a semi-analytic framework, whether the conditions for the formation of massive
seed BHs from synchronised atomic-cooling halo pairs and/or dynamically-heated
mini-haloes are fulfilled in the overdense regions where the progenitors of a
typical high-redshift quasar host form and evolve. Our analysis shows that the
peculiar conditions in such regions, i.e. strong halo clustering and high star
formation rates, are crucial to produce a non-negligible number of massive seed
BH host candidates: we find ≈1400 dynamically heated metal-free mini-haloes, including
one of these which evolves to a synchronised pair and ends up in the massive quasar-host
halo by z=6. This demonstrates that the progenitors of high-redshift quasar host
haloes can harbour early massive seed BHs. Our results further suggest that multiple
massive seed BHs may form in or near the quasar host''s progenitors, potentially
merging at lower redshifts and yielding gravitational wave events.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Alessandro
full_name: Lupi, Alessandro
last_name: Lupi
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Marta
full_name: Volonteri, Marta
last_name: Volonteri
citation:
ama: Lupi A, Haiman Z, Volonteri M. Forming massive seed black holes in high-redshift
quasar host progenitors. Monthly Notices of the Royal Astronomical Society.
2021;503(4):5046-5060. doi:10.1093/mnras/stab692
apa: Lupi, A., Haiman, Z., & Volonteri, M. (2021). Forming massive seed black
holes in high-redshift quasar host progenitors. Monthly Notices of the Royal
Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stab692
chicago: Lupi, Alessandro, Zoltán Haiman, and Marta Volonteri. “Forming Massive
Seed Black Holes in High-Redshift Quasar Host Progenitors.” Monthly Notices
of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab692.
ieee: A. Lupi, Z. Haiman, and M. Volonteri, “Forming massive seed black holes in
high-redshift quasar host progenitors,” Monthly Notices of the Royal Astronomical
Society, vol. 503, no. 4. Oxford University Press, pp. 5046–5060, 2021.
ista: Lupi A, Haiman Z, Volonteri M. 2021. Forming massive seed black holes in high-redshift
quasar host progenitors. Monthly Notices of the Royal Astronomical Society. 503(4),
5046–5060.
mla: Lupi, Alessandro, et al. “Forming Massive Seed Black Holes in High-Redshift
Quasar Host Progenitors.” Monthly Notices of the Royal Astronomical Society,
vol. 503, no. 4, Oxford University Press, 2021, pp. 5046–60, doi:10.1093/mnras/stab692.
short: A. Lupi, Z. Haiman, M. Volonteri, Monthly Notices of the Royal Astronomical
Society 503 (2021) 5046–5060.
date_created: 2024-09-05T13:22:23Z
date_published: 2021-03-24T00:00:00Z
date_updated: 2024-09-23T14:49:49Z
day: '24'
doi: 10.1093/mnras/stab692
extern: '1'
external_id:
arxiv:
- '2102.05051'
intvolume: ' 503'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2102.05051'
month: '03'
oa: 1
oa_version: Preprint
page: 5046-5060
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Forming massive seed black holes in high-redshift quasar host progenitors
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 503
year: '2021'
...
---
_id: '7941'
abstract:
- lang: eng
text: Expansion microscopy is a recently developed super-resolution imaging technique,
which provides an alternative to optics-based methods such as deterministic approaches
(e.g. STED) or stochastic approaches (e.g. PALM/STORM). The idea behind expansion
microscopy is to embed the biological sample in a swellable gel, and then to expand
it isotropically, thereby increasing the distance between the fluorophores. This
approach breaks the diffraction barrier by simply separating the emission point-spread-functions
of the fluorophores. The resolution attainable in expansion microscopy is thus
directly dependent on the separation that can be achieved, i.e. on the expansion
factor. The original implementation of the technique achieved an expansion factor
of fourfold, for a resolution of 70–80 nm. The subsequently developed X10 method
achieves an expansion factor of 10-fold, for a resolution of 25–30 nm. This technique
can be implemented with minimal technical requirements on any standard fluorescence
microscope, and is more easily applied for multi-color imaging than either deterministic
or stochastic super-resolution approaches. This renders X10 expansion microscopy
a highly promising tool for new biological discoveries, as discussed here, and
as demonstrated by several recent applications.
article_processing_charge: No
author:
- first_name: Sven M
full_name: Truckenbrodt, Sven M
id: 45812BD4-F248-11E8-B48F-1D18A9856A87
last_name: Truckenbrodt
- first_name: Silvio O.
full_name: Rizzoli, Silvio O.
last_name: Rizzoli
citation:
ama: 'Truckenbrodt SM, Rizzoli SO. Simple multi-color super-resolution by X10 microscopy.
In: Methods in Cell Biology. Vol 161. Elsevier; 2021:33-56. doi:10.1016/bs.mcb.2020.04.016'
apa: Truckenbrodt, S. M., & Rizzoli, S. O. (2021). Simple multi-color super-resolution
by X10 microscopy. In Methods in Cell Biology (Vol. 161, pp. 33–56). Elsevier.
https://doi.org/10.1016/bs.mcb.2020.04.016
chicago: Truckenbrodt, Sven M, and Silvio O. Rizzoli. “Simple Multi-Color Super-Resolution
by X10 Microscopy.” In Methods in Cell Biology, 161:33–56. Elsevier, 2021.
https://doi.org/10.1016/bs.mcb.2020.04.016.
ieee: S. M. Truckenbrodt and S. O. Rizzoli, “Simple multi-color super-resolution
by X10 microscopy,” in Methods in Cell Biology, vol. 161, Elsevier, 2021,
pp. 33–56.
ista: 'Truckenbrodt SM, Rizzoli SO. 2021.Simple multi-color super-resolution by
X10 microscopy. In: Methods in Cell Biology. vol. 161, 33–56.'
mla: Truckenbrodt, Sven M., and Silvio O. Rizzoli. “Simple Multi-Color Super-Resolution
by X10 Microscopy.” Methods in Cell Biology, vol. 161, Elsevier, 2021,
pp. 33–56, doi:10.1016/bs.mcb.2020.04.016.
short: S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier,
2021, pp. 33–56.
corr_author: '1'
date_created: 2020-06-07T22:00:55Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2024-10-09T20:59:36Z
day: '01'
department:
- _id: JoDa
doi: 10.1016/bs.mcb.2020.04.016
external_id:
pmid:
- '33478696'
intvolume: ' 161'
language:
- iso: eng
month: '01'
oa_version: None
page: 33-56
pmid: 1
publication: Methods in Cell Biology
publication_identifier:
isbn:
- 978012820807-6
issn:
- 0091-679X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Simple multi-color super-resolution by X10 microscopy
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 161
year: '2021'
...
---
_id: '8757'
abstract:
- lang: eng
text: Traditional scientific conferences and seminar events have been hugely disrupted
by the COVID-19 pandemic, paving the way for virtual forms of scientific communication
to take hold and be put to the test.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Panagiotis
full_name: Bozelos, Panagiotis
id: 52e9c652-2982-11eb-81d4-b43d94c63700
last_name: Bozelos
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
citation:
ama: Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience.
2021;22(1):1-2. doi:10.1038/s41583-020-00408-6
apa: Bozelos, P., & Vogels, T. P. (2021). Talking science, online. Nature
Reviews Neuroscience. Springer Nature. https://doi.org/10.1038/s41583-020-00408-6
chicago: Bozelos, Panagiotis, and Tim P Vogels. “Talking Science, Online.” Nature
Reviews Neuroscience. Springer Nature, 2021. https://doi.org/10.1038/s41583-020-00408-6.
ieee: P. Bozelos and T. P. Vogels, “Talking science, online,” Nature Reviews
Neuroscience, vol. 22, no. 1. Springer Nature, pp. 1–2, 2021.
ista: Bozelos P, Vogels TP. 2021. Talking science, online. Nature Reviews Neuroscience.
22(1), 1–2.
mla: Bozelos, Panagiotis, and Tim P. Vogels. “Talking Science, Online.” Nature
Reviews Neuroscience, vol. 22, no. 1, Springer Nature, 2021, pp. 1–2, doi:10.1038/s41583-020-00408-6.
short: P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
date_created: 2020-11-15T23:01:18Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2025-07-10T12:01:24Z
day: '01'
ddc:
- '570'
department:
- _id: TiVo
doi: 10.1038/s41583-020-00408-6
external_id:
isi:
- '000588256300001'
pmid:
- '33173190'
file:
- access_level: open_access
checksum: 7985d7dff94c086e35b94a911d78d9ad
content_type: application/pdf
creator: dernst
date_created: 2021-02-04T10:34:22Z
date_updated: 2021-02-04T10:34:22Z
file_id: '9088'
file_name: 2021_NatureNeuroScience_Bozelos.pdf
file_size: 683634
relation: main_file
success: 1
file_date_updated: 2021-02-04T10:34:22Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 1-2
pmid: 1
publication: Nature Reviews Neuroscience
publication_identifier:
eissn:
- 1471-0048
issn:
- 1471-003X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Talking science, online
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 22
year: '2021'
...
---
_id: '9912'
abstract:
- lang: eng
text: "In the customary random matrix model for transport in quantum dots with M
internal degrees of freedom coupled to a chaotic environment via \U0001D441≪\U0001D440
channels, the density \U0001D70C of transmission eigenvalues is computed from
a specific invariant ensemble for which explicit formula for the joint probability
density of all eigenvalues is available. We revisit this problem in the large
N regime allowing for (i) arbitrary ratio \U0001D719:=\U0001D441/\U0001D440≤1;
and (ii) general distributions for the matrix elements of the Hamiltonian of the
quantum dot. In the limit \U0001D719→0, we recover the formula for the density
\U0001D70C that Beenakker (Rev Mod Phys 69:731–808, 1997) has derived for a special
matrix ensemble. We also prove that the inverse square root singularity of the
density at zero and full transmission in Beenakker’s formula persists for any
\U0001D719<1 but in the borderline case \U0001D719=1 an anomalous \U0001D706−2/3
singularity arises at zero. To access this level of generality, we develop the
theory of global and local laws on the spectral density of a large class of noncommutative
rational expressions in large random matrices with i.i.d. entries."
acknowledgement: The authors are very grateful to Yan Fyodorov for discussions on
the physical background and for providing references, and to the anonymous referee
for numerous valuable remarks.
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
- first_name: Yuriy
full_name: Nemish, Yuriy
id: 4D902E6A-F248-11E8-B48F-1D18A9856A87
last_name: Nemish
orcid: 0000-0002-7327-856X
citation:
ama: Erdös L, Krüger TH, Nemish Y. Scattering in quantum dots via noncommutative
rational functions. Annales Henri Poincaré . 2021;22:4205–4269. doi:10.1007/s00023-021-01085-6
apa: Erdös, L., Krüger, T. H., & Nemish, Y. (2021). Scattering in quantum dots
via noncommutative rational functions. Annales Henri Poincaré . Springer
Nature. https://doi.org/10.1007/s00023-021-01085-6
chicago: Erdös, László, Torben H Krüger, and Yuriy Nemish. “Scattering in Quantum
Dots via Noncommutative Rational Functions.” Annales Henri Poincaré . Springer
Nature, 2021. https://doi.org/10.1007/s00023-021-01085-6.
ieee: L. Erdös, T. H. Krüger, and Y. Nemish, “Scattering in quantum dots via noncommutative
rational functions,” Annales Henri Poincaré , vol. 22. Springer Nature,
pp. 4205–4269, 2021.
ista: Erdös L, Krüger TH, Nemish Y. 2021. Scattering in quantum dots via noncommutative
rational functions. Annales Henri Poincaré . 22, 4205–4269.
mla: Erdös, László, et al. “Scattering in Quantum Dots via Noncommutative Rational
Functions.” Annales Henri Poincaré , vol. 22, Springer Nature, 2021, pp.
4205–4269, doi:10.1007/s00023-021-01085-6.
short: L. Erdös, T.H. Krüger, Y. Nemish, Annales Henri Poincaré 22 (2021) 4205–4269.
date_created: 2021-08-15T22:01:29Z
date_published: 2021-12-01T00:00:00Z
date_updated: 2025-04-15T08:04:59Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1007/s00023-021-01085-6
ec_funded: 1
external_id:
arxiv:
- '1911.05112'
isi:
- '000681531500001'
file:
- access_level: open_access
checksum: 8d6bac0e2b0a28539608b0538a8e3b38
content_type: application/pdf
creator: dernst
date_created: 2022-05-12T12:50:27Z
date_updated: 2022-05-12T12:50:27Z
file_id: '11365'
file_name: 2021_AnnHenriPoincare_Erdoes.pdf
file_size: 1162454
relation: main_file
success: 1
file_date_updated: 2022-05-12T12:50:27Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 4205–4269
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: 'Annales Henri Poincaré '
publication_identifier:
eissn:
- 1424-0661
issn:
- 1424-0637
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Scattering in quantum dots via noncommutative rational functions
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: 22
year: '2021'
...
---
_id: '10414'
abstract:
- lang: eng
text: 'We consider the almost-sure (a.s.) termination problem for probabilistic
programs, which are a stochastic extension of classical imperative programs. Lexicographic
ranking functions provide a sound and practical approach for termination of non-probabilistic
programs, and their extension to probabilistic programs is achieved via lexicographic
ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous
work have a limitation that impedes their automation: all of their components
have to be non-negative in all reachable states. This might result in LexRSM not
existing even for simple terminating programs. Our contributions are twofold:
First, we introduce a generalization of LexRSMs which allows for some components
to be negative. This standard feature of non-probabilistic termination proofs
was hitherto not known to be sound in the probabilistic setting, as the soundness
proof requires a careful analysis of the underlying stochastic process. Second,
we present polynomial-time algorithms using our generalized LexRSMs for proving
a.s. termination in broad classes of linear-arithmetic programs.'
acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt),
the Czech Science Foundation grant No. GJ19-15134Y, and the European Union’s Horizon
2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement
No. 665385.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ehsan
full_name: Kafshdar Goharshadi, Ehsan
id: 103b4fa0-896a-11ed-bdf8-87b697bef40d
last_name: Kafshdar Goharshadi
orcid: 0000-0002-8595-0587
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Jiří
full_name: Zárevúcky, Jiří
last_name: Zárevúcky
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Chatterjee K, Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic
proof rules for probabilistic termination. In: 24th International Symposium
on Formal Methods. Vol 13047. Springer Nature; 2021:619-639. doi:10.1007/978-3-030-90870-6_33'
apa: 'Chatterjee, K., Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic,
D. (2021). On lexicographic proof rules for probabilistic termination. In 24th
International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual:
Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33'
chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, Jiří Zárevúcky,
and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”
In 24th International Symposium on Formal Methods, 13047:619–39. Springer
Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
ieee: K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On
lexicographic proof rules for probabilistic termination,” in 24th International
Symposium on Formal Methods, Virtual, 2021, vol. 13047, pp. 619–639.
ista: 'Chatterjee K, Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic
proof rules for probabilistic termination. 24th International Symposium on Formal
Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.'
mla: Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic
Termination.” 24th International Symposium on Formal Methods, vol. 13047,
Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
short: K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:,
24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
conference:
end_date: 2021-11-26
location: Virtual
name: 'FM: Formal Methods'
start_date: 2021-11-20
date_created: 2021-12-05T23:01:45Z
date_published: 2021-11-10T00:00:00Z
date_updated: 2026-04-07T13:27:55Z
day: '10'
department:
- _id: KrCh
doi: 10.1007/978-3-030-90870-6_33
ec_funded: 1
external_id:
arxiv:
- '2108.02188'
isi:
- '000758218600033'
intvolume: ' 13047'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2108.02188
month: '11'
oa: 1
oa_version: Preprint
page: 619-639
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: 24th International Symposium on Formal Methods
publication_identifier:
eisbn:
- 978-3-030-90870-6
eissn:
- 1611-3349
isbn:
- 9-783-0309-0869-0
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '14778'
relation: later_version
status: public
- id: '14539'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: On lexicographic proof rules for probabilistic termination
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13047
year: '2021'
...
---
_id: '9969'
abstract:
- lang: eng
text: 'Payment channel networks are a promising approach to improve the scalability
of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion,
along multihop routes in the network, without requiring consensus on the blockchain.
However, during the discovery of cost-efficient routes for the transaction, critical
information may be revealed about the transacting entities. This paper initiates
the study of privacy-preserving route discovery mechanisms for payment channel
networks. In particular, we present LightPIR, an approach which allows a client
to learn the shortest (or cheapest in terms of fees) path between two nodes without
revealing any information about the endpoints of the transaction to the servers.
The two main observations which allow for an efficient solution in LightPIR are
that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess
“street network like” graphs so one can later efficiently compute shortest paths
– also perform well for the graphs underlying payment channel networks, and that
(2) hub labelling algorithms can be conveniently combined with private information
retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing
hub labeling algorithms which leverages the specific topological features of cryptocurrency
networks to further minimize storage and bandwidth overheads. In a case study
considering the Lightning network, we show that our approach is an order of magnitude
more efficient compared to a privacy-preserving baseline based on using private
information retrieval on a database that stores all pairs shortest paths.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
- first_name: Iosif
full_name: Salem, Iosif
last_name: Salem
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Michelle X
full_name: Yeo, Michelle X
id: 2D82B818-F248-11E8-B48F-1D18A9856A87
last_name: Yeo
orcid: 0009-0001-3676-4809
citation:
ama: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route
discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205'
apa: 'Pietrzak, K. Z., Salem, I., Schmid, S., & Yeo, M. X. (2021). LightPIR:
Privacy-preserving route discovery for payment channel networks. Presented at
the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland:
IEEE. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205'
chicago: 'Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo.
“LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE,
2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.'
ieee: 'K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving
route discovery for payment channel networks,” presented at the 2021 IFIP Networking
Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.'
ista: 'Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving
route discovery for payment channel networks. 2021 IFIP Networking Conference
(IFIP Networking).'
mla: 'Pietrzak, Krzysztof Z., et al. LightPIR: Privacy-Preserving Route Discovery
for Payment Channel Networks. IEEE, 2021, doi:10.23919/IFIPNetworking52078.2021.9472205.'
short: K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
conference:
end_date: 2021-06-24
location: Espoo and Helsinki, Finland
name: 2021 IFIP Networking Conference (IFIP Networking)
start_date: 2021-06-21
date_created: 2021-08-29T22:01:16Z
date_published: 2021-06-21T00:00:00Z
date_updated: 2026-04-07T13:29:44Z
day: '21'
department:
- _id: KrPi
doi: 10.23919/IFIPNetworking52078.2021.9472205
ec_funded: 1
external_id:
arxiv:
- '2104.04293'
isi:
- '000853016800008'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.04293
month: '06'
oa: 1
oa_version: Submitted Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_identifier:
eisbn:
- 978-3-9031-7639-3
eissn:
- 1861-2288
isbn:
- 978-1-6654-4501-6
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
record:
- id: '14506'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'LightPIR: Privacy-preserving route discovery for payment channel networks'
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...