Results for 'Anouck Ruet'

12 found
Order:
  1.  8
    La « maison de rêve » : topique projective du corps familial.Patrice Cuynet, Marie-Anne Schwailbold, Maria de la Almudena Sanahuja, Alexandra Bernard, Fatma Derbal & Anouck Ruet - 2016 - Dialogue: Families & Couples 213 (3):53-68.
    L’épreuve projective intitulée « spatiographie projective familiale » a pour objectif de comprendre l’image inconsciente du corps familial à travers l’analyse du dessin groupal de la « maison de rêve ». Par cette méthodologie, les auteurs peuvent établir un diagnostic de la structure des liens inconscients de la famille et en faire un objet médiateur pour la prise en charge psychothérapique et une épreuve projective groupale familiale pour le diagnostic. Le dessin de la « maison de rêve » est un (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Non-commutative logic I: the multiplicative fragment.P. Ruet & M. Abrusci - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
     
    Export citation  
     
    Bookmark   4 citations  
  3.  28
    La conservation autologue de sang de cordon ombilical : vers une nouvelle forme de participation biocitoyenne?Anouck Alary - 2016 - Les ateliers de l'éthique/The Ethics Forum 11 (2-3):28-64.
    Anouck Alary | : La transformation du sang placentaire en une précieuse source de cellules souches a donné naissance à partir des années 1990 à une industrie globale de conservation de sang de cordon ombilical faisant désormais concurrence à un large réseau de banques publiques de sang de cordon. Cet article explore les soubassements socioculturels liés à l’émergence de cette industrie et tente d’élucider les enjeux éthiques et politiques qu’elle pose. Si les banques publiques de sang de cordon sont (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Developmental changes in face visual scanning in autism spectrum disorder as assessed by data-based analysis.Anouck Amestoy, Etienne Guillaud, Manuel P. Bouvard & Jean-René Cazalets - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    L’homme sans emploi… mais pas sans temporalités.Anouck Manez - 2019 - Temporalités 29.
    Edward Wight Bakke, jeune étudiant en philosophie récemment tourné vers les sciences sociales, arrive de l’université de Yale en Angleterre en juin 1931, afin de traiter sa problématique de doctorat : « Quel est l’effet de l’assurance chômage sur la volonté et la capacité des travailleurs à subvenir à leurs besoins? » Le Royaume-Uni a été en effet le premier pays du monde à mettre en place un système national d’assurance chômage, en 1911, avec le National Insurance Act (pour les...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  88
    Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
    We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  19
    Non-commutative proof construction: a constraint-based approach.Jean-Marc Andreoli, Roberto Maieli & Paul Ruet - 2006 - Annals of Pure and Applied Logic 142 (1):212-244.
    This work presents a computational interpretation of the construction process for cyclic linear logic and non-commutative logic sequential proofs. We assume a proof construction paradigm, based on a normalisation procedure known as focussing, which efficiently manages the non-determinism of the construction. Similarly to the commutative case, a new formulation of focussing for NL is used to introduce a general constraint-based technique in order to dealwith partial information during proof construction. In particular, the procedure develops through construction steps propagating constraints in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    REVIEWS-Linear logic in computer science.T. Ehrhard, J. Y. Girard, P. Ruet, P. Scott & Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-298.
  9.  10
    Abrusci, VM and Ruet, P., Non-commutative logic I: the multiplicative fragment (1) 29} 64 Bridges, D., Richman, F. and Schuster, P., Linear independence without choice (1) 95} 102 Creed, P. and Truss, JK, On o-amorphous sets (2} 3) 185} 226. [REVIEW]B. Herwig, H. D. Macpherson, G. Martin & A. Nurtazin - 1999 - Annals of Pure and Applied Logic 101 (1):299.
  10.  17
    An Arabian Princess between Two Worlds: Memoirs, Letters Home, Sequels to the Memoirs, Syrian Customs and Usages, by Sayyida Salme/Emily Ruete.Fedwa Malti-Douglas & E. van Donzel - 1996 - Journal of the American Oriental Society 116 (4):794.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. T. Ehrhard. J.-Y. Girard. P. Ruet. and P. Scott, Linear logic in computer science.Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297.
  12.  13
    Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.