• ETPS

  • Referenced in 160 articles [sw06302]
  • theorem-prover for first-order logic and type theory. The latter is a cut-down ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS ... Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition...
  • TPS

  • Referenced in 73 articles [sw00973]
  • theorem-prover for first-order logic and type theory. The latter is a cut-down ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS...
  • JM

  • Referenced in 57 articles [sw10494]
  • studies measurements are often collected on different types of outcomes for each subject. These ... longitudinally measured responses (such as blood values relevant to the medical condition under study...
  • Memtype-2L

  • Referenced in 39 articles [sw16472]
  • protein type it belongs to? These questions are important because they are closely relevant ... layer prediction engine to further identify its type among the following eight categories: (1) type...
  • TRANSFAC

  • Referenced in 74 articles [sw17201]
  • modules: PathoDB provides data on pathologically relevant mutations in regulatory regions and transcription factor genes ... transduction, and CYTOMER, about organs and cell types, have been extended and are increasingly integrated...
  • EValue

  • Referenced in 4 articles [sw34331]
  • compute E-values for the relevant outcome types. Outcome types include risk ratios, odds ratio...
  • numerov

  • Referenced in 30 articles [sw24970]
  • nine stages, ninth-order hybrid explicit Numerov-type methods is presented for the solution ... some well-known problems from the relevant literature. Finally, in the appendices, we list Mathematica...
  • GQRAT

  • Referenced in 35 articles [sw00373]
  • concern here is with Gauss-type quadrature rules that are exact for a mixture ... methods for constructing such rational Gauss formulae. Relevant computer routines are provided and applied...
  • Chebfun2

  • Referenced in 41 articles [sw12708]
  • approximated by one of this type. For example, the global minimum of a complicated function ... role of the Chebfun2 technology in some relevant issues as global optimization, singular value decomposition...
  • NEW9p

  • Referenced in 28 articles [sw24971]
  • nine stages, ninth-order hybrid explicit Numerov-type methods is presented for the solution ... some well-known problems from the relevant literature. Finally, in the appendices, we list Mathematica...
  • SNPs3D

  • Referenced in 5 articles [sw30035]
  • complex, and many different types of data are relevant. We describe a web resource...
  • EDISA

  • Referenced in 2 articles [sw30026]
  • lead us to define three biologically relevant module types: 1) We found modules with independent...
  • TS-CHIEF

  • Referenced in 5 articles [sw32511]
  • time series data are a specific data type for which the traditional attribute-value representation ... fails to provide a relevant representation. HIVE-COTE combines multiple types of classifiers: each extracting...
  • MoVisPP

  • Referenced in 3 articles [sw35665]
  • arcs with mouse events. Therefore, based on relevant molecular data bases and information systems biological ... networks. Furthermore, we present a type of access to relevant metabolic data bases such...
  • PARSEWeb

  • Referenced in 3 articles [sw21709]
  • object type → Destination object type” as input, and suggests relevant method-invocation sequences that...
  • cisTopic

  • Referenced in 1 article [sw35766]
  • robust identification of cell types, enhancers, and relevant transcription factors. cisTopic provides insight into...
  • bigtcr

  • Referenced in 1 article [sw17387]
  • time given the failure event type are more relevant for investigating the prognosis of different...
  • RLSCODE

  • Referenced in 3 articles [sw12468]
  • relevant’ neighbors of each atom enter a pattern recognition method to resolve the type...
  • GeneFizz

  • Referenced in 3 articles [sw10919]
  • between the two types of segmentations, from almost perfect to non-relevant. Following these ... discrepancies observed between the two types of information...
  • DeepVS

  • Referenced in 4 articles [sw16458]
  • extract relevant features from basic data such as atom and amino acid types obtained from...