# The Synchrosqueezing algorithm for time-varying spectral analysis: robustness properties and new paleoclimate applications

29 Apr 2011

We analyze the stability properties of the Synchrosqueezing transform, a time-frequency signal analysis method that can identify and extract oscillatory components with time-varying frequency and amplitude.

Classical Analysis and ODEs Computational Engineering, Finance, and Science Numerical Analysis Data Analysis, Statistics and Probability 42C40, 65T99, 62M15, 86A04

242
0.34 stars / hour

# Optimal inference in a class of regression models

19 Nov 2015

When the function class is centrosymmetric, these efficiency bounds imply that minimax CIs are close to efficient at smooth regression functions.

Statistics Theory Applications Statistics Theory

34
0.07 stars / hour

# A type theory for synthetic $\infty$-categories

21 May 2017

To make the bookkeeping in such proofs manageable, we use a three-layered type theory with shapes, whose contexts are extended by polytopes within directed cubes, which can be abstracted over using "extension types" that generalize the path-types of cubical type theory.

Category Theory Logic 03G30, 18G55, 55U40

23
0.05 stars / hour

# Universal Average-Case Optimality of Polyak Momentum

19 Aug 2020

Polyak momentum (PM), also known as the heavy-ball method, is a widely used optimization method that enjoys an asymptotic optimal worst-case complexity on quadratic objectives.

Optimization and Control

12,247
0.04 stars / hour

# PySINDy: A Python package for the Sparse Identification of Nonlinear Dynamics from Data

17 Apr 2020

PySINDy is a Python package for the discovery of governing dynamical systems models from data.

Dynamical Systems Computational Physics

548
0.03 stars / hour

# Differentiating through Log-Log Convex Programs

27 Apr 2020

We use the adjoint of the derivative to implement differentiable log-log convex optimization layers in PyTorch and TensorFlow.

Optimization and Control

3,710
0.03 stars / hour

# Computing in Operations Research using Julia

5 Dec 2013

The state of numerical computing is currently characterized by a divide between highly efficient yet typically cumbersome low-level languages such as C, C++, and Fortran and highly expressive yet typically slow high-level languages such as Python and MATLAB.

Optimization and Control Numerical Analysis Programming Languages

1,629
0.02 stars / hour

# Cohomology fractals

16 Apr 2020

We introduce cohomology fractals; these are certain images associated to a cohomology class on a hyperbolic three-manifold.

Geometric Topology

26
0.02 stars / hour

# Fireshape: a shape optimization toolbox for Firedrake

21 Sep 2020

We introduce Fireshape, an open-source and automated shape optimization toolbox for the finite element software Firedrake.

Optimization and Control Numerical Analysis Numerical Analysis

18
0.02 stars / hour

# A new coefficient of correlation

23 Sep 2019

Is it possible to define a coefficient of correlation which is (a) as simple as the classical coefficients like Pearson's correlation or Spearman's correlation, and yet (b) consistently estimates some simple and interpretable measure of the degree of dependence between the variables, which is 0 if and only if the variables are independent and 1 if and only if one is a measurable function of the other, and (c) has a simple asymptotic theory under the hypothesis of independence, like the classical coefficients?

Statistics Theory Probability Statistics Theory 62H20, 62H15

112
0.02 stars / hour