
IMOST
 Referenced in 8 articles
[sw02141]
 instead of optimizing a given system. This interactive technique provides integrationoriented, adaptation and dynamic ... problem domain. Although IMOST deals with multiple objective programming problems, it also provides some valuable...

iMOLPe
 Referenced in 2 articles
[sw16193]
 Objective Linear Programming explorer. Interactive software package to deal with linear programming problems with multiple ... weightedsums, reference points and constraints on objective function values;  distinct solution search strategies ... Race interactive methods. The version available for download is limited to 6 objective functions ... book ”Multiobjective Linear and Integer Programming”, EURO Advanced Tutorials on Operational Research, Carlos Henggeler Antunes...

MOCACEF
 Referenced in 9 articles
[sw10670]
 MOCACEF 1. 0: Multiple objective capability based approach to form partmachine groups for cellular ... manufacturing applications. A preemptive goal programming formulation is developed for concurrently forming independent part/machine cells ... cell flexibility, load balance between cells, cell interaction, copies of each machine type...

COMBAT
 Referenced in 4 articles
[sw03242]
 developed multiobjective optimization model is addressed using two methods: (1) goal programming ... epsilon$constraint method followed by an interactive filtering process in order to select the most ... drawbacks. The COMBAT tool (combinatorial optimization with multiple criteria for BAT selection) that is developed...

CINEMA
 Referenced in 3 articles
[sw22987]
 INteractive editor for multiple alignments. CINEMA is a new editor for manipulating and generating multiple ... sequence alignments. The program provides both an interface to existing databases of alignments ... functions; and the object classes are reusable, promoting rapid development of program extensions. Formerly, such ... time, an applet is available that allows interactive clientside processing of an alignment, which...

PaGMO
 Referenced in 5 articles
[sw39834]
 core a C++ library which employs an objectoriented architecture providing a clean and easily ... extensible optimisation framework. Adoption of multithreaded programming ensures the efficient exploitation of modern multi ... island model paradigm, in which multiple populations of candidate solutions asynchronously exchange information in order ... possible to easily use PaGMO in an interactive session and take advantage of the numerous...

StrBioLib
 Referenced in 2 articles
[sw16906]
 sequence or structure. Interfaces are provided to interact with commonly used bioinformatics applications, including ... includes a generalpurpose neural network object with multiple training algorithms, the Hooke and Jeeves ... basis for the Pred2ary secondary structure prediction program, is used to build the astral compendium...

CALYPSO
 Referenced in 4 articles
[sw00100]
 computation. These algorithms are organized in an object oriented library and perform parallel arithmetic ... which are machine dependent. Starting from integer multiplication, we developed different parallel Karatsubatype ... primes and floatingpoint FFT algorithms. These multiplication algorithms allowed us to design a parallel ... user which allows a sequential programming style, while each algorithm is executed in parallel...

JoeE
 Referenced in 1 article
[sw35849]
 principle of least privilege to their programs; implement applicationspecific reference monitors that cannot ... domainspecific security abstractions; safely execute and interact with untrusted code; and build secure, extensible ... objectcapability language while retaining the features and feel of a mainstream objectoriented language ... that provides transparent, transactional object persistence and can safely host multiple mutuallydistrustful applications...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BoomerAMG
 Referenced in 200 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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