Spreading Academic Pay over Nine or Twelve Months: Economists Are Supposed to Know Better, but Do They Act Better?

Our paper empirically considers two general hypotheses related to the literature of behavioral economics. First, we test the null hypothesis that individuals behave, on average, in a manner more consistent with the rational expectations hypothesis than with the idea of self-control in the face of hyperbolic discounting in their saving decisions. Second, along a variety of dimensions, we examine whether individuals exhibit Herbert Simon’s notion that the goal formation of individuals will differ depending upon their relative levels of experience and knowledge. Perhaps there are significant differences among groups in their saving decisions that depend upon their apparent levels of intelligence, education, and knowledge. Finally, using a variety of individual-specific control variables, we test for robustness of the results.Consumer Economics, Empirical Analysis, Life Cycle Models and Saving

Spreading Academic Pay over Nine or Twelve Months: Economists Are Supposed to Know Better, but Do They Act Better?

Our paper empirically considers two general hypotheses related to the literature of behavioral economics. First, we test the null hypothesis that individuals behave, on average, in a manner more consistent with the rational expectations hypothesis than with the idea of self-control in the face of hyperbolic discounting in their saving decisions. Second, along a variety of dimensions, we examine whether individuals exhibit Herbert Simon’s notion that the goal formation of individuals will differ depending upon their relative levels of experience and knowledge. Perhaps there are significant differences among groups in their saving decisions that depend upon their apparent levels of intelligence, education, and knowledge. Finally, using a variety of individual-specific control variables, we test for robustness of the results.Consumer Economics, Empirical Analysis, Life Cycle Models and Saving

A Survey of Health Management User Objectives Related to Diagnostic and Prognostic Metrics

One of the most prominent technical challenges to effective deployment of health management systems is the vast difference in user objectives with respect to engineering development. In this paper, a detailed survey on the objectives of different users of health management systems is presented. These user objectives are then mapped to the metrics typically encountered in the development and testing of two main systems health management functions: diagnosis and prognosis. Using this mapping, the gaps between user goals and the metrics associated with diagnostics and prognostics are identified and presented with a collection of lessons learned from previous studies that include both industrial and military aerospace applications

The DAG1 transcription factor negatively regulates the seed-to-seedling transition in Arabidopsis acting on ABA and GA levels

BACKGROUND: In seeds, the transition from dormancy to germination is regulated by abscisic acid (ABA) and gibberellins (GAs), and involves chromatin remodelling. Particularly, the repressive mark H3K27 trimethylation (H3K27me3) has been shown to target many master regulators of this transition. DAG1 (DOF AFFECTING GERMINATION1), is a negative regulator of seed germination in Arabidopsis, and directly represses the GA biosynthetic gene GA3ox1 (gibberellin 3-β-dioxygenase 1). We set to investigate the role of DAG1 in seed dormancy and maturation with respect to epigenetic and hormonal control. RESULTS: We show that DAG1 expression is controlled at the epigenetic level through the H3K27me3 mark during the seed-to-seedling transition, and that DAG1 directly represses also the ABA catabolic gene CYP707A2; consistently, the ABA level is lower while the GA level is higher in dag1 mutant seeds. Furthermore, both DAG1 expression and protein stability are controlled by GAs. CONCLUSIONS: Our results point to DAG1 as a key player in the control of the developmental switch between seed dormancy and germination

Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Multivariate genetic analysis of brain structure in an extended twin design

The hunt for genes influencing behavior may be aided by the study of intermediate phenotypes for several reasons. First, intermediate phenotypes may be influenced by only a few genes, which facilitates their detection. Second, many intermediate phenotypes can be measured on a continuous quantitative scale and thus can be assessed in affected and unaffected individuals. Continuous measures increase the statistical power to detect genetic effects (Neale et al., 1994), and allow studies to be designed to collect data from informative subjects such as extreme concordant or discordant pairs. Intermediate phenotypes for discrete traits, such as psychiatric disorders, can be neurotransmitter levels, brain function, or structure. In this paper we conduct a multivariate analysis of data from 111 twin pairs and 34 additional siblings on cerebellar volume, intracranial space, and body height. The analysis is carried out on the raw data and specifies a model for the mean and the covariance structure. Results suggest that cerebellar volume and intracranial space vary with age and sex. Brain volumes tend to decrease slightly with age, and males generally have a larger brain volume than females. The remaining phenotypic variance of cerebellar volume is largely genetic (88%). These genetic factors partly overlap with the genetic factors that explain variance in intracranial space and body height. The applied method is presented as a general approach for the analysis of intermediate phenotypes in which the effects of correlated variables on the observed scores are modeled through multivariate analysis

Personalised service? Changing the role of the government librarian

Investigates the feasibility of personalised information service in a government department. A qualitative methodology explored stakeholder opinions on the remit, marketing, resourcing and measurement of the service. A questionnaire and interviews gathered experiences of personalised provision across the government sector. Potential users were similarly surveyed to discuss how the service could meet their needs. Data were analysed using coding techniques to identify emerging theory. Lessons learned from government librarians centred on clarifying requirements, balancing workloads and selective marketing. The user survey showed low usage and awareness of existing specialist services, but high levels of need and interest in services repackaged as a tailored offering. Fieldwork confirmed findings from the literature on the scope for adding value through information management advice, information skills training and substantive research assistance and the need to understand business processes and develop effective partnerships. Concluding recommendations focus on service definition, strategic marketing, resource utilisation and performance measurement

Metastable liquid-liquid phase transition in a single-component system with only one crystal phase and no density anomaly

We investigate the phase behavior of a single-component system in 3 dimensions with spherically-symmetric, pairwise-additive, soft-core interactions with an attractive well at a long distance, a repulsive soft-core shoulder at an intermediate distance, and a hard-core repulsion at a short distance, similar to potentials used to describe liquid systems such as colloids, protein solutions, or liquid metals. We showed [Nature {\bf 409}, 692 (2001)] that, even with no evidences of the density anomaly, the phase diagram has two first-order fluid-fluid phase transitions, one ending in a gas--low-density liquid (LDL) critical point, and the other in a gas--high-density liquid (HDL) critical point, with a LDL-HDL phase transition at low temperatures. Here we use integral equation calculations to explore the 3-parameter space of the soft-core potential and we perform molecular dynamics simulations in the interesting region of parameters. For the equilibrium phase diagram we analyze the structure of the crystal phase and find that, within the considered range of densities, the structure is independent of the density. Then, we analyze in detail the fluid metastable phases and, by explicit thermodynamic calculation in the supercooled phase, we show the absence of the density anomaly. We suggest that this absence is related to the presence of only one stable crystal structure.Comment: 15 pages, 21 figure

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining such sequent calculi for Pure Type Systems (PTS, which were originally presented in natural deduction style) and then organizing their rules for effective proof-search. We introduce the idea of Pure Type Sequent Calculus with meta-variables (PTSCalpha), by enriching the syntax of a permutation-free sequent calculus for propositional logic due to Herbelin, which is strongly related to natural deduction and already well adapted to proof-search. The operational semantics is adapted from Herbelin's and is defined by a system of local rewrite rules as in cut-elimination, using explicit substitutions. We prove confluence for this system. Restricting our attention to PTSC, a type system for the ground terms of this system, we obtain the Subject Reduction property and show that each PTSC is logically equivalent to its corresponding PTS, and the former is strongly normalising iff the latter is. We show how to make the logical rules of PTSC into a syntax-directed system PS for proof-search, by incorporating the conversion rules as in syntax-directed presentations of the PTS rules for type-checking. Finally, we consider how to use the explicitly scoped meta-variables of PTSCalpha to represent partial proof-terms, and use them to analyse interactive proof construction. This sets up a framework PE in which we are able to study proof-search strategies, type inhabitant enumeration and (higher-order) unification