| 1. |
- Aceto, Luca, et al.
(författare)
-
A Rule Format for Unit Elements
- 2009
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
|
|
| 2. |
- Aceto, Luca, et al.
(författare)
-
Algebraic properties for free!
- 2009
-
Ingår i: Bulletin of the European Association for Theoretical Computer Science. - : European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
-
Tidskriftsartikel (refereegranskat)abstract
- Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.
|
|
| 3. |
- Adamsson, Viola, et al.
(författare)
-
Effects of a Nordic diet on cardiovascular and metabolic risk factors in hypercholesterolemic subjects: a randomized controlled study
- 2009
-
Konferensbidrag (refereegranskat)abstract
- Background: Apart from lipid-lowering drugs, dietary changes can also reduce plasma LDL-C concentrations. No studies have been conducted to investigate the clinical effects of a diet with traditional foods originating from the Nordic countries. Method: In a randomised, controlled parallel-group intervention study 88 mildly hypercholesterolemic men and women were randomized to either an ad libitum Nordic diet (ND) or a control diet (CD) for 6 weeks. All meals and foods were provided to the participants in the ND group. Primary outcome measure was LDL-cholesterol, and secondary outcomes were blood pressure, plasma insulin and glucose concentrations. The ND was a high-fibre diet rich in plant foods (fruit, berries, vegetables, root vegetables, whole grain cereals and legumes), vegetable fats (rapeseed oil and nuts) and fatty fish, low-fat milk products, but low in salt, added sugars, saturated fats and red meats. Result: 86 subjects completed the study. Distribution of carbohydrates, fat and protein (E%) in ND was 54, 27, 19, respectively. ND lowered plasma total cholesterol 0.98±0.75 mmol/l (-16%), LDL-C by 0.83±0.67 mmol/l (-21%), HDL-C 0.08±0.23 mmol/l (-5%), including reduced LDL/HDL ratio by -0.42±0.57 (-14%) (all p<0.01 versus controls). Insulin concentrations decreased by 0.51± 2.25 (-9%, p=0.01) and systolic blood pressure by 7±13 mmHg (-5%, P<0.01) compared to controls. Despite diets were eaten ad libitum, body weight decreased by 3.0 kg in the ND (P<0.001). No significant differences were found for diastolic blood pressure, triglycerides or plasma glucose. Conclusion: A Nordic diet improves blood lipid profile, and insulin sensitivity as well as lowering blood pressure to a clinically significant extent in hypercholesterolemic subjects.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
- Alonso-Fernandez, Fernando, 1978-, et al.
(författare)
-
Fingerprint Recognition
- 2009
-
Ingår i: Guide to Biometric Reference Systems and Performance Evaluation. - London : Springer London. - 9781848002913 - 9781848002920 ; , s. 51-88
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- First, an overview of the state of the art in fingerprint recognition is presented, including current issues and challenges. Fingerprint databases and evaluation campaigns, are also summarized. This is followed by the description of the BioSecure Benchmarking Framework for Fingerprints, using the NIST Fingerpint Image Software (NFIS2), the publicly available MCYT-100 database, and two evaluation protocols. Two research systems are compared within the proposed framework. The evaluated systems follow different approaches for fingerprint processing and are discussed in detail. Fusion experiments involving different combinations of the presented systems are also given. The NFIS2 software is also used to obtain the fingerprint scores for the multimodal experiments conducted within the BioSecure Multimodal Evaluation Campaign(BMEC’2007) reported in Chap.11.
|
|
| 7. |
- Alonso-Fernandez, Fernando, et al.
(författare)
-
Fusion of static image and dynamic information for signature verification
- 2009
-
Ingår i: ICIP 2009. - Piscataway, N.J. : IEEE Press. - 9781424456543 ; , s. 2725-2728
-
Konferensbidrag (refereegranskat)abstract
- This paper evaluates the combination of static image (off-line) and dynamic information (on-line) for signature verification. Two off-line and two on-line recognition approaches exploiting information at the global and local levels are used. Experimental results are given using the BiosecurID database (130 signers, 3,640 signatures). Fusion experiments are done using a trained fusion approach based on linear logistic regression. It is shown experimentally that the local systems outperform the global ones, both in the on-line and in the off-line case. We also observe a considerable improvement when combining the two on-line systems, which is not the case with the off-line systems. The best performance is obtained when fusing all the systems together, which is specially evident for skilled forgeries when enough training data is available. ©2009 IEEE.
|
|
| 8. |
- Alonso-Fernandez, Fernando, et al.
(författare)
-
Impact of time variability in off-line writer identification and verification
- 2009
-
Ingår i: ISPA 2009. - Piscataway, N.J. : IEEE Press. ; , s. 540-545
-
Konferensbidrag (refereegranskat)abstract
- One of the biggest challenges in person recognition using biometric systems is the variability in the acquired data. In this paper, we evaluate the effects of an increasing time lapse between reference and test biometric data consisting of static images of handwritten signatures and texts. We use for our experiments two recognition approaches exploiting information at the global and local levels, and the BiosecurlD database, containing 3,724 signature images and 532 texts of 133 individuals acquired in four acquisition sessions distributed along a 4 months time span. We report results of the recognition systems working both in verification (one-to-one) and identification (one-to-many) mode. The results show the extent of the impact that the time separation between samples under comparison has on the recognition rates, being the local approach more robust to the time lapse than the global one. We also observe in our experiments that recognition based on handwritten texts provides higher accuracy than recognition based on signatures.
|
|
| 9. |
- Alonso-Fernandez, Fernando, et al.
(författare)
-
Iris Recognition Based on SIFT Features
- 2009
-
Ingår i: 2009 First IEEE International Conference on Biometrics, Identity and Securit. - 9781424452767 ; , s. 1-8
-
Konferensbidrag (refereegranskat)abstract
- Biometric methods based on iris images are believed to allow very high accuracy, and there has been an explosion of interest in iris biometrics in recent years. In this paper, we use the Scale Invariant Feature Transformation (SIFT) for recognition using iris images. Contrarily to traditional iris recognition systems, the SIFT approach does not rely on the transformation of the iris pattern to polar coordinates or on highly accurate segmentation, allowing less constrained image acquisition conditions. We extract characteristic SIFT feature points in scale space and perform matching based on the texture information around the feature points using the SIFT operator. Experiments are done using the BioSec multimodal database, which includes 3,200 iris images from 200 individuals acquired in two different sessions. We contribute with the analysis of the influence of different SIFT parameters on the recognition performance. We also show the complementarity between the SIFT approach and a popular matching approach based on transformation to polar coordinates and Log-Gabor wavelets. The combination of the two approaches achieves significantly better performance than either of the individual schemes, with a performance improvement of 24% in the Equal Error Rate.
|
|
| 10. |
- Alonso-Fernandez, Fernando, et al.
(författare)
-
Robustness of signature verification systems to imitators with increasing skills
- 2009
-
Ingår i: ICDAR '09. - Los Alamitos, Calif. : IEEE Computer Society. - 9780769537252
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we study the impact of an incremental level of skill in the forgeries against signature verification systems. Experiments are carried out using both off-line systems, involving the discrimination of signatures written on a piece of paper, and on-line systems, in which dynamic information of the signing process (such as velocity and acceleration) is also available. We use for our experiments the BiosecurID database, which contains both on-line and off-line versions of signatures, acquired in four sessions across a 4 month time span with incremental level of skill in the forgeries for different sessions. We compare several scenarios with different size and variability of the enrolment set, showing that the problem of skilled forgeries can be alleviated as we consider more signatures for enrolment. © 2009 IEEE.
|
|
