Multi-Structural Games and Number of Quantifiers
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2021
- LICS 2021
Publications
3556 results for Mathematical Sciences
Dither computing: a hybrid deterministic-stochastic computing framework
- 2021
- ARITH 2021
A Flexible and Fast PyTorch Toolkit for Simulating Training and Inference on Analog Crossbar Arrays
- Malte J. Rasch
- Diego Moreda
- et al.
- 2021
- AICAS 2021
Federated acoustic modeling for automatic speech recognition
- Xiaodong Cui
- Songtao Lu
- et al.
- 2021
- ICASSP 2021
Sparse graph based sketching for fast numerical linear algebra
- Dong Hu
- Shashanka Ubaru
- et al.
- 2021
- ICASSP 2021
IBM Crew Pairing and Rostering Optimization (C-PRO) Technology with MDP for Optimization Flow Orchestration
- Vladimir Lipets
- Alexander Zadorojniy
- 2021
- MTCSPTA 2021
Robust high-dimensional memory-augmented neural networks
- Geethan Karunaratne
- Manuel Schmuck
- et al.
- 2021
- Nature Communications
Dynamic Graph Convolutional Networks Using the Tensor M-Product
- Osman Asif Malik
- Shashanka Ubaru
- et al.
- 2021
- SDM 2021
On the Convergence of Gradient Descent in GANs: MMD GAN As a Gradient Flow
- Youssef Mroueh
- Truyen V. Nguyen
- 2021
- AISTATS 2021
Rate-improved Inexact Augmented Lagrangian Method for Constrained Nonconvex Optimization
- Zichong Li
- Pin-Yu Chen
- et al.
- 2021
- AISTATS 2021