Over the past three decades, a variety of meta-reasoning systems which support reasoning about higher-order abstract specifications have been designed and developed. In this paper, we survey and compare four meta-reasoning systems, Twelf, Beluga, Abella and Hybrid, using several benchmarks from the open repository ORBI that describes challenge problems for reasoning with higher-order abstract s...

The unique meta-GGA (generalized gradient approximation) exchange functional of Becke and Roussel (BR89) and the correlation functional of Becke related to it (B94) are represented for the first time in an analytical form. All functional derivatives are then obtained analytically, which allows an efficient self-consistent implementation. A brief assessment of this "BR89B94" meta-GGA scheme is m...

Recent years have witnessed growing interest in the application of deep neural networks (DNNs) for receiver design, which can potentially be applied complex environments without relying on knowledge channel model. However, dynamic nature communication channels often leads to rapid distribution shifts, may require periodically retraining. This paper formulates a data-efficient two-stage training...

The hybridization of population-based meta-heuristics and local search strategies is an effective algorithmic proposal for solving complex continuous optimization problems. Such hybridization becomes much more effective when the local search heuristics are applied in the most promising areas of the solution space. This paper presents a hybrid method based on Clustering Search (CS) to solve cont...

In questo lavoro viene presentato un sistema per la valutazione e certificazione di formule proposizionali quantificate (QBFs) che si basa su un approccio ibrido al problema. Vengono considerate questioni attinenti all’integrazione di differenti filosofie di soluzione e il ruolo delle meta-euristiche nella composizione del sistema complessivo. We present a system designed to evaluate and certif...

The record of imaging resolution has kept being refreshed in the past decades and the best resolution of hyperlenses and superlenses so far is about one out of tens in terms of wavelength. In this paper, by adopting a hybrid concept of transformation optics and singular media, we report a broadband meta-lens design methodology with ultra-high resolution. The meta-lens is made of subwavelength m...