---
_id: '13071'
abstract:
- lang: eng
text: This dataset comprises all data shown in the plots of the main part of the
submitted article "Bidirectional Electro-Optic Wavelength Conversion in the Quantum
Ground State". Additional raw data are available from the corresponding author
on reasonable request.
article_processing_charge: No
author:
- first_name: William J
full_name: Hease, William J
id: 29705398-F248-11E8-B48F-1D18A9856A87
last_name: Hease
orcid: 0000-0001-9868-2166
- first_name: Alfredo R
full_name: Rueda Sanchez, Alfredo R
id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
last_name: Rueda Sanchez
orcid: 0000-0001-6249-5860
- first_name: Rishabh
full_name: Sahu, Rishabh
id: 47D26E34-F248-11E8-B48F-1D18A9856A87
last_name: Sahu
orcid: 0000-0001-6264-2162
- first_name: Matthias
full_name: Wulf, Matthias
id: 45598606-F248-11E8-B48F-1D18A9856A87
last_name: Wulf
orcid: 0000-0001-6613-1378
- first_name: Georg M
full_name: Arnold, Georg M
id: 3770C838-F248-11E8-B48F-1D18A9856A87
last_name: Arnold
orcid: 0000-0003-1397-7876
- first_name: Harald
full_name: Schwefel, Harald
last_name: Schwefel
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength
conversion in the quantum ground state. 2020. doi:10.5281/ZENODO.4266025
apa: Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel,
H., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion
in the quantum ground state. Zenodo. https://doi.org/10.5281/ZENODO.4266025
chicago: Hease, William J, Alfredo R Rueda Sanchez, Rishabh Sahu, Matthias Wulf,
Georg M Arnold, Harald Schwefel, and Johannes M Fink. “Bidirectional Electro-Optic
Wavelength Conversion in the Quantum Ground State.” Zenodo, 2020. https://doi.org/10.5281/ZENODO.4266025.
ieee: W. J. Hease et al., “Bidirectional electro-optic wavelength conversion
in the quantum ground state.” Zenodo, 2020.
ista: Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel H, Fink JM.
2020. Bidirectional electro-optic wavelength conversion in the quantum ground
state, Zenodo, 10.5281/ZENODO.4266025.
mla: Hease, William J., et al. Bidirectional Electro-Optic Wavelength Conversion
in the Quantum Ground State. Zenodo, 2020, doi:10.5281/ZENODO.4266025.
short: W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H. Schwefel,
J.M. Fink, (2020).
corr_author: '1'
date_created: 2023-05-23T16:44:11Z
date_published: 2020-11-10T00:00:00Z
date_updated: 2026-04-15T06:43:26Z
day: '10'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.5281/ZENODO.4266025
license: https://creativecommons.org/licenses/by/4.0/
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.4266026
month: '11'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '9114'
relation: used_in_publication
status: public
status: public
title: Bidirectional electro-optic wavelength conversion in the quantum ground state
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
OA_place: publisher
OA_type: hybrid
_id: '21525'
abstract:
- lang: eng
text: We present a novel design for an ultracompact, passive light source capable
of generating ultraviolet and X-ray radiation, based on the interaction of free
electrons with the magnetic near-field of a ferromagnet. Our design is motivated
by recent advances in the fabrication of nanostructures, which allow the confinement
of large magnetic fields at the surface of ferromagnetic nanogratings. Using ab
initio simulations and a complementary analytical theory, we show that highly
directional, tunable, monochromatic radiation at high frequencies could be produced
from relatively low-energy electrons within a tabletop design. The output frequency
is tunable in the extreme ultraviolet to hard X-ray range via electron kinetic
energies from 1 keV to 5 MeV and nanograting periods from 1 μm to 5 nm. The proposed
radiation source can achieve the tunability and monochromaticity of current free-electron-driven
sources (free-electron lasers, synchrotrons, and laser-driven undulators), yet
with a significantly reduced scale, cost, and complexity. Our design could help
realize the next generation of tabletop or on-chip X-ray sources.
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Sophie
full_name: Fisher, Sophie
last_name: Fisher
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Nicholas
full_name: Rivera, Nicholas
last_name: Rivera
- first_name: Liang Jie
full_name: Wong, Liang Jie
last_name: Wong
- first_name: Ido
full_name: Kaminer, Ido
last_name: Kaminer
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
citation:
ama: Fisher S, Roques-Carmes C, Rivera N, Wong LJ, Kaminer I, Soljačić M. Monochromatic
X-ray source based on scattering from a magnetic nanoundulator. ACS Photonics.
2020;7(5):1096-1103. doi:10.1021/acsphotonics.0c00121
apa: Fisher, S., Roques-Carmes, C., Rivera, N., Wong, L. J., Kaminer, I., &
Soljačić, M. (2020). Monochromatic X-ray source based on scattering from a magnetic
nanoundulator. ACS Photonics. American Chemical Society . https://doi.org/10.1021/acsphotonics.0c00121
chicago: Fisher, Sophie, Charles Roques-Carmes, Nicholas Rivera, Liang Jie Wong,
Ido Kaminer, and Marin Soljačić. “Monochromatic X-Ray Source Based on Scattering
from a Magnetic Nanoundulator.” ACS Photonics. American Chemical Society
, 2020. https://doi.org/10.1021/acsphotonics.0c00121.
ieee: S. Fisher, C. Roques-Carmes, N. Rivera, L. J. Wong, I. Kaminer, and M. Soljačić,
“Monochromatic X-ray source based on scattering from a magnetic nanoundulator,”
ACS Photonics, vol. 7, no. 5. American Chemical Society , pp. 1096–1103,
2020.
ista: Fisher S, Roques-Carmes C, Rivera N, Wong LJ, Kaminer I, Soljačić M. 2020.
Monochromatic X-ray source based on scattering from a magnetic nanoundulator.
ACS Photonics. 7(5), 1096–1103.
mla: Fisher, Sophie, et al. “Monochromatic X-Ray Source Based on Scattering from
a Magnetic Nanoundulator.” ACS Photonics, vol. 7, no. 5, American Chemical
Society , 2020, pp. 1096–103, doi:10.1021/acsphotonics.0c00121.
short: S. Fisher, C. Roques-Carmes, N. Rivera, L.J. Wong, I. Kaminer, M. Soljačić,
ACS Photonics 7 (2020) 1096–1103.
date_created: 2026-03-30T12:22:47Z
date_published: 2020-04-01T00:00:00Z
date_updated: 2026-04-15T11:51:29Z
day: '01'
ddc:
- '530'
doi: 10.1021/acsphotonics.0c00121
extern: '1'
external_id:
arxiv:
- '1910.09629'
pmid:
- ' 32596415'
has_accepted_license: '1'
intvolume: ' 7'
issue: '5'
keyword:
- X-ray sources
- free electrons
- nanostructure
- undulator
- synchrotron
- free-electron laser
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1021/acsphotonics.0c00121
month: '04'
oa: 1
oa_version: Published Version
page: 1096-1103
pmid: 1
publication: ACS Photonics
publication_identifier:
eissn:
- 2330-4022
publication_status: published
publisher: 'American Chemical Society '
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monochromatic X-ray source based on scattering from a magnetic nanoundulator
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7
year: '2020'
...
---
_id: '8535'
abstract:
- lang: eng
text: We propose a method to enhance the visual detail of a water surface simulation.
Our method works as a post-processing step which takes a simulation as input and
increases its apparent resolution by simulating many detailed Lagrangian water
waves on top of it. We extend linear water wave theory to work in non-planar domains
which deform over time, and we discretize the theory using Lagrangian wave packets
attached to spline curves. The method is numerically stable and trivially parallelizable,
and it produces high frequency ripples with dispersive wave-like behaviors customized
to the underlying fluid simulation.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: We wish to thank the anonymous reviewers and the members of the Visual
Computing Group at IST Austria for their valuable feedback. This research was supported
by the Scientific Service Units (SSU) of IST Austria through resources provided
by Scientific Computing. This project has received funding from the European Research
Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
under grant agreement No. 638176 and Marie SkłodowskaCurie Grant Agreement No. 665385.
article_number: '65'
article_processing_charge: No
article_type: original
author:
- first_name: Tomas
full_name: Skrivan, Tomas
id: 486A5A46-F248-11E8-B48F-1D18A9856A87
last_name: Skrivan
- first_name: Andreas
full_name: Soderstrom, Andreas
last_name: Soderstrom
- first_name: John
full_name: Johansson, John
last_name: Johansson
- first_name: Christoph
full_name: Sprenger, Christoph
last_name: Sprenger
- first_name: Ken
full_name: Museth, Ken
last_name: Museth
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
citation:
ama: 'Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. Wave
curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM
Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392466'
apa: 'Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., &
Wojtan, C. (2020). Wave curves: Simulating Lagrangian water waves on dynamically
deforming surfaces. ACM Transactions on Graphics. Association for Computing
Machinery. https://doi.org/10.1145/3386569.3392466'
chicago: 'Skrivan, Tomas, Andreas Soderstrom, John Johansson, Christoph Sprenger,
Ken Museth, and Chris Wojtan. “Wave Curves: Simulating Lagrangian Water Waves
on Dynamically Deforming Surfaces.” ACM Transactions on Graphics. Association
for Computing Machinery, 2020. https://doi.org/10.1145/3386569.3392466.'
ieee: 'T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, and C. Wojtan,
“Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces,”
ACM Transactions on Graphics, vol. 39, no. 4. Association for Computing
Machinery, 2020.'
ista: 'Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. 2020.
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces.
ACM Transactions on Graphics. 39(4), 65.'
mla: 'Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on
Dynamically Deforming Surfaces.” ACM Transactions on Graphics, vol. 39,
no. 4, 65, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392466.'
short: T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan,
ACM Transactions on Graphics 39 (2020).
corr_author: '1'
date_created: 2020-09-20T22:01:37Z
date_published: 2020-07-08T00:00:00Z
date_updated: 2026-04-16T08:26:38Z
day: '08'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/3386569.3392466
ec_funded: 1
external_id:
isi:
- '000583700300038'
file:
- access_level: open_access
checksum: c3a680893f01cc4a9e961ff0a4cfa12f
content_type: application/pdf
creator: dernst
date_created: 2020-09-21T07:51:44Z
date_updated: 2020-09-21T07:51:44Z
file_id: '8541'
file_name: 2020_ACM_Skrivan.pdf
file_size: 20223953
relation: main_file
success: 1
file_date_updated: 2020-09-21T07:51:44Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces'
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 39
year: '2020'
...
---
_id: '7339'
abstract:
- lang: eng
text: Cytoskeletal filaments such as microtubules (MTs) and filamentous actin (F-actin)
dynamically support cell structure and functions. In central presynaptic terminals,
F-actin is expressed along the release edge and reportedly plays diverse functional
roles, but whether axonal MTs extend deep into terminals and play any physiological
role remains controversial. At the calyx of Held in rats of either sex, confocal
and high-resolution microscopy revealed that MTs enter deep into presynaptic terminal
swellings and partially colocalize with a subset of synaptic vesicles (SVs). Electrophysiological
analysis demonstrated that depolymerization of MTs specifically prolonged the
slow-recovery time component of EPSCs from short-term depression induced by a
train of high-frequency stimulation, whereas depolymerization of F-actin specifically
prolonged the fast-recovery component. In simultaneous presynaptic and postsynaptic
action potential recordings, depolymerization of MTs or F-actin significantly
impaired the fidelity of high-frequency neurotransmission. We conclude that MTs
and F-actin differentially contribute to slow and fast SV replenishment, thereby
maintaining high-frequency neurotransmission.
article_processing_charge: No
article_type: original
author:
- first_name: Lashmi
full_name: Piriya Ananda Babu, Lashmi
last_name: Piriya Ananda Babu
- first_name: Han Ying
full_name: Wang, Han Ying
last_name: Wang
- first_name: Kohgaku
full_name: Eguchi, Kohgaku
id: 2B7846DC-F248-11E8-B48F-1D18A9856A87
last_name: Eguchi
orcid: 0000-0002-6170-2546
- first_name: Laurent
full_name: Guillaud, Laurent
last_name: Guillaud
- first_name: Tomoyuki
full_name: Takahashi, Tomoyuki
last_name: Takahashi
citation:
ama: Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. Microtubule
and actin differentially regulate synaptic vesicle cycling to maintain high-frequency
neurotransmission. Journal of neuroscience. 2020;40(1):131-142. doi:10.1523/JNEUROSCI.1571-19.2019
apa: Piriya Ananda Babu, L., Wang, H. Y., Eguchi, K., Guillaud, L., & Takahashi,
T. (2020). Microtubule and actin differentially regulate synaptic vesicle cycling
to maintain high-frequency neurotransmission. Journal of Neuroscience.
Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1571-19.2019
chicago: Piriya Ananda Babu, Lashmi, Han Ying Wang, Kohgaku Eguchi, Laurent Guillaud,
and Tomoyuki Takahashi. “Microtubule and Actin Differentially Regulate Synaptic
Vesicle Cycling to Maintain High-Frequency Neurotransmission.” Journal of Neuroscience.
Society for Neuroscience, 2020. https://doi.org/10.1523/JNEUROSCI.1571-19.2019.
ieee: L. Piriya Ananda Babu, H. Y. Wang, K. Eguchi, L. Guillaud, and T. Takahashi,
“Microtubule and actin differentially regulate synaptic vesicle cycling to maintain
high-frequency neurotransmission,” Journal of neuroscience, vol. 40, no.
1. Society for Neuroscience, pp. 131–142, 2020.
ista: Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. 2020. Microtubule
and actin differentially regulate synaptic vesicle cycling to maintain high-frequency
neurotransmission. Journal of neuroscience. 40(1), 131–142.
mla: Piriya Ananda Babu, Lashmi, et al. “Microtubule and Actin Differentially Regulate
Synaptic Vesicle Cycling to Maintain High-Frequency Neurotransmission.” Journal
of Neuroscience, vol. 40, no. 1, Society for Neuroscience, 2020, pp. 131–42,
doi:10.1523/JNEUROSCI.1571-19.2019.
short: L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, Journal
of Neuroscience 40 (2020) 131–142.
date_created: 2020-01-19T23:00:38Z
date_published: 2020-01-02T00:00:00Z
date_updated: 2026-04-16T08:27:29Z
day: '02'
ddc:
- '570'
department:
- _id: RySh
doi: 10.1523/JNEUROSCI.1571-19.2019
external_id:
isi:
- '000505167600013'
pmid:
- '31767677'
file:
- access_level: open_access
checksum: 92f5e8a47f454fc131fb94cd7f106e60
content_type: application/pdf
creator: dernst
date_created: 2020-01-20T14:44:10Z
date_updated: 2020-07-14T12:47:56Z
file_id: '7345'
file_name: 2020_JourNeuroscience_Piriya.pdf
file_size: 4460781
relation: main_file
file_date_updated: 2020-07-14T12:47:56Z
has_accepted_license: '1'
intvolume: ' 40'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 131-142
pmid: 1
publication: Journal of neuroscience
publication_identifier:
eissn:
- 1529-2401
issn:
- 0270-6474
publication_status: published
publisher: Society for Neuroscience
quality_controlled: '1'
scopus_import: '1'
status: public
title: Microtubule and actin differentially regulate synaptic vesicle cycling to maintain
high-frequency neurotransmission
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 40
year: '2020'
...
---
_id: '8170'
abstract:
- lang: eng
text: "Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is
measured as a function\r\nof time following rotational excitation by a nonresonant,
comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra,
obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal
distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy.
For\r\nCS2 and I2, they are the first experimental results reported. The alignment
dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using
the experimental in-droplet B and D values, agree in\r\ndetail with the measurement
for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium
droplets introduced here should apply to a range of molecules and complexes."
acknowledgement: "H. S. acknowledges support from the European Research Council-AdG
(Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a
Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian
Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC)
Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian
Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by
the European Union’s Horizon 2020 research and\r\ninnovation programme under the
Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe
PIMC simulations were provided by the division for scientific computing at the Johannes
Kepler University."
article_number: '013001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Adam S.
full_name: Chatterley, Adam S.
last_name: Chatterley
- first_name: Lars
full_name: Christiansen, Lars
last_name: Christiansen
- first_name: Constant A.
full_name: Schouder, Constant A.
last_name: Schouder
- first_name: Anders V.
full_name: Jørgensen, Anders V.
last_name: Jørgensen
- first_name: Benjamin
full_name: Shepperson, Benjamin
last_name: Shepperson
- first_name: Igor
full_name: Cherepanov, Igor
id: 339C7E5A-F248-11E8-B48F-1D18A9856A87
last_name: Cherepanov
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
- first_name: Robert E.
full_name: Zillich, Robert E.
last_name: Zillich
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
- first_name: Henrik
full_name: Stapelfeldt, Henrik
last_name: Stapelfeldt
citation:
ama: 'Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001'
apa: 'Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson,
B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.013001'
chicago: 'Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V.
Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich,
Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of
Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.”
Physical Review Letters. American Physical Society, 2020. https://doi.org/10.1103/PhysRevLett.125.013001.'
ieee: 'A. S. Chatterley et al., “Rotational coherence spectroscopy of molecules
in Helium nanodroplets: Reconciling the time and the frequency domains,” Physical
Review Letters, vol. 125, no. 1. American Physical Society, 2020.'
ista: 'Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov
I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence
spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the
frequency domains. Physical Review Letters. 125(1), 013001.'
mla: 'Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules
in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical
Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020,
doi:10.1103/PhysRevLett.125.013001.'
short: A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson,
I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical
Review Letters 125 (2020).
date_created: 2020-07-26T22:01:02Z
date_published: 2020-07-03T00:00:00Z
date_updated: 2026-04-16T08:21:58Z
day: '03'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.125.013001
ec_funded: 1
external_id:
arxiv:
- '2006.02694'
isi:
- '000544526900006'
pmid:
- '32678640'
intvolume: ' 125'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2006.02694
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '801770'
name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 26986C82-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02641
name: A path-integral approach to composite impurities
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling
the time and the frequency domains'
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 125
year: '2020'
...
---
_id: '7656'
abstract:
- lang: eng
text: 'We propose that correlations among neurons are generically strong enough
to organize neural activity patterns into a discrete set of clusters, which can
each be viewed as a population codeword. Our reasoning starts with the analysis
of retinal ganglion cell data using maximum entropy models, showing that the population
is robustly in a frustrated, marginally sub-critical, or glassy, state. This leads
to an argument that neural populations in many other brain areas might share this
structure. Next, we use latent variable models to show that this glassy state
possesses well-defined clusters of neural activity. Clusters have three appealing
properties: (i) clusters exhibit error correction, i.e., they are reproducibly
elicited by the same stimulus despite variability at the level of constituent
neurons; (ii) clusters encode qualitatively different visual features than their
constituent neurons; and (iii) clusters can be learned by downstream neural circuits
in an unsupervised fashion. We hypothesize that these properties give rise to
a “learnable” neural code which the cortical hierarchy uses to extract increasingly
complex features without supervision or reinforcement.'
article_number: '20'
article_processing_charge: No
article_type: original
author:
- first_name: Michael J.
full_name: Berry, Michael J.
last_name: Berry
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
citation:
ama: 'Berry MJ, Tkačik G. Clustering of neural activity: A design principle for
population codes. Frontiers in Computational Neuroscience. 2020;14. doi:10.3389/fncom.2020.00020'
apa: 'Berry, M. J., & Tkačik, G. (2020). Clustering of neural activity: A design
principle for population codes. Frontiers in Computational Neuroscience.
Frontiers. https://doi.org/10.3389/fncom.2020.00020'
chicago: 'Berry, Michael J., and Gašper Tkačik. “Clustering of Neural Activity:
A Design Principle for Population Codes.” Frontiers in Computational Neuroscience.
Frontiers, 2020. https://doi.org/10.3389/fncom.2020.00020.'
ieee: 'M. J. Berry and G. Tkačik, “Clustering of neural activity: A design principle
for population codes,” Frontiers in Computational Neuroscience, vol. 14.
Frontiers, 2020.'
ista: 'Berry MJ, Tkačik G. 2020. Clustering of neural activity: A design principle
for population codes. Frontiers in Computational Neuroscience. 14, 20.'
mla: 'Berry, Michael J., and Gašper Tkačik. “Clustering of Neural Activity: A Design
Principle for Population Codes.” Frontiers in Computational Neuroscience,
vol. 14, 20, Frontiers, 2020, doi:10.3389/fncom.2020.00020.'
short: M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).
date_created: 2020-04-12T22:00:40Z
date_published: 2020-03-13T00:00:00Z
date_updated: 2026-04-16T08:28:50Z
day: '13'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.3389/fncom.2020.00020
external_id:
isi:
- '000525543200001'
pmid:
- '32231528'
file:
- access_level: open_access
checksum: 2b1da23823eae9cedbb42d701945b61e
content_type: application/pdf
creator: dernst
date_created: 2020-04-14T12:20:39Z
date_updated: 2020-07-14T12:48:01Z
file_id: '7659'
file_name: 2020_Frontiers_Berry.pdf
file_size: 4082937
relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: Frontiers in Computational Neuroscience
publication_identifier:
eissn:
- 1662-5188
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Clustering of neural activity: A design principle for population codes'
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 14
year: '2020'
...
---
_id: '7603'
abstract:
- lang: eng
text: Plants are exposed to a variety of abiotic and biotic stresses that may result
in DNA damage. Endogenous processes - such as DNA replication, DNA recombination,
respiration, or photosynthesis - are also a threat to DNA integrity. It is therefore
essential to understand the strategies plants have developed for DNA damage detection,
signaling, and repair. Alternative splicing (AS) is a key post-transcriptional
process with a role in regulation of gene expression. Recent studies demonstrate
that the majority of intron-containing genes in plants are alternatively spliced,
highlighting the importance of AS in plant development and stress response. Not
only does AS ensure a versatile proteome and influence the abundance and availability
of proteins greatly, it has also emerged as an important player in the DNA damage
response (DDR) in animals. Despite extensive studies of DDR carried out in plants,
its regulation at the level of AS has not been comprehensively addressed. Here,
we provide some insights into the interplay between AS and DDR in plants.
article_number: '91'
article_processing_charge: No
article_type: original
author:
- first_name: Barbara Anna
full_name: Nimeth, Barbara Anna
last_name: Nimeth
- first_name: Stefan
full_name: Riegler, Stefan
id: FF6018E0-D806-11E9-8E43-0B14E6697425
last_name: Riegler
orcid: 0000-0003-3413-1343
- first_name: Maria
full_name: Kalyna, Maria
last_name: Kalyna
citation:
ama: Nimeth BA, Riegler S, Kalyna M. Alternative splicing and DNA damage response
in plants. Frontiers in Plant Science. 2020;11. doi:10.3389/fpls.2020.00091
apa: Nimeth, B. A., Riegler, S., & Kalyna, M. (2020). Alternative splicing and
DNA damage response in plants. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2020.00091
chicago: Nimeth, Barbara Anna, Stefan Riegler, and Maria Kalyna. “Alternative Splicing
and DNA Damage Response in Plants.” Frontiers in Plant Science. Frontiers,
2020. https://doi.org/10.3389/fpls.2020.00091.
ieee: B. A. Nimeth, S. Riegler, and M. Kalyna, “Alternative splicing and DNA damage
response in plants,” Frontiers in Plant Science, vol. 11. Frontiers, 2020.
ista: Nimeth BA, Riegler S, Kalyna M. 2020. Alternative splicing and DNA damage
response in plants. Frontiers in Plant Science. 11, 91.
mla: Nimeth, Barbara Anna, et al. “Alternative Splicing and DNA Damage Response
in Plants.” Frontiers in Plant Science, vol. 11, 91, Frontiers, 2020, doi:10.3389/fpls.2020.00091.
short: B.A. Nimeth, S. Riegler, M. Kalyna, Frontiers in Plant Science 11 (2020).
date_created: 2020-03-22T23:00:46Z
date_published: 2020-02-19T00:00:00Z
date_updated: 2026-04-16T08:28:17Z
day: '19'
ddc:
- '580'
department:
- _id: FyKo
doi: 10.3389/fpls.2020.00091
external_id:
isi:
- '000518903600001'
file:
- access_level: open_access
checksum: 57c37209f7b6712ced86c0f11b2be74e
content_type: application/pdf
creator: dernst
date_created: 2020-03-23T09:03:40Z
date_updated: 2020-07-14T12:48:01Z
file_id: '7607'
file_name: 2020_FrontiersPlants_Nimeth.pdf
file_size: 507414
relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
publication: Frontiers in Plant Science
publication_identifier:
eissn:
- 1664-462X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Alternative splicing and DNA damage response in plants
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 11
year: '2020'
...
---
_id: '7212'
abstract:
- lang: eng
text: The fixation probability of a single mutant invading a population of residents
is among the most widely-studied quantities in evolutionary dynamics. Amplifiers
of natural selection are population structures that increase the fixation probability
of advantageous mutants, compared to well-mixed populations. Extensive studies
have shown that many amplifiers exist for the Birth-death Moran process, some
of them substantially increasing the fixation probability or even guaranteeing
fixation in the limit of large population size. On the other hand, no amplifiers
are known for the death-Birth Moran process, and computer-assisted exhaustive
searches have failed to discover amplification. In this work we resolve this disparity,
by showing that any amplification under death-Birth updating is necessarily bounded
and transient. Our boundedness result states that even if a population structure
does amplify selection, the resulting fixation probability is close to that of
the well-mixed population. Our transience result states that for any population
structure there exists a threshold r⋆ such that the population structure ceases
to amplify selection if the mutant fitness advantage r is larger than r⋆. Finally,
we also extend the above results to δ-death-Birth updating, which is a combination
of Birth-death and death-Birth updating. On the positive side, we identify population
structures that maintain amplification for a wide range of values r and δ. These
results demonstrate that amplification of natural selection depends on the specific
mechanisms of the evolutionary process.
article_number: e1007494
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin A.
full_name: Nowak, Martin A.
last_name: Nowak
citation:
ama: Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Limits on amplifiers of
natural selection under death-Birth updating. PLoS computational biology.
2020;16. doi:10.1371/journal.pcbi.1007494
apa: Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2020). Limits
on amplifiers of natural selection under death-Birth updating. PLoS Computational
Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007494
chicago: Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin
A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.”
PLoS Computational Biology. Public Library of Science, 2020. https://doi.org/10.1371/journal.pcbi.1007494.
ieee: J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Limits on amplifiers
of natural selection under death-Birth updating,” PLoS computational biology,
vol. 16. Public Library of Science, 2020.
ista: Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2020. Limits on amplifiers
of natural selection under death-Birth updating. PLoS computational biology. 16,
e1007494.
mla: Tkadlec, Josef, et al. “Limits on Amplifiers of Natural Selection under Death-Birth
Updating.” PLoS Computational Biology, vol. 16, e1007494, Public Library
of Science, 2020, doi:10.1371/journal.pcbi.1007494.
short: J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational
Biology 16 (2020).
date_created: 2019-12-23T13:45:11Z
date_published: 2020-01-17T00:00:00Z
date_updated: 2026-04-16T08:32:38Z
day: '17'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1371/journal.pcbi.1007494
ec_funded: 1
external_id:
arxiv:
- '1906.02785'
isi:
- '000510916500025'
file:
- access_level: open_access
checksum: ce32ee2d2f53aed832f78bbd47e882df
content_type: application/pdf
creator: dernst
date_created: 2020-02-03T07:32:42Z
date_updated: 2020-07-14T12:47:53Z
file_id: '7441'
file_name: 2020_PlosCompBio_Tkadlec.pdf
file_size: 1817531
relation: main_file
file_date_updated: 2020-07-14T12:47:53Z
has_accepted_license: '1'
intvolume: ' 16'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: PLoS computational biology
publication_identifier:
eissn:
- 1553-7358
issn:
- 1553-734X
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
related_material:
record:
- id: '7196'
relation: part_of_dissertation
status: public
scopus_import: '1'
status: public
title: Limits on amplifiers of natural selection under death-Birth updating
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 16
year: '2020'
...
---
_id: '8384'
abstract:
- lang: eng
text: Previous research on animations of soap bubbles, films, and foams largely
focuses on the motion and geometric shape of the bubble surface. These works neglect
the evolution of the bubble’s thickness, which is normally responsible for visual
phenomena like surface vortices, Newton’s interference patterns, capillary waves,
and deformation-dependent rupturing of films in a foam. In this paper, we model
these natural phenomena by introducing the film thickness as a reduced degree
of freedom in the Navier-Stokes equations and deriving their equations of motion.
We discretize the equations on a nonmanifold triangle mesh surface and couple
it to an existing bubble solver. In doing so, we also introduce an incompressible
fluid solver for 2.5D films and a novel advection algorithm for convecting fields
across non-manifold surface junctions. Our simulations enhance state-of-the-art
bubble solvers with additional effects caused by convection, rippling, draining,
and evaporation of the thin film.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "We wish to thank the anonymous reviewers and the members of the
Visual Computing Group at IST Austria for their valuable feedback, especially Camille
Schreck for her help in rendering. This research was supported by the Scientific
Service Units (SSU) of IST Austria through resources provided by Scientific Computing.
We would like to thank the authors of [Belcour and Barla 2017] for providing their
implementation, the authors of [Atkins and Elliott 2010] and [Seychelles et al.
2008] for allowing us to use their results, and Rok Grah for helpful discussions.
Finally, we thank Ryoichi Ando for many discussions from the beginning of the project
that resulted in important contents of the paper including our formulation, numerical
scheme, and initial implementation. This project has received funding from the\r\nEuropean
Research Council (ERC) under the European Union’s Horizon 2020 research and innovation
programme under grant agreement No. 638176."
article_number: '31'
article_processing_charge: No
article_type: original
author:
- first_name: Sadashige
full_name: Ishida, Sadashige
id: 6F7C4B96-A8E9-11E9-A7CA-09ECE5697425
last_name: Ishida
orcid: 0000-0002-3121-3100
- first_name: Peter
full_name: Synak, Peter
id: 331776E2-F248-11E8-B48F-1D18A9856A87
last_name: Synak
- first_name: Fumiya
full_name: Narita, Fumiya
last_name: Narita
- first_name: Toshiya
full_name: Hachisuka, Toshiya
last_name: Hachisuka
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
citation:
ama: Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. A model for soap film dynamics
with evolving thickness. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392405
apa: Ishida, S., Synak, P., Narita, F., Hachisuka, T., & Wojtan, C. (2020).
A model for soap film dynamics with evolving thickness. ACM Transactions on
Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392405
chicago: Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Chris
Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” ACM Transactions
on Graphics. Association for Computing Machinery, 2020. https://doi.org/10.1145/3386569.3392405.
ieee: S. Ishida, P. Synak, F. Narita, T. Hachisuka, and C. Wojtan, “A model for
soap film dynamics with evolving thickness,” ACM Transactions on Graphics,
vol. 39, no. 4. Association for Computing Machinery, 2020.
ista: Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. 2020. A model for soap
film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.
mla: Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.”
ACM Transactions on Graphics, vol. 39, no. 4, 31, Association for Computing
Machinery, 2020, doi:10.1145/3386569.3392405.
short: S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions
on Graphics 39 (2020).
date_created: 2020-09-13T22:01:18Z
date_published: 2020-07-08T00:00:00Z
date_updated: 2026-04-16T08:29:36Z
day: '08'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/3386569.3392405
ec_funded: 1
external_id:
isi:
- '000583700300004'
file:
- access_level: open_access
checksum: 813831ca91319d794d9748c276b24578
content_type: application/pdf
creator: dernst
date_created: 2020-11-23T09:03:19Z
date_updated: 2020-11-23T09:03:19Z
file_id: '8795'
file_name: 2020_soapfilm_submitted.pdf
file_size: 14935529
relation: main_file
success: 1
file_date_updated: 2020-11-23T09:03:19Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3386569.3392405
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '19630'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: A model for soap film dynamics with evolving thickness
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 39
year: '2020'
...
---
_id: '8385'
abstract:
- lang: eng
text: 'We present a method for animating yarn-level cloth effects using a thin-shell
solver. We accomplish this through numerical homogenization: we first use a large
number of yarn-level simulations to build a model of the potential energy density
of the cloth, and then use this energy density function to compute forces in a
thin shell simulator. We model several yarn-based materials, including both woven
and knitted fabrics. Our model faithfully reproduces expected effects like the
stiffness of woven fabrics, and the highly deformable nature and anisotropy of
knitted fabrics. Our approach does not require any real-world experiments nor
measurements; because the method is based entirely on simulations, it can generate
entirely new material models quickly, without the need for testing apparatuses
or human intervention. We provide data-driven models of several woven and knitted
fabrics, which can be used for efficient simulation with an off-the-shelf cloth
solver.'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "We wish to thank the anonymous reviewers and the members of the
Visual Computing Group at IST Austria for their valuable feedback. We also thank
the creators of the Berkeley Garment Library [de Joya et al. 2012] for providing
garment meshes, [Krishnamurthy and Levoy 1996] and [Turk and Levoy 1994] for the
armadillo and bunny meshes, the creators of libWetCloth [Fei et al. 2018] for their
implementation of discrete elastic rod forces, and Tomáš Skřivan for\r\ninspiring
discussions and help with Mathematica code generation. This research was supported
by the Scientific Service Units (SSU) of IST Austria through resources provided
by Scientific Computing. This project has received funding from the European Research
Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
under grant agreement No. 638176. Rahul Narain is supported by a Pankaj Gupta Young
Faculty Fellowship and a gift from Adobe Inc."
article_number: '48'
article_processing_charge: No
article_type: original
author:
- first_name: Georg
full_name: Sperl, Georg
id: 4DD40360-F248-11E8-B48F-1D18A9856A87
last_name: Sperl
- first_name: Rahul
full_name: Narain, Rahul
last_name: Narain
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
citation:
ama: Sperl G, Narain R, Wojtan C. Homogenized yarn-level cloth. ACM Transactions
on Graphics. 2020;39(4). doi:10.1145/3386569.3392412
apa: Sperl, G., Narain, R., & Wojtan, C. (2020). Homogenized yarn-level cloth.
ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392412
chicago: Sperl, Georg, Rahul Narain, and Chris Wojtan. “Homogenized Yarn-Level Cloth.”
ACM Transactions on Graphics. Association for Computing Machinery, 2020.
https://doi.org/10.1145/3386569.3392412.
ieee: G. Sperl, R. Narain, and C. Wojtan, “Homogenized yarn-level cloth,” ACM
Transactions on Graphics, vol. 39, no. 4. Association for Computing Machinery,
2020.
ista: Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions
on Graphics. 39(4), 48.
mla: Sperl, Georg, et al. “Homogenized Yarn-Level Cloth.” ACM Transactions on
Graphics, vol. 39, no. 4, 48, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392412.
short: G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
corr_author: '1'
date_created: 2020-09-13T22:01:18Z
date_published: 2020-07-08T00:00:00Z
date_updated: 2026-04-16T08:31:55Z
day: '08'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/3386569.3392412
ec_funded: 1
external_id:
isi:
- '000583700300021'
file:
- access_level: open_access
checksum: cf4c1d361c3196c4bd424520a5588205
content_type: application/pdf
creator: dernst
date_created: 2020-11-23T09:01:22Z
date_updated: 2020-11-23T09:01:22Z
file_id: '8794'
file_name: 2020_hylc_submitted.pdf
file_size: 38922662
relation: main_file
success: 1
file_date_updated: 2020-11-23T09:01:22Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3386569.3392412
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '12358'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Homogenized yarn-level cloth
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 39
year: '2020'
...
---
OA_place: publisher
_id: '7196'
abstract:
- lang: eng
text: 'In this thesis we study certain mathematical aspects of evolution. The two
primary forces that drive an evolutionary process are mutation and selection.
Mutation generates new variants in a population. Selection chooses among the variants
depending on the reproductive rates of individuals. Evolutionary processes are
intrinsically random – a new mutation that is initially present in the population
at low frequency can go extinct, even if it confers a reproductive advantage.
The overall rate of evolution is largely determined by two quantities: the probability
that an invading advantageous mutation spreads through the population (called
fixation probability) and the time until it does so (called fixation time). Both
those quantities crucially depend not only on the strength of the invading mutation
but also on the population structure. In this thesis, we aim to understand how
the underlying population structure affects the overall rate of evolution. Specifically,
we study population structures that increase the fixation probability of advantageous
mutants (called amplifiers of selection). Broadly speaking, our results are of
three different types: We present various strong amplifiers, we identify regimes
under which only limited amplification is feasible, and we propose population
structures that provide different tradeoffs between high fixation probability
and short fixation time.'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
citation:
ama: Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:10.15479/AT:ISTA:7196
apa: Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7196
chicago: Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” Institute
of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7196.
ieee: J. Tkadlec, “A role of graphs in evolutionary processes,” Institute of Science
and Technology Austria, 2020.
ista: Tkadlec J. 2020. A role of graphs in evolutionary processes. Institute of
Science and Technology Austria.
mla: Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. Institute
of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7196.
short: J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science
and Technology Austria, 2020.
corr_author: '1'
date_created: 2019-12-20T12:26:36Z
date_published: 2020-01-12T00:00:00Z
date_updated: 2026-04-16T08:32:37Z
day: '12'
ddc:
- '519'
degree_awarded: PhD
department:
- _id: KrCh
- _id: GradSch
doi: 10.15479/AT:ISTA:7196
file:
- access_level: closed
checksum: 451f8e64b0eb26bf297644ac72bfcbe9
content_type: application/zip
creator: jtkadlec
date_created: 2020-01-12T11:49:49Z
date_updated: 2020-07-14T12:47:52Z
file_id: '7255'
file_name: thesis.zip
file_size: 21100497
relation: source_file
- access_level: open_access
checksum: d8c44cbc4f939c49a8efc9d4b8bb3985
content_type: application/pdf
creator: dernst
date_created: 2020-01-28T07:32:42Z
date_updated: 2020-07-14T12:47:52Z
file_id: '7367'
file_name: 2020_Tkadlec_Thesis.pdf
file_size: 11670983
relation: main_file
file_date_updated: 2020-07-14T12:47:52Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '144'
publication_identifier:
eissn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '5751'
relation: dissertation_contains
status: public
- id: '7210'
relation: dissertation_contains
status: public
- id: '7212'
relation: dissertation_contains
status: public
status: public
supervisor:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
title: A role of graphs in evolutionary processes
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8173'
abstract:
- lang: eng
text: Understanding how the activity of membrane receptors and cellular signaling
pathways shapes cell behavior is of fundamental interest in basic and applied
research. Reengineering receptors to react to light instead of their cognate ligands
allows for generating defined signaling inputs with high spatial and temporal
precision and facilitates the dissection of complex signaling networks. Here,
we describe fundamental considerations in the design of light-regulated receptor
tyrosine kinases (Opto-RTKs) and appropriate control experiments. We also introduce
methods for transient receptor expression in HEK293 cells, quantitative assessment
of signaling activity in reporter gene assays, semiquantitative assessment of
(in)activation time courses through Western blot (WB) analysis, and easy to implement
light stimulation hardware.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Stephanie
full_name: Kainrath, Stephanie
id: 32CFBA64-F248-11E8-B48F-1D18A9856A87
last_name: Kainrath
orcid: 0000-0002-6709-2195
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: 'Kainrath S, Janovjak HL. Design and application of light-regulated receptor
tyrosine kinases. In: Niopek D, ed. Photoswitching Proteins. Vol 2173.
MIMB. Springer Nature; 2020:233-246. doi:10.1007/978-1-0716-0755-8_16'
apa: Kainrath, S., & Janovjak, H. L. (2020). Design and application of light-regulated
receptor tyrosine kinases. In D. Niopek (Ed.), Photoswitching Proteins
(Vol. 2173, pp. 233–246). Springer Nature. https://doi.org/10.1007/978-1-0716-0755-8_16
chicago: Kainrath, Stephanie, and Harald L Janovjak. “Design and Application of
Light-Regulated Receptor Tyrosine Kinases.” In Photoswitching Proteins,
edited by Dominik Niopek, 2173:233–46. MIMB. Springer Nature, 2020. https://doi.org/10.1007/978-1-0716-0755-8_16.
ieee: S. Kainrath and H. L. Janovjak, “Design and application of light-regulated
receptor tyrosine kinases,” in Photoswitching Proteins, vol. 2173, D. Niopek,
Ed. Springer Nature, 2020, pp. 233–246.
ista: 'Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor
tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol.
2173, 233–246.'
mla: Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated
Receptor Tyrosine Kinases.” Photoswitching Proteins, edited by Dominik
Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:10.1007/978-1-0716-0755-8_16.
short: S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins,
Springer Nature, 2020, pp. 233–246.
date_created: 2020-07-26T22:01:03Z
date_published: 2020-07-11T00:00:00Z
date_updated: 2026-04-16T09:22:45Z
day: '11'
department:
- _id: CaGu
doi: 10.1007/978-1-0716-0755-8_16
editor:
- first_name: Dominik
full_name: Niopek, Dominik
last_name: Niopek
external_id:
pmid:
- '32651922'
intvolume: ' 2173'
language:
- iso: eng
month: '07'
oa_version: None
page: 233-246
pmid: 1
publication: Photoswitching Proteins
publication_identifier:
eisbn:
- '9781071607558'
eissn:
- 1940-6029
isbn:
- '9781071607541'
issn:
- 1064-3745
publication_status: published
publisher: Springer Nature
scopus_import: '1'
series_title: MIMB
status: public
title: Design and application of light-regulated receptor tyrosine kinases
type: book_chapter
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 2173
year: '2020'
...
---
_id: '8272'
abstract:
- lang: eng
text: We study turn-based stochastic zero-sum games with lexicographic preferences
over reachability and safety objectives. Stochastic games are standard models
in control, verification, and synthesis of stochastic reactive systems that exhibit
both randomness as well as angelic and demonic non-determinism. Lexicographic
order allows to consider multiple objectives with a strict preference order over
the satisfaction of the objectives. To the best of our knowledge, stochastic games
with lexicographic objectives have not been studied before. We establish determinacy
of such games and present strategy and computational complexity results. For strategy
complexity, we show that lexicographically optimal strategies exist that are deterministic
and memory is only required to remember the already satisfied and violated objectives.
For a constant number of objectives, we show that the relevant decision problem
is in NP∩coNP , matching the current known bound for single objectives; and
in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME
. We present an algorithm that computes the lexicographically optimal strategies
via a reduction to computation of optimal strategies in a sequence of single-objectives
games. We have implemented our algorithm and report experimental results on various
case studies.
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: Joost P
full_name: Katoen, Joost P
id: 4524F760-F248-11E8-B48F-1D18A9856A87
last_name: Katoen
orcid: 0000-0002-6143-1926
- first_name: Maximilian
full_name: Weininger, Maximilian
last_name: Weininger
- first_name: Tobias
full_name: Winkler, Tobias
last_name: Winkler
citation:
ama: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic
reachability-safety objectives. In: International Conference on Computer Aided
Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21'
apa: Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic
games with lexicographic reachability-safety objectives. In International Conference
on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature.
https://doi.org/10.1007/978-3-030-53291-8_21
chicago: Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias
Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”
In International Conference on Computer Aided Verification, 12225:398–420.
Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
ieee: K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games
with lexicographic reachability-safety objectives,” in International Conference
on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
ista: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with
lexicographic reachability-safety objectives. International Conference on Computer
Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.'
mla: Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety
Objectives.” International Conference on Computer Aided Verification, vol.
12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
short: K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International
Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
conference:
name: 'CAV: Computer Aided Verification'
date_created: 2020-08-16T22:00:58Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2026-04-16T09:31:14Z
day: '14'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-53291-8_21
ec_funded: 1
external_id:
arxiv:
- '2005.04018'
isi:
- '000695272500021'
file:
- access_level: open_access
checksum: 093d4788d7d5b2ce0ffe64fbe7820043
content_type: application/pdf
creator: dernst
date_created: 2020-08-17T11:32:44Z
date_updated: 2020-08-17T11:32:44Z
file_id: '8276'
file_name: 2020_LNCS_CAV_Chatterjee.pdf
file_size: 625056
relation: main_file
success: 1
file_date_updated: 2020-08-17T11:32:44Z
has_accepted_license: '1'
intvolume: ' 12225'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 398-420
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: International Conference on Computer Aided Verification
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030532901'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '12738'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Stochastic games with lexicographic reachability-safety objectives
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12225
year: '2020'
...
---
_id: '8674'
abstract:
- lang: eng
text: 'Extrasynaptic actions of glutamate are limited by high-affinity transporters
expressed by perisynaptic astroglial processes (PAPs): this helps maintain point-to-point
transmission in excitatory circuits. Memory formation in the brain is associated
with synaptic remodeling, but how this affects PAPs and therefore extrasynaptic
glutamate actions is poorly understood. Here, we used advanced imaging methods,
in situ and in vivo, to find that a classical synaptic memory mechanism, long-term
potentiation (LTP), triggers withdrawal of PAPs from potentiated synapses. Optical
glutamate sensors combined with patch-clamp and 3D molecular localization reveal
that LTP induction thus prompts spatial retreat of astroglial glutamate transporters,
boosting glutamate spillover and NMDA-receptor-mediated inter-synaptic cross-talk.
The LTP-triggered PAP withdrawal involves NKCC1 transporters and the actin-controlling
protein cofilin but does not depend on major Ca2+-dependent cascades in astrocytes.
We have therefore uncovered a mechanism by which a memory trace at one synapse
could alter signal handling by multiple neighboring connections.'
acknowledgement: We thank J. Angibaud for organotypic cultures and R. Chereau and
J. Tonnesen for help with the STED microscope; also D. Gonzales and the Neurocentre
Magendie INSERM U1215 Genotyping Platform, for breeding management and genotyping.
This work was supported by the Wellcome Trust Principal Fellowships 101896 and 212251,
ERC Advanced Grant 323113, ERC Proof-of-Concept Grant 767372, EC FP7 ITN 606950,
and EU CSA 811011 (D.A.R.); NRW-Rückkehrerpogramm, UCL Excellence Fellowship, German
Research Foundation (DFG) SPP1757 and SFB1089 (C.H.); Human Frontiers Science Program
(C.H., C.J.J., and H.J.); EMBO Long-Term Fellowship (L.B.); Marie Curie FP7 PIRG08-GA-2010-276995
(A.P.), ASTROMODULATION (S.R.); Equipe FRM DEQ 201 303 26519, Conseil Régional d’Aquitaine
R12056GG, INSERM (S.H.R.O.); ANR SUPERTri, ANR Castro (ANR-17-CE16-0002), R-13-BSV4-0007-01,
Université de Bordeaux, labex BRAIN (S.H.R.O. and U.V.N.); CNRS (A.P., S.H.R.O.,
and U.V.N.); HFSP, ANR CEXC, and France-BioImaging ANR-10-INSB-04 (U.V.N.); and
FP7 MemStick Project No. 201600 (M.G.S.).
article_processing_charge: No
article_type: original
author:
- first_name: Christian
full_name: Henneberger, Christian
last_name: Henneberger
- first_name: Lucie
full_name: Bard, Lucie
last_name: Bard
- first_name: Aude
full_name: Panatier, Aude
last_name: Panatier
- first_name: James P.
full_name: Reynolds, James P.
last_name: Reynolds
- first_name: Olga
full_name: Kopach, Olga
last_name: Kopach
- first_name: Nikolay I.
full_name: Medvedev, Nikolay I.
last_name: Medvedev
- first_name: Daniel
full_name: Minge, Daniel
last_name: Minge
- first_name: Michel K.
full_name: Herde, Michel K.
last_name: Herde
- first_name: Stefanie
full_name: Anders, Stefanie
last_name: Anders
- first_name: Igor
full_name: Kraev, Igor
last_name: Kraev
- first_name: Janosch P.
full_name: Heller, Janosch P.
last_name: Heller
- first_name: Sylvain
full_name: Rama, Sylvain
last_name: Rama
- first_name: Kaiyu
full_name: Zheng, Kaiyu
last_name: Zheng
- first_name: Thomas P.
full_name: Jensen, Thomas P.
last_name: Jensen
- first_name: Inmaculada
full_name: Sanchez-Romero, Inmaculada
id: 3D9C5D30-F248-11E8-B48F-1D18A9856A87
last_name: Sanchez-Romero
- first_name: Colin J.
full_name: Jackson, Colin J.
last_name: Jackson
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Ole Petter
full_name: Ottersen, Ole Petter
last_name: Ottersen
- first_name: Erlend Arnulf
full_name: Nagelhus, Erlend Arnulf
last_name: Nagelhus
- first_name: Stephane H.R.
full_name: Oliet, Stephane H.R.
last_name: Oliet
- first_name: Michael G.
full_name: Stewart, Michael G.
last_name: Stewart
- first_name: U. VAlentin
full_name: Nägerl, U. VAlentin
last_name: Nägerl
- first_name: 'Dmitri A. '
full_name: 'Rusakov, Dmitri A. '
last_name: Rusakov
citation:
ama: Henneberger C, Bard L, Panatier A, et al. LTP induction boosts glutamate spillover
by driving withdrawal of perisynaptic astroglia. Neuron. 2020;108(5):P919-936.E11.
doi:10.1016/j.neuron.2020.08.030
apa: Henneberger, C., Bard, L., Panatier, A., Reynolds, J. P., Kopach, O., Medvedev,
N. I., … Rusakov, D. A. (2020). LTP induction boosts glutamate spillover by driving
withdrawal of perisynaptic astroglia. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.08.030
chicago: Henneberger, Christian, Lucie Bard, Aude Panatier, James P. Reynolds, Olga
Kopach, Nikolay I. Medvedev, Daniel Minge, et al. “LTP Induction Boosts Glutamate
Spillover by Driving Withdrawal of Perisynaptic Astroglia.” Neuron. Elsevier,
2020. https://doi.org/10.1016/j.neuron.2020.08.030.
ieee: C. Henneberger et al., “LTP induction boosts glutamate spillover by
driving withdrawal of perisynaptic astroglia,” Neuron, vol. 108, no. 5.
Elsevier, p. P919–936.E11, 2020.
ista: Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge
D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero
I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl
UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal
of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.
mla: Henneberger, Christian, et al. “LTP Induction Boosts Glutamate Spillover by
Driving Withdrawal of Perisynaptic Astroglia.” Neuron, vol. 108, no. 5,
Elsevier, 2020, p. P919–936.E11, doi:10.1016/j.neuron.2020.08.030.
short: C. Henneberger, L. Bard, A. Panatier, J.P. Reynolds, O. Kopach, N.I. Medvedev,
D. Minge, M.K. Herde, S. Anders, I. Kraev, J.P. Heller, S. Rama, K. Zheng, T.P.
Jensen, I. Sanchez-Romero, C.J. Jackson, H.L. Janovjak, O.P. Ottersen, E.A. Nagelhus,
S.H.R. Oliet, M.G. Stewart, U.Va. Nägerl, D.A. Rusakov, Neuron 108 (2020) P919–936.E11.
date_created: 2020-10-18T22:01:38Z
date_published: 2020-12-09T00:00:00Z
date_updated: 2026-04-16T09:33:03Z
day: '09'
ddc:
- '570'
department:
- _id: HaJa
doi: 10.1016/j.neuron.2020.08.030
external_id:
isi:
- '000603428000010'
pmid:
- '32976770'
file:
- access_level: open_access
checksum: 054562bb50165ef9a1f46631c1c5e36b
content_type: application/pdf
creator: dernst
date_created: 2020-12-10T14:42:09Z
date_updated: 2020-12-10T14:42:09Z
file_id: '8939'
file_name: 2020_Neuron_Henneberger.pdf
file_size: 7518960
relation: main_file
success: 1
file_date_updated: 2020-12-10T14:42:09Z
has_accepted_license: '1'
intvolume: ' 108'
isi: 1
issue: '5'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: P919-936.E11
pmid: 1
publication: Neuron
publication_identifier:
eissn:
- 1097-4199
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic
astroglia
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 108
year: '2020'
...
---
_id: '8339'
abstract:
- lang: eng
text: "Discrete Gaussian distributions over lattices are central to lattice-based
cryptography, and to the computational and mathematical aspects of lattices more
broadly. The literature contains a wealth of useful theorems about the behavior
of discrete Gaussians under convolutions and related operations. Yet despite their
structural similarities, most of these theorems are formally incomparable, and
their proofs tend to be monolithic and written nearly “from scratch,” making them
unnecessarily hard to verify, understand, and extend.\r\nIn this work we present
a modular framework for analyzing linear operations on discrete Gaussian distributions.
The framework abstracts away the particulars of Gaussians, and usually reduces
proofs to the choice of appropriate linear transformations and elementary linear
algebra. To showcase the approach, we establish several general properties of
discrete Gaussians, and show how to obtain all prior convolution theorems (along
with some new ones) as straightforward corollaries. As another application, we
describe a self-reduction for Learning With Errors (LWE) that uses a fixed number
of samples to generate an unlimited number of additional ones (having somewhat
larger error). The distinguishing features of our reduction are its simple analysis
in our framework, and its exclusive use of discrete Gaussians without any loss
in parameters relative to a prior mixed discrete-and-continuous approach.\r\nAs
a contribution of independent interest, for subgaussian random matrices we prove
a singular value concentration bound with explicitly stated constants, and we
give tighter heuristics for specific distributions that are commonly used for
generating lattice trapdoors. These bounds yield improvements in the concrete
bit-security estimates for trapdoor lattice cryptosystems."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Nicholas
full_name: Genise, Nicholas
last_name: Genise
- first_name: Daniele
full_name: Micciancio, Daniele
last_name: Micciancio
- first_name: Chris
full_name: Peikert, Chris
last_name: Peikert
- first_name: Michael
full_name: Walter, Michael
id: 488F98B0-F248-11E8-B48F-1D18A9856A87
last_name: Walter
orcid: 0000-0003-3186-2482
citation:
ama: 'Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and
subgaussian analysis for lattice cryptography. In: 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110.
Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21'
apa: 'Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved
discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd
IACR International Conference on the Practice and Theory of Public-Key Cryptography
(Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21'
chicago: Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter.
“Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.”
In 23rd IACR International Conference on the Practice and Theory of Public-Key
Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21.
ieee: N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian
and subgaussian analysis for lattice cryptography,” in 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh,
United Kingdom, 2020, vol. 12110, pp. 623–651.
ista: 'Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian
and subgaussian analysis for lattice cryptography. 23rd IACR International Conference
on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography,
LNCS, vol. 12110, 623–651.'
mla: Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis
for Lattice Cryptography.” 23rd IACR International Conference on the Practice
and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020,
pp. 623–51, doi:10.1007/978-3-030-45374-9_21.
short: N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International
Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature,
2020, pp. 623–651.
conference:
end_date: 2020-05-07
location: Edinburgh, United Kingdom
name: 'PKC: Public-Key Cryptography'
start_date: 2020-05-04
date_created: 2020-09-06T22:01:13Z
date_published: 2020-05-15T00:00:00Z
date_updated: 2026-04-16T09:32:27Z
day: '15'
department:
- _id: KrPi
doi: 10.1007/978-3-030-45374-9_21
ec_funded: 1
external_id:
isi:
- '001299210200021'
intvolume: ' 12110'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2020/337
month: '05'
oa: 1
oa_version: Preprint
page: 623-651
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 23rd IACR International Conference on the Practice and Theory of Public-Key
Cryptography
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030453732'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved discrete Gaussian and subgaussian analysis for lattice cryptography
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12110
year: '2020'
...
---
_id: '8987'
abstract:
- lang: eng
text: "Currently several projects aim at designing and implementing protocols for
privacy preserving automated contact tracing to help fight the current pandemic.
Those proposal are quite similar, and in their most basic form basically propose
an app for mobile phones which broadcasts frequently changing pseudorandom identifiers
via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast
by phones in its proximity. Only if a user is tested positive, they upload either
the beacons they did broadcast (which is the case in decentralized proposals as
DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or
ROBERT) during the last two weeks or so.\r\n\r\nVaudenay [eprint 2020/399] observes
that this basic scheme (he considers the DP-3T proposal) succumbs to relay and
even replay attacks, and proposes more complex interactive schemes which prevent
those attacks without giving up too many privacy aspects. Unfortunately interaction
is problematic for this application for efficiency and security reasons. The countermeasures
that have been suggested so far are either not practical or give up on key privacy
aspects. We propose a simple non-interactive variant of the basic protocol that\r\n(security)
Provably prevents replay and (if location data is available) relay attacks.\r\n(privacy)
The data of all parties (even jointly) reveals no information on the location
or time where encounters happened.\r\n(efficiency) The broadcasted message can
fit into 128 bits and uses only basic crypto (commitments and secret key authentication).\r\n\r\nTowards
this end we introduce the concept of “delayed authentication”, which basically
is a message authentication code where verification can be done in two steps,
where the first doesn’t require the key, and the second doesn’t require the message."
article_processing_charge: No
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in
private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer
Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1'
apa: 'Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay
attacks in private contact tracing. In Progress in Cryptology (Vol. 12578,
pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1'
chicago: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and
Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15.
LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1.'
ieee: 'K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks
in private contact tracing,” in Progress in Cryptology, Bangalore, India,
2020, vol. 12578, pp. 3–15.'
ista: 'Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks
in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference
on Cryptology in IndiaLNCS vol. 12578, 3–15.'
mla: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay
Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578,
Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.'
short: K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
conference:
end_date: 2020-12-16
location: Bangalore, India
name: 'INDOCRYPT: International Conference on Cryptology in India'
start_date: 2020-12-13
date_created: 2021-01-03T23:01:23Z
date_published: 2020-12-08T00:00:00Z
date_updated: 2026-04-16T09:33:26Z
day: '08'
department:
- _id: KrPi
doi: 10.1007/978-3-030-65277-7_1
ec_funded: 1
external_id:
isi:
- '000927592800001'
intvolume: ' 12578'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2020/418
month: '12'
oa: 1
oa_version: Preprint
page: 3-15
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: Progress in Cryptology
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030652760'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: 'Delayed authentication: Preventing replay and relay attacks in private contact
tracing'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12578
year: '2020'
...
---
_id: '8322'
abstract:
- lang: eng
text: "Reverse firewalls were introduced at Eurocrypt 2015 by Miro-nov and Stephens-Davidowitz,
as a method for protecting cryptographic protocols against attacks on the devices
of the honest parties. In a nutshell: a reverse firewall is placed outside of
a device and its goal is to “sanitize” the messages sent by it, in such a way
that a malicious device cannot leak its secrets to the outside world. It is typically
assumed that the cryptographic devices are attacked in a “functionality-preserving
way” (i.e. informally speaking, the functionality of the protocol remains unchanged
under this attacks). In their paper, Mironov and Stephens-Davidowitz construct
a protocol for passively-secure two-party computations with firewalls, leaving
extension of this result to stronger models as an open question.\r\nIn this paper,
we address this problem by constructing a protocol for secure computation with
firewalls that has two main advantages over the original protocol from Eurocrypt
2015. Firstly, it is a multiparty computation protocol (i.e. it works for an arbitrary
number n of the parties, and not just for 2). Secondly, it is secure in much stronger
corruption settings, namely in the active corruption model. More precisely: we
consider an adversary that can fully corrupt up to \U0001D45B−1 parties, while
the remaining parties are corrupt in a functionality-preserving way.\r\nOur core
techniques are: malleable commitments and malleable non-interactive zero-knowledge,
which in particular allow us to create a novel protocol for multiparty augmented
coin-tossing into the well with reverse firewalls (that is based on a protocol
of Lindell from Crypto 2001)."
acknowledgement: We would like to thank the anonymous reviewers for their helpful
comments and suggestions. The work was initiated while the first author was in IIT
Madras, India. Part of this work was done while the author was visiting the University
of Warsaw. This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(682815 - TOCNeT) and from the Foundation for Polish Science under grant TEAM/2016-1/4
founded within the UE 2014–2020 Smart Growth Operational Program. The last author
was supported by the Independent Research Fund Denmark project BETHE and the Concordium
Blockchain Research Center, Aarhus University, Denmark.
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: Stefan
full_name: Dziembowski, Stefan
last_name: Dziembowski
- first_name: Jesper Buus
full_name: Nielsen, Jesper Buus
last_name: Nielsen
citation:
ama: 'Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs.
In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762.
doi:10.1007/978-3-030-56880-1_26'
apa: 'Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs.
In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa
Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26'
chicago: Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.”
In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature,
2020. https://doi.org/10.1007/978-3-030-56880-1_26.
ieee: S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,”
in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States,
2020, vol. 12171, pp. 732–762.
ista: 'Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs.
Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology
Conference, LNCS, vol. 12171, 732–762.'
mla: Chakraborty, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.”
Advances in Cryptology – CRYPTO 2020, vol. 12171, Springer Nature, 2020,
pp. 732–62, doi:10.1007/978-3-030-56880-1_26.
short: S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology
– CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
conference:
end_date: 2020-08-21
location: Santa Barbara, CA, United States
name: 'CRYPTO: Annual International Cryptology Conference'
start_date: 2020-08-17
date_created: 2020-08-30T22:01:12Z
date_published: 2020-08-10T00:00:00Z
date_updated: 2026-04-16T09:31:34Z
day: '10'
department:
- _id: KrPi
doi: 10.1007/978-3-030-56880-1_26
ec_funded: 1
external_id:
isi:
- '001415325700026'
intvolume: ' 12171'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2019/1317
month: '08'
oa: 1
oa_version: Preprint
page: 732-762
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: Advances in Cryptology – CRYPTO 2020
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030568795'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reverse firewalls for actively secure MPCs
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12171
year: '2020'
...
---
_id: '9103'
abstract:
- lang: eng
text: 'We introduce LRT-NG, a set of techniques and an associated toolset that computes
a reachtube (an over-approximation of the set of reachable states over a given
time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the
state-of-the-art Langrangian Reachability and its associated tool LRT. From a
theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses
for the first time an analytically computed metric for the propagated ball which
is proven to minimize the ball’s volume. We emphasize that the metric computation
is the centerpiece of all bloating-based techniques. Secondly, it computes the
next reachset as the intersection of two balls: one based on the Cartesian metric
and the other on the new metric. While the two metrics were previously considered
opposing approaches, their joint use considerably tightens the reachtubes. Thirdly,
it avoids the "wrapping effect" associated with the validated integration of the
center of the reachset, by optimally absorbing the interval approximation in the
radius of the next ball. From a tool-development perspective, LRT-NG is superior
to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD.
This required the implementation of the Lohner method and a Runge-Kutta time-propagation
method. Secondly, it has an improved interface, allowing the input model and initial
conditions to be provided as external input files. Our experiments on a comprehensive
set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance
compared to LRT, CAPD, and Flow*.'
acknowledgement: "The authors would like to thank Ramin Hasani and Guillaume Berger
for intellectual discussions about the research which lead to the generation of
new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant
Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832
and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially
supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Sophie
full_name: Gruenbacher, Sophie
last_name: Gruenbacher
- first_name: Jacek
full_name: Cyranka, Jacek
last_name: Cyranka
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Md Ariful
full_name: Islam, Md Ariful
last_name: Islam
- first_name: Scott A.
full_name: Smolka, Scott A.
last_name: Smolka
- first_name: Radu
full_name: Grosu, Radu
last_name: Grosu
citation:
ama: 'Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian
reachtubes: The next generation. In: Proceedings of the 59th IEEE Conference
on Decision and Control. Vol 2020. IEEE; 2020:1556-1563. doi:10.1109/CDC42340.2020.9304042'
apa: 'Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &
Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings
of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563).
Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042'
chicago: 'Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam,
Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.”
In Proceedings of the 59th IEEE Conference on Decision and Control, 2020:1556–63.
IEEE, 2020. https://doi.org/10.1109/CDC42340.2020.9304042.'
ieee: 'S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R.
Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the
59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South),
2020, vol. 2020, pp. 1556–1563.'
ista: 'Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020.
Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference
on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.'
mla: 'Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.”
Proceedings of the 59th IEEE Conference on Decision and Control, vol. 2020,
IEEE, 2020, pp. 1556–63, doi:10.1109/CDC42340.2020.9304042.'
short: S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu,
in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020,
pp. 1556–1563.
conference:
end_date: 2020-12-18
location: Jeju Islang, Korea (South)
name: 'CDC: Conference on Decision and Control'
start_date: 2020-12-14
date_created: 2021-02-07T23:01:14Z
date_published: 2020-12-14T00:00:00Z
date_updated: 2026-04-16T09:34:59Z
day: '14'
department:
- _id: ToHe
doi: 10.1109/CDC42340.2020.9304042
external_id:
arxiv:
- '2012.07458'
intvolume: ' 2020'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2012.07458
month: '12'
oa: 1
oa_version: Preprint
page: 1556-1563
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 59th IEEE Conference on Decision and Control
publication_identifier:
isbn:
- '9781728174471'
issn:
- 0743-1546
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Lagrangian reachtubes: The next generation'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 2020
year: '2020'
...
---
_id: '8194'
abstract:
- lang: eng
text: 'Fixed-point arithmetic is a popular alternative to floating-point arithmetic
on embedded systems. Existing work on the verification of fixed-point programs
relies on custom formalizations of fixed-point arithmetic, which makes it hard
to compare the described techniques or reuse the implementations. In this paper,
we address this issue by proposing and formalizing an SMT theory of fixed-point
arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point
theory, and provide formal semantics for it based on rational arithmetic. We also
describe two decision procedures for this theory: one based on the theory of bit-vectors
and the other on the theory of reals. We implement the two decision procedures,
and evaluate our implementations using existing mature SMT solvers on a benchmark
suite we created. Finally, we perform a case study of using the theory we propose
to verify properties of quantized neural networks.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
full_name: Baranowski, Marek
last_name: Baranowski
- first_name: Shaobo
full_name: He, Shaobo
last_name: He
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Thanh Son
full_name: Nguyen, Thanh Son
last_name: Nguyen
- first_name: Zvonimir
full_name: Rakamarić, Zvonimir
last_name: Rakamarić
citation:
ama: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point
arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31.
doi:10.1007/978-3-030-51074-9_2'
apa: 'Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020).
An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166,
pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2'
chicago: Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir
Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning,
12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.
ieee: M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT
theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France,
2020, vol. 12166, pp. 13–31.
ista: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory
of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference
on Automated Reasoning, LNCS, vol. 12166, 13–31.'
mla: Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated
Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
short: M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated
Reasoning, Springer Nature, 2020, pp. 13–31.
conference:
end_date: 2020-07-04
location: Paris, France
name: 'IJCAR: International Joint Conference on Automated Reasoning'
start_date: 2020-07-01
date_created: 2020-08-02T22:00:59Z
date_published: 2020-06-24T00:00:00Z
date_updated: 2026-04-16T09:29:42Z
day: '24'
department:
- _id: ToHe
doi: 10.1007/978-3-030-51074-9_2
external_id:
isi:
- '000884318000002'
intvolume: ' 12166'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-030-51074-9_2
month: '06'
oa: 1
oa_version: Published Version
page: 13-31
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: Automated Reasoning
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030510732'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: An SMT theory of fixed-point arithmetic
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12166
year: '2020'
...
---
_id: '7684'
article_processing_charge: No
article_type: original
author:
- first_name: Igor
full_name: Gridchyn, Igor
id: 4B60654C-F248-11E8-B48F-1D18A9856A87
last_name: Gridchyn
orcid: 0000-0002-1807-1929
- first_name: Philipp
full_name: Schönenberger, Philipp
id: 3B9D816C-F248-11E8-B48F-1D18A9856A87
last_name: Schönenberger
- first_name: Joseph
full_name: O'Neill, Joseph
id: 426376DC-F248-11E8-B48F-1D18A9856A87
last_name: O'Neill
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. Assembly-specific disruption
of hippocampal replay leads to selective memory deficit. Neuron. 2020;106(2):291-300.e6.
doi:10.1016/j.neuron.2020.01.021
apa: Gridchyn, I., Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2020).
Assembly-specific disruption of hippocampal replay leads to selective memory deficit.
Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.01.021
chicago: Gridchyn, Igor, Philipp Schönenberger, Joseph O’Neill, and Jozsef L Csicsvari.
“Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory
Deficit.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.01.021.
ieee: I. Gridchyn, P. Schönenberger, J. O’Neill, and J. L. Csicsvari, “Assembly-specific
disruption of hippocampal replay leads to selective memory deficit,” Neuron,
vol. 106, no. 2. Elsevier, p. 291–300.e6, 2020.
ista: Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. 2020. Assembly-specific
disruption of hippocampal replay leads to selective memory deficit. Neuron. 106(2),
291–300.e6.
mla: Gridchyn, Igor, et al. “Assembly-Specific Disruption of Hippocampal Replay
Leads to Selective Memory Deficit.” Neuron, vol. 106, no. 2, Elsevier,
2020, p. 291–300.e6, doi:10.1016/j.neuron.2020.01.021.
short: I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020)
291–300.e6.
date_created: 2020-04-26T22:00:45Z
date_published: 2020-04-22T00:00:00Z
date_updated: 2026-04-16T09:29:06Z
day: '22'
department:
- _id: JoCs
doi: 10.1016/j.neuron.2020.01.021
ec_funded: 1
external_id:
isi:
- '000528268200013'
pmid:
- '32070475'
intvolume: ' 106'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.neuron.2020.01.021
month: '04'
oa: 1
oa_version: Published Version
page: 291-300.e6
pmid: 1
project:
- _id: 257A4776-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281511'
name: Memory-related information processing in neuronal circuits of the hippocampus
and entorhinal cortex
publication: Neuron
publication_identifier:
eissn:
- 1097-4199
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/librarian-of-memory/
scopus_import: '1'
status: public
title: Assembly-specific disruption of hippocampal replay leads to selective memory
deficit
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 106
year: '2020'
...