---
_id: '10668'
abstract:
- lang: eng
  text: 'Robustness to variations in lighting conditions is a key objective for any
    deep vision system. To this end, our paper extends the receptive field of convolutional
    neural networks with two residual components, ubiquitous in the visual processing
    system of vertebrates: On-center and off-center pathways, with an excitatory center
    and inhibitory surround; OOCS for short. The On-center pathway is excited by the
    presence of a light stimulus in its center, but not in its surround, whereas the
    Off-center pathway is excited by the absence of a light stimulus in its center,
    but not in its surround. We design OOCS pathways via a difference of Gaussians,
    with their variance computed analytically from the size of the receptive fields.
    OOCS pathways complement each other in their response to light stimuli, ensuring
    this way a strong edge-detection capability, and as a result an accurate and robust
    inference under challenging lighting conditions. We provide extensive empirical
    evidence showing that networks supplied with OOCS pathways gain accuracy and illumination-robustness
    from the novel edge representation, compared to other baselines.'
acknowledgement: Z.B. is supported by the Doctoral College Resilient Embedded Systems,
  which is run jointly by the TU Wien’s Faculty of Informatics and the UAS Technikum
  Wien. R.G. is partially supported by the Horizon 2020 Era-Permed project Persorad,
  and ECSEL Project grant no. 783163 (iDev40). R.H and D.R were partially supported
  by Boeing and MIT. M.L. is supported in part by the Austrian Science Fund (FWF)
  under grant Z211-N23 (Wittgenstein Award).
alternative_title:
- PMLR
article_processing_charge: No
author:
- first_name: Zahra
  full_name: Babaiee, Zahra
  last_name: Babaiee
- first_name: Ramin
  full_name: Hasani, Ramin
  last_name: Hasani
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Daniela
  full_name: Rus, Daniela
  last_name: Rus
- first_name: Radu
  full_name: Grosu, Radu
  last_name: Grosu
citation:
  ama: 'Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive
    fields for accurate and robust image classification. In: <i>Proceedings of the
    38th International Conference on Machine Learning</i>. Vol 139. ML Research Press;
    2021:478-489.'
  apa: 'Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &#38; Grosu, R. (2021). On-off
    center-surround receptive fields for accurate and robust image classification.
    In <i>Proceedings of the 38th International Conference on Machine Learning</i>
    (Vol. 139, pp. 478–489). Virtual: ML Research Press.'
  chicago: Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu.
    “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.”
    In <i>Proceedings of the 38th International Conference on Machine Learning</i>,
    139:478–89. ML Research Press, 2021.
  ieee: Z. Babaiee, R. Hasani, M. Lechner, D. Rus, and R. Grosu, “On-off center-surround
    receptive fields for accurate and robust image classification,” in <i>Proceedings
    of the 38th International Conference on Machine Learning</i>, Virtual, 2021, vol.
    139, pp. 478–489.
  ista: 'Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. 2021. On-off center-surround
    receptive fields for accurate and robust image classification. Proceedings of
    the 38th International Conference on Machine Learning. ML: Machine Learning, PMLR,
    vol. 139, 478–489.'
  mla: Babaiee, Zahra, et al. “On-off Center-Surround Receptive Fields for Accurate
    and Robust Image Classification.” <i>Proceedings of the 38th International Conference
    on Machine Learning</i>, vol. 139, ML Research Press, 2021, pp. 478–89.
  short: Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of
    the 38th International Conference on Machine Learning, ML Research Press, 2021,
    pp. 478–489.
conference:
  end_date: 2021-07-24
  location: Virtual
  name: 'ML: Machine Learning'
  start_date: 2021-07-18
date_created: 2022-01-25T15:46:33Z
date_published: 2021-07-01T00:00:00Z
date_updated: 2022-05-04T15:02:27Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
file:
- access_level: open_access
  checksum: d30eae62561bb517d9f978437d7677db
  content_type: application/pdf
  creator: mlechner
  date_created: 2022-01-26T07:38:32Z
  date_updated: 2022-01-26T07:38:32Z
  file_id: '10681'
  file_name: babaiee21a.pdf
  file_size: 4246561
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T07:38:32Z
has_accepted_license: '1'
intvolume: '       139'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/3.0/
main_file_link:
- open_access: '1'
  url: https://proceedings.mlr.press/v139/babaiee21a
month: '07'
oa: 1
oa_version: Published Version
page: 478-489
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the 38th International Conference on Machine Learning
publication_identifier:
  issn:
  - 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
status: public
title: On-off center-surround receptive fields for accurate and robust image classification
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
    3.0)
  short: CC BY-NC-ND (3.0)
type: conference
user_id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
volume: 139
year: '2021'
...
---
_id: '10669'
abstract:
- lang: eng
  text: "We show that Neural ODEs, an emerging class of timecontinuous neural networks,
    can be verified by solving a set of global-optimization problems. For this purpose,
    we introduce Stochastic Lagrangian Reachability (SLR), an\r\nabstraction-based
    technique for constructing a tight Reachtube (an over-approximation of the set
    of reachable states\r\nover a given time-horizon), and provide stochastic guarantees
    in the form of confidence intervals for the Reachtube bounds. SLR inherently avoids
    the infamous wrapping effect (accumulation of over-approximation errors) by performing
    local optimization steps to expand safe regions instead of repeatedly forward-propagating
    them as is done by deterministic reachability methods. To enable fast local optimizations,
    we introduce a novel forward-mode adjoint sensitivity method to compute gradients
    without the need for backpropagation. Finally, we establish asymptotic and non-asymptotic
    convergence rates for SLR."
acknowledgement: "The authors would like to thank the reviewers for their insightful
  comments. RH and RG were partially supported by\r\nHorizon-2020 ECSEL Project grant
  No. 783163 (iDev40). RH was partially supported by Boeing. ML was supported\r\nin
  part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).
  SG was funded by FWF\r\nproject W1255-N23. JC was partially supported by NAWA Polish
  Returns grant PPN/PPO/2018/1/00029. SS was supported by NSF awards DCL-2040599,
  CCF-1918225, and CPS-1446832.\r\n"
alternative_title:
- Technical Tracks
article_processing_charge: No
arxiv: 1
author:
- first_name: Sophie
  full_name: Grunbacher, Sophie
  last_name: Grunbacher
- first_name: Ramin
  full_name: Hasani, Ramin
  last_name: Hasani
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Jacek
  full_name: Cyranka, Jacek
  last_name: Cyranka
- first_name: Scott A
  full_name: Smolka, Scott A
  last_name: Smolka
- first_name: Radu
  full_name: Grosu, Radu
  last_name: Grosu
citation:
  ama: 'Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification
    of neural ODEs with stochastic guarantees. In: <i>Proceedings of the AAAI Conference
    on Artificial Intelligence</i>. Vol 35. AAAI Press; 2021:11525-11535.'
  apa: 'Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &#38;
    Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees.
    In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (Vol.
    35, pp. 11525–11535). Virtual: AAAI Press.'
  chicago: Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott
    A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic
    Guarantees.” In <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>,
    35:11525–35. AAAI Press, 2021.
  ieee: S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu,
    “On the verification of neural ODEs with stochastic guarantees,” in <i>Proceedings
    of the AAAI Conference on Artificial Intelligence</i>, Virtual, 2021, vol. 35,
    no. 13, pp. 11525–11535.
  ista: 'Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On
    the verification of neural ODEs with stochastic guarantees. Proceedings of the
    AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement
    of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535.'
  mla: Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic
    Guarantees.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>,
    vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
  short: S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu,
    in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press,
    2021, pp. 11525–11535.
conference:
  end_date: 2021-02-09
  location: Virtual
  name: 'AAAI: Association for the Advancement of Artificial Intelligence'
  start_date: 2021-02-02
date_created: 2022-01-25T15:47:20Z
date_published: 2021-05-28T00:00:00Z
date_updated: 2022-05-24T06:33:14Z
day: '28'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
external_id:
  arxiv:
  - '2012.08863'
file:
- access_level: open_access
  checksum: 468d07041e282a1d46ffdae92f709630
  content_type: application/pdf
  creator: mlechner
  date_created: 2022-01-26T07:38:08Z
  date_updated: 2022-01-26T07:38:08Z
  file_id: '10680'
  file_name: 17372-Article Text-20866-1-2-20210518.pdf
  file_size: 286906
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T07:38:08Z
has_accepted_license: '1'
intvolume: '        35'
issue: '13'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://ojs.aaai.org/index.php/AAAI/article/view/17372
month: '05'
oa: 1
oa_version: Published Version
page: 11525-11535
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the AAAI Conference on Artificial Intelligence
publication_identifier:
  eissn:
  - 2374-3468
  isbn:
  - 978-1-57735-866-4
  issn:
  - 2159-5399
publication_status: published
publisher: AAAI Press
quality_controlled: '1'
status: public
title: On the verification of neural ODEs with stochastic guarantees
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2021'
...
---
_id: '10670'
abstract:
- lang: eng
  text: "Imitation learning enables high-fidelity, vision-based learning of policies
    within rich, photorealistic environments. However, such techniques often rely
    on traditional discrete-time neural models and face difficulties in generalizing
    to domain shifts by failing to account for the causal relationships between the
    agent and the environment. In this paper, we propose a theoretical and experimental
    framework for learning causal representations using continuous-time neural networks,
    specifically over their discrete-time counterparts. We evaluate our method in
    the context of visual-control learning of drones over a series of complex tasks,
    ranging from short- and long-term navigation, to chasing static and dynamic objects
    through photorealistic environments. Our results demonstrate that causal continuous-time\r\ndeep
    models can perform robust navigation tasks, where advanced recurrent models fail.
    These models learn complex causal control representations directly from raw visual
    inputs and scale to solve a variety of tasks using imitation learning."
acknowledgement: "C.V., R.H. A.A. and D.R. are partially supported by Boeing and MIT.
  A.A. is supported by the National Science Foundation (NSF) Graduate Research Fellowship
  Program. M.L. is supported in part by the Austrian Science Fund (FWF) under grant
  Z211-N23 (Wittgenstein Award). Research was sponsored by the United States Air Force
  Research Laboratory and the United States Air Force Artificial Intelligence Accelerator
  and was accomplished under Cooperative Agreement Number FA8750-19-2-1000. The views
  and conclusions contained in this document are those of the authors\r\nand should
  not be interpreted as representing the official policies, either expressed or implied,
  of the United States Air Force or the U.S. Government. The U.S. Government is authorized
  to reproduce and distribute reprints for Government purposes notwithstanding any
  copyright notation herein.\r\n"
alternative_title:
- ' Advances in Neural Information Processing Systems'
article_processing_charge: No
arxiv: 1
author:
- first_name: Charles J
  full_name: Vorbach, Charles J
  last_name: Vorbach
- first_name: Ramin
  full_name: Hasani, Ramin
  last_name: Hasani
- first_name: Alexander
  full_name: Amini, Alexander
  last_name: Amini
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Daniela
  full_name: Rus, Daniela
  last_name: Rus
citation:
  ama: 'Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time
    neural networks. In: <i>35th Conference on Neural Information Processing Systems</i>.
    ; 2021.'
  apa: Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &#38; Rus, D. (2021). Causal
    navigation by continuous-time neural networks. In <i>35th Conference on Neural
    Information Processing Systems</i>. Virtual.
  chicago: Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and
    Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In <i>35th
    Conference on Neural Information Processing Systems</i>, 2021.
  ieee: C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation
    by continuous-time neural networks,” in <i>35th Conference on Neural Information
    Processing Systems</i>, Virtual, 2021.
  ista: 'Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 2021. Causal navigation
    by continuous-time neural networks. 35th Conference on Neural Information Processing
    Systems. NeurIPS: Neural Information Processing Systems,  Advances in Neural Information
    Processing Systems, .'
  mla: Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.”
    <i>35th Conference on Neural Information Processing Systems</i>, 2021.
  short: C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference
    on Neural Information Processing Systems, 2021.
conference:
  end_date: 2021-12-10
  location: Virtual
  name: 'NeurIPS: Neural Information Processing Systems'
  start_date: 2021-12-06
date_created: 2022-01-25T15:47:50Z
date_published: 2021-12-01T00:00:00Z
date_updated: 2022-01-26T14:33:31Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
external_id:
  arxiv:
  - '2106.08314'
file:
- access_level: open_access
  checksum: be81f0ade174a8c9b2d4fe09590b2021
  content_type: application/pdf
  creator: mlechner
  date_created: 2022-01-26T07:37:24Z
  date_updated: 2022-01-26T07:37:24Z
  file_id: '10679'
  file_name: NeurIPS-2021-causal-navigation-by-continuous-time-neural-networks-Paper.pdf
  file_size: 6841228
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T07:37:24Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://proceedings.neurips.cc/paper/2021/hash/67ba02d73c54f0b83c05507b7fb7267f-Abstract.html
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: 35th Conference on Neural Information Processing Systems
publication_status: published
quality_controlled: '1'
status: public
title: Causal navigation by continuous-time neural networks
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
    3.0)
  short: CC BY-NC-ND (3.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '10671'
abstract:
- lang: eng
  text: We introduce a new class of time-continuous recurrent neural network models.
    Instead of declaring a learning system’s dynamics by implicit nonlinearities,
    we construct networks of linear first-order dynamical systems modulated via nonlinear
    interlinked gates. The resulting models represent dynamical systems with varying
    (i.e., liquid) time-constants coupled to their hidden state, with outputs being
    computed by numerical differential equation solvers. These neural networks exhibit
    stable and bounded behavior, yield superior expressivity within the family of
    neural ordinary differential equations, and give rise to improved performance
    on time-series prediction tasks. To demonstrate these properties, we first take
    a theoretical approach to find bounds over their dynamics, and compute their expressive
    power by the trajectory length measure in a latent trajectory space. We then conduct
    a series of time-series prediction experiments to manifest the approximation capability
    of Liquid Time-Constant Networks (LTCs) compared to classical and modern RNNs.
acknowledgement: "R.H. and D.R. are partially supported by Boeing. R.H. and R.G. were
  partially supported by the Horizon-2020 ECSEL\r\nProject grant No. 783163 (iDev40).
  M.L. was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23
  (Wittgenstein Award). A.A. is supported by the National Science Foundation (NSF)
  Graduate Research Fellowship Program. This research work is partially drawn from
  the PhD dissertation of R.H."
alternative_title:
- Technical Tracks
article_processing_charge: No
arxiv: 1
author:
- first_name: Ramin
  full_name: Hasani, Ramin
  last_name: Hasani
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Alexander
  full_name: Amini, Alexander
  last_name: Amini
- first_name: Daniela
  full_name: Rus, Daniela
  last_name: Rus
- first_name: Radu
  full_name: Grosu, Radu
  last_name: Grosu
citation:
  ama: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks.
    In: <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Vol
    35. AAAI Press; 2021:7657-7666.'
  apa: 'Hasani, R., Lechner, M., Amini, A., Rus, D., &#38; Grosu, R. (2021). Liquid
    time-constant networks. In <i>Proceedings of the AAAI Conference on Artificial
    Intelligence</i> (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.'
  chicago: Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu
    Grosu. “Liquid Time-Constant Networks.” In <i>Proceedings of the AAAI Conference
    on Artificial Intelligence</i>, 35:7657–66. AAAI Press, 2021.
  ieee: R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant
    networks,” in <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>,
    Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.
  ista: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2021. Liquid time-constant
    networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI:
    Association for the Advancement of Artificial Intelligence, Technical Tracks,
    vol. 35, 7657–7666.'
  mla: Hasani, Ramin, et al. “Liquid Time-Constant Networks.” <i>Proceedings of the
    AAAI Conference on Artificial Intelligence</i>, vol. 35, no. 9, AAAI Press, 2021,
    pp. 7657–66.
  short: R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the
    AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
conference:
  end_date: 2021-02-09
  location: Virtual
  name: 'AAAI: Association for the Advancement of Artificial Intelligence'
  start_date: 2021-02-02
date_created: 2022-01-25T15:48:36Z
date_published: 2021-05-28T00:00:00Z
date_updated: 2022-05-24T06:36:54Z
day: '28'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
external_id:
  arxiv:
  - '2006.04439'
file:
- access_level: open_access
  checksum: 0f06995fba06dbcfa7ed965fc66027ff
  content_type: application/pdf
  creator: mlechner
  date_created: 2022-01-26T07:36:03Z
  date_updated: 2022-01-26T07:36:03Z
  file_id: '10678'
  file_name: 16936-Article Text-20430-1-2-20210518 (1).pdf
  file_size: 4302669
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T07:36:03Z
has_accepted_license: '1'
intvolume: '        35'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://ojs.aaai.org/index.php/AAAI/article/view/16936
month: '05'
oa: 1
oa_version: Published Version
page: 7657-7666
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the AAAI Conference on Artificial Intelligence
publication_identifier:
  eissn:
  - 2374-3468
  isbn:
  - 978-1-57735-866-4
  issn:
  - 2159-5399
publication_status: published
publisher: AAAI Press
quality_controlled: '1'
status: public
title: Liquid time-constant networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2021'
...
---
_id: '10694'
abstract:
- lang: eng
  text: 'In a two-player zero-sum graph game the players move a token throughout a
    graph to produce an infinite path, which determines the winner or payoff of the
    game. Traditionally, the players alternate turns in moving the token. In bidding
    games, however, the players have budgets, and in each turn, we hold an “auction”
    (bidding) to determine which player moves the token: both players simultaneously
    submit bids and the higher bidder moves the token. The bidding mechanisms differ
    in their payment schemes. Bidding games were largely studied with variants of
    first-price bidding in which only the higher bidder pays his bid. We focus on
    all-pay bidding, where both players pay their bids. Finite-duration all-pay bidding
    games were studied and shown to be technically more challenging than their first-price
    counterparts. We study for the first time, infinite-duration all-pay bidding games.
    Our most interesting results are for mean-payoff objectives: we portray a complete
    picture for games played on strongly-connected graphs. We study both pure (deterministic)
    and mixed (probabilistic) strategies and completely characterize the optimal and
    almost-sure (with probability 1) payoffs the players can respectively guarantee.
    We show that mean-payoff games under all-pay bidding exhibit the intriguing mathematical
    properties of their first-price counterparts; namely, an equivalence with random-turn
    games in which in each turn, the player who moves is selected according to a (biased)
    coin toss. The equivalences for all-pay bidding are more intricate and unexpected
    than for first-price bidding.'
acknowledgement: This research was supported in part by the Austrian Science Fund
  (FWF) under grant Z211-N23 (Wittgenstein Award), ERC CoG 863818 (FoRM-SMArt), and
  by the European Union's Horizon 2020 research and innovation programme under the
  Marie Skłodowska-Curie Grant Agreement No. 665385.
article_processing_charge: No
arxiv: 1
author:
- first_name: Guy
  full_name: Avni, Guy
  id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
  last_name: Avni
  orcid: 0000-0001-5588-8287
- first_name: Ismael R
  full_name: Jecker, Ismael R
  id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425
  last_name: Jecker
- first_name: Dorde
  full_name: Zikelic, Dorde
  id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
  last_name: Zikelic
  orcid: 0000-0002-4681-1699
citation:
  ama: 'Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In:
    Marx D, ed. <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>.
    Society for Industrial and Applied Mathematics; 2021:617-636. doi:<a href="https://doi.org/10.1137/1.9781611976465.38">10.1137/1.9781611976465.38</a>'
  apa: 'Avni, G., Jecker, I. R., &#38; Zikelic, D. (2021). Infinite-duration all-pay
    bidding games. In D. Marx (Ed.), <i>Proceedings of the 2021 ACM-SIAM Symposium
    on Discrete Algorithms</i> (pp. 617–636). Virtual: Society for Industrial and
    Applied Mathematics. <a href="https://doi.org/10.1137/1.9781611976465.38">https://doi.org/10.1137/1.9781611976465.38</a>'
  chicago: Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay
    Bidding Games.” In <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>,
    edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics,
    2021. <a href="https://doi.org/10.1137/1.9781611976465.38">https://doi.org/10.1137/1.9781611976465.38</a>.
  ieee: G. Avni, I. R. Jecker, and D. Zikelic, “Infinite-duration all-pay bidding
    games,” in <i>Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>,
    Virtual, 2021, pp. 617–636.
  ista: 'Avni G, Jecker IR, Zikelic D. 2021. Infinite-duration all-pay bidding games.
    Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium
    on Discrete Algorithms, 617–636.'
  mla: Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.” <i>Proceedings
    of the 2021 ACM-SIAM Symposium on Discrete Algorithms</i>, edited by Dániel Marx,
    Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:<a href="https://doi.org/10.1137/1.9781611976465.38">10.1137/1.9781611976465.38</a>.
  short: G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the
    2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied
    Mathematics, 2021, pp. 617–636.
conference:
  end_date: 2021-01-13
  location: Virtual
  name: 'SODA: Symposium on Discrete Algorithms'
  start_date: 2021-01-10
date_created: 2022-01-27T12:11:23Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2025-07-14T09:10:12Z
day: '01'
department:
- _id: GradSch
- _id: KrCh
doi: 10.1137/1.9781611976465.38
ec_funded: 1
editor:
- first_name: Dániel
  full_name: Marx, Dániel
  last_name: Marx
external_id:
  arxiv:
  - '2005.06636'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2005.06636
month: '01'
oa: 1
oa_version: Preprint
page: 617-636
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
publication: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
  isbn:
  - 978-1-61197-646-5
publication_status: published
publisher: Society for Industrial and Applied Mathematics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Infinite-duration all-pay bidding games
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '11458'
abstract:
- lang: eng
  text: 'The increasing computational requirements of deep neural networks (DNNs)
    have led to significant interest in obtaining DNN models that are sparse, yet
    accurate. Recent work has investigated the even harder case of sparse training,
    where the DNN weights are, for as much as possible, already sparse to reduce computational
    costs during training. Existing sparse training methods are often empirical and
    can have lower accuracy relative to the dense baseline. In this paper, we present
    a general approach called Alternating Compressed/DeCompressed (AC/DC) training
    of DNNs, demonstrate convergence for a variant of the algorithm, and show that
    AC/DC outperforms existing sparse training methods in accuracy at similar computational
    budgets; at high sparsity levels, AC/DC even outperforms existing methods that
    rely on accurate pre-trained dense models. An important property of AC/DC is that
    it allows co-training of dense and sparse models, yielding accurate sparse–dense
    model pairs at the end of the training process. This is useful in practice, where
    compressed variants may be desirable for deployment in resource-constrained settings
    without re-doing the entire training flow, and also provides us with insights
    into the accuracy gap between dense and compressed models. The code is available
    at: https://github.com/IST-DASLab/ACDC.'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: This project has received funding from the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation programme
  (grant agreement No 805223 ScaleML), and a CNRS PEPS grant. This research was supported
  by the Scientific Service Units (SSU) of IST Austria through resources provided
  by Scientific Computing (SciComp). We would also like to thank Christoph Lampert
  for his feedback on an earlier version of this work, as well as for providing hardware
  for the Transformer-XL experiments.
article_processing_charge: No
arxiv: 1
author:
- first_name: Elena-Alexandra
  full_name: Peste, Elena-Alexandra
  id: 32D78294-F248-11E8-B48F-1D18A9856A87
  last_name: Peste
- first_name: Eugenia B
  full_name: Iofinova, Eugenia B
  id: f9a17499-f6e0-11ea-865d-fdf9a3f77117
  last_name: Iofinova
  orcid: 0000-0002-7778-3221
- first_name: Adrian
  full_name: Vladu, Adrian
  last_name: Vladu
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed
    training of deep neural networks. In: <i>35th Conference on Neural Information
    Processing Systems</i>. Vol 34. Curran Associates; 2021:8557-8570.'
  apa: 'Peste, E.-A., Iofinova, E. B., Vladu, A., &#38; Alistarh, D.-A. (2021). AC/DC:
    Alternating Compressed/DeCompressed training of deep neural networks. In <i>35th
    Conference on Neural Information Processing Systems</i> (Vol. 34, pp. 8557–8570).
    Virtual, Online: Curran Associates.'
  chicago: 'Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian
    Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural
    Networks.” In <i>35th Conference on Neural Information Processing Systems</i>,
    34:8557–70. Curran Associates, 2021.'
  ieee: 'E.-A. Peste, E. B. Iofinova, A. Vladu, and D.-A. Alistarh, “AC/DC: Alternating
    Compressed/DeCompressed training of deep neural networks,” in <i>35th Conference
    on Neural Information Processing Systems</i>, Virtual, Online, 2021, vol. 34,
    pp. 8557–8570.'
  ista: 'Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed
    training of deep neural networks. 35th Conference on Neural Information Processing
    Systems. NeurIPS: Neural Information Processing Systems vol. 34, 8557–8570.'
  mla: 'Peste, Elena-Alexandra, et al. “AC/DC: Alternating Compressed/DeCompressed
    Training of Deep Neural Networks.” <i>35th Conference on Neural Information Processing
    Systems</i>, vol. 34, Curran Associates, 2021, pp. 8557–70.'
  short: E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference
    on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
conference:
  end_date: 2021-12-14
  location: Virtual, Online
  name: 'NeurIPS: Neural Information Processing Systems'
  start_date: 2021-12-06
date_created: 2022-06-20T12:11:53Z
date_published: 2021-12-06T00:00:00Z
date_updated: 2023-06-01T12:54:45Z
day: '6'
department:
- _id: GradSch
- _id: DaAl
ec_funded: 1
external_id:
  arxiv:
  - '2106.12379'
intvolume: '        34'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://proceedings.neurips.cc/paper/2021/file/48000647b315f6f00f913caa757a70b3-Paper.pdf
month: '12'
oa: 1
oa_version: Published Version
page: 8557-8570
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '805223'
  name: Elastic Coordination for Scalable Machine Learning
publication: 35th Conference on Neural Information Processing Systems
publication_identifier:
  isbn:
  - '9781713845393'
  issn:
  - 1049-5258
publication_status: published
publisher: Curran Associates
quality_controlled: '1'
related_material:
  record:
  - id: '13074'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'AC/DC: Alternating Compressed/DeCompressed training of deep neural networks'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 34
year: '2021'
...
---
_id: '8909'
abstract:
- lang: eng
  text: Spin qubits are considered to be among the most promising candidates for building
    a quantum processor. Group IV hole spin qubits have moved into the focus of interest
    due to the ease of operation and compatibility with Si technology. In addition,
    Ge offers the option for monolithic superconductor-semiconductor integration.
    Here we demonstrate a hole spin qubit operating at fields below 10 mT, the critical
    field of Al, by exploiting the large out-of-plane hole g-factors in planar Ge
    and by encoding the qubit into the singlet-triplet states of a double quantum
    dot. We observe electrically controlled X and Z-rotations with tunable frequencies
    exceeding 100 MHz and dephasing times of 1μs which we extend beyond 15μs with
    echo techniques. These results show that Ge hole singlet triplet qubits outperform
    their electronic Si and GaAs based counterparts in speed and coherence, respectively.
    In addition, they are on par with Ge single spin qubits, but can be operated at
    much lower fields underlining their potential for on chip integration with superconducting
    technologies.
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
acknowledgement: This research was supported by the Scientific Service Units of Institute
  of Science and Technology (IST) Austria through resources provided by the Miba Machine
  Shop and the nanofabrication facility, and was made possible with the support of
  the NOMIS Foundation. This project has received funding from the European Union’s
  Horizon 2020 research and innovation programme under Marie Sklodowska-Curie grant
  agreements no. 844511 and no. 75441, and by the Austrian Science Fund FWF-P 30207
  project. A.B. acknowledges support from the European Union Horizon 2020 FET project
  microSPIRE, no. 766955. M. Botifoll and J.A. acknowledge funding from Generalitat
  de Catalunya 2017 SGR 327. The Catalan Institute of Nanoscience and Nanotechnology
  (ICN2) is supported by the Severo Ochoa programme from the Spanish Ministery of
  Economy (MINECO) (grant no. SEV-2017-0706) and is funded by the Catalonian Research
  Centre (CERCA) Programme, Generalitat de Catalunya. Part of the present work has
  been performed within the framework of the Universitat Autónoma de Barcelona Materials
  Science PhD programme. Part of the HAADF scanning transmission electron microscopy
  was conducted in the Laboratorio de Microscopias Avanzadas at Instituto de Nanociencia
  de Aragon, Universidad de Zaragoza. ICN2 acknowledge support from the Spanish Superior
  Council of Scientific Research (CSIC) Research Platform on Quantum Technologies
  PTI-001. M.B. acknowledges funding from the Catalan Agency for Management of University
  and Research Grants (AGAUR) Generalitat de Catalunya formation of investigators
  (FI) PhD grant.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Daniel
  full_name: Jirovec, Daniel
  id: 4C473F58-F248-11E8-B48F-1D18A9856A87
  last_name: Jirovec
  orcid: 0000-0002-7197-4801
- first_name: Andrea C
  full_name: Hofmann, Andrea C
  id: 340F461A-F248-11E8-B48F-1D18A9856A87
  last_name: Hofmann
- first_name: Andrea
  full_name: Ballabio, Andrea
  last_name: Ballabio
- first_name: Philipp M.
  full_name: Mutter, Philipp M.
  last_name: Mutter
- first_name: Giulio
  full_name: Tavani, Giulio
  last_name: Tavani
- first_name: Marc
  full_name: Botifoll, Marc
  last_name: Botifoll
- first_name: Alessandro
  full_name: Crippa, Alessandro
  id: 1F2B21A2-F6E7-11E9-9B82-F7DBE5697425
  last_name: Crippa
  orcid: 0000-0002-2968-611X
- first_name: Josip
  full_name: Kukucka, Josip
  id: 3F5D8856-F248-11E8-B48F-1D18A9856A87
  last_name: Kukucka
- first_name: Oliver
  full_name: Sagi, Oliver
  id: 71616374-A8E9-11E9-A7CA-09ECE5697425
  last_name: Sagi
- first_name: Frederico
  full_name: Martins, Frederico
  id: 38F80F9A-1CB8-11EA-BC76-B49B3DDC885E
  last_name: Martins
  orcid: 0000-0003-2668-2401
- first_name: Jaime
  full_name: Saez Mollejo, Jaime
  id: e0390f72-f6e0-11ea-865d-862393336714
  last_name: Saez Mollejo
- first_name: Ivan
  full_name: Prieto Gonzalez, Ivan
  id: 2A307FE2-F248-11E8-B48F-1D18A9856A87
  last_name: Prieto Gonzalez
  orcid: 0000-0002-7370-5357
- first_name: Maksim
  full_name: Borovkov, Maksim
  id: 2ac7a0a2-3562-11eb-9256-fbd18ea55087
  last_name: Borovkov
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Daniel
  full_name: Chrastina, Daniel
  last_name: Chrastina
- first_name: Giovanni
  full_name: Isella, Giovanni
  last_name: Isella
- first_name: Georgios
  full_name: Katsaros, Georgios
  id: 38DB5788-F248-11E8-B48F-1D18A9856A87
  last_name: Katsaros
  orcid: 0000-0001-8342-202X
citation:
  ama: Jirovec D, Hofmann AC, Ballabio A, et al. A singlet triplet hole spin qubit
    in planar Ge. <i>Nature Materials</i>. 2021;20(8):1106–1112. doi:<a href="https://doi.org/10.1038/s41563-021-01022-2">10.1038/s41563-021-01022-2</a>
  apa: Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll,
    M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. <i>Nature
    Materials</i>. Springer Nature. <a href="https://doi.org/10.1038/s41563-021-01022-2">https://doi.org/10.1038/s41563-021-01022-2</a>
  chicago: Jirovec, Daniel, Andrea C Hofmann, Andrea Ballabio, Philipp M. Mutter,
    Giulio Tavani, Marc Botifoll, Alessandro Crippa, et al. “A Singlet Triplet Hole
    Spin Qubit in Planar Ge.” <i>Nature Materials</i>. Springer Nature, 2021. <a href="https://doi.org/10.1038/s41563-021-01022-2">https://doi.org/10.1038/s41563-021-01022-2</a>.
  ieee: D. Jirovec <i>et al.</i>, “A singlet triplet hole spin qubit in planar Ge,”
    <i>Nature Materials</i>, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021.
  ista: Jirovec D, Hofmann AC, Ballabio A, Mutter PM, Tavani G, Botifoll M, Crippa
    A, Kukucka J, Sagi O, Martins F, Saez Mollejo J, Prieto Gonzalez I, Borovkov M,
    Arbiol J, Chrastina D, Isella G, Katsaros G. 2021. A singlet triplet hole spin
    qubit in planar Ge. Nature Materials. 20(8), 1106–1112.
  mla: Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” <i>Nature
    Materials</i>, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:<a href="https://doi.org/10.1038/s41563-021-01022-2">10.1038/s41563-021-01022-2</a>.
  short: D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll,
    A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez,
    M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials
    20 (2021) 1106–1112.
date_created: 2020-12-02T10:50:47Z
date_published: 2021-08-01T00:00:00Z
date_updated: 2024-03-25T23:30:14Z
day: '01'
department:
- _id: GeKa
- _id: NanoFab
- _id: GradSch
doi: 10.1038/s41563-021-01022-2
ec_funded: 1
external_id:
  arxiv:
  - '2011.13755'
  isi:
  - '000657596400001'
intvolume: '        20'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2011.13755
month: '08'
oa: 1
oa_version: Preprint
page: 1106–1112
project:
- _id: 26A151DA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '844511'
  name: Majorana bound states in Ge/SiGe heterostructures
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 2641CE5E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P30207
  name: Hole spin orbit qubits in Ge quantum wells
- _id: 262116AA-B435-11E9-9278-68D0E5697425
  name: Hybrid Semiconductor - Superconductor Quantum Devices
publication: Nature Materials
publication_identifier:
  eissn:
  - 1476-4660
  issn:
  - 1476-1122
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/quantum-computing-with-holes/
  record:
  - id: '9323'
    relation: research_data
    status: public
  - id: '10058'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: A singlet triplet hole spin qubit in planar Ge
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 20
year: '2021'
...
---
_id: '8934'
abstract:
- lang: eng
  text: "In this thesis, we consider several of the most classical and fundamental
    problems in static analysis and formal verification, including invariant generation,
    reachability analysis, termination analysis of probabilistic programs, data-flow
    analysis, quantitative analysis of Markov chains and Markov decision processes,
    and the problem of data packing in cache management.\r\nWe use techniques from
    parameterized complexity theory, polyhedral geometry, and real algebraic geometry
    to significantly improve the state-of-the-art, in terms of both scalability and
    completeness guarantees, for the mentioned problems. In some cases, our results
    are the first theoretical improvements for the respective problems in two or three
    decades."
acknowledgement: 'The research was partially supported by an IBM PhD fellowship, a
  Facebook PhD fellowship, and DOC fellowship #24956 of the Austrian Academy of Sciences
  (OeAW).'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
citation:
  ama: Goharshady AK. Parameterized and algebro-geometric advances in static program
    analysis. 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:8934">10.15479/AT:ISTA:8934</a>
  apa: Goharshady, A. K. (2021). <i>Parameterized and algebro-geometric advances in
    static program analysis</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8934">https://doi.org/10.15479/AT:ISTA:8934</a>
  chicago: Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances
    in Static Program Analysis.” Institute of Science and Technology Austria, 2021.
    <a href="https://doi.org/10.15479/AT:ISTA:8934">https://doi.org/10.15479/AT:ISTA:8934</a>.
  ieee: A. K. Goharshady, “Parameterized and algebro-geometric advances in static
    program analysis,” Institute of Science and Technology Austria, 2021.
  ista: Goharshady AK. 2021. Parameterized and algebro-geometric advances in static
    program analysis. Institute of Science and Technology Austria.
  mla: Goharshady, Amir Kafshdar. <i>Parameterized and Algebro-Geometric Advances
    in Static Program Analysis</i>. Institute of Science and Technology Austria, 2021,
    doi:<a href="https://doi.org/10.15479/AT:ISTA:8934">10.15479/AT:ISTA:8934</a>.
  short: A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program
    Analysis, Institute of Science and Technology Austria, 2021.
date_created: 2020-12-10T12:17:07Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2025-06-02T08:53:47Z
day: '01'
ddc:
- '005'
degree_awarded: PhD
department:
- _id: KrCh
- _id: GradSch
doi: 10.15479/AT:ISTA:8934
file:
- access_level: open_access
  checksum: d1b9db3725aed34dadd81274aeb9426c
  content_type: application/pdf
  creator: akafshda
  date_created: 2020-12-22T20:08:44Z
  date_updated: 2021-12-23T23:30:04Z
  embargo: 2021-12-22
  file_id: '8969'
  file_name: Thesis-pdfa.pdf
  file_size: 5251507
  relation: main_file
- access_level: closed
  checksum: 1661df7b393e6866d2460eba3c905130
  content_type: application/zip
  creator: akafshda
  date_created: 2020-12-22T20:08:50Z
  date_updated: 2021-03-04T23:30:04Z
  embargo_to: open_access
  file_id: '8970'
  file_name: source.zip
  file_size: 10636756
  relation: source_file
file_date_updated: 2021-12-23T23:30:04Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/publicdomain/zero/1.0/
month: '01'
oa: 1
oa_version: Published Version
page: '278'
project:
- _id: 267066CE-B435-11E9-9278-68D0E5697425
  name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
  name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
    Contracts
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '1386'
    relation: part_of_dissertation
    status: public
  - id: '1437'
    relation: part_of_dissertation
    status: public
  - id: '639'
    relation: part_of_dissertation
    status: public
  - id: '6918'
    relation: part_of_dissertation
    status: public
  - id: '6490'
    relation: part_of_dissertation
    status: public
  - id: '7158'
    relation: part_of_dissertation
    status: public
  - id: '6009'
    relation: part_of_dissertation
    status: public
  - id: '949'
    relation: part_of_dissertation
    status: public
  - id: '311'
    relation: part_of_dissertation
    status: public
  - id: '7810'
    relation: part_of_dissertation
    status: public
  - id: '8089'
    relation: part_of_dissertation
    status: public
  - id: '8728'
    relation: part_of_dissertation
    status: public
  - id: '5977'
    relation: part_of_dissertation
    status: public
  - id: '6056'
    relation: part_of_dissertation
    status: public
  - id: '6175'
    relation: part_of_dissertation
    status: public
  - id: '6340'
    relation: part_of_dissertation
    status: public
  - id: '6378'
    relation: part_of_dissertation
    status: public
  - id: '6380'
    relation: part_of_dissertation
    status: public
  - id: '66'
    relation: part_of_dissertation
    status: public
  - id: '6780'
    relation: part_of_dissertation
    status: public
  - id: '7014'
    relation: part_of_dissertation
    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: Parameterized and algebro-geometric advances in static program analysis
tmp:
  image: /images/cc_0.png
  legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
  name: Creative Commons Public Domain Dedication (CC0 1.0)
  short: CC0 (1.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '6995'
abstract:
- lang: eng
  text: Human brain organoids represent a powerful tool for the study of human neurological
    diseases particularly those that impact brain growth and structure. However, many
    neurological diseases lack obvious anatomical abnormalities, yet significantly
    impact neural network functions, raising the question of whether organoids possess
    sufficient neural network architecture and complexity to model these conditions.
    Here, we explore the network level functions of brain organoids using calcium
    sensor imaging and extracellular recording approaches that together reveal the
    existence of complex oscillatory network behaviors reminiscent of intact brain
    preparations. We further demonstrate strikingly abnormal epileptiform network
    activity in organoids derived from a Rett Syndrome patient despite only modest
    anatomical differences from isogenically matched controls, and rescue with an
    unconventional neuromodulatory drug Pifithrin-α. Together, these findings provide
    an essential foundation for the utilization of human brain organoids to study
    intact and disordered human brain network formation and illustrate their utility
    in therapeutic discovery.
acknowledgement: We thank S. Butler, T. Carmichael and members of the laboratory of
  B.G.N. for helpful discussions and comments on the manuscript; N. Vishlaghi and
  F. Turcios-Hernandez for technical assistance, and J. Lee, S.-K. Lee, H. Shinagawa
  and K. Yoshikawa for valuable reagents. We also thank the UCLA Eli and Edythe Broad
  Stem Cell Research Center (BSCRC) and Intellectual and Developmental Disabilities
  Research Center microscopy cores for access to imaging facilities. This work was
  supported by grants from the California Institute for Regenerative Medicine (CIRM)
  (DISC1-08819 to B.G.N.), the National Institute of Health (R01NS089817, R01DA051897
  and P50HD103557 to B.G.N.; K08NS119747 to R.A.S.; K99HD096105 to M.W.; R01MH123922,
  R01MH121521 and P50HD103557 to M.J.G.; R01GM099134 to K.P.; R01NS103788 to W.E.L.;
  R01NS088571 to J.M.P.; R01NS030549 and R01AG050474 to I.M.), and research awards
  from the UCLA Jonsson Comprehensive Cancer Center and BSCRC Ablon Scholars Program
  (to B.G.N.), the BSCRC Innovation Program (to B.G.N., K.P. and W.E.L.), the UCLA
  BSCRC Steffy Brain Aging Research Fund (to B.G.N. and W.E.L.) and the UCLA Clinical
  and Translational Science Institute (to B.G.N.), Paul Allen Family Foundation Frontiers
  Group (to K.P. and W.E.L.), the March of Dimes Foundation (to W.E.L.) and the Simons
  Foundation Autism Research Initiative Bridge to Independence Program (to R.A.S.
  and M.J.G.). R.A.S. was also supported by the UCLA/NINDS Translational Neuroscience
  Training Grant (R25NS065723), a Research and Training Fellowship from the American
  Epilepsy Society, a Taking Flight Award from CURE Epilepsy and a Clinician Scientist
  training award from the UCLA BSCRC. J.E.B. was supported by the UCLA BSCRC Rose
  Hills Foundation Graduate Scholarship Training Program. M.W. was supported by postdoctoral
  training awards provided by the UCLA BSCRC and the Uehara Memorial Foundation. O.A.M.
  and A.K. were supported in part by the UCLA-California State University Northridge
  CIRM-Bridges training program (EDUC2-08411). We also acknowledge the support of
  the IDDRC Cells, Circuits and Systems Analysis, Microscopy and Genetics and Genomics
  Cores of the Semel Institute of Neuroscience at UCLA, which are supported by the
  NICHD (U54HD087101 and P50HD10355701). We lastly acknowledge support from a Quantitative
  and Computational Biosciences Collaboratory Postdoctoral Fellowship to S.M. and
  the Quantitative and Computational Biosciences Collaboratory community, directed
  by M. Pellegrini.
alternative_title:
- Nature Neuroscience
article_processing_charge: Yes
author:
- first_name: Ranmal A.
  full_name: Samarasinghe, Ranmal A.
  last_name: Samarasinghe
- first_name: Osvaldo
  full_name: Miranda, Osvaldo
  id: 862A3C56-A8BF-11E9-B4FA-D9E3E5697425
  last_name: Miranda
  orcid: 0000-0001-6618-6889
- first_name: Jessie E.
  full_name: Buth, Jessie E.
  last_name: Buth
- first_name: Simon
  full_name: Mitchell, Simon
  last_name: Mitchell
- first_name: Isabella
  full_name: Ferando, Isabella
  last_name: Ferando
- first_name: Momoko
  full_name: Watanabe, Momoko
  last_name: Watanabe
- first_name: Arinnae
  full_name: Kurdian, Arinnae
  last_name: Kurdian
- first_name: Peyman
  full_name: Golshani, Peyman
  last_name: Golshani
- first_name: Kathrin
  full_name: Plath, Kathrin
  last_name: Plath
- first_name: William E.
  full_name: Lowry, William E.
  last_name: Lowry
- first_name: Jack M.
  full_name: Parent, Jack M.
  last_name: Parent
- first_name: Istvan
  full_name: Mody, Istvan
  last_name: Mody
- first_name: Bennett G.
  full_name: Novitch, Bennett G.
  last_name: Novitch
citation:
  ama: Samarasinghe RA, Miranda O, Buth JE, et al. <i>Identification of Neural Oscillations
    and Epileptiform Changes in Human Brain Organoids</i>. Vol 24. Springer Nature;
    2021. doi:<a href="https://doi.org/10.1038/s41593-021-00906-5">10.1038/s41593-021-00906-5</a>
  apa: Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe,
    M., … Novitch, B. G. (2021). <i>Identification of neural oscillations and epileptiform
    changes in human brain organoids</i> (Vol. 24). Springer Nature. <a href="https://doi.org/10.1038/s41593-021-00906-5">https://doi.org/10.1038/s41593-021-00906-5</a>
  chicago: Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell,
    Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. <i>Identification of
    Neural Oscillations and Epileptiform Changes in Human Brain Organoids</i>. Vol.
    24. Springer Nature, 2021. <a href="https://doi.org/10.1038/s41593-021-00906-5">https://doi.org/10.1038/s41593-021-00906-5</a>.
  ieee: R. A. Samarasinghe <i>et al.</i>, <i>Identification of neural oscillations
    and epileptiform changes in human brain organoids</i>, vol. 24. Springer Nature,
    2021.
  ista: Samarasinghe RA, Miranda O, Buth JE, Mitchell S, Ferando I, Watanabe M, Kurdian
    A, Golshani P, Plath K, Lowry WE, Parent JM, Mody I, Novitch BG. 2021. Identification
    of neural oscillations and epileptiform changes in human brain organoids, Springer
    Nature, 32p.
  mla: Samarasinghe, Ranmal A., et al. <i>Identification of Neural Oscillations and
    Epileptiform Changes in Human Brain Organoids</i>. Vol. 24, Springer Nature, 2021,
    doi:<a href="https://doi.org/10.1038/s41593-021-00906-5">10.1038/s41593-021-00906-5</a>.
  short: R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe,
    A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch,
    Identification of Neural Oscillations and Epileptiform Changes in Human Brain
    Organoids, Springer Nature, 2021.
date_created: 2019-11-10T11:23:58Z
date_published: 2021-08-23T00:00:00Z
date_updated: 2023-08-04T10:49:44Z
day: '23'
department:
- _id: GradSch
- _id: SiHi
doi: 10.1038/s41593-021-00906-5
external_id:
  isi:
  - '000687516300001'
  pmid:
  - '34426698 '
intvolume: '        24'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41593-021-00906-5
month: '08'
oa: 1
oa_version: Published Version
page: '32'
pmid: 1
publication_identifier:
  eissn:
  - 1546-1726
  issn:
  - 1097-6256
publication_status: published
publisher: Springer Nature
status: public
title: Identification of neural oscillations and epileptiform changes in human brain
  organoids
type: technical_report
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 24
year: '2021'
...
---
_id: '14278'
abstract:
- lang: eng
  text: 'The Birkhoff conjecture says that the boundary of a strictly convex integrable
    billiard table is necessarily an ellipse. In this article, we consider a stronger
    notion of integrability, namely, integrability close to the boundary, and prove
    a local version of this conjecture: a small perturbation of almost every ellipse
    that preserves integrability near the boundary, is itself an ellipse. We apply
    this result to study local spectral rigidity of ellipses using the connection
    between the wave trace of the Laplacian and the dynamics near the boundary and
    establish rigidity for almost all of them.'
article_number: '2111.12171'
article_processing_charge: No
arxiv: 1
author:
- first_name: Illya
  full_name: Koval, Illya
  id: 2eed1f3b-896a-11ed-bdf8-93c7c4bf159e
  last_name: Koval
citation:
  ama: Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost
    every ellipse. <i>arXiv</i>. doi:<a href="https://doi.org/10.48550/ARXIV.2111.12171">10.48550/ARXIV.2111.12171</a>
  apa: Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity
    of almost every ellipse. <i>arXiv</i>. <a href="https://doi.org/10.48550/ARXIV.2111.12171">https://doi.org/10.48550/ARXIV.2111.12171</a>
  chicago: Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity
    of Almost Every Ellipse.” <i>ArXiv</i>, n.d. <a href="https://doi.org/10.48550/ARXIV.2111.12171">https://doi.org/10.48550/ARXIV.2111.12171</a>.
  ieee: I. Koval, “Local strong Birkhoff conjecture and local spectral rigidity of
    almost every ellipse,” <i>arXiv</i>. .
  ista: Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost
    every ellipse. arXiv, 2111.12171.
  mla: Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity
    of Almost Every Ellipse.” <i>ArXiv</i>, 2111.12171, doi:<a href="https://doi.org/10.48550/ARXIV.2111.12171">10.48550/ARXIV.2111.12171</a>.
  short: I. Koval, ArXiv (n.d.).
date_created: 2023-09-06T08:35:43Z
date_published: 2021-11-23T00:00:00Z
date_updated: 2023-09-15T06:44:00Z
day: '23'
department:
- _id: GradSch
doi: 10.48550/ARXIV.2111.12171
external_id:
  arxiv:
  - '2111.12171'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2111.12171
month: '11'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Local strong Birkhoff conjecture and local spectral rigidity of almost every
  ellipse
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9022'
abstract:
- lang: eng
  text: "In the first part of the thesis we consider Hermitian random matrices. Firstly,
    we consider sample covariance matrices XX∗ with X having independent identically
    distributed (i.i.d.) centred entries. We prove a Central Limit Theorem for differences
    of linear statistics of XX∗ and its minor after removing the first column of X.
    Secondly, we consider Wigner-type matrices and prove that the eigenvalue statistics
    near cusp singularities of the limiting density of states are universal and that
    they form a Pearcey process. Since the limiting eigenvalue distribution admits
    only square root (edge) and cubic root (cusp) singularities, this concludes the
    third and last remaining case of the Wigner-Dyson-Mehta universality conjecture.
    The main technical ingredients are an optimal local law at the cusp, and the proof
    of the fast relaxation to equilibrium of the Dyson Brownian motion in the cusp
    regime.\r\nIn the second part we consider non-Hermitian matrices X with centred
    i.i.d. entries. We normalise the entries of X to have variance N −1. It is well
    known that the empirical eigenvalue density converges to the uniform distribution
    on the unit disk (circular law). In the first project, we prove universality of
    the local eigenvalue statistics close to the edge of the spectrum. This is the
    non-Hermitian analogue of the TracyWidom universality at the Hermitian edge. Technically
    we analyse the evolution of the spectral distribution of X along the Ornstein-Uhlenbeck
    flow for very long time\r\n(up to t = +∞). In the second project, we consider
    linear statistics of eigenvalues for macroscopic test functions f in the Sobolev
    space H2+ϵ and prove their convergence to the projection of the Gaussian Free
    Field on the unit disk. We prove this result for non-Hermitian matrices with real
    or complex entries. The main technical ingredients are: (i) local law for products
    of two resolvents at different spectral parameters, (ii) analysis of correlated
    Dyson Brownian motions.\r\nIn the third and final part we discuss the mathematically
    rigorous application of supersymmetric techniques (SUSY ) to give a lower tail
    estimate of the lowest singular value of X − z, with z ∈ C. More precisely, we
    use superbosonisation formula to give an integral representation of the resolvent
    of (X − z)(X − z)∗ which reduces to two and three contour integrals in the complex
    and real case, respectively. The rigorous analysis of these integrals is quite
    challenging since simple saddle point analysis cannot be applied (the main contribution
    comes from a non-trivial manifold). Our result\r\nimproves classical smoothing
    inequalities in the regime |z| ≈ 1; this result is essential to prove edge universality
    for i.i.d. non-Hermitian matrices."
acknowledgement: I gratefully acknowledge the financial support from the European
  Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
  Grant Agreement No. 665385 and my advisor’s ERC Advanced Grant No. 338804.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Giorgio
  full_name: Cipolloni, Giorgio
  id: 42198EFA-F248-11E8-B48F-1D18A9856A87
  last_name: Cipolloni
  orcid: 0000-0002-4901-7992
citation:
  ama: Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:<a
    href="https://doi.org/10.15479/AT:ISTA:9022">10.15479/AT:ISTA:9022</a>
  apa: Cipolloni, G. (2021). <i>Fluctuations in the spectrum of random matrices</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:9022">https://doi.org/10.15479/AT:ISTA:9022</a>
  chicago: Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.”
    Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9022">https://doi.org/10.15479/AT:ISTA:9022</a>.
  ieee: G. Cipolloni, “Fluctuations in the spectrum of random matrices,” Institute
    of Science and Technology Austria, 2021.
  ista: Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute
    of Science and Technology Austria.
  mla: Cipolloni, Giorgio. <i>Fluctuations in the Spectrum of Random Matrices</i>.
    Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9022">10.15479/AT:ISTA:9022</a>.
  short: G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute
    of Science and Technology Austria, 2021.
date_created: 2021-01-21T18:16:54Z
date_published: 2021-01-25T00:00:00Z
date_updated: 2023-09-07T13:29:32Z
day: '25'
ddc:
- '510'
degree_awarded: PhD
department:
- _id: GradSch
- _id: LaEr
doi: 10.15479/AT:ISTA:9022
ec_funded: 1
file:
- access_level: open_access
  checksum: 5a93658a5f19478372523ee232887e2b
  content_type: application/pdf
  creator: gcipollo
  date_created: 2021-01-25T14:19:03Z
  date_updated: 2021-01-25T14:19:03Z
  file_id: '9043'
  file_name: thesis.pdf
  file_size: 4127796
  relation: main_file
  success: 1
- access_level: closed
  checksum: e8270eddfe6a988e92a53c88d1d19b8c
  content_type: application/zip
  creator: gcipollo
  date_created: 2021-01-25T14:19:10Z
  date_updated: 2021-01-25T14:19:10Z
  file_id: '9044'
  file_name: Thesis_files.zip
  file_size: 12775206
  relation: source_file
file_date_updated: 2021-01-25T14:19:10Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '380'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
status: public
supervisor:
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
title: Fluctuations in the spectrum of random matrices
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9056'
abstract:
- lang: eng
  text: "In this thesis we study persistence of multi-covers of Euclidean balls and
    the geometric structures underlying their computation, in particular Delaunay
    mosaics and Voronoi tessellations. The k-fold cover for some discrete input point
    set consists of the space where at least k balls of radius r around the input
    points overlap. Persistence is a notion that captures, in some sense, the topology
    of the shape underlying the input. While persistence is usually computed for the
    union of balls, the k-fold cover is of interest as it captures local density,\r\nand
    thus might approximate the shape of the input better if the input data is noisy.
    To compute persistence of these k-fold covers, we need a discretization that is
    provided by higher-order Delaunay mosaics. We present and implement a simple and
    efficient algorithm for the computation of higher-order Delaunay mosaics, and
    use it to give experimental results for their combinatorial properties. The algorithm
    makes use of a new geometric structure, the rhomboid tiling. It contains the higher-order
    Delaunay mosaics as slices, and by introducing a filtration\r\nfunction on the
    tiling, we also obtain higher-order α-shapes as slices. These allow us to compute
    persistence of the multi-covers for varying radius r; the computation for varying
    k is less straight-foward and involves the rhomboid tiling directly. We apply
    our algorithms to experimental sphere packings to shed light on their structural
    properties. Finally, inspired by periodic structures in packings and materials,
    we propose and implement an algorithm for periodic Delaunay triangulations to
    be integrated into the Computational Geometry Algorithms Library (CGAL), and discuss
    the implications on persistence for periodic data sets."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Georg F
  full_name: Osang, Georg F
  id: 464B40D6-F248-11E8-B48F-1D18A9856A87
  last_name: Osang
  orcid: 0000-0002-8882-5116
citation:
  ama: Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9056">10.15479/AT:ISTA:9056</a>
  apa: Osang, G. F. (2021). <i>Multi-cover persistence and Delaunay mosaics</i>. Institute
    of Science and Technology Austria, Klosterneuburg. <a href="https://doi.org/10.15479/AT:ISTA:9056">https://doi.org/10.15479/AT:ISTA:9056</a>
  chicago: Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute
    of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9056">https://doi.org/10.15479/AT:ISTA:9056</a>.
  ieee: G. F. Osang, “Multi-cover persistence and Delaunay mosaics,” Institute of
    Science and Technology Austria, Klosterneuburg, 2021.
  ista: 'Osang GF. 2021. Multi-cover persistence and Delaunay mosaics. Klosterneuburg:
    Institute of Science and Technology Austria.'
  mla: Osang, Georg F. <i>Multi-Cover Persistence and Delaunay Mosaics</i>. Institute
    of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9056">10.15479/AT:ISTA:9056</a>.
  short: G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science
    and Technology Austria, 2021.
date_created: 2021-02-02T14:11:06Z
date_published: 2021-02-01T00:00:00Z
date_updated: 2023-09-07T13:29:01Z
day: '01'
ddc:
- '006'
- '514'
- '516'
degree_awarded: PhD
department:
- _id: HeEd
- _id: GradSch
doi: 10.15479/AT:ISTA:9056
file:
- access_level: closed
  checksum: bcf27986147cab0533b6abadd74e7629
  content_type: application/zip
  creator: patrickd
  date_created: 2021-02-02T14:09:25Z
  date_updated: 2021-02-03T10:37:28Z
  file_id: '9063'
  file_name: thesis_source.zip
  file_size: 13446994
  relation: source_file
- access_level: open_access
  checksum: 9cc8af266579a464385bbe2aff6af606
  content_type: application/pdf
  creator: patrickd
  date_created: 2021-02-02T14:09:18Z
  date_updated: 2021-02-02T14:09:18Z
  file_id: '9064'
  file_name: thesis_pdfA2b.pdf
  file_size: 5210329
  relation: main_file
  success: 1
file_date_updated: 2021-02-03T10:37:28Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '134'
place: Klosterneuburg
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '187'
    relation: part_of_dissertation
    status: public
  - id: '8703'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
title: Multi-cover persistence and Delaunay mosaics
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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9121'
abstract:
- lang: eng
  text: "We show that the energy gap for the BCS gap equation is\r\nΞ=μ(8e−2+o(1))exp(π2μ−−√a)\r\nin
    the low density limit μ→0. Together with the similar result for the critical temperature
    by Hainzl and Seiringer (Lett Math Phys 84: 99–107, 2008), this shows that, in
    the low density limit, the ratio of the energy gap and critical temperature is
    a universal constant independent of the interaction potential V. The results hold
    for a class of potentials with negative scattering length a and no bound states."
acknowledgement: "Most of this work was done as part of the author’s master’s thesis.
  The author would like to thank Jan Philip Solovej for his supervision of this process.\r\nOpen
  Access funding provided by Institute of Science and Technology (IST Austria)"
article_number: '20'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Asbjørn Bækgaard
  full_name: Lauritsen, Asbjørn Bækgaard
  id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1
  last_name: Lauritsen
  orcid: 0000-0003-4476-2288
citation:
  ama: Lauritsen AB. The BCS energy gap at low density. <i>Letters in Mathematical
    Physics</i>. 2021;111. doi:<a href="https://doi.org/10.1007/s11005-021-01358-5">10.1007/s11005-021-01358-5</a>
  apa: Lauritsen, A. B. (2021). The BCS energy gap at low density. <i>Letters in Mathematical
    Physics</i>. Springer Nature. <a href="https://doi.org/10.1007/s11005-021-01358-5">https://doi.org/10.1007/s11005-021-01358-5</a>
  chicago: Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” <i>Letters
    in Mathematical Physics</i>. Springer Nature, 2021. <a href="https://doi.org/10.1007/s11005-021-01358-5">https://doi.org/10.1007/s11005-021-01358-5</a>.
  ieee: A. B. Lauritsen, “The BCS energy gap at low density,” <i>Letters in Mathematical
    Physics</i>, vol. 111. Springer Nature, 2021.
  ista: Lauritsen AB. 2021. The BCS energy gap at low density. Letters in Mathematical
    Physics. 111, 20.
  mla: Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” <i>Letters
    in Mathematical Physics</i>, vol. 111, 20, Springer Nature, 2021, doi:<a href="https://doi.org/10.1007/s11005-021-01358-5">10.1007/s11005-021-01358-5</a>.
  short: A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
date_created: 2021-02-15T09:27:14Z
date_published: 2021-02-12T00:00:00Z
date_updated: 2023-09-05T15:17:16Z
day: '12'
ddc:
- '510'
department:
- _id: GradSch
doi: 10.1007/s11005-021-01358-5
external_id:
  isi:
  - '000617531900001'
file:
- access_level: open_access
  checksum: eaf1b3ff5026f120f0929a5c417dc842
  content_type: application/pdf
  creator: dernst
  date_created: 2021-02-15T09:31:07Z
  date_updated: 2021-02-15T09:31:07Z
  file_id: '9122'
  file_name: 2021_LettersMathPhysics_Lauritsen.pdf
  file_size: 329332
  relation: main_file
  success: 1
file_date_updated: 2021-02-15T09:31:07Z
has_accepted_license: '1'
intvolume: '       111'
isi: 1
keyword:
- Mathematical Physics
- Statistical and Nonlinear Physics
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Letters in Mathematical Physics
publication_identifier:
  eissn:
  - 1573-0530
  issn:
  - 0377-9017
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: The BCS energy gap at low density
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 111
year: '2021'
...
---
_id: '9192'
abstract:
- lang: eng
  text: Here are the research data underlying the publication " Effects of fine-scale
    population structure on inbreeding in a long-term study of snapdragons (Antirrhinum
    majus)." Further information are summed up in the README document.
article_processing_charge: No
author:
- first_name: Parvathy
  full_name: Surendranadh, Parvathy
  id: 455235B8-F248-11E8-B48F-1D18A9856A87
  last_name: Surendranadh
- first_name: Louise S
  full_name: Arathoon, Louise S
  id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
  last_name: Arathoon
  orcid: 0000-0003-1771-714X
- first_name: Carina
  full_name: Baskett, Carina
  id: 3B4A7CE2-F248-11E8-B48F-1D18A9856A87
  last_name: Baskett
  orcid: 0000-0002-7354-8574
- first_name: David
  full_name: Field, David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- first_name: Melinda
  full_name: Pickup, Melinda
  id: 2C78037E-F248-11E8-B48F-1D18A9856A87
  last_name: Pickup
  orcid: 0000-0001-6118-0541
- first_name: Nicholas H
  full_name: Barton, Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
citation:
  ama: Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects
    of fine-scale population structure on the distribution of heterozygosity in a
    long-term study of Antirrhinum majus. 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9192">10.15479/AT:ISTA:9192</a>
  apa: Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., &#38;
    Barton, N. H. (2021). Effects of fine-scale population structure on the distribution
    of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science
    and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:9192">https://doi.org/10.15479/AT:ISTA:9192</a>
  chicago: Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field,
    Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure
    on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.”
    Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9192">https://doi.org/10.15479/AT:ISTA:9192</a>.
  ieee: P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H.
    Barton, “Effects of fine-scale population structure on the distribution of heterozygosity
    in a long-term study of Antirrhinum majus.” Institute of Science and Technology
    Austria, 2021.
  ista: Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2021.
    Effects of fine-scale population structure on the distribution of heterozygosity
    in a long-term study of Antirrhinum majus, Institute of Science and Technology
    Austria, <a href="https://doi.org/10.15479/AT:ISTA:9192">10.15479/AT:ISTA:9192</a>.
  mla: Surendranadh, Parvathy, et al. <i>Effects of Fine-Scale Population Structure
    on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus</i>.
    Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9192">10.15479/AT:ISTA:9192</a>.
  short: P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton,
    (2021).
contributor:
- contributor_type: project_member
  first_name: Parvathy
  id: 455235B8-F248-11E8-B48F-1D18A9856A87
  last_name: Surendranadh
- contributor_type: project_member
  first_name: Louise S
  id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
  last_name: Arathoon
- contributor_type: project_member
  first_name: Carina
  id: 3B4A7CE2-F248-11E8-B48F-1D18A9856A87
  last_name: Baskett
- contributor_type: project_member
  first_name: David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- contributor_type: project_member
  first_name: Melinda
  id: 2C78037E-F248-11E8-B48F-1D18A9856A87
  last_name: Pickup
  orcid: 0000-0001-6118-0541
- contributor_type: project_leader
  first_name: Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
date_created: 2021-02-24T17:49:21Z
date_published: 2021-02-26T00:00:00Z
date_updated: 2024-02-21T12:41:09Z
day: '26'
ddc:
- '576'
department:
- _id: GradSch
- _id: NiBa
doi: 10.15479/AT:ISTA:9192
file:
- access_level: open_access
  checksum: f85537815809a8a4b7da9d01163f88c0
  content_type: application/x-zip-compressed
  creator: larathoo
  date_created: 2021-02-24T17:45:13Z
  date_updated: 2021-02-24T17:45:13Z
  file_id: '9193'
  file_name: Data_Code.zip
  file_size: 5934452
  relation: main_file
  success: 1
file_date_updated: 2021-02-24T17:45:13Z
has_accepted_license: '1'
month: '02'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '11411'
    relation: used_in_publication
    status: public
  - id: '11321'
    relation: later_version
    status: public
  - id: '8254'
    relation: earlier_version
    status: public
status: public
title: Effects of fine-scale population structure on the distribution of heterozygosity
  in a long-term study of Antirrhinum majus
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
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9323'
abstract:
- lang: eng
  text: This .zip File contains the data for figures presented in the main text and
    supplementary material of "A singlet triplet hole spin qubit in planar Ge" by
    D. Jirovec, et. al. The measurements were done using Labber Software and the data
    is stored in the hdf5 file format. The files can be opened using either the Labber
    Log Browser (https://labber.org/overview/) or Labber Python API (http://labber.org/online-doc/api/LogFile.html).
    A single file is acquired with QCodes and features the corresponding data type.
    XRD data are in .dat format and a code to open the data is provided. The code
    for simulations is as well provided in Python.
article_processing_charge: No
author:
- first_name: Daniel
  full_name: Jirovec, Daniel
  id: 4C473F58-F248-11E8-B48F-1D18A9856A87
  last_name: Jirovec
  orcid: 0000-0002-7197-4801
citation:
  ama: Jirovec D. Research data for “A singlet-triplet hole spin qubit planar Ge.”
    2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9323">10.15479/AT:ISTA:9323</a>
  apa: Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar
    Ge.” Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:9323">https://doi.org/10.15479/AT:ISTA:9323</a>
  chicago: Jirovec, Daniel. “Research Data for ‘A Singlet-Triplet Hole Spin Qubit
    Planar Ge.’” Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9323">https://doi.org/10.15479/AT:ISTA:9323</a>.
  ieee: D. Jirovec, “Research data for ‘A singlet-triplet hole spin qubit planar Ge.’”
    Institute of Science and Technology Austria, 2021.
  ista: Jirovec D. 2021. Research data for ‘A singlet-triplet hole spin qubit planar
    Ge’, Institute of Science and Technology Austria, <a href="https://doi.org/10.15479/AT:ISTA:9323">10.15479/AT:ISTA:9323</a>.
  mla: Jirovec, Daniel. <i>Research Data for “A Singlet-Triplet Hole Spin Qubit Planar
    Ge.”</i> Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9323">10.15479/AT:ISTA:9323</a>.
  short: D. Jirovec, (2021).
contributor:
- contributor_type: project_member
  first_name: Daniel
  id: 4C473F58-F248-11E8-B48F-1D18A9856A87
  last_name: Jirovec
date_created: 2021-04-14T09:50:22Z
date_published: 2021-04-14T00:00:00Z
date_updated: 2024-02-21T12:39:15Z
day: '14'
ddc:
- '530'
department:
- _id: GradSch
- _id: GeKa
doi: 10.15479/AT:ISTA:9323
file:
- access_level: open_access
  checksum: c569d2a2ce1694445cdbca19cf8ae023
  content_type: application/x-zip-compressed
  creator: djirovec
  date_created: 2021-04-14T09:48:47Z
  date_updated: 2021-04-14T09:48:47Z
  file_id: '9324'
  file_name: DataRepositorySTqubit.zip
  file_size: 221832287
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 845bdf87430718ad6aff47eda7b5fc92
  content_type: application/octet-stream
  creator: djirovec
  date_created: 2021-04-14T09:49:30Z
  date_updated: 2021-04-14T09:49:30Z
  file_id: '9325'
  file_name: ReadMe
  file_size: 4323
  relation: main_file
  success: 1
file_date_updated: 2021-04-14T09:49:30Z
has_accepted_license: '1'
month: '04'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8909'
    relation: used_in_publication
    status: public
status: public
title: Research data for "A singlet-triplet hole spin qubit planar Ge"
tmp:
  image: /images/cc_0.png
  legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
  name: Creative Commons Public Domain Dedication (CC0 1.0)
  short: CC0 (1.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9327'
abstract:
- lang: eng
  text: "This archive contains the missing sweater mesh animations and displacement
    models for the code of \"Mechanics-Aware Deformation of Yarn Pattern Geometry\"\r\n\r\nCode
    Repository: https://git.ist.ac.at/gsperl/MADYPG"
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. Mechanics-Aware Deformation of Yarn Pattern Geometry
    (Additional Animation/Model Data). 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9327">10.15479/AT:ISTA:9327</a>
  apa: Sperl, G., Narain, R., &#38; Wojtan, C. (2021). Mechanics-Aware Deformation
    of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. <a href="https://doi.org/10.15479/AT:ISTA:9327">https://doi.org/10.15479/AT:ISTA:9327</a>
  chicago: Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation
    of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021.
    <a href="https://doi.org/10.15479/AT:ISTA:9327">https://doi.org/10.15479/AT:ISTA:9327</a>.
  ieee: G. Sperl, R. Narain, and C. Wojtan, “Mechanics-Aware Deformation of Yarn Pattern
    Geometry (Additional Animation/Model Data).” IST Austria, 2021.
  ista: Sperl G, Narain R, Wojtan C. 2021. Mechanics-Aware Deformation of Yarn Pattern
    Geometry (Additional Animation/Model Data), IST Austria, <a href="https://doi.org/10.15479/AT:ISTA:9327">10.15479/AT:ISTA:9327</a>.
  mla: Sperl, Georg, et al. <i>Mechanics-Aware Deformation of Yarn Pattern Geometry
    (Additional Animation/Model Data)</i>. IST Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9327">10.15479/AT:ISTA:9327</a>.
  short: G. Sperl, R. Narain, C. Wojtan, (2021).
date_created: 2021-04-16T14:26:19Z
date_published: 2021-05-01T00:00:00Z
date_updated: 2023-08-10T14:24:36Z
ddc:
- '005'
department:
- _id: GradSch
- _id: ChWo
doi: 10.15479/AT:ISTA:9327
file:
- access_level: open_access
  checksum: 0324cb519273371708743f3282e7c081
  content_type: application/zip
  creator: gsperl
  date_created: 2021-04-16T14:15:12Z
  date_updated: 2021-04-16T14:15:12Z
  file_id: '9328'
  file_name: MADYPG_extra_data.zip
  file_size: 802586232
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 4c224551adf852b136ec21a4e13f0c1b
  content_type: application/gzip
  creator: pub-gitlab-bot
  date_created: 2021-04-26T09:33:44Z
  date_updated: 2021-04-26T09:33:44Z
  file_id: '9353'
  file_name: MADYPG.zip
  file_size: 64962865
  relation: main_file
file_date_updated: 2021-04-26T09:33:44Z
gitlab_commit_id: 6a77e7e22769230ae5f5edaa090fb4b828e57573
gitlab_url: https://git.ist.ac.at/gsperl/MADYPG
has_accepted_license: '1'
license: https://opensource.org/licenses/MIT
month: '05'
oa: 1
publisher: IST Austria
related_material:
  record:
  - id: '9818'
    relation: used_for_analysis_in
    status: public
status: public
title: Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model
  Data)
tmp:
  legal_code_url: https://opensource.org/licenses/MIT
  name: The MIT License
  short: MIT
type: software
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '9356'
abstract:
- lang: eng
  text: 'In runtime verification, a monitor watches a trace of a system and, if possible,
    decides after observing each finite prefix whether or not the unknown infinite
    trace satisfies a given specification. We generalize the theory of runtime verification
    to monitors that attempt to estimate numerical values of quantitative trace properties
    (instead of attempting to conclude boolean values of trace specifications), such
    as maximal or average response time along a trace. Quantitative monitors are approximate:
    with every finite prefix, they can improve their estimate of the infinite trace''s
    unknown property value. Consequently, quantitative monitors can be compared with
    regard to a precision-cost trade-off: better approximations of the property value
    require more monitor resources, such as states (in the case of finite-state monitors)
    or registers, and additional resources yield better approximations. We introduce
    a formal framework for quantitative and approximate monitoring, show how it conservatively
    generalizes the classical boolean setting for monitoring, and give several precision-cost
    trade-offs for monitors. For example, we prove that there are quantitative properties
    for which every additional register improves monitoring precision.'
acknowledgement: We thank the anonymous reviewers for their helpful comments. This
  research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23
  (Wittgenstein Award).
article_number: '9470547'
article_processing_charge: No
arxiv: 1
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Naci E
  full_name: Sarac, Naci E
  id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
  last_name: Sarac
citation:
  ama: 'Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: <i>Proceedings
    of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute
    of Electrical and Electronics Engineers; 2021. doi:<a href="https://doi.org/10.1109/LICS52264.2021.9470547">10.1109/LICS52264.2021.9470547</a>'
  apa: 'Henzinger, T. A., &#38; Sarac, N. E. (2021). Quantitative and approximate
    monitoring. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in
    Computer Science</i>. Online: Institute of Electrical and Electronics Engineers.
    <a href="https://doi.org/10.1109/LICS52264.2021.9470547">https://doi.org/10.1109/LICS52264.2021.9470547</a>'
  chicago: Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.”
    In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>.
    Institute of Electrical and Electronics Engineers, 2021. <a href="https://doi.org/10.1109/LICS52264.2021.9470547">https://doi.org/10.1109/LICS52264.2021.9470547</a>.
  ieee: T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,”
    in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>,
    Online, 2021.
  ista: 'Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings
    of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium
    on Logic in Computer Science, 9470547.'
  mla: Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.”
    <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>,
    9470547, Institute of Electrical and Electronics Engineers, 2021, doi:<a href="https://doi.org/10.1109/LICS52264.2021.9470547">10.1109/LICS52264.2021.9470547</a>.
  short: T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE
    Symposium on Logic in Computer Science, Institute of Electrical and Electronics
    Engineers, 2021.
conference:
  end_date: 2021-07-02
  location: Online
  name: 'LICS: Symposium on Logic in Computer Science'
  start_date: 2021-06-29
date_created: 2021-04-30T17:30:47Z
date_published: 2021-06-29T00:00:00Z
date_updated: 2023-08-08T13:52:56Z
day: '29'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.1109/LICS52264.2021.9470547
external_id:
  arxiv:
  - '2105.08353'
  isi:
  - '000947350400021'
file:
- access_level: open_access
  checksum: 6e4cba3f72775f479c5b1b75d1a4a0c4
  content_type: application/pdf
  creator: esarac
  date_created: 2021-06-16T08:23:54Z
  date_updated: 2021-06-16T08:23:54Z
  file_id: '9557'
  file_name: qam.pdf
  file_size: 641990
  relation: main_file
  success: 1
file_date_updated: 2021-06-16T08:23:54Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer
  Science
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative and approximate monitoring
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9387'
abstract:
- lang: eng
  text: We report the complete analysis of a deterministic model of deleterious mutations
    and negative selection against them at two haploid loci without recombination.
    As long as mutation is a weaker force than selection, mutant alleles remain rare
    at the only stable equilibrium, and otherwise, a variety of dynamics are possible.
    If the mutation-free genotype is absent, generally the only stable equilibrium
    is the one that corresponds to fixation of the mutant allele at the locus where
    it is less deleterious. This result suggests that fixation of a deleterious allele
    that follows a click of the Muller’s ratchet is governed by natural selection,
    instead of random drift.
acknowledgement: This work was supported by the Russian Science Foundation grant N
  16-14-10173.
article_number: '110729'
article_processing_charge: No
article_type: original
author:
- first_name: Kseniia
  full_name: Khudiakova, Kseniia
  id: 4E6DC800-AE37-11E9-AC72-31CAE5697425
  last_name: Khudiakova
  orcid: 0000-0002-6246-1465
- first_name: Tatiana Yu.
  full_name: Neretina, Tatiana Yu.
  last_name: Neretina
- first_name: Alexey S.
  full_name: Kondrashov, Alexey S.
  last_name: Kondrashov
citation:
  ama: Khudiakova K, Neretina TY, Kondrashov AS. Two linked loci under mutation-selection
    balance and Muller’s ratchet. <i>Journal of Theoretical Biology</i>. 2021;524.
    doi:<a href="https://doi.org/10.1016/j.jtbi.2021.110729">10.1016/j.jtbi.2021.110729</a>
  apa: Khudiakova, K., Neretina, T. Y., &#38; Kondrashov, A. S. (2021). Two linked
    loci under mutation-selection balance and Muller’s ratchet. <i>Journal of Theoretical
    Biology</i>. Elsevier . <a href="https://doi.org/10.1016/j.jtbi.2021.110729">https://doi.org/10.1016/j.jtbi.2021.110729</a>
  chicago: Khudiakova, Kseniia, Tatiana Yu. Neretina, and Alexey S. Kondrashov. “Two
    Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” <i>Journal
    of Theoretical Biology</i>. Elsevier , 2021. <a href="https://doi.org/10.1016/j.jtbi.2021.110729">https://doi.org/10.1016/j.jtbi.2021.110729</a>.
  ieee: K. Khudiakova, T. Y. Neretina, and A. S. Kondrashov, “Two linked loci under
    mutation-selection balance and Muller’s ratchet,” <i>Journal of Theoretical Biology</i>,
    vol. 524. Elsevier , 2021.
  ista: Khudiakova K, Neretina TY, Kondrashov AS. 2021. Two linked loci under mutation-selection
    balance and Muller’s ratchet. Journal of Theoretical Biology. 524, 110729.
  mla: Khudiakova, Kseniia, et al. “Two Linked Loci under Mutation-Selection Balance
    and Muller’s Ratchet.” <i>Journal of Theoretical Biology</i>, vol. 524, 110729,
    Elsevier , 2021, doi:<a href="https://doi.org/10.1016/j.jtbi.2021.110729">10.1016/j.jtbi.2021.110729</a>.
  short: K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology
    524 (2021).
date_created: 2021-05-12T05:58:42Z
date_published: 2021-04-24T00:00:00Z
date_updated: 2023-08-08T13:32:40Z
day: '24'
department:
- _id: GradSch
doi: 10.1016/j.jtbi.2021.110729
external_id:
  isi:
  - '000659161500002'
intvolume: '       524'
isi: 1
keyword:
- General Biochemistry
- Genetics and Molecular Biology
- Modelling and Simulation
- Statistics and Probability
- General Immunology and Microbiology
- Applied Mathematics
- General Agricultural and Biological Sciences
- General Medicine
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.biorxiv.org/content/10.1101/477489v1
month: '04'
oa: 1
oa_version: Preprint
publication: Journal of Theoretical Biology
publication_identifier:
  issn:
  - 0022-5193
publication_status: published
publisher: 'Elsevier '
quality_controlled: '1'
status: public
title: Two linked loci under mutation-selection balance and Muller’s ratchet
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 524
year: '2021'
...
---
_id: '9389'
abstract:
- lang: eng
  text: "This .zip File contains the transport data for  \"Non-topological zero bias
    peaks in full-shell nanowires induced by flux tunable Andreev states\" by M. Valentini,
    et. al.  \r\nThe measurements were done using Labber Software and the data is
    stored in the hdf5 file format.\r\nInstructions of how to read the data are in
    \"Notebook_Valentini.pdf\"."
acknowledged_ssus:
- _id: NanoFab
article_processing_charge: No
author:
- first_name: Marco
  full_name: Valentini, Marco
  id: C0BB2FAC-D767-11E9-B658-BC13E6697425
  last_name: Valentini
citation:
  ama: Valentini M. Research data for “Non-topological zero bias peaks in full-shell
    nanowires induced by flux tunable Andreev states.” 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:9389">10.15479/AT:ISTA:9389</a>
  apa: Valentini, M. (2021). Research data for “Non-topological zero bias peaks in
    full-shell nanowires induced by flux tunable Andreev states.” Institute of Science
    and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:9389">https://doi.org/10.15479/AT:ISTA:9389</a>
  chicago: Valentini, Marco. “Research Data for ‘Non-Topological Zero Bias Peaks in
    Full-Shell Nanowires Induced by Flux Tunable Andreev States.’” Institute of Science
    and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:9389">https://doi.org/10.15479/AT:ISTA:9389</a>.
  ieee: M. Valentini, “Research data for ‘Non-topological zero bias peaks in full-shell
    nanowires induced by flux tunable Andreev states.’” Institute of Science and Technology
    Austria, 2021.
  ista: Valentini M. 2021. Research data for ‘Non-topological zero bias peaks in full-shell
    nanowires induced by flux tunable Andreev states’, Institute of Science and Technology
    Austria, <a href="https://doi.org/10.15479/AT:ISTA:9389">10.15479/AT:ISTA:9389</a>.
  mla: Valentini, Marco. <i>Research Data for “Non-Topological Zero Bias Peaks in
    Full-Shell Nanowires Induced by Flux Tunable Andreev States.”</i> Institute of
    Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:9389">10.15479/AT:ISTA:9389</a>.
  short: M. Valentini, (2021).
contributor:
- contributor_type: contact_person
  first_name: Marco
  id: C0BB2FAC-D767-11E9-B658-BC13E6697425
  last_name: Valentini
date_created: 2021-05-14T12:07:53Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2024-02-21T12:40:09Z
ddc:
- '530'
department:
- _id: GradSch
- _id: GeKa
doi: 10.15479/AT:ISTA:9389
file:
- access_level: open_access
  checksum: 80a905c4eef24dab6fb247e81a3d67f5
  content_type: application/pdf
  creator: mvalenti
  date_created: 2021-05-14T11:42:23Z
  date_updated: 2021-05-14T11:42:23Z
  file_id: '9390'
  file_name: Notebook_Valentini.pdf
  file_size: 10572981
  relation: main_file
- access_level: open_access
  checksum: 1e61a7e63949448a8db0091cdac23570
  content_type: application/x-zip-compressed
  creator: mvalenti
  date_created: 2021-05-14T11:56:48Z
  date_updated: 2021-05-14T11:56:48Z
  file_id: '9391'
  file_name: Experimental_data.zip
  file_size: 99076111
  relation: main_file
file_date_updated: 2021-05-14T11:56:48Z
has_accepted_license: '1'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8910'
    relation: used_in_publication
    status: public
status: public
title: Research data for "Non-topological zero bias peaks in full-shell nanowires
  induced by flux tunable Andreev states"
tmp:
  image: /images/cc_0.png
  legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
  name: Creative Commons Public Domain Dedication (CC0 1.0)
  short: CC0 (1.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9397'
abstract:
- lang: eng
  text: Accumulation of interstitial fluid (IF) between embryonic cells is a common
    phenomenon in vertebrate embryogenesis. Unlike other model systems, where these
    accumulations coalesce into a large central cavity – the blastocoel, in zebrafish,
    IF is more uniformly distributed between the deep cells (DC) before the onset
    of gastrulation. This is likely due to the presence of a large extraembryonic
    structure – the yolk cell (YC) at the position where the blastocoel typically
    forms in other model organisms. IF has long been speculated to play a role in
    tissue morphogenesis during embryogenesis, but direct evidence supporting such
    function is still sparse. Here we show that the relocalization of IF to the interface
    between the YC and DC/epiblast is critical for axial mesendoderm (ME) cell protrusion
    formation and migration along this interface, a key process in embryonic axis
    formation. We further demonstrate that axial ME cell migration and IF relocalization
    engage in a positive feedback loop, where axial ME migration triggers IF accumulation
    ahead of the advancing axial ME tissue by mechanically compressing the overlying
    epiblast cell layer. Upon compression, locally induced flow relocalizes the IF
    through the porous epiblast tissue resulting in an IF accumulation ahead of the
    leading axial ME. This IF accumulation, in turn, promotes cell protrusion formation
    and migration of the leading axial ME cells, thereby facilitating axial ME extension.
    Our findings reveal a central role of dynamic IF relocalization in orchestrating
    germ layer morphogenesis during gastrulation.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Karla
  full_name: Huljev, Karla
  id: 44C6F6A6-F248-11E8-B48F-1D18A9856A87
  last_name: Huljev
citation:
  ama: Huljev K. Coordinated spatiotemporal reorganization of interstitial fluid is
    required for axial mesendoderm migration in zebrafish gastrulation. 2021. doi:<a
    href="https://doi.org/10.15479/at:ista:9397">10.15479/at:ista:9397</a>
  apa: Huljev, K. (2021). <i>Coordinated spatiotemporal reorganization of interstitial
    fluid is required for axial mesendoderm migration in zebrafish gastrulation</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:9397">https://doi.org/10.15479/at:ista:9397</a>
  chicago: Huljev, Karla. “Coordinated Spatiotemporal Reorganization of Interstitial
    Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation.”
    Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/at:ista:9397">https://doi.org/10.15479/at:ista:9397</a>.
  ieee: K. Huljev, “Coordinated spatiotemporal reorganization of interstitial fluid
    is required for axial mesendoderm migration in zebrafish gastrulation,” Institute
    of Science and Technology Austria, 2021.
  ista: Huljev K. 2021. Coordinated spatiotemporal reorganization of interstitial
    fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute
    of Science and Technology Austria.
  mla: Huljev, Karla. <i>Coordinated Spatiotemporal Reorganization of Interstitial
    Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation</i>.
    Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/at:ista:9397">10.15479/at:ista:9397</a>.
  short: K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid
    Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute
    of Science and Technology Austria, 2021.
date_created: 2021-05-17T12:31:30Z
date_published: 2021-05-18T00:00:00Z
date_updated: 2023-09-07T13:32:32Z
day: '18'
ddc:
- '571'
degree_awarded: PhD
department:
- _id: CaHe
- _id: GradSch
doi: 10.15479/at:ista:9397
file:
- access_level: closed
  checksum: 7f98532f5324a0b2f3fa8de2967baa19
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: khuljev
  date_created: 2021-05-17T12:29:12Z
  date_updated: 2022-05-21T22:30:04Z
  embargo_to: open_access
  file_id: '9398'
  file_name: KHuljev_Thesis_corrections.docx
  file_size: 47799741
  relation: source_file
- access_level: open_access
  checksum: bf512f8a1e572a543778fc4b227c01ba
  content_type: application/pdf
  creator: khuljev
  date_created: 2021-05-18T14:50:28Z
  date_updated: 2022-05-21T22:30:04Z
  embargo: 2022-05-20
  file_id: '9401'
  file_name: new_KHuljev_Thesis_corrections.pdf
  file_size: 16542131
  relation: main_file
file_date_updated: 2022-05-21T22:30:04Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '101'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
status: public
supervisor:
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
title: Coordinated spatiotemporal reorganization of interstitial fluid is required
  for axial mesendoderm migration in zebrafish gastrulation
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
