mansooralodhi/nnpruning

The works focus on pruning a neural network, structurally, based on the sensitivity of weights that cover the entire output range of the loss function..

Language: Jupyter Notebook - Size: 1.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

JuliaIntervals/IntervalArithmetic.jl

Library for validated numerics using interval arithmetic

Language: Julia - Size: 4.18 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 313 - Forks: 70

AndrosovAS/intvalpy

IntvalPy - a Python interval computation library

Language: Python - Size: 6.43 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 3

stillwater-sc/universal

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

Language: C++ - Size: 118 MB - Last synced at: about 9 hours ago - Pushed at: about 1 month ago - Stars: 443 - Forks: 62

shaoyuanxun/MCPy

MCPy is a python library for McCormick relaxations with sub-gradients. This is quite useful for prototyping and testing new convex relaxation and global optimization algorithms.

Language: Jupyter Notebook - Size: 10.3 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 13.8 MB - Last synced at: 19 days ago - Pushed at: 27 days ago - Stars: 201 - Forks: 17

mauriciopoppe/interval-arithmetic

An implementation of an algebraically closed interval system of the extended real number set

Language: TypeScript - Size: 1.52 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 93 - Forks: 9

google/autobound

AutoBound automatically computes upper and lower bounds on functions.

Language: Python - Size: 509 KB - Last synced at: 19 days ago - Pushed at: 12 months ago - Stars: 359 - Forks: 19

ariadne-cps/ariadne

C++ framework for rigorous computation on cyber-physical systems

Language: C++ - Size: 20 MB - Last synced at: 24 days ago - Pushed at: 25 days ago - Stars: 29 - Forks: 9

lucaferranti/DedekindCutArithmetic.jl

Exact real arithmetic using Dedekind cuts

Language: Julia - Size: 730 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 7 - Forks: 0

JuliaIntervals/IntervalBoxes.jl

Multi-dimensional interval boxes

Language: Julia - Size: 59.6 KB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 2

mansooralodhi/intervalAdjointSigAnalysis

msThesis

Language: Python - Size: 25.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

rnabioco/valr

Genome Interval Arithmetic in R

Language: R - Size: 69.2 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 91 - Forks: 25

unageek/inari

A Rust implementation of interval arithmetic (IEEE 1788)

Language: Rust - Size: 760 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 39 - Forks: 2

DSCF-1224/ieee1788_fortran

Language: Fortran - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

BiocPy/IRanges

IRanges in Python

Language: Python - Size: 603 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 0

JuliaIntervals/IntervalRootFinding.jl

Library for finding the roots of a function using interval arithmetic

Language: Julia - Size: 1.45 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 131 - Forks: 25

JuliaReach/IntervalMatrices.jl

Matrices with interval coefficients in Julia

Language: Julia - Size: 637 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 19 - Forks: 2

ASAG-ISCAS/PyBDR

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

Language: Python - Size: 5.09 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 2

JuliaIntervals/IntervalLinearAlgebra.jl

Linear algebra done rigorously

Language: Julia - Size: 1.84 MB - Last synced at: 22 days ago - Pushed at: 10 months ago - Stars: 38 - Forks: 11

JuliaIntervals/MPFI.jl 📦

Julia wrapper of the MPFI multi-precision interval library

Language: Julia - Size: 23.4 KB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 2

JuliaIntervals/IntervalOptimisation.jl

Rigorous global optimisation

Language: Julia - Size: 57.6 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 58 - Forks: 21

staircase-dev/piso

Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex

Language: Python - Size: 463 KB - Last synced at: 20 days ago - Pushed at: 5 months ago - Stars: 26 - Forks: 2

torsknod2/ieee1788-ada

Ada Native IEEE 1788 library

Language: Ada - Size: 11.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

vladimir-skvortsov/spbstu-interval-anylysis

Лабораторные работы по дисциплине «интервальный анализ».

Language: Jupyter Notebook - Size: 16.6 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

childsish/interval

A header only C++ interval and interval set

Language: C++ - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 3

gchudnov/mindthegap

Intervals, Relations, and Algorithms

Language: Scala - Size: 1.26 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 1

fastrgv/Interval-RPN-Calculator

Terminal App that mimics an HP RPN calculator using Interval Arithmetic for Windows/OSX/Linux. Output is an interval that contains exact solution. Uses Boost Interval library.

Language: Ada - Size: 2.59 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

neilkichler/cuinterval

CUDA Interval Arithmetic Library

Language: C++ - Size: 506 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

biyori-sh/cliarith

A simple trial implementation of interval arithmetic in Common Lisp.

Language: Common Lisp - Size: 8.79 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

JuliaIntervals/IntervalContractors.jl

Interval contractors and inverse (reverse) functions for Julia

Language: Julia - Size: 181 KB - Last synced at: 22 days ago - Pushed at: 10 months ago - Stars: 10 - Forks: 10

flintlib/arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

Language: C - Size: 9.98 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 457 - Forks: 135

swapp-ai/extents

An Intervals Library Implemented in Pure Python

Language: Python - Size: 32.2 KB - Last synced at: 24 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 1

hiwane/interval-arithmetic

an implementation of interval arithmetic

Language: Go - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

unageek/graphest

A faithful graphing calculator

Language: Rust - Size: 17.6 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 86 - Forks: 1

DanIsraelMalta/Interval-arithmetic

an Interval arithmetic class for matlab

Language: MATLAB - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 1

liuvince/polytech-interval-arithmetic

Interval arithmetic C library

Language: C - Size: 575 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

neilkichler/sobolev-pruning

Towards Sobolev Pruning (PASC'24 Conference Paper)

Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

szhilin/octave-interval-examples

Examples of interval data analysis in Octave

Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

hejmsdz/NonLinear

A program that solves non-linear equations numerically, using floating point and interval arithmetics

Language: C++ - Size: 479 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Chris00/ocaml-interval

An interval library for OCaml

Language: OCaml - Size: 423 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

eseraygun/rust-honestintervals

A comprehensive, correctly rounding interval arithmetic library for Rust

Language: Rust - Size: 108 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 3

yudi-matsuzake/uglibs

uglibs is a collection of c++ libraries

Language: C++ - Size: 461 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tadd/int

An interval-arithmetic-ish library with a terrible name.

Language: Ruby - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

szhilin/kinterval

Octave package for Kaucher interval arithmetic

Language: MATLAB - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

rodrigogiraoserrao/interval-SPCA

Symbolic principal component analysis of interval-valued data

Language: R - Size: 768 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Soupstraw/hafar

Affine arithmetic library for Haskell

Language: Haskell - Size: 61.5 KB - Last synced at: 10 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

kevinclancy/levitate

Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

Language: Haskell - Size: 9.77 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

zperkowski/QtEan

Solving linear equations with interval arithmetic

Language: C++ - Size: 56.6 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

soarlab/gelpia

Rigorous Global Branch-and-Bound Optimizer

Language: Python - Size: 2.85 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 14 - Forks: 5

cryvosh/TemporalSetInversion

Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)

Language: C++ - Size: 39 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 3

LoliGothick/Cranberries 📦

Language: C++ - Size: 20 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 26 - Forks: 3

KarolWes/NewtonPolynomials

Newton polynomial interval arithm qt c++ PUT Pl

Language: C++ - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

xlxs4/sicp-interval-arithmetic

Data abstractions for basic Interval arithmetic in Scheme (+ LISP)

Language: Scheme - Size: 3.91 KB - Last synced at: about 20 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

baharev/mindiffver 📦

Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy

Language: C++ - Size: 1.6 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

AnderGray/MomentArithmetic.jl

Rigorous moment propagation with partial information about moments and dependencies in Julia

Language: Julia - Size: 53.7 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 12 - Forks: 0

zborffs/set-inversion

implementation of set-inversion algorithm

Language: C++ - Size: 221 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

selmaohneh/IntSharp

A rigorous interval arithmetic library for .NET

Language: C# - Size: 43.9 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

JCSadeghi/Efficient-Training-of-Interval-Neural-Networks-for-Imprecise-Training-Data Fork of MrGemy95/Tensorflow-Project-Template

Experiments from Efficient Training of Interval Neural Networks for Imprecise Training Data

Language: Python - Size: 123 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 2

JCSadeghi/PyIPM

A python port of the OpenCossan Interval Predictor Model toolbox

Language: Python - Size: 162 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 2

e-dub/pyUngewiss

Python librarY for UNcertainty analysis in liGhtwEight desiGn with IntervalS and fuzzy numberS

Language: Python - Size: 612 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

JanCaha/FuzzyMath

Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.

Language: Python - Size: 304 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kamilkhanlab/ob-ode-relaxations

Proof-of-concept implementation of a new method for computing convex relaxations for parametric ordinary differential equations.

Language: MATLAB - Size: 126 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

RyanBalfanz/go-timeint

Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

wol4aravio/Intervallum

Interval computations

Language: Python - Size: 112 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

FabriceSalvaire/python-interval-arithmetic

A Python Interval Arithmetic Module

Language: Python - Size: 1.51 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

andrew-lei/intervals

Interval arithmetic for Python using algebraic data types

Language: Python - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

Programtica/SitoEratostenesa

Liczby pierwsze z danego przedziału.

Language: Java - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

KolorowyAleksander/ean-projekt

interval arithmetic

Language: Python - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0