2015
Authors
Alves, S; Degtyarev, A; Fernández, M;
Publication
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)
Abstract
We define an extension of the category-based access control (CBAC) metamodel to accommodate a general notion of obligation. Since most of the well-known access control models are instances of the CBAC metamodel, we obtain a framework for the study of the interaction between authorisation and obligation, such that properties may be proven of the metamodel that apply to all instances of it. In particular, the extended CBAC metamodel allows security administrators to check whether a policy combining authorisations and obligations is consistent.
2015
Authors
Rocha, P; Rodrigues, R; Miguel Gomes, AM; Toledo, FMB; Andretta, M;
Publication
IFAC PAPERSONLINE
Abstract
This paper presents an approaches. that assists in producing highly compacted Nesting layouts with irregular pieces using free rotations. This approach consists in the selection and compaction of big pieces in a first phase, while in a second phase, places the remaining small pieces between the big pieces, compacting all of them. The effect of several parameters are analyzed, such as minimum length to be achieved in the first phase, attraction of the pieces to the edges of the container, attraction between each pair of pieces, among others. This approach can provide good compaction results, while improving computational cost in some cases, which cart allow to tackle real world problems more effectively mkt efficiently.
2015
Authors
Machado, M; Machado, N; Gouvinhas, I; Cunha, M; de Almeida, JMMM; Barros, AIRNA;
Publication
FOOD ANALYTICAL METHODS
Abstract
The phenolic compound concentration of olives and olive oil is typically quantified using HPLC; however, this process is expensive and time consuming. The purpose of this work was to evaluate the potential of Fourier transform infrared (FTIR) spectroscopy combined with chemometrics, as a rapid tool for the quantitative prediction of phenol content and antioxidant activity in olive fruits and oils from "Cobran double dagger osa" cultivar. Normalized spectral data using standard normal variate (SNV) and first and second Savitzky-Golay derivatives were used to build calibration models based on principal component regression (PCR) and on partial least squares regression (PLS-R), the performance of both models have been also compared. It was shown the possibility of establishing optimized regression models using the combined frequency regions of 3050-2750 and 1800-790 cm(-1) instead of the full mid-infrared spectrum was shown. It was concluded that, in general, the first derivative of data and PLS-R models offered enhanced results. Low root-mean-square error (RMSE) and high correlation coefficients (R (2)) for the calibration and for the validation sets were obtained.
2015
Authors
Cruz Pinto, PF;
Publication
Abstract
2015
Authors
Ribeiro, TPB; Paiva, ACR;
Publication
2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
Abstract
This paper presents an educational game (iLearnTest) to teach software testing. The body of knowledge covered by the game corresponds to the ISTQB certification foundation level. The game was validated in an experiment with college students where it was intended to assess whether the results of an examination by the students who used the game in learning were better than those obtained by students who have not used it. The results show that the iLearnTest may be a good complement to traditional teaching.
2015
Authors
Ruiz Armenteros, AM; Delgado, JM; Sousa, JJ; Hanssen, RF; Caro, M; Gil, AJ; Galindo Zaldívar, J; De Galdeano, CS;
Publication
European Space Agency, (Special Publication) ESA SP
Abstract
The Betic-Rif cordilleras are build-up in the western Mediterranean by the deformations related to the Eurasian-African plate boundary. The recent NW-SE convergence produces the simultaneous development of large folds and faults in the central part of the Internal Zones of the Betic Cordilleras, which continues active up to Present. The uplift of the mountain ranges is mainly related to the development of folds in this regional compressive setting. Sierra Tejeda constitutes a relief related to the development of a complex shaped recent antiform that is located near the coast line. At the northern limb of Sierra Tejeda is located the Zafarraya fault, a high-angle northwards dipping normal fault. Understanding the tectonic of the Zafarraya fault is crucial since one of the most destructive earthquakes (25th December 1884) on the Iberian Peninsula occurred along this fault (magnitude of 6.7). This paper investigates the applicability of satellite radar interferometry using ERS-1/2 SAR and Envisat ASAR datasets to help to constraint the geological hazard in this part of the Betic Cordillera.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.