Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Understanding and monitoring attitudes of product properties over time

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Invoking a cartesian product structure on social states: new resolutions of Sen's and Gibbard's impossibility theorems

The purpose of this article is to introduce a Cartesian product structure into the social choice theoretical framework and to examine if new possibility results to Gibbard's and Sen's paradoxes can be developed thanks to it. We believe that a Cartesian product structure is a pertinent way to describe individual rights in the social choice theory since it discriminates the personal features comprised in each social state. First we define some conceptual and formal tools related to the Cartesian product structure. We then apply these notions to Gibbard's paradox and to Sen's impossibility of a Paretian liberal. Finally we compare the advantages of our approach to other solutions proposed in the literature for both impossibility theorems.

Interactions between product and labour market reforms

Labour market reforms face very often opposition from the employed workers, because it normally reduces their wages. Also product market regulations are regularly biased towards too much benefitting the firms. As a result there remain many frictions in both the labour and product markets that hinder an optimal functioning of the economy. These issues have recently received a lot of attention in the economics literature and scholars have been looking for politically viable reforms in both markets. However, despite its potential importance, there has been done virtually no research on the interaction between reforms in product and labour markets. We find that when combining reforms, the opposition for reforms decreases considerably. This is because there exist complementarities and the gains in total welfare can be more evenly distributed over the interest groups. Moreover, the interaction of reforms offers a way out for the so-called 'sclerosis' effect.

Improving the risk concept: a revision of Arrow-Pratt theory in the context of controlled dynamic stochastic environments

In the literature on risk, one generally assume that uncertainty is uniformly distributed over the entire working horizon, when the absolute risk-aversion index is negative and constant. From this perspective, the risk is totally exogenous, and thus independent of endogenous risks. The classic procedure is "myopic" with regard to potential changes in the future behavior of the agent due to inherent random fluctuations of the system. The agent's attitude to risk is rigid. Although often criticized, the most widely used hypothesis for the analysis of economic behavior is risk-neutrality. This borderline case must be envisaged with prudence in a dynamic stochastic context. The traditional measures of risk-aversion are generally too weak for making comparisons between risky situations, given the dynamic �complexity of the environment. This can be highlighted in concrete problems in finance and insurance, context for which the Arrow-Pratt measures (in the small) give ambiguous.

Multi-product firms and product variety

The goal of this paper is to study the role of multi-product firms in the market provision of product variety. The analysis is conducted using the spokes model of non-localized competition proposed by Chen and Riordan (2007). Firstly, we show that multi-product firms are at a competitive disadvantage vis-a-vis single-product firms and can only emerge if economies of scope are sufficiently strong. Secondly, under duopoly product variety may be higher or lower with respect to both the first best and the monopolistically competitive equilibrium. However, within a relevant range of parameter values duopolists drastically restrict their product range in order to relax price competition, and as a result product variety is far below the efficient level.

Oracle teleservice

Aquest projecte es basa en la implantació del mòdul Oracle Service del producte de CRM d'Oracle. Aquest mòdul ens proporciona la funcionalitat necessària per gestionar tot allò relacionat amb el Servei d’Atenció a l'Usuari. Mirarem d'oferir una visió àmplia basada en el concepte de CRM i en les seves claus d’èxit, així com en la importància de l'organització i de la reestructuració empresarial que se'n deriva. Utilitzarem l'estratègia d’implantació ràpida que proporciona Oracle i descriurem la manera de parametritzar el mòdul Oracle Service amb la finalitat de portar l’estandard a la solució desitjada pel client de manera ràpida i eficaç.

Improving the effort concept: a revision of the traditional approach in the context of controlled Dynamic Stochastic Environments

The objective of this paper is to re-evaluate the attitude to effort of a risk-averse decision-maker in an evolving environment. In the classic analysis, the space of efforts is generally discretized. More realistic, this new approach emploies a continuum of effort levels. The presence of multiple possible efforts and performance levels provides a better basis for explaining real economic phenomena. The traditional approach (see, Laffont, J. J. & Tirole, J., 1993, Salanie, B., 1997, Laffont, J.J. and Martimort, D, 2002, among others) does not take into account the potential effect of the system dynamics on the agent's behavior to effort over time. In the context of a Principal-agent relationship, not only the incentives of the Principal can determine the private agent to allocate a good effort, but also the evolution of the dynamic system. The incentives can be ineffective when the environment does not incite the agent to invest a good effort. This explains why, some effici

Gastric supply manipulation to modulate ghrelin production and enhance vascularization to the cardia: proof of the concept in a porcine model.

Introduction. Selective embolization of the left-gastric artery (LGA) reduces levels of ghrelin and achieves significant short-term weight loss. However, embolization of the LGA would prevent the performance of bariatric procedures because the high-risk leakage area (gastroesophageal junction [GEJ]) would be devascularized. Aim. To assess an alternative vascular approach to the modulation of ghrelin levels and generate a blood flow manipulation, consequently increasing the vascular supply to the GEJ. Materials and methods. A total of 6 pigs underwent a laparoscopic clipping of the left gastroepiploic artery. Preoperative and postoperative CT angiographies were performed. Ghrelin levels were assessed perioperatively and then once per week for 3 weeks. Reactive oxygen species (ROS; expressed as ROS/mg of dry weight [DW]), mitochondria respiratory rate, and capillary lactates were assessed before and 1 hour after clipping (T0 and T1) and after 3 weeks of survival (T2), on seromuscular biopsies. A celiac trunk angiography was performed at 3 weeks. Results. Mean (±standard deviation) ghrelin levels were significantly reduced 1 hour after clipping (1902 ± 307.8 pg/mL vs 1084 ± 680.0; P = .04) and at 3 weeks (954.5 ± 473.2 pg/mL; P = .01). Mean ROS levels were statistically significantly decreased at the cardia at T2 when compared with T0 (0.018 ± 0.006 mg/DW vs 0.02957 ± 0.0096 mg/DW; P = .01) and T1 (0.0376 ± 0.008mg/DW; P = .007). Capillary lactates were significantly decreased after 3 weeks, and the mitochondria respiratory rate remained constant over time at the cardia and pylorus, showing significant regional differences. Conclusions. Manipulation of the gastric flow targeting the gastroepiploic arcade induces ghrelin reduction. An endovascular approach is currently under evaluation.

Technical progress and product reliability under competition and monopoly

Technical progress lowers costs and prices but appears to have an ambiguous effect on product reliabilty. This paper presents a simple model which explains this observation.

On the trace of an endofunctor of a small category

The trace of a square matrix can be defined by a universal property which, appropriately generalized yields the concept of "trace of an endofunctor of a small category". We review the basic definitions of this general concept and give a new construction, the "pretrace category", which allows us to obtain the trace of an endofunctor of a small category as the set of connected components of its pretrace. We show that this pretrace construction determines a finite-product preserving endofunctor of the category of small categories, and we deduce from this that the trace inherits any finite-product algebraic structure that the original category may have. We apply our results to several examples from Representation Theory obtaining a new (indirect) proof of the fact that two finite dimensional linear representations of a finite group are isomorphic if and only if they have the same character.

Peut-on faire confiance à l'administration ? Une analyse du concept de confiance, appliqué au secteur public

D'une manière générale, la confiance est un « lubrifiant » (Arrow, 1974) facilitant les relations sociales (eg Luhmann, 1968, Giddens, 1984, Zucker, 1986). D'un point de vue économique, un environnement institutionnel bénéficiant d'une confiance élevée serait corrélé avec la performance de l'économie nationale (eg Dyer and Chu, 2003). La confiance, en tant que capital social, permettrait et engendrerait des comportements altruistes et coopératifs impactant et soutenant la prospérité économique d'une communauté (Fukuyama, 1995). Dans un cadre organisationnel, la confiance engendre une communication plus ouverte et facilite l'échange d'information (eg Smith and Barclay, 1997, Currall and Judge, 1995), facilite la gestion des conflits (eg Blomqvist, 2002), l'apprentissage commun (eg Bijlsma-Frankema, 2004) ou diminue les coûts d'intégration (eg Bidault and Jarillo, 1995), par exemple.