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.

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.

...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 ...

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.

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

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

APLEpy stands for Algebraic Programming Language Extension for Python. It is an open source alternative to commercial products such as AMPL and GAMS. It offers the same high level of abstraction while keeping the advantages of using Python environment.

HorsePower is J2ME scientific calculator optimised for use on mobile phones, with the appearance of the classic range of Hewlett Packard calculators. (MIDP 1.0 & CLDC 1.0)

The bandit project is a repository of the various known algorithmic solutions for the multi-armed bandit problem. The project is also a repository of several datasets that could be used for benchmarking purposes.

A MEX-based Toolbox for MATLAB(R) for fast interpolation of 1D, 2D & 3D points, clouds and grids. It's a port of EZspline, a Fortran 90 module interface to the PSPLINE library from the National Transport Code Collaboration developed at the Princeton Plasma Physics Laboratory.

Fingerprint Imaging Software -- fingerprint pattern classification, minutae detection, Wavelet Scalar Quantization(wsq) compression, ANSI/NIST-ITL 1-2000 reference implementation, baseline and lossless jpeg, image utilities, math and MLP neural net libs