interval-analysis

There are 0 repository under interval-analysis topic.

• codac-team / codac

  Codac is a library for constraint programming over reals, trajectories and sets.

  constraint-programmingroboticsinterval-analysisdynamical-systemstubeslocalizationstate-estimationslammobile-robotics
  Language:C++ 38

• PragmaTwice / codepunk

  [WIP] Interval Analysis on LLVM IR

  static-analysisabstract-interpretationinterval-analysisllvm
  Language:C++ 12

• dibyendu / unrelyzer

  Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

  control-flow-graphdata-flow-analysisinterval-analysisstatic-analysisstatic-analyzerunreliable-program
  Language:C 5

• JCSadeghi / PyIPM

  A python port of the OpenCossan Interval Predictor Model toolbox

  uncertainty-quantificationinterval-predictor-modelmachine-learningimprecise-probabilitydata-scienceinterval-analysisinterval-arithmeticopen-cossanstatistical-learning
  Language:Python 4

• cvanaret / CateGOrical.jl

  Julia prototype for solving mixed categorical optimization problems to global optimality

  branch-and-boundconstraint-programmingcontractorfiltering-algorithmglobal-optimizationglobal-optimization-algorithmsinterval-analysisjuliacatalog-constraintscategorical-optimization
  Language:Julia 0

• zhenyatos-burial-ground / computational

  :finnadie: Computational complexes labs (St. Petersburg Polytechnic State University)

  interval-analysisjulia
  Language:Julia 0

• afarjudian / IVP_MPFI

  An interval library for sound and complete solution of ordinary differential equation (ODE) initial value problems (IVPs) from the paper "Recursive solution of initial value problems with temporal discretization":

  differential-equationsinterval-analysisdomain-theory
  Language:C++

• polislizarralde / PISA

  Code and Datasets accompanying the paper titled "Robust optimization for solving the parameter estimation problem through interval analysis using actual data"

  interval-analysismathematicamathematical-modellingoptimization-algorithmsdengue-transmission
  Language:Mathematica