• SNAP

  • Referenced in 179 articles [sw04184]
  • performance system for analysis and manipulation of large networks. Graphs consists of nodes and directed/undirected/multiple...
  • Mfree2D

  • Referenced in 324 articles [sw15725]
  • designed for 2D stress and strain analysis in solid mechanics and structural mechanics subjected ... loadings with heat transfer process. The software consists of three major processors : MFreePre, MFreeApp...
  • Aspic

  • Referenced in 24 articles [sw04954]
  • investigate an improvement of Linear Relation Analysis consisting in computing, when possible, the exact (abstract ... precision and the performance of the analysis...
  • XFOIL

  • Referenced in 64 articles [sw18279]
  • design and analysis of subsonic isolated airfoils. It consists of a collection of menu-driven ... useful functions such as: Viscous (or inviscid) analysis of an existing airfoil; Airfoil design...
  • Bolasso

  • Referenced in 29 articles [sw31649]
  • Bolasso: model consistent Lasso estimation through the bootstrap. We consider the least-square linear regression ... present a detailed asymptotic analysis of model consistency of the Lasso. For various decays...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • functions (commands) developed primarily for the analysis and synthesis of control systems, with an emphasis ... effects of uncertainty. μ-Tools provides a consistent set of data structures for the unified ... theory, namely H∞ optimal control and m analysis and synthesis techniques. This package allows...
  • Rcapture

  • Referenced in 11 articles [sw13992]
  • capture-recapture experiments. The data for analysis consists of the frequencies of the observable capture ... closed population model, the goal of the analysis is to estimate the size...
  • Protege

  • Referenced in 60 articles [sw17512]
  • models are consistent and to infer new information based on the analysis of an ontology...
  • DASPK 3.0

  • Referenced in 38 articles [sw04288]
  • algorithms for the sensitivity analysis and for the choice of consistent initial data. After...
  • BVPh

  • Referenced in 217 articles [sw06575]
  • highly nonlinear problems, namely the homotopy analysis method (HAM). Unlike perturbation methods ... convergence of a solution. This book consists of three parts. Part I provides its basic...
  • UTA Plus

  • Referenced in 151 articles [sw16225]
  • based on a principle of ordinal regression, consist in solving a small linear program ... functions within limits given by a sensitivity analysis of the ordinal regression problem. There...
  • FEAR

  • Referenced in 20 articles [sw08264]
  • FEAR: Frontier Efficiency Analysis with R. FEAR consists of a software library that...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • reachability analysis is available. For disproving safety properties, a new efficient method consisting in translating ... proving correctness, an (on-the-fly) reachability analysis on an abstract model of the system...
  • blockcluster

  • Referenced in 10 articles [sw17883]
  • important technique in two way data analysis. It consists of estimating a mixture model which...
  • AGG

  • Referenced in 50 articles [sw04449]
  • consistency checking of graphs and conflict detection in concurrent transformations by critical pair analysis...
  • iRSpot-EL

  • Referenced in 29 articles [sw24776]
  • genome-wide analysis and the results obtained are quite consistent with the experimental map. AVAILABILITY...
  • DAEPACK

  • Referenced in 17 articles [sw12958]
  • transformation andnumerical calculation. The symbolic analysis and transformation library consists of components for analyzing general...
  • LOCKSMITH

  • Referenced in 10 articles [sw20224]
  • LOCKSMITH: context-sensitive correlation analysis for race detection. One common technique for preventing data races ... that all accesses to shared locations are consistently protected by a lock. We present ... novel constraint-based analysis that infers consistent correlation context-sensitively, using the results to check ... improve the precision and performance of the analysis, including a sharing analysis for inferring thread...
  • KONECT

  • Referenced in 64 articles [sw17480]
  • well as provide tools for their analysis. In the cited areas, a surprisingly large number ... collection of over 160 network datasets, consisting of directed, undirected, unipartite, bipartite, weighted, unweighted, signed ... Matlab toolbox for network analysis and (3) a website giving a compact overview the various...
  • JIVE

  • Referenced in 22 articles [sw09511]
  • integrated analysis of such data sets. The decomposition consists of three terms: a low-rank ... method represents an extension of Principal Component Analysis and has clear advantages over popular...