
BARON
 Referenced in 316 articles
[sw00066]
 derives its name from its combining constraint propagation, interval analysis, and duality in its reduce...

SLMC
 Referenced in 71 articles
[sw04604]
 properties of software systems. However, when the analysis focuses on properties related to resource usage ... currently available tool that supports the combined analysis of behavioral and spatial properties of systems...

CPAchecker
 Referenced in 50 articles
[sw07408]
 Cpachecker with sequential combination of explicitstate analysis and predicate analysis. (Competition contribution). CPAchecker ... sequential combination of two approaches. It starts with an explicitstate analysis...

UMFPACK
 Referenced in 369 articles
[sw00989]
 sparse LU factorization is presented that combines a column preordering strategy with a right ... numerical factorization. The preordering and symbolic analysis phase computes an upper bound on fill...

PRISM
 Referenced in 416 articles
[sw01186]
 decision processes and continuoustime Markov chains. Analysis is performed through model checking such systems ... based on sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM...

Aspic
 Referenced in 23 articles
[sw04954]
 Combining widening and acceleration in linear relation analysis. Linear Relation Analysis...

TIGRA
 Referenced in 40 articles
[sw02333]
 posed problems. A sophisticated numerical analysis of a combination of Tikhonov regularization and the gradient...

Atomizer
 Referenced in 17 articles
[sw08924]
 analysis for detecting atomicity violations. This analysis combines ideas from both Lipton’s theory...

Mplus
 Referenced in 339 articles
[sw06511]
 data and analysis results. Mplus allows the analysis of both crosssectional and longitudinal data ... categorical (ordinal), unordered categorical (nominal), counts, or combinations of these variable types. In addition, Mplus...

RMetrics
 Referenced in 29 articles
[sw09991]
 Rmetrics open source software combines exploratory data analysis, statistical modelling and rapid model prototyping...

SERBA
 Referenced in 152 articles
[sw01160]
 with linear elements for 2D elastostatics analysis SERBA is a FORTRAN77 program which applies ... linear continuous elements, and any kind of combination of boundary conditions in stresses and displacements...

SMART_
 Referenced in 33 articles
[sw04097]
 logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same...

GlobSol
 Referenced in 38 articles
[sw06724]
 GlobSol software package combines various ideas from interval analysis, automatic differentiation, and constraint propagation...

Mercury
 Referenced in 67 articles
[sw08333]
 which combines the clarity and expressiveness of declarative programming with advanced static analysis and error...

SAFD
 Referenced in 14 articles
[sw14547]
 fuzzy data in towards advanced data analysis by combining soft computing and statistics. SAFD: Statistical...

YOGI
 Referenced in 12 articles
[sw13094]
 Yogi Project: Software Property Checking via Static Analysis and Testing. We present Yogi, a tool ... checks properties of C programs by combining static analysis and testing. Yogi implements the Dash...

EViews
 Referenced in 38 articles
[sw00254]
 section, panel data analysis, time series estimation and forecasting). It combines spreadsheet and relational database...

SPOT
 Referenced in 79 articles
[sw06347]
 tuning based on classical regression and analysis of variance techniques; treebased models such ... random forest; Gaussian process models (Kriging), and combinations of di erent metamodeling approaches. This article...

Pueblo
 Referenced in 29 articles
[sw00743]
 among PB constraints and combine it with generic implication graph analysis for conflictinduced learning...

4eMka2
 Referenced in 53 articles
[sw16168]
 approach in multiple criteria decision support, combining advantages of rough sets and dominance relation ... geology, pharmacology and many other connected with analysis of vast data sets. The main difference ... that it bases on rough set theory combined with dominance relation, which is quite ... preparation of the classified examples set and analysis of induced rules. It means that user...