-
Efficient DG-like formulation equipped with curved boundary edges for solving...
International audience -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;... -
Using visual representation for decision support in Institutional Research Ev...
International audience -
Les Sciences Arabes en Afrique
International audience -
Critical Ising model and spanning trees partition functions
38 pages, 26 figures -
Elements of mathematics and logic for computer program analysis
1 Introduction 2 Induction and sequences 2.1 Induction on natural numbers 2.2 Words and sequences 2.3 A digression on set theory 2.4 Induction on words 2.5 Grammar rules and... -
Recycler les eaux usées pour l'irrigation
Brève de Mathématiques de la Planète Terre -
Rigidity of Hamiltonian actions on Poisson manifolds
International audience -
Détection de ruptures à partir de méthodes à noyaux
This dataset has no description
-
Stochastic Cellular Automata: Correlations, Decidability and Simulations
International audience -
Propagation of Salmonella within an industrial hen house
International audience -
Une classe d'inéquations d'évolution implicites et applications à des problèm...
International audience -
Non-integrability by discrete quadratures
International audience -
Au milieu du gué : entre formation des enseignants et recherche en didactique...
This text deals with three topics : teacher education, geometry teaching, problem solving, based on a common theme, mathematics teacher education for primary school... -
Convolution powers in the operator-valued framework
International audience -
Paul Bernays et la rénovation des fondements philosophiques des mathématiques
The history of the foundations of mathematics in the XXth century lead to a revision of the meaning of traditional philosophical notions such as "evidence",... -
Resonances for the transmission problem and in linear elasticity
We study the distribution of the resonances for the transmission problem as<br />well as for the system of the linear elasticity. In the case of the<br... -
Discrete Fourier Analysis I
3rd cycle -
Analytic number theory
3rd cycle
