• GReAT

  • Referenced in 4 articles [sw22852]
  • Graph Rewriting and Transformation Language: GReAT. In this paper, we describe the language and features ... graph transformation tool, GReAT.We begin with a brief introduction and motivation, followed by an overview ... actual language, the modeling framework, and the tools that were written to support transformations. Finally...
  • Megatron-LM

  • Referenced in 3 articles [sw30761]
  • state of the art in Natural Language Processing applications. However, for very large models, memory ... enables training state of the art transformer language models with billions of parameters. Our approach ... converging an 8.3 billion parameter transformer language model using 512 GPUs, making it the largest ... transformer model ever trained at 24x times the size of BERT and 5.6x times...
  • Lava

  • Referenced in 13 articles [sw28643]
  • possible in traditional hardware description languages. Two Fast Fourier Transform circuit examples illustrate this...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • compiler that transforms a process specified in the Business Process Execution Language for Web Services...
  • SXSLT

  • Referenced in 3 articles [sw02365]
  • languages has spurred the demand for means to transform XML documents. Many XML transformation systems ... concise, expressive and readable declarative XML transformation language. The language is a head-first rewriting ... traverse the original or the transformed trees. The language can emulate XSLT in whole ... SXSLT providing right abstractions for XML transformations, of being higher-order, declarative and extensible...
  • Quipper

  • Referenced in 32 articles [sw09894]
  • features. We illustrate many of Quipper’s language features by developing a few well known ... computation, including quantum teleportation, the quantum Fourier transform, and a quantum circuit for addition...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • concerned with the transformation of Z schemas into programs of this language. Moreover, we present...
  • UML2Alloy

  • Referenced in 13 articles [sw09885]
  • UML2Alloy: A Challenging Model Transformation. Alloy is a formal language, which has been applied ... model based techniques for the automated transformation of UML class diagrams with OCL constraints...
  • AWK

  • Referenced in 17 articles [sw23781]
  • language is a data-driven scripting language consisting of a set of actions ... extracting or transforming text, such as producing formatted reports. The language extensively uses the string...
  • Fiji

  • Referenced in 30 articles [sw09754]
  • scripting languages to enable rapid prototyping of image-processing algorithms. Fiji facilitates the transformation...
  • GPT-3

  • Referenced in 18 articles [sw42135]
  • trained Transformer 3 (GPT-3) (stylized GPT·3) is an autoregressive language model that uses...
  • MEMSALab

  • Referenced in 2 articles [sw08622]
  • symbolic transformation language and its application to a multiscale method. The context of this work ... this paper we present a transformation language that will make the development of MEMSALab more...
  • Transformers

  • Referenced in 25 articles [sw30739]
  • transformers: Transformers (formerly known as pytorch-transformers and pytorch-pretrained-bert) provides state ... RoBERTa, XLM, DistilBert, XLNet, CTRL...) for Natural Language Understanding (NLU) and Natural Language Generation...
  • CheckVML

  • Referenced in 12 articles [sw09472]
  • modeling language defined visually by metamodeling and graph transformation techniques. Our tool first translates such ... metamodel. From this intermediate representation the input language of the back-end model checker tool...
  • ProofWriter

  • Referenced in 2 articles [sw42710]
  • Proofs, and Abductive Statements over Natural Language. Transformers have been shown to emulate logical deduction...
  • GRK

  • Referenced in 2 articles [sw38731]
  • used to update the original language reference such that it reflects the completed and corrected ... input, and the output is a transformed language reference whose grammar portions are correct ... recovery required several hundreds of simple transformation steps in order to deliver a grammar that...
  • Naproche

  • Referenced in 13 articles [sw28307]
  • ordinary mathematical language including TeX-style typeset formulas and transforms them into formal statements. Linguistic...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • fuzzy rough ontology languages into classical ontology languages . This allows using classical (widely available) Description ... reason with the representation resulting from the transformation. We describe the main features ... application: evolution, functionality, architecture, graphical interface, input language, and implementation details...
  • TSL

  • Referenced in 3 articles [sw39578]
  • system, called TSL (for Transformer Specification Language), that provides a systematic solution to the problem ... generation of the set of abstract transformers for a given abstract interpretation of a given ... automatically creates the set of abstract transformers for the instructions of the instruction ... semantics of the language to be analyzed. TSL is an abstract-transformer-generator generator...
  • RuleML

  • Referenced in 27 articles [sw01792]
  • develop RuleML as the canonical Web language for rules using XML markup, formal semantics ... entire rule spectrum, from derivation rules to transformation rules to reaction rules. RuleML can thus...