Robuta

https://arxiv.org/abs/1512.06286 [1512.06286] Compressive spectral method for the simulation of the water waves Abstract page for arXiv paper 1512.06286: Compressive spectral method for the simulation of the water waves spectral methodfor theof water151206286 https://arxiv.org/abs/1502.06286 [1502.06286] StarL: Towards a Unified Framework for Programming, Simulating and Verifying... Abstract page for arXiv paper 1502.06286: StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems unified framework