• Infer

  • Referenced in 10 articles [sw20862]
  • composing proofs of its constituent modules (functions/procedures). Bugs are extracted from failures of proof attempts...
  • AMMOS_ProtLig

  • Referenced in 1 article [sw06613]
  • Data extraction module-A supplementary tool for the Ammos_Protlig software package Data Extraction Module ... results after AMMOS ProtLig application. Data Extraction Module automatically processes the output files after post ... specified according to user preferences. Data Extraction Module is developed as an open-source graphical ... different physicochemical properties and topology. Data Extraction Module reduces the user’s involvement and accelerates...
  • GNBSL

  • Referenced in 2 articles [sw26874]
  • database. Then different features are extracted by four modules from the PSFM and the PSSM ... added in this system. One module extracts the residue-couple distribution from the amino acid...
  • KAON2

  • Referenced in 4 articles [sw09838]
  • from tools such as Protégé, A module for extracting ontology instances from relational databases...
  • iJADE Surveillant

  • Referenced in 2 articles [sw24856]
  • coarse-to-fine figure-ground scene segmentation module using the Composite Neuro-Oscillatory Wavelet-based ... automatic human face detection and extraction module using an Active Contour Model with facial “landmarks...
  • PyEEG

  • Referenced in 1 article [sw21441]
  • PyEEG: an open source python module for EEG/MEG feature extraction. Computer-aided diagnosis of neural ... works, we have implemented many EEG feature extraction functions in the Python programming language ... scientific computing, an open source Python module for extracting EEG features has the potential ... PyEEG, an open source Python module for EEG feature extraction...
  • LLECMOD

  • Referenced in 2 articles [sw11365]
  • LLECMOD (Liquid-Liquid Extraction Column Module) is a windows based program that is developed (Attarakih ... simulate liquid extraction columns. Liquid-liquid extraction is an important separation processes encountered in many...
  • Aligators

  • Referenced in 1 article [sw09779]
  • over array content. The Aligators’ loop extraction module allows treatment of multi-path loops...
  • AMEEDA

  • Referenced in 1 article [sw00040]
  • AMEEDA include instrumentation facilities, parameter extraction modules and mapping strategies. With all these services...
  • Blob3D

  • Referenced in 1 article [sw37615]
  • contact relationships. Another feature in the Extract module allows the user to input sample coordinates...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side ... describe here a representative series of modules that implement imperative finite maps, including support...
  • SINTEF

  • Referenced in 35 articles [sw02984]
  • computational resource.HPMC - a small OpenGL/C/C++-library that extractes iso-surfaces of volumetric data directly ... Vehicle Routing Problem.Spider Web is a software module for calculating optimal routes in a road...
  • CST MICROWAVE STUDIO

  • Referenced in 12 articles [sw15733]
  • modules for specific applications. Filters for the import of specific CAD files and the extraction...
  • VoxSegNet

  • Referenced in 1 article [sw36661]
  • this purpose, a spatial dense extraction (SDE) module is designed to preserve the spatial resolution ... during the feature extraction procedure, alleviating the loss of detail caused by sub-sampling operations ... pooling. An attention feature aggregation (AFA) module is also introduced to adaptively select informative features...
  • StageNet

  • Referenced in 1 article [sw36874]
  • learning disease Network (StageNet) model to extract disease stage information from patient data and integrate ... aware long short-term memory (LSTM) module that extracts health stage variations unsupervisedly...
  • UFO

  • Referenced in 2 articles [sw25556]
  • stage; thus, we can devote to legalize modules. To keep the good results ... propose a procedure to extract the geometric relations of modules from a layout and record...
  • Wrangler

  • Referenced in 1 article [sw13676]
  • such as function, variable and module renaming, function extraction and generalisation. Wrangler recognises macros ... remove code clones, and to improve the module structure of projects. Wrangler is extensible, with...
  • SIFER

  • Referenced in 5 articles [sw30440]
  • extract scale-invariant features from an image by using a Cosine Modulated Gaussian (CM-Gaussian...
  • DrIFT

  • Referenced in 1 article [sw13665]
  • preprocessor for Haskell. It extracts type declarations and directives from modules. The directives cause rules...
  • FATKit

  • Referenced in 3 articles [sw08822]
  • digital object definitions from C source code, extracting those objects from memory images, and visualizing ... data in various ways. FATKit presently includes modules for general virtual address space reconstruction...