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 ...
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 ...
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 ...
Checking web accessibility with the content accessibility checker (CAC). The internet has become an indispensable tool for the access of in-formation. However, most websites are ...
CacBDD: A BDD Package with Dynamic Cache Management. In this paper, we present CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a ...
A design environment specially tailored to problems in control engineering is presented. It contains, apart from plant models and operating environments, the formulation of the ...
