• 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 surface-based 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 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

  • 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 multi-component factorisations and the area of feasible solutions. FACPACK is a software for the computation of nonnegative multi-component ...
  • 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 well-known FaCT OWL-DL 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 Bogoliubov-de ...
  • 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 ...