[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Contracts for modular discrete controller synthesis
- 作者Delaval, Gwenaël; Marchand, Hervé; Rutten, Eric
- 文件大小476.21KB
- 发表时间2010
- DOI10.1145/1755888.1755898
Generalized subdifferentials of the rank functionLe, Hai Yen · Optimization Letters · 2013
Market neutral portfoliosValle, C. A.; Meade, N.; Beasley, J. E. · Optimization Letters · 2014
Directional vs. Shephard’s distance functionsZelenyuk, Valentin · Optimization Letters · 2014
CVaR norm and applications in optimizationPavlikov, Konstantin; Uryasev, Stan · Optimization Letters · 2014
A simple SSD-efficiency testGrechuk, Bogdan · Optimization Letters · 2014
Learning a hidden graphChang, Huilan; Fu, Hung-Lin; Shih, Chih-Huai · Optimization Letters · 2014
Optimization Letters Best Paper AwardKrokhmal, Pavlo A.; Prokopyev, Oleg · Optimization Letters · 2014
Military aircraft mission planningQuttineh, Nils-Hassan; Larsson, Torbjörn · Optimization Letters · 2015