Image de couverture de livre

The Ice Sheet State and Parameter Estimator (ICESEE) Library (v1.0.0): Ensemble Kalman Filtering for Ice Sheet Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kyanjo, Brian, Mayo, Talea L., Robel, Alexander A.
Format:	Preprint
Publié:	2026
Sujets:	Computational Complexity
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

GeoFlood (v1.0.0): Computational model for overland flooding
par: Kyanjo, Brian, et autres
Publié: (2024)

Algebraic Pseudorandomness in $VNC^0$
par: Andrews, Robert
Publié: (2025)

Parity $\notin$ QAC0 $\iff$ QAC0 is Fourier-Concentrated
par: Gretta, Lucas, et autres
Publié: (2026)

$\mathsf{QAC}^0$ Contains $\mathsf{TC}^0$ (with Many Copies of the Input)
par: Grier, Daniel, et autres
Publié: (2026)

Optimal Polynomial-Time Estimators: A Bayesian Notion of Approximation Algorithm
par: Kosoy, Vanessa, et autres
Publié: (2016)

On the Pauli Spectrum of QAC0
par: Nadimpalli, Shivam, et autres
Publié: (2023)

Domain-Decomposed Graph Neural Network Surrogate Modeling for Ice Sheets
par: Propp, Adrienne M., et autres
Publié: (2025)

Improved Lower Bounds for QAC0
par: Joshi, Malvika Raj, et autres
Publié: (2025)

Multifidelity Uncertainty Quantification for Ice Sheet Simulations
par: Aretz, Nicole, et autres
Publié: (2024)

AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
par: Lu, Jiaqi, et autres
Publié: (2025)

Low-degree approximation of QAC$^0$ circuits
par: Montanaro, Ashley, et autres
Publié: (2024)

$\#$W[1] = $\text{FPT}$: Fixed-Parameter Tractable Exact Algorithms for the $\#k$-Matching Problem
par: Yi, Yongming
Publié: (2026)

Complexity of the Guided Local Hamiltonian Problem: Improved Parameters and Extension to Excited States
par: Cade, Chris, et autres
Publié: (2022)

An extension of Dembo-Hammer's reduction algorithm for the 0-1 knapsack problem
par: Yang, Yang
Publié: (2025)

Generalized minimum 0-extension problem and discrete convexity
par: Dvorak, Martin, et autres
Publié: (2021)

The Parameter Report: An Orientation Guide for Data-Driven Parameterization
par: Komusiewicz, Christian, et autres
Publié: (2025)

Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
par: Antonelli, Melissa, et autres
Publié: (2025)

Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs
par: Casteigts, Arnaud, et autres
Publié: (2024)

Learning junta distributions, quantum junta states, and QAC$^0$ circuits
par: Bao, Jinge, et autres
Publié: (2024)

Domination in Diameter-Two Graphs and the 2-Club Cluster Vertex Deletion Parameter
par: Abu-Khzam, Faisal N., et autres
Publié: (2024)

The Parameterized Complexity of Geometric 1-Planarity
par: Firbas, Alexander
Publié: (2026)

Assessing Annotation Accuracy in Ice Sheets Using Quantitative Metrics
par: Tama, Bayu Adhi, et autres
Publié: (2024)

Program Synthesis is $Σ_3^0$-Complete
par: Kim, Jinwoo
Publié: (2024)

The Parameterized Complexity of Computing the Linear Vertex Arboricity
par: Erhardt, Alexander, et autres
Publié: (2025)

Perfect diffusion is $\mathsf{TC}^0$ -- Bad diffusion is Turing-complete
par: Liu, Yuxi
Publié: (2025)

Finding a HIST: Chordality, Structural Parameters, and Diameter
par: Hanaka, Tesshu, et autres
Publié: (2025)

Unconditionally separating noisy $\mathsf{QNC}^0$ from bounded polynomial threshold circuits of constant depth
par: Hsieh, Min-Hsiu, et autres
Publié: (2024)

Complexity of Multiple-Hamiltonicity in Graphs of Bounded Degree
par: Liu, Brian, et autres
Publié: (2024)

Proximity to Losslessly Compressible Parameters
par: Farrugia-Roberts, Matthew
Publié: (2023)

Cascaded Learned Bloom Filter for Optimal Model-Filter Size Balance and Fast Rejection
par: Sato, Atsuki, et autres
Publié: (2025)

DeepTopoNet: A Framework for Subglacial Topography Estimation on the Greenland Ice Sheets
par: Tama, Bayu Adhi, et autres
Publié: (2025)

Two-State Spin Systems with Negative Interactions
par: Fei, Yumou, et autres
Publié: (2023)

Multiplicative Turing Ensembles, Pareto's Law, and Creativity
par: Kolpakov, Alexander, et autres
Publié: (2025)

Learnability of Parameter-Bounded Bayes Nets
par: Bhattacharyya, Arnab, et autres
Publié: (2024)

Fixed Parameter Tractable Linearizability Monitoring
par: Han, Lee Zheng, et autres
Publié: (2025)

Filter Pruning based on Information Capacity and Independence
par: Tang, Xiaolong, et autres
Publié: (2023)

An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problem
par: Yang, Yang
Publié: (2024)

Upper and Lower Bounds on $T_1$ and $T_2$ Decision Tree Model
par: Alhamdan, Yousef M.
Publié: (2025)

What makes an Ensemble (Un) Interpretable?
par: Bassan, Shahaf, et autres
Publié: (2025)

Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard
par: Arteche, Noel, et autres
Publié: (2024)