Reynolds Style, Denotational Semantics, Language Specification, Formal Methods
Durable Engines of Discovery
cacm.acm.org·14h
An End-to-End Differentiable, Graph Neural Network-Embedded Pore Network Model for Permeability Prediction
arxiv.org·4h
When Inverse Data Outperforms: Exploring the Pitfalls of Mixed Data in Multi-Stage Fine-Tuning
arxiv.org·1d
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·3d
PROFUSEme: PROstate Cancer Biochemical Recurrence Prediction via FUSEd Multi-modal Embeddings
arxiv.org·4h
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·2d
Loading...Loading more...