This last decade, a new class of data structures named Scalable Distributed Data Structures (SDDSs), is appeared completely dedicated to a distributed...
In this paper we introduce an environment for writing, automatically proving and transforming algorithms. The environment is named “CONCORD&rdqu...
Determination of the concentration of hydrogen in zeolitic materials by Elastic Recoil Detection Analysis (ERDA) has been carried out. Irradiation eff...
H2+ ion implantations were performed at 80 KeV and different doses on pure aluminium samples with a 4 MV VDG accelerator. An exact determination of th...
Prompt [gamma]-rays emitted during the bombardment of zeolite samples with 1.7 MeV protons are used for the simultaneous quantitative analysis of Al,...
