• TimeNetManager

  • Referenced in 1 article [sw00966]
  • manipulates random constraint networks corresponding to the so called Simple Temporal Problem (STP). The software ... supporting intensive test of new algorithms for temporal constraints management. The paper gives an overview ... able to fast generate sets of temporal networks controlled by a set of macroparameters that...
  • Clockwork RNN

  • Referenced in 5 articles [sw36448]
  • Neural Networks (RNNs) have the ability, in theory, to cope with these temporal dependencies ... memory is required. This paper introduces a simple, yet powerful modification to the standard ... modules, each processing inputs at its own temporal granularity, making computations only at its prescribed ... tasks tested, and speeds up the network evaluation. The network is demonstrated in preliminary experiments...
  • CiteSpace

  • Referenced in 9 articles [sw39808]
  • temporal analyses of a variety of networks derived from scientific publications, including collaboration networks, author ... citation networks, and document co-citation networks. It also supports networks of hybrid node types ... data from there. CiteSpace also provides some simple interfaces for obtaining data from PubMed, arXiv...
  • STICK

  • Referenced in 2 articles [sw40455]
  • developed to mimic biology. They use neural networks, which can be trained to perform specific ... with precise timing representation, synaptic diversity, and temporal delays allows us to set a complete ... usability in solving real use cases from simple differential equations to sets of nonlinear differential...
  • hpHawkes

  • Referenced in 1 article [sw38753]
  • spread of memes through social networks. The usefulness of these stochastic process models within ... number of observations for both the temporal and spatiotemporal Hawkes processes. We show that, with ... speedups over single-core processing. Using a simple adaptive Metropolis-Hastings scheme, we apply...
  • YOLACT++

  • Referenced in 1 article [sw34916]
  • Real-time Instance Segmentation. We present a simple, fully-convolutional model for real-time ... produces very high-quality masks and exhibits temporal stability for free. Furthermore, we analyze ... incorporating deformable convolutions into the backbone network, optimizing the prediction head with better anchor scales...
  • PaxDb

  • Referenced in 1 article [sw29371]
  • Life. Although protein expression is regulated both temporally and spatially, most proteins have an intrinsic ... also in routine laboratory work, a simple rough estimate of the average wild type abundance ... assessing its consistency against externally provided protein-network information, and demonstrate that our weighted integration...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

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

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

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 442 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

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