• SGN Sim

  • Referenced in 8 articles [sw29325]
  • Simulator’, a tool to model gene regulatory networks (GRN) where transcription and translation are modeled ... dynamics is driven by a stochastic simulation algorithm (SSA) able to deal with multiple time ... used to model specific GRNs and systems of chemical reactions. Perturbations, e.g. gene deletion, over ... system of reactions within a compartmentalized environment where membrane crossing is controlled by a negative...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • given original systems, and (ii) synthesize controllers for the constructed finite MDPs satisfying bounded-time ... HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize high-performance computing ... always present in analyzing large-scale stochastic systems. We benchmark AMYTISS against the most recent ... robot examples, room temperature and road traffic networks. We also apply our algorithms...
  • EpiSimdemics

  • Referenced in 7 articles [sw36952]
  • over large realistic social networks. Preventing and controlling outbreaks of infectious diseases such as pandemic ... contagion in large, realistic social contact networks using individual-based models. EpiSimdemics is an interaction ... based simulation of a certain class of stochastic reaction-diffusion processes. Straightforward simulations of such ... specifically designed to scale to social networks with 100 million individuals. The scaling is obtained...
  • BIOSIM

  • Referenced in 2 articles [sw01083]
  • interface and presenting it as a turnkey system which avoids the necessity to learn complex ... learning. A neural network can be created by using the interactive network editor which ... Stochastic processes such as noise can be included.par A demonstration shell script, which controls ... with BIOSIM. A hypertext based online-help system is embedded. BIOSIM was designed...
  • DSelect-k

  • Referenced in 1 article [sw41672]
  • scaling high-capacity neural networks. State-of-the-art MoE models use a trainable sparse ... order methods, such as stochastic gradient descent, and offers explicit control over the number ... real-world, large-scale recommender system, DSelect-k achieves over 22% improvement in predictive performance...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

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

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • BARON

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

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • 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...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

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