Search Results for "scheme"

...For those who prefer to utilize command-line options, git-quick-stats also has a non-interactive mode supporting both short and long options. You can change to the legacy color scheme by toggling the variable _MENU_THEME between default and legacy. You can set variable _GIT_LIMIT for limited output. It will affect the "changelogs" and "branch tree" options. You can also exclude files from the stats. Note that it works with any alphanumeric, glob, or regex that git respects.

...Version 3.2 Jan 28 2024 1) Increased the length of plotting equations from 255 characters to unlimited 2) Added several new example surfaces Version 3.1 - Nov 6, 2022 1) Bug fix for minus sign in equations 2) Added Range Variables used in equations 3) Added Color Scheme Dialog 4) Added many more example surfaces Youtube Video: https://www.youtube.com/watch?v=ePqwLK2l5Iw&t=5s

...The software provides a robust, efficient and accurate means of phenotyping of roots, by detecting individual root tips and classifying them as belonging to a primary or lateral root. RootGraph is a novel, fully automated and robust approach for the detailed characterization of root traits, based on a graph optimization process. The scheme, firstly, distinguishes primary roots from lateral roots and, secondly, quantifies a broad spectrum of root traits.

...Please cite the following papers if you use a curvature filter in your work. Traditional solvers, such as gradient descent or Euler Lagrange Euqation, start at the total energy and use diffusion scheme to carry out the minimization. When the initial condition is the original image, the data fitting energy always increases while the regularization energy always reduces during the optimization. Thus, regularization energy must be the dominant part since the total energy has to decrease. Therefore, Curvature filters focus on minimizing the regularization term, whose minimizers are already known. ...

P.I.P. EQUATION CONVERTER - version 1.1 Copyright (C) 2015 ISYS lab P.I.P. Equation Converter is a very simple Prefix/Infix/Postfix equation converter. It can detect and convert equation from one form to the other. Important: ++++++++++ * supported operands: A-Z, a-z, 0-9 (only single character each) * supported operators: '+', '-', '*', '/', '(', ')' * do not use brackets while inputting Prefix/Postfix Equation * do use brackets while inputting Infix Equation * this application...

ViennaGrid is a generic mesh handling library that provides the traversal of structured and unstructured grids in arbitrary spatial dimensions, in particular 1d, 2d and 3d. Quantities can be conveniently stored on mesh elements using ViennaData.

IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts

High order finite-volume scheme for solving Maxwell's equations on arbitrary 3D domains. This SF project was created mainly for a backup.

This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.

Framework: Project for Evolutionary Predator Prey Algorithms, used to implement an evolutionary scheme based on the developement by van Laumanns. Implement testproblems, special behaviours, environments, and other yet not known features.

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

RYUON : many-particle simulation suite

...Instead of assuming an a-priori metric definition, it calculates a locally adaptive metric for each data point by using, a Shannon Entropy based, binary space partitioning scheme.

LightCrypto is C cryptography library. It contains Big Number Library, basic crypto algorithms (3DES, DSA, RSA, ECDSA, etc), Internet Voting Scheme, and many more. Current librarie's binary is less than 1MB and it can even be smaller by user config.

GNU TeXmacs

Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g

The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab

A simple, small proof checker that will accept a minimalist Lisp-ish syntax.