9 résultat(s) recherche sur le mot-clé 'computational complexity'

Computational complexity and natural language / Barton, G. E., Jr.

Public ISBD Titre : Computational complexity and natural language Type de document : texte imprimé Auteurs : Barton, G. E., Jr. ; Ristad, E. S. ; R. C. Berwick Editeur : Cambridge, MA : The Mit Press Année de publication : 1987 Importance : xii - 335 p. ISBN/ISSN/EAN : 978-0-262-02266-8 Langues : Anglais Mots-clés : data processing  natural language  computational complexity Index. décimale : 68C Monographie Computational complexity and natural language [texte imprimé] / Barton, G. E., Jr. ; Ristad, E. S. ; R. C. Berwick . - Cambridge, MA : The Mit Press, 1987 . - xii - 335 p. ISBN : 978-0-262-02266-8 Langues : Anglais Mots-clés : data processing  natural language  computational complexity Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15535	68C175	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Complexity: Knots, colourings and counting. / D. J. A. Welsh

Public ISBD Titre : Complexity: Knots, colourings and counting. Type de document : texte imprimé Auteurs : D. J. A. Welsh Editeur : Cambridge University Press Année de publication : 1993 Collection : London Mathematical Society Lecture Note Series. Importance : viii, 163 ISBN/ISSN/EAN : 978-0-521-45740-8 Langues : Anglais Mots-clés : statistical physics  number-$p$-completeness  knot polynomials  computational complexity  counting problems  knot theory Index. décimale : 68C Monographie Complexity: Knots, colourings and counting. [texte imprimé] / D. J. A. Welsh . - [S.l.] : Cambridge University Press, 1993 . - viii, 163. - (London Mathematical Society Lecture Note Series.) . ISBN : 978-0-521-45740-8 Langues : Anglais Mots-clés : statistical physics  number-$p$-completeness  knot polynomials  computational complexity  counting problems  knot theory Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12354	68C10	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Monte Carlo methods in Bayesian computation / Chen, M-H.

Public ISBD Titre : Monte Carlo methods in Bayesian computation Type de document : texte imprimé Auteurs : Chen, M-H. ; Ibrahim, Joseph G. ; Q-M. Shao Editeur : New York, NY : Springer Année de publication : 2000 Collection : Springer Series in Statistics Importance : xiii - 386 p. ISBN/ISSN/EAN : 978-0-387-98935-8 Langues : Anglais Catégories : 62-XX Statistics:62FXX Parametric inference:62F15 Bayesian inference 65-XX Numerical analysis:65-01 Instructional exposition (textbooks, tutorial papers, etc.) 65-XX Numerical analysis:65CXX Probabilistic methods, simulation and stochastic differential equations :65C60 Computational problems in statistics Mots-clés : convergence  basic monte carlo methods  computational complexity  bayesian parameter estimation  markov chain monte carlo method Index. décimale : 62C Monographie Monte Carlo methods in Bayesian computation [texte imprimé] / Chen, M-H. ; Ibrahim, Joseph G. ; Q-M. Shao . - New York, NY : Springer, 2000 . - xiii - 386 p.. - (Springer Series in Statistics) . ISBN : 978-0-387-98935-8 Langues : Anglais Catégories : 62-XX Statistics:62FXX Parametric inference:62F15 Bayesian inference 65-XX Numerical analysis:65-01 Instructional exposition (textbooks, tutorial papers, etc.) 65-XX Numerical analysis:65CXX Probabilistic methods, simulation and stochastic differential equations :65C60 Computational problems in statistics Mots-clés : convergence  basic monte carlo methods  computational complexity  bayesian parameter estimation  markov chain monte carlo method Index. décimale : 62C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16416	62C232	imprimé / autre	CRDM	62/STATISTIQUES	Disponible

la Reconnaissance des formes par algorithmes / Simon, Jean-Claude

Public ISBD Titre : la Reconnaissance des formes par algorithmes Type de document : texte imprimé Auteurs : Simon, Jean-Claude Editeur : Paris : Masson Année de publication : 1984 Collection : Etudes et Recherches en Informatique Importance : 251 p. ISBN/ISSN/EAN : 978-2-225-80194-5 Langues : Français Catégories : 62-XX Statistics:62CXX Decision theory :62C10 Bayesian problems; characterization of Bayes procedures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : signal processing  interpretation  representation  computability  pattern recognition  computational complexity Index. décimale : 68C Monographie la Reconnaissance des formes par algorithmes [texte imprimé] / Simon, Jean-Claude . - Paris : Masson, 1984 . - 251 p.. - (Etudes et Recherches en Informatique) . ISBN : 978-2-225-80194-5 Langues : Français Catégories : 62-XX Statistics:62CXX Decision theory :62C10 Bayesian problems; characterization of Bayes procedures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68TXX Artificial intelligence:68T10 Pattern recognition, speech recognition Mots-clés : signal processing  interpretation  representation  computability  pattern recognition  computational complexity Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16044	68C197	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computation and automata / Arto Salomaa

Public ISBD Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18556	68C358	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computers, rigidity, and moduli / Shmuel Weinberger

Permalink

Efficient numerical methods for non-local operators / Steffen Börm

Permalink

Elementary number theory, cryptography and codes / Maria Welleda Baldoni

Permalink

Numerical analysis in modern scientific computing / Deuflhard, Peter

Permalink