
COMSOL
 Referenced in 349 articles
[sw04091]
 heat transfer to structural mechanics and electromagnetic analyses. Material properties, source terms and boundary conditions...

SLMC
 Referenced in 70 articles
[sw04604]
 calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency ... crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently ... combined analysis of behavioral and spatial properties of systems. The implementation, written in OCAML...

iRSpotPseDNC
 Referenced in 65 articles
[sw22437]
 PseDNC), into which six local DNA structural properties, i.e. three angular parameters (twist, tilt...

MatrixMarket
 Referenced in 149 articles
[sw04020]
 which provides details of matrix properties, visualization of matrix structure, and permits downloading ... generator has a home page describing its properties. Generators are either static software which...

iNucPseKNC
 Referenced in 31 articles
[sw16607]
 specific and neglected the intrinsic local structural properties that might play important roles in determining ... composition’, into which six DNA local structural properties were incorporated. It was observed...

PolyBoRi
 Referenced in 43 articles
[sw00723]
 data structures as well as structural properties of Boolean polynomials. For example, a new useless ... shows that Gröbnerbases on specific data structures can be capable of handling problems...

DAISY
 Referenced in 41 articles
[sw09059]
 priori global identifiability is a structural property of biological and physiological models. It is considered ... noisefree observations and errorfree model structure). Of course, determining if the parameters...

Linda
 Referenced in 101 articles
[sw09427]
 specifying that messages be added in tuplestructured form to the computation environment, where they ... communication results in a number of distinguishing properties of the new language, Linda, that ... sharing, continuation passing, and structured naming. We discuss these properties and their implications, then give...

CGAL
 Referenced in 334 articles
[sw00118]
 Computational Geometry Algorithms Library (CGAL), offers data structures and algorithms like triangulations (2D constrained triangulations ... well as estimation of local differential properties, and approximation of ridges and umbilics), alpha shapes ... algorithms (in 2D, 3D and dD), search structures (kd trees for nearest neighbor search...

KronFit
 Referenced in 34 articles
[sw20428]
 fail to match several of the above properties, are complicated to analyze mathematically, or both ... that have all the above mentioned structural properties. Our main idea here ... that Kronecker graphs naturally obey common network properties. In fact, we rigorously prove that they ... that Kronecker graphs can effectively model the structure of real networks. We then present KRONFIT...

SNAP
 Referenced in 34 articles
[sw04184]
 efficiently manipulates large graphs, calculates structural properties, generates regular and random graphs, and supports attributes...

GAUSSIAN
 Referenced in 169 articles
[sw06118]
 molecular structures, and vibrational frequencies of molecular systems, along with numerous molecular properties derived from ... such as shortlived intermediates and transition structures...

CHomP
 Referenced in 43 articles
[sw09358]
 that provide insight into underlying geometric structures and properties. The material described through these...

iSSPseDNC
 Referenced in 15 articles
[sw22438]
 them neglected the intrinsic local structural properties. In the present study, a predictor called ... PseDNC) into which six DNA local structural properties were incorporated. It was observed ... that the six DNA local structural properties described in this paper may provide novel insights...

MRG32k3a
 Referenced in 24 articles
[sw18715]
 generators with long periods and good structural properties. Such generators are statistically more robust than...

redbKIT
 Referenced in 138 articles
[sw12977]
 methods, analyzes their fundamental theoretical properties, discusses the related algorithmic and implementation aspects, and highlights ... their builtin algebraic and geometric structures. More specifically, the authors discuss alternative strategies ... proper orthogonal decomposition techniques, investigate their approximation properties and analyze offlineonline decomposition strategies aimed...

Seigtool
 Referenced in 52 articles
[sw07021]
 role in assessing the properties of a linear system under structured perturbations. Structured Eigtool...

SPADE
 Referenced in 87 articles
[sw02226]
 complex hash structures which have poor locality. SPADE utilizes combinatorial properties to decompose the original...

DRAGON
 Referenced in 14 articles
[sw00220]
 evaluate molecular structureactivity or structureproperty relationships, as well as for similarity analysis...

TensorToolbox
 Referenced in 121 articles
[sw04185]
 array, and we consider how specially structured tensors allow for efficient storage and computation. First ... study sparse tensors, which have the property that the vast majority of the elements...