
PRISMPSY
 Referenced in 3 articles
[sw33601]
 tool that performs precise GPUaccelerated parameter synthesis for continuoustime Markov chains and time ... terms of matrixvector operations, the recently formulated algorithms for precise parameter synthesis in order...

FloWaveNet
 Referenced in 2 articles
[sw35018]
 ClariNet have achieved realtime audio synthesis capability by incorporating inverse autoregressive flow for parallel ... loss terms. We propose FloWaveNet, a flowbased generative model for raw audio synthesis. FloWaveNet ... maximum likelihood loss, without any additional auxiliary terms, and it is inherently parallel...

SKIL
 Referenced in 2 articles
[sw25433]
 interactive theorem prover dedicated to program synthesis and implemented in Quintus Prolog. The objectlevel ... Since the objectlevel is constructive, terms of λcalculus are constructed during the proof ... search. These extracted terms are programs following the programming with proofs paradigm, having ... synthesis environment, since a specification can be regarded as a proposition and its extracted term...

SCOTS
 Referenced in 20 articles
[sw20172]
 software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models ... specifications, are allowed to be defined in terms of finite unions and intersections of polytopes...

Genet
 Referenced in 5 articles
[sw09785]
 Genet: A tool for the synthesis and mining of Petri nets. Statebased representations ... this type of systems both in terms of complexity of the analysis and in visualization ... tool supports two modes of operation: synthesis and mining. Applications of these two modes range...

PSyHCoS
 Referenced in 2 articles
[sw30319]
 PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state ... reduction techniques. Its architecture favors reusability in terms of syntax, semantics, and algorithms. It comes...

Sycraft
 Referenced in 7 articles
[sw08199]
 distributed faultintolerant program is specified in terms of a set of processes ... program via a symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully been used...

RapidNet
 Referenced in 1 article
[sw13796]
 term goal of RapidNet is to provide a unified platform for rapid prototyping, synthesis...

HyComp
 Referenced in 4 articles
[sw20163]
 scenario specifications; it can also perform synthesis of parameters ensuring the satisfaction of a given ... describe the tool in terms of functionalities, architecture, and implementation, and we present the results...

StocHy
 Referenced in 3 articles
[sw36937]
 modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries ... beats stateoftheart tools in terms of precision (abstraction error) and computational effort...

Zanzibar OpenIVR
 Referenced in 1 article
[sw21455]
 implementation  Zanzibar OpenIVR. The architecture, described in terms of components and standards, is compared ... dialog technology such as speech recognition and synthesis, integration of the components, dialog management, natural...

TILT
 Referenced in 1 article
[sw24052]
 case distinction and pair application. This lambdaterm represents a proof in the natural deduction ... able to solve smaller program synthesis problems...

Essentia
 Referenced in 2 articles
[sw34772]
 audio and music analysis, description and synthesis. Essentia is an opensource C++ library ... provided music descriptors and is optimized in terms of the computational cost of the algorithms...

EvoNet
 Referenced in 0 articles
[sw15492]
 EvoNet: Evolutionary Synthesis of Deep Neural Networks. In this study, we introduce the idea ... evolved’ deep neural networks (which we will term EvoNets) are then trained into fully functional...

PROSPER
 Referenced in 0 articles
[sw25086]
 ability to catalytically cleave protein substrates after synthesis is fundamental for all forms of life ... tool strongly improve performance in terms of cleavage site prediction, as evidenced by their contribution...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 357 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1898 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...