• F*

• Referenced in 18 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 ...

• 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 26 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 10 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 ...