Sentence examples for in the framework of focus from inspiring English sources

In this paper we show how to formally define security properties in the framework of Focus, a general approach for the specification and verification of reactive systems.

We study the radial dependence of peak intensities and fluences of solar energetic particle (SEP) events in the framework of the focused transport theory.

The indices were calculated according to the approach introduced by [23] and adopted in the framework of the Forest Focus Programme for the calculation of C pools in the forests in the federal state Baden-Württemberg [24].

A laboratory scale plant has been designed for this purpose in the framework of research activities focused on hybrid systems.

The seismic behavior of such walls is investigated in the framework of the study focussing on seismic evaluation of existing buildings.

In the framework of this article, we focus on 'intention to stay' rather than on actual attrition or turnover.

In the framework of a research project focused on bioprospecting for thermophilic microorganisms, a new species, T. thermostercus (designated as Buff), was recently isolated from buffalo-dung and classified as a new member of Thermoanaerobacterium.

Part of the data obtained during this experiment in the single-participant conditions, that have not been previously reported, were processed in the framework of the present study focusing on stimulus locked potentials.

To cover larger formats of Anger cameras, in particular in the framework of the HICAM project, specially focused on human imaging, we have developed new SDD arrays of larger active areas.

In the framework of this challenge, this study focused on the family GH51 α-l-arabinofuranosidase from Thermobacillus xylanilyticus, with the aim to understand why the mutation of position 344 provokes a significant modification of the transglycosylation/hydrolysis partition.

Moreover, the sensitivity of the model with respect to the solubility and transfer coefficient parameters is analyzed, in order to gain insight on the parameter to focus in the framework of a model calibration by experimental results.