"au:"De Davì"" — arXiv2 SearchShowing 1–9 of 9 results
/ Date/ Name
Feb 6, 2014Reasoning about Games via a First-order Modal Model Checking ApproachDec 22, 2025Towards a point-to-point CV-QKD system: Implementation challenges and perspectivesJul 30, 2025Neural network for excess noise estimation in continuous-variable quantum key distribution under composable finite-size securitySep 24, 2025Digital Signal Processing from Classical Coherent Systems to Continuous-Variable QKD: A Review of Cross-Domain Techniques, Applications, and ChallengesMar 4, 2025Temporal Cycle Detection and Acyclic TemporizationAug 27, 2024On the parameterized complexity of computing good edge-labelingsAug 24, 2018Polynomial Chaos-Based Adaptive Control for Nonlinear SystemsMar 22, 2021Am I fit for this physical activity? Neural embedding of physical conditioning from inertial sensorsNov 14, 2025Molecular analogue for scalar dynamics in a tachyonic metric