R package x12: Interface to ’X12-ARIMA’/’X13-ARIMA-SEATS’ and Structure for Batch Processing of Seasonal Adjustment. The ’X13-ARIMA-SEATS’ <https://www.census.gov/srd/www/x13as/> methodology and software is a widely used software ...
X2Rel: An XML relation language with formal semantics. X2Rel is a new language to express binary relations between XML documents. A wide range of relations ...
This document describes the GAMS/XA linear and mixed-integer programming solver. The GAMS/XA solver (here also simply referred to as XA) is based on Sunset Software ...
A framework to animate string algorithms. We present an algorithm animation system, Xaa, which is tailored for string algorithms, and, in general, to algorithms that ...
xAct is a suite of free packages for tensor computer algebra in Mathematica. xAct implements state-of-the-art algorithms for fast manipulations of indices and has been ...
XAHM: An XML-based adaptive hypermedia model and its implementation, This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and a modular architecture, for modeling and ...
Xalci was developed within Geometric Computing and Computer Algebra group at Max-Planck Insitute for Informatics. A major part of our software has evolved from the ...
XANNpred: Neural nets that predict the propensity of a protein to yield diffraction-quality crystals: XANNpred is a pair of Artificial Neural Networks (XANNpred-PDB, XANNpred-SG). Proteins ...
Xanthos - A Global Hydrologic Model. Xanthos is an open-source hydrologic model, written in Python, designed to quantify and analyse global water availability. Xanthos simulates ...
XaoS is a fast, portable, real-time, and interactive fractal zoomer. It displays the Mandelbrot set (among other escape time fractals) and allows you zoom smoothly ...
XASM- An Extensible, Component-Based Abstract State Machines Language. The Abstract State Machine (ASM) [15] approach has already proven to be suitable for large-scale specifications of ...
Summary of XASP: Answer Set Programming using XSB: .. The XASP package provides various mechanisms that allow tight linkage of XSB programs to the SModels ...
System description: Interactive proof critics in XBarnacle. Proof critics extend the power of a theorem prover by, for example, allowing lemmas to be postulated and ...
Xbim.Essentials: A Library for interoperable building information applications. A .NET library to work with data in the IFC format. This is the core component of ...
XBLAS - Extra Precise Basic Linear Algebra Subroutines. This library of routines is part of a reference implementation for the Dense and Banded BLAS routines, ...
