Abstract
We show that the full PCF language can be encoded in L-rec, a syntactically linear lambda-calculus extended with numbers, pairs, and an unbounded recursor that preserves the syntactic linearity of the calculus. We give call-by-name and call-by-value evaluation strategies and discuss implementation techniques for L-rec, exploiting its linearity.

Abstract
The paper proposes an integrated system to automatically assess motor function after neurological injury. A portable motion capture system was developed in order to obtain all the relevant three dimensional kinematics of the upper limb movement. These kinematics were analyzed by means of a decision tree classifier which features where inferred from the Functional Ability Score (FAS) of the Wolf Motor Function Test (WMFT). In addition, the system is able to correctly quantify the performance time of each selected task of the WMFT. In terms of the FAS the system and the clinician show coherent results for 3 out of 5 patients in the first task tested and 4 out of 5 for the second task tested. Regarding performance time, the mean error between the system and the clinician was of 0.216 s for the 25 trials performed (5 patients, 5 tasks each). These results represent an important proof of concept towards a system capable of precisely evaluate upper limb motor function after neurological injury.

Abstract
Dynamic modeling is of great importance regarding computer simulation and advanced control of parallel manipulators. Dynamic modeling of parallel manipulators presents an inherent complexity, mainly due to system closed-loop structure and kinematic constraints. In this paper an approach based on the manipulator generalized momentum is explored and applied to the dynamic modeling of a Stewart platform. The generalized momentum is used to compute the kinetic component of the generalized force acting on each manipulator rigid body. Analytic expressions for the rigid bodies' inertia and Coriolis and centripetal terms matrices are obtained, which can be added, as they are expressed in the same frame. Gravitational part of the generalized force is obtained using the manipulator potential energy.

Abstract
We consider an international trade economical model where two firms of different countries compete in quantities and can use three different strategies: (i) repealed collusion, (ii) deviation from the foreigner firm followed by punishment by he home country and then followed by repeated Cournot, or (iii) repeated deviation followed by punishment. In some cases (ii) and (iii) can be interpreted as dumping, We compute the profits of both firms for each strategy and we characterize the econc,mical parameters where each strategy is adopted by the firms.

Abstract
XENON10 is the first two-phase xenon time projection chamber (TPC) developed within the XENON dark matter search program. The TPC, with an active liquid xenon (LXe) mass of about 14 kg, was installed at the Gran Sasso Underground Laboratory (LNGS) in Italy, and operated for more than one year, with excellent stability and performance. Results from a dark matter search with XENON10 have been published elsewhere. In this paper, we summarize the design and performance of the detector and its subsystems, based on calibration data using sources of gamma-rays and neutrons as well as background and Monte Carlo simulation data. The results on the detector's energy threshold, position resolution, and overall efficiency show a performance that exceeds design specifications, in view of the very low energy threshold achieved (< 10 keVr) and low background rate achieved.

Abstract
An ultrasonic assisted solid-liquid extraction method was developed to determine the level of lead in the brain and urine of rats. Lead was determined by electrothermal atomic absorption spectrometry with longitudinal-Zeeman background correction. Several analytical drawbacks were addressed and overcome, namely small brain sample mass and the formation of precipitate in the urine samples. Utrasonication provided by an ultrasonic probe succeeded in extracting lead from brain samples. Furthermore, it was demonstrated that the formation of a precipitate lowered the lead content in the liquid phase of the urine. Lead was back extracted from the precipitate to the liquid phase with the aid of ultrasonic energy and acidifying the urine with 10% v/v nitric acid. A microwave-assisted acid digestion protocol was used to check the completeness of the lead extraction. The within bath and between bath precision was 5% (n = 9) and 7% (n = 3) respectively. The limit of quantification was 1.05 mu g g(-1) for brain samples and 2.1 mu g L(-1) for urine samples. A total of 6 samples of urine and 12 samples of brain from control rats and another 6 samples of urine and 12 samples of brain from rats fed with tap water rich in lead acetate were used in this research. Lead levels in brain and urine from exposed rats ranged from 1.9 +/- 0.2 mu g g(-1) to 3.5 +/- 0.2 mu g g(-1) and from 752 +/- 56 mu g L(-1) to 60.9 +/- 1.2 mg L(-1) respectively. Statistically significant differences of levels of lead in brain and urine were found between exposed and non exposed rats.