March 30th, 2016 Vol. 15, Issue 2 Reflections on End-of-Semester Evaluation Hoda Mostafa MD, Associate Professor of Practice Associate Director Center for Learning and Teaching

Source URL: documents.aucegypt.edu

• Education
• Learning
• Educational psychology
• Course evaluation
• Formative assessment
• Educational assessment
• Peer feedback
• Educational technology
• Active learning
• Classroom Assessment Techniques

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

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• Stochastic game
• Mathematical optimization
• Markov decision process
• Markov chain
• Probability

Member Spotlight: Urs Breitsprecher New Practice, New Horizons Urs Breitsprecher is managing partner at

Source URL: www.irglobal.com

• Law
• Legal professions
• Occupations
• Human behavior
• Practice of law
• Law enforcement
• Lawyer
• Law firm
• Solicitor

Trojan-tolerant Hardware + Supply Chain Security in Practice Vasilios Mavroudis

Source URL: backdoortolerance.org

• Cryptography
• Computer security
• Computer hardware
• Hardware security module
• Hardware security
• Tamper resistance

1 From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

Critical Thinking in Context: Practice at an American Liberal Arts University in Egypt Author: Maha Ayham Bali Mohamed Bali For the degree of: PhD Department: School of Education

Source URL: etheses.whiterose.ac.uk

• Education
• Learning
• Cognition
• English as a global language
• The American University in Cairo
• Critical thinking
• Curriculum
• Rhetoric

TRIANGLE NETWORKS LTD Code of Practice on Complaint Handling and Dispute Resolution TRIANGLE NETWORKS LTD is an independent company that delivers communications services to business customers. While we may not provide al

Source URL: trianglenetworks.co.uk

• Government
• Postal system of the United Kingdom
• Ombudsman
• Communication
• Ofcom
• Economy of the United Kingdom

Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

Source URL: www.falkhowar.de

• Finite automata
• Machine learning
• Artificial intelligence
• Dana Angluin
• Finite-state machine
• Active learning
• Theoretical computer science
• Formal languages
• Learning
• Model checking
• Cellular automata
• Induction of regular languages