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 ...
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 ...
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 ...
XBLAS - Extra Precise Basic Linear Algebra Subroutines. This library of routines is part of a reference implementation for the Dense and Banded BLAS routines, ...
XBraid: Parallel Time Integration with Multigrid. Scientists at LLNL have developed an open source, non-intrusive, and general purpose parallel-in-time code, XBraid. A few important points ...
R package xbreed. Genomic Simulation of Purebred and Crossbred Populations. Simulation of purebred and crossbred genomic data as well as pedigree and phenotypes are possible ...
Xcas is an interface to perform computer algebra, function graphs, interactive geometry (2-d and 3-d), spreadsheet and statistics, programmation. It may be used as a ...
XCAT-C++: Design and Performance of a Distributed CCA Framework. n this paper we describe the design and implementation of a C++ based Common Component Architecture ...
XcelLog: a deductive spreadsheet system. The promise of rule-based computing was to allow end users to create, modify, and maintain applications without the need to ...
XCentric: logic programming for XML processing. Here we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing. Distinctive features ...