• Smodels

  • Referenced in 240 articles [sw04631]
  • basic idea of ASP is to encode the constraints of a problem as a logic...
  • LMFDB

  • Referenced in 169 articles [sw07249]
  • Dyer Conjecture. L-functions arise from and encode information about a number of mathematical objects...
  • BERT

  • Referenced in 119 articles [sw30756]
  • model called BERT, which stands for Bidirectional Encoder Representations from Transformers. Unlike recent language representation...
  • Clingo

  • Referenced in 106 articles [sw09893]
  • recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version...
  • PCA-SIFT

  • Referenced in 82 articles [sw04592]
  • used by SIFT. Like SIFT, our descriptors encode the salient aspects of the image gradient...
  • PostgreSQL

  • Referenced in 80 articles [sw15935]
  • supports international character sets, multibyte character encodings, Unicode, and it is locale-aware for sorting...
  • DeepWalk

  • Referenced in 74 articles [sw39604]
  • vertices in a network. These latent representations encode social relations in a continuous vector space...
  • Edgebreaker

  • Referenced in 53 articles [sw04117]
  • that are homeomorphic to a sphere, Edgebreaker encodes these two tables with less than ... bits per triangle for the connectivity. Entropy encoding reduces this cost in practice to less...
  • DeepONet

  • Referenced in 50 articles [sw42093]
  • consists of two sub-networks, one for encoding the input function at a fixed number ... branch net), and another for encoding the locations for the output functions (trunk...
  • SDPLIB

  • Referenced in 67 articles [sw00838]
  • contain a total of 92 SDP problems encoded in a standard format. It is hoped...
  • Racer

  • Referenced in 66 articles [sw09837]
  • Lispworks, for which also (setf asdf::*default-encoding* :default) should be evaluated. Racer is distributed...
  • PLAPACK

  • Referenced in 61 articles [sw04268]
  • engineers to exploit a natural approach to encoding so-called blocked algorithms, which achieve high...
  • CPAchecker

  • Referenced in 54 articles [sw07408]
  • predicate analysis with adjustable-block encoding and CEGAR...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • Mizar proofs are now exported and also encoded in the extended TPTP syntax, allowing...
  • RegulonDB

  • Referenced in 53 articles [sw25948]
  • coli K12, currently the best-known electronically encoded database of the genetic regulatory network...
  • MMT

  • Referenced in 52 articles [sw07136]
  • development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation...
  • Abella

  • Referenced in 52 articles [sw09461]
  • specification logic which supports a transparent encoding of structural semantics rules and also enables their...
  • COWS

  • Referenced in 51 articles [sw06955]
  • graphs, fault and compensation handlers, and for encoding other process and orchestration languages...
  • FPINNs

  • Referenced in 51 articles [sw40570]
  • neural networks (NNs) with the PDEs explicitly encoded into the NN using automatic differentiation, while...
  • SegNet

  • Referenced in 27 articles [sw27575]
  • SegNet: A deep convolutional encoder-decoder architecture for image segmentation. We present a novel ... core trainable segmentation engine consists of an encoder network, a corresponding decoder network followed ... wise classification layer. The architecture of the encoder network is topologically identical ... network is to map the low resolution encoder feature maps to full input resolution feature...