
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 menudriven ... 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 leastsquare 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]
 capturerecapture 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 (onthefly) 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 conﬂict detection in concurrent transformations by critical pair analysis...

iRSpotEL
 Referenced in 29 articles
[sw24776]
 genomewide 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: contextsensitive 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 constraintbased analysis that infers consistent correlation contextsensitively, 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 lowrank ... method represents an extension of Principal Component Analysis and has clear advantages over popular...