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

The effects of productivity on profitability: a case study at firm level using an activity-based costing approach

Productivity and profitability are important concepts and measures describing the performance and success of a firm. We know that increase in productivity decreases the costs per unit produced and leads to better profitability. This common knowledge is not, however, enough in the modern business environment. Productivity improvement is one means among others for increasing the profitability of actions. There are many means to increase productivity. The use of these means presupposes operative decisions and these decisions presuppose informationabout the effects of these means. Productivity improvement actions are in general made at floor level with machines, cells, activities and human beings. Profitability is most meaningful at the level of the whole firm. It has been very difficult or even impossible to analyze closely enough the economical aspects of thechanges at floor level with the traditional costing systems. New ideas in accounting have only recently brought in elements which make it possible to considerthese phenomena where they actually happen. The aim of this study is to supportthe selection of objects to productivity improvement, and to develop a method to analyze the effects of the productivity change in an activity on the profitability of a firm. A framework for systemizing the economical management of productivity improvement is developed in this study. This framework is a systematical way with two stages to analyze the effects of productivity improvement actions inan activity on the profitability of a firm. At the first stage of the framework, a simple selection method which is based on the worth, possibility and the necessity of the improvement actions in each activity is presented. This method is called Urgency Analysis. In the second stage it is analyzed how much a certain change of productivity in an activity affects the profitability of a firm. A theoretical calculation model with which it is possible to analyze the effects of a productivity improvement in monetary values is presented. On the basis of this theoretical model a tool is made for the analysis at the firm level. The usefulness of this framework was empirically tested with the data of the profit center of one medium size Finnish firm which operates in metal industry. It is expressedthat the framework provides valuable information about the economical effects of productivity improvement for supporting the management in their decision making.

The effects of potentiallydisruptive technology on business model - a case study of new technologies in ICT industry

This study examines how firms interpret new, potentially disruptive technologies in their own strategic context. The work presents a cross-case analysis of four potentially disruptive technologies or technical operating models: Bluetooth, WLAN, Grid computing and Mobile Peer-to-peer paradigm. The technologies were investigated from the perspective of three mobile operators, a device manufacturer and a software company in the ICT industry. The theoretical background for the study consists of the resource-based view of the firm with dynamic perspective, the theories on the nature of technology and innovations, and the concept of business model. The literature review builds up a propositional framework for estimating the amount of radical change in the companies' business model with two middle variables, the disruptiveness potential of a new technology, and the strategic importance of a new technology to a firm. The data was gathered in group discussion sessions in each company. The results of each case analysis were brought together to evaluate, how firms interpret the potential disruptiveness in terms of changes in product characteristics and added value, technology and market uncertainty, changes in product-market positions, possible competence disruption and changes in value network positions. The results indicate that the perceived disruptiveness in terms ofproduct characteristics does not necessarily translate into strategic importance. In addition, firms did not see the new technologies as a threat in terms of potential competence disruption.

Estimation of age- and stage-specific Catalan breast cancer survival functions using US and Catalan survival data

Background: During the last part of the 1990s the chance of surviving breast cancer increased. Changes in survival functions reflect a mixture of effects. Both, the introduction of adjuvant treatments and early screening with mammography played a role in the decline in mortality. Evaluating the contribution of these interventions using mathematical models requires survival functions before and after their introduction. Furthermore, required survival functions may be different by age groups and are related to disease stage at diagnosis. Sometimes detailed information is not available, as was the case for the region of Catalonia (Spain). Then one may derive the functions using information from other geographical areas. This work presents the methodology used to estimate age- and stage-specific Catalan breast cancer survival functions from scarce Catalan survival data by adapting the age- and stage-specific US functions. Methods: Cubic splines were used to smooth data and obtain continuous hazard rate functions. After, we fitted a Poisson model to derive hazard ratios. The model included time as a covariate. Then the hazard ratios were applied to US survival functions detailed by age and stage to obtain Catalan estimations. Results: We started estimating the hazard ratios for Catalonia versus the USA before and after the introduction of screening. The hazard ratios were then multiplied by the age- and stage-specific breast cancer hazard rates from the USA to obtain the Catalan hazard rates. We also compared breast cancer survival in Catalonia and the USA in two time periods, before cancer control interventions (USA 1975–79, Catalonia 1980–89) and after (USA and Catalonia 1990–2001). Survival in Catalonia in the 1980–89 period was worse than in the USA during 1975–79, but the differences disappeared in 1990–2001. Conclusion: Our results suggest that access to better treatments and quality of care contributed to large improvements in survival in Catalonia. On the other hand, we obtained detailed breast cancer survival functions that will be used for modeling the effect of screening and adjuvant treatments in Catalonia.

Problematic Internet use is associated with substance use in young adolescents.

AIM: This study examined whether problematic Internet use was associated with substance use among young adolescents and assessed whether this association accounted for the use of tobacco, alcohol, cannabis and other drugs. METHODS: Using the Internet Addiction Test, we divided a representative sample of 3067 adolescents in Switzerland (mean age 14 years) into regular and problematic Internet users. We performed a bivariate analysis and two logistic regression models, to analyse substances separately and simultaneously, and developed a log-linear model to define the associations between significant variables. RESULTS: Problematic Internet users were more likely to be female, to use substances, to come from nonintact families, to report poor emotional well-being and to be below average students. The first model showed significant associations between problematic users and each substance, with adjusted odds ratios of 2.05 for tobacco, 1.72 for alcohol, 1.94 for cannabis and 2.73 for other drugs. Only smoking remained significant in the second model, with an adjusted odds ratio of 1.71. CONCLUSION: Problematic Internet use is associated with other risky behaviours and may be an important early predictor of adolescent substance use. Therefore, it should be included in the psychosocial screening of adolescents.

Object-Oriented Modelling of Multilayer Networks

Tämä diplomityökuuluu tietoliikenneverkkojen suunnittelun tutkimukseen ja pohjimmiltaan kohdistuu verkon mallintamiseen. Tietoliikenneverkkojen suunnittelu on monimutkainen ja vaativa ongelma, joka sisältää mutkikkaita ja aikaa vieviä tehtäviä. Tämä diplomityö esittelee ”monikerroksisen verkkomallin”, jonka tarkoitus on auttaa verkon suunnittelijoita selviytymään ongelmien monimutkaisuudesta ja vähentää verkkojen suunnitteluun kuluvaa aikaa. Monikerroksinen verkkomalli perustuu yleisille objekteille, jotka ovat yhteisiä kaikille tietoliikenneverkoille. Tämä tekee mallista soveltuvan mielivaltaisille verkoille, välittämättä verkkokohtaisista ominaisuuksista tai verkon toteutuksessa käytetyistä teknologioista. Malli määrittelee tarkan terminologian ja käyttää kolmea käsitettä: verkon jakaminen tasoihin (plane separation), kerrosten muodostaminen (layering) ja osittaminen (partitioning). Nämä käsitteet kuvataan yksityiskohtaisesti tässä työssä. Monikerroksisen verkkomallin sisäinen rakenne ja toiminnallisuus ovat määritelty käyttäen Unified Modelling Language (UML) -notaatiota. Tämä työ esittelee mallin use case- , paketti- ja luokkakaaviot. Diplomityö esittelee myös tulokset, jotka on saatu vertailemalla monikerroksista verkkomallia muihin verkkomalleihin. Tulokset osoittavat, että monikerroksisella verkkomallilla on etuja muihin malleihin verrattuna.

Hankintatoimen päätöksentekomallin kehittäminen rakennus-teollisuudessa

Työn tarkoituksena on kehittää omaperustaiseen toimitilarakentamiseen soveltuva hankintatoimen päätöksentekomalli. Keskeisintä on ohjata päätöksentekoprosessia pois osaoptimointipäätöksistä kohti yhteisiä tavoitteita tukevia päätöksiä. Hankintatoimen vaikutusmahdollisuus koko hankkeen onnistumiseen ja sujumiseen on keskeinen. Työssä analysoitiin nykyinen hankintaprosessi ja nykyiset hankintatoimeen vaikuttavat tekijät. Tieto kerättiin haastattelemalla hankintahenkilökuntaa, yhtä suurta toimittajaa sekä tutustumalla aiheesta tehtyihin kirjallisiin tutkimuksiin. Suurimpina ongelmien aiheuttajana on hankkeen eri osapuolten yhteistyön ohuus, hankkeen prosessien puutteellinen linkitys, kyvyttömyys vaikuttaa päätöksiin oikealla hetkellä, suunnittelun ohjaus ja johtaminen, lyhytjänteisyys eri osapuolten kesken ja hankinnassa käytettävien kriteereiden suppeus. Työn tuloksena muodostettiin hankintatoimen päätöksentekomalli, jossa hanke on jaettu ajallisesti neljään osittain päällekkäiseen vaiheeseen. Vaiheet ovat ideavaihe, suunnitteluvaihe, joka on myös prosessien päätöksentekovaihe, rakentamisvaihe, joka on prosessien ohjausvaihe, sekä jälkihoitovaihe. Vaiheiden sisältämät tehtävät, tehtävien tavoitteet, käytettävät keinot, tehtävän vastuut ja osallistujat sekä tehtävään liittyvän päätöksenteon kriteerit sisältyvät malliin. Keskeisimpiä asioita tehokkaan hankintatoimen rakentamisessa on toimiva ja strategisesti johdettu hankintaorganisaatio, toimittajasuhteiden syvyys ja suunnittelun johtamisen sekä ohjaamisen hallinta.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Nuclear expansion with excitation

The expansion of an isolated hot spherical nucleus with excitation energy and its caloric curve are studied in a thermodynamic model with the SkM∗ force as the nuclear effective two-body inter-action. The calculated results are shown to compare well with the recent experimental data from energetic nuclear collisions. The fluctuations in temperature and density are also studied. They are seen to build up very rapidly beyond an excitation energy of ∼9 MeV/u. Volume-conserving quadrupole deformation in addition to expansion indicates , however, nuclear disassembly above an excitation energy of ∼4 MeV/u.

Growth, unemployment and wage inertia

We introduce wage setting via efficiency wages in the neoclassical one-sector growth model to study the growth effects of wage inertia. We compare the dynamic equilibrium of an economy with wage inertia with the equilibrium of an economy without it. We show that wage inertia affects the long run employment rate and that the transitional dynamics of the main economic variables will be different because wages are a state variable when wage inertia is introduced. In particular, we show that the model with wage inertia can explain some growth patterns that cannot be explained when wages are flexible. We also study the growth effects of permanent technological and fiscal policy shocks in these two economies.

The Besançon Galaxy Model renewed. I. Constraints on the Galactic thin disc evolution from Tycho data

Context. The understanding of Galaxy evolution can be facilitated by the use of population synthesis models, which allow to test hypotheses on the star formation history, star evolution, as well as chemical and dynamical evolution of the Galaxy. Aims. The new version of the Besanc¸on Galaxy Model (hereafter BGM) aims to provide a more flexible and powerful tool to investigate the Initial Mass Function (IMF) and Star Formation Rate (SFR) of the Galactic disc. Methods. We present a new strategy for the generation of thin disc stars which assumes the IMF, SFR and evolutionary tracks as free parameters. We have updated most of the ingredients for the star count production and, for the first time, binary stars are generated in a consistent way. We keep in this new scheme the local dynamical self-consistency as in Bienayme et al (1987). We then compare simulations from the new model with Tycho-2 data and the local luminosity function, as a first test to verify and constrain the new ingredients. The effects of changing thirteen different ingredients of the model are systematically studied. Results. For the first time, a full sky comparison is performed between BGM and data. This strategy allows to constrain the IMF slope at high masses which is found to be close to 3.0, excluding a shallower slope such as Salpeter"s one. The SFR is found decreasing whatever IMF is assumed. The model is compatible with a local dark matter density of 0.011 M pc−3 implying that there is no compelling evidence for significant amount of dark matter in the disc. While the model is fitted to Tycho2 data, a magnitude limited sample with V<11, we check that it is still consistent with fainter stars. Conclusions. The new model constitutes a new basis for further comparisons with large scale surveys and is being prepared to become a powerful tool for the analysis of the Gaia mission data.

Progressive multifocal leukoencephalopathy in common variable immunodeficiency: mitigated course under mirtazapine and mefloquine.

Demonstration of survival and outcome of progressive multifocal leukoencephalopathy (PML) in a 56-year-old patient with common variable immunodeficiency, consisting of severe hypogammaglobulinemia and CD4+ T lymphocytopenia, during continuous treatment with mirtazapine (30 mg/day) and mefloquine (250 mg/week) over 23 months. Regular clinical examinations including Rankin scale and Barthel index, nine-hole peg and box and block tests, Berg balance, 10-m walking tests, and Montreal Cognitive Assessment (MoCA) were done. Laboratory diagnostics included complete blood count and JC virus (JCV) concentration in cerebrospinal fluid (CSF). The noncoding control region (NCCR) of JCV, important for neurotropism and neurovirulence, was sequenced. Repetitive MRI investigated the course of brain lesions. JCV was detected in increasing concentrations (peak 2568 copies/ml CSF), and its NCCR was genetically rearranged. Under treatment, the rearrangement changed toward the archetype sequence, and later JCV DNA became undetectable. Total brain lesion volume decreased (8.54 to 3.97 cm(3)) and atrophy increased. Barthel (60 to 100 to 80 points) and Rankin (4 to 2 to 3) scores, gait stability, and box and block (7, 35, 25 pieces) and nine-hole peg (300, 50, 300 s) test performances first improved but subsequently worsened. Cognition and walking speed remained stable. Despite initial rapid deterioration, the patient survived under continuous treatment with mirtazapine and mefloquine even though he belongs to a PML subgroup that is usually fatal within a few months. This course was paralleled by JCV clones with presumably lower replication capability before JCV became undetectable. Neurological deficits were due to PML lesions and progressive brain atrophy.

A cognitive hierarchy model of behavior in the action commitment game

We apply the cognitive hierarchy model of Camerer et al. (Q J Econ 119(3):861-898, 2004)-where players have different levels of reasoning-to Huck et al. (Games Econ Behav 38:240-264, 2002) discrete version of Hamilton and Slutsky (Games Econ Behav 2:29-46, 1990) action commitment game-a duopoly with endogenous timing of entry. We show that, for an empirically reasonable average number of thinking steps, the model rules out Stackelberg equilibria, generates Cournot outcomes including delay, and outcomes where the first mover commits to a quantity higher than Cournot but lower than Stackelberg leader. We show that a cognitive hierarchy model with quantal responses can explain the most important features of the experimental data on the action commitment game in (2002). In order to gauge the success of the model in fitting the data, we compare it to a noisy Nash model. We find that the cognitive hierarchy model with quantal responses fits the data better than the noisy Nash model.

Combining Advanced Forecasting Methods with System Dynamics - the Case of Finnish Seaports

Seaports play an important part in the wellbeing of a nation. Many nations are highly dependent on foreign trade and most trade is done using sea vessels. This study is part of a larger research project, where a simulation model is required in order to create further analyses on Finnish macro logistical networks. The objective of this study is to create a system dynamic simulation model, which gives an accurate forecast for the development of demand of Finnish seaports up to 2030. The emphasis on this study is to show how it is possible to create a detailed harbor demand System Dynamic model with the help of statistical methods. The used forecasting methods were ARIMA (autoregressive integrated moving average) and regression models. The created simulation model gives a forecast with confidence intervals and allows studying different scenarios. The building process was found to be a useful one and the built model can be expanded to be more detailed. Required capacity for other parts of the Finnish logistical system could easily be included in the model.