output
20112025
most citedOn the asymptotic and practical complexity of solving bivariate systems over the reals

77 citations

15 papers

physics.hist-ph2025★ 1 cited

Contemporary Perspectivism as a Framework of Scientific Inquiry in Quantum Mechanics and Beyond

Vassilios Karakostas, Elias Zafiris

Contemporary perspectivism is viewed as a framework of scientific inquiry concerning the origin, generation and systematization of scientific knowledge of nature by focusing on the…

gr-qc2025★ 6 cited

The Anholonomic Frame and Connection Deformation Method for constructing off-diagonal solutions in (modified) Einstein gravity and nonassociative geometric flows and Finsler-Lagrange-Hamilton theories

Laurenţiu Bubuianu, Julia O. Seti, Douglas Singleton +3

This article is a status report on the Anholonomic Frame and Connection Deformation Method, AFCDM, for constructing generic off-diagonal exact and parametric solutions in general r…

quant-ph2025★ 2 cited

Coexistence of Entanglement-based Quantum Channels with DWDM Classical Channels over Hollow Core Fibre in a Four Node Quantum Communication Network

Marcus J Clark, Obada Alia, Sima Bahrani +10

We experimentally demonstrate the coexistence of three entanglement-based quantum channels with carrier-grade classical optical channels over km hollow core nested antiresona…

cs.PL2025★ 2 cited

The Power of Negation in Higher-Order Datalog

Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos +1

We investigate the expressive power of Higher-Order Datalog under both the well-founded and the stable model semantics, establishing tight connections with complexity classe…

cs.LO2024★ 4 cited

The Stable Model Semantics for Higher-Order Logic Programming

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis +3

We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfull…

physics.space-ph2022★ 19 cited

Parameter Distributions for the Drag-Based Modeling of CME Propagation

Gianluca Napoletano, Raffaello Foldes, Enrico Camporeale +7

In recent years, ensemble modeling has been widely employed in space weather to estimate uncertainties in forecasts. We here focus on the ensemble modeling of CME arrival times and…