Logo
  • Installation
    • Licensing and the free tier
    • Verifying the installation
    • GPU note
  • License
    • Free tier vs. licensed use
    • What does not count towards the limit
    • Configuring a license
  • Concepts
    • Symbolic graphs, not eager computation
    • Leaves: Const, Input, Param, RandomVariable
    • Frames: a shared coordinate system
    • Eval mode vs. opt mode
    • Differentiable discrete states
    • Marginalizing over random inputs
    • The standardized model object
  • Structures
    • Point / PointList
      • PointList
      • Point
    • Line / LineList
      • LineList
      • Line
    • Polyline
      • Polyline
    • Ray / RayList
      • RayList
      • Ray
    • Ellipse / EllipseList
      • Ellipse
      • EllipseList
    • Polygon / PolygonList
      • Polygon
      • PolygonList
    • Polyhedron / PolyhedronList
      • Polyhedron
      • PolyhedronList
    • Field
      • Field
    • Grid
      • Grid
    • Network
      • Network
    • Field3D / Grid3
      • Field3D
      • Grid3
    • Mesh
      • Mesh
  • Distributions
    • Univariate
      • Parameter sensitivity
      • Cumulative distributions
    • Circular
      • VonMises
      • WrappedGaussian
    • Directional climatologies
      • DirectionalMixture
    • Multivariate & mixtures
      • MultivariateGaussian
      • Mixture
      • Empirical
      • Histogram
    • Copulas & dependence structures
      • GaussianCopula
      • Correlation
      • Independent
    • Discrete distributions
  • Transformations
    • Smoothing behavior of PiecewiseLinear
      • Transform
      • Linear
      • Affine
      • Polynomial
      • PiecewiseLinear
      • Decay
      • Logistic
      • TableLookup1D
      • TableLookup2D
    • Periodic & recurring phenomena
      • Phase
      • Periodic
      • ReturnPeriod
      • RecurrenceRate
  • Training & Design Optimization
    • Calibration (MLE / MAP)
    • Freezing and selecting parameters
    • Finetuning the entire model
    • Learning distributions directly
    • Design optimization
    • Using a compiled model in external JAX solvers
    • Diagnostics
      • calibrate()
      • finetune()
      • fit_distribution()
      • optimize()
      • finite_difference_check()
      • check_identifiability()
      • CompiledModel
  • Example: Gas Dispersion & Community Health Risk
    • Step 1 — The frame and the geometry
    • Step 2 — Initial uncertainty: wind as random inputs
    • Step 3 — The physics: a Gaussian plume, symbolically
    • Step 4 — Transformations: from concentration to risk
    • Step 5 — Uncertain attributes and their correlation
    • Step 6 — Compile, train, optimize, export
    • Visualizing the probability landscape
    • Primitives exercised
    • Running it
  • Example: Distribution-Grid Reinforcement
    • Step 1 — The network
    • Step 2 — Reinforcement as a differentiable decision
    • Step 3 — Cascading a fault along the network
    • Step 4 — Outage risk and reinforcement cost
    • Step 5 — Joint design optimization
    • Running it
  • Export Format
    • Structure
    • Choosing a representation
    • Round-tripping
      • ModelPackage
      • AttributeExport
      • export_model()
  • API Reference
    • prophys.symbolic
    • prophys.frames
    • prophys.structures
    • prophys.transformations
    • prophys.distributions
    • prophys.domain
    • prophys.engine
    • prophys.export
    • prophys.plot
    • Symbolic core
      • Expr
      • Const
      • Input
      • Param
      • Surrogate
      • BinaryState
      • CategoricalState
    • Domain layer
      • UncertainAttribute
      • AttributeInteractions
      • ProbabilityModel
      • RandomVariable
    • Frames
      • Frame
      • FrameTransform
      • FrameRegistry
      • FrameError
  • Imprint / Impressum
    • English
      • Information Pursuant to § 5 TMG (German Telemedia Act)
      • Represented By
      • Contact
      • Commercial Register
      • VAT Identification Number
      • Responsible For Content Pursuant To § 18 Para. 2 MStV
      • Disclaimer
    • Deutsch
      • Angaben gemäß § 5 TMG
      • Vertreten durch
      • Kontakt
      • Registereintrag
      • Umsatzsteuer-ID
      • Verantwortlich für den Inhalt nach § 18 Abs. 2 MStV
      • Haftungshinweis
    • Software License
prophys
  • Search

© Copyright 2026, RhineQC GmbH.

Built with Sphinx using a theme provided by Read the Docs.