• CP-nets

  • Referenced in 135 articles [sw01374]
  • Craig Boutilier, but how to represent and realize is not given. In this paper, after ... nets, we mainly introduce the realization for the class of binary-valued, tree-structured ... chain CP-nets, how to represent and realize the chain CP-nets...
  • FEATFLOW

  • Referenced in 193 articles [sw04254]
  • Software’) that aims to develop software which realizes our new mathematical and algorithmical ideas...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • input formula, the proof procedure is realized as a WAM, factorization, lemma generation...
  • ANTIGONE

  • Referenced in 86 articles [sw09241]
  • show how the extensible structure of ANTIGONE realizes our previously-proposed mixed-integer quadratically-constrained...
  • KEM-DEM

  • Referenced in 59 articles [sw03093]
  • Data Encapsulation Mechanism), for formalizing and realizing one-directional hybrid encryption; KEM is a formalization ... ideal certification authority are sufficient to realize a universally composable (UC) secure channel. To obtain...
  • Wirtinger Flow

  • Referenced in 77 articles [sw34175]
  • near-linear time algorithm for a physically realizable model based on coded diffraction patterns...
  • FormCalc

  • Referenced in 60 articles [sw06475]
  • MSSM Lagrangian from the input parameters is realized as a Fortran subroutine in the framework...
  • PRINCE

  • Referenced in 58 articles [sw13240]
  • algorithm. An important further requirement is that realizing decryption and encryption results in minimum additional...
  • MATSLISE

  • Referenced in 51 articles [sw00559]
  • visualization of the corresponding eigenfunctions. This is realized by making use of the power...
  • mfem

  • Referenced in 43 articles [sw22316]
  • order Raviart-Thomas mixed finite elements is realized in three flexible and short MATLAB programs...
  • Miniball

  • Referenced in 41 articles [sw05179]
  • show that they can efficiently be realized with rational arithmetic. An implementation (along with...
  • homalg

  • Referenced in 28 articles [sw00411]
  • paper describes a way allowing one to realize such functors ... knowledge of these functors. These ideas are realized in the ring independent package homalg...
  • DiaGen

  • Referenced in 28 articles [sw10321]
  • Concepts and realization of a diagram editor generator based on hypergraph transformation. Diagram editors which ... syntactic analysis whereas syntax-directed editing is realized by programmed hypergraph transformation of these internal...
  • UFO

  • Referenced in 37 articles [sw04719]
  • development of optimization algorithms. The special realization of the UFO system described in the subsequent...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • violate the specification is found to be realizable. In addition to the increase in expressiveness...
  • GasLib

  • Referenced in 25 articles [sw17977]
  • result from nominating these capacities can be realized by the given gas transmission network. This ... implement mathematical optimization-based methods for checking realizability of stationary gas flow situations. GasLib...
  • SimEstFBM

  • Referenced in 35 articles [sw26366]
  • fractional Brownian motion. The discussed implementation is realized within the software S-plus...
  • p1afem

  • Referenced in 32 articles [sw08489]
  • Throughout, the focus is on an efficient realization by use of Matlab built-in functions...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • PYTHIA. This experience made us realize the complexity of the algorithmic discovery of knowledge from...
  • ParaSCIP

  • Referenced in 29 articles [sw06292]
  • present ParaSCIP, an extension of SCIP, which realizes a parallelization on a distributed memory computing...