• Hadamard

  • Referenced in 26 articles [sw13205]
  • A library of Hadamard matrices: Hadamard matrices, Kimura matrices Paley matrices, Plackett-Burman designs, Sylvester matrices, Turyn construction, Williamson construction. Contains all Hadamard matrices of orders ...
  • HadamardSearch

  • Referenced in 10 articles [sw18675]
  • This is a tool for looking for cocyclic Hadamard matrices over a finite group G for which a homological model hG is known, as described ...
  • Hadoop

  • Referenced in 107 articles [sw08481]
  • The Apache Hadoop software library is a framework that allows for the distributed processing of large data sets across clusters of computers using simple programming ...
  • Hadoop-BAM

  • Referenced in 1 article [sw12021]
  • Hadoop-BAM: directly manipulating next generation sequencing data in the cloud. Summary: Hadoop-BAM is a novel library for the scalable manipulation of aligned next-generation sequencing data ...
  • HadoopStreaming

  • Referenced in 2 articles [sw23401]
  • R package HadoopStreaming: Utilities for using R scripts in Hadoop streaming. Provides a framework for writing map/reduce scripts for use in Hadoop Streaming. Also facilitates ...
  • HaExcel

  • Referenced in 2 articles [sw29433]
  • HaExcel is a framework to manipulate, transform and query spreadsheets. It is implemented in Haskell and consists of the following parts: Library: A generic/reusable library ...
  • HAGAR

  • Referenced in 1 article [sw02336]
  • HAGAR: Efficient multi-context graph processors. Graph algorithms, such as vertex reachability, transitive closure, and shortest path, are fundamental in many computing applications. We address the ...
  • haggies

  • Referenced in 5 articles [sw12493]
  • Optimising code generation with haggies. This article describes Haggies, a program for the generation of optimised programs for the efficient numerical evaluation of mathematical expressions. ...
  • HAGIS

  • Referenced in 4 articles [sw08581]
  • The HAGIS self-consistent nonlinear wave-particle interaction model. The authors describe the numerical modeling of interaction of energetic particles with a wave possessing a spectrum specific ...
  • HaifaSat

  • Referenced in 5 articles [sw00397]
  • HaifaSat: A new robust SAT solver. The popular abstraction/refinement model frequently used in verification, can also explain the success of a SAT decision heuristic like ...
  • HairRemoval

  • Referenced in 1 article [sw14037]
  • Automated digital hair removal by threshold decomposition and morphological analysis. We propose a method for digital hair removal from dermoscopic images, based on a threshold-set ...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • Probabilistic inference by program transformation in Hakaru (system description). We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and ...
  • HAL

  • Referenced in 2 articles [sw04603]
  • A complete modal proof system for HAL: the Herbrand agent language
  • HAL_

  • Referenced in 2 articles [sw07224]
  • HAL: A high-level actor language and its distributed implementation. We describe Hal, a high-level, actor-based language which has served as a test-bed for experimenting with ...
  • HALCA

  • Referenced in 1 article [sw33347]
  • HALCA (Hardware Accelerated Library for Character Animation). HALCA is an interface to the Cal3D library and extends this with GLSL shader support, morph animations, hardware ...
  • HALCON

  • Referenced in 7 articles [sw07131]
  • HALCON is the comprehensive standard software for machine vision with an integrated development environment (IDE) that is used worldwide.
  • half

  • Referenced in 1 article [sw32909]
  • half: This is a C++ header-only library to provide an IEEE 754 conformant 16-bit half-precision floating-point type along with corresponding arithmetic operators, type conversions and ...
  • Halfedge Data Structures

  • Referenced in 4 articles [sw11152]
  • A halfedge data structure (abbreviated as HalfedgeDS, or HDS for template parameters) is an edge-centered data structure capable of maintaining incidence information of vertices, edges ...
  • HalfLine

  • Referenced in 6 articles [sw19294]
  • ”The Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article is accompanied by the following Maple packages ...
  • Halide

  • Referenced in 5 articles [sw22108]
  • Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. Halide is a new programming language designed to make it ...