• 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...
  • Kernel-LEAF

  • 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 log-barrier terms associated with the constraint cones. This includes the special ... SeDuMi format. Sparsity and block diagonal structure are exploited. We also exploit low-rank 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...
  • CC-Pi

  • 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 newly-restructured electronic-structure...
  • brms

  • Referenced in 20 articles [sw19099]
  • include auto-correlation and smoothing terms, user defined dependence structures, censored data, meta-analytic 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 ... PATR-II 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]
  • first-order logic (completeness, compactness, structural induction over terms and formulas, efficient matching and unification...