On the strategic equivalence of multiple-choice test scoring rules

A disadvantage of multiple-choice tests is that students have incentives to guess. To discourage guessing, it is common to use scoring rules that either penalize wrong answers or reward omissions. These scoring rules are considered equivalent in psychometrics, although experimental evidence has not always been consistent with this claim. We model students' decisions and show, first, that equivalence holds only under risk neutrality and, second, that the two rules can be modified so that they become equivalent even under risk aversion. This paper presents the results of a field experiment in which we analyze the decisions of subjects taking multiple-choice exams. The evidence suggests that differences between scoring rules are due to risk aversion as theory predicts. We also find that the number of omitted items depends on the scoring rule, knowledge, gender and other covariates.

A note on bargaining power and managerial delegation in multimarket oligopolies

In a two-stage delegation game model with Nash bargaining between a manager and an owner, an equivalence result is found between this game and Fershtman and Judd's strategic delegation game (Fershtman and Judd, 1987). Interestingly, although both games are equivalent in terms of profits under certain conditions, managers obtain greater rewards in the bargaining game. This results in a redistribution of profits between owners and managers.

Stability and Limit Oscillations of a Control Event-Based Sampling Criterion

This paper investigates the presence of limit oscillations in an adaptive sampling system. The basic sampling criterion operates in the sense that each next sampling occurs when the absolute difference of the signal amplitude with respect to its currently sampled signal equalizes a prescribed threshold amplitude. The sampling criterion is extended involving a prescribed set of amplitudes. The limit oscillations might be interpreted through the equivalence of the adaptive sampling and hold device with a nonlinear one consisting of a relay with multiple hysteresis whose parameterization is, in general, dependent on the initial conditions of the dynamic system. The performed study is performed on the time domain.

DNA Damage and Transcriptional Changes in the Gills of Mytilus galloprovincialis Exposed to Nanomolar Doses of Combined Metal Salts (Cd, Cu, Hg)

[ENG]Aiming at an integrated and mechanistic view of the early biological effects of selected metals in the marine sentinel organism Mytilus galloprovincialis, we exposed mussels for 48 hours to 50, 100 and 200 nM solutions of equimolar Cd, Cu and Hg salts and measured cytological and molecular biomarkers in parallel. Focusing on the mussel gills, first target of toxic water contaminants and actively proliferating tissue, we detected significant dose-related increases of cells with micronuclei and other nuclear abnormalities in the treated mussels, with differences in the bioconcentration of the three metals determined in the mussel flesh by atomic absorption spectrometry. Gene expression profiles, determined in the same individual gills in parallel, revealed some transcriptional changes at the 50 nM dose, and substantial increases of differentially expressed genes at the 100 and 200 nM doses, with roughly similar amounts of up- and down-regulated genes. The functional annotation of gill transcripts with consistent expression trends and significantly altered at least in one dose point disclosed the complexity of the induced cell response. The most evident transcriptional changes concerned protein synthesis and turnover, ion homeostasis, cell cycle regulation and apoptosis, and intracellular trafficking (transcript sequences denoting heat shock proteins, metal binding thioneins, sequestosome 1 and proteasome subunits, and GADD45 exemplify up-regulated genes while transcript sequences denoting actin, tubulins and the apoptosis inhibitor 1 exemplify down-regulated genes). Overall, nanomolar doses of co-occurring free metal ions have induced significant structural and functional changes in the mussel gills: the intensity of response to the stimulus measured in laboratory supports the additional validation of molecular markers of metal exposure to be used in Mussel Watch programs

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Randomised, crossover clinical trial, in healthy volunteers, to compare the systemic availability of two topical intranasal budesonide formulations

Background: Budesonide has a long history as intranasal drug, with many marketed products. Efforts should be made to demonstrate the therapeutic equivalence and safety comparability between them. Given that systemic availability significantly varies from formulations, the clinical comparability of diverse products comes to be of clinical interest and a regulatory requirement. The aim of the present study was to compare the systemic availability, pharmacodynamic effect, and safety of two intranasal budesonide formulations for the treatment of rhinitis. Methods: Eighteen healthy volunteers participated in this randomised, controlled, crossover, clinical trial. On two separated days, subjects received a single dose of 512 mu g budesonide (4 puffs per nostril) from each of the assayed devices (Budesonida nasal 64 (R), Aldo-Union, Spain and Rhinocort 64 (R), AstraZeneca, Spain). Budesonide availability was determined by the measurement of budesonide plasma concentration. The pharmacodynamic effect on the hypothalamic-adrenal axis was evaluated as both plasma and urine cortisol levels. Adverse events were tabulated and described. Budesonide availability between formulations was compared by the calculation of 90% CI intervals of the ratios of the main pharmacokinetic parameters describing budesonide bioavailability. Plasma cortisol concentration-time curves were compared by means of a GLM for Repeated Measures. Urine cortisol excretion between formulations was compared through the Wilcoxon's test. Results: All the enroled volunteers successfully completed the study. Pharmacokinetic parameters were comparable in terms of AUC(t) (2.6 +/- 1.5 vs 2.2 +/- 0.7), AUCi (2.9 +/- 1.5 vs 2.4 +/- 0.7), t(max) (0.4 +/- 0.1 vs 0.4 +/- 0.2), C(max)/AUC(i) (0.3 +/- 0.1 vs 0.3 +/- 0.0), and MRT (5.0 +/- 1.4 vs 4.5 +/- 0.6), but not in the case of C(max) (0.9 +/- 0.3 vs 0.7 +/- 0.2) and t(1/2) (3.7 +/- 1.8 vs 2.9 +/- 0.4). The pharmacodynamic effects, measured as the effect over plasma and urine cortisol, were also comparables between both formulations. No severe adverse events were reported and tolerance was comparable between formulations. Conclusion: The systemic availability of intranasal budesonide was comparable for both formulations in terms of most pharmacokinetic parameters. The pharmacodynamic effect on hypothalamic-pituitary-adrenal axis was also similar. Side effects were scarce and equivalent between the two products. This methodology to compare different budesonide-containing devices is reliable and easy to perform, and should be recommended for similar products intented to be marketed or already on the market.

Características antropométricas, condición física y velocidad de lanzamiento en balonmano de élite y amateur

166 p.

Judgmental-analytical procedures for adapting tests: Adaptation to Spanish of the Reasoning Tests Battery

Adapting a test between cultures or languages requires taking into account legal, linguistic, metric, and use-related considerations. Significantly more attention has been paid to the methodological aspects involved in the study of metric equivalence than to judgmental-analytical procedures prior to the empirical confirmation stage. However, considering the latter is crucial in the adaptation process. Along these lines, this paper seeks to describe and focus on the relevance of the previous stages, thereby offering a systematization process that comprises ten sections. This approach contributes to ensuring the construction of a test adapted and equivalent in as much as possible to the original. This process is exemplified by means of a Spanish language adaptation of a cognitive test originally designed in Portuguese for the Portuguese population, the Reasoning Test Battery. Copyright (C) 2013, Konrad Lorenz University Foundation. Published by Elsevier Espana, S.L.U.

Modeling habits as self-sustaining patterns of sensorimotor behavior

In the recent history of psychology and cognitive neuroscience, the notion of habit has been reduced to a stimulus-triggered response probability correlation. In this paper we use a computational model to present an alternative theoretical view (with some philosophical implications), where habits are seen as self-maintaining patterns of behavior that share properties in common with self-maintaining biological processes, and that inhabit a complex ecological context, including the presence and influence of other habits. Far from mechanical automatisms, this organismic and self-organizing concept of habit can overcome the dominating atomistic and statistical conceptions, and the high temporal resolution effects of situatedness, embodiment and sensorimotor loops emerge as playing a more central, subtle and complex role in the organization of behavior. The model is based on a novel "iterant deformable sensorimotor medium (IDSM)," designed such that trajectories taken through sensorimotor-space increase the likelihood that in the future, similar trajectories will be taken. We couple the IDSM to sensors and motors of a simulated robot, and show that under certain conditions, the IDSM conditions, the IDSM forms self-maintaining patterns of activity that operate across the IDSM, the robot's body, and the environment. We present various environments and the resulting habits that form in them. The model acts as an abstraction of habits at a much needed sensorimotor "meso-scale" between microscopic neuron-based models and macroscopic descriptions of behavior. Finally, we discuss how this model and extensions of it can help us understand aspects of behavioral self-organization, historicity and autonomy that remain out of the scope of contemporary representationalist frameworks.

Insight on how fishing bats discern prey and adjust their mechanic and sensorial features during the attack sequence

Several insectivorous bats have included fish in their diet, yet little is known about the processes underlying this trophic shift. We performed three field experiments with wild fishing bats to address how they manage to discern fish from insects and adapt their hunting technique to capture fish. We show that bats react only to targets protruding above the water and discern fish from insects based on prey disappearance patterns. Stationary fish trigger short and shallow dips and a terminal echolocation pattern with an important component of the narrowband and low frequency calls. When the fish disappears during the attack process, bats regulate their attack increasing the number of broadband and high frequency calls in the last phase of the echolocation as well as by lengthening and deepening their dips. These adjustments may allow bats to obtain more valuable sensorial information and to perform dips adjusted to the level of uncertainty on the location of the submerged prey. The observed ultrafast regulation may be essential for enabling fishing to become cost-effective in bats, and demonstrates the ability of bats to rapidly modify and synchronise their sensorial and motor features as a response to last minute stimulus variations.

Mejora de la gestión de proyectos en el desarrollo de nuevos productos en una empresa de motores.

[ES]Este proyecto tiene la intención de convertirse en una herramienta útil para Guascor I + D, empresa española dedicada al diseño y producción de motores de cogeneración, mediante la elaboración de una propuesta de mejora de la organización que proporcionará un estímulo para su crecimiento en un futuro cercano. Se centra en el uso óptimo de los recursos y en evitar errores de planificación que podrían conducir a un retraso en los plazos de entrega establecidos. El enfoque técnico se basa en el Modelo de Madurez en la Gestión de Proyectos desarrollado por su autor Harold Kerzner, que identifica los procesos deficientes que han de ser modificados. La efectividad de esta propuesta se analiza en este documento y será corroborado por su posterior aplicación en la empresa.

La Hipótesis de Equivalencia Ricardiana: Una Aproximación Empírica

[ES] Este trabajo aporta un análisis econométrico sencillo de la equivalencia ricardiana para los Estados Unidos de América durante el periodo 1929-2013. Se estima una función de consumo para los individuos del país para a continuación contrastar tres diferentes especificaciones del consumo basadas en la teoría keynesiana y en la equivalencia ricardiana. Se obtiene que todas las especificaciones se rechazan, lo que lleva a sugerir que es un término medio entre las dos teorías lo que mejor refleja el efecto que tiene la deuda pública sobre el consumo en los Estados Unidos. Este trabajo también pretende hacer una exposición sencilla de las bases de la equivalencia ricardiana.

Publicidad subliminal

[ES] La publicidad subliminal es un tipo de publicidad que utiliza estímulos que no son percibidos conscientemente, pero que influyen en nuestra conducta con la finalidad de lograr determinados objetivos. Su primera alusión se hizo en el año 400 a.C. y se ha mantenido viva hasta la actualidad. Hay quienes defienden su existencia mientras que otros aseguran que no existe, por lo tanto es un tema que genera gran controversia. Está prohibida y penada por la ley, pero a pesar de ello se utiliza a diario. La podemos encontrar principalmente en los medios de comunicación, pero también en canciones de moda, cintas de autoayuda, centros comerciales o en el trabajo. Tenemos que precisar que lo que está prohibido es la publicidad subliminal, pero no las técnicas subliminales que se utilizan para resolver problemas psicológicos, para vencer la tartamudez, dejar de fumar… La publicidad subliminal pretende llamar la atención del consumidor para incitarle a que actué de una determinada manera. Esto lo consigue mediante la utilización de mensajes ocultos. En este trabajo vamos a ver si en realidad existe o no la publicidad subliminal, y en caso afirmativo, si de verdad provoca un incremento de las ventas. También veremos que en nuestra vida diaria nos encontramos con la presencia de mensajes subliminales y su posible uso para manipular nuestra conducta.

Energy demands of diverse spiking cells from the neocortex, hippocampus, and thalamus

It has long been known that neurons in the brain are not physiologically homogeneous. In response to current stimulus, they can fire several distinct patterns of action potentials that are associated with different physiological classes ranging from regular-spiking cells, fast-spiking cells, intrinsically bursting cells, and low-threshold cells. In this work we show that the high degree of variability in firing characteristics of action potentials among these cells is accompanied with a significant variability in the energy demands required to restore the concentration gradients after an action potential. The values of the metabolic energy were calculated for a wide range of cell temperatures and stimulus intensities following two different approaches. The first one is based on the amount of Na+ load crossing the membrane during a single action potential, while the second one focuses on the electrochemical energy functions deduced from the dynamics of the computational neuron models. The results show that the thalamocortical relay neuron is the most energy-efficient cell consuming between 7 and 18 nJ/cm(2) for each spike generated, while both the regular and fast spiking cells from somatosensory cortex and the intrinsically-bursting cell from a cat visual cortex are the least energy-efficient, and can consume up to 100 nJ/cm(2) per spike. The lowest values of these energy demands were achieved at higher temperatures and high external stimuli.