• 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...
  • iRSpot-PseDNC

  • 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...
  • iNuc-PseKNC

  • 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öbner-bases 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 ... noise-free observations and error-free model structure). Of course, determining if the parameters...
  • Linda

  • Referenced in 101 articles [sw09427]
  • specifying that messages be added in tuple-structured 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 short-lived intermediates and transition structures...
  • CHomP

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

  • 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 built-in algebraic and geometric structures. More specifically, the authors discuss alternative strategies ... proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline-online 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 structure-activity or structure-property 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...