• KATE

  • Referenced in 2 articles [sw27201]
  • such as high-dimensionality, sparsity and power-law word distributions. In this paper, we propose...
  • Blogel

  • Referenced in 2 articles [sw41763]
  • existing systems, but many real-world power-law graphs also exhibit the characteristics...
  • Mongoose

  • Referenced in 1 article [sw35947]
  • effectiveness on large and social networking (power law) graphs...
  • PartEntFermions

  • Referenced in 1 article [sw39081]
  • constant. Higher-order corrections decay as power-laws in the system size with exponents that...
  • TurbuStat

  • Referenced in 1 article [sw28280]
  • break-point; a two-dimensional elliptical power-law model; multi-core fast-fourier-transform support...
  • GraphCT

  • Referenced in 1 article [sw06629]
  • input datasets. On a synthetic power law graph with 2 billion vertices and 17 billion...
  • AutoAudit

  • Referenced in 1 article [sw40661]
  • success stories” and patterns following Power Laws in log-logistic scales. (d) Scalability and Generality...
  • Mermaid

  • Referenced in 1 article [sw41765]
  • real-world graphs often obey skewed power-law distributions: most vertices have relatively few neighbors...
  • BMCA

  • Referenced in 1 article [sw07506]
  • model with isotropic hardening and the power creep law are adopted for describing the inelastic...
  • DFTCalc

  • Referenced in 4 articles [sw12545]
  • equipment, and power grids are dependable; and it is often required by law. Fault Tree ... system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault...
  • SWARM

  • Referenced in 4 articles [sw14938]
  • primarily driven by rapid growth in processing power. Performance of an algorithm kept on simply ... longer solely rely on Moore’s law for performance improvements. Fundamental physical limitations such ... size of the transistor and power constraints have now necessitated a radical change in commodity...
  • Tweezercalib

  • Referenced in 2 articles [sw00987]
  • theoretical power spectrum when accounting for corrections to Stokes law, Phydro(f), has been updated...
  • REDBACK

  • Referenced in 5 articles [sw21421]
  • including thermal, hydraulic, mechanical and chemical (THMC) laws. This modelling activity involves simulations that ... linked to the increasing availability of supercomputing power and easy access to powerful nonlinear solvers...
  • NLSOFT

  • Referenced in 1 article [sw00625]
  • powerful module permitting the calculation time of linearizing control laws considering several digital signal processors...
  • FLAC

  • Referenced in 18 articles [sw07204]
  • prescribed linear or nonlinear stress/strain law in response to the applied forces or boundary restraints ... materials are available. FLAC also contains the powerful built-in programming language FISH (short...
  • PULSAR

  • Referenced in 3 articles [sw21084]
  • static model based on Biot-Savart’s Law and undersampled multichannel data acquisition ... evaluation of the techniques based on artifact power (AP), signal-to-noise ratio...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • commands of Edsger W. Dijkstra. Dropping this law introduces “partial commands” (sometimes called “miracles”), which ... real numbers to produce a powerful constraint solver that is useful for producing accurate technical...
  • SAHA-Tool

  • Referenced in 1 article [sw10315]
  • powerful formalism for the representation of systems evolving according to both discrete and continuous laws...
  • ROSCoq

  • Referenced in 2 articles [sw13285]
  • ROSCoq: robots powered by constructive reals. We present ROSCoq, a framework for developing certified ... physical world (e.g. Newton’s laws) and associated devices (e.g. sensors, actuators) are specified axiomatically...
  • PSIMR

  • Referenced in 1 article [sw09558]
  • well under sliding mode control. The control law is implemented by means of the zero ... infinite programming techniques are used to reduce power losses and, at the same time, prevent...