Results for 'Stéphane Demri'

11 found
Order:
  1.  44
    Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  50
    Can Rats Reason?Savanah Stephane - 2015 - Psychology of Consciousness: Theory, Research, and Practice 2 (4):404-429.
    Since at least the mid-1980s claims have been made for rationality in rats. For example, that rats are capable of inferential reasoning (Blaisdell, Sawa, Leising, & Waldmann, 2006; Bunsey & Eichenbaum, 1996), or that they can make adaptive decisions about future behavior (Foote & Crystal, 2007), or that they are capable of knowledge in propositional-like form (Dickinson, 1985). The stakes are rather high, because these capacities imply concept possession and on some views (e.g., Rödl, 2007; Savanah, 2012) rationality indicates self-consciousness. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Armstrong, David M. Les Universaux. Une introduction partisane, trad. de l'anglais par Stéphane Dunand, Bruno Langlet et Jean-Maurice Monnoyer, Paris, Les éditions d'Ithaque, coll. « Science et Métaphysique », 2010, 208 p. [REVIEW]Ghislain Guigon - 2011 - Philosophiques 38 (1):331-336.
    This is a review (in French) of the French translation and edition of D.M. Armstrong's Universals: An Opiniated Introduction.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Mothers and Children: Designing Research Toward Integrated Care for Both.Meg Stalcup & Stéphane Verguet - 2012 - Health, Culture and Society 3 (1):160-171.
    The Millennium Development Goals (MDG) set time-bound targets that are powerful shapers of how and for whom health is pursued. In this paper we examine some ramifications of both the temporal limitation, and maternal-child health targeting of MDG 4 and 5. The 2015 end date may encourage increasing the number of mass campaigns to meet the specific MDG objectives, potentially to the detriment of a more comprehensive approach to health. We discuss some ethical, political, and pragmatic ramifications of this tendency, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Global Health and the Demands of the Day.Meg Stalcup & Stéphane Verguet - 2011 - Health, Culture and Society 1 (1):28-44.
    We have two goals in this paper: first, to provide a diagnosis of global health and underline some of its blockages; second, to offer an alternative interpretation of what the demands for those in global health may be. The assumption that health is a good that requires no further explanation, and that per se it can serve as an actual modus operandi, lays the foundations of the problem. Related blockages ensue and are described using HIV prevention with a focus on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Naviguer entre l'instruction et la socialisation : discours d'enseignants québécois du secondaire.Liliane Portelance, Stéphane Martineau, Annie Presseau & Sébastien Rojo - 2012 - Revue Phronesis 1 (4):98-109.
    The success of the mission of the school based largely on teachers, it is important to understand exactly how they see their role in the actualization of this mission. So this article initiates a reflection on how secondary school teachers in Quebec think their educational mission. More specifically, we analyze how the educational mission takes shape in their professional practice. La réussite de la mission de l’école reposant en grande partie sur les enseignants, il importe de cerner avec précision comment (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Le discours identitaire d'enseignants du secondaire : entre la crise et la nécessité de donner du sens à l'expérience.Stéphane Martineau & Annie Presseau - 2012 - Revue Phronesis 1 (3):55-68.
    This article presents the results of research conducted with secondary school teachers in Quebec, specifically in the Mauricie region. The authors propose a reflection on the construction of professional identity in a context of institutional crisis. They argue that in this context, the teacher can not rely on stable and social frameworks to build up a strong professional identity and that work experience that becomes the primordial material from which that identity is developed. Therefore, the teacher has to build its (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. From Emotions to Desires.Stéphane Lemaire - 2002 - European Review of Philosophy 5:109-136.
    In this paper, I defend the view that our knowledge of our desires is inferential and based on the consciousness we have of our emotions, and on our experiences of pain and pleasure.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Tour d’horizon des principaux programmes et dispositifs de soutien à l’insertion professionnelle en enseignementOverview of key measures to support teacher inductions.Stéphane Martineau & Joséphine Mukamurera - 2012 - Revue Phronesis 1 (2):45-62.
    This text provides a brief portrait of teacher induction programs in place in the school boards in Quebec and an analysis of three major support systems used. The analysis is based on both the descriptive documents integration programs posted on the website of the Carrefour national de l’insertion professionnelle en enseignement (CNIPE) as well as a review of research. Ce texte présente un bref portrait des programmes d’insertion professionnelle mis en place dans les commissions scolaires québécoises ainsi qu’une analyse de (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Tour d'horizon des principaux programmes et dispositifs de soutien à l'insertion professionnelle en enseignement.Stéphane Martineau & Joséphine Mukamurera - 2012 - Revue Phronesis 1 (2):45-62.
    This text provides a brief portrait of teacher induction programs in place in the school boards in Quebec and an analysis of three major support systems used. The analysis is based on both the descriptive documents integration programs posted on the website of the Carrefour national de l’insertion professionnelle en enseignement (CNIPE) as well as a review of research. Ce texte présente un bref portrait des programmes d’insertion professionnelle mis en place dans les commissions scolaires québécoises ainsi qu’une analyse de (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  21
    Individuality and Aggregativity.Stéphane Chauvier - 2017 - Philosophy, Theory, and Practice in Biology 9 (11).
    Why is there a specific problem with biological individuality? Because the living realm contains a wide range of exotic particular concrete entities that do not easily match our ordinary concept of an individual. Slime moulds, dandelions, siphonophores are among the Odd Entities that excite the ontological zeal of the philosophers of biology. Most of these philosophers, however, seem to believe that these Odd Cases oblige us to refine or revise our common concept of an individual. They think, explicitly or tacitly, (...)
    Download  
     
    Export citation  
     
    Bookmark