• 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 (N-component) circuit designs, parameterized (N-process) 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]
  • model-checking) 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]
  • trust-region 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. Over-parameterized 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 smt-based 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...