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.

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

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.

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

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.

FastGEO is a computational geometry library written in the object pascal language.

Our goal is to surpass the performance of the Matching Pursuit and Best Basis algorithms and provide progressive time-frequency analysis.