• IMOST

  • Referenced in 8 articles [sw02141]
  • instead of optimizing a given system. This interactive technique provides integration-oriented, 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 ... weighted-sums, 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 part-machine 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 multi-objective 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 client-side processing of an alignment, which...
  • PaGMO

  • Referenced in 5 articles [sw39834]
  • core a C++ library which employs an object-oriented architecture providing a clean and easily ... extensible optimisation framework. Adoption of multi-threaded 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 general-purpose 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 Karatsuba-type ... primes and floating-point 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...
  • Joe-E

  • Referenced in 1 article [sw35849]
  • principle of least privilege to their programs; implement application-specific reference monitors that cannot ... domain-specific security abstractions; safely execute and interact with untrusted code; and build secure, extensible ... object-capability language while retaining the features and feel of a mainstream object-oriented language ... that provides transparent, transactional object persistence and can safely host multiple mutually-distrustful applications...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: 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...
  • C-XSC 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...