:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Covington, Christian
Format:	Recurso digital
Language:
Published:	Zenodo 2019
Online Access:	https://doi.org/10.5281/zenodo.20058082
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A powerful goodness-of-fit test using the probability integral transform of order statistics
by: Covington, Christian T., et al.
Published: (2025)

Bayesian model criticism using uniform parametrization checks
by: Covington, Christian T., et al.
Published: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

The Entropy of Floating-Point Numbers
by: Daniels, Sultan, et al.
Published: (2026)

A Fundamental Algorithm for Dependency Parsing (With Corrections)
by: Covington, Michael A.
Published: (2025)

Gesture and Power
by: Covington-Ward, Yolanda
Published: (2018)

Floating-Point Networks with Automatic Differentiation Can Represent Almost All Floating-Point Functions and Their Gradients
by: Park, Sejun, et al.
Published: (2026)

TimeFloats: Train-in-Memory with Time-Domain Floating-Point Scalar Products
by: Hashem, Maeesha Binte, et al.
Published: (2024)

Accurate Residues for Floating-Point Debugging
by: He, Yumeng, et al.
Published: (2026)

On the Expressive Power of Floating-Point Transformers
by: Park, Sejun, et al.
Published: (2026)

Verifying Floating-Point Programs in Stainless
by: Gilot, Andrea, et al.
Published: (2026)

Scaling Laws for Floating Point Quantization Training
by: Sun, Xingwu, et al.
Published: (2025)

Computing Floating-Point Errors by Injecting Perturbations
by: Tan, Youshuai, et al.
Published: (2025)

Floating-Point Data Transformation for Lossless Compression
by: Jamalidinan, Samirasadat, et al.
Published: (2025)

Search Your Block Floating Point Scales!
by: Gupta, Tanmaey, et al.
Published: (2026)

Automatic Verification of Floating-Point Accumulation Networks
by: Zhang, David K., et al.
Published: (2025)

Polynomial Invariant Generation for Floating-Point Programs
by: Cai, Xuran, et al.
Published: (2025)

Unbiased Statistical Estimation and Valid Confidence Intervals Under Differential Privacy
by: Covington, Christian, et al.
Published: (2021)

The AetherFloat Family: Block-Scale-Free Quad-Radix Floating-Point Architectures for AI Accelerators
by: Morisaki, Keita
Published: (2026)

(Appendix) Range chart of calcareous nannofossils in ODP Hole 129-802A
by: Mao, Shaozhi, et al.
Published: (1992)

(Table 2) Distribution of calcareous nannofossils in Cretaceous sediments recovered in ODP Hole 129-800A
by: Erba, Elisabetta, et al.
Published: (1992)

(Table 3) Distribution of calcareous nannofossils in Cretaceous sediments recovered in ODP Site 129-801
by: Erba, Elisabetta, et al.
Published: (1992)

Calcareous nannofossil abundances in Mesozoic sediments of ODP Leg 129 holes
by: Erba, Elisabetta, et al.
Published: (1992)

(Table 4) Distribution of calcareous nannofossils in Cretaceous sediments recovered in ODP Hole 129-802A
by: Erba, Elisabetta, et al.
Published: (1992)

Reduced Floating-Point Precision Implicit Monte Carlo
by: Butson, Simon, et al.
Published: (2025)

Precision Arithmetic: A New Floating-Point Arithmetic
by: Wang, Chengpu
Published: (2006)

Scalable Floating-Point Satisfiability via Staged Optimization
by: Zhang, Yuanzhuo, et al.
Published: (2026)

Error Analysis of ZFP Compression for Floating-Point Data
by: Diffenderfer, James, et al.
Published: (2018)

Microscaling Floating Point Formats for Large Language Models
by: Cococcioni, Marco, et al.
Published: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
by: Krahl, Markus, et al.
Published: (2025)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

Accurate Reduced Floating-Point Precision Implicit Monte Carlo
by: Butson, Simon, et al.
Published: (2025)

Hardware Trends Impacting Floating-Point Computations In Scientific Applications
by: Dongarra, Jack, et al.
Published: (2024)

Fast Generation of Custom Floating-Point Spatial Filters on FPGAs
by: Campos, Nelson, et al.
Published: (2024)

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root
by: Dutton, Lucas M., et al.
Published: (2024)

Lipschitz-Based Robustness Certification Under Floating-Point Execution
by: Murray, Toby
Published: (2026)

Online Alignment and Addition in Multi-Term Floating-Point Adders
by: Alexandridis, Kosmas, et al.
Published: (2024)

Efficient Floating-Point Arithmetic on Fault-Tolerant Quantum Computers
by: Serrallés, José E. Cruz, et al.
Published: (2025)

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
by: van Emden, M. H.
Published: (2002)