Évènements
Rechercher un événement
07
Dec
Present challenges of mathematics in oncology and biology of cancer (Math-Cancer 2015)
Workshop (CIRM, Luminy, Marseille)
WORKSHOP Nouveaux Défis des Mathématiques en Oncologie et Biologie du Cancer Organizing commitee: Nicolas André (Aix-Marseille University, Centre de Recherche en Oncobiologie et Oncopharmacologie, CRO2, [...]
10
Dec
Schémas numériques pour la simulation de l'explosion
Nicolas Therme (I2M, Aix-Marseille Université, EDF-RD)
Dans les installations nucléaires, les explosions, qu’elles soient d’origine interne ou externe, peuvent entrainer la rupture du confinement et le rejet de matières radioactives dans [...]
10
Dec
Sur l'estimation adaptative d'une densité multivariée sous l'hypothèse de la structure d'indépendance
Gilles Rebelles (I2M, Aix-Marseille Université)
Les résultats obtenus dans cette thèse concernent l'estimation non paramétrique de densités de probabilité. Ces travaux ont été motivés par le fait que les modèles [...]
10
Dec
Initiation aux variétés algébriques
(...)
Référence : Ideals, varieties, and Algorithms (en PDF), David Cox, John Little, and Donald O'Shea, Springer.Webpage
Typed realizability for first-order classical analysis
Valentin Blot (University of Bath)
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed lambda-mu-calculus. This allows a direct interpretation of [...]
Fixed-point elimination in the Intuitionisitic Propositional Calculus
Luigi Santocanale (LIF, Aix-Marseille Université)
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic [...]
