Osasuna eta segurtasuna lanean; pizagarri ekonomikoak

De acuerdo a la normativa de TFEs el repositorio no puede dar acceso a este trabajo. Para consultarlo póngase en contacto con el tutor del trabajo. Puede acceder al resumen del mismo pinchando en el pdf adjunto

Typability is Undecidable for F+Eta

System F is the well-known polymorphically-typed λ-calculus with universal quantifiers ("∀"). F+η is System F extended with the eta rule, which says that if term M can be given type τ and M η-reduces to N, then N can also be given the type τ. Adding the eta rule to System F is equivalent to adding the subsumption rule using the subtyping ("containment") relation that Mitchell defined and axiomatized [Mit88]. The subsumption rule says that if M can be given type τ and τ is a subtype of type σ, then M can be given type σ. Mitchell's subtyping relation involves no extensions to the syntax of types, i.e., no bounded polymorphism and no supertype of all types, and is thus unrelated to the system F≤("F-sub"). Typability for F+η is the problem of determining for any term M whether there is any type τ that can be given to it using the type inference rules of F+η. Typability has been proven undecidable for System F [Wel94] (without the eta rule), but the decidability of typability has been an open problem for F+η. Mitchell's subtyping relation has recently been proven undecidable [TU95, Wel95b], implying the undecidability of "type checking" for F+η. This paper reduces the problem of subtyping to the problem of typability for F+η, thus proving the undecidability of typability. The proof methods are similar in outline to those used to prove the undecidability of typability for System F, but the fine details differ greatly.

Searching the Sky with CONFIGR-STARS

SyNAPSE program of the Defense Advanced Projects Research Agency (HRL Laboratories LLC, subcontract #801881-BS under DARPA prime contract HR0011-09-C-0001); CELEST, a National Science Foundation Science of Learning Center (SBE-0354378)

Afro-Cuban Bata Drum Aesthetics: Developing Individual and Group Technique, Sound and Identity

The Lucumi religion (also Santeria and Regla de Ocha) developed in 19th-century colonial Cuba, by syncretizing elements of Catholicism with the Yoruba worship of orisha. When fully initiated, santeros (priests) actively participate in religious ceremonies by periodically being possessed or "mounted" by a patron saint or orisha, usually within the context of a drumming ritual, known as a toque de santo, bembe, or tambor. Within these rituals, there is a clearly defined goal of trance possession, though its manifestation is not the sole measure of success or failure. Rather than focusing on the fleeting, exciting moments that immediately precede the arrival of an orisha in the form of a possession trance, this thesis investigates the entire four- to six-hour musical performance that is central to the ceremony. It examines the brief pauses, the moments of reduced intensity, the slow but deliberate build-ups of energy and excitement, and even the periods when novices are invited to perform the sacred bata drums, and places these moments on an equal footing with the more dynamic periods where possession is imminent or in progress. This document approaches Lucumi ritual from the viewpoint of bata drummers, ritual specialists who, during the course of a toque de santo, exercise wide latitude in determining the shape of the event. Known as omo Ana (children of the orisha Ana who is manifest in drums and rhythms), bata drummers comprise a fraternity that is accessible only through ritual initiation. Though they are sensitive to the desires of the many participants during a toque de santo, and indeed make their living by satisfying the expectations of their hosts, many of the drummers' activities are inwardly focused on the cultivation and preservation of this fraternity. Occasionally interfering with spirit possession, and other expectations of the participants, these aberrant activities include teaching and learning, developing group identity or signature sound, and achieving a state of intimacy among the musicians known as "communitas."

Assessing individual risk attitudes using field data from lottery games

We use information from the television game show with the highest guaranteed average payoff in the United States, Hoosier Millionaire, to analyze risktaking in a high-stakes experiment. We characterize gambling decisions under alternative assumptions about contestant behavior and preferences, and derive testable restrictions on individual risk attitudes based on this characterization. We then use an extensive sample of gambling decisions to estimate distributions of risk-aversion parameters consistent with the theoretical restrictions and revealed preferences. We find that although most contestants display risk-averse preferences, the extent of the risk aversion implied by our estimates varies substantially with the stakes involved in the different decisions.

Independent individual addressing of multiple neutral atom qubits with a micromirror-based beam steering system

We demonstrate a scalable approach to addressing multiple atomic qubits for use in quantum information processing. Individually trapped 87Rb atoms in a linear array are selectively manipulated with a single laser guided by a microelectromechanical beam steering system. Single qubit oscillations are shown on multiple sites at frequencies of ≃3.5 MHz with negligible crosstalk to neighboring sites. Switching times between the central atom and its closest neighbor were measured to be 6-7 μs while moving between the central atom and an atom two trap sites away took 10-14 μs. © 2010 American Institute of Physics.

The Emergence of Access Controls in Small-Scale Fishing Commons: A Comparative Analysis of Individual Licenses and Common Property-Rights in Two Mexican Communities

Addressing global fisheries overexploitation requires better understanding of how small-scale fishing communities in developing countries limit access to fishing grounds. We analyze the performance of a system based on individual licenses and a common property-rights regime in their ability to generate incentives for self-governance and conservation of fishery resources. Using a qualitative before-after-control-impact approach, we compare two neighbouring fishing communities in the Gulf of California, Mexico. Both were initially governed by the same permit system, are situated in the same ecosystem, use similar harvesting technology, and have overharvested similar species. One community changed to a common property-right regime, enabling the emergence of access controls and avoiding overexploitation of benthic resources, while the other community, still relies on the permit system. We discuss the roles played by power, institutions, socio-historic, and biophysical factors to develop access controls. © 2012 The Author(s).

Collective action and individual choice: rethinking how we regulate narcotics and antibiotics.

Governments across the globe have squandered treasure and imprisoned millions of their own citizens by criminalising the use and sale of recreational drugs. But use of these drugs has remained relatively constant, and the primary victims are the users themselves. Meanwhile, antimicrobial drugs that once had the power to cure infections are losing their ability to do so, compromising the health of people around the world. The thesis of this essay is that policymakers should stop wasting resources trying to fight an unwinnable and morally dubious war against recreational drug users, and start shifting their attention to the serious threat posed by our collective misuse of antibiotics.

The normative and the personal life: individual differences in life scripts and life story events among USA and Danish undergraduates.

Life scripts are culturally shared expectations about the order and timing of life events in a prototypical life course. American and Danish undergraduates produced life story events and life scripts by listing the seven most important events in their own lives and in the lives of hypothetical people living ordinary lives. They also rated their events on several scales and completed measures of depression, PTSD symptoms, and centrality of a negative event to their lives. The Danish life script replicated earlier work; the American life script showed minor differences from the Danish life script, apparently reflecting genuine differences in shared events as well as less homogeneity in the American sample. Both consisted of mostly positive events that came disproportionately from ages 15 to 30. Valence of life story events correlated with life script valence, depression, PTSD symptoms, and identity. In the Danish undergraduates, measures of life story deviation from the life script correlated with measures of depression and PTSD symptoms.

Studies on Understanding Individual Willingness to Disclose Genetic Information to Public and Private Stakeholders

While technologies for genetic sequencing have increased the promise of personalized medicine, they simultaneously pose threats to personal privacy. The public’s desire to protect itself from unauthorized access to information may limit the uses of this valuable resource. To date, there is limited understanding about the public’s attitudes toward the regulation and sharing of such information. We sought to understand the drivers of individuals’ decisions to disclose genetic information to a third party in a setting where disclosure potentially creates both private and social benefits, but also carries the risk of potential misuse of private information. We conducted two separate but related studies. First, we administered surveys to college students and parents, to determine individual attitudes toward and inter-generational influences on the disclosure decision. Second, we conducted a game-theory based experiment that assessed how participants’ decisions to disclose genetic information are influenced by societal and health factors. Key survey findings indicate that concerns about genetic information privacy negatively impact the likelihood of disclosure while the perceived benefits of disclosure and trust in the institution receiving the information have a positive influence. The experiment results also show that the risk of discrimination negatively affects the likelihood of disclosure, while the positive impact that disclosure has on the probability of finding a cure and the presence of a monetary incentive to disclose, increase the likelihood. We also study the determinants of individuals’ decision to be informed of findings about their health, and how information about health status is used for financial decisions.

Interrogation of individual intratumoral B lymphocytes from lung cancer patients for molecular target discovery.

Intratumoral B lymphocytes are an integral part of the lung tumor microenvironment. Interrogation of the antibodies they express may improve our understanding of the host response to cancer and could be useful in elucidating novel molecular targets. We used two strategies to explore the repertoire of intratumoral B cell antibodies. First, we cloned VH and VL genes from single intratumoral B lymphocytes isolated from one lung tumor, expressed the genes as recombinant mAbs, and used the mAbs to identify the cognate tumor antigens. The Igs derived from intratumoral B cells demonstrated class switching, with a mean VH mutation frequency of 4%. Although there was no evidence for clonal expansion, these data are consistent with antigen-driven somatic hypermutation. Individual recombinant antibodies were polyreactive, although one clone demonstrated preferential immunoreactivity with tropomyosin 4 (TPM4). We found that higher levels of TPM4 antibodies were more common in cancer patients, but measurement of TPM4 antibody levels was not a sensitive test for detecting cancer. Second, in an effort to focus our recombinant antibody expression efforts on those B cells that displayed evidence of clonal expansion driven by antigen stimulation, we performed deep sequencing of the Ig genes of B cells collected from seven different tumors. Deep sequencing demonstrated somatic hypermutation but no dominant clones. These strategies may be useful for the study of B cell antibody expression, although identification of a dominant clone and unique therapeutic targets may require extensive investigation.

ENIGMA and the individual: Predicting factors that affect the brain in 35 countries worldwide.

In this review, we discuss recent work by the ENIGMA Consortium (http://enigma.ini.usc.edu) - a global alliance of over 500 scientists spread across 200 institutions in 35 countries collectively analyzing brain imaging, clinical, and genetic data. Initially formed to detect genetic influences on brain measures, ENIGMA has grown to over 30 working groups studying 12 major brain diseases by pooling and comparing brain data. In some of the largest neuroimaging studies to date - of schizophrenia and major depression - ENIGMA has found replicable disease effects on the brain that are consistent worldwide, as well as factors that modulate disease effects. In partnership with other consortia including ADNI, CHARGE, IMAGEN and others(1), ENIGMA's genomic screens - now numbering over 30,000 MRI scans - have revealed at least 8 genetic loci that affect brain volumes. Downstream of gene findings, ENIGMA has revealed how these individual variants - and genetic variants in general - may affect both the brain and risk for a range of diseases. The ENIGMA consortium is discovering factors that consistently affect brain structure and function that will serve as future predictors linking individual brain scans and genomic data. It is generating vast pools of normative data on brain measures - from tens of thousands of people - that may help detect deviations from normal development or aging in specific groups of subjects. We discuss challenges and opportunities in applying these predictors to individual subjects and new cohorts, as well as lessons we have learned in ENIGMA's efforts so far.

Chemically tagging the Hyades stream: does it partly originate from the Hyades cluster?

The Hyades stream has long been thought to be a dispersed vestige of the Hyades cluster. However, recent analyses of the parallax distribution, of the mass function, and of the action-space distribution of stream stars have shown it to be rather composed of orbits trapped at a resonance of a density disturbance. This resonant scenario should leave a clearly different signature in the element abundances of stream stars than the dispersed cluster scenario, since the Hyades cluster is chemically homogeneous. Here, we study the metallicity as well as the element abundances of Li, Na, Mg, Fe, Zr, Ba, La, Ce, Nd and Eu for a random sample of stars belonging to the Hyades stream, and compare them with those of stars from the Hyades cluster. From this analysis: (i) we independently confirm that the Hyades stream cannot be solely composed of stars originating in the Hyades cluster; (ii) we show thatsomestars (namely 2/21) from the Hyades stream nevertheless have abundances compatible with an origin in the cluster; (iii) we emphasize that the use of Li as a chemical tag of the cluster origin of main-sequence stars is very efficient in the range 5500K ≤Teff≤ 6200K, since the Li sequence in the Hyades cluster is very tight, while at the same time spanning a large abundance range; (iv) we show that, while this evaporated population has a metallicity excess of ~0.2 dex with respect to the local thin-disc population, identical to that of the Hyades cluster, the remainder of the Hyades stream population has still a metallicity excess of ~0.06-0.15 dex, consistent with an origin in the inner Galaxy and (v) we show that the Hyades stream can be interpreted as an inner 4:1 resonance of the spiral pattern: this then also reproduces an orbital family compatible with the Sirius stream, and places the origin of the Hyades stream up to 1kpc inwards from the solar radius, which might explain the observed metallicity excess of the stream population. © 2011 The Authors Monthly Notices of the Royal Astronomical Society © 2011 RAS.

Por qué cae la productividad de los rodales forestales? : influencia de la dominancia de crecimiento del rodal y la eficiencia de crecimiento individual

Un patrón reconocido del desarrollo de los bosques (naturales o implantados) es la caída en su tasa de crecimiento luego de alcanzar un máximo. En el presente estudio se evaluó el efecto de los cambios en la estructura del rodal, caracterizados por la dominancia de crecimiento, sobre el crecimiento del rodal, la eficiencia de crecimiento del rodal y la eficiencia de crecimiento de árboles de distinto tamaño en parcelas raleadas y sin ralear de Pinus taeda. De acuerdo a la hipótesis planteada, la caída en el crecimiento del rodal estaría relacionada con la disminución en la eficiencia de crecimiento de los individuos de menor tamaño de un rodal debido al establecimiento de la dominancia de crecimiento. La dominancia de crecimiento en las parcelas sin ralear aumentó en forma continua con la edad, aunque siempre manteniendo valores bajos. En las parcelas raleadas los niveles de dominancia de crecimiento fueron aun menores y no se observó un patrón sistemático con la edad. Esta menor dominancia de crecimiento no resultó en una mayor eficiencia de crecimiento del rodal. Por otro lado, en las parcelas sin ralear los árboles de mayor tamaño siempre fueron más eficientes que los de menor tamaño, mientras que en las parcelas raleadas esto dependió del año. En contra de la hipótesis planteada, y al igual que la eficiencia de crecimiento de los árboles más chicos, la eficiencia de los árboles dominantes también disminuyó con la edad. De acuerdo a los bajos niveles de dominancia de crecimiento encontrados (en comparación a otros géneros) se concluye que ésta no es responsable de la caída de la eficiencia de crecimiento de los individuos más pequeños ni de la tasa de crecimiento del rodal en su conjunto. Asimismo, se propone que es la diferencia en eficiencia entre individuos la que conduce al desarrollo de la dominancia de crecimiento y no al revés.