51![Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has](https://www.pdfsearch.io/img/0af1c627e77dc27211057777269f81cd.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
52![The Honorable Elaine C. Duke Acting Secretary of Homeland Security Department of Homeland Security Washington, DCNovember 16, 2017 Dear Secretary Duke: The Honorable Elaine C. Duke Acting Secretary of Homeland Security Department of Homeland Security Washington, DCNovember 16, 2017 Dear Secretary Duke:](https://www.pdfsearch.io/img/af0fede99d7af8ea05e242d64436d4c8.jpg) | Add to Reading ListSource URL: www.brennancenter.orgLanguage: English - Date: 2017-11-16 07:45:42
|
---|
53![SENSITIVE INFORMATION POLICY (NEW JERSEY) PRIVACY POLICIES Collective Medical Technologies, Inc. Objective This New Jersey Sensitive Information Policy (“Policy”) applies to all Services provided by C SENSITIVE INFORMATION POLICY (NEW JERSEY) PRIVACY POLICIES Collective Medical Technologies, Inc. Objective This New Jersey Sensitive Information Policy (“Policy”) applies to all Services provided by C](https://www.pdfsearch.io/img/acd3a0b8be6d2cc0de4bd21b5e9e8529.jpg) | Add to Reading ListSource URL: www.collectivemedicaltech.comLanguage: English - Date: 2018-09-26 21:55:04
|
---|
54![Proposition de stage niveau bac+5 Synthèse de fonctions C à partir de dé
nitions axiomatiques Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui Proposition de stage niveau bac+5 Synthèse de fonctions C à partir de dé
nitions axiomatiques Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui](https://www.pdfsearch.io/img/f7919e81136ef8916664ff7746dd2c59.jpg) | Add to Reading ListSource URL: julien.signoles.free.frLanguage: French - Date: 2018-06-20 05:46:21
|
---|
55![](/pdf-icon.png) | Add to Reading ListSource URL: www.praguecc.czLanguage: Czech - Date: 2017-09-13 12:55:36
|
---|
56![LEIKKAUS C - C NR-ristikoiden nurjahdustuenta US 3 US 8 LEIKKAUS C - C NR-ristikoiden nurjahdustuenta US 3 US 8](https://www.pdfsearch.io/img/0a19209df1a71f9530f0c5dcb38272d9.jpg) | Add to Reading ListSource URL: www.mtk.fi |
---|
57![SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m](https://www.pdfsearch.io/img/1b7cc22dce9e7d76123f9345e5a5d9f2.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2006-03-21 11:51:07
|
---|
58![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
59![From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog](https://www.pdfsearch.io/img/864dd48b4bb92373cf0410b99ec7d832.jpg) | Add to Reading ListSource URL: ccl.northwestern.eduLanguage: English - Date: 2009-04-16 15:33:08
|
---|