Eyal - PDFSEARCH.IO - Document Search Engine

Eyal
Results: 233

#	Item
101	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: i.stanford.edu Language: English - Date: 2010-08-28 23:41:03 Mathematics Knowledge Knowledge representation Artificial intelligence Epistemology Frame problem Binary decision diagram Situation calculus Fluent Science Logic programming Branches of philosophy
102	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
103	Majority is not Enough: Bitcoin Mining is Vulnerable Ittay Eyal and Emin G¨ un Sirer arXiv:1311.0243v5 [cs.CR] 15 Nov 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-17 20:52:48 Computing Bitcoin Peer-to-peer computing Mining
104	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
105	Can Assad’s Syria Survive Revolution? by Eyal Zisser T Add to Reading List Source URL: www.meforum.org Language: English - Date: 2013-06-11 15:08:12 Fertile Crescent Politics of Syria Mustafa Tlass Hafez al-Assad Bashar al-Assad Homs Free Syrian Army Al-Assad family Al-Rastan Asia Syria Assad family
106	The Failure of U.S. Policy toward Damascus by Eyal Zisser T Add to Reading List Source URL: www.meforum.org Language: English - Date: 2013-11-18 03:52:55 Lebanon–Syria relations Bashar al-Assad Politics of Syria Protests in Syria Syria Al-Assad family Golan Heights Cedar Revolution Syria–United States relations Asia Fertile Crescent Assad family
107	Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern1 , Amnon Lotan3 , Shachar Mirkin1 , Eyal Shnarch1 , Lili Kotlerman1 , Jonathan Berant2 , and Ido Dagan1 1 Computer Science Department, Bar-Ilan Univers Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Propositional calculus Philosophical logic Formal languages Textual entailment Entailment WordNet Formal proof Inference Abductive reasoning Logic Logical consequence Logical syntax
108	Follower Load Influences the Kinematics and Kinetics of Cervical Spine Buckling during Simulated Head-First Impact Christopher R. Dennison1,2,4, Amy Saari1,2,4, Qingan Zhu1,2,4, Tim Nelson1,2,4, Philip Morley1,2,4, Eyal Add to Reading List Source URL: ibrc.osu.edu Language: English - Date: 2013-12-27 11:04:01 Structural analysis Mechanics Cervical vertebrae Neck Physics Mechanical engineering Buckling Elasticity Materials science
109	ATTEST: Advanced Three-dimensional Television System Technologies André Redert1, Marc Op de Beeck1, Christoph Fehn2, Wijnand IJsselsteijn3, Marc Pollefeys4, Luc Van Gool4, Eyal Ofek5, Ian Sexton6, Philip Surman6 4 Phili Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2003-04-18 01:30:38 Optics Television technology Display technology 3D television Autostereoscopy 3D film 3D display 3D computer graphics DVB 3D-TV Imaging Stereoscopy 3D imaging
110	EYAL ZURI i.daddress: korazim 9, Tel Aviv, Israel mobile: + Add to Reading List Source URL: design-ez.com Language: English - Date: 2014-07-19 15:34:58 I.D. Graphic design Design Behance Tel Aviv