79 research outputs found

    Option Pricing on Cash Mergers

    Get PDF
    Abstract When a cash merger is announced but not completed, there are two main sources of uncertainty related to the target company: the probability of success and the price conditional on the deal failing. We propose an arbitrage-free option pricing formula that focuses on these sources of uncertainty. We test our formula in a study of all cash mergers between 1996 and 2008 which have sufficiently liquid options traded on the target company. The estimated success probability is a good predictor of the deal outcome. Our option formula for cash mergers does significantly better than the BlackScholes formula and produces a volatility smile close to the one observed in practice. In particular, we provide an explanation for the kink in the volatility smile and show that the kink increases with the probability of deal success. JEL Classification: G13, G34

    Monitoring Time Intervals

    Get PDF
    Run-time checking of timed properties requires to monitor events occurring within a specified time interval. In a distributed setting, working with intervals is complicated due to uncertainties about network delays and clock synchronization. Determining that an interval can be closed - i.e., that all events occurring within the interval have been observed - cannot be done without a delay. In this paper, we consider how an appropriate delay can be determined based on parameters of a monitoring setup, such as network delay, clock skew and clock rate. We then propose a generic scheme for monitoring time intervals, parameterized by the detection delay, and discuss the use of this monitoring scheme to check different timed specifications, including real-time temporal logics and rate calculations

    Tourism and the city: the impact on residents' quality of life

    Get PDF
    The present work investigates the relationship between tourism presence and perceptions of urban quality of life of resident populations (UQOL). Nowadays, this topic is at the forefront since many European cities have started raising their voice against mass tourism. An ad hoc questionnaire was designed and submitted to resident population of two Mediterranean destinations. Following an integrative approach à la Sen, UQOL is analysed using the presence of the services/amenities (capabilities) as well as their accessibility (functionings). Findings indicate that both presence and mainly accessibility of services/amenities matter for UQOL and that a negative effect of tourism prevails

    A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour

    Get PDF
    This paper describes a structured approach to encoding monitors in an actor language. Within a configuration of actors, each of which publishes a history, a monitor is an independent actor that triggers an action based on patterns occurring in the histories. We define a monitor language based on linear temporal logic and show how it can be homogeneously embedded within an actor language. The approach is demonstrated through a number of examples and evaluated in terms of a real-world actor-based simulation
    corecore