
FABULA
 Referenced in 1 article
[sw30213]
 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 ...

face
 Referenced in 2 articles
[sw23648]
 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
 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.

FaceNet
 Referenced in 3 articles
[sw21626]
 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 ...

FaceReader
 Referenced in 1 article
[sw20758]
 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 ...

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

Facet
 Referenced in 1 article
[sw24607]
 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
 Referenced in 1 article
[sw23842]
 FacetModeller: Software for manual creation, manipulation and analysis of 3D surfacebased models. The creation of 3D models is commonplace in many disciplines. Models are often ...

FacetNet
 Referenced in 12 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 21 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 ...

Facile
 Referenced in 1 article
[sw28767]
 Facile: a commandline network compiler for systems biology. Background: A goal of systems biology is the quantitative modelling of biochemical networks. Yet for many biochemical ...

FaCiLe
 Referenced in 3 articles
[sw31028]
 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
 Referenced in 1 article
[sw27898]
 FACPACK: A software for the computation of multicomponent factorisations and the area of feasible solutions. FACPACK is a software for the computation of nonnegative multicomponent ...

FaCSI
 Referenced in 9 articles
[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 64 articles
[sw09836]
 FaCT++ is the new generation of the wellknown FaCT OWLDL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ ...

FACt
 Referenced in 1 article
[sw27136]
 FACt: FORTRAN toolbox for calculating fluctuations in atomic condensates. We develop a FORTRAN code to compute fluctuations in atomic condensates (FACt) by solving the Bogoliubovde ...

factas
 Referenced in 1 article
[sw23394]
 R package factas: Data Mining Methods for Data Streams.

FactInt
 Referenced in 0 articles
[sw21199]
 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 ...

FactoClass
 Referenced in 1 article
[sw30832]
 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 ...