
CGAL
 Referenced in 367 articles
[sw00118]
 geometry processing (surface mesh simplification, subdivision and parameterization, as well as estimation of local differential...

ode23
 Referenced in 292 articles
[sw06600]
 decreasing), use tspan = [t0,t1,...,tf]. Parameterizing Functions explains how to provide additional parameters...

bvp4c
 Referenced in 248 articles
[sw06178]
 function_handle reference page for more information. Parameterizing Functions explains how to provide additional parameters...

OBJ3
 Referenced in 138 articles
[sw05370]
 first language to implement parameterized programming and its module system influenced the designs...

PolyLib
 Referenced in 47 articles
[sw09923]
 project. This first version (1.1) manipulates non parameterized unions of polyhedra through the following operations ... spaces. Version 2 of the PolyLib included parameterized vertices computation. PolyLib3.14 includes Ehrhart polynomials computation ... number of integer points contained in a parameterized polyhedron. PolyLib4 included the GNU MP library...

BioNetGen
 Referenced in 57 articles
[sw09072]
 signaling molecules. The output defines and parameterizes the network of molecular species that can arise...

PHiPAC
 Referenced in 53 articles
[sw04898]
 rather than code by hand, we produce parameterized code generators whose parameters are germane...

STeP
 Referenced in 36 articles
[sw17948]
 broad class of systems, including parameterized (Ncomponent) circuit designs, parameterized (Nprocess) programs...

ABF++
 Referenced in 23 articles
[sw14153]
 Fast and robust angle based flattening. Conformal parameterization of mesh models has numerous applications ... conformality requirement, these applications typically benefit from parameterizations with smaller stretch. The Angle Based Flattening ... years ago, generates provably valid conformal parameterizations with low stretch. However, it is quite time ... advantages of ABF. ABF++ robustly parameterizes meshes of hundreds of thousands and millions of triangles...

Pex
 Referenced in 34 articles
[sw07263]
 modelchecking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior...

BRITE
 Referenced in 33 articles
[sw03098]
 Internet Topologies. Abstract BRITE is a parameterized topology generation tool, which can be used...

Paco
 Referenced in 19 articles
[sw10885]
 Paco: A Coq Library for Parameterized Coinduction. Paco is a Coq library implementing parameterized coinduction ... Parameterized coinduction is a technique for defining coinductive predicates (i.e., in Prop), using which...

LSTRS
 Referenced in 30 articles
[sw04729]
 trustregion subproblem as a parameterized eigenvalue problem, and consists of an iterative procedure that...

PITA
 Referenced in 19 articles
[sw06950]
 transformation and library functions, PITA can be parameterized to PITA(IND, EXC) which supports ... further show how PITA can be parameterized to PITA(COUNT) which computes the number...

SBA
 Referenced in 24 articles
[sw05242]
 their Jacobian for the problem and parameterization at hand. Routines for computing analytic Jacobians...

gnm
 Referenced in 24 articles
[sw08076]
 from crop science, and many others. Overparameterized representations of models are used throughout; functions...

CRCP
 Referenced in 15 articles
[sw18339]
 CRCP: a Cloud Resolving Convection Parameterization for modeling the tropical convecting atmosphere. A new computational ... models. Similar as in the traditional ‘convection parameterization’, the LS model provides ‘ambient forcings...

Giggle
 Referenced in 20 articles
[sw20354]
 characterize RLS requirements. Next, we describe a parameterized architectural framework, which we name Giggle...

TAUOLA
 Referenced in 14 articles
[sw02917]
 decay library TAUOLA. The new parameterization of form factors developed for 4π channels ... Comparison with results from TAUOLA using another parameterization, i.e. the CLEO version...

Cubicle
 Referenced in 14 articles
[sw13778]
 parallel smtbased model checker for parameterized systems. Cubicle is a new model checker ... verifying safety properties of parameterized systems. It implements a parallel symbolic backward reachability procedure using...