• F*

  • Referenced in 19 articles [sw27563]
  • 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#

  • Referenced in 3 articles [sw27651]
  • F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.
  • F1

  • Referenced in 5 articles [sw09110]
  • F1: a code to compute Appell’s F 1 hypergeometric function. We present the FORTRAN code to compute the hypergeometric function F 1 (α,β 1 ,β ...
  • F123

  • Referenced in 4 articles [sw19253]
  • One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and ...
  • F1234

  • Referenced in 4 articles [sw19254]
  • One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and ...
  • F12345

  • Referenced in 4 articles [sw19258]
  • One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and ...
  • F1REGU

  • Referenced in 3 articles [sw11845]
  • 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 ...
  • f2c

  • Referenced in 2 articles [sw31754]
  • f2c is a program to convert Fortran 77 to C code, developed at Bell Laboratories. The standalone f2c program was based on the core of ...
  • F2c2

  • Referenced in 3 articles [sw17352]
  • 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

  • Referenced in 2 articles [sw12735]
  • 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 ...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • 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 ...
  • F2PY

  • Referenced in 31 articles [sw04610]
  • 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 ...
  • F2/XML

  • Referenced in 1 article [sw01707]
  • F2/XML: Storing XML documents in object databases. In this paper we propose a new method to store an XML document in an object database (DB). ...
  • F4F

  • Referenced in 3 articles [sw29449]
  • 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 ...
  • F5C

  • Referenced in 27 articles [sw35035]
  • 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, ...
  • f5_library.lib

  • Referenced in 1 article [sw13233]
  • LIBRARY: f5_library An implementation of Faugere’s F5 algorithm for computing Groebner bases.
  • f90nml

  • Referenced in 1 article [sw29127]
  • f90nml - a Python Module for Parsing Fortran Namelist Files. 90nml - A Fortran namelist parser, generator, and editor, f90nml is a Python module and ...
  • FAACOSE

  • Referenced in 1 article [sw34291]
  • 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

  • Referenced in 1 article [sw07065]
  • 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

  • Referenced in 8 articles [sw23382]
  • 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 ...