
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 ...

VADAR
 Referenced in 4 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 77 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, ...

ValEncIA
 Referenced in 9 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 18 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 ...

Valgrind
 Referenced in 40 articles
[sw04420]
 Valgrind is an instrumentation framework for building dynamic analysis tools. There are Valgrind tools that can automatically detect many memory management and threading bugs, and ...

Valigator
 Referenced in 3 articles
[sw00994]
 Valigator: A verification tool with bound and invariant generation. We describe Valigator, a software tool for imperative program verification that efficiently combines symbolic computation and ...

Valmet
 Referenced in 7 articles
[sw01281]
 Valmet: A new validation tool for assessing and improving 3D object segmentation Extracting 3D structures from volumetric images like MRI or CT is becoming a ...

valorate
 Referenced in 0 articles
[sw17076]
 R package valorate. Velocity and Accuracy of the LOgRAnk TEst. The algorithm implemented in this package was designed to quickly estimates the distribution of the ...

ValseXT
 Referenced in 1 article
[sw06210]
 Automatisierte Validierung von SystemonChipEntwürfen

valuer
 Referenced in 0 articles
[sw18183]
 R package valuer. Pricing of Variable Annuities. Pricing of variable annuity life insurance contracts by means of Monte Carlo methods. Monte Carlo is used to ...

VAMP
 Referenced in 1 article
[sw17995]
 VAMP Version 1.0: Vegas AMPlified: Anisotropy, Multichannel sampling and Parallelization. We present an new implementation of the classic Vegas algorithm for adaptive multidimensional Monte Carlo ...

VAMPIR
 Referenced in 17 articles
[sw09406]
 VAMPIR: Visualization and Analysis of MPI Resources. Performance analysis most often is based on the detailed knowledge of program behavior. One option to get this ...

VAMPIRE
 Referenced in 151 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem prover for firstorder classical logic. It consists of a shell and a kernel. The kernel implements the calculi ...

VAMPIRE
 Referenced in 2 articles
[sw13062]
 VAMPIRE® software allows the user to build a dynamic model of any rail vehicle and study the response of the vehicle to real measured track ...

VAMUCH
 Referenced in 6 articles
[sw13343]
 Variational asymptotic homogenization of heterogeneous electromagnetoelastic materials. The variational asymptotic method is used to develop a micromechanics model for predicting the effective properties and local ...

VanHuffel
 Referenced in 157 articles
[sw05243]
 The total least squares problem: computational aspects and analysis. Total least squares (TLS) is one of the several linear parameter estimation techniques that have been ...

VanillaICE
 Referenced in 3 articles
[sw11310]
 VanillaICE. A Hidden Markov Model for high throughput genotyping arrays. Bioconductor. Hidden Markov Models for characterizing chromosomal alterations in high throughput SNP arrays. Background (http://www.biostat.jhsph.edu/ ...