
ETPS
 Referenced in 156 articles
[sw06302]
 essential logical problems underlying the proofs, and it gives them immediate feedback for both correct ... them. The rules of inference and predefined problems in ETPS are mostly taken from...

LMIRank
 Referenced in 34 articles
[sw04823]
 this problem. It is a nonconvex feasibility problem de¯ned by LMI constraints together with ... arises as many important output feedback and robust control problems, that cannot always be addressed...

Algorithm 815
 Referenced in 3 articles
[sw13170]
 subroutines for computing approximate solutions of feedback set problems using GRASP. We propose FORTRAN subroutines ... approximately solving the feedback vertex and arc set problems on directed graphs using a Greedy...

Algorithm 747
 Referenced in 6 articles
[sw04687]
 Solve the Eigenvalue Assignment Problem for Multiinput Systems Using State Feedback...

LSTM
 Referenced in 24 articles
[sw03373]
 network (RNN): a network of neurons with feedback connections. It can learn many behaviors / sequence ... stock market prediction, and many other sequence problems...

MOCell
 Referenced in 10 articles
[sw23794]
 genetic algorithm for solving multiobjective continuous optimization problems. Our approach is characterized by using ... archive to store nondominated solutions and a feedback mechanism in which solutions from this archive ... been evaluated with both constrained and unconstrained problems and compared against NSGAII and SPEA2...

DTCPP
 Referenced in 1 article
[sw00223]
 minimum feedback arc set problem consists of finding a minimum weight set of arcs ... acyclic. Similarly, the minimum feedback vertex set problem consists of finding a minimum weight...

Bunch
 Referenced in 8 articles
[sw21162]
 optimization problem. This paper describes the extensions made to Bunch in response to feedback...

PID_tuning
 Referenced in 13 articles
[sw06803]
 controller tuning in networked control systems. The problem with networks, when control issues are considered ... measurements. A delay in the feedback loop may cause instability and it thus complicates control...

banditnmt
 Referenced in 1 article
[sw20941]
 natural candidate problem for reinforcement learning from human feedback: users provide quick, dirty ratings ... neural machine translation systems from simulated human feedback. Our algorithm combines the advantage actorcritic ... This algorithm (a) is welldesigned for problems with a large action space and delayed ... robust to skewed, highvariance, granular feedback modeled after actual human behaviors...

Horizon
 Referenced in 5 articles
[sw31157]
 problems where datasets are large (millions to billions of observations), the feedback loop is slow...

ForMaRE
 Referenced in 3 articles
[sw08774]
 user experience feedback from new audiences, as well as new challenge problems. In the first...

Algorithm 718
 Referenced in 2 articles
[sw13185]
 allocation (pole placement) problem of singleinput linear systems using state feedback is given...

APES
 Referenced in 2 articles
[sw26484]
 problem. The environment simulates the dynamics of the agents’ world and hence provides feedback ... gridworld environments for reinforcement learning problems. APES equips agents with algorithms to simulate...

SimplicialVIEW
 Referenced in 1 article
[sw21821]
 from which the robustness margin of the feedback control system is obtained. This package ... stability crossover problem in the uncertainty space of a feedback control system, from which...

ATPboost
 Referenced in 2 articles
[sw28626]
 feedback. ATPboost is a system for solving sets of largetheory problems by interleaving ... solutions in the context of the ATP/ML feedback loop, and show significant improvement over...

InKreSAT
 Referenced in 5 articles
[sw23448]
 modal satisfiability problem to a Boolean satisfiability problem, which is then solved using ... solver and uses the feedback provided by the SAT solver to guide the translation. This...

FVK
 Referenced in 4 articles
[sw30463]
 method for solving fuzzy multicriteria decision problems with dependent criteria. We propose a new multi ... fuzzy pairwise comparisons and a feedback between the criteria. The evaluation of the weights...

Clockwork RNN
 Referenced in 6 articles
[sw36448]
 prediction and classification are ubiquitous and challenging problems in machine learning that can require identifying ... shortterm memory implemented by their recurrent (feedback) connections. However, in practice they are difficult...

MathDIP
 Referenced in 1 article
[sw28214]
 evaluation and feedback of each step of the solution of a math problem. The system...