Salvato in:
| Autori principali: | van Emden, M. H., Moa, B., Somosan, S. C. |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2007
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/cs/0703003 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The Fundamental Theorems of Interval Analysis
di: van Emden, M. H., et al.
Pubblicazione: (2007)
di: van Emden, M. H., et al.
Pubblicazione: (2007)
On the Significance of Digits in Interval Notation
di: van Emden, M. H.
Pubblicazione: (2002)
di: van Emden, M. H.
Pubblicazione: (2002)
Factored Notation for Interval I/O
di: van Emden, M. H.
Pubblicazione: (2001)
di: van Emden, M. H.
Pubblicazione: (2001)
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
di: van Emden, M. H.
Pubblicazione: (2002)
di: van Emden, M. H.
Pubblicazione: (2002)
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
di: van Emden, M. H., et al.
Pubblicazione: (2004)
di: van Emden, M. H., et al.
Pubblicazione: (2004)
Spectral Methods via FFTs in Emerging Machine Number Formats: OFP8, Bfloat16, Posit, and Takum Arithmetics
di: Hunhold, Laslo, et al.
Pubblicazione: (2025)
di: Hunhold, Laslo, et al.
Pubblicazione: (2025)
Analysis of and workarounds for element reversal for a finite element-based algorithm for warping triangular and tetrahedral meshes
di: Shontz, Suzanne M., et al.
Pubblicazione: (2004)
di: Shontz, Suzanne M., et al.
Pubblicazione: (2004)
Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
di: Ramakrishna, P. H. D., et al.
Pubblicazione: (2003)
di: Ramakrishna, P. H. D., et al.
Pubblicazione: (2003)
Direction-Preserving Number Representations
di: Zadeh, Bardia, et al.
Pubblicazione: (2026)
di: Zadeh, Bardia, et al.
Pubblicazione: (2026)
Perturbation Function Iteration Method: A New Framework for Solving Periodic Solutions of Non-linear and Non-smooth Systems
di: Cao, Limin, et al.
Pubblicazione: (2025)
di: Cao, Limin, et al.
Pubblicazione: (2025)
A Unifying Family of Data-Adaptive Partitioning Algorithms
di: Oldaker IV, Guy B., et al.
Pubblicazione: (2024)
di: Oldaker IV, Guy B., et al.
Pubblicazione: (2024)
Mechanizing Olver's Error Arithmetic
di: Fan, Max, et al.
Pubblicazione: (2025)
di: Fan, Max, et al.
Pubblicazione: (2025)
Weighted average finite difference methods for fractional diffusion equations
di: Yuste, Santos B.
Pubblicazione: (2004)
di: Yuste, Santos B.
Pubblicazione: (2004)
Interval Constraint Solving for Camera Control and Motion Planning
di: Benhamou, Frederic, et al.
Pubblicazione: (2000)
di: Benhamou, Frederic, et al.
Pubblicazione: (2000)
Solving Boundary Handling Analytically in Two Dimensions for Smoothed Particle Hydrodynamics
di: Winchenbach, Rene, et al.
Pubblicazione: (2025)
di: Winchenbach, Rene, et al.
Pubblicazione: (2025)
On numerical stability of recursive present value computation method
di: Kuketayev, Argyn
Pubblicazione: (2006)
di: Kuketayev, Argyn
Pubblicazione: (2006)
An Adaptive Difference Method for Variable-Order Diffusion Equations
di: Quintana-Murillo, Joaquín, et al.
Pubblicazione: (2024)
di: Quintana-Murillo, Joaquín, et al.
Pubblicazione: (2024)
A Robust Solution Procedure for Hyperelastic Solids with Large Boundary Deformation
di: Shontz, Suzanne M., et al.
Pubblicazione: (2006)
di: Shontz, Suzanne M., et al.
Pubblicazione: (2006)
On an explicit finite difference method for fractional diffusion equations
di: Yuste, S. B., et al.
Pubblicazione: (2003)
di: Yuste, S. B., et al.
Pubblicazione: (2003)
An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores
di: Valpey, Benjamin, et al.
Pubblicazione: (2025)
di: Valpey, Benjamin, et al.
Pubblicazione: (2025)
Adaptive time step selection for Spectral Deferred Correction
di: Saupe, Thomas, et al.
Pubblicazione: (2024)
di: Saupe, Thomas, et al.
Pubblicazione: (2024)
Resilience Against Soft Faults through Adaptivity in Spectral Deferred Correction
di: Saupe, Thomas, et al.
Pubblicazione: (2024)
di: Saupe, Thomas, et al.
Pubblicazione: (2024)
Prediction Air Temperature in Geothermal Heat Exchangers Using Pseudorandom Numbers: The New DARL Model
di: Ramírez-Dolores, C., et al.
Pubblicazione: (2025)
di: Ramírez-Dolores, C., et al.
Pubblicazione: (2025)
Mathematical Modeling of Option Pricing with an Extended Black-Scholes Framework
di: Nayak, Nikhil Shivakumar
Pubblicazione: (2025)
di: Nayak, Nikhil Shivakumar
Pubblicazione: (2025)
Reliability Conditions in Quadrature Algorithms
di: Adam, Gh., et al.
Pubblicazione: (2003)
di: Adam, Gh., et al.
Pubblicazione: (2003)
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
di: Ratschan, Stefan
Pubblicazione: (2002)
di: Ratschan, Stefan
Pubblicazione: (2002)
Classifying extrema using intervals
di: Gutowski, Marek W.
Pubblicazione: (2006)
di: Gutowski, Marek W.
Pubblicazione: (2006)
The pitfalls of verifying floating-point computations
di: Monniaux, David
Pubblicazione: (2007)
di: Monniaux, David
Pubblicazione: (2007)
Augmenting MRI scan data with real-time predictions of glioblastoma brain tumor evolution using faster exponential time integrators
di: Pabisz, Magdalena, et al.
Pubblicazione: (2024)
di: Pabisz, Magdalena, et al.
Pubblicazione: (2024)
Matrix-Free Parallel Scalable Multilevel Deflation Preconditioning for Heterogeneous Time-Harmonic Wave Problems
di: Chen, Jinqiang, et al.
Pubblicazione: (2024)
di: Chen, Jinqiang, et al.
Pubblicazione: (2024)
Symplectic integrators for second-order linear non-autonomous equations
di: Bader, Philipp, et al.
Pubblicazione: (2017)
di: Bader, Philipp, et al.
Pubblicazione: (2017)
GridapROMs.jl: Efficient reduced order modelling in the Julia programming language
di: Mueller, Nicholas, et al.
Pubblicazione: (2025)
di: Mueller, Nicholas, et al.
Pubblicazione: (2025)
A non-standard numerical scheme for an age-of-infection epidemic model
di: Messina, Eleonora, et al.
Pubblicazione: (2021)
di: Messina, Eleonora, et al.
Pubblicazione: (2021)
Contraction and Convergence Rates for Discretized Kinetic Langevin Dynamics
di: Leimkuhler, Benedict, et al.
Pubblicazione: (2023)
di: Leimkuhler, Benedict, et al.
Pubblicazione: (2023)
Using matrices in post-processing phase of CFD simulations
di: Argentini, Gianluca
Pubblicazione: (2004)
di: Argentini, Gianluca
Pubblicazione: (2004)
Using sparse matrices and splines-based interpolation in computational fluid dynamics simulations
di: Argentini, Gianluca
Pubblicazione: (2004)
di: Argentini, Gianluca
Pubblicazione: (2004)
Precision Arithmetic: A New Floating-Point Arithmetic
di: Wang, Chengpu
Pubblicazione: (2006)
di: Wang, Chengpu
Pubblicazione: (2006)
Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
di: Daněk, Josef, et al.
Pubblicazione: (2024)
di: Daněk, Josef, et al.
Pubblicazione: (2024)
CUQIpy: I. Computational uncertainty quantification for inverse problems in Python
di: Riis, Nicolai A B, et al.
Pubblicazione: (2023)
di: Riis, Nicolai A B, et al.
Pubblicazione: (2023)
Finite-Time Convergence Guarantees for Time-Parallel Methods
di: Antonucci, Giancarlo Antonino, et al.
Pubblicazione: (2026)
di: Antonucci, Giancarlo Antonino, et al.
Pubblicazione: (2026)
Documenti analoghi
-
The Fundamental Theorems of Interval Analysis
di: van Emden, M. H., et al.
Pubblicazione: (2007) -
On the Significance of Digits in Interval Notation
di: van Emden, M. H.
Pubblicazione: (2002) -
Factored Notation for Interval I/O
di: van Emden, M. H.
Pubblicazione: (2001) -
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
di: van Emden, M. H.
Pubblicazione: (2002) -
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
di: van Emden, M. H., et al.
Pubblicazione: (2004)