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

Source URL: www.cs.huji.ac.il

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic in computer science
• Boolean algebra
• Logic programming
• Automated planning and scheduling
• Formal methods
• Situation calculus
• Planning Domain Definition Language
• Boolean satisfiability problem
• Conjunctive normal form

PHYSICAL REVIEW E 86, Optimal operating points of oscillators using nonlinear resonators Eyal Kenig,1,* M. C. Cross,1 L. G. Villanueva,1 R. B. Karabalin,1 M. H. Matheny,1 Ron Lifshitz,2 and M. L. Roukes1 1

Source URL: nano.caltech.edu

• Noise
• Electrical engineering
• Oscillators
• Electromagnetism
• Signal processing
• Phase noise
• Oscillator phase noise
• Pink noise
• Resonance
• Q factor
• JohnsonNyquist noise
• Oscillator linewidth

Andrew Lovett, Eyal Sagi, Dedre Gentner, & Kenneth Forbus MODELING PERCEPTUAL SIMILARITY AS ANALOGY RESOLVES THE PARADOX OF DIFFERENCE DETECTION Andrew Lovett1

Source URL: www.silccenter.org

• Cognitive science
• Cognition
• Analogy
• Semantics
• Qualitative Reasoning Group
• Dedre Gentner
• Recall
• Encoding
• Similarity
• Structure mapping engine

Rheinische Friedrich-Wilhelms-Universität Bonn Fachbereich Wirtschaftswissenschaften Studienmanagement WIWI konkret: July 08, 2015, 18:00 s.t. – 19:30

Source URL: www.econ.uni-bonn.de

• Eyal
• Emotion
• Behavioral economics

Monitoring Business Processes with Queries Catriel Beeri Anat Eyal Tova Milo

Source URL: www.cs.tau.ac.il

• Workflow technology
• Process management
• Business Process Execution Language
• Oracle BPEL Process Manager
• Business process modeling
• Action

Rewriting Schemes for Flash Memory Thesis by Eyal En Gad In Partial Fulfillment of the Requirements

Source URL: paradise.caltech.edu

• Data transmission
• Error detection and correction
• Modulation
• Coding theory
• Gray code

Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

Source URL: www.cs.huji.ac.il

• Logic programming
• Filter theory
• Logic in computer science
• Knowledge representation
• Formal languages
• Situation calculus
• Fluent
• Well-formed formula
• FO
• Filter
• Frame problem
• Linear temporal logic

Falcon Network A High-Performance, Wide Area Interconnect Soumya Basu, Ittay Eyal, Emin Gün Sirer May 17, 2016 Motivation

Source URL: www.falcon-net.org

• Routing
• Peer-to-peer
• Ordinal number

Caching Documents with Active Properties Eyal de Lara∗, Karin Petersen, Douglas B. Terry, Anthony LaMarca, Jim Thornton, Mike Salisbury, Paul Dourish, Keith Edwards, and John Lamping Computer Science Laboratory Xerox P

Source URL: www.dourish.com

• Cache
• Computer architecture
• Document management system
• World Wide Web
• Computing
• Information technology

Derandomized Constructions of k-Wise (Almost) Independent Permutations∗ Eyal Kaplan† Moni Naor‡

Source URL: omereingold.files.wordpress.com