Votre rechercheinformatique théorique

Focus sur 4 ressources pédagogiques libres : Ouvrir les données en informatique théorique, qu’a-t-on à y gagner ?

Diogo COSTA CUNHA est doctorant à l'UTC1.A

 Aujourd'hui, le computer est au coeur des techniques de conception comme de représentation et de formalisation dans les sciences et dans les techniques contemporaines. L'informatique passe à la

The field of quantum information processing (quantum computation and quantum communication) has grown considerably in recent decades. Numerous proof-of-principle experiments on small-scale quantum

" Comprendre c'est comprendre autrement " H. G. Gadamer Au début de l'été 2000, sur les murs d'une ville, deux affiches, deux affiches réelles : - La première, affichée dans des bars ou des boîtes

Dans le cadre du MASTER SVS-SPE et plus particulièrement du module SB1, vous pouvez suivre ici, le cours de François Kohler, concernant les variables aléatoires et distributions théoriques. OrigineSPI

Dans le cadre du cycle de conférence de la fondation Institut d'Etudes Avancées de Nantes organisé au Lieu Unique à Nantes en partenariat avec l'Agence Nationale de la Recherche, Gérard Berry,

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel

Statistical Learning Theory for Modern Machine Learning

Cette conférence essaiera de jeter un regard original sur certains aspects de la révolution numérique : plutôt que de tenir un discours cent fois entendu sur les dangers du piratage et sur la

La médecine est une science mais c'est aussi un art, un art de l'action. Mais pour agir, pour exercer cet art, il faut souvent voir le "caché". Cette réalité cachée est souvent très abstraite, mais

La théorie quantique des champs se heurte à une difficulté célèbre, celle des divergences ultraviolettes. La solution à tous ordres de perturbation n'est pas triviale à cause du problème des