Iddo - PDFSEARCH.IO - Document Search Engine

Iddo
Results: 36

#	Item
21	Efficient Semantic Deduction and Approximate Matching over Compact Parse Forests Roy Bar-Haim1 , Jonathan Berant2 , Ido Dagan1 ,Iddo Greental3 , Shachar Mirkin1 , Eyal Shnarch1 and Idan Szpektor1 1 Computer Science Depar Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Science Computational linguistics Parse tree Syntax Valency Phrase structure rules WordNet Inference Tree Linguistics Knowledge representation Logic
22	Program of LCC 2012 Invited talk 9::30: Etienne Grandjean (Caen): An invitation to linear time omplexity Add to Reading List Source URL: ptmat.fc.ul.pt Language: English - Date: 2012-06-19 12:37:29 Dubrovnik Grandjean Jötnar Logi Iddo
23	Article pubs.acs.org/Langmuir Transparent Gold as a Platform for Adsorbed Protein Spectroelectrochemistry: Investigation of Cytochrome c and Azurin Idan Ashur,† Olaf Schulz,‡ Chelsea L. McIntosh,† Iddo Pinkas,⊥ R Add to Reading List Source URL: roslab.physics.asu.edu Language: English - Date: 2012-05-15 17:23:10 Spectroscopy Adsorption Materials science Surface chemistry Self-assembled monolayer Surface plasmon resonance Auxiliary electrode Reduction potential Reference electrode Chemistry Electrodes Nanotechnology
24	Arfer creadigol ar gyfer dyfodol cynaliadwy YSTWYTHDER Llun 21 Mawrth / Galeri / Caernarfon 10am - 5.00pm Ystwythder yw’r gallu i ddeall newid, ymateb iddo a chael budd ohono. Mae’n rhinwedd a welir mewn ecosystemau Add to Reading List Source URL: www.emergence-uk.org Language: English - Date: 2013-09-12 14:54:45 Wales Menna Elfyn Arts Council of Wales United Kingdom
25	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
26	Proof of Activity: Extending Bitcoin’s Proof of Work via Proof of Stake Iddo Bentov∗ Charles Lee Alex Mizrahi Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-06-11 22:53:58 Computing Bitcoin Peer-to-peer computing Cryptographic hash functions Error detection and correction Proof-of-work system Cryptographic nonce Stakeholder Transmission Control Protocol Cryptography Software Hashing
27	Proof of Activity: Extending Bitcoin’s Proof of Work via Proof of Stake Iddo Bentov∗ Charles Lee Alex Mizrahi Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-06-11 22:53:58 Computing Bitcoin Peer-to-peer computing Cryptographic hash functions Error detection and correction Proof-of-work system Cryptographic nonce Stakeholder Transmission Control Protocol Cryptography Software Hashing
28	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
29	Ice Drilling Program Office EVALUATION OF SCIENCE PROJECT SUPPORT Please note that you may use this evaluation or if you prefer write us a paragraph or two about Ice Drilling Design and Operations (IDDO) group’s perfo Add to Reading List Source URL: icedrill.org Language: English - Date: 2012-05-10 09:59:10
30	Peak Farmland and the Prospect for Land Sparing Jesse H. Ausubel Iddo K. Wernick Paul E. Waggoner Add to Reading List Source URL: phe.rockefeller.edu Language: English - Date: 2013-02-12 09:12:54 Staple foods Model organisms Tropical agriculture Food politics Wheat Rice Food security Milk Gross domestic product Food and drink Agriculture Energy crops

UPDATE