A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´

Source URL: mebsout.github.io

• Mathematics
• Algebra
• Theoretical computer science
• Logic in computer science
• Satisfiability modulo theories
• Alt-Ergo
• Modular arithmetic
• Ring
• Rewriting
• Linear programming
• First-order logic
• Interval arithmetic

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

Towards a high level programming paradigm to deploy e-science applications with dynamic workflows on large scale distributed systems Mohamed Ben Belgacem Nabil Abdennadher

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

• Concurrent computing
• Parallel computing
• Computing
• IT infrastructure
• Cloud infrastructure
• Job scheduling
• Apache Hadoop
• Apache Software Foundation
• Data-intensive computing
• Workflow
• Algorithmic skeleton
• Programming paradigm

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala

Source URL: mebsout.github.io

• Theoretical computer science
• Mathematical logic
• Logic
• Formal methods
• Alt-Ergo
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Axiom
• First-order logic
• Solver

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq

Source URL: mebsout.github.io

• Algebra
• Mathematics
• Linear algebra
• Affine geometry
• Linear programming
• Convex optimization
• Group theory
• Affine space
• Linear combination
• Simplex algorithm
• Equation solving
• Vector space

Mahmood Darwish MOHAMED Translated into English by Amr Khadr * Mohamed, nestles in the bosom of his father, a bird afraid

Source URL: www.peykarandeesh.org

EGYPT UNDER PRESSURE: Members of the Muslim Brotherhood and supporters of ousted Egyptian President Mohamed Mursi retreat from riot police at a protest in Cairo on Oct. 6. REUTERS/AMR ABDALLAH DALSH Brotherhood

Source URL: graphics.thomsonreuters.com

Deduction as a Service Mohamed Bassem Hassona German University in Cairo Stephan Schulz

Source URL: cs.ru.nl

An application of universal distance using Space Syntax analysis Mohamed A. Salheen Ain-Shams University, Egypt

Source URL: www.spacesyntax.net

Seamless and Secure VR: Adapting and Evaluating Established Authentication Systems for Virtual Reality Ceenu George, Mohamed Khamis, Emanuel von Zezschwitz, Marinus Burger, Henri Schmidt Florian Alt, Heinrich Hussmann LM

Source URL: www.medien.ifi.lmu.de