Fabio Vergara Suárez*, Rafael López Andú jar, Eva Montalvá Orón, Carolina Ramı́rez Ribelles, Judith Pérez Rojas Unidad de Cirugı́a Hepatobiliopancreática y Trasplante, Hospital Universitario y Politécnico La Fe, Valencia, Spain Servicio de Radiodiagnóstico, Hospital Universitario y Politécnico La Fe, Valencia, Spain Servicio de Anatomı́a Patológica, Hospital Universitario y Politécnico La Fe, Vale...

Correction of Functional Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 7M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P.Valencia), M. Falaschi (U. Udine), and S. Lucas (U.P. Valencia) Runtime Verification of Concurrent Haskell (work in progress) . . . . . . . . . . 21V. Stolz (RWTH Aachen) and F. Huch (CAU Kiel) Functional Logic Programming I A Mona...

1 Departamento de Estad́ıstica e Investigación Operativa Aplicadas y Calidad, Universitat Politècnica de València, Valencia, Spain [email protected] 2 Institut Universitari d’Automàtica i Informàtica Industrial, Universitat Politècnica de València, Valencia, Spain [email protected] 3 Instituto de Bioloǵıa Molecular y Celular de las Plantas, CSIC-Universitat Politècnica de València, Valencia, Spain 4...

(1) Cardiocirculatory Unit, Health Research Institute La Fe, Valencia, Spain. (2) Heart Failure and Transplantation Unit, Cardiology Department, University and Polytechnic La Fe Hospital, Valencia, Spain. (3) Cellular and Molecular Cardiology Research Unit, Department of Cardiology and Institute of Biomedical Research, University Clinical Hospital, Santiago de Compostela, Spain. (4) Epigenomic ...

Department of Building and Industrial Production Engineering, University CEU Cardenal Herrera Avda.Seminario s/n, 46113, Moncada, Valencia, Spain Email: [email protected], [email protected], [email protected], [email protected] (*corresponding author), web page: http://www.uchceu.es Departamento de Ingeniería Mecánica y de Materiales, Universidad Politécnica de Vale...

Iván Agulló,* José Navarro-Salas, Gonzalo J. Olmo, and Leonard Parker1,x Physics Department, University of Wisconsin-Milwaukee, P.O. Box 413, Milwaukee, Wisconsin 53201, USA Departamento de Fı́sica Teórica and IFIC, Centro Mixto Universidad de Valencia-CSIC. Facultad de Fı́sica, Universidad de Valencia, Burjassot-46100, Valencia, Spain Instituto de Estructura de la Materia, CSIC, Serrano 121, 280...

R. Balbinot,* A. Fabbri, S. Farese, and R. Parentani3,x Dipartimento di Fisica dell’Università di Bologna and INFN sezione di Bologna, 40126 Bologna, Italy Departamento de Fı́sica Teórica and IFIC, Centro Mixto Universidad de Valencia-CSIC. Facultad de Fı́sica, Universidad de Valencia, 46100, Burjassot, Valencia, Spain Laboratoire de Physique Théorique, CNRS UMR 8627, Bât. 210, Université Paris X...

Statistical post-processing is an indispensable tool for providing accurate weather forecasts and early warnings extremes. Most statistical univariate, with dependencies introduced via use of empirical copula. Standard methods take a dependence template from either the raw ensemble output (ensemble copula coupling, ECC) or observations (Schaake Shuffle, SSh). There are drawbacks to both methods...

PhD thesis in Computer Science written by Yassine Benajiba under the supervision of Dr Paolo Rosso (Univ. Politécnica de Valencia). The author was examined in May 2009 in Valencia by the committee formed by Felisa Verdejo (UNED), Mona Diab (Columbia Univ.), Imed Zitouni (IBM T.J. Watson Research Center), Horacio Rodriguez (Univ. Politécnica de Cataluña) and Encarna Segarra (Univ. Politécnica de...