• Archive Formal Proofs

  • Referenced in 177 articles [sw28613]
  • proof assistant Isabelle. We perform an in-depth analysis of the archive, looking at various ... properties of the proof developments, including size, dependencies, and proof style. This gives some insights...
  • LOF

  • Referenced in 108 articles [sw19311]
  • local in that the degree depends on how isolated the object is with respect ... surrounding neighborhood. We give a detailed formal analysis showing that LOF enjoys many desirable properties ... identified with existing approaches. Finally, a careful performance evaluation of our algorithm confirms we show...
  • gcmr

  • Referenced in 27 articles [sw07433]
  • copula models for marginal regression analysis of non-normal dependent observations. The class provides ... allowed. Dependence is conveniently modelled in terms of multivariate normal errors. Inference is performed through ... continuous setting numerical approximations are used. Residual analysis and a specification test are suggested...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based...
  • Keccak

  • Referenced in 82 articles [sw09834]
  • hash function with infinite output and can perform quasi all symmetric cryptographic functions, from hashing ... code description of Keccak. The reference specification, analysis, reference and optimized code and test vectors ... table-lookups, arithmetic operations, or data-dependent rotations. Keccak has a very different design philosophy...
  • Polyhedra

  • Referenced in 1 article [sw28209]
  • such sets, solving parametric integer programs, performing dependence analysis in for-loop nests and determining...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • research project Automated Verification of Time Dependent Systems held in the Institute of Computer Science ... inputs see here For today, reachability analysis is available. For disproving safety properties ... reachability analysis on an abstract model of the system is performed...
  • TAU

  • Referenced in 22 articles [sw10173]
  • systems depends on robust performance frameworks that can at once provide system-specific performance capabilities ... support high-level performance problem solving. Flexibility and portability in empirical methods and processes ... This paper presents the TAU (Tuning and Analysis Utilities) parallel performance sytem and describe...
  • POEM

  • Referenced in 7 articles [sw03469]
  • built to support several input languages, several analysis and solving algorithms. POEM provides reusable code ... performing type checking, constant propagation, model transformation, transition generation including dependency analysis for partial order...
  • Copula.Markov.survival

  • Referenced in 3 articles [sw40998]
  • Markov Model with Dependent Censoring. Perform likelihood estimation and corresponding analysis under the copula-based ... Markov chain model for serially dependent event times with a dependent terminal event. Available...
  • compositions

  • Referenced in 24 articles [sw00150]
  • shows how to perform basic tasks in the analysis of compositional data following ... Aitchison}’s philosophy [The statistical analysis of compositional data. London-New York: Chapman and Hall ... analysis. The studied asks are: descriptive statistics and plots (ternary diagrams, boxplots), principal component analysis ... biplots), cluster analysis with Aitchison distance, analysis of variance (ANOVA) of a dependent composition, some...
  • PAG

  • Referenced in 21 articles [sw00669]
  • compilers have to perform efficiency increasing program transformations. These transformations usually depend on preceding program ... theories of abstract interpretation and data flow analysis the implementation and design of analyzers...
  • N-way Toolbox

  • Referenced in 30 articles [sw12996]
  • dependent variable(s) of PLS models; Performing multi-way scaling and centering; Performing cross-validation ... evaluate the appropriate number of components; Perform rotations of core and models in Tucker models ... multi-way clustering, CuBatch for batch data analysis, indafac for PARAFAC, PARALIND for constrained PARAFAC...
  • XLNet

  • Referenced in 19 articles [sw31118]
  • autoencoding based pretraining like BERT achieves better performance than pretraining approaches based on autoregressive language ... corrupting the input with masks, BERT neglects dependency between the masked positions and suffers from ... including question answering, natural language inference, sentiment analysis, and document ranking...
  • Java-MaC

  • Referenced in 11 articles [sw20000]
  • performed fully automatically without human direction, which increases the accuracy of the analysis. Another important ... clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which...
  • nsROC

  • Referenced in 4 articles [sw22967]
  • package nsROC: Non-Standard ROC Curve Analysis. Tools for estimating Receiver Operating Characteristic (ROC) curves ... confidence bands, comparing several curves both for dependent and independent data, estimating the cumulative-dynamic ... presence of censored data, and performing meta-analysis studies, among others...
  • ForwardDiff

  • Referenced in 19 articles [sw16106]
  • forward-mode automatic differentiation (AD) featuring performance competitive with low-level languages like C++. Unlike ... depend on ForwardDiff, with users from diverse fields such as astronomy, optimization, finite element analysis...
  • structSSI

  • Referenced in 3 articles [sw24357]
  • analysis of these particular data sets, including establishing the dependence structures, performing the test...
  • OpenAD/F

  • Referenced in 24 articles [sw09380]
  • derivative evaluation is performed by a Fortran code resulting from the analysis and transformation ... language-independent fashion. It uses code analysis results implemented in the OpenAnalysis component. The interface ... from geophysical fluid dynamics, a nonlinear time-dependent scalable, yet simple, barotropic ocean model...
  • CholQR

  • Referenced in 12 articles [sw13049]
  • other orthogonalization algorithms, CholQR obtains superior performance on many of the current computer architectures, where ... skinny. Unfortunately, the orthogonality error of CholQR depends quadratically on the condition number ... properties of this mixed-precision CholQR. Our analysis shows that by selectively using the doubled ... error of the mixed-precision CholQR only depends linearly on the condition number...