• Invar

  • Referenced in 29 articles [sw00446]
  • dimensional metric-compatible connection. The package can maximally simplify any polynomial containing tensor products...
  • xTensor

  • Referenced in 30 articles [sw04984]
  • indices, defined on several different manifolds and products of them. It computes covariant derivatives ... derivatives. It allows the presence of a metric in each manifold and defines...
  • NVD

  • Referenced in 4 articles [sw15083]
  • security related software flaws, misconfigurations, product names, and impact metrics...
  • McPAT

  • Referenced in 6 articles [sw27655]
  • different architectures using new metrics like energy-delay-area2 product (EDA2P) and energy-delay-area...
  • Lumos

  • Referenced in 1 article [sw33645]
  • health of new releases. Regressions in metric values need to be detected and diagnosed ... disruption to users and product owners. Regressions in metrics can surface due to a variety ... reasons: genuine product regressions, changes in user population, and bias due to telemetry loss ... common causes. Diagnosing the cause of these metric regressions is costly for engineering teams...
  • CSP-prover

  • Referenced in 15 articles [sw11465]
  • well as the theory of complete metric spaces (cms). In this context the respective Fixed ... Prover implements both these theories for infinite product spaces and thus is capable to deal...
  • NetComm

  • Referenced in 1 article [sw34551]
  • based network similarity metrics are increasingly used to productively analyze genome-wide data. Conventional approaches ... mean shortest path and clique-based metrics, have been useful but are not well suited...
  • KJS

  • Referenced in 6 articles [sw18992]
  • JavaScript, KJS also yields a simple coverage metric for a test suite ... tests revealed bugs both in production JavaScript engines (Chrome V8, Safari WebKit, Firefox SpiderMonkey...
  • RACE

  • Referenced in 1 article [sw02830]
  • design metrics of embedded systems is the time to market of a product, which includes...
  • Garamon

  • Referenced in 5 articles [sw30354]
  • vector spaces, precomputing all the Geometric Algebra products is an efficient strategy, it fails ... higher dimensions, with any arbitrary metric. Garamon takes advantage of the prefix tree formulation ... smooth transition to the new recursive products for higher dimensions...
  • PolySpace

  • Referenced in 1 article [sw31196]
  • PolySpace design verifier. Polyspace® static code analysis products use formal methods to prove the absence ... checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs...
  • AutoCNet

  • Referenced in 1 article [sw23841]
  • large data sets and generating foundational data products. We also present a brief case study ... high level usage for the Apollo 15 Metric camera...
  • lakemorpho

  • Referenced in 0 articles [sw16690]
  • these metrics are calculated by hand, with planimeters, and increasingly with commercial GIS products ... calculate a typical suite of these metrics from an input elevation model and lake polygon...
  • WeNet

  • Referenced in 1 article [sw37166]
  • between the research and the production of E2E speech recognition models. WeNet provides an efficient ... including model architecture, framework design and performance metrics. Our experiments on AISHELL-1 using WeNet ... both of these aspects are favored for production adoption. The toolkit is publicly available...
  • Neptune

  • Referenced in 1 article [sw27029]
  • scientists to speed-up the development and productization of machine learning models. Using Neptune ... results across your entire team using custom metrics; Reproduce results of every experiment...
  • DINDSCAL

  • Referenced in 1 article [sw13360]
  • well-known INDSCAL model for simultaneous metric multidimensional scaling (MDS) of three-way data analyzes ... into a gradient dynamical system on a product matrix manifold (of Stiefel sub-manifold ... well-known data routinely used in metric MDS and INDSCAL. Alternatively, the problem can also...
  • ESPADON

  • Referenced in 2 articles [sw03180]
  • industry to field state-of-the-art products in less time and with lower costs ... term “rapid” and provide results, the metrics, from two independent benchmarks, a radar and sonar...
  • spatialEco

  • Referenced in 0 articles [sw15496]
  • utilities for climate and global deforestation spatial products, spatial smoothing, multivariate separability, point process model ... sampling, polygon and point-distance landscape metrics, auto-logistic model, sampling models, cluster optimization...
  • LensKit

  • Referenced in 1 article [sw37570]
  • supported diverse published research, small-scale production deployments, and education in both MOOC and traditional ... classical collaborative filtering implementations, recommender system evaluation metrics, data preparation routines, and tools for efficiently...
  • MOTIF-EM

  • Referenced in 1 article [sw16892]
  • that remain conformationally conserved. As a by-product, regions in structures that are not conserved ... representations (by comparing them using a simple metric) across the input maps. The correspondences...