AI tackles one of math's most brutal problems: Inverse PDEs

Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly ...
TMCnet

MicroAlgo Inc. Develops Optimal Precise Quantum Query Algorithm Based on Sum-of-Squares Representation Form of Boolean Functions

MicroAlgo Inc. (the "Company" or "MicroAlgo") (NASDAQ: MLGO), today announced the proposal of a new approach to solving the Boolean function query problem. This framework starts from the ...
IEEE

EGEP: An Event Tracker Enhanced Gene Expression Programming for Data Driven System Engineering Problems

Abstract: Gene expression programming (GEP) is a data driven evolutionary technique that is well suited to correlation mining of system components. With the rapid development of industry 4.0, the ...
IEEE

30.3 VIP-Sat: A Boolean Satisfiability Solver Featuring 5×12 Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218-Clauses 3-SAT Problems

Abstract: Boolean satisfiability (SAT), a non-deterministic polynomial (NP)-complete problem, has gained increasing attention with applications in artificial intelligence, machine learning, electronic ...