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
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
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
Distributed Kalman Filters With State Equality Constraints: Time-Based and Event-Triggered Communications [PDF]
IEEE Transactions on Automatic Control, 2017 In this paper, we investigate a distributed estimation problem for multiagent systems with state equality constraints (SEC). First, under a time-based consensus communication protocol, applying a modified projection operator and the covariance ...
Xingkang He +4 more
semanticscholar +1 more source
Tango's maximized excess events test with different weights [PDF]
International Journal of Health Geographics, 2005 AbstractBackgroundTango's maximized excess events test (MEET) has been shown to have very good statistical power in detecting global disease clustering. A nice feature of this test is that it considers a range of spatial scale parameters, adjusting for the multiple testing.
Song, Changhong, Kulldorff, Martin
openaire +5 more sources
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
Automatic high-resolution microseismic event detection via supervised machine learning
Geophysical Journal International, 2019 Microseismic methods are crucial for real-time monitoring of the hydraulic fracturing dynamic status during the development of unconventional reservoirs. However, unlike the active-source seismic events, the microseismic events usually have low signal-to-
S. Qu +3 more
semanticscholar +1 more source
Participation versus nonparticipation in a charity running event [PDF]
, 2017 Hosting sport events to raise money for charitable causes has become pervasive, yet we know little about why individuals choose to participate or not. This study examined the differences between participants and nonparticipants of a hallmark small-scale ...
Gibson, Heather J. +5 more
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
Attendance Maximization for Successful Social Event Planning
CoRR, 2018 Social event planning has received a great deal of attention in recent years where various entities, such as event planners and marketing companies, organizations, venues, or users in Event-based Social Networks, organize numerous social events (e.g., festivals, conferences, promotion parties).
Nikos Bikakis +2 more
openaire +2 more sources