• # 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...
• # 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...
• # 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...