[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
-
Updated
May 10, 2024 - TeX
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
Computational Methods in Chemical Engineering (UMass Lowell, Spring 2024); Prof. Valmor F. de Almeida.
Anything can happen in the next half hour (including spectral timing made easy)!
Source code for book "Image algorithms for low-level vision tasks" (Jia. 2024)
Learn Fourier analysis using live scripts and apps.
Set of *nix utilities for experimentation and learning about spectral analysis of images
Using Machine Learning & Fourier Regression to model atmospheric wind, temperature, and pressure in MERRA-2 and ERA-5
Power spectrum inference of irregularly sampled time series using Gaussian Processes in Julia
Tutorial notebooks for Stingray
Detect source resolution of upscaled images
Power spectrum inference of irregularly sampled time series using Gaussian Processes
Ultra-low-complexity MDCT Audio Codec
This repo specifically contains all the numerical experiments conducted during my MS-Thesis Project sharing the same title. Major languages used in the span of this project are Python, Matlab and Mathematica. The code files are well-commented and are the codes self-explanatory.
Use IBM API for anomaly detection in time series data, visualisation, seasonality with statsmodels decomposition and Fourier analysis, K-Means clustering
TinyML project for analyzing accelerometer and gyroscope signals and classifying possible falls in real time using a microcontroller
Unofficial pytorch implementation of Fourier Heat Map proposed in 'A Fourier Perspective on Model Robustness in Computer Vision' [Yin+, NeurIPS2019]
This is the LaTeX and Python files for my IB Extended Essay on "Exploring the Efficacy of Fourier Analysis in Solving Ordinary and Partial Differential Equations."
An interactive program for visualizing the Fourier series decomposition of a given function with a GUI developed using PyQt.
A program that uses the fourier transform to analyse a user given wave, and breask it down to its component waves
Make fun of fourier transform.
Add a description, image, and links to the fourier-analysis topic page so that developers can more easily learn about it.
To associate your repository with the fourier-analysis topic, visit your repo's landing page and select "manage topics."