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