The extended hypergeometric class of L\'evy processes

With a view to computing fluctuation identities related to stable processes, we review and extend the class of hypergeometric L\'evy processes explored in Kuznetsov and Pardo (arXiv:1012.0817). We give the Wiener-Hopf factorisation of a process in the extended class, and characterise its exponential functional. Finally, we give three concrete examples arising from transformations of stable processes.Comment: 22 page

Abstract Contract Synthesis and Verification in the Symbolic K Framework

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based structures and heap manipulation. Starting from the semantic definition of KernelC in the K semantic framework, we enrich the symbolic execution facilities recently provided by K with novel capabilities for contract synthesis that are based on abstract subsumption. Roughly speaking, we define an abstract symbolic technique that axiomatically explains the execution of any (modifier) C function by using other (observer) routines in the same program. We implemented our technique in the automated tool KindSpec 2.1, which generates logical axioms that express pre- and postcondition assertions which define the precise input/output behavior of the C routines. Thanks to the integrated support for symbolic execution and deductive verification provided by K, some synthesized axioms that cannot be guaranteed to be correct by construction due to abstraction can finally be verified in our framework with little effort.This work has been partially supported by the EU (FEDER) and Spanish MINECO under grant TIN2015-69175-C4-1-R, and and TIN2013-45732-C4-1-P, and by Generalitat Valenciana PROMETEOII/2015/013. Daniel Pardo was supported by FPU-ME grant FPU14/01830.Alpuente Frasnedo, M.; Pardo Pont, D.; Villanueva García, A. (2018). Abstract Contract Synthesis and Verification in the Symbolic K Framework. Universitat Politècnica de València. http://hdl.handle.net/10251/10030

ß-delayed neutron emission of r-process nuclei at the N=82 shell closure

Theoretical models of ß-delayed neutron emission are used as crucial inputs in r-process calculations. Benchmarking the predictions of these models is a challenge due to a lack of currently available experimental data. In this work the ß-delayed neutron emission probabilities of 33 nuclides in the important mass regions south and south-west of 132Sn are presented, 16 for the first time. The measurements were performed at RIKEN using the Advanced Implantation Detector Array (AIDA) and the BRIKEN neutron detector array. The values presented constrain the predictions of theoretical models in the region, affecting the final abundance distribution of the second r-process peak at .Peer ReviewedArticle signat per 58 autors/es J. Liu, S. Bae, N.T. Brewer, C.G. Bruno, R. Caballero-Folch, P.J. Coleman-Smith, I. Dillmann, C. Domingo-Pardo, A. Fijalkowska, N. Fukuda, S. Go, C.J. Griffin, R. Grzywacz, J. Ha, L. J. Harkness-Brennan, T. Isobe, D. Kahl, L.H. Khiem, G.G. Kiss, A. Korgul, S. Kubono, M. Labiche, I. Lazarus, P. Morrall, M.R. Mumpower, N. Nepal, R.D. Page, M. Piersa , V.F.E. Pucknell , B.C. Rasco, B. Rubio, K.P. Rykaczewski , H. Sakurai , Y. Shimizu , D.W. Stracener, T. Sumikama , H. Suzuki, J.L. Tain , H. Takeda, A. Tarifeño-Saldivia, A. Tolosa-Delgado , M. Wolinska-Cichocka , R. YokoyamaPostprint (author's final draft

74 Ge(n, ¿) cross section below 70 keV measured at n_TOF CERN

The version of record os available online at:https://doi.org/10.1140/epja/s10050-022-00878-5Neutron capture reaction cross sections on 74Ge are of importance to determine 74Ge production during the astrophysical slow neutron capture process. We present new resonancedataon74Ge(n,¿)reactionsbelow70keVneutron energy. We calculate Maxwellian averaged cross sections, combining our data below 70 keV with evaluated cross sections at higher neutron energies. Our stellar cross sections are in agreement with a previous activation measurement performed at Forschungszentrum Karlsruhe by Marganiec et al., once their data has been re-normalised to account for an update in the reference cross section used in that experimentPeer ReviewedArticle escrit per 123 autors/autores C. Lederer-Woods, O. Aberle, J. Andrzejewski, L. Audouin, V. Bécares, M. Bacak, J. Balibrea, M. Barbagallo, S. Barros, U. Battino, F. Bečvář, C. Beinrucker, E. Berthoumieux, J. Billowes, D. Bosnar, M. Brugger, M. Caamaño, F. Calviño, M. Calviani, D. Cano-Ott, R. Cardella, A. Casanovas, D. M. Castelluccio, F. Cerutti, Y. H. Chen, E. Chiaveri, N. Colonna, G. Cortés, M. A. Cortés-Giraldo, L. Cosentino, L. A. Damone, M. Diakaki, C. Domingo-Pardo, R. Dressler, E. Dupont, I. Durán, B. Fernández-Domínguez, A. Ferrari, P. Ferreira, P. Finocchiaro, V. Furman, K. Göbel, A. R. García, A. Gawlik-Ramięga, T. Glodariu, I. F. Gonçalves, E. González-Romero, A. Goverdovski, E. Griesmayer, C. Guerrero, F. Gunsing, H. Harada, T. Heftrich, S. Heinitz, J. Heyse, D. G. Jenkins, E. Jericha, F. Käppeler, Y. Kadi, T. Katabuchi, P. Kavrigin, V. Ketlerov, V. Khryachkov, A. Kimura, N. Kivel, M. Kokkoris, M. Krtička, E. Leal-Cidoncha, H. Leeb, J. Lerendegui-Marco, S. Lo Meo, S. J. Lonsdale, R. Losito, D. Macina, J. Marganiec, T. Martínez, C. Massimi, P. Mastinu, M. Mastromarco, F. Matteucci, E. A. Maugeri, E. Mendoza, A. Mengoni, P. M. Milazzo, F. Mingrone, M. Mirea, S. Montesano, A. Musumarra, R. Nolte, A. Oprea, N. Patronis, A. Pavlik, J. Perkowski, I. Porras, J. Praena, J. M. Quesada, K. Rajeev, T. Rauscher, R. Reifarth, A. Riego-Perez, P. C. Rout, C. Rubbia, J. A. Ryan, M. Sabaté-Gilarte, A. Saxena, P. Schillebeeckx, S. Schmidt, D. Schumann, P. Sedyshev, A. G. Smith, A. Stamatopoulos, G. Tagliente, J. L. Tain, A. Tarifeño-Saldivia, L. Tassan-Got, A. Tsinganis, S. Valenta, G. Vannini, V. Variale, P. Vaz, A. Ventura, V. Vlachoudis, R. Vlastou, A. Wallner, S. Warren, M. Weigand, C. Weiss, C. Wolf, P. J. Woods, T. Wright, P. ŽugecPostprint (published version

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Tales as an educational resource in health education: a study made by students of the University of Alcalá Degree of Health Biology and the NGO Action Aid

[ES] Con motivo del desarrollo de una asignatura del Grado de Biología Sanitaria de la Universidad de Alcalá, se plantea a los estudiantes la posibilidad de aplicar los contenidos aprendidos en el grupo de población de niños de entre tres y siete años. El objetivo radicaba en explicar, con un lenguaje sencillo, cuestiones básicas sobre la prevención y control de las principales parasitosis que afectan a la infancia. La manera de hacerlo ha sido mediante cuentos, pequeños relatos o poesía que han acompañado de dibujos, también realizados por ellos. Los textos y dibujos se han completado aprovechando el trabajo fotográfico que otro grupo de estudiantes de clase ha elaborado en la parte práctica de la asignatura y que trataba de hacer atlas virtuales. En cada cuento se han añadido, además, explicaciones más específicas sobre los organismos parásitos causantes de enfermedad bajo el epígrafe ¿Sabes que...? El resultado de este trabajo ha sido un libro de recopilación de cuentos ameno, didáctico,[EN] Respect to the development of a subject in the Health Biology Grade, University of Alcalá, students raises the possibility of applying the contents in the population group  of  children  between  three  and seven years. The aim was to explain, in simple language, basic questions about the prevention and control of the major parasitic diseases that affect children. The way to do it was through stories, short stories  or  poetries  with  drawings,  also made  by  students.  Texts  and  drawings were completed with the photographic work of another group of students that made in their practical (as a part of the course) that consists in making parasites virtual atlas. So, in each story, they have also added more specific explanations of parasitic  organisms  that  cause  diseases under the heading Do you know that ... ?The result of this work was the edition of a parasites stories book collection of entertaining,  educational,  aesthetically attractive  and  especially  useful  for collegeGiménez Pardo, C. (2015). El cuento como recurso educativo en educación sanitaria: un trabajo realizado por estudiantes del Grado de Biología Sanitaria de la Universidad de Alcalá y la ONGD Ayuda en Acción. REDU. Revista de Docencia Universitaria. 13(2):272-284. https://doi.org/10.4995/redu.2015.5448OJS272284132Boni, A., & Perez-Foguet, A. (coords.) (2006). Construir la ciudadanía global desde la Universidad. Intermón Oxfam.Brockbank.A. & McGill, I. (2002). Aprendizaje reflexivo en la educación superior. Madrid: Morata.Cano, E., & Ion, G. (2012). Prácticas evaluadoras en las universidades catalanas: hacia un modelo centrado en competencias. Estudios sobre Educación, 22, 155-157.Cabellos Castilla, M. R.,Canabal García, C., Castillo García, G. S., Cobos López, J., Gavaldón Hernández, G., Gigante Pérez, C., Giménez Pardo, C., Gómez González, J. L., Gómez Carrasco, J. A., Margalef, L., Miguel Ambite, E., Miranda Camarero, M. V., Pagés Arévalo, C., Sánchez Sánchez, B., Santamaría Angulo, C & Torné, E. (2007). Estrategias de innovación docente para favorecer el aprendizaje autónomo de los estudiantes de la Universidad de Alcalá. Servicio de Publicaciones de la Universidad de Alcalá (ISBN: 978-84-8138-735-3) pp 251.Chalmers, D., Fuller, R. (1996). Teaching for Learning at University. Theory and Practice. London: Kogan Page.Cuadros, J., Gegúndez, MI., González, R., Giménez,C., Lledó, L., Romanyk, J., Saz, J. V. (2013). Microbiología Médica. Experiencia de innovación docente: artículos de revisión en Microbiología Médica realizado por los estudiantes de 3º Curso del Grado en Medicina de la Universidad de Alcalá. Ed. LDL.Díaz Barriga,A. (1997). Didáctica y currículo. Mexico: Paidós.Farias, C. y col. (1999). Motivación, ¿cómo lograrla? Lima: Servicio Psicopedagógico PUCP.Fernández March, A. (2010). La evaluación de competencias. Revista de Docencia Universitaria, 8 (1), 11-34.Giménez-Pardo, C. (2006). Resultado de una experiencia educativa realizada en la Universidad de Alcalá con alumnos de educación infantil y primaria. Revista Educación y Futuro (Digital), 1-4.Giménez-Pardo, C. (2007). Resultado de una experiencia docente en el campo de las ciencias realizada en la Universidad de Alcalá.Revista Fuentes. Revista de la Facultad de Ciencias de la Educación de la Universidad de Sevilla, 7, 1-19Giménez-Pardo, C. (2008). Tutorización de un proyecto de investigación realizado con alumnas de la licenciatura de farmacia: un paso más hacia el EEES. V Jornadas Internacionales de Innovación Universitaria, Publicado en formato CD (ISBN: 978-84-691-2665-3).Giménez-Pardo, C. (2011). Valoración a lo largo de once años de diferentes recursos didácticos utilizados en una asignatura práctica de parasitología en la Universidad de Alcalá. Revista Eureka sobre Enseñanza y Divulgación de las Ciencias, 8(1),Giménez Pardo, C. & Casado Escribano, N. (2007). Resultado de una experiencia educativa en el campo de la parasitología realizado con los alumnos de la Universidad Senior de Alcalá. Revista Educación y Futuro(Digital): 1-6.Giménez Pardo, C., & Casado Escribano, N. (2008). Educando en la salud: prevención y control de la pediculosis. Texto universitario en formato DVD, Servicio de Publicaciones de la Universidad de Alcalá, 2008. ISBN: 978-84-8138-779-7.Giménez-Pardo, C., Pagés-Arévalo, C. & Martínez-Herráiz, J. J. (2010). Análisis, diseño y desarrollo de un juego educativo para ordenador sobre enfermedades tropicales y salud internacional: una herramienta docente más de apoyo al profesor. Revista de Docencia Universitaria, 8 (2), 131-146. (http://redaberta.usc.es/redu).Giménez-Pardo, C., Pagés-Arévalo, C. & Martínez-Herráiz, J. J. (2011). Diseño y desarrollo de un juego educativo para ordenador sobre enfermedades tropicales y salud internacional: una herramienta docente más de apoyo al profesor universitario. Revista Eureka sobre Enseñanza y Divulgación de las Ciencias,8(2), 221-228.Hargreaves, A. & Earl, L. (2001). Aprender a cambiar. La enseñanza más allá de las materias y los niveles. Barcelona: Octaedro.López, J. I. (2011). Un giro copernicano en la enseñanza universitaria: formación por competencias. Revista de Educación, 356, 279-301.Martínez Martín, M., Buxarrias Estrada, M.R., & Esteban Bara, F. (2002). La Universidad como espacio de aprendizaje ético. Revista Iberoamericana de Educación (OEI), nº 29.Marton, F., Dall'Alba, G. y Beaty, E.(1993). Concepcions of learning. International Journal of Educational Research, 19, 277-300.O'Connor, J. & Seymur, J. (1992). Introducción a la programación neurolinguística. Ediciones Urano.Ortega Carpio, M. L., Cordón-Pedregosa, M. R. & Sianes, A. (coords.) (2013). Educar para la ciudadanía global en el espacio universitario. Buenas prácticas de colaboración entre Universidad y ONGD.Pozo, J. I. (1998). Cuando los alumnos no aprenden lo que les enseñamos: algunas,nociones de psicología del aprendizaje aplicadas a la enseñanza universitaria. En Holzbacher,A y Suárez, M. Reflexiones sobre la enseñanza en la literatura. Madrid: UAM.Ramos, J.(2002). Motivación, entorno e investigación. En Cañal, P (coord): La innovación educativa. Madrid: Universidad Internacional de Andalucía/Akal.Säljö, R. (1979). Learning in the learner's perspective: some commonsense conceptions. Reports of the Institute of Education, 76. University of Gotenbörg.Unceta, K. (2004). La Universidad y la Cooperación al Desarrollo: hacia un marco de colaboración con las ONGD. Plataforma 2015, 185-198.Zabalza, M. A. (2002). Diseño curricular en la universidad. Competencias del docente universitario. Madrid: Narcea.Zabalza, M. A. (2003). Competencias docentes del profesorado universitario. Calidad y desarrollo profesional. Madrid: Narcea.Zabalza, M. A. (2007). La enseñanza universitaria: el escenario y sus protagonistas. Madrid: Narcea

Radiative neutron capture cross-section measurement of ge isotopes at n_TOF CERN facility and its importance for stellar nucleosynthesis

This manuscript summarizes the results of radiative neutron capture cross-section measurements on two stable germanium isotopes, 70Ge and 73Ge. Experiments were performed at the n_TOF facility at CERN via the time-of-flight technique, over a wide neutron energy range, for all stable germanium isotopes (70,72,73,74, and 76). Results for 70Ge [Phys. Rev. C 100, 045804 (2019)] and 73Ge [Phys. Lett. B 790, 458 (2019)] are already published. In the field of nuclear structure, such measurements allow to study excited levels close to the neutron binding energy and to obtain information on nuclear properties. In stellar nucleosynthesis research, neutron induced reactions on germanium are of importance for nucleosynthesis in the weak component of the slow neutron capture processes.Peer ReviewedArticle signat per 134 autors/autores: A. Gawlik, C. Lederer-Woods, J. Andrzejewski, J. Perkowski, U. Battino, P. Ferreira, F. Gunsing, S. Heinitz, M. Krtička, C. Massimi, F. Mingrone, R. Reifarth, A. Tattersall, S. Valenta, C. Weiss, O. Aberle, L. Audouin, M. Bacak, J. Balibrea, M. Barbagallo, S. Barros, V. Bécares, F. Bečvář, C. Beinrucker, E. Berthoumieux, J. Billowes, D. Bosnar, M. Brugger, M. Caamaño, F. Calviño, M. Calviani, D. Cano-Ott, R. Cardella, A. Casanovas, D.M. Castelluccio, F. Cerutti, Y.H. Chen, E. Chiaveri, N. Colonna, G. Cortés, M.A. Cortés-Giraldo, L. Cosentino, L.A. Damone, M. Diakaki, M. Dietz, C. Domingo-Pardo, R. Dressler, E. Dupont, I. Durán, B. Fernández-Domínguez, A. Ferrari, P. Finocchiaro, V. Furman, K. Göbel, A.R. García, T. Glodariu, I.F. Gonçalves, E. González-Romero, A. Goverdovski, E. Griesmayer, C. Guerrero, H. Harada, T. Heftrich, J. Heyse, D.G. Jenkins, E. Jericha, F. Käppeler, Y. Kadi, T. Katabuchi, P. Kavrigin, V. Ketlerov, V. Khryachkov, A. Kimura, N. Kivel, I. Knapova, M. Kokkoris, E. Leal-Cidoncha, H. Leeb, J. Lerendegui-Marco, S. Lo Meo, S.J. Lonsdale, R. Losito, D. Macina, T. Martínez, P. Mastinu, M. Mastromarco, F. Matteucci, E.A. Maugeri, E. Mendoza, A. Mengoni, P.M. Milazzo, M. Mirea, S. Montesano, A. Musumarra, R. Nolte, A. Oprea, N. Patronis, A. Pavlik, J.I. Porras, J. Praena, J.M. Quesada, K. Rajeev, T. Rauscher, A. Riego-Perez, P.C. Rout, C. Rubbia, J.A. Ryan, M. Sabaté-Gilarte, A. Saxena, P. Schillebeeckx, S. Schmidt, D. Schumann, P. Sedyshev, A.G. Smith, A. Stamatopoulos, G. Tagliente, J.L. Tain, A. Tarifeño-Saldivia, L. Tassan-Got, A. Tsinganis, G. Vannini, V. Variale, P. Vaz, A. Ventura, V. Vlachoudis, R. Vlastou, A. Wallner, S. Warren, M. Weigand, C. Wolf, P.J. Woods, T. Wright, P. ŽugecObjectius de Desenvolupament Sostenible::7 - Energia Assequible i No ContaminantPostprint (author's final draft

Multiple Charge State Beam Acceleration at Atlas

A test of the acceleration of multiple charge-state uranium beams was performed at the ATLAS accelerator. A 238U+26 beam was accelerated in the ATLAS PII linac to 286 MeV (~1.2 MeV/u) and stripped in a carbon foil located 0.5 m from the entrance of the ATLAS Booster section. A 58Ni9+ 'guide' beam from the tandem injector was used to tune the Booster for 238U+38. All charge states from the stripping were injected into the booster and accelerated. Up to 94% of the beam was accelerated through the Booster linac, with losses mostly in the lower charge states. The measured beam properties of each charge state and a comparison to numerical simulations are reported in this paper.Comment: LINAC2000, MOD0

Multi-domain case-based module for customer support

[EN] Technology management centres provide technological and customer support services for private or public organisations. Commonly, these centres offer support by using a helpdesk software that facilitates the work of their operators. In this paper, a CBR module that acts as a solution recommender for customer support environments is presented. The CBR module is flexible and multi-domain, in order to be easily integrable with any existing helpdesk software in the company. (c) 2008 Elsevier Ltd. All rights reserved.This work was partially supported by CONSOLIDER-INGENIO 2010 under grant CSD2007-00022 and by the Spanish government and FEDER funds under PROFIT FIT-340001-2004-11, CICYT TIN2005-03395 and TIN2006-14630-C0301 projectsHeras Barberá, SM.; Garcia Pardo Gimenez De Los Galanes, JA.; Ramos-Garijo Font De Mora, R.; Palomares Chust, A.; Botti, V.; Rebollo Pedruelo, M.; Julian Inglada, VJ. (2009). Multi-domain case-based module for customer support. Expert Systems with Applications. 36(3):6866-6873. https://doi.org/10.1016/j.eswa.2008.08.003S6866687336