Heterogeneity assumptions in the specification of bargaining models: a study of household level trade-offs between commuting time and salary

With many real world decisions being made in conjunction with other decision makers, or single agent decisions having an influence on other members of the decision maker's immediate entourage, there is strong interest in studying the relative weight assigned to different agents in such contexts. In the present paper, we focus on the case of one member of a two person household being asked to make choices affecting the travel time and salary of both members. We highlight the presence of significant heterogeneity across individuals not just in their underlying sensitivities, but also in the relative weight they assign to their partner, and show how this weight varies across attributes. This is in contrast to existing work which uses weights assigned to individual agents at the level of the overall utility rather than for individual attributes. We also show clear evidence of a risk of confounding between heterogeneity in marginal sensitivities and heterogeneity in the weights assigned to each member. We show how this can lead to misleading model results, and argue that this may also explain past results showing bargaining or weight parameters outside the usual [0,1] range in more traditional joint decision making contexts. In terms of substantive results, we find that male respondents place more weight on their partner's travel time, while female respondents place more weight on their partner's salary.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT

A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.

Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD)

Identifying responsibility for classes in object oriented software design phase is a crucial task. This paper proposes an approach for producing high quality and robust behavioural diagrams (e.g. Sequence Diagrams) through Class Responsibility Assignment (CRA). GRASP or General Responsibility Assignment Software Pattern (or Principle) was used to direct the CRA process when deriving behavioural diagrams. A set of tools to support CRA was developed to provide designers and developers with a cognitive toolkit that can be used when analysing and designing object-oriented software. The tool developed is called Use Case Specification to Sequence Diagrams (UC2SD). UC2SD uses a new approach for developing Unified Modelling Language (UML) software designs from Natural Language, making use of a meta-domain oriented ontology, well established software design principles and established Natural Language Processing (NLP) tools. UC2SD generates a well-formed UML sequence diagrams as output.

Prescriptive Durability Specification

A specification that defines required results, criteria by which performance will be judged, and methods of evaluation, without requirements for how the results are to be obtained

Application examples of performance-based specification and quality control

This chapter presents an overview on several performance-based approaches for concrete durability specification and conformity assessment of the as-built structure.

The Secrets of Happiness:Three Thousand Years of Searching for the Good Life

A philosophical and religious history of ideas of happiness, both Eastern and Western, written for a popular audience.

Core outcome sets and trial registries

Some reasons for registering trials might be considered as self-serving, such as satisfying the requirements of a journal in which the researchers wish to publish their eventual findings or publicising the trial to boost recruitment. Registry entries also help others, including systematic reviewers, to know about ongoing or unpublished studies and contribute to reducing research waste by making it clear what studies are ongoing. Other sources of research waste include inconsistency in outcome measurement across trials in the same area, missing data on important outcomes from some trials, and selective reporting of outcomes. One way to reduce this waste is through the use of core outcome sets: standardised sets of outcomes for research in specific areas of health and social care. These do not restrict the outcomes that will be measured, but provide the minimum to include if a trial is to be of the most use to potential users. We propose that trial registries, such as ISRCTN, encourage researchers to note their use of a core outcome set in their entry. This will help people searching for trials and those worried about selective reporting in closed trials. Trial registries can facilitate these efforts to make new trials as useful as possible and reduce waste. The outcomes section in the entry could prompt the researcher to consider using a core outcome set and facilitate the specification of that core outcome set and its component outcomes through linking to the original core outcome set. In doing this, registries will contribute to the global effort to ensure that trials answer important uncertainties, can be brought together in systematic reviews, and better serve their ultimate aim of improving health and well-being through improving health and social care.

Searching biocompounds in marine natural extracts with potential use in tumor prevention and treatment

Cancer is a multistage process characterized by three stages: initiation, promotion and progression; and is one of the major killers worldwide. Oxidative stress acts as initiator in tumorigenesis; chronic inflammation promotes cancer; and apoptosis inactivation is an issue in cancer progression. In this study, it was investigated the antioxidant, antiinflammatory and antitumor properties of hexane, ether, chloroform, methanol and water extracts of five species of halophytes: A. macrostachyum, P. coronopus, J. acutus, C. edulis and A. halimus. Antioxidant activity was assessed by DPPH• and ABTS•+ methods, and the total phenolics content (TPC) was evaluated by the Folin-Ciocalteau method. The anti-inflammatory activity of the extracts was determined by the Griess method, and by evaluating the inhibition of NO production in LPS-stimulated RAW- 264.7 macrophages. The cytotoxic activity of the extracts against HepG2 and THP1 cell lines was estimated by the MTT assay, and the results obtained were further compared with the S17 non-tumor cell line. The induction of apoptosis of J. acutus ether extract was assessed by DAPI staining. The highest antioxidant activities was observed in C. edulis methanol and the J. acutus ether extracts against the DPPH• radical; and J. acutus ether and A. halimus ether extracts against the ABTS•+ radical. The methanol extracts of C. edulis and P. coronopus, and the ether extract of J. acutus revealed a high TPC. Generally the antioxidant activity had no correlation with the TPC. The A. halimus chloroform and P. coronopus hexane extracts demonstrated ability to reduce NO production in macrophages (> 50%), revealing their anti-inflammatory capacity. The ether extract of J. acutus showed high cytotoxicity against HepG2 cancer cells, with reduced cellular viability even at the lowest concentrations. This outcome was significantly lower than the obtained with the non-tumor cells (S17). This result was complemented by the induction of apoptosis.

Molecular bases of classic galactosemia : searching for new therapeutic strategies

Tese de doutoramento, Farmácia (Biologia Celular e Molecular), Universidade de Lisboa, Faculdade de Farmácia, 2014

e-Recruitment: descrição e inferência sobre oferta e procura

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Molecular regulation of secondary gorwth: searching for SHORT-ROOT function in cork formation

The analysis of molecular regulators involved in controlling the maintenance and function of plant meristems has been the subject of many studies. Some master regulators of these processes have been identified in Arabidopsis benefiting from the array of tools available for genetic and molecular analysis in this model plant. However, aspects such as secondary growth that are more extensively observed in woody plants, have been less studied. Secondary growth is responsible for the enlargement of the plant stems and roots and results from the activity of the lateral (secondary) meristems, vascular cambium and cork cambium (phellogen), which produce two important renewable natural resources, wood and cork, respectively.(...)

Comprehensive Expression Analyses of Neural Cell-Type-Specific miRNAs Identify New Determinants of the Specification and Maintenance of Neuronal Phenotypes.

MicroRNAs (miRNAs) have been shown to play important roles in both brain development and the regulation of adult neural cell functions. However, a systematic analysis of brain miRNA functions has been hindered by a lack of comprehensive information regarding the distribution of miRNAs in neuronal versus glial cells. To address this issue, we performed microarray analyses of miRNA expression in the four principal cell types of the CNS (neurons, astrocytes, oligodendrocytes, and microglia) using primary cultures from postnatal d 1 rat cortex. These analyses revealed that neural miRNA expression is highly cell-type specific, with 116 of the 351 miRNAs examined being differentially expressed fivefold or more across the four cell types. We also demonstrate that individual neuron-enriched or neuron-diminished RNAs had a significant impact on the specification of neuronal phenotype: overexpression of the neuron-enriched miRNAs miR-376a and miR-434 increased the differentiation of neural stem cells into neurons, whereas the opposite effect was observed for the glia-enriched miRNAs miR-223, miR-146a, miR-19, and miR-32. In addition, glia-enriched miRNAs were shown to inhibit aberrant glial expression of neuronal proteins and phenotypes, as exemplified by miR-146a, which inhibited neuroligin 1-dependent synaptogenesis. This study identifies new nervous system functions of specific miRNAs, reveals the global extent to which the brain may use differential miRNA expression to regulate neural cell-type-specific phenotypes, and provides an important data resource that defines the compartmentalization of brain miRNAs across different cell types.

Is Library Database Searching a Language Learning Activity?

A qualitative research study that asked international students how they thought of words to enter into a library database to see if language learning was also involved.