• eXist

  • Referenced in 16 articles [sw01467]
  • database system. eXist is tightly integrated with existing tools and covers most of the native...
  • XtreemFS

  • Referenced in 4 articles [sw10723]
  • XtreemFS is a general purpose storage system and covers most storage needs in a single...
  • BRAID

  • Referenced in 18 articles [sw04311]
  • generating systems for G with product 1 correspond to irreducible familes of coverings...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • method for preconditioning of general sparse linear systems. This strategy is used ... Extensive numerical tests are presented and cover various features of the method. They show that...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • algebra in a natural way: The type system of communications, the syntax of processes ... while the additional coalgebraic constructs of CoCasl cover the various process equivalences (bisimulation, weak bisimulation ... semantics and proof theory of reactive systems...
  • PARSEC

  • Referenced in 26 articles [sw09610]
  • mining and synthesis (RMS) as well as systems applications which mimic large-scale multithreaded commercial ... characterization shows that the benchmark suite covers a wide spectrum of working sets, locality, data...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • Mizar Problems for Theorem Proving (MPTP) system and first experimental results obtained with ... allowing a number of ATP experiments. This covers, for example, consistent handling of proof-local ... Mizar schemes are now handled by the system, too, by remembering (and, if necessary, abstracting...
  • GNMT

  • Referenced in 28 articles [sw26579]
  • ultimately improves the overall accuracy of the system. Our beam search technique employs a length ... output sentence that is most likely to cover all the words in the source sentence ... compared to Google’s phrase-based production system...
  • Euk-PLoc

  • Referenced in 24 articles [sw22420]
  • when more locations need to be covered. To cope with the challenge, protein samples ... many basic individual classifiers through a voting system. Each of these basic classifiers was engineered ... benchmark dataset was constructed that covers the following 18 localizations: (1) cell wall, (2) centriole...
  • GOLEM

  • Referenced in 53 articles [sw24695]
  • GOLEM is a “classic” among empirical ILP systems. It has been applied successfully on real ... FOIL, but rather constructs a unique clause covering a set of positive examples relative...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • lisp/CLOS CLOS stands for Common Lisp Object System and is pronounced ”see loss” or ”kloss ... basic parts of CLOS, which will be covered here, include pretty much everything...
  • ESTIMA

  • Referenced in 15 articles [sw00249]
  • model validation through time history plots and system analysis. In the first case, a variety ... efficient parameter estimation algorithms is necessary to cover the broad spectrum of applications. The second ... developed at the DLR Institute of Flight Systems, provides a well proven developmental environment...
  • MonodromySolver

  • Referenced in 10 articles [sw27121]
  • complex numbers. As described in ”Solving polynomial systems via homotopy continuation and monodromy” (2016), these ... transitive monodromy action of a suitable covering...
  • AsterixDB

  • Referenced in 1 article [sw21655]
  • resulting open source AsterixDB system. Covered herein are the system’s data model, its query...
  • LYAPACK

  • Referenced in 66 articles [sw12624]
  • related to large sparse or structured dynamical systems before 1990. In the last few years ... software package LYAPACK (“Lyapunov Package”), which covers one particular approach to a class of large...
  • STAMP

  • Referenced in 15 articles [sw09533]
  • comprehensive benchmark suite for evaluating TM systems. STAMP includes eight applications and thirty variants ... order to represent several application domains and cover a wide range of transactional execution cases ... portable across many types of TM systems, including hardware, software, and hybrid systems. In this...
  • BFF.txt

  • Referenced in 1 article [sw21287]
  • Searching for Disjoint Covering Systems with Precisely One Repeated Modulus. Maple Package BFF.txt , A Maple...
  • DeepStellar

  • Referenced in 1 article [sw41843]
  • evaluate DeepStellar on four RNN-based systems covering image classification and automated speech recognition...
  • SimMechanics

  • Referenced in 8 articles [sw04349]
  • models of mechanical systems such as robots. In total, the author covers over 70 applications...
  • DifferentialEquations.jl

  • Referenced in 58 articles [sw23910]
  • solving differential equations in Julia. It covers discrete equations (function maps, discrete stochastic (Gillespie/Markov) simulations ... such as allowing arbitrary user-defined number systems for high-precision and arithmetic with physical...