Search Results for "feedback"

...It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. ...

...It delivers the secretory capacity of pancreatic beta cells (SPINA-GBeta), an estimate for the insulin receptor amplification (SPINA-GR) and a static disposition index as a measure for the loop gain of the feedback loop (SPINA-DI). Both implementations of SPINA have been validated in more than 50 clinical studies based on large cohorts.

...Download "Billiards Covers" to see the most current list of periodic paths in triangles. Follow "The Great Periodic Path Hunt" at gwtokarsky.github.io for the latest news. Email tokarsky@ualberta.ca for feedback.

...Download "Billiards Everything" to discover new periodic billiard paths, an unresolved problem from 1775! Follow "The Great Periodic Path Hunt" at gwtokarsky.github.io for the latest news. Email tokarsky@ualberta.ca for feedback.

Perceptron is a video feedback engine with a variety of extraordinary graphical effects. Perceptron is an endless flow of transforming visuals. Perceptron * recursively transforms images and video streams in realtime and produces a combination of Julia fractals, IFS fractals, and chaotic patterns due to video feedback * evolves geometric patterns into the realm of infinite details and deepens the thought * records animations (movies) * saves and opens presets (state files) * loads user photographs or captures screen and webcam input * has user interface based on multiple mouse cursors, and almost the entire keyboard * has multiple windows and fullscreen mode * takes complex geometric transforms as input * applies numerous coloring techniques * smoothly transforms fractals and creates endless psychedelic journeys * resonates with the human perception Visit the Perceptron home page at http://perceptron.sourceforge.net

The new version of MinimPy (MinimPy2) is available for download at: https://osdn.net/dl/minimpy2/MinimPy2.zip Please send your feedback about this new version to mahmood.saghaei@gmail.com (include MinimPy2 in the subject) ============================================================ MinimPy is a desktop application program for sequential allocation of subjects to treatment groups in clinical trials by using the method of minimization. Comprehensive reference help is available at http://minimpy.sourceforge.net MinimPy has been fully described in the following article: Saghaei, M. and Saghaei, S. (2011) Implementation of an open-source customizable minimization program for allocation of patients to parallel groups in clinical trials. ...

...DC transfer function, zeros, poles result simplified so main contributing elements can be easily identified. Poles and zeros approximation principle mainly taken from the paper "INDIRECT FEEDBACK COMPENSATION TECHNIQUES FOR MULTI-STAGE OPERATIONAL AMPLIFIERS" by Vishal Saxena Usage examples also can be taken from "Maxima Opamp Analisys" project Any comments bug reports and improvement suggestions are welcomed! ** The project based on script and concept initially developed by Ram Livne **

A rich client to analyse data from a liquid-feedback (http://liquidfeedback.org/) instance, for now it's a 3d graph explorer to inspect the delegations. It's an application based on the eclipse platform (indigo). To be precise its a directed weighted multi graph browser in 3d. Find out more in the wiki https://sourceforge.net/p/lqfbanalyser/wiki/Home/ . Generated reports https://sourceforge.net/p/lqfbanalyser/wiki/generated%20lqfb%20reports/ .

The Shape Visualizer is intented to be an exploratory/educational tool making it quick and easy to see how various mathematical methods perform in analysing and selecting the various patterns present on an image. The main website is built as a wiki gathering info and examples on the various implemented algorithms. The combination of the application and its wiki intend to constitute a nice little pedagogic toolkit for multiscale analysis. Feel free to contribute code or wiki content !

IMPORTANT: This project have been migrated to GitHub (https://github.com/krvajalmiguelangel/libnumerica) To use this or leave feedback, please visit github site instead. numerica implements some of the basic numerical algorithms about root-finding, interpolation, system of linear equations, integration, and ordinary differential equations. The aim is to be simple, code-readable and generic. New features of the recently approved c++11 are used.

...There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using hash sets and tree sets. The current version (0.1) has been tested but not substantially used. Feedback from use in the field will be welcomed, as will offers of collaboration to improve the deduction algorithms.

Kicksey-winsey is an open source package for spectral fluid flow simulation using wavelets. It is provided as is and without any warranty that the results of the computations will be correct. Feedback on the forums would be very welcome !!

A web-based, automated search engine that responds to user feedback through the use of artificial intelligence.