Abstract: Robust multiobjective optimization problems (RMOPs) widely exist in real-world applications, which introduce a variety of uncertainty in optimization models. While some evolutionary ...

The cryptography is decades old and well understood, the verification is something a curious player can run by hand, and the ...

Abstract: Copy detection is crucial for protecting image copyright. This paper proposes a robust image hashing approach via Weighted Saliency Map (WSM) and Laplacian Eigenmaps (LE) (hereafter WSM-LE ...

This is the motivation behind pg_agentichott, a PostgreSQL-oriented proof-carrying query optimization concept that combines agentic SQL rewriting with formal verification, signed proof certificates, ...