• cddplus

  • Referenced in 13 articles [sw04443]
  • given by a system of linear inequalities: P = { x : A x <= b } where...
  • OPERAS

  • Referenced in 4 articles [sw30593]
  • systems, such as X-machines and P Systems respectively. We demonstrate how the resulting method...
  • WebPS

  • Referenced in 2 articles [sw25377]
  • based P systems simulator and its parallelization. In this paper we present WebPS, an open ... source web-enabled simulator for P systems, and a P accelerator for parallelization ... existing sequential simulators of the P systems. We exemplify this tool by using a simple ... ready-to-use parallel simulator for P systems; no installation are required, no previous knowledge...
  • TURTLE-P

  • Referenced in 5 articles [sw10561]
  • TURTLE-P: A UML profile for the formal validation of critical and distributed systems ... formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted ... abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures ... application of TURTLE-P is illustrated with a telecommunication satellite system...
  • CLIPS

  • Referenced in 2 articles [sw25378]
  • CLIPS Simulator for Recognizer P Systems with Active Membranes. In this paper we propose ... represent recognizer P systems with active membranes based on Production Systems techniques. This representation allows ... evolutions of this variant of P systems...
  • HOMPACK90

  • Referenced in 47 articles [sw00412]
  • Watson, S. C. Billups and A. P. Morgan [ibid ... finding zeros or fixed points of nonlinear systems using globally convergent probability-one homotopy algorithms...
  • OSAMOAL

  • Referenced in 3 articles [sw13974]
  • goal is to replace a hyperbolic system of balance laws (the so-called fine model ... Goldstein-Taylor model and of the $p$-system with friction...
  • Janet

  • Referenced in 37 articles [sw07776]
  • implements the involutive basis technique of V. P. Gerdt and Y. A. Blinkov for computing ... Janet-like Gröbner bases for linear systems of partial differential equations. It works with left...
  • JPLANT

  • Referenced in 1 article [sw13533]
  • generating graphics by means of P systems. The hand-made graphical representation of the configuration ... P system becomes a hard task when the number of membranes and objects increases ... representing the evolution of a P system model with membrane creation. We also present some...
  • MetaPlab

  • Referenced in 1 article [sw27207]
  • MetaPlab: a computational framework for metabolic P systems. In this work the formalism of metabolic ... P systems is employed as a basis of a new computational framework for modeling biological ... which supports the synthesis of metabolic P systems by means of an extensible plugin-based...
  • Aleph

  • Referenced in 55 articles [sw12108]
  • Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... exploring ideas. Earlier incarnations (under the name P-Progol) originated in 1993 as part ... functionality of several other ILP systems. Some of these of relevance to Aleph are: CProgol...
  • ZQPCVX

  • Referenced in 34 articles [sw08459]
  • employ feasible point methods, namely QPSOL [see P. E. Gill, W. Murray, M. A. Saunders ... quadratic programming”, Report SOL 83-7, Systems Optim. Lab., Rept. Oper. Res., Stanford Univ...
  • MOLPRO

  • Referenced in 23 articles [sw06125]
  • MOLPRO is a complete system of ab initio programs for molecular electronic structure calculations, designed ... maintained by H.-J. Werner and P. J. Knowles, and containing contributions from a number...
  • na5

  • Referenced in 24 articles [sw11489]
  • algorithm. Lanczos’ method for solving the system of linear equationsAx=b consists in constructing ... such thatr k =b−Ax k =P k (A)r 0 wherer...
  • Aligator

  • Referenced in 10 articles [sw00029]
  • checking the P-solvability of loops, transforming them into a system of recurrence equations, solving...
  • ParJava

  • Referenced in 3 articles [sw02029]
  • parallel computing system (cluster) is performed in p logical processes of which each is executed ... basic blocks is determined by the system interpreter of the method’s model. The system...
  • GNA

  • Referenced in 26 articles [sw35974]
  • applied to the analysis of various regulatory systems, such as the networks controlling the initiation ... coli, and biodegradation of polluants by P. putida. See the list of publications below...
  • MP-GeneticSynth

  • Referenced in 1 article [sw34305]
  • software makes use of: (i) metabolic P systems as a modeling framework, (ii) an evolutionary...
  • CAS

  • Referenced in 22 articles [sw07634]
  • characters of finite groups. CAS is a system for handling characters of finite groups, including ... group algebra; kernel of a character; p-blocks; power maps; decomposition matrix; Molien series; detecting ... prime p=3. The examples clearly indicate how useful CAS would ... researchers in group theory. The CAS system makes a major contribution, by incorporating the experience...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under answer set semantics NoMoRe implements answer ... labeled digraph) associated with a given program $P$. Intuitively, an a-coloring reflects ... based like most of the other known systems. Since the core system was designed...