
Hadamard
 Referenced in 26 articles
[sw13205]
 A library of Hadamard matrices: Hadamard matrices, Kimura matrices Paley matrices, PlackettBurman 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 ...

HadoopBAM
 Referenced in 1 article
[sw12021]
 HadoopBAM: directly manipulating next generation sequencing data in the cloud. Summary: HadoopBAM is a novel library for the scalable manipulation of aligned nextgeneration 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 multicontext 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 selfconsistent nonlinear waveparticle 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 thresholdset ...

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 highlevel actor language and its distributed implementation. We describe Hal, a highlevel, actorbased language which has served as a testbed 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++ headeronly library to provide an IEEE 754 conformant 16bit halfprecision floatingpoint 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 edgecentered data structure capable of maintaining incidence information of vertices, edges ...

HalfLine
 Referenced in 6 articles
[sw19294]
 ”The QuasiHolonomic 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 ...