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
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
The Effects of Quantitative Easing Announcements on the Mortgage Market: An Event Study Approach
International Journal of Financial Studies, 2019 This paper uses event study analysis to estimate the impact of the United States Federal Reserve Bank’s (Fed) quantitative easing (QE) announcements on the mortgage market during the zero lower bound (ZLB) period. A total of 35 QE announcements are
Gang Wang
doaj +1 more source
A study of Ramadan effect on the Indonesia Stock Exchange
Менеджмент та підприємництво: тренди розвитку, 2020 This study aims to test whether there are significant anomalies in stock returns in Shaaban (before Ramadan), Ramadan, and Shawwal (after Ramadan) in the Indonesia Stock Exchange (IDX).
Bimo Galuh Saputro Ahmad , Wiwik Utami
doaj +1 more source
The Impact of Takeovers on the Acquiring Firms in the Pharmaceutical Market [PDF]
Journal of Competitiveness, 2017 The pharmaceutical market plays a crucial role in the global economy. The level of competitiveness among companies in this sector is very high. To retain their position or even speed up the growth, market players continuously use takeovers as one of the
Raciborski Michal
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
‘FESTIVAL’ SEBLANG OLEHSARI BANYUWANGI 2018-2022
Jurnal Kajian Seni, 2023 The Seblang Olehsari ‘Festival’ is a cultural celebration that comes from a ritual. The ritual is held by the people of Olehsari village as an 'action' of fulfilling an ancestral will.
Nuri Dwi Vindriana +2 more
doaj +1 more source
Predicting Chikungunya disease personal protective behaviors: Results of a cross-sectional survey of US-Caribbean travelers [PDF]
Health Promotion Perspectives, 2020 Background: Incidents of vector-borne disease have recently tripled in the United States. Chikungunya disease is a particularly common disease in the Caribbean, posing a threat to international tourists.
Kristina R Anderson +5 more
doaj +1 more source
Journal of Innovation & KnowledgeThis study examines the willingness to pay (WTP) for fully-simulated virtual reality (VR) concerts. The results indicate that the intention to purchase (IP) concert tickets is strongly influenced by payment attitudes, followed by perceived behavioral ...
Sören Bär +2 more
doaj +1 more source
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source