Results 1 to 20 of 2643
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z all

  • c060
  • Referenced in 2 articles [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 ...

  • c14bazAAR
  • Referenced in 1 article [sw31070]
  • 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
  • Referenced in 8 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 ...

  • c2go
  • Referenced in 1 article [sw34240]
  • c2go: A tool for converting C to Go. The goals of this project are: To create a generic tool that can convert C to Go. ...

  • 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 ...

  • C2M
  • Referenced in 1 article [sw31711]
  • 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
  • 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 1099 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 10 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 20 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. ...

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

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

  • CAAsoft
  • Referenced in 4 articles [sw32028]
  • CAAsoft: Numerical Software produced by the CAA group. CAA: Padova-Verona research group on ”Constructive Approximation and Applications”

  • CABAL
  • Referenced in 2 articles [sw32208]
  • 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
  • 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 21 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 ...