-
Reducibility of cocycles under a Brjuno-Rüssmann arithmetical condition
The arithmetics of the frequency and of the rotation number play a fundamental role in the study of reducibility of analytic quasi-periodic cocycles which are... -
Microporosity of BIF hosted massive hematite ore, Iron Quadrangle, Brazil.
Massive hematite ore (MHO) is a special high-grade iron ore, used as lump ore in the process of obtaining direct reduction iron (DRI). The influence of porosity on the... -
Thermal stability of potential fuel cell core materials La2Mo2-yWyO9 (0 ≤ y ≤...
La2Mo2-yWyO9 (y = 1.0 to 2.0) oxides were synthesized by conventional solid state route and studied by XRD, TC-XRD and DTA. A phase diagram of the series was proposed.... -
Influence of the texturalproperties of porousaluminas on the reducibility of ...
International audience -
Toward a General Rewriting-Based Framework for Reducibility
Reducibility is a powerful proof method which applies to various properties of typed terms in different type systems. For strong normalization, different vari- ants... -
Reducibility and Floquet Theory for Nonlinear Differentials Systems
We use a Floquet theory for quasi-periodic linear ordinary differential equations due to Zhensheng Lin to obtain results, of existence, unicity, continuous and...
