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

Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016

Source URL: www.cs.man.ac.uk

• Program analysis
• Typestate analysis

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Cognitive science
• Logic
• Cognition
• Cybernetics
• Automated reasoning
• Automated theorem proving
• Computational neuroscience
• Explainable Artificial Intelligence
• Mark E. Stickel
• Reason
• Inference

Introduction to the IEEEStandard for Interval Arithmetic

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Mathematics
• Numerical analysis
• Arithmetic
• Interval arithmetic
• Interval

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

Source URL: www.doc.ic.ac.uk

Modelling Dynamic Web Data ? Philippa Gardner, Sergio Maffeis ∗ Department of Computing 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ, UK.

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Process calculus
• Computability theory
• Markov models
• Computer science
• Normal distribution
• Cognitive science
• Algorithm characterizations

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Source URL: www.cl.cam.ac.uk

• Computer programming
• Recursion
• Mathematical logic
• Software engineering
• Computability theory
• Theory of computation
• Theoretical computer science
• -recursive function
• Recursive definition
• Well-founded relation
• Functional programming
• Pattern matching

Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2

Source URL: www.cs.man.ac.uk

• Logic
• Automated theorem proving
• Propositional calculus
• Mathematical logic
• Logic programming
• Mathematics
• Rules of inference
• Resolution
• Clause
• Literal
• Unit propagation
• E theorem prover

Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter

Source URL: econ.lse.ac.uk

• Education
• Secondary education
• Educational stages
• Tertiary education
• Ninth grade
• Tenth grade
• Education in Germany
• Twelfth grade
• Hauptschule
• Vocational education
• Compulsory education
• Student

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio (UCLouvain)

Source URL: inl.info.ucl.ac.be

• Computing
• Firewall software
• Computer network security
• Ethernet
• Information and communications technology
• Computer networking
• Network switch
• Firewall
• Traffic flow
• Data transmission