• GOLEM

  • Referenced in 53 articles [sw24695]
  • GOLEM chooses the one which covers the largest number of positive examples and is consistent...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • TPTP syntax, allowing a number of ATP experiments. This covers, for example, consistent handling ... proof-local lemmas and translating of a number of Mizar proof constructs into the TPTP...
  • AETG

  • Referenced in 71 articles [sw09715]
  • combinatorial algorithms to generate test sets that cover all valid n-way parameter combinations ... AETG test set grows logarithmically in the number of test parameters. This allows testers...
  • PROMPT

  • Referenced in 9 articles [sw09801]
  • large number of ontologies covering overlapping domains. In order for these ontologies to be reused...
  • Anchor-PROMPT

  • Referenced in 8 articles [sw09802]
  • large number of ontologies covering overlapping domains, which researchers now need to merge or align...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • classes and methods. CLOS contains a number of complex and powerful features ... basic parts of CLOS, which will be covered here, include pretty much everything...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • defined limit on the number of loop iterations in the covered paths. The prototype treats ... structures of variable dimensions, loops with variable numbers of iterations and many infeasible paths. PathCrawler...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • satisfaction and optimization problems over the real numbers. The decision variables, continuous or discrete, have ... operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution set of a given problem...
  • TINA

  • Referenced in 47 articles [sw03280]
  • tool Tina proposes the construction of a number of representations for the behaviour of Petri ... called partial order techniques such as covering steps and/or persistent sets. For Time Petri nets...
  • LYAPACK

  • Referenced in 66 articles [sw12624]
  • last few years, quite a number of approaches for several types of large control problems ... software package LYAPACK (“Lyapunov Package”), which covers one particular approach to a class of large...
  • ADST

  • Referenced in 3 articles [sw02441]
  • messages, where k is the number of servers covering the query range. Moreover, our structure...
  • Matterport3D

  • Referenced in 4 articles [sw38209]
  • algorithms. However, existing datasets still cover only a limited number of views or a restricted...
  • DifferentialEquations.jl

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

  • Referenced in 26 articles [sw09610]
  • performance computing applications and used a limited number of synchronization methods. PARSEC includes emerging applications ... characterization shows that the benchmark suite covers a wide spectrum of working sets, locality, data...
  • VGGFace2

  • Referenced in 7 articles [sw38590]
  • also a large number of images for each identity; (ii) to cover a large range...
  • GiD

  • Referenced in 56 articles [sw07799]
  • engineering. It has been designed to cover all the common needs in the numerical simulations ... read and write data in an unlimited number of formats. GiD’s input and output...
  • ColliderBit

  • Referenced in 2 articles [sw41215]
  • scale supercomputer applications, and a number of LHC analyses, covering a reasonable range...
  • CRPropa

  • Referenced in 5 articles [sw20423]
  • ultra-high energy nuclei of atomic number Z<26 through structured magnetic fields and ambient ... into account all relevant particle interactions. CRPropa covers the energy range 6*10^16 < E/eV ... where A is the nuclear mass number. CRPropa can also be used to track secondary...
  • MOVE

  • Referenced in 3 articles [sw02550]
  • process consists of a number of independent optimization schemes that cover various aspects...
  • nparACT

  • Referenced in 1 article [sw15696]
  • value for a user-defined number of minutes. IS describes the strength of coupling ... reliable results, actigraphy data should cover a reasonable number of days...