1![Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel](https://www.pdfsearch.io/img/b0358866147837c3f081b9cfb788a67c.jpg) | Add to Reading ListSource URL: proceedings.mlr.pressLanguage: English - Date: 2018-08-30 22:04:11
|
---|
2![Ontological Networks: Mapping Ontological Knowledge Bases into Graphs Lucas Fonseca Navarro Federal University of Sao Carlos Sao Carlos - SP, Brazil Ontological Networks: Mapping Ontological Knowledge Bases into Graphs Lucas Fonseca Navarro Federal University of Sao Carlos Sao Carlos - SP, Brazil](https://www.pdfsearch.io/img/989ba19afa6357c90e61e18c7d06a003.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:03:26
|
---|
3![Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1](https://www.pdfsearch.io/img/a8247f98b88201cb64556a8ae58cd76f.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
4![Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1 Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1](https://www.pdfsearch.io/img/2c4493baea95f793a0b51c18847205c3.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-26 11:35:27
|
---|
5![Structural Topic Models for Open-Ended Survey Responses Margaret E. Roberts University of California, San Diego Brandon M. Stewart Harvard University Dustin Tingley Harvard University Christopher Lucas Harvard University Structural Topic Models for Open-Ended Survey Responses Margaret E. Roberts University of California, San Diego Brandon M. Stewart Harvard University Dustin Tingley Harvard University Christopher Lucas Harvard University](https://www.pdfsearch.io/img/82b29533fa01be2a2af41626fb4badd4.jpg) | Add to Reading ListSource URL: scholar.harvard.eduLanguage: English - Date: 2014-03-07 09:26:14
|
---|
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![Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1](https://www.pdfsearch.io/img/4c8c129b890fda320d8ec5ba87c1d960.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-26 11:35:12
|
---|
8![Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras](https://www.pdfsearch.io/img/157955babe3cc24354afca63d5b944c4.jpg) | Add to Reading ListSource URL: people.seas.harvard.eduLanguage: English - Date: 2017-10-26 12:58:08
|
---|
9![Protokoll der Fachschaftssitzung ETiT und MEC Protokollant Teo S., Max K. Anwesend Daniel S., Teo S., Julian B., Viktor W., Johnny L., Lucas B., Max K. G¨ aste Datum:35–18:25 Uhr Protokoll der Fachschaftssitzung ETiT und MEC Protokollant Teo S., Max K. Anwesend Daniel S., Teo S., Julian B., Viktor W., Johnny L., Lucas B., Max K. G¨ aste Datum:35–18:25 Uhr](https://www.pdfsearch.io/img/46a85c940d9a11cea09f37b4ac904ad3.jpg) | Add to Reading ListSource URL: www.fs-etit.deLanguage: German - Date: 2017-10-20 14:10:01
|
---|
10![The Lucas and Babbage congruences Darij Grinberg February 26, 2018 Contents 0.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The Lucas and Babbage congruences Darij Grinberg February 26, 2018 Contents 0.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .](https://www.pdfsearch.io/img/277211f2ab9702be7170cf81f5f1b84f.jpg) | Add to Reading ListSource URL: www.cip.ifi.lmu.deLanguage: English - Date: 2018-02-26 01:31:59
|
---|