Results 11 to 20 of about 33,189,448 (245)
A post-pandemic reflection of the changing role of contemporary event professionals: Implications for event professionals and higher education [PDF]
, 2023 While the event, tourism, and hospitality industry is constantly evolving, COVID-19 vastly shifted the roles, responsibilities, and jobs for event professionals, which caused event management educators to reevaluate their curriculum and course offerings.
Savannah Kay Kramer +7 more
core +1 more source
Composing Event-B Specifications - Case-Study Experience [PDF]
, 2011 Event-B is a formal method, based on set theory and first-order logic, for specification and verification of reactive systems supported by the Rodin tool kit.
Ali Gondal +5 more
core +2 more sources
Generalised verification of the observer property in discrete event systems [PDF]
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
Ekonomi, Politika & Finans Araştırmaları Dergisi, 2021 Çalışmanın amacı, COVID-19 pandemisinin Borsa İstanbul (BİST) üzerindeki kısa dönemli etkisini ölçmek ve endekslerin pandemi ile ilişkili olaylar karışında verdikleri tepkilerde bir farklılaşma olup olmadığını tespit etmektir.
Gamze Göçmen Yağcılar
doaj +1 more source
Impact of Covid-19 on sectoral stock prices: An event study based on US stock market
Business Review, 2022 The impact of COVID-19 on stock prices of different United States economic sectors is examined using event study methodology. Results revealed that the first confirmed case in US on January 21, 2020 was underestimated by investors and did not disturb ...
Nasir Nadeem COMSATS University Islamabad, Pakistan +2 more
doaj +1 more source
Implementing the Panel Event Study [PDF]
SSRN Electronic Journal, 2020 Many studies estimate the impact of exposure to some quasiexperimental policy or event using a panel event study design. These models, as a generalized extension of “difference-in-differences” designs or two-way fixed-effects models, allow for dynamic leads and lags to the event of interest to be estimated, while also controlling for fixed factors ...
Clarke, Damian, Tapia Schythe, Kathya
openaire +3 more sources
How to apply the event study methodology in STATA: An overview and a step-by-step guide for authors [PDF]
, 2021 The event study methodology, which is gaining recognition in the business and marketing disciplines, is a technique used to capture the impact of significant events and announcements at the firm level and country level.
Ahmed, R. +12 more
core +1 more source
The impact of rating classifications on stock prices of Brazilian companies [PDF]
Journal of Economics Finance and Administrative Science, 2021 Purpose - This paper aims to identify if there is an impact of the rating announcements issued by the agencies on the returns of the stocks of Brazilian companies listed on Brasil Bolsa Balcão, from August 2002 to August 2018, identifying which types of ...
Fernanda Pagin +4 more
doaj +1 more source
Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
, 2012 This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]
, 2008 This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware +3 more
core +1 more source