research
∙
07/23/2019
SciPy 1.0--Fundamental Algorithms for Scientific Computing in Python
SciPy is an open source scientific computing library for the Python prog...
share
research
∙
02/16/2019
Precise Attack Synthesis for Smart Contracts
Smart contracts are programs running on top of blockchain platforms. The...
research
∙
11/15/2018
Learning to Predict the Cosmological Structure Formation
Matter evolved under influence of gravity from minuscule density fluctua...
research
∙
11/21/2017