Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
Joined May 2015
- Tweets14K
- Following7
- Followers230
- Likes0
Modeling, Inference, and Prediction in Mobility-Based Compartmental Models for Epidemiology dlvr.it/TD0P46
Error analysis of an L2-type method on graded meshes for semilinear subdiffusion equations dlvr.it/TD0P44
Stability of the Theta Method for Systems with Multiple Time-Delayed Variables dlvr.it/TD0P3y
Local times of self-intersection and sample path properties of Volterra Gaussian processes dlvr.it/TD0P3t
A high-order procedure for computing globally optimal Wannier functions in one-dimensional crystalline insulators dlvr.it/TD0P3p
Revenue Management with Calendar-Aware and Dependent Demands: Asymptotically Tight Fluid Approximations dlvr.it/TD0P3m
SoK: A Literature and Engineering Review of Regular Expression Denial of Service dlvr.it/TD0P3V
Differentiable Discrete Event Simulation for Queuing Network Control dlvr.it/TCtmj4
A Deep Generative Learning Approach for Two-stage Adaptive Robust Optimization dlvr.it/TCtmhr
Design of CANSAT for Air Quality Monitoring for an altitude of 900 meters dlvr.it/TCtmhq
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report) dlvr.it/TCtmhn
Advances in Cislunar Periodic Solutions via Taylor Polynomial Maps dlvr.it/TCtmhj
Gathering Information about a Graph by Counting Walks from a Single Vertex dlvr.it/TCtmhf
Numerical spectral analysis of Cauchy-type inverse problems: A probabilistic approach dlvr.it/TCtmhb