From Prototype to Promise: MaRDIFlow Charts the Future of Math Computing
2 Jun 2025
MaRDIFlow delivers FAIR workflow automation for mathematical sciences through abstract I/O objects, multi-layered descriptions, and ELN integration.
Case Studies in MaRDIFlow: Methanization and Cahn-Hilliard Equation Implementations
2 Jun 2025
MaRDIFlow examples: CO2 methanization reactor (nonlinear PDEs) and binary alloy spinodal decomposition (Cahn-Hilliard equation) workflows.
Technical Implementation of MaRDIFlow: Metadata-Driven Workflow Abstraction
2 Jun 2025
MaRDIFlow uses abstract I/O objects with metadata to create multi-level, redundant workflow descriptions enabling reproducible CSE experiments.
Existing Workflow Solutions: Analyzing Jupyter, CWL, Galaxy, and FMI for Reproducibility
2 Jun 2025
Reviews Jupyter, CWL, Galaxy, FMI for workflow reproducibility. Each has limitations: static nature, incomplete provenance, lack of multi-level abstraction.
New Framework Makes Scientific Computing Workflows Truly Reproducible
2 Jun 2025
MaRDIFlow automates CSE workflow abstraction with ontology-based metadata, multi-layered descriptions, and FAIR principles for reproducible science.
Bridging Computational Notions of Depth: Working Towards the Proof of Lemma 3
18 Jan 2025
Here's how we worked towards the proof of Lemma 3.
Bridging Computational Notions of Depth: Variants of Strong Depth
17 Jan 2025
Can we equivalently characterize strong depth by replacing the discrete semimeasures in the definition with continuous semimeasures?
Bridging Computational Notions of Depth: Here's Why Strong Depth is Negligible
17 Jan 2025
The class of strongly deep sequences is negligible. Here's how we know.
Bridging Computational Notions of Depth: Members of Deep Classes
16 Jan 2025
Introducing the members of deep classes and proving that they are strongly deep.