A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A nanopore-based stochastic detection method: Single molecule characterisation of nanoparticles using ()- hemolysin

Dissertation presented to obtain the Ph.D degree in Chemistry.

Context-dependent interpretation of the prognostic value of BRAF and KRAS mutations in colorectal cancer.

BACKGROUND: The mutation status of the BRAF and KRAS genes has been proposed as prognostic biomarker in colorectal cancer. Of them, only the BRAF V600E mutation has been validated independently as prognostic for overall survival and survival after relapse, while the prognostic value of KRAS mutation is still unclear. We investigated the prognostic value of BRAF and KRAS mutations in various contexts defined by stratifications of the patient population. METHODS: We retrospectively analyzed a cohort of patients with stage II and III colorectal cancer from the PETACC-3 clinical trial (N = 1,423), by assessing the prognostic value of the BRAF and KRAS mutations in subpopulations defined by all possible combinations of the following clinico-pathological variables: T stage, N stage, tumor site, tumor grade and microsatellite instability status. In each such subpopulation, the prognostic value was assessed by log rank test for three endpoints: overall survival, relapse-free survival, and survival after relapse. The significance level was set to 0.01 for Bonferroni-adjusted p-values, and a second threshold for a trend towards statistical significance was set at 0.05 for unadjusted p-values. The significance of the interactions was tested by Wald test, with significance level of 0.05. RESULTS: In stage II-III colorectal cancer, BRAF mutation was confirmed a marker of poor survival only in subpopulations involving microsatellite stable and left-sided tumors, with higher effects than in the whole population. There was no evidence for prognostic value in microsatellite instable or right-sided tumor groups. We found that BRAF was also prognostic for relapse-free survival in some subpopulations. We found no evidence that KRAS mutations had prognostic value, although a trend was observed in some stratifications. We also show evidence of heterogeneity in survival of patients with BRAF V600E mutation. CONCLUSIONS: The BRAF mutation represents an additional risk factor only in some subpopulations of colorectal cancers, in others having limited prognostic value. However, in the subpopulations where it is prognostic, it represents a marker of much higher risk than previously considered. KRAS mutation status does not seem to represent a strong prognostic variable.

Comparison between computational alanine scanning and per-residue binding free energy decomposition for protein-protein association using MM-GBSA: application to the TCR-p-MHC complex.

Recognition by the T-cell receptor (TCR) of immunogenic peptides (p) presented by Class I major histocompatibility complexes (MHC) is the key event in the immune response against virus-infected cells or tumor cells. A study of the 2C TCR/SIYR/H-2K(b) system using a computational alanine scanning and a much faster binding free energy decomposition based on the Molecular Mechanics-Generalized Born Surface Area (MM-GBSA) method is presented. The results show that the TCR-p-MHC binding free energy decomposition using this approach and including entropic terms provides a detailed and reliable description of the interactions between the molecules at an atomistic level. Comparison of the decomposition results with experimentally determined activity differences for alanine mutants yields a correlation of 0.67 when the entropy is neglected and 0.72 when the entropy is taken into account. Similarly, comparison of experimental activities with variations in binding free energies determined by computational alanine scanning yields correlations of 0.72 and 0.74 when the entropy is neglected or taken into account, respectively. Some key interactions for the TCR-p-MHC binding are analyzed and some possible side chains replacements are proposed in the context of TCR protein engineering. In addition, a comparison of the two theoretical approaches for estimating the role of each side chain in the complexation is given, and a new ad hoc approach to decompose the vibrational entropy term into atomic contributions, the linear decomposition of the vibrational entropy (LDVE), is introduced. The latter allows the rapid calculation of the entropic contribution of interesting side chains to the binding. This new method is based on the idea that the most important contributions to the vibrational entropy of a molecule originate from residues that contribute most to the vibrational amplitude of the normal modes. The LDVE approach is shown to provide results very similar to those of the exact but highly computationally demanding method.

La formació permanent en el context de l'Espai Europeu de la Formació Permanent

La importància de la formació permanent és indiscutible en qualsevol context laboral i molt especialment en les actuals circumstàncies de crisi econòmica mundial. Però en l'actual espai europeu d'educació superior (EEES), les tendències i els plans de formació contínua adquireixen una dimensió global, que supera o, millor dit, hauria de superar els plantejaments reduccionistes. Per això, la construcció i el desenvolupament de l'espai europeu de formació permanent, EEFP (Comissió de les Comunitats Europees, 2001a), ha d'entendre's com un procés que està immers en un teixit més ampli. Es tracta d'una acció en xarxa on és necessària la implicació de molts agents actius professionals i on la convergència, el reconeixement i la cohesió han de ser els seus màxims elements qualitatius

Address by Michea¡l Martin to the Conference - Legislating for Tobacco Free Society

Thank you Chairman I would like to extend a warm welcome to our keynote speakers, David Byrne of the European Commission, Derek Yach from the World Health Organisation, and Paul Quinn representing Congressman Marty Meehan who sends his apologies. When we include the speakers who will address later sessions, this is, undoubtedly, one of the strongest teams that have been assembled on tobacco control in Europe. The very strength of the team underlines what I see as a shift – a very necessary shift – in the way we perceive the tobacco issue. For the last twenty years, we have lived out a paradox. It isn´t a social side issue. I make no apology for the bluntness of what I´m saying, and will come back, a little later, to the radicalism I believe we need to bring – nationally – to this issue. For starters, though, I want to lay it on the line that what we´re talking about is an epidemic as deadly as any suffered by human kind throughout the centuries. Slower than some of those epidemics in its lethal action, perhaps. But an epidemic, nonetheless. According to the World Health Organisation tobacco accounted for just over 3 million annual deaths in 1990, rising to 4.023 million annual deaths in 1998. The numbers of deaths due to tobacco will rise to 8.4 million in 2020 and reach roughly 10 million annually by 2030. This is quite simply ghastly. Tobacco kills. It kills in many different ways. It kills increasing numbers of women. It does its damage directly and indirectly. For children, much of the damage comes from smoking by adults where children live, study, play and work. The very least we should be able to offer every child is breathable air. Air that doesn´t do them damage. We´re now seeing a global public health response to the tobacco epidemic. The Tobacco Free Initiative launched by the World Health Organisation was matched by significant tobacco control initiatives throughout the world. During this conference we will hear about the experiences our speakers had in driving these initiatives. This Tobacco Free Initiative poses unique challenges to our legal frameworks at both national and international levels; in particular it raises challenges about the legal context in which tobacco products are traded and asks questions about the impact of commercial speech especially on children, and the extent of the limitations that should be imposed on it. Politicians, supported by economists and lawyers as well as the medical profession, must continue to explore and develop this context to find innovative ways to wrap public health considerations around the trade in tobacco products – very tightly. We also have the right to demand a totally new paradigm from the tobacco industry. Bluntly, the tobacco industry plays the PR game at its cynical worst. The industry sells its products without regard to the harm these products cause. At the same time, to gain social acceptance, it gives donations, endowments and patronage to high profile events and people. Not good enough. This model of behaviour is no longer acceptable in a modern society. We need one where the industry integrates social responsibility and accountability into its day-to-day activities. We have waited for this change in behaviour from the tobacco industry for many decades. Unfortunately the documents disclosed during litigation in the USA and from other sources make very depressing reading; it is clear from them that any trust society placed in the tobacco industry in the past to address the health problems associated with its products was misplaced. This industry appears to lack the necessary leadership to guide it towards just and responsible action. Instead, it chooses evasion, deception and at times illegal activity to protect its profits at any price and to avoid its responsibilities to society and its customers. It has engaged in elaborate ´spin´ to generate political tolerance, scientific uncertainty and public acceptance of its products. Legislators must act now. I see no reason why the global community should continue to wait. Effective legal controls must be laid on this errant industry. We should also keep these controls under review at regular intervals and if they are failing to achieve the desired outcomes we should be prepared to amend them. In Ireland, as Minister for Health and Children, I launched a comprehensive tobacco control policy entitled “Towards a Tobacco Free Society“. OTT?Excessive?Unrealistic? On the contrary – I believe it to be imperative and inevitable. I honestly hold that, given the range of fatal diseases caused by tobacco use we have little alternative but to pursue the clear objective of creating a tobacco free society. Aiming at a tobacco free society means ensuring public and political opinion are properly informed. It requires help to be given to smokers to break the addiction. It demands that people are protected against environmental tobacco smoke and children are protected from any inducement to experiment with this product. Over the past year we have implemented a number of measures which will support these objectives; we have established an independent Office of Tobacco Control, we have introduced free nicotine replacement therapy for low-income earners, we have extended our existing prohibitions on tobacco advertising to the print media with some minor derogations for international publications. We have raised the legal age at which a person can be sold tobacco products to eighteen years. We have invested substantially more funds in health promotion activities and we have mounted sustained information campaigns. We have engaged in sponsorship arrangements, which are new and innovative for public bodies. I have provided health boards with additional resources to let them mount a sustained inspection and enforcement service. Health boards will engage new Directors of Tobacco Control responsible for coordinating each health board´s response and for liasing with the Tobacco Control Agency I set up earlier this year. Most recently, I have published a comprehensive Bill – The Public Health (Tobacco) Bill, 2001. This Bill will, among other things, end all forms of product display and in-store advertising and will require all retailers to register with the new Tobacco Control Agency. Ten packs of cigarettes will be banned and transparent and independent testing procedures of tobacco products will be introduced. Enforcement officers will be given all the necessary powers to ensure there is full compliance with the law. On smoking in public places we will extend the existing areas covered and it is proposed that I, as Minister for Health and Children, will have the powers to introduce further prohibitions in public places such as pubs and the work place. I will also provide for the establishment of a Tobacco Free Council to advise and assist on an ongoing basis. I believe the measures already introduced and those additional ones proposed in the Bill have widespread community support. In fact, you´re going to hear a detailed presentation from the MRBI which will amply illustrate the extent of this support. The great thing is that the support comes from smokers and non-smokers alike. Bottom line, Ladies and Gentlemen, is that we are at a watershed. As a society (if you´ll allow me to play with a popular phrase) we´ve realised it´s time to ´wake up and smell the cigarettes.´ Smell them. See them for what they are. And get real about destroying their hold on our people. The MRBI survey makes it clear that the single strongest weapon we have when it comes to preventing the habit among young people is price. Simple as that. Price. Up to now, the fear of inflation has been a real impediment to increasing taxes on tobacco. It sounds a serious, logical argument. Until you take it out and look at it a little more closely. Weigh it, as it were, in two hands. I believe – and I believe this with a great passion – that we must take cigarettes out of the equation we use when awarding wage increases. I am calling on IBEC and ICTU, on employers and trade unions alike, to move away from any kind of tolerance of a trade that is killing our citizens. At one point in industrial history, cigarettes were a staple of the workingman´s life. So it was legitimate to include them in the ´basket´ of goods that goes to make up the Consumer Price Index. It isn´t legitimate to include them any more. Today, I´m saying that society collectively must take the step to remove cigarettes from the basket of normality, from the list of elements which constitute necessary consumer spending. I´m saying: “We can no longer delude ourselves. We must exclude cigarettes from the considerations we address in central wage bargaining. We must price cigarettes out of the reach of the children those cigarettes will kill.” Right now, in the monthly Central Statistics Office reports on consumer spending, the figures include cigarettes. But – right down at the bottom of the page – there´s another figure. Calculated without including cigarettes. I believe that if we continue to use the first figure as our constant measure, it will be an indictment of us as legislators, as advocates for working people, as public health professionals. If, on the other hand, we move to the use of the second figure, we will be sending out a message of startling clarity to the nation. We will be saying “We don´t count an addictive, killer drug as part of normal consumer spending.” Taking cigarettes out of the basket used to determine the Consumer Price Index will take away the inflation argument. It will not be easy, in its implications for the social partners. But it is morally inescapable. We must do it. Because it will help us stop the killer that is tobacco. If we can do it, we will give so much extra strength to health educators and the new Tobacco Control Association. This new organisation of young people who already have branches in over fifteen counties, is represented here today. The young adults who make up its membership are well placed to advise children of the dangers of tobacco addiction in a way that older generations cannot. It would strengthen their hand if cigarettes move – in price terms – out of the easy reach of our children Finally, I would like to commend so many public health advocates who have shown professional and indeed personal courage in their commitment to this critical public health issue down through the years. We need you to continue to challenge and confront this grave public health problem and to repudiate the questionable science of the tobacco industry. The Research Institute for a Tobacco Free Society represents a new and dynamic form of partnership between government and civil society. It will provide an effective platform to engage and mobilise the many different professional and academic skills necessary to guide and challenge us. I wish the conference every success.

Prognostic Factors Influencing Progression-Free Survival Determined From a Series of Sporadic Desmoid Tumors: A Wait-and-See Policy According to Tumor Presentation.

PURPOSE Desmoid tumors are mesenchymal fibroblastic/myofibroblastic proliferations with locoregional aggressiveness and high ability to recur after initial treatment. We present the results of the largest series of sporadic desmoid tumors ever published to determine the prognostic factors of these rare tumors. PATIENTS AND METHODS Four hundred twenty-six patients with a desmoid tumor at diagnosis were included, and the following parameters were studied: age, sex, delay between first symptoms and diagnosis, tumor size, tumor site, previous history of surgery or trauma in the area of the primary tumor, surgical margins, and context of abdominal wall desmoids in women of child-bearing age during or shortly after pregnancy. We performed univariate and multivariate analysis for progression-free survival (PFS). Results In univariate analysis, age, tumor size, tumor site, and surgical margins (R2 v R0/R1) had a significant impact on PFS. PFS curves were not significantly different for microscopic assessment of surgical resection quality (R0 v R1). In multivariate analysis, age, tumor size, and tumor site had independent values. Three prognostic groups for PFS were defined on the basis of the number of independent unfavorable prognostic factors (0 or 1, 2, and 3). CONCLUSION This study clearly demonstrates that there are different prognostic subgroups of desmoid tumors that could benefit from different therapeutic strategies, including a wait-and-see policy.

Monitoring of innate and adaptive immune responses in the context of human immunotherapy

Summary1 SummaryCancer patients have a better clinical outcome when their tumours display marked infiltration by memory Τ cells. Moreover, the overrepresentation of Th1 gene signatures in primary tumours correlates with favourable prognosis. Thus, vaccination to induce Τ cells capable of infiltrating and eradicating the tumour seems a promising strategy for the treatment of cancer. Here, I monitored CD4 Τ cell responses in melanoma patients vaccinated with the long synthetic peptides Melan- A16-35(A27L) and NY-ESO-179.108. Most of the patients developed strong and diverse peptide antigen specific CD4 Τ cell responses. Analysis of the fine specificity of CD4 Τ cell antigen recognition led to the identification of two new epitopes. The peptide Melan-A16_35(A27L) was delivered by virus-like particles (VLPs) derived from bacteriophage Οβ, which themselves displayed strong immunogenicity. I show evidence for induction of Οβ- and Melan-A specific CD4 Τ cell responses that developed a Th1 functional profile after repeated vaccination cycles. They also specifically released the chemokines CCL-3 and CCL-4, which play important roles in attracting CD8 Τ cells to the APC surface for priming and formation of Τ cell memory. We further found induction of robust humoral IgG responses upon VLP vaccination, and the lgG1-lgG4 isotype composition depended on the adjuvant used. Since heavy chain class switching largely dépends on the presence of CD4 Τ cell help, this result suggests that the adjuvant can influence the differentiation of elicited CD4 Τ cells, thereby contributing to the quality and function of both Β cells and CD8 Τ cells. The nature of the inflammatory processes in the tumour microenvironment can modulate CD8 Τ cell function. A collaboration was established for the investigation regulation of inflammasome activation in human primary monocytes. We identified IL- 4 and TGF-β as strong inhibitors of IL-1 β secretion, Indicating some level of regulation from effector Th2 and Treg responses. We further found a potent inhibition of inflammasome activation by type I interferon, and demonstrated in vivo inhibition of IL-1 β responses in monocytes from active multiple sclerosis patients under IFN-β therapy. This finding further offers a possible explanation for its success, which mechanism of action is still largely unclear. Interestingly, type I interferon is also being used as adjuvant treatment for tumour free metastatic cutaneous melanoma patients. While its clinical benefit has remained controversial, recent data suggest that the subset of patients with ulcerated primary melanoma lesions can benefit from this therapy. Future investigations will shed light on the implication of the inflammasome in this context, and may offer new strategies for improved adjuvant treatments of melanoma.2 RésuméLes patients atteints de cancer ont une meilleure chance de survie si leurs tumeurs s'avèrent être largement infiltrées par des cellules Τ mémoires. De plus, la surreprésentation d'une signature génique Th1 est en corrélation avec un pronostic favorable. Ainsi, la vaccination visant à induire des cellules Τ capables d'infiltrer et de détruire la tumeur parait être une stratégie prometteuse pour le traitement du cancer. Dans ce travail, j'ai procédé au monitoring de la réponse des cellules Τ CD4 dans des patients atteints de mélanome vaccinés avec les longs peptides synthétiques Melan-A16_35(A27L) et NY-ESO-179_108. Ces peptides représentent des antigènes tumoraux reconnus par des lymphocytes T. La majorité des patients a développé une réponse forte et diversifiée des cellules Τ CD4 spécifiques contre les peptides. L'analyse de la spécificité fine de la reconnaissance antigénique des cellules Τ CD4 nous a conduits à l'identification de deux nouveaux épitopes. Le peptide Melan-Aie. 35(A27L) a été délivré par des particules de type viral (VLPs) dérivés de bactériophages Qβ, qui ont eux-mêmes démontré une forte immunogénicité. Mon travail montre les preuves d'une induction de réponses spécifiques des cellules Τ CD4 contre les Qβ et Melan-A développant un profil fonctionnel Th1 après plusieurs cycles de vaccination. Elles secrètent aussi spécifiquement les chimiokines CCL-3 et CCL-4, qui jouent un rôle important dans l'attraction des cellules Τ CD8 à la surface des cellules présentatrices d'antigènes et contribuent ainsi à induire et former la mémoire cellulaire Τ CD8. Nous avons également remarqué une induction de fortes réponses humorales IgG après vaccination avec les VLPs, et que la composition des isotypes lgG1-lgG4 dépendait de l'adjuvant utilisé. Etant donné qu'une commutation de classe de la chaîne lourde dépend largement ùie l'aide des cellules Τ CD4, ce résultat suggère que l'adjuvant puisse influencer la différeritiation de cellules Τ CD4 en différent types, contribuant ainsi à la qualité et à la fonction des cellules Β et des cellules Τ CD8.La nature des processus d'inflammation dans le microenvironnement tumoral peut moduler la fonction des cellules Τ CD8. Une collaboration a été établie pour investiguer la régulation de l'activation de l'inflammasome dans des monocytes primaires humains. Nous avons identifié l'IL-4 et le TGF-β comme étant de puissants inhibiteurs de la sécrétion de IL-Ιβ, indiquant une certaine régulation de la réponse inflammatoire induite par les cellules Th2 et Τ régulatrices. Nous avons également trouvé une forte inhibition de l'activation de l'inflammasome par l'interféron type I, et nous avons démontré une inhibition in vivo de la réponse IL-1 β dans des monocytes de patients atteints d'une sclérose en plaque active sous traitement IFN-β. Ce résultat nous offre une possible explication du succès de cette thérapie, dont le mécanisme reste à ce jour encore largement obscur. Il est intéressant de noter que l'interféron de type I est également utilisé pour le traitement de patients atteints de mélanome cutané métastasique sans tumeurs. Bien que le bénéfice clinique de ce traitement reste controversé, des études récentes montrent qu'une partie des patients atteints de mélanome primaire ulcéré peut tirer bénéfice de cette thérapie. De futures investigations pourront mieux nous renseigner sur l'implication de l'inflammasome dans ce contexte et offrir de nouvelles stratégies pour améliorer les traitements adjuvants du mélanome.

Free-and open source software for a course on network management: authoring and enactment of scripts based on collaborative learning strategies

This paper describes a Computer-Supported Collaborative Learning (CSCL) case study in engineering education carried out within the context of a network management course. The case study shows that the use of two computing tools developed by the authors and based on Free- and Open-Source Software (FOSS) provide significant educational benefits over traditional engineering pedagogical approaches in terms of both concepts and engineering competencies acquisition. First, the Collage authoring tool guides and supports the course teacher in the process of authoring computer-interpretable representations (using the IMS Learning Design standard notation) of effective collaborative pedagogical designs. Besides, the Gridcole system supports the enactment of that design by guiding the students throughout the prescribed sequence of learning activities. The paper introduces the goals and context of the case study, elaborates onhow Collage and Gridcole were employed, describes the applied evaluation methodology, anddiscusses the most significant findings derived from the case study.

Three essays in financial economics: asset pricing, optimal portfolio selection and financial integration

Executive Summary The unifying theme of this thesis is the pursuit of a satisfactory ways to quantify the riskureward trade-off in financial economics. First in the context of a general asset pricing model, then across models and finally across country borders. The guiding principle in that pursuit was to seek innovative solutions by combining ideas from different fields in economics and broad scientific research. For example, in the first part of this thesis we sought a fruitful application of strong existence results in utility theory to topics in asset pricing. In the second part we implement an idea from the field of fuzzy set theory to the optimal portfolio selection problem, while the third part of this thesis is to the best of our knowledge, the first empirical application of some general results in asset pricing in incomplete markets to the important topic of measurement of financial integration. While the first two parts of this thesis effectively combine well-known ways to quantify the risk-reward trade-offs the third one can be viewed as an empirical verification of the usefulness of the so-called "good deal bounds" theory in designing risk-sensitive pricing bounds. Chapter 1 develops a discrete-time asset pricing model, based on a novel ordinally equivalent representation of recursive utility. To the best of our knowledge, we are the first to use a member of a novel class of recursive utility generators to construct a representative agent model to address some long-lasting issues in asset pricing. Applying strong representation results allows us to show that the model features countercyclical risk premia, for both consumption and financial risk, together with low and procyclical risk free rate. As the recursive utility used nests as a special case the well-known time-state separable utility, all results nest the corresponding ones from the standard model and thus shed light on its well-known shortcomings. The empirical investigation to support these theoretical results, however, showed that as long as one resorts to econometric methods based on approximating conditional moments with unconditional ones, it is not possible to distinguish the model we propose from the standard one. Chapter 2 is a join work with Sergei Sontchik. There we provide theoretical and empirical motivation for aggregation of performance measures. The main idea is that as it makes sense to apply several performance measures ex-post, it also makes sense to base optimal portfolio selection on ex-ante maximization of as many possible performance measures as desired. We thus offer a concrete algorithm for optimal portfolio selection via ex-ante optimization over different horizons of several risk-return trade-offs simultaneously. An empirical application of that algorithm, using seven popular performance measures, suggests that realized returns feature better distributional characteristics relative to those of realized returns from portfolio strategies optimal with respect to single performance measures. When comparing the distributions of realized returns we used two partial risk-reward orderings first and second order stochastic dominance. We first used the Kolmogorov Smirnov test to determine if the two distributions are indeed different, which combined with a visual inspection allowed us to demonstrate that the way we propose to aggregate performance measures leads to portfolio realized returns that first order stochastically dominate the ones that result from optimization only with respect to, for example, Treynor ratio and Jensen's alpha. We checked for second order stochastic dominance via point wise comparison of the so-called absolute Lorenz curve, or the sequence of expected shortfalls for a range of quantiles. As soon as the plot of the absolute Lorenz curve for the aggregated performance measures was above the one corresponding to each individual measure, we were tempted to conclude that the algorithm we propose leads to portfolio returns distribution that second order stochastically dominates virtually all performance measures considered. Chapter 3 proposes a measure of financial integration, based on recent advances in asset pricing in incomplete markets. Given a base market (a set of traded assets) and an index of another market, we propose to measure financial integration through time by the size of the spread between the pricing bounds of the market index, relative to the base market. The bigger the spread around country index A, viewed from market B, the less integrated markets A and B are. We investigate the presence of structural breaks in the size of the spread for EMU member country indices before and after the introduction of the Euro. We find evidence that both the level and the volatility of our financial integration measure increased after the introduction of the Euro. That counterintuitive result suggests the presence of an inherent weakness in the attempt to measure financial integration independently of economic fundamentals. Nevertheless, the results about the bounds on the risk free rate appear plausible from the view point of existing economic theory about the impact of integration on interest rates.

Cosmological perturbations from stochastic gravity

In inflationary cosmological models driven by an inflaton field the origin of the primordial inhomogeneities which are responsible for large-scale structure formation are the quantum fluctuations of the inflaton field. These are usually calculated using the standard theory of cosmological perturbations, where both the gravitational and the inflaton fields are linearly perturbed and quantized. The correlation functions for the primordial metric fluctuations and their power spectrum are then computed. Here we introduce an alternative procedure for calculating the metric correlations based on the Einstein-Langevin equation which emerges in the framework of stochastic semiclassical gravity. We show that the correlation functions for the metric perturbations that follow from the Einstein-Langevin formalism coincide with those obtained with the usual quantization procedures when the scalar field perturbations are linearized. This method is explicitly applied to a simple model of chaotic inflation consisting of a Robertson-Walker background, which undergoes a quasi-de Sitter expansion, minimally coupled to a free massive quantum scalar field. The technique based on the Einstein-Langevin equation can, however, deal naturally with the perturbations of the scalar field even beyond the linear approximation, as is actually required in inflationary models which are not driven by an inflaton field, such as Starobinsky¿s trace-anomaly driven inflation or when calculating corrections due to nonlinear quantum effects in the usual inflaton driven models.

Essays on the treatment of cash flows under stochastic interest rates

Abstract This paper shows how to calculate recursively the moments of the accumulated and discounted value of cash flows when the instantaneous rates of return follow a conditional ARMA process with normally distributed innovations. We investigate various moment based approaches to approximate the distribution of the accumulated value of cash flows and we assess their performance through stochastic Monte-Carlo simulations. We discuss the potential use in insurance and especially in the context of Asset-Liability Management of pension funds.

Exact solution to the exit-time problem for an undamped free particle driven by Gaussian white noise

In a recent paper [Phys. Rev. Lett. 75, 189 (1995)] we have presented the exact analytical expression for the mean exit time, T(x,v), of a free inertial process driven by Gaussian white noise out of a region (0,L) in space. In this paper we give a detailed account of the method employed and present results on asymptotic properties and averages of T(x,v).

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

A model for the evolution of reinforcement learning in fluctuating games

Many species are able to learn to associate behaviours with rewards as this gives fitness advantages in changing environments. Social interactions between population members may, however, require more cognitive abilities than simple trial-and-error learning, in particular the capacity to make accurate hypotheses about the material payoff consequences of alternative action combinations. It is unclear in this context whether natural selection necessarily favours individuals to use information about payoffs associated with nontried actions (hypothetical payoffs), as opposed to simple reinforcement of realized payoff. Here, we develop an evolutionary model in which individuals are genetically determined to use either trial-and-error learning or learning based on hypothetical reinforcements, and ask what is the evolutionarily stable learning rule under pairwise symmetric two-action stochastic repeated games played over the individual's lifetime. We analyse through stochastic approximation theory and simulations the learning dynamics on the behavioural timescale, and derive conditions where trial-and-error learning outcompetes hypothetical reinforcement learning on the evolutionary timescale. This occurs in particular under repeated cooperative interactions with the same partner. By contrast, we find that hypothetical reinforcement learners tend to be favoured under random interactions, but stable polymorphisms can also obtain where trial-and-error learners are maintained at a low frequency. We conclude that specific game structures can select for trial-and-error learning even in the absence of costs of cognition, which illustrates that cost-free increased cognition can be counterselected under social interactions.