• Athena

  • Referenced in 48 articles [sw08477]
  • Athena is a grid-based code for astrophysical magnetohydrodynamics (MHD). It was developed primarily ... interstellar medium, star formation, and accretion flows. Athena has been made freely available...
  • Athena

  • Referenced in 10 articles [sw09967]
  • Athena is a programming language and an interactive theorem proving environment rolled ... programming language, Athena is a higher-order functional language in the tradition of Scheme ... efficiency. As a theorem proving system, Athena is based on many-sorted first-order logic ... modeling awkwardness of single-sorted logic. Athena adds Hindley-Milner-style polymorphism to many-sorted...
  • OpenMEEG

  • Referenced in 12 articles [sw20616]
  • OpenMEEG software is developed within the Athena project-team at INRIA Sophia-ntipolis...
  • ExSpect

  • Referenced in 11 articles [sw04390]
  • notably Transflow’s COSA workflows and Pallas Athena’s Protos models...
  • ATHENa

  • Referenced in 7 articles [sw29717]
  • ATHENa: Automated Tools for Hardware EvaluatioN is a project started at George Mason University, aimed...
  • Pegasus

  • Referenced in 9 articles [sw18068]
  • used in the popular astrophysical magnetohydrodynamics code Athena, one that is modular, well-documented, easy...
  • Athena++

  • Referenced in 3 articles [sw41951]
  • Athena++ Adaptive Mesh Refinement Framework: Design and Magnetohydrodynamic Solvers. The design and implementation ... robust algorithms originally developed for the Athena MHD code and incorporate new extensions: support...
  • ATHENA

  • Referenced in 2 articles [sw42270]
  • ATHENA: an ontology-driven system for natural language querying over relational data stores. In this ... paper, we present ATHENA, an ontology-driven system for natural language querying of complex relational ... complex query language, such as SQL. ATHENA uses domain specific ontologies, which describe the semantic ... academic (MAS) and financial (FIN) data. ATHENA achieves 100% precision...
  • Athena

  • Referenced in 1 article [sw40431]
  • Athena is an open-source implementation of end-to-end speech processing engine. Our vision ... provide Kaldi-free pythonic feature extractor with Athena_transform...
  • GigaSpeech

  • Referenced in 2 articles [sw40419]
  • provided for popular speech recognition toolkits, namely Athena, ESPnet, Kaldi and Pika...
  • rgho

  • Referenced in 1 article [sw18692]
  • www.who.int/gho/>) data from R via the Athena web service (), an application...
  • PARAMESH

  • Referenced in 115 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • NIRVANA

  • Referenced in 33 articles [sw01044]
  • NIRVANA is a C code for astrophysical fluid...
  • AMRVAC

  • Referenced in 7 articles [sw02692]
  • AMRVAC: a multidimensional grid-adaptive magnetofluid dynamics code...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • ZEUS

  • Referenced in 75 articles [sw03107]
  • The ZEUS code for astrophysical magnetohydrodynamics: New extensions...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • CafeOBJ

  • Referenced in 171 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...