
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 boundedtime ... HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize highperformance computing ... always present in analyzing largescale 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 individualbased models. EpiSimdemics is an interaction ... based simulation of a certain class of stochastic reactiondiffusion 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 onlinehelp system is embedded. BIOSIM was designed...

DSelectk
 Referenced in 1 article
[sw41672]
 scaling highcapacity neural networks. Stateoftheart MoE models use a trainable sparse ... order methods, such as stochastic gradient descent, and offers explicit control over the number ... realworld, largescale recommender system, DSelectk achieves over 22% improvement in predictive performance...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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...

CXSC 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...