• GMRFLib

  • Referenced in 295 articles [sw06641]
  • representing and understanding GMRFs. Various case studies illustrate the use of GMRFs in complex hierarchical...
  • AdaBoost.MH

  • Referenced in 478 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...
  • Nektar++

  • Referenced in 78 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...
  • QuickCheck

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

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

  • Referenced in 55 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...
  • Cytoscape

  • Referenced in 76 articles [sw09080]
  • additional computational analyses and features. Several case studies of Cytoscape plug-ins are surveyed, including...
  • 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...
  • TAO

  • Referenced in 47 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...
  • ProB

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

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

  • Referenced in 61 articles [sw00622]
  • infinite types by finite subsets. As case studies, we consider a security type system...
  • 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 44 articles [sw08922]
  • behavior is observed. We present several case studies, including undergraduate coursework and a multithreaded...
  • DEoptim

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

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

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

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

  • Referenced in 36 articles [sw04644]
  • over two sets of well known case studies examined...
  • Pex

  • Referenced in 34 articles [sw07263]
  • achieves high code coverage. In one case study, we applied Pex to a core component...