1![EON_Drive_Logo_Master_Red_CMYK EON_Drive_Logo_Master_Red_CMYK](https://www.pdfsearch.io/img/84fb97f6e64da9a19207fe00bdaf024b.jpg) | Add to Reading ListSource URL: www.eon-solar.deLanguage: German - Date: 2018-05-29 08:42:54
|
---|
2![Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute](https://www.pdfsearch.io/img/5603333e6711c4d42cfbc017d2e13330.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
3![Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama](https://www.pdfsearch.io/img/a641969452a774e99857777cc1a8fa2d.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
4![Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract— Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—](https://www.pdfsearch.io/img/616de9835f8766fcf2989b241aee4073.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
5![Learning + Synthesis Armando Solar-Lezama
ML as Synthesis ML Learning + Synthesis Armando Solar-Lezama
ML as Synthesis ML](https://www.pdfsearch.io/img/005c8b00a0ba1f9a413e10bb89664635.jpg) | Add to Reading ListSource URL: uclmr.github.io- Date: 2018-08-06 06:17:50
|
---|
6![D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction](https://www.pdfsearch.io/img/4439dc403a7151b6ff180c428b977372.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
7![Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute](https://www.pdfsearch.io/img/e43084b404f206b46e1fe5530c0e0504.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
8![The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama](https://www.pdfsearch.io/img/71e33426a3518c97cb9b9355292dd212.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.jses-solar.jp- Date: 2018-04-04 01:56:51
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.solar.nef.or.jp- Date: 2009-09-28 11:00:00
|
---|