-
Automatic spectral coarse spaces for robust FETI and BDD algorithms
We introduce spectral coarse spaces for the BDD (Balanced Domain Decomposition) and FETI (Finite Element Tearing and Interconnecting) methods. These coarse spaces are... -
Knowledge compilation for online decision-making : application to the control...
Controlling autonomous systems requires to make decisions depending on current observations and objectives. This involves some tasks that must be executed online--with... -
Electrochemical reactivity at graphitic micro-domains on polycrystalline boro...
This paper deals with the electrochemical reactivity of boron doped diamond (BDD) electrodes. A comparative study has been carried out to show the influence of the... -
Simultaneous detection of ascorbic acid and dopamine with electrochemically p...
International audience -
Direct detection of lead in RTIL using DPASV on BDD film microcells and deter...
[Departement_IRSTEA]Eaux [TR1_IRSTEA]BELCA -
Boolean Functions: Cryptography and Applications.
ISBN: 2-87775-403-0 -
HFE and BDDs: A Practical Attempt at Cryptanalysis
HFE (Hidden Field Equations) is a public key cryptosystem using univariate polynomials over finite fields. It was proposed by J. Patarin in 1996. Well chosen... -
Implementing hash-consed structures in Coq
International audience -
Estimation of discretization error in domain decomposition computations
The control of the quality of mechanical computations arouses a growing interest in both design and certification processes. It relies on error estimators the use of... -
Blending verification in domain decomposition methods to achieve high quality...
International audience -
Solving BDD by Enumeration: An Update
International audience -
A strict error bound with separated contributions of the discretization and o...
International audience -
A note on BDD problems with λ2-gap
International audience -
Electrochemical Boron-Doped Diamond Film Microcells Micromachined with Femtos...
[Departement_IRSTEA]Eaux [TR1_IRSTEA]BELCA
