refinement

open Multi-View Stereo reconstruction library

RefineMask: Towards High-Quality Instance Segmentation with Fine-Grained Features (CVPR 2021)

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

A collection of refinements to core Ruby objects.

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D

Helpful components for aligning and keeping virtual objects aligned with the physical world.

OpenFoam® motorBike case with adaptive volume & surface mesh refinement based on curl(U) or grad(p)

Improving genome bins through the combination of different binning programs

Basic (mathematical) operations for B-spline functions and related things with julia

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

The Swiss Army knife for carbohydrate structure validation, refinement and analysis

A library for applying a row of rules for validation to refine a value

a programming language with composable refinements and inverse functions inference

Distributed termination detection on a ring, due to Shmuel Safra:

Spin with Refinement

Efficient Matlab Implementation of Adaptive Mesh Coarsening in 2D

Experiments with an extensible refinement framework

Knotical: An Inference System of Trace Refinement Relations

Built framework for Image dehazing for autonomous/electric vehicles driving in inclement weather conditions using deep learning Created a dehazing interface using Stream Lit which takes a foggy image as an input and gives the clear image as an output .Took an existing dataset, cleaned, and manipulated using Python and Deployed on website through Stream Lit

DcmDict is a Ruby gem (dcm_dict) to handle in a simple way the Data Dictionary defined within the DICOM Standard

A few extra tools

Adaptative Code refinement

Refinement model with first-order logic and range algebra

M2 MACS: Implémentation d'une méthode de volumes finis 1D utilisant un algorithme de raffinement

No-macro, no-reflection, opinionated type refinement for Scala, powered by e

Relaxed multi-levelset segmentation package, with tomographically consistent refinement.

An experiment in synthesis of C code from a functional language.

python class utility of 2D auto-refining grid to solve thermodynamic equilibrium problems