280 research outputs found

    Sequence Types for Hereditary Permutators

    Get PDF
    The invertible terms in Scott\u27s model D_infty are known as the hereditary permutators. Equivalently, they are terms which are invertible up to beta eta-conversion with respect to the composition of the lambda-terms. Finding a type-theoretic characterization to the set of hereditary permutators was problem # 20 of TLCA list of problems. In 2008, Tatsuta proved that this was not possible with an inductive type system. Building on previous work, we use an infinitary intersection type system based on sequences (i.e., families of types indexed by integers) to characterize hereditary permutators with a unique type. This gives a positive answer to the problem in the coinductive case

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    Towards a solution of the closure problem for convective atmospheric boundary-layer turbulence

    Get PDF
    We consider the closure problem for turbulence in the dry convective atmospheric boundary layer (CBL). Transport in the CBL is carried by small scale eddies near the surface and large plumes in the well mixed middle part up to the inversion that separates the CBL from the stably stratified air above. An analytically tractable model based on a multivariate Delta-PDF approach is developed. It is an extension of the model of Gryanik and Hartmann [1] (GH02) that additionally includes a term for background turbulence. Thus an exact solution is derived and all higher order moments (HOMs) are explained by second order moments, correlation coefficients and the skewness. The solution provides a proof of the extended universality hypothesis of GH02 which is the refinement of the Millionshchikov hypothesis (quasi- normality of FOM). This refined hypothesis states that CBL turbulence can be considered as result of a linear interpolation between the Gaussian and the very skewed turbulence regimes. Although the extended universality hypothesis was confirmed by results of field measurements, LES and DNS simulations (see e.g. [2-4]), several questions remained unexplained. These are now answered by the new model including the reasons of the universality of the functional form of the HOMs, the significant scatter of the values of the coefficients and the source of the magic of the linear interpolation. Finally, the closures 61 predicted by the model are tested against measurements and LES data. Some of the other issues of CBL turbulence, e.g. familiar kurtosis-skewness relationships and relation of area coverage parameters of plumes (so called filling factors) with HOM will be discussed also

    Mortality linked derivatives and their pricing

    Get PDF
    This thesis addresses the absence of explicit pricing formulae and the complexity of proposed models (incomplete markets framework) in the area of mortality risk management requiring the application of advanced techniques from the realm of Financial Mathematics and Actuarial Science. In fact, this is a multi-essay dissertation contributing in the direction of designing and pricing mortality-linked derivatives and offering the state of art solutions to manage longevity risk. The first essay investigates the valuation of Catastrophic Mortality Bonds and, in particular, the case of the Swiss Re Mortality Bond 2003 as a primary example of this class of assets. This bond was the first Catastrophic Mortality Bond to be launched in the market and encapsulates the behaviour of a well-defined mortality index to generate payoffs for bondholders. Pricing this type of bond is a challenging task and no closed form solution exists in the literature. In my approach, we adapt the payoff of such a bond in terms of the payoff of an Asian put option and present a new methodology to derive model-independent bounds for catastrophic mortality bonds by exploiting the theory of comonotonicity. While managing catastrophic mortality risk is an upheaval task for insurers and re-insurers, the insurance industry is facing an even bigger challenge - the challenge of coping up with increased life expectancy. The recent years have witnessed unprecedented changes in mortality rate. As a result academicians and practitioners have started treating mortality in a stochastic manner. Moreover, the assumption of independence between mortality and interest rate has now been replaced by the observation that there is indeed a correlation between the two rates. Therefore, my second essay studies valuation of Guaranteed Annuity Options (GAOs) under the most generalized modeling framework where both interest rate and mortality risk are stochastic and correlated. Pricing these types of options in the correlated environment is an arduous task and a closed form solution is non-existent. In my approach, I employ the use of doubly stochastic stopping times to incorporate the randomness about the time of death and employ a suitable change of measure to facilitate the valuation of survival benefit, there by adapting the payoff of the GAO in terms of the payoff of a basket call option. I then derive general price bounds for GAOs by employing the theory of comonotonicity and the Rogers-Shi (Rogers and Shi, 1995) approach. Moreover, I suggest some `model-robust' tight bounds based on the moment generating function (m.g.f.) and characteristic function (c.f.) under the affine set up. The strength of these bounds is their computational speed which makes them indispensable for annuity providers who rely heavily on Monte Carlo simulations to calculate the fair market value of Guaranteed Annuity Options. In fact, sans Monte Carlo, the academic literature does not offer any solution for the pricing of the GAOs. I illustrate the performance of the bounds for a variety of affine processes governing the evolution of mortality and the interest rate by comparing them with the benchmark Monte Carlo estimates. Through my work, I have been able to express the payoffs of two well known modern mortality products in terms of payoffs of financial derivatives, there by filling the gaps in the literature and offering state of art techniques for pricing of these sophisticated instruments

    1972-1973. Catalog.

    Get PDF
    https://digitalcommons.hope.edu/catalogs/1148/thumbnail.jp

    Undergraduate Catalogue 2011-2012

    Get PDF
    https://scholarship.shu.edu/undergraduate_catalogues/1008/thumbnail.jp
    • …
    corecore