F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive ...
F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.
A program for solving first kind Fredholm integral equations by means of regularization. Nature of problem: Fredholm integral equations of the first kind arise in ...
F2c2: a fast tool for the computation of flux coupling in gen ome-scale metabolic networks. Background: Flux coupling analysis (FCA) has become a useful tool ...
F2Dock, a rigid-body protein-protein docking software, have been implemented in a client-server framework. The client is a part of the TexMol package. The client communicates ...
System f2lp – computing answer sets of first-order formulas. We present an implementation of the general language of stable models proposed by Ferraris, Lee and ...
The purpose of the F2PY --Fortran to Python interface generator-- project is to provide connection between Python and Fortran languages. F2PY is a Python extension ...
F4F: taint analysis of framework-based web applications. This paper presents F4F (Framework For Frameworks), a system for effective taint analysis of framework-based web applications. Most ...
The F5 algorithm for computing Gröbner bases achieves a high level of efficiency through the careful analysis of signatures assigned to each computed polynomial. However, ...
f90nml - a Python Module for Parsing Fortran Namelist Files. 90nml - A Fortran namelist parser, generator, and editor, f90nml is a Python module and ...
FAACOSE: a fast adaptive ant colony optimization algorithm for detecting SNP epistasis. The epistasis is prevalent in the SNP interactions. Some of the existing methods ...
Faars: A platform for location-aware trans-reality games Users today can easily and intuitively record their real-world experiences through mobile devices, and commodity virtual worlds enable ...
FABIA Biclustering Software: Factor Analysis for Bicluster Acquisition (FABIA) is a model-based technique for biclustering, that is clustering rows and columns simultaneously. FABIA is a ...