Search results for 'Algorithmes' (try it on Scholar)

12 found
Order:
  1. Hugues Leblanc (1964). Review: B. A. Trahtenbrot, A. Chauvin, Algorithmes et Machines a Calculer. [REVIEW] Journal of Symbolic Logic 29 (3):147-148.
    Translate
     
     
    Export citation  
     
    My bibliography  
  2.  5
    Jean Largeault (1978). Matérialisme Dialectique et Logique. Par Pierre Raymond. Collection Algorithmes. Paris, Maspéro, 1977. 182 p. Dialogue 17 (3):562-566.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Carl G. Hempel (1950). Review: Michel Cazin, Algorithmes et Theories Physiques; Michel Cazin, Algorithme et Construction d'une Theorie Unifiante. [REVIEW] Journal of Symbolic Logic 14 (4):254-255.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  4. Hugues Leblanc (1964). Trahtenbrot B. A.. Algorithmes Et Machines À Calculer. French Translation of XXVIII 111, by Chauvin A.. Dunod, Paris 1963, X + 149 Pp. [REVIEW] Journal of Symbolic Logic 29 (3):147-148.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Jean Porte (1959). Systémes de Post, Algorithmes de Markov. Journal of Symbolic Logic 24 (3):239-240.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Gene F. Rose (1958). Leavitt M. S.. Algebras de Boole E Análise de Circuitos. Portuguese Translation of the Foregoing by Maria Pilar Ribeiro. Gazeta de Matemática, Vol. 14 No. 55 , Pp. 4–7.Riguet Jacques. Sur les Rapports Entre les Concepts de Machine de Multipole Et de Structure Algébrique. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 237 , Pp. 425–427.Riguet Jacques. Algorithmes de Markov Et Théorie des Machines. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 242 , Pp. 435–437. [REVIEW] Journal of Symbolic Logic 23 (1):62.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Gene F. Rose (1959). Porte Jean. Systèmes de Post, Algorithmes de Markov. Cybernetica, Vol. 1 No. 2 , Offprint Pp. 1–36. Journal of Symbolic Logic 24 (3):239-240.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Gene F. Rose (1959). Review: Jean Porte, Systemes de Post, Algorithmes de Markov. [REVIEW] Journal of Symbolic Logic 24 (3):239-240.
     
    Export citation  
     
    My bibliography  
  9. Gene F. Rose (1958). Review: M. S. Leavitt, Algebras de Boole E Analise de Circuitos; Jacques Riguet, Sur les Rapports Entre les Concepts de Machine de Multipole Et de Structure Algebrique; Jacques Riguet, Algorithmes de Markov Et Theorie des Machines. [REVIEW] Journal of Symbolic Logic 23 (1):62-62.
    Translate
     
     
    Export citation  
     
    My bibliography  
  10.  7
    Matthias Müller-Hannemann & Stefan Schirra (eds.) (2010). Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice. Springer.
    Driven by concrete applications, Algorithm Engineering complements theory by the benefits of experimentation and puts equal emphasis on all aspects arising during a cyclic solution process ranging from realistic modeling, design, analysis, ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  5
    Frédéric Kaplan & Pierre-Yves Oudeyer (2008). Le corps comme variable expérimentale. Revue Philosophique de la France Et de l'Etranger 3 (3):287-298.
    L’évolution des concepts de corps et de processus d’animation dans le domaine de la robotique conduit aujourd’hui à définir le concept d’un noyau, ensemble d’algorithmes stables, indépendant des espaces corporels auxquels ils s’appliquent. Il devient alors possible d’étudier la manière dont certaines inscriptions corporelles, considérées comme des variables, structurent le comportement et, à plus long terme, le développement d’un robot. Cette démarche méthodologique peut mener à une approche originale du développement soulignant l’importance d’un corps variable aux frontières en continuelle (...)
    No categories
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  12.  6
    Maël Pégny (2012). Les deux formes de la thèse de Church-Turing et l'épistémologie du calcul. Philosophia Scientiæ 16 (16-3):39-67.
    La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, à la suite de nombreux auteurs, une forme algorithmique de la thèse de Church-Turing portant sur les fonctions calculables par un algorithme d’une forme empirique de cette même thèse, portant sur les fonctions calculables par une machine, il devient possible de poser une nouvelle question : les limites empiriques du calcul sont-elles identiques aux limites des algorithmes ? Ou existe-t-il un moyen (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography