R package c060: Extended Inference for Lasso and Elastic-Net Regularized Cox and Generalized Linear Models. c060 provides additional functions to perform stability selection, model validation ...
R package c14bazAAR: Download and Prepare C14 Dates from Different Source Databases. Query different C14 date databases and apply basic data cleaning, merging and calibration ...
C2e2: A verification tool for stateflow models. Compare Execute Check Engine (C2E2) is a tool for verifying bounded-time invariant properties of hybrid system and Stateflow ...
From invariant checking to invariant inference using randomized search. We describe a general framework c2i for generating an invariant inference procedure from an invariant checking ...
Translating Xd-C programs to MSVL programs. C language is one of the most popular languages for software systems. In order to verify safety, reliability and ...
C32SAT: Checking C Expressions. C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, ...
A data-centric framework for network enabled C4ISR software systems In this paper a data centric, platform and hardware communication protocol independent, standard compliant and net ...
Correspondence Analysis in R, with Two- and Three-dimensional Graphics: The ca Package. We describe an implementation of simple, multiple and joint correspondence analysis in R. ...
Interactive Correspondence Analysis in a Dynamic Object-Oriented Environment. A highly interactive, user-friendly object-oriented software package written in LispStat is introduced that performs simple and multiple ...
CABAL: Polynomial and power series algebra on a parallel computer. The work on designing or adapting algebra systems to exploit parallel hardware that we have ...
CABIN: Collective analysis of biological interaction networks. The importance of understanding biological interaction networks has fueled the development of numerous interaction data generation techniques, databases ...
CableS : thread control and memory system extensions for shared virtual memory clusters Clusters of high-end workstations and PCs are currently used in many application ...
CABOB: a fast optimal algorithm for winner determination in combinatorial auctions. Combinatorial auctions where bidders can bid on bundles of items can lead to more ...
Students explore mathematics in an active and interactive way. A geometrical figure or an equation on the Cabri screen becomes an object to manipulate. Students ...
Cabri-geometry is a software for learning geometry mainly at school. Now Cabri software is developped and distributed by the Cabrilog company. Cabri is a result ...
