• SLMC

  • Referenced in 70 articles [sw04604]
  • model checking concurrent systems against dynamical spatial logic specifications. The Spatial Logic Model Checker ... structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking ... topology, it is crucial to reason about spatial properties and structural dynamics. The SLMC...
  • DEDALE

  • Referenced in 10 articles [sw17368]
  • representation and manipulation of spatial objects. DEDALE relies on a logical model based on linear ... KKR90]. While in the classical constraint model, spatial data is always decomposed into its convex ... need of practical applications. The logical representation of spatial data although slightly more costly...
  • HaExcel

  • Referenced in 2 articles [sw29433]
  • UMinho Haskell Libraries. We reuse the spatial logic algorithms from the UCheck project to discover...
  • Spatial-Yap

  • Referenced in 2 articles [sw13884]
  • Spatial-Yap: A Logic-Based Geographic Information System. Coupled deductive database systems join together logic ... interesting and fast growing is that of spatial data. In this paper we describe ... spatial data mining. We describe, in particular, the application of such a logic-powered geographic...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • integration or data inconsistency resolution. Using annotated logic, KOMET is able to perform various common ... paraconsistent and certain types of temporal and spatial reasoning. In combination with an extensible type...
  • Aglet

  • Referenced in 4 articles [sw13305]
  • carrying authorization, ephemeral and dynamic policies, authentication, spatial distribution, and information flow. The implementation ... syntax and proofs of an authorization logic, Garg and Pfenning’s BL$_{0}$, using dependent...
  • icity

  • Referenced in 4 articles [sw11954]
  • high spatio-temporal resolution to aid in spatial decision making for urban planning. The iCity ... model developer to focus on implementing model logic rather than developing an entire stand-alone...
  • FAME

  • Referenced in 1 article [sw35158]
  • This choice is guided by a fuzzy logic engine, according to the contributions ... effective density estimator with polynomial complexity, called Spatial Spread Deviation (SSD). Our proposal follows...
  • PLINI

  • Referenced in 1 article [sw09902]
  • probabilistic logic programming language called PLINI (Probabilistic Logic for Inconsistent News Information) within which users ... accounts for similarity of numeric, temporal, and spatial terms occurring in news. We develop...
  • Puma

  • Referenced in 1 article [sw35257]
  • fundamental energy efficiency limitations of digital logic. They have been shown to be effective ... complex workloads to run on thousands of spatial cores. We have developed a detailed architecture...
  • ANSYS

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

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • GAP

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

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

  • Referenced in 260 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1639 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...