• c060

  • Referenced in 1 article [sw24284]
  • 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 ...
  • C2e2

  • Referenced in 5 articles [sw20139]
  • 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 ...
  • c2i

  • Referenced in 3 articles [sw19488]
  • 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

  • Referenced in 2 articles [sw25443]
  • 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, ...
  • C4.5

  • Referenced in 1008 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been superseded by C5.0)
  • C4ISR

  • Referenced in 1 article [sw02051]
  • 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 ...
  • C50

  • Referenced in 7 articles [sw08030]
  • R package C50: C5.0 Decision Trees and Rule-Based Models. C5.0 decision trees and rule-based models for pattern recognition
  • ca

  • Referenced in 15 articles [sw08085]
  • 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. ...
  • CA3D

  • Referenced in 3 articles [sw03304]
  • CA3D: a Monte Carlo code to simulate 3D buffered diffusion of ions in sub-membrane domains.
  • CABIN

  • Referenced in 1 article [sw09283]
  • 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

  • Referenced in 2 articles [sw01442]
  • 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

  • Referenced in 31 articles [sw17813]
  • 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 ...
  • Cabri

  • Referenced in 22 articles [sw06229]
  • 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 3D

  • Referenced in 20 articles [sw06697]
  • Modelling of selected math theorems and knowledge in ICT environments In this article we present some topics and ideas on how to use ICT in ...
  • Cabri-geometry

  • Referenced in 111 articles [sw04928]
  • 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 ...
  • CAC

  • Referenced in 1 article [sw23324]
  • 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

  • Referenced in 2 articles [sw19401]
  • 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 ...
  • CACE

  • Referenced in 1 article [sw03176]
  • 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 ...
  • Cachegrind

  • Referenced in 3 articles [sw11164]
  • Cachegrind: a cache and branch-prediction profile: Cachegrind simulates how your program interacts with a machine’s cache hierarchy and (optionally) branch predictor. It simulates a machine ...
  • cacher

  • Referenced in 1 article [sw25647]
  • Caching and Distributing Statistical Analyses in R. We present the cacher package for R, which provides tools for caching statistical analyses and for distributing these ...