• CP-nets

  • Referenced in 138 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 204 articles [sw04254]
  • Software’) that aims to develop software which realizes our new mathematical and algorithmical ideas...
  • SETHEO

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

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

  • Referenced in 101 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...
  • PRINCE

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

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

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

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

  • Referenced in 35 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...
  • Miniball

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

  • Referenced in 30 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...
  • UFO

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

  • Referenced in 41 articles [sw08489]
  • Throughout, the focus is on an efficient realization by use of Matlab built-in functions...
  • 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...
  • DUNE-FEM

  • Referenced in 39 articles [sw03084]
  • grid-based discretization schemes that is realized in the Dune-Fem library (url{http://dune.mathematik.uni-freiburg.de...
  • DeepONet

  • Referenced in 39 articles [sw42093]
  • important optimization and generalization errors. To realize this theorem in practice, we propose deep operator...
  • MAGIC

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

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