Tools for realization of transformations of formulas for problems in Boolean algebras in the FABULA system. The purpose of the article is to study algorithms ...
R package face: Fast Covariance Estimation for Sparse Functional Data. Implementation of the Fast Covariance Estimation for Sparse Functional Data paper published in Statistics and ...
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 ...
University of essex face database: Description of the Collection of Facial Images. Biometric processing comparisons and summary results are the main purpose.
FaceNet: A Unified Embedding for Face Recognition and Clustering. Despite significant recent advances in the field of face recognition, implementing face verification and recognition efficiently ...
The FaceReader: online facial expression recognition. FaceReader Online analyses facial expressions using FaceReader™, a software program for facial analysis. It has proved its value in ...
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 ...
Facet: software for accuracy estimation of protein multiple sequence alignments. The accuracy of a protein multiple sequence alignment is measured with respect to a known ...
FacetModeller: Software for manual creation, manipulation and analysis of 3D surface-based models. The creation of 3D models is commonplace in many disciplines. Models are often ...
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: A symmetric integration of concurrent and functional programming. Facile is a symmetric integration of concurrent and functional programming. The language supports both function and ...
Facile: a command-line network compiler for systems biology. Background: A goal of systems biology is the quantitative modelling of biochemical networks. Yet for many biochemical ...
FaCiLe: A functional constraint library. FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml. It offers all usual ...
FACPACK: A software for the computation of multi-component factorisations and the area of feasible solutions. FACPACK is a software for the computation of nonnegative multi-component ...
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++ 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++ ...
FACt: FORTRAN toolbox for calculating fluctuations in atomic condensates. We develop a FORTRAN code to compute fluctuations in atomic condensates (FACt) by solving the Bogoliubov-de ...
GAP package FactInt. Advanced Methods for Factoring Integers. FactInt is a GAP 4 package which provides implementations of the following methods for factoring integers: Pollard’s ...
R package FactoClass: Combination of Factorial Methods and Cluster Analysis. Some functions of ’ade4’ and ’stats’ are combined in order to obtain a partition of ...