• CSI

  • Referenced in 22 articles [sw09767]
  • CSI - a confluence tool. This paper describes a new confluence tool for term rewrite systems...
  • CSI

  • Referenced in 1 article [sw13904]
  • CSI: a nonparametric Bayesian approach to network inference from multiple perturbed time series gene expression ... Here we introduce the causal structure identification (CSI) package, a Gaussian process based approach ... from multiple time series data. The standard CSI approach infers a single GRN via joint...
  • ConCon

  • Referenced in 2 articles [sw21589]
  • external unconditional confluence and termination checkers CSI and TTT2 as well as the theorem prover...
  • Belle

  • Referenced in 1 article [sw28881]
  • showers are detected in an array of CsI( T l) crystals located inside the solenoid...
  • FinRL

  • Referenced in 1 article [sw36051]
  • CSI 300; (ii) organized in a layered architecture with modular structure, FinRL provides fine-tuned...
  • MERLIN

  • Referenced in 14 articles [sw04248]
  • Multidimensional minimization is a common procedure needed in...
  • k-Wave

  • Referenced in 23 articles [sw07387]
  • k-Wave: MATLAB toolbox for the simulation and...
  • SimPed

  • Referenced in 3 articles [sw15080]
  • SimPed: A simulation program to generate haplotype and...