
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 logicbased 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, constraintbased inference, distributed computing, and humancomputer 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. Boxconsistency achieves an effective pruning at a reasonable computation cost and generalizes ... engineering, including nonlinear equationsolving, 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 stateoftheart 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 LargeScale StreamBased 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]
 corebased 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 CMAES optimization runs, embarrassingly parallel CMAES runs ... included using collaborative concepts from Swarm Intelligence for the migration model. Special attention has been ... Linux clusters and multicore desktop computers, showing good parallel efficiencies and superior computational performance...

FINNR
 Referenced in 1 article
[sw25906]
 intelligent decisions on even embedded computingsystems. 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...