Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Mathieu Hoyrup »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Mathieu Grenier < Mathieu Hoyrup < Mathieu Jaume  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]
Ident.Authors (with country if any)Title
000437 (2015-03-12) Mathieu HoyrupA Rice-like theorem for primitive recursive functions
000632 (2012) Laurent Bienvenu ; Adam Day ; Mathieu Hoyrup ; Ilya Mezhirov ; Alexander ShenA constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
000C05 (2011-11-25) Laurent Bienvenu ; Peter Gacs ; Mathieu Hoyrup ; Cristobal Rojas ; Alexander ShenAlgorithmic tests and randomness with respect to a class of measures
000C51 (2009-07-19) Mathieu Hoyrup ; Cristobal RojasAn Application of Martin-Löf Randomness to Effective Probability Theory
000E78 (2014-10-01) Hugo Férée ; Walid Gomaa ; Mathieu HoyrupAnalytical properties of resource-bounded real functionals
000F33 (2009-07-05) Mathieu Hoyrup ; Cristobal RojasApplications of Effective Probability Theory to Martin-Löf Randomness
001456 (2015-01-01) Hugo Férée ; Emmanuel Hainry ; Mathieu Hoyrup ; Romain PéchouxCharacterizing polynomial time complexity of stream programs using interpretations
001730 (2012-01-01) Mathieu Hoyrup ; Cristobal Rojas ; Klaus WeihrauchComputability of the Radon-Nikodym derivative.
001731 (2011-06-27) Mathieu Hoyrup ; Cristobal Rojas ; Klaus WeihrauchComputability of the Radon-Nikodym derivative
001733 (2013-05-01) Mathieu HoyrupComputability of the ergodic decomposition
001797 (2010-06-21) Stefano Galatolo ; Mathieu Hoyrup ; Cristobal RojasComputing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
001D95 (2011-01) Stefano Galatolo ; Mathieu Hoyrup ; Cristobal RojasDynamics and abstract computability: computing invariant measures
001E49 (2010) Stefano Galatolo ; Mathieu Hoyrup ; Cristobal RojasEffective symbolic dynamics, random points, statistical behavior, complexity and entropy
002601 (2014-12-16) Mathieu HoyrupGenericity of weakly computable objects
002802 (2013-07-08) Hugo Férée ; Mathieu HoyrupHigher-order complexity in analysis
002945 (2015-06-29) Guillaume Bonfante ; Mohamed El-Aqqad ; Benjamin Greenbaum ; Mathieu HoyrupImmune Systems in Computer Virology
002C39 (2010-12-15) Hugo Férée ; Emmanuel Hainry ; Mathieu Hoyrup ; Romain PéchouxInterpretation of stream programs: characterizing type 2 polynomial time complexity
003839 (2015-03-04) Mathieu Hoyrup ; Cristobal RojasOn the information carried by programs about the objects they compute
003841 (2012-09-26) Mathieu HoyrupOn the inversion of computable functions
003856 (2013-06-25) Hugo Férée ; Mathieu Hoyrup ; Walid GomaaOn the query complexity of real functionals
003F41 (2011-06-27) Mathieu HoyrupRandomness and the ergodic decomposition

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Mathieu Hoyrup" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Mathieu Hoyrup" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Mathieu Hoyrup
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022