• F*

  • Referenced in 16 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 2 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 ...
  • F2c2

  • Referenced in 2 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 25 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 1 article [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 ...
  • 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 ...
  • 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 6 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 ...
  • Fable

  • Referenced in 6 articles [sw23081]
  • Fable: A Language for Enforcing User-defined Security Policies. This paper presents Fable, a core formalism for a programming language in which programmers may specify security ...
  • FaBox

  • Referenced in 1 article [sw20961]
  • FaBox - an online fasta sequence toolbox.
  • FABRIK

  • Referenced in 9 articles [sw09382]
  • Inverse kinematics solutions using conformal geometric algebra. This paper describes a novel iterative Inverse Kinematics (IK) solver, FABRIK, that is implemented using Conformal Geometric Algebra ...