• Esterel

  • Referenced in 166 articles [sw20012]
  • larger program that handles the interface and data manipulations. It can also generate hardware ... safety property checking. Esterel is now experimentally used by several companies and taught in several...
  • TetGen

  • Referenced in 183 articles [sw04046]
  • theoretical guarantee of correctness. It can robustly handle arbitrary complex 3D geometries and is fast ... TetGen, including an efficient tetrahedral mesh data structure, a set of enhanced local mesh operations ... algorithm for adaptive quality tetrahedral mesh generation. Experimental examples as well as comparisons with other...
  • E-SETHEO

  • Referenced in 19 articles [sw07141]
  • theorem prover e-SETHEO, which automatically handles training data management, strategy evaluation and selection ... actual proof tasks. We also give some experimental data produced with this system. We address...
  • FastSLAM

  • Referenced in 63 articles [sw13538]
  • approaches to this problem scale up to handle the very large number of landmarks present ... beyond the reach of previous approaches. Experimental results demonstrate the advantages and limitations ... algorithm on both simulated and real-world data...
  • MMC

  • Referenced in 10 articles [sw13879]
  • extended to handle process expressions in the spi-calculus. Our experimental data shows that...
  • KNN

  • Referenced in 1 article [sw11858]
  • program is developed for simular and experimental data handling. The main purposes are: the choice...
  • Part2Track

  • Referenced in 2 articles [sw41856]
  • demonstrate the capabilities of handling realistic, experimental data, two test cases are provided...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • more recent approaches; it can handle irregularly sampled data in a straightforward ... that lets the user analyse the experimental data, identify and evaluate models in an easy...
  • HAS-SOP

  • Referenced in 14 articles [sw25445]
  • extension of a TSP heuristic which directly handles multiple constraints without increasing computational complexity ... present a new data structure that improves system performance. Experimental results...
  • CCA

  • Referenced in 16 articles [sw09506]
  • highlight correlations between two data sets acquired on the same experimental units. The cancor() function ... outputs and to enable the user to handle missing values. The CCA package also includes ... regularized version of CCA to deal with data sets with more variables than units. Illustrations...
  • CoreSNP

  • Referenced in 2 articles [sw20558]
  • storage, preprocessing, and analysis of experimental data are becoming a main bottleneck in the pharmacogenomics ... Drug Metabolism Enzymes and Transporters) SNP microarray data produced by Affymetrix for pharmacogenomics studies ... coreSNP allows to handle the huge volumes of experimental pharmacogenomics data in a very efficient...
  • SNN-Cliq

  • Referenced in 6 articles [sw34296]
  • handling high-dimensional data. When evaluated on a variety of synthetic and real experimental datasets...
  • Sophia

  • Referenced in 8 articles [sw34498]
  • practice. Experimental evaluations show that their approach can efficiently handle towers with billions of complexes ... They tested their implementation on various challenging data sets. The source code of the implementation...
  • CayleyNets

  • Referenced in 5 articles [sw38090]
  • data for sparsely-connected graphs, and can handle different constructions of Laplacian operators. Extensive experimental...
  • HeartPy

  • Referenced in 3 articles [sw30799]
  • data, especially noisy PPG data collected in experimental studies. To counter this, we developed HeartPy ... noise-resistant algorithm that handles PPG data well. It has been implemented in Python...
  • VOLNA

  • Referenced in 19 articles [sw06829]
  • numerical code VOLNA is able to handle the complete life cycle of a tsunami (generation ... algorithm. Comparisons with analytical solutions and experimental data are performed. Finally, the main conclusions...
  • HHCART

  • Referenced in 4 articles [sw38489]
  • oblique splits in the unreflected training data. Experimental results show that the accuracy and size ... feature of HHCART is that it can handle both qualitative and quantitative features...
  • rgabriel

  • Referenced in 1 article [sw27687]
  • experimental designs. It is designed to handle vectorized observation and factor data where there...
  • csaw

  • Referenced in 3 articles [sw17944]
  • differential binding analysis of ChIP-seq data using sliding windows. Chromatin immunoprecipitation with massively parallel ... regions. The csaw package can handle arbitrarily complex experimental designs involving biological replicates ... more generally, to any type of sequencing data measuring genomic coverage. csaw performs favorably against...
  • PWSpy

  • Referenced in 1 article [sw41683]
  • your experimental data. Basic operations such as normalization, hardware compensation, and calibration are handled with...