• BILOG

  • Referenced in 62 articles [sw13946]
  • BILOG: Item analysis and test scoring with binary logistic models. BILOG-MG is an extension ... that is designed for the efficient analysis of binary items, including multiple-choice or short ... items or respondents. It can perform item analysis and scoring of any number of subtests...
  • clusfind

  • Referenced in 432 articles [sw27805]
  • stand-alone Fortran programs for cluster analysis. The programs are described and illustrated ... Chapter 7: MONA.FOR (divisive hierachical clustering of binary data sets...
  • PRISM

  • Referenced in 416 articles [sw01186]
  • decision processes and continuous-time Markov chains. Analysis is performed through model checking such systems ... model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs...
  • McEliece

  • Referenced in 225 articles [sw02076]
  • Practical power analysis attacks on software implementations of McEliece. The McEliece public-key cryptosystem ... fact that decoding unknown linear binary codes is an NP-complete problem. The interest ... attacks, e.g., state-of-the-art power analysis attacks, must be investigated. In this work...
  • BitBlaze

  • Referenced in 11 articles [sw10059]
  • BitBlaze: Binary Analysis for Computer Security: Binary analysis is imperative for protecting COTS (common ... binary may even be obfuscated. Also, binary analysis provides the ground truth about program behavior ... binaries (executables), not source code. However, binary analysis is challenging due to the lack ... design and develop a powerful binary analysis platform and employ the platform in order...
  • DPpackage

  • Referenced in 64 articles [sw10495]
  • estimation, receiver operating characteristic curve analysis, interval-censored data, binary regression data, item response data...
  • Mplus

  • Referenced in 339 articles [sw06511]
  • data and analysis results. Mplus allows the analysis of both cross-sectional and longitudinal data ... observed variables that are continuous, censored, binary, ordered categorical (ordinal), unordered categorical (nominal), counts...
  • BAP

  • Referenced in 7 articles [sw12790]
  • binary analysis platform. BAP is a publicly available infrastructure for performing program verification and analysis ... lessons learned from previous incarnations of binary analysis platforms. BAP explicitly represents all side effects...
  • cquad

  • Referenced in 8 articles [sw11083]
  • Conditional ML for Quadratic Exponential Models for Binary Panel Data. The package estimates, by conditional ... exponential model is suitable for the analysis of binary longitudinal data when state dependence (further...
  • NAMD

  • Referenced in 77 articles [sw03198]
  • program VMD for simulation setup and trajectory analysis, but is also file-compatible with AMBER ... build NAMD yourself or download binaries for a wide variety of platforms...
  • goodwin.f77

  • Referenced in 22 articles [sw37144]
  • current interest, including binary measurement-error models and the analysis of teratogenicity experiments. Analytic intractability...
  • CP-nets

  • Referenced in 135 articles [sw01374]
  • introduce the realization for the class of binary-valued, tree-structured CP-nets, which ... structured CP-net. At last, the corresponding analysis is carried out to prove its correctness...
  • BINSEC/SE

  • Referenced in 2 articles [sw28248]
  • Dynamic Symbolic Execution Toolkit for Binary-level Analysis. When it comes to software analysis, several ... intend to fulfill this lack of binary analysis platform by allowing to perform modular analysis...
  • LOF

  • Referenced in 88 articles [sw19311]
  • detection regards being an outlier as a binary property. In this paper, we contend that ... surrounding neighborhood. We give a detailed formal analysis showing that LOF enjoys many desirable properties...
  • Tucker3-HICLAS

  • Referenced in 15 articles [sw11320]
  • Tucker3 hierarchical classes analysis. This paper presents a new model for binary three-way three...
  • DTA++

  • Referenced in 2 articles [sw33315]
  • propose DTA++, an enhancement to dynamic taint analysis that additionally propagates taint along ... using the BitBlaze platform for binary analysis, and apply it to off-the-shelf Windows/x86...
  • SNPassoc

  • Referenced in 4 articles [sw07122]
  • models (either for quantitative or binary traits), and analysis of multiple SNPs (haplotype and epistasis...
  • VCFtools

  • Referenced in 6 articles [sw14582]
  • manipulating VCF files, whereas the binary executable provides general analysis routine...
  • glmmML

  • Referenced in 8 articles [sw07509]
  • effects models The statistical analysis of mixed effects models for binary and count data ... bootstrapping technique is implemented to replace asymptotic analysis. The random intercepts model is fitted using...
  • libMC

  • Referenced in 44 articles [sw06615]
  • equivalent reformulation in terms of unary and binary operations, the so-called evaluation trace ... each of these intermediate variables via interval analysis and McCormick relaxation techniques [3]. Because McCormick...