Modeling, Inference, and Prediction in Mobility-Based Compartmental Models for Epidemiology dlvr.it/TD0P46
English
Verification papers
14K posts
Verification papers
@verif_papers
Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
Katılım Mayıs 2015
7 Takip Edilen230 Takipçiler
Error analysis of an L2-type method on graded meshes for semilinear subdiffusion equations dlvr.it/TD0P44
English
MATWA: A Web Toolkit for Matching under Preferences dlvr.it/TD0P42
English
A Lower Bound for Light Spanners in General Graphs dlvr.it/TD0P40
English
Stability of the Theta Method for Systems with Multiple Time-Delayed Variables dlvr.it/TD0P3y
English
Local times of self-intersection and sample path properties of Volterra Gaussian processes dlvr.it/TD0P3t
English
A high-order procedure for computing globally optimal Wannier functions in one-dimensional crystalline insulators dlvr.it/TD0P3p
English
Revenue Management with Calendar-Aware and Dependent Demands: Asymptotically Tight Fluid Approximations dlvr.it/TD0P3m
English
Formalising inductive and coinductive containers dlvr.it/TD0P3j
English
SoK: A Literature and Engineering Review of Regular Expression Denial of Service dlvr.it/TD0P3V
English
Differentiable Discrete Event Simulation for Queuing Network Control dlvr.it/TCtmj4
English
Better bounds on Grothendieck constants of finite orders dlvr.it/TCtmhw
English
A Deep Generative Learning Approach for Two-stage Adaptive Robust Optimization dlvr.it/TCtmhr
English
Design of CANSAT for Air Quality Monitoring for an altitude of 900 meters dlvr.it/TCtmhq
English
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report) dlvr.it/TCtmhn
English
Quantum optimal transport with convex regularization dlvr.it/TCtmhl
English
Advances in Cislunar Periodic Solutions via Taylor Polynomial Maps dlvr.it/TCtmhj
Català
Gathering Information about a Graph by Counting Walks from a Single Vertex dlvr.it/TCtmhf
English
Numerical spectral analysis of Cauchy-type inverse problems: A probabilistic approach dlvr.it/TCtmhb
English
Predicting quantum channels over general product distributions dlvr.it/TCtmfd
English