• 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: Minimum-Size Mixed-Level Orthogonal Fractional Factorial Designs Generation: A SAS-Based 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 ...

• VACID-0

• Referenced in 4 articles [sw21613]
• VACID-0: Verification of Ample Correctness of Invariants of Data-structures, 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: Datalog-based Reasoning for Knowledge Graphs. Over the past years, there has been a resurgence of Datalog-based 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 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, ...

• 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 19 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 28 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 ...