• GMRFLib

  • Referenced in 309 articles [sw06641]
  • representing and understanding GMRFs. Various case studies illustrate the use of GMRFs in complex hierarchical...
  • Nektar++

  • Referenced in 91 articles [sw11964]
  • problems: a hybridized discontinuous Galerkin (HDG) case study. Numerical methods for elliptic partial differential equations ... perform a case study for a particular method within the HDG framework. This study provides ... method for the case study was dictated by the computationally-heavy local matrix generation stage...
  • AdaBoost.MH

  • Referenced in 484 articles [sw08517]
  • worst-case on-line framework. The model we study can be interpreted as a broad ... abstract extension of the well-studied on-line prediction model to a general decision-theoretic ... bounds that are slightly weaker in some cases, but applicable to a considerably more general ... weak learning algorithm. We also study generalizations of the new boosting algorithm to the problem...
  • QuickCheck

  • Referenced in 99 articles [sw07277]
  • generators. We present a number of case studies, in which the tool was successfully used...
  • NEOS

  • Referenced in 94 articles [sw13740]
  • complements the NEOS Server, showcasing optimization case studies, presenting optimization information and resources, and providing...
  • Cytoscape

  • Referenced in 82 articles [sw09080]
  • additional computational analyses and features. Several case studies of Cytoscape plug-ins are surveyed, including...
  • CVC Lite

  • Referenced in 56 articles [sw07581]
  • Cooperating theorem provers: a case study combining HOL-Light and CVC Lite This paper ... case study in combining theorem provers. We define a derived rule in HOL-Light...
  • TAO

  • Referenced in 52 articles [sw10597]
  • case study in the performance and scalability of optimization algorithms. We analyze the performance ... high-performance parallel architectures. Our case study uses the GPCG (gradient projection, conjugate gradient) algorithm...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • been applied in a number of case studies (see section Case Studies). To meet requirements ... arising from the case studies, the tool has been extended with various features. The current ... liveness properties. Generation of diagnostic traces in case verification of a particular real-time system...
  • ProB

  • Referenced in 67 articles [sw07084]
  • empirical evaluations as well as several case studies, highlighting that ProB enables users to uncover...
  • Jason

  • Referenced in 65 articles [sw06187]
  • examples, problems, and illustrations, includes two case studies which demonstrate the use of Jason...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • infinite types by finite subsets. As case studies, we consider a security type system...
  • DEoptim

  • Referenced in 49 articles [sw08656]
  • package is illustrated via case studies in fitting a Parratt model for X-ray reflectometry...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • particular, this representation allowed us to study the semantics of real-time primitives for asynchronous ... toolbox was successfully used on several case studies. par In spite of the interest...
  • Eraser

  • Referenced in 45 articles [sw08922]
  • behavior is observed. We present several case studies, including undergraduate coursework and a multithreaded...
  • KeYmaera

  • Referenced in 44 articles [sw03709]
  • successfully for verifying collision avoidance in case studies from train control and air traffic management...
  • FAST

  • Referenced in 38 articles [sw21268]
  • other tools. A range of case studies from the literature has been investigated...
  • Ivy

  • Referenced in 38 articles [sw10279]
  • Checker for First-Order Logic. This case study shows how non-ACL2 programs...
  • ZRAM

  • Referenced in 38 articles [sw01038]
  • exhaustive search algorithms, as a case study that proves the feasibility of achieving simultaneously...
  • NetKit

  • Referenced in 26 articles [sw22730]
  • data: a toolkit and a univariate case study. This paper1 is about classifying entities that ... worked data, and a case-study of its application to networked data used in prior...