Search Newest

English العربية

Search research

Search 1,507,568 papers in Arabic or English

arXiv 2010-06-26 EN

Automatic Probabilistic Program Verification through Random Variable Abstraction

Barsotti, Damián · Wolovick, Nicolás

Subjects

High Energy Physics - Phenomenology 142,336
High Energy Physics - Theory 128,155
Astrophysics 104,984
Quantum Physics 92,751
General Relativity and Quantum Cosmology 75,565
Mesoscale and Nanoscale Physics 62,006
Materials Science 58,384
Mathematical Physics 54,291
Statistical Mechanics 54,275
Strongly Correlated Electrons 52,013
Cosmology and Nongalactic Astrophysics 47,124
Nuclear Theory 44,459
Machine Learning 43,930
Solar and Stellar Astrophysics 39,488
High Energy Physics - Experiment 38,827
Combinatorics 37,949
Astrophysics of Galaxies 37,106
High Energy Astrophysical Phenomena 34,318
Algebraic Geometry 34,062
Analysis of PDEs 33,611
Superconductivity 33,434
Probability 33,153
Computer Vision and Pattern Recognition 31,145
Differential Geometry 27,693
Information Theory 27,679

824 of 1,507,568 translated to Arabic

Terms of Use Privacy

Metadata is harvested from the OAI-PMH endpoints of each repository and remains under its original licence. Arabic translations are machine-generated and should be checked against the original before citation.

.