Search Results for "libusb-1.0"

...Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines.

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.

Description and detailed explanation on Fourier Transform, some FFT, LPC etc. Runable project demonstrates DCT transform on continuous audio, show and edit audio source with different zooming and view.

This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

Soduku solver V 1.0 is Open Source project which solves the 6x6 Soduku problem of easy and medium level. It is a Open Source project which is available in github repository and this project welcome each contributor which helps to make this project better. Keywords : soduku solver , solve the soduku , soduku 6*6 , soduku 6x6 , solve my soduku problem , amazing software , artificial intelligence , best software , top software

IDL specified API for manipulating and processing CellML 1.0 and 1.1. Includes C++ implementation. Accessible from a C++ program, or from any language for which a CORBA language mapping is available Also, a Java wrapper of the API is available.

This is the first release of the SUVAT Solver 1.0. If you find errors either drop us a line and explain or your more than welcome to the files to have a look yourself!

...LIME provides the key high-level software (written in C++), a well defined approach (with example templates), and interface requirements to enable the assembly of multiple physics codes into a single coupled-physics simulation code. To achieve its flexible lightweight design objectives, LIME 1.0 requires that some amount of customized software be written each time a new multiphysics application is created. Also, modest high-level revisions or modifications to most stand-alone physics codes may be required to meet interface requirements. Detailed descriptions of these requirements together with example cases are provided in a users guide.

Large Integer Calculator. Includes most arithmetic functions plus named memory values.

MooGraph is an utility to produce interactive dynamical graphs from statistical data. Deliberately inspired to GapMinder, it represents the evolution of multivariate data in time by means of coloured bubbles of variable sizes on an (x,y) plot.

RasaelMathSuite is a Java application that can evaluate simbolic expressions

OpenCell is a user interface for working with CellML models. Features: * Integrate models made up of ODEs. * Supports CellML 1.0 and 1.1, allowing you to build complex models using imports. * Plot and edit graphs. * And more ...

Heuristic and exact algorithms for the Time-dependent Traveling Salesman Problem.

Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary user-defined objects.

Anmech is a tool for symbolic calculations and mathematical modelling using Matlab. Its main functions are automated derivation of equations of motion of mechanical systems and derivation of system of differential equations with numeric parameters.

The purpose of this project is to help researchers in the field of video tracking by providing and documenting some basic functionality for 2D and 3D object tracking on video sequences.

GrALoG is a tool for editing and visualising graph-like-structures and the results of algorithms running on them. Through it's plugins GrALoG is hugely extendable, i.e. plugin-developers can define their own graph-like structures and algorithms.

An adding calculator which keeps track of all user calculations in a listbox with functionality to allow the window to remain on top of all other windows and to become transparent to a certain degree.

Crypt-EG is an easy visual cryptosystem program that implements ElGamal method using elliptic curves.

jMATLAB is a eclipse based workbench for scientific computing

XCalc is an infix calculator for mobile devices that support J2ME, MIDP 1.0 and CLDC 1.0.Its main features are 2d and 3d plotting of functions and its usability. It uses the Real.java library http://sourceforge.net/projects/real-java.

Free C# library containing different math classes and algorithms

SqW is a mathematical program for caculating and solving equations of type f(x)=0. It also builds simple graphs and has syntax analyser. Functions: sin(x), cos(x), tg(x), lg(x)... LEAVE YOUR RESPONSES ON FORUMS