Výsledky vyhledávání - "ACM F.2.2 Nonnumerical Algorithms and Problems"

Validator-Grade Resolution of Quantum Field Theory and Gravity via Spectral Geometry, Numerical Realization, and Cryptographic Attestation

Autoři: Forrest M. Anderson, Forrest

Témata: • Category Theory • Spectral Geometry • Noncommutative Geometry • Quantum Field Theory (QFT) • General Relativity • Gravity Quantization • Spectral Triple • Fluctuated Dirac Operator • Spectral Action Principle • Algebraic Unification • Gauge-Gravity Duality • Fermionic Bilinear • Operator-Theoretic Physics • Geometric Quantization • Mathematical Physics • Finite Element Method (FEM) • Spectral Approximation • Numerical Convergence • Bilinear Projection • Mesh Refinement • Sobolev Spaces • Eigenvalue Stability • Trace-Class Operators • Discretized Manifolds • Symbolic-to-Numerical Translation • IEEE 754 Compliance • Canonical Encoding • Deterministic Replay • Merkle Manifest • Cryptographic Attestation • Inclusion Proofs • Validator-Grade Verification • Reproducible Computation • Scientific Integrity • Manifest-Based Replication • MSC 81Txx – Quantum Theory • MSC 53Cxx – Differential Geometry • MSC 58Jxx – Partial Differential Equations on Manifolds • MSC 65N30 – FEM, PDEs • MSC 68P25 – Data Encoding and Compression • MSC 68Q87 – Cryptographic Protocols • ACM G.1.8 – Partial Differential Equations • ACM F.2.2 – Nonnumerical Algorithms and Problems • ACM D.4.6 – Security and Protection • ACM I.1.1 – Symbolic and Algebraic Manipulation • Alain Connes • Matilde Marcolli • Ivo Babuška • Ralph Merkle • IEEE Standards Association • Dan Boneh • Victor Shoup • Victoria Stodden • Gavin Wood • Scientific Reproducibility • Validator Framework • Cryptographic Verification • Open Science • Zenodo • arXiv • CERN • Mathematical Institute • Department of Applied Mathematics • Institute for Advanced Study

Relation: https://zenodo.org/records/17262968; oai:zenodo.org:17262968; https://doi.org/10.5281/zenodo.17262968

Dostupnost: https://doi.org/10.5281/zenodo.17262968
https://zenodo.org/records/17262968

A constraint hierarchies approach to geometric constraints on sketches

Autoři: Jermann, Christophe Hosobe, Hiroshi Laboratoire d'Informatique de Nantes Atlantique (LINA) a další

Přispěvatelé: Jermann, Christophe Hosobe, Hiroshi Laboratoire d'Informatique de Nantes Atlantique (LINA) a další

Zdroj: Proceedings of the 2008 ACM symposium on Applied computing ; Symposium on Applied Computing ; https://hal.science/hal-00421496 ; Symposium on Applied Computing, 2008, Brazil. p. 1843-1844, ⟨10.1145/1363686.1364130⟩

Témata: geometric constraints, preferences, decomposition, ACM F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Dostupnost: https://hal.science/hal-00421496
https://hal.science/hal-00421496v1/document
https://hal.science/hal-00421496v1/file/jh-sac08gcr.pdf
https://doi.org/10.1145/1363686.1364130