• LiE

  • Referenced in 137 articles [sw01075]
  • nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras...
  • LMI toolbox

  • Referenced in 1312 articles [sw06383]
  • should be kept in mind that the complexity of LMI computations remains higher than that ... future. Thanks to its efficient “structured” representation of LMIs, the LMI Control Toolbox is geared...
  • UMFPACK

  • Referenced in 277 articles [sw00989]
  • representations.\parThe simple user interface shields the user from the details of the complex sparse...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • widely recognised that the automated validation of complex systems can hardly be achieved without tool ... toolbox was built upon an intermediate representation language based on extended timed automata. In particular ... this representation allowed us to study the semantics of real-time primitives for asynchronous systems ... mandatory for an automated validation of complex systems. Finally, the toolbox was successfully used...
  • bnsoft

  • Referenced in 7 articles [sw08127]
  • graph is a useful visual representation of complex stochastic systems. The graphical structure is also...
  • PROFIL/BIAS

  • Referenced in 106 articles [sw00733]
  • vectors and matrices of these types, and complex numbers. PROFIL is based on BIAS (Basic ... hardware; portability; independency of a specific interval representation...
  • Perseus

  • Referenced in 18 articles [sw08778]
  • possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...
  • NFsim

  • Referenced in 6 articles [sw22256]
  • flexible options for simulating coarse-grained representations of complex nonlinear reaction mechanisms. A publication describing...
  • MINOPT

  • Referenced in 6 articles [sw04939]
  • language for the clear and concise representation of complex mathematical models as well as robust...
  • CCUBE

  • Referenced in 5 articles [sw17366]
  • right balance between the expressiveness, complexity and representation usefulness, without which the practical ... CCUBE constraint calculus guarantees polynomial time data complexity, and, furthermore, is tightly integrated with...
  • PHquintic

  • Referenced in 3 articles [sw14455]
  • curves is presented using the complex representation. The special algebraic structure of PH curves permits...
  • MONA

  • Referenced in 113 articles [sw06170]
  • faces a theoretically non-elementary worst-case complexity. The implementation has matured over a period ... valued logic, eager minimization, BDD-based automata representations, and cache-conscious data structures. We describe...
  • Bear

  • Referenced in 4 articles [sw05597]
  • calculating and testing discreteness of holonomy representations of complex projective structures on punctured tori ... representation variety. It also has powerful scripting features that make it easy to create complex...
  • node2vec

  • Referenced in 4 articles [sw27202]
  • state-of-the-art task-independent representations in complex networks...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • image retrieval when images contain multiple complex objects. Images are segmented into homogeneous regions ... system include an efficient color representation, and indexing of color, texture, and shape features...
  • LOGIDATA+

  • Referenced in 5 articles [sw02123]
  • definition of data with complex structures, the representation of semantic relationships between objects...
  • ViSta

  • Referenced in 3 articles [sw13548]
  • paramount importance for the graphical representation of complex reactive systems...
  • LNgen

  • Referenced in 4 articles [sw10111]
  • Tool Support for Locally Nameless Representations. Given the complexity of the metatheoretic reasoning about current ... advocated a combination of locally nameless representation and cofinite quantification as a lightweight style...
  • LIGPLOT

  • Referenced in 3 articles [sw16869]
  • automatically generates schematic 2-D representations of protein-ligand complexes from standard Protein Data Bank ... PostScript file giving a simple and informative representation of the intermolecular interactions and their strengths ... facilitate the rapid inspection of many enzyme complexes, but has found many other applications...
  • Algorithm 818

  • Referenced in 3 articles [sw13165]
  • BLAS. We identify the underlying complex issues of the representation and the handling of sparse...