On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Plant sex chromosomes: lost genes with little compensation.

In many animals, gene loss on Y chromosomes is compensated through altered expression of their X-chromosome homologue. Now, however, a new study in plants finds that even genes deleted from the Y show no dosage compensation.

Evolution of dosage compensation under sexual selection differs between X and Z chromosomes.

Complete sex chromosome dosage compensation has more often been observed in XY than ZW species. In this study, using a population genetic model and the chicken transcriptome, we assess whether sexual conflict can account for this difference. Sexual conflict over expression is inevitable when mutation effects are correlated across the sexes, as compensatory mutations in the heterogametic sex lead to hyperexpression in the homogametic sex. Coupled with stronger selection and greater reproductive variance in males, this results in slower and less complete evolution of Z compared with X dosage compensation. Using expression variance as a measure of selection strength, we find that, as predicted by the model, dosage compensation in the chicken is most pronounced in genes that are under strong selection biased towards females. Our study explains the pattern of weak dosage compensation in ZW systems, and suggests that sexual selection plays a major role in shaping sex chromosome dosage compensation.

Lower incisor dentoalveolar compensation and symphysis dimensions among Class I and III malocclusion patients with different facial vertical skeletal patterns

Objective: To compare lower incisor dentoalveolar compensation and mandible symphysis morphology among Class I and Class III malocclusion patients with different facial vertical skeletal patterns. Materials and Methods: Lower incisor extrusion and inclination, as well as buccal (LA) and lingual (LP) cortex depth, and mandibular symphysis height (LH) were measured in 107 lateral cephalometric x-rays of adult patients without prior orthodontic treatment. In addition, malocclusion type (Class I or III) and facial vertical skeletal pattern were considered. Through a principal component analysis (PCA) related variables were reduced. Simple regression equation and multivariate analyses of variance were also used. Results: Incisor mandibular plane angle (P < .001) and extrusion (P  =  .03) values showed significant differences between the sagittal malocclusion groups. Variations in the mandibular plane have a negative correlation with LA (Class I P  =  .03 and Class III P  =  .01) and a positive correlation with LH (Class I P  =  .01 and Class III P  =  .02) in both groups. Within the Class III group, there was a negative correlation between the mandibular plane and LP (P  =  .02). PCA showed that the tendency toward a long face causes the symphysis to elongate and narrow. In Class III, alveolar narrowing is also found in normal faces. Conclusions: Vertical facial pattern is a significant factor in mandibular symphysis alveolar morphology and lower incisor positioning, both for Class I and Class III patients. Short-faced Class III patients have a widened alveolar bone. However, for long-faced and normal-faced Class III, natural compensation elongates the symphysis and influences lower incisor position.

La compensation écologique : marché ou marchandage ?

Les "banques de conservation" sont fréquemment présentées comme de nouveaux instruments de marché au service de la conservation de la biodiversité. Il s'agit d'une modalité de mise en oeuvre de la compensation écologique d'abord développée aux Etats-Unis au début des années 2000 avant d'être plus globalement diffusée. Ce dispositif est perçu par ses promoteurs comme un marché en devenir, tandis que ses détracteurs y voient le dernier avatar du projet de marchandisation de la nature au coeur des politiques environnementales depuis deux décennies. Au-delà des discours, les arrangements institutionnels en jeu dans les banques de conservation sont mal connus. Cet article se propose de revenir sur leur statut économique en analysant le dispositif tel que décrit dans la réglementation fédérale qui lui est consacrée aux Etats-Unis et en évaluant sa mise en place à l'aune de critères et attributs constitutifs d'un marché, qui auront été préalablement définis.

Microdoping compensation of microcrystalline silicon obtained by Hot-Wire Chemical Vapour Deposition

Undoped hydrogenated microcrystalline silicon was obtained by hot-wire chemical vapour deposition at different silane-to-hydrogen ratios and low temperature (<300 °C). As well as technological aspects of the deposition process, we report structural, optical and electrical characterizations of the samples that were used as the active layer for preliminary p-i-n solar cells. Raman spectroscopy indicates that changing the hydrogen dilution can vary the crystalline fraction. From electrical measurements an unwanted n-type character is deduced for this undoped material. This effect could be due to a contaminant, probably oxygen, which is also observed in capacitance-voltage measurements on Schottky structures. The negative effect of contaminants on the device was dramatic and a compensated p-i-n structure was also deposited to enhance the cell performance.

Management Control for Corporate Sustainability Execution: The Role of Employee Compensation

The research described in this thesis examines the characteristics, the benefits and the challenges associated with the implementation of management accounting systems in the field of Corporate Social Responsibility (CSR). Applied to the CSR context, management accounting relates to the identification, elaboration and communication of information about an organization's interactions with the society and the environment. Based on this information, firms are able to make decisions to achieve social and environmental objectives and provide evidence justifying the benefits and the costs of such actions. The study begins by focusing on green management and exploring the characteristics of Environmental Management Accounting (EMA) systems within firms. The first chapter informs the reader about the growing body of EMA research and reveals unexplored relevant aspects that need to be further investigated. The work also emphasizes the importance of developing new theoretical hypotheses and appropriate research designs to empirically tackle new aspects of EMA and gain understanding on the use of these practices. Subsequently, given the acknowledged importance of control systems in influencing the behaviour of individuals within organizations, the remaining two chapters of the dissertation focus on the functioning of CSR-linked incentives assigned to employees in the form of compensation plans. The second chapter examines the determinants influencing corporate provision of incentives for the attainment of environmental targets. Empirical analysis of a sample of international firms reveals that companies are likely to use green incentives as mechanisms to increase the efficacy in contracting with their employees as well as to respond to social influences. Finally, the third chapter investigates the effectiveness of contracting associated with the use of CSR-linked executive compensation. Empirical analysis of a sample of US-based companies shows that corporate choice to tie senior executives' pay to CSR targets promotes the firm's CSR performance. Cette thèse examine les caractéristiques, avantages et défis associés à l'utilisation des systèmes de contrôle de gestion dans le domaine de la Responsabilité Sociale des Entreprises (RSE). Dans le contexte de la RSE, les activités du contrôle de gestion impliquent l'identification, l'élaboration et la communication d'informations qui concernent les interactions des organisations avec la société et l'environnement. Avec ces informations les entreprises sont en mesure de prendre des décisions visant à atteindre les objectifs sociaux et environnementaux de l'organisation et de documenter les bénéfices et coûts de ces actions. Dès le début, la thèse se concentre sur les caractéristiques des systèmes de contrôle de gestion environnementale au sein des entreprises. Le premier chapitre passe en revue la littérature existante et révèle des aspects inexplorés. Pour ce faire, le travail suggère le développement de nouvelles théories ainsi que l'utilisation de méthodes appropriées. Ces dernières doivent permettre d'aborder empiriquement de nouveaux aspects des systèmes de contrôle environnemental et faciliter la compréhension sur l'utilisation de ces pratiques. Considérant l'importance des systèmes de contrôle pour influencer le comportement des individus au sein des organisations, la suite du travail se concentre sur le fonctionnement des contrats de rémunération des employées liées aux résultats de la RSE. Plus particulièrement, le deuxième chapitre examine les facteurs qui influencent la décision des entreprises d'assigner des objectifs environnementaux aux employées. L'analyse empirique d'un échantillon d'entreprises internationales montre que les entreprises sont susceptibles d'utiliser des mécanismes incitatifs écologiques pour augmenter l'efficacité des contrats ainsi que pour répondre aux influences sociales. Finalement, le troisième chapitre analyse l'efficacité des contrats de rémunération des dirigeants liés aux résultats de la RSE. L'analyse empirique d'un échantillon de sociétés américaines indique que le choix de l'entreprise de lier la rémunération des dirigeants à des objectifs de la RSE favorise la performance RSE de l'organisation.

Influence of the claimant’s behavioural features on motor compensation outcomes

The decision to settle a motor insurance claim by either negotiation or trial is analysed. This decision may depend on how risk and confrontation adverse or pessimistic the claimant is. The extent to which these behavioural features of the claimant might influence the final compensation amount are examined. An empirical analysis, fitting a switching regression model to a Spanish database, is conducted in order to analyze whether the choice of the conflict resolution procedure is endogenous to the compensation outcomes. The results show that compensations awarded by courts are always higher, although 95% of cases are settled by negotiation. We show that this is because claimants are adverse to risk and confrontation, and are pessimistic about their chances at trial. By contrast, insurers are risk - confrontation neutral and more objective in relation to the expected trial compensation. During the negotiation insurers accept to pay the subjective compensation values of claimants, since these values are lower than their estimates of compensations at trial.

Fair value versus historic cost-valuation for biological assets: Implications for the quality of financial information

[spa] Este trabajo realiza un estudio empírico sobre los efectos, que se señalan en las discusiones teóricas, de la utilización del valor razonable (VR) frente al coste histórico (CH), utilizando dos muestras de explotaciones agrícolas, una de las cuales valora sus activos biológicos a CH y la otra a VR. No se encontraron diferencias significativas en los beneficios e ingresos entre ambas muestras, ni siquiera en sus volatilidades. Tampoco se encontraron diferencias significativas en rentabilidad, manipulación contable, ni en el poder de ambos criterios de valoración para predecir los flujos de tesorería. Por el contrario, la mayor parte de los tests realizados revelan un mayor poder de los beneficios calculados bajo el VR para la predicción de los beneficios futuros, respecto de cuando son calculados bajo el CH. El estudio proporciona también evidencia empírica de prácticas contables defectuosas de CH en el sector agrícola, concluyendo que el VR puede representar un criterio de valoración interesante para un sector, como el agrícola, caracterizado por el predominio de pequeñas explotaciones familiares.

Fair value versus historic cost-valuation for biological assets: Implications for the quality of financial information

[spa] Este trabajo realiza un estudio empírico sobre los efectos, que se señalan en las discusiones teóricas, de la utilización del valor razonable (VR) frente al coste histórico (CH), utilizando dos muestras de explotaciones agrícolas, una de las cuales valora sus activos biológicos a CH y la otra a VR. No se encontraron diferencias significativas en los beneficios e ingresos entre ambas muestras, ni siquiera en sus volatilidades. Tampoco se encontraron diferencias significativas en rentabilidad, manipulación contable, ni en el poder de ambos criterios de valoración para predecir los flujos de tesorería. Por el contrario, la mayor parte de los tests realizados revelan un mayor poder de los beneficios calculados bajo el VR para la predicción de los beneficios futuros, respecto de cuando son calculados bajo el CH. El estudio proporciona también evidencia empírica de prácticas contables defectuosas de CH en el sector agrícola, concluyendo que el VR puede representar un criterio de valoración interesante para un sector, como el agrícola, caracterizado por el predominio de pequeñas explotaciones familiares.

Fair value versus historical cost-based valuation for biological assets: Predictability of financial information

There is an intense debate on the convenience of moving from historical cost (HC) toward the fair value (FV) principle. The debate and academic research is usually concerned with financial instruments, but the IAS 41 requirement of fair valuation for biological assets brings it into the agricultural domain. This paper performs an empirical study with a sample of Spanish farms valuing biological assets at HC and a sample applying FV, finding no significant differences between both valuation methods to assess future cash flows. However, most tests reveal more predictive power of future earnings under fair valuation of biological assets, which is not explained by differences in volatility of earnings and profitability. The study also evidences the existence of flawed HC accounting practices for biological assets in agriculture, which suggests scarce information content of this valuation method in the predominant small business units existing in the agricultural sector in advanced Western countries

Forecasting the maximum compensation offer in the automobile BI claims negotiation process

Most motor bodily injury (BI) claims are settled by negotiation, with fewer than 5% of cases going to court. A well-defined negotiation strategy is thus very useful for insurance companies. In this paper we assume that the monetary compensation awarded in court is the upper amount to be offered by the insurer in the negotiation process. Using a real database, a log-linear model is implemented to estimate the maximal offer. Non-spherical disturbances are detected. Correlation occurs when various claims are settled in the same judicial verdict. Group wise heteroscedasticity is due to the influence of the forensic valuation on the final compensation amount. An alternative approximation based on generalized inference theory is applied to estimate confidence intervals on variance components, since classical interval estimates may be unreliable for datasets with unbalanced structures.

A comparative study of difficulties in accounting preparation and judgement in agriculture using fair value and historical cost accounting for biological assets valuation

This paper presents empirical research comparing the accounting difficulties that arise from the use of two valuation methods for biological assets, fair value (FV) and historical cost (HC) accounting, in the agricultural sector. It also compares how reliable each valuation method is in the decision-making process of agents within the sector. By conducting an experiment with students, farmers, and accountants operating in the agricultural sector, we find that they have more difficulties, make larger miscalculations and make poorer judgements with HC accounting than with FV accounting. In-depth interviews uncover flawed accounting practices in the agricultural sector in Spain in order to meet HC accounting requirements. Given the complexities of cost calculation for biological assets and the predominance of small family business units in advanced Western countries, the study concludes that accounting can be more easily applied in the agricultural sector under FV than HC accounting, and that HC conveys a less accurate grasp of the real situation of a farm.

Osakeindeksiobligaation fair value Case: SHB Paras Kolmesta 5010

Tutkielmassa selvitetään monimutkaisen indeksiobligaation arvon määritystä obligaation juoksuaikana. Tutkittava indeksiobligaatio sijoittaa osakkeisiin, korkoon ja raaka aineisiin. Kyseisessä indeksi-obligaatiossa sijoitetaan korioptioihin ja ne ovat lisäksi niiltä osin kvantto optioita, kun positio on ollut tarpeen suojata valuutta kurssimuutoksia vastaan. Tämän lisäksi indeksiobligaatio sijoittaa nolla kuponkilainaan. Sijoittajalle on haastavaa ymmärtää oikein ja läpinäkyvästi monimutkaisen osakeindeksiobligaation arvonmääritystä sen juoksuaikana. Tässä tutkielmassa avataan monimutkaisen osakeindeksiobligaation arvonmäärityksen perusteet. Tutkielmassa huomataan, että sijoittajalla voi helposti olla vaara mielikuva siitä, miten arvo määrittyy. Tämä johtuu siitä, että arvonmääritys eroaa huomattavasti siitä mikä käy ilmi velkakirjan ehdoissa. Tutkielman keskeisin anti on se, että kyseinen osakeindeksiobligaatio antaa heikkoa tuottoa kesken juoksuajan, mikäli joko osakkeet, raaka-aineet tai korot kehittyvät negatiivisesti. Lisaksi raaka aineoptioiden hinnan määritys eroaa siitä, mitä sijoittaja olettaa sen olevan velkakirjan ehtoja lukiessaan. Raaka-aineiden hinnat määritellään forward hinnoista

A Fair and Secure Cluster Formation Process for Ad Hoc Networks

An efficient approach for organizing large ad hoc networks is to divide the nodesinto multiple clusters and designate, for each cluster, a clusterhead which is responsible forholding intercluster control information. The role of a clusterhead entails rights and duties.On the one hand, it has a dominant position in front of the others because it manages theconnectivity and has access to other node¿s sensitive information. But on the other hand, theclusterhead role also has some associated costs. Hence, in order to prevent malicious nodesfrom taking control of the group in a fraudulent way and avoid selfish attacks from suitablenodes, the clusterhead needs to be elected in a secure way. In this paper we present a novelsolution that guarantees the clusterhead is elected in a cheat-proof manner.