Two linearities for quantum computing in the lambda calculus

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Comment: Long journal version of TPNC'17 paper (doi:10.1007/978-3-319-71069-3_22) extended with third author's "Licenciatura"'s thesi

Distribution functions for a family of axially symmetric galaxy models

We present the derivation of distribution functions for the first four members of a family of disks, previously obtained in (MNRAS, 371, 1873, 2006), which represent a family of axially symmetric galaxy models with finite radius and well behaved surface mass density. In order to do this we employ several approaches that have been developed starting from the potential-density pair and, essentially using the method introduced by Kalnajs (Ap. J., 205, 751, 1976) we obtain some distribution functions that depend on the Jacobi integral. Now, as this method demands that the mass density can be properly expressed as a function of the gravitational potential, we can do this only for the first four discs of the family. We also find another kind of distribution functions by starting with the even part of the previous distribution functions and using the maximum entropy principle in order to find the odd part and so a new distribution function, as it was pointed out by Dejonghe (Phys. Rep., 133, 217, 1986). The result is a wide variety of equilibrium states corresponding to several self-consistent finite flat galaxy models.Comment: 12 pages, 7 figures, updated version, accepted for publication in Rev. Acad. Colomb. Cienc. Ex. Fis. Na

A cane-based low cost sensor to implement attention mechanisms in telecare robots

Telepresence robots have been recently used for Comprehensive Geriatric Assessment (CGA). Since the robot can not track a person continuously, there are several strategies to decide when to check them, from cyclic checks to simple requests from users and/or caregivers. In order to adapt to the user needs and condition, it is preferable to perform CGA as soon as regularities appear. However, this requires detection of potential issues in users to offer immediate service. In this work we propose a new low cost force sensor system to detect user’s condition and attract attention of CGA robots, so they can perform a full examination on a need basis. The main advantages of this system are: i) it can be attached to any standard commercial cane; ii) its power consumption is very reduced; and iii) it provides continuous information as long as the user walks. It has been tested with several elderly volunteers in care facilities. Results have proven that the sensor readings are indeed correlated with the users’ condition.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

Motion around a Monopole + Ring system: I. Stability of Equatorial Circular Orbits vs Regularity of Three-dimensional Motion

We study the motion of test particles around a center of attraction represented by a monopole (with and without spheroidal deformation) surrounded by a ring, given as a superposition of Morgan & Morgan discs. We deal with two kinds of bounded orbits: (i) Equatorial circular orbits and (ii) general three-dimensional orbits. The first case provides a method to perform a linear stability analysis of these structures by studying the behavior of vertical and epicyclic frequencies as functions of the mass ratio, the size of the ring and/or the quadrupolar deformation. In the second case, we study the influence of these parameters in the regularity or chaoticity of motion. We find that there is a close connection between linear stability (or unstability) of equatorial circular orbits and regularity (or chaoticity) of the three-dimensional motion.Comment: 13 pages, 17 figures, to appear in MNRA

Parental investments, socioemotional development and nutritional health in Chile

I use a national administrative dataset covering all children attending public funded pre-schools in Chile to estimate production functions for socioemotional skills and body mass index z-scores as a function of parental time investments, while accounting for endogeneity. Estimates are computed at each decile of the distribution allowing for heterogeneity on factor productivity. Results suggests that accounting for child characteristics and family composition, access to public goods, social support and self-efficacy are important drivers of parental time allocation. In turn, increased frequency of parental time investments can substantially boost socioemotional development and reduce obesity risk, particularly for vulnerable children. Children in the bottom of the socioemotional skills distribution could gain 0.4 standard deviations for an one standard deviation increase in time investments. Similar increase can lead to a reduction of 0.8 SD in body mass index z-score among severely obese students. Additional analyses indicates that socioemotional skills can significantly favor the adoption of health behaviors and improved task performance

Child development and obesity prevention: evidence from the Chilean School Meals Program

Childhood obesity is one of the major public health challenges of the 21stcentury.Evidence suggests that timely nutrition and stimulation interventions can prevent excessive weight gain, however little is known about the effects of scaled-up programs. I use a national administrative dataset to explore the short- and long-run exposure effects to the Chilean School Meal Program (SMP) on the nutritional status of children attending public and subsidized schools. I estimate the effects on the standarized body mass index (BMI) using a Regression Discontinuity design based on the SMP eligibility cutoffs over a household vulnerability score. Participation in 1stgrade reduces average BMI of girls but not boys in the same year. Effects are concentrated among overweight or obese children. Effects are driven by improvements in nutritional quality of meals.Non-sedentary students, children with higher socioemotional skills, and those receiving mental health services reap larger benefits from the SMP. Continued participation from1stgrade reduces boys’ average BMI at 5thgrade, relative to never participants

El director de arte

Un breve análisis de qué y quién es un director de arte, cuáles son sus funciones y qué es lo que debe hacer. Además, también se explican algunas herramientas que utiliza este profesional. Aparte de la documentación bibliográfica, también se ha desarrollado gracias a unas entrevistas realizadas a profesionales del sector.Grado en Publicidad y Relaciones Pública