
KMS states
 Referenced in 6 articles
[sw31679]
 states on the Toeplitz algebra of a higherrank 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...

NuprlLight
 Referenced in 1 article
[sw31982]
 NuprlLight: an implementation framework for higherorder logics. this paper we describe NuprlLight ... developed. Since proof automation is such a critical part of theorem proving in these logics ... generic theorem prover, NuprlLight uses generalized Horn clauses for logical specification. Indeed, specifications ... those in Isabelle. However, where Isabelle uses higher order unification and resolution, NuprlLight 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...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: 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...