home/categories/research
domain cluster

Research

Scientific computing and academic tools.

8969 مهارةall categories
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
scientific-computing
16

directed-interval

Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy

plurigrid
plurigrid
research
open
scientific-computing
16

gflownet

Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.

plurigrid
plurigrid
research
open
scientific-computing
16

implementing-ot-network-traffic-analysis-with-nozomi

Deploy Nozomi Networks Guardian sensors for passive OT network traffic analysis to achieve comprehensive asset visibility, real-time threat detection, and vulnerability assessment across industrial control systems without disrupting operations, leveraging behavioral anomaly detection and protocol-aware monitoring.

plurigrid
plurigrid
research
open
scientific-computing
16

limit-set

Asymptotic behavior of trajectories (ω/α-limit sets)

plurigrid
plurigrid
research
open
scientific-computing
16

modelica

Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point classification for 3-coloring/3-MATCH systems.

plurigrid
plurigrid
research
open
scientific-computing
16

phase-portrait-generator

Generate phase portraits for 2D dynamical systems. Use when visualizing vector fields, nullclines, and trajectories.

plurigrid
plurigrid
research
open
scientific-computing
16

a

<!-- World A custom content -->

plurigrid
plurigrid
research
open
scientific-computing
16

abd

Attiya-Bar-Noy-Dolev atomic register emulation over message-passing. Load when designing quorum-based distributed storage, proving linearizability, or reasoning about fault-tolerant shared memory.

plurigrid
plurigrid
research
open
scientific-computing
16

acset-taxonomy

Taxonomy of ACSet skills with morphisms to semantically similar categorical/relational skills

plurigrid
plurigrid
research
open
scientific-computing
16

acsets-algebraic-databases

ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional navigation. Category-theoretic formalism for relational databases.

plurigrid
plurigrid
research
open
scientific-computing
16

catalyst-chemical

Chemical reaction network modeling with Catalyst.jl. Autopoietic systems, unit-aware ODEs, and interacting subsystems.

plurigrid
plurigrid
research
open
scientific-computing
16

catcolab-decapodes

CatColab Decapodes - Discrete Exterior Calculus for PDE modeling on meshes via Decapodes.jl integration. Model physics equations compositionally with automatic code generation.

plurigrid
plurigrid
research
open
scientific-computing
16

catcolab-petri-nets

CatColab Petri Nets - concurrent system modeling via places (states), transitions (events), and token flow. Foundation for process algebra, workflow, and chemical reaction networks.

plurigrid
plurigrid
research
open
scientific-computing
16

catcolab-regulatory-networks

CatColab Regulatory Networks - signed graphs for molecular biology modeling gene regulatory networks with positive (activating) and negative (inhibiting) edges.

plurigrid
plurigrid
research
open
scientific-computing
16

information-geometry

Fisher-Rao metric on statistical manifolds with natural gradient and divergence analysis

plurigrid
plurigrid
research
open
scientific-computing
16

lawvere-theory

Lawvere theories: categorical universal algebra.

plurigrid
plurigrid
research
open
scientific-computing
16

presheaf-topos

Presheaves: contravariant Set-valued functors.

plurigrid
plurigrid
research
open
scientific-computing
16

spectral-methods

Fourier-Laplacian eigenmodes for frequency domain analysis of graph and signal structures

plurigrid
plurigrid
research
open
scientific-computing
16

virtual-double

Virtual double categories: loose morphisms.

plurigrid
plurigrid
research
open
scientific-computing
16

weighted-limit

Weighted (co)limits: J-indexed diagrams.

plurigrid
plurigrid
research
open
Previous
Page 233 / 374
Next