The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

Source URL: www.kestrel.edu

• Computability theory
• Theoretical computer science
• Automated planning and scheduling
• Artificial intelligence
• Cognitive science
• Mathematics
• Partial-order planning
• Planning Domain Definition Language
• Intelligent agent
• Computability
• Algorithm
• Philosophy of artificial intelligence

THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati

Source URL: eta.impa.br

• Computational complexity theory
• Mathematics
• Theoretical computer science
• Complexity classes
• Analysis of algorithms
• Quantum computing
• Linear programming
• Simplex algorithm
• Quantum algorithm
• P versus NP problem
• Quantum supremacy
• Time complexity

On Dexterity and Dexterous Manipulation

Source URL: www.eng.yale.edu

• Robotics
• Robotic manipulation
• Motor control
• Robot end effector
• Manipulator
• Robonaut
• Dextrous
• Fine motor skill
• Object manipulation
• Robot
• Thumb
• Humanoid robot

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Source URL: www.usenix.org

• Computing
• Internet
• Anonymity
• Cryptography
• Internet privacy
• Dining cryptographers problem
• Internet Standards
• Internet Relay Chat
• Clientserver model
• Anonymous web browsing
• Server
• Anonymizer

Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

Source URL: thev.net

• Signal processing
• Mathematics
• Digital signal processing
• Signal
• Mathematical logic
• Function
• Electrical engineering
• Proof theory
• Programming language semantics

PDF Document

Source URL: medicine.yale.edu

PDF Document

Source URL: medicine.yale.edu

DOC Document

Source URL: medicine.yale.edu