• 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 8 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 11 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). ...

• f5_library.lib

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

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

• FABRIK

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

• FaCE

• Referenced in 2 articles [sw01176]
• Face: a tool for three body Faddeev calculations with core excitation FaCE is a self contained program, with namelist input, that solves the three body ...

• face database

• Referenced in 2 articles [sw12611]
• University of essex face database: Description of the Collection of Facial Images. Biometric processing comparisons and summary results are the main purpose.

• FaceRecLib

• Referenced in 1 article [sw07686]
• An open source framework for standardized comparisons of face recognition algorithms In this paper we introduce the facereclib, the first software library that allows to ...

• FacetNet

• Referenced in 9 articles [sw20426]
• FacetNet: A Framework for Analyzing Communities and Their Evolutions in Dynamic Networks. We discover communities from social network data, and analyze the community evolution. These ...

• Facile

• Referenced in 20 articles [sw08679]
• Facile: A symmetric integration of concurrent and functional programming. Facile is a symmetric integration of concurrent and functional programming. The language supports both function and ...

• FaCSI

• Referenced in 1 article [sw18530]
• FaCSI: A block parallel preconditioner for fluid–structure interaction in hemodynamics. Modeling Fluid–Structure Interaction (FSI) in the vascular system is mandatory to reliably compute mechanical indicators ...

• FaCT++

• Referenced in 36 articles [sw09836]
• FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ ...