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

alphaBB
 Referenced in 49 articles
[sw06249]
 categorized as being either of special structure or generic. A convexrelaxation of the original nonconvexproblem ... replacing all nonconvex terms of special structure (i.e. bilinear, fractional, signomial) with customized tight convex ... underestimate nonconvex terms of generic structure. The proposed branch and bound type algorithm attains finite...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 distinction between data structures and (functional) term structures, and by using two kinds of equality...

SUNDIALS
 Referenced in 213 articles
[sw00927]
 users to easily supply their own data structures underneath the solvers, and allow for easy ... codes have been written in terms of interfaces to these vector operations. The result ... relatively easily provide their own data structures to the solvers by telling the solver about...

SDPT3
 Referenced in 609 articles
[sw04009]
 linear functions and logbarrier terms associated with the constraint cones. This includes the special ... SeDuMi format. Sparsity and block diagonal structure are exploited. We also exploit lowrank structures...

CHARMS
 Referenced in 36 articles
[sw02957]
 uire little in terms of data structure support. We demonstrate the versatility...

Edgebreaker
 Referenced in 53 articles
[sw04117]
 describe it in terms of a simple data structure, which we call the Corner Table...

TensorToolbox
 Referenced in 139 articles
[sw04185]
 computations with sparse and factored tensors. The term tensor refers simply to a multidimensional ... array, and we consider how specially structured tensors allow for efficient storage and computation. First...

ANTIGONE
 Referenced in 83 articles
[sw09241]
 nonconvex terms. The purpose of this paper is to show how the extensible structure...

SMART
 Referenced in 16 articles
[sw17187]
 structure within the context of protein domain structure, and to align these displays to provide ... query SMART by Gene Ontology terms, improved structure database searching and batch retrieval of multiple...

Separoids
 Referenced in 20 articles
[sw08819]
 axiomatic definition of a mathematical structure that we term a separoid. We develop some general ... well as connections with other mathematical structures, such as distributive lattices, Hilbert spaces, and graphs...

CCPi
 Referenced in 27 articles
[sw15033]
 treatment of names in terms of restriction and structural axioms closer to nominal calculi than...

GenLouvain
 Referenced in 76 articles
[sw13826]
 used with any quality function specified in terms of a modularity matrix; but as such ... does not take advantage of any particular structure to those matrices (cf. the excellent findcommunities...

STAMP
 Referenced in 43 articles
[sw09536]
 Modeller and Predictor. Structural time series models are formulated directly in terms of components ... providing the necessary tool to make interactive structural time series modelling available for empirical work...

Quantum Espresso
 Referenced in 43 articles
[sw06129]
 opEn Source Package for Research in Electronic Structure, Simulation, and Optimization. It is freely available ... terms of the GNU General Public License. QUANTUM ESPRESSO builds upon newlyrestructured electronicstructure...

brms
 Referenced in 20 articles
[sw19099]
 include autocorrelation and smoothing terms, user defined dependence structures, censored data, metaanalytic standard...

StanfordCoreNLP
 Referenced in 18 articles
[sw19468]
 numeric quantities, mark up the structure of sentences in terms of phrases and word dependencies...

FUGUE
 Referenced in 9 articles
[sw16894]
 which can be defined in terms of secondary structure, solvent accessibility, and hydrogen bonding status...

ALE
 Referenced in 5 articles
[sw28843]
 constraint logic programming with typed feature structures as terms. This generalizes both the feature structures ... PATRII and the terms of Prolog II to allow type inheritance and appropriateness specifications ... types may be declared as having extensional structural identity conditions. Grammars may also interleave unification...

Athena
 Referenced in 10 articles
[sw09967]
 firstorder logic (completeness, compactness, structural induction over terms and formulas, efficient matching and unification...