Latest Research in Scientific Computing and Data Management

Top Research Topics in Scientific Computing and Data Management

• Scientific Computing and Data Management — 15 papers
• Philosophy and Theoretical Science — 9 papers
• Logic, Reasoning, and Knowledge — 8 papers
• Computability, Logic, AI Algorithms — 4 papers
• Logic, programming, and type systems — 4 papers
• Formal Methods in Verification — 4 papers
• Artificial Intelligence — 4 papers
• Computation and Language — 4 papers
• Business Law and Ethics — 3 papers
• International Science and Diplomacy — 3 papers

Highest-Cited Papers

1. PEVG: Planner, Executor, Verifier, Generator. Four Contracts That Make a Failure Attributable to One Role (2 citations)
2. Mathematical Ontology and the Generator Paradox Why Formal Mathematics Does Not Supply Its Own Ontological Origin
3. DSOS Science Archive — Field Canon Collection
4. Mathematical Ontology and the Generator Paradox Why Formal Mathematics Does Not Supply Its Own Ontological Origin
5. A General Theory of Decisive Experiments
6. A General Theory of Decisive Experiments
7. iSelecTable: Evaluating the Interactive Selection for Tabular Data in the Virtual Reality Head-mounted Display
8. CFC Minimal Commit Invariant: A Technical Note on State Transition and Unsupported Closure
9. CFC Minimal Commit Invariant: A Technical Note on State Transition and Unsupported Closure
10. Potentiality as "It Depends": a Methodology on the Invariantial Binary Authorization of Host Platforms, With an Application to Infinite Regress
11. Correct Now, Insufficient Later: Auditing Update Sufficiency in Context Compression
12. A Bill of Runtime Rights: Ten Articles Governing the Authority Behind Machine-Initiated Actions
13. Virtual Invasion Dynamics: Mutual Invasion of Self-Organizing Attribute Clusters — From Boundary Generation to Actual Condensation: A Formal Outline of an Interdisciplinary Meta-Framework
14. Testing Candidate Cross-Domain Architectural Invariants: A Bounded Framework for Admissible Mapping, Preservation, and Refutation
15. Virtual Invasion Dynamics: Mutual Invasion of Self-Organizing Attribute Clusters — From Boundary Generation to Actual Condensation: A Formal Outline of an Interdisciplinary Meta-Framework
16. Testing Candidate Cross-Domain Architectural Invariants: A Bounded Framework for Admissible Mapping, Preservation, and Refutation
17. Law Genesis: The Information Cost of Making Many Microscopic Laws Become One
18. Law Genesis: The Information Cost of Making Many Microscopic Laws Become One
19. Potentiality as "It Depends": a Methodology on the Invariantial Binary Authorization of Host Platforms, With an Application to Infinite Regress
20. Born Internal & Complete Semantics Implies Perfect Self-Containment: { The Reverse Direction—From Quantum Probability to Closure}