• EOlib

  • Referenced in 19 articles [sw00239]
  • also ranked among computational intelligence methods, a domain close to artificial intelligence. With the help ... solutions to virtually all kind of hard optimization problems, from continuous to combinatorial ones...
  • Leibniz

  • Referenced in 31 articles [sw12871]
  • development and implementation of logic-based intelligent systems. The package covers various aspect ... such systems with modules for: - logic computation - learning logic formulas from data - discretization of data ... graphs and matrices - solution of constrained optimization problems involving single or multiple objective functions...
  • PSOt

  • Referenced in 10 articles [sw07371]
  • PSOt - a particle swarm optimization toolbox for use with Matlab. Robust Particle Swarm toolbox implementing ... toolbox is designed for researchers in Computational Intelligence as well as application developers, students ... easy to hack. Users of MATLAB’s Optimization Toolbox should feel right at home...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • System is an advanced development platform for intelligent, distributed applications. The system is the result ... implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart ... well as for hard problems requiring sophisticated optimization and inferencing abilities. We have developed many...
  • Newton

  • Referenced in 6 articles [sw21236]
  • artificial intelligence. Box-consistency achieves an effective pruning at a reasonable computation cost and generalizes ... engineering, including nonlinear equation-solving, unconstrained optimization, and constrained optimization. It is competitive with continuation...
  • GSO

  • Referenced in 1 article [sw19035]
  • ranging from optimization to robotics. Examples include computation of multiple optima, annual crop planning, cooperative ... systems of nonlinear equations, and engineering design optimization. The book is a valuable resource ... students in the area of swarm intelligence and computational intelligence and working on these topics...
  • OptSAT

  • Referenced in 2 articles [sw00656]
  • optsat: A Tool for Solving SAT Related Optimization Problems. Propositional satisfiability ... important and central problems in Artificial Intelligence and Computer Science. Basically, most SAT solvers ... would like μ to be also “optimal”, i.e., that has also to minimize/ maximize...
  • optalgtoolkit

  • Referenced in 3 articles [sw10596]
  • with classical and state-of-the-art optimization algorithms on standard benchmark problem domains ... much more. OAT provides a functional computational intelligence library for investigating existing algorithms and problems...
  • Soda

  • Referenced in 5 articles [sw11766]
  • Scheduler for Large-Scale Stream-Based Distributed Computer Systems. This paper describes the SODA scheduler ... SODA must deal with a highly complex optimization problem, which must be solved in real ... relies on a careful problem decomposition, and intelligent use of both heuristic and exact algorithms...
  • ParSSSE

  • Referenced in 3 articles [sw17623]
  • problems abound in the artificial intelligence, planning and optimization literature. Solving such problems is generally ... them on large parallel machines with significant computational power. In this paper, we analyze...
  • Myia

  • Referenced in 1 article [sw27078]
  • aims to support large scale high performance computations (e.g. linear algebra) and their gradients ... aims to support is research in artificial intelligence, in particular deep learning algorithms. Define ... efficient CPU and GPU code that optimizes use of your resources...
  • CoreIIScheduler

  • Referenced in 1 article [sw11965]
  • core-based grids is scheduling. Specific computational intelligence methods are capable of dealing with complex ... which multiple objectives are to be optimized at the same time. CoreIIScheduler, the proposed approach...
  • pCMALib

  • Referenced in 2 articles [sw25049]
  • memory machines. It allows single CMA-ES optimization runs, embarrassingly parallel CMA-ES runs ... included using collaborative concepts from Swarm Intelligence for the migration model. Special attention has been ... Linux clusters and multi-core desktop computers, showing good parallel efficiencies and superior computational performance...
  • FINN-R

  • Referenced in 1 article [sw25906]
  • intelligent decisions on even embedded computing-systems. While the underlying arithmetic is structurally simple, compute ... Given a neural network description, the tool optimizes for given platforms, design targets...
  • ACL2

  • Referenced in 256 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CoCoA

  • Referenced in 564 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1522 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FIAT

  • Referenced in 30 articles [sw00287]
  • Algorithm 839: FIAT, a new paradigm for computing...
  • GAP

  • Referenced in 2396 articles [sw00320]
  • GAP is a system for computational discrete algebra...