
v2c
 Referenced in 1 article
[sw34740]
 v2c  A Verilog to C Translator Tool. v2c is a Verilog to C translator tool. Given a Register Transfer Level (RTL) description of a ...

v53i10.sas
 Referenced in 1 article
[sw24527]
 v53i10.sas: MinimumSize MixedLevel Orthogonal Fractional Factorial Designs Generation: A SASBased Algorithm. Orthogonal fractional factorial designs (OFFDs) are frequently used in many fields of application, including ...

V8
 Referenced in 1 article
[sw15572]
 R package V8: Embedded JavaScript Engine for R. An R interface to Google’s open source JavaScript engine. V8 is written in C++ and implements ECMAScript ...

VA05
 Referenced in 2 articles
[sw20238]
 Harwell Subroutine Library: VA: Minimization of general functions and sums of squares of functions of several variables. VA05 Minimize a sum of squares, derivatives not ...

VA06
 Referenced in 1 article
[sw20237]
 Harwell Subroutine Library: VA: Minimization of general functions and sums of squares of functions of several variables. VA06: Minimum of a general function, derivatives required.

VA10AD
 Referenced in 1 article
[sw36307]
 VA10AD  Harwell Subroutine Library. VA10A: To find the minimum of a general function of n variables when the function is differentiable although values of ...

vabayelMix
 Referenced in 1 article
[sw31730]
 R package vabayelMix: Variational Bayesian Mixture Modelling. Performs inference of a gaussian mixture model within a bayesian framework using an optimal separable approximation to the ...

vaCATE
 Referenced in 1 article
[sw27398]
 vaCATE: A Platform for Automating Data Output from Compartmental Analysis by Tracer Efflux. Compartmental analysis by tracer efflux (CATE) is fundamental to examinations of membrane ...

VACID0
 Referenced in 4 articles
[sw21613]
 VACID0: Verification of Ample Correctness of Invariants of Datastructures, Edition 0. This paper defines a suite of benchmark verification problems, to serve as an acid ...

VACUMM
 Referenced in 1 article
[sw29462]
 VACUMM provides generic and specialized tools for the validation of ocean models, and more especially the MARS model from IFREMER. The heart of VACUMM is ...

VaDA
 Referenced in 1 article
[sw34827]
 Variational discriminant analysis with variable selection. A fast Bayesian method that seamlessly fuses classification and hypothesis testing via discriminant analysis is developed. Building upon the ...

Vadalog
 Referenced in 2 articles
[sw33095]
 The Vadalog System: Datalogbased Reasoning for Knowledge Graphs. Over the past years, there has been a resurgence of Datalogbased systems in the database community as ...

VADAR
 Referenced in 6 articles
[sw12496]
 VADAR (Volume, Area, Dihedral Angle Reporter) is a compilation of more than 15 different algorithms and programs for analyzing and assessing peptide and protein structures ...

Vador
 Referenced in 114 articles
[sw06987]
 Vlasov Approximation by a Direct and Objectoriented Resolution. The Vlasov equation describes the evolution of a system of particles under the effects of selfconsistent electro ...

vaersNDvax
 Referenced in 0 articles
[sw15370]
 R package vaersNDvax: NonDomestic Vaccine Adverse Event Reporting System (VAERS) Vaccine Data for Present. NonDomestic VAERS vaccine data for 01/01/2016  04/14/2016. If you want ...

vaersvax
 Referenced in 0 articles
[sw16280]
 R package vaersvax. US VAERS vaccine data for 01/01/2016  06/14/2016. If you want to explore the full VAERS data for 1990  Present (data, ...

Vagrant
 Referenced in 0 articles
[sw21635]
 Vagrant is a tool for building and distributing development environments. Development environments managed by Vagrant can run on local virtualized platforms such as VirtualBox or ...

Vala
 Referenced in 1 article
[sw25154]
 Vala  Compiler for the GObject Type System. Vala is a programming language using modern high level abstractions without imposing additional runtime requirements and without ...

ValEncIA
 Referenced in 18 articles
[sw08735]
 VALENCIAIVP: A Comparison with Other Initial Value Problem Solvers. Validated integration of ordinary differential equations with uncertain initial conditions and uncertain parameters is important for ...

ValEncIAIVP
 Referenced in 27 articles
[sw04846]
 VALENCIAIVP: A Comparison with Other Initial Value Problem Solvers Validated integration of ordinary differential equations with uncertain initial conditions and uncertain parameters is important for ...