Informe d'Autors UOC a ISI Web of Knowledge. Setembre 2007

Informe sobre les publicacions de recerca de la UOC introduides a ISI Web of Knowledge durant

Informe d'Autors UOC a ISI Web of Knowledge. Maig 2014

UOC

A Theory of Representative Behavior in the Dictator Game

In this paper we present a model of representative behavior in the dictator game. Individuals have simultaneous and non-contradictory preferences over monetary payoffs, altruistic actions and equity concerns. We require that these behaviors must be aggregated and founded in principles of representativeness and empathy. The model results match closely the observed mean split and replicate other empirical regularities (for instance, higher stakes reduce the willingness to give). In addition, we connect representative behavior with an allocation rule built on psychological and behavioral arguments. An approach consistently neglected in this literature. Key words: Dictator Game, Behavioral Allocation Rules, Altruism, Equity Concerns, Empathy, Self-interest JEL classification: C91, D03, D63, D74.

Informe d'Autors UOC a ISI Web of Knowledge. Juny 2014

UOC

Informe d'Autors UOC a ISI Web of Knowledge. Juliol 2014

UOC

Friedman's Excess energy and the McMillan-Mayer theory of solutions:Thermodynamics

In his version of the theory of multicomponent systems, Friedman used the analogy which exists between the virial expansion for the osmotic pressure obtained from the McMillan-Mayer (MM) theory of solutions in the grand canonical ensemble and the virial expansion for the pressure of a real gas. For the calculation of the thermodynamic properties of the solution, Friedman proposed a definition for the"excess free energy" that is a reminder of the ancient idea for the"osmotic work". However, the precise meaning to be attached to his free energy is, within other reasons, not well defined because in osmotic equilibrium the solution is not a closed system and for a given process the total amount of solvent in the solution varies. In this paper, an analysis based on thermodynamics is presented in order to obtain the exact and precise definition for Friedman"s excess free energy and its use in the comparison with the experimental data.

Informe d'Autors UOC a ISI Web of Knowledge. Agost 2014

UOC

Informe d'Autors UOC a ISI Web of Knowledge. Setembre 2014

UOC

Informe d'Autors UOC a ISI Web of Knowledge. Octubre 2014

UOC

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Informe d'Autors UOC a ISI Web of Knowledge. Novembre 2014

UOC

Informe d'Autors UOC a ISI Web of Knowledge. Desembre 2014

UOC

Fostering Collaborative Knowledge Building by the Effective Provision of Knowledge about the Discussion Process

Peer-reviewed

Informe d'Autors UOC a ISI Web of Knowledge. Gener 2015

UOC