• 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 79 articles [sw06987]
  • Vlasov Approximation by a Direct and Object-oriented Resolution. The Vlasov equation describes the evolution of a system of particles under the effects of self-consistent electro ...
  • vaersNDvax

  • Referenced in 0 articles [sw15370]
  • R package vaersNDvax: Non-Domestic Vaccine Adverse Event Reporting System (VAERS) Vaccine Data for Present. Non-Domestic 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 10 articles [sw08735]
  • VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers. Validated integration of ordinary differential equations with uncertain initial conditions and uncertain parameters is important for ...
  • ValEncIA-IVP

  • Referenced in 19 articles [sw04846]
  • VALENCIA-IVP: 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 36 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 LOg-RAnk TEst. The algorithm implemented in this package was designed to quickly estimates the distribution of the ...
  • Valse-XT

  • Referenced in 1 article [sw06210]
  • Automatisierte Validierung von System-on-Chip-Entwü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, Multi-channel sampling and Parallelization. We present an new implementation of the classic Vegas algorithm for adaptive multi-dimensional 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 146 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem prover for first-order 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 159 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/ ...