2,794,714 research outputs found
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Generalised verification of the observer property in discrete event systems
No full textThe 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 projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system
A post-pandemic reflection of the changing role of contemporary event professionals: Implications for event professionals and higher education
Full text linkWhile 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. This study investigated the potential changes COVID-19 has had on event professionals’ skill sets. A mixed-methods research design was adopted, where data were collected from event professionals via focus groups and a national survey. The results highlighted the importance of general business management skillsets (communication, business writing, negotiation) as well as specific event management skills (digital and technology skills). Through a timely reflection on these changes during the pandemic, this study not only highlights the requirements for contemporary event professionals, but also offers implications for higher education institutions regarding how to effectively embrace the new landscape of event management in post-pandemic times
Conflict-preserving abstraction of discrete event systems using annotated automata
No full textThis 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 and transitions. This succinct representation makes it easier to simplify automata and enables new efficientmeans of abstraction, reducing the size of automata to be composed and thus the size of the synchronous product state space encountered in verification. The abstractions proposed are of polynomial complexity, and they have been successfully applied to model check the nonblocking property of the same set of large-scale industrial examples as used in related work
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems
No full textAn 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 action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard
Event management : an Australian bibliography
Full text linkBibliographies, while never complete in their coverage, are useful in a ‘broad brush’ sense in capturing the current state of play in a particular area of research. This publication seeks to do this in the context of the Australian event field.
This bibliography is updated periodically and is available electronically at:
http://www.business.uts.edu.au/leisure/research/olympic.html
We hope that you find this bibliography useful in the context of reviewing and locating relevant literature on the events field
The Use of Language Projection for Compositional Verification of Discrete Event Systems
No full textThis 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. Algorithms are presented for the automatic verification of language inclusion and controllability for discrete event systems, and are applied to a set realistic industrial examples. The experimental results suggest that the method can improve performance considerably, particularly in cases where previous methods of compositional verification fail because a large number of automata need to be considered
Bioinspired event-driven collision avoidance algorithm based on optic flow
No full textAny mobile agent, whether biological or robotic, needs to avoid collisions with obstacles. Insects, such as bees and flies, use optic flow to estimate the relative nearness to obstacles. Optic flow induced by ego-motion is composed of a translational and a rotational component. The segregation of both components is computationally and thus energetically expensive. Flies and bees actively separate the rotational and translational optic flow components via behaviour, i.e. by employing a saccadic strategy of flight and gaze control. Although robotic systems are able to mimic this gaze-strategy, the calculation of optic-flow fields from standard camera images remains time and energy consuming. To overcome this problem, we use a dynamic vision sensor (DVS), which provides event-based information about changes in contrast over time at each pixel location. To extract optic flow from this information, a plane-fitting algorithm estimating the relative velocity in a small spatio-temporal cuboid is used. The depth-structure is derived from the translational optic flow by using local properties of the retina. A collision avoidance direction is then computed from the event-based depth-structure of the environment. The system has successfully been tested on a robotic platform in open loop
New Research Suggest Live Events Still Preferred but Digital Playing a Stronger Role
No full textAlthough seasoned professionals prefer digital event content to the content at live events, they miss the attendee face-to-face interaction. The future of the Events Industry should anticipate a hybrid approach of in person and digital meetings. However, research indicates digital events will need to shift towards prioritizing attendee needs as professionals continue to navigate the events sphere amid the COVID-19 pandemic
Redevelopment after the Abruzzo event
Full text linkNatural disasters raise quite a number of interdisciplinary issues concerning regional economic growth and local development, as well as public finance and sustainability, to mention only a few of them. These issues deserve special attention in our globalized world, given the expectation of a growing impact of climate-related disasters: no surprise that disaster management stands as a new discipline aimed at bridging the gap between theory and practice, so as to prevent natural disasters in the first place; afterwards, considerable efforts are required to accelerate business recovery, quickly restore vital energies, and hopefully carry out specific improvement projects as a sort of compensation for the (both personal and economic) losses suffered. Interesting lessons can be learned from natural disasters and can be shared as a payback to those who helped upon their occurrence. Actually, cooperation calls for cross-cultural activities that are likely to benefit from direct experience made by impacted scholars and practitioners: a case in point has to do with the earthquake that devastated L’Aquila and its environs on April 6, 2009 causing more than 300 deaths, apart from extensive damage in the Abruzzo region, in Central Italy; the Abruzzo event – as this natural disaster is currently referred to – fuels the debate on redevelopment problems to be faced under similar circumstances, that may obliterate the economic environment and attractiveness of an area in a few moments. Due to the huge amount of money needed to undertake appropriate strategies, finance plays a key role and useful insights can be gained by exploring the process of financial innovation. A supporting argument deals with the recourse to micro-finance in order to make the business and economic scenario revive after a natural disaster: micro-credit might be resorted to even within the framework of new financial engineering instruments, such as Urban Development Funds, recently promoted by the European Investment Bank; they include JESSICA (Joint European Support for Sustainable Investment in City Areas) and JEREMIE (Joint European Resources for Micro to Medium Enterprises), to be properly considered as strategic tools in sight of redeveloping L’Aquila and its surrounding boroughs.
- …
