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

overlordgolddragon/ssqueezepy 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

kolesarm/RDHonest 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

fizruk/rzk 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

d2l-ai/d2l-en 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

dynamicslab/pysindy 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

cvxgrp/cvxpy 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

jump-dev/jump.jl 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

henryseg/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

Fireshape/Fireshape 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

czbiohub/pyxi 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