• KMS states

  • Referenced in 6 articles [sw31679]
  • states on the Toeplitz algebra of a higher-rank graph. The Toeplitz algebra ... algebra. For inverse temperatures larger than a critical value, the KMS states for this dynamics ... first step in our program. At the critical inverse temperature, much less is known ... analysis of the KMS states at the critical value. This is the main technical contribution...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • constructs the higher level steps in a proof, using knowledge of the general structure ... plan by the use of a proof critic exploits the information gained from the failed...
  • Nuprl-Light

  • Referenced in 1 article [sw31982]
  • Nuprl-Light: an implementation framework for higher-order logics. this paper we describe Nuprl-Light ... developed. Since proof automation is such a critical part of theorem proving in these logics ... generic theorem prover, Nuprl-Light uses generalized Horn clauses for logical specification. Indeed, specifications ... those in Isabelle. However, where Isabelle uses higher order unification and resolution, Nuprl-Light retains...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • parallel higher order operators for processing large partitioned data sets, allows conditionals and general recursion ... machine learning, and bioinformatics, all of which critically depend on the flexible assembly...
  • MULTICOM

  • Referenced in 2 articles [sw15827]
  • throughput of genome sequencing techniques is much higher than protein structure determination techniques. Computational tools ... general users in the last several years and/or in the last three rounds of Critical...
  • FedHealth

  • Referenced in 1 article [sw34101]
  • user data. However, there are two critical challenges. Firstly, user data often exists ... security. Experiments demonstrate that FedHealth produces higher accuracy (5.3% improvement) for wearable activity recognition when ... compared to traditional methods. FedHealth is general and extensible and has the potential...
  • IKBT

  • Referenced in 1 article [sw29772]
  • achieve desired end effector positions, which is critical to any robot arm design and implementations ... analysis is superior, but there is no generalized automated algorithm. Up till now, the high ... applying these rules is governed by higher level composite nodes, which resembles the logical reasoning...
  • ADOL-C

  • Referenced in 239 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CoCoA

  • Referenced in 631 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Cuba

  • Referenced in 59 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • DEA

  • Referenced in 242 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Expokit

  • Referenced in 179 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 602 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 270 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...