
CPnets
 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 binaryvalued, treestructured ... chain CPnets, how to represent and realize the chain CPnets...

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 previouslyproposed mixedinteger quadraticallyconstrained...

KEMDEM
 Referenced in 59 articles
[sw03093]
 Data Encapsulation Mechanism), for formalizing and realizing onedirectional 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]
 nearlinear 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 RaviartThomas 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 syntaxdirected 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 optimizationbased 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 Splus...

p1afem
 Referenced in 32 articles
[sw08489]
 Throughout, the focus is on an efficient realization by use of Matlab builtin 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...