• 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 NSGA-II 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...
  • bandit-nmt

  • 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 actor-critic ... This algorithm (a) is well-designed for problems with a large action space and delayed ... robust to skewed, high-variance, 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 single-input 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 ... grid-world 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 large-theory 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 pair-wise 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 ... short-term 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...