Advanced Search
Now showing items 501-510 of 645
Gradual Certified Programming in Coq
(Assoc Computing Machinery, 2016)
Online energy management for a solar car using pseudospectral methods for optimal control
(Wiley-Blackwell, 2016)
Spiral waves triggered by shadows in transition disks
(IOP Publishing, 2016)
The SPHERE view of the planet-forming disk around HD 100546
(ESO, 2016-04)