Results for 'Nour Eloun'

86 found
Order:
  1. Mathematics Intelligent Tutoring System.Nour N. AbuEloun & Samy S. Abu Naser - 2017 - International Journal of Advanced Scientific Research 2 (1):11-16.
    In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An evaluation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  4
    War and peace: the role of science and art.Soraya Nour & Olivier Remaud (eds.) - 2010 - Berlin: Duncker Und Humblot.
    Violence -- Poliltical philosophy -- Critical theory -- Science and arts in international relations -- Psyche -- Aesthetics -- Tolstoi's War and peace.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  13
    Simultaneous maintenance of emotions in affective working memory.Nour Kardosh, Christian Waugh, Joseph Mikels & Nilly Mor - forthcoming - Cognition and Emotion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Association of Race and Ethnicity With High Longevity Deceased Donor Kidney Transplantation Under the US Kidney Allocation System.Nour Asfour, Kevin C. Zhang, Jessica Lu, Peter P. Reese, Milda Saunders, Monica Peek, Molly White, Govind Persad & William F. Parker - forthcoming - American Journal of Kidney Diseases.
  5.  29
    A Conjecture on Numeral Systems.Karim Nour - 1997 - Notre Dame Journal of Formal Logic 38 (2):270-275.
    A numeral system is an infinite sequence of different closed normal -terms intended to code the integers in -calculus. Barendregt has shown that if we can represent, for a numeral system, the functions Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these three particular functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6. National responsibility.Farid Abdel-Nour - 2003 - Political Theory 31 (5):693-719.
    This article offers an account of the responsibility that individuals bear by virtue of their national belonging alone. Via their national pride, the living connect themselves actively with select actions performed by others who might long be dead. They imagine themselves as having won past wars, built ancient empires and the like. This same feat of their imagination imposes on them a responsibility for the bad outcomes that were brought about through their imagined exploits. Their national responsibility for the "sins (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  22
    National Responsibility.Farid Abdel-Nour - 2003 - Philosophy Today 31 (5):693-719.
    This article offers an account of the responsibility that individuals bear by virtue of their national belonging alone. Via their national pride, the living connect themselves actively with select actions performed by others who might long be dead. They imagine themselves as having won past wars, built ancient empires and the like. This same feat of their imagination imposes on them a responsibility for the bad outcomes that were brought about through their imagined exploits. Their national responsibility for the “sins (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  8.  63
    Responsibility for structural injustice.Farid Abdel-Nour - 2018 - Ethics and Global Politics 11 (1):13-21.
  9. Beyond Rorty, Habermas and Rawls: Cross-Cultural Judgement in the Postmetaphysical Age.Farid Abdel-Nour - 1999 - Dissertation, Rutgers the State University of New Jersey - New Brunswick
    This dissertation engages the following question: how, in the absence of an uncontroversial source of moral guidance, can liberals make political and moral claims across cultural divides? While committed to toleration, liberals cannot escape the compulsion to apply basic standards of equal individual human rights and liberties universally. Under postmetaphysical conditions, however, they no longer find credible arguments that assure them of the sources of these standards in "natural law," "human nature," or "practical reason." Aware that individual rights have their (...)
     
    Export citation  
     
    Bookmark  
  10.  10
    2 Owning the misdeeds of Japan's wartime regime1.Farid Abdel-Nour - 2013 - In Jun-Hyeok Kwak (ed.), Inherited Responsibility and Historical Reconciliation in East Asia. Routledge. pp. 1--23.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  27
    Improving equity, diversity, and inclusion in academia.Vivian Welch, Nour Elmestekawy & Omar Dewidar - 2022 - Research Integrity and Peer Review 7 (1).
    There are growing bodies of evidence demonstrating the benefits of equity, diversity, and inclusion on academic and organizational excellence. In turn, some editors have stated their desire to improve the EDI of their journals and of the wider scientific community. The Royal Society of Chemistry established a minimum set of requirements aimed at improving EDI in scholarly publishing. Additionally, several resources were reported to have the potential to improve EDI, but their effectiveness and feasibility are yet to be determined. In (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  65
    Responsible for the state: The case of obedient subjects.Farid Abdel-Nour - 2016 - European Journal of Political Theory 15 (3):259-275.
    This article explains how we ordinary subjects of a state who are neither political leaders nor functionaries are responsible for outcomes that are properly attributed to that state and that took place during our adult lifetime. Its focus is on the connection we forge to those outcomes via our obedience alone. If our responsibility as subjects is justified, it would apply under all regime types including oppressive and authoritarian ones. The argument is that this responsibility can only be justified within (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Farewell to justification: Habermas, human rights, and universalist morality.Farid Abdel-Nour - 2004 - Philosophy and Social Criticism 30 (1):73-96.
    In his recent work, Jürgen Habermas signals the abandonment of his earlier claims to justify human rights and universalist morality. This paper explains the above shift, arguing that it is the inescapable result of his attempts in recent years to accommodate pluralism. The paper demonstrates how Habermas’s universal pragmatic justification of modern normative standards was inextricably tied to his consensus theory of validity. He was compelled by the structure of that argument to count on the current or future availability of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  95
    Ego-Dissolution and Psychedelics: Validation of the Ego-Dissolution Inventory.Matthew M. Nour, Lisa Evans, David Nutt & Robin L. Carhart-Harris - 2016 - Frontiers in Human Neuroscience 10.
  15.  45
    Where in the world does neoliberalism come from?Raewyn Connell & Nour Dados - 2014 - Theory and Society 43 (2):117-138.
  16.  77
    Liberalism and ethnocentrism.Farid Abdel-Nour - 2000 - Journal of Political Philosophy 8 (2):207–226.
  17. International human rights and islamic law - by mashood A. baderin.Farid Abdel-Nour - 2006 - Ethics and International Affairs 20 (3):388–390.
  18.  67
    A short proof of the strong normalization of classical natural deduction with disjunction.René David & Karim Nour - 2003 - Journal of Symbolic Logic 68 (4):1277-1288.
    We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  10
    Menschenrechte zwischen Universalismus und nationalstaatlicher Kontextualität.Heiner Bielefeldt & Nour El-Amine - 2018 - Polis 22 (3):19-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  45
    Complete Types in an Extension of the System AF2.Samir Farkh & Karim Nour - 2003 - Journal of Applied Non-Classical Logics 13 (1):73-85.
    In this paper, we extend the system AF2 in order to have the subject reduction for the $betaeta$-reduction. We prove that the types with positive quantifiers are complete for models that are stable by weak-head expansion.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  46
    The legitimating fact in the transcendental deduction of the categories: on Dieter Henrich's reading of Kant.Christian Klotz & Soraya Nour - 2007 - Kriterion: Journal of Philosophy 48 (115):0-0.
  22.  85
    A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.
    We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  11
    A predictive coding model of the N400.Samer Nour Eddine, Trevor Brothers, Lin Wang, Michael Spratling & Gina R. Kuperberg - 2024 - Cognition 246 (C):105755.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  5
    A Phenomenological Study of Sudanese Children’s Experience of Seeking Refuge in North Africa.George Berguno & Nour Loutfy - 2009 - Schutzian Research 1:29-50.
    Forty-five children between the ages of nine and twelve years, who were forced to flee their native Sudan and seek refuge in Egypt, were interviewed about their everyday life in Cairo. Phenomenological analyses of the transcripts revealed the physical, social and technological dimensions to their encounter with a new cultural world. The interviews also revealed the extent to which the children had to face racism, discrimination and social exclusion. Specific analyses of children’s difficulties in learning a new form of Arabic (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  48
    A Phenomenological Study of Sudanese Children's Experience of Seeking Refuge in North Africa.George Berguno & Nour Loutfy - 2009 - Schutzian Research. A Yearbook of Worldly Phenomenology and Qualitative Social Science 1:29-50.
    Forty-five children between the ages of nine and twelve years, who were forced to flee their native Sudan and seek refuge in Egypt, were interviewed about their everyday life in Cairo. Phenomenological analyses of the transcripts revealed the physical, social and technological dimensions to their encounter with a new cultural world. The interviews also revealed the extent to which the children had to face racism, discrimination and social exclusion. Specific analyses of children’s difficulties in learning a new form of Arabic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  24
    Strong normalization results by translation.René David & Karim Nour - 2010 - Annals of Pure and Applied Logic 161 (9):1171-1179.
    We prove the strong normalization of full classical natural deduction by using a translation into the simply typed λμ-calculus. We also extend Mendler’s result on recursive equations to this system.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27. Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
    Storage operators have been introduced by J. L. Krivine in [5] they are closed λ-terms which, for a data type, allow one to simulate a "call by value" while using the "call by name" strategy. In this paper, we introduce the directed λ-calculus and show that it has the usual properties of the ordinary λ-calculus. With this calculus we get an equivalent--and simple--definition of the storage operators that allows to show some of their properties: $\bullet$ the stability of the set (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  28.  82
    Mixed logic and storage operators.Karim Nour - 2000 - Archive for Mathematical Logic 39 (4):261-280.
    In 1990 J-L. Krivine introduced the notion of storage operators. They are $\lambda$ -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modelize assignment instructions. J-L. Krivine has shown that there is a very simple second order type in AF2 type system for storage operators using Gödel translation of classical to intuitionistic logic. In order to modelize the control operators, J-L. Krivine has extended the system AF2 to the classical logic. In his system (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  12
    A completeness result for a realisability semantics for an intersection type system.Fairouz Kamareddine & Karim Nour - 2007 - Annals of Pure and Applied Logic 146 (2):180-198.
    In this paper we consider a type system with a universal type $omega$ where any term (whether open or closed, $beta$-normalising or not) has type $omega$. We provide this type system with a realisability semantics where an atomic type is interpreted as the set of $lambda$-terms saturated by a certain relation. The variation of the saturation relation gives a number of interpretations to each type. We show the soundness and completeness of our semantics and that for different notions of saturation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  17
    A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.
    In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $lambda$-calculus, the 'call by value' in a context of a 'call by name'. J.L. Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  18
    La valeur dun entier classique en [mathematical formula]-calcul.Karim Nour - 1997 - Archive for Mathematical Logic 36 (6).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  23
    Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
    In 1990, J. L. Krivine introduced the notion of storage operator to simulate “call by value” in the “call by name” strategy. J. L. Krivine has showed that, using Gödel translation of classical into intuitionistic logic, one can find a simple type for the storage operators in AF2 type system. This paper studies the ∀-positive types and the Gödel transformations of TTR type system. We generalize by using syntactical methods Krivine's theorem about these types and for these transformations. We give (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  20
    Strong storage operators and data types.Karim Nour - 1995 - Archive for Mathematical Logic 34 (1):65-78.
    The storage operators were introduced by J.L. Krivine ([6]); they are closed λ-terms which, for some fixed data type (the integers for example), allow to simulate “call by value” while using “call by name”. J.L. Krivine showed that such operators can be typed, in the type system, using Gödel's translation from classical to intuitionistic logic ([8]).This paper studies the existence of storage operators which give a normal form as result (strong storage operators) for recursive and iterative representation of data in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  12
    Using Facts to Moderate the Message.Nawal M. Nour - 2012 - Hastings Center Report 42 (6):30-31.
    The Public Policy Advisory Network on Female Genital Surgeries in Africa has written an article expressing concern about the media's inaccurate depiction of this practice and suggesting a more fact‐based approach to reporting on it. I applaud the network for soliciting input from various fields. I cannot agree more that some in the media have misconstrued, exaggerated, and used inflammatory language; words like “torture,” “barbaric,” and “horrific” will likely enrage readers while reinforcing discrimination against women who practice or have undergone (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  16
    A completeness result for the simply typed λμ-calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
    In this paper, we define a realizability semantics for the simply typed $lambdamu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Algebraic semantics of a system of logic based on a finite ordered set.A. Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.
     
    Export citation  
     
    Bookmark  
  37. Kripke-style semantics of a logical system based on a finite ordered set.A. Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
     
    Export citation  
     
    Bookmark  
  38.  33
    La valeur d'un entier classique en $\lambda\mu$ -calcul.Karim Nour - 1997 - Archive for Mathematical Logic 36 (6):461-473.
    In this paper, we present three methods to give the value of a classical integer in $\lambda\mu$ -calculus. The first method is an external method and gives the value and the false part of a normal classical integer. The second method uses a new reduction rule and gives as result the corresponding Church integer. The third method is the M. Parigot's method which uses the J.L. Krivine's storage operators.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  22
    Non Deterministic Classical Logic: The λμ++ ‐calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
    In this paper, we present an extension of λμ-calculus called λμ++-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  15
    Non deterministic classical logic: the $lambdamu^{++}$-calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
    In this paper, we present an extension of $lambdamu$-calculus called $lambdamu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  9
    Non Deterministic Classical Logic: The -calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  53
    National, Regional and Global Perspectives of Higher Education and Science Policies in the Arab Region.Samia Satti Osman Mohamed Nour - 2011 - Minerva 49 (4):387-423.
    In this paper we discuss the interaction between science policies (and particularly in the area of scientific research) and higher education policies in Gulf and Mediterranean Arab countries. Our analysis reveals a discrepancy between the two sub-regions with respect to integration in the global market, cooperation in scientific research and international mobility of students. The paper discusses the implications of the analysis of reform policies and higher education restructuring.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  39
    Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
    In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  18
    Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini.Abir Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.
    In order to modelize the reasoning of an intelligent agent represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this papers, we consider logic systems called L′T without this kind of constants but limited to the case where T is a finite poset. We prove a weak deduction theorem. We introduce also an algebraic semantics using Hey ting algebra with operators. To prove the completeness (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  10
    Semantique de type Kripke d'un systeme logique base sur un ensemble fini.A. Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
    In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called equation image without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  8
    Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini.Abir Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
    In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called equation image without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  13
    S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.
    In 1990, J. L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In the present paper we define for every λ-term S which realizes the successor function on Church integers the notion of S-storage operator. We prove that every storage operator is an S-storage operator. But the converse is not always true.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Storage operators and forall-positive types of system TTR.Karim Nour - 1996 - Mathematical Logic Quarterly 42:349-368.
    In 1990, J.L. Krivine introduced the notion of storage operator to simulate 'call by value' in the 'call by name' strategy. J.L. Krivine has shown that, using Gödel translation of classical into intuitionitic logic, we can find a simple type for the storage operators in AF2 type system. This paper studies the $forall$-positive types (the universal second order quantifier appears positively in these types), and the Gödel transformations (a generalization of classical Gödel translation) of TTR type system. We generalize, by (...)
     
    Export citation  
     
    Bookmark   1 citation  
  49.  25
    Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.
    In this paper, we present the -calculus which at the typed level corresponds to the full classical propositional natural deduction system. The Church–Rosser property of this system is proved using the standardisation and the finiteness developments theorem. We also define the leftmost reduction and prove that it is a winning strategy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  23
    The Tableau Method for a Logical System Based on a Finite Poset.Abir Nour - 2002 - Journal of Applied Non-Classical Logics 12 (1):43-62.
    In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this paper, we consider logic systems called L'T without this kind of constants but limited to the case where T is a finite poset. We study the tableau method for this system and we prove its completeness for a class of formulas with respect to an algebraic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 86