Ports 搜索

This library provides routines that return: (1) Beta random deviates (2) Chi-square random deviates (3) Exponential random deviates (4) F random deviates (5) Gamma random deviates (6) Multivariate normal random deviates (mean and covariance matrix specified) (7) Noncentral chi-square random deviates (8) Noncentral F random deviates (9) Univariate normal random deviates (10) Random permutations of an integer array (11) Real uniform random deviates between specif (12) Binomial random deviates (13) Negative Binomial random deviates (14) Multinomial random deviates (15) Poisson random deviates (16) Integer uniform deviates between specified limits (17) Seeds for the random number generator calculated from a character string

TruthTable is a truth table generator that does the dirty work for you. This Java program handles the following operations: Not, And, Or, XOR, Implication, and the Biconditional.

RAPID is a robust and accurate polygon interference detection library for large environments composed of unstructured models. ************************************************************************** The RAPID code is offered "as is" and is free for non-commercial use. To use RAPID for any commercial purpose, you must request a license from http://www.cs.unc.edu/~geom/OBB/OBBT.html Redistribution of RAPID code in any form is strictly prohibited. **************************************************************************

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It has been produced by a collaborative effort involving many contributors. Its capabilities include: * expansion and ordering of polynomials and rational functions; * substitutions and pattern matching in a wide variety of forms; * automatic and user controlled simplification of expressions; * calculations with symbolic matrices; * arbitrary precision integer and real arithmetic; * facilities for defining new functions and extending program syntax; * analytic differentiation and integration; * factorization of polynomials; * facilities for the solution of a variety of algebraic equations; * facilities for the output of expressions in a variety of formats; * facilities for generating optimized numerical programs from symbolic input; * calculations with a wide variety of special functions; * Dirac matrix calculations of interest to high energy physicists. It is often used as an algebraic calculator for problems that are possible to do by hand. However, REDUCE is designed to support calculations that are not feasible by hand.

RngStreams is a C implementation of a high-quality uniform random number generator that supports multiple "independent" streams of uniform random numbers. It was written by Pierre L'Ecuyer and Richard Simard, who have a website at: http://www.iro.umontreal.ca/~simardr/indexe.html This GNU-style package is compiled and maintained by Josef Leydold and released under the GNU Public License (GPL).

A collection of functions to create spatial weights matrix objects from polygon contiguities, from point patterns by distance and tesselations, for summarising these objects, and for permitting their use in spatial data analysis, including regional aggregation by minimum spanning tree; a collection of tests for spatial autocorrelation, including global Moran's I, APLE, Geary's C, Hubert/Mantel general cross product statistic, Empirical Bayes estimates and Assuno/Reis Index, Getis/Ord G and multicoloured join count statistics, local Moran's I and Getis/Ord G, saddlepoint approximations and exact tests for global and local Moran's I; and functions for estimating spatial simultaneous autoregressive (SAR) lag and error models, impact measures for lag models, weighted and unweighted SAR and CAR spatial regression models, semi-parametric and Moran eigenvector spatial filtering, GM SAR error models, and generalized spatial two stage least squares models.

Analitza library from KDE Education project.

rpCalc started out as a little program written to try out various Python GUI toolkits. But I ended up using it all the time (it's much quicker to pull it up than to pull an actual HP calculator out of the desk), and I made several improvements. So I decided to make it available to others who also like RPN calculators.

This port contains data and baseline images for VTK regression testing and other VTK examples. The Data directory are data files of various types. This includes polygonal data, images, volumes, structured grids, rectilinear grids, and multi-variate data. The Baseline are the testing images. These are used in testing to compare a valid image against a generated image. If a difference between the two images is found, then the test is considered to have failed.

Clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format).